-12) prime?
True
Let n(p) = -p**3 - p**2 - p - 1. Let y(q) = -11*q**2 + 10*q - 26. Let l(k) = n(k) - y(k). Let j be l(9). Is (4/j)/((-20)/(-23170)) a composite number?
True
Let h be ((-840)/98)/(3/(-14)). Is (-67972)/(-10) + 72/h + -2 a prime number?
False
Suppose 4*s + 3*k + 8 = 31, 2*k - 20 = -5*s. Suppose -3*r + 5 = -s*r. Suppose 3*q = 4*w - 2*q - 1907, 5*q = -r*w + 2350. Is w prime?
False
Let o = -306177 - -441155. Is o a prime number?
False
Let g be (-173151)/(-15) - 8/20. Suppose 5*z - g = -2*o + 11676, -2*z + 3*o = -9299. Suppose -9*m + z + 10268 = 0. Is m a prime number?
True
Suppose 8*y + 846393 - 2751081 = 0. Is y/42 + (-6)/(-21) composite?
False
Let p(l) = 241473*l + 119. Is p(4) composite?
False
Suppose 3*h - 10 = 5. Suppose h*v + 2*u = 27707, 3*u + 11080 = 2*v + u. Suppose 5*r - 8*r + v = 0. Is r composite?
False
Let m(v) be the third derivative of -3*v**4/8 + 4589*v**3/6 - 3*v**2 - 38. Is m(0) a composite number?
True
Let d be (-3 - -3)/1 + 1 + -2. Let i(o) = -1413*o**3 + o**2. Let z be i(d). Is (-3 - z/(-4))/(4/8) a composite number?
False
Let v = 156 - 157. Is 4093 + -7 + 5 + (v - -1) composite?
False
Let n = -389 - -304. Is 17/n + (-2 - 467478/(-15)) a composite number?
True
Suppose -5*b + 80664 = 19*b. Suppose r + 750 = b. Is r composite?
True
Let u be (-6)/16*2 - (-264)/96. Suppose -4*z - 10878 = -2*y, -3*y = -u*z + 4*z - 16301. Is y a prime number?
False
Suppose 4*l + 64 - 12 = 0. Let r = l + 16. Suppose r*o = 2*u + 367, -o - 4*u + 250 = o. Is o prime?
False
Let n(q) = -642*q - 38. Let h(z) = -322*z - 19. Let f(a) = -7*h(a) + 4*n(a). Is f(-3) prime?
False
Let t(f) = 96*f**2 + 10*f + 49. Let u be (1/3)/(1878/(-234) + 8). Is t(u) composite?
True
Let f(a) = 1495*a + 4066. Is f(91) a composite number?
False
Let h = 172 + -169. Suppose -259 = -v - 2*u, -5*v - h*u + 773 + 487 = 0. Is v a composite number?
True
Let m(s) = s**2 - 8*s - 16. Let i be m(10). Suppose -2*x - 9 + i = -3*o, -25 = -5*o. Suppose -150 = x*h - 1255. Is h composite?
True
Suppose i + m + 5 = 0, 10*i - 6*i + 15 = m. Is (9 + i - (1 - 5977))/1 a composite number?
False
Suppose -6*y + 11*y - 146510 = 5*u, 0 = 3*y - 5*u - 87908. Is y composite?
True
Let f = -7253 + 15770. Let h = 13950 - f. Is h composite?
True
Let r(h) = 31*h + 6. Suppose 5 + 16 = 7*y. Let k be y/((-42)/(-74)) - (-6)/(-21). Is r(k) composite?
True
Suppose 0 = -15*i - 162 + 192. Let f(a) be the first derivative of 31*a**4/2 - 2*a**3/3 + 3*a**2/2 - a - 1. Is f(i) composite?
True
Let g(n) = -70595*n + 3303. Is g(-16) prime?
True
Let d = -2226314 + 3637099. Is d a prime number?
False
Suppose 0 = -3*j, 6*j + 15 = 5*a + 9*j. Suppose 2*v + 3*f = 3208 + 1162, f - 6541 = -a*v. Is v a composite number?
False
Suppose -4*u - 6 = -14. Suppose 4*v - 2*l - 10316 = 0, u*v + 4*l + 5158 = 4*v. Is v composite?
False
Let q(d) = 119*d**2 - 49*d + 51. Let h(t) = -60*t**2 + 24*t - 25. Let i(a) = 5*h(a) + 3*q(a). Let l be i(20). Is l/49 - 6 - 1/(-7) prime?
True
Let o be ((-4)/6)/((-17)/102). Suppose -3*f + 6704 = 2*s - f, 10021 = 3*s - o*f. Is s a prime number?
True
Let n(v) be the third derivative of -59*v**4/8 - 19*v**3/6 - 12*v**2. Suppose 0*r = 2*r + 12. Is n(r) composite?
True
Let q(s) be the first derivative of -s**4/4 - 34*s**3/3 - 25*s**2 - 24*s + 152. Is q(-35) a composite number?
True
Suppose 3*u + u + 3*a = 20188, 0 = 4*a. Let t = u - 3530. Let c = t - 886. Is c a composite number?
False
Suppose -9 + 162 = 3*y. Suppose -y*n = -231980 - 183517. Is n a prime number?
True
Let d(y) = 2*y**3 - 43*y**2 - 25*y + 81. Let n be d(22). Suppose 3*g + 2*w - 9049 = 0, -17*g = -n*g - 5*w - 6039. Is g prime?
False
Suppose -3 = -l - 0*l. Let m be (-2)/(-2 - 2)*(l + 5). Suppose -j = 4*d - 4440, -4*d + m*j = -j - 4416. Is d composite?
False
Let t = -3599 + 66400. Is t a prime number?
True
Let r(i) = i**2 - i + 2. Let o be r(0). Suppose d = -2*m + 726, 2*d - 1452 = -4*m + 7*d. Suppose -5*s - 4*x = x - 335, 0 = 5*s - o*x - m. Is s composite?
False
Let u(l) = -339*l - 5. Let s(h) = -170*h - 3. Let o(d) = -13*s(d) + 6*u(d). Let b(y) = y**3 - 2*y**2 + 3*y - 1. Let k be b(2). Is o(k) a prime number?
False
Let a = 36 + -15. Let i be 23/(((-2)/39)/(14/a)). Let g = i - -658. Is g prime?
True
Let a = 67303 + -7836. Is a a prime number?
True
Let x be (64/(-3) - -2)/((-9)/189). Suppose -3*q + 10067 = -x. Is q a prime number?
True
Suppose 64*a = 28180167 - 9830791. Is a a prime number?
False
Let s(j) be the first derivative of j**4/2 - 4*j**3 + 8*j**2 - 25*j + 66. Is s(11) prime?
True
Suppose 0 = -4*j + 4*k + 88748, 0 = -3*j + 239*k - 243*k + 66575. Is j a prime number?
True
Suppose -3*y - 3*q = -0*y - 94806, 5*y - 158007 = -2*q. Is y prime?
True
Let l = -64521 - -128647. Is l a prime number?
False
Let r be -4*(44/(-8) + 4). Suppose -r*q = -10*q + 4944. Let k = q + -307. Is k prime?
True
Is (-11 - (19 + 3))*(-13714)/6 composite?
True
Suppose f - k - 483742 = 0, 2*f = -k - k + 967496. Is f prime?
False
Let w be (1 + -2)*(-24 - -13). Is 118*(-6)/((-12)/w) prime?
False
Let h be (-12)/(-3)*1/2. Is (5 - (3 - -1))/(h/6866) a prime number?
True
Suppose -2665 = -5*u - 2*b, -1585 = 3*u - 6*u - 4*b. Is u - (-24)/(8/2) prime?
True
Suppose -1016*n + 2015*n + 728714 = 1013*n. Is n prime?
True
Let r be (-123)/(-18)*-3*-2 + 1. Suppose r*u + 37255 = 47*u. Is u prime?
True
Let s = -20 + 20. Suppose 8*a - a - 532 = s. Suppose -75*k = -a*k + 319. Is k prime?
False
Let v(b) = 149*b**2 - 4*b + 29. Let p be v(9). Suppose p + 5921 = 7*k. Is k prime?
False
Let c(f) = 9869*f + 3. Let r be c(1). Suppose p - 2*u - 4916 = 0, 3*p + r = 5*p + 4*u. Suppose 0*q = 6*q - p. Is q composite?
False
Let p be ((-4)/6)/(1/(-9)). Is (-3)/(-6) + p/(60/19145) prime?
False
Let x(q) = 2*q**2 + 3*q + 2. Suppose 2 = -7*i + 6*i. Let n be x(i). Suppose -s - 4*d = s - 498, -5*s = -n*d - 1259. Is s prime?
True
Let n be (1 + 5)/((-16)/24). Let d be -3*(30/n - 4). Is d/(-3)*-78 - 1 a prime number?
True
Let k(t) = -100*t - 9. Suppose 0 = -4*d - z - z - 80, d + 27 = -4*z. Let y = d + 15. Is k(y) a composite number?
True
Let y be (0 + -11)*43660/(-236). Let s = -1576 - -492. Let w = y + s. Is w a composite number?
True
Let x(g) = 2798*g - 179. Let a be -3*5/30*-10. Is x(a) a composite number?
True
Let l(w) = -5*w**3 - 11*w**2 + 26*w + 40. Let o be l(-17). Suppose 3*q - 7*g = -2*g + o, 0 = -q + 5*g + 6978. Is q prime?
False
Let p = -9 - -12. Let j(l) = l**2 + 13*l**3 + 14 + 12*l**p - 13*l - 22*l**3 - 4*l**2. Is j(4) a composite number?
True
Suppose 5*u - 10 = -2*r + 8, -3*r - 5*u = -22. Suppose r*c = -3*j + 8568 - 1460, 0 = -4*j. Is c composite?
False
Let c be ((-3)/(-2))/(23/(-46)). Let g be (8 - 47)*1/c. Let l = 240 + g. Is l prime?
False
Suppose 3*u - 80 = 70. Let k be 210/u*12/(-14)*5. Is -1 - -147*(-16)/k*3 a composite number?
True
Let q(k) = -516*k + 6347. Is q(-79) prime?
True
Let k = 58 + -55. Suppose 0 = -k*r - 7 + 1. Is (6/(-3))/(r/1553) composite?
False
Let r = -168575 - -244914. Is r a composite number?
True
Suppose 5*c = -4*f + 185, 5*c + 40 = 3*f - 2*f. Let i = f + -43. Let n(w) = 217*w**2 + 2*w - 1. Is n(i) prime?
False
Let c(l) = -l**2 + 16*l + 42. Let j be c(17). Let y = j - -109. Is y a composite number?
True
Suppose -77*d = -40*d - 4852291. Is d a composite number?
False
Let y be (-4 - (2 + -4)) + 16394. Suppose -28*r - y = -24*r. Let v = -2297 - r. Is v composite?
False
Is -92*(-31926)/156 + -5 - (-4)/(-26) prime?
False
Suppose -3*v - w + 332424 = 0, 0 = -4*v + 83*w - 86*w + 443227. Is v composite?
True
Suppose 2*v - 7 = 3. Suppose 30 = v*y - 25. Let f(i) = 2*i**3 - 15*i**2 - 15*i - 9. Is f(y) composite?
False
Let r(l) = -1871557*l - 256. Is r(-1) composite?
True
Let g(a) = a**2 - 2. Let z = -89 - -92. Let x be g(z). Suppose -5108 = x*l - 11*l. Is l a prime number?
True
Let o(f) = -3*f - 26. Let a be o(-10). Suppose 2*b = -3*h + 14, -2*h = -h + a*b - 8. Suppose q - 327 = -h*l, -911 = -3*q + 4*l - 2*l. Is q composite?
False
Suppose -12*o = -6*o - 38064. Suppose -32668 - o = -12*h. Is h a prime number?
True
Let j = 113109 - 4862. Is j composite?
False
Let g be (9 - 6 - -13)*152. Suppose -c = -3, 2*t - 13131 + g = 5*c. Is t a composite number?
True
Let r = 3956 - -1017. Let y = -2190 + r. Suppose -2*h + 1838 = -d, h + 2*h - y = -5*d. Is h prime?
False
Let m be (-5373 + (10 - 7