f) = -f**2 + 6. Let l be c(n). Is (4/l)/((-36)/(-12582)) prime?
True
Let v be (-1)/3*-3*-1. Is (188/8)/(v/(-6)) composite?
True
Is 5098/(-12)*-11 - (-1)/(-6) prime?
True
Suppose -5*j + 52618 + 42429 = -q, -2*j = 5*q - 38008. Is j a composite number?
False
Let a = 19 + -17. Let f(d) = 2*d**3 + 4*d**2 + 5*d - 143. Let b(j) = j**3 + 3*j**2 + 4*j - 144. Let n(m) = a*f(m) - 3*b(m). Is n(0) prime?
False
Is 1949 - (-5)/10*0 a composite number?
False
Let l(i) = -4*i + 2*i + 10*i - 6 + 11*i. Is l(5) a composite number?
False
Let q be (-37)/2 - 2/(-4). Let l be (-1148)/63 - 4/q. Is 4/l - (-8612)/36 a prime number?
True
Let g(n) = -12*n + 253. Is g(0) prime?
False
Let a = 10 + -8. Suppose 0 = 4*d - a*d - 8. Suppose -5*w = -d*i - 839, -2*w + 5*w - 497 = -4*i. Is w a composite number?
False
Let s(r) = 4*r**3 + 7*r**2 + 19*r - 19. Is s(10) prime?
True
Let k(l) = 2*l**2 - 41*l + 45. Is k(-40) a composite number?
True
Let z = 55 + -22. Suppose -12*i - 114 = -6*i. Let r = i + z. Is r composite?
True
Let m be 4/(-3)*75/(-10). Suppose -m*i - 36 = -6*i. Let j(k) = k + 15. Is j(i) composite?
True
Let j = -9 - -17. Suppose j*u - 4*u = 1164. Is u composite?
True
Let d = -376 + 526. Let t = d + -76. Is t composite?
True
Suppose 2*t - 2*j = 1045 + 763, -t = 2*j - 913. Is t composite?
False
Is 251/1*7*6/42 prime?
True
Let v(r) = r**3 - 22*r**2 + r + 23. Is v(24) composite?
True
Is 2 + 14698 - 1/1 prime?
True
Let k(i) = -1874*i**3 + 9*i**2 - 9*i - 17. Is k(-3) composite?
True
Let q be (-9)/27 - (-11366)/6. Let a be q/(-8) - (-4)/(-16). Let t = a + 376. Is t prime?
True
Let j be 613 - (8/(-2) - -3). Is j/(5 - 4 - -1) prime?
True
Suppose -6*u + 15078 + 17748 = 0. Is u composite?
False
Let h(z) be the first derivative of -z**4/4 + 3*z**3 - z**2/2 - 24*z + 7. Is h(7) prime?
True
Let d be -6*(-4 + 6)/2. Let o be 4112/24 - 4/d. Let q = o - 119. Is q a prime number?
True
Let j = 5244 + -3713. Let q = j + -852. Is q a prime number?
False
Let m(o) = -o - 11. Let u be m(-11). Suppose 3*c + 10 = 2*p, u*p = -2*p - 5*c + 10. Suppose 222 + 29 = v - n, 0 = -3*v + p*n + 753. Is v a prime number?
True
Suppose 13 = 2*k + 9. Suppose 3*s = -2*u + 273, -k*s - 2*s + 364 = -2*u. Is s prime?
False
Let a(x) = -x**3 - 9*x**2 + 10. Let f be a(-9). Is 7/(-35) + 21192/f a composite number?
True
Let b = -1850 + 1063. Let s be (-3 - -2652)*4/(-6). Let c = b - s. Is c composite?
True
Let s be 6/15 - 72/(-20). Suppose 2*k = 16 - s. Let f(d) = 4*d - 9. Is f(k) a composite number?
True
Suppose 0 = 8*t - 15*t + 2051. Is t composite?
False
Suppose -79*g + 46735 = -74*g. Is g composite?
True
Suppose 0 = -5*f + 3*s + 692, 822 = 4*f + 4*s + 262. Suppose 3*y + 46 = f. Is y a composite number?
False
Suppose 4*u - u = 15, -3*l = u - 37352. Is l a composite number?
True
Suppose 3*x + 4 = 16. Suppose -5*v + 0*v = -x*q + 848, 5*v - 888 = -4*q. Is q a composite number?
True
Is (2 - 1)*(2572 + (-8 - -15)) a composite number?
False
Let k = 536 + 23195. Is k a composite number?
True
Suppose 0 = 5*l - 59 - 6. Let j be 3/(-18) - l/(-6). Suppose -4*h = -3*y - 0*y - 218, j*h - 4*y - 114 = 0. Is h prime?
True
Suppose -3 - 3 = -3*b, 2*b - 108 = -i. Let o = i - 35. Is o a composite number?
True
Suppose -8 = -0*r - 2*r. Suppose -13 = -r*m + 3. Suppose m*j - 123 = -4*h + 341, h + 247 = 2*j. Is j prime?
False
Let m(c) = c**2 - 1 + 0*c + 63*c**2 - 4*c + 2*c. Let h(p) = p**3 - 7*p**2 + 9*p + 4. Let v be h(5). Is m(v) a composite number?
True
Let n(u) = 77*u - 11. Suppose 0 = -5*s + 23 + 47. Is n(s) a composite number?
True
Suppose 138 = -g + 782. Let q = g - 253. Is q prime?
False
Let w = -57 - -63. Suppose -3*f + 4*y + 23 = 0, 2*f - 14 = -2*y + w*y. Is f a prime number?
False
Suppose 6 = z + 2*z. Let q(b) = 4 + 9 + 5*b - 4*b + 3*b**z. Is q(9) a prime number?
False
Let y(h) = 5 + 0 - 2 + 44*h. Suppose 2*p = -5*c + 17, 2*p = -c + 5*p + 17. Is y(c) a composite number?
False
Let w = 11 - 10. Is (9/2 - -4)*(w + 13) prime?
False
Let t = -2 + 0. Suppose -81 - 27 = -3*v. Is (v - (-6)/(-2)) + t a composite number?
False
Let a(g) = -4 + 0 + 3 - 9 + 3*g. Let d be a(4). Suppose d*y - y - 305 = 0. Is y a composite number?
True
Is 16622 - 24/(-40)*-5 prime?
True
Suppose 2*j - m = 72, 1 + 1 = m. Suppose -2*b = -4*k, 0*b - 4*b = -k. Suppose b*c - c = -j. Is c a prime number?
True
Let b be 131 - (2 + 2 + -1). Let x = -64 - b. Let v = -127 - x. Is v a composite number?
True
Let h = 47 - -17. Suppose 3*z - 14 = h. Suppose 421 - z = 5*n. Is n composite?
False
Let c = -1066 + 741. Let s be ((-102)/(-15))/((-1)/c). Suppose 2*m + 4 = 0, -4*v + m - 2*m = -s. Is v prime?
False
Let p(q) = -q**3 - 5*q**2 - 5*q. Let o be p(-4). Suppose o*u - 328 = 5*h - 967, -512 = -4*h + 4*u. Is h a composite number?
False
Let d(y) = 2*y**2 - 3*y - 1. Let o be d(-4). Suppose v - o + 8 = 0. Is v prime?
False
Let u(g) = 263*g**2 - 4*g - 13. Is u(8) composite?
False
Let m = -19410 + 31883. Is m prime?
True
Let t be 3/3 + 3 + 1708. Let b = t + -877. Is b composite?
True
Let v(o) be the first derivative of 22*o**2 + 17*o + 1. Suppose -48*k - 30 = -50*k. Is v(k) prime?
True
Suppose 9*l = 4476 + 4614. Suppose -2*y - q = 4*q - l, -5*y + 4*q = -2591. Is y composite?
True
Let h(r) = 16*r**2 - 4*r + 3. Let s(q) = -q**2 - 5*q + 8. Let j be s(-6). Suppose -4*c - 3*a + j*a = 30, 4*c - a = -26. Is h(c) a prime number?
False
Suppose -5 + 0 = 5*p. Is p - 3 - (-402 - -1) a prime number?
True
Let w be 9/(-27) + 1318/(-6). Let s = w + 667. Suppose -j - s = -4*j. Is j a composite number?
False
Suppose -20 = -0*l - 4*l. Suppose 3*c + 2182 = l*k - 2511, -3*k + 2811 = -3*c. Is k a composite number?
False
Let n(z) = 609*z**2 - 7*z + 5. Let s be n(2). Suppose -3*j - 5*c + 1445 = -0*j, -5*j + c = -s. Is j prime?
False
Let t(f) = 2*f**2 + 2*f + 1. Let m be t(-1). Let y be m + (3*412)/3. Suppose -2*d - 43 = -y. Is d a prime number?
False
Is -1 + 15657 + (-6)/24*-20 a prime number?
True
Let a = 1253 - -8436. Is a composite?
False
Let v = -43 + 47. Let m = v - -215. Is m prime?
False
Suppose -q - i - 68 + 2103 = 0, -5*i = 2*q - 4058. Is q a prime number?
True
Let a = 273 - 7. Let n = a - -65. Is n a prime number?
True
Let l(a) = a + 1. Let r(m) = 462*m - 7. Let u(s) = -5*l(s) - r(s). Suppose 0 = -y + 4*h - 17, 5*y + 2*h - 4 = -1. Is u(y) a prime number?
False
Suppose 2*r - 91988 = -30*x + 25*x, 5*r - 229935 = 5*x. Is r composite?
False
Suppose -29556 = -6*h + 38454. Is h a prime number?
False
Suppose -38092 - 291657 = -119*j. Is j prime?
False
Suppose 119*g = 113*g + 11724. Is g prime?
False
Let g(w) be the third derivative of 0 - 3*w**2 + 1/6*w**3 + 1/60*w**6 + 0*w + 1/15*w**5 - 1/6*w**4. Is g(3) prime?
True
Let y = 2871 + -1068. Is y prime?
False
Let c = -12776 + 18681. Is c prime?
False
Is 2532/(-8)*2492/(-42) a composite number?
True
Let h = 803 - 1282. Let q = h - -928. Is q a composite number?
False
Suppose 4*p + 7*y - 5885 = 2*y, -3*p + 4400 = y. Is p composite?
True
Is (25/(-3) + 8)*-35961 a composite number?
False
Let u(w) = -6*w**2 + 13*w + 14. Let d be u(-5). Suppose 2*g + 5*c - 303 = g, 4*c = 4*g - 1116. Let m = d + g. Is m a prime number?
False
Is ((-17526)/(-690))/((-1)/(-565)) a prime number?
False
Let x(o) be the first derivative of -21*o**2/2 + 23*o - 17. Is x(-14) a composite number?
False
Suppose 2*h + 15 = 5*o, 5*h - 2*h - 2*o + 6 = 0. Let b = 6 - h. Suppose -2*c - b = 0, -3*c - 1143 + 3525 = 3*r. Is r prime?
True
Is ((-6302527)/66)/(-49) + (-2)/(-12) a composite number?
False
Let m be (7/(-6) + 2/3)*6. Is (12 - 2)*(17/2 + m) composite?
True
Let v be ((-4)/14)/(2/(-14)). Suppose -i + 2*i = -w, -w = -v*i - 15. Is 1 + i + 108 + 15 a prime number?
False
Let m be 24/(-8) + 2*2 - -6. Suppose m*x = 5642 + 7203. Is x prime?
False
Let h = -22163 + 41712. Is h a prime number?
False
Suppose o = -0*o - 8. Let w = o + 20. Let t = 46 - w. Is t a composite number?
True
Let u = -550 - -137. Let q = -96 - u. Is q prime?
True
Let b(z) = 118*z - 89. Is b(21) a composite number?
False
Let n(j) = -j**3 + 6*j**2 + 11*j - 1. Let r be n(8). Let d = -261 - r. Let b = 515 + d. Is b a composite number?
True
Let j = 26 + -115. Let q = j + 178. Is q composite?
False
Let u(g) = g**2 - 7*g + 12. Let p be u(9). Suppose 4*v + v + p = 0. Is (-153)/2*v/9 a prime number?
False
Let x = 2 - 1. Let u(k) = 3*k**3 - k