 = 0, 2368 = 4*z + 5*r. Is z composite?
False
Let j(r) = 438*r + 11. Let t(k) = 1315*k + 32. Let p(u) = -17*j(u) + 6*t(u). Is p(3) prime?
False
Suppose -5*p + 7*p = -2*u + 13518, 27050 = 4*u - 3*p. Is u a prime number?
True
Let y(o) = 6*o + 14. Let z be y(-2). Suppose 2016 = 3*m - 5*p, m - z*p - 589 = 84. Is m prime?
False
Let t(u) = -u**3 - 17*u**2 - 60*u - 11. Is t(-17) prime?
True
Let t(p) = 64*p**3 - 9*p**2 + 7*p + 63. Is t(13) composite?
False
Suppose -5*h = 2*h - 42. Is 548*(h/(-8) + 2) prime?
False
Let i(f) = f**3 + 7*f**2 + 4*f + 1. Suppose 0 = -o + 3*o + 12. Let m be i(o). Suppose 0 = -m*h + 8*h + 165. Is h a composite number?
True
Let h(o) = -4*o - 6. Let c be h(-10). Suppose -7*n + 1205 = -c. Is n prime?
False
Let d(c) = -c**3 - 15*c**2 - 12*c + 17. Let i be d(-13). Let q = 356 + i. Is q a composite number?
False
Suppose 11589 = -210*m + 213*m. Is m composite?
False
Suppose 4 = x, -2*x - 682 - 1058 = -4*z. Is z prime?
False
Let p(r) = 4*r**3 - 7*r**2 - 10*r + 12. Let u be p(8). Suppose 0 = -3*m + 4*l + 4605, 5*l - u - 6143 = -5*m. Is m prime?
False
Suppose -3094 = -5*i + b, -b - 615 = -i + 3*b. Suppose -h + o = -i, -3*h = 2*o - 79 - 1793. Suppose -5*u + 383 = -h. Is u a composite number?
True
Let q(p) = -p**3 - 4*p**2 + 15*p - 13. Suppose 2*o = 31 + 65. Suppose 4*s + o = -0*s. Is q(s) a composite number?
True
Let n = 4431 + -2173. Is n composite?
True
Let b(y) = -115*y**3 - 3. Is b(-4) a composite number?
True
Suppose -5*x + 4*x = 5*a - 3651, -4 = -a. Is x composite?
False
Let t = -236 - -491. Let a = -128 + t. Is a a prime number?
True
Let y = 92 + 293. Let h = y - 132. Is h composite?
True
Let i = 17 - 15. Let z(n) = 5*n**2 - 5 - 2*n**i - n**2. Is z(-3) a composite number?
False
Suppose x + 21*u - 13239 = 25*u, 2*u = -4*x + 53046. Is x composite?
False
Let z(w) = -19*w - 4. Let a be z(2). Is (-1 - a)*(5 + 6) prime?
False
Suppose r - a - 20227 = 3*a, a + 20215 = r. Is r a composite number?
True
Let b(m) = m**3 + 8*m**2 + 9*m + 9. Let j be b(-7). Let s(h) = -67*h - 12. Is s(j) a prime number?
False
Suppose -3*r + 9 = 0, 0*c + 2*r - 7 = -c. Suppose 4*f = t + 590, 0 = 2*t - 3 - c. Suppose 0 = -6*h + 2*h + f. Is h composite?
False
Suppose 0 = 2*b + 30775 - 106805. Is b a prime number?
False
Suppose 16*h - 19 + 3 = 0. Suppose 4*f - f = -24. Is (19*h)/(f - -9) prime?
True
Suppose 5*t + 1 - 41 = 0. Let i(a) = -t*a**2 - a**3 - 169*a + 11 + 2*a**3 - 6*a**2 + 179*a. Is i(15) composite?
True
Let w(o) = -o**3 - 5*o**2 - 2*o + 5. Let m be 2/4 + 9/(-2). Let u be w(m). Is (-6)/(-4)*(-254)/u a prime number?
True
Suppose -g + 309 + 1561 = 0. Let d be (g/30)/(1/3). Let w = 70 + d. Is w composite?
False
Let a = 647 + 38. Is a composite?
True
Suppose -120 = -2*y + y. Suppose 2615 = 5*x + y. Is x a composite number?
False
Suppose 11730 + 26852 = 4*y - 2*i, -4*i + 28909 = 3*y. Is y prime?
True
Suppose -5*d + 4*z - 2461 + 15506 = 0, -3*z = -3*d + 7830. Is d a prime number?
False
Let l(i) = -132*i - 35. Is l(-7) a prime number?
False
Suppose 5*z = -5*q, -2*q - 3 = 4*z + 1. Let h be ((-4)/6)/(q/(-6)). Suppose 3*c = -h*p + 284, 0 = -3*p + 3*c + 388 + 23. Is p composite?
False
Let y be ((-6)/(-12))/(1/8). Suppose 0 = 5*b + z - 385, 0*b = 3*b + y*z - 214. Let k = 137 - b. Is k composite?
False
Let w be 7 + (-4487)/(-21) - 1/(-3). Let f(l) = l**3 - 4*l**2 - 7*l. Let m be f(5). Let b = w + m. Is b composite?
False
Suppose 0 = -4*q + 5*b + 206 + 938, 4*b = 0. Suppose -p - 4*o + q = p, -2*o + 739 = 5*p. Is p a composite number?
False
Let q be 1/((-4)/(-536)) + -3. Is q/2*(-10)/(-5) a prime number?
True
Let q(r) = -5*r + 293. Suppose 16*p - 6*p = 8*p. Is q(p) a composite number?
False
Suppose 0 = -5*r + 2*r + 3513. Is r a prime number?
True
Let z be (9/(180/808))/(2/10). Suppose -4*k = z - 15942. Is k prime?
False
Let t = -10394 + 20041. Is t a composite number?
True
Suppose -456 = 2*a - 2676. Suppose h + 2*h = -a. Let n = 593 + h. Is n a composite number?
False
Let j be (-4 + 10)*(-2)/16*-4. Suppose o + 4*v = 4105, j*o + 8222 = 5*o - 4*v. Is o a composite number?
True
Let h be -1 + 6 - (10 + -13). Suppose 5*o = 2*o + 897. Suppose -w = 3*j - 7*j - o, 4*j = h. Is w a prime number?
True
Let s = 4953 - 2980. Is s a prime number?
True
Let m(s) = -s**3 + 4*s**2 - 2*s + 4. Let f be m(3). Suppose -f*a = -3*a - 88. Suppose a*y + 369 = 25*y. Is y a composite number?
True
Let c(g) = 26*g**2 + 23*g - 27. Let q(v) = -13*v**2 - 12*v + 14. Let l(f) = 3*c(f) + 5*q(f). Is l(7) composite?
True
Let h(l) = 14*l + 11. Let g = 9 + -12. Let y(i) = -27*i - 21. Let p(b) = g*y(b) - 5*h(b). Is p(6) a prime number?
False
Suppose -245173 - 141115 = -16*h. Is h a prime number?
False
Suppose -4*c + 2*y + 24 = -4, -3*c - 3*y + 39 = 0. Suppose -4*z = -z - c. Suppose -z*s - 2*s + 5*t = -130, 0 = 4*t + 16. Is s prime?
False
Is (3602*1)/(132/30 - 4) prime?
False
Suppose 645 = -21*h + 26*h. Is 30/9*(h/2 + -3) a prime number?
False
Suppose -74451 = -35*w + 46404. Is w prime?
False
Let k(b) = 2*b + 19. Let q be k(-8). Suppose 0 = q*r - 416 + 116. Suppose -4*i = -r + 24. Is i composite?
False
Suppose -2425 = -q + 2162. Is q - 20/(8 - 3) a prime number?
True
Let u be ((-360)/(-27))/((-1)/(-3)). Suppose -2*n + u = -7*n. Is (222/n)/((-5)/20) composite?
True
Suppose 118648 = 3*b + f, 3*f + 0 = -15. Is b composite?
False
Suppose 4*x - 4*m - 12792 = 0, -26*m = -4*x - 23*m + 12793. Is x a prime number?
False
Let f = -38 + 37. Is (-3 - f)/(-3*(-4)/(-2238)) a prime number?
True
Let v = 1657 + 185. Suppose 6*u - 3*u - v = 0. Is u prime?
False
Suppose 5*z + 3*u = 8*z - 1758, -5*z + 2918 = -u. Is z prime?
False
Suppose -3*h = 3*g - 45, -5*h = 2*g - 5*g - 91. Let w = h - 17. Suppose w = 2*r - 5*r + 267. Is r composite?
False
Suppose 4*s + 2128 = -5*y, -543 = -3*s + 4*y - 2139. Let i = 835 - s. Is i composite?
False
Is 2/((-38451)/(-25626) - (-6)/(-4)) a composite number?
False
Suppose 2959 + 1105 = 16*i. Is i composite?
True
Let z be 10766/4 + ((-9)/(-6))/3. Suppose -5*i + 2814 = -3*r - 543, -4*r = -4*i + z. Is i prime?
False
Suppose -3*m + 4974 = -t, -2*t = 10 - 4. Suppose -1167 - m = -8*x. Is x composite?
False
Let f(s) = s**2 - 11*s + 15. Let v be f(10). Suppose -v*j - 8 = q - 0*j, -5*j = -2*q - 1. Is 2*q/2 + 254 composite?
False
Suppose 27*q - 19*q = 95672. Is q a prime number?
True
Suppose 356 = h - 855. Is h composite?
True
Let a(v) be the first derivative of 2029*v**3/3 - 7*v**2/2 + 4*v - 3. Let k(l) = 676*l**2 - 2*l + 1. Let s(n) = -2*a(n) + 7*k(n). Is s(1) a composite number?
False
Let r be 1 - (0 - (-3 - -5)). Is (r + (-55)/10)*(-25148)/10 a composite number?
False
Let z be (-2)/(-5) + (-48)/120. Suppose z = b + b - 6. Suppose -2*t + 263 = b*d, 20 = 3*t + 8. Is d prime?
False
Let u = -28000 - -42080. Suppose -5*p + 5*w + u = 0, -4*p + p = -5*w - 8450. Is p a prime number?
False
Let o(l) = l**3 + 9*l**2 - 3*l + 14. Let m be o(-11). Let h be (284/(-10))/(2/(-20)). Let x = h + m. Is x a prime number?
True
Let i be (6 - (0 + 4))*2. Suppose i*t = 10*t - 2238. Is t composite?
False
Suppose 573355 = -43*m + 48*m. Is m a composite number?
False
Suppose -15*s + 11*s + 240164 = 0. Is s prime?
True
Let c be 6/(-27) + 70/(-9). Let z be (c + 9)*9*23. Is (33/(-9))/((-3)/z) a prime number?
False
Is 4/(-12)*-3039 + 5 composite?
True
Let v(o) be the second derivative of -3/2*o**2 + 2*o + 13/3*o**3 + 0. Is v(5) prime?
True
Suppose 3*v + 2*b = 12629, 27*v - 8432 = 25*v + 5*b. Is v a composite number?
False
Suppose 9 = -i - 4*l, 0*i + i = 4*l + 15. Suppose 4*o - 1 - 3 = 4*g, -3*o - i*g - 3 = 0. Suppose o = -0*s + 4*s - 812. Is s prime?
False
Suppose 4*a - 275 = 405. Suppose -r - 127 = -3*p, 0 = -2*r - 3*r + 3*p - 575. Let i = a + r. Is i a composite number?
True
Let c = -66 - -197. Let d be (-1 + (-3 - -3))*c. Let i = d + 385. Is i prime?
False
Suppose 463 = c + 3*g - 0*g, 3*c - g - 1359 = 0. Suppose 0 = u + 4*w - c, 5*u = 4*w + 1618 + 556. Suppose u + 47 = 5*l. Is l composite?
False
Suppose -3*r + 4284 = -5*d, -3*d = -5*r - 0*d + 7156. Let y = 110 + r. Is y a composite number?
False
Let x(g) = g + 20. Let w(m) = -6*m**3 + m**2 + 3. Let i(q) = -7*q**3 + q**2 + 4. Let c(s) = 5*i(s) - 6*w(s). Let d be c(2). Is x(d) prime?
False
Let j be 3 + (0 - 6/2). Suppose -2*c + 2*a = a - 455, j = -5*c + a + 1133. Let o = 193 + c. Is 