a + 37504. Suppose 0*q = 7*q - x. Is q composite?
False
Let o(v) = -5271*v - 62. Is o(-1) prime?
True
Is 12987357/155 - (-8)/(-20) a prime number?
False
Let b = 33 - 23. Let u be (-4)/(-10) - (-36)/b. Let w(r) = 7*r**2 + 3. Is w(u) prime?
False
Let m = 15 + -3. Let s = 15 - m. Suppose 0 = w - s*w + 134. Is w prime?
True
Let a(r) = -r**2 - 29*r + 15. Let v be a(-13). Let p = v + 28. Is p prime?
True
Let t(a) be the first derivative of -41*a**2 - 17*a - 34. Is t(-7) a prime number?
True
Let v = 1162 - 1001. Is v a prime number?
False
Let t = 316 + -49. Is t a composite number?
True
Suppose 3*d - 3 + 15 = 0. Let z(w) be the third derivative of -w**4/8 - w**3 + w**2. Is z(d) prime?
False
Suppose -4*m = -6*k + 7*k - 23111, -4*m = 20. Is k prime?
True
Let x be (-4)/4 - 0 - -8. Let h = x - 3. Is (-25 - -8)/((-2)/h) prime?
False
Suppose 3*y - 4*n + 12 = 40, -3*y + 5*n + 29 = 0. Let t(k) = -k + 10. Let u be t(y). Let p(s) = 23*s**2 + 4*s - 3. Is p(u) a prime number?
True
Suppose 5*z - 2*w = 8, -z - 5*w = 3*z + 20. Suppose z = 6*a - a + 45. Let n(g) = 2*g**2 + 11*g - 10. Is n(a) prime?
True
Let k(s) = 1818*s + 7. Is k(2) a composite number?
False
Let t(v) = v. Let s(q) = 37*q - 9. Let k(g) = -s(g) - 6*t(g). Is k(-6) a composite number?
True
Let m(v) be the first derivative of -1/2*v**4 - 3*v - 3*v**3 - 13/2*v**2 - 12. Is m(-6) composite?
True
Let l(b) = 6*b - 4. Let n be l(-4). Let x = -3 + -1. Is (n/8 + -3)*x prime?
False
Let p = 78413 + -45366. Is p a composite number?
True
Suppose -q = 4*q + 40. Let w = q + 5. Is (-347)/w - (-6)/(-9) composite?
True
Suppose -w - 5*m = -2422, -3*w + 7*w - m - 9751 = 0. Is w a composite number?
False
Let z be 2/6 + 25/15. Suppose -5*u + z = 4*c - 6, u = c + 7. Suppose 5*q + u*m - 74 - 91 = 0, -q + 2*m + 33 = 0. Is q a composite number?
True
Let m = -1352 - -37530. Is m composite?
True
Let f(l) = l**3 + l**2 - 3*l - 3. Let r be f(-4). Let v = r + 128. Is v a composite number?
False
Suppose -9*b + 34364 + 38707 = 0. Is b a prime number?
False
Let r(p) = -16*p**3 - 3*p**2 + 2. Let h be r(-1). Suppose -3*d = -h, -2*m = 3*m + 2*d - 20555. Is m prime?
False
Let a(o) = -424*o + 79. Is a(-19) composite?
True
Let t(y) be the second derivative of y**3/6 - y. Let w be t(5). Suppose 3*s - 67 + 10 = -2*d, -3*d + w*s = -114. Is d a prime number?
False
Suppose 5*t - 34390 = 3*x, -5*t = -8*x + 11*x - 34420. Is t prime?
False
Is ((-4935660)/(-16))/15*4 composite?
False
Let k be 7/(7/3) - -3. Suppose k*m - 40 = m. Suppose -m*b + 318 = -2*b. Is b composite?
False
Is (-195916)/(-140) - (-4)/(-10) composite?
False
Is ((-9)/(-6))/(54/102348) a prime number?
True
Suppose -4*x - 4 = 2*k, -2*x - 5*k + 7 = 1. Let n be (-5)/x*(-8)/10. Let w(m) = -12*m**3 - 3*m**2 - m - 1. Is w(n) prime?
False
Let z(x) = -49925*x**3 - 6*x**2. Is z(-1) prime?
True
Suppose -2 - 2 = 4*k, -2*i + 1970 = 4*k. Let a = 1406 - i. Is a composite?
False
Let u = 8837 + -5346. Is u a composite number?
False
Suppose 82*l + 81078 = 88*l. Is l a composite number?
False
Let r = 23 + -19. Suppose -5*z = r*f - 7560, -z = 4*z - f - 7585. Suppose -8*g + z = -4*g. Is g prime?
True
Let v = -83 + 85. Suppose -5*x = -2*q + q - 311, x + 1659 = -5*q. Is v/3 + q/(-3) a composite number?
True
Suppose 0*w + 4 = -2*w. Let n(g) = -5*g**3 + 5*g**2 + 4*g + 6. Is n(w) prime?
False
Suppose -17*s - 71745 = -22*s - q, 5*s = 2*q + 71745. Is s a composite number?
True
Let c(y) = 244*y + 13. Let t be c(4). Let x = t + 846. Is x a prime number?
False
Let a = 12133 - 8234. Is a a composite number?
True
Let r = 77 + 18. Let t = 126 - r. Is t a composite number?
False
Let z(i) = i**2 - 5*i - 8. Let g be z(6). Let m be 4/8*(-2 - g). Suppose m*t - 4*t = -1868. Is t prime?
True
Is (-51)/(-51) + (767 - 2) a prime number?
False
Suppose -5*k - 2*p - 2*p = -812, -2*k - 4*p = -320. Let l(w) = -6*w**2 - 2*w + 1. Let z be l(-4). Let t = k + z. Is t composite?
True
Let h(q) = -3 + 2 + 25 - 17*q. Is h(-11) a prime number?
True
Is 12959/((6 + -1)/5) composite?
False
Let i = -524 - 219. Let o = 476 - i. Is o a prime number?
False
Let r = 156 - 73. Let t = 134 - r. Is t composite?
True
Let w(y) = 5*y**3 + 9*y**2 + 12*y + 7. Let n(u) = 4*u**3 + 9*u**2 + 11*u + 6. Let p(f) = -4*n(f) + 3*w(f). Let a be p(-8). Is (-1 - (a + 3)) + 324 prime?
False
Let w(a) = -a**3 + 6*a**2 - 4*a - 2. Let f be w(5). Let m(s) = -20*s**3 - 3*s**2 - f - s + 7*s**3 + 5 + 0*s**2. Is m(-3) composite?
True
Let g = 0 + -12. Let r(q) = 3*q**3 + 11*q**2 + 11*q + 12. Let k(c) = 13*c**3 + 43*c**2 + 45*c + 49. Let o(p) = -2*k(p) + 9*r(p). Is o(g) a prime number?
False
Let y(n) = -4*n**2 - 2*n. Let h be y(4). Let g = h - -155. Is g a composite number?
False
Suppose 10989 = 2*j - 16975. Is j a composite number?
True
Let v = -982 - -2151. Is v composite?
True
Suppose 4*i - 7*i - 36 = 0. Let v = i + 15. Suppose 4*a - 89 = v*a. Is a a prime number?
True
Let s(o) = -o + 10. Let j be (-28)/(-6) + 5/15. Let p be s(j). Suppose n = 6*n + 5*k - 495, 3*k - 485 = -p*n. Is n composite?
True
Suppose -1272310 = -59*o + 33*o. Is o a prime number?
False
Let k(u) = u**3 + 10*u**2 - 5*u - 1. Suppose 3*y + 56 = -4*y. Is k(y) a composite number?
False
Suppose x + 3*i = -6, 2*x - i - 2*i - 6 = 0. Suppose 2*f - 3 = -b - 13, x = 3*b + 5*f + 29. Is b/36 - 1426/(-18) a composite number?
False
Let n = 162 - -581. Is n a prime number?
True
Is (8763/9 - -2) + 16/12 prime?
True
Suppose -4*u - 22197 + 72321 = 0. Is u composite?
True
Suppose -4*l = 3*f - 80281, -4*f - l = 3*l - 107040. Is f composite?
False
Let w = 25 + -18. Suppose 45516 = 5*x + w*x. Is x a prime number?
True
Let r = -6715 - -12274. Suppose 2*z = 2*j - 2222, -2*z - 2*z - r = -5*j. Is j prime?
False
Let u(w) = w**3 + 8*w**2 - 35*w + 37. Is u(13) prime?
False
Is (-3 + 6)/((-54)/(-183798)) a prime number?
True
Suppose -u = -6*u - 4*s + 30, -4*s - 70 = -5*u. Suppose u*y = 9*y + 829. Is y composite?
False
Suppose -m = -4*m - 2*q - 20930, -20926 = 3*m - 2*q. Suppose -2*a + 6 = 4*t, 3*t - 5 - 1 = -a. Is a/(-9) - m/6 prime?
True
Is (0 - 3 - 1) + 5459 prime?
False
Let u = 38677 + -12050. Is u composite?
False
Let k = -7 + 10. Suppose 2915 = k*h + 2*h. Is h prime?
False
Is 11/((-110)/15)*22052/(-6) prime?
False
Suppose -4*w + 7 = -13. Let h = 5 + w. Suppose 0 = -8*x + h*x - 238. Is x a composite number?
True
Is ((-2195033)/515)/((-1)/5) a composite number?
True
Let g = -3323 + 5586. Is g composite?
True
Suppose -s - 1630 = s. Let z be 2/(-14) - (-16124)/(-28). Let n = z - s. Is n composite?
False
Suppose 2*l - 2*z = 1082, 0 = -4*l + 26*z - 23*z + 2164. Is l composite?
False
Suppose -4*c - 5*x = -c - 21, -3*x = -4*c - 1. Suppose -2*d - c*d + 2036 = 0. Is d prime?
True
Suppose 3*b = -4*q + 2*q + 173, -4*q + 311 = -b. Suppose -63 = 5*f - 2*f - 2*i, 0 = 5*f + 2*i + 105. Let j = f + q. Is j a prime number?
False
Is (5 + 12092)*4*(-1)/(-4) a prime number?
True
Let k(r) = -174*r - 19. Suppose 3*i + 2*h + 1 = -15, -3*h - 4 = 2*i. Is k(i) composite?
False
Is 1*5/(10/8222) composite?
False
Let y(a) = -a. Let f be y(5). Let k(p) = p + 9. Let c be k(f). Suppose 24 = c*z - 32. Is z a composite number?
True
Suppose -4*b = 2*j - 10, -j - 2 - 3 = -3*b. Suppose a = -b*a + 6. Suppose -y = a*y - 1923. Is y a composite number?
False
Suppose 5*x + 4*m = 147 - 49, -4*m + 54 = 3*x. Let h = -14 - x. Is (h - 7)*(-1 + 0) composite?
False
Suppose 0 = -6*k + 8423 + 43207. Is k composite?
True
Suppose -5*j - 20 = 2*i - 9, 55 = 5*i - 4*j. Suppose i*w + 3730 = 23169. Is w a composite number?
False
Let i(o) = 44*o**3 + 2*o - 1. Let s be i(3). Let a = -796 + s. Is a a prime number?
True
Is 2 + 35698/(-4 - -6) composite?
False
Let j(m) = -2*m**3 - 4*m**2 - 9*m + 2. Let l(n) = -2*n**3 - 4*n**2 - 10*n + 1. Let o(s) = -4*j(s) + 3*l(s). Is o(4) composite?
False
Suppose 3*l = -0*l + 24. Is (-9)/((-36)/l) + 903 composite?
True
Let t be (1 + -4)/(-9) - (-50)/(-6). Is -4*(-6)/t*1563/(-9) a prime number?
True
Suppose 19*d - 21*d + 8 = 0. Suppose -d*q + 11307 = -1865. Is q a prime number?
False
Let f = -66 + 69. Suppose 150 - 921 = -f*m. Is m composite?
False
Let j(w) be the first derivative of 7*w**3/6 + 3*w**2/2 + w - 5. Let u(i) be the first derivative of j(i). Is u(4) a prime number?
True
Is (-1747)/(-4) + (-6)/(0 - 24) prime?
False
Suppose 4*h - 5135 = 19*t - 20*t,