 w be x(3). Suppose u - 24 = 5*i, 2*i - 120 = -5*u - 3*i. Let v = w - u. Is v a composite number?
False
Let k = -51 - -228. Is k a prime number?
False
Let o be (0 - 1)*(1 + -56). Suppose -5*v + 3*l + o = 0, -3*l = 4*v - 2*l - 61. Is v a prime number?
False
Let a(g) = g**3 + 0*g**3 + 9*g - 1 + 1 + 2*g**2 - 3. Is a(6) prime?
False
Suppose -4*f = -9*f + 50. Let m = -4 - -7. Suppose -34 = -m*u + o, f = 3*u + 3*o - 8. Is u composite?
True
Let k = 119 + -19. Suppose -j - 3*s + k = 10, 2*j - 4*s = 190. Is j a composite number?
True
Let b be 4 + (-3)/((-3)/(-3)). Is 30/(0 - (-2)/b) composite?
True
Suppose 0 = 3*t, -4*t + 1901 = 3*h - 1246. Is h a prime number?
True
Let t = 54 + -23. Suppose 0 = -x - 0*x + t. Is x composite?
False
Suppose 4*w = 3*w - 4*g + 627, -5*w = 3*g - 3169. Is w prime?
False
Suppose 0 = 3*t - 11 - 91. Is t prime?
False
Suppose 3*a = 1 + 14. Let j(s) be the third derivative of s**6/120 - s**5/20 - s**4/6 - 7*s**3/6 + 25*s**2. Is j(a) prime?
True
Let v(c) = -3*c + 2. Let f be v(-9). Suppose -t = -y + f, -y + 4*y - 4*t = 85. Is y composite?
False
Let i be 4 + 6/9*30. Let a = 147 - 88. Let g = a - i. Is g prime?
False
Suppose 0 = -5*o + 4 + 6. Suppose -13 = -a - 3*i, 4*i = -o*a + 20 + 4. Is a composite?
True
Suppose -f = f - 5*o - 81, -150 = -5*f - 5*o. Is f a composite number?
True
Let j = 512 - 205. Is j composite?
False
Suppose 5*m - 2*m = 471. Is m composite?
False
Suppose 0 = 2*b - 5*x - 0 - 4, 0 = -2*b + 2*x + 4. Suppose 3*r = -b*r. Suppose v - 51 = -5*k, -2*k + 3*v + 2*v + 42 = r. Is k prime?
True
Is (-2)/7 - 9801/(-77) a prime number?
True
Let r = -1960 + 910. Is (-2)/(-3) + r/(-18) prime?
True
Is (415/(-20))/((-1)/4) prime?
True
Let i(w) be the third derivative of -w**5/60 - 7*w**4/12 + 3*w**3/2 - w**2. Is i(-7) a composite number?
True
Let s(l) = -l**3 - 6*l**2 + 11*l - 1. Suppose 0 = 2*w + 2 + 14. Is s(w) a prime number?
False
Suppose 2*b = -2*b + 3892. Is b composite?
True
Let v = 11 + -9. Suppose 4*f = -5*z + 111, -z = 2*z + v*f - 65. Is z a composite number?
False
Let m = 12 + -8. Suppose 4*c - 2*a = 646, -487 = -m*c + c + 4*a. Is c a composite number?
True
Let k be (-3)/(-1) + 63/1. Suppose 4*t - t - k = 0. Is t a composite number?
True
Let o(t) = -30*t**3 + 2*t**2 - t - 2. Is o(-1) a prime number?
True
Let b(c) = -42*c - 1. Is b(-2) a prime number?
True
Let a = -3 - 1. Let w(y) = -y**3 - 3*y**2 - y - 2. Let z be w(a). Suppose 0 = m - 3*v - z - 10, 5*m - 182 = v. Is m a composite number?
False
Let i(w) = -166*w - 1. Is i(-2) prime?
True
Let m(t) be the first derivative of t**3/3 + 7*t**2/2 - 12*t - 33. Suppose -2*r - 23 = -u - 6, -4 = 4*u. Is m(r) composite?
True
Suppose 289 = 2*u - u. Is u a prime number?
False
Let w be 309/6*(1 - -1). Let d = w - 54. Is d a prime number?
False
Suppose 4*t = -2*f + 636, 5*t + 3*f + f = 789. Is t composite?
True
Suppose -2*r = -4*r - 222. Let z = -151 + 347. Let k = z + r. Is k a prime number?
False
Suppose -5*y + 5164 = 779. Is y composite?
False
Let m(s) = 6*s**2 - 3*s - 12. Is m(5) prime?
False
Let n be -17 - -1 - 0/(-1). Let t be 2/(-3) + n/(-6). Suppose 2*b - 63 = t*g + 87, 8 = 2*g. Is b composite?
False
Let z = -135 + 466. Is z a prime number?
True
Let y(l) be the first derivative of -l**3/3 - 8*l**2 - 7*l + 8. Suppose -3*g + 3*c = -2*c - 2, 0 = 4*g - 3*c + 12. Is y(g) composite?
False
Let c = -1 + 2. Is c + 3 - (-1 + 2) a prime number?
True
Let g(d) = -d**3 - 5*d**2 + 6*d + 5. Let p be g(-6). Suppose 19 = p*z - 1. Is 2 + -1 - (z + -7) a composite number?
True
Let k = 36 + 53. Is k a prime number?
True
Suppose -k + 17 = -2*k. Let x = -12 - k. Suppose 5*q = -x*s + 209 + 26, 4*q - 204 = 4*s. Is q a composite number?
True
Let q(t) = t. Let v be q(0). Suppose v = -4*u - 2*x - x + 316, 0 = 2*x. Is u prime?
True
Suppose -2*z - 569 = 2*x - 5*x, 3*x + 2*z = 577. Is x composite?
False
Let b(z) = -2*z - 5. Let l be b(-4). Suppose 3*i = 0, i = -2*o - 3*i + 12. Is (-2)/o + 94/l a prime number?
True
Let v(j) be the second derivative of -j**5/20 + j**4/2 - j**3/2 - 3*j**2/2 + j. Let w be v(5). Is 1 - (-2)/1*w composite?
True
Suppose -2*q + 10 = 4*c - 36, -32 = -4*q + 4*c. Let h(f) = 11*f - 16. Is h(q) composite?
False
Suppose -5*q - 485 = -8*a + 3*a, 0 = -5*a - 4*q + 485. Suppose 3*k + a = -185. Is (k/3)/(8/(-12)) a composite number?
False
Suppose 3*f + 31 = 2*w, 3*w + f = -3*f + 4. Let q(r) = -3 - 2*r**2 - 10*r + 15*r - 6*r**2 - 2 + r**3. Is q(w) prime?
False
Let c = 1408 + 121. Is c a composite number?
True
Let r(l) = 1 - 2*l - 3 + 0. Let v be r(-3). Suppose 127 = v*t - 3*t. Is t prime?
True
Suppose v - z - 1281 = 0, -2*v - 2*z + 3486 = 940. Is v a composite number?
False
Suppose -5*i + 30 = 10. Suppose -4*y = -4*d + 384, i*y = d - y - 84. Suppose -4*u + d = -41. Is u composite?
True
Let i(j) = -j + 3. Let k be i(-5). Suppose 280 = -3*u + k*u - 5*p, -4*u = 4*p - 200. Is u a composite number?
False
Let o = -10 + 10. Let n = -3 - -5. Suppose -y + n = -o*y. Is y composite?
False
Let c(l) = 3*l - 13. Let a(n) = -4*n + 19. Let w(d) = -5*a(d) - 8*c(d). Let v be (-1)/3 + 20/(-3). Is w(v) composite?
False
Suppose -4*o - 3*b = 121 - 43, 0 = -5*b - 10. Let m be (-68)/5 + o/(-30). Let a = m - -32. Is a prime?
True
Is -2 + (-3 - (-1 - 3639)) a composite number?
True
Let j be (-402)/(-33) - 4/22. Let g be j/1*42/8. Suppose c - t - 55 = 0, -c = -2*t + 3*t - g. Is c a prime number?
True
Let p = 7 - 27. Is (-9650)/(-14) + p/70 a prime number?
False
Suppose r = 5*q + 8, -3*q - 4 = -r - 0*r. Is (225/(-6))/5*q composite?
True
Suppose -9 = -5*x + 6. Suppose -7*z = -x*z - 340. Is z prime?
False
Let v = 12 - 8. Let z(b) = b**2 - b + 2. Is z(v) composite?
True
Suppose -y = -0*y - 4. Suppose -3*s = -2 - y. Is 73/s - (-1)/2 a composite number?
False
Suppose -5*b + 2*c = -2*c - 967, 200 = b - 3*c. Is b prime?
True
Let w(y) = -7*y**2 + y - 5. Let q(k) = 20*k**2 - 4*k + 15. Let v(b) = 3*q(b) + 8*w(b). Let c(a) = -5*a**2 + 5*a - 4. Let i(o) = 5*c(o) + 6*v(o). Is i(0) prime?
False
Let y(n) = -n - 1. Let m(j) = -j**2 - j + 5. Let c(x) = m(x) + 5*y(x). Let u be c(-6). Let b = u + 2. Is b a composite number?
False
Let k = 5 + -9. Let o = k - -10. Is o composite?
True
Let x(g) = -2*g**3 + 2*g**2 + 2*g - 1. Let l(m) = -2*m**3 + 2*m**2 + 2*m - 1. Let u(n) = -6*l(n) + 7*x(n). Is u(-2) prime?
True
Suppose 2 = 5*c - 13. Suppose 36 + 75 = c*z. Is z a prime number?
True
Suppose h = -4*h. Suppose h = -4*g + 595 + 249. Is g a composite number?
False
Suppose -3299 + 12917 = 2*i. Is 2/13 - i/(-91) a prime number?
True
Let l be (4/8)/(2/144). Let u be 9/l + (-2)/8. Suppose u = 2*y - 20. Is y a prime number?
False
Suppose -s = s - 4*d, -d + 15 = 2*s. Let q be 5*s/15*47. Suppose 3*h = 2*z - q, -z + 2*h = -2*h - 37. Is z a prime number?
True
Let d be (-5)/(-4) - (-1)/(-4). Let h(b) = 13*b**2. Is h(d) a composite number?
False
Suppose 5*o - z - z = 491, 0 = -3*o - 2*z + 285. Is o a prime number?
True
Suppose -4*v + 6941 = -k, -2*k = -3 + 5. Is v a composite number?
True
Let o(x) = x + 4. Let i be o(-5). Let u be (-1)/(i - (1 + -1)). Suppose -d + u = -2. Is d a composite number?
False
Let n = -5 + 3. Let a be 0 - (8 + n/(-1)). Is a/8*(0 - 44) prime?
False
Suppose 2*x + 8 = 6*x. Let b(f) = -f**3 + 4*f**2 - f - 2. Let d be b(x). Suppose d*j + 2*c = 5*c + 365, j = -2*c + 83. Is j prime?
True
Is 1638/3 + -3 + 0 + 2 prime?
False
Let x be (28/5)/((-16)/(-40)). Let i = x + -10. Is (15/(-4))/((-1)/i) prime?
False
Let b(w) = 2*w**2 + 5*w**2 - 2*w + w**3 + 7 + 0. Is b(-7) composite?
True
Let m = 25 + -13. Suppose -3 - m = -5*b. Suppose j + b*j = 2*g + 90, g - 81 = -4*j. Is j a composite number?
True
Let r(g) = -6*g**3 + 6*g**2 + 5*g - 4. Let f(b) = b - 1 + b**2 + b**3 - 2*b**3 + 0. Let u(c) = 4*f(c) - r(c). Is u(3) prime?
False
Let d be 5/(-4) + 1/4. Let q be -4*((0 - d) + -2). Suppose 9 = q*p - 115. Is p composite?
False
Let y(d) = -2*d**3 + 10*d - 9. Is y(-5) a composite number?
False
Let i = 5 + -3. Suppose 3*m + 6*y - 218 = 2*y, 5*m - i*y - 320 = 0. Suppose 39 = 3*a - 3*j - m, 3*a - 113 = 5*j. Is a prime?
True
Suppose -37 + 229 = 3*s. Let x = s + -38. Is x composite?
True
Let d(a) = 200*a + 2. Is d(1) a composite number?
True
Suppose 0*m - 2456 = -2*m. Let c = m + -735. Is c a prime number?
False
Suppose 4*y - 15 = -y - s, 0 = -3*y - s + 11. 