 Is c(2) composite?
False
Suppose 6*w = 3*w + 1572. Let k = w - 151. Is k prime?
True
Let o(m) = 7*m**3 - 7*m**2 + 21*m - 4. Is o(9) prime?
True
Is 992/6 + 10/15 a composite number?
True
Suppose -2 - 2 = -2*s. Let k(w) = 23*w**3 + 2*w**2 - 2*w + 2. Let h be k(s). Suppose h = m + m. Is m a composite number?
True
Let k = -1300 + 2316. Let b be k/10 + 8/20. Is b/8 + (-1)/(-4) a composite number?
False
Let j(q) = -q - 5. Let w be j(-9). Suppose -3*z + 33 = -4*y, z + 5*y = -w*z + 90. Is z a composite number?
True
Suppose 0 = p - 660 + 47. Let i = p - 362. Is i prime?
True
Suppose -4*m = 5*w - 14 - 14, -2*w = -8. Suppose 5*s = m*s + 1311. Is s composite?
True
Suppose y + 23 = -r - 24, -3*r - 2*y - 140 = 0. Suppose 4*z = -0*q - q + 51, 3*q - 221 = 5*z. Let f = q + r. Is f a prime number?
False
Suppose -2*a - 3*k + 211 = 0, -2*a = -a - 5*k - 99. Let x(b) = b**2 - b + 7. Let y be x(0). Suppose 0 = 4*d + o - a, 36 - y = d + o. Is d a composite number?
True
Let q be (9/(-15))/(1/(-5)). Suppose q*a = 2*a + 5*j + 24, -j = 4. Suppose -3*t + t + 62 = i, -124 = -a*t + 2*i. Is t a prime number?
True
Suppose 4*j - 4317 - 1715 = 3*q, 2*j + 3*q - 3034 = 0. Is j prime?
True
Is -337*(2 + (2 - 5)) a composite number?
False
Let b = 157 - -66. Let j = b + -112. Is j composite?
True
Let j be (-12)/(-7)*(-14)/(-4). Is 3 - 42/(-9)*j a composite number?
False
Is (1247 + 2)*(-5 - -6) a composite number?
False
Let b(m) = -3*m**3 - 5*m**2 - 4*m + 3. Let x(d) = -2*d**2 - 10*d + 8. Let g be x(-6). Is b(g) prime?
True
Let l = 100 + -42. Is l a composite number?
True
Suppose 4*a = 484 + 1024. Let x = a - 42. Is x composite?
True
Let y be 2/4*(4 + 0). Suppose -u + 191 = 5*z, 2*z + y*z = 5*u + 176. Is z composite?
True
Let p = -14 + 7. Let g = 6 + p. Is g/(-3)*(61 + -4) prime?
True
Let k(x) = 3*x**2 + x + 9. Is k(7) prime?
True
Is 223*1/((-2)/(-2)) a composite number?
False
Suppose -3*w + 4*h - h = 24, 76 = -5*w - 4*h. Is (-8)/w*306/4 prime?
False
Let j(o) = 12*o - 4. Let l be j(-5). Let r = 131 + l. Is r a prime number?
True
Let r = -133 + 204. Is r prime?
True
Let v be 0 - 1*-8 - 2. Suppose 1148 = -2*l + v*l. Is l a prime number?
False
Let p(d) = -3*d**2 + 1. Suppose 10 = t + 3*t - h, -2*t = -3*h. Let m be p(t). Let j = -13 - m. Is j prime?
True
Let d(i) = 30*i**2 - i + 4. Let y be d(-3). Let f = -54 + y. Is f a composite number?
False
Let j(p) = p**3 - 3*p**2 - 3. Let w(m) = m**3 + 7*m**2 + 3*m + 1. Let a be w(-5). Let u be (-6)/(-15) + a/10. Is j(u) composite?
False
Let b(s) = s**2 - 6*s + 7. Let x(n) = 2*n**2 - 11*n + 14. Let w(d) = 7*b(d) - 3*x(d). Let t be w(8). Is 71 - (-2 - -1 - t) composite?
False
Suppose -2*h - v + 202 = -0*h, 4*v = -8. Let a(z) = -z - 2. Let w be a(-3). Is w*h/2 + -2 a prime number?
False
Suppose 1 = 2*t + 3*x + 4, 3 = -4*t - 5*x. Is (-12)/8*(-430)/t a prime number?
False
Suppose 243 = 3*f + 21. Is f composite?
True
Suppose a + 8 = 3*a. Suppose -3*d + 3*g = -1026, -953 = -5*d + 2*g + 754. Suppose 2*r + 3*y = 48 + 121, 5*y - d = -a*r. Is r a composite number?
False
Let f = 1149 - 508. Is f a prime number?
True
Is (2/(-7) - (-30162)/70)*5 a prime number?
True
Let v be (-6)/4*2/(-3). Let m = 21 + -22. Is 27 - (m - (v - 4)) prime?
False
Let y(a) = -a**3 - 2*a**2 - 3*a - 1. Let w be y(-2). Let p = 7 + -4. Suppose 3*u = z - 42, 0*z + p*u + 246 = w*z. Is z prime?
False
Suppose -t + 75 = 2*t. Suppose 4*d + d = t. Suppose d*h - h = 132. Is h composite?
True
Suppose -4*p - 3*h + 4*h = -318, -2*p = h - 156. Is p composite?
False
Let n(h) = h**3 - 5*h**2 - 8*h + 15. Let w be n(6). Is 109/w*12/4 prime?
True
Suppose 283 = 5*y - 42. Is y composite?
True
Suppose -m + 4 = m. Suppose 430 = m*v + 3*v. Suppose -2*r + 78 = -2*q, 0*q - 4*q - v = -2*r. Is r a prime number?
False
Suppose 3*s + 136 = 5*s. Is -6*(-3)/(24/s) prime?
False
Suppose -3*s = s - 280. Let m = s + -12. Is m prime?
False
Suppose x - 618 = -69. Suppose 113 = 4*z + 2*v - x, 5*v - 677 = -4*z. Is z a composite number?
False
Let b = 19 + -13. Suppose s = -3 + b. Suppose -s*o + 3 = -3. Is o a prime number?
True
Let d = 44 + -11. Suppose b - 14 - d = 0. Suppose b = -2*y + 3*y. Is y a composite number?
False
Let d = 23 - 17. Suppose 5*t = d*t - 122. Is t a composite number?
True
Let z = 163 - -23. Suppose -j - z = -4*j. Is j prime?
False
Suppose -3*l - 6 = 3*k, -3*l - k - 11 = -3*k. Let t = l - -5. Suppose 0 = 3*i + t*i - 2*c - 69, -15 = -2*i + 5*c. Is i composite?
True
Let s be 36*(0 + 2/3). Let f(t) = -2*t - 1. Let l be f(4). Let b = s - l. Is b a prime number?
False
Let d(r) = 26*r + 5. Suppose 4*l - 5*z - 16 = 0, -22 = 5*l + 3*z - 79. Is d(l) a prime number?
True
Let k be 0 - (0/3 - 2). Suppose -k*d + 1 = j, 3*j = 4*j - 2*d - 5. Is j prime?
True
Suppose 8*o - 5*o - 12 = 0. Suppose 2*j + 8 = 0, 3*p - 220 - 567 = o*j. Is p a composite number?
False
Let o(w) = 8*w + 3. Let c be o(3). Suppose z - c = 31. Suppose -l + 6 = 3*k - z, k + 3*l - 8 = 0. Is k prime?
True
Suppose b - 4*y + 24 = 0, b + 0*b + 3*y = 11. Let t(l) = 6*l**2 + 4*l - 1. Is t(b) a composite number?
False
Let k be (-2)/((-4)/(-2))*-13. Let r = 135 - k. Is r a prime number?
False
Let k(f) = -2*f**2 + 6*f - 1. Let m be 1 + -3 - (0 + -6). Let t be k(m). Let n = t - -15. Is n a prime number?
False
Let j = -1265 + 1900. Is j a composite number?
True
Let a(g) = -3*g**3 + 8*g**2 - 5*g - 7. Let t(c) = 3*c**3 - 9*c**2 + 6*c + 8. Let x(k) = 6*a(k) + 5*t(k). Is x(-2) a prime number?
False
Let w = 14 + -26. Let b(x) = -x**2 - 12*x - 3. Let m be b(w). Let k = 10 - m. Is k prime?
True
Let b(c) = -63*c**3 + 2*c**2 - c + 1. Let m be b(-2). Suppose 2*k - 326 = 3*a, -2*k + a - 189 + m = 0. Is k composite?
False
Suppose -10 = -2*d + d - 4*p, 28 = d - 2*p. Let a = 47 - d. Is a a prime number?
False
Suppose -356 = -5*l - u, 0*l + 212 = 3*l - u. Is l a prime number?
True
Let o = -6 + 31. Let p = o + 12. Is p a prime number?
True
Let z be 565*1*(-9)/(-15). Suppose 0 = 2*w + 4*s - 227 - z, 4*s + 899 = 3*w. Is w a prime number?
True
Let t = 68 - -109. Let d = 304 - t. Is d composite?
False
Let s = -133 - -53. Let n be (-4)/6 + (-278)/6. Let v = n - s. Is v prime?
False
Let t = 2 + 1. Suppose 4*k = 5*z - 19, 4*k - 44 = -t*z - z. Is z composite?
False
Suppose 0 = s - 3*s. Suppose 4*g - 113 - 91 = s. Is g composite?
True
Let v(f) = f**3 - 2*f**2 - 3*f + 3. Let i be v(3). Suppose -2*u = -p - 73, i*u = -u + 4*p + 144. Is u a prime number?
True
Let g(f) = f**2 + 6*f - 7. Let x be g(-8). Suppose 5*i = c + x, 4*c - 30 = -i - i. Suppose c + 1 = k. Is k a prime number?
True
Let c = -8 + 12. Suppose -c*q - 528 = -4*o, -3*o - 3*q = -o - 239. Is o prime?
True
Let l(w) be the third derivative of 5*w**4/8 + 7*w**3/6 + w**2. Is l(5) prime?
False
Suppose 7*a - 1162 = -0*a. Is a a prime number?
False
Suppose -c = 5*m - m - 379, -5*c + 3*m = -1987. Is c a prime number?
False
Suppose -2*r - 3*r + 25 = 0. Suppose -468 = 2*h - r*h. Suppose -h = 4*l - 920. Is l a prime number?
True
Let o be 38 + 1/(-2 + 1). Suppose -5*v = -o + 7. Is v composite?
True
Let c = -8 + 18. Suppose -c = -4*l + 2. Suppose -236 = -l*u - 5. Is u prime?
False
Is 6/(-4) - (-1707)/(-12)*-34 a composite number?
True
Let q(b) = 2*b**3 + 2*b - 3*b**2 - b**2 - b - 4 - b**3. Let a be q(3). Let u(n) = n**2 + 8*n + 11. Is u(a) a composite number?
False
Suppose -402 = 13*x - 4523. Is x composite?
False
Let r = -26 + 31. Is 2*(r + -4) - -387 composite?
False
Let u(r) = -319*r**3 + r + 1. Is u(-1) prime?
False
Let u = 42 - -17. Let c = 26 + -9. Suppose 3*y - z + u = 7*y, -z = y - c. Is y a prime number?
False
Suppose 4 = -2*i, -3*d + 1229 = -0*d - 4*i. Is d composite?
True
Let t(k) = 15*k**2 + 4*k - 11. Is t(6) a composite number?
True
Let i = -210 + 539. Is i prime?
False
Let t(m) be the second derivative of 0 + 0*m**2 - 1/6*m**3 + 17/6*m**4 - m. Is t(-1) composite?
True
Let q(d) = -2*d**3 - 5*d**2 - 7*d - 1. Let p(l) = -l**3 - 3*l**2 - 3*l. Let j(t) = -9*p(t) + 4*q(t). Let k be j(-7). Suppose 4*n - k*n - 97 = 0. Is n prime?
True
Let c = 12 - 10. Suppose -272 - 137 = -y + h, -c*y - 4*h + 818 = 0. Is y composite?
False
Suppose 4*v + 10 + 2 = 0, 4*v - 270 = -3*y. Is y prime?
False
Suppose 14 = 4*p - 2. Let i(c) = 0*c**2 + 1 + 0*c**2 + 3*c**2. Is i(p) prime?
False
Let l(o) = -4 - 19*o - 1 + 2. Let s be l(7). Let h = s + 203. Is h 