 Is q(-1) composite?
True
Let u = 285 - 202. Let o = u + -29. Suppose -3*x = 3*w + 2*w - 76, 2*x + 5*w = o. Is x composite?
True
Is -1 + -2 + (211 - 2) a composite number?
True
Let z = 13 + -13. Suppose z = 5*y - h - 928, 3*y - 3*h = 212 + 352. Is y a composite number?
True
Let w be 810/(-25) - (-4)/10. Is 2/8 + (-2136)/w composite?
False
Let k = -368 + 1041. Is k composite?
False
Let u be 1 + 2 + -3 + 2. Suppose u*f = f - 47. Is 2/(-1*2)*f prime?
True
Let j(c) be the first derivative of -c**4/4 - 5*c**3/3 - 2*c**2 - 3*c + 3. Is j(-6) a composite number?
True
Let f be (-18)/(-10) + 1/5. Let d(x) = 8*x - 2. Let q be d(f). Is (4/6)/(q/1407) composite?
False
Suppose 30 = 5*w + 5. Let c(j) be the first derivative of j**3/3 - 5*j**2/2 + 7*j + 7. Is c(w) composite?
False
Let p = -44 - -75. Let k = p - 16. Suppose 5*a - 2*f - 30 = a, 0 = 5*f - k. Is a a composite number?
True
Suppose -3*i = -0*i - 2361. Is i composite?
False
Let q(y) be the second derivative of y**4/12 + 7*y**3/6 - 5*y**2/2 - 2*y. Let n = -3 + 10. Is q(n) a prime number?
False
Let s(n) = -100*n - 13. Is s(-5) prime?
True
Is (-2)/1 + 1518/6 a composite number?
False
Let r be (-1 - -2)/(9/(-27)). Let u(k) = -k - 1. Let p(i) = 14*i + 9. Let g(b) = -p(b) - 5*u(b). Is g(r) composite?
False
Let k = -1215 + 1810. Suppose 6*d + 6 = -3*b + d, 3 = -3*b - 4*d. Suppose b*t = -2*t + k. Is t prime?
False
Suppose 6 - 4 = c - d, -5*c = -4*d - 11. Suppose 2*v - z = -c*v + 73, -85 = -5*v + 5*z. Let o = -1 + v. Is o a composite number?
False
Suppose r - 532 = -3*r. Is r a composite number?
True
Let m be -3 - (-1 + 2 - -20). Let l = 56 - 11. Let g = l + m. Is g a composite number?
True
Let t = 7 + -6. Let h be ((-6)/t)/(-3) + 194. Let u = h - 139. Is u a composite number?
True
Suppose 841 = x + 4*b - 2*b, x - b - 853 = 0. Is x composite?
True
Suppose a - 4 = 42. Is a a prime number?
False
Let l(m) = -69*m**3 + m**2 + m + 3. Is l(-2) composite?
False
Let r(q) = q**3 + 6*q**2 - 6*q + 2. Let t be r(-7). Let h(y) = 8*y**2 - 4*y - 5. Let x(s) = -8*s**2 + 3*s + 5. Let n(k) = t*h(k) - 6*x(k). Is n(4) composite?
False
Let w(x) = 2*x**2 + 4*x + 3. Let k be w(-2). Suppose k*c + 5*j = 684, 0*c + 2*j + 663 = 3*c. Is c a prime number?
True
Let z = 377 + -192. Suppose 2*t = t + z. Is t a composite number?
True
Let w(l) = 2 - 37*l - 3 + 1. Is w(-11) prime?
False
Let l = 106 + 43. Is l prime?
True
Suppose -13 - 37 = 5*j. Let l(p) = p**3 + 11*p**2 + 6*p + 7. Is l(j) a composite number?
False
Suppose 0*n = -4*n - 32. Is (-4)/16 - 666/n a prime number?
True
Let p = -15 + 36. Let y be ((-60)/(-4))/((-2)/(-4)). Let w = y - p. Is w a composite number?
True
Let q(o) = -3*o**3 + 4*o**2 - o - 2. Let l be q(3). Let n = -13 - l. Is n prime?
True
Is 962/3*(-6)/(-4) prime?
False
Let h(p) = p**2 + 2*p - 3. Let w be h(-4). Suppose -w*n = -3*k + 35 - 1, 4*k = n + 17. Suppose 5*j - 217 = -0*r - 4*r, 156 = 3*r - k*j. Is r a prime number?
True
Let c = -1 - -30. Let v = c + 66. Is v prime?
False
Let i(k) = -71*k + 19. Let m = -18 + 10. Is i(m) prime?
True
Let h = -5 + 7. Suppose -5*g + 60 = -y + h*y, 3*y = 2*g + 95. Is y a composite number?
True
Let z be 162/(-24) - (-3)/4. Is (0 + z)*(-1)/1 a prime number?
False
Suppose 544 + 130 = -2*w. Let g = -114 - w. Is g a composite number?
False
Suppose 0 = 2*u - 0*u - 10. Let k = 8 + u. Is k prime?
True
Let l = 2268 - 1599. Is l a composite number?
True
Let j = -13 - -23. Let v be ((-10)/(-15))/((-2)/18). Is (4/v)/(j/(-555)) a composite number?
False
Suppose -2*b = 35 - 11. Is 207 + (-8)/b*6 prime?
True
Let h = 174 - 65. Is h a prime number?
True
Let u(z) be the second derivative of 5*z**3/6 - z**2/2 + 2*z. Is u(4) composite?
False
Suppose 0 = -4*v + 3*d + 2*d + 1403, 2*d = 5*v - 1741. Is v a prime number?
True
Suppose -o = -2*w + 4*o + 7493, w + 3*o - 3752 = 0. Is w a composite number?
True
Let y be 2 + -4 + (-4)/(-1). Suppose -y*u + 6 = x, -3*x - x + u = -42. Is x prime?
False
Suppose 0*m = 4*m + 5*u - 6777, -5081 = -3*m - 2*u. Is m a prime number?
True
Let p(b) = b + 10. Let c be p(-10). Suppose -5*z + 4*k = -155 - 48, c = z + 3*k - 52. Let v = -29 + z. Is v composite?
True
Let w(j) = 2*j**2 + 4*j - 17. Suppose 2*o - 3*r = o - 23, 18 = -o + 2*r. Is w(o) a composite number?
False
Let x = 12 + -17. Let l(o) = -3*o + 5. Let m be l(x). Is 685/m - 6/(-8) a prime number?
False
Let x(r) = -30*r - 2. Let w(b) = -31*b - 2. Let p(a) = 5*w(a) - 6*x(a). Is p(5) a prime number?
True
Suppose 0 = -b + 2*v - 188, v - 427 = 4*b + 346. Let z be (-1)/3 - 1676/(-6). Let t = z + b. Is t prime?
False
Suppose n = 62 + 62. Suppose 128 = v + z, v + 3*z = 2*v - n. Is v composite?
False
Let s(j) = 86*j**3 + 2*j - 1. Let c(z) = z + 14. Let v be c(-13). Is s(v) a prime number?
False
Is 3118/6 + 40/30 prime?
True
Let t be (2 - -1)*(-124)/(-3). Suppose 190 + 79 = b. Let f = b - t. Is f prime?
False
Suppose -5*n + 5*k + 96 + 4 = 0, -4*n + 85 = k. Suppose -l - 2*l = -n. Is l a prime number?
True
Let v = -65 + 91. Suppose 5*o = -f + 9, -4*f + 2*o = -10 - v. Let d = 32 - f. Is d composite?
False
Let t = 70 + -38. Suppose -14 - 3 = -w - 4*m, t = w + m. Is w prime?
True
Let h = 372 - 615. Let d = h - -366. Is d prime?
False
Let a(d) = d**3 + d**2 - 6*d + 7. Is a(8) prime?
False
Let w = -3 + 20. Suppose -124 = -3*u + w. Is u a composite number?
False
Is (-2 - (-35)/15)*(2315 + -2) prime?
False
Let t(v) = -2*v**2 - 14*v - v**3 - 6*v**2 + 6 - 3*v**2 - 2*v**2. Let i be t(-12). Suppose -2*z + i + 40 = 0. Is z composite?
True
Let n be (8 - (0 - -1)) + 2. Let w be ((-6)/n)/((-4)/30). Suppose -2*z - 3*z = 2*s + w, 2*s + z - 15 = 0. Is s composite?
True
Suppose 4*x = -b - 0*b + 9, x = -4*b - 9. Is 26 - (-6 - x)/(-3) a composite number?
False
Let u(w) = -12*w + 26. Is u(-14) composite?
True
Suppose 4*y = -5*t + 39, 3*y + 4*t - 30 = t. Is y composite?
False
Suppose -2*o - 2*o + 849 = -5*a, -4*a - 4 = 0. Is o a composite number?
False
Let x = 1906 + -65. Is x a composite number?
True
Let z = -3 + 5. Suppose 0 = z*u + 2*u - 84. Is u a prime number?
False
Let o = 11 + -6. Suppose -153 = -o*v + 22. Is v a prime number?
False
Let p be ((-18)/(-45))/((-1)/40). Let w = 53 + p. Is w prime?
True
Suppose t - 516 = 3527. Is t a prime number?
False
Is (-81 + -12)/(1 + -2) a prime number?
False
Let o = 557 + 24. Is o a prime number?
False
Suppose 4*y = c + 5, 0*c + 10 = 2*y - 2*c. Suppose y*j + 57 = 3*j. Suppose 0 = i - j - 12. Is i prime?
True
Let q(g) = -g**2 + 7*g - 4. Let c be q(6). Suppose 195 = 3*o - c*k, -253 = 2*o - 6*o + 5*k. Let r = 48 + o. Is r composite?
True
Suppose 0 = -h - 0 + 4. Suppose h*c - 5*a = 360 + 853, -2*a + 602 = 2*c. Suppose -3*f = 2*x - 451, 2*x = -f - f + c. Is f a prime number?
True
Let c = 73 - 251. Let g = 507 + c. Is g prime?
False
Suppose -q + 2 + 12 = 2*a, 14 = 2*a + 2*q. Let m = a - -124. Is m a prime number?
True
Let b be 85/4 - 4/16. Suppose 3*z = 5*p - 176, p - 10 - b = 2*z. Is p prime?
True
Let h(f) = -f**2 - 3*f - 4. Let k be h(-3). Let i be 1776/10 + k/(-10). Suppose 4*o - 2*o = i. Is o composite?
False
Let j = 3 - 6. Let x(z) = -3*z**3 + 4*z**2 + 4*z + 6. Let y(a) = -8*a**3 + 11*a**2 + 12*a + 17. Let r(l) = 11*x(l) - 4*y(l). Is r(j) prime?
True
Let k(q) = -q**2 - 7*q + 2. Let p be k(-7). Let f(h) = h - 5*h + 1 + 3*h + h**p + 6*h. Is f(-7) a prime number?
False
Let a = 964 - 671. Is a a composite number?
False
Suppose -5 - 9 = -2*j. Is j composite?
False
Let d = 4 - 2. Suppose g - 5*m = 8 + 17, 0 = 4*g - d*m - 100. Is g composite?
True
Let m(j) = 3*j**2 + 4 + 9*j - j - 4*j**2. Is m(5) composite?
False
Is (1 - -1)/((-40)/(-3700)) prime?
False
Is 49 - (-1 + (-12)/(-4*1)) a prime number?
True
Is 0 - (-603)/((-3)/(-1)) prime?
False
Let r = -1206 - -2233. Is r prime?
False
Suppose 887 = 3*t - 2*q, 2*q - q + 294 = t. Suppose 3*s = 88 + t. Is s a composite number?
True
Let v be 60/(-5)*(0 + -26). Let r = 629 - v. Is r a composite number?
False
Let r be 84/3*(-30)/(-7). Let g = 21 - 17. Is ((-2)/(-4))/(g/r) prime?
False
Let j = 7 - 6. Let v(m) = -m + 6. Let d be v(6). Suppose d = 3*g - j - 110. Is g prime?
True
Suppose 0 = -5*p - y + 3*y + 3765, 0 = -3*p + 5*y + 2240. Is p prime?
False
Suppose 4*x = -x - 5*k - 125, 0 = 2*k. Is (-6)/(-12) + x/(-2) a composite number?
False
Let l(b) = -156*b**3 - 7*b - 3. Is l(-2) com