-6) a prime number?
True
Let d = 34 - 30. Is 2322 - (-2)/d*10 composite?
True
Let p = 3748 + -8831. Let v = -1934 - p. Is v prime?
False
Let m = 24 + -18. Is (-4942)/(-3)*9/m prime?
False
Suppose 2*k - 4 = -0. Suppose 270 = -k*o + 42. Let r = 47 - o. Is r composite?
True
Suppose -d + 5*v + 737 = -168, -5*d + v = -4405. Suppose 8*r = 288 + d. Is r a composite number?
True
Let b(h) = h**3 - 6*h**2 + 10*h - 15. Let m be b(5). Suppose -555 = m*y - 15*y. Is y prime?
False
Let u = 9703 - 6566. Is u prime?
True
Let m = 945 - -2104. Is m a composite number?
False
Let l(g) = 397*g**2 - 10*g - 5. Is l(6) a composite number?
True
Suppose -8*y + 11*y + 156 = 0. Is -1*2 + (-13)/(y/104172) a composite number?
False
Suppose i - 4*k = -k + 11599, 4*i - 46328 = -5*k. Is i a composite number?
False
Let f(c) = -138*c - 136 - 177*c + 147. Is f(-2) a prime number?
True
Let s(j) = j + 1. Let h(v) = 38*v + 19. Let m(f) = -h(f) + 6*s(f). Is m(-6) a prime number?
True
Suppose -g - 12 = -4*g, 0 = 2*i - 4*g - 4678. Suppose -2*n + i + 2527 = 0. Is n a prime number?
True
Let h(k) = 18*k**3 - 25*k**2 - 3*k + 3. Is h(7) prime?
True
Let f(a) = 16*a**2 + 21*a + 16. Let q be f(-15). Let z = q + -2108. Is z a composite number?
False
Suppose -3765 = 56*p - 61*p. Is p a prime number?
False
Let x(z) be the second derivative of -3*z**5/20 - z**4/6 + z**3/6 + z**2 - 39*z. Suppose -35 = 5*i - 5*l, -1 = -3*i - 3*l + 2. Is x(i) composite?
True
Suppose 2*r = 4*r - 5208. Suppose 6*j - 1902 - r = 0. Is j a composite number?
False
Let g(f) be the second derivative of f**7/420 - 3*f**5/40 + 5*f**4/12 + 2*f**3 + 12*f. Let b(m) be the second derivative of g(m). Is b(7) prime?
False
Let q(n) = -125*n - 93. Is q(-11) composite?
True
Suppose s - 15 = -0*p - 4*p, 14 = 4*p + 2*s. Suppose 3*r - 5*r = -4. Suppose -g + 72 = g + 4*d, p*d + 32 = r*g. Is g prime?
False
Let d(x) = 24*x**3 + 5*x - 3. Let l = 21 - 19. Is d(l) prime?
True
Suppose 5*q - 5*b = -660, q - b = 3*b - 120. Let h = q + 247. Is h composite?
True
Suppose 3*m - 2667 = -3*g, m + 3*g - 457 - 432 = 0. Is m a prime number?
False
Let x = 1972 - 1295. Is x a composite number?
False
Suppose 4*u - 25451 = 5*s + 2195, -u + s + 6912 = 0. Is u a composite number?
True
Suppose -5*s = -59 - 11. Let g(w) = s - 26*w - 9 - 6. Is g(-3) prime?
False
Let z(o) = 216*o - 10. Let l be z(3). Suppose l = 3*u + 3*a - 475, 2*u + a = 742. Is u prime?
False
Let i(c) = c**3 - c**2 + 16*c + 4. Let w be i(5). Let y = -99 + w. Is y composite?
True
Let p be (4/(-6))/(7/63). Is 1*87/p*-4 prime?
False
Suppose 0 = 3*j + 4*j. Suppose -n - 36 - 2 = j. Let u = -25 - n. Is u a composite number?
False
Let i(a) = -2*a - 3*a + 104*a**2 + 2 - 5 - 4. Is i(4) composite?
False
Let y(j) = -2*j + 8. Let h be y(6). Is 1404 + (-1 + h - 0) prime?
True
Let q(v) = 138*v**3 + 2*v**2 + 16*v - 17. Is q(1) prime?
True
Let p(l) = -3 + 54*l**2 + 37*l**2 - l + 0. Let o be (-4)/(2 + -13 + 9). Is p(o) prime?
True
Let d(x) = 6*x**2 + 2*x + 1. Let h(j) = 10*j**2 + 6*j + 2. Let s(u) = 5*d(u) - 2*h(u). Let v = 7 - 4. Is s(v) composite?
True
Let x be 32/24 + (-3)/((-18)/4). Suppose -23250 = 4*q - 7*q + 3*n, -n = x*q - 15485. Is q prime?
False
Suppose -15300 - 7758 = -3*c. Suppose 4*o - c = -5*r, -2*r - 1475 + 7236 = 3*o. Suppose -2*w + 3175 = k + 4*k, 4*w = -3*k + o. Is k composite?
True
Let j = 8326 - 5405. Is j a composite number?
True
Suppose 10*z = z. Suppose z = -28*k + 30*k - 118. Is k composite?
False
Suppose 3*b - 19209 - 6598 = 4*d, 4*d + 8589 = b. Is b a prime number?
True
Let o be ((-6)/(6/(-2)))/(16/856). Let m = o - 93. Is m composite?
True
Let w = 28 + -25. Suppose -5*c + 2470 = w*s, -3*c - 2*c + 3285 = 4*s. Is s prime?
False
Suppose 6*s - 7*s = -5*f + 1581, 0 = -4*f + 5*s + 1248. Is f prime?
True
Let h(i) = 664*i - 435. Is h(7) a composite number?
True
Is (-18)/117 + 774273/39 prime?
True
Suppose -32979 = -97*u + 96*u. Is u composite?
True
Is ((-16)/(-24))/(3/((-66933)/(-6))) prime?
False
Let a(r) be the second derivative of r**5/20 - r**4/6 + r**3/3 + r**2 - r. Suppose 8*x - 3 - 13 = 0. Is a(x) a prime number?
False
Suppose 11*r - 10*r - 5*c - 3234 = 0, -2*c = -2. Is r prime?
False
Let h(t) = -t. Let k(o) = -40*o + 27. Let w(m) = -2*h(m) - k(m). Is w(5) a composite number?
True
Suppose -23*u + 279528 = -434645. Is u a composite number?
False
Let r be 6/21 + (-477)/(-21) + -1. Is ((-11)/r)/((-2)/40) a composite number?
True
Suppose -j + 5783 = k, j - 10919 = -2*k + 643. Is k prime?
True
Let b = -9766 - -19299. Is b a composite number?
False
Suppose -4270 = -5*m - 65. Suppose -5*y + m = -274. Is y a prime number?
True
Let z = -481 + -474. Let h = -155 + -286. Let j = h - z. Is j prime?
False
Let m = -4693 - -7532. Is m prime?
False
Let m(f) = 108*f**2 + 24*f - 11. Suppose -10*w - 56 = -2*w. Is m(w) composite?
False
Suppose -4*w = -w + 12, 0 = 3*u - 3*w - 36. Suppose 3*m = -2*t + 4227, u*m - t = 3*m + 7045. Suppose 0 = 4*g - 267 - m. Is g a prime number?
True
Let m = 33 - 5. Let x be 3/((-2)/(m/(-3))). Suppose x*y - 10*y - 1564 = 0. Is y a composite number?
True
Let b(o) = 4*o**2 + 13*o + 15. Let h be b(-6). Let f = h - 32. Suppose -87 = -4*t + f. Is t composite?
True
Is (-6844)/(-177)*(-1977)/(-4) composite?
True
Let b(p) = -4*p**3 - 4*p**3 + 2*p + 6 + 5*p**2 + 2*p**3 + 5*p**3. Let m be b(5). Is (148/16)/(2/m) a composite number?
True
Is (-3)/1 + 36/42*222124 a prime number?
False
Let f(j) = j**3 + 5*j**2 + 11*j - 1. Let n be f(7). Suppose p - 5*a = -4*p + 1110, -3*p + 5*a = -n. Is p a prime number?
True
Let q(h) = h**2 - 13*h - 3 - 46*h**3 + 18*h - 10*h. Is q(-2) composite?
False
Let h(w) = 11*w**3 + 15*w**2 - 17*w - 23. Is h(8) composite?
True
Suppose -6*n = -2*n - 12. Suppose -z - n*s + 812 = 0, 2*z + 8*s = 3*s + 1619. Is z prime?
True
Let g = 12 - 6. Suppose 0 = 5*v - 4*p - 16773, -g*v = -8*v - p + 6704. Is v prime?
False
Let c(z) = 1096*z**3 - z**2 + 1. Let k be c(1). Suppose -6*q = -2*q - k. Is q prime?
False
Let r be 776/72 + (-4)/(-18). Let a = r + -52. Let k = -6 - a. Is k composite?
True
Let l(q) = -20*q**3 + q**2 + 13*q - 11. Is l(-5) composite?
True
Let t(a) = -a**2 + 9*a + 26. Let u be t(11). Suppose 1059 = 3*n - 3*s, -u*n + 1586 = s + 174. Is n a composite number?
False
Let o(i) = 228*i**2 - 10*i + 53. Is o(9) prime?
False
Suppose 0 = -2*v - 0*v + 18. Let j = -5 + v. Suppose 320 = j*q - 1004. Is q a prime number?
True
Let s(t) = 42*t - 1. Let l = 50 + -44. Is s(l) a composite number?
False
Suppose 5*v + 2*q = q - 16, -4*q = 4*v + 16. Is 9498/8 - v/(-12) - -2 a prime number?
False
Let i be 36/15 - (-10)/(-25). Suppose 2 = k, -2*a - k = i*a + 3106. Is 7/28 + a/(-12) a prime number?
False
Suppose -2*d + 6137 = 3*k, 3*d = 5*k - 10*k + 10228. Suppose 0 = 5*a + 4*t - k, -2*a - 4*t + 1227 = a. Is a composite?
False
Let i = 6273 + -3540. Is i a composite number?
True
Let w be 1311*2/3*1/2. Suppose 0 = -5*q + w + 453. Is q a prime number?
False
Let g be -1 + -3 + 23062 + (-2)/1. Is g/55 - ((-2)/10)/(-1) prime?
True
Let y(m) = 15*m**3 - 2*m**2 - m - 3. Let h be y(-5). Is h/9*(0 + -3) prime?
True
Let k = -2306 - -4771. Suppose 11*j - 6*j = k. Is j a prime number?
False
Let c(y) = y**3 - 14*y**2 + 8*y - 9. Let n be c(14). Suppose 2*o + o = 15. Suppose 3*u = 3*t + 117, o*u - 2*u + 4*t = n. Is u composite?
False
Let n = -48 + 57. Is 3/((-3)/(-3033)*n) composite?
False
Let p(m) = -2*m**3 + 8*m**2 + 18*m - 26. Is p(-17) a prime number?
False
Let h(j) = j**3 - 12*j**2 + 11*j + 5. Let k be h(11). Suppose m - 3*p = 35, k*p = 3*m - 0*p - 105. Suppose a - 241 = -m. Is a a prime number?
False
Suppose -3*d + 57 = 60. Is (764/12)/(d*(-1)/3) composite?
False
Suppose 0 = h - 5*p - 4312, -h + 58*p + 4315 = 54*p. Is h composite?
False
Suppose 6*a - 9592 = -5*a. Let y = -876 - -297. Let l = a + y. Is l prime?
True
Let b(o) = 2*o + 1. Let f be b(3). Let m(a) = 0*a**2 + 5 + 3*a + 3*a + 3*a**2 + 5*a - 14*a. Is m(f) a prime number?
True
Let j(z) = -12*z**3 + z**2 + z + 2. Let l be j(-4). Let b = -475 + l. Is b a composite number?
False
Let i(s) be the third derivative of 0*s + 0 + 5/6*s**3 - s**2 + 11/24*s**4. Is i(8) prime?
False
Let y(c) = -1504*c + 7. Is y(-1) composite?
False
Let r(p) = 232*p**2 + 3*p + 1. Let g be r(-3). Suppose -4*f = 4*q - g, 0*f - 4*q = 5*f - 2597. Is f composite?
True
Let f(s