2920, -2*p = 2*q - 1437 - 1483. Suppose f + 3*f = p. Is f a composite number?
True
Suppose -6 = -2*y + 2. Let j be (-234)/y - 3/6. Is 0 - (j - (0 - 0)) composite?
False
Let v = -87 + 354. Is v composite?
True
Suppose -111 = -3*s - 0*s. Is s a prime number?
True
Let t(x) = 5*x**2 - 8*x - 10. Is t(9) composite?
True
Let o = -3 - -6. Suppose 5*w + 49 = 4*b, 0 = 3*b - 4*w + 9 - 45. Suppose -5 - 1 = 2*k - 4*d, d + b = o*k. Is k prime?
True
Let s be 4/8 + 1/2. Let g be s/((-2)/(-6) + 0). Suppose 0 = -g*d + 85 + 188. Is d composite?
True
Let f be 0/(1 + 1 - 0). Suppose 3*w + 0*w - 483 = f. Is w prime?
False
Let x(o) = o - o**3 - o**2 + 17 + 2*o**3 - 2*o**3. Let b be x(0). Suppose -p = 6*s - 3*s - 15, -p - 2*s + b = 0. Is p prime?
False
Let l(j) be the second derivative of -j**5/20 + 3*j**4/4 - j**3 - j**2/2 - j. Let c = 24 + -19. Is l(c) prime?
False
Suppose 2*a = -0*a + 3774. Suppose 4*y - l = a, 949 = 2*y + 4*l + l. Suppose 140 - y = -4*d. Is d prime?
True
Let h be 4/(-8)*(1 - -1)*5. Let j(r) = 1. Let i(m) = m + 4. Let o(q) = -i(q) + 5*j(q). Is o(h) composite?
True
Let t = 1995 + -655. Let z = t + -901. Is z a prime number?
True
Let j(r) be the second derivative of 32*r**4/3 - r**3/3 + r**2/2 + 2*r. Is j(1) a composite number?
False
Suppose w + 3*u = -6, 2*w - 24 = 5*u + 19. Suppose 4*d = w + 3. Suppose h + d*h - 148 = 0. Is h a prime number?
True
Let t = 1123 + -604. Is t composite?
True
Let n(s) = 6*s**2 + 4. Let a be n(-3). Let c = 84 - 59. Suppose 2*j - c = -o - 2, o = 5*j + a. Is o composite?
True
Suppose 0 = -3*b + 2*h + 627, -3*b + 5*h = 2*b - 1050. Suppose 0*u = -4*u. Suppose -l + b = 5*a - u*a, -l + 203 = 4*a. Is l a composite number?
True
Let q(u) = 2*u**2 + 4*u + 6. Let i be q(-6). Let p be (-12)/i - (-169)/(-9). Let f = p + 53. Is f a prime number?
False
Let q(a) = 4 - 7 - 6 - a. Let r be q(-11). Suppose -716 = -r*h - 2*h. Is h a composite number?
False
Let s(f) = f**2 - f + 27. Is s(-11) a prime number?
False
Suppose -5*o + 2418 = o. Is o composite?
True
Suppose 2*x + 3*z = 9557, x + 19135 = 5*x - z. Is x a prime number?
True
Let j = -812 + 1569. Is j prime?
True
Is ((-1)/3)/(2/(-1146)) a prime number?
True
Let c = 40 - 29. Let m(w) = 4*w**2 - 14*w - 3. Let n be m(c). Suppose 0*q - n = -3*q. Is q a composite number?
False
Suppose 3*s = -s + 832. Let q = -6 - -10. Suppose -s = -q*y - 4*v, 0 = y - v - 13 - 29. Is y a prime number?
True
Let w(q) = -q**3 + 14*q**2 + 9*q + 1. Is w(14) a prime number?
True
Suppose 437 = 4*x + 97. Is x a prime number?
False
Let s(x) = -x**3 - x**2 + 9*x + 7. Let l(o) = o**3 + 6*o**2 + 7*o + 4. Let j be l(-5). Is s(j) a prime number?
False
Suppose 4*n + 3 = -5*z, z + 0*z + 2*n = -3. Let a be -6 + (0/(-2) - z). Let p(b) = -3*b - 7. Is p(a) a prime number?
False
Let j = 9 + -9. Suppose -3*c - 2*m - 2*m - 21 = 0, j = -c - 5*m - 18. Is (-1)/c + 676/6 a prime number?
True
Let x(y) = -y**3 + 2*y**2 + 4*y + 6. Let h be x(-4). Suppose -g - 5*o - h = -2*g, -4*g + 278 = 2*o. Is g a prime number?
True
Suppose c - g = 579, -2*c = -0*c + 5*g - 1172. Is c a prime number?
False
Suppose 3*m + m + n = 95, 2*n + 17 = m. Is m a prime number?
True
Suppose -o - 2*n = -0*o - 12, o + 16 = 5*n. Suppose 0*x + 1036 = o*x. Is x a composite number?
True
Suppose 0 = -6*t + 3597 + 4677. Is t prime?
False
Is -1 - (-1579)/4 - (-6)/24 prime?
False
Let a(m) = 26*m**2 + m - 19. Is a(4) prime?
True
Let g be (-20)/6 + 5/15. Let v be (g/((-6)/(-10)))/(-1). Is (-1)/((15/(-78))/v) a composite number?
True
Suppose 4*o - 3*c = -7 - 8, -5*o - 5*c + 25 = 0. Suppose 3*k - 3 = -o. Is k/2 + 185/10 a composite number?
False
Let j = 32 - 21. Let c(y) = -y**3 + 11*y**2 + 11*y - 6. Is c(j) a composite number?
True
Suppose 5*o + 7 = w, 4*w + 4*o + 18 = o. Let g = w + 1. Is ((-1)/2)/(g/260) a prime number?
False
Let i(r) = 2*r + 1. Let y be i(-1). Is y/(3/(-276)) - 3 composite?
False
Let o(i) = -i**3 + i**2 + 8*i + 4. Let j be o(-3). Let k = 41 + j. Is k a composite number?
True
Let r(q) = 2*q**2 - 4*q - 1. Let c be r(3). Suppose 0 = c*i + 725 - 2170. Suppose -5*w = -i + 14. Is w a composite number?
True
Is (-2263 + -8)/((-6)/22) prime?
False
Suppose 0 = 4*v + 4*u - 652, -5*u = -4 - 6. Is v a composite number?
True
Let c(h) = 4957*h**3 - h**2 - 3*h + 2. Is c(1) a prime number?
False
Let q(h) = 2*h - 13. Is q(8) prime?
True
Suppose 0 = c + 17 + 14. Let u = c + 53. Suppose -3*a = -a - u. Is a prime?
True
Is 3/(-12) - (-74922)/8 a prime number?
False
Let w be (-50)/(-8) - 1/4. Suppose -3*t + 24 = w. Is t composite?
True
Let n(b) = 2*b**3 - 14*b - 1. Is n(8) a composite number?
False
Let s(g) = -g**2 - 7*g + 3. Let a(v) = v**3 + 9*v**2 - 8*v + 14. Let d be a(-10). Is s(d) composite?
True
Let p = -66 - -199. Is p prime?
False
Suppose 226 - 41 = 5*u. Is u prime?
True
Let l = 2928 + 949. Is l composite?
False
Let p = 46 - -43. Is p a composite number?
False
Suppose 535 - 63 = 4*o. Let h = o - 35. Is h composite?
False
Suppose -5*v - 85 = -5*r, r = 4*r + 5*v - 75. Suppose 0*i = 2*i + j + 324, -5*j - r = 0. Let w = i + 363. Is w a composite number?
True
Let i(n) = n + 1. Let v be i(-1). Suppose -23 = -3*j - 5*x, v = 2*j + 2*x - 7 - 7. Let t(w) = w**3 - 5*w**2 - 2*w - 2. Is t(j) a composite number?
True
Let z(a) = 8*a + 3. Is z(2) composite?
False
Suppose -3*r + 17787 - 7026 = 0. Is r prime?
False
Is 2 - 2 - (-2459 + 6) prime?
False
Suppose 0 = -3*d - 0*d - 90. Let m = d - -53. Is m prime?
True
Let b = 2 - -67. Is b a prime number?
False
Suppose 2*j - 3*u = 325, j = -j - u + 337. Let z = j + 10. Is z a prime number?
False
Suppose 5*i + 625 = 5*s, -5*i = -3*i - 3*s + 253. Let k = i - -175. Is k composite?
False
Let w = 59 - 135. Let z(m) = 23*m - 7. Let k be z(6). Let v = w + k. Is v a prime number?
False
Suppose 8*g = 3*g - 10, -2*v + 12 = -2*g. Suppose 169 = 3*n + 2*y, -7 = -v*y + 13. Is n prime?
True
Let o(j) = 2*j**3 - 2*j**2 - 4*j - 3. Let s be (1 - -3) + (1 - 1). Is o(s) prime?
False
Let f(p) = 12*p**2 - 4*p - 1. Let g(s) = -25*s**2 + 8*s + 2. Let i(t) = 9*f(t) + 4*g(t). Is i(-4) a composite number?
True
Let a be (-82)/((-1)/((-12)/(-8))). Is a - (3/(-3) - -3) a composite number?
True
Suppose -n - 8*n = -17109. Is n a composite number?
False
Let j(s) = -74*s + 29. Is j(-6) a prime number?
False
Is 6 + -2 + 52 + -1 a composite number?
True
Suppose 0 = -2*p + 6 + 4. Let l(g) be the second derivative of 15*g**3/2 - g**2 + 4*g. Is l(p) a prime number?
True
Suppose -3*p + 4668 = 5*i, 3*p = 3*i - 0*i + 4692. Is p composite?
True
Suppose 0 = -3*v + 6*v - 2193. Is v a composite number?
True
Suppose 98 = -5*f + 3*f - 2*d, -2*d + 245 = -5*f. Let k = 75 + f. Suppose 2*p + 5*a = -16, -8 = p - 4*a - k. Is p composite?
False
Let w be 2/(-7) - (-32)/14. Suppose 2*r = 6*r - w*i - 322, 0 = 2*i - 2. Let q = -46 + r. Is q a prime number?
False
Let r(g) = -27*g - 5. Let z be r(-5). Let j = z + 213. Let a = j + -222. Is a a prime number?
False
Is 1824 + ((-2)/(-6))/((-5)/15) composite?
False
Let p = -5 - -5. Suppose -2*o + p*o = -70. Is o a prime number?
False
Let o(x) = 3*x**2 + 3*x - 5. Is o(-6) a prime number?
False
Suppose 2*z = 152 + 140. Let b = -58 + z. Suppose 3*x - b = -13. Is x a composite number?
True
Let z(i) = 101*i - 16. Is z(3) a prime number?
False
Let j(x) = x**3 + x**2 + x + 1. Let i(p) = -5*p**3 + 3*p**2 + 3*p + 6. Let y(v) = -i(v) + j(v). Is y(4) composite?
True
Suppose -i - 6 = -3*i. Suppose i = a - 4. Is a composite?
False
Let b be ((-6)/(-2))/3*-1. Is ((-2)/6)/(b/501) composite?
False
Suppose 3*d - 386 = -y, -575 = -y - 4*d - 186. Is y prime?
False
Let f(o) be the second derivative of 0 + 3*o + 1/6*o**4 + 5/2*o**2 - 4/3*o**3. Is f(5) prime?
False
Suppose -4 = f - 1. Let j = 2 + f. Is -2 - (-1 - -52)/j a composite number?
True
Let k(y) = 127*y**2 - 7*y - 7. Is k(-4) a composite number?
False
Let f = -69 - -88. Is f a prime number?
True
Let z(d) = d**2 - 5. Let t be (1 - -3)*6/4. Is z(t) composite?
False
Let y = -103 + 29. Is y*1/2*-2 a prime number?
False
Let a(g) = -g**2 - 6*g - 3. Let b = 13 - 18. Let z be a(b). Suppose 2*l - 7*l + 217 = 3*o, z*l = 3*o - 203. Is o composite?
True
Let i = 27 - 24. Suppose 4*g - 1153 = 43. Suppose -4*q - i*k + g = -3*q, -3*q - k = -881. Is q composite?
False
Let r = 59 - 104. Let f = 68 + r. Is f prime?
True
Let v be (-4)/(1 + 