ppose -87*o + 6 = -84*o. Let g be (-2)/4 + (-366)/(-4). Suppose 12 = -2*q + j + g, o*q = -3*j + 59. Is q a prime number?
True
Let j(p) = p**3 + 11*p**2 - 2*p + 1. Let f(r) = 6*r**3 + 2*r**2 + r. Let i be f(-1). Is j(i) prime?
False
Let g(m) = -m**3 - 6*m**2 - 3*m + 8. Let n(u) = 6*u**3 + 29*u**2 + 16*u - 40. Let a(c) = 11*g(c) + 2*n(c). Let w be a(8). Suppose w = d - 3*d + 94. Is d prime?
True
Let m(f) = -654*f + 173. Is m(-17) prime?
False
Let w be (347/(-2))/(3/(-324)*-3). Let h = 10153 + w. Is h prime?
True
Let x = -27 + 2. Suppose -l = -3*l - 20. Let r = l - x. Is r prime?
False
Let c = -33 - -34. Suppose -y + c = -1. Suppose -y*p + 184 = -462. Is p composite?
True
Suppose 2*c + 0*a = -a + 52, c - 26 = -3*a. Let o = c - 23. Suppose -o*u + 590 = -7. Is u a prime number?
True
Suppose 17312 = 4*b + 5*l, 0 = -6*b + 10*b + l - 17328. Is b a composite number?
True
Let u(f) = -f**3 + f**2 + 7*f - 8. Let p be u(4). Let v = p - -28. Suppose 6*b = -v*b + 966. Is b composite?
True
Is (691/2)/((-27)/(-594)) composite?
True
Suppose -2*y = -5*i - 8872, -2*i = 2*y - i - 8884. Is y prime?
True
Let c(m) = -591*m - 2. Let b be c(-2). Suppose 3*k = 5*q - b, 5*k = -3*q + q - 1977. Let y = -204 - k. Is y a composite number?
False
Let g = -82 + 87. Let r(c) = 9*c**2 + 3*c + 3. Let t be r(-4). Suppose 0*k - 5*v = -3*k + 73, g*k = 5*v + t. Is k a prime number?
True
Let h be (-1)/(-6) - 207/(-54). Let i be 24/(-9)*(-6)/h. Suppose 4*f + 2*v = 8*f - 484, i*f - 4*v - 484 = 0. Is f composite?
True
Suppose -v = -2*a + 4*a - 17, 5*v - 3*a = 33. Suppose -f + v = 2*f, -1137 = -2*s - 3*f. Suppose -2*t = z + 3*t - 165, s = 4*z - 4*t. Is z composite?
True
Let d(b) = b**3 + 7*b**2 + 6*b + 4. Let f be d(-6). Let s(p) = -p**3 + 5*p**2 - 5*p + 6. Let c be s(f). Let z(n) = 21*n**3 - n. Is z(c) a prime number?
False
Suppose 3 = -6*m - 21. Let w(b) = 2*b**3 + 9*b**2 - 2*b - 10. Is w(m) a prime number?
False
Suppose 0*l = 3*o + 2*l - 300, 2*o - 192 = -4*l. Let p = o + -69. Is p a prime number?
False
Suppose -b + 14 = 5*w, 3*w - 8*w + 18 = -3*b. Suppose -w*o + 2262 = -1377. Is o a composite number?
False
Let u = 36 - 34. Suppose -x + b + 3 = -u*b, 0 = b. Suppose 2*q + 5*w = 1373, -2*w = -3*q + x*w + 2022. Is q a prime number?
False
Let i = 3363 - 2334. Suppose 375 = -6*h + i. Is h composite?
False
Suppose -4*m - 3*z + 0*z + 1169 = 0, 2*z = -4*m + 1170. Is m a prime number?
True
Let o(a) = a**2 - 13*a. Let f be (-13)/(-3)*(-7 + 10). Let k be o(f). Suppose -u + 2*v + 77 = -v, k = u - 4*v - 73. Is u a composite number?
False
Let i = 1609 + 3598. Is i a composite number?
True
Let f be (-2)/(3/(516/(-8))). Let j = f + 20. Let o = j - 10. Is o a composite number?
False
Let b(u) = 23*u**2 + 29*u - 4. Is b(11) composite?
True
Suppose -p = 1530 + 6313. Let a = -2804 - p. Is a a prime number?
True
Let y = 1515 + -817. Suppose -3*u - 1537 = 2*h - 188, -2*u - 910 = 4*h. Let k = y + u. Is k a composite number?
False
Let c = -43 - -42. Is (-9 + 340)/(c - (-2)/1) composite?
False
Let c(r) = -r**3 + 43*r**2 + 25*r + 19. Is c(43) a prime number?
False
Let k(u) = -61*u**2 + u**3 + 43*u**2 - 2*u**3 + 20*u + 20. Let z be k(-19). Is 55*z*(-11)/(-11) prime?
False
Suppose 9*t = 262191 - 37020. Is t composite?
True
Let u be -1 + -2 - (18 + 1). Is (-1215)/(-39) - (1 - u/(-26)) a prime number?
True
Let j be 1/(-2)*-2 + 2. Suppose -6 = j*c - 60. Suppose c - 313 = -5*m. Is m a prime number?
True
Let n(b) be the first derivative of 7/2*b**2 - 6 + 4/3*b**3 - 1/4*b**4 - 5*b. Is n(4) a composite number?
False
Let b = 87 + -82. Suppose -b*r + 10*r - 20 = 0, -4*l + 10432 = -3*r. Is l prime?
False
Suppose -6*p + 5*p - d = -4662, 13987 = 3*p + 2*d. Is p a prime number?
True
Let t = -16 - -19. Let r(c) = 80*c**2 - 5*c + 4. Is r(t) a composite number?
False
Let k(i) be the second derivative of -i**5/20 + 3*i**4/4 + 5*i**2/2 - 2*i. Let s be k(8). Let f = s - 11. Is f a composite number?
True
Let z(i) be the second derivative of i**5/20 + i**4/12 - i**3/6 - 6*i**2 - 6*i. Let n be z(0). Is 3/(-2)*904/n a composite number?
False
Let v = -11 + 15. Suppose z = -2*b + 1, -v*z + 2*z = 3*b + 3. Let i(f) = -32*f + 17. Is i(z) a prime number?
False
Let d = -23 - -26. Suppose d*b = 623 + 490. Is b prime?
False
Let h = -9 - -12. Suppose -h*n = -p + 668, -5*p + n + 1270 = -2042. Is p composite?
True
Is 1/(-5*6/(-63870)) a composite number?
False
Let g(x) be the second derivative of 17*x**3/6 + 13*x**2/2 - 4*x. Let a(z) = -z - 1. Let b(q) = -2*a(q) - g(q). Is b(-6) a prime number?
True
Let w be (6/4)/((-12)/64). Let j(z) = -2*z**3 + z**2 + 12*z + 8. Let q be j(w). Let f = q + -642. Is f a composite number?
True
Let p = 746 - -81. Suppose 2*k = 1527 + p. Is k a composite number?
True
Let q(r) = 8*r**2 - 12*r - 4. Let d be q(9). Suppose -a + d + 266 = 0. Is a prime?
False
Suppose 4*t = -6*t + 50. Suppose -6*v + 9*v + 1682 = t*n, 0 = -n + 3*v + 346. Is n a prime number?
False
Suppose 0*r = -3*r + 4*o + 17, 4*o + 8 = 0. Suppose 78 = 3*t + r*s, 2*t + 3*t - 2*s = 123. Is t a prime number?
False
Suppose 13*y + 81 = 10*y. Let d = y - -29. Suppose 239 = d*u - i, 0 = 2*i - 2 - 4. Is u a prime number?
False
Let w = 2752 + -1582. Suppose 2*c - 4*b - 570 = 0, 4*c - b = -3*b + w. Suppose 2*l + 273 = 3*s, -s + c = 2*s + 4*l. Is s a prime number?
False
Let j(b) = -79*b - 51. Is j(-7) prime?
False
Let p be -25*(-1 - 2 - -2). Let v = -26 + p. Is v + 128/(1 + 0) a composite number?
False
Let i be (2*(4 + -2))/2. Suppose -b - 5*j = 0, i*b + 5*j = -0*b. Suppose b = 4*o + 4*k - 248, -o + 47 = -k - 7. Is o composite?
True
Let t(q) = 3*q**2 - 16*q + 5. Let l be t(10). Suppose -3*n = i - l, -i - n + 121 = -4*n. Suppose -i + 668 = k. Is k prime?
False
Let b(c) be the first derivative of 2/3*c**3 + 7 - 1/2*c**2 + 2*c**4 - c. Is b(2) a composite number?
True
Let w(q) = q - 1. Let o be w(3). Let h = -14 + 19. Suppose 6 = o*j - 4*b - 304, -b - 748 = -h*j. Is j a prime number?
True
Let b(s) = -60*s**3 - 2*s**2 + 2*s + 1. Is b(-2) a prime number?
False
Let x(k) be the second derivative of -10*k + 0 - k**2 - 95/2*k**3. Is x(-3) a composite number?
False
Let x(w) = 2*w - 12. Let t be x(8). Suppose -t*f = -2*f - 1890. Suppose f + 114 = 3*j. Is j a prime number?
True
Let m(f) = -7*f**2 + 7*f + 21. Let u(b) = -3*b**2 + 3*b + 11. Let h(c) = -4*m(c) + 7*u(c). Is h(-11) composite?
True
Suppose -6*o = o. Suppose o = -3*q - 3*s + 39, -5*q + 0*s - 3*s + 67 = 0. Is q composite?
True
Suppose 0 = -16*y + 38182 - 9014. Is y composite?
False
Let l(t) = -1 - 7*t + 3 - 6. Suppose 2*m = -4*x + 6, 2*m + 22 = -2*x + 5*x. Is l(m) prime?
True
Is 6693358/342 + 2/(-9)*1 composite?
False
Let g(r) = 91*r**3 + 9*r**2 - 16*r + 13. Is g(5) composite?
True
Let f = -6 + 10. Suppose 6 = f*m - 2. Suppose 3*n + 4*i = 647, 0 = -m*n - i - 2*i + 433. Is n a prime number?
False
Suppose -p + 2*w = -4*p + 802, -3*p + 800 = 4*w. Let i = -21 + 23. Suppose -91 = f + i*g - p, 0 = 5*f - 2*g - 921. Is f a composite number?
True
Let k = 47 - 32. Is (-201)/6*5/(k/(-78)) composite?
True
Suppose -132*g - 48 = -130*g. Suppose 0 = -0*w + 5*w - 2*h - 3735, h = 2*w - 1494. Is w/24 + 3/g a prime number?
True
Suppose -31*x = -j - 35*x + 1767, -2*x - 8923 = -5*j. Is j prime?
True
Let t = 171 + -428. Let n = t - -69. Is (n + -3)*(-1 + 0) prime?
True
Suppose -5*x + 3*v = -86, -3*v + 13 = x + 3. Let h be (-16)/(-14)*70/20. Is 445 + x/h + 0 a prime number?
True
Let i(q) = -14*q**2 - 28*q - 37. Let k be i(-18). Let n = -2862 - k. Is n a prime number?
False
Suppose -o - 10 = -22. Let c = -8 + o. Suppose -c*u - 1873 = -4925. Is u a composite number?
True
Let l = -76 - 4. Let p = -15 - l. Suppose -h - h = -5*f + p, -2*f + 4*h = -42. Is f a prime number?
True
Let v(m) = m**3 - m**2 + 6*m + 2333. Is v(0) composite?
False
Suppose 14*s - 338231 + 72665 = 0. Is s prime?
False
Suppose 0 = 8*l - 134 - 330. Is l prime?
False
Let s(r) = 7*r + 1. Let n be s(2). Let h = n + -12. Is (-6)/18 - (-166)/h a composite number?
True
Let z = -43 - -47. Suppose 3*g + 2*a - 1615 = 4170, -z*a = -5*g + 9671. Is g composite?
False
Let t(k) = 98*k + 22. Is t(30) composite?
True
Suppose 4*o = 4*z + 8889 + 2859, -4*z = -o + 2949. Is o a composite number?
True
Let v = -537 + 536. Let n be 101*((2 - 1) + -4). Is -4*v/(-2) - n a composite number?
True
Let s