 = -0*k + k, -5*k + 4*b = -758. Suppose 0*c = 2*c - k. Is c prime?
False
Let l(u) = 14*u**2. Let o(g) = -2*g**3 + 2*g**2 - 1. Let t be o(1). Let k be l(t). Suppose -74 = -4*z - k. Is z a prime number?
False
Suppose 0 = -2*c - 5*x + 13, c + 2*x = -c + 10. Suppose -c*q + 6*q - 38 = 0. Is q prime?
True
Suppose -5*p - 2353 = -3*c, -6*p + p - 1562 = -2*c. Is c composite?
True
Is (-10 + 11)*1*31 composite?
False
Let v(w) = 47*w**2 + 13*w + 7. Is v(-6) composite?
False
Let a be (1*-43)/((-2)/(-4)). Let t = 165 - a. Is t composite?
False
Suppose 5*q + 4*y + 26 = -0*y, 0 = -4*q - 4*y - 24. Let w = 7 + -11. Is (17 + (w - q))*1 composite?
True
Let o(j) = 5*j**3 + 4*j**2 - 4*j + 7. Let g(z) = -z**3 + z**2 + z. Let l(a) = 6*g(a) + o(a). Is l(6) prime?
True
Suppose -4*t + 2*t + 10 = 0. Suppose -t*v + 121 + 674 = 0. Is v composite?
True
Let t(b) = 20*b**3 - 2*b**2 - b + 2. Is t(1) a prime number?
True
Suppose 6*p + 0*p = 3510. Suppose 2*z - 262 = -5*b, 0 = 5*z - 3*b - 2*b - p. Is z a prime number?
False
Suppose -2*p + 9 = -5*p, -1550 = -5*q + 5*p. Is q prime?
True
Let n(w) = 149*w - 15. Is n(4) a prime number?
False
Let i(l) = 2*l**2 + 2*l + 5. Let r be i(-6). Let f(u) = -u**2 + 3*u - 2. Let q be f(2). Suppose -5*v + q*v + r = 0. Is v prime?
True
Let m = -587 - -1060. Is m a composite number?
True
Suppose -238 = -5*z - 768. Let h(j) = 39*j. Let k be h(-1). Let r = k - z. Is r a prime number?
True
Let h(z) = 3*z**2 - 8*z - 14. Is h(9) a prime number?
True
Suppose 0*l - 8 = -4*l. Let n be (-92 - -2)*(-23)/l. Suppose -3*i - i - 3*y = -1039, -4*i + y = -n. Is i a prime number?
False
Suppose 6*k - 7*k = -161. Is k a prime number?
False
Let c(o) = -o**3 - 2*o**2 + 2. Suppose 4*z = -9 - 15. Let v be (-17)/3 + (-4)/z. Is c(v) prime?
False
Suppose 3*z = n + z + 8, 3*z = 4*n + 32. Is (-38)/10*(n + 3) composite?
False
Is 209 - (0/(-2) + -2) a composite number?
False
Let a be (8/12)/(4/(-102)). Let t = 4 - a. Is t a composite number?
True
Is (-822)/(-8) - (-19)/76 a prime number?
True
Let m(o) = -o**3 - o**2 + 3*o. Let g(j) = 2*j - 2*j**2 - 5*j + j**3 + 3*j**2. Let n(r) = -6*g(r) - 5*m(r). Is n(-3) prime?
False
Let q be (-9)/(-2)*(-10)/(-15). Suppose j + j - 377 = -z, 0 = 2*j - q*z - 397. Is j composite?
False
Let f(x) = -x**2 - 13*x - 3. Suppose 4*o + 12 + 38 = -5*v, -25 = -5*o. Let w = v - -8. Is f(w) prime?
False
Suppose 2*i - 5*h - 22 = 0, h + 1 = -0*i - 3*i. Is (56 + 5 + -2)*i a composite number?
False
Let c be 2/(-7) + (-4950)/21. Let x = -117 - c. Let n = x - 64. Is n composite?
True
Let n(i) = -13*i + 19. Is n(-10) prime?
True
Let r(m) = m**2 + 9*m + 5. Let z be r(-9). Suppose -3*i + 483 = 3*o, 0 = 2*i - z*i - o + 475. Is i a prime number?
True
Suppose -2*n = -n - 20. Suppose 0 = -m + n. Let z = -13 + m. Is z composite?
False
Suppose 3*h - 1030 = 275. Suppose 3*j - 2*t - h = 0, 5*j - 232 = 2*t + 493. Is j a composite number?
True
Suppose -2939 = -5*b - y, y = 3*b + 128 - 1885. Is b a composite number?
False
Let g(c) = 19*c**2 + c - 17. Is g(-7) a prime number?
True
Let q(b) = b**2 + 6*b + 3. Let d be q(-8). Let x = d + -27. Let y = -2 - x. Is y composite?
True
Is 7/(35/12892) - 12/(-20) composite?
False
Let j = 95 + -8. Is j prime?
False
Suppose -j = -2*j + 1. Let v be ((-1)/(-2))/(j/(-12)). Is (-1)/v - (-195)/18 a composite number?
False
Suppose 0 = -q - 0*q - 38. Let a = 52 + 8. Let w = a + q. Is w prime?
False
Let l = -123 + 7. Let n = 193 + l. Is n a prime number?
False
Is 2632 - -2*2/4 composite?
False
Let u = -33 + 106. Suppose -3*a + 62 = -4*z - 30, -5*z - u = -2*a. Is ((-46)/(-3))/(8/a) a composite number?
True
Let r(z) = -1 - 9*z + 3 + 1 + 2 + 21*z**2. Is r(7) composite?
False
Let m(x) = 224*x**2 + 2*x + 1. Is m(-1) a prime number?
True
Let p(x) = 4*x + 1 - 3*x - 2*x. Let h be p(3). Is (-2)/((4/149)/h) prime?
True
Let m = 4 + -4. Suppose -t + 124 + 247 = m. Is t a prime number?
False
Suppose -u = -2*r + 6, 0 = -5*r + 5*u + 17 - 2. Suppose -70 = r*p - 5*p. Is p a prime number?
False
Is ((-8834)/56)/((-2)/8) a prime number?
True
Suppose -3*d = -2*d + 2*h - 165, 164 = d + h. Is d composite?
False
Suppose 0 = 214*l - 209*l - 1895. Is l composite?
False
Let c = 13 - 10. Let o = -68 - -113. Suppose c*x - o = -0. Is x a prime number?
False
Let t = -1675 + 2374. Is t prime?
False
Let x(c) be the second derivative of -c**3/6 + 157*c**2/2 + 4*c. Is x(0) prime?
True
Suppose 3*b = 6, -3*f + 1387 = -b - 0*b. Is f a prime number?
True
Let s be 199/((3*-1)/3). Let m = 296 + s. Is m a prime number?
True
Suppose 7 = x + 1. Is (-3)/x*-130*1 prime?
False
Let x = -14 + 4. Let u be (2 + x)*(-6)/(-8). Is u/(-15) + 789/15 prime?
True
Let s(q) = -548*q**3 + q**2 + q + 1. Let c be s(-1). Let f = -760 + 374. Let y = f + c. Is y prime?
True
Let c be 236 + 0/(0 - 2). Suppose -c = -o - 3*o. Is o a prime number?
True
Let z(p) = -p - 11. Let i be z(-9). Is (-1)/i - 201/(-6) composite?
True
Let r be 3/(-18) - 478/12. Let w = 78 + r. Is w a prime number?
False
Is 4 - (2 - (4 - -1207)) a composite number?
False
Suppose 0*u - 5*u = g + 15, 4*g = -5*u - 30. Is 3/6 - 41/u a composite number?
True
Is (-4)/22 + 3044/44 a composite number?
True
Let y be 0/(-13) - 1*-5. Is (2 - -57)/(y/25) composite?
True
Suppose 5*m = -0*l - 3*l + 4589, 4*l + 927 = m. Is m a composite number?
False
Let o be (3/2)/((-3)/8). Let a be (-3)/o + 27/12. Let s(v) = 2*v**2 - 3*v + 2. Is s(a) a prime number?
True
Let p be 112 - (-3)/(-6)*-2. Suppose -2*d = -7*d + 240. Suppose -5*j - 4*k = -p, -7*j - 3*k + d = -5*j. Is j a composite number?
True
Let r(p) = -60*p - 5. Let y = 5 + -7. Let d be (3 + y)*1*-5. Is r(d) composite?
True
Suppose -v = 2*v + 3. Is 1*(-24 - 1)*v a prime number?
False
Let r = 63 + -39. Suppose 4*x = -3*q + 70, -q + 0*q - 2*x + r = 0. Is q a prime number?
False
Let d(p) = -p - 1. Let r be d(-3). Suppose -r*f - 3*f = -1475. Is f prime?
False
Suppose -c = 5*c - 7302. Is c prime?
True
Let x(a) = -a**3 + 6*a**2 - 2. Let h be x(3). Suppose 0*z = -2*z + 5*l + 341, h = -5*l. Let y = -81 + z. Is y a composite number?
True
Let t(i) = 11*i**2 - i - 13. Is t(-10) composite?
False
Is (37 - -1)/((-20)/(-350)) - 3 composite?
True
Let q(p) = -3*p - 2. Let j(w) = -5*w - 4. Let t(b) = -4*j(b) + 7*q(b). Let d be t(-3). Suppose a + d*n - 8 = -0*a, -3*n = 2*a - 23. Is a a prime number?
True
Let h(z) = -2*z - 3. Let g be h(-7). Let t = -8 + g. Suppose t*i - 42 = -15. Is i a prime number?
False
Let h(c) = 37*c**2 - 3*c. Is h(2) prime?
False
Let b be 6/(-3) + 4 + 4. Let w be 8/b*(-63)/(-2). Suppose o - w = 37. Is o prime?
True
Let h = 9 + -4. Suppose -2*g = 2*l - 176, -g + 352 = 4*l - h*g. Let s = l - 49. Is s prime?
False
Let j be (-14)/63 - 38/(-9). Suppose 2*t - 10 = -j. Is (t - 0)/((-6)/(-52)) a composite number?
True
Let f(i) = 11*i**2 + 3*i - 6. Is f(-4) composite?
True
Suppose -2*d + 0*d + 16 = 3*u, -26 = -d + 3*u. Is d a prime number?
False
Suppose 0 = x - 3*x - 74. Let i = 63 + x. Is i prime?
False
Let w = 30 - 42. Is 4/w - (-212)/6 prime?
False
Let z(q) = 14*q + 2. Is z(6) a prime number?
False
Suppose -3*k + 945 = 3*s - s, 0 = -2*k + 2*s + 640. Is k composite?
False
Let l(x) = 71*x**3 + x**2 + 2*x + 1. Let c be l(-1). Let y = c + -184. Let k = y - -514. Is k composite?
True
Let s be (-15)/(-9) + 3/9. Suppose 10*l - 401 = 5*l + s*t, -5*t - 94 = -l. Is l prime?
True
Suppose 5*g - 14 = 1. Suppose -2*d + 1 = -g. Suppose -907 + 245 = -d*w. Is w a prime number?
True
Let z(y) = y**2 - 5*y**2 - 4*y - 3 + 3*y**2. Let q be z(-3). Let k(i) = -i**3 + 35. Is k(q) prime?
False
Let o(v) = -241*v**3 + 2*v**2 - 3*v - 3. Is o(-2) prime?
False
Let p(t) = -1 - 3*t**2 + 2*t**2 + 2 + 0 - 11*t. Is p(-8) prime?
False
Let n(t) = -t**3 + t**2 + t - 277. Let u be n(0). Let y = u + 392. Is y composite?
True
Let u = 95 + -10. Is u prime?
False
Suppose -o + 0*q + 3*q + 8 = 0, -5*o = -4*q - 29. Suppose -3*j = -f + 205, -o*f - 4*j + 469 = -518. Is f a prime number?
True
Let t be (13*-5)/(-6 + 7). Let g(p) = -p**3 + 4*p**2 - 7*p + 2. Let h be g(6). Let b = t - h. Is b a composite number?
False
Suppose -123 = -4*j + 749. Is j a prime number?
False
Let s(f) = 7*f**2 - 7*f - 9. Is s(-4) composite?
False
Let f(q) = q**2 - 11*q + 451. Is f(0) a composite number?
True
Let v be (-15070)/(-18) - 2/9. Suppose -237 = -6*g + v. Is g a prime number?
