 4899 - 16504. Is g a composite number?
True
Let v(h) = -252*h + 6. Let g be v(-7). Suppose -10112 = -4*a + r, 12*a + 2543 = 13*a - 4*r. Let y = a - g. Is y a prime number?
True
Let g(h) be the second derivative of 41*h**3/3 + 5*h**2/2 + 15*h. Is g(7) composite?
True
Suppose -3*u + 4*u = -4. Let w = -82 - u. Is -2 - (0 + -3) - w a prime number?
True
Suppose 4*b + 0*b = -j + 19527, b + 19552 = j. Is j a composite number?
True
Suppose -9*r + 849 = -8*r. Let i = 1195 - r. Is i prime?
False
Let a = 352 + 234. Let n = a + -215. Is n composite?
True
Let j(o) = -o**3 + 18*o + 15 - 29 - o**3 - 5 - 14*o**2. Is j(-14) prime?
True
Suppose 3*a - 4113 = -573. Let g = a + -633. Is g a prime number?
True
Suppose 6*f = -0*f + 49674. Is f a composite number?
True
Let o be (-122)/8 + (-18)/(-72). Is 3/9 + (-325)/o a composite number?
True
Let c(r) = r**3 - 27*r**2 + 28*r**2 + 4 + 42 + r. Is c(0) composite?
True
Let j = 10613 - 5356. Is j a prime number?
False
Let r(k) be the third derivative of k**7/840 - k**6/180 + k**5/24 + 7*k**4/24 + 3*k**3/2 - 4*k**2. Let g(m) be the first derivative of r(m). Is g(7) composite?
True
Suppose -36*h - 53158 = -50*h. Is h prime?
True
Let k(m) = -m**2 - 11*m - 18. Let s be k(-8). Suppose 19140 - 3666 = s*b. Is b composite?
False
Let y(a) = -a - 11. Let i be y(-9). Let s be (-5)/i*(-1590)/(-25). Suppose 0 = 8*o - 7*o - s. Is o prime?
False
Suppose 10*g + 3*t + 373 = 12*g, 5*g + 2*t = 961. Is g prime?
True
Let q = -14 + 4. Let u = 21 + q. Is u composite?
False
Let s(n) = -291*n - 28. Is s(-25) a prime number?
True
Let f be (-240)/(-3) - (1 - 0). Let x = f + -54. Is x - 1/(-2)*2 a prime number?
False
Let c be ((-16)/28)/(4/(-14)). Suppose -4*o = 3*g + c*g + 13, o - 23 = 4*g. Suppose -j + 188 = o*j. Is j prime?
True
Suppose 5*u + s = -12, 2*s - 4*s + 4 = -4*u. Let t be ((-579)/(-9))/(u/(-6)). Suppose 5*l = -2*r + t + 169, 585 = 3*r - 3*l. Is r prime?
True
Let k = -17 + 20. Suppose -q = 4*a - 75, 3*q + 2*a = -k*a + 218. Suppose -47 = -2*t + q. Is t composite?
False
Suppose 11*t = 16*t - 18215. Is t composite?
False
Let d(r) = -r - 8. Let b be d(-10). Suppose f - 237 = -b*f + 3*o, -2*o + 395 = 5*f. Is f a prime number?
True
Let h be (-6)/10 - 6441/15. Let u = h - -236. Let b = u - -305. Is b a prime number?
False
Suppose -2*x + 2*f + 14 = 0, 2*x - 3*f + 9 = 25. Suppose -y = x*c - 123, 0 = -0*c - c + 1. Is y prime?
False
Suppose 3*u - 7*u = -5*c + 5339, -5*c = 3*u - 5332. Is c prime?
False
Is 3652 - (-2 - 5) - 0 composite?
False
Let p = -1 + 14. Is 2283 + (-28)/(-13) + (-2)/p a composite number?
True
Is (-3 + 2 + 5)*21118/8 a composite number?
False
Let b be (-11624)/10*65/(-26). Let l = b - 663. Is l a prime number?
True
Let o be 4/(-2 + (-278)/(-140)). Let a be (o/(-25))/(4/330). Is (-2)/(a/465 + -2) prime?
False
Suppose -3*r = 2*r - 2*p + 108, p = -5*r - 111. Let b = r - -32. Let n = b - -49. Is n prime?
True
Suppose 0 = -46*s + 18*s + 1399748. Is s composite?
False
Let u = -22333 - -39544. Is u composite?
True
Let p be (-2 - (4 + -4)) + 2639. Let n = p + -1442. Suppose 0 = u - 6*u + n. Is u composite?
False
Suppose 4*c = -7 + 27. Suppose 26 = r - 2*n - 2*n, -4*n + 58 = c*r. Suppose f = r + 23. Is f prime?
True
Let l(h) be the third derivative of -h**4/24 - h**3/6 - 7*h**2. Let m be l(3). Is (m/(-6))/(2/381) a composite number?
False
Suppose -65*a = -67*a + 12. Suppose 0 = n - 5*z - 3354, -4*n - 6720 = -a*n - 2*z. Is n composite?
False
Let x(b) = 31*b**2 + 8*b - 6. Let f be x(14). Suppose 1973 = 5*l - f. Is l a prime number?
False
Suppose 0 = 5*y + 5*f - 8016 - 2114, y + 3*f - 2016 = 0. Is y composite?
True
Let p(a) be the second derivative of 344*a**3/3 - 31*a**2/2 + a + 5. Is p(5) prime?
False
Suppose -118510 = -11*v + v. Is v prime?
False
Let g(r) = -2*r**3 + 10*r**2 - 9*r + 24. Let h be g(7). Let y = 806 + h. Is y a prime number?
True
Let x be 3/(-5) - 6426/(-35). Let k = 1180 - x. Is k a composite number?
False
Let u(o) = o**2 - 9*o + 10. Let s = 28 - 20. Let d be u(s). Suppose 4*t - 664 = -4*k, -4*t + 311 = -d*t - 5*k. Is t a composite number?
False
Let s(r) = -203*r**2 + 4*r - 6. Let v be s(3). Let o = 3094 + v. Is o composite?
True
Suppose 3*a - 3*q - 16 = 2*q, -2*a = -5*q - 14. Is -2*(7014/(-4) - a) composite?
False
Let t(s) = 4*s**2 - 3*s - 2. Let x be t(-2). Let y = x - 13. Let q = 306 - y. Is q a prime number?
False
Let s = 1194 - 766. Suppose 4*l + 8 = 6*l. Suppose -g + h = -2*h - s, 0 = 4*g + l*h - 1664. Is g a composite number?
False
Suppose -2*b + 6*b - 20 = 0. Suppose 4*q - b*c - 5264 = -c, q + 4*c - 1326 = 0. Suppose 12 = z - 5*z, q = 5*p - z. Is p a composite number?
False
Suppose 0 = k - 3 - 2. Suppose 2*u = k*s + 31, s - 2*s + 1 = 2*u. Is (-1)/u - 64/(-3) a prime number?
False
Let c = 43097 + -24514. Is c a composite number?
False
Let o = 5748 - 887. Is o a prime number?
True
Let i be ((6 - 4) + -2)*(-5)/5. Let r = 191 + -6. Suppose i*a - a = -r. Is a a prime number?
False
Let j(y) = 3*y**2 + y - 7. Let x be j(7). Suppose 2*d = -138 + 2. Let o = x + d. Is o a composite number?
False
Let a(j) = -j**3 + 2*j**2 + 6*j - 4. Suppose 0 = -4*o + 3*g - 7, 0 = -5*o - 2*g + 10 + 10. Suppose -3*l + o*c = 25, 45 = -5*l + 5*c - c. Is a(l) prime?
False
Let i = -1377 - -481. Let j = i + 1548. Suppose -3*d - j = -0*l - 5*l, 2*d - 395 = -3*l. Is l a prime number?
True
Let y(i) = i**3 + 13*i**2 + 8*i + 15. Let p be y(-6). Let d = 75 - 33. Suppose 0 = 3*w - p + d. Is w composite?
False
Let r be (10 - 8) + 0 + 0. Is (r - 20/12)*789 prime?
True
Let c be 2401 + 4 + -3 + 0. Suppose 4*r = 3*r - c. Is 12/(-66) - r/22 a prime number?
True
Let r(f) = -f**3 - 3*f**2 - 3*f - 6. Let n be r(-3). Suppose -n*o = -167 - 544. Is o prime?
False
Let y be ((-1)/1)/((-5)/125). Let p be 6/(-15) + 135/y. Let s(w) = 5*w**2 + 6*w + 6. Is s(p) composite?
True
Is (-176)/32*(-1319 - 3) a prime number?
False
Let l be 25 + -3 - (2 - 1). Let h(a) = 4*a**2 - 18*a - 29. Let n(g) = g**2 - g. Let z(f) = h(f) - 3*n(f). Is z(l) a prime number?
True
Suppose -12*d + 55 = -7*d. Suppose -a - d*a = -33780. Is a composite?
True
Suppose 4*h = 3242 + 642. Is h a prime number?
True
Suppose -5*t + 3*p = -0 + 16, -2*t - 4 = -2*p. Let k(s) = s**2 - 7*s - 2. Let b(w) = -w - 2. Let c(i) = -b(i) + k(i). Is c(t) a composite number?
True
Suppose -3*o + 7*o = 376. Is 3901/o*(-3)/((-3)/2) prime?
True
Let z(f) = -750*f**3 - f**2 + 3*f + 5. Let y(u) = 750*u**3 + u**2 - 2*u - 4. Let w(o) = -6*y(o) - 5*z(o). Is w(-1) a composite number?
False
Suppose -3*l - 5 = 7. Is 18153/27 - l/6 a composite number?
False
Let w = 3925 + 2056. Is w a prime number?
True
Suppose -5*b + 6828 = 4*o, -3*b + 404 = 3*o - 4714. Let z = o + -999. Is z prime?
False
Suppose -2*t + 2267 + 13 = 0. Let f = -624 + t. Let r = f - 305. Is r composite?
False
Let n(f) be the third derivative of f**6/120 - f**5/4 - 7*f**4/12 + f**3/6 + 2*f**2 - 17. Is n(16) composite?
True
Let b = -16 - -16. Suppose -5*h + 315 = g - b*h, -2*h - 287 = -g. Is g a composite number?
True
Let a be 18/(-12)*(-2)/(-3). Let n be 5*a/(15/(-21)). Suppose 0 = -n*g + 5*g + 166. Is g a prime number?
True
Suppose 25*n - 10 = 20*n. Suppose -l = 6 - n. Is (-3 - (-8 - l))*31 composite?
False
Suppose 3*v + 4 + 14 = 0. Let s = -4 - v. Suppose -s*t + 945 = 271. Is t a composite number?
False
Suppose 3*b + 118 = 2*b. Let v = 165 + b. Is v a composite number?
False
Suppose 0 = -5*m + 16*m + 55. Let x(j) = -279*j + 4. Is x(m) composite?
False
Suppose 0 = -46*d + 420159 + 147251. Is d composite?
True
Let t = -1315 - -1988. Is t a composite number?
False
Suppose -4*r = -45*h + 44*h + 12789, h - 12787 = 3*r. Is h prime?
True
Suppose -9*m + 10*m - 52102 = -5*f, -5*f + 52111 = -2*m. Is f composite?
True
Suppose -4*z + 42 = 2*v, 0 = -v - 4*z + 17 + 14. Let q(l) = 133*l + 8. Is q(v) a prime number?
True
Let n = -346 + 18. Let q = -233 - n. Is q composite?
True
Is (-1193)/(-8) + (-6 - (-47)/8) a prime number?
True
Let k = 9 + -12. Let a = k - -8. Suppose 0 = 4*f + f + 4*r - 2335, -a*r = 0. Is f a composite number?
False
Let s = 22918 + -15269. Is s composite?
False
Let v = 3551 - -52. Is v a composite number?
True
Suppose -48219 = -75*x + 281706. Is x a prime number?
False
Let f = 11 + -9. Let v(y) = 7*y**2 - 2*y**2 + 1 - 2*y**f + y - 2*y**2 + 9*y**3. Is v(2) compos