rue
Suppose -5*m + 18*v = 15*v - 61195, -v - 61195 = -5*m. Is m a composite number?
False
Let m be 1/4 + 879/(-12). Let r = 274 - m. Is r prime?
True
Suppose -3*x - 6 = -18. Suppose -4 = x*l - 0*l, 5*j - 4*l = 14. Suppose -5*a - j*a + 3493 = 0. Is a composite?
False
Let f be 7278/9*60/5. Suppose 59871 = 13*m + f. Is m composite?
True
Let m = -10547 - -16186. Is m a composite number?
False
Let z(f) = -f**3 + f - 4. Let h be z(0). Let m(p) = 4 + 3 + p + 7*p**2 + 6*p. Is m(h) prime?
False
Let n = 16439 - 10700. Is n prime?
False
Let j = -20 + 18. Let c be 0 + -3 + 2 - j. Is (-31 - 0)*(c - 2) a prime number?
True
Let x = -10 - 9. Suppose 4*c = 4 + 4. Let w = c - x. Is w composite?
True
Is (-2)/((80/(-46955))/8) a prime number?
True
Suppose 3*a + 45 = -2*a. Is (1/(-2))/(a/4734) a prime number?
True
Let v be -4 + (-7)/(21/(-24)). Suppose v*y - 12664 = -4*h, h + h + 3*y - 6335 = 0. Is h composite?
False
Let m = 3307 - 1358. Is m a composite number?
False
Let q(f) be the third derivative of -f**6/120 + f**5/6 + f**4/8 + f**3/2 + 2*f**2. Is q(10) prime?
False
Let r(w) = 16*w + 31. Let o(x) be the second derivative of -x**5/20 - x**4/12 + 5*x**2 + 15*x. Let d be o(0). Is r(d) a composite number?
False
Let v(f) = f**3 + f**2 - 4*f + 9613. Is v(0) prime?
True
Suppose 9 = -2*h - 2*o + 31, -4*h + o = -44. Let g = h + 4. Is -1*g/3*-67 a composite number?
True
Let u = 1075 + -22. Suppose -6*f + u = -1293. Is f a composite number?
True
Suppose -57*t = 123797 - 614282. Is t composite?
True
Let k = 17695 + -998. Is k a composite number?
True
Let c = 18 + -11. Suppose 42 = c*f - 4*f. Is 2258/f + 8/(-28) prime?
False
Suppose -18*m + 56*m - 612826 = 0. Is m composite?
False
Suppose 3*c - 7898 = -2*m, 0 = -3*m - 2*c - 2*c + 11845. Is m prime?
True
Let l(o) = -99*o + 76. Is l(-7) prime?
True
Let c(k) = -86*k + 6. Let h(d) = 85*d - 6. Let i(n) = 3*c(n) + 2*h(n). Is i(-4) a prime number?
False
Let b(g) = 18*g + 9*g + 1 - 8*g. Suppose 5*m + 2 + 23 = 4*a, -5*a + 65 = 5*m. Is b(a) a prime number?
True
Let r(z) be the second derivative of 2*z**4/3 - 5*z**3/6 - 11*z**2/2 - 7*z. Is r(-6) a composite number?
False
Suppose -5*y = 5*k - 15, -3*y = y + 5*k - 16. Is (4 - (y + 4))*263 a prime number?
True
Let d be (-1)/3 - (-82)/3. Suppose d*t = 22*t + 635. Is t composite?
False
Let d = 517 - 181. Suppose 834 = 6*k + d. Is k composite?
False
Suppose -u - 2*s - 3357 = -6*u, 2007 = 3*u - 3*s. Is u composite?
False
Suppose -897 = -0*m - 5*m - f, -4*m + 723 = -f. Suppose 3*x - 627 = -m. Is x prime?
True
Let y = -18 - -36. Let c(k) = 12*k**2 + 2*k + 19. Is c(y) composite?
False
Is ((-388)/6)/((-2)/3) a prime number?
True
Let r(b) = 781*b - 92. Is r(9) prime?
False
Let a(n) = -n**3 + 5*n**2 - n - 4. Let i be a(2). Suppose z - 2429 = -i*z. Is z a composite number?
False
Suppose 3 = -2*d + 9. Suppose -17 = -d*j - 5, -h = 4*j - 735. Is h composite?
False
Let o(v) = 7*v**3 - 13*v**2 - 16*v + 5. Is o(7) prime?
True
Let h = -1090 - -3040. Suppose 616 - h = -2*j. Is j a prime number?
False
Let c be 14622/(-10)*(0 + -5). Suppose -c = -3*r + 8730. Is r a prime number?
True
Let y be (-4)/6*(-324)/8. Suppose -3*q = 3*w - y, 4*w = q + 12 - 1. Suppose 1655 = p + w*p. Is p a composite number?
False
Let n = -1969 - -13068. Is n prime?
False
Let a(x) = x - 6. Let u be a(10). Suppose -3*h + 3*y + 3777 = 0, 4*h + u*y + 2246 - 7282 = 0. Is h prime?
True
Suppose 3746 = -s + 6493. Is s a composite number?
True
Let c(w) = -26*w**3 + 14*w**2 + 7*w + 31. Is c(-6) composite?
True
Is (40/16)/((-10)/(-128324)) a composite number?
True
Let d = -955 + 1506. Suppose -2*y + 405 = -d. Is y a composite number?
True
Let p be (-15732)/13 + (-4)/(-26). Let u be p/(-18) + 8/(-36). Suppose -2*f = -u - 75. Is f a composite number?
False
Let d be ((-10)/4)/((-9)/18). Suppose -d*x = -9*x + 9228. Is x prime?
False
Suppose -2*c + 10932 = 1654. Suppose -c + 879 = 5*t. Let b = -454 - t. Is b a composite number?
True
Let w be ((-62)/6)/(4/12). Let f = 47 + w. Is (f/24)/(4/150) a composite number?
True
Suppose 0 = 2*k - 2*i - 1000, -5*k + 5*i + 2005 = -k. Suppose 8*c - 3*b - k = 3*c, 0 = 5*c + 4*b - 530. Suppose -u = -c + 17. Is u composite?
True
Let t(y) be the second derivative of 11*y**3/2 - 7*y**2 + 3*y. Is t(7) composite?
True
Suppose 6487 = 3*h + h + 3*c, 5*h = -5*c + 8110. Is h prime?
True
Let r be 44892/(-54)*6/(-4)*1. Suppose -5*k + r = 2*i - 0*k, -3*k - 2533 = -4*i. Is i prime?
True
Is 4869 - (-30)/5 - 4 prime?
True
Let f(c) = 152*c - 21. Suppose 0*d + 2*d - 5*j = -2, 2*j + 8 = 3*d. Is f(d) a prime number?
True
Suppose 0 = 36*d - 39*d + 93183. Is d prime?
False
Let n be (-4)/6 + (-2)/(-3). Suppose 0 = 5*f - 3*y - 7072, 3*f + y - 4246 = -n*y. Is f prime?
False
Let q(d) = 61*d**3 + 10*d**2 - 2*d - 11. Is q(4) a composite number?
True
Let g(p) be the first derivative of p**4/4 + 26*p**3/3 - 22*p**2 + 29*p + 9. Is g(-25) a composite number?
True
Suppose -2*u + 8 = 2*n, -u - 3*n = -2*u. Suppose -5*z - 14 + 39 = 0, -5*z = u*i - 2638. Is i a composite number?
True
Let p(v) = -25*v**3 + 3*v**2 + 5*v - 9. Let j be p(5). Let l = j - -4545. Is l composite?
False
Let d(c) = 134*c**2 - 2*c - 13. Is d(3) composite?
False
Let u = 2635 - 1256. Is u a composite number?
True
Suppose 0*n - 6*n = -24. Suppose 158 = n*x - 174. Is x a prime number?
True
Suppose 17*w - 1448 = 13*w + 4*v, 3*v + 1445 = 4*w. Is w prime?
True
Let b = 14592 - -64939. Is b a composite number?
False
Is (-16)/(-36) - 17146/(-18) a composite number?
False
Suppose -15*d - 10320 = -20*d. Let y = d + -815. Is y composite?
False
Let b = 37 - 32. Let h(c) = 16*c**2 + 7. Is h(b) prime?
False
Suppose -3*x + 2*n + 810 = -7969, -x + 2945 = 4*n. Suppose 4*y - x = -4*g + 3*y, -4*g = -4*y - 2904. Is g a composite number?
True
Let c(p) = -10*p**3 - p**2 + 4*p - 5. Let y be c(-4). Let f = y + -224. Is f prime?
True
Let u be (-3)/(18/24*-1). Suppose -u*i + 1080 = -412. Is i a composite number?
False
Suppose -4*d - 2*n = -26460, 8*d = 3*d + 2*n + 33093. Is d composite?
True
Suppose 103*i = 107*i + 12. Is 397*(i - (-5 + 3 - 2)) prime?
True
Let b(d) = -77*d**3 + 11*d**2 + 9*d + 14. Is b(-5) prime?
False
Let h(s) = -1. Let r(x) = -48*x**2 - 4*x - 1. Let n(b) = -6*h(b) - r(b). Suppose -5*z = 3*c + 21, -2*c - 5 = -z - 4. Is n(z) a composite number?
True
Suppose -5*j - 17251 = 94974. Let r = 32760 + j. Is r a composite number?
True
Let d = 84712 + -58771. Is d a prime number?
False
Let r(h) = 2153*h**2 - 4*h + 5. Let y be r(-5). Let s be y/20 - 3/(-2). Let c = -1313 + s. Is c a prime number?
True
Suppose 5*y + i = 125, 3*i - 24 = -9. Suppose 590 = 29*t - y*t. Is t a composite number?
True
Suppose 5*l = 27 + 3. Let o = 0 + l. Let n(g) = 6*g**2 - 3*g + 3. Is n(o) prime?
False
Suppose 0 = z + 4*w - 66 - 52, -4*w - 412 = -4*z. Suppose n - 1533 = z. Is n composite?
True
Suppose -2*d - 5*z = -607, 3*d - 6*z + 9*z = 888. Let a = d + 86. Is a prime?
False
Let j(t) = 108*t**3 - 4*t**2 - 11*t + 35. Is j(4) a composite number?
True
Suppose 12 = -0*b + b - 3*g, -24 = -3*b + 5*g. Is b/3 - (-3 + 6171)/(-4) composite?
False
Let j = 15 + -13. Suppose 5*s + j - 12 = 0. Suppose i - 6547 = -s*i - 2*k, 4*i - 8691 = 5*k. Is i composite?
False
Let z = -90 - -94. Suppose 7584 = z*g - 2*d, d + 3798 = 2*g - 3*d. Is g composite?
True
Suppose -5*r = -2*l + 145206, 2*l - 23*r = -19*r + 145210. Is l a prime number?
True
Let a(t) = t + 32. Let c be a(-27). Suppose -953 = -2*v - 3*v + n, -v - c*n = -201. Is v composite?
False
Let w(p) = p**3 + 6*p**2 - 9*p - 10. Suppose 18 + 17 = -5*b. Let n be w(b). Suppose -36 = -3*q + 3*f, -4*q - n*f + 2*f = -36. Is q a composite number?
True
Suppose 0 = 7*b + 3107 + 2304. Let w = b - -1766. Is w prime?
False
Let g = -5946 - -9311. Is g a composite number?
True
Let k = 13 - 13. Suppose k = 5*m + q - 7842, m = 3*m - q - 3141. Is -1*4/(-12)*m prime?
True
Let z be (-3)/(-6)*2 + 4. Let t be 772*6*z/40. Suppose -7*v + t = -730. Is v a composite number?
True
Let l(t) be the first derivative of -11*t**2/2 - t - 19. Suppose 0*u - 4*u = 48. Is l(u) prime?
True
Is -1*191359*11/(-77) a prime number?
True
Is -2 + 27502 + 0 + (8 - 3) composite?
True
Suppose -c = -4*v - 941, -v + 87 = 5*c + 296. Let g = 32 + v. Let f = 21 - g. Is f a prime number?
True
Let o = -11 + 12. Let s be -2 - (-2 + 2 + o