 -2*o = 3*w + 11, o + 4*w = 2*o - 22. Suppose -o*t + 730 = -5*z + 2735, z - 2*t = 401. Is z composite?
False
Let a = -4680 + 13033. Is a a prime number?
True
Let t = 7 - 12. Let s(n) = 7*n**2 - 8*n - 12. Is s(t) a prime number?
False
Let b(h) = -1. Let j(y) = -9*y - 2. Let w(r) = -6*b(r) + 2*j(r). Let s be w(-1). Is -7*-1*s/4 a prime number?
False
Let q(t) = 201*t**2 + 6*t + 73. Is q(-8) prime?
True
Let u(p) = -4*p + 217. Suppose 3*i = -4*i. Is u(i) prime?
False
Let c = -726 - -8119. Is c prime?
True
Suppose -7*v + 219226 - 37877 = 0. Is v composite?
True
Is ((-8)/6)/((-160)/613560) a composite number?
False
Let m(k) = k**3 + 21*k**2 - 7*k - 19. Is m(-20) a composite number?
False
Let i(k) = -k**3 + 4*k**2 + 2*k - 4. Let j be i(4). Let h(o) = 3*o**2 + o. Let x be h(j). Suppose -4*y + x + 472 = 0. Is y a prime number?
True
Suppose 5*n = 2*x + 4355 - 17190, 4*x - 3*n = 25649. Suppose 3*a = -o - 3*o + x, -2*a = -5*o + 8001. Let z = o - 838. Is z a prime number?
False
Let q = 699 + -406. Is q composite?
False
Suppose -151029 = -4*p - t, -2*p = -3*t - 41070 - 34441. Is p composite?
True
Let l(d) = 4*d**2 + 16*d + 5. Let h be l(-11). Let u = h - 164. Is u prime?
True
Suppose -3*b = -5*b - 52. Let a = b + 29. Suppose -277 = -a*h - 10. Is h a composite number?
False
Let a = 383 - 388. Let k(w) = -5*w**3 - 3*w**2 - 3*w + 4. Let t(s) = 11*s**3 + 7*s**2 + 6*s - 9. Let l(q) = -13*k(q) - 6*t(q). Is l(a) composite?
False
Suppose -50*b + 46*b + 3956 = 0. Suppose 0*g + 5*y = -3*g + 2969, -g - 2*y + b = 0. Is g a composite number?
True
Let r(n) = -n**3 - 3*n**2 - 7. Suppose -4 + 22 = -2*v. Is r(v) prime?
True
Let u = -153 - -81. Is 210768/u*6/(-4) a prime number?
True
Suppose 4*s - 15 - 21 = 0. Suppose -5*k - 1988 = -s*k. Is k prime?
False
Let b be (-901)/(-5) + 195/25 + -8. Let r = b - 93. Is r composite?
True
Let i be (-7148)/(-28) - 4/14. Suppose -532 = -2*q + 6*q. Let f = i + q. Is f a composite number?
True
Let w(a) = -a**2 + 4*a - 3. Let r be w(3). Let k(h) = -10*h - 3*h + 291 - h**3 - h**2 + 14*h. Is k(r) prime?
False
Let n = 104 + -101. Suppose -3*t + 2646 = 3*f - 2637, n*t = -2*f + 3521. Is f composite?
True
Suppose -27 = 9*z - 6*z. Is (-2274)/(-9) - (0 + 3/z) composite?
True
Suppose -28*c + 33*c - 30 = 0. Suppose -c*v + 2*v + 12315 = 5*j, 0 = 4*j + 4*v - 9856. Is j prime?
True
Is (-2)/3 + 701818/78 a composite number?
True
Let r = -3398 - -5239. Is r a prime number?
False
Suppose -2*m = 3*m - 27300. Suppose 2*h - m = -4*q + 5*q, -4*q = -3*h + 8180. Suppose 0*k + h = 4*k. Is k prime?
True
Suppose -k - 3 = -2*k. Let v be k + (-3 - -4) + -4. Suppose -3*g + 178 + 701 = v. Is g a composite number?
False
Let f(d) = 6*d**3 + 5. Let w be f(-3). Let o = -68 - w. Is o composite?
False
Let t = -487 - -284. Let y = -84 - t. Is y prime?
False
Suppose 841 = -6*v - 2573. Is (-4 + 1)*v*1 prime?
False
Let u(h) = -31 + 39 - 3*h - 9*h. Let k(m) = 11*m - 8. Let a(x) = 5*k(x) + 6*u(x). Is a(-9) prime?
False
Is (3 - 5 - 21)/(4/(-268)) composite?
True
Let w(s) = 49*s**2 - 20*s + 553. Is w(12) prime?
True
Let g(b) = 5*b**2 + 37*b - 7. Let x be g(-8). Suppose -5*p + 10 = -0. Let h = p + x. Is h composite?
False
Let n be (8 + -16 + 5)/(6/(-926)). Let g(a) = 94*a. Let j be g(1). Let d = j + n. Is d a prime number?
True
Let p = -9447 - 2946. Let k = 3077 + p. Is (-4)/(-18) - k/36 a composite number?
True
Suppose -3*k - 2*w + 6403 = 0, k - 2149 = w + 2*w. Is k a prime number?
True
Suppose -10 = 4*c + 2*x, -4*c + 5*x = 25 + 20. Let s = -14 + c. Let y = s + 50. Is y a composite number?
False
Let k be ((-3)/15 - 0) + 78/15. Suppose -4*j + 2579 = 3*v, 8*v - 1297 = -2*j + k*v. Is j a composite number?
False
Let a(u) = u**3 + 5*u**2 + 3. Let v be a(-3). Is (v/6 + -4)*-298 composite?
False
Let f(h) = -649*h - 48. Is f(-23) a prime number?
True
Suppose d + 2*x = -2, -4*d + 3*x - 23 = d. Let q(g) = -24*g - 9. Is q(d) composite?
True
Let v = -38 + 40. Suppose -427 = -l + 2*w, v*l - 2*w - 859 = w. Is l prime?
False
Suppose -2*a - 18 = a. Let z(o) = -o - 3. Let x be z(a). Is 100/1 + (x - 6) composite?
False
Suppose -2*b - 2*n = -1564 - 5208, 0 = -b + n + 3386. Is b composite?
True
Let f = 11 - 8. Suppose -f*o = o. Is 20 - (-3 - -1 - o) prime?
False
Suppose -62*l + 18*l = -1942996. Is l composite?
False
Suppose -2*w + 4*w - 5*q - 956 = 0, -2*q = -3*w + 1412. Suppose 3*c - 144 - 79 = -o, 0 = -2*o + 5*c + w. Suppose 4*n + o - 737 = 0. Is n composite?
False
Suppose -9536 = -8*u + 66104. Let c = u + -5548. Is c a prime number?
True
Let z(u) be the second derivative of -u**5/4 + 7*u**4/12 - 4*u**3/3 - u**2/2 + u. Suppose c - 6 = -3, -3 = 2*p + 3*c. Is z(p) a prime number?
False
Suppose -1110280 = 30*m - 70*m. Is m prime?
False
Suppose u + s = 5*u + 15, -3*s = 5*u + 6. Let y be (-9)/3 - u - -2. Suppose l - 952 = -5*x, y*x - 115 = -5*l + 252. Is x prime?
True
Suppose 3*q = -q + 8. Suppose k = 3*p + 1 - q, 0 = p + 3*k - 17. Suppose -p*d = -81 - 97. Is d a prime number?
True
Let g(j) = -4*j + 12. Let c(m) = 8*m - 25. Let r(b) = -6*c(b) - 13*g(b). Let q(u) = 1. Let i(h) = -3*q(h) - r(h). Is i(-5) composite?
False
Let a(c) = c**3 - 6*c**2 - 8*c - 13. Let p be a(9). Suppose 13*z = 11*z + p. Is z prime?
True
Let k = 2259 - 760. Is k a prime number?
True
Let l = 49403 - -25370. Is l prime?
False
Let t = -29438 + 81319. Is t composite?
True
Suppose -5*k = -4*k + 5, -y + 3*k = -13. Let z be y - (1 + 88/(-1)). Suppose 5*m - z = 480. Is m a composite number?
False
Is 38/(-6)*(-8007)/17 prime?
False
Let i(o) = o**2 + 39*o + 35. Is i(27) composite?
True
Let z = 3 - -37. Is (-7 - z/(-32))*(-1 - 115) prime?
False
Suppose x - 6 = t - 3*t, -4*x + 3*t = -13. Suppose -x*r + 0 = -16. Is ((-8)/6)/(r/(-438)) composite?
True
Let f(v) = 3*v**2 - 3*v + 113. Let b(c) = -c**2 + c - 57. Let w(j) = -5*b(j) - 2*f(j). Let o = -186 + 186. Is w(o) composite?
False
Let w(r) = -48*r**2 + 5*r + 5. Let v be w(-3). Let m = 759 + v. Is m a composite number?
False
Let v = 9464 + -4297. Is v a composite number?
False
Let t(x) = 2*x**2 - 2*x**2 + 3*x**3 + 5*x**2 - 7*x + 4. Is t(5) a prime number?
False
Suppose -8*q + 9 = -11*q. Let y be (810/12)/(q/(-76)). Suppose 5*j + y = 5*x, 2*x - 2*j - 689 = j. Is x a prime number?
True
Let g be 0/2 + 156852/18. Is (1 - 4) + g + -4 a composite number?
False
Let t(h) = -h**2 + 15*h + 6. Let b(r) = -r**2 + 1. Let w(i) = -2*b(i) + t(i). Is w(-18) a composite number?
True
Let d = -284 - -169. Let h be (-1 + d)*14/(-4). Suppose m + h = 3*m. Is m a prime number?
False
Suppose 5*t = 2*t + 5*w + 30041, 5*t - 50031 = -w. Is t a prime number?
True
Let v(n) = -136*n + 135. Is v(-13) a prime number?
False
Let r = 7 + -6. Let f = r - -3. Is (f + -5)/((-1)/233) a prime number?
True
Suppose -2*b = -b - 5, -4*q = -5*b - 1563. Suppose q - 66 = z. Is z a composite number?
False
Let f(n) = -9*n + 7*n + 7 - 31*n - 2. Is f(-10) prime?
False
Let a(t) = 4318*t**2 + 7*t + 8. Is a(-1) a prime number?
False
Let c = -512 + 729. Is c a prime number?
False
Let c = -11 - -16. Let n = 2 + c. Suppose n*w + 133 = 8*w. Is w prime?
False
Let s = 63 - 31. Suppose -558 = -5*m + s. Is m a prime number?
False
Let m = -472 + 1470. Suppose -m = -x + 783. Suppose 2*h - 4 = 0, -5*h - 514 = 3*j - x. Is j a prime number?
True
Suppose -5*o + 55 = -u, -2*o - 115 = 4*u - o. Let m be (-2)/((-12)/(-9))*u. Let s = 70 + m. Is s a composite number?
True
Let n be (-2 - -272)*(-1)/(-2). Suppose v = c + c - n, 2*c - 2*v - 140 = 0. Is c a prime number?
False
Let c = -24 - -3. Let d = c - -36. Is 35/2*12/d prime?
False
Suppose 6*b - 8*b = -1974. Suppose 0 = 10*s - 13*s + b. Is s a prime number?
False
Let m(d) = 63*d - 24. Let w = -45 + 60. Is m(w) prime?
False
Let r(m) = m**3 + 19*m**2 + 7*m - 7. Let b be r(-8). Suppose -5*z + 3*i = -b, -z = i - 48 - 77. Is z prime?
True
Suppose 51*j - 55*j = -8. Is 0/(-4 - (-2 + j)) - -751 a composite number?
False
Suppose 2*k - 5*c + 11 = 0, -k + 0*c - 4 = -2*c. Suppose k = 2*y + 70. Is -3 + (2 - 3)*y prime?
True
Let b(v) = -62*v**3 + 2*v**2 - 1. Suppose 0*q - q - 2 = 0. Let z be b(q). Suppose -4*p + z = -1581. Is p prime?
True
Is 3817 - ((10 + -3)*-1 + 3) composite?
False
Let q(g) = 56271*g**3 + g**2 + 6*g - 7. Is q(1) composite?
True
Suppose -13*n + 1 = 53. Let b(i) = 27*i + 6. Let p(g) = -g. Let w(s) = -b(s) + p(s)