 = 4*i - 5. Let d(h) = -4*h + 5. Let w(x) = 2*d(x) + 3*o(x). Let u(m) = -m**3 - 7*m**2 - 7*m - 1. Let j be u(-6). Is w(j) a composite number?
True
Suppose -4*g = 4*a - 28, -8*g + 35 = -3*g + 4*a. Is g a prime number?
True
Suppose -84 = -s + 5*t, -3*s - 4*t + 478 = 2*s. Is s composite?
True
Let b = 227 + -64. Is b a prime number?
True
Suppose 0 = -g - 3*v - 16, 2*g - 5*v = 7*g + 70. Let t(m) = 3*m**2 + 13*m - 7. Is t(g) prime?
True
Let j(s) = -s + 9. Let i be j(10). Let b(d) = -58*d - 1. Let n(t) = t. Let l(v) = b(v) + 4*n(v). Is l(i) prime?
True
Suppose -5*o = -4*z + 1114 - 74, -1341 = -5*z - 4*o. Is z composite?
True
Let u(l) be the second derivative of 11*l**5/20 - l**4/12 + l**3/2 - l**2/2 + 6*l. Is u(2) composite?
False
Let o = 8 + -2. Let t = o + 13. Is t a composite number?
False
Let f(x) = -x**2 - x + 37. Is f(0) a composite number?
False
Suppose 3*o - 1033 = 404. Is o composite?
False
Let n(y) = -y**3 - 7*y**2 - 8*y + 1. Let i be n(-6). Let h = 18 + i. Is h a composite number?
False
Let g(z) = 2*z**2 + z + 1. Let u be g(-3). Let t = -10 + u. Is t a prime number?
False
Let b(z) = 2*z**2 + 8*z - 29. Is b(-12) composite?
False
Suppose 5*o = 32 - 12. Suppose -o*i = -f, 4*i - i = 5*f + 17. Is (2 - (i - -2))*23 prime?
True
Let q(y) = 9*y**2 + 9*y - 14. Let n(r) = 5*r**2 + 5*r - 7. Let z(a) = 11*n(a) - 6*q(a). Let b = -13 - -19. Is z(b) a prime number?
False
Suppose -2*d = -2*r - 10, 3*d - 5*r - 21 = -0*r. Let j(n) = 52*n + 2. Is j(d) a composite number?
True
Is (-1490)/(-4) - (-8)/16 - 0 composite?
False
Let m(c) = -c**3 - c**2 + 5*c - 4. Let a be m(4). Let r = a - -143. Is r a prime number?
True
Let t be ((-4)/12)/(1/6). Let l(d) = 10*d**2 + 2*d - 2. Is l(t) a composite number?
True
Suppose 0 = -2*u - 5*v + 407, 0 = 2*u + 6*v - 2*v - 410. Is u prime?
True
Let x(a) = 5*a**2 + a - 1. Is x(7) prime?
True
Let c(b) = 2*b**3 - b**2 + 3*b - 1. Let r = 4 + -1. Let n = r - 0. Is c(n) a composite number?
False
Let b = 3 - 0. Suppose -190 = -2*j - b*j. Is j prime?
False
Let o(r) = r**3 + r**2 - r. Let p(x) = -x - 14. Let i be p(-11). Let z be (i*1)/(12/(-8)). Is o(z) composite?
True
Suppose 1253 = -14*f + 21*f. Is f a prime number?
True
Let b be 1 + (0/(-1))/(-2). Let c be b*(-159)/(-6)*2. Suppose 5*h - 62 - c = 0. Is h a composite number?
False
Let t(m) = 204*m - 1. Let r(w) = 2 - 2 - 1020*w + 6 + 0. Let u(z) = -2*r(z) - 11*t(z). Is u(-1) a composite number?
True
Let b(a) = -a**3 + 6*a**2 + 18*a - 10. Let u be b(8). Let h(l) = -2*l**2 - 3*l - 3. Let y(x) = x**2 + 2*x + 1. Let o(p) = -3*h(p) - 5*y(p). Is o(u) composite?
True
Let r = 74 - 23. Suppose w - 8 - r = 0. Is w a composite number?
False
Let i(z) = 6*z**3 + 3*z**2 + 6*z - 9. Let o be i(4). Let w = 8 - 5. Suppose -w*n - o = -6*n. Is n prime?
True
Suppose -5*l + 35 = -5*h, -4*l + 32 = 4*h - 9*h. Suppose -5*w + 5*a = -0*w - 380, 0 = -w + l*a + 74. Is w composite?
True
Suppose 3*w + u = -0*w + 4, 0 = -w + 3*u + 18. Suppose -2*m + w = m. Let z(t) = 35*t**2 - 2*t + 1. Is z(m) prime?
False
Suppose 4*j + y = -897, 1135 = -5*j - 5*y + y. Let u = 489 + j. Suppose -5*l = -5*x + 290, -5*x - 5*l + 2*l + u = 0. Is x a prime number?
False
Let t = 458 - 243. Is (t/(-3))/(9/(-27)) prime?
False
Suppose -q = 3*q - 60. Suppose 5*v = w + q, w - 2 = -v + 1. Suppose -5*s + 177 = -2*z, 0*s - 4*s = -v*z - 136. Is s composite?
False
Suppose 3*q = 11 + 10. Let y = q - 2. Suppose -6 = -y*n + 3*n. Is n a prime number?
True
Let j be (12/(-15))/(4/(-10)). Is (-4)/(0 + j) + 55 a composite number?
False
Let c = 24 + 18. Let t = 47 + c. Is t prime?
True
Let f(i) = -14*i**3 + 2*i**2 - 2*i - 3. Suppose 2 = -4*q + 3*q. Is f(q) a prime number?
False
Suppose -3*b + 3*r + 982 = -2*r, 1318 = 4*b + 2*r. Is b prime?
False
Let a be (-1)/(1/(1/1)). Let y be a - -8 - (3 - 0). Suppose y*t = -0*t + 492. Is t composite?
True
Suppose x - 3*k = 2*k + 20, 0 = x + 5*k. Let d = x + 3. Is d a composite number?
False
Let v(x) = -x**2 - 7*x - 3. Let m be v(-6). Suppose -g = m - 13. Is g a composite number?
True
Let x = 130 + 27. Is x a prime number?
True
Is 5 - (3 + -3 + -2) composite?
False
Let f(l) = -3*l - 4. Let p be f(-3). Let m be 3*(-2)/(-6)*24. Let r = m - p. Is r prime?
True
Let n(x) = 5*x**3 + 2*x**2 + x - 6. Is n(7) prime?
False
Suppose 2*i + 5 = 9. Is (-4 - -3)*(-166)/i a prime number?
True
Suppose 5*k = 2*h - 4199, -3*k - 2*k - 4*h - 4187 = 0. Let u = k + 1310. Is u composite?
True
Let r = -171 + 119. Is (-2)/1 - (r + -1) prime?
False
Suppose 4*i - 3*h = 3730 + 3054, i - 5*h - 1713 = 0. Is i composite?
False
Is (-2)/(-12) + (-4812)/(-72) prime?
True
Let h(b) = 64*b - 51. Is h(19) a composite number?
True
Let k(j) = 5*j**2 - 17*j - 7. Is k(10) a composite number?
True
Suppose -r - 3*l = 13, -5*r + 2*l = -l - 25. Suppose -r*t - 24 = -x, -4*x + x - 3*t + 81 = 0. Suppose 3*o - d = 2*d + 36, -2*o + d = -x. Is o a prime number?
False
Let g = -61 - -126. Let o = g - 32. Is o composite?
True
Suppose 3*r - 7*r = 4*d - 1324, 321 = r - d. Is r composite?
True
Let x be 2/((-1)/(-294)*4). Is -9 + 6 + (x - -1) composite?
True
Is (-16 - -9)*-11*1 prime?
False
Let o(l) = -6*l**3 - l**2 + 7*l - 15. Is o(-7) a prime number?
False
Let i(n) = -6*n - 4. Let m(w) = -2*w - 1. Let t(c) = 2*i(c) - 7*m(c). Let b be t(5). Suppose 4 = y - b. Is y a composite number?
False
Let i = -3 - -8. Suppose -5*v = -2*r - 779, i*r + 765 = 4*v + 135. Is v prime?
False
Let x be (-7 - 0)/((-1)/11). Let m(c) = -c**3 - 15*c**2 - 25*c - 6. Let s be m(-13). Let a = s + x. Is a a prime number?
False
Let g(h) = -52 + h + 6*h + 50. Is g(13) a prime number?
True
Let m(k) = 388*k**2 - 3*k - 2. Is m(-1) prime?
True
Is (-2)/(-4) + (-13008)/(-32) composite?
True
Let s(q) = 14*q**2 + 2*q + 7. Is s(6) a prime number?
True
Suppose -2497 = -8*m + 4535. Is m a prime number?
False
Let j(f) = 3*f**2 - 4*f. Let d be j(3). Is 110/d*27/6 a composite number?
True
Let o(r) = -r + 6. Suppose 4*k - 14 = -2. Is o(k) a composite number?
False
Is (-5 - -3)/((-6)/1227) prime?
True
Suppose 4*d - 10 = 6*d. Let t(g) = 10*g**2 - 8*g + 1. Is t(d) a composite number?
True
Suppose o + 1720 = -3*o. Let b = o + 681. Is b prime?
True
Suppose -8*l = -3*l - 10. Suppose -346 = 3*r + 4*j, -2*r - l*r + j = 455. Let t = -61 - r. Is t a composite number?
False
Is (-26)/3*6/(-2) composite?
True
Is (-3)/2*(-4043 - -9) prime?
False
Let v(q) = -q**3 + 7*q**2. Let c be v(7). Suppose c = -4*u + u + 15. Suppose -n + 34 = 2*m + 2*m, 0 = -u*n + 3*m + 239. Is n prime?
False
Is (4/6)/((-24)/(-22428)) prime?
False
Is (2 - (-2 - -9))/(2/(-6)) prime?
False
Let d(y) be the first derivative of -3*y**4/4 - y**3 + y**2 + 3*y - 4. Is d(-3) a prime number?
False
Let f(i) = -i**2 + 5*i + 3. Let v be f(5). Let c = -10 + 4. Is (-4)/c + 40/v composite?
True
Suppose -2*b + 196 = -4*z, 4*b - 4*z - 496 = -b. Is (4/10)/(4/b) a prime number?
False
Suppose -8290 = -5*k + 3*m, -4*k + 1071 = -4*m - 5569. Is k a prime number?
False
Let k = -22 - -3. Let p = 3 - -1. Is (k/p)/((-1)/4) a composite number?
False
Let s be 7440/32*4/6. Let m = -16 + s. Is m composite?
False
Let y = -15 - -508. Is y a prime number?
False
Let k = -99 + 46. Let s = k + 92. Is s composite?
True
Let k(o) = -o**2 + 9*o - 9. Let j be k(7). Suppose -j*s + 19 = 5*n - 456, 2*s + 5*n - 184 = 0. Is s prime?
True
Let d(n) = 2*n**3 - 20*n**2 + 13*n - 20. Is d(11) composite?
True
Let a = -1166 - -1869. Is a a prime number?
False
Let n(g) = -2*g - 1. Let w be n(-4). Suppose 3*q = w*q. Suppose 0 = 3*k + m - q*m - 177, -4*m = -k + 46. Is k a composite number?
True
Let n(h) = -h**3 - 11*h**2 - 11*h - 11. Let w be n(-10). Is 176/((-2)/(-1)) - w prime?
True
Let q(x) = -251*x - 7. Is q(-10) composite?
False
Suppose -6*p + 4*p + 8 = 0. Suppose m - 3 - p = 0. Let g = m - -3. Is g prime?
False
Let v(i) = 5*i**3 - 6*i**2 - 8*i + 5. Let w be v(5). Suppose -5*b - 3*d + w = -0*d, -25 = 5*d. Is b prime?
False
Let k = -3567 - -7208. Is k composite?
True
Let y = 1776 + -818. Let q be 2/3 + y/(-6). Is (q - 2)/(2/(-2)) prime?
False
Suppose 3*d + 3*h - 12 = 0, -8 = 4*d - 4*h - 0. Is (-1)/d + 22 + 2 a composite number?
False
Let a be 2 + -1 + 2 + 1. Let b(m) = m**3 + 5*m**2 - 5*m + 5. Is b(a) composite?
True
Let o be 4/(-6) + (-92)/(-12). Let r(q) = q**2 - 5*q + 9. Let p be r(o). Suppose 3*l = 2*l + p. Is l a p