y = -22034 - -34635. Is y a composite number?
False
Suppose 2*v - v = 3. Suppose v*z = 4*j + 1772 - 33, -3*j + 1165 = 2*z. Is z a composite number?
True
Let q = 21053 + -12214. Is q a prime number?
True
Let k = 4084 - 2705. Is k composite?
True
Suppose 3*f = 5*a - f + 33, -3*a - f = 13. Let p = a - -196. Is p a composite number?
False
Let p be (-150)/4*18/(-27). Let n be 6/(-2) - p/5. Let o(a) = a**2 - 3*a + 7. Is o(n) prime?
False
Suppose -5332 = -2*d - 464. Is d a composite number?
True
Is ((-2)/6)/1 + (-3198)/(-9) a composite number?
True
Let s = 228 + -154. Let l(h) = 14 + s*h - 6*h - 6 - 13. Is l(5) composite?
True
Suppose 4*b + 16 + 12 = 4*n, 4*n = -2*b + 28. Suppose -3*d = -u - 4*d + n, -4 = -d. Is 212/(-8)*(-6)/u prime?
True
Let m(q) = q**2 + 10*q - 25. Let f be m(-12). Is -3 - (0 + (-76)/2 - f) a prime number?
False
Let d(u) = -7755*u - 38. Is d(-1) prime?
True
Let r(o) = o + 12. Let y be r(-18). Is (y - -1)/((-13)/247) a composite number?
True
Is (6 - -1) + 58536/9 composite?
True
Suppose 0 = -8*o - 7431 - 2625. Let f = -616 - o. Is f composite?
False
Is 1/(-8*1/(-64088)) composite?
False
Let p be (2 + 4/(-1))*(-5454 - -3). Suppose 8*b - p = 2*b. Is b composite?
True
Suppose 2*f - 202 = 180. Let q = f + -156. Is q composite?
True
Let h = 20533 - 3623. Suppose -5*o - h = -5*k - 0*o, 6769 = 2*k - o. Suppose k = 2*t + 433. Is t prime?
False
Suppose 2*x + 5*g - 6*g - 6418 = 0, x = 5*g + 3209. Suppose 8728 = w + 2*o + x, 22031 = 4*w - o. Is w a composite number?
True
Suppose 3*w - 28383 = -3*x, 4*w - 5*w - 28383 = -3*x. Is x a prime number?
True
Suppose -2*l - 3 = -3*l. Let f(y) = -2*y + 2. Let n be f(l). Is n/14 + 331/7 a composite number?
False
Let g(f) = 4*f + 14 + 2*f**2 + 0*f + 42*f**2 - f. Is g(-5) a prime number?
False
Suppose 0 = -5*f - 3*p + 35, 10 = -0*p + 2*p. Suppose 4*s + 1093 = -f*t + 3989, 5*t + 2851 = 4*s. Is s composite?
False
Is (-18737)/(-8) + 10/(-80) + 0 a composite number?
True
Is 5 + (-7 + 3 - -1360) composite?
False
Let u(f) be the first derivative of -f**2/2 - 4*f + 8. Let w be u(-9). Suppose 0 = w*r + 5*m - 375, r + 0*m - 85 = 4*m. Is r a composite number?
True
Let v = -62 - -54. Let b(s) = 2*s**3 - 12*s**2 + 2*s - 2. Let f(r) = -5*r**3 + 25*r**2 - 3*r + 5. Let o(t) = -7*b(t) - 3*f(t). Is o(v) composite?
False
Let i(h) = h**3 - 9*h**2 + 3*h - 11. Let b be i(10). Suppose -b = -4*g + 469. Let t = 554 - g. Is t a prime number?
False
Suppose -5*m = -0*m. Suppose 3*s - 14 = 1. Suppose -2*f + s*f - 471 = m. Is f prime?
True
Suppose 5*g + 2 = -4*p, 5*g - 8 = p + 5. Let r be (-1 - -4) + 2 + -1. Suppose -5*x = r*l - 1009, g*x + 52 - 482 = 5*l. Is x composite?
True
Suppose -3*o = 0, 5*p - 211690 = 3*o + 119995. Is p composite?
False
Let x be 34850/6 - (-7 + (-110)/(-15)). Let d = 8201 - x. Is d a composite number?
False
Let z(y) = 2*y - 3. Let r be z(3). Suppose 0 = -3*d + 15 - r. Suppose d*x = 541 - 17. Is x prime?
True
Let a = -12 + 15. Suppose 4*z - 4 = 3*v, z = -v - 2*z + a. Suppose 4*l - 316 = -v*l. Is l a composite number?
False
Let b(y) = 3*y**2 - 27*y + 43. Is b(-44) a prime number?
True
Suppose -5336 = -6*n + 8*n. Let x = -1805 - n. Is x composite?
False
Suppose -3*b = -7*b + 24480. Suppose -3*n - 12*w + b = -13*w, 0 = 4*n - w - 8159. Is n composite?
False
Let u = 547 + 738. Suppose d = 5*z - 0*d - 13, 0 = 5*z - 4*d - 22. Suppose 1955 = z*m + m - 2*k, -5*k - u = -2*m. Is m composite?
True
Let p(v) = v - 2. Let f be p(6). Suppose 4*m + 6*b - 9 = 3*b, 0 = -5*m + f*b - 12. Suppose m = 4*w, 3*n - 34 = -3*w + 23. Is n a composite number?
False
Let n = -62 - -189. Is n composite?
False
Suppose 12046428 - 1253061 = 117*g. Is g a prime number?
True
Let r(x) be the second derivative of x**4/12 - 4*x**3/3 + 7*x**2 - 2*x. Let k = 36 + -30. Is r(k) composite?
False
Let c(n) = 19*n**2 - n - 43. Is c(-13) prime?
True
Let x = 17 - 9. Let v(w) = 3 + 13*w + 3 - 2 - 15. Is v(x) composite?
True
Suppose -u - 1969 + 9962 = 0. Is u composite?
False
Let f(z) = -z - 14. Let j be f(-14). Suppose 5*w - 740 = -5*x, w + 0*w + 4*x - 154 = j. Is w prime?
False
Let c = 634 - -1160. Let y = 3521 - c. Is y a composite number?
True
Suppose 2*h = 2*p + 1 - 3, -5*p = h - 23. Is (-4)/((-4)/h) - -80 prime?
True
Suppose 3*h - u = 19057, 0 = 2*h - 5*u + 2974 - 15670. Is h a prime number?
True
Let t = 20 - 26. Is 4/6*(-7569)/t composite?
True
Let x = -10 - -14. Suppose t - 2*f + x = -0*t, -24 = -3*t - 3*f. Suppose -t = 3*b - 25. Is b prime?
True
Suppose -b + 21 = 3*m, 2*b - 5*m - 18 = 2. Let w(t) = -t + 20. Let p be w(b). Is p/(10/(-4)) - -225 prime?
True
Suppose 4*p = -4*g + 20656, 0 = 2*p + 4*g - 0*g - 10324. Suppose -6462 = -5*i - o, 2*o = -3*i - i + p. Is i prime?
False
Is (8 - 2) + 2009/7 a composite number?
False
Suppose -k - 3 + 10 = 0. Suppose -k*g = -23 - 4086. Is g a composite number?
False
Suppose -4 - 20 = -8*u. Suppose -4*k - 12 - 4 = 0. Is (-337)/(1*k + u) composite?
False
Let r(j) be the third derivative of 7/3*j**5 + 0*j**4 - 7*j**2 + 0 + 0*j + 1/6*j**3. Is r(1) composite?
True
Suppose -37*x = -34*x. Suppose -15*d + 10*d + 11805 = x. Is d a prime number?
False
Suppose 5*c = 5*n + 40, 0 = -5*n - 3*c + 4*c - 36. Is 208 + 2 + (-1)/(6 + n) composite?
False
Let z = 11 - 3. Suppose -v + z = 3*v. Is (v + 0)*149/2 composite?
False
Let m = 77 + -68. Suppose m*d = 14*d - 21325. Is d composite?
True
Suppose -2*c + 10 - 4 = 0. Suppose -5*o + 30 = -u, 12 = 2*o - u + c. Suppose -6*f + o*f = 113. Is f a composite number?
False
Suppose 0 = -4*g - p + 127, 2*p + 0*p - 6 = 0. Suppose -5*v + 3*h = -1295, 4*v - 2*h - 833 - 201 = 0. Let d = g + v. Is d composite?
True
Let c = 10363 - -16158. Is c composite?
True
Let y = 16 + -16. Let h(u) = -2*u**2 + 6 + y - 4*u - 4*u**3 + 12*u**2 + 3*u**3. Is h(9) a composite number?
True
Suppose -245*j = -239*j - 4908. Is j prime?
False
Is (-742)/530 - (-51484)/10 prime?
True
Let y(x) be the second derivative of 187*x**4/12 - 3*x**3/2 - 17*x**2/2 - 31*x. Is y(-4) composite?
False
Let q(j) = 4*j**2 - 19*j - 136. Is q(-6) a composite number?
True
Suppose -5 = 5*d - 5*c, 5*d + 2 = 3*c + 1. Is (d/(-4))/((-11)/20548) a composite number?
False
Is (-7)/(7/(-2539)) + (-3 - -3) a composite number?
False
Let i = 13 + -13. Suppose -1266 = -2*q + 2*t, -3*t = -i*t. Is q a prime number?
False
Let u be 290/(-3) - 4/(-6). Let l be 5*(u/(-3) - -1). Suppose 6*d + l = 9*d. Is d a prime number?
False
Suppose -3*c + 253 = -2*p, 3*c + 5*p = 5*c - 165. Suppose -2*b - 33 = -3*b - v, -3*b + 84 = -2*v. Let k = c - b. Is k prime?
False
Is 6 - (1 + 2 - 1378) a composite number?
False
Is ((44728/(-10))/(-2))/(4/10) composite?
False
Suppose 21*k - 27*k = -36. Let o(t) = 13*t**2 - 10*t - 19. Is o(k) composite?
False
Let k(s) = 19 + 3 - 30*s - 21*s. Is k(-11) composite?
True
Let l be 12/(-28) + ((-76)/(-14) - 0). Let q(p) = 4*p**3 - 15*p**2 + 6*p + 6. Is q(l) a composite number?
True
Suppose -4740 = -6*h + 130662. Is h prime?
True
Suppose -1633 = 2*s - 3*s. Let k = s - -466. Is k a composite number?
False
Let n(r) = -r**2 - 2*r + 4. Let l(s) = 3*s**2 + 3*s - 7. Let h(p) = 2*l(p) + 5*n(p). Suppose -4*m = -5*m + 5. Is h(m) a composite number?
False
Let g(u) = -u + 1. Let c(i) = -158*i**2 - i - 2. Let l(m) = -c(m) - 3*g(m). Is l(-3) a composite number?
False
Let s(u) = -u**3 - 28*u**2 + 71*u + 109. Is s(-31) a prime number?
False
Suppose -104*i = -100*i - 28. Let g(m) = 10*m**3 - 45*m**2 + 20*m - 24. Let s(r) = 3*r**3 - 15*r**2 + 7*r - 8. Let j(d) = 2*g(d) - 7*s(d). Is j(i) composite?
False
Let g(p) = -p**3 + p**2 + 6*p + 2. Let o be g(-9). Suppose -10 = -5*u, 0 = -3*q + 2*u - 0*u + o. Is q a prime number?
False
Suppose o + 3*u = 1184, -2*o + 1988 + 375 = 5*u. Is o a composite number?
True
Let k = 20338 - 1049. Is k prime?
True
Let s = 19 + -28. Let l = s - -9. Is -3 + 125 + (-3 - l) composite?
True
Let q(g) = 3*g - 2. Let v be q(8). Let f = 24 - v. Suppose -z + 119 = -f*t + t, 3*z = -5*t + 381. Is z prime?
False
Is 3*9/27*14971 composite?
True
Let m = 817 + 52. Suppose 5*q = -4*u - 205 + m, -487 = -3*u - q. Is u prime?
False
Let g(h) = 18*h + 34. Let y be g(21). Is (y/8)/((-1)/(-2)) - -3 a prime number?
False
Suppose -3*v = m + 3*m - 2, 0 = 4*m - 3*v - 14. Suppose -20933 = -9*d - m*d. Is d a prime number?
False
Is 204184/6 + (-133)/(-21) + -6 composite