Suppose -9716*y - 6628 = -9720*y. Is y prime?
True
Let w be (7/2)/(7/4). Suppose 0*o + 12 = -4*o, 2866 = w*m + 4*o. Is m prime?
True
Suppose -2*j = -4*g - 12, 2*g + 8 = -4*j + 12. Suppose -j*u + 153 = -41. Let h = u + 468. Is h a prime number?
False
Suppose -24*w = 3*q - 21*w - 197865, 0 = -5*q - 3*w + 329767. Is q composite?
False
Suppose 10649 + 8134 = -9*t. Let u = 1550 - t. Is u a composite number?
False
Is -1 + ((-12)/4 - (-543101 - 6 - -6)) a prime number?
True
Suppose -186*x + 200*x - 1187606 = 0. Is x composite?
True
Let d be (-20)/(-2)*(-12)/24. Let s be 1 + (-3)/15*d. Is s/((-3)/9783*-6) composite?
False
Let d = 16988 - 7387. Is d prime?
True
Let u be (129/(-12))/((-8)/8032). Suppose h + 4*w - 6904 = 0, 2*h - 3005 - u = 2*w. Is h/44 + 6/33 a composite number?
False
Suppose -i + 4*l - 32 = 99, -5*i - 718 = l. Let c = i + 3780. Is c composite?
False
Let r(l) = 4 + 8*l**2 + 12*l + 2*l - 4*l + 8 - l. Is r(5) composite?
False
Suppose -6*k + 167893 = -u, 8*u = 3*k + 11*u - 83964. Is k a prime number?
True
Suppose -1079557 = -2*m - 41*m - 10*m. Is m a prime number?
True
Let v(t) be the third derivative of 0*t - 1/10*t**5 + 1/2*t**3 - 17/120*t**6 + 40*t**2 + 7/24*t**4 + 0. Is v(-8) a composite number?
True
Suppose 0 = 2*u - l - 91480, 4*l - 8676 = -u + 37037. Is u prime?
True
Let k = 2329327 + -1214534. Is k prime?
False
Let w = 60029 - 26572. Is w composite?
False
Suppose 2*a - a = -v + 74, 2*a + 232 = 3*v. Let h be (v/(-57))/(4/(-6)). Suppose h*r + 8 = 0, f - 3*r = -3*f + 3488. Is f prime?
False
Suppose 3*g - 24872 = 19207. Suppose 3*q - g = 2686. Is q prime?
False
Let x be 40*-3*2/4. Let b be (-2)/3 - 73180/x. Suppose 5*d = 6*d - b. Is d a composite number?
True
Let x be (-1)/(-1 + (-50)/(-45)). Let w = x - -11. Suppose -b + 5*b = p - 591, -1170 = -w*p - 4*b. Is p composite?
False
Let w(n) = -8*n**3 - 6*n**2 + 29*n + 41. Suppose 248 - 28 = -22*b. Is w(b) a prime number?
True
Let w be (-124)/(-10) + 4/(-10). Let u be w - 15 - (1 - -2). Is 1/u + (-2150)/(-12) a prime number?
True
Is 8 + (-2860)/8*(-43628)/65 a prime number?
False
Let x(h) = 1078*h**2 + 13*h - 17. Let d be 12/14*7 - 4. Is x(d) a prime number?
False
Suppose -3*r + 2 = 2*p - 9, -r = -5*p + 19. Suppose -p*g + 7*g - 6 = 0. Suppose 4*u = -g*m + u + 628, -u = 3*m - 949. Is m composite?
False
Let i = 47101 - 86956. Is (-2)/(-3*(-10)/i) a prime number?
True
Let c = 39 + -24. Suppose c = 3*s + 6. Suppose -s*d + 425 = -688. Is d a prime number?
False
Suppose -37*z + 28*z + 192996 = 0. Suppose 0 = -i + 5*p + 5379, 0*p - z = -4*i + 2*p. Is i a prime number?
False
Let p(f) = 427*f**2 + 98*f + 695. Is p(-8) a composite number?
False
Let v(a) = -13*a**3 - 8*a**2 - 4*a + 2. Is v(-3) prime?
True
Suppose 0 = 7*o + v - 1653833, -3*v = -4*o - 7*v + 945068. Is o composite?
False
Is 161487/5 + 24/(-60) a prime number?
True
Let o be (1/(-4))/1 + 245/20. Let q be ((-104)/o)/(1/(-57)). Suppose 11*g - 4685 + q = 0. Is g prime?
False
Suppose -2*j - 26 = -q, 0 = -4*j - 4 - 0. Let c be ((-28)/(-8) + -4)*q. Is 1210/4 - 6/c*-3 a composite number?
True
Suppose 45*g + 3*q - 177680 = 41*g, -4*g - 4*q + 177684 = 0. Is g composite?
False
Let g(n) = 3*n**3 - 32*n**2 + 49*n - 38. Let o(y) = 4*y**3 - 32*y**2 + 53*y - 39. Let t(w) = -5*g(w) + 4*o(w). Is t(-19) prime?
False
Let i(m) = -m - 1. Let x(j) = -211*j**2 + 8*j + 2. Let r be 6/27 + 47/(-9). Let n(g) = r*i(g) - x(g). Is n(-2) prime?
True
Let p(q) = 3*q - 3. Let j be p(2). Suppose -z + 12 = j*z. Is (-1)/((z/191)/(-3)) prime?
True
Suppose 591*s - 253605268 = 21990443. Is s prime?
True
Let n(j) = 178*j**2 + 440*j - 153. Is n(-22) composite?
True
Suppose 2*b + 1 = -3*h + 4*h, -h = 3*b - 6. Suppose 0 = h*s + 4*t - 6, -5*t - 1 = 2*s - 5. Is (80001/(-36))/((-3)/s)*2 prime?
True
Suppose 80 = -3*p + 23*p. Suppose 4*b = -5*s + s + 14368, p*b - 3*s = 14333. Is b a composite number?
True
Let m = -218 - -211. Is 6 - m/((-7)/(-1759)) a prime number?
False
Let l = -808253 + 1431424. Is l a prime number?
True
Suppose -33*i + b = -28*i - 196708, -4*i + 2*b = -157364. Suppose -43330 - i = -8*q. Is q composite?
True
Suppose -5*a + 2*m = -4676, 4*m - 3091 + 275 = -3*a. Let j = 6787 + a. Is j prime?
True
Let c(w) = -3*w - 13. Let g be c(4). Let m = 15 + g. Is (-40306)/(-35) + 6/m a prime number?
True
Let c = 1561 - -111280. Is c composite?
True
Let l be 4 - (-1 - -4)*(-12)/(-18). Suppose -5*w - 953 = -l*t, 5*w = -7*t + 6*t + 514. Is t prime?
False
Let t(a) = 10*a**3 - 13*a**2 - 90*a - 101. Is t(18) a composite number?
False
Let g(d) = 4*d + 29. Let x be g(-6). Let h be (x - 3)/(0 - -1). Suppose -h*q = -35 - 227. Is q a prime number?
True
Let m = -173 + 448. Let a = 9 + -7. Suppose k + 2*k - 445 = -2*f, -a*k = -3*f - m. Is k prime?
False
Let b(a) = 42266*a - 79. Let t be b(2). Is (1 - (-4)/(-6))*t a prime number?
True
Is (66384 - -12) + (-70)/(-10) prime?
True
Let s(v) = -v**3 + 16*v**2 + 10*v + 6. Let u = 118 - 76. Suppose 3*m + u = 2*f, 0*m = -4*f - 2*m + 52. Is s(f) prime?
False
Let l(i) = -i**3 - i**2 + 24*i - 43. Let f(g) = 3*g**3 - 3*g**2 - 4*g + 1. Let o be f(-2). Is l(o) a prime number?
False
Suppose 14 = 3*z - 31. Suppose -6*i + 8551 - 43783 = 0. Is -1*3/z + i/(-10) composite?
False
Is (-4)/1*((-705078)/8 + 4) a composite number?
False
Let v(p) = 3313*p**3 - p**2 - 2*p - 7. Is v(2) a prime number?
True
Suppose 5*y + 3*g = 154549, 4*y + 6*g - 2*g = 123636. Is y a prime number?
True
Let f(d) be the first derivative of -d**4/4 - d**3/3 + d**2 + d + 16. Let n be f(0). Let j(v) = 128*v**2 - v. Is j(n) a prime number?
True
Let m(k) = 377*k - 75. Let p be m(-9). Let n = -2329 - p. Is n a composite number?
True
Let o(s) be the third derivative of -31*s**5/60 + 19*s**4/24 + 8*s**3/3 - 12*s**2. Let b(w) be the first derivative of o(w). Is b(-5) composite?
True
Let i(s) = -11*s + 263. Let p(j) = -5*j - 29. Let c be p(-8). Let k(u) = u - 11. Let x be k(c). Is i(x) composite?
False
Suppose 9 = 5*d - 0*d + t, 3*t + 3 = 0. Suppose -d*n - 9 = -21. Is (-1 - 8/(-6)) + 6292/n prime?
True
Let j = -2682 - -8318. Suppose 0 = 16*m - j - 132972. Is m prime?
True
Suppose 16597964 = 213*i - 53819623. Is i a prime number?
False
Suppose 11*f - 120 = 3*f. Let s be 1/(-5) + 3/f. Suppose i + 2473 = 3*i + 5*n, -5*i - 4*n + 6225 = s. Is i prime?
True
Let r(o) = 22*o + 5 - 52*o + 3*o**2 + 24*o + 163*o**3. Let s be r(3). Suppose 5*g - s = 920. Is g prime?
False
Is 30/(-40) + (-3435438)/(-8) - 2 a prime number?
True
Let r(y) = -201*y - 293. Is r(-62) a prime number?
False
Let k(p) = -36*p - 98*p + 47*p + 275 - 18. Is k(-22) prime?
False
Let w = 4886 + 36784. Suppose 0 = 5*x - 5*a - 29685 - w, 0 = 2*a + 8. Is x a prime number?
False
Let q = -8 - -10. Suppose 3*t = 5*p + q*t - 1055, -3*p + t + 633 = 0. Is p composite?
False
Suppose -k + 4*q + 12065 + 45986 = 0, -2*k + 116092 = -3*q. Is k a composite number?
False
Let o be (-8)/20 - 24/(-10). Suppose o*u - 2 = u. Is (-3715)/(-9) - u/(-9) a prime number?
False
Suppose -6*i + 16 = -44. Suppose 861 = 13*o - i*o. Suppose 4*j - o = -2*q + 1907, q + j = 1092. Is q prime?
True
Let a(w) = 10*w**2 - 13*w - 21. Suppose 2*q + 13 = 2*o - 11, -5*o - 10 = 0. Let v be a(q). Suppose 6*x + v = 9*x. Is x composite?
True
Suppose -r = s + 16, 3 + 9 = -r + s. Let c = r + 18. Is c + -1 + 253 + (-2)/1 prime?
False
Let a(h) = -127*h + 10. Suppose -3*f - 31 = -2*d, 1 = -3*d - 11. Let t be a(f). Suppose 3 = 3*x, 2*x - t = -0*w - 3*w. Is w composite?
True
Suppose -5*z = -6*z + 3872. Let o = -787 + z. Is o composite?
True
Let t(x) = 138*x**2 + 17*x + 36. Is t(5) composite?
False
Let q be (-3)/(-2) - (-6)/(-4). Suppose q = 3*b + 2*n - 1917, 5*b + 3*n = -0*b + 3196. Is b prime?
True
Let u = -95194 - -460425. Is u a prime number?
True
Suppose 0 = -0*b - 14*b + 70*b - 19932808. Is b a prime number?
False
Let b(n) = 20*n - 244. Let d be b(12). Let f(a) = -736*a - 11. Is f(d) a composite number?
True
Suppose -316 = 451*x - 455*x. Is x composite?
False
Let g = -15 + 20. Is g/4 + (-79755)/(-20) a composite number?
False
Let b = 46 + -2. Let y = -44 + b. Suppose 534 = 2*x + p, 2*p - 3*p = y. Is x a prime number?
False
Let c(l) be the first derivative of -31 - l - 17*l**2 + 16/3*l**3. Is c(18) composite?
True
Let n(c) = -4600*c - 21. Suppose 25*w - 26*w = 2. Is n(w) a prime number?
False
Let