 prime?
True
Let m be (-3)/(6 + -3)*0. Is -1 + m + 4 + 154 a prime number?
True
Let o = -2 - -6. Let w be 18*o*(-1)/(-3). Let i = w + -13. Is i composite?
False
Suppose 11*x - 5*x = 4782. Is x a composite number?
False
Suppose -3*m + 980 = m. Suppose 2*u - 5*r - m = 0, 0 = -2*u - u + r + 348. Is u a prime number?
False
Let c(s) = 176*s**2 - 7*s - 29. Is c(-6) a composite number?
True
Suppose 4*o - 179 = -47. Is o a prime number?
False
Let s = 24 + 29. Is s composite?
False
Let s(m) = -m**3 + 4*m**2 + 8*m - 7. Let r be s(5). Suppose 2*w + 0 = r. Let u = 2 + w. Is u a prime number?
False
Let c(f) = -28*f + 1. Let d be 0 - 0 - (-6 + 2). Let j be c(d). Is (j/(-3))/(3 - 2) prime?
True
Let x = -389 - -622. Is x a prime number?
True
Suppose 0 = 2*k - 16 - 20. Is k/(-27) - 1205/(-3) composite?
False
Let b(y) be the third derivative of -5*y**4/8 + y**3/3 + 2*y**2. Is b(-3) a prime number?
True
Suppose -3*p + 416 = 2*t, -5*t = -2*t + 2*p - 629. Is t a composite number?
False
Let j = -1331 - -1872. Is j prime?
True
Is -4 - (2*-67 + 3) a composite number?
False
Let u = -11 - -17. Let a = -12 + u. Is ((-69)/a)/((-1)/(-2)) a composite number?
False
Is -5 + (-5 + 3208 - -1) a composite number?
True
Let l(p) = -p**2 - 4*p + 4. Let q be l(-3). Suppose 0 = -d - 4*n - 23, -d + 3*n - n = -q. Let j = d + 14. Is j a prime number?
True
Let s be -3 + (0 + 1)*-1. Let l be (-4)/6*18/s. Suppose -222 = -3*t + l*o, 6*t - 5*o = 4*t + 133. Is t prime?
True
Let u(v) = v**3 - 5*v**2 + 3*v + 7. Let i be u(5). Suppose 2*m - i = 4*n, 2*n = -4*m - n. Let a(r) = r**3 + 4*r - 4. Is a(m) composite?
True
Let a = -949 + 1958. Is a composite?
False
Let l = 36 - 16. Let j = l + 3. Is j composite?
False
Suppose 0*q + 3*q = 12. Let n be (-1 + 7)*q/8. Suppose n*x = 50 - 8. Is x a composite number?
True
Let p = -2 - -5. Let v(y) = 5*y**3 + 3 + 2*y - 6*y**p - y**3. Is v(-2) prime?
False
Let f be ((-2)/4)/((-4)/40). Let a be (2/4)/((-5)/(-30)). Suppose -2*r - 2*k = -0*r - 54, f*k + 113 = a*r. Is r composite?
False
Let h(k) = k**3 + 11*k**2 + 2*k + 18. Suppose 4*b = 4*a - 0*b + 44, -2*b = 5*a + 34. Is h(a) a composite number?
True
Let b(z) = -z + 10. Let o be b(0). Suppose 3*r = v - 7, -v - 3 = 2*r + o. Is 1/(-2) - 358/r prime?
True
Let j(z) = -39*z**2 - z - 1. Let w(u) = -u**2. Let s(q) = -j(q) + 2*w(q). Is s(-1) composite?
False
Suppose -5*d - 8 = -73. Let w = d - 8. Suppose w*v = -x + 48 + 12, 5*x + 4*v - 195 = 0. Is x prime?
False
Suppose 5*j - 19 = -t + 2*t, -4*j - 28 = 4*t. Let w = -19 - t. Let a(d) = 2*d**2 + 8*d - 11. Is a(w) a prime number?
True
Suppose 4*h + c - 455 = 6*c, 0 = -h + c + 113. Suppose 0 = 3*i - 8*i - h. Let u = i + 59. Is u a composite number?
False
Let q(b) = -16*b - 13. Is q(-6) a prime number?
True
Let i be ((-8)/6)/((-4)/894). Suppose -139 = -h + 3*w, h - 3*h + i = 4*w. Is h composite?
True
Suppose -2*v = -4*k + 88 + 52, 3*k - 105 = 5*v. Is k a prime number?
False
Let h be ((-36)/8)/((-6)/8). Let u(z) = -33*z - 16. Let j(t) = -17*t - 8. Let y(k) = h*u(k) - 11*j(k). Is y(-6) a composite number?
True
Let j(y) = y**3 + y**2 - y - 104. Let b be j(0). Let k = 171 + b. Is k a prime number?
True
Let d = -11 + 30. Suppose -3*k = -2*z - d + 7, -2*k - 3*z - 5 = 0. Suppose -k*r - 3*i + 7*i + 246 = 0, r = -3*i + 118. Is r composite?
True
Suppose -3*j - 1 = 2. Let x(c) = -5*c - 1. Let i be x(j). Suppose -s + 40 = -5*z, 5*s - i*z = 3*s + 50. Is s a prime number?
False
Let j be 16/(-20)*(-30)/4. Suppose j*i - 310 + 82 = 0. Is i composite?
True
Suppose 2*r + 2*r = 2*x + 8, 4*r = -4*x + 20. Suppose x*c - 2 = 6. Suppose -3*j - 381 = -4*o + 2*j, 0 = -3*o + c*j + 286. Is o prime?
False
Suppose 5*c = 3*l - 33, -18 = -2*l + 5*c + 4. Let q = -7 + l. Let y(v) = v**3 - 3*v**2 - 3*v + 2. Is y(q) a prime number?
False
Suppose -5*p + 43 = 2*x, 14 = 2*x + 4*p - 28. Is x composite?
False
Suppose -423 = -3*w - 96. Is w a prime number?
True
Is (-1*1)/(6/(-3786)) a composite number?
False
Is 388 + (1 - (-8)/4) a composite number?
True
Let w be (-12)/6 + 776/1. Let s be ((-1)/(-3))/(6/w). Let u = 62 - s. Is u a composite number?
False
Let n be (-2548)/(-16) - (-2)/(-8). Suppose -4*u = -w + 159, -4*u + n = 2*w - w. Is w a composite number?
True
Suppose 2*z - 2564 = -2*h, -5*h + 5*z = -1081 - 5339. Is h a prime number?
True
Suppose 4*s + k + 4 = 0, 0 = -5*s - 5*k + k - 16. Suppose -3*c + 5*c + 92 = s. Is 3*c*1/(-3) prime?
False
Suppose -l = -2*l - 6. Let z(m) = -m**3 - 4*m**2 + 4*m + 7. Is z(l) composite?
True
Let j(w) = w**3 + 4*w**2 - 8*w - 3. Let b be j(-5). Let d = b + -3. Is d prime?
False
Let f(c) = -4*c**3 + 4*c**2 - 2. Let d be f(3). Is (5 + -3)*d/(-4) composite?
False
Let p be 2/(-7) + 4/14. Let a(i) = -i**2 - i + 6. Let h be a(p). Is 3 + h/3*38 prime?
True
Let j(b) = -2*b**3 + 3*b**2 + 3*b + 7. Let s(a) = 4*a**2 + 15 + 7*a - 2*a**3 - 3*a**3 + 3*a**2. Let t(n) = 7*j(n) - 3*s(n). Is t(3) prime?
True
Suppose -2*t + 590 + 1188 = 0. Is t prime?
False
Let n be 0*(-2)/4*-1. Let q(t) = t**3 + t**2 - t + 83. Is q(n) prime?
True
Let l = 2 + -6. Let x = -10 + l. Let i = -7 - x. Is i composite?
False
Suppose 4*k - 6*y = -y + 1631, 2*k - 822 = -4*y. Is k composite?
False
Suppose -4*y + 53 = -391. Is y a composite number?
True
Suppose 3*n + 4*q - 1094 - 361 = 0, -n = -q - 485. Is n prime?
False
Let o = -123 - -331. Let x = o + -31. Is x prime?
False
Suppose -b + 3*o = 84 - 401, 3*b = 3*o + 975. Is b a composite number?
True
Let z be 0*(-2 - 1 - -2). Suppose z = 2*h + h - 4*s - 181, 355 = 5*h + 4*s. Is h a composite number?
False
Let d(j) = -5*j**3 + 2*j - 1. Let b be d(1). Let t = 1 - b. Suppose 0 = t*m - 300 + 15. Is m prime?
False
Let p = 368 + 45. Is p prime?
False
Let j be (0 + 3)/((-6)/(-220)). Let d = j - 57. Suppose a = -0*a + d. Is a prime?
True
Let p(z) = -895*z**3 - 3*z**2 + 1. Is p(-1) prime?
False
Let o(l) = -227*l**2 - 3*l. Let g be o(-2). Is 6/(-12)*g*1 a prime number?
False
Let a(r) = -r**2 + 8*r - 5. Let y be a(5). Suppose 2*o - y = 7*o - 5*t, -o - 2*t - 2 = 0. Is 387/5 - o/(-5) a composite number?
True
Let v be (-78)/4 - 2/4. Is 8/v - (-114)/10 composite?
False
Suppose -4 = 3*w - w. Let u be w/(4 + 0)*178. Let o = -4 - u. Is o a prime number?
False
Suppose -5*d + 3*d + 262 = -4*l, -2*l = -2*d + 258. Is d a composite number?
False
Let i(p) = -p**3 - 5*p**2 + 8*p - 1. Is i(-10) a composite number?
False
Let n = 2186 + -937. Is n a prime number?
True
Let r(q) = -88*q**3 - 5*q**2 - 6*q - 2. Is r(-2) a composite number?
True
Let u(g) = g**2 + 4*g. Let x be u(-6). Let n(f) = -f**3 + 12*f**2 + f + 3. Is n(x) a composite number?
True
Let n(g) = g + 9. Let o be n(-9). Suppose o = -0*b + b - 67. Is b composite?
False
Let g(j) be the second derivative of 4*j**4 + j**3/6 + 22*j. Let s = -2 + 1. Is g(s) composite?
False
Let o(j) = j**2 + j + 2. Let a = 2 - 4. Let c = a + 5. Is o(c) prime?
False
Let g = 70 - -13. Is g a composite number?
False
Let w = 3 - -18. Is w a prime number?
False
Suppose -4*f - 2*m = -4344, 4*f = 2*m + 4012 + 340. Is f composite?
False
Let c(u) = -3*u**3. Let z be c(-1). Suppose o - 5*o + 76 = -3*l, -z*l + 122 = 5*o. Is o a composite number?
True
Let t(r) = -3 + r + 6*r + 14 - r**2. Let g be t(8). Suppose 245 + 0 = 5*c + 3*p, 0 = -3*c + g*p + 147. Is c composite?
True
Let m = 564 + -281. Suppose 4*z = a - 6*a + m, -5*a - 179 = -2*z. Is z a composite number?
True
Suppose -3*b + 3*j + 12315 = 0, 3*j - 7*j = -16. Is b composite?
True
Let n = 162 + -107. Is n a composite number?
True
Let d(n) = -n**2 + n + 21. Let c be (1 - 1)/(2 + -1). Is d(c) a composite number?
True
Let t = 18 + -26. Is (174/t)/(1/(-4)) a composite number?
True
Is (-13181)/(-63) - (-2)/(-9) a prime number?
False
Let j = -2 + 1. Let d be (-1)/(-1 + (1 - 1)). Is d + -1 - j - -8 a prime number?
False
Let u = -5 + 11. Suppose 4*h - u = h. Let s(b) = 8*b**3 - 4*b**2 + 2*b + 1. Is s(h) a prime number?
True
Let k(g) = 31*g**3 - 4*g**2 + 2*g - 1. Is k(2) prime?
False
Let m be 2/(-1) + (2 - 0). Suppose m = 5*y - 2773 + 108. Is y composite?
True
Suppose 0 = -2*s + 141 + 81. Is s composite?
True
Let y be (4/10)/((-4)/3060). Let s = -89 - y. Is s prime?
False
Is 1*69/1*1 composite?
True
Let n = -3360 - -6184. Suppose -3*i + n = -611. Is i a prime number?
False
Suppose 0 = 5*s - 11*s + 2796. Is s prime?
False
Suppose -2*