composite number?
False
Let x = -1641 - 144. Suppose 3*w - g - 2195 = 0, -g - 25 = -20. Let a = w - x. Is a composite?
True
Let w(n) = n**3 + 3*n**2 - 7*n - 10. Let c be w(-4). Suppose 0 = i + z - 9959, 3*z + 7346 = c*i - 12582. Is i a prime number?
False
Let g be (13 + 936/(-16))*(-984)/14. Let y = g + 15341. Is y a prime number?
True
Is ((-1791790)/(-33) + -23)/(6/(-9) + 1) prime?
True
Suppose -d = -4*p + 145, -3*d + 179 = 5*p - 2*d. Let z be 27/p - (-1683)/(-4). Is 29/(2 + (-1)/((-212)/z)) prime?
False
Suppose 2*s - 1212238 = -3*w, -51*w = 2*s - 49*w - 1212246. Is s composite?
False
Suppose -17111374 = 224*x - 71899424 - 83647758. Is x composite?
True
Suppose 7*b + 10*b + 12*b - 24281207 = 0. Is b a composite number?
False
Let w(d) = -656*d - 149. Let r be (4 + -1)*(-1 + -2). Is w(r) a prime number?
False
Let m(v) be the second derivative of 75*v**3 + 149*v**2/2 + 3*v - 1. Is m(7) composite?
False
Let c(h) = h**3 + 5*h**2 - 9*h - 36. Let r be c(-5). Let f(y) = 252*y - 65. Is f(r) a composite number?
False
Let b be 11/(22/16) + -6. Suppose 3*a = 4*d - 28229, -d - 465 = b*a - 7536. Is d a prime number?
False
Suppose -17*o + 4509 = -14*o. Let g = o - 752. Is g a prime number?
True
Let c(t) = t - 14. Let i be c(4). Let u(p) = 81*p**2 + 4*p - 21. Is u(i) a composite number?
False
Let w be -3*((-4)/(-15))/((-14)/(-1295)). Let i = w - -105. Is i a composite number?
False
Let r = 2738 + -2729. Let t be (3/(-6))/(2/(-72)). Suppose t*n = r*n + 13293. Is n a prime number?
False
Let k = 29 + -26. Suppose -2*x + x = -2*b - 41, -4*x = -b - k. Let s = b - -214. Is s a prime number?
True
Let n = 1830320 + -748819. Is n a prime number?
True
Suppose 9766 = b + w, b + 3*w = -3535 + 13291. Suppose b = -10*r + 32981. Is r a prime number?
False
Suppose -5*n = 101 - 46. Let m be (0 - 0)/(-12 - n). Suppose m*x + 4*x - 8028 = -4*v, -8 = -4*v. Is x a composite number?
True
Let j = -385 - -391. Is (-8)/j*-28417 - 205/(-123) prime?
False
Let k = 2 - 4. Let d(p) be the third derivative of 317*p**5/60 + p**4/8 - p**3/6 + 202*p**2. Is d(k) prime?
False
Suppose -5*q = -l - 8, -5*q + 0*l + 16 = 3*l. Suppose 0 = 4*s + 5*i - 14264, q*s - 2*i - 7134 = -4*i. Is s prime?
True
Let g = -589 - -591. Is g/10 + (-3351088)/(-260) a prime number?
True
Let w(y) = -968*y. Let v be w(1). Let r be 524454/315 - 2*(-4)/120. Let t = r + v. Is t composite?
True
Is (4040/30)/4*(5/(-5) - -412) composite?
True
Let l be (-1 + 0)*(5 + 1). Let u be ((-2)/l)/(-2 + (-13)/(-6)). Let m(s) = 360*s - 7. Is m(u) composite?
True
Suppose -115 + 105 = -2*x. Suppose 3*q = x*n - 2236 - 2379, -4*n = 5*q - 3692. Is n prime?
False
Let g = -39 + 40. Let h = g + 1. Suppose -5*t = -h*b - 707, 0*b + 2 = -2*b. Is t a composite number?
True
Suppose -6 = 2*z - 5*z. Suppose 0 = -12*f + 279 + 1701. Suppose -73 = -z*x + f. Is x composite?
True
Let h(r) = -12074*r + 1471. Is h(-20) composite?
True
Let l(z) = -8*z**3 + 39*z**2 - 2*z - 22. Let r be l(-27). Suppose -17*c = -r - 280774. Is c a prime number?
False
Let o(s) = -143*s + 507*s + 163 + 115*s. Is o(6) a composite number?
False
Let q be (-35)/(-6) + -1 - 8/(-48). Suppose 5*d = -q*d + 1430. Is d prime?
False
Let o be (8847/36)/(3/924). Suppose 0 = 17*p - o - 27822. Is p composite?
False
Let u(o) = -o**2 + 4*o - 1. Let q be u(3). Suppose q*p - 9*p = 231. Let c = p - -550. Is c composite?
True
Let h be 64005/6 - 3 - (-3)/(-6). Let b = h - 5823. Is b composite?
True
Suppose -14*f = -15*f + 347. Let l = f + -12. Is l prime?
False
Is (-1 - 3) + (-147)/98 + 1214657/2 a composite number?
True
Let b = -547 - -1163. Let s = b - 239. Is s composite?
True
Suppose -j = -2*v + 2*j - 1850, v + 899 = -5*j. Let z = -234 - v. Is z a composite number?
True
Is 15 + 110210 + 6 - 18 prime?
False
Suppose 7*m - 2*m - 15 = 0. Let j(o) = -o**2 + 4*o. Let p be j(m). Suppose -p*y - 348 = -5745. Is y composite?
True
Suppose -7*h = -327 + 2084. Suppose 0 = -3*o + 4*o - 488. Let r = h + o. Is r a composite number?
True
Suppose -r + 2 = -3. Suppose r*n - n = 8. Suppose n*h = -4*u + 216, 4*h - 5*u = 3*h + 101. Is h a composite number?
True
Let j = 14 - 11. Suppose -5*r + 198 = -4*d, j*d = r + 2*r - 120. Suppose r*w - 31*w = 742. Is w prime?
False
Is -1*(-2037797 + (3 - -1)) a composite number?
False
Suppose 3*b - 4*q + 2 = -2, 0 = -b - q + 1. Suppose -276*l + 272*l + 102876 = b. Is l prime?
False
Let o be (-1 - (-1 - 1))*(-2)/(-2). Let q be 3 + o - (-2)/(4/1330). Let z = 238 + q. Is z a composite number?
False
Suppose -9*v - 16*g + 85319 = -14*g, -4*v + 37932 = 4*g. Is v a composite number?
False
Suppose 3*b - 3*o + 2340 = 0, -2779 = 3*b + 2*o - 449. Suppose 1722 = 2*q - 624. Let k = q + b. Is k prime?
False
Let f(p) = -141*p**3 + 6*p**2 - 9*p + 221. Is f(-9) prime?
True
Suppose h = -h + p + 12, 3*p + 4 = -2*h. Suppose -5*d + 32438 - 108124 = -h*b, -b = 4*d + 60553. Is (d/(-36))/(2/4) prime?
False
Let a(r) = -r**2 + 16*r - 48. Let z be a(9). Suppose z*d - 11101 = 43094. Is d a composite number?
False
Suppose 82*h - 614939 = 207090 + 43809. Is h composite?
False
Let b(j) = 48*j**2 + 17*j + 3. Suppose 44*m + 60 = 39*m. Is b(m) prime?
False
Let x = -74 - -78. Suppose x*o + 16*h - 17*h = 2177, 5*o - 5*h - 2740 = 0. Is o a prime number?
False
Suppose -4*l = 3*v + 329143, 4*l + 16*v + 329141 = 15*v. Is (l/75)/(-1) - (-6)/(-45) a prime number?
True
Suppose 3*p = 7*p + 2*n - 752432, -5*p = 5*n - 940545. Is p prime?
True
Let u = -78007 + 261276. Is u a prime number?
False
Let z(x) = 2418*x**2 + 47*x + 137. Is z(-10) a prime number?
False
Let f be 1298/2 + 1 + 1. Suppose -5*c + 153 = -116*c - 69. Let j = f + c. Is j a prime number?
False
Let u be ((-2)/4)/((-40)/800). Suppose -3623 = u*b - 16053. Is b a prime number?
False
Let n(c) = c**3 + 30*c**2 + 51*c - 679. Is n(44) a prime number?
True
Let f = 240283 + 119340. Is f a prime number?
False
Suppose 12978 = 3*q + 3*v, 2*q + 3*v = 8*v + 8659. Is q composite?
False
Let f(c) = 3*c - 1. Let a be f(2). Suppose 2*w = -3*w - a*i - 20, -3*i = w + 12. Is 177 + w/(1 + 1) composite?
True
Let w = -210290 + 106824. Let k = -60831 - w. Is k a prime number?
False
Let u(r) = 6997*r**2 + 101*r + 31. Is u(13) composite?
False
Is 3/(12/9*(-27)/(-1215204)) prime?
True
Let j = 249 + -247. Suppose y - j = 0, -7*r + 8*r - 4*y - 203 = 0. Is r prime?
True
Let g = -9 - -13. Suppose 4*d + v = -4*v - 11, -g*v - 7 = 5*d. Let b(z) = 719*z - 2. Is b(d) a prime number?
False
Let p(c) = 100*c**3 - 8*c**2 + 12*c - 10. Let f be p(-10). Suppose -5*j + 6*j + 150 = 0. Is f/j + 2/15 prime?
True
Is (10 - (-16112378)/8) + -1 + 77/28 a prime number?
False
Suppose -5*t = -5*b + 17545, 3*t - 10535 = 6*t - b. Let s = t - -9242. Is s prime?
False
Let m(z) = 12*z**2 + 11*z + 16. Let y(p) = 13*p**2 + 11*p + 17. Let i(j) = 3*m(j) - 2*y(j). Let d(h) be the first derivative of i(h). Is d(14) prime?
False
Let q(m) = -m**3 - 18*m**2 - 9*m + 20. Let u be q(-16). Let x = 94 + -63. Let t = x - u. Is t a prime number?
True
Suppose 20*h + 351567 = 3523667. Is h composite?
True
Let d be (4 + -2)/(0 - -1). Suppose 0 = d*g - 22 + 18. Suppose -1368 = -4*t - 5*l + l, -g*l = t - 337. Is t prime?
True
Suppose -41 = -4*t - 9. Suppose -3*b - 3*z + 2 = t, 5*b = -z + 10. Suppose -b*x - 1564 = -7*x. Is x a prime number?
False
Let q = 114076 + -11123. Is q a composite number?
False
Let t(q) = 27*q + 2. Let o be t(9). Suppose 0 = -2*h + 3*h + 3*p + 87, -h + 3*p = 105. Let r = h + o. Is r a composite number?
False
Suppose -7*a = -22*a + 15. Let u be (a + (-652)/16)/((-3)/468). Let p = -4424 + u. Is p a prime number?
True
Let c(j) = -10 + 23 - 19 - 24 - 4*j + j**3 - 16*j**2. Is c(19) prime?
True
Suppose -6*r + 42 = -3*r. Let j(l) = -7*l - l**3 + 7*l - 4*l + r - 2*l**2 + 0*l**3. Is j(-5) a composite number?
False
Let d(k) = 3598*k + 113. Suppose 102 = -2*o + 108. Is d(o) a prime number?
False
Let i = -3028 - -6190. Is i - (2 - 6) - (-2 - -5) prime?
True
Suppose y = -2*y + 1530. Suppose -5*b - h = 1252, -b + 8*h - 3*h - 266 = 0. Let o = y + b. Is o composite?
True
Let h(w) be the second derivative of -64*w**3/3 + 9*w**2/2 - 19*w. Let d be h(-4). Suppose -d = o - 2*o. Is o a composite number?
False
Suppose 18545 = 6*u + 68909. Is (35/(-15))/(2/u) prime?
False
Suppose -487*u = -382511337 - 44465426. Is u a prime number?
True
Let m 