?
True
Let g(t) = -60*t**3 - t**2 + 2*t + 1. Is g(-2) a prime number?
False
Suppose 2*m + 23 - 845 = 0. Is m a prime number?
False
Let h(f) = -4*f**2 + 2*f - f**3 + 2*f**2 - 3*f**2 + 6. Let p be h(-6). Let t = 119 - p. Is t a prime number?
True
Let v = -12 - -17. Suppose 6*n - 3*n - 10 = 2*a, -v*n = -3*a - 16. Is (-1676)/n*(-1)/2 prime?
True
Suppose z + 24 - 5 = 2*r, 0 = -5*r + 2*z + 50. Is (-3)/r - (-145)/20 prime?
True
Let c be 4/((-4)/(-6)*3). Suppose -f + 6 = c*o - 4*o, -2*o = 3*f - 10. Suppose -30 = 2*h - f*h. Is h a prime number?
False
Suppose -4 = -2*s + 2*t, 0*s - 2*t - 7 = s. Is 37 + (1 + -1)/s a prime number?
True
Suppose 4*t = 0, 5*u + 0*u - 3895 = -3*t. Is u composite?
True
Let c = -416 - -621. Is c composite?
True
Let y = 0 + -3. Let m(z) = -2*z**3 + 4*z. Let c be m(y). Let s = 11 + c. Is s a composite number?
False
Let y(i) = 20*i**2 + i - 9. Is y(-4) prime?
True
Let z(n) = n + 2. Let x be z(-5). Is 3*(-7)/3*x prime?
False
Let b be (1 + -2)/(3/(-9)). Suppose 2*p - b*q - 16 = 0, 2*q + 19 = p + 2*p. Suppose p*w = 15, -m + 0*w + 52 = 5*w. Is m prime?
True
Let p be -1 + 2 + -2 - -19. Is p + 1 + 0/(-1) composite?
False
Suppose -5*b + 5*t - 1560 = 0, 4*b - 6*b - 3*t - 644 = 0. Let l = b - -695. Is l a prime number?
True
Let w(m) = 5*m**2 - 7*m + 5. Suppose k - 5 = 0, -b + 3*k - 6*k = -20. Is w(b) a composite number?
True
Let v(z) = 6*z**2 - 1. Let p be v(1). Suppose -3*d - 2479 = -5*u, p*u + 7*d = 3*d + 2493. Is u a composite number?
True
Is (12/(-18))/(2/(-4035)) a composite number?
True
Let s be 0/(4 + -2) + 24. Is (12/s)/(2/1948) a composite number?
False
Let r(f) = 0 + 2 - 3 + 22*f. Let y be r(1). Let k = y + 5. Is k composite?
True
Let p = -7 - -9. Suppose -4*f + 8*f + 12 = p*d, f + 21 = -4*d. Is (-5 - d)/((-2)/244) composite?
True
Suppose -9 = -6*d + 3*d. Suppose 213 = -d*r + 1365. Suppose -z - r = -3*x, x - 6*x + 626 = 3*z. Is x a composite number?
False
Let c be 3/4 - 678/8. Let d = c - -339. Suppose b = -5*s - 3*b + d, 5*b = -2*s + 85. Is s a composite number?
True
Let j be 2/(((-3)/1)/12). Let o(m) = 7*m**3 - 16*m**2 - 15*m + 11. Let w(v) = -11*v**3 + 24*v**2 + 23*v - 17. Let u(y) = j*o(y) - 5*w(y). Is u(8) composite?
False
Let v = 92 + -27. Let k = 102 - v. Is k a prime number?
True
Suppose -6*s = -7837 - 3269. Is s composite?
True
Let q be (5816/(-12))/(2/(-3)). Suppose 4*b - 509 = -3*p, 0 = 5*p + 4*b - 132 - q. Suppose -5*w + 0*w = -p. Is w composite?
True
Suppose 6*v = -2*v + 1912. Is v prime?
True
Let r be 2/7 + (-10)/35. Let v be r - 2*485/(-2). Suppose -4*t = -5*b + 797, 2*b - v = -b - t. Is b composite?
True
Suppose -c = 2*c - 18. Suppose 125 = c*r - r. Suppose 2*n - 5*l - r = 0, -l + 4 = n - 5. Is n a composite number?
True
Let c(x) = 29*x - 26. Is c(11) composite?
False
Let p = 11 + -6. Suppose 4*g + 5 = 25. Suppose 4*s - 220 = -g*m, s + s - 110 = p*m. Is s prime?
False
Suppose 0 = -13*x + 17*x - 1036. Is x prime?
False
Let k = -438 - 165. Is (k/(-18))/(1/2) composite?
False
Let v(l) be the third derivative of l**8/20160 - l**7/5040 + l**6/144 + l**5/60 - 2*l**2. Let o(y) be the third derivative of v(y). Is o(6) a composite number?
True
Suppose -2*p - 2*p - 28 = 0. Let h(f) = -f**3 - 7*f**2 - 7*f - 15. Is h(p) composite?
True
Suppose -2*j - 2*v + 26 = 3*v, -2*j + 2 = -v. Suppose 104 = 5*s + 2*o, -j*s + 66 = -3*o - 9. Is s prime?
False
Is 15 + -15 - (-439)/1 prime?
True
Suppose 2*z + 2 = -0*z. Let y be -1*10/(-1 + z). Suppose -y*r = 3*v - 156, 3*r - 5*r + 5*v + 81 = 0. Is r composite?
True
Suppose 4 = -5*d - 1, g - 10 = 5*d. Let p(r) = 23*r - 3. Let i(b) = b. Let s(q) = 3*i(q) + p(q). Is s(g) a prime number?
True
Let b = -109 + 161. Suppose -6 - 3 = -3*d. Suppose -l = d*l - b. Is l prime?
True
Let j = -9 + 11. Suppose n + 0*r - 84 = -2*r, 0 = j*n - 4*r - 208. Is n a prime number?
False
Suppose 5*u + 2*b - 2935 = 0, 4*u + 1595 = -2*b + 3943. Is u composite?
False
Suppose 118 = 5*x - 4*u, -5*x - 5*u + 3*u = -106. Suppose -3*b - x = -6*b + 5*r, 0 = -b - 2*r. Is (b/(-2) - -1) + 7 a composite number?
True
Let j(i) = 4*i**2 - 4*i + 9. Is j(4) composite?
True
Let y = -5 + 6. Let l = y - -1. Suppose -14 = -l*b - 2*x + 54, -3*b - x + 108 = 0. Is b a prime number?
True
Suppose -5*b + 2*b + 6 = 0. Suppose -3*y = -b*y. Suppose 3*j + j - 92 = y. Is j a prime number?
True
Let q(j) = 76*j**3 + 1. Let s be (-4)/10 - 7/(-5). Is q(s) prime?
False
Suppose -505 = -2*y - 123. Is y composite?
False
Let v(o) = 4*o + 5. Let y be v(-7). Let p = 100 + y. Is p a prime number?
False
Let c = -333 + 652. Is c a prime number?
False
Is (-1)/((-2)/1644) - (-1 - -2) a prime number?
True
Let j be (1 + 1/(-1))/1. Suppose -2*s + 5*r + 989 = j, 2*s = s - 4*r + 475. Is s a composite number?
False
Let s = 1 + 0. Let y = s - -10. Is y a prime number?
True
Is (-2 + -87)/(2*(-3)/6) a composite number?
False
Suppose q + 0*q = -357. Let p = -208 - q. Is p a composite number?
False
Let v = -8 - -4. Let s(k) = 2*k + 2. Let z be s(v). Let a(f) = -15*f + 1. Is a(z) a prime number?
False
Is ((-5535)/12)/(-9)*4 a composite number?
True
Suppose 0 = -17*p + 20*p - 4431. Is p composite?
True
Let k = -1122 + 1909. Is k a prime number?
True
Let p be (2 + -3)/((-1)/4). Let y(f) = 3*f**3 - 3*f**2 - f + 5. Is y(p) a prime number?
False
Suppose -4*o = -2*o - 142. Suppose -x = -556 + o. Is x a composite number?
True
Let j = -7 + 12. Let t = -3 - -8. Suppose r = -j*b + 662, -3*b + t*r + 192 = -222. Is b a prime number?
False
Suppose 7*s = 8*s. Suppose 467 = i - 4*t, -t = 5*i - s*i - 2335. Is i prime?
True
Let o be (-225)/30*(-12)/10. Let u(v) = -v**3 + 10*v**2 - 4. Is u(o) prime?
False
Let d(v) = 4*v + 2*v - 7*v + v**2 + 53. Is d(0) prime?
True
Let t = 23 - 12. Suppose t = 5*i - 504. Is i prime?
True
Suppose 5*v - 22 = -h, 2*h = -0*v + 3*v + 83. Is h prime?
True
Let r be 1/(-4) + 18/8. Suppose 12 = 2*k + 3*g, 2*k + g - 12 = -g. Is r/(k - 0)*18 a prime number?
False
Let b = -650 - -1021. Is b composite?
True
Suppose 6*f = f + 170. Let d be f - 0*(-2)/(-6). Suppose 10 = 5*i - u - 57, -4*u = -2*i + d. Is i a composite number?
False
Let p(t) = -t**2 + 3*t. Let o be p(3). Let g = o - -1. Is -47*1*(-1)/g a prime number?
True
Suppose 0 = -3*p + 35 + 46. Suppose -5*c + 20 = -15. Let y = c + p. Is y a composite number?
True
Let s(c) = c**2 - 19*c - 11. Let g be s(11). Let o = 194 - g. Is o a prime number?
True
Suppose 4*k - 2195 = -k. Suppose 171 = -4*o + k. Is o prime?
True
Is 6/(-9) - 591/(-9) a composite number?
True
Let k(n) = -n + 1. Let b(y) = -23*y - 2. Let p(o) = b(o) + 3*k(o). Let g be p(-1). Suppose s = -4*d - 8, 0 = -5*s + 3*d + g + 2. Is s composite?
True
Suppose -5*s - 7*i + 1911 = -3*i, -3*s + 4*i + 1121 = 0. Is s a composite number?
False
Suppose 2*n = 7*n + 2*h - 664, 0 = 5*n - 2*h - 676. Is n prime?
False
Let q(n) = -n - 7. Let k(o) = -o - 14. Let v(d) = 3*k(d) - 5*q(d). Let a be v(6). Let g(x) = 11*x - 2. Is g(a) prime?
True
Suppose 5*g = 4*g + 211. Is g prime?
True
Let u = 59 - 33. Is u prime?
False
Let i = -1 + 149. Let t be 3/((1 + -2)/(-2)). Suppose i = -2*p + t*p. Is p a composite number?
False
Let c(k) = k**3 - 6*k**2 + 2*k - 7. Let b be c(6). Suppose -5*m + 4*y = -27 - 19, -b*m + 14 = 4*y. Suppose v = m*v - 275. Is v prime?
False
Let z(s) = 54*s**3 + s. Suppose 10*g - 5 = 5*g. Is z(g) a prime number?
False
Let y = 1559 - 600. Is y a prime number?
False
Suppose -q = 0, 2*p - q + 4 = -5*q. Let c be 4 - (1 + p + 2). Suppose s - 34 = -s + d, 4*s - 72 = c*d. Is s composite?
True
Let d(w) be the third derivative of w**4/6 + w**3/6 - w**2. Let s = 26 - 18. Is d(s) composite?
True
Suppose -5*p + 4*f + 8 = 0, -4*p - 3 = -p - 5*f. Suppose -p*v - v = -55. Suppose -5*i + 4*j = -99, 2*j + 48 = 3*i - v. Is i composite?
False
Let m(n) = 21*n**2 - 37*n - 17. Is m(18) prime?
True
Suppose -2*m - 5 + 3 = -5*h, m = 4. Suppose h*d - 1645 = -3*d. Is d a composite number?
True
Let u = -5 + 15. Let o be (-8)/u*(-100)/(-8). Is (-884)/o - (-15)/25 a composite number?
False
Let x(b) = 2*b + 2 + 2*b - 3 + 3*b**2 - b. Suppose -5*y - 16 = -y. Is x(y) composite?
True
Let y(j) = j**2 + 5*j + 10. Is y(-5) a prime number?
False
Let d be ((-4)/(-8))/(-1)*-862. Let j = 685 - d. Is j a composite number?
True
Let t(n) = n**2. Let g be t(2). Suppose g*j + j - 485 = f, 0 = -4*f - 20. Let d = -2 +