te?
True
Let o(s) = -42*s - 23. Is o(-12) composite?
True
Let s(a) = 2*a**2 + 3*a + 3. Let u be s(-2). Suppose -u*f + 521 = -224. Is f prime?
True
Let f = 36797 + -25726. Is f a composite number?
False
Let b = 10 - 14. Let z be b + -5 - (-5 + 2). Is z/(-10) + 1264/10 composite?
False
Suppose 6931 + 4570 = 7*f. Is f a prime number?
False
Suppose -5*p = 2*d - 1459, -5*p + 11*d - 14*d = -1456. Is p composite?
False
Suppose 3*w = 8*w + 50. Let j(p) = p + 20. Is j(w) a composite number?
True
Is (-7)/(-14) + (-2)/((-4)/2797) a composite number?
False
Let i = -72 + 118. Let p be 14/6 + (-10)/(-15). Let j = i - p. Is j prime?
True
Let x(k) = -1096*k + 36. Let o be x(-8). Suppose -14*y + 6330 = -o. Is y prime?
False
Suppose 37904 = -0*k + 3*k + 5*z, k - 2*z = 12631. Is k prime?
False
Suppose k - 8*k + 28 = 0. Is (16436/16)/7*k a composite number?
False
Let z(j) = 17*j**3 + j. Let n be z(1). Let b = -14 + n. Suppose -5*d - m = -4*m - 814, 5*d + b*m = 793. Is d a prime number?
False
Suppose -4*s - 12 = 0, 3*s + 470 = -3*w + 1796. Suppose 3264 = q + 5*b - w, 2*q - 5*b = 7418. Is q a prime number?
True
Let p(o) be the second derivative of -28*o**3/3 + o**2 - o. Let b be p(-5). Suppose -2*c + b = 4*h, 4*h = 2*c + 222 + 48. Is h composite?
True
Let x(l) = 86*l - 4. Let z = 8 + -6. Let d be z/17 + (-147)/(-51). Is x(d) a prime number?
False
Let m be -1 - (-2 - 2) - -854. Suppose -m = -4*a + 5*v, a = -3*v - 80 + 290. Suppose a = w + 2*w. Is w prime?
True
Suppose -34*m + 38*m - 4*p - 13296 = 0, 5*p = -25. Is m composite?
False
Let a(m) be the first derivative of 8*m**3/3 + 9*m**2/2 - 40*m - 57. Is a(-13) prime?
False
Let a = 2696 + 1695. Is a a composite number?
False
Let f(x) = -5*x**2 + 29*x - 7*x + 4*x**2 + 8. Is f(11) prime?
False
Let b be 0*(-3)/4*22/(-33). Suppose b = 3*m - i - 1893, 5*m - i = 3*m + 1262. Is m a prime number?
True
Let w = -15 + 18. Suppose -2*s = -w*s + 251. Is s prime?
True
Let h(q) = 181*q + 25. Is h(16) prime?
False
Let s be -2 + 5 - -31 - -1. Suppose i - b + s = -i, 3*b + 104 = -5*i. Let d = i + 96. Is d a prime number?
False
Suppose -4*j - 1129 = 195. Let i = 76 + j. Is 12/(-4) - (-2 + i) prime?
False
Let a(p) = -p**3 - 46*p**2 - 125*p + 99. Is a(-44) composite?
True
Let t(f) be the third derivative of 1/8*f**4 + f**2 + 0*f**3 + 0 + 4/15*f**5 + 0*f. Is t(-2) a composite number?
True
Let t(y) = -y**3 + 6*y**2 - 5*y + 2. Let q be t(4). Suppose -3*l + c = -q, 2*l + 2*l = -4*c + 24. Suppose 10*n - l*n = 725. Is n a composite number?
True
Let w(l) = -l + 26. Let h(x) = 1. Let y(s) = -3*h(s) + w(s). Is y(0) prime?
True
Let w = 9853 - 3591. Let s = w - 4083. Is s composite?
False
Suppose -2*d - 15813 = -5*t, 5677 = 4*t - d - 6974. Is t composite?
False
Let b = -67 + 125. Let y(r) = -18*r - 25. Let t be y(6). Let x = b - t. Is x a composite number?
False
Let m = -40 - -69. Suppose 0 = -m*q + 27*q + 782. Is q composite?
True
Let s(g) = 28*g**2 - 2*g + 5. Let z = 5 + -8. Is s(z) a prime number?
True
Let o(z) = -2*z**3 + 4*z**2 - 2 + 2*z**3 + z**3 + 3*z**3 + 5*z. Is o(5) a prime number?
False
Let b(c) be the first derivative of c**2/2 + 10*c - 4. Let l be b(-9). Is 927/12 + l/(-4) a prime number?
False
Suppose -2*b = -0*b - 80. Let a(n) = -34*n - 25*n - b*n - 4. Is a(-5) a composite number?
False
Suppose 2*a - 28 = 10. Suppose 5*g - 1 = a. Suppose 0 = k, -g*i - 8*k = -4*k - 52. Is i a composite number?
False
Let j = 6 - 1. Suppose -3*t - j*b + 10*b = 31, 4*b = t + 22. Is -2 + -1 + 163 + t composite?
True
Let r(s) = s**2 + 17*s - 18. Let a be r(-20). Suppose t - a = 52. Is t a prime number?
False
Let z(m) = m**2 + 4*m + 20. Let i be z(-7). Suppose i*l = 37*l + 3868. Is l a prime number?
True
Suppose t - 3*t + 20 = 3*q, 3*q - 30 = -3*t. Let d(h) = 3*h**3 - h**3 + 6*h + 15 - 14 - t*h**2. Is d(6) a prime number?
True
Let y = -10033 - -24985. Suppose 4*z - y = 8804. Is z a prime number?
True
Let u = 2320 + 436. Let j = u + -705. Is j prime?
False
Let b = 29 - 39. Is (26*(-5)/b)/((-2)/(-34)) composite?
True
Let s be 7852/5 + (-2)/5. Suppose -11*t + s = -9*t. Is t a prime number?
False
Suppose 40*z + 77401 = 57*z. Is z a composite number?
True
Let w(q) = q**3 + 32*q**2 + 21*q - 35. Is w(-27) prime?
False
Suppose -8*l + 3111 = -10313. Is l a prime number?
False
Let j = 13194 + -5423. Is j composite?
True
Let j = 3 + -4. Let g be 3/2*(147 + j). Let w = g - 90. Is w prime?
False
Suppose -6*d = -2*d - 9936. Suppose 6*k = 6522 - d. Is k a prime number?
True
Let q = -66 - -69. Suppose 0 = 4*z - 5*k - 1350 - 1645, 0 = 3*z + q*k - 2226. Is z prime?
False
Let l(d) = -89*d - 85. Is l(-6) prime?
True
Let r(m) = 58*m**3 - 18*m**2 + 10*m + 19. Is r(11) prime?
True
Let r = -34740 - -51527. Is r composite?
False
Let u(o) = -o**3 - 3*o**2 + 7*o - 3. Let v be u(6). Let k = -30 - v. Suppose 2*h = -h + k. Is h composite?
True
Is (1 - 0)/((8/32788)/2) a prime number?
False
Let s(d) = 3*d**2 - 15*d + 13. Let b = -7 + 18. Is s(b) a composite number?
False
Let a = 26531 - 15346. Is a composite?
True
Let w = 49 - 46. Suppose s - r = 2*s - 244, w*s - 2*r = 707. Is s a prime number?
True
Let z = -334 - -671. Is z prime?
True
Let o = -29908 + 53823. Is o prime?
False
Let n = 663 + -377. Let o = n - 203. Is o prime?
True
Suppose -6*o = -3*o - 6. Suppose 5*m - 20 = 4*b, o*b - 4*m + 16 = 6*b. Suppose y - 2*a - 63 = 0, 5*y - 3*a = -b*a + 301. Is y prime?
True
Let k = -106 - -122. Let s(z) = 5*z**2 + 17*z - 9. Is s(k) a composite number?
False
Let y = 5138 - -7473. Is y composite?
False
Let y(u) = 57 + 4*u**2 - 27 + 22*u - 19. Is y(-6) prime?
True
Let g = 3582 + 2251. Is g a composite number?
True
Suppose -6*u + 2*u = 2*q, q - 3*u - 25 = 0. Suppose -2*c + 2*w = 2, 8*c - 7*c - 4*w = -q. Suppose g = c*h - 82, -2*h - h + 5*g + 137 = 0. Is h a prime number?
False
Let h be 19/4 + 8/32. Suppose c - 1986 = -h*c. Is c prime?
True
Let c(i) = 42*i**2 + 11. Let m be c(-5). Let z = m - 632. Suppose 6*k - z = 141. Is k a prime number?
False
Let m(p) = -78*p + 16. Let u be m(-7). Suppose -j - 3*z = -366, 190 = 2*j + 2*z - u. Suppose 2*x - 5*x = -j. Is x prime?
True
Suppose -45360 = -4*y + 5*h, -2504 = -y + h + 8835. Is y a prime number?
False
Let x be (1 - 2) + 9/3. Let z = 37 - 34. Is 291/x*2/z composite?
False
Is -58 - -55 - (2 + -2 - 6070) composite?
False
Suppose 2662 = 2*q - 3*t, -4*q + 5*t + 5352 = 6*t. Is q a composite number?
True
Let v(b) = 28*b**2 - 3*b + 48. Is v(7) composite?
False
Let c(y) be the second derivative of 16*y**3/3 - 5*y**2 + 2*y. Suppose 24 = p + 8. Is c(p) a prime number?
False
Suppose 0 = -2*r + 4*r + 412. Let x = 111 + 474. Let v = r + x. Is v composite?
False
Suppose 2*d - 20189 = l, l + 30266 = 3*d - 4*l. Is d a prime number?
False
Let g(v) = 7*v - 25. Suppose -3*c + 6*l = l - 36, -2*l - 36 = -3*c. Is g(c) a composite number?
False
Suppose -29 - 4 = q. Let j = q - -21. Is (-1578)/j - 1/2 a composite number?
False
Let t = -8058 + 14479. Is t composite?
False
Suppose -24959 = -4*f + o, 2*f = -o + 3*o + 12484. Is f a prime number?
False
Let t = 1218 - 19. Is t a composite number?
True
Let d be 40*((-6)/(-7))/((-20)/(-2555)). Let j = 215 + d. Is j composite?
True
Let i be -1 + 1 - (-1 + -7). Suppose -3*z + i + 7 = 0. Suppose 0 = 2*w - z - 17. Is w prime?
True
Suppose -1724*x - 61970 = -1726*x. Is x prime?
False
Let j be 4/(-18) - (80/(-36) - -2). Suppose -5*r - 5*l = -6970, j*l = -l + 3. Is r a prime number?
False
Suppose -5*g = -4*v + 3*v + 209, -3*v + 649 = -4*g. Suppose 2276 + v = 5*w. Is w prime?
True
Let d be (0 - -1) + 11/1. Let z be ((-256)/d)/4*-3. Is 223/(-2)*(-22 + z) prime?
False
Suppose -4 = i + 4*q, -5*i + 4*q = -4 - 0. Suppose 3*z + 4*y - 5091 = i, -2*y = -y - 3. Is z a prime number?
True
Let c be (8/16)/(2/4). Is 555 - c - 3/1 a composite number?
True
Let i(q) = 19*q**3 + 5*q**2 + 4*q - 19. Is i(6) composite?
False
Let a = 869 - -305. Is a composite?
True
Let r(y) be the second derivative of 5*y**3/3 - 9*y**2/2 + y. Is r(12) a prime number?
False
Suppose -4*p - 15336 = -4*l, 0*l = l - 2*p - 3839. Is l composite?
True
Let w be 48327/(-21) - 2/(-7). Let h = 3958 + w. Is h a composite number?
False
Let w = -3 - -12. Suppose w*s - 10*s + 817 = 0. Is s a prime number?
False
Suppose 338 = -3*c + 38. Let y = c - -153. Is y a composite number?
False
Let t be