 k prime?
True
Suppose -287 - 6443 = -5*t. Suppose -30 = 4*s - t. Is s composite?
True
Let l be 2/(-11) + (-210)/55 + 0. Let q(m) = 15*m**2 + 8*m + 3. Is q(l) a composite number?
False
Let c = -1151 - -2678. Suppose 12*p - 15*p = -c. Suppose -4*s + 992 = 5*a - p, 761 = 2*s - a. Is s a composite number?
False
Suppose 5*r - y + 4 = 0, 2*r + 5*y - y - 16 = 0. Suppose r = -4*t + 8*t - 12. Is t a composite number?
False
Suppose -a = h - 752, 2*a = 4*h + 501 + 985. Is a composite?
True
Suppose -2 = -b - 4*l - 1, -5*b + 20 = 5*l. Suppose b*h = -3*a + 5512, -a + 2*h + 1578 + 241 = 0. Is a prime?
False
Suppose -2*k + 693 = -1133. Suppose -5*a - 4*x + k = 0, -2*x - 95 = 5*a - 1014. Is a composite?
True
Suppose 3*q - 19 = -1. Let v(u) = -2*u**3 + 7*u**2 - u - 2. Let g be v(q). Let z = 451 + g. Is z a prime number?
True
Let s = 730 + 1210. Suppose -200 = -4*m + s. Is m a composite number?
True
Is 3 + (-11)/((-44)/8816) + 6 composite?
False
Let r(u) = -u**3 + u**2 + 4*u - 10. Let h(i) = 2*i**3 - 4*i**2 - 7*i + 19. Let j(w) = -3*h(w) - 5*r(w). Let t = 14 + -8. Is j(t) a prime number?
False
Let f(i) = 22*i**2 - 8*i - 1. Suppose -24 = -30*k + 33*k. Is f(k) prime?
True
Let n be 2/8 + 6083/(-28). Let t = 359 - n. Let y = 1102 - t. Is y prime?
False
Suppose -2*m - 12 = -0*m. Let n(d) = -d**3 - 7*d**2 - 6*d. Let i be n(m). Suppose i = -0*s - s + 79. Is s a composite number?
False
Suppose 0 = 88*f - 89*f + 2321. Is f prime?
False
Suppose -5*y = 3*n - 98 - 158, 2*y - 164 = -2*n. Is n composite?
True
Let k(l) = -10*l**2 + 17 + 114*l - 190*l - l**3 + 94*l. Let y = -18 - -6. Is k(y) a composite number?
False
Suppose -312 = -4*r - 108. Is r prime?
False
Is (2 - -5)/(5*(-1)/(-15185)) a composite number?
True
Let q(w) = 237*w**2 - 3*w + 2. Let t be q(1). Suppose -4*z = t - 1816. Is z prime?
False
Let d = -22089 + 39100. Is d prime?
True
Suppose 2*i = 3*i - 20. Is (60672/i - -1) + (-2)/(-5) a composite number?
True
Suppose -2*r + 16 = 28. Is 138090/40 - (0 + r/8) composite?
True
Let h(a) = -a**3 - 3*a**2 - 3*a - 3. Suppose -4*t = -0*t + 8. Let c be h(t). Let q = c + 36. Is q prime?
False
Suppose 28193 = -2*y + 4*y - 5*u, 3*u - 56399 = -4*y. Is y a prime number?
False
Let b be 5560/(-3)*15/10. Is (2/2)/(-1) - b prime?
False
Suppose -17*z + 173838 = -11*z. Is z a prime number?
False
Is 3139740/(-72)*6/(-15) prime?
True
Suppose -4*b = h - 20, 0 = 2*b - h + 4*h - 20. Suppose b*f = 4 - 16. Is (-2685)/(-18) - f/(-18) a composite number?
False
Is (-6)/(24/4)*(-17228)/4 a prime number?
False
Suppose 0 = i - 0*i - h - 7, 25 = 3*i - 4*h. Let s = -82 + 82. Suppose s = -3*z - 2*b + 6*b + 3333, 4*z - i*b - 4451 = 0. Is z a composite number?
True
Let u(b) be the third derivative of -1/60*b**5 + 0*b - 53/30*b**6 - 5*b**2 - 1/6*b**3 - 1/24*b**4 + 0. Is u(-1) prime?
True
Let q = 5 + -37. Let h = q - -81. Is h prime?
False
Is 4/38 + 401145/19 prime?
False
Suppose d + 5*c = 6*d - 15, 3*c = 5*d - 13. Suppose d*l - 2453 = b, 0 = 3*l - 4*b - b - 3669. Suppose -8*a + l = -4*a. Is a a prime number?
True
Let b = 9 + -7. Suppose 4*v - 6 = b. Is 428 + (v/2 - 2) composite?
True
Let w be (-2)/(-5) + 92/20. Suppose w*x - 627 = 2*x. Is x composite?
True
Suppose h + 3*t = 6*h - 145, -116 = -4*h - 4*t. Suppose y = h + 20. Is y prime?
False
Let h = -2598 - -6191. Is h composite?
False
Let n be (-3)/6*0/(-1). Suppose n = h + h. Suppose 2*p - 13 + 1 = h. Is p composite?
True
Let b(i) = i**2 + 6*i - 4. Let l(k) = -k**2 - 6*k + 5. Let t(z) = -6*b(z) - 5*l(z). Is t(-4) a prime number?
True
Suppose 2*m = m. Let z = 1100 + -646. Suppose -2*o = -4*v - m*v - 238, 0 = 4*o + 3*v - z. Is o a composite number?
True
Is (116672/24)/4*3/2 a prime number?
True
Let x = 2 - 8. Let z(l) = 1 + 4*l + 5 - 7*l + 3*l**2 - 1. Is z(x) a composite number?
False
Let n(y) be the first derivative of 3*y**2 - 11*y + 11. Suppose -c - 26 = -3*m, -4*c = -5*m + m + 40. Is n(m) composite?
False
Suppose 7099 = -16*q + 77643. Is q composite?
False
Let w = -706 - -1134. Let a be 4/(-2) + 70/10. Suppose -297 - w = -a*j. Is j a prime number?
False
Let c(g) = g**3 - 15*g**2 + 10*g - 2. Let h be c(16). Suppose 4*o + 55 = 255. Suppose -o = 4*a - h. Is a composite?
True
Let s = 12 + -11. Let i be (-4)/8 - s/(-2). Suppose -2*f = -i*f - 674. Is f a prime number?
True
Let j(a) = -a**3 + 8*a**2 + 14*a + 9. Suppose -y = 5*r + 2*y - 65, r - 2*y = 0. Let d be j(r). Let z = 194 + d. Is z prime?
False
Let h(c) = 239*c**3 + 5*c**2 - 5. Let z be h(3). Suppose -5*o + j - 424 = -z, -o + 1193 = 5*j. Is o prime?
True
Let z(u) = -5*u**2 - 2*u**3 - 2*u**3 + 3*u**3 - 9 + 0*u**3. Is z(-7) prime?
True
Suppose 1650 = 36*q - 38*q. Let r = -444 - q. Is r a composite number?
True
Let a(b) = 2*b**2 - 12*b. Let g be a(6). Let h(w) = w**2 - 1. Let l(p) = -4*p**2 + p + 160. Let o(d) = 5*h(d) + l(d). Is o(g) prime?
False
Let v = -9799 - -56040. Is v a composite number?
True
Let m = 18 - 3. Suppose 2*n - m = -n. Suppose -n*g = -g - 140. Is g a prime number?
False
Suppose -5*r - 13546 = 2584. Let g = r + 4789. Is g a composite number?
True
Let z be -2 - (3 - (1 - -5)). Let f be 22/(-6) - z/3. Is 3 - f/6*303 prime?
False
Let m be 1 + -4 + 0 + 6. Let t(w) = 28*w**2 - 4*w + 11. Is t(m) prime?
True
Let a = -671 + 1244. Suppose -a = -14*i + 11*i. Is i a prime number?
True
Is 4 + -3 + 3499 + -9 composite?
False
Let p = 562 - 213. Let v(k) = -4*k**2 - 3*k - 8. Let j be v(10). Let m = p - j. Is m a composite number?
False
Let v be 168/7*(0 - -1). Suppose -c + v = 3*c. Is 15/10*220/c a composite number?
True
Suppose -5*k + 2*k + 4*o = 1046, -2*k = -4*o + 696. Let y = k - -105. Let l = -163 - y. Is l a prime number?
False
Let d(f) = -f + 4. Let t be d(-10). Let j(g) = -2 + 4 - 2*g - 6*g**2 + 11*g**2 + t*g**2. Is j(2) prime?
False
Let y(j) = 54*j**3 - j**2 - 22. Is y(4) a prime number?
False
Let a(p) = 12*p**2 - 52*p - 381. Is a(-32) composite?
True
Let k be -738*(-2 + (-3 - -3)). Let h be 4/14 - k/21. Is (12/(-10))/(4/h) prime?
False
Let n(b) = -3053*b + 67. Is n(-2) composite?
False
Let j(v) = 13*v**3 - 2*v**2 + 3. Let z be j(-2). Let k = -117 + 42. Let o = k - z. Is o a prime number?
False
Let h = -28 - -53. Let j = h - 19. Suppose -j*b + 98 = -4*b. Is b composite?
True
Let s = 25 + -19. Let g be 20/s*3/2. Suppose -g*o + 416 = -699. Is o composite?
False
Suppose 0 = 5*m + 20, -m + 4*m = -2*z + 1046. Is z composite?
True
Let v(r) = 7837*r + 5. Is v(2) a composite number?
False
Is (7 + (-18096)/(-18))/(3/9) prime?
True
Let m(h) be the second derivative of h**4/12 + h**3/3 - 3*h**2 - 7*h. Suppose 5*k + 30 = -b, 0 = 2*k - b + 2 + 3. Is m(k) prime?
False
Let k = 107 + -832. Let s = 1792 + k. Is s composite?
True
Let p = -9 - -13. Suppose 4*x + 43 = -3*v + 161, -5*v - p*x + 194 = 0. Suppose -4*r + 54 + v = 0. Is r prime?
True
Let y be 2/(-11) + 168/(-44). Let f = -6 - y. Let u(t) = -104*t**3 - 2*t**2 + 2*t + 1. Is u(f) a prime number?
True
Let i(f) = -624*f + 13. Is i(-2) a composite number?
True
Let a(n) = n**3 + 12*n**2 - 16*n + 12. Let h be (5 + -3)/((-4)/18). Let y = h - 4. Is a(y) a prime number?
False
Let n = 10 + -18. Is (-2870)/n + (-2)/(32/(-4)) composite?
False
Suppose 5*g = g - 8. Is ((-2108)/(-8) - g) + 1/(-2) composite?
True
Suppose 0 = -3*i + 3*a - 54, -2*a = 2*i - 3*i - 20. Is 1252/6 + i/6 + 3 prime?
False
Let q be 0 - (2 + 3 + 105/(-15)). Suppose 1 - 5 = 3*d + 5*m, 5*d = -5*m. Suppose -51 = -a + i + 2*i, d*i + 102 = q*a. Is a composite?
True
Let j(z) = z**2 - z + 1. Let v(y) = 5*y**2 + 3*y - 6. Let t(m) = -j(m) + v(m). Suppose 4*h - 12 = 2*h. Is t(h) composite?
True
Let a(b) = 157*b**3 + 5*b**2 - 12*b + 31. Is a(4) a composite number?
False
Let z(l) = -l**2 - 10*l + 2. Let b be z(-10). Let v be b/10 - (-98)/35. Let h(j) = 4*j**3 + 5*j**2 - 3*j - 3. Is h(v) prime?
False
Suppose 8*g - 3*g + 290 = 0. Let y = 40 + g. Is (-2930)/y + (-8)/(-36) composite?
False
Let y = 46558 - 27312. Is y prime?
False
Let i = 54 - 37. Let k = i + -20. Is 783/6*(-2)/k prime?
False
Let j = 161 - 478. Let n = 1028 + -500. Let r = j + n. Is r prime?
True
Suppose 0 = -11*k - 21624 + 120415. Is k composite?
True
Is (-5 + 13678/10)/((-4)/(-20)) prime?
False
Suppose 16*p - 52853 = -p. Is p a composite number?
False
Suppose o = -2*o + 60. Suppose -o = u - 2. Is 12/u*(-9)/2 a composite number?
False
Let g 