t - 249, 0 = 2*l - t - 243. Suppose 39 = o - l. Is o a composite number?
True
Suppose -1364 = -7*f - 265. Is f prime?
True
Let f = 164 - 87. Is f a composite number?
True
Let k(s) = 2*s - 4. Let t be -1 + (-2 - 12/3). Let q be k(t). Is (-1850)/q - 10/(-45) composite?
False
Suppose 0 = -r - 3*b + 1, -8 = -3*r - 4*b + 5. Let z(c) = c**3 - 6*c**2 - c - 5. Is z(r) a prime number?
True
Suppose -65 = 2*s - 623. Suppose 4*h - 229 = s. Is h composite?
False
Let d = -18 + 38. Let b = 30 - d. Is (-532)/(-10) + (-2)/b composite?
False
Let m = -73 + 41. Is (-582)/(-8)*m/(-12) prime?
False
Let c(z) = z**2 - 5*z + 2. Let t be c(5). Suppose 3*g = -t*g. Suppose g = -8*u + 3*u + 635. Is u a composite number?
False
Let f = -120 - -387. Is f a composite number?
True
Suppose k + 2*k = 12, -129 = -3*y - 3*k. Suppose 4*d - d = -y. Let z = 27 + d. Is z prime?
False
Let m(r) = r**3 + 6*r**2 - 8*r + 5. Let y be 54/(-10) + 3/(-5). Is m(y) a prime number?
True
Let z = -7 + 15. Let i(w) = w + 6. Let b(p) = -p - 13. Let m(f) = 4*b(f) + 7*i(f). Is m(z) a composite number?
True
Suppose -24 - 50 = -2*b. Is b composite?
False
Let b(z) = -3*z**3 + 5*z**2 - 6*z + 10. Let i(j) = -4*j**3 + 5*j**2 - 7*j + 10. Let o(x) = -5*b(x) + 4*i(x). Is o(-7) prime?
False
Suppose 4*k + 7331 = 3*t, 0 = -3*t + k + 1257 + 6059. Is t a composite number?
False
Let c(i) = -i**3 + 2*i**2 + 4*i + 1. Let m be c(3). Suppose -3*n + 2*s + 227 = 0, 4*s = m*n - 240 - 56. Let u = n + -30. Is u composite?
True
Let i(t) = t + 12. Let n = -3 - -4. Let p be (-6)/n + (0 - 0). Is i(p) composite?
True
Is (45/(-10) + 5)*1*186 composite?
True
Let h = 368 - 109. Is h composite?
True
Let l(c) = -c**3 + 7*c**2 + 2*c + 3. Is l(6) a prime number?
False
Suppose -g + 2*g + 11 = -2*i, 3 = 3*g. Let r = i + 421. Is r composite?
True
Let c(b) = 8*b**2 + 4*b - 11. Is c(-7) a composite number?
False
Suppose -z + 67 = 5*s, -9 + 56 = 3*s + 4*z. Suppose -h = -2 - s. Is h a prime number?
False
Suppose -6*m + m = 3*b - 2210, -1340 = -3*m + b. Suppose -2*d = -7*d + m. Is d a prime number?
True
Let i = -14 + 16. Suppose a - 399 = -i*a. Is a a prime number?
False
Suppose 5*w = 60 - 25. Let p(q) = -2 + 3*q + w - 3 + 1. Is p(4) prime?
False
Let p = 0 + 1. Is 26 - p - 2/(-2) a prime number?
False
Let a(c) = -6 - c + 120*c**3 + 6. Is a(1) prime?
False
Let j = 222 + 29. Let l = j - 162. Is l a prime number?
True
Suppose 17*u + 1585 = 22*u. Is u a composite number?
False
Suppose 0 = 3*j - 0 + 6, 0 = 3*o - 2*j - 1105. Is o prime?
True
Is -7*(-2 - 0)*1 prime?
False
Suppose 7*f - 120 = 2*f. Suppose 0 = 3*k - 168 - f. Suppose -2*w - 5*y = -k, -3*y = -0*w - 2*w + 80. Is w composite?
False
Let s be (-3)/2*100/15. Let x(z) = -3*z + 7. Is x(s) a composite number?
False
Let z = -763 - -1806. Is z composite?
True
Let l(z) = z**3 - z - 362. Let j be l(0). Let o = j - -519. Is o prime?
True
Let g = -5 - -9. Suppose 35 = -g*b + 5*b. Is b composite?
True
Let r be -10 + -1 + 0/(-1). Let b = -8 - r. Is b prime?
True
Let y(x) = x**3 - 7*x**2 + 10*x + 7. Let j = 7 + 0. Is y(j) a prime number?
False
Suppose 1648 = -3*r - 71. Is (r/(-6))/(2/4) composite?
False
Let y(w) = -64*w - 28. Let p(t) = -16*t - 7. Let o(v) = -9*p(v) + 2*y(v). Is o(3) a composite number?
True
Let s = 11 - 5. Let z = s - 1. Suppose z*i - 741 = j, 733 = 5*i + 6*j - 9*j. Is i composite?
False
Suppose 4*l - 15 = c + l, -5*c = -2*l + 23. Let r(o) = -11*o + 2. Is r(c) a composite number?
True
Let b(j) = -6*j. Let k be b(-5). Let h be ((-12)/10)/(9/k). Let r(u) = -u**3 - 2*u**2 + 5*u + 1. Is r(h) composite?
False
Is ((-2)/(-8))/(13/88868) composite?
False
Let y(r) = 15*r - 2. Let c(o) = o**2 - 1. Let w be c(2). Suppose -2*f + w = -3. Is y(f) composite?
False
Let c(r) = 25*r - 3. Suppose 5*l - 6 = 2*l. Let w be l*(2 + -1)*1. Is c(w) prime?
True
Suppose 0 = -2*j + 7*j + 3*k - 1002, -2*k = 5*j - 1003. Is j a prime number?
False
Let c be 2/(6/9) - 3. Suppose 3*g - 333 = -c*g. Is g a prime number?
False
Suppose 0 = 6*v - 2*v - 148. Is v a composite number?
False
Let l(y) = -189*y + 55. Is l(-12) composite?
True
Let s = 93 + 5. Suppose -4*y - 274 = s. Is y/(-9) - (-4)/6 a composite number?
False
Suppose 8*c - c - 2667 = 0. Is c a composite number?
True
Suppose 3 = -3*g + 12. Suppose g*i = -5*v + 95, -v + 4*v - 57 = -i. Is v a composite number?
False
Let n = -4 + 2. Let m(o) = 7*o**2 - 6*o + 6. Let q(f) = 15*f**2 - 13*f + 13. Let i(x) = 13*m(x) - 6*q(x). Is i(n) composite?
True
Is 2839/4 - (33/12 - 2) prime?
True
Suppose 5*u + 2*g + 0*g - 63 = 0, 3*u - 13 = 5*g. Is u a prime number?
True
Let a = 1332 - 785. Is a composite?
False
Let t = 3586 + -2343. Is t a composite number?
True
Let a(s) = -s**3 - 1. Let w be a(-1). Suppose 2*q - 230 = -w*q. Is q composite?
True
Suppose 20 = 5*p - 5*k, 3*p - 7*p = -3*k - 13. Let r(l) = 115. Let t(n) = n**3 - n. Let x(d) = p*r(d) - t(d). Is x(0) composite?
True
Suppose 0 = 3*c - b - 8, 5*c - b - 14 = b. Suppose -t + c = -0. Suppose t*p + 6*y - 109 = 3*y, -3*y - 262 = -5*p. Is p composite?
False
Let d(x) = -5*x**3 - 9*x**2 - 9*x. Let f(s) = -11*s**3 - 19*s**2 - 19*s + 1. Let g(y) = 9*d(y) - 4*f(y). Let z be g(-4). Suppose -m = -z*m - 22. Is m prime?
False
Let t(c) = -c - 5. Let q be (-22)/3 + (-4)/6. Let d be t(q). Suppose y + 2*y = -d*x + 234, -y = -1. Is x a prime number?
False
Suppose 0 = w - 295 - 106. Is w a prime number?
True
Let i = -310 + 567. Is i a prime number?
True
Suppose -a - a - 4*o + 594 = 0, 589 = 2*a + 5*o. Is a composite?
False
Suppose -4*y = -0*j - 2*j + 18, -y = -5*j + 18. Suppose -68 = -j*b - 11. Is b a composite number?
False
Let v = 6 - 3. Suppose v*w - 13 + 4 = 0. Suppose 2*r + 42 = 3*h - r, -4 = -h + w*r. Is h prime?
True
Let z(d) = 2*d**2 - 2*d + 11. Is z(-9) a prime number?
True
Is (-20 - -21) + 110 + 0 + 0 a composite number?
True
Let s(y) = 5*y**2 + 2*y - 1. Let m(v) = v**2 - 7*v - 11. Let q be m(8). Is s(q) a prime number?
False
Let y(j) = j + 12. Let w be y(-10). Suppose 4*o + 4*a - 3*a = 868, -4*o = -w*a - 868. Is o composite?
True
Suppose 3*r = -0*r + f + 16, 0 = 4*r - 3*f - 18. Suppose -2*q - a = q - 4, -a = 5*q - 6. Let o = r + q. Is o composite?
False
Let z be 51/6 + 2/4. Let c be 2/z + (-1101)/(-27). Suppose -2*o = 2*o - 4*t - 152, -c = -o - 2*t. Is o a prime number?
False
Suppose 5*n - 1094 = -3134. Let a = n - -593. Is a prime?
False
Let m(k) = -k**2 - k + 7. Let s be m(5). Let q = 664 - s. Suppose 0 = 5*n - q + 52. Is n a composite number?
False
Let m(q) = -620*q + 2. Let i be m(-2). Let o = -355 + i. Is o composite?
False
Let p(u) be the first derivative of u**2/2 + u + 1. Let w be p(0). Suppose 3*y - 4*d = 2, -w + 5 = 4*d. Is y a composite number?
False
Let j be (-5)/(-3)*72/60. Suppose 2*h = -3*h + 5*c + 7905, 1587 = h + j*c. Is h a composite number?
False
Suppose -3 = 2*m + m. Is (178/2)/(m/(-1)) a composite number?
False
Let z = 3 + 9. Suppose -5*r + 19 = 3*m - z, 3*m + r - 11 = 0. Suppose 4*t + 3*c - 205 = 15, -m*t - c + 110 = 0. Is t a prime number?
False
Let q be (-2*1)/((-8)/16). Let a be (q/(-6))/((-2)/9). Is (270 - 3)*a/9 a composite number?
False
Suppose a + 773 = 5*j + 3*a, -5*j + 778 = -3*a. Let d = 238 - j. Is d composite?
False
Is 245 + (-2 - -14)/3 prime?
False
Suppose 5*b + 0*b - 431 = -g, 3*g + 360 = 4*b. Is b a composite number?
True
Let c = 2234 - 1495. Is c composite?
False
Suppose -5*a = 5*x - 20, -4 = -5*x - a + 4. Let c = 16 - x. Is c a prime number?
False
Let u be 362/(0 - -2) - -2. Let k = 124 + u. Is k a prime number?
True
Let o(y) = 3*y**2 - 3*y**2 - 78*y**3 - y**2. Suppose 4*x + 0 = -4. Is o(x) prime?
False
Suppose 0 = -0*h + h - 2*h. Suppose 0*n + 2712 = 4*n. Is (1 - h)/(6/n) a composite number?
False
Let o(k) = -1 + 3 - 3*k + 0*k + 2*k**2 + 0*k**2 + 768*k**3. Is o(1) a composite number?
False
Suppose x + 0 = 5. Suppose 0 = -x*i + 4*b - 88, -i + b - 97 = 4*i. Let p = 41 + i. Is p prime?
False
Let s be (-4)/(-18) + (-130)/18. Let x(y) = -y**3 - 7*y**2 - 3*y - 6. Is x(s) a composite number?
True
Let m(a) = -6 - 3 + a**3 + 4 + 3*a + 6*a**2. Let i be m(-4). Suppose -27 = -2*b + i. Is b composite?
True
Let c(y) = -6*y**3 - y**2 + 4*y + 5. Let q(k) = -k**3 - k**2 + 1. Let w(b) = c(b) - 2*q(b). Is w(-2) composite?
False
Let u = 2 - -2. Suppose 7 = 3*i - t + 6*t, 4*t = -4. Suppose -4*y - 2*k + 350 = 0, y