-16332 = -19*k + 7*k. Is k prime?
True
Let b = -63 + 96. Is (-2)/(-11) - (-5109)/b prime?
False
Let g(r) = r**3 + 3*r**2 - 4*r + 3. Let j be g(-4). Let k be (-56)/(-3)*j/2. Let d = -13 + k. Is d a composite number?
True
Suppose -12 = -k - k. Let v be 1 + 87 - (-12)/k. Suppose 4*x = -x - 5, -4*u - 2*x = -v. Is u composite?
False
Let y(k) = k**2 + 2. Let m be y(0). Let u = 5 - m. Suppose f - 81 = -5*p - 2*f, 3*p - u*f = 39. Is p prime?
False
Let b = 2862 - 349. Is b composite?
True
Suppose 2*k + 3*u - 12 = 0, -3*k + 0 = u - 11. Let m = 4 + -2. Suppose w - 7 = m*s - 3, -s = k*w - 19. Is w prime?
False
Let l(u) = -11*u**3 + 8*u**2 + 13*u - 7. Is l(-6) a composite number?
False
Suppose 2*x + 5*m + 70 = -x, 2*x + 50 = -4*m. Let k = x - -34. Is k a composite number?
False
Suppose -24 + 20 = v. Let m = v + 11. Is m a prime number?
True
Suppose 2569 - 6468 = -3*t - 4*m, 25 = 5*m. Is t prime?
False
Let i(g) = 1 + 2*g + 1 + 11*g**2 + 2*g. Is i(-5) prime?
True
Let y(m) = 20*m**2 - 7*m + 25. Is y(-8) a prime number?
True
Suppose 5907 = 3*f - 4*j, -2*f + 5*j + 2038 = -1893. Is f a prime number?
True
Is 6/4 - 406/(-4) prime?
True
Suppose -a - 4*l - 42 = 0, -a + l - 39 = 2*l. Let w = 77 - a. Is w prime?
False
Suppose -v = -10 + 2. Let x = -6 + v. Suppose x = b + 3*z + 5, -3*b + 2*z + 13 = 0. Is b prime?
True
Suppose 0 = 5*m - 875 - 1035. Is m a composite number?
True
Let h(v) = -6*v**3 + 2*v**2 - v + 7. Is h(-4) composite?
True
Let d = 58 - -193. Is d a composite number?
False
Let k be (-1)/(-4) + (-75)/(-20). Is ((-2)/k)/((-1)/94) composite?
False
Suppose 4*q = -4*q + 6296. Is q prime?
True
Suppose 3 = -o, 0*b + b = 2*o + 3797. Is b prime?
False
Is 541*(-1 - (-2 - 0)) composite?
False
Suppose 0 = k + 6*k - 1001. Is k composite?
True
Suppose 0 = -5*d - f + 20, -5*d + 3*f = 8*f. Suppose -d*i = 4*q - 307, 3*q + 5*i + 357 = 7*q. Is q composite?
False
Suppose 16867 = 8*v - 9141. Is v a prime number?
True
Is (-11 - -12)*-2*(-6218)/4 prime?
True
Let g = -424 + 755. Is g prime?
True
Suppose -4*s + 7 = -1. Suppose 0 = -4*i - 5*m + 37, -s*m + 2 + 2 = -2*i. Suppose -33 = -5*g - i. Is g a prime number?
False
Suppose 4*l + 2*i - 1274 = -152, 0 = l + 2*i - 288. Is l a prime number?
False
Let q(u) = 3*u**2 + 8*u - 6. Let d(t) = -t**2 + 1. Let r(c) = 4*d(c) + q(c). Let w be r(7). Let j = 32 + w. Is j composite?
False
Let y(f) = f**2 - 8*f - 12. Let t = 21 + -12. Let s be y(t). Is 3 - 31*s/3 prime?
False
Suppose 4*d + d - 20 = 0. Suppose 3*b - d*i + 87 = 4*b, 0 = -b + 4*i + 87. Is b a composite number?
True
Let a = 5 + 44. Is a composite?
True
Suppose -3*m + 349 = -x + 76, -3*m - 2*x = -273. Is m a prime number?
False
Let g(i) = -5*i - 15. Suppose -5*l + 3*l - 5*n = -90, 5*l - 3*n = 163. Suppose c + 22 = -4*y, -4*c - c + 5*y = l. Is g(c) composite?
True
Let o(k) = -k**2 - k + 1. Suppose 4*y - 4 = 4*l - l, -3*y - 4*l = -28. Let c be o(y). Let i = 38 + c. Is i composite?
False
Let d(v) = 5*v. Let k be d(1). Let r(p) = -p**2 + 5*p. Let x be r(4). Suppose -3*g - 3 = 0, -x*c = -2*g + k*g - 53. Is c prime?
False
Let o = -217 - -398. Let x = 392 - o. Is x prime?
True
Let x(m) = 2*m - 20. Let f be x(10). Suppose -3 + f = -t. Is t a prime number?
True
Let t(q) = q**2 - 4*q + 5. Let v be t(4). Let s(i) = -i + 10. Let k be s(v). Suppose -3*f - h + 139 = h, k*f + 3*h = 233. Is f composite?
True
Suppose 0 = 5*v, 2*k + 3 = v + 7. Suppose 0 = -k*u - 4*s - 64 - 32, -45 = u - s. Let c = 77 + u. Is c prime?
True
Suppose -5*u - s + 4462 = 768, -3*u + 3*s + 2220 = 0. Is u prime?
True
Let s be (-2)/2 + 104 + -1. Let k = s + -65. Is k a prime number?
True
Suppose 2*f - 1 + 9 = 0. Is (94/(-6))/(f/12) a prime number?
True
Suppose 0 = 11*h - 9*h - 614. Is h prime?
True
Suppose 3*f - 15 = -s, s + f = -f + 11. Suppose 5*u - 2 = 3. Suppose s*c = -u + 19. Is c a composite number?
True
Let n(g) = -1 + g**3 - g - 6*g**2 - 2*g + 10*g. Suppose 25 = -0*l + 5*l. Is n(l) a prime number?
False
Suppose 2*o - 485 = -3*o. Is o prime?
True
Let c(p) = -8*p**3 + 2*p**2 + 2*p + 1. Let o = -3 - -2. Is c(o) a prime number?
False
Suppose 3*l + 13 - 2644 = 0. Is l a prime number?
True
Suppose 0 = -5*m + 3*f + 3101, -4*m - 4*f + 1889 + 611 = 0. Is m a prime number?
False
Let x(g) = 551*g - 15. Is x(2) prime?
True
Suppose -3786 = -4*l - 2*l. Is l prime?
True
Let j(g) be the first derivative of g**5/20 + 5*g**4/12 - g**3/6 - g**2/2 - 2*g + 1. Let m(h) be the first derivative of j(h). Is m(-4) a prime number?
True
Is (131/1)/(-6 - -7) a composite number?
False
Let x(r) be the first derivative of 29*r**3/3 + 3*r**2 - 9*r + 4. Is x(4) a prime number?
True
Suppose 0 = -2*v + 4*a - 8, 6*a = 2*v + a + 11. Suppose -l + 105 = v*l. Is l prime?
False
Let l(y) = 11*y**2 - 5*y + 5. Suppose 2*j + 15 = 7*j. Is l(j) a prime number?
True
Let d be -3*(-2 + 17)*-1. Suppose -4*c - 17 + d = 0. Let k = c + 27. Is k composite?
True
Let c be (36/(-10))/((-3)/(-15)). Let s be (6/c)/((-1)/249). Suppose 3*z + 2*x - s = 0, 0*x - 29 = -z - x. Is z composite?
True
Let u = -1096 + 2355. Is u a prime number?
True
Let l be (0/((-3)/3))/(-1). Suppose -4*d - 21 + 121 = l. Let x = d - 14. Is x composite?
False
Let b(w) = -20*w - 14. Let i be b(12). Is (i - 3)/(0 + -1) a composite number?
False
Let r(d) = d - 13. Let y(h) = -h + 12. Let b(j) = 2*r(j) + 3*y(j). Let f be b(7). Suppose -4*a + 93 = -f*a. Is a prime?
False
Let x be (-7 - -8)/((-2)/(-474)). Is x/2 + (-5)/(-10) a composite number?
True
Let h = 235 - -130. Is h a composite number?
True
Let t = 34 - 21. Is t a prime number?
True
Let s be (-30)/(-12)*(1 - -1). Suppose s*u = -30 + 105. Is u composite?
True
Is 14*(-1535)/(-40)*4 a prime number?
False
Let m be 88/(-3) + (-4)/6. Is (-22806)/m + (-12)/(-15) a composite number?
False
Let v = 7 + -5. Suppose 3*l = -v*l + 35. Is l prime?
True
Let q = -27 + 898. Is q composite?
True
Let j(d) be the first derivative of 19*d**2/2 + 4*d + 4. Is j(6) a prime number?
False
Let q = -4 + 196. Suppose q + 733 = 5*n. Is n prime?
False
Suppose 0 = 5*i - 10. Let n(z) = -21*z + 5. Let w(m) = 41*m - 11. Let x(r) = -13*n(r) - 6*w(r). Is x(i) prime?
False
Let o = 0 + 2. Let v be 75/o*120/9. Let q = v - 289. Is q composite?
False
Let s be (2/4)/((-3)/6). Is 135 + s + 0 - 3 a composite number?
False
Let m be (-592)/(-5) + 2/(-5). Let y = m + -83. Is y composite?
True
Let p = 613 - 428. Suppose -3*i = 2*i - p. Is i a composite number?
False
Let d = 700 - 1102. Let o = 1057 + d. Is o composite?
True
Suppose 11 = t - 5*q, 3*t + 4*q + 4 = -t. Suppose -j = -6 - t. Suppose 3*h + 316 = j*h. Is h a composite number?
False
Let y(s) = 2*s**2 - 4. Let p be y(-3). Let a be 6/12 + p/4. Is (a/6)/(8/1092) a composite number?
True
Suppose b = -0*b + 1. Let c be 1/(3/15*b). Suppose 237 = c*y - 4*n, 2*y = -y - n + 149. Is y a composite number?
True
Suppose -n - 2 = -4. Let m be 6*n/(-4)*-1. Suppose -2*c + 54 = 2*j, 4*j - 11 = m*j + 3*c. Is j prime?
True
Let j(t) = 2*t + 1. Let g be j(5). Suppose -a + 6 = -5*m - g, 0 = -a + 3*m + 9. Is 1*97 + (-3 - a) prime?
True
Is (-2)/3 - (128/(-3) - 1) a prime number?
True
Let m(f) = 71*f**3 + 6*f**2 - 7*f - 1. Is m(3) prime?
True
Suppose -7 = -5*k + 48. Suppose b - 331 = -k. Suppose -5*x = -5*u - b, u + 3*u - 213 = -3*x. Is x composite?
False
Suppose -2 - 4 = -2*b. Suppose -b*w = 3*c + 79 + 44, 0 = -2*c + 8. Let z = w + 71. Is z a composite number?
True
Let q(p) = -105*p - 4. Let w be q(-4). Suppose 3*r - 1278 = -2*n - n, r = n + w. Suppose -2*s - r = -5*f - 156, -56 = -f + s. Is f a composite number?
True
Let l be 2/3 + 68/(-12). Let f be 2/l + 38/(-5). Let j = 99 + f. Is j a composite number?
True
Let v(o) be the first derivative of -o**4/4 + 5*o**3/3 + 5*o**2/2 + o - 3. Let x = 4 + 1. Is v(x) a prime number?
False
Suppose -7 = -3*m + 2. Suppose 0 = -8*v + m*v + 25. Suppose 2*l - 148 = v*z, -83 = -3*l + 2*l - 2*z. Is l prime?
True
Let z = 5 + -3. Suppose 2*y - 2 = -0, 0 = -3*c - z*y + 23. Is c a prime number?
True
Suppose -a = -4*a + 6. Suppose -27 = -a*l + 11. Is l a composite number?
False
Let z be 2/(-4) - (-1)/2. Suppose z = -2*f + 101 + 111. Is f a prime number?
False
Suppose 91 = x - 2*k, 0 = 2*k + 3*k - 15. Is x prime?
True
Suppose 6*w - w = 0. Suppose w*b + 2*k - 62 = -2*b, -3*b + 81 = -k. Suppose 3*s - 3 - 11 = -4*y, -3*y = 4*s - b. Is s a com