 4156 = -3*a. Is q composite?
True
Let i(x) = 5*x**2 + 7*x - 1. Let k(z) = 6*z**2 + 6*z - 1. Let o(b) = -5*i(b) + 4*k(b). Suppose 0 = -j - j - 12. Is o(j) prime?
True
Is 372/2 + (9 - 4) composite?
False
Let z(o) = o**3 - 6*o**2 + 4*o - 5. Let q(f) = -f**3 + 4*f**2 + f - 1. Let w be q(4). Suppose 24 = u + w*u. Is z(u) a prime number?
True
Let w(z) = -1046*z**3 - 3*z**2 - 2*z. Let y be w(-1). Suppose 5*r - d - 980 - 77 = 0, -5*r + y = 5*d. Is r a prime number?
True
Let z = 14 - -381. Is z a composite number?
True
Let s(m) = m**3 + 2*m**2 - 2*m - 3. Let g be s(4). Let x = 766 - g. Is x/12 - 2/(-8) composite?
True
Let u be ((-1)/(-2))/((-2)/428). Let w = u + 218. Is w composite?
True
Suppose 0 = 2*m - 47 - 47. Is m prime?
True
Suppose -4*i = -4*t, 4*i - 45 + 18 = -5*t. Suppose 3*o + o = -4*k + 404, -i*o - 4*k = -307. Is o prime?
True
Suppose 0 = o - 597 + 97. Let n = 344 - o. Let w = n - -221. Is w prime?
False
Is 1 + -4 + (2504 - 6) prime?
False
Let p(v) = -v**3 + v - 6. Suppose -4*u + 1 = -5*q + 6, 4*u + q - 1 = 0. Let l be p(u). Let f(w) = w**2 - 5*w - 7. Is f(l) prime?
True
Suppose -k + 232 = -97. Is k a prime number?
False
Suppose 25 + 5 = 3*u. Let f = -7 + u. Is f composite?
False
Suppose -3*v - 2*i + 9 = -i, 0 = 5*i + 15. Suppose 3*k - 9 = 15. Is 98/v + k/16 a composite number?
True
Let n(s) = s**2 - 4*s - 3. Let x be n(5). Let u be -3 + 1 - (x + 1). Let w(a) = -a**3 - 2*a**2 + 5*a + 1. Is w(u) a composite number?
True
Let f(k) = k**2 - 7*k - 8. Let d be f(7). Let n = -6 - d. Suppose -2*c + 22 = -n*l - 280, -5*l = 2*c - 288. Is c a prime number?
True
Let k = 2 + 4. Let u(a) = 20*a + 7. Is u(k) composite?
False
Suppose 0 = -2*i - 0*i + 356. Is i prime?
False
Let q(g) = 8*g**3 + 7*g**2 - 4*g - 12. Is q(7) prime?
False
Let c be 6/((-5)/(50/4)). Let t(q) = -q**3 - q**2 + 6*q + 6. Let r be t(-4). Let j = r + c. Is j prime?
False
Suppose -3*f = 4 + 8, -5*s + 2*f - 172 = 0. Let t be s/(-21)*854/4. Is (-12)/(-30) + t/10 prime?
True
Let y(b) = 33*b + 13. Is y(6) a prime number?
True
Suppose 3*f = f + 58. Suppose 3*r + r - 10 = -3*s, 0 = r - s - 6. Is f/r - 3/12 prime?
True
Suppose 0*n - 16 = -4*n. Suppose -11 = -n*b + 3*b. Is b prime?
True
Let c be 3 + -5 - (4 + -4). Is 18 - (0 + c - 1) a prime number?
False
Let w(q) = 2*q**2 - 11*q + 4. Let x be w(7). Let z = x + -18. Is z a prime number?
True
Let w(u) = -u**2 - u + 41. Let d(t) = -t**2 - 2*t - 1. Let m be d(-1). Let v be w(m). Suppose 0 = 2*h + v - 195. Is h a prime number?
False
Let d(a) be the second derivative of 0 + 11/2*a**3 - 2*a**2 - a. Is d(5) a composite number?
True
Suppose -2*b - 103 = -11. Let p = b - -68. Is p a prime number?
False
Let o = 4282 + -2435. Is o a composite number?
False
Let s(t) = 14*t**3 + 6*t**2 - 3. Let l be s(4). Suppose 3*i - 4*o = -0*i + l, -i + 333 = 2*o. Is i a composite number?
False
Suppose -68 = -4*r - b, 25 = 4*r - 3*b - 27. Let o be r/10 - 10/(-25). Suppose 3*d - 30 = -o*d. Is d a prime number?
False
Let i be (-16)/16 - (-2 - -1). Suppose -p + 77 = -c, 322 = 4*p - i*p + 3*c. Is p a prime number?
True
Suppose 0*c + 2*c + 3*q = 10, -5*c + 3*q = -4. Is 45 + -4 + 0 + c a prime number?
True
Suppose 5*g + 0*g = 15. Is g/(-12) + (-4239)/(-12) a composite number?
False
Suppose 152 = 3*s - x, -3*s = 3*x - 140 - 16. Let j = 86 - s. Is j prime?
False
Suppose 5*n = -o - 45, 3*n + 6 = o - 13. Let h = n + 21. Is h a prime number?
True
Let j(q) = 15*q**3 + q**2 - 3*q + 5. Is j(2) composite?
True
Let o(a) be the third derivative of a**9/60480 - a**8/6720 + a**6/240 - a**5/60 - a**2. Let m(c) be the third derivative of o(c). Is m(3) prime?
True
Let p(m) be the third derivative of -m**8/20160 - m**7/1008 + m**6/240 + m**5/30 + m**2. Let z(g) be the third derivative of p(g). Is z(-4) prime?
True
Suppose 2*b - 74 = -4*t - 0*b, -5*t + 100 = 4*b. Suppose -4*r = 4*i - t, r - 1 = 2*r + 2*i. Let j = r + -2. Is j prime?
True
Is (-1 - (664 + 2))/(2 + -3) a composite number?
True
Suppose -2*y = 4*w - 342, -w - w + 3*y + 183 = 0. Let s = -28 + w. Is s composite?
False
Let y = 247 + -74. Suppose 4*i - y - 199 = 0. Is i a composite number?
True
Let m = -20 + 12. Let w be 2*25*m/(-16). Suppose w = y + 2. Is y composite?
False
Let r = 1069 - 548. Is r composite?
False
Suppose -15 = -z - 2. Let v = z + 46. Is v a prime number?
True
Is -6 + 4 + 5 - -34 prime?
True
Let r(t) = -3*t + 7*t + 3 - 3*t. Let a be r(0). Suppose 4*x + 26 = l, l + a*x + 2 = -0*l. Is l prime?
False
Let w(h) = -h**2 - 3*h + 1. Let g(f) = f. Let v(p) = 2*g(p) - w(p). Is v(4) prime?
False
Suppose -5*j = 3*n - 7882, j = -n + 3447 - 819. Is n composite?
True
Suppose -322 = -n + 127. Is n a composite number?
False
Suppose -2*m + 1 - 3 = 0. Let n be ((2 - -4) + 1)*m. Let h = n + 26. Is h composite?
False
Is 2 - (-358 + -2 + 3) a prime number?
True
Let w(b) = -49*b - 20. Is w(-7) a prime number?
False
Let p be (-10)/(-8) + 7/(-28). Is 44/p*(-6)/(-8) prime?
False
Suppose -149 = -2*q - j + 182, 4*q - 637 = 3*j. Is q a prime number?
True
Let l(v) = -31*v + 3. Let t(u) = -16*u + 1. Let s(w) = 2*l(w) - 5*t(w). Is s(5) a prime number?
False
Let w(u) = -u**3 + 3*u**2 + 4*u. Let c = 9 - 5. Let t be w(c). Let a = 67 - t. Is a a composite number?
False
Let c = 817 - 510. Is c a composite number?
False
Let r(y) = 3*y - 3. Let m be r(3). Suppose -g = -5*z + 10, 2*g - m = -2*z - 2. Suppose z*l - 115 = -3*l. Is l composite?
False
Is -499*(32/12 + -3)*3 a composite number?
False
Is 1/(2/574 + 0) a prime number?
False
Suppose 0 = 9*t - 10032 - 885. Is t prime?
True
Let s = 5 + 0. Is (s*1)/(1/13) prime?
False
Let c = -581 + 840. Is c prime?
False
Suppose 2*u - 1004 = -4*k, -3*k - 5*u + 901 = 162. Is k composite?
True
Suppose -t + 319 = n, -5*t + 3*n + 981 = -2*t. Is t a prime number?
False
Suppose 1115 = -5*d + 10*d. Is d a prime number?
True
Let a be ((-1)/2)/(2/(-52)). Suppose -t = -5*h - 27, -t - h - a = 4*h. Is t a composite number?
False
Suppose 440 = t - 513. Is t composite?
False
Suppose 4*h = 2*h + 8. Suppose h*d + 47 = 5*d. Is d a composite number?
False
Let h be 2*((-4)/(-2) - -8). Is h/(-50) - (-1494)/10 a composite number?
False
Let s = -4 - -7. Suppose x - 12 = -s*x. Suppose -h - 166 = -x*h. Is h a composite number?
False
Let f = 12 - 19. Is 9*1 - (5 + f) a prime number?
True
Let f(u) = -8*u - 11. Let q = -4 - 2. Is f(q) prime?
True
Let g(u) = u**3 - 12. Let r be g(0). Let y(v) = v**3 + 14*v**2 + 17*v - 7. Is y(r) a composite number?
True
Let z(w) = w**3 + w**2 + w + 3. Let b be z(0). Let d be (1*-4 + b)*-2. Suppose 50 = d*i + 3*i. Is i prime?
False
Let j = -83 + 41. Is ((-11)/(-2))/((-3)/j) a prime number?
False
Let i = 8 - 6. Let b be 24/4 - (-1 + i). Suppose 4*n - 437 = b*a, 3*a - 4*a + 455 = 4*n. Is n a composite number?
False
Let h = 42 + 2489. Is h a prime number?
True
Let z(s) = -19*s + 1. Is z(-6) a prime number?
False
Let y = -410 - -727. Is y a prime number?
True
Let h(u) be the third derivative of u**4/24 + u**3/2 - 2*u**2. Let r be h(0). Suppose -2*m = -43 - r. Is m composite?
False
Let o(y) = 60*y**2 - 7*y + 10. Is o(3) a prime number?
False
Suppose r = 4*l - 3646, 4*l + 2*r - 1294 = 2346. Is l a composite number?
False
Suppose 0 = -3*u - 4*j + 178, 196 = -2*u + 6*u - 5*j. Let y = u - 19. Is y composite?
True
Suppose 3*c - 7*c = -492. Is c a composite number?
True
Suppose -2*r = 203 - 1213. Is r a prime number?
False
Let q = 7 + -3. Suppose q*v - 12 = 36. Is v/(-30) + 3554/10 a prime number?
False
Let n(i) = i - 3. Let r be n(6). Suppose -5*t - 3*v + 560 = 0, v = 2*t + r*v - 224. Is t/3 + 1/(-3) a prime number?
True
Let g = 0 + 6. Suppose -5*s + 14 = -g. Suppose 0 = s*n - j - 361, 2*n - 3*j - j = 198. Is n composite?
False
Suppose 341 = 3*v + 128. Suppose 4*u + v = x - 0, 2*u = -5*x + 443. Is x a composite number?
True
Let d(y) be the first derivative of y**3/3 + 2*y**2 - 2*y + 4. Let g be d(-5). Is -3 + 26/1 + g a prime number?
False
Suppose -12*p - 11524 = -16*p. Is p a prime number?
False
Let x be ((-2)/(-4))/(3/966). Let b be x/14 - 1/2. Let u = b + 0. Is u a composite number?
False
Let w(d) = 4*d**2 - 2*d. Let i be w(3). Is 13/5 - (-12)/i a composite number?
False
Let y(m) = m + 5 - 4 + 168*m**2 - m. Is y(-1) composite?
True
Let w(u) = 84*u**2 + 3*u - 4. Let q = -22 - -19. Is w(q) composite?
False
Let w(o) = -