 j*i + 425. Let k = 132 + i. Is k a composite number?
False
Let k = 1 + -22. Let b = k - -106. Is b prime?
False
Let p(z) = z**2 - 7*z + 1. Let x = 8 - -1. Is p(x) prime?
True
Suppose -g - 3*r + 31 = 0, -g - 2*r = -17 - 12. Suppose -136 + g = -3*w. Is w prime?
True
Let g(r) = -13*r**3 - 2*r**2 - 2*r - 9. Is g(-4) a composite number?
True
Suppose -2*w = n - 116, 2*w + 604 = 5*n + 4*w. Is n prime?
False
Let g(j) = 5*j**2 + 10. Let y be g(-7). Is 8/6*y/10 prime?
False
Let x(v) = v**2 - 4. Suppose -3*d = d + 2*a + 2, -4*a - 12 = 4*d. Suppose 3*f - z - d = -6*z, -f - 3*z - 6 = 0. Is x(f) composite?
True
Let s = 51 + -16. Is s composite?
True
Let m be (0 - (0 + -1))*0. Suppose q + 3*p = 3*q - 1102, m = p - 4. Is q prime?
True
Let i(w) = -54*w + 3. Let f be i(-4). Suppose 4*y - g - 317 = 0, 0 = y - 4*y - 3*g + f. Suppose p - y - 17 = 0. Is p a prime number?
False
Let j(f) = 1 + f + 0*f - 2*f. Let u be j(-4). Suppose u*z + 4*n + n = 400, 4*z + n - 335 = 0. Is z composite?
True
Suppose 6*a - 10701 = -3*a. Is a a prime number?
False
Let p(f) = 38*f. Let v be p(1). Is 3/(-1 + 7)*v a prime number?
True
Is 3 + -7 - 1186/(-2) a prime number?
False
Let c be (-20)/6*72/15. Let x = -7 - c. Let u = x + 4. Is u prime?
True
Suppose 2*k - 385 = -3*k. Is k composite?
True
Let a(m) = m**2 - 4*m - 3. Let n be a(5). Suppose 3*k = 2*r - 232, 2*r - 242 = -n*k - 0*k. Is r composite?
True
Let f be 8 + -11 - (0 + -27). Suppose -f = -o - 3. Is o composite?
True
Let a(y) = -y**3 - 9*y**2 + 2*y + 12. Let m be a(-9). Let x = -6 - m. Suppose x = s - 8 - 13. Is s composite?
True
Suppose -470 = -5*x - 4*v, v - 117 = 3*x - 382. Let s = 133 - 74. Let k = x - s. Is k composite?
False
Let h(g) = g**3 - 7*g**2 + 6*g + 6. Suppose z + 0*z = 6. Is h(z) composite?
True
Suppose -4*c + 61 = -b, 2*c - 29 = 2*b + 3. Let h be (-1)/(3*1/c). Let r(n) = n**3 + 5*n**2 - 5*n + 1. Is r(h) composite?
True
Suppose 0 = -3*c + 9, -4*z + 2*c = -3*z - 781. Is z prime?
True
Suppose 2*z + 5510 = 12*z. Is z a prime number?
False
Let j(g) = 530*g**2. Let l be j(1). Suppose -2*s + l = 3*s. Is s a prime number?
False
Suppose -2*k = -3*b - 118, 2*b + 62 = k - b. Let q = -51 + 32. Let a = q + k. Is a composite?
False
Let o be 6/(-2) - (-3 - 769). Suppose 5*z + 149 = o. Suppose -5*v - 19 + z = 0. Is v a prime number?
False
Let h = 90 - -104. Is h a composite number?
True
Let l be 4*1/(-8)*-14. Suppose l*z - 22 = 5*z. Is z a composite number?
False
Suppose 2*n + q - 253 = 0, 4*n + 5*q = 2*n + 249. Is n a composite number?
False
Suppose 240 + 117 = 3*b. Is b a prime number?
False
Let i = 13 + -10. Let m(n) = 23*n**2 - 2*n + 2. Is m(i) prime?
False
Let o(l) = l**3 - 2*l**2 - 3*l + 1. Let k be (-225)/20 - (-1)/4. Let s be k/(-2) - (-1)/2. Is o(s) a composite number?
False
Let x = -78 + 122. Let y = 79 - x. Is y composite?
True
Let r(p) = 2*p + 11. Let t be r(-3). Let w(g) = -5*g**3 + 2*g**2 + 4*g - 10. Let a(u) = u**3 + u**2 - u + 1. Let y(j) = 4*a(j) + w(j). Is y(t) prime?
True
Let i = -411 + 954. Is i prime?
False
Suppose -3*a + 2*a - 4*c + 1 = 0, -c = a - 4. Suppose -3*n + n + 5*p - 598 = 0, 0 = -4*n + a*p - 1206. Is (0 - 0) + (3 - n) a composite number?
False
Let p = 11 - 16. Let f = p - -8. Is f a prime number?
True
Suppose -5*f + 440 = 5*w, 3*f - 3*w = 295 - 61. Is f composite?
False
Let f = 1 + -1. Suppose -2*i + 0*i + 76 = f. Is i a composite number?
True
Let s = 3 - 0. Let a be 266 - 3*2/(-3). Suppose a = s*p + p. Is p composite?
False
Let x(w) = w**2 + 14*w - 10. Let t be x(-14). Let c = 43 + t. Is c composite?
True
Let s = 6 + -4. Suppose s = 4*u - y - 4*y, -u = -y - 1. Suppose -4*z = 2*x - 52, -4 = u*z + 8. Is x a composite number?
True
Let y(w) = w**3 - w**2 + w - 61. Let h be y(0). Is (-1)/(4/12) - h a prime number?
False
Suppose -4*x + 2832 = -4*l, 4*x + 2*l - 2823 = -3*l. Is x composite?
True
Suppose 2*o + 254 = 4*o. Is o prime?
True
Suppose -7 = -2*k + 11. Is (k - 10)/((-1)/113) a prime number?
True
Let t(y) = 4 + 4*y + 7*y + 0*y. Is t(3) a composite number?
False
Let l(n) = n**3 + 8*n**2 + 5*n - 3. Suppose -5*c = 2*r - 3 - 3, -5*r - 5*c = 15. Is l(r) composite?
False
Let w be (-20)/90 - 778/(-18). Let v = w - -12. Is v a composite number?
True
Suppose 2*h - 4*w = 442, h + 3*h - 824 = -4*w. Is h prime?
True
Let g be 0 + (2 - 4) - 229. Let h = 478 + g. Is h a composite number?
True
Let v(a) = -3*a + 1. Suppose b = -0*b. Suppose 0 = -5*g + 2*h - 15, b = -g - h - 3. Is v(g) composite?
True
Let t = 2 - 10. Is (t/10)/(4/(-70)) a composite number?
True
Let n = -154 - -276. Suppose -2*j + n = -90. Is j*(-2)/(-4) + 0 a prime number?
True
Let a(y) = -1025*y - 9. Is a(-2) composite?
True
Let j(h) = 31*h. Let v be j(4). Suppose 2*c - v = -0. Is c a prime number?
False
Let a be (0 - 3)*15/(-9). Suppose -g + 218 = -p - 2*p, a*p + 1040 = 5*g. Is g a prime number?
False
Is (-1)/2*(-33 + -5) a prime number?
True
Let q be 3/(144/(-51) + 3). Suppose -q = -y + 5. Is y prime?
False
Let q(j) = 28*j**2 - 2*j + 1. Is q(3) a prime number?
False
Let y(l) = 7*l + 1. Let i be y(-3). Let v = i - -30. Is v a prime number?
False
Suppose -258 - 803 = -5*r - 2*i, -r + 214 = i. Is r prime?
True
Suppose y + 4*v + 71 = 0, -2*y + 2*v + 0*v - 92 = 0. Let n = y + 86. Is n a prime number?
False
Let b be 2*1 - (-3 - 12). Suppose 0 = -5*n - 4*q + 2, -2*n + 3*q = 2*n + b. Is 159/(-2)*n/3 composite?
False
Let u = 10 - -130. Let a = 237 - u. Is a a composite number?
False
Let o = 5 + -5. Suppose o = 4*b - 85 - 543. Is b composite?
False
Suppose -3*q - 4*r = -2*q - 174, -713 = -4*q + r. Is q a prime number?
False
Let s = 2 + 3. Let h(y) = y - 3. Let n be h(s). Suppose 26 = 4*l + n. Is l a composite number?
True
Is -1042*(-2)/(-6)*(-18)/4 a prime number?
False
Let j = 12 - -2. Is j composite?
True
Let j be (-5)/(-25) - (-28)/10. Suppose j*v - y = -12, 4*v + y - 2 = -11. Is (v/(-6))/(1/106) a prime number?
True
Suppose 33 = 5*n - 752. Is n a composite number?
False
Let f(l) = -21*l + 30. Is f(-7) a composite number?
True
Let g(a) = a**3 + 8*a**2 - 4*a + 8. Let m be 21*(1 + 4/(-3)). Is g(m) prime?
False
Let o(c) = c + 2. Let z be o(0). Let y = 0 - z. Is y/10 - (-352)/10 composite?
True
Let b(z) = -2*z**2 + 4*z + 4. Let w be b(7). Let o = w + 253. Is o a prime number?
False
Let a = -475 - -830. Is a a composite number?
True
Let y(z) = 8*z - 9. Let t(s) = 33*s - 36. Let r(g) = 4*t(g) - 15*y(g). Is r(8) prime?
False
Let g = 1943 - 354. Is g composite?
True
Let p(s) be the second derivative of -37*s**3/6 + 4*s. Is p(-2) composite?
True
Let p(h) = -10*h**2 - 7*h - h**3 - h**2 - 5*h + 2*h**2 - 11. Is p(-8) a composite number?
True
Suppose -g + 1 = -1. Suppose 2*y = y + g. Suppose -y*d - 2*d = -44. Is d a prime number?
True
Let i(b) = -1 - 2 + 5 + b - 5. Is i(5) a composite number?
False
Suppose 2*o + 931 = 45. Let p = o - -750. Is p composite?
False
Let r(d) = 2*d - 11. Let w(n) = 5*n - 34. Let m(f) = -7*r(f) + 2*w(f). Is m(-7) a composite number?
False
Let x(l) = -l**2 - l + 107. Let f be x(0). Suppose 4*h - f + 31 = 0. Suppose -h = -t - c, 3*c - 5 = 2*c. Is t a prime number?
False
Let z = -22 + 16. Let n = z + 3. Is n/(-2)*(21 + 1) a prime number?
False
Let o(l) = -l**3 + 3*l**2 - 4*l + 4. Let v be o(3). Let u = -16 + v. Let k = u + 35. Is k prime?
True
Let i(z) = z**2 + 2*z + 1. Let l be i(-3). Suppose -3*p + 1 = -3*g - 2, p - l*g + 5 = 0. Let u(s) = 3*s**2 + 3*s - 1. Is u(p) composite?
True
Suppose c + 5*j = 16 + 86, j + 5 = 0. Is c prime?
True
Suppose 7 = 4*r - 9. Let o(d) = d**3 - 4*d**2 + 3*d - 5. Is o(r) a composite number?
False
Let k(b) be the second derivative of b**4/12 - 5*b**3/6 + 7*b**2/2 - b. Let y be k(5). Let a(l) = 6*l - 7. Is a(y) a composite number?
True
Let v = -6 + 15. Let d(q) = -q**2 - 7*q**3 + 3*q**3 - q + v*q**3 + 1. Is d(2) a composite number?
True
Let r(t) = -t - 5. Let k be r(-7). Let m be 6/k + -1 + 1. Suppose -m + 1 = -l. Is l composite?
False
Let o be (-8)/12 - (-16)/(-3). Let y(q) = -4*q - 5. Is y(o) a composite number?
False
Suppose -10 = z - 3*z. Let l = -2 + z. Suppose 163 = l*x - s + 2*s, -5*s = 10. Is x prime?
False
Suppose -6 = -6*q + 3*q. Suppose v + q*v = 378. Let w = v - 75. Is w composite?
True
Suppose -3*y - y - 24 = -3*u, 10 = 4*u + 2*y. Suppose -u*j + 140 = -3*f, -2*j + 70 = -f - 0*f. Is j prime?
False
