*t**2. Is s(-7) prime?
True
Suppose -4*s = 0, 2*c = 2*s + 2*s + 3086. Is c composite?
False
Let c be 25/6 + (-7)/42. Suppose -d = 2*f - 296, 5*f + 2*d - c*d - 749 = 0. Is f a prime number?
True
Is 20302/26 + 8/52 a prime number?
False
Suppose 4*c - 6600 = -4*g, -8295 = -5*g + 2*c + 2*c. Is g a prime number?
False
Suppose -3*y = 2*z + 9, y - 1 = -5*z + 3*z. Suppose -t + z = 8. Let c(r) = r**3 + 5*r**2 - 3*r + 7. Is c(t) a composite number?
True
Let c(d) = d**2 + 2. Let i be c(0). Suppose 0 = -i*t + 2*l + 14 + 34, -5*t = -3*l - 110. Is t a composite number?
False
Let i = -3 + 5. Let j be 4/i - (-4 - -2). Suppose 2*s - 222 = -j*m, 232 = 7*m - 3*m + 4*s. Is m a prime number?
True
Let u(h) = h**3 + 13*h**2 + 8*h - 1. Let p be (-366)/(-15) + (-4)/10. Suppose -5*g = -g + p. Is u(g) a composite number?
True
Let i(q) = q - 14. Let c be i(10). Let w be 1/(-4) - 93/12. Is 46*7/w*c a composite number?
True
Suppose -563 = -3*p + 361. Suppose -2*j - p = -2*b, -b + 192 - 53 = 4*j. Let v = -40 + b. Is v composite?
True
Let o(l) = -l + 10. Let u be o(7). Suppose a = u*g + 140, 0 = -5*a - 0*a + g + 672. Is a a prime number?
False
Let w be ((-28)/8)/7*0. Let l(c) = -2*c**3 + 5*c**2 - 7*c - 78. Let s(b) = 3*b**3 - 7*b**2 + 10*b + 117. Let t(y) = 7*l(y) + 5*s(y). Is t(w) a composite number?
True
Suppose v - 2 = 3, 0 = -o - 3*v + 21. Is 10 + -3*(-2)/o a prime number?
True
Let r(m) = -4*m**3 - 6*m**2 - 7*m + 3. Is r(-4) a prime number?
True
Let l = -261 - -57. Let g = -146 - l. Is g prime?
False
Let s be (1 + (-118)/4)*-4. Let k = -77 + s. Is k composite?
False
Let k be 0 + 0 - (0 - 6). Suppose t - 9 = k. Is t a composite number?
True
Suppose -370 = -4*k + 658. Is k a prime number?
True
Is 20/16*-94*-2 composite?
True
Suppose 5*b + 220 = 3*g, 3*g - b - 149 = g. Let q = g - -8. Is q composite?
False
Suppose -a = -3*p - 9 - 2, 2*p = 5*a - 29. Let f(o) = -2 - a - 10*o + 1. Is f(-4) a prime number?
False
Let w = 297 - 206. Is w a composite number?
True
Let w(q) = -q**3 - q - 1. Let z(s) = 7*s**3 - s**2 + 5*s + 4. Let g(i) = 3*w(i) + z(i). Is g(2) composite?
True
Suppose -530 - 37 = -3*c. Let f = c + 2. Is f a prime number?
True
Let c(m) = 3*m. Let f(h) = -h - 9. Let o(z) = 3*c(z) + 3*f(z). Is o(11) a prime number?
False
Let z = 1670 - 1087. Is z a prime number?
False
Suppose 2*k = 7*k - 15. Suppose 4*w - 2*t = 246, -3*t = -k*w + 123 + 69. Is w prime?
True
Suppose -5*w - 5 + 30 = 0, 0 = 4*p - 4*w - 312. Is p composite?
False
Suppose -t - 4*r = -515, 8*t - 3*t - 2550 = 5*r. Is t composite?
True
Let a be 1/2 + 1228/8. Suppose -2*u + 4*u = a. Is u composite?
True
Suppose 0 = 2*o - 5*i - 30, -o + 6*o + 3*i = 13. Is 63 - o - (0 - 1) composite?
False
Suppose -4*u - 12 = 0, 3608 = -0*h + 4*h - 4*u. Is h composite?
True
Let p(d) = d**3 + 7*d**2 - 10*d - 3. Is p(-8) a prime number?
True
Suppose 5*p - 131 - 107 = -2*b, -5*b + 628 = -4*p. Is b/6 + 2/6 prime?
False
Let j be (-1)/(-4) + (-135)/(-36). Suppose -3*n + j*n = 267. Is n composite?
True
Let t be ((-6)/(-5))/((-2)/10). Let j(w) = -4*w**2 - w - 6. Let a be j(t). Let g = a + 409. Is g a composite number?
True
Suppose -x = -5*c - 208 + 602, 5*c - 400 = -5*x. Is c composite?
False
Suppose f + 14 = -2*f + 4*n, 0 = f + n. Is 0 + 3 + (f - -18) a prime number?
True
Let z = -555 - -802. Suppose 388 + z = 5*f. Is f prime?
True
Suppose -f - f = -d + 4, 2*d - 8 = 0. Suppose f*z + 2*y - 15 = -3*z, y = -z + 6. Suppose l - c - c = 21, -2*l - z*c = -14. Is l prime?
True
Suppose -3*n - p - 1421 = 0, -4*n + 2*p = p + 1897. Suppose c + 4 = 7. Is (2/c)/((-4)/n) prime?
True
Suppose 4*p - 38 = -p + 3*b, p + 6 = 4*b. Suppose 4*u = -0*u + g + 8, 5*u + 5*g - p = 0. Let z = u - -1. Is z composite?
False
Let r(l) = l**3 - 6*l - 6. Suppose -24 + 0 = -4*t. Let c be -2 + 4 + (t - 3). Is r(c) composite?
False
Let w = -586 + 1165. Let p = -419 + 97. Let s = p + w. Is s a composite number?
False
Let b(l) = 87*l + 1. Let s(k) = -174*k - 2. Let i(q) = -7*b(q) - 3*s(q). Is i(-4) a prime number?
True
Let u be 132/5 + (-2)/5. Let l be -17 + 2 + 4/(-2). Let z = u + l. Is z prime?
False
Let a = 218 + -69. Is a composite?
False
Let d(i) = -i**3 - 11*i**2 + i - 1. Let u be d(-9). Let a = -429 - u. Let z = -126 - a. Is z prime?
True
Suppose -3*g + 141 = -342. Let f = g + -66. Is f a prime number?
False
Let g = -4 - -4. Suppose l + 10 = -g*l. Let p = l - -16. Is p prime?
False
Let b(c) = -3*c - 2*c + 0*c - 6 - 3*c**2 - 2*c - c**3. Let t be b(-4). Let k = t + 53. Is k prime?
False
Let z be 1/((-2)/(-4)) + 7. Let h = z - 6. Suppose -h*j = -40 - 23. Is j a composite number?
True
Let a = -19 - -38. Is a prime?
True
Let y = -278 - -95. Let w = 269 + y. Let b = w + -39. Is b prime?
True
Suppose 0 = -4*f + 6*f - 8. Suppose 0 = f*j - 0*x + 5*x - 26, -5*j + 41 = 2*x. Is j a prime number?
False
Suppose 0 = 2*u + 2*u - 108. Suppose 0 = -4*k + u + 1. Is k prime?
True
Let i(v) = -v**3 - v**2 + v - 21. Let j be i(0). Let h be -4*(0 - j/(-6)). Suppose 4*d = 5*d - h. Is d a prime number?
False
Let r be (-23)/(-7) + (-6)/21. Suppose 181 = r*d - l - 15, -10 = -2*l. Is d prime?
True
Let g = 196 - 1. Is (g/(-9))/((-2)/6) a prime number?
False
Is ((-10)/40)/(1/(-932)) a composite number?
False
Let m(w) = -w**2 - 10*w + 14. Is m(-6) prime?
False
Let k(l) = l**3 - 4*l**2 + 3*l + 4. Let u be k(3). Suppose 0 = 2*w - 5*z - 198, -73 = w - 2*w - u*z. Is w prime?
True
Suppose 4*w = 2*v - 600 + 50, -5*v + 3*w = -1382. Is v composite?
False
Let y(p) = 18*p**2 - 1. Is y(-10) prime?
False
Let u(t) be the first derivative of t**2/2 - 5*t + 3. Let v be u(7). Is (2 + (-66)/(-4))*v composite?
False
Let p(a) = -a**2 + 4*a - 1. Let v be p(5). Let s = 100 + -666. Is 4/6 + s/v a prime number?
False
Suppose 1716 = 7*j - 13. Is j composite?
True
Let z be 0*(3 - 10/4). Suppose 2*k + 2 = z, 90 = 3*n + 3*k - 138. Is n a composite number?
True
Let k = 18 + -33. Let r = 2 - 3. Is r/2*(k + 1) composite?
False
Let l(m) = 438*m - 11. Is l(2) prime?
False
Suppose 8*b = 7*b + 1639. Let r = b - 774. Is r composite?
True
Suppose 4*n + x - 1808 = 0, 3*n + 109 - 1482 = -5*x. Is n a prime number?
False
Is -4*(2 - 540/16) a composite number?
False
Let p(n) = 25*n + 11. Is p(8) a composite number?
False
Suppose 2 = -4*p - 10. Let l be (3/(-2))/(p/10). Suppose l*d = 54 - 4. Is d a composite number?
True
Let i be (1/2)/(2/(-24)). Suppose 5*x + 3*s = 100, -2*s = -5*x - 0*s + 75. Let a = x - i. Is a a composite number?
False
Let r(z) = -8*z. Let q be r(1). Is 4/q + 102/4 composite?
True
Suppose -7*q + 2*q + 215 = 0. Is q a prime number?
True
Let r(a) = -16*a + 15. Is r(-7) a prime number?
True
Let d(r) = 79*r - 11. Is d(4) a composite number?
True
Suppose 8*u = 3*u. Suppose u*n - 6 = n. Let k(s) = -7*s - 7. Is k(n) a composite number?
True
Let p = 123 - -78. Is p a prime number?
False
Suppose -11 = -3*k + 5*j, -k + j - 3*j = 11. Is (k + 8/2)*103 composite?
False
Let l = 8 - 3. Suppose l*q - q = 1324. Is q a composite number?
False
Let r(o) = -16*o**3 + 2*o**2 + o + 1. Let w be r(-2). Let x = w + -44. Is x composite?
True
Let d(w) = -w**3 - 3*w**2 - w + 2. Let g be d(-3). Suppose -g*m + 65 = -0*m. Is m a composite number?
False
Suppose 1 + 1 = -h. Let s be h/(-1*2) - -7. Suppose -4*r - s - 2 = -k, r + 41 = 2*k. Is k a prime number?
False
Let p(o) = -70*o - 7. Let t be p(5). Let g = 544 + t. Let d = -122 + g. Is d a composite number?
True
Let q = 11 - 6. Suppose g = -2*g + 627. Suppose -11 = q*u - v - 279, v = -4*u + g. Is u composite?
False
Let p(d) = d**2 - 6*d - 11. Let l be p(8). Suppose 2*v - l*x = -8 + 45, -2*v + 2*x = -52. Is v a composite number?
False
Suppose 4*k + 2*v - 1203 = 799, 1016 = 2*k - 4*v. Is k a composite number?
True
Let b = 13 + -6. Let r be (-2574)/(-8) + b/28. Suppose -161 = -2*d - 4*a + 53, r = 3*d + 5*a. Is d composite?
False
Let i(d) = 13*d**2 - 4*d - 14. Is i(5) composite?
True
Let t be -2*-3*5/(-6). Let h(r) = -r**3 - 6*r**2 - 7*r - 7. Let d be h(t). Is 34 + 9/d - -1 a composite number?
True
Let c = -8 + 78. Let v = 233 - c. Is v a composite number?
False
Let g be -28*(-4*1 + 2). Suppose -g = -4*a - 20. Is a composite?
True
Suppose -5*l + 20 = -2*t, -2*l - t + 8 = -0. Suppose 0*g = -l*g + 280. Let d = -47 + g. Is d composite?
False
Suppose 3*b + s = -0*s + 15059, 2*b + 4*s = 10056. Let m be (-4)/(-