composite number?
False
Let w be ((-3)/9)/((-5)/16260). Suppose -3645 = -v - w. Let k = -1776 + v. Is k prime?
False
Is 55 + 3*((-100)/15 + 6) prime?
True
Suppose 3*r = 2*a + 4*r + 223, -4*r - 94 = a. Let h = a + 893. Suppose c - 176 = 3*n - 0*n, 3*n = -4*c + h. Is c prime?
True
Let p(r) = -r**3 - 26*r**2 - 26*r + 42. Is p(-25) prime?
True
Let g = 242 + -743. Let b = g + 836. Is b a composite number?
True
Suppose -24 = 7*w - 5*w. Let r(b) be the third derivative of -49*b**4/24 - b**3/6 + 8*b**2. Is r(w) a prime number?
True
Let i(x) be the first derivative of 8*x**3/3 + 7*x**2/2 + 7*x + 10. Let d be (18/8)/((-3)/8). Is i(d) a composite number?
True
Suppose 0 = -v + 4*v - 6. Suppose 0 = -v*q - q - 285. Let b = q + 538. Is b a composite number?
False
Suppose -w = -2*a + 1, -a = -5*a - 2*w + 14. Suppose 5*g = -22 + a. Is 7/28 + (-87)/g prime?
False
Suppose -r = -2*x + 16724, 30*r - 28*r = 2*x - 16722. Is x a prime number?
True
Let h = 17 - 18. Let u be 14 - 8 - (h - -1). Suppose -7*l + 139 = -u*l. Is l prime?
True
Is 0/(-1) - (-31 - 28450) prime?
False
Suppose 4*j = 3*h + 344 + 126, j - 3*h - 113 = 0. Is j*5 + 3/6*-4 a composite number?
False
Is 1*-3*(-12933)/27 composite?
True
Suppose 4351 = j + j - 3*m, -2*j = -5*m - 4353. Suppose 0 = -4*i + 190 + j. Is i a prime number?
False
Let v(h) = 5*h**2 - 15*h + 23. Is v(12) composite?
False
Suppose c = -3 - 1, 2*g + c - 4122 = 0. Is g composite?
False
Let i = -41 + 27. Let a(x) be the first derivative of -x**2 + 6*x + 8. Is a(i) prime?
False
Let f(p) be the first derivative of 159*p**2/2 + 8*p - 12. Is f(3) a composite number?
True
Let u(j) = -j**2 + 12*j + 31. Let l be u(14). Let f = -5 - -11. Let o = f - l. Is o a prime number?
True
Let x(z) = 3*z + 5. Let o be x(-5). Let r be ((-603)/15)/(2/o). Suppose 0 = -3*p + 21 + r. Is p a prime number?
False
Let x(w) = 19*w**2 + 23*w - 29. Is x(9) composite?
True
Suppose 23*v - 148904 = 15*v. Is v prime?
False
Let z(y) = 852*y + 2. Let d be z(1). Suppose 3*c - 5*j = d, -5*j + 611 = 4*c - 2*c. Is c a prime number?
True
Is ((-33)/12)/(-11) + (-243684)/(-48) prime?
True
Let m = 179624 + -122461. Is m a composite number?
False
Let c(n) be the first derivative of n**4/2 + n**3/3 - n**2 + 5*n - 1. Let j be c(3). Suppose -186 = -4*s - j. Is s composite?
False
Is (-505994 + 6 + 3)/(-5) a prime number?
True
Let z = 3332 + 1371. Is z a prime number?
True
Let k be 3/(-1) - -1 - -6. Suppose -74 + 10 = k*o. Let d = 31 + o. Is d a prime number?
False
Let a(h) = 3*h**2 + 29*h - 143. Is a(-35) composite?
True
Let x(m) = 67*m**2 + 5*m + 3. Is x(-7) a composite number?
False
Suppose 4*g - 2*m = -44 + 10, -5*m + 13 = 2*g. Is (254/8 + g)/((-2)/(-40)) composite?
True
Let m(r) = 19 - 37 - 2011*r + 23. Let u be m(-5). Is 1/(-6) + u/24 prime?
True
Let z(g) = -1883*g - 616. Is z(-25) prime?
False
Let u = -21 + 26. Suppose -23 = -7*p + u. Is (-2)/p - 1018/(-4) a prime number?
False
Is (4 - 147/9)*(-5 + 2) a prime number?
True
Let d(p) = -p**3 + 10*p**2 + 2*p - 15. Let k be d(10). Let h be (1 + 0 - 2) + 3. Suppose -5*v + 46 = -h*o, -k*v - o + 62 = 10. Is v a composite number?
True
Let a = 21692 - 8401. Is a prime?
True
Let m be (-2)/(-6) + 176/48. Suppose 4*a - 3335 - 777 = m*f, 4*f = a - 1031. Is a a composite number?
True
Suppose -2*h - 6*s + s = -35, -5*s = h - 30. Suppose -u - 157 = -2*i, -5*u = -0*u - h. Let j = -40 + i. Is j a prime number?
False
Suppose 3*t + 3 = -2*c + c, -5*t + 3*c - 5 = 0. Let b be (-42)/(-8) + t/4. Suppose 0 = b*x + h - 423, 5*h + 27 + 68 = x. Is x composite?
True
Let y(d) = -d**2 - 5*d + 2. Let m be y(-5). Suppose -3*v - 2*v - 10 = 5*z, 0 = 4*z + m*v - 2. Suppose b + 20 = -4*b, -5*l + 518 = z*b. Is l composite?
True
Let y = 2207 - -14610. Is y composite?
True
Let s(q) = 42*q - 9. Let y(n) = 43*n - 9. Let f(o) = 3*s(o) - 4*y(o). Is f(-11) a prime number?
False
Let u(i) = -3*i**3 + i**2 - i + 345. Let o be u(0). Let s(b) = b**2 + b + 508. Let x be s(0). Let w = x - o. Is w a prime number?
True
Let q(u) = -u**2 + 14*u + 9. Let t be q(9). Is ((-2142)/t)/(1/(-3)) a composite number?
True
Suppose -80*m + 71*m = -8307. Is m a composite number?
True
Let x(i) = -33*i**2 + 6*i + 6. Let k(m) = -m**2 + m + 1. Let w(c) = -k(c) - x(c). Is w(-4) a composite number?
True
Let u be (-4)/14 - (-38)/(-14). Let x be 0/((-1)/1 - u). Suppose d + d - 1082 = x. Is d a composite number?
False
Let b be (-12660)/5*4/(-6). Suppose 4*g + b = 12*g. Is g prime?
True
Let f be (9/(-6))/((-15)/20). Suppose -t - t = -f*b - 1206, b - 2 = 0. Suppose 4*q - t + 9 = 0. Is q prime?
True
Let s(x) = x**3 + 2*x**2 - 3*x + 64553. Is s(0) composite?
False
Let v(a) = 6*a + 21. Let q(f) = -7*f - 21. Let p(m) = 3*q(m) + 4*v(m). Let w be p(-8). Is (1949/2)/(w/(-6)) a prime number?
True
Is (17/(-34))/((-3)/255642) prime?
False
Let g(f) = 37*f - 228. Is g(7) composite?
False
Suppose -5*b - 25*b + 16710 = 0. Is b a composite number?
False
Let v(z) = -1129 + 1125 + 4*z**2 + z + z**2. Is v(-3) prime?
False
Let z(q) = -q**3 + 23*q**2 + 5*q + 22. Is z(19) a composite number?
True
Let h(v) = v**3 + 21*v**2 + 3*v - 13. Let u be h(-15). Let p = u + -299. Is p composite?
True
Let w be ((-126)/8)/(15/(-240)). Is (w/27 - 10)/((-2)/4971) prime?
True
Suppose 137738 = 22*y + 4132. Is y composite?
False
Suppose 7*c - 11*c = -8156. Is c composite?
False
Let v be (-132)/(-28) - 4/(-14). Suppose 0 = -v*g - 0*g - 20. Let f(i) = -9*i**3 - 5*i**2 + i - 1. Is f(g) composite?
False
Suppose -4*l = 4*s + s - 5939, 0 = 4*s + 2*l - 4756. Is s a prime number?
False
Suppose 3*l = 3*p - 6579, -l = 2*p + 4*l - 4400. Is p a composite number?
True
Suppose 0 = -m + 18 - 11. Suppose 0 = 3*k + m*k - 4710. Is k composite?
True
Let k(p) = p**3 + 10*p**2 + 14*p + 17. Let z be k(-9). Is 8/z - 0 - 4755/(-7) prime?
False
Suppose 0 = 2*c - i - 23, 29 = 2*c - 0*c + i. Let w = c + 54. Is w prime?
True
Let l(v) = v**3 - 2*v**2 - 4*v + 14699. Is l(0) prime?
True
Suppose 4*c + 5*d = 7656, -2*c = 3*d + 1502 - 5332. Is c prime?
False
Let h(c) = 51*c + 80. Is h(5) a composite number?
True
Let w = -46 + 165. Is w composite?
True
Let q(c) = 2*c**2 + 4*c + 2. Let g be q(-2). Suppose -g*i - 423 = i. Let d = 200 + i. Is d a composite number?
False
Let q(n) = -4 - 1 - 58*n**3 - n + 55*n**3 - 4*n**2. Let g be 60/(-14) - (-6)/21. Is q(g) prime?
True
Let m(r) be the first derivative of 71*r**2/2 + 23*r - 14. Is m(9) prime?
False
Let a(u) = -u + 18. Let j be a(13). Suppose 10 + j = 3*v. Suppose -m + 963 = 2*h, -4*h - 4*m + v*m + 1911 = 0. Is h composite?
False
Let u = 36 + -26. Let h be u*(-532)/(-12)*3. Suppose 5*n = h + 205. Is n a composite number?
False
Let f = 141 - 69. Let g = f - -1001. Is g composite?
True
Let x be ((-119)/(-28) + 0)/(2/16). Let d = 1983 - x. Is d a composite number?
False
Let a(o) = -2*o + 24. Let d be a(11). Let l be (2/(-6))/((-2)/5574). Suppose 0 = 5*w + 5*z - 935, -8*w + 3*w = d*z - l. Is w composite?
True
Suppose m + 2*y - 34 = 11, -4*y - 16 = 0. Is (m/3)/((-1)/(-3)) a prime number?
True
Let g(p) = -p**3 + 6*p**2 - 4*p + 1. Let j be g(5). Suppose -2*i - 2429 = -5*t, i - j*i - 1446 = -3*t. Is t composite?
False
Suppose 5*x - 2*o = -7*o + 89325, -4*x + 71458 = 3*o. Is x a composite number?
False
Suppose -5*q + 5858 = -3*b, -5860 = -5*q + 5*b - 0*b. Suppose q = -2*o - 2*s + 119, 2*o - 4*s + 1046 = 0. Let m = -362 - o. Is m composite?
False
Let v(u) = -u**3 - 16*u**2 - 8*u - 13. Let y be v(-14). Let m = -182 - y. Is m composite?
True
Suppose -r + 4*x + 1246 = -341, 3*x - 3 = 0. Is r a prime number?
False
Let n(m) = 25*m**2 - 77*m + 155. Is n(-61) a composite number?
True
Suppose -2*r = r - 5*l - 13, 0 = 2*r - 3*l - 8. Let z be -2*10/4*r. Let u = z + 42. Is u prime?
True
Let u(a) = 23*a**2 + 2*a - 42. Is u(9) composite?
True
Let r(m) = 29*m - 12. Let q(v) = -v**3 + 2*v**2 + 12*v - 9. Let z be q(4). Is r(z) prime?
True
Let b(h) = -h**2 + 11*h. Let n be b(12). Let c(w) = w**3 + 12*w**2 - 16*w - 13. Is c(n) a composite number?
False
Let v(y) = -36*y - 43. Let f be 0 + -2 + -25 - -4. Is v(f) a prime number?
False
Let d = 16 - -154. Let o = 81 - d. Let q = 32 - o. Is q a prime number?
False
Suppose -9*c + 18949 = -8*c. Is c a prime number?
False
Let z be (-564)/(-8)*(-8)/6. Let h = -246 - -115. Let s = z - h. Is s a composite number?
False
Supp