= 34072*x**2 + 456*x - 1815. Is j(4) a prime number?
True
Suppose -4*q + 28 = 10*q. Let k = -563 - -881. Is q*k + -9 + 4 a prime number?
True
Let x = 81 + -50. Let u = -35 + x. Let n(w) = -w**3 + 5*w**2 + 2*w + 5. Is n(u) a composite number?
True
Let j(n) = -210*n**3 + 34*n**2 - n - 25. Is j(-8) composite?
True
Suppose 4*g - 1064884 = -30*k + 34*k, -4*g + 6*k + 1064884 = 0. Is g a composite number?
False
Let s(n) = -519*n**3 - 3*n**2 + 4*n + 5. Let a(f) = -1038*f**3 - 6*f**2 + 9*f + 11. Let j(k) = 4*a(k) - 9*s(k). Is j(1) a composite number?
False
Suppose -749373 = -179*l + 27*l + 19564971. Is l prime?
False
Let g(l) = -l**2 + 5*l - 6. Let w be g(3). Suppose 3*j - 20*m + 15*m - 1252 = w, -3*j = -m - 1256. Is j a composite number?
False
Let p(n) = n + 2. Let f be p(1). Let z be (7/(-14))/(f/114). Let q = 650 + z. Is q prime?
True
Suppose -203386 = 6*k + 93110. Let w = k + 80507. Is w a prime number?
True
Suppose 21*o = 3560010 + 4587003. Is o composite?
False
Let n = 35505 - 24383. Let p = 20181 - n. Is p prime?
True
Suppose -3*r + 5025 = -2*x, 199 - 1874 = -r + 5*x. Let u = 333 - 375. Let k = u + r. Is k a composite number?
True
Let a be 0 + 2 + (-41706)/((-63)/9). Let b = -4029 + a. Is b prime?
True
Let d(k) = -37*k**3 - 14*k**2 - 2*k + 1. Let v be 3 + -5 + (-4 - -5)*-2. Is d(v) composite?
False
Let f be 4*((-18)/24)/(-1). Suppose a + 3*a - 871 = -g, -f*a = 2*g - 1717. Is g prime?
False
Let u be (-436324)/(56/8) + -4. Let p = -37821 - u. Is p composite?
True
Is (10973/(-5))/((-40)/1400) a prime number?
False
Let j be (3/(6/(-3502)))/((-26)/52). Let w = -2025 + j. Is w a composite number?
True
Let i be (2 - (-2 + 2 + 5)) + 5. Suppose 6882 = i*t - 4*m, 2*t - 7*m = -6*m + 6870. Is t composite?
False
Is (-132)/484 + (-643336)/(-44) prime?
True
Suppose -52*u + 28030596 = 4*u + 76*u. Is u composite?
False
Let u(w) = 6*w + 55. Let j be u(-10). Let q(g) = -6*g**3 - 11*g**2 + 5*g + 3. Is q(j) a composite number?
True
Let f be 204604/(-28) + (-10)/(-35). Is 4/((-12)/f) - (-12)/9 a composite number?
False
Let z(t) = -7*t**3 - 17*t**2 - 12*t - 4. Let y(q) = -q**3 - q**2 + q. Let g(l) = -6*y(l) + z(l). Let j be g(-9). Is 1062/j*(-8)/12 composite?
True
Let f(m) be the first derivative of -685*m**2/2 - 6*m - 58. Is f(-3) a prime number?
False
Suppose 3*k = a + 242, 5*k + 5*a - 308 = 122. Let c = k + -104. Let y(h) = -70*h + 45. Is y(c) composite?
True
Suppose -2724 = -2*j - 2*j + 4*i, 3*i = -3*j + 2061. Let l(d) = 395*d**3 + 3*d**2 - 1. Let y be l(-1). Let z = j + y. Is z composite?
True
Let w = -416 - -1756. Let x = w - 708. Is -2 + 3/3 + x a prime number?
True
Let t(a) = -6*a**2 + 20*a - 49. Let s(d) = -d**2 + 1. Let z(y) = -5*s(y) + t(y). Let f be z(16). Suppose -f*m = -8*m - 614. Is m a composite number?
False
Suppose 3*d - 34 = -4*k + 5*d, -3*k + 5*d = -36. Suppose 28714 = 21*a - k*a. Is a a prime number?
False
Suppose 6*k - 5*k - f = -16, -3 = -2*k - 5*f. Let t(b) = -2*b**2 - 21*b + 27. Let v be t(k). Suppose -5*j + v + 1929 = 0. Is j a prime number?
True
Let l be 4*1/28 - 4812/(-28). Suppose 5*x + 7 = l. Suppose 49*n = 46*n + x. Is n prime?
True
Let o(c) = -23 - 67*c + 12*c - 11 + 194*c + 268*c. Let x = 10 - 7. Is o(x) a composite number?
False
Let v = -3 + 9. Suppose -v*k - 8 = -2*k, 3*k = 3*w - 10689. Suppose -8*d + 6143 = -w. Is d prime?
True
Let a = 61469 - -150458. Is a a composite number?
False
Let r(k) = -3*k**3 - 14*k**2 - 7*k + 3. Let o(y) = -9*y**3 + 2 - 1 - y + 8*y**3. Let q(l) = 2*o(l) - r(l). Is q(-9) a composite number?
False
Let g(x) = -246*x**2 + 57*x + 3. Let r(z) = z**2. Let w(q) = -g(q) - 4*r(q). Is w(-2) composite?
True
Suppose -w + 294144 = k, -5*k = 386*w - 389*w - 1470760. Is k composite?
False
Let y(s) = -3*s**3 - s**2 - 4*s - 3. Let i be y(-1). Suppose -436 = -r - i*r. Is r a composite number?
False
Suppose -3*t - 1 = -2*d - 28, -4*t + 4*d = -36. Suppose 13*n = t*n + 31268. Is n composite?
False
Suppose 8*m = -m - 63. Let t = 5 + m. Is (-2)/(t/(-3))*718/(-3) a prime number?
False
Let j = 260 - 532. Let q = -43 + 22. Let z = q - j. Is z a prime number?
True
Let m(k) be the first derivative of 91*k**3/3 + 7*k**2 - 61*k + 113. Is m(6) prime?
True
Let d = -49362 + 129883. Is d composite?
True
Suppose -4*d + 3*l - 10 = 0, -2*d - 3*l = -d - 5. Let a be 1 + d - (-4 + 2/(-2)). Suppose a*t - 4*g - 1275 = 0, -15 = 5*g - 8*g. Is t a prime number?
False
Is ((-2)/17)/((-352)/269887376) a prime number?
True
Suppose -d = -2*m, -2*d - 4*m - 6 = -7*d. Suppose -d*f + 5 = r + 3, 8 = 3*r + 4*f. Suppose -1889 = -3*v - 0*o + o, 2*o = r*v - 2516. Is v a composite number?
False
Let m be -3 - ((-208)/20 + 6/15). Let f be (392/(-7))/m*(-1)/2. Suppose -2*a = f*i - 3818, i + 1918 = 3*i + 4*a. Is i a prime number?
True
Let w = 11258 - 5425. Is w a composite number?
True
Let j = 54 - 59. Is 36847 - (-2)/(-6 - j) a composite number?
True
Let n be (7900/(-9))/(-2) + (-45)/(-405). Let h = 1134 - n. Is h a composite number?
True
Let f(s) = 8*s**2 + 65*s + 23. Let d be f(-10). Let w = d + 414. Is w a prime number?
True
Suppose -3*c + 3682 = -10067. Let n = 6734 - c. Suppose 4*o - n + 275 = 0. Is o a prime number?
False
Let h = 288 - 172. Suppose 0 = -3*g + 6, 0 = -3*j - 7*g + 2*g + 2092. Suppose j - h = 2*u. Is u prime?
False
Let t = -175925 - -268044. Is t composite?
False
Let x(h) = h**3 + 4*h**2 - 6*h - 9. Let s be x(-6). Let a = s - -47. Suppose m = -2*q - 0*m + 230, -a*q + 210 = -4*m. Is q a composite number?
False
Let n = 180357 - -103106. Is n a prime number?
True
Suppose -1001*a = -907*a - 19256558. Is a composite?
False
Let t be 28865/25 - 4 - (-2)/5. Let q(p) = p**3 - 3*p + 4. Let n be q(0). Suppose -2*k = 4*z - 1774, 2*z - n*k + 269 = t. Is z a composite number?
False
Let q(w) = -299*w - 21. Let p be q(-5). Suppose -2853 = -z + p. Is z a prime number?
True
Let v(h) = 12*h**2 + 91*h + 152. Is v(29) a composite number?
True
Is (-100 - 2268265)/(-3 + -2) a prime number?
False
Suppose 162 + 42 = -17*f. Let u be ((-2576)/f)/((-8)/24). Let v = u + 1633. Is v a prime number?
False
Let q = 203 - 201. Suppose 47826 = 5*i - q*r + 4*r, 0 = -3*i - 3*r + 28692. Is i prime?
False
Let v(h) = -4*h**2 + 27*h - 10. Let a(x) = 3*x**2 - 18*x + 7. Let w(l) = -l**2 + 4*l - 2. Let b be w(5). Let y(d) = b*a(d) - 5*v(d). Is y(-5) a prime number?
False
Let o be ((-20)/(-15))/((12/(-9))/(-4)). Suppose -o*l = f + 22, 2*l = 4*l - 3*f + 18. Is 35/(-60)*-219 - l/(-8) a prime number?
True
Let n(y) = 4*y**2 + 18*y + 15. Let j(k) = k**2 + 6*k - 1. Let a(r) = -3*j(r) + n(r). Is a(-13) a composite number?
True
Suppose 2*p + 35 = 41. Let r be 1/((7 + -4)/p). Is r/(-2) - (-38436)/24 prime?
True
Suppose 0 = 3*y + 2*x - 600263, 0 = 9*y - 13*y + 5*x + 800343. Is y prime?
True
Is ((-59898376)/(-246))/((-12)/(-9)) a prime number?
True
Let a(k) be the second derivative of k**3/6 + 3*k**2/2 - 8*k. Let j be a(1). Suppose j*x = -268 + 1752. Is x a prime number?
False
Let l(i) = 64*i**2 - 7*i - 38. Is l(12) a prime number?
False
Is 37/148 - (-41174)/8 prime?
True
Let b(o) = -o**3 - 104*o**2 - 524*o + 9. Let f(c) = 21*c**2 + 105*c - 2. Let a(j) = -2*b(j) - 11*f(j). Is a(22) a prime number?
False
Suppose 12 = -12*r + 16*r. Suppose -r*p + p = 0. Suppose s + 2*s = 2*x - 3022, s = p. Is x composite?
False
Let q = -51258 - -87055. Is q a composite number?
False
Let g(i) = 9885*i**2 - 58*i + 329. Is g(6) a composite number?
False
Is (-1)/(-1)*-5 - 54057*(-15 - -13) a composite number?
False
Suppose 0 = -5*r + 4*d + 570039 + 389808, -6 = -3*d. Is r a composite number?
True
Suppose 4*w - 7*w = 0, 2*y - 4*w = 364. Suppose 179*t - y*t = -1413. Is t a prime number?
False
Let t(b) = 75*b**2 + 22*b + 56. Let y be t(15). Let n = y - 11116. Is n composite?
True
Suppose -4*r - 137 + 10 = -3*w, -219 = -5*w + 3*r. Is 2014/10 - ((-72)/w - -1) composite?
True
Let h = -57938 + 223899. Is h prime?
True
Suppose -2*r - 1400 + 386 = 0. Let x = -141 - r. Let j = 1897 - x. Is j a composite number?
False
Let a(c) = -130381*c + 768. Is a(-5) a composite number?
True
Is 756974 - (92/28 + (-8)/28) composite?
False
Let l(p) = 32034*p + 319. Is l(1) composite?
False
Let v(n) = 3*n**2 - 6*n + 20. Let r be ((-9)/5 + 1)*(-5)/2. Let i(u) = 4*u**3 - u**2 - 6*u + 11. Let g be i(r). Is v(g) prime?
False
Let b be (-2938)/39 - (-4)/1