prime number?
True
Suppose 30*y - 28910 = 21880. Is y composite?
False
Let g be (932/5)/(2/20). Suppose q - g = -7*q. Is q a composite number?
False
Let p = -5528 - -3216. Let o = 4345 + p. Is o composite?
True
Let b = 1963 + -865. Suppose -2*x + 2*q + b = q, x - 555 = 2*q. Is x a composite number?
False
Suppose 80829 = -4*u - 3*u. Is (u + -2)*1/(-1) a prime number?
True
Suppose 0 = 5*p - 27*p + 15466. Is p a composite number?
True
Let x = -72 - -72. Let f = -1 - -5. Suppose -6*a + 3*a - 319 = -5*t, -t - f*a + 73 = x. Is t prime?
False
Let m be (9/3)/(4/20). Suppose m*f + 3261 = 18*f. Is f a composite number?
False
Suppose 10*x - 11*x + 1044 = 0. Suppose 3*i - 2409 = x. Is i composite?
False
Let n = 4 - 0. Suppose -20 = -3*h - h - n*u, -18 = -4*h - 2*u. Is (-1364)/(-16) + (-1)/h a composite number?
True
Suppose 20 = -0*d + 4*d. Suppose d*m - 471 = -t - t, 9 = 3*t. Let x = m - -4. Is x composite?
False
Suppose -6*c + 3*c + 3*d = -15354, -3*d + 10211 = 2*c. Is c composite?
False
Let h be -2 - 9/((-9)/(-506)). Is (h/(7 - 3))/(-1) composite?
False
Let k = 3229 + -1686. Is k a prime number?
True
Let x(d) = -d**3 + 38*d**2 - 52*d - 54. Is x(35) composite?
False
Let a = 23 + -20. Let m be a/5*(-5)/(-1). Suppose m*b - 658 = -2*w + 2*b, 2*w = 3*b + 642. Is w a prime number?
False
Let t = -16 + 35. Let r = -23 + t. Is (2 + r - -3) + 1336 prime?
False
Let r(j) = 86*j**2 + 25*j + 19. Is r(-8) prime?
True
Suppose 5023 - 27454 = -3*v. Let r = v + -4163. Is r a prime number?
False
Suppose 4*k = 2*p - 8, 2*k + 10 = 4*p - 6*p. Is ((-8604)/4 - 2)*(p - -1) a composite number?
False
Let b be 9/(((-2)/((-4)/3))/83). Suppose 804 = 6*f - b. Is f a composite number?
True
Let b = -190 + 537. Let t = b + 118. Suppose 4*s - t + 109 = 0. Is s prime?
True
Let t be ((-8)/10)/(5/(-25)). Suppose 0 = 2*g - t*g + 614. Is g a composite number?
False
Suppose 2*y - 4*q = 3032, -y = -2*q - 3*q - 1519. Is y a composite number?
True
Suppose -18*z = -21*z - 2652. Let y = -591 - z. Is y composite?
False
Is (1 + (-3786)/15)/((-21)/105) a composite number?
True
Let j be 3*1 + 49 + -4. Suppose -j = -v - 2*v. Let o = v + -9. Is o composite?
False
Let w(a) be the second derivative of 0 - 1/2*a**2 + 4/3*a**4 - 1/3*a**3 - 8*a. Is w(4) a prime number?
False
Let k = 1228 + -847. Is k composite?
True
Is -3 + (-12)/((27/(-7592))/9) prime?
False
Let n = 21 - 20. Let j(o) = -n + 3*o**2 - 7*o + o + 3*o. Is j(6) a prime number?
True
Let h be 0/(-4 + 7) - -5. Suppose h*t + 80 = 3*p, 2*p + p - 100 = t. Is p a composite number?
True
Suppose r - 4037 = -2*a, -14*a + 4037 = r - 16*a. Is r prime?
False
Is 2/(-3) + (-60452)/(-21) prime?
False
Suppose s = -t + 12052 + 34904, 93910 = 2*t + 4*s. Is t prime?
True
Let a be (40/(-12))/((-2)/3411). Suppose -b = 3*j - a, j + 4*b = 813 + 1082. Is j prime?
False
Let b(m) = 2*m**2 + 2*m + 1142. Is b(0) composite?
True
Suppose -5*r - 5*i = -5, -4*r - 3*i = -3*r + 1. Suppose 0*m - 4*m - 79 = -v, -3*v + r*m + 217 = 0. Is v composite?
False
Suppose 5*w - 3*g = 10, 2*w = -5*g + 3*g + 4. Suppose m - 7 = w*m. Let u(k) = -12*k + 13. Is u(m) a prime number?
True
Suppose 0 = -5*s + 2*r - 45, -5*s + 4*r - 48 + 3 = 0. Let z be (s/15)/((-1)/5). Suppose 3*f = z*m - 0*f - 3114, 5*f = -m + 1068. Is m prime?
False
Suppose -4*w - v + 6401 = 0, -3*w + 0*v + 4797 = 2*v. Is w composite?
False
Is 12935/26*((-48)/(-15) - 2) a composite number?
True
Let g(x) be the first derivative of -361*x**2/2 - 4*x - 8. Is g(-3) a prime number?
False
Let w(i) = 503*i**3 + 7*i - 23. Is w(3) prime?
False
Suppose 35 = -x + 28. Let y = x - -18. Is y a prime number?
True
Let n = 223 + -395. Let b be (-11)/(-4)*(-5 + 1). Let q = b - n. Is q composite?
True
Suppose 66*i = 82*i - 33232. Is i composite?
True
Let m(g) = 23*g + 14. Let s(y) = -23*y - 13. Let n(p) = 5*m(p) + 4*s(p). Let k be n(14). Suppose -4*u + k = 4*q, -8*q = -5*u - 4*q + 425. Is u composite?
True
Suppose -v + 3000 = -6*v + 5*b, -2*v = -3*b + 1197. Let k = v - -974. Is k a composite number?
True
Let w(k) = -64*k + 21. Let y(s) = -511*s + 168. Let q(f) = -49*w(f) + 6*y(f). Is q(23) a prime number?
False
Is 3/(-2)*(-6 - 44520/18) composite?
False
Let n = -33 + 45. Let f be (n/(-8))/(9/6). Is (1/f)/(2/(-970)) a composite number?
True
Let v = 15 + -15. Suppose 4*x + 0 + 4 = v. Let z(g) = -203*g**3 + g**2 - 1. Is z(x) a composite number?
True
Let h(k) = -k**2 - 8*k - 9. Let o be h(-7). Let q = o - -2. Suppose m - l + 775 = 4*m, q = -2*m - 5*l + 534. Is m prime?
True
Suppose 11589 = 4*l - 32867. Is l prime?
False
Suppose 0 = -3*r - z + 6, 5 = r + 3*z + 3. Suppose 414 = r*n - 88. Is n composite?
False
Let q(v) = 14*v - 5. Let z(f) = -1. Let r(h) = 5*q(h) - 40*z(h). Let w(n) = n**2 + 3*n - 14. Let i be w(3). Is r(i) a prime number?
False
Let u(m) = 8*m**2 + m - 1. Suppose -x + 27 = 5*y, x - y = 5*x - 51. Let c be (10/3 - 3)*x. Is u(c) a composite number?
False
Let p = 60 + -50. Let f = p + 781. Is f a prime number?
False
Suppose -3*f - 2*n - n + 8445 = 0, 0 = 3*f + 5*n - 8449. Is f prime?
False
Suppose -i = -4*i - 5*b + 16160, 4*i + 5*b = 21540. Let u = i + -2826. Is u composite?
True
Let d(a) = 77*a - 26. Let v(i) be the first derivative of i**4/4 + 4*i**3/3 - 3*i**2/2 - i + 11. Let p be v(-4). Is d(p) a composite number?
False
Suppose 1954 = -27*r + 29*r + 2*t, -4*r + 3908 = -5*t. Is r prime?
True
Let y(m) = 36*m**2 + 2*m + 39. Is y(-14) composite?
True
Let g(k) = k**3 + 11*k**2 + 10*k + 2. Let r be g(-10). Suppose 0 = 3*z + r*d - 189, z + 5*d - 245 = -3*z. Suppose z = q - 44. Is q prime?
True
Let x = 12 + -24. Suppose -2*s - 10144 = 2*s. Is s/x + 1/(-3) composite?
False
Let c = 41 + -41. Let h(t) = -t**2 + 487. Is h(c) prime?
True
Let p(n) = -2*n**3 + 9*n**2 - 6*n - 19. Let y(d) = d**2 - 1. Let z(x) = -p(x) + 6*y(x). Is z(6) a prime number?
True
Let p(o) = 58*o**2 - 5*o - 5. Suppose 4*x + 16 = 0, 2*i + 0 - 4 = -3*x. Let q = 6 - i. Is p(q) prime?
False
Let r(u) = 4*u**3 - u**2 + 1. Let w be r(1). Suppose 1917 = 4*l + l + w*a, 5*a = 15. Is l prime?
False
Let d = 22 + -12. Suppose -4*g + 801 = -579. Let j = g + d. Is j a composite number?
True
Suppose -46*q + 7843 = -35*q. Is q prime?
False
Suppose 4 = 2*l + 2*q - 16, 2*q + 28 = 2*l. Let s(g) = g**3 + 2*g - 17. Is s(l) prime?
False
Suppose z = 4*z - 351. Suppose 7*m - 5*m = -4*x + 686, -m - 677 = -4*x. Let w = x - z. Is w prime?
True
Suppose 0 = -2*r - z + 456, -r - 4*z + 235 = -0*z. Suppose -5*n = -1 + 6, 0 = 2*v + 3*n - r. Is v composite?
True
Let y(m) be the second derivative of m**5/6 - 4*m**3/3 - 9*m**2/2 + 15*m. Let r(u) be the first derivative of y(u). Is r(-3) a composite number?
True
Let k = 6944 - 11614. Is (k/4 - -1)/(5/(-10)) a prime number?
True
Let w(l) = 44*l + 3. Let c(i) = 615*i + 41. Let z(j) = -3*c(j) + 41*w(j). Is z(-5) composite?
True
Let y be (12/(-10))/((-3)/10). Suppose 3*r - 4550 = r. Suppose 649 + r = y*q. Is q a prime number?
False
Let r(x) = 364*x - 25. Suppose 2*q = -h + 3*h - 24, 6 = 2*h + 4*q. Is r(h) a composite number?
False
Let n(m) = 2*m**3 - 39*m**2 - 8*m - 38. Is n(29) composite?
True
Let d be (-2 - -4)*6/12. Let o(w) = 322*w + 4. Let u be o(d). Is 14/21 - u/(-6) a prime number?
False
Suppose -3*a + 6*j + 785 = 2*j, -2*a + 524 = -3*j. Suppose 497 + a = 2*n. Let k = n + 209. Is k a composite number?
False
Let a = -19536 + 72647. Is a a composite number?
True
Let t(r) = -1799*r - 2. Is t(-1) composite?
True
Suppose 12*r - 8*r - 12 = 0. Suppose r*l + 2*l - 5 = 0. Is l*(263 + -8 + 4) prime?
False
Suppose w - 2*r + 4 = 0, 4 = -w + 3*w + 2*r. Is (23 - (w + 2))*1 a composite number?
True
Let j(c) = -256*c + 83. Is j(-5) prime?
False
Suppose -3*k + 34 + 11 = 0. Let i = k - 13. Suppose 0 = i*s - 4*s + 74. Is s a prime number?
True
Suppose 0 = 2*l - 2*v + 2, 14 = -0*l - 2*l - 2*v. Let n(a) be the first derivative of a**3 - 3*a**2/2 - 2*a + 10. Is n(l) composite?
True
Suppose 4*u = -924 - 3492. Is ((-4)/(-6))/((-16)/u) a composite number?
True
Let s(y) = -139*y**3 - 2*y**2 + 3*y - 7. Is s(-3) composite?
False
Let k(j) = j**2 - j + 1. Let l(r) = -5*r**2 + 17*r - 9. Let s(d) = -6*k(d) - l(d). Let b be s(-11). Is 30 + b/6*2 prime?
True
Let i(f) = f + 289. Suppose 6 = -4*h - 2*w, -h - 2*h + 9 = -3*w. Is i(h) prime?
False
Suppose -4*b - 3*o = -125, -5*b + 3*o + 195 = -o. Suppos