ative of f**5/20 + f**4/3 + f**3 + 4*f**2. Is q(7) a composite number?
True
Suppose 3*y - 254 - 1039 = 0. Is y a prime number?
True
Let t(i) be the second derivative of 3*i**5/20 - 5*i**4/6 + i**3 + 3*i**2 - 4*i. Is t(7) composite?
False
Suppose 2*z - 11 = 29. Let p = z + 33. Is p a prime number?
True
Suppose 134*q - 130*q - 13628 = 0. Is q a prime number?
True
Suppose -w = -i - 2*w + 6, 5*i + 3*w = 28. Suppose 6 = 2*b - i*d + 22, -2 = -5*b + 2*d. Suppose 93 = v - 4*a, 0*v + 2*a = -b*v + 196. Is v a prime number?
True
Let i be 5*3/(-6)*-2. Suppose -4*x + 165 = 2*l - 7*l, -4*x + 2*l + 162 = 0. Suppose 0 = -k - 3*c + x, c + i = 6*c. Is k composite?
False
Suppose -4 = a - 6. Suppose -3*x = -a*x - 74. Is x a composite number?
True
Let r(c) = -c + 1. Let k(a) = -5*a. Let i be k(1). Let f be r(i). Suppose -2*o = m - 89, -m - o - f + 94 = 0. Is m a prime number?
False
Suppose 0*o + 24 = 3*o. Let c = o - -29. Is c prime?
True
Let a be (-47)/(-1) + 0 + -3. Is (a/(-8))/((-2)/12) a composite number?
True
Let t(o) = -o**3 + 10*o**2 - 6*o - 8. Let w be t(7). Suppose -4*r + 52 = -4*c, w = 3*r + r + 5*c. Suppose -5*l + l = 3*n - 9, -l = 3*n - r. Is n composite?
False
Let y = 1247 + 114. Is y a prime number?
True
Let z = 10 - 6. Suppose 2415 + 669 = 3*x. Suppose -4*d + z*n + x = 0, 4*d - 988 = 5*n + 38. Is d composite?
True
Let l = -8 + 5. Let o be (-6 - (l - 0)) + 11. Let z(p) = 8*p - 9. Is z(o) a prime number?
False
Suppose 3*x + w - 16 = 3, -4*w = -x - 11. Suppose -4*r + 5*f = -17, -5*r - 4*f + 12 = -f. Suppose -r*k = -x - 13. Is k a composite number?
True
Let o(j) = 18*j**2 - 3*j - 3. Let z be o(4). Let r = z + -154. Is r composite?
True
Let y(p) = 983*p + 9. Is y(4) prime?
False
Let l = 118 - 36. Let j = 113 - 62. Let p = l - j. Is p a composite number?
False
Suppose 5*f - 4422 = -2*c, -5*c = 2*f - 6*f - 11121. Is c composite?
False
Let n = -3 - -5. Suppose c + 45 = -0*i + n*i, -c = i - 24. Is i composite?
False
Suppose -3*a - 147 = 3*j, 4*a + 4*j + 148 = a. Let z = a + 107. Is z a composite number?
False
Let r(d) = d**3 - 4*d**2 - 7*d - 13. Is r(7) prime?
False
Let m(u) = -4 + 3 + 3*u + 15*u**2 + 2. Is m(-2) composite?
True
Let c(m) = 8*m**2. Let d be c(-1). Let l(n) = 9 + 3*n + 5 - 5. Is l(d) composite?
True
Let f be (-9)/(-5) + (-1)/(-5). Suppose 0*r + l + 34 = f*r, -4*r - 3*l + 58 = 0. Suppose -r = -k + 7. Is k prime?
True
Let w(u) = u**2 - 5*u + 4. Let r be w(6). Suppose 0 = k - 2*k + 4. Suppose 0 = -k*c + 18 + r. Is c composite?
False
Let v = -88 + 197. Is v a prime number?
True
Suppose -4*x - 12 = 2*g, -x + 4*g + 3 = -3. Let d(v) = -1 - 2*v - v + v - v**2 - 2*v**3. Is d(x) a prime number?
False
Let t be 1/(-3)*(-45)/3. Let v(u) = -u**3 + 5*u**2 + 2*u - 7. Let o be v(t). Suppose 0*s + o*s = 21. Is s prime?
True
Let b(n) = 4*n + 1. Let i be b(2). Is 97/(4 - i/3) a composite number?
False
Suppose -54 = -4*t + 110. Suppose 0*p + t = p - 2*u, 0 = u + 5. Is p a composite number?
False
Let l(j) = j**3 + 7*j**2 - 10*j + 5. Let s be l(-8). Suppose 1614 + s = 3*w. Suppose -5*f + 390 + w = 0. Is f composite?
True
Suppose 2*x + 3*m = 17858, -x = -2*x + 3*m + 8911. Is x prime?
True
Let q = 1537 - 396. Is q prime?
False
Suppose -p + 1206 = 295. Is p a composite number?
False
Suppose -4*i + 5*b = -535, -3*i + 127 = -2*i + b. Let a = 363 + -164. Let r = a - i. Is r a prime number?
False
Let m be 2 + (-1 - -2)*1. Suppose m*h = 7*h + 48. Is (-170)/h + 1/(-6) prime?
False
Let p = -7 + 10. Let x be (135 - 3) + (3 - 1). Suppose f - p*f = -x. Is f prime?
True
Let c be 2/5 - (-2192)/20. Suppose -2*w + g + c = -2*g, 4*w - 234 = -g. Let p = 135 - w. Is p prime?
False
Is -3 - -12 - -998 - (-1 - -5) prime?
False
Suppose 4*p - 149 = 287. Is p composite?
False
Let q be (-1)/3 + (-196)/6. Let h = q - -82. Is h a composite number?
True
Suppose -1279 = -4*y + 3*z, 5*y = -5*z + 114 + 1476. Is y prime?
False
Suppose 5*g - j - 28 = 0, -4*g - 3*j = -j - 28. Suppose -l + g*l = 445. Is l composite?
False
Let g(m) = -51*m - 5. Is g(-4) a prime number?
True
Suppose -2*j + 4*w + 8 = 3*j, -4 = 2*j + 2*w. Suppose 5*d + l - 245 = j, -80 - 18 = -2*d - 5*l. Is d a prime number?
False
Suppose -f + 2*m - 6*m + 22 = 0, 0 = 3*f + 4*m - 26. Let r(j) = 3*j + j + 4*j**2 - 2*j - 1. Is r(f) a composite number?
False
Suppose 0 = 4*q - 630 - 222. Is q composite?
True
Suppose -3*q - 785 = -8*q. Is q a composite number?
False
Let m(z) = -z**2 + 19*z - 3. Is m(14) composite?
False
Let g = 241 - -250. Is g composite?
False
Suppose -2*c + 4*v - 6 = -4*c, 9 = 3*c + 3*v. Suppose -c*z = -0*z - 1239. Is z a prime number?
False
Let b be 1 - 38 - (4 - 4). Let f = b - -52. Is f a prime number?
False
Let j(i) = 39*i - 23. Is j(4) prime?
False
Let z(v) = 3*v**2 + 6*v. Let r(d) = -9*d**2 - 19*d. Let u(x) = 2*r(x) + 7*z(x). Is u(5) a prime number?
False
Let r = 65 - 56. Is r a prime number?
False
Suppose 3 = -2*r + 7. Suppose -892 = -r*c - 2*c. Is c a composite number?
False
Suppose -3*p + 0*p = -69. Is p composite?
False
Suppose 4*a = 4 + 8. Suppose 2*j = g - 0*j - 81, -4*g = -a*j - 314. Is g a composite number?
True
Let s(p) = -314*p - 1. Let r(o) = 1569*o + 4. Let a(q) = -2*r(q) - 11*s(q). Is a(2) a prime number?
False
Let l = 117 + -79. Is l prime?
False
Suppose 5*n = -0*n + 850. Suppose -43 + n = s. Is s composite?
False
Suppose 2*v - 4*m = 7*v - 13, 4*v + m - 6 = 0. Let h(y) = -v - 13*y + 11*y + 35*y + 7*y. Is h(3) a prime number?
False
Let n = 4 - 5. Let s be n/3*-1*6. Suppose 0 = 4*w - 5*i + s*i - 358, w - 89 = i. Is w composite?
True
Suppose 776 = -4*p + 12*p. Is p a prime number?
True
Suppose -3*r = -r - 6. Let o(m) = 164*m - 11. Let z be o(4). Suppose -r*l = 2*l - z. Is l composite?
True
Let f(c) = c - 1. Let g be (15/6)/((-1)/(-2)). Is f(g) a prime number?
False
Let o = 0 - -4. Suppose 4*u + o*y = 36, 2*u + 4*y - 29 = -9. Suppose -4*t + 4 = p - u, t - 3 = 3*p. Is t a prime number?
True
Suppose 0 = l + 2*l - 1179. Let z = 700 - l. Is z composite?
False
Let y = 317 + -80. Let i = -4 - -6. Suppose z = -i*z + y. Is z composite?
False
Suppose -2*u + x + 8324 = 2*u, -5*u - 5*x + 10405 = 0. Is u composite?
False
Is 2336 - (2 + 5/5) prime?
True
Let d(a) be the second derivative of a**4/3 + a**3/2 - 7*a**2/2 + a. Suppose 4*n - 22 = 2. Is d(n) prime?
False
Suppose 4*c - 16 - 8 = 0. Suppose 0 = j + j - c. Suppose -l - j*l = -56. Is l prime?
False
Suppose 3*l - 4*r = 0, 3*l = 2*l + 5*r. Suppose 3*w + s - 346 = l, -4*w + s + 476 = 6*s. Suppose w = -0*a + 3*a. Is a a prime number?
False
Let k be 103/3 + 4/6. Suppose -k = p - 2*p + 3*r, 4*p + 4*r - 60 = 0. Let z = 35 - p. Is z composite?
True
Let a be 3*1 + (1326 - -1). Suppose 1776 = 4*p - 4*n, n = 2*p + p - a. Is p composite?
False
Let v(o) = 4*o + 3. Suppose -4*p = -m + 13, 6*p - 2*p = -4. Is v(m) prime?
False
Suppose 169 = 3*r - 44. Is r prime?
True
Suppose k = -3*q - 2*q - 319, 2*q - k = -129. Let o = q + 121. Is o prime?
False
Let b(s) = -2096*s + 11. Is b(-3) a composite number?
False
Suppose 2*v - 3*v - 1 = 0, -5*u + 4*v = -669. Let y = u - 36. Is y a prime number?
True
Let w = -24 - 2. Let u = -14 - w. Suppose -h - 2 = -u. Is h prime?
False
Let i be (2 + -6)/((-2)/(-41)). Let f = i - -158. Is f/4*1/1 prime?
True
Suppose -4*y = 3*s + 210 - 1025, s = 5*y + 259. Is s composite?
False
Let j(i) = -9*i**3 - 6*i**2 - 6*i - 11. Is j(-6) a composite number?
False
Is (212/(-4))/((-2)/10) composite?
True
Let j(q) = 49*q**2 + 3*q - 1. Let o be j(-4). Let r = -512 + o. Suppose -5*f - 3*p = p - r, 3*p = 2*f - 99. Is f a composite number?
True
Suppose -3*x - 5*z = -13 - 2, -3*x - 3*z = -15. Suppose 0*c - 2475 = -5*y - x*c, 2*y - 4*c = 966. Is y a prime number?
True
Is (5/10)/((-1)/(-170)) a prime number?
False
Let p(q) = q**3 + 1. Let c be p(1). Suppose c*g - 40 = -3*g. Let j = g + 1. Is j prime?
False
Suppose -4*g - 1055 = -9*g. Is g composite?
False
Let o(g) = 2*g**2 - g + 2. Let q be o(-2). Suppose -c = c + q. Is (-157)/(-3) - 4/c a composite number?
False
Suppose -121 - 326 = -3*a. Is a a prime number?
True
Suppose 2*t - f = -5*f + 12, -t - 24 = -4*f. Is 6/(-2) - (t - 13) a prime number?
False
Let o = -83 + 46. Let p = o - -52. Is p a prime number?
False
Let x = 220 - 149. Is x a composite number?
False
Let y = 21 - 18. Suppose 439 = y*i + 10. Is i prime?
False
Suppose