7*a - 4. Let u be m(-15). Suppose -2*i = -5*t - u, -2*t = -4*i + t + 2009. Is i a prime number?
True
Let a = -335 - -8976. Is a a composite number?
False
Let m(w) = 874*w**2 + 3*w - 8. Let i(t) = 875*t**2 + 4*t - 8. Let u(r) = -4*i(r) + 5*m(r). Is u(3) a prime number?
False
Let y = 38 + -17. Suppose -9*m + y = -2*m. Suppose 6*g + p - 880 = m*g, 0 = p - 1. Is g a prime number?
True
Let t = -5 - -3. Let p be t/5*(-15)/3. Suppose 3*m = -2*m + 2*n + 1053, -2 = -p*n. Is m a prime number?
True
Let k be 2/(-8) + (-133)/28. Let i be k*(-4)/(-4) - -3. Is (i + 0)*37/(-2) a composite number?
False
Suppose 14 = 2*c + 4. Suppose 11 + 9 = -5*k - c*p, k + 4*p + 16 = 0. Suppose 4*y = -4*w + 1007 - 119, k = 4*y + 4. Is w prime?
True
Suppose 6*i + 492 = 3*i. Suppose 0 = 4*w - 5*y - 1037, -w = w + 2*y - 496. Let c = w + i. Is c a composite number?
False
Let h(w) = w**3 - 49*w**2 + 104*w + 93. Is h(49) composite?
False
Let d(y) = y**2 + 19*y - 32. Let q be d(-18). Let o be (85/3)/1*-3. Let h = q - o. Is h composite?
True
Suppose h = -3*t - 0*t + 9, -4*t + 10 = 2*h. Let p(u) = -210*u**3 - 2*u**2 + 1. Let m(d) = 210*d**3 + 2*d**2. Let j(z) = h*p(z) - 2*m(z). Is j(2) composite?
True
Let t(o) = o**3 - o + 1. Let b(d) = -3*d**3 + 1. Let s(m) = b(m) - t(m). Suppose -4*l - l = 5. Is s(l) a prime number?
True
Let c(l) = 2*l**2 - 3*l + 3. Let s = -1 - -3. Let p be c(s). Suppose 430 = p*x - 5*k, -x + 67 + 29 = k. Is x a composite number?
True
Suppose -244 = 9*d - 5*d. Let q = d + -49. Let y = 1 - q. Is y a prime number?
False
Is (2167 - (0 - -11)) + -3 a prime number?
True
Suppose -2*m = -65 - 93. Suppose -2*a + 3*x + 16 - m = 0, -3*a - 2*x - 127 = 0. Is (-8)/(-52) + (-813)/a a composite number?
True
Suppose 52800 = -10*d + 204010. Is d a prime number?
True
Let f(r) be the first derivative of -7*r**2 - 3*r + 5. Is f(-2) a prime number?
False
Let j = -373 - -522. Is j a prime number?
True
Suppose 0 = -6*w - 541 + 18763. Is w a composite number?
False
Let i(u) = 13*u**3 - 6*u**2 + 10*u - 18. Is i(5) a composite number?
True
Let q(t) = 77*t - 48. Let v(n) = 51*n - 32. Let b(z) = -5*q(z) + 8*v(z). Let g be b(11). Suppose -2*w = w - g. Is w prime?
True
Let q = -17 + 27. Let o be ((-12)/q)/((-8)/20). Suppose 0 = o*y - 2*y - 447. Is y prime?
False
Is (-1 - -2612)*(-3 + 4 + 0) prime?
False
Let m = 3378 + -1886. Let r = -905 + m. Is r a composite number?
False
Let a(w) = -89*w + 21. Let s be a(-13). Let y = -9 + s. Is y composite?
True
Let j = -535 + 11354. Suppose -12511 = -10*v + j. Is v a composite number?
False
Let m = 4 + -1. Suppose g - m = x, x = -3*g + g + 6. Is 163/(g/((-9)/(-3))) a prime number?
True
Let o be (8/(-10))/(7/(-35)). Suppose -3*u + o*u - 12 = 0. Suppose -175 = -r - 4*a, -3*a + 7*a = u. Is r composite?
False
Let i = -4 - -14. Let m be (-11)/3 - 20*(-7)/(-105). Is i/m*1082/(-4) prime?
True
Suppose 0 = 3*i + 2*x - 7812 + 635, -2*i + 4782 = 4*x. Is i prime?
True
Let h(d) be the second derivative of 11*d**6/80 + d**5/30 - d**4/6 - 3*d. Let m(r) be the third derivative of h(r). Is m(3) prime?
False
Let q(r) = -r**3 + 11*r**2 + 12*r + 15. Let k be q(-12). Suppose 0 = -2*b + 511 + k. Is b a prime number?
True
Suppose 68*g + 70*g = 1175898. Is g composite?
False
Let n(k) be the first derivative of -13*k**4/8 + k**3/6 - 3*k**2 + 6. Let u(d) be the second derivative of n(d). Is u(-12) prime?
False
Let z(b) = -6*b**3 - 9*b**2 + b - 3. Let o(c) = -3*c**3 - 4*c**2 - 1. Let u(x) = 9*o(x) - 4*z(x). Is u(-4) a prime number?
True
Let w be 30/(-20)*4/3. Is ((-979)/22)/(1/w) composite?
False
Let v be ((-13)/3)/(2/(-474)) - -2. Suppose 59 = -2*d + v. Is d composite?
True
Let f(a) = -a**3 - 6*a**2 - 4*a + 3. Let g be f(-12). Let q = 1468 - g. Is q prime?
False
Let k(a) = -114*a + 5. Let n = 98 - 101. Is k(n) a composite number?
False
Suppose -2*i + 7*i = 6215. Suppose 5*a - 6*a = -i. Is a prime?
False
Suppose 3*b - 79139 = -4*o + 24020, -b + o = -34398. Is b composite?
True
Suppose 0 = 13*d - 58360 - 2961. Is d composite?
True
Suppose -4*n + 5*l = 5523, 0 = n + n + l + 2765. Let g = -939 - n. Is g a composite number?
False
Let w = -2 - -8. Suppose -v + n = -w, 2*n - 4 = -3*v - 2*n. Suppose v*i = -0*i + 388. Is i a prime number?
True
Suppose -39*f = -31*f - 2360. Is f a prime number?
False
Let j = -5930 - -13333. Is j a composite number?
True
Let m be (0 - (-12)/(-9))*-6. Suppose 2*z - 12 + m = 0. Is -2 - (z + -19 - 0) a prime number?
False
Let x = 10 - 7. Let c(n) = 8*n**3 - 10*n**2 + 20*n - 46. Let a be c(7). Is (-1)/((-12)/a)*x composite?
False
Let j(z) = -6 + 3 - 3 - 392*z. Is j(-1) composite?
True
Let y be 1/1*(0 - -7). Let b(r) = 2*r**2 + 10*r - 4. Let i(k) = -k**2 + k - 1. Let c(q) = b(q) - 3*i(q). Is c(y) prime?
True
Suppose -9*k = -12*k - 42. Let o(x) = x**3 + 13*x**2 - 15*x - 15. Let j be o(k). Is 0/(j + -1) - -106 a composite number?
True
Suppose -4*m + 3*d - 40 = 0, 0 = -m + 2*d - 0*d - 10. Is ((-614)/m)/((-2)/(-10)) a prime number?
True
Let k = 6775 - 1742. Is k a composite number?
True
Suppose 3*p + 580 = 2*m, -8*m + 4*m - 3*p + 1178 = 0. Is m prime?
True
Suppose 2*h = 4*j - 3*h + 20, -16 = -3*j - 4*h. Suppose s = -2*a + 1285, j = -4*a + 6*a. Is s prime?
False
Suppose -k - 5*x - 21 = 0, -x = 5*k - k + 8. Let l be 2286/(-12)*(-2)/k. Is (-2)/((-375)/l + -1) prime?
True
Suppose 6*t = 10*t + 4. Let w(b) = 128*b**2 + b. Is w(t) a composite number?
False
Let t = -135 + 139. Suppose -7355 = -5*c - 3*g, -t*c - 2*g - 2942 = -6*c. Is c a composite number?
False
Suppose 72 = 5*w - 3*v - 13, -5*v = 4*w - 105. Suppose 16*q = 11*q + w. Suppose q*z - 501 = 71. Is z a composite number?
True
Suppose -2*v = -0*v - 4616. Suppose 3*m - 5*m + v = 0. Is m prime?
False
Suppose 5*v - 9523 = -2*z, -5*z + 28584 - 4742 = v. Is z a prime number?
False
Suppose -1 - 1 = -2*y, 503 = -4*v - 5*y. Suppose -2*x - 2*x = -16. Is x/((-4)/v) - 0 prime?
True
Suppose -x = 3 - 1. Let o(d) = -65*d**2 - 2*d + 2. Let s be o(x). Is 0 - 4 - (s + -3) a composite number?
True
Let u(m) = 2965*m**3 - 2*m + 1. Let j be u(1). Is (2/4)/(6/j) a composite number?
True
Suppose -3*s = 5*m - 7 + 62, 3*m = -4*s - 88. Let t = 7 + s. Is 4/(-18) + (-562)/t a composite number?
False
Suppose 7174 = 7*y - 27735. Is y prime?
True
Let r be 9308/9 + ((-120)/54)/10. Suppose 0*q - 2*q = 3*x - 515, 4*q + 2*x - r = 0. Is q prime?
False
Let u(c) = 2400*c**2 - 14*c + 65. Is u(-9) composite?
False
Let f(w) = w**3 + 11*w**2 - 16*w - 15. Suppose 32 + 0 = 4*h. Is f(h) a composite number?
True
Let t = 653 + -392. Suppose -x - 50 + t = 0. Is x composite?
False
Let u(y) = -y**3 + 8*y**2 + 7*y + 10. Let d be u(9). Let i be (-3 + 7)*(-6)/d. Is i/(-12) - (-2535)/12 prime?
True
Let n(q) = q**2 - 14*q + 24. Let j be n(12). Let k(c) be the third derivative of c**6/120 + c**5/60 + 749*c**3/6 + c**2. Is k(j) a composite number?
True
Let z = 2562 + -1803. Let x = -581 + 379. Let m = x + z. Is m a prime number?
True
Let c(h) = -2182*h + 1015. Is c(-6) a prime number?
True
Let b(j) = j**3 - 8*j**2 - 4. Let p be b(8). Is (-2 - p)*(-120)/(-16) prime?
False
Let t = 1 + -13. Let g(w) = w**2 + 11*w - 7. Let l be g(t). Suppose -l*s + 5 = 0, 2*b - 630 = 2*s + 130. Is b a composite number?
True
Let i(f) = f**3 - 7*f**2 - 11*f - 31. Let h = -42 + 54. Is i(h) a composite number?
False
Is -11 - 184/(-16) - (-7573)/2 composite?
True
Suppose 2*c = 2*w - 22, w + 4*w = 15. Let b be (2/(-4))/(2/c). Is 84 + (b + -1 - 2) a prime number?
True
Let a(v) = -v**3 + 7*v**2 + 9*v - 2. Suppose 2*z + z - 24 = 0. Let q be a(z). Is (-1076)/(-12) - q/9 a composite number?
False
Suppose -114*b + 1498 = -112*b. Is b a prime number?
False
Let o = 20 + -18. Suppose -2*p = 4, w = o*w + 5*p - 144. Is (5 + w)*3/9 prime?
True
Suppose -2*u - 3 + 5 = 0. Suppose s + u = 5. Suppose -s*v = -3*v - 409. Is v a composite number?
False
Let z(p) = 3*p + 32. Let y be z(-10). Is ((-13)/(91/(-14)))/(y/677) a composite number?
False
Suppose 6*w + 3*y = 3*w + 1077, 0 = -y - 2. Let j = 168 + w. Is j a prime number?
False
Let k(o) = 111*o + 26. Suppose 3*d + 2*d - 65 = 0. Is k(d) composite?
True
Suppose -130 + 1200 = 5*a. Suppose 0*w - a = -w. Is w a prime number?
False
Let n(s) be the third derivative of s**4/12 - s**3/3 + 8*s**2. Let m be n(0). Is m*(212/(-8) + -3) a composite number?
False
Let z be 43/((-