 - 6*k = -3*b - 564, 0 = 4*k - 5*b - 1124. Suppose -4*z + 0*z = -k. Is z composite?
True
Let m(c) = 13*c - 9. Let d be (0 - 2)/(2/(-8)). Is m(d) a prime number?
False
Suppose 5*w = 240 + 1015. Is w a composite number?
False
Let y(u) = u**3 - 15*u**2 - 30*u + 57. Is y(18) a composite number?
True
Let l(g) = -103*g + 4. Let d be l(-4). Suppose -399 - d = -5*f. Is f a composite number?
False
Let z(q) be the second derivative of 19*q**3/6 - 2*q**2 + q. Is z(3) a composite number?
False
Let q(s) = -26*s**3 - s**2 + 2*s + 3. Is q(-2) a prime number?
False
Suppose -1453 = -3*m + p, -5*m - 5*p + 2524 - 89 = 0. Is m a composite number?
True
Let q be (-71)/1 + (-1 - 1). Let f = -40 - q. Is f a composite number?
True
Let d = -2066 - -2905. Is d composite?
False
Suppose -z + 6 = -5*s, 3*z = -2*s - 1 + 2. Suppose -4*i - 4 = -2*i. Is s/(-1*i/(-106)) a composite number?
False
Suppose 4*w = 3*h + w - 3, 0 = -3*h - 4*w + 31. Suppose 0 = u - h*u - 100. Is (u + 0)*4/(-4) prime?
False
Suppose h + 3 = y, 4*y - 15 = -0*y + h. Suppose 1273 = 4*n - 3*q + 2*q, 3*q = y*n - 1283. Is n prime?
True
Suppose 3*d - 1 = 2*d. Let r = d + 1. Is ((-57)/12)/(r/(-8)) prime?
True
Suppose -8 = -3*i - i. Suppose 0 = i*j, -j - 6 = a - 37. Is a a prime number?
True
Suppose -l - 2*l + 2155 = -2*b, 2159 = 3*l - b. Suppose 4*u - 1030 = 3*y, 5*u = 3*y + 568 + l. Is u composite?
True
Let v(y) = -y**3 - 8*y**2 - 6*y + 6. Let i be v(-7). Let m(n) = 2 - 2 - 91*n. Is m(i) prime?
False
Let x = -4 + 25. Is x prime?
False
Let h = 236 + -1261. Is 6/(-33) + h/(-11) a composite number?
True
Let t = -1 - -2. Let i = t - -1. Is i + (0 - 0) + 0 composite?
False
Let b = -31 + 172. Is b a prime number?
False
Let u = 245 + 1096. Suppose u = 5*b - 2344. Is b a prime number?
False
Let w = 124 - 5. Is w composite?
True
Let b(w) = 2*w**3 - 9*w**2 - 3*w + 1. Let c(g) = -5*g**3 + 27*g**2 + 10*g - 3. Let d(o) = 8*b(o) + 3*c(o). Is d(-7) composite?
True
Let f be 20/15*(0 + 3). Is ((-1067)/(-22))/(2/f) a prime number?
True
Let s(h) = h**3 + 19*h**2 + 12*h + 13. Is s(-15) composite?
False
Let s = 6 + 1. Suppose -s*i + 2740 = -3*i. Is i a composite number?
True
Let n(d) = -40*d**2 - 3*d. Let o be n(-8). Is 1/(-3 - o/844) a composite number?
False
Suppose 0 = 2*f - 2*p - 1272, -5*f - 5*p + 4*p + 3210 = 0. Is f a prime number?
True
Suppose 74*d - 69*d - 835 = 0. Is d a prime number?
True
Suppose 12 + 9 = 4*c - 3*g, -c = 5*g - 11. Let y(q) = 9*q**2 - 5*q + 7. Is y(c) composite?
True
Let p(i) = 6*i - 1. Suppose 3*q - 7*q + 2*r = -6, 5*q + 15 = -2*r. Let c = q - -7. Is p(c) prime?
False
Let o(q) = 2*q - 10. Let i = 25 - 18. Let s be o(i). Suppose 5*y = -2*t + 106, -t = s*t - y - 265. Is t prime?
True
Suppose -10 = -g + 27. Suppose -r + g = s, 68 = 3*r - s - 43. Is r composite?
False
Suppose 2*p - 2*v - 9 = p, -3*p + 6 = v. Suppose -2*x = -10, -10 + p = -3*t + x. Let m = t - -19. Is m a prime number?
True
Let u be 30 + (-1)/(-2 - -1). Suppose -5*z - u = -6*z. Let x = -17 + z. Is x a prime number?
False
Let r = 798 + -491. Is r composite?
False
Suppose -i - 5 + 1 = 0. Is (-2 - i) + 2 - -891 a prime number?
False
Let i(r) = 3*r + 1. Let v be i(5). Let l be 325/4 + (-4)/v. Is -2*(l/(-6) - -2) prime?
True
Suppose 293 = j - 1106. Is j prime?
True
Suppose 255 = 4*k + k. Let f = k + -14. Is f a composite number?
False
Let c be 2/(-3) + (-11)/(-3). Suppose -c*j + 104 = -10. Let z = j - 1. Is z a composite number?
False
Let q(w) = -14*w - 2 - 10*w + 6*w. Is q(-2) a prime number?
False
Suppose x + 2*i - 11 = 0, 3*x - 30 = -9*i + 4*i. Suppose -3*n + 168 = 3*c, -55 = -x*n - 4*c + 227. Is n composite?
True
Let m be 0 - -1 - (-5 + 3). Let a be (m*13 - 1) + 2. Suppose 2*o - a + 10 = 0. Is o prime?
False
Let p(s) be the first derivative of 3*s**2/2 - 3*s + 2. Suppose 12 = 10*g - 8*g. Is p(g) a composite number?
True
Is (-2)/5 - 785/(-25) a composite number?
False
Suppose -204 = -0*u - 4*u. Is u composite?
True
Let n be (10 + -8)/(2/(-273)). Let b = -72 - n. Is b a composite number?
True
Let d(u) = 307*u + 6. Let a be d(-5). Let k = 2308 + a. Suppose k = 5*c + 214. Is c composite?
False
Let a = 2 + -1. Is 61 + -6 - 2*a a prime number?
True
Is (3 + -1674)*2/(-6) composite?
False
Is 999/12 - (-3)/(-12) a composite number?
False
Suppose 9*r + 12188 = 13*r. Is (-2)/(-9) - r/(-99) prime?
True
Is (3/(-2))/((-8)/80*1) a composite number?
True
Suppose 0 = 2*r - 5*r + 861. Is r a prime number?
False
Suppose -85 = -4*m + 75. Suppose 4*c - 52 = m. Is c a composite number?
False
Let p = 146 + -28. Is p a prime number?
False
Suppose -4*h + 2 = -2*j, 3*h = 5*j + 6*h - 60. Suppose j = 3*a + r, -5*a = r - 15 - 0. Suppose k - 4*o - 55 = 0, -k + a*k + 5*o = 149. Is k composite?
False
Suppose 0 = -4*b - 3*r, 0 = -5*b + 3*b - 2*r. Is -2 + -2 - (b - 215) a prime number?
True
Suppose 4*k - 168 = -4*c, -4*c + 2*c - 92 = -2*k. Suppose d + 1 = k. Suppose 3*t + w = 154, -t - 2*w = -0*w - d. Is t a prime number?
True
Let i be (-3385)/(-45) - (-2)/(-9). Let f = i + -54. Suppose x + 2 = 0, s + 5*x - 18 - f = 0. Is s prime?
False
Let k(y) = y**3 + 10*y**2 + 7*y - 9. Let i be k(-9). Suppose 68 = z + i. Is z a prime number?
True
Let r(o) = 3*o**2 + o + 5. Let c be (-1 + 2)*4*-1. Is r(c) a prime number?
False
Suppose -622 = -q - q. Suppose -4*w - q = -3*i, 3*w = -2*i + 98 + 81. Is i a prime number?
True
Let v = 165 + 166. Is v composite?
False
Suppose 0 = 3*r - 0*r - 6. Suppose 3*s - 4*x - 462 - 447 = 0, r*s - 606 = 3*x. Is s a composite number?
True
Let a be 6/6 + (1 - -125). Let i = a - 62. Is i composite?
True
Let r = 3500 - 1635. Is r composite?
True
Let c = 6 - 1. Let t = -8 + 13. Suppose -t*d + c*x + 355 = 0, -x + 65 = d + x. Is d a prime number?
False
Suppose 4 = -4*g - 116. Let h = 44 + g. Is h composite?
True
Suppose -5*k + 17 = p, 5*p + k + k = 16. Suppose -4*f + i = -12, p*f - 20 = -2*f - i. Is f a composite number?
True
Let w be ((-20)/6)/((-3)/9). Is 4/w - 28/(-5) prime?
False
Let t(s) = -s**3 + 8*s**2 - 8*s + 6. Is t(-7) composite?
False
Let t be (-2)/(-3 + 15/6). Suppose h + t*h - 395 = 0. Is h a prime number?
True
Let m = 3 - 1. Suppose -m*z = -0*z - 106. Is z a composite number?
False
Suppose 4*q = 3*o + 3*q + 3, 4*q = 3*o + 12. Suppose o = 3*s - 0*s - 33. Is s a composite number?
False
Is 14*(1/(-2) - (16 + -70)) a prime number?
False
Suppose -3*v - 2*g = -2 - 5, -v = -4*g - 7. Suppose 4*j - v*j = 35. Is j composite?
True
Let j = -8 + 10. Is (2585/10)/(j/4) a composite number?
True
Let b be ((-3)/3)/((-3)/36). Let q = b - 10. Suppose 33 = -q*h + 83. Is h prime?
False
Let i(d) = 3*d**3 - d**2 + d - 1. Suppose -3*p = -4*p + 3. Is i(p) prime?
False
Suppose 0*v = 5*v + 3*x - 6817, -5*x = -2*v + 2702. Is v prime?
True
Let w(t) = t**3 - 15*t**2 - 12*t - 19. Is w(20) composite?
False
Let d(b) = -b**2 + 22*b - 9. Is d(14) a composite number?
False
Let a(s) = s. Let d be a(2). Suppose 0 = -d*k + 41 + 117. Is k a prime number?
True
Let j(i) = 15*i**3 - 3*i**2 - 3*i + 4. Is j(3) a prime number?
True
Suppose 0*t - 295 = -5*s - 4*t, -s + 2*t = -59. Is s composite?
False
Let p(t) = -t**3 + t**2 - 3*t - 4. Is p(-5) prime?
False
Let u = 6 + -4. Suppose -u*b = 3*b - 10. Is 18/b - (-3)/3 a composite number?
True
Let w be (-6)/(-3)*(-934)/(-4). Suppose 4*k - w = 345. Is k a composite number?
True
Let m be (6 - (-1 + 2)) + -1. Suppose -m*t - 8 = 0, 7 = 5*g + 2*t - 9. Suppose -w = 5*r + 10, -g*r = -2*w - 2*w + 80. Is w prime?
False
Suppose 0 = -5*p + 4*j + 660, -j = p - 2*j - 132. Suppose -2*i - 2*h = 426, i + 77 = h - p. Is i/(-11) - 2/11 a prime number?
True
Let t = -5 + 7. Suppose -3*l = -7*l + 24. Suppose -28 = t*d - l*d. Is d composite?
False
Suppose 3*n + 54 = 933. Is n a prime number?
True
Suppose -144 = -3*z - 5*y, 5*z - 290 = -2*y - 50. Suppose 0*j + 4*j + 93 = 5*t, -z = -3*t + 5*j. Is t a prime number?
False
Suppose -4*a - z + 25 = 0, 4*a + a - 2*z = 41. Suppose 2*w + 20 = a*w. Is 4/(w + 6/(-3)) composite?
False
Let z(b) = b**2 - 5*b + 6*b + 13*b**3 - 2*b**2. Let v be 0 - (-1 + 1 + -1). Is z(v) a composite number?
False
Suppose 0 = -4*j - 4*h + 104, 3*j + h - 19 - 55 = 0. Suppose 2*g - 4*u - 6 + 2 = 0, -3*g + j = 3*u. Is g/21 - 1074/(-14) composite?
True
Let f(z) = -z**2 + 14. Let v be (1 + (-4)/3)*0. Is f(v) prime?
False
Is (-1030)/(-14) - (-24)/56 composite?