8*g + 8. Let p be q(-8). Is (-12)/p*142/(-3) prime?
True
Let b be 94/14 - 4/(-14). Let j(u) = -u**2 + 7*u - 9. Let v be j(b). Let n(f) = -f**3 - 7*f**2 + 8*f - 1. Is n(v) a prime number?
True
Let t = -50 - -135. Is t a prime number?
False
Let y(l) = -l**3 - 6*l**2 - 12*l. Let s be y(-6). Let q = 27 + -14. Let h = s - q. Is h composite?
False
Let m(s) = s**2 + 5*s - 5. Let i(l) = l**3 + 7*l**2 + 8. Let x be i(-6). Suppose 4*q + x - 8 = 0. Is m(q) a composite number?
False
Let p(s) = 65*s + 5. Is p(10) a prime number?
False
Suppose -13*z + 626 = -2676. Is z a prime number?
False
Let y(v) = 44*v**2 + 7*v - 2. Is y(5) a prime number?
False
Let h = -197 - 82. Let w be (-5568)/14 - (-4)/(-14). Let y = h - w. Is y a composite number?
True
Let a be 2 + 0 - (-1 + -3). Suppose -3*h = -15 + a. Suppose -h*s = -4*y + 571, -2 = -5*s + 13. Is y composite?
True
Let k(y) = 2*y**2 + 4*y - 7. Let n be k(-4). Let q(o) = 4*o**2 - 9*o + 8. Is q(n) a composite number?
False
Let y(z) = -z**3 + 3*z**2 + 4*z + 1. Let r be y(-4). Suppose -81 - r = -2*d. Is d a prime number?
True
Suppose -4*o + 6 = -5*r, 5*r = -5*o + 2*r + 26. Suppose -3*q = -o*a + 2950, 0*a - 3*q + 745 = a. Suppose -4*v = -h - a, v - 75 = -h + 111. Is v a prime number?
False
Suppose -5*y + 15 = -0*y. Let f = y - 5. Is f/11 - (-233)/11 a composite number?
True
Let q be 3 - (0 + (-2 - -2)). Suppose -6 - 3 = -4*k + 3*w, -q = 2*k + w. Is (k + -1)*-53 + 0 a composite number?
False
Let j = 703 + 954. Is j composite?
False
Suppose -2*h + 11 = -0*r + r, r = -h + 7. Suppose 0 = r*q - 6, -q + 2 = 2*f + f. Suppose f*t = t - 15. Is t composite?
True
Suppose -3*b + b = -326. Is b a composite number?
False
Suppose q + 5*p + 17 = 0, -5 + 1 = p. Let a(l) = -l**3 + 4*l**2 - 3*l + 2. Let m be a(q). Suppose -g + 37 = -2*y, 5*y = -m*g - 0*y + 74. Is g a prime number?
True
Let m be (-3)/(((-30)/(-4))/(-5)). Let v be (5 + m)*(-8)/(-4). Suppose -v*s + 84 = -10*s. Is s a composite number?
True
Let j(a) = -23*a - 2. Let u = 12 + -7. Let d = u + -8. Is j(d) prime?
True
Suppose -34 + 12 = -3*n + 4*f, 2*n + 2*f = -4. Let m be 42*2 + n + -3. Suppose a - y - m = -a, 3*a - 127 = 2*y. Is a a prime number?
False
Suppose 4*a = 5 + 3. Suppose 0 = a*t + 2*o - 20, t = 6*t + 3*o - 54. Suppose -h = 2*h - t. Is h prime?
False
Suppose 2*o - 9 = -o. Suppose 5*w = 5*x + 90, 0 = -w - o*x + 41 - 15. Suppose 3*c = w + 1. Is c prime?
True
Suppose 0 = o - 3*d + 25, 2*o = d + 22 - 57. Let x(n) = n**3 + 17*n**2 + 10*n - 19. Is x(o) prime?
False
Suppose 649 + 339 = 2*a + 2*x, 4*a - x - 2001 = 0. Is a composite?
False
Suppose m + 3*l - 16 = l, 5*l = 3*m - 4. Let c(z) be the second derivative of z**5/20 - 2*z**4/3 + z**3/2 + 9*z**2/2 - 2*z. Is c(m) prime?
False
Suppose -t - 91 = -3*t - 5*h, -5*t + 310 = -4*h. Is t a composite number?
True
Suppose -4*a + 4*f = -64, -3*a - 2*f + 54 = f. Is a - (0 - 4 - -2) a prime number?
True
Suppose 0 = y - 0*y - 329. Is y a prime number?
False
Let c(d) = 124*d**2 - 4*d - 5. Is c(-2) prime?
True
Is (-2)/8 - 3228/(-48) a composite number?
False
Suppose 3*q - 3 = -0*q, 2*j = q + 17. Suppose -j*u + 6*u = -21. Is u a composite number?
False
Suppose 0*f + 3*r = -f - 5, -7 = 3*f + 5*r. Let p be f/(-3)*0/(-4). Suppose 3*w + 5*j - 6*j - 798 = p, 4*w + 4*j = 1048. Is w prime?
False
Suppose -370 = 45*r - 50*r. Is r a composite number?
True
Suppose 6 = 4*z - 6. Suppose -z*m + 6*m - 177 = 0. Is m prime?
True
Let v be (-8)/(-44) + 2/(-11). Suppose -r - 4*r - 25 = v. Let n(g) = -g**2 - 8*g - 5. Is n(r) a prime number?
False
Is 2/((-386)/(-382) - 1) prime?
True
Let s(h) = -3 + h**2 + h**2 - 17 + 31 - 3*h. Let m be 51/(-6) - (-1)/2. Is s(m) a composite number?
False
Let i(q) = -q**3 + 6*q**2 - 6*q + 5. Is i(3) a prime number?
False
Let b(u) be the second derivative of 11*u**4/6 - u**3 + 3*u**2/2 - 5*u. Is b(4) prime?
True
Let x = 12 - 7. Suppose 3 = -x*g + 4*g. Is (1 - g)*17 + -1 prime?
True
Let r be ((-8)/6)/(4/(-6)). Suppose 6*s - 2*d - 14 = r*s, 5*s = 3*d + 18. Suppose 0*v - 8 = -2*v, 3*v + 255 = s*c. Is c a prime number?
True
Let k(b) = -b**3 - 9*b**2 - 8*b. Let u be k(-8). Suppose -4*z + 3 = 2*w - 1, u = 5*w - 10. Suppose z = -3*y + 46 + 71. Is y a prime number?
False
Let m = -32 - -60. Suppose -2*t + v - 74 = -4*t, -5*v = t - m. Let h = t - 24. Is h composite?
True
Let n(y) = y**2 - 10*y - 3. Is n(12) prime?
False
Let y(z) = -1. Suppose 0*m - 3*i + 10 = -m, -5*m + 4*i - 17 = 0. Let k(d) = -5*d**3 + d + 3. Let h(f) = m*k(f) - 4*y(f). Is h(2) composite?
True
Let p = 5 + 14. Is p a composite number?
False
Is -1*(-1 + 0 - 36) composite?
False
Is -46*((-6)/4 + -4) prime?
False
Suppose 572 = 3*w - o - 0*o, 384 = 2*w - 2*o. Let m = w + -67. Is m composite?
True
Suppose 5*j = -4*g + 56, 2*j - 10 = 2*g - 56. Suppose 0 = -g*y + 18*y + 419. Is y prime?
True
Suppose 236 = -5*r + 2661. Is r composite?
True
Let x(w) = 2*w**2 - 18*w + 31. Is x(19) a composite number?
True
Suppose 3*f = -3*q + 1245, 0 = f + 3*q - q - 418. Is (f/(-6))/(28/(-42)) composite?
False
Suppose -3*b = h - 7, 0*b - 5*b + 17 = 3*h. Let t(s) = s**3 + 4*s**2 - 2*s - 1. Is t(h) a prime number?
False
Is 2/(-16) - (-594)/16 a prime number?
True
Suppose 0 = -4*m - 0*m - 948. Let x = -140 - m. Is x a composite number?
False
Let f(j) = j + 1. Let h be f(4). Suppose t + 16 = h*t. Is (84/t)/(-1 + 2) a prime number?
False
Let n(v) = -v**2 + 1. Let t(m) = 4*m**2 + 4*m. Let f(x) = -5*n(x) - t(x). Is f(6) prime?
True
Suppose -6*a + 4*a + 198 = -4*d, 253 = -5*d - 3*a. Let w(h) = 3*h**2 - 6*h - 1. Let f be w(6). Let k = f + d. Is k composite?
True
Let s be 2 + (-7)/(21/(-6)). Suppose -64 = -2*x + s. Is x a composite number?
True
Suppose 4*d - 92 = -4*u, -d + 57 = 3*u - 2*d. Let x be 4/u - (-2548)/10. Suppose -2*j - 9 = -4*t + x, -t + 61 = 2*j. Is t prime?
False
Let t(d) = -4*d + 179. Is t(0) composite?
False
Suppose -3*i + 6 = 0, 2*i - 1936 = 3*v - 8931. Is v a composite number?
False
Suppose 404 = 5*r - 1101. Is r a prime number?
False
Let m = 688 - 291. Is m a composite number?
False
Suppose -2 = a - 3*u + 8, 0 = 5*a - 5*u + 20. Is 34/4 - a/2 a prime number?
False
Suppose -g - 4 = 4*x, x - 4 = 5*g + 5*x. Suppose k + g - 4 = 0. Suppose -k*y = -y - 129. Is y composite?
False
Let r(c) = 2*c**2 - 8*c - 5. Let v be r(-11). Let p = -74 + v. Is p composite?
False
Let c = 19 - 19. Is 6 - 5 - (-34 + c) composite?
True
Is 87 - (4 + (-10 - -2)) prime?
False
Let g(a) = 0*a**3 - 7*a**2 + a**3 + 10*a - 7*a - 5. Is g(8) prime?
True
Let y be (-1)/((-6)/(-8) - 1). Suppose -2*q + 637 = 5*l, -l + 74 + 49 = -y*q. Is l a composite number?
False
Let n(w) = 3*w**2 + 2*w - 1. Let o be n(-3). Suppose -5*z = -0*z - o. Suppose 4*x - 112 = 5*r, -2*r = z*x - 3*x - 41. Is x a prime number?
False
Let h(t) = 238*t - 3. Is h(8) a composite number?
False
Let u(j) = -2*j - 1. Let w be u(3). Let y = w + 16. Suppose i + 337 = 4*v, 2*i + y = 2*v - 167. Is v prime?
True
Let h be 1*-3 - -1 - 40. Let c be 0/((-1)/(-1)) - h. Let l = c + -17. Is l prime?
False
Let l be (1 + -2)*(-6 + -2). Let v be l/20 + (-323)/(-5). Suppose -3*t = 3*q - 0*q - 219, -q = 3*t - v. Is q prime?
False
Suppose 0 = -3*f - 2*h + 50, 4*f - 4*h + 33 - 93 = 0. Let q = f + 6. Is q prime?
False
Suppose 0 = -2*k + c + 4103, -4*k - 5*c + 2*c + 8201 = 0. Is k prime?
False
Let o(z) = -2*z + 1. Let t be o(-1). Is (-1)/(276/93 - t) a prime number?
True
Suppose 0 = i + 2*h + 1 - 0, 3*i - 5 = -2*h. Suppose -i*a + 9 = -12. Is a a composite number?
False
Suppose 2*l - 70 - 222 = 0. Is l a composite number?
True
Suppose b - 42 = 4*t, -2*b - 183 = -6*b + t. Is b prime?
False
Let t = 15 + -4. Is t a composite number?
False
Suppose -3*p = -9, 2*p - 12 = 5*d - 2*d. Is (1 + d - 1) + 79 a prime number?
False
Let o = 2 - 17. Let a = 11 + o. Is (-4)/(-2)*(-254)/a a prime number?
True
Let x be 14/10 + 6/(-15). Suppose -4*q + 66 = -2*y, 0 = 2*q - 3*q + 4*y - x. Suppose -5*v = -16 - q. Is v a prime number?
True
Let u be 1/(-3) + (-530)/(-6). Let l(t) = t - 3. Let z be l(6). Suppose -z*f = -u + 10. Is f composite?
True
Suppose -8*u + 3*u - 3*d + 23 = 0, 3*u - d = 11. Suppose 14 = u*q - 14. Is q prime?
True
Let f(v) = -11*v**2 + 10*v + 8. Let i be f(-6). Let s = 163 + i. Is (s/9)/(2/(-6)) a prime number?
False
Let j = 177 - 32. Is j a prime number?
False
Let k(v) = -v**3 + 13*v*