*h**3 + 2*h**2 - 5*h + 7. Is q(2) a prime number?
True
Suppose -5 = -m - 1. Suppose 2 = 2*g - m. Let w(i) = 17*i. Is w(g) composite?
True
Let c(o) = o**3 + 10*o**2 - 13*o + 12. Is c(-11) composite?
True
Suppose -890 = 2*g - 4*g. Suppose -g = 3*u - 8*u. Is u prime?
True
Suppose b - 3*b = -16. Suppose -j + 11 = 4*z, -3*j = z - j - b. Suppose -58 = -z*a + 84. Is a composite?
False
Let d(b) = -b**3 + 5*b**2 - 3*b + 6. Let z be d(5). Let s = -5 - z. Suppose 368 = s*x + 3*r, -4*r = -0*r - 16. Is x prime?
True
Let r = 11 - 7. Suppose -2 - r = -3*v. Suppose -3*h - o = -2*h - 163, 5*h - 801 = v*o. Is h a prime number?
False
Let i be (-2 - 1) + (-2 - 44). Let c = -46 + 11. Let q = c - i. Is q composite?
True
Suppose -t - 4667 = 2*t - j, 3*t + 4*j + 4687 = 0. Let c = t + 2318. Is c prime?
True
Suppose 2*x + 3*d - 11 = 0, 3*x - 12 = x - 4*d. Suppose -x*j = m + m - 94, 5*m = -j + 190. Is m a composite number?
False
Let s(l) = l**2 + 12*l - 15. Let t be s(-14). Let i(g) = -g**3 + 8*g**2 - 4*g - 4. Let y be i(6). Let p = y - t. Is p a composite number?
False
Suppose 2*p = -10, p = -5*w + 6*p + 100. Let z = -12 + w. Is z a prime number?
True
Let f(c) = 133*c + 8. Is f(5) composite?
False
Let b(d) be the second derivative of d**6/120 + 11*d**5/120 - d**4/12 + d. Let u(m) be the third derivative of b(m). Is u(12) composite?
False
Let l be (-2)/(-8) + (-2)/8. Suppose l = -3*a + 148 + 44. Suppose -41 = -f - 3*u, f - 3*u = -f + a. Is f composite?
True
Is 1/4 - 8481/(-12) a prime number?
False
Let i(t) = 459*t + 31. Is i(6) prime?
False
Let n(u) = 2*u - 3. Let c be 2 + (-6)/1 - -1. Let m(d) = d - 3. Let l(q) = c*m(q) + 2*n(q). Is l(7) a composite number?
True
Suppose -81 - 923 = -4*d. Is d a composite number?
False
Let b(n) = -2*n**2 + 4*n - 5. Let l be b(4). Let k = 16 - l. Is k composite?
False
Suppose -3*s + 3*h + 12 = 0, -4 = s - 0*h + h. Let u(t) = 4 + s + 5*t + 8*t. Is u(5) composite?
True
Let n(d) = d**2 + 3*d + 7. Let o be -8 - (2 + -1)*-2. Let h be n(o). Suppose 2*t - h = 13. Is t a prime number?
True
Let o(r) = 997*r - 1. Let u be o(-7). Let a be u/(-16) + 1/(-4). Suppose -a = -8*p + 4*p. Is p a composite number?
False
Let h = -13 - -140. Is h a prime number?
True
Suppose -4*m + 320 = 5*z, 2*z = -z - 2*m + 190. Suppose z = j - 0*j. Suppose -j = -3*g - g. Is g a composite number?
True
Is (-1)/(-2) - (-12)/(-24) - -733 composite?
False
Is 194/3 + (-10)/(-30) prime?
False
Let f(u) = 3*u**2 + 11*u + 5. Let a be f(-9). Let g = a - 72. Is g prime?
False
Let l(u) be the third derivative of u**6/120 - u**5/20 + u**4/8 - u**2. Let k be l(3). Suppose k = p - 38. Is p a prime number?
True
Suppose 2*k + 0 = 6. Let y(h) = 6*h**2 + 2 + 8*h**2 + h**2 - 1 - k*h. Is y(3) a prime number?
True
Is (27/6 + -4)/((-2)/(-1172)) a composite number?
False
Let w(o) = 12*o**2 + 10*o - 17. Is w(7) prime?
True
Let d be (-111)/(-2)*10/(-3). Let b be 4006/12 - 4/(-24). Let x = b + d. Is x prime?
True
Let c = 288 + -199. Let y = c + 114. Is y composite?
True
Let b = -470 - -721. Is b a composite number?
False
Let b(v) = 9*v**2 - 5*v - 3. Let f be b(-4). Let x be (-1 - 0) + f/(-7). Let l = x - -103. Is l prime?
True
Let m be (3*2/2)/1. Suppose -18 - 8 = -2*z - s, 3*s + 21 = m*z. Suppose 67 = 3*g - z. Is g composite?
True
Let j(q) be the first derivative of q**3 - q**2/2 + 3*q - 21. Let m = -1 - -5. Is j(m) prime?
True
Suppose -5*r + 3*c + 1155 = -r, -1152 = -4*r + 4*c. Is r a composite number?
True
Let t = -15 + 27. Suppose 19 + t = x. Is x composite?
False
Suppose -2*s = x + 13, s = 3*x - 5*x - 14. Let p = 7 + x. Suppose 57 = p*q - q. Is q a prime number?
False
Let d(o) = -8*o - 5. Suppose -3*y - 9 = -3*z, 6*y - y + 17 = 4*z. Is d(y) a composite number?
True
Suppose -5*l - 5 = 0, -3*l + l = 4*a - 74. Is a a composite number?
False
Let l = -6 + 11. Suppose 5*s = 4*x - 16, 14 + l = 3*x - 2*s. Is x a composite number?
True
Let k(y) = -2*y + 9. Let i be k(-8). Suppose 5*o - 15 = -4*u, 6 = 2*o - 3*u + 7*u. Suppose -o*v + i = -20. Is v prime?
False
Let t be (6/9)/(4/(-138)). Is (t/(-2))/((-1)/(-6)) composite?
True
Let c = 14 - 11. Let d(i) = -5 + 1 - c - 3*i + 3. Is d(-14) a composite number?
True
Let q(u) = 3*u**3 - 23*u**2 - 3*u + 14. Suppose -2*o - 5 = 1. Let i(z) = -2*z**3 + 12*z**2 + z - 7. Let a(f) = o*q(f) - 5*i(f). Is a(-8) a composite number?
True
Let w(k) = 79*k - 4. Is w(15) composite?
False
Let m(b) be the first derivative of -21*b**2/2 - 5*b + 3. Is m(-4) composite?
False
Suppose 40*u = 38*u + 1538. Is u prime?
True
Let t = 2104 - 1265. Is t a prime number?
True
Let z = 36 - 21. Is z a prime number?
False
Is 6 - (-4 + 6) - -513 a composite number?
True
Let w = -1352 + 2046. Let n = w + -357. Is n a prime number?
True
Let m be (7 + -8)/(1/(-2)). Let i be (5/m)/(3/330). Suppose 0*j = -5*j + i. Is j composite?
True
Let b be (-3 + 0)*(-10)/(-15). Let i = 14 - -27. Let t = i - b. Is t a composite number?
False
Suppose -276 = -5*g + 359. Is g prime?
True
Suppose 0*d - 1739 = -3*l + 5*d, 3*d = 5*l - 2925. Is l/(-8)*2/(-3) prime?
False
Suppose 10*k + 2*k = 3492. Is k a composite number?
True
Let y = 3989 - 2775. Is y prime?
False
Is 1/(-3) + (-9108)/(-27) composite?
False
Let d(n) = 2*n**2 + 12*n - 1. Suppose t - 4*w + 9 = 0, 2*t + 7 = 4*w - 11. Is d(t) a composite number?
False
Suppose 0 = 9*o - 14*o + 470. Is o a composite number?
True
Let l be (12/(-5))/(6/(-15)). Let j be 1666/l + 6/(-9). Is 10/15 + j/3 composite?
True
Suppose 0 = s - 6655 + 2012. Is s composite?
False
Suppose g = 4*d - 29, -4*d = -0*d - 2*g - 34. Suppose d*j = 2*j + 8, 5*j - 115 = -5*i. Is i composite?
True
Suppose -y + 2*r = -55, -2*y - 33 + 141 = -5*r. Is y composite?
False
Let v = -3 - -6. Suppose -19 - 77 = -v*u + 3*j, 5*j - 173 = -4*u. Is u prime?
True
Let f(h) be the second derivative of -h**5/20 - 7*h**4/12 - h**3/6 + 7*h**2/2 - h. Is f(-7) composite?
True
Suppose 3*k + 3*g - 2 = -11, 0 = -3*g + 9. Let i(w) = -40*w - 3. Let j be i(k). Suppose -4*f = -f - j. Is f composite?
False
Is -259*1*(1 - 2) composite?
True
Let c = 116 + -58. Is c prime?
False
Suppose 0 = 4*f - 31 + 15. Suppose 3*s - f*r + 7 = 584, 0 = 3*s + 4*r - 569. Is s a prime number?
True
Let u = 279 + 274. Is u a prime number?
False
Suppose 0 = -8*l + 3*l + 1880. Let x = 21 + l. Is x prime?
True
Suppose 11*r + 64 - 1307 = 0. Is r a prime number?
True
Is 5/2*(3 - -35) prime?
False
Let f(v) = -2*v**3 + 1. Suppose -a = -1 + 2. Is f(a) prime?
True
Suppose -4*u = -6*u + 10. Suppose i - u*i = -148. Is i composite?
False
Let w(i) = -3*i + 1. Let f be w(2). Let y(r) = r**2 + 7. Let u be y(f). Let z = u + -7. Is z a composite number?
True
Suppose o = 2*w - 0*o + 28, 3*w + 42 = -3*o. Let j = w + 24. Is j prime?
False
Let j(c) = -c**2 + 2*c - 2. Let f be j(2). Is (f/(-4))/((-4)/(-48)) a composite number?
True
Is 4076 + 88/33 + 2/6 a composite number?
False
Suppose -2*b - 2*w = -9 - 1, 0 = b - w - 3. Suppose 240 = 4*h - b*a, 44 = 2*h + a - 61. Is h a prime number?
False
Suppose -2*b + 5 + 3 = 0. Let j(t) = -13*t**2 - 3*t + 18. Let l be j(7). Is b/14 + l/(-14) composite?
True
Let b(f) = -16*f - 1. Is b(-6) composite?
True
Suppose -4*p - 20 = 5*h, -6*p + 2*p - 20 = -3*h. Suppose h = -z + 4*z - 180. Suppose -5*l = -l - z. Is l prime?
False
Let s = 8 + -5. Suppose 5*v - 224 = -s*p, 0 = 3*v - 2*p - 57 - 66. Is v prime?
True
Let d = 11 + 8. Is d composite?
False
Let p = 98 - 39. Is p composite?
False
Let z(w) = -w**2 - 13*w - 11. Let j(s) = -s**2 - 6*s - 5. Let b(h) = -13*j(h) + 6*z(h). Is b(6) a prime number?
True
Let p(t) = -t**3 + 8*t**2 + 7*t + 1. Is p(6) prime?
False
Let u(w) = -9*w**3 - 4*w**2 - 3*w + 5. Let v(z) = -1. Let f(x) = u(x) + 2*v(x). Is f(-3) prime?
False
Suppose 2*a + 0*a = 376. Let h be (-72)/(-126) + 423/7. Suppose -h = v - a. Is v composite?
False
Suppose -5*x + 42 = -2*u + 6, 5*u - 2*x = -48. Suppose 0 = 4*k + v - 12, 2*k + 5 = 4*v - 7. Is -1 - (u + k/(-1)) prime?
False
Suppose -3*j - 2*j - 2*h + 17 = 0, -j + 5 = 2*h. Suppose j*z - 124 = -z. Suppose -m + 2*m - z = 0. Is m a composite number?
False
Let x(c) be the second derivative of 2*c**3/3 + 7*c**2/2 + c. Let h be x(5). Suppose -3*y + 15 = -h. Is y a prime number?
False
Let t(v) = -v**3 + 7*v**2 - 5. Let i be t(4). Suppose -5*n + 12 + i = 0. Is n a prime number?
True
Let n = -47 + 84. L