 = 24*l**2 - l - 20. Let i be g(-8). Suppose i = -7*y + 4625. Is y a composite number?
False
Suppose 5*o - 227087 = -13837. Suppose 5*w + 17060 = 2*g + 3*w, 4*w - o = -5*g. Suppose 0 = 11*x - 9477 - g. Is x a prime number?
True
Suppose -12*n = -23*n - 726. Is (-42297)/(-11) - n/(-363) a composite number?
True
Let r(l) = 117*l**2 + 34*l + 339. Is r(28) composite?
True
Let v(f) = 2*f**3 + f**2 + f. Let a(u) = -7*u**3 - 27*u**2 - 19*u + 11. Let c(w) = -a(w) - 4*v(w). Is c(12) composite?
False
Let m(t) be the third derivative of t**6/120 - t**5/20 - t**4/4 + 8*t**3/3 + 15*t**2. Let j be m(12). Is 9/6 - j/(-16) composite?
False
Suppose -2*j + 4*w = 14 - 2, 0 = 4*j + w - 12. Suppose -4*q - 15248 = -j*t, 0 = 5*q - 8*q - t - 11426. Is (0 - -1)/((-6)/q) a prime number?
False
Let d(i) = -3*i**2 + 39*i + 2. Let y be d(13). Suppose -g + 7598 = 3*n, n - 1304 = -y*g + 1227. Is n prime?
False
Suppose 11*x = 10*x + 39. Let k(m) = 3 + 97*m + 24*m - x*m. Is k(5) a composite number?
True
Let s(j) be the third derivative of 3*j**5/10 + 43*j**4/24 - 13*j**3/6 + 59*j**2 + 1. Is s(-18) a prime number?
False
Let u(p) = -1320*p**2 + 4*p - 18. Let k be u(9). Is 4/(12*(-6)/k) a prime number?
True
Let n(u) = u**3 + 6*u**2 - 10*u - 16. Let y be n(-7). Suppose 5*d + s = -1, -2*d - 5 = d + y*s. Suppose d = 3*v - 466 - 83. Is v a prime number?
False
Suppose 5*k = -s + 402994, -6*k = -k - 3*s - 402998. Is k composite?
False
Is (-800894523)/(-5313) - ((-6)/(-28))/(3/(-8)) composite?
False
Let x(c) = -4965*c**3 + 14*c**2 + 34*c - 21. Is x(-4) a composite number?
False
Let b = 34390 - 24369. Is b prime?
False
Suppose 0 = -29*h + 1647445 + 471498. Is h prime?
False
Let s(x) = -9*x**2 - 9*x - 4. Suppose -c + 21 = 2*c - j, -c + j = -7. Let o be s(c). Let a = 289 - o. Is a a prime number?
True
Suppose 3*x + o + 63572 - 160602 = 0, -2*x + 2*o + 64700 = 0. Is x prime?
False
Let w = 3107590 + -2112729. Is w a prime number?
False
Let h(s) = 2*s + 1. Let n(c) = c**3 + 16*c**2 - 2*c - 20. Let x be n(-16). Let o be h(x). Let t(d) = d**2 - 16*d - 2. Is t(o) a composite number?
False
Suppose c - s = 76591, -17*c = -14*c + s - 229797. Is c prime?
True
Suppose -18*y = -17*y - 347. Let k = -61 + y. Suppose k = p - 67. Is p composite?
False
Let r(f) = -38790*f - 15. Let t be r(-1). Suppose t = 5*a + 6320. Is a a composite number?
False
Let z be (-4)/18 + (-19966)/(-18) + 2. Let r = -24 + z. Is r prime?
True
Let z(h) = -2*h - 13. Let c be z(-9). Suppose 0 = 6*u - c*u - 7. Suppose 140 + 518 = u*f. Is f a prime number?
False
Let i be 4 - (7 - 3) - (0 - 4). Suppose -i*b + 5 = -3*b. Suppose 0*r - 2*n + 987 = r, -b*n + 2964 = 3*r. Is r prime?
False
Suppose -2*f + 9562 = 3*m - 27801, 49829 = 4*m + 5*f. Is m prime?
True
Let u = 20 - 20. Suppose 3*t - 3*c - 4250 = -791, 4*c + 8 = u. Is t a prime number?
True
Let r be -976*((-44)/(-308))/(4/(-14)). Let n be (18/1)/(4/2). Suppose 331 + r = n*u. Is u prime?
False
Let z(w) = 2*w**3 - 45*w**2 - 38*w + 55. Let x be z(25). Suppose d - x + 69 = 0. Is d prime?
True
Let p be 6*((-78)/18 + 4). Is (2233/58)/((-1)/p) composite?
True
Let d(f) = 13*f**3 - 6*f**2 + 6*f + 4. Let p = 21 - 18. Let t be d(p). Suppose l = o - 315, -o - l + t = -3*l. Is o composite?
False
Suppose 7*p = 11*p + 10132. Let s = 6492 + p. Is s composite?
True
Suppose -3*z + 172 = -1325. Suppose -47 = 4*m - z. Suppose -m - 5 = -g. Is g composite?
True
Is (-53503340)/(-330) - 10/(-6) a prime number?
False
Is ((-1188258)/(-9))/((-164)/123)*-2 composite?
False
Suppose 8*y - 21 = 3. Let v(j) = 38*j**y + 0 - 17*j**3 - 2*j**3 - 1 - 3*j. Is v(3) a prime number?
True
Is 5998895/119 - 5/255*-6 prime?
True
Let u(b) = -b**3 - 17*b**2 - 19*b - 48. Let p be u(-16). Suppose 54*v - 81*v + 66231 = p. Is v composite?
True
Let d(y) = 1835*y**2 + 94*y + 1282. Is d(-19) prime?
True
Let s(m) = 5*m**2 + 8*m + 14. Let q(k) = -k**2 - 1. Let u(l) = 4*q(l) + s(l). Let p be u(-7). Suppose p*x - 4*y = 873, y + y + 1174 = 4*x. Is x composite?
True
Suppose -5*p = -0*p. Suppose 5*c + 2*g - 538 = 0, -5*c - 4*g + 23 = -503. Suppose 4*u - 1310 - c = p. Is u prime?
False
Let n(w) = -8*w + 15*w + 22*w + 15*w - 9. Let q be n(-5). Is q/(-5) - (-12)/60 a composite number?
True
Let d(s) = 2*s + 2. Let q be d(-1). Suppose q = 5*i + 34 - 64. Suppose 0 = 3*o - 6, 2449 = 3*g + i*o - 4*o. Is g composite?
True
Let j(f) = f**3 - 30*f**2 - 28*f - 89. Let z be j(31). Is 350/(-100) - (-9730)/z composite?
True
Let l = -18785 + 29872. Suppose -121*n + l = -120*n. Is n prime?
True
Is (979511/52)/(4/16) composite?
False
Let h(p) be the second derivative of 52*p**3 - p**2/2 + 4*p. Let d(r) = 313*r - 2. Let t(m) = 4*d(m) - 3*h(m). Is t(4) composite?
False
Let b = -204 + 207. Is 6465/9 - ((-4)/b)/2 a prime number?
True
Let m = -282336 - -495127. Is m a prime number?
True
Suppose -111784 = 81*v - 394717. Is v prime?
False
Let l(f) = 377*f + 15. Suppose j = -3*j - 4*s - 8, -2*j + 12 = -2*s. Is l(j) a prime number?
True
Let g be 2 - 18 - (1 + -4). Let p(y) = -39*y + 29. Let d be p(g). Suppose -i = -d + 123. Is i composite?
True
Let s(v) = -291*v - 32. Is s(-47) a prime number?
False
Let q(g) = -34708*g - 1841. Is q(-6) composite?
False
Let k = 160 + 232. Let b = 1077 - k. Is b a prime number?
False
Let n = 133463 + -85770. Is n composite?
True
Let f(b) = 28108*b**3 - 8*b**2 + 19*b - 7. Is f(2) prime?
True
Let f = 16947 - 27278. Is ((-130)/(-65))/(20660/f + 2) a prime number?
True
Let m(g) = -2*g + 5. Let t be m(2). Let k be 5/(-3 - 2) - 12. Is (t*17)/(k/(-247)) a composite number?
True
Is (695438/76)/((-2)/(-52)) prime?
False
Is (12091 - 4) + -8 + (-21 - -19) composite?
True
Let h(f) = -34*f**2 + 5*f - 80. Let l be h(-11). Let y = l - -6686. Is y a prime number?
True
Suppose -63*n + 72*n + 49446 = 0. Let h = -1731 - n. Is h a prime number?
False
Let u(n) = -487*n**3 + 7*n**2 + 5*n + 5. Let w be u(-3). Suppose -3*d - 5081 = -w. Is d prime?
True
Is -13 + 114/6 + 152163 prime?
False
Is 3323161/3 + 52/78 a prime number?
True
Suppose 5*z = 7157 + 4318. Let w = z - -7116. Is w a composite number?
True
Let r(z) be the second derivative of -67*z**5/20 - z**4/3 + 7*z**3/6 + 5*z**2/2 - 137*z. Is r(-4) prime?
True
Suppose 0 = -187*t + 176*t + 1100605. Is t a prime number?
False
Let k(b) = 30*b**2 + 43*b**2 + 5*b + 5 + 2. Let q = -465 + 462. Is k(q) composite?
True
Let z = -978 - -3465. Is z a composite number?
True
Let a = -1201 - -1206. Let t(i) be the second derivative of i**4 + 2*i**3/3 + 11*i**2/2 - i. Is t(a) a prime number?
True
Let w(l) = -358*l**3 - 13*l**2 + 51*l - 67. Is w(-18) a prime number?
True
Is (-3911853)/(-27) + (5 - (-980)/(-180)) composite?
False
Let c = -30 + 41. Suppose -o - 3*o - 5*i = -33, 0 = 2*o - 3*i + c. Suppose 2*a = -o*p - 0*a + 96, -5*p = 2*a - 234. Is p composite?
True
Let m(g) = -g**3 - 10*g**2 - 3*g - 27. Let s be m(-10). Is 6065/(15/s)*1 composite?
False
Let j = -785 + 2046. Suppose -15*g + 7486 = j. Is g a prime number?
False
Suppose -p + 33 = 7*p + 3*p. Let r(z) = 15*z**2 + z - 1. Let k be r(-8). Suppose 0*q = p*q - k. Is q a prime number?
True
Suppose -2766585 = -157*b - 118152. Is b prime?
False
Is 4/(-3) + 4375834/102 a prime number?
True
Suppose -25*d + 128 = -247. Is (2 - 5)/(d/(-32995)) composite?
False
Suppose 0 = -4*s - 3*d + 37646, 6*d + 9419 = s + 3*d. Is s a composite number?
False
Let r(z) = -35*z + 3. Let a be r(-2). Suppose -4*b - 3*i = -225, 0 = -3*b - 4*i + 87 + a. Suppose -b = -q - 3. Is q composite?
True
Is (-157602)/(-4) + (-98)/(-56)*-2 composite?
False
Let w be -5 + (-9)/(5 - 8). Is (w - 0/(-2))*6752/(-64) composite?
False
Let j(v) = 163*v - 2. Let k = 36 + -33. Suppose -4*n + 2 = -2*c, 3*c + n - k = 1. Is j(c) a composite number?
True
Let c = 73630 + -38921. Is c a composite number?
True
Let w be 4/4 + (-36)/(-36). Suppose -v + 3*v = 0. Suppose 3*r - 1051 = w*y - 3295, v = 5*y - 3*r - 5601. Is y a prime number?
False
Is (512121/(-9))/(10 - (-279)/(-27)) a prime number?
True
Let q be 672590/(-20) - 3/6. Let u = 52423 + q. Is u composite?
False
Suppose -27*a + 8510 = -43924. Let h = a - 855. Is h a prime number?
True
Let u(o) = 9*o**3 + 2*o**2 - 19*o + 227. Is u(16) prime?
False
Suppose c - 4*c - 24051 = 0. Let n = -1680 - c. Is n composite?
False
Let q = -68304 + 166967. Is q prime?
True
Suppose 5*o - 28*v