 a composite number?
True
Let l(t) = -49*t + 6. Let o be l(-7). Let a = o + 3230. Is a a prime number?
False
Let l = -11 + 4. Is (-10)/35 + (-4965)/l prime?
True
Is ((-2)/4)/(22/(-184844)) composite?
False
Let l = 11349 - 6142. Is l a composite number?
True
Let a = 47564 + 40899. Is a a composite number?
False
Let m = 27 + -22. Suppose -4*g - m + 1 = 0. Is g - (-1*146 - 4) prime?
True
Let f be (-16)/8 - (-3)/1. Let u(y) = y**3 - y**2 - 1. Let j be u(f). Is (4*j)/((-2)/11) composite?
True
Suppose 5*l = 4*u + 14602, 3*u + 12520 - 3760 = 3*l. Suppose 3*r + 4*w = l, -8*r + 3*w = -6*r - 1948. Is r composite?
True
Let n(i) = i**2 + 6*i - 5. Let u be n(-7). Suppose -2*f = -u*j + 2, 4*j - f - 9 - 4 = 0. Suppose j*w - 268 - 552 = 0. Is w a prime number?
False
Suppose -5*d - 3 + 18 = 0. Suppose -2*h = -d - 3. Suppose 0*a + h*a = 489. Is a composite?
False
Let p = -410 + 601. Is p composite?
False
Suppose -22*z + 118497 + 20037 = 0. Is z composite?
True
Let v = 14 + -12. Let w(o) = 11 - o**v + 2*o**2 - 3*o + 11*o**2 + o**3 - 4*o. Is w(-9) composite?
False
Suppose -3*y + 3886 = -y. Is y a composite number?
True
Suppose -389 = -z - 0*z - 5*s, -2*z + 738 = 2*s. Let w = 1018 - z. Suppose i = 4*y - w, 2*y = -2*y - 3*i + 646. Is y a composite number?
False
Let u(a) = 3*a**2 + 2*a + 32749. Is u(0) a prime number?
True
Let g = -16290 - -34591. Is g composite?
False
Suppose 4*i + 3*d - 23875 = 0, -4*d = -3*i + 9756 + 8169. Is i a composite number?
True
Let g be ((-1)/(-1) - -2) + (-38)/(-19). Suppose -242 - 503 = -g*p. Is p prime?
True
Suppose -6*b = -2*b - 2*y - 12, y = -5*b + 15. Suppose -5*o = -j + 546, 5*j - 7*o + b*o - 2709 = 0. Is j composite?
False
Let i(k) = -k**3 + 2*k**2 + 7*k + 12149. Is i(0) a prime number?
True
Suppose -5*w - 25212 = -3*x, 0 = -x - 4*w + w + 8390. Is x a prime number?
False
Let s(p) = 21*p**3 + 7*p**2 + 7*p + 8. Is s(7) prime?
True
Is 8*883 + (-69)/(-23) a composite number?
True
Let w(h) = -h**2 + 4*h - 3. Let s be w(2). Suppose 19 + s = 5*u. Suppose 0*c + c - 5*d = -6, u*c + 5*d - 76 = 0. Is c prime?
False
Let f(v) be the second derivative of -259*v**3/3 - v**2/2 + 6*v. Let b(w) = -173*w. Let o(t) = -8*b(t) + 3*f(t). Is o(-2) composite?
False
Let r(l) = -l**2 + 5*l + 12. Let z be r(-5). Let f be (-133)/z*12/14. Suppose 0 = c - n - 206, f*c + 2*n = 43 + 600. Is c a composite number?
False
Let j = -91 - -89. Let f = -193 + 60. Is 0/(j - 0) - f prime?
False
Let x = 3 + 1. Let c be (3 - x/2)/(-1). Is c + 130 + -3 + 1 prime?
True
Suppose 0 = -4*n + 1796 + 456. Let d = -304 + 684. Let g = n - d. Is g prime?
False
Let n be (3 + -4 + 0)*(0 - -1). Is -433*(n + -2) + (-3 - -1) a prime number?
True
Let v(m) = 14*m**2 - 1. Suppose -10*t + 3 = -7*t. Is v(t) prime?
True
Suppose 0 = 2*l - 0 - 4. Let a(k) = 8*k**l + 8*k**3 + 8 - 3*k**3 + 0*k**2 + 8*k - 4*k**3. Is a(-5) composite?
False
Let s(x) = -199*x - 19. Is s(-2) prime?
True
Let a(b) = 267*b**3 - 20*b**2 - 6*b. Let d(k) = -89*k**3 + 7*k**2 + 2*k. Let n(x) = -3*a(x) - 8*d(x). Is n(-1) prime?
False
Let d(z) be the second derivative of 26*z**5/5 - z**4/3 - z**3/6 + 7*z**2/2 - 12*z. Is d(2) a prime number?
True
Suppose 8232 - 37518 = -5*c - 2*o, 2*o = -c + 5862. Suppose -4*i = -5*l - c, -256 = -2*i - 4*l + 2646. Is i composite?
False
Let x = -1 + 16. Let i(d) = 12*d + 25. Is i(x) a composite number?
True
Let u(r) = r + 203. Let v be ((-2)/6)/(8/72). Let g = v - -3. Is u(g) a prime number?
False
Suppose 0 = 1470*i - 1463*i - 95963. Is i composite?
False
Let p(r) be the second derivative of r**5/20 + r**4/2 + 2*r**3/3 - 5*r**2/2 + r. Let c be p(-5). Suppose c*n - n + 251 = 0. Is n a prime number?
True
Let r(x) = 1482*x - 5. Is r(4) prime?
True
Suppose -2*q + 28107 = u, 3*q + 3*u - 8692 - 33476 = 0. Is q prime?
True
Let r = -609 + 998. Suppose -2*c + 293 = -r. Is c composite?
True
Let z = 31 + -19. Let y(r) = r**3 - 12*r**2 - r + 5. Let k be y(z). Let m = 40 - k. Is m a prime number?
True
Let r be 13/2 - 3/6. Let s(h) be the first derivative of 43*h**2/2 - 7*h + 2. Is s(r) composite?
False
Let t(k) = -k**3 + 11*k**2 - 11*k + 10. Let j be t(10). Suppose -5*d - 28 = -0*d + 2*i, j = -d + 5*i + 16. Let q(u) = -33*u - 5. Is q(d) a prime number?
True
Let u = -3 + 8. Suppose -4*x = -u*a + 329, 2*x = 7*x - 20. Is a composite?
True
Let j = -88901 + 131278. Is j composite?
True
Suppose z - 2155 = 5*d + 3*z, 3*z - 881 = 2*d. Let m = 46 - d. Is m prime?
True
Let j = -1 + 9. Let k(a) = 109*a - 7. Is k(j) prime?
False
Let a(v) = v**2 - 2*v + 8. Let p be a(6). Suppose 0 = 31*h - 26*h - 10. Suppose -p = -2*g - h. Is g prime?
False
Let t(k) = -k - 2. Suppose 7 + 17 = -4*z. Let p be t(z). Is 12/p + 460/2 composite?
False
Let r be (-5203)/(-3) + (-12)/(-18). Is r + (3 - 4) + 1 composite?
True
Let n(o) = -5*o - 26. Let x be n(-6). Suppose -3*s - 4021 = -4*u, -3823 = -x*u - 3*s + 228. Is u composite?
False
Let h = -31 + 35. Suppose 0 = -3*b - 9, -2*s + 283 = h*b - 205. Let x = -132 + s. Is x a prime number?
False
Suppose -5*r - 2*l = 4, r + l + 2 = 2*r. Suppose r = -v - 2*q + 149, -v - 3*q + 586 = 3*v. Is v a composite number?
True
Let p be 8/20 + 3/5. Let l(g) = -3*g**3 + 2*g**3 + 1 - 3*g**2 + p + g + 1. Is l(-4) composite?
True
Let l(o) = o**2 - o. Let p(x) = -8*x**2 - 7*x. Let z(k) = 3*l(k) - p(k). Suppose -3*v + 9 = 0, 12 + 15 = -4*b + 5*v. Is z(b) composite?
True
Let r(y) = -5*y**3 + 3*y**2 + y - 2. Let h = 6 - -8. Let j be 6/2*(-14)/h. Is r(j) a composite number?
False
Let p(v) = -v**2 + 47*v + 1. Is p(5) composite?
False
Let p(b) = -b - 53. Let d(s) = -s. Let g(f) = 3*d(f) - p(f). Let i be g(0). Is i/(-2)*72/(-12) a prime number?
False
Let s be 1/(1 - (-3 - -3)). Let l(f) = 478*f**2 - f + 2. Let i be l(s). Suppose 0*u + u = i. Is u a prime number?
True
Let k(b) = 3*b**2 - b. Let y be k(1). Suppose y*s - s = 13. Is (-5*s)/(-3 + 2) a prime number?
False
Suppose -3*r + 6 = -4*o + 2, 0 = 4*r - 3*o + 4. Let y be r/26 - (-650)/(-169). Is (-883)/(-3) - y/(-3) composite?
False
Let y = 2 - -1. Suppose -2*q - 3*z = q - 15, 4*z - 6 = y*q. Suppose 0 = -q*c - 2*a + 1258, 2 = a - 2*a. Is c a prime number?
True
Let x = 2542 + -614. Suppose -x - 7855 = -9*v. Is v prime?
True
Let p(c) = -5*c**3 - 7*c**2 + 46*c + 19. Is p(-16) prime?
True
Let n(i) = -758*i - 186. Is n(-8) a prime number?
False
Let j be (-39)/13*130/(-6). Let x be (-8)/(-1)*j/(-10). Let f = 61 - x. Is f prime?
True
Let j be (2922 + 0)*(-4)/(-60)*5. Is j*(1 - 4/8) a composite number?
False
Suppose -14 = -x - 3*p, -p + 2 - 6 = -4*x. Suppose -v = -3, -x*s + 3*v - 1565 = -6*s. Is s composite?
False
Suppose -1365 - 959 = -z. Let t be (-120)/(-36) - 2/(0 - -6). Suppose 2*i = -t*k + 7*i + 1743, -4*k - 4*i = -z. Is k a prime number?
False
Let k = 6 + -17. Let y = k + 11. Suppose -4*j + 364 = -y*j. Is j composite?
True
Let p = 36 - 26. Suppose b - 5*q = 4, -4*b = q - p - 6. Suppose -5*j = 15, b*j - 519 = -2*i - i. Is i a prime number?
False
Suppose -14491 = -3*u - 3472. Suppose -u + 968 = -5*j. Is j a prime number?
True
Let o(f) = f**3 + 3*f**2 - 6*f + 5. Let s be o(-4). Suppose 17688 = s*p - 4321. Is p prime?
True
Let c = 10093 + -5546. Is c a prime number?
True
Let y be ((-26)/(-39))/(2/15). Let f(v) = 23*v**2 + 4*v + 14. Let k be f(y). Suppose 8*r - 11*r + k = 0. Is r composite?
True
Suppose 2*z - 23 = 61. Let b be 33/7 - (-12)/z. Suppose -3*o + 71 = -o + 5*x, b*x = 25. Is o a composite number?
False
Let t be (-2 - 1) + 2/6*9. Suppose -4*r - 4*u + 760 = t, 4*u - 9 = 3. Is r prime?
False
Suppose -5316 = -12*w + 5568. Is w a prime number?
True
Let t be 220/8 - 3/(-6). Let j = 19 - t. Is (j/(-6))/(18/1992) composite?
True
Let h(z) = 730*z**2 + 21*z - 113. Is h(-16) a composite number?
True
Suppose 26660 - 4113 = 7*d. Is d composite?
False
Let h = -23 + 110. Let k = 44 + h. Let a = k + 56. Is a prime?
False
Let r(f) = -24*f**3 - 11*f**2 - 7*f - 2. Let j be r(-6). Suppose 0 = -d + 5*d - j. Is d prime?
False
Let u(v) = 8791*v**2 + 32*v + 19. Is u(4) prime?
False
Suppose -4*k + 228 = -2236. Suppose 521 = 3*m - k. Is m a prime number?
True
Suppose 4*a + 3*s - 1841 = 0, 0 = s - 4*s - 15. Let g(m) = -m**3 + 4*m + 3. Let i be g(-2). Suppose 11*d - i*d - a = 0. Is d a prime number?
False
Let p(j) = -j**3 + 5*j**2 - 5*j + 6. Let d be p(4). Let u = d - -3. Suppose u*z - 3*f + 2*f 