7 = -4*g, -12 = -3*g - 3*i. Suppose 5*j + 2 + 3 = -t, -3*t = -3*j - g. Is -3*(-1 + t)/1 a composite number?
False
Suppose -2*q = -642 - 628. Is q prime?
False
Let u = 1119 - 640. Is u a composite number?
False
Let f = 24 + -10. Is f composite?
True
Is 422 + -1 + (3 - 2)*-2 a prime number?
True
Let q(c) = 6*c**2 + 10*c + 19. Is q(-5) a prime number?
False
Let d = 239 + 15. Is d prime?
False
Let d be (1 + (-5)/2)*-2. Suppose 4*c = -d*n + 6 + 12, 0 = -n - 4*c + 14. Suppose n*b - b = 7. Is b a prime number?
True
Let w be (2 + -5 + 2)*-5. Suppose 0*j - 605 = -w*j. Is j prime?
False
Suppose 2*j - 2*b = -4*b + 30, -5*j + 2*b = -54. Suppose -6*l = -3*l - j. Is l a prime number?
False
Let z(n) = n**3 - 3*n**2 + 1. Let r be z(3). Let s(k) = r - 4 - 4*k + k**2 + k. Is s(6) a composite number?
True
Let j = 265 + -120. Is j a composite number?
True
Suppose 5*q - 2240 = -5*q. Let a(t) = -7*t**3 + 3*t**2 + 4*t + 3. Let k be a(-2). Let b = q - k. Is b a prime number?
False
Let q(n) = -n**2 - n + 1. Let s be q(0). Let z(a) = s + 0*a + 0*a + 15*a**3. Is z(2) composite?
True
Let d = 14 - 9. Suppose 0 = -4*q - 5*k + 1018, -3*q + 8*q - 2*k - 1256 = 0. Suppose 0 = d*y - q + 7. Is y a composite number?
True
Let x(v) = 251*v**3 + v - 1. Is x(1) a composite number?
False
Suppose 0 = -3*i + i + 4. Is ((-1)/((-2)/236))/i composite?
False
Let a(z) = 2*z**2 + 13*z + 7. Let p(g) = -3*g + 1. Let h be p(4). Is a(h) a composite number?
True
Suppose 0 = w + 3, 5*w + 159 = 2*k + 2*w. Let u = 266 - k. Is u a composite number?
False
Let g(a) = a**3 + 3*a**2 - 5*a + 1. Let w be g(4). Let u = -58 + w. Let c = u + -16. Is c a prime number?
True
Let u(o) = o**2 - 3*o - 8. Let w be u(6). Suppose 9 = z - w. Is z a prime number?
True
Suppose 38 + 247 = 3*j. Suppose 0*o = -5*o + j. Is o composite?
False
Suppose 4*t - 3442 = -1214. Is t a composite number?
False
Let s(i) = 3*i + 5. Let v(d) = 4*d + 6. Let b(x) = -5*s(x) + 4*v(x). Is b(11) a composite number?
True
Let a(d) = -2*d**2 - 7*d - 4. Let z(l) = -l**2 - 6*l - 5. Let r(q) = 2*a(q) - 3*z(q). Is r(5) composite?
False
Let q = -10 - -10. Suppose q = -y + 151 + 86. Is y a prime number?
False
Let x(i) = 279*i**2 + 3*i - 4. Is x(1) prime?
False
Let w be (12/(-15))/(2/(-25)). Let d be 2/(-12)*-3*w. Suppose 0 = -d*c + 64 - 14. Is c a composite number?
True
Let x = 28 + 18. Suppose -4*j + 2*j = x. Is j/(-3) - (-4)/(-6) a composite number?
False
Suppose -3*k = 33 - 606. Is k composite?
False
Let i(q) = -2*q + 1. Let c be i(-1). Suppose c*f - 5*k = 661, 4*f - f + 2*k - 647 = 0. Is f prime?
False
Let f = 257 + -78. Is f a composite number?
False
Let w(l) = l**3 - 9*l**2 - 11*l - 1. Let a be w(8). Let c = -86 - a. Suppose -b = -c - 46. Is b composite?
False
Let z = 376 + 246. Is z a composite number?
True
Let d be (-9)/(-2)*(-7 + 9). Is 152/3 + 3/d prime?
False
Let c = 2 - -6. Let l(w) = 18*w + 13. Is l(c) prime?
True
Let f = -6 - 15. Let z = f + 43. Is z composite?
True
Let z(v) be the second derivative of 1/3*v**3 + v - 1/20*v**5 - 1/3*v**4 + 0 + 2*v**2. Is z(-5) a prime number?
True
Let y = 780 + -139. Is y composite?
False
Let m(z) = z**3 + 9*z**2 - 8*z + 1. Let i = -12 - -4. Is m(i) composite?
True
Let c = -53 + 178. Suppose 4*q - c = -q. Is q composite?
True
Suppose 0 = 4*t + 1 + 7. Let d be 7 + (-1 - t/1). Suppose d*a - 3*a = 245. Is a prime?
False
Let c = 3279 - 2206. Is c prime?
False
Is (-3)/18 - (-22166)/12 a composite number?
False
Is 142/(2 + (3 - 3)) composite?
False
Let x(c) = 64*c**2 - 3. Is x(-7) composite?
True
Suppose -4*s = 2*l - l + 4, 0 = 3*s - 12. Let q be (-1)/(-1) - 1*-54. Let y = q + l. Is y a prime number?
False
Let d(i) = 9*i + 7. Let f be 16/1*(-4)/(-8). Is d(f) prime?
True
Let y(d) = d + 1. Let h(x) = -x**2 + 3*x - 3. Let u(s) = -h(s) - 2*y(s). Let j be u(6). Let c(f) = f**3 - 7*f**2 + 4*f + 9. Is c(j) composite?
False
Suppose 3*p + 4*k = k + 132, 5*p - 4*k - 238 = 0. Suppose -3*m + 4*m - 3*v = p, 73 = 3*m + 4*v. Is m prime?
True
Let s = 761 + -502. Is s a prime number?
False
Let f be (3/(-9))/(1/(-21)). Suppose -f*i + 3*i + 20 = 0. Suppose -4*o + 2*o = -4*b - 190, 0 = i*b + 15. Is o composite?
False
Let o(m) = -m**2 + m - 1. Let j(z) = 19*z**2 - 38*z + 38. Let y(q) = -j(q) - 38*o(q). Is y(-1) composite?
False
Suppose 0*z + 544 = -4*z. Let u = -81 - z. Is u composite?
True
Suppose -4*d = 3 - 63. Let v(r) = 1 + 4*r**2 - 6*r - 2*r**2 + d*r. Is v(-6) composite?
False
Let q = 301 - 149. Let s = q - 268. Is 30/(-4)*s/6 a prime number?
False
Let g be 14/3 - (-6)/(-9). Suppose -g*b - 73 + 205 = 0. Is b composite?
True
Let j(b) = -2*b - 4. Let v be j(-3). Let i be 1/v - (-11)/2. Let q(r) = 27*r + 5. Is q(i) composite?
False
Suppose 6*d - 3*d - 30 = 0. Is 2/(-5) - (-1274)/d prime?
True
Let x be 2042 - (4/(-4) + -1). Suppose 0*u = 4*u - x. Is u a prime number?
False
Let h = -1287 - -2634. Is h prime?
False
Suppose 11*p - 6327 - 130 = 0. Is p a prime number?
True
Suppose 2*y - 1583 = -4*n - y, 0 = 2*n + 2*y - 792. Is n composite?
True
Let s(q) = q**3 - 5*q**2 - 5*q - 7. Let c be s(6). Let w be (1 - c)/(6/(-9)). Is w - -4 - (1 + -10) composite?
True
Suppose -9*y + 7*y + 218 = 0. Is y prime?
True
Is (-4)/(-6) + 9465/45 composite?
False
Suppose 3*j - 19 = 47. Is j prime?
False
Let v = 112 - -34. Let i = v - -59. Is i prime?
False
Let h(i) = 4*i**3 - 3*i**2 + i - 5. Is h(3) a prime number?
True
Suppose -n - 3*n + 48 = 0. Suppose -v - v = -n. Is (-214)/(-4) - 3/v a prime number?
True
Let m(j) = -j**3 - 3*j**2 - 6*j - 4. Let g be m(-5). Let h = g - 32. Suppose -2*b + 4*b = h. Is b composite?
True
Suppose -3*b + 2*a = -7*b + 404, -5*b - 2*a + 507 = 0. Is b composite?
False
Suppose 4*z - 4 - 4 = 0. Suppose -y - 751 = -3*o, 0*y = 5*o + z*y - 1259. Suppose 0 = 2*h + 3*j - o, -3*h + 403 - 25 = 3*j. Is h prime?
True
Let l(i) = i**2 - i + 7. Suppose 0 = 2*a - 8, r - 5*r - 5*a + 140 = 0. Suppose -2*m - 3*m + r = 0. Is l(m) a composite number?
False
Let j(c) = 513*c**2 + 8*c - 4. Is j(3) composite?
False
Let h = 11 + -5. Is h composite?
True
Suppose 5*v - 5 = -0. Let y = 6 - v. Let m(p) = 17*p - 2. Is m(y) composite?
False
Let c(h) = 6*h + 1 - 6*h + 3*h. Let q be c(1). Suppose -q*j + 192 = t, -5*t - 37 - 81 = -2*j. Is j a prime number?
False
Let y(m) = m**3 + 7*m**2 + 7*m + 5. Let f be y(-6). Let u = 2 + f. Let z(t) = 16*t**3 - 2*t + 1. Is z(u) a composite number?
True
Let r = -12 + 6. Let l(m) = -m**2 + 17*m. Let h be l(7). Is (h/r)/(5/(-15)) a composite number?
True
Let d(n) = 2*n**2 - 2*n. Let l be d(2). Suppose -x + 44 = 3*k, l*k + 2*x - 5*x - 63 = 0. Is k composite?
True
Let l(y) = y**3 - y**2 - 2*y + 1759. Is l(0) a composite number?
False
Let s = 801 + -434. Is s a composite number?
False
Let o(k) = k**3 - 7*k**2 + 5*k + 4. Is o(7) a prime number?
False
Is -4 + 142*12/8 a composite number?
True
Suppose -5*l + 28 + 12 = 0. Let y = l + 89. Is y a composite number?
False
Let v(y) = 2*y**3 + y + 2. Let k be v(4). Let z = -143 + 372. Let m = z - k. Is m a prime number?
False
Suppose 0 = 5*b - 0*m - m - 3539, 3*b = m + 2125. Is b composite?
True
Let d(r) = -2 + 11 + 5*r**2 - 10*r - 2. Is d(6) composite?
False
Let h = 1057 + -606. Is h a prime number?
False
Suppose 0 = -4*s - 3*w + 104, -3*s = 3*w + 2*w - 78. Let x = s + 107. Is x composite?
True
Let b(h) = 2 + 5*h - 4*h + 0*h. Let z be b(-2). Suppose i + d = -0*i + 21, -3*i + 5*d + 47 = z. Is i a prime number?
True
Let d(m) = -m**2 + 17*m. Let s be d(17). Suppose s = 8*f - 10*f + 1490. Is f prime?
False
Let x(b) = -2*b**3 - 13*b**2 + 13*b. Let d be x(-11). Let q(n) = -n**2 + 4*n - 1. Let t be q(3). Suppose -t*h - 312 = -3*h - i, -5*i = 3*h - d. Is h prime?
True
Let q(y) be the first derivative of -y**4/4 - 8*y**3/3 - 4*y**2 - 2*y + 2. Let m be q(-7). Suppose -6 = -3*x, m*c + x + 82 - 269 = 0. Is c prime?
True
Let x be ((-2)/(-6))/((-4)/12). Let w be x*((-1)/1 + -34). Let z = w + -14. Is z prime?
False
Let x(i) = 11*i**2 + 1. Let o be x(-1). Let b(j) = j**3 - 9*j**2 - 9*j - 5. Is b(o) composite?
True
Suppose -3*l + 3142 + 11231 = 0. Is l prime?
False
Let c = 28 - -5. Is c a composite number?
True
Let p be ((-1)/(-2))/((-6)/(-324)). Let w = p - 19. Suppose 2*h - 4*z = -w*z + 374, 3*h + z - 551 = 0. Is h a composite number?
True
Let w(c) = 3*c**2 + 8*c + 19. Is w(-12) composite?
True
Let 