+ (-2555)/(-1281)). Is (-244)/g + (-6182)/(-3) a composite number?
True
Let q = -3983 - -2222. Let z = q - -4432. Is z prime?
True
Let m = 140 - 371. Let j = 216 - m. Is j composite?
True
Suppose 1000312 = 26*j - 190930. Is j a prime number?
True
Suppose 12*n = 155131 + 62225. Is n a composite number?
True
Let r(s) = -s + 1. Let b(p) = -1047*p. Let q(v) = -b(v) - 4*r(v). Let w be q(-1). Let g = w - -1826. Is g composite?
True
Suppose -4*l + 4*i - 4184 = -0*i, -5*l - i = 5212. Let a = l + 1492. Is a prime?
True
Let o(c) = -15*c**3 - 5 - 2*c**2 + 16*c**3 + 0 - 8*c**2. Let n be o(12). Suppose -2*z - 89 = -n. Is z a prime number?
True
Let a(r) = -4653*r. Let f(y) = -517*y. Let x(w) = -6*a(w) + 55*f(w). Let g be 0 - 4/(-2) - 3. Is x(g) a prime number?
False
Let x(m) = 17609*m**2 - 160*m + 160. Is x(1) composite?
False
Let s(w) = 4*w**3 - 7*w**3 + 4*w**3 + 7 - 10*w + 8*w**2. Let v = 85 + -79. Is s(v) composite?
True
Let d(s) = s**3 - 6*s**2 - 7*s + 3. Let u be d(7). Suppose g - 2*g = -2*x - 5768, u*x - 5788 = -g. Suppose -11*l = -7435 - g. Is l a prime number?
True
Let k(v) = v**2 + 3*v - 36. Let m be k(-8). Suppose 2*l + m*q = -0*l + 594, -1160 = -4*l - q. Is l composite?
True
Let o be 3/(108/(-8)) - 220/(-18). Suppose 2331 = -o*t + 95919. Is t prime?
False
Let q(v) = v + 29. Let o be q(-23). Suppose o*n - 9*n = -10941. Is n composite?
True
Suppose 4*r + 5*i - 3035141 = 1015335, -2*r + 2025238 = -5*i. Is r a prime number?
True
Suppose 30*s + 40524 = 18*s. Let x = s + 9720. Is x prime?
True
Let d(i) = i**2 + 14*i + 18. Let b be d(-12). Let r = 5 + b. Is (-19840)/(-60) - (0 - r/(-3)) a prime number?
True
Suppose -9866 = -54*l + 52*l + 2*r, -3*r = -l + 4937. Is l composite?
False
Let c = 1111 + 107. Let j(f) = 4*f**3 + 2*f**2 + f. Let u be j(0). Suppose u = -r + 7*r - c. Is r prime?
False
Is (-5 - 53)*5729/(-34) composite?
True
Suppose -15*r + 33*r - 90 = 0. Suppose 0*m - 5*m = -j - 13290, 7996 = 3*m - r*j. Is m composite?
False
Let f(x) = -335*x - 18. Suppose 4*d = 4*p - 8*p + 4, 5*p - 26 = 2*d. Let c be (-3)/(-9)*d - 4. Is f(c) composite?
False
Is (-14)/(-133) - (-10357416)/152 a prime number?
True
Let b = 126 + -150. Let m(s) = 33*s**2 + 20*s + 71. Is m(b) prime?
False
Let n(f) = 493*f**3 - 8*f**2 - 10*f - 18. Is n(7) composite?
True
Let a(y) = -3*y**3 - 110*y**2 - 77*y - 496. Is a(-51) composite?
True
Let o = 16874 + -11666. Let q = -1409 + o. Is q prime?
False
Let c be ((-25958)/(-4) + 0)*(10 - 8). Suppose v - 940 + 13923 = -3*x, -3*x - 5*v = c. Let s = x - -10401. Is s a composite number?
False
Let b be (759/(-46))/(0 - (-3)/(-8)). Suppose -3*i + 0*r + b = r, i = -5*r + 10. Is (20/i)/(4/1614) a composite number?
True
Is 20*14907/6 - (49 + -41) a prime number?
False
Suppose 5*s + 2*a - 124197 = 0, -32*s + 36*s + a - 99360 = 0. Is s a prime number?
True
Suppose -5*c + 209 + 163 = 2*p, 3*c + 2*p - 220 = 0. Suppose c*g + 16914 = 79*g. Is g a composite number?
True
Is (-57)/855 + (-5003418)/(-45) a prime number?
True
Suppose 15*o = 26*o - 13739. Is o - 14/49*7 composite?
True
Let s = -115 + 115. Let b(u) = 297*u**2 - 17. Let g be b(7). Suppose -25*f + 33*f - g = s. Is f a composite number?
True
Let f(s) = -163*s**3 - 8*s**2 - 5*s + 2. Let c be f(-3). Suppose 0 = 3*y + n - 26218, -5*n - c - 21902 = -3*y. Is y a prime number?
True
Let i(b) = -17*b**2 - b + 1. Let c be i(-5). Suppose 0 = -7*g + 1268 + 5676. Let q = c + g. Is q composite?
True
Suppose 2*y + y = -0*y. Suppose -t + 7 - 5 = y. Suppose 4*n - 3 = -s + t*s, 3*s + 4*n - 39 = 0. Is s a prime number?
False
Is ((-1022857)/(-3))/(184/552) composite?
True
Let v = -349 + 356. Is v/(364/153236) + 2/13 composite?
True
Suppose -2*c = -i - 4*i - 552623, -276316 = -c + i. Is c composite?
False
Let l(t) = 159*t**3 + 3*t**2 + t - 1. Let k(j) = -319*j**3 - 7*j**2 - j + 2. Let n(r) = -2*k(r) - 5*l(r). Is n(-2) a composite number?
False
Suppose 4*n + 214170 = -7*n. Is 4/(n/9745 + 2) a prime number?
True
Let x(c) = 2*c - 46. Let v be x(9). Is 7/(-49) - 77312/v a prime number?
False
Suppose -7*s + 24 = -4*s. Suppose 9*t - s*t = -t. Suppose 4*k + 11 + 9 = t, k - 79 = -4*c. Is c a composite number?
True
Is (-68)/(-119) + 33513750/42 prime?
True
Let b(n) = 196*n - 11. Let a = -28 - -34. Let k be (28/a)/((-14)/(-21)). Is b(k) a prime number?
True
Suppose 0 = 6*v - 810395 - 130279. Is v prime?
False
Let y be 922 + -1 + -4 - 3. Let k = y + 3377. Is k prime?
False
Is (-289 + 287)*(4/(-12))/((-2)/(-448629)) a composite number?
False
Suppose 0 = -w - 2*s + 516 + 252121, 757919 = 3*w + 2*s. Is w prime?
True
Let t = 33041 + -19031. Suppose 0*q + 5*q = 4*b + t, 5*b = -q + 2773. Is q a composite number?
True
Let z = -12340 + 6321. Let s = -4112 - z. Is s composite?
False
Suppose 5*j = 2*y - 8, 4 = 2*y - j - 4. Is 7/((-168)/(-18)) - (-13961)/y a composite number?
False
Let s be 3 - (40 - (2 - 4)). Let l be 6/s + 158/13. Suppose -l*q = -14*q + 1662. Is q composite?
True
Suppose 0 = -b - 2*h - 6 + 21, -3*b + 4*h = -15. Is (1 - (-16386 + b)) + -5 a prime number?
False
Suppose -7*b - 20 = -5*y - 8*b, 3*b + 25 = 2*y. Let u(a) = 245*a**2 - 4*a + 38. Is u(y) a composite number?
False
Suppose 7*w = 81 + 3. Suppose 6 = w*i - 6. Is -1 - (i + -2) - (7 + -90) prime?
True
Suppose -4*v = 4*r - 11184, 82 = r + 3*v - 2724. Let g = r - 1082. Is g composite?
False
Let b = -10007 + 36518. Suppose 0 = 7*q + 7394 - b. Is q prime?
True
Let i = 253252 + -151617. Is i a composite number?
True
Let w(y) = 65*y**3 + 6*y**2 + 8*y + 29. Let t be w(-4). Let b = -2118 - t. Is b composite?
False
Let i be (-1 - -37981) + 6/(-3). Suppose -16*r - 13322 = -i. Is r composite?
True
Is (119/(-14) - -9)/(5/(6 + 617324)) a composite number?
True
Let p be ((-9)/12)/(4/(-16)). Let i be 1/p + 1/(-6)*2. Is -2 - ((-1 - 2) + i + -528) a composite number?
True
Suppose -5*p = 5*r - 30140, p = -p + r + 12053. Suppose -6*w = -p - 1527. Is w a prime number?
True
Let a(l) = 0*l + 16*l + 224*l**2 - 106*l**2 + 23 - 92*l**2 + 2*l**3. Is a(-10) a prime number?
True
Suppose 78*r = 74*r + 224. Is (-44633)/(-8) + (-7)/r a composite number?
True
Suppose -34 = 2*p - 48. Suppose p*q + 90677 - 31002 = 0. Let g = q - -12244. Is g a prime number?
True
Let z(h) = -5*h - 54. Let f be z(-9). Let i(x) = -23*x**2 + 6*x - 6. Let j be i(f). Is ((-3)/6)/((-9)/(-6))*j a composite number?
False
Let b = 131764 + -7043. Is b prime?
True
Let i be 1029 + -4 + 0 + 6. Let z(f) = -42*f**3 + f**2 + 2*f. Let k be z(-2). Suppose -i = -c - k. Is c composite?
True
Let d(a) = 268425*a**2 - 7*a + 9. Is d(1) a prime number?
False
Is ((-282)/(-376))/((-6)/16) + 832293 prime?
True
Is 956678/11 - (-1 + 0)*123/451 composite?
True
Let z = 380224 + -122441. Is z a prime number?
True
Let c(k) = 1357*k + 156. Is c(91) a prime number?
False
Suppose 1070915 + 616629 = 8*u. Is u a composite number?
False
Let i be (-25746)/(-12)*(6 + 0). Suppose 8*n + 13*n = i. Is n prime?
True
Let o(d) = -16*d**3 - 17*d**2 - 65*d - 435. Is o(-11) a prime number?
False
Is ((-141142)/16)/(124/(-992)) composite?
False
Is (-4)/(-12) - (-618558)/9 composite?
False
Let x = -66 + 73. Suppose -x*h - 12 = -9*h. Is 11577/h - (-12)/8 composite?
False
Let j = -203 + 203. Suppose j = 4*d - 1472 + 244. Is d a composite number?
False
Suppose -2*y = 3*u + 99 + 23, -4*y = u + 224. Let j = 55 + y. Suppose 2 = v + v, j = -2*i - v + 16635. Is i composite?
False
Suppose 0 = 2*d + 61 - 77. Suppose d*o = 23*o - 2175. Is o a composite number?
True
Suppose 163*i - 3567779 = 3691752. Is i a prime number?
True
Let n = 16 - 23. Let d(l) = 3*l**3 - 7*l**2 - 10*l + 17. Let h(g) = 3*g**3 - 6*g**2 - 11*g + 18. Let k(w) = -3*d(w) + 2*h(w). Is k(n) prime?
True
Suppose -v + 36922 + 9021 = 0. Is v composite?
False
Let v(f) = f**3 + 2*f**2 - f. Let y be v(1). Let u(b) = -b**2 + 52*b - 689. Let x be u(22). Is (2795 - 1)/y + 31 + x composite?
False
Let o(u) be the first derivative of 48*u**2 - 10*u - 1. Suppose 3*g - 3*k = -6*k + 15, 2*g = -4*k + 6. Is o(g) prime?
False
Let c = -26 - -31. Suppose 0 = 3*v - 5*v + 10. Suppose -2*r + 1277 = -c*m, -5*m = -r + v*r - 2509. Is r prime?
True
Suppose -4*i - 15 - 5 = 5*k, 3*k + i + 12 = 0. Is (-38742)/(-14) - (k + 90/21) composite?
False
Let u(j) = -j**2 - 11*j - 64. Let i be u(-12). Is i/342 + 229/(-9)*-5 prime?
True
Let a(x) = 134*x*