53/(-21)*(42 - (2 + -2)). Let b = 8 - l. Is b composite?
True
Let d(x) = -x**3 + 4*x**2 + 8*x - 7. Let u be d(6). Let n = 300 - u. Is n a prime number?
True
Let a = -285 + 1028. Is a a composite number?
False
Let l(g) = 3*g**2 + 3*g - 2. Let o be l(3). Suppose 1371 = w - o. Is w composite?
True
Suppose -2*l = l + 6. Let v(y) = -y + 1. Let j be v(l). Suppose 188 = c + 5*d, 0 = -5*c + j*d + 2*d + 790. Is c a composite number?
False
Suppose -695 = 3*w - 3077. Let m = w + -465. Is m a prime number?
False
Let t(j) = -13*j**3 - 2*j**2 - 2*j - 3. Suppose 0 = -3*q - 2*q - 10. Is t(q) composite?
False
Let p = -297 - -299. Let y be (0 + 0 - 0) + 561. Suppose -w + y = p*w. Is w a prime number?
False
Let d be 4/10 + (-8840)/(-25). Let b be 4/(-10) + d/10. Suppose -b + 4 = -l. Is l a prime number?
True
Suppose 0 = 2*j - 3*n - 12, -3*n - 12 = -4*j - 0*j. Suppose -2*z + 4*f + 749 = z, -3*z + 2*f + 757 = j. Suppose -7*u = -10*u + z. Is u composite?
True
Suppose 6*m - 3747 - 1731 = 0. Let j = m + -410. Is j a composite number?
False
Suppose 13 + 7 = 4*v. Suppose -2*l + v*l + 5*i = -91, 2*l + 65 = i. Let q = -9 - l. Is q prime?
True
Let v(x) = 69*x**2 - 58*x - 45. Is v(-16) composite?
True
Let v(u) = -1068*u + 19. Is v(-8) composite?
False
Let c(r) = 24*r**2 - 5*r - 2. Is c(13) composite?
False
Let j(h) = h - 1. Let s(n) = 55*n - 18. Let i(q) = 3*j(q) + s(q). Is i(8) a prime number?
True
Suppose -1225 = -4*w + 2843. Suppose 0 = 2*k + 4*z - 3898, k - 2*z = 932 + w. Is k a prime number?
True
Suppose -7*v - 2*v + 13131 = 0. Is v a prime number?
True
Let c(x) = -x**2 + 19*x + 28. Let w be c(19). Let h be 17*(1 - 0)*w. Suppose 4*q - 176 = h. Is q prime?
True
Let w(a) = a**2. Let s be w(6). Suppose 2*d - s = -5*n, n + 5*d = 3*n + 3. Suppose -n*v + 11*v = 3545. Is v a prime number?
True
Suppose 20 = -4*v, 4*v - 2*v = -3*g + 8. Let t be g/(-15)*-5 - -3. Suppose -5*l = -t*p + 1015, 3*p - 4*p + 5*l + 203 = 0. Is p prime?
False
Let l(q) = -2*q + 21. Let y be l(9). Suppose -4*a + 2483 = -3*m, y*a + 0*m + 5*m - 1826 = 0. Suppose -2*j + 406 = 2*d, -3*j + 8*j = -3*d + a. Is d prime?
True
Let c(b) = -2*b - 10. Let t be c(-6). Suppose -3*q - 5*h = 2*q - 7710, -t*h = 2. Is q a composite number?
False
Let d(b) be the second derivative of -b**4/12 + b**3/2 + 4871*b**2/2 - 10*b. Is d(0) a prime number?
True
Suppose 40 = -2*x + 14. Let o = 5 + x. Is 4/3*(-564)/o composite?
True
Let b be 838 + -3*(-2 + 3). Let h = b - 416. Is h a composite number?
False
Suppose 4 = -2*c + 8. Let t be (-3 - (-2 + -1))/c. Suppose 5*o - 53 = 5*u + 317, -2*o - 2*u + 148 = t. Is o prime?
False
Let k(c) = 1559*c**2 + 12*c + 11. Is k(-6) composite?
True
Suppose 0 = 3*c - 4*q - 20788 + 3877, -5*c - q = -28185. Is c prime?
False
Let b(y) = 3*y**3 + y**2 + 24*y + 5. Is b(9) prime?
False
Suppose -5*o = -2*n + 2123, -4*o - 257 = -n + 800. Is n prime?
True
Let k(h) = -14*h + 105. Let c be k(8). Let n = 182 + -286. Let s = c - n. Is s a prime number?
True
Let n(t) = -t**3 + 11*t**2 - t + 14. Let w be n(11). Suppose 2*c - 2*p = 0, 0 = -2*c - 0*c + w*p + 4. Is (-97)/(-2)*(-2 - c) a composite number?
False
Let v(j) = -17*j**2 - 3*j + 2. Let q be v(1). Let u be (-3)/18 + (-3)/q. Let y(f) = 2*f + 422. Is y(u) prime?
False
Let x(d) = -d**2 + 9*d - 7. Let q be x(1). Let p(c) = 4614*c**3 - 2*c**2 - 2*c + 3. Is p(q) composite?
True
Suppose -66 - 6 = 3*i + z, 3*i + 60 = 3*z. Let l = i + 11. Let b = l - -38. Is b a composite number?
True
Is ((-37251)/(-2))/(((-99)/6)/(-11)) prime?
False
Let u(c) = 388*c - 173. Is u(13) prime?
True
Let c(x) = 45*x - 57. Suppose 2*t + 5*r - 38 = 0, -3*r + 50 = 4*t - 6*r. Is c(t) a prime number?
False
Suppose -392 = -5*n + 43. Is n prime?
False
Suppose -3*x = 43 + 17. Is -3*4/x*55 a composite number?
True
Let f(n) be the first derivative of -n + 39/2*n**2 - 10. Is f(4) a composite number?
True
Let y = -4627 + 9660. Is y a prime number?
False
Let d(m) = 242*m**2 + 5*m - 4. Is d(9) a prime number?
False
Suppose -4*s - 5*j = -3*s - 20, 16 = 4*s + 4*j. Suppose s = -v - v + 118. Is v composite?
False
Suppose 4*t = 7*t + 951. Let j = 1464 + t. Is j a prime number?
False
Let s be (84/(-35) - -2)*(-5)/1. Is 1873 - ((-1)/3)/(s/(-12)) a composite number?
False
Let o(s) = -23*s**3 + 29*s**2 + 4*s - 33. Is o(-8) a composite number?
False
Let s be 1236/10*((-80)/12)/(-2). Suppose -3*z + 4*z - s = -u, 818 = 2*z - 4*u. Is z a prime number?
False
Suppose -1 = -2*q - 3. Let u(j) = 3*j**2 - 1. Let y be u(q). Suppose 4*w + 338 = 5*k - 897, y*w = 5*k - 1245. Is k composite?
False
Suppose -3*n + 2*j = 27, -4*n + 4*j - 32 = -0*j. Let b = n - -13. Is b/(8/188 + 0) composite?
False
Let y(s) be the second derivative of s**5/20 + s**4/12 + 133*s**2/2 + 21*s. Is y(0) prime?
False
Let r be (5 + -3 - 0) + -29. Let f = 23 + r. Let g(k) = -84*k - 5. Is g(f) prime?
True
Let u = 2 + -4. Is -1 - u/(-4)*4104/(-6) a prime number?
False
Suppose -87 = 2*n + 5*v, 10 + 2 = 4*v. Is (n/6)/(5/(-30)) composite?
True
Let q(o) = 3*o**2 + 11*o**2 + 7*o - 15*o**2. Let w be q(7). Suppose 0 = 2*p - 3*p - 3*v + 62, -p - 4*v + 61 = w. Is p composite?
True
Is ((-611)/234 + 2/18)*-4106 a composite number?
True
Let u = -742 + 325. Let r = -1459 + 851. Let p = u - r. Is p prime?
True
Let p(h) = 2*h + 3. Let n be p(0). Suppose 3 = 3*u, 4*m - u - 1774 = -n*u. Is m a composite number?
False
Let r be -5 - -3 - (-4 + -1 + -1). Suppose -5*x + 2719 = -2*x + g, r*g = -5*x + 4527. Is x a composite number?
False
Suppose -365*n = -343*n - 30998. Is n a prime number?
True
Let s = 25 + -26. Is (-5964)/(15/(-5)) + s a prime number?
True
Suppose 0 = -4*j + 3*v + 20, j + 7*v + 10 = 4*v. Suppose u - 4 = -3*h + 10, 5*h = -j*u + 24. Suppose -86 = h*t - 6*t. Is t a composite number?
False
Let w = -122 + 205. Is w a prime number?
True
Suppose -6 + 4 = h. Let u(l) = -13*l**3 - 4*l**2 - 5*l - 1. Is u(h) prime?
True
Suppose -5*l + 11132 = 2*q, 6*q + 27797 = 11*q - 4*l. Is q prime?
False
Suppose -3*p + 7149 = -0*p. Let x be p/3 + (-18)/54. Suppose 0 = -5*r + x + 101. Is r composite?
False
Is (-7899)/(27/(45/(-5))) prime?
True
Let b = 27094 + 33279. Is b prime?
True
Let o(i) = -564*i + 9. Let f(p) = p. Let y(h) = -f(h) - o(h). Is y(2) a prime number?
True
Let g(b) = 120*b**3 - 2*b**2 - b + 2. Suppose -9*r = -5*r - 4. Is g(r) prime?
False
Suppose -4*x - 32 = -2*f, 4*x - 16 = -5*f - 6. Let r(j) = j**3 - 6*j**2 + 7*j - 3. Let d be r(f). Let c = 200 - d. Is c composite?
True
Suppose -7*w = -7350 - 21259. Is w composite?
True
Let x(z) = z**2 + 4*z - 17. Let y be x(-7). Suppose -p + 1 = 0, s - y*p + 8019 = 6*s. Is s a prime number?
False
Let l = 328 - 331. Let z = 567 - 393. Let p = z - l. Is p a composite number?
True
Suppose -26*r = -13*r - 6071. Is r a composite number?
False
Suppose 0 = 3*r - 2316 - 942. Let i = r + -733. Is i a composite number?
False
Let p(i) = i**2 + 6*i - 16. Let v be p(-8). Suppose -60 = -s - v*s. Let o = s + 67. Is o prime?
True
Let z(n) = -n + 59. Let u(t) be the second derivative of t**5/20 + t**4/2 - t**3/6 - 3*t**2 + 2*t. Let i be u(-6). Is z(i) prime?
True
Suppose 0*i + 756 = -2*b + 3*i, -4*b = 3*i + 1548. Let z be 1/((-4)/2372*-1). Let x = b + z. Is x prime?
False
Suppose 2292 = 7*q - 3*q. Is q a composite number?
True
Let s be 6/39 - (-96)/52. Let j(p) = -p**3 + 4*p**2 - 3*p + 1. Let t be j(s). Is 8/24 - (-266)/t prime?
True
Suppose -4*a = a + 25, 2*a = 3*j - 466. Suppose -2*h + 68 = 5*v, 6*h + 2*v - j = 2*h. Is h a composite number?
True
Let n(v) = 123*v - 2. Let g be 2/(-4) + 10/4. Let f be n(g). Suppose 5*o = 1299 - f. Is o composite?
False
Let d be ((-10)/(-4))/((-2)/(-4)). Let v = 1 + 9. Suppose -d*y - v = -45. Is y composite?
False
Let z be (-6)/45 - (-132535)/75. Let o = z + -554. Is o a prime number?
True
Let k = 58765 - 35288. Is k a prime number?
False
Let w(y) = 43*y - 2. Suppose 2*u = -z - 2*z + 56, 0 = 4*z - 2*u - 56. Suppose 0 = 2*a + 5*i - z, -4*i = i - 10. Is w(a) a prime number?
True
Let g(z) = 775*z + 254. Is g(11) prime?
True
Suppose 4*k - 10 - 4 = 2*n, -3*n = -2*k + 5. Let j(y) = -3 - 2*y**2 + 1 + 222*y**3 + 4*y**2 + 3 - 2*y. Is j(n) prime?
True
Let a be ((-3)/(-6)*-4 - -3)/1. Let t(o) = 130*o**3 + 3*o**2 - 2. Is t(a) prime?
True
Let w(t) = t**3 - 8*t**2 - 8*t - 10. Let z be w(9). Is -1 + 2 + z - -1835 a composite number?
