-2 - -43)) prime?
True
Let b(m) = m**3 - 3*m**2 + m - 3. Let d be b(3). Let i(f) = f + 1. Let a be i(1). Suppose d = -a*n + n + 13. Is n a composite number?
False
Let u = -243 + 111. Let g = 223 + u. Suppose -f + 2*k + g = 0, 162 = -f + 3*f + k. Is f a prime number?
True
Let f = -7757 + 11664. Is f a prime number?
True
Let s(y) = 2*y**2 - 5*y - 3. Let c be s(4). Let n(l) = -l + 15. Is n(c) a prime number?
False
Let i(h) = -h + 8. Let y be i(5). Suppose 3*z - 539 = -2*a - 0*z, -y*z + 1361 = 5*a. Suppose 4*q - 2*w - a = -0*w, w - 5 = 0. Is q composite?
False
Let w(a) = -136*a + 2. Let x be w(-1). Suppose 0 = -4*o + 206 + x. Is o composite?
True
Suppose 3*y + 2*y - 65 = 0. Suppose 0*z = 3*z - 15. Suppose z*x - 83 = -y. Is x composite?
True
Let n = -148 - -206. Is n prime?
False
Let d be (-3)/12 - 42/(-8). Suppose -y - 238 = d*h - 1048, -2*y = 3*h - 493. Let l = 366 - h. Is l composite?
True
Suppose 43*k = 40*k + 789. Is k a composite number?
False
Suppose 4977 = -0*w - 3*w. Is (-2)/8 + w/(-28) a prime number?
True
Let a(c) = c**3 - 9*c**2 - 11*c + 1. Let v be a(10). Let z = -6 - v. Suppose -4*o - 4*g + 0*g = -96, 0 = -4*o - z*g + 93. Is o a prime number?
False
Suppose 0 = r - 3*o - 142, 5*r - 7*o - 730 = -2*o. Let f = -93 + r. Is f a prime number?
False
Let z = 486 - 41. Is z prime?
False
Suppose -4*m - 2*z = -z + 969, -m + 3*z - 252 = 0. Let v = -125 - m. Let n = v - 69. Is n a prime number?
False
Is 4/((-16)/(-186))*(-2)/(-3) composite?
False
Let s(t) = 5*t**2 + 9*t + 1. Is s(-6) prime?
True
Suppose -3*n - n = 4. Is 65/5 - 1/n a prime number?
False
Let o(l) = l**3 - l**2 - l + 89. Is o(0) a prime number?
True
Let w(i) = i**2 + 6*i. Let k be w(-6). Is 63 + (k - -3 - 1) a prime number?
False
Let f(j) = 7 + j**2 + 0*j**2 - 3*j - 3*j. Let c be f(5). Let q = c - 0. Is q composite?
False
Let a(y) = -80*y + 4. Let r be a(-6). Suppose -2*w = -7*w, 3*w - r = -4*b. Is b a prime number?
False
Suppose 0 = -2*a + 8, 4*a = d + d - 804. Suppose 2*z + 5*v - d = 0, -4*z + 339 + 513 = 2*v. Is z a composite number?
True
Suppose -l = -2 - 0. Let s = l - 2. Suppose 0 = -s*m + 3*m - 57. Is m a prime number?
True
Let a be 107/(-7) - 4/(-14). Suppose 4*z = -9*z + 442. Let s = z + a. Is s prime?
True
Is 2253/4 - 4/16 composite?
False
Let t = 300 - 893. Let z = t + 1060. Is z prime?
True
Suppose 3*b + 4*x - 22 = 0, -1 - 7 = 4*x. Is (-323 + 1)/(b/(-5)) a composite number?
True
Let y(q) = 251*q + 10. Is y(3) prime?
False
Let k = -9196 - -15053. Is k a composite number?
False
Let m = -6 - 33. Let w = -13 + 95. Let p = m + w. Is p composite?
False
Suppose 391 + 283 = 2*v. Is v a prime number?
True
Is (-3)/(-2)*(-124)/(-6) composite?
False
Suppose 5*i - 808 = o + 1560, 4*i - 1895 = o. Is i a composite number?
True
Let f = 17 - -290. Is f prime?
True
Let w(f) = -f**3 - 16*f**2 - 18*f - 14. Let a = 15 - 30. Is w(a) composite?
False
Let y(w) = -6*w**3 - 6*w**2 - 6*w + 4. Is y(-5) prime?
False
Suppose -4*y = -1635 - 53. Is y a prime number?
False
Let i(b) = -7*b. Let g be i(-1). Let c(k) = -k**3 + 8*k**2 + 11*k - 7. Is c(g) a composite number?
True
Let p = -535 + 752. Is p a composite number?
True
Let l(p) be the first derivative of -p - 3 - 21/2*p**2. Is l(-4) prime?
True
Let b(o) = 9*o - 1. Let l be b(1). Let h = l - 1. Is h a composite number?
False
Let b be 11365/6 - (-4)/(-24). Suppose 3*w + 6*v - v = b, -v - 3110 = -5*w. Is w a composite number?
True
Let l be 3 + (-3044)/((-8)/2). Suppose -y - 25 + l = 0. Is y a prime number?
True
Let o(y) = -y**3 - y**2 - y - 1367. Let j be o(0). Let c = 2014 + j. Is c a prime number?
True
Suppose 2195 + 1740 = 5*q. Is q prime?
True
Let r be ((-148)/8)/(4/(-56)). Let w = r + -102. Is w a composite number?
False
Let t(i) = -31*i**3 - 3*i - 3. Suppose -2*q = q + 6. Is t(q) a composite number?
False
Suppose -3447 = -4*d - 5*b, 0 = -2*d - 0*d - 4*b + 1722. Is d a prime number?
True
Let y be (-3 + 2)*(2 - 3). Is (-1)/(1/y) + 15 prime?
False
Let g(q) = -1 + 5*q - 4 + 2*q. Is g(6) a prime number?
True
Suppose 2*g = -t - 2*t + 22, -41 = -5*g - 4*t. Let p = g + 17. Is p prime?
False
Let a(v) = 366*v**3 + v**2 - 1. Let i be a(1). Suppose 5*o + i = 7*o. Is o composite?
True
Let a = 18 - 13. Suppose 4*p - 5 = -a*m, -m + 4*p = 4*m - 5. Suppose 2*k - 3*u - 1 = 8, 2*u - m = -k. Is k a composite number?
False
Let f(g) = 21*g - 62. Is f(17) prime?
False
Suppose b + 55 + 66 = 0. Let w = -6 - b. Suppose -r = 2*t - 65, -3*r = 4*t - 6*r - w. Is t a prime number?
True
Let w(o) = -o - 5. Suppose 2*v - 4 = -14. Let h(q) = -q**3 - 5*q**2 + 2*q + 2. Let l be h(v). Is w(l) a prime number?
True
Let r = 41 - 10. Is r a prime number?
True
Let z = -98 - -47. Let q be -15*(28/10 - -2). Let f = z - q. Is f prime?
False
Let s = 356 + -145. Is s composite?
False
Is 9/36 - (-41169)/12 a composite number?
True
Suppose -s - r + 61 = 3*r, -4*s + 244 = 2*r. Let u be 84/(-4)*(-4)/6. Let o = s - u. Is o a composite number?
False
Suppose 0 = -l - 2*l. Suppose -2*a = -l*a - 106. Is a a composite number?
False
Let f = 14 + -1. Let n(w) = 11*w**3 + 2*w**2 - 15*w - 94. Let q(a) = -5*a**3 - a**2 + 7*a + 47. Let g(o) = f*q(o) + 6*n(o). Is g(0) prime?
True
Let f = -2 - -2. Suppose f*h - h = -4. Suppose -h*p + 8 = v - 4, 4*v = 0. Is p a composite number?
False
Suppose 3*k = -3*o + 745 + 134, -5*k - 879 = -3*o. Is o a composite number?
False
Suppose 0*k = 5*k - 5*n - 435, -2*k + 174 = 5*n. Is k a prime number?
False
Let p(x) = x**3 + 17*x**2 + 16*x + 11. Is p(-15) a composite number?
True
Let s(f) = -3*f**2 + 3. Let y be s(-6). Let x = y + 172. Suppose 0 = 3*u - x - 86. Is u a composite number?
True
Suppose 7*a - 7033 = -6*a. Is a prime?
True
Suppose 4*u = 4*q + 27 + 13, 3*q = 5*u - 50. Suppose 0 = -0*c - 5*c + 5*d - u, 2 = c - 3*d. Is 67 - (-2 + (-2 - c)) prime?
True
Let v(b) = -29*b - 1. Let y be v(-1). Suppose -g - 3*u - 7 = -y, 0 = -3*g - 3*u + 87. Suppose 0 = 3*l - g - 0. Is l composite?
False
Let k = 6 - 2. Is (-3046)/(-10) - k/(-10) composite?
True
Let b = -553 + 364. Let a be (-6)/8*(-1 - b). Let j = a - -208. Is j composite?
False
Suppose 1918 = -5*l + 11383. Suppose -3*d + l = -0*d. Is d prime?
True
Let h(y) = y**3 - 7*y**2 - 6*y - 4. Let a be h(8). Suppose 0 = -0*p - 4*p - a. Is (-1)/3*p + 52 a composite number?
False
Suppose -6*t = -3*t - 285. Is t a prime number?
False
Let w = 2 + -2. Suppose w*v = -4*v + 572. Is v a composite number?
True
Let y(z) = 6*z**2 - 3*z + 4. Let x(t) = 19*t**2 - 8*t + 11. Let r(q) = 3*x(q) - 8*y(q). Is r(2) composite?
False
Let c be 27 - 0 - 0/(-2). Let n = 46 - c. Is n composite?
False
Suppose h + 3*s = 434, -4*h = 4*s - 506 - 1254. Is h a prime number?
True
Let j(l) = -549*l - 3. Let u = 6 - 8. Let y be j(u). Is y/35 + 4/(-14) prime?
True
Let j(l) = -2*l - l**3 - 1 + 6*l + 0 - l**2. Is j(-5) prime?
True
Suppose 3*f = 5*z - 3935, -7*f = 2*z - 2*f - 1574. Is z prime?
True
Let z(i) = i - 6. Let g be z(12). Suppose -h + g*h = 1285. Is h a composite number?
False
Let m(g) = -2050*g**3 + g**2. Let h(i) = -i**3 + 7*i**2 - 7*i + 5. Let n be h(6). Is m(n) composite?
True
Suppose 0 = -3*g + 971 - 50. Is g a composite number?
False
Let f(q) = -q - 7. Let h be f(-12). Suppose -3*w = -h*r + 4486, -4*w - 7452 = w + 4*r. Is ((-4)/(-8))/((-2)/w) prime?
True
Let n(q) = 17*q**2 - 2*q - 6. Let j(w) = 2*w + 1. Let b be j(2). Is n(b) prime?
True
Let m be (0 - 0)/(6/3). Let c be (m/(3 + 0))/2. Suppose c = 5*k + f - 384, 3*k - 2*f - 227 = 6. Is k a composite number?
True
Let i(l) = 2*l**2 - 4*l - 7. Let g(o) = 3*o**2 - 2*o + 11. Let j(z) = -5*z**2 + 5*z - 22. Let p(m) = 7*g(m) + 4*j(m). Let x be p(-8). Is i(x) a prime number?
True
Let u = 1 + 3. Suppose 0*v - u = v. Is (-466)/(-10) - v/10 composite?
False
Let m(h) = -2*h**3 + 6*h - 9. Is m(-7) prime?
False
Let u be (2/(-8))/(9/(-6012)). Suppose -3*r + 129 = 3*d, -4*d + u = 3*r - 0*r. Is d prime?
False
Suppose -5*z + 3 - 18 = 5*d, z - 3 = 2*d. Let s(o) = -5*o**3 + o + 1. Let u be s(z). Suppose -u*l = y - 37, 2*l - 5*l - 183 = -3*y. Is y a prime number?
False
Let y = 7 + -4. Suppose -16 = -y*x + 59. Is x composite?
True
Is 4/(-6) - 52840/(-24) a prime number?
False
Suppose 0 = 2*b - 4*b - 1836. Let a = -639 - b. Suppose -4*f + a = -61. Is f prime?
False
Suppose -2*t + 8 + 2 = 0. Suppose 7*y = t*y + 570. Suppose z = -4