 5*m**3 + m**2 + m. Let n = 7 + -8. Let x be s(n). Is w(x) a prime number?
False
Suppose 4*c - 2212 = 2*b, 0 = 3*c - b - 1332 - 327. Is c a prime number?
False
Let m = 104 + -60. Let t(o) = -2*o**2 - 2*o + 3. Let g be t(8). Let n = m - g. Is n a prime number?
False
Suppose 2*k - 2*g - 296 = 0, -3*k + g + 448 = 2*g. Is k a prime number?
True
Let t(b) = b**3 + 6*b**2 - b - 1. Let j be 1/2 + (-13)/2. Let g be t(j). Is 188 - (-9)/(-2 + g) a composite number?
False
Let u(y) = -10*y**3 - y**2 - 2*y. Is u(-3) composite?
True
Is 20/(-4)*158/(-10) a composite number?
False
Suppose 5*d = -2*o + 83 + 699, 0 = 3*o + 12. Is d a composite number?
True
Suppose -2*c - 2*w = -4*w - 360, 4*c + 4*w - 712 = 0. Is c a composite number?
False
Suppose 3644 = 2*o + 4*v - 2194, 2*o - v - 5858 = 0. Is o a prime number?
True
Let c = -136 - -70. Suppose 0 = a - 27 + 4. Let w = a - c. Is w a composite number?
False
Let b = 5 + -3. Let a be (7/b)/((-1)/(-2)). Let u(q) = q**2 - 4*q + 4. Is u(a) prime?
False
Suppose 3*i - 2*r - 6113 - 2192 = 0, 0 = -5*i - 4*r + 13827. Is i prime?
True
Suppose 0*m = -4*m + 12. Let f be 6*(0 + -4) - -2. Let w = m - f. Is w composite?
True
Let f be (-1)/((-2)/340) + 1. Let i be (0 + -2)/(2/(-3)). Suppose 3*u + 2*k = 79 + 28, i*k + f = 4*u. Is u composite?
True
Suppose 8*t - 3*t - 30 = 3*m, -2*t - 5*m - 19 = 0. Suppose 152 - 35 = t*q. Is q prime?
False
Let g(w) = -4*w + 3. Let l be g(2). Is 9/(-15) - 118/l composite?
False
Let i(g) be the second derivative of -17*g**3 - 5*g**2/2 - g. Is i(-5) a composite number?
True
Suppose 0 = -3*c - 5*i + 309, 0*i - 2*i = 0. Is c composite?
False
Let s(r) = -r**2 - 29*r - r**2 + 4 - r**3 + 31*r. Let n be (-2 + -2)/(-2) - 7. Is s(n) prime?
False
Let a(m) = -m**2 + 11*m - 5. Let x be a(5). Suppose -o + 2*o - 1 = 0, 0 = u + 3*o - x. Is u prime?
False
Suppose 2*s - 4*b = -s - 28, 34 = -2*s - 5*b. Let t be 2030/8 + (-3)/s. Is (-6)/(-18) - t/(-3) prime?
False
Suppose a + 7 = 11. Suppose -3*k + 619 = -2*w, 0 = -w - a - 1. Is k a composite number?
True
Suppose 3*j - 29 + 8 = 0. Is 1 + 0 - (j - 100) prime?
False
Let a(g) = 14*g**2 + 3*g + 5. Is a(6) a prime number?
False
Let g(l) = -5 + 3*l - 2*l - 4*l + 9*l**2. Is g(4) a composite number?
False
Let l(w) be the second derivative of -65*w**3/3 + w**2/2 + w. Is l(-3) prime?
False
Is (-1)/(-1 + 1 + 4/(-7892)) prime?
True
Let t(x) = x**3 + 8*x**2 + x + 11. Let w be t(-8). Suppose -w*i = -4*g - 4, -4*i + 2*g + g + 10 = 0. Suppose i*u + 0*u = 220. Is u prime?
False
Suppose -c = 42 - 127. Suppose 2*g = c + 81. Is g a composite number?
False
Suppose 3*x - 781 = 2*x. Is x composite?
True
Let w(q) = 306*q + 1. Is w(1) a composite number?
False
Let o(z) = -z**3 - 9*z**2 + 13. Suppose 30 = -6*t + 3*t + a, -a = 3*t + 24. Is o(t) composite?
False
Suppose 0 + 27 = 3*h. Suppose 0 = 2*w + w - h. Suppose -55 = -w*k + 212. Is k composite?
False
Let m be 0*(-1)/(-3) - 0. Let g(f) = -f - 62. Let p be g(m). Is p/4*(-7 + 5) a composite number?
False
Let p = -159 - -308. Is p a composite number?
False
Suppose -272 + 696 = 4*h. Is h composite?
True
Let q = -211 + 308. Is q composite?
False
Let g be -2 + 91 + -2 - -3. Suppose 4*r + 2*j - j = -315, -4*j = r + g. Is (2/6)/((-2)/r) a composite number?
False
Let d(j) = 4 + 2*j**3 - 3*j**3 - 5 - j. Let l be d(-2). Suppose -5*r + 2*u + 62 = 0, 2*u - l = -1. Is r a composite number?
True
Let l be (-2)/4*-10 - 2. Suppose -5*s - 149 = 3*t, -t - l*s + 112 = -3*t. Let i = t + 122. Is i a prime number?
False
Suppose k = 3*o - 529, 3*o - k = -3*k + 517. Suppose d = -4*d + o. Is d composite?
True
Let g(c) = 26*c**3 - 3*c**2 + 3*c - 3. Is g(2) composite?
False
Let f(m) = -m. Let x(y) = -30*y**2 + 5*y + 1. Let r(s) = -3*f(s) - x(s). Is r(2) prime?
False
Let k be ((-30)/(-9))/(2/(-3)). Let s = k + 7. Let n = s - -19. Is n composite?
True
Let x be (-3)/6*-8*1. Suppose 3*s - 12 = -n - 0, 2*s = x*n - 6. Suppose 3*f = 0, 4*m = f - n*f + 84. Is m prime?
False
Suppose 82 = -3*r - 2*w, 0*r + 2*r = -2*w - 54. Let i = r - -42. Is i prime?
False
Suppose 3*n + 0*n = 2*y + 698, 3*n = 5*y + 701. Suppose -n = -3*o + 5. Is o a composite number?
False
Is (2 - 3) + 14*30 prime?
True
Let q be (-1 + 4 - -1)/1. Suppose -5*r + 0*o - o = -607, 5*r = -q*o + 613. Is r a composite number?
True
Suppose -4 = 2*s - 14. Suppose -5*h + 2*h = -s*w - 94, -2*w + 2 = 0. Is h a composite number?
True
Suppose 0 = 5*c - 3*a - 42, -4*c + 17 = 2*a + 1. Suppose 3*q - q = c. Suppose q*d - 171 = 42. Is d prime?
True
Let m(v) = 119*v. Let i be m(5). Suppose -3*l + i = 2*l. Is l a prime number?
False
Let u = -619 + 878. Is u a composite number?
True
Let l be (-4)/(1*-4) - 213. Let r = -109 - l. Is r prime?
True
Let v(y) = -y**2 + 4*y - 1. Let j be v(3). Suppose -3*r - 2*d - 3*d - 5 = 0, 0 = 2*r + 2*d + j. Is (2 + (-1 - r))*25 composite?
True
Let a(l) be the third derivative of l**6/120 + l**5/10 - l**4/8 - 4*l**3/3 + l**2. Suppose 5*p + 5 + 10 = 3*x, -5*x - 25 = 0. Is a(p) a composite number?
True
Let f(b) = b**2 - 4*b + 7. Let j be f(3). Suppose 4*z - 4*x - 772 = 0, -136 - 642 = -j*z - 2*x. Is z prime?
False
Let c(d) = 0*d**3 - 5*d**3 + 6*d**3. Let n be c(0). Suppose n*a - 2*a + 38 = 0. Is a prime?
True
Let d = -836 + 2129. Is d prime?
False
Let b = 3432 - 653. Is b prime?
False
Let d = 2671 + 2590. Is d a composite number?
False
Suppose -5*l + 9 = 3*a - 6*a, 2*a = -l + 7. Suppose -j + a + 1 = 0. Suppose 3*r + 24 = 2*z, 50 = j*z - r + 7. Is z prime?
False
Let w = -869 - -1248. Is w a composite number?
False
Let k = -55 - -246. Is k prime?
True
Suppose 0 = 5*p - 164 - 841. Is p composite?
True
Let w(p) = 3*p**2 - 7*p + 5. Let r be w(5). Suppose 0*v + r = 3*v. Is v a composite number?
True
Let m(n) = -n**2 + 4*n + 7. Let i be m(5). Suppose 0*d + 6 = i*d. Let v(l) = 9*l**2 - 4*l. Is v(d) a prime number?
False
Let i = -493 + -118. Let u = 1102 + i. Is u composite?
False
Suppose -3*f - 4*x = -5*f + 1902, -5*f + 4755 = 3*x. Is f a prime number?
False
Let r(b) = 2*b**3 + 4*b**2 - 10*b + 1. Is r(9) a prime number?
True
Let s(c) = -29*c - 1. Suppose 0*a + 8 = -4*a. Is s(a) a prime number?
False
Is (-3)/(0 + 9/(-2334)) a composite number?
True
Suppose 4 = 2*h, -3*v + 6*v = -3*h + 18. Is (-6)/v*(-422)/3 composite?
False
Suppose 15085 = -0*v + 7*v. Is v a composite number?
True
Suppose 2*u = 5*a - 2*u + 6, 0 = 2*a - 4*u + 12. Suppose -15 = k - a*k. Is k composite?
True
Let b(q) = 219*q + 43. Is b(22) prime?
True
Suppose -24 = -x - 3*x. Suppose 0 = -3*b + b + x. Suppose -b*v + 2*v + 53 = 0. Is v a composite number?
False
Let y(b) = b**3 + 7*b**2 - b - 5. Let g be y(-7). Let l be g/4 - 1/(-2). Is (l + 0)*(82 - 3) a prime number?
True
Let j = -48 - -101. Is j composite?
False
Let o(f) = f**2 + 4*f + 10. Is o(8) composite?
True
Let t = 271 + 58. Is t a composite number?
True
Suppose -1258 = -2*c - 72. Is c prime?
True
Suppose 11 + 0 = -w. Let i = 15 + w. Suppose 8 = 3*c - i. Is c composite?
True
Suppose -12 = -k + 30. Suppose -2*t = -0*t - 5*h - k, -5*h - 63 = -3*t. Is t a composite number?
True
Let l(d) = -d**2 - 8*d - 4. Let v(a) = -8*a**2 + 2*a - 1. Let o be v(1). Is l(o) a composite number?
False
Is ((-5)/5)/((-2)/142) a prime number?
True
Let j = 8 + 0. Let m = -5 + j. Suppose -3*p = 5*o - 334, -8*p - 2*o + 563 = -m*p. Is p composite?
False
Suppose 3 = g - 2*x, 2*x - 19 = -5*g + 8. Suppose -g*p = -7*p + 178. Is p prime?
True
Let w(i) = i**3 + i - 1. Let n(d) = 7*d**2 + 2. Suppose -5*c + 18 = -4*v + 2*v, -v + c - 3 = 0. Let s(u) = v*w(u) + n(u). Is s(-6) composite?
False
Let j(w) = 2*w**2 + w - 1. Let m be j(1). Suppose 4 = 3*i - m*i. Is (158/i)/(1/2) a composite number?
False
Suppose 0*k + 6*k - 1554 = 0. Is k prime?
False
Let h(n) = 16*n**2 + 11*n + 11. Is h(-8) composite?
False
Suppose 0 = -2*w - 0*w + 6. Suppose -w*n + 8*n - 1049 = -3*z, 0 = 5*n - 4*z - 1063. Is n a composite number?
False
Let y = 48 - 86. Let v = y + 215. Is v prime?
False
Suppose -3*b - 5 = -11. Suppose 5*t + 3*d - 109 - 172 = 0, -5*d = -b*t + 131. Is t a composite number?
True
Let y be 4/(-18) + (-4918)/(-18). Suppose -2*g + 6 = g. Suppose g*r - y = -19. Is r a composite number?
False
Suppose -3*c - 9 = -4*n, -3*c = -n - 2 + 11. Suppose 0 = 2*o - n*o - 22. Is o a composite number?
False
Let g(a) = 2034*a. Suppose 5*v = -0*m + 4*m - 6, 