s = 80, 0*s + 5*s = 3*a - 48. Let b(z) = z**3 - z + 1. Let q be b(1). Suppose -5*c = q - a. Is c composite?
False
Let s(y) = 89 + y**2 - 6*y + 4*y + y. Is s(0) a prime number?
True
Suppose 2*a = -5*u + 5, -4*u - u = 5*a - 5. Let f(d) = -d - 5. Let k be f(-6). Is a + k + 33 - 1 a composite number?
True
Suppose -2*t = 2*i - 188, -4*t - 158 = -2*i - 0*t. Is i prime?
True
Let l = -67 - -141. Suppose f = l + 39. Is f prime?
True
Suppose 0 = 3*a + 4*m + 32, -2*m + 0 = 2*a + 18. Is (-3039)/(-21) + a/(-14) a prime number?
False
Suppose 0 = x + 2*x - 135. Let j = x - 32. Is j prime?
True
Let u be (2/(-6))/((-2)/30). Suppose 4*z = 3*i, 7*z = 4*i + 3*z. Suppose 24 = 2*k - u*y, 4*k + 2*y - y - 4 = i. Is k composite?
False
Is (-8)/(-6) - (11249/(-21) - -4) composite?
True
Suppose -4*j - d - 4*d + 220 = 0, 3*j + 2*d - 158 = 0. Let x = j - 11. Is x a composite number?
True
Let a be (-6 - 2)*(-2)/4. Suppose -2*n = 3*v + 1150, 0 = -n + a*v + v - 562. Let f = n - -985. Is f a composite number?
True
Let o(m) = m**3 + 8*m**2 + m + 4. Is o(-7) a prime number?
False
Suppose 3*f + 0*f - 3*a = 237, 2*f - 158 = a. Is f prime?
True
Let c(p) be the third derivative of 13*p**5/60 + p**4/12 + p**3/2 - 6*p**2. Is c(4) composite?
True
Suppose 0 = 9*f - 11*f + 302. Let z = 43 + f. Is z prime?
False
Suppose 0 = -3*k + 2*o + 659, 3*k - 4*o = 135 + 514. Is k a composite number?
False
Is 541 + (1 + -1)/(-1) a prime number?
True
Let t(j) = -j**2 - 15*j + 11. Suppose 4 = -2*v - 0*v. Let n = v + -6. Is t(n) a composite number?
False
Let s(n) = 8*n**2 + 50*n + 7. Is s(8) prime?
True
Suppose -x + 3 = 2*x. Let k be x/(-2) - 34/(-4). Let j(u) = 2*u**2 - 6*u - 3. Is j(k) a composite number?
True
Suppose -18 - 166 = -2*c. Let d = 201 - c. Is d composite?
False
Let k = -167 - -494. Is k a prime number?
False
Suppose 0 = -2*i + 127 + 387. Is i prime?
True
Let t be (-7)/42 + (-38)/(-12). Suppose -2*k = t*u - 787, u = -4*u + 3*k + 1337. Is u a prime number?
False
Let l(s) = -s**2 - 19*s + 1. Let g be 4/((3/(-3))/4). Is l(g) a composite number?
True
Let p(k) = 34*k - 19. Is p(12) prime?
True
Let c(d) = 3*d**3 + d**2 + d + 6. Is c(5) a prime number?
False
Suppose 5*n - 10 = 0, -5*n + 5 = 5*j - 10. Let v(q) = 2*q. Let i be v(j). Suppose 0*m = -3*m + i*b + 37, -3*m + 49 = b. Is m a prime number?
False
Let j(y) = y - 1. Let v be j(6). Suppose -v*a = -5*l + 140, 0 = 2*l + a + 10 - 81. Is l a composite number?
True
Let s(n) = -139*n + 1. Is s(-6) a prime number?
False
Suppose -5*d + 13 + 12 = 0. Suppose -d*i - 14 = 1. Let s(o) = -37*o + 4. Is s(i) prime?
False
Let l be (2/6)/(14/(-18438)). Let v = l + 630. Is v prime?
True
Let f(d) = d**2 + 8*d + 3. Let p be f(-8). Suppose 2*s + 34 = p*s. Suppose 0 = 2*i - i - s. Is i a prime number?
False
Let b = -164 - -246. Let s = b + -17. Is s a prime number?
False
Is (-14 - -14) + 2 + 525 prime?
False
Let j(x) = -x**2 - 17*x + 1. Is j(-13) prime?
True
Let j(r) = 90*r + 1. Is j(1) prime?
False
Let y(i) = 6*i**2 - i**2 - 2*i - 3*i - i**3 + 3. Let n be y(3). Is n/8 - 1155/(-12) composite?
False
Suppose 0 = 3*v - w - 1358, 227 = 2*v + 3*w - 682. Is v a prime number?
False
Suppose -2*b = -b + 210. Let x = b - -389. Is x prime?
True
Suppose -5*s + 1167 = -898. Is s a composite number?
True
Let r(n) = n**3 + n**2 - n + 191. Is r(0) a composite number?
False
Let u = -5 + 8. Suppose -l - 5 = -1, 4*c - 4*l = 16. Suppose u*y - 2*y - 14 = c. Is y composite?
True
Let u(y) = 2*y**3 + y - 5. Is u(4) prime?
True
Let p(a) = a**2 + 3*a + 2. Let j be p(-3). Suppose -78 = -2*q + j*n, -q + 43 = -0*q - 2*n. Is q composite?
True
Let p = 652 - 345. Is p a composite number?
False
Is ((-1)/(2/(-1948)))/2 composite?
False
Let t be -1 + 1 - (-1 + -1). Suppose i + t*i = -3*z + 21, -i = -2. Suppose -123 - 332 = -z*d. Is d a prime number?
False
Let m(p) = 3*p + 5. Suppose 4*h + n = -13, 0*h + 1 = -h - n. Let d be m(h). Let a = d - -17. Is a composite?
True
Let s(f) = -76*f - 3. Is s(-2) a prime number?
True
Let t(d) = -d**2 - d + 5. Let n be t(5). Let h = 62 + n. Is h a prime number?
True
Let c = -74 + -287. Let n = c + 510. Suppose -3*q - 2*m = -502 + n, -q = 5*m - 109. Is q a composite number?
True
Let u be (-12)/30 + (-1456)/10. Let g = u - -307. Is g prime?
False
Suppose 0 = -6*c + 4*c + 8. Suppose c*l = j - 3*j + 140, -3*j = -2*l + 86. Is l composite?
False
Let l be 1 - (-2 - -3) - -2. Let j be 1215/12 + l/(-8). Let a = j + -58. Is a composite?
False
Suppose 2*d - 364 = 712. Is d composite?
True
Let j(s) = -5*s + 2 - 11*s + 1 - 5. Is j(-6) a composite number?
True
Suppose -s = 2*g - 2, -g - 2*g + 16 = -5*s. Is 6/(-2) - g*-49 prime?
False
Let w(n) = 252*n + 1. Is w(3) prime?
True
Is (-1989)/(-6) + 1/(-2) a prime number?
True
Let t(h) = -h + 2. Let g be t(-6). Suppose g*q - 4*q - 228 = 0. Is q a composite number?
True
Let f = -1732 + 2773. Is f prime?
False
Let g(b) = b. Let y be g(0). Is 1/(3/237 - y) prime?
True
Let q = -19 + 24. Suppose 3*o - q*b = -0*o + 132, 5*b = o - 54. Is o prime?
False
Suppose 4*a + 396 = b - 93, -4*b - 2*a = -1938. Is b a prime number?
False
Suppose 25 = 6*s - s. Let p = s - 0. Suppose p*n + 35 = 325. Is n composite?
True
Let b(t) be the second derivative of 3*t**5/20 - t**4/6 - 2*t**3/3 + t**2 + 4*t. Is b(3) composite?
False
Suppose -q - 279 + 825 = 0. Suppose 211 = -5*c + q. Is c a composite number?
False
Let n be -2 + 1 - -20*1. Suppose 204 = 5*x + n. Is x prime?
True
Let j = -182 + 275. Is j a prime number?
False
Let z = -3 - -5. Let m be (-372)/z*-2 - 3. Suppose -2*d - d = -m. Is d a prime number?
False
Let b(t) be the third derivative of t**6/120 + t**5/60 + t**4/24 + 7*t**3/2 + 2*t**2. Is b(0) a prime number?
False
Suppose c + 61 + 16 = 0. Let i = c + 226. Is i a prime number?
True
Suppose -j = 4*j + 3*l + 45, 3*l = -j - 21. Let s(v) = v**2 + 7*v + 9. Let d be s(j). Suppose 0 = t + d*r - 28 + 6, 0 = -2*t - 4*r + 42. Is t a prime number?
True
Suppose -33 = 5*g - 173. Suppose -3*r + g = -311. Is r a prime number?
True
Is 1777 + 8/((-8)/(-2)) prime?
False
Is 5/5*(2 + 141) a prime number?
False
Suppose -2*z + 136 = -220. Let h be 2*3/((-12)/z). Let m = 163 + h. Is m composite?
True
Let f(v) = v**3 + 4*v**2 + v. Let c be f(-3). Is (-414)/(-22) + c/33 a composite number?
False
Suppose -5*p - 9 = -2*n + 5, 2*n = -5*p - 6. Is 2*((-591)/(-2) + p) composite?
False
Is (-4)/(-6)*(-1905)/(-5) a prime number?
False
Let c = 92 + -52. Suppose 85 = -5*k - c. Let p = k + 60. Is p composite?
True
Suppose w + 3*w = 2*o + 12, 5*w = 3*o + 14. Suppose -2*j = -6, j + 2 = o*b + 1. Suppose -b*f = -5*f + 177. Is f composite?
False
Let k be 2/8 - 140/(-16). Let x = -3 + k. Is x prime?
False
Suppose -7784 + 27395 = 9*s. Is s composite?
False
Let v(x) = 1 + 2 - 2 + 0 + 21*x. Is v(5) composite?
True
Suppose -3*y = -4*y - 5*z - 5, -3*y - 2*z - 41 = 0. Let j be 6/y + (-86)/10. Is (j/(-5))/(6/20) a composite number?
True
Suppose -4*g - 2*g = -1572. Is g a prime number?
False
Let m = -15 + 118. Let j = m + -14. Is j a composite number?
False
Suppose -4*b = -2*q + 4, 4*q + q + 2*b - 10 = 0. Let m be 1 + (2/q)/1. Is (0 + -1)/(m/(-266)) prime?
False
Suppose -3004 = 148*j - 152*j. Is j a composite number?
False
Suppose -4*m + 4*i + 4 = 0, -5*m = -4*m + 3*i - 5. Suppose 7*s - m*w = 2*s + 733, 5*s - 4*w = 741. Is s a composite number?
True
Suppose -7*d - 1797 = -13158. Is d composite?
True
Let w(a) = 29*a**2 - 4*a + 6. Is w(-5) composite?
False
Let w = -153 - -316. Is w composite?
False
Let o be 2*(-3)/(-2) + 2. Let w = 8 - o. Is (w/(-9))/((-2)/354) a prime number?
True
Let g = -156 - -238. Suppose -4*h + 138 = -g. Is h prime?
False
Let z be -1 - (-2 + -4 - -3). Suppose 0 = -z*i - 2*q - 0*q + 48, 4*q - 75 = -3*i. Is i a composite number?
True
Let p = 8 + -5. Suppose 3*c + c = -p*h + 749, -3*c - 5*h = -548. Is c prime?
True
Suppose -3*v + 402 = -171. Is v composite?
False
Let t = -11 - -1. Let m(v) = v**3 + 11*v**2 - 10*v + 1. Let l be m(t). Suppose -4*x + l = -x. Is x prime?
True
Let a = -124 - -195. Suppose 4*u - 555 = -a. Is u a composite number?
True
Suppose -3*h = -3*w - 24, 4*h - 3*w - 14 = 14. Suppose 6*o - 3*r = 5*o + 139, -h = r. Is o a prime number?
True
Let t be (3 - -2045 - 3) + -4. Suppose 4*i + 261 - t = 0. Is i a composite number?
True
Let j be 45/(-6)*(-2)/1. Suppose 0*d - 