= -x**2 - 22*x. Let a(i) = -3*i**2 - 45*i - 1. Let v(j) = 2*a(j) - 5*g(j). Is v(o) a prime number?
True
Suppose 0 = -4*j - 8, -4*j = -2*i - 6*j + 9072. Let d = i - 2359. Is d prime?
True
Is 11/((-605)/(-11)) - (-1049862)/15 prime?
True
Let i(a) be the third derivative of -a**5/60 - 7*a**4/12 - 3*a**3 + 6*a**2. Let r be i(-12). Is 1568/12 - (-2)/r prime?
True
Let z(c) = -c**3 + c**2 - c + 21. Let d be z(0). Let u = 31 - d. Let o = 87 - u. Is o composite?
True
Suppose -13*g + 14*g = -2*o + 57291, 0 = -o + g + 28638. Is o a composite number?
False
Is (1 - -1044) + (52 - 48) a composite number?
False
Let c(v) = -4*v + 31. Let p be c(7). Is (1660 - p/9*6) + -3 a composite number?
True
Let r(b) = -264*b**3 - 2*b**2 - 2*b - 1. Let i be (-1)/4 + 6*(-5)/40. Is r(i) a composite number?
False
Let h = 2957 - 1414. Is h composite?
False
Suppose 3*c = 2*p - 24904, p + 37350 = 4*p - 3*c. Let s = -7911 + p. Is s prime?
False
Let r = 13 + -5. Suppose 4*a - 44 = r*a. Let f(d) = 3*d**2 + 16*d - 4. Is f(a) prime?
False
Let k = -14017 - -34580. Is k prime?
True
Let y(g) = g + 2. Let i be y(-2). Suppose i = 9*b + 985 - 3568. Is b a composite number?
True
Let g = -4605 - -27016. Is g prime?
False
Let d(f) = -65*f - 1. Let o be d(1). Let p be ((-16)/24)/((-4)/o). Let t = p + 24. Is t a composite number?
False
Let t(z) = -37*z**2 - 5*z + 3. Let u(g) = -36*g**2 - 6*g + 3. Let d(c) = -3*t(c) + 2*u(c). Is d(4) a prime number?
False
Suppose -5*p - 4*z = -86425 - 26, -86456 = -5*p + z. Is p a prime number?
True
Is (-61195)/(-2)*(-4)/(-10) prime?
True
Is 165 + -164 - (0 + -3130 + 0) prime?
False
Let d = -156 + 225. Is d a composite number?
True
Suppose 54 = 4*x + 2*a, 3 = -4*a + 5*a. Suppose -3*o + 34815 = x*o. Is o a prime number?
False
Let p be (-20)/(-8)*(-4)/(-5). Suppose -p*v + 556 = -v. Suppose -2*m + v = q + m, 2*q + 4*m = 1110. Is q composite?
True
Suppose 4*v - 3*z = 578, -2*v + 174 + 112 = -3*z. Suppose 2*h - 2*k = 92 + v, k + 357 = 3*h. Suppose w = -l - 0*l + h, 117 = w + 2*l. Is w a prime number?
False
Suppose 3 = -2*x + 1. Let s = -9 - x. Is ((-29)/(-2))/((-2)/s) prime?
False
Let q(b) = 201*b**3 - 6*b**2 - 5*b + 23. Let o be q(5). Suppose 21*a - o = 8*a. Is a prime?
False
Let s(o) = 180*o**2 + 4*o - 7. Is s(-6) prime?
True
Let z be ((-31)/2 - -2)/(3/(-4)). Let i(j) = 134*j - 17. Is i(z) a prime number?
False
Is 5/20 - (-3 - 3246/8) a prime number?
True
Suppose 0 = 2*u + 13 - 3. Let f(z) = 15*z + 20*z - 28*z - 3*z**2 + 5 - z**3 + 0*z**2 + 1. Is f(u) composite?
True
Suppose -2*r - r + 6 = 0, 0 = 3*n + 3*r - 29961. Is n composite?
True
Is ((-7316)/12 + 1)/((-8)/12) a prime number?
False
Let w be (-2)/1*(-5)/(-2). Is 75 + (3 - 5/w) composite?
False
Is (-49861)/(-34)*22/7 composite?
True
Suppose 0 = 2*v - 230 + 84. Let y = v - -346. Is y a prime number?
True
Let c = 52 - 48. Suppose -2*g + c*r + 1263 = 9*r, 2521 = 4*g + 5*r. Is g composite?
True
Let b be (-5)/7 + 10/(-35). Let o be 5*(1 - 0/b). Let j(p) = 16*p - 6. Is j(o) a composite number?
True
Let v = -542 - -1905. Is v composite?
True
Is ((-1399)/(-5))/((-4)/(-20)) a composite number?
False
Is (-1*(6 + 50536/2))/(-2) a composite number?
False
Let c be (5 - 2 - -7) + 2. Suppose -a = -4*a - c. Is (-2332)/16*a/1 composite?
True
Let w(x) = -23*x**2 + 61*x**2 - 4 + 9*x + 4*x - 2. Is w(5) a composite number?
False
Let z(q) be the second derivative of -q**4/12 - 4*q**3 + q**2 - q + 4. Suppose -4*k + k - 4*p - 50 = 0, -3*p = 4*k + 55. Is z(k) prime?
False
Let a = -11 - -15. Suppose 349 = a*g - 835. Is (6/4)/(4/g) prime?
False
Let a(x) = -10*x + 8 + 3*x**3 + 8 + 3*x**2 - 2*x**3 - 5. Is a(8) a composite number?
True
Let k be (784/(-70))/((-1)/5). Let a = 93 - k. Is a a prime number?
True
Let n be -4 + (7 + 0)/1. Suppose n*x = -3 + 9. Suppose -x*l = -511 - 195. Is l a composite number?
False
Suppose -3*n = 2*x - 9 + 1, n + 3*x = -2. Suppose -a - 81 = 4*i, 2*a + 107 = -n*i + 29. Is -215*(i/15 + 1) composite?
True
Suppose -2*v + t = -0*v - 2, -5*v = -5*t. Suppose v*g - 2370 = -284. Is g composite?
True
Suppose 0 = 9*s - 82912 + 4999. Is s a composite number?
True
Let o(k) = 3535*k**2 - 77. Let s(i) = 93*i**2 - 2. Let t(m) = -2*o(m) + 77*s(m). Is t(-1) a prime number?
False
Let z(h) = h**3 + 10*h**2 + 3*h + 1. Let v = 6 - 1. Suppose -14 = -v*p - 44. Is z(p) composite?
False
Suppose 0 = 1312*s - 1314*s + 28802. Is s composite?
False
Let v(p) be the second derivative of -p**5/10 + 5*p**4/12 + 5*p**3/3 - p**2 + 21*p. Is v(-4) a composite number?
True
Let u(x) = -2860*x + 1. Let n be u(-1). Let g = -972 + n. Is g prime?
True
Let c be -5*(-15)/(0 + 5). Suppose 18*y = c*y + 111. Is y prime?
True
Suppose 2*y - 4*b - 714 = 188, -3*b = -5*y + 2290. Let t = 6 - 1. Suppose 3*q - 2*g = g + 312, -4*q - t*g + y = 0. Is q prime?
True
Let i(k) = -51*k**3 + k**2 + 2*k + 1. Suppose 0 = -2*l - 2*b - 6, -6*b + 4*b - 4 = 0. Is i(l) composite?
True
Let u be (-2 + 1)*(1 + -1). Suppose u = 3*i - 2*q - 2, 5*q - 2 = i + 3*q. Suppose 5*c = -3*x + 454, 798 = 6*x - x - i*c. Is x prime?
False
Let j = 3 - -2. Let s = -796 + 1115. Suppose j*z = -24 + s. Is z a composite number?
False
Suppose 229*o - 231*o = -62614. Is o a composite number?
False
Suppose 3*i - 3*m - 42 = 0, -3*i + 34 = 2*m - m. Let l = 10 - i. Let r = 105 + l. Is r a prime number?
True
Suppose -10*g = 9*g - 33307. Is g a composite number?
False
Let i(g) = 2*g - 7. Let h be i(3). Let r(b) = -7*b - 1. Let c be r(h). Is (-2 - (-15)/c)*422 a composite number?
False
Let y(j) be the first derivative of -51*j**2 - 7*j + 11. Suppose 3*r = -5 - 10. Is y(r) composite?
False
Let b(r) = 107*r**2 + 3*r - 5. Let f be b(4). Suppose 281 + f = 5*m. Suppose 2*t = 2*v - 4*v + m, 2*t - 403 = -v. Is t a composite number?
True
Let q(f) = 327*f + 18. Let n be q(-3). Let r = n - -1708. Is r a composite number?
True
Let b be (-2)/((-7 + 3)/56). Suppose 3*z - b = -4*s + 6*z, -4*s + 24 = -2*z. Suppose -2*c = -2*d + 324, -s*d - 5*c = -d - 478. Is d prime?
False
Let m be (-2)/(-9) + 4954/(-18). Suppose -9*o - 1794 + 6150 = 0. Let s = m + o. Is s a composite number?
True
Let d(t) = -t**3 - 8*t**2 + t + 15. Let r be (2 - (3 - -1)) + -9. Let k be d(r). Let w = k - 190. Is w a composite number?
True
Let m(i) = 2*i + 7. Let k be m(6). Suppose -4*p + 0*p = -z - k, -5*p = -2*z - 23. Suppose 145 = p*o - 40. Is o a composite number?
False
Let i(s) = 4*s - 21. Let p be i(6). Suppose 2*q - 2*k - 62 = p*k, -5*k = -3*q + 88. Is q prime?
False
Suppose 4 = 4*y, p + 3019 = 5*p + 3*y. Suppose -2*d + 4788 = p. Is d a prime number?
True
Let g(b) = b**3 + 3*b**2 - 16*b - 37. Is g(14) a prime number?
False
Let z(t) = -t**2 - 11*t + 28. Let m be z(-13). Suppose 0 = -r - m*r + 9. Suppose r*s = 91 + 158. Is s composite?
False
Let l = -2 + 5. Suppose l*z = 7*z - 8. Suppose z*q = 2, -3*m - 52 = 3*q - 172. Is m composite?
True
Let q(a) = -7*a**3 + 9*a**2 - 4*a - 37. Is q(-7) composite?
False
Let q be 6/30 - 2519/(-5). Suppose 5*c - 8*u = -7*u + 2500, u = c - q. Is c a composite number?
False
Suppose 0 = 5*h - z + 4*z - 22959, 4*z - 13782 = -3*h. Let i = -3271 + h. Is i prime?
True
Suppose 2*c + 73 = 79. Let n be (-2 - 0 - 0) + 721. Suppose -o = -6*o - 2*g + n, 4*o - 571 = -c*g. Is o a composite number?
True
Let b = 587 - -3462. Is b a prime number?
True
Suppose 2308 = 4*g - 2*g + x, -5*g = -x - 5770. Suppose 4*p - 1538 = g. Is p composite?
False
Suppose -143951 = -2*a - 5*y, -73329 = -2*a + 4*y + 70649. Is a prime?
True
Let q(p) = 471*p**2 - 7*p + 37. Is q(5) a composite number?
False
Let c(v) = -v + 8. Let u be c(4). Suppose -u*h - 605 = -1913. Is h a composite number?
True
Let z be (2/(-4))/(7/(-28)). Suppose -3*d - 31 = 5*u, 3*u + 17 = -2*d - z. Let o(r) = 11*r**2 + 5*r + 7. Is o(u) composite?
False
Let u = -4 + 21. Suppose u = -a - 14. Let t = 768 - a. Is t a prime number?
False
Suppose 180 = -5*h - 10. Let m = h + 93. Suppose 5*j - w - 199 = 3*w, j + 3*w - m = 0. Is j prime?
True
Suppose -5*m - 12*m + 47821 = 0. Is m a prime number?
False
Suppose -j - 3*r - 39 = 2*j, 0 = -5*j - 3*r - 71. Let m be (-3)/(-12) - (-20)/j. Is (-502)/(m*(3 + -1)) a composite number?
False
Let n(l) = l**3 - 12*l**2 - 19*l - 8. Suppose 90 = -d + 7*d. Is n(d) a composite number?
True
Let d(p) = -188*p - 12. Let j(u) = -u - 5. Let v be j(4). Let t be d(v). Suppo