Suppose 4371 = k*z - 5*q, 5 = 4*q - 3*q. Is z composite?
True
Let u(v) = v**2 - v - 7. Is u(15) composite?
True
Let p(w) = -w**2 + 14*w + 19. Is p(8) a prime number?
True
Suppose -2*h = -0*h - 648. Suppose -2*g - 135 = -w, -h = -5*w + g + 315. Is w a composite number?
False
Suppose -g = -5, -2*a + 2*g - 3 = 7. Suppose 0 = 2*u - 2, -f - 5*u + 15 = -4*u. Suppose s + s - f = a. Is s a composite number?
False
Let y(s) = -19*s + 2. Let t be y(-2). Let v be (-168)/t + 1/5. Is v/(8/31)*-10 prime?
False
Let o = 55 + 28. Is o a prime number?
True
Let o be -2 - (-3)/(3/(-44)). Suppose 4*t - 5*t = 9. Let q = t - o. Is q a prime number?
True
Suppose 11*x = 6*x + 2285. Is x a prime number?
True
Is 3/(105/14) + (-15066)/(-10) prime?
False
Is 3 + -6 - (-82 - -2) composite?
True
Let b(q) = -18*q - 6. Let a(c) = -37*c - 13. Let s(x) = 2*a(x) - 5*b(x). Let p be s(7). Suppose 3*j + 23 = p. Is j a composite number?
False
Suppose 27 = 4*k - a - 25, a = -5*k + 74. Suppose 5*q - m - k = -0*m, 1 = q - 2*m. Suppose 3*w + q*u - 96 = 0, w + 0*w = -5*u + 28. Is w composite?
True
Let i = 14 + -10. Suppose -i*j = -6*j + 92. Is j a composite number?
True
Let a be (-6)/(-14) + 22/14. Suppose -318 - 104 = -a*q. Is q composite?
False
Let s(a) = 37*a**3 + a**2 + a. Is s(1) composite?
True
Suppose 4*r = 3*r + 2. Suppose a + 5 = r*a. Suppose 2*v - a*v = -75. Is v a composite number?
True
Let c(d) = 5 - 2*d**2 - d**3 + 2*d - 5*d - 5*d**2. Suppose -5*o - 1 = -s - o, -4*o = -5*s - 27. Is c(s) a prime number?
False
Suppose f - 982 = 261. Is f composite?
True
Let y(r) = r + 8. Let v be y(-6). Let o be (-2)/2 + 4 + v. Is 13*(-4)/((-4)/o) composite?
True
Let b(g) = g**3 + 5*g**2 - 7*g. Let a be b(-6). Let y(i) = 3*i - 3. Is y(a) a composite number?
True
Suppose -2*h + 6 = -4. Let a(t) = -t**3 + 6*t**2 - 5*t + 2. Let p be a(h). Is 38*(6/2 - p) a composite number?
True
Let l be 2/(-8) + (-51)/(-12). Suppose -12 = l*r, -3*r - 58 = -2*p + r. Is p prime?
True
Let t(k) = 2*k - 2. Let i be t(2). Suppose q = i*q - 497. Is q composite?
True
Let h = 616 + -167. Is h composite?
False
Suppose -2 = 2*y + 10. Let d = y - -6. Suppose w = 2*a + 13, -53 = -2*w - d*w - 5*a. Is w a prime number?
True
Let n be 1 - 1/(3/(-15)). Suppose q + 79 = 2*b, 3*b - 126 = -3*q + n*q. Is b a prime number?
True
Let r(f) = f**3 + 3*f**2 - 4*f. Let l be r(-4). Suppose 0 = -4*q - 3*g + 71, l = 3*q - g + 2*g - 47. Is q composite?
True
Suppose 3*h + 46 + 62 = 0. Let m = 158 + -69. Let p = h + m. Is p prime?
True
Let y(i) = -2*i**3 - 13*i**2 + 11*i - 3. Is y(-10) a prime number?
True
Let b(k) = 5*k**2 + k + 3. Is b(-4) prime?
True
Let b be 85/2 - 1/2. Let u = b - 26. Suppose -2*j - u = -6*j. Is j a composite number?
True
Is 1 + 2*(248 + -3) composite?
False
Is 14469/(-26)*4/(-6) a composite number?
True
Suppose 4*u = 4 + 4. Let k(q) = q**2 - q + 3 - u*q + 0. Is k(5) a prime number?
True
Let h(q) = -22*q + 8. Let a be h(7). Let n = 210 + a. Suppose -n = -3*r + 83. Is r a prime number?
False
Let q(i) = 17*i**2 + 4*i + 19. Is q(4) a composite number?
False
Suppose -2*c + 0*c = 3*t + 16, 0 = 5*c - t + 40. Let p = c + 15. Let z = 21 - p. Is z prime?
False
Suppose 0 = y - 5*k + 17, 2*k - k = 4. Let w be 24/9*(-6)/(-2). Suppose -2*r - q + 90 = w, -y*r + 97 = -5*q. Is r composite?
True
Let j = 15 - 9. Let a = j + -3. Suppose a*g - 65 = -2*l, 0 = 5*l - g + 43 - 163. Is l prime?
False
Suppose d - 2*d = -54. Suppose k = 4*k - 30. Suppose -k = 5*n, -d = -4*m + 2*n + 102. Is m prime?
False
Let y be 3*388/6 + -3. Suppose y = -h + 2*h. Is h composite?
False
Let q(v) be the first derivative of -3*v**2/2 - 4*v + 1. Let y be q(-3). Let k(u) = 15*u + 2. Is k(y) prime?
False
Suppose 0 = 3*k - 0*k. Suppose k = -6*v + 2*v + 1324. Is v a composite number?
False
Is 2 + 0 + 0 + (3382 - 47) a composite number?
True
Let d(f) = 8*f**2 + 3*f - 12. Let v be d(-9). Suppose -v = 2*q - 5*q. Is q prime?
False
Let k(a) = a**3 - 3*a**2 + a - 3*a**2 + 3*a + 6. Let f be k(5). Is 1/((-10)/12 + f) a prime number?
False
Is (-2238)/(-4) + 2/(-4) composite?
True
Suppose -s - s - 8 = -2*m, 4*s + 16 = 3*m. Is -211*(1 + m - 2) prime?
True
Let d be -535*(26/(-10) + 3). Let c = d + 301. Is c a prime number?
False
Suppose 5*f + 23 = -17. Let h be (-4)/f - (-846)/4. Suppose -3*l - l + h = 0. Is l a composite number?
False
Suppose -623 + 131 = -2*o. Is (-8)/6 + o/9 composite?
True
Let m(k) = -33*k**3 - 3*k**2 - k - 1. Is m(-2) a prime number?
False
Suppose s = -0*s - 5*z + 51, -2*s - 5*z = -122. Is s prime?
True
Let m = -32 - -11. Let t be ((-88)/(-6))/(2/(-6)). Let u = m - t. Is u prime?
True
Let j = -578 + 997. Is j prime?
True
Let f(k) = k**2 - 4*k - 7. Let t be f(6). Suppose 0 = l + 4*l. Suppose -t*u + 75 = -l*u. Is u composite?
True
Let d = -1 + 5. Suppose 2*q - d*q = 0. Let o(x) = -x + 145. Is o(q) a composite number?
True
Let q(p) = -6*p**2 + 6*p - 6. Let m be q(4). Is (77/21)/((-2)/m) a prime number?
False
Suppose r = -3*k - 11, 0 = 2*r - 0*r - k + 1. Let j = 4 + r. Is j a prime number?
True
Suppose -d + 4*l + 89 = 0, 2*l + 5 = 3. Is d a prime number?
False
Let g(y) = 0*y + y**3 + 2*y**2 - 2*y + 8*y**2 - 4*y + 14. Is g(-10) composite?
True
Suppose -5*g = -o - 1706, 3*o + 4*g = -2848 - 2251. Is o/(-15) + (-2)/5 composite?
False
Suppose 5*m - 45 = -0*m. Is m composite?
True
Let f(a) = -a**2 + 33. Suppose u = 4*u. Suppose -k + 0*k = u. Is f(k) a composite number?
True
Let d(f) = -f**3 + 12*f**2 - 6*f + 12. Is d(11) composite?
False
Let t = -11 - -13. Suppose 3*u = t*j + 283, -2*u + 2*j = 3*j - 198. Is u prime?
True
Is ((-466)/12*-3)/(2/4) prime?
True
Let w = 1 + -4. Let v = 8 + w. Is 3*-1 + v + 29 composite?
False
Let j be (-3)/(-12) - (-1205)/(-20). Let u = -27 - j. Is u prime?
False
Suppose 3*i = 30 + 72. Is i prime?
False
Suppose -5*z - 3 = 4*l - 15, l - 3 = z. Suppose -2 = -2*y - 2*t - t, 0 = -l*y - t + 3. Is 8 + (0 + -1)/y prime?
True
Let j(r) = 18*r**2 + 9*r - 17. Is j(-10) prime?
True
Let t(g) = 4*g**2 - 6*g + 6. Let l(n) = 9*n**2 - 12*n + 11. Let r = -15 + 10. Let o(x) = r*t(x) + 3*l(x). Is o(4) composite?
True
Let l(a) = 79*a**2 + 3*a + 1. Is l(4) composite?
False
Let f(n) = n**3 - 10*n**2 + 5*n - 13. Let z(o) = -2*o - 12. Let c be z(-8). Suppose c*m = m + 30. Is f(m) prime?
True
Let h(j) = 202*j + 39. Is h(12) a prime number?
False
Let y(k) = -300*k - 17. Is y(-6) a prime number?
True
Let f(b) = 5*b + 2 + 3*b + 1. Is f(10) a prime number?
True
Suppose 4*r + 348 = a - 53, 4*a - 2*r = 1590. Is a a prime number?
True
Suppose 0 = 4*x - 16. Let s(c) = 2*c**2 + c - 5. Is s(x) composite?
False
Let v(l) be the second derivative of -5*l**3/6 - 2*l**2 + 2*l. Suppose -2 - 20 = 2*h + 4*a, 0 = a + 4. Is v(h) a composite number?
False
Let l be (-4)/(-10) + 1707/(-5). Let k = -196 - l. Is k a prime number?
False
Let y = 101 + 26. Is y a composite number?
False
Let u(x) = -x**3 + 7*x**2 - 5*x - 5. Let k be u(7). Is k/16*366/(-5) a prime number?
False
Let s(m) be the first derivative of -m**2/2 + 631*m + 2. Is s(0) prime?
True
Suppose 1 = -l - 3. Let y(b) be the third derivative of -b**6/120 + b**5/20 - b**4/6 - b**3/6 + 2*b**2. Is y(l) composite?
False
Is (9/(-21))/((-1)/7) - -764 a prime number?
False
Let t be (30/(-9))/((-4)/54). Let y = 329 + t. Suppose -j + 3*j = y. Is j a composite number?
True
Let h be 10*((-3)/6 + -1). Let u = 34 - h. Is u a prime number?
False
Let k = 692 - 199. Is k composite?
True
Let g(w) = 18*w**2 - 2*w - 5. Let b(p) = p. Let q(l) = b(l) + g(l). Is q(-4) prime?
False
Let t = 255 - 64. Is t composite?
False
Let h(r) = -r**3 + 10*r**2 - 12*r + 3. Let c be (8 + -3)*(-16)/(-10). Is h(c) a prime number?
False
Let d = -2 + 0. Let t(g) = g**3 - 6*g**2 + 6*g - 7. Let z be t(5). Is 140/z*d/4 composite?
True
Suppose i + 2*f = 1, -3*i + 0*i - 5*f = -4. Suppose -x - 4*r + 0 = -4, -3*r = -4*x - i. Is (4 - 5) + (34 - x) a composite number?
True
Let s be -2*-1*(-3)/(-6). Let a = s - -3. Suppose a*x = 9*x - 50. Is x a prime number?
False
Suppose 3*m = 12 - 3. Suppose -m*o + 595 = 2*o. Is o a composite number?
True
Suppose -4*q = -w - 8 + 26, -3*w + 9 = 3*q. Is w prime?
False
Let t be -7 - 1/2*-6. Is (0 + (-42)/t)*2 a composite number?
True
Suppose -2*v = -v - 391. Suppose 101 = 3*d - 3*o - 286, v = 3*d - 5*o. Is d prime?
True
Suppose 8*s - 5*s - 1407 = 0. Is 