 = -g - f, 0 = 2*g + 4. Is p prime?
False
Let m(q) = 166*q - 47. Let k(b) = 2*b**2 - 46*b + 16. Let u be k(23). Is m(u) a prime number?
True
Suppose 24*w - 27774 = 6*w. Is w a composite number?
False
Suppose 9*g - 1 + 1 = 0. Suppose x = -g*l + 3*l - 765, -1255 = -5*l - 5*x. Is l a prime number?
False
Suppose -z - 3*o - 5 = 0, -o = -2*z + 3*o - 30. Let n(x) = 5*x**2 + 16*x + 6. Let k be n(z). Suppose k = 5*w - 2*w. Is w composite?
True
Let y be (-12)/(-5 + 2) + 0. Suppose y*f = 1627 + 1921. Is f a prime number?
True
Let o be (4/(-1))/(9/(-54)). Suppose -28*y + 1748 = -o*y. Is y a composite number?
True
Suppose -z + 7 = 4. Let y be 1/(z - (-362)/(-121)). Suppose 5*v = y + 34. Is v prime?
True
Suppose 2*z = 5*i + 38398 - 91977, -z - 53582 = -5*i. Is i a composite number?
True
Suppose 106980 = 4*z + 8*z. Is z a composite number?
True
Let q be (-8)/(-4) - 1/(-1). Let u be 4 - q - 3*-13. Let j = -3 + u. Is j a composite number?
False
Is ((-338610)/(-40) - 3) + (-15)/12 a prime number?
True
Let q be (-1)/(-1) + -5 - -8. Suppose -g = q*l - 60, -5*g - 4 = -4*l + 5*l. Let x = l + 43. Is x a composite number?
False
Let q(u) = 191*u**2 - 21*u + 95. Is q(-18) prime?
False
Let i(d) = d**3 - 12*d**2 - 14*d - 1. Let y be i(13). Let a = 19 + y. Suppose -4*s - 126 = -4*r + 58, -r = -a*s - 46. Is r a prime number?
False
Suppose 3*i + 5*k - 10076 = -0*i, -2*i + 6728 = -2*k. Suppose -4*h + i + 2406 = -2*o, h - 1435 = -3*o. Is h composite?
True
Let i(a) = -10*a**3 + 5*a**2 - 15*a - 13. Is i(-5) a composite number?
True
Let g(b) = -2*b - 2. Let c be g(-4). Suppose 2*p = p + 4*y - c, 5*p + 3*y = 39. Let q = p - -9. Is q a composite number?
True
Let x(l) = l**3 + 6*l**2 + l - 11. Let v be x(-5). Let b(f) = -1 + 4*f - f**3 - v*f**2 + 2*f**3 + 6. Is b(10) composite?
True
Let s be 103665/(-55) - (-4)/(-22). Let y = s - -4311. Is y prime?
False
Let k(i) = 13655*i + 319. Is k(6) prime?
False
Let i(v) = 5228*v + 117. Is i(4) prime?
False
Suppose 3*w - 13 = -13. Let i(x) = 2*x - 1. Let s be i(2). Is w - (-180 + (s - 4)) prime?
True
Let a(n) = 47*n**3 - 4*n**2 - 2*n - 12. Let t be a(-5). Let l = -1992 - t. Is l a prime number?
False
Let d(m) = 175*m - 3 - 154*m - 286*m - 331*m. Is d(-2) a composite number?
True
Let k = 4102 - 2181. Is k prime?
False
Let q(n) = 28*n**2 + 7*n - 13. Let y be q(3). Suppose 1200 = 4*c + y. Is c a composite number?
True
Suppose 0 = -47*j + 48*j - 2, 4*o - 1634 = -3*j. Is o a prime number?
False
Let w = -43 + 39. Let p = 55 - w. Is p a prime number?
True
Suppose 191 = 5*x - 24. Suppose 2*n - x = n. Suppose -2*v = 2*p + 3*p - n, 40 = 2*v + 4*p. Is v composite?
True
Let t = 14522 - 9389. Suppose -3*q = 3*m - t, -6834 = -2*m - 2*m + q. Is m a prime number?
True
Suppose -12 = 3*f, -3*a = -0*a - 4*f - 64. Suppose 5*k - 44 = h, 2*h - a = 4*k - 7*k. Is (k - 362)/(-2 - 0) a composite number?
True
Is (145343 + -5)/(23 - 17) composite?
False
Let p = -56 + 58. Suppose 4*l + 4*f = 8828, p*f + 12 = 5*f. Is l composite?
False
Let x(q) = -q + 10. Let n be x(0). Let j = n - 13. Is 1/j + (-576)/(-27) a prime number?
False
Let g = 1 + 11. Let x(o) = -o**2 + 25*o + 7. Is x(g) prime?
True
Let n = 282 - -618. Suppose 0 = -2*g + n - 14. Is g a prime number?
True
Let q(i) = -i**3 - 7*i**2 + i + 8. Let z be q(-7). Let s be 3*1 - (z - 1). Suppose -4*k + o = -989, -s*k + 4*o + 6 = -739. Is k a composite number?
True
Let w(m) = m**2 + m + 4. Let z be w(0). Suppose -p + 10 = z*p. Suppose -p*s = -0*s - 38. Is s a composite number?
False
Is (2/2)/(-2*(-2)/10364) composite?
False
Suppose 2*h - 8 = 0, -4*w + 5*h + 11336 = 6*h. Is w prime?
True
Let t = -3342 + 13335. Is t composite?
True
Let c(q) be the third derivative of q**6/120 - q**5/5 - 5*q**4/24 - 17*q**3/6 - 28*q**2. Is c(15) a composite number?
True
Let n(u) = u**2 + u - 850. Let p be n(0). Let t = 1257 + p. Is t a composite number?
True
Suppose -13*k = 2*k - 210765. Is k a composite number?
False
Let j(f) = -f**3 - 3*f**2 - 9*f - 1. Is j(-6) prime?
False
Let c(d) = 2*d**2 - 8*d - 9. Suppose -5*z = -3*k - 8, -5*k - 5*z - 36 = -2*z. Is c(k) a prime number?
False
Let n = 829 - 146. Is n a prime number?
True
Let o(k) = -389*k - 32. Is o(-11) a prime number?
False
Let z be (60/(-48))/(1/(-4)). Suppose 4*w + 8 = z*r, -4*w - 4*r - 9 = -37. Suppose 0 = w*s - 2*s - 46. Is s composite?
True
Let o(v) = 3*v**3 - v**2 + v - 1. Let t be o(1). Suppose 17*f - 14*f - 7920 = 0. Suppose -t*u = -3*a - 1763, 3*u - 3*a - f = -0*u. Is u prime?
True
Let c = 7896 + -3361. Suppose -27*f = -28*f + c. Is f composite?
True
Is -2*(4 + (-10855)/(-10))/(-1) a composite number?
False
Let v(c) = -c**2 - 5*c - 2. Suppose 22 = -4*u - 5*x, x = 5*u - 4*u + 1. Let o be v(u). Suppose k = 4*k - n - 1126, -o*n = 4*k - 1528. Is k prime?
False
Let h = -174 - -93. Suppose 22*a + 5 = 27*a, -4*p = 3*a - 683. Let q = h + p. Is q composite?
False
Suppose 3*o = 7*o - 56. Suppose 10 = -j + o. Suppose -5*a - 1677 = -j*k, 0 = -5*k - 0*k - 5*a + 2040. Is k a prime number?
False
Let c be 6/5*(-20)/(-6). Suppose 2*g - 4*g = 4*q - 24, 18 = 5*g - c*q. Suppose -g*p + 8*p = 236. Is p composite?
True
Let t be (-2)/(-4) + (-28)/(-8). Suppose -5*q = 3*k - 2816, t*k - 4*q - 1998 = 1746. Is k a composite number?
False
Suppose -2*n + 878 = -2816. Is n a composite number?
False
Suppose -2*m + 5*a + 5671 = 0, 669 + 2189 = m + 5*a. Is m a composite number?
False
Is (6/21)/(12/(-21))*-46814 a prime number?
False
Suppose -3*a - 3*m = -21, 0 = -2*a - 2*m + 7*m. Let r(d) = 129*d - 2 - 1 - 1. Is r(a) prime?
True
Let t(w) = -4*w - 8. Let y be t(-2). Suppose y*n = -8*n + 3320. Is n a composite number?
True
Suppose 3*s + 9 = -b - 2*b, 0 = -4*s + 5*b + 33. Suppose -o + 4 = -s. Suppose r = o*r - 185. Is r prime?
True
Suppose 10 = -8*u + 3*u. Is u/(-2) - (2/(-1) + -2114) a composite number?
True
Let h(k) = k + 13. Let y be h(-10). Suppose y*q + 2*t - 165 = -2*t, -3*t - 245 = -4*q. Is q a composite number?
False
Let x(p) = 10*p**2 - 55*p. Let k(z) = 8*z**2 + 22*z - z**2 - 59*z. Let t(s) = 7*k(s) - 5*x(s). Is t(13) a prime number?
False
Let c be (-24)/20*10/(-4). Suppose 6 = c*z - 4*z. Is (-231)/(-15) + z/15 a composite number?
True
Let h(a) = -651*a + 53. Let s be h(6). Let r = 1962 - s. Is r a prime number?
False
Let k be 15/2*(-26)/(-39). Suppose -2425 = -0*p - k*p. Suppose f + 4*d = p, -2*d = -3*f + d + 1395. Is f composite?
True
Is 4/((-24)/(-15)) + 191142/12 a composite number?
True
Let d be (-20)/(-6) + 1/(-3) + -1. Is (-10)/20*(-2692)/d prime?
True
Let f(c) = -6*c**3 + 4. Let i be f(-3). Let q = i - 79. Is q composite?
True
Let h = 172 - 168. Suppose -3*l = 5*p - 599, 4*l - 4*p - 703 = 117. Suppose 0 = h*r - 609 - l. Is r prime?
False
Let n(k) = -297*k + 38. Is n(-13) a composite number?
True
Suppose -4*y + f + 11 = 6*f, -5*y - 4*f = -16. Suppose 2*j = 3*u + 1255, -j - 5*u + 3150 = y*j. Is j prime?
False
Suppose 0 = 138*g - 87*g - 36006. Is g a composite number?
True
Suppose 5*q + 6 = 7*q. Let p(s) = 5*s**3 - 3*s**2 + 2*s - 1. Let r be p(q). Let i = r + -51. Is i a composite number?
True
Suppose 0 = -4*n + 2*n + 180. Suppose -88*c - 3122 = -n*c. Is c a prime number?
False
Suppose 0 = o - 60660 - 87925. Is o composite?
True
Let y be (1688/(-6))/((-2)/21). Let o = y + 5237. Is o a prime number?
True
Let p = -4 + 7. Suppose 2*g + 2*q + p*q - 83 = 0, -3*g - q = -157. Is 3522/g - 4/18 a prime number?
False
Suppose 0 = -k - 3*k. Suppose -3*s = h - 210, s - h - 59 = 11. Suppose -3*p - 20 + 5 = k, -o = 3*p - s. Is o composite?
True
Let m(r) = 154*r**2 + 22*r - 259. Is m(13) prime?
True
Let l be (-42)/(-7) + (2 - 1) + -1. Suppose -l*j = -0*j - 2334. Is j composite?
False
Let m be (-2)/(16/12)*-2. Let x be 1 + m/6*-2. Suppose x*h - 3*h = -63. Is h a prime number?
False
Let m(h) = -13*h**2 + h + h + 1 + 111*h**2. Is m(-1) a composite number?
False
Is (-10)/(-2) - 9922/(-11) a prime number?
True
Is -1*(-2 - 2/((-2)/(-6447))) composite?
False
Suppose 0 = 3*r + 4*u - 464, -622 = -4*r - 4*u + 2*u. Let w = r + -107. Suppose i - w = 6. Is i composite?
True
Is 132/(-99)*(-4857)/2 composite?
True
Let s be (-8)/(2 - (-316)/(-157)). Suppose -3*k + s = -t, 0*k + t = -5*k + 1060. Is k composite?
False
Let b = -15 - -27. Suppose -2*g - b = -8*g. Is g/9 - (-3606)/54 a composite number?
False
Let s = -28 - -31. Let