Let v = 11331 + j. Is v composite?
True
Let h(z) = -2494*z**3 + 6*z**2 + 3*z + 9. Let w be h(-3). Let x = w + -45125. Is x prime?
False
Let v = 117 - 114. Suppose 5*k - 5*s - 35 = -0*s, k = -v*s + 7. Let z(t) = 2*t**3 - 4*t**2 - 5*t + 14. Is z(k) composite?
True
Suppose 338*p - 768153382 + 153654848 = 0. Is p a composite number?
True
Suppose -4*w - i = -213889, -27*w + 3*i = -22*w - 267374. Is w a prime number?
False
Let b = -279 - -282. Suppose b*r - 37327 = -7426. Is r prime?
True
Let r(v) = -2*v**3 + 8*v**2 - 7. Let h be r(3). Let c(d) = 28*d + 323. Is c(h) composite?
False
Let x = 418533 + -214754. Is x composite?
True
Let r(o) = 2*o**2 - 13*o - 7. Let d = -115 + 122. Let v be r(d). Suppose 2*n - 1164 - 1030 = v. Is n composite?
False
Suppose 16*a - 32117 = 125179. Let t = a - 4924. Is t a composite number?
True
Let w(v) = 20*v**3 - 15*v**2 - 4*v - 279. Is w(14) prime?
False
Is 310220 - ((-140)/48 + (-4)/48) a prime number?
True
Let k(l) = 3*l**2 + 224*l + 2703. Is k(-12) prime?
False
Let d be 57/6 + -2 + 2/4. Let g(k) = 1638*k - 319. Is g(d) prime?
False
Let m = -65 + 68. Suppose m*c - 2*j - 1617 = 0, -4*j = -3*c + 566 + 1045. Is c a composite number?
False
Let o(s) = 170*s**2 - 3*s + 33. Let l be o(6). Suppose 3*z - l = -0*z. Is z prime?
False
Let t(i) = -783*i**2 - 11*i + 10. Let v be t(1). Suppose -u = 3*o - 5590, -o - 2*u = -3*u - 1870. Let j = v + o. Is j a composite number?
True
Let b(q) = 2847*q**2 - 7*q + 9. Let m = 294 + -292. Is b(m) a composite number?
False
Suppose 39*v + 5092709 = 13265003. Is v a composite number?
True
Let l = -29 + 49. Suppose -l = -30*f + 26*f. Suppose 0 = f*q + 409 - 2114. Is q a prime number?
False
Let m = 65329 + 1762. Is m a prime number?
False
Let m(z) = 15175*z**2 - 50*z + 938. Is m(13) composite?
True
Let u = 545 + -787. Let f = 607 + u. Suppose 47 = 4*q - f. Is q a composite number?
False
Let g be 8/((-128)/36)*32/(-1). Let r = g + -73. Is 59*(0 + (-5)/r) a prime number?
False
Let c(u) be the second derivative of 5*u**4/12 + u**3/2 - 5*u**2/2 - 27*u. Let g be c(2). Is (150 + -1)*(-20 + g) a prime number?
True
Let h be (2 - (8 + -3)) + 1709. Let b = 18709 + h. Suppose -2*r + b = r. Is r prime?
False
Let b(s) = 93*s - 238. Let i = 477 - 454. Is b(i) composite?
False
Is (1 + 21/6 + -4)*(0 + 203234) composite?
True
Let t = -594 - -596. Suppose 5*a - 4*s - 6805 = 0, -a + 1361 = -t*s - s. Is a composite?
False
Let c = -256287 - -138692. Is c/(-45) + -4 + 4/(-18) a composite number?
False
Let z be ((-6)/14)/(2/(-14)). Suppose -z*n + 2*s + 23681 = 0, -4*s = s + 20. Is n a composite number?
True
Let k(w) = -1226*w - 969. Is k(-7) a prime number?
False
Suppose -101*u = -240*u + 115*u + 1499016. Is u a prime number?
True
Let m(w) = -1 + 94*w - 96*w + 252*w + 0. Let k(y) = -y - 1. Let s(o) = 4*k(o) - m(o). Is s(-9) composite?
True
Let y(q) = -q - 1. Let l(j) = 380*j - 1. Let u(f) = l(f) + 6*y(f). Is u(9) prime?
True
Let c(t) = -8 + 3504*t**3 + 17*t**2 - 3505*t**3 - 5 + 2*t. Is c(9) prime?
True
Let j = 599940 + 281371. Is j prime?
True
Suppose 7*z = -2*z + 15273. Suppose -45*x - z = -6782. Is x a composite number?
False
Let y(r) = 8*r - 5. Let c(p) = 17*p - 11. Let t(f) = 3*c(f) - 5*y(f). Let m be t(9). Let v = -2 + m. Is v prime?
True
Suppose 0 = -41*j - 90*j + 105544425 - 17604256. Is j a prime number?
True
Let m be 5/(10/(-4)) - (-11 + -7). Suppose 0 = m*p - 3*p - 8203. Is p a composite number?
False
Suppose 5*x - 34 = r + 89, 2*r - 66 = -3*x. Is (-48)/(-2) + (23 - x) a prime number?
True
Let s = -42402 + 72559. Is s a composite number?
True
Let b(t) = 6*t + 35. Let u be b(-5). Suppose -5*s = 4*d - 23585, u*s - 2*d - 14173 = 2*s. Is s composite?
False
Let b(y) = -2353*y**3 + 10*y**2 - 5*y + 11. Is b(-4) a prime number?
False
Let w = -55 + 58. Suppose -40917 = -5*d - 4*g, g + 12114 = w*d - 12443. Is d composite?
True
Let f(i) = i**3 - 16*i**2 + 27*i + 14. Let v be f(14). Suppose -5*m + 6*h - h = -735, -2*m - h + 288 = v. Is m a composite number?
True
Let n be 114034/6 + (-1)/(-3). Let j(s) = 1631*s + 2944. Let v be j(-9). Let o = v + n. Is o composite?
True
Let i(d) = -2*d**3 - 65*d**2 + 26*d + 32. Suppose 78 = -2*l + 3*g, 4*l + 18*g - 14*g = -116. Is i(l) a composite number?
False
Let s be 17*(-1)/(-2) - (-3)/(-2). Suppose 8*x = s*x + 2357. Let a = -1666 + x. Is a composite?
False
Let o be (-5065)/(-4) - 4/16. Is o/(-4)*(7 + 184/(-24)) prime?
True
Suppose -2*d = -2*z + 238640, -3*d - 324240 = 5*z - 920816. Is z a composite number?
True
Let n(x) = -x**3 - 8*x**2 + 7*x - 18. Let o be n(-5). Let i = o + 941. Is i prime?
False
Let h(s) = -s**3 - 131*s**2 - 130*s + 5735. Is h(-143) a prime number?
True
Suppose 0 = -6*i - i + 7119. Let b = i - 376. Is b a composite number?
False
Let q = -78 + 29. Let f = q + 53. Let x(p) = 71*p**2 + 4*p - 1. Is x(f) composite?
False
Suppose -2*w - 30 = -12*w. Suppose 2*r - w*r - 3*g + 370 = 0, -g = -r + 386. Is r a prime number?
False
Let q(d) = -25*d**2 - 16 + 35 + 38*d**2 - 14*d**2 - 43*d. Is q(-21) composite?
True
Let k(q) = -q**2 - 6*q - 5. Let d be k(-5). Suppose 19*z - 24*z + 95 = d. Suppose 5*j - 5*x - 905 = 0, -3*x - 208 = -j - z. Is j prime?
False
Let v(n) be the second derivative of -277*n**3 + n**2/2 + 107*n. Is v(-8) a prime number?
True
Suppose 3*l - 5*k + 534398 = 4*l, -k + 6947238 = 13*l. Is l composite?
False
Let z = 75 + -74. Let k be (1213*z/4)/((-11)/(-44)). Let l = k - 540. Is l composite?
False
Let d = 46 + -2. Let p be (-854)/d*42 - 2/(-11). Let z = p - -1302. Is z a composite number?
False
Let g(q) be the second derivative of 17/2*q**2 + 1/2*q**4 - 3/2*q**3 + 0 + 12*q. Is g(-10) a prime number?
False
Let i(j) = 2*j - 11. Let n(k) = 2*k - 12. Let p(s) = -4*i(s) + 6*n(s). Let r be p(8). Is (-5 + r)*3 - -182 prime?
True
Let s(o) = 11184*o**3 - 6*o**2 + 16*o - 25. Is s(3) a prime number?
False
Suppose 3*x + 2*q = 5 + 12, x + 5*q - 23 = 0. Let i be -1 - ((-3)/x + 113*-1). Suppose 0 = 5*z + r - i, 0 = z + z - r - 41. Is z a composite number?
True
Let x(b) = -b**2 - 12*b + 2. Let d be x(-12). Let c = -38 + 40. Suppose -d*o + 3*s = -1480, -c*s + 4 = -0*s. Is o a composite number?
False
Suppose -20262488 + 854928 = -183*c + 188263. Is c prime?
False
Suppose -7*s = -2172 - 5122. Let f = -485 + s. Is f a composite number?
False
Suppose 4*m = t - 13016, -6906 = 3*m - 2*t + 2851. Let c be (2/(-5))/((-31)/m). Is (-116235)/c + (-1)/2 a composite number?
False
Let w = -267 - -271. Suppose -4*x - 7*b + 8*b = -66557, 4*x - w*b - 66560 = 0. Is x prime?
False
Suppose 90*k - 88*k = 0. Suppose -3*b + 19 - 31 = k. Is (282/b + 1)*(-7 + 5) a composite number?
False
Let c(y) = -52*y + 34. Let q = -25 - -6. Let v be c(q). Suppose 0 = 4*w - 3050 - v. Is w a prime number?
False
Suppose -34 = -6*g - 10. Let q(m) = m**3 - m**2 - 6*m + 10. Let p be q(g). Let c = p - -349. Is c prime?
True
Suppose -8*b = -3*v - 0*v - 73610, -2*b = 4*v - 18374. Is b a composite number?
False
Let f(v) = -v**2 + 18*v + 17. Let t be f(19). Let a be -3 - (t/(-3))/((-10)/75). Suppose -3*n + a*n = -161. Is n a prime number?
False
Let p = 26 - 61. Is (-135276)/30*p/14 a composite number?
False
Is (550348/(-7) + -3)/((-94)/4606) a composite number?
True
Suppose 113*k + 3*d + 144769 = 114*k, -4*d - 24 = 0. Is k a composite number?
False
Suppose v = 2*j - 14359, -3*j + 5*j + 3*v = 14371. Is j a prime number?
False
Suppose -16*b - 28 = -76. Suppose -b*r + 1396 = -3731. Is r a composite number?
False
Let a(y) = 4*y**2 + 36*y - 61. Is a(-30) a composite number?
False
Let v be 4/6 + (-4)/(-12). Let q(h) be the first derivative of 453*h**3 + h**2 - 34. Is q(v) a composite number?
False
Let t(s) = 464*s**2 + 513*s + 2039. Is t(-4) composite?
False
Suppose f - 5*f + 88 = 0. Is (f - 30) + (5 - -1) + 2901 prime?
False
Let b = -497 - -499. Is -3*(3 - b) - -2224 a prime number?
True
Let k(r) = -68*r - 2. Let u be k(-1). Let j = -93 + u. Let m = j + 154. Is m prime?
True
Suppose -25*y + 155260 = -125065. Is y a composite number?
False
Suppose -5*i - 7*f = -10*f - 88850, -4*i - 5*f + 71117 = 0. Suppose 10447 = 5*q - z - 19167, -3*q = 4*z - i. Is q composite?
False
Let x = -212 - 21. Let d = 121 + x. Let q = 91 - d. Is q composite?
True
Let j = -1137645 + 1956706. Is j composite?
False
Suppose -2*g = -12, c + 5*g + 147453 = 95