80 = 15*p - 45525. Is p prime?
True
Let q(l) = -20*l - 3*l**3 + l**2 + 21*l + 2*l**3 - 797. Let z be q(0). Let v = 1750 + z. Is v prime?
True
Let f(p) = p**3 + 2*p + 2221. Is f(0) a composite number?
False
Let w = -3819 + 5404. Is w prime?
False
Let t be (-1 + 1)*3/(-6). Is t/(0/(-3) - -2) + 1115 a composite number?
True
Is 14373*(45/(-27) - -2) prime?
False
Let s be ((-5)/(-2))/(60/48). Suppose -3*a + 560 = -5*q, s*q = -a + q + 184. Is a a composite number?
True
Let d(y) = 3*y**2 + 6*y + 6. Let q be d(-4). Suppose -2097 = -33*k + q*k. Is k prime?
False
Is (-67373256)/(-874) + 2/(-19) prime?
False
Suppose 0 = -2*p + 440 - 100. Let u = p - -137. Is u composite?
False
Let j(r) = r**2 - 1. Let i(x) = -704*x**2 - 2*x - 7. Let q = 4 + -5. Let n(s) = q*i(s) + 6*j(s). Is n(-1) a prime number?
True
Let h(d) = -d. Let y(s) = 88*s - 4. Let t(l) = 10*h(l) - y(l). Is t(-9) composite?
True
Let l = 1538 - -969. Is l a composite number?
True
Let h = 16 + -14. Suppose -h*a + 1 = 7. Let b = 212 - a. Is b a prime number?
False
Suppose -5*v = 4*l - 39 + 16, -v + 1 = -l. Suppose 2*u - 4 = -v*s + 2, 12 = 4*u - 2*s. Suppose -u*i - 617 = -j, 4*i + i = 3*j - 1843. Is j composite?
True
Let l(h) = 53*h**3 + h**2 - 5*h + 46. Is l(3) a prime number?
True
Suppose 0 = -5*f + 10*f - 10795. Is f a prime number?
False
Let s = 2038 - 887. Is s composite?
False
Let y(q) = -624*q**3 + 5*q**2 + 14*q - 12. Is y(-5) prime?
False
Let n = 8773 + -1874. Is n composite?
False
Let p(r) = -78*r + 5. Let i(s) = 77*s - 6. Let c(k) = 4*i(k) + 3*p(k). Is c(13) a composite number?
False
Let n = -17 + 19. Suppose 3*v = o + 200, -n*o - 149 = -4*v + 117. Is v composite?
False
Let s(y) = y**3 + 8*y**2 + 12*y + 8. Let t be s(-6). Suppose t*z - 130 - 22 = 0. Is z a composite number?
False
Suppose -4*c = 20, 2*c + 9662 = 11*r - 7*r. Is r composite?
True
Let f(j) = 98*j**2 + 9. Let o(u) = -u**2 - 1. Let k(b) = f(b) + 2*o(b). Is k(4) a prime number?
True
Is ((-191366)/(-28))/(4/8) prime?
True
Suppose -5*s - 4*b = -80, 5*b + 48 = 6*s - 3*s. Let w(l) = 8*l + s*l - 6*l - 3 + l. Is w(2) composite?
True
Let q(x) = -7*x + 6. Let g be q(3). Let o = 13 + g. Is (-380 - (-1 - -3))/o composite?
False
Let l = -2841 - -4688. Is l a prime number?
True
Let s be 2 + -2*(-2)/(0 + 2). Is 6238/18 - s/(-9) a prime number?
True
Suppose -9*l + 2058 = -3*l. Suppose -55 + l = 3*b. Suppose -4*j = 3*w - b, -j + 6*j - 109 = -w. Is j a prime number?
False
Let k(d) = 1941*d + 2. Let f be -15*4/(-84) + 8/28. Is k(f) a composite number?
True
Let x be ((-16)/14)/(2/(-7)). Suppose -a - a - x = 0. Is (-14 - -54) + (-6)/a composite?
False
Let u = -708 + 712. Let k = 22 + -13. Let t = k + u. Is t a composite number?
False
Let g(o) = -6*o + 19. Let d(y) = -y**2 + 3*y - 8. Let v be d(5). Is g(v) a composite number?
False
Suppose -2*n + 9754 = -7176. Is n prime?
False
Let r(f) = 232*f + 2. Let g be r(2). Let l = g + -201. Is l composite?
True
Suppose 5*o - 60 = -2*y, 0 = 2*y - 0*y + 3*o - 52. Is 49615/y - 1/(-4) a composite number?
True
Let v be (-4)/(-3 - -6 - 2). Let o = 6 + v. Is o/2 - (0 - 81) prime?
False
Let u = 4555 + 6004. Is u a prime number?
True
Let u(h) be the second derivative of -h**5/20 - 2*h**4/3 + 13*h**3/6 + 3*h**2/2 - 3*h. Suppose 5*y = -4 - 51. Is u(y) a prime number?
True
Let g = 293 - 810. Let p = 3292 + -4698. Let m = g - p. Is m a prime number?
False
Let n = 4 - 4. Let r = 15 + -13. Suppose -85 = -3*i + 2*i + 2*x, -r*i + 2*x + 180 = n. Is i composite?
True
Suppose 5 + 0 = h. Let z(q) = q**3 + 6*q**2 - 5*q + 3. Is z(h) composite?
True
Suppose j - 26 = -2*c + 95, -j = -3*c + 189. Let s = 83 + c. Is s composite?
True
Is 2*(-167290)/(-120)*6 a prime number?
True
Let q = -16 + 1. Let p be (6/q)/(4/(-60)). Suppose 2*k + p*k = 3032. Is k prime?
True
Is 0*(-1)/(-5) + 4583 composite?
False
Let f(y) = y**2 - 5*y - 3. Let s be f(-2). Suppose -2*b + s = -l + 2, -1 = -l. Suppose -b*n = 4*j - 763, 0 = 5*n + 3*j - 122 - 644. Is n prime?
False
Suppose -4*d = 2*n - 5*n, -4*n + 7 = -3*d. Is d + 0 - 2330/(-5) a prime number?
False
Suppose 2*m + 379 = j, -2*m - 2 = -4. Suppose 5*z - 3 = 7. Suppose -x + j = z*x. Is x composite?
False
Is ((-48321)/42)/(6/(-8)) - 3 a composite number?
False
Let q be (9/(-6) - -2)*4. Let o(d) = 2*d**2 + 5*d**2 - 4*d - 2*d + 7 + 0*d**q. Is o(6) prime?
True
Suppose 827 - 151 = 2*u. Let t = u - -149. Is t a prime number?
True
Let l(y) = 0 + 2*y**2 - 7*y - 5 - 3*y**2 + 2. Let a be l(-6). Suppose 0 = -3*f + 2*x + 51, f - 4*x - 64 = -a*f. Is f prime?
True
Suppose -81*h + 32*h = -555023. Is h composite?
True
Let t(d) = -2*d**3 - 8*d**2 - 12*d + 5. Let x be t(-9). Let c = 1556 - x. Is c a prime number?
False
Suppose 4*p = 2*k + 16, -5*p + 9 = -4*k - 14. Suppose p*x = 2*x + 41. Let n = -8 + x. Is n composite?
True
Let z(y) = -6 - 10*y - 2 + 3 - 3. Let m(o) = -o**2 - 5*o - 3. Let d be m(-6). Is z(d) composite?
True
Let r(m) = -19*m - 1. Let y be r(-1). Let q(c) = c**3 - 9*c**2 - 12*c - 4. Let u be q(10). Is u/y + (-1346)/(-6) a prime number?
True
Suppose 0 = 4*j + 2*n - 57714, -3*j = -n - 13051 - 30247. Is j prime?
True
Suppose -898 = -2*q - 4*n + 3746, -3*q - 2*n = -6966. Let b = q + -1649. Suppose -v = -0 - 3, -v + b = 2*m. Is m composite?
True
Suppose -413 = -h - 55. Is h a composite number?
True
Suppose 0 = 10*r - 32 - 8. Let p(a) = -2*a**3 + 3*a**2 - 3*a + 1. Let t(d) = d**3 - 4*d**2 + 4*d - 2. Let v(o) = -3*p(o) - 4*t(o). Is v(r) a composite number?
True
Let m(b) = 191 - 202 - 49*b + 13*b**2 + 5*b**2 - 5*b**2. Is m(15) a composite number?
False
Let s(h) be the first derivative of h**4/4 - 4*h**3/3 - 3*h**2 + 7*h + 11. Let u be s(5). Suppose 0 = -u*q + 232 - 62. Is q composite?
True
Let s = -44 + 50. Suppose 0 = -s*y + 1412 + 598. Is y a prime number?
False
Let f(m) = 529*m**2 - 1. Let h be f(-1). Let n(u) = 4*u - 8. Let l be n(3). Suppose -l*t + h = -276. Is t prime?
False
Let w = 964 + 229. Let d = 915 + -1477. Let f = w + d. Is f prime?
True
Suppose 9*q + 3 = 10*q. Suppose -3*k - 3*w + 522 = 0, 517 = q*k + 2*w + 2*w. Is k a composite number?
False
Let j(p) = -371*p. Let o(v) = -v**3 - 5*v**2 + 4*v + 1. Let n be o(-6). Suppose 8 - n = 5*u. Is j(u) a composite number?
True
Suppose -11*s - 130365 = -20*s. Is s composite?
True
Is -6 + 1 + -1 + 4235 composite?
False
Let b be 1214*(5 - 36/8). Suppose 379 = 2*i - b. Is i composite?
True
Let h(p) = 36326*p**2 + 2*p - 3. Let v be h(1). Suppose -7*l = -12*l + v. Is l prime?
False
Let v(r) = -9*r + 2. Let u be v(-2). Let i be ((-84)/70)/((-6)/u). Suppose -2*o + 246 = 4*f, i*f - 5*o = -f + 315. Is f composite?
True
Let o = 257415 + -144436. Is o composite?
False
Let p(u) = -u**2 - u - 6. Let t(z) = z**2 - 3*z - 4. Let f be t(4). Let a be p(f). Let l(m) = 5*m**2 + 6*m - 1. Is l(a) a composite number?
True
Let d be ((-10)/6)/((-1)/3). Let s be (d + -3 - 3)*-507. Suppose -v + 169 = -0*v + u, -3*u - s = -3*v. Is v a composite number?
True
Suppose -12*j + 153 = -9*j. Let f = -17 + j. Is f a prime number?
False
Suppose -346*c + 94627 = -333*c. Is c a prime number?
False
Is (-1886)/(((-92)/69)/(2/3)) composite?
True
Suppose -24 = -3*f - h - 2, 0 = 2*f - 3*h - 33. Suppose 4*a + 12 = t, -33 = -5*t + 2*a - f. Suppose -5*z = 5*y - 1060, t*y + 2*z = 726 + 120. Is y prime?
True
Suppose 2*q + 91890 = 246982. Suppose -5*k + q = -81509. Is k/195 + 2/(-15) a prime number?
True
Let j = -68 + 68. Suppose -x - x + 3274 = j. Is x a composite number?
False
Suppose 0 = -54*f + 49*f + 3*c + 159130, -f + 31834 = c. Is f a prime number?
False
Let s(t) = -3*t - 15. Let i be s(-3). Is (178 - -1)/(i/(-18)) composite?
True
Let z be (-5)/(-2)*468/45. Let j = z - 50. Let u = -22 - j. Is u a prime number?
True
Suppose 4*b = 3*t - 3, -2*b - t + 0 = -1. Suppose 3*y + 4*r - 9 = 2*y, y + 9 = 5*r. Is 22 - (b + y + 2) a prime number?
True
Suppose 3*h - 7 = -v, -3*v = v - 4. Suppose 2006 = 4*t + 3*r + 2*r, -5*t = -h*r - 2491. Is t a prime number?
True
Let g(t) = -2*t**3 - 11*t**2 + 29*t - 23. Let a(k) = k**3 + 6*k**2 - 14*k + 12. Let s(v) = 7*a(v) + 4*g(v). Is s(-9) prime?
True
Suppose 0 = -24*h + 147105 + 48423. Is h a composite number?
False
Suppose 7*i = -83*i + 157770. Is i a prime number?
True
Is (-64910)/(-40) + (-1)/(-4) prime?
False
Let k = -937 - -605. Is (k/(-6))/((-4)/(-12)) + 3 a composite nu