8 + 175009. Is k composite?
True
Suppose 36*y - 3381932 = 21198742 + 2595834. Is y prime?
True
Is (-102)/289 - (-2014773)/51 prime?
False
Is (8 - -3)/(4080/4079 + -1) composite?
True
Suppose -15*w = -17*w - 17*w + 5465521. Is w composite?
True
Let r = -699 - -712. Suppose -3*d + r*d = 4220. Is d composite?
True
Suppose 2*o - 61 = w, 0*o - 81 = -3*o - 2*w. Suppose 0 = o*n - 8751 - 9026. Is n a prime number?
True
Let z(x) = 79559*x**2 + 94*x - 191. Is z(2) prime?
True
Suppose -3 = s, 5*s + 11 = 4*m + 4*s. Suppose -3*f - 580 = -w + 5*w, -290 = m*w + 5*f. Let i = w - -274. Is i composite?
True
Let t = -11897 + 22318. Let m = -6922 + t. Is m a composite number?
False
Suppose -51*d + 25*d + 2591186 = 0. Is d composite?
False
Let h(j) = j**3 + 40*j**2 + 46*j - 2071. Is h(28) a composite number?
False
Let g(b) = b - 1. Suppose 4*y + 2 = 22. Let r be g(y). Suppose r*z = 2*z + 706. Is z a composite number?
False
Suppose 0 = 2*h + 7*h + 6840. Let y = h - -3773. Is y prime?
False
Let a(h) = 24*h - 72. Let s be a(3). Suppose s = c + 2, -3*c = 4*y - c - 14560. Is y prime?
False
Let z = -29 + 10. Let w be (0 + 1 + z)*(-2)/4. Suppose 655 = 5*l + 5*g, -w*l + 524 = -5*l + 5*g. Is l prime?
True
Let v(u) = 89775*u**2 + 16*u - 33. Is v(-2) prime?
False
Let j(f) = -f**2 - 6*f + 3. Let s be j(-7). Let r be 5*(4 - (-1 - s)). Suppose -5*d - 2036 - 434 = -r*w, 3*d = 4*w - 1981. Is w a prime number?
True
Let v(o) = o**3 - 6*o**2 + 6*o - 2. Let q be v(4). Let i(k) = k - 15. Let r(l) = 15*l + 51. Let m(b) = -4*i(b) - r(b). Is m(q) composite?
False
Let j = 1139 + -793. Suppose 2*l + j - 1680 = 0. Is l a prime number?
False
Suppose 4*s - 5*q = s - 88, q = -4*s - 79. Let r be (-1*2)/((s/(-28))/(-3)). Is 5/4 - 2 - (-10526)/r prime?
False
Let s = 218960 + -153171. Is s a composite number?
False
Let l = -9 + 8. Let n = 74 + -73. Is n*l*(-402 - -5) a prime number?
True
Let d(a) = -2799*a - 13822. Is d(-39) a prime number?
True
Let p be (4 - (-108)/(-30))/(2/60). Let w = p + -17. Is (-37472)/(-80) - 3/w composite?
True
Let u(v) be the second derivative of 167*v**4/12 + v**3 + 5*v**2/2 + 7*v + 4. Is u(-6) a composite number?
False
Let l(k) = -153*k**3 - 68*k**2 - 590*k + 17. Is l(-7) composite?
True
Suppose f - 5 = 0, 3*r + 2*f + 48 = 1351. Is r composite?
False
Let l(d) = -9734*d - 857. Is l(-3) a composite number?
True
Suppose 0 = -4*n + y + 624, 12*y = -4*n + 7*y + 600. Suppose -158*s = -n*s - 33738. Is s a prime number?
False
Suppose 0*a - x = -3*a + 79271, 4*a + 5*x = 105720. Suppose -17*w + 10618 = -a. Is w prime?
True
Let c = 28 - 24. Suppose 4*t + 22 = 3*x, -t - 3*t = c*x + 8. Suppose -149 = -5*a + 2*q, x*a = 6*a - 4*q - 112. Is a composite?
False
Let q be (-1 - 13)*(-4)/8. Suppose -2*o - 5*j + 4841 = 0, -5*j + 12059 = 5*o - q*j. Is o a prime number?
False
Let j be 3/21 - (4 + (-54)/14). Suppose -3*q + 12 = j, 4*z + q - 356 = 5*z. Let g = z - -611. Is g a composite number?
True
Let s(y) = 495*y + 2191. Is s(-4) a prime number?
True
Suppose 0 = 3*x - 4163 - 8569. Suppose -4*s = -u - x, -2*s + 7*s = 4*u + 5305. Is s composite?
False
Let t = -214553 - -599364. Is t a composite number?
True
Let v = -8543 - -10824. Is v a prime number?
True
Let q be 13894/(-2)*-1 + -1. Suppose r = -2*k - 3*k + q, -5*k + 15 = 0. Is r prime?
False
Let q(u) = 867*u**2 - 24*u + 83. Is q(4) a composite number?
False
Let m(s) = -146*s. Let u be m(-5). Suppose f = h + 3*f - u, -5*h = 3*f - 3685. Suppose -3*d + 4*w + 112 + 355 = 0, 5*d + w = h. Is d composite?
False
Suppose -3*k + 532 = 118. Let i be 3/(-1) - 76/(-8)*k. Let d = i + 385. Is d composite?
False
Let q = 165 - -47. Let j = -589 + q. Let h = j - -714. Is h a composite number?
False
Let s(l) = -152*l + 7. Let r be (3/(-12))/(1/(-88)*2). Let q be s(r). Let w = q + 3188. Is w prime?
True
Let r(i) be the first derivative of -169*i**2/2 - 39*i + 11. Let m be r(10). Let p = -263 - m. Is p composite?
True
Let i = 131971 + -7254. Is i a composite number?
False
Suppose 0 = -186*z + 115*z + 34661987. Is z a prime number?
True
Suppose 146*o - 49415113 = 36*o + 29198917. Is o a prime number?
True
Let j = 576 - 243. Suppose 0 = -3*f - 9, -w - 4*f = -2*f - j. Is w composite?
True
Suppose 0*o = -4*o - 40. Let d(w) = -2*w - w**2 + 9*w**2 - w + 29 + 9*w. Is d(o) a composite number?
False
Let n(i) = 297*i**2 - 2*i + 4. Let x = -123 + 28. Let y = x - -96. Is n(y) composite?
True
Suppose 5*o = j + 69, 2*j + 11 + 29 = 3*o. Suppose 50859 + 71851 = o*y. Is y prime?
False
Let q(n) = 135*n**2 - 6*n + 18. Let r be q(-9). Let f be r/(-5) - 36/60. Let a = -1405 - f. Is a prime?
True
Let i(b) = b - 12. Let u be i(14). Let g(h) = u*h + 299*h**3 - 3*h**2 - 5*h - 30 + 31 + 5*h**2. Is g(1) prime?
False
Let z = 57 + -60. Let p be 41/(-5) - (-11)/55. Is (4 - (-4)/z)*(-582)/p composite?
True
Let b(s) = 882*s**3 - 23*s**2 + 202*s + 114. Is b(7) prime?
True
Suppose 5*q = -9*w + 4*w + 25, 3*w - 4*q - 1 = 0. Suppose 3*a + 24542 = 5*n, -a = 2*a - w. Is n composite?
False
Let f(v) = 5622*v**2 + 80*v - 147. Is f(2) composite?
False
Is 60631 - (-172)/129*45/6 composite?
True
Let y = 51625 + -13266. Is y a composite number?
True
Let f(o) be the first derivative of -o**3/3 - 6*o**2 - 8*o - 8. Let b be f(-11). Suppose 4*q - b = 73. Is q a prime number?
True
Let n(w) = 42*w**3 + 31*w**2 - 22*w - 14. Is n(13) prime?
True
Let a = 148 - -9994. Suppose 0 = 3*r - a - 6385. Is r prime?
False
Let q(y) = y**2. Let k(p) = 195*p**2 - 6*p - 40. Let t(n) = k(n) + 2*q(n). Is t(-5) a composite number?
True
Suppose -w - 5*n + 17 = 0, 5*w + 0*w = -3*n + 19. Let z(g) = 285*g - 2. Let r be z(w). Suppose m - 5*m - 744 = -4*u, -m - r = -3*u. Is u prime?
True
Is (-10 + 95576/16)*6 prime?
False
Let o be (2576/5)/(7/(-140)*-4). Let r = o - 661. Is r a prime number?
False
Let q(d) = 6151*d**3 - d**2 - 143*d + 583. Is q(4) prime?
False
Suppose -357*v + 252455698 = 316*v - 255*v. Is v composite?
True
Is (1105/(-2380))/((-1)/291772) - (-3)/7 composite?
True
Let h(c) = 1622*c**3 + c**2 - c + 1. Suppose 3*a = 8*a. Suppose -z - 8 = -2*d - 5, -2*z + 3*d - 4 = a. Is h(z) a composite number?
True
Let f be 32 + -24 - (2 + 0). Suppose 0 = -4*p - 4*m + 3336, m + f = 1. Is p a prime number?
True
Suppose -7*d + 623073 + 681783 - 291893 = 0. Is d a prime number?
True
Let r = 329973 + -117692. Is r a prime number?
True
Let a(i) = -2*i**2 + 29*i - 44. Let y be a(41). Is (y/(-30) - (-6)/10)*6 a composite number?
True
Suppose -2*v = 2*k - 30, 68*v - k = 73*v - 59. Suppose 0 = -v*t + 14154 + 12543. Is t composite?
True
Let w(d) = -23 + 70*d - 2*d + 2*d. Let j be w(-9). Is (j - (-3 - 1))*-1 prime?
False
Is ((-270)/(-24))/15 + (-1817343)/(-12) + 5 composite?
False
Let n(t) = 458*t**3 + 3*t**2 - 2*t. Let z be n(2). Let i = z + -835. Is i a prime number?
True
Let n(t) be the second derivative of 0 + 2*t - 7/2*t**2 - 1/20*t**5 - 1/2*t**4 - 1/3*t**3. Is n(-10) a composite number?
True
Suppose 122*h - 10285100 = -53*h + 2511075. Is h prime?
True
Let a be (3 - (-62)/(-22)) + 108835/55. Let d = 5920 - a. Is d a prime number?
False
Let v = -1023 - -719. Let f = -177 - v. Is f prime?
True
Let g(p) = 14612*p**2 - 1. Suppose 4 = -2*f + 3*k, 2*k - 2 = f + 1. Let m be g(f). Suppose -11*n + m = -778. Is n prime?
True
Let a = -555 - -558. Suppose -26198 = a*s - 130853. Is s prime?
False
Let t(w) = -3*w - 7. Let a be t(-3). Suppose -4*s + a = j - 1, j = -s + 3. Suppose 56*o - 51*o - 11955 = s. Is o prime?
False
Let x = -1369 - -14870. Suppose 8*k - 163749 + x = 0. Is k a prime number?
False
Let x(s) = -2*s**2 + s + 3. Let v be x(0). Suppose 0 = 4*q - m - 55629, -v*q + 41717 = -m + 5*m. Is q prime?
True
Suppose 4*a = 0, 3*a + 16 - 1 = 3*h. Suppose b - 376 = 2*m - 6369, -25 = -h*b. Is m a composite number?
False
Suppose -2*h + 0 = 4. Let f be h/(7/2 + -4). Is 2/(4*f/18664) prime?
True
Suppose 9*d - 134 = -17. Is (10078/5)/((-630)/50 + d) prime?
True
Let s(u) = 1358*u**2 + 10. Let c be s(3). Suppose 0*z = 8*z - c. Let j = z - 778. Is j prime?
True
Suppose 0 = -12*l + 402954 + 278154. Is l a composite number?
True
Let v = -72558 + 296995. Is v composite?
True
Let d(x) be the first derivative of -8*x**4 + x**3/3 + 2*x**2 + 2*x - 375. Let i(p) = -p + 4. Let b be i(7). Is d(b) composite?
False
Let d = -1619839 + 2533272. Is d a prime number?
True
Let 