
Let s(j) = -2*j**3 - 2*j**2 + 15*j - 37. Is s(-18) composite?
False
Let g = -13854 - -35075. Is g a prime number?
True
Let l(y) = -y**3 + 17*y**2 - 29*y - 13. Let d be l(15). Suppose p - z = -d*z + 1115, -p + 1109 = 4*z. Is p prime?
True
Let v(g) = 72*g - 1 + 7*g + 0 + 14*g. Let z = -3 - -7. Is v(z) a composite number?
True
Suppose -5*v + 7 = -5*b - 3, 3*b = -2*v + 19. Is (354/12)/(b/30) composite?
True
Let t = 9703 + 562. Is t a composite number?
True
Suppose -m - 1 - 2 = 0, 0 = 5*h + 4*m + 32. Let r(g) be the third derivative of 2*g**5/15 + 5*g**4/24 + g**3/2 + 2*g**2. Is r(h) composite?
True
Let w(r) = -20*r**3 - 2*r**2 + 5*r + 4. Suppose 2*h - 30 = 5*q - 3*h, 2*h = -2*q. Is w(q) composite?
True
Suppose -10*o + 25*o - 96735 = 0. Is o a prime number?
True
Let n be 2/(1/(-2)*-1). Suppose 2*h + n = 6*h, -2*z + 3*h = -59. Is z composite?
False
Let v(a) be the third derivative of a**6/30 - a**5/15 + a**4/6 - 5*a**3/6 + 15*a**2. Is v(6) a prime number?
True
Suppose -3*y = -5*y - 4*q + 342, -y = q - 174. Is y a prime number?
False
Suppose 2*r + 853 - 3761 = 0. Let i = 2054 - r. Let p = i - 415. Is p a composite number?
True
Let o(f) = -5*f**2 - 3*f + 2. Let b(z) = -16*z**2 - 9*z + 5. Let n(x) = 2*b(x) - 7*o(x). Let q be n(5). Suppose d = 77 + q. Is d prime?
True
Let n = 79767 - 50690. Is n a prime number?
True
Let x be 83545/28 + 3/12. Is x/18 - (-6)/27 composite?
True
Suppose 4*z = -3*v + 25 - 7, -4*v - 2*z = -14. Suppose -v*w + 92 + 122 = 2*r, 5*w - 551 = -r. Is w prime?
False
Suppose y = -y + 6. Suppose 4*v = y*v + 51. Is v a prime number?
False
Suppose 4*m + 0*a - 516 = -3*a, -2*m + 5*a = -232. Suppose 2*u + 2*u - z - 17 = 0, -4*u - 4*z + 12 = 0. Is u/((-8)/(-2)) + m a composite number?
False
Suppose -5*z + 27465 = -4*a, 4*z - 11501 = 5*a + 10462. Is z prime?
False
Suppose -5*j - g = -26706, -j + 5*g = g - 5358. Is j prime?
False
Suppose 0 = 3*x + 6 - 9. Let z(m) = 566*m**2 - m. Is z(x) a prime number?
False
Suppose 2*c + 5*f + 13085 = 0, -7968 = 3*c - 3*f + 11628. Is 26/39 + c/(-3) a composite number?
False
Let x be (-80)/(-56) + (-8)/(-14). Let v(p) = -p**2 + 4*p + 4. Let m be v(4). Suppose -b + x*b + o = 83, -m*b = 3*o - 328. Is b prime?
True
Suppose g - 6*g + 31 = 2*q, 2*q = -3*g + 21. Suppose 2*z = -q*z - 4740. Let d = z + 1625. Is d prime?
True
Let j(g) = 3*g - 2. Let q(p) = 4*p - 3. Let d(t) = -6*j(t) + 5*q(t). Let w be d(-3). Is ((-402)/(-3))/((-6)/w) prime?
False
Suppose -9 = 3*s, -2*o = -14*s + 10*s - 261842. Is o prime?
False
Let c = -4029 + 11680. Is c a prime number?
False
Let v be (-2)/(4*3/(-30)). Suppose v*j = 2*j + 228. Suppose 0 = 2*a - 82 - j. Is a composite?
False
Is 43/301 + 3/(21/3170) a composite number?
True
Let c(n) = -n**2 + 23*n + 1. Is c(13) a prime number?
True
Let d(r) = 360*r + 2. Suppose a - 1 = -0*a - 2*b, 0 = -5*a - 3*b + 12. Let q be d(a). Is q/14 - (-12)/(-42) a composite number?
True
Let l(t) = 15*t**2 - 24*t + 40. Is l(-17) composite?
False
Let q(s) = -19*s**3 + 10*s**2 - 9*s + 10. Let w be q(4). Let z = 2605 + w. Is z prime?
True
Suppose -14*k = -6191 - 5051. Is k prime?
False
Let k(n) = -7*n**2 - n + 1. Suppose 3 = -z + 4. Let l be k(z). Is (-1492)/l - 13/91 a prime number?
False
Suppose c - n - 169 = 0, -2*c + 338 = -4*n + n. Let p = c + -80. Is p a prime number?
True
Suppose 7*u = 26016 + 26911. Is u prime?
True
Suppose -4*o + 882 = -5674. Is o a prime number?
False
Let r(c) = 13*c + 22. Is r(13) composite?
False
Let o(p) = 75*p**2 - 11*p - 22. Is o(12) a composite number?
True
Let o(l) = -61*l + 63. Is o(-16) a composite number?
False
Suppose 0 = 67*c + 16*c - 1780931. Is c a composite number?
True
Suppose -d = 2*w + 7, -2*w = 5*d + w. Suppose -2*m - 31 = -3*k, d*m = k - m - 27. Let g(i) = i**3 - 4*i**2 + 4*i + 16. Is g(k) prime?
True
Let q(t) = -44*t. Let k be q(3). Let r = k - -613. Is r a prime number?
False
Is (36/16 - 2)*267420/3 a prime number?
False
Is 78/(-8) + 10 + 65142/8 a prime number?
False
Let h(q) = 70*q - 155. Is h(12) a prime number?
False
Let j(i) = -1171*i - 47. Is j(-4) a prime number?
True
Suppose 0 = -5*t + 5*u + 106190, 5*t - 95899 - 10297 = 3*u. Is t a prime number?
False
Let f(l) = l**3 - 14*l**2 + 16*l + 12. Is f(17) a prime number?
True
Suppose 0*t = -4*t + 12. Suppose -w - 2*i + 6*i = -187, 0 = -t*w - i + 574. Is w prime?
True
Let w(l) = 15 - 2*l + 0 + 2*l**3 - 1. Let g be w(7). Suppose -g = -2*a - 0*t - t, a - 337 = t. Is a a composite number?
True
Suppose -4*c = -6*c + 5*x + 18264, 3*x = 5*c - 45641. Is c a composite number?
False
Let q be (999 - 2/(-2)) + 1. Suppose -5*u + q + 734 = 0. Suppose -d + 2*d - u = 0. Is d prime?
True
Suppose 3*n = -2*n + 10. Suppose 4*h - 32 = -n*q, 0 = -4*q - 4*h - h + 58. Let l = 22 - q. Is l a prime number?
False
Suppose 161 + 9 = -17*t. Is (1797 - 1)*t/(-8) a composite number?
True
Suppose -2*h = -3*o - 2533, 2*o = h - 3*o - 1277. Suppose 258 = -4*y + h. Is y prime?
True
Let s(h) = h**2 + 20*h - 39. Let g be s(-22). Is ((-1778)/g)/(2/(-5)) prime?
False
Suppose -134 = -2*v + 2028. Is v a composite number?
True
Let y(t) = -33*t**2 + 40*t - 85. Let l(p) = -8*p**2 + 10*p - 21. Let o(k) = -9*l(k) + 2*y(k). Is o(-10) a prime number?
True
Let b(o) = -2 + 7 + 15 - 99*o - 336*o. Let t be b(-6). Is (2/(-4))/((-5)/t) composite?
False
Let j(r) = 8*r - 14. Let a be j(3). Suppose -7*o = -a*o + 129. Is o a composite number?
False
Let a = -16 - -21. Suppose -f + 2*v + 1891 = 0, 9515 = a*f - 0*v + 2*v. Is f prime?
True
Suppose 2*t = 3*b - 4, 2*b - b - 7 = -5*t. Suppose 4*o - 262 = -5*m - 67, -156 = -4*m + b*o. Is m a composite number?
True
Let m(p) = 5*p**2 + 3*p - 12. Let u be m(16). Suppose 25*j + u = 29*j. Is j composite?
True
Let y(i) = 2*i**3 - 5*i**2 + 2*i - 38. Is y(18) prime?
False
Let s = -39 + 51. Let k(c) = 33*c - 1. Is k(s) a prime number?
False
Suppose 3*t - 15 = -5*a + 5*t, -t = -3*a + 8. Let y(h) = -5*h + 0 + 22*h**2 - a - 8*h**2. Is y(4) a composite number?
True
Let x(z) = 1012*z**2 + z - 13. Let u be x(-3). Let n = u - 5703. Is n composite?
False
Suppose -5*h - 3*k = -20677, 2*h + 2*h - 16524 = 2*k. Is h composite?
False
Suppose -2*c = c. Suppose -5*a - 10 = c, 3*q = -0*q + 4*a + 17. Suppose -q*u = -5*w - 679, 4*u - 1117 = -u + w. Is u a prime number?
True
Let t(b) = b**2 - b + 3. Let o(j) = -j**2 - 2*j - 1. Let c be o(-1). Let u be t(c). Suppose f = -u*f + 124. Is f a prime number?
True
Let m(j) = -j**3 + 8*j**2 - 7*j - 8. Let n be m(6). Let b = n - 22. Suppose b = 2*x - 4*x + 242. Is x prime?
False
Let g(f) = f**3 - 19*f**2 - 31*f + 23. Let x be g(20). Suppose q + 318 = -2*o, -1014 = 3*q - 3*o - 24. Let y = x - q. Is y composite?
True
Let r = -12 + 14. Suppose -r*w + 399 = -421. Suppose 2*l + 246 = 3*o, -5*o + 7*l + w = 3*l. Is o composite?
True
Let q be 33/11 + (109 - -1). Suppose -13 - q = 7*j. Let f = 593 - j. Is f composite?
True
Suppose 3*s - 155 - 1412 = -h, 2*h + 2106 = 4*s. Suppose 0 = 4*c - 4*n - s, -492 = -3*c - c - 4*n. Is c a composite number?
False
Suppose -3231*k + 310090 = -3221*k. Is k a composite number?
True
Let v be (-3)/2*16/(-3). Suppose -r = -v*r + 1841. Is r a composite number?
False
Let i(d) = -1 - 2 + 1 + 25*d**3 + d**2 - d. Let f be i(-1). Let m = f - -90. Is m prime?
False
Suppose 3*g + 0*g = 6. Let a be g/(4269/(-1425) - -3). Suppose -a = -4*q + 1305. Is q prime?
False
Suppose -2*a + 4*j = 8, j = -3*a + 3*j + 8. Suppose -a*v = -8*v + 102. Let r = 577 - v. Is r a composite number?
True
Suppose -4*v - 381 = 295. Let x = -24 - v. Suppose 0 = -q - f + x, 4*q + 3*f = f + 580. Is q a composite number?
True
Let k = -4 - -8. Suppose -k*o + 40 = -5*o. Is 16/o + (-1214)/(-10) composite?
True
Suppose 0 = 5*j - 5*p + 1975, -j - 5*p - 454 = -29. Let t = -21 - j. Is t a prime number?
True
Let x = -79 - -560. Suppose -2*i = 4*c - 6 - 4, 0 = -c + 3*i - 15. Suppose -5*f - 4*n + x = c, -3*f + 2*n = -2*f - 99. Is f prime?
True
Suppose -2*u - 3*u - 3*s + 143 = 0, 2*s - 23 = -u. Suppose 3594 = -u*h + 33*h. Is h composite?
True
Suppose 2*u + 581 = 5*u + 2*g, -5*u + 973 = g. Suppose -2*p + u = 53. Suppose w - p = 20. Is w a composite number?
True
Let w = 101 - 14. Suppose a - 166 = w. Is a a composite number?
True
Let m = 508 + -58. Is (-3 - 0) + m/1 a prime number?
False
Let r = 51 - -119. Suppose -4*f = -12, -7*n + 2*n - 5*f