 composite?
True
Suppose -9*h + 8 = -5*h. Suppose -5*p + 3318 = h*j, -8225 = 2*j - 7*j + 5*p. Is j a composite number?
True
Let s(q) = -q**3 + 27*q**2 + 88. Let h be s(26). Let x(w) = 219*w**2 - 5*w + 2. Let c be x(3). Suppose -c = -2*p + h. Is p composite?
False
Suppose -10*l + 246 = -4*l. Suppose -5 = -i + l. Is i composite?
True
Let n = 4397 + 521. Is n a composite number?
True
Suppose -5*c + 0 = -3*q - 40, -4*c + 4*q + 40 = 0. Suppose 5*h + c*s - 40 = 0, h - 28 = -2*h - 5*s. Is h a composite number?
True
Is (2/(-8) - 0) + (-800877)/(-132) a composite number?
False
Suppose -2 - 4 = -3*v. Suppose -13*j = -4*j - 27. Suppose 3*r - 498 = 3*l, -v*r - 4*l - 157 = -j*r. Is r prime?
False
Suppose 2*s - 8440 = 4*s. Let q = s - -8097. Is q a composite number?
False
Let a(o) = o + 98. Let u be a(0). Suppose 3*p + 3*w - 31 = 2*p, 2*p - u = 3*w. Is p prime?
True
Suppose 0 = 2*v + 10, -11*x = -7*x + 4*v - 28472. Is x prime?
False
Suppose -10*w + 17*w = 51247. Is w prime?
True
Let g(z) = 11*z + 2. Suppose -4*f = -5*t - 6*f + 35, 2*t - 14 = f. Is g(t) composite?
False
Let t be ((-10)/(-3) - 0)*3. Let r be 10/4*t/25. Is 906*r*(-2)/(-6) a prime number?
False
Suppose -22 = -b - 4*p, 0*p - 59 = -5*b - 3*p. Suppose b*c - 24 = 8*c. Suppose -4*o = -c, -3*o - 1132 = -z - 0*o. Is z a prime number?
False
Let z(n) = -n**2 - 18*n + 5. Let x = -11 - -3. Is z(x) composite?
True
Let k(g) = -g**3 - 6*g**2 + 6*g + 126. Is k(-25) a prime number?
False
Suppose -3*u = 9, 0*w - u = -3*w + 33450. Is w a prime number?
True
Suppose -3*l = j - 31304, 2*j - 123*l = -120*l + 62617. Is j prime?
True
Suppose 3*z = 7*z. Let u = -37 + 23. Is (u/4 + z)*-106 a prime number?
False
Let y(j) = -19*j**3 + 13*j**2 + 7*j + 12. Let w be y(-5). Suppose 0 = 2*d + 5*p - w, 0 = 2*d - p - p - 2698. Is d prime?
False
Let o be 15/10*(-605 - 1). Let p = 1324 + o. Is p a prime number?
False
Suppose 3*a = 19 + 44. Let q be (-3)/a + 1376/28. Let d = 66 + q. Is d composite?
True
Suppose -3*o + 16224 = -4167. Suppose 2044 + o = 7*x. Is x composite?
True
Suppose -5*y - 1066 = 4*d - 5*d, 0 = 2*d + 2*y - 2108. Let x = d - 634. Is x composite?
True
Let x(u) = u + 65. Suppose 3*o = 6*o. Is x(o) a composite number?
True
Suppose 65*d + 14*d = 6919057. Is d a prime number?
True
Let r(c) = 8*c - 11. Let n(f) = 4*f - 5. Let p(k) = -5*n(k) + 2*r(k). Suppose -3*h + 4*h = -5. Is p(h) a composite number?
False
Let v = 1516 + 3631. Is v a prime number?
True
Suppose 0 = -48*k + 822097 + 560639. Is k a prime number?
True
Suppose -4*f + 8*f = 16, 0 = -u + f - 890. Let j = -15 - u. Is j a composite number?
True
Let m(c) = -c**3 - 11*c**2 - 7*c + 11. Let l be m(-11). Let r = -32 + l. Suppose 3*d = r + 1. Is d a prime number?
True
Let o(k) = 506*k**3 + 3*k - 5. Is o(2) a prime number?
True
Suppose 3*v + 15 = -4*r - 29, 4*r - 3*v = -44. Let y = 13 + r. Suppose 0 = -y*d - 4*x + 90, 3*d - 4*x = 4*d - 53. Is d prime?
True
Suppose 3*d + 3*s = 7*d - 9782, -5*d - s = -12237. Is d a composite number?
False
Let a be ((-6)/(-105)*5)/((-1)/(-7)). Suppose -g - 734 = -4*d, -g - 181 = -d - a*g. Is d a prime number?
False
Let s = -1411 - -3256. Suppose 7*q - 2*q = -3*x + 1355, 4*x = q + s. Suppose -247 = -3*j + 4*f, -5*j + 0*f = 3*f - x. Is j prime?
True
Suppose -3*b + 8*b - 2394 = -2*r, 2*b - 946 = 5*r. Suppose -2*j = -336 - b. Is j composite?
True
Let p be (-16)/((-2)/4 - 0). Let d(i) = -15*i + 18. Let l be d(-9). Suppose -p - l = -5*t. Is t a composite number?
False
Let z be (-48)/(-21) + (-2)/7. Suppose -2658 = -4*y + z*y. Suppose 0 = -2*q + 5*q - y. Is q composite?
False
Let q = -44205 + 25659. Let d = -16 - -28. Is (-2)/d + q/(-36) prime?
False
Let f = -581 + 2024. Let g = 34 + f. Is g a prime number?
False
Let a = 68192 - 29599. Is a a composite number?
False
Suppose 1673*z + 23116 = 1677*z. Is z a prime number?
True
Let v = -1206 + 1965. Let f = -444 + v. Suppose 4*m - f - 961 = 0. Is m a prime number?
False
Let l(a) be the first derivative of -a**3/3 - a - 12. Let w(s) = -250*s**3 + 6*s**2 - s + 8. Let y(i) = -6*l(i) - w(i). Is y(1) a prime number?
False
Suppose -1162 = -20*y + 2718. Is y a prime number?
False
Is (-24)/(-324) + 8938280/216 composite?
False
Suppose 14*z - 224669 - 3797 = 0. Is z a composite number?
False
Suppose 444*i + 4718 = 446*i. Is i composite?
True
Let q(b) = 832*b**3 - 2*b**2 - b + 2. Let p = -58 + 59. Is q(p) composite?
True
Suppose 290*j - 3260 = 286*j. Is j composite?
True
Let j(v) = v**2 - 2*v + 3. Let a be j(0). Suppose -4*t = -a*g - 1031, -t - 6*g + g = -252. Is t a composite number?
False
Suppose 5139 = v + 2*s, 10314 = -v + 3*v - 5*s. Is v a prime number?
True
Is (-9682)/(-6 - (1 + 5 - 10)) a prime number?
False
Let y(l) = -2*l - 12. Let u be y(-8). Suppose u*n + 246 = 30. Let b = n + 143. Is b a prime number?
True
Suppose 4*w = 3*l - 7, -2*l + 4*w + 2 = -4*l. Let k(p) = -l - p**2 + 39*p**3 - p + 2*p + 8*p**3. Is k(1) a prime number?
False
Let q be (-2 - (-10)/6)*-1329. Is q/5 - (-14)/35 composite?
False
Let l(b) = 19*b - 25. Suppose -4*f - 8 + 62 = 3*t, 0 = -4*f + 2*t + 44. Is l(f) composite?
True
Suppose -3*u + 75732 = -8*m + 11*m, 0 = 6*m - 3*u - 151491. Is m composite?
False
Suppose 8*w = 10*w - 144. Let m = 131 + w. Is m a prime number?
False
Let n = -38076 - -140279. Is n a composite number?
False
Suppose -342 = 3*f - 1380. Is f prime?
False
Suppose -289 - 1607 = 8*h. Let p = h - -109. Let g = p - -183. Is g composite?
True
Let l(f) = 2*f + 33. Suppose 7*b - 11*b + 104 = 0. Is l(b) composite?
True
Let l = 22194 - -7711. Is l composite?
True
Is 1/(-6)*(59 + -253997) prime?
True
Let n(y) = y**3 + 3*y**2 + 3*y + 1. Let s(j) = -2*j**2 - 3*j - 1. Let l be s(-2). Let w be n(l). Let k(x) = x**2 + 5*x + 11. Is k(w) a prime number?
False
Let f = -42 + 50. Suppose -f*l = -13*l + 4325. Is l a composite number?
True
Is 8 - -59*(-4036)/(-4) prime?
True
Let q(i) = -1637*i**3 + 3*i**2 + 2*i - 1. Let c be (0 - -2)/(16/(-8)). Is q(c) a prime number?
True
Suppose 2*x = -4*t + 17 + 3, 0 = 3*x. Suppose 4*l - 5*k = 1033, t*l - k = 301 + 985. Is l a prime number?
True
Let s(n) = 12*n + 5. Let l be s(2). Suppose -2*g + 3*u = -648, -g + 3*u + 292 = -l. Is g a composite number?
True
Let g(t) = -186*t**2 + 2*t - 1. Let q be g(1). Let n = q - -56. Is n/(-2) + 4/8 a prime number?
False
Suppose -370 = 2*n + 180. Let z = n + 641. Suppose z = 3*c + 129. Is c a prime number?
True
Is ((-1)/(2/4))/((-10)/4505) a composite number?
True
Let w(u) = -26*u**2 + 2*u + 6. Suppose -2*c = c + 12. Let f be w(c). Is 2 + 1/(-2)*f a prime number?
True
Let j(b) = -235*b - 13. Let o be j(-5). Suppose -o = -i - 221. Is i a prime number?
True
Let m = -24 - -261. Is m composite?
True
Let m(w) = 256*w**2 - 11*w - 29. Is m(-4) prime?
True
Is (-3)/(-4) + 11/((-528)/(-544044)) prime?
False
Suppose 0 = -m - 3, d = -2*m + 882 + 153. Suppose -5*n = -56301 + d. Is (1/4)/(9/n) composite?
False
Let u(d) = -d**3 - 8*d**2 + 9*d + 3. Let f = -21 - -12. Let i be u(f). Suppose -i*a + 174 = -273. Is a a prime number?
True
Suppose 0 = 4*o - 7*o + 6. Let g be (5/o)/((-1)/(-2)). Suppose 0*u - 5*j = -2*u + 159, -g*j - 5 = 0. Is u prime?
False
Suppose 7*u - 2*h = 2*u - 75, -3*h - 60 = 4*u. Let q = 5 - u. Let r = 203 + q. Is r prime?
True
Is (1 + (-25)/(-10))*958 + 0 a composite number?
True
Suppose -2*k - 516 = k. Let l = -66 - k. Is l composite?
True
Let f be 2/(-10) + 6/5. Let l be (-1)/(f - (-980)/(-975)). Suppose -10*u + l = -7*u. Is u prime?
False
Let r(q) be the first derivative of 41*q**4/3 - q**2/2 - 2*q + 1. Let f(a) be the first derivative of r(a). Is f(2) a composite number?
True
Let k(h) = -45*h**3 + 9*h**2 + 12*h - 8. Let o(d) = -15*d**3 + 3*d**2 + 4*d - 3. Let c(q) = 6*k(q) - 17*o(q). Suppose 0*x = 4*x + 8. Is c(x) a composite number?
False
Suppose a + 4*t + 75 = 0, a + 19 = -t - 41. Let g = 102 - a. Is g a prime number?
True
Let n(x) = -4*x - 2. Suppose -5*u - 4 = 1. Let i be n(u). Suppose -p + 191 = -5*o - 248, -8 = i*o. Is p composite?
False
Let a = 272 + -54. Suppose -5*c - 823 = -a. Let i = 266 + c. Is i a prime number?
False
Suppose 0 = s - 3. Suppose -5*g + 211 = -s*g + 5*v, -v = -3*g + 342. Is g a composite number?
False
Let i = -2055 + 5045. Suppose -2*f = -12680 - i. Is f composite?
True
Let g = 763 - 505. Suppose 0 = 7*b - g - 64. Suppose f