i(b) prime?
False
Suppose 4*c - 27 = 2*y - 5*y, 3*c - y = 4. Suppose k - 8592 = -k - 5*i, -c*k = 3*i - 12879. Is k a composite number?
True
Let m be (9/(-6))/((-12)/80). Let j = -20 - -34. Suppose -j*s + 344 = -m*s. Is s composite?
True
Let y(o) be the second derivative of -o**3/6 + 9*o**2/2 - 2*o. Let f be y(5). Suppose 0 = -f*m + 12 + 192. Is m prime?
False
Let c(t) = 133*t**2 + 24*t - 193. Is c(24) a prime number?
True
Let c(f) = 24*f**2 + 2*f + 11. Let w(u) = -2*u**2 + 8*u + 7. Let x be w(-1). Is c(x) a composite number?
True
Let z(v) = 4*v**2 + 16*v + 153. Is z(19) composite?
False
Let n = 43571 + -22864. Is n composite?
False
Suppose 3*t + 84 = 2*m - m, 0 = -4*t. Let q = m - 145. Let o = q - -218. Is o a prime number?
True
Suppose 6*s + 3*s - 45 = 0. Suppose -2*d - d = 2*k + 6, 5*d = -3*k - 11. Suppose k*y + z - 3438 = -2*z, s*z - 3428 = -3*y. Is y composite?
False
Suppose v + 40 = 9*v. Is 1732 + v/(-10)*2 prime?
False
Let n(a) = -11*a - 77. Let h(b) = 13*b + 76. Let y(s) = -3*h(s) - 4*n(s). Is y(27) a composite number?
True
Suppose 5*n - 76827 = -10402. Is n a prime number?
False
Suppose -2*g - 9*h + 19912 = -11*h, -29870 = -3*g + h. Is g a composite number?
True
Let t(v) = -v + 23. Let s be t(9). Let m(k) = k**3 - 15*k**2 + 20*k + 9. Is m(s) a composite number?
True
Let c(x) = 7937*x - 5. Let q be c(3). Suppose 176*w + q = 178*w. Is w prime?
True
Suppose -2*x - x - 15 = -4*a, -2*x = -6. Is (1822/a)/(7/21) composite?
False
Suppose u - 11 = -5*w, -2*u + 4*w = 2*u + 4. Let f(x) = 680*x**3 + x**2 + x - 1. Is f(u) a prime number?
False
Let n(j) = -j**3 - 2*j**2 - 2*j. Let x be n(-2). Suppose -x*s + s = -42. Let t = s + -5. Is t a prime number?
False
Let h(x) be the third derivative of -x**4 - 29*x**3/6 - x**2. Is h(-10) composite?
False
Suppose 2*g = -y + 18533, 0*g + 2*g - 92665 = -5*y. Is y a prime number?
False
Let t(j) = 10*j + 8. Let k be t(-2). Let p be k/3 + (16 - 6). Suppose 211 = -5*i + p*i. Is i a prime number?
True
Let k = 20543 + -6496. Is k a composite number?
True
Suppose 0 = -15*w - 19189 + 125494. Is w a prime number?
False
Let b(p) = -5*p - 10. Let g be b(-3). Suppose 1149 = 4*q + 2*w - 1071, -g*w - 1639 = -3*q. Is q prime?
False
Let q(v) be the first derivative of -v**2/2 + 13*v + 1. Let x be q(8). Suppose -3*t = 0, 0 = -x*m - t + 589 + 26. Is m composite?
True
Suppose -4*n + 5 = 3*q - 6, n - 8 = q. Suppose -n*u + 1610 = 5*m, 0*m - 647 = -2*m - 3*u. Is m composite?
True
Let z be ((-1508)/(-39))/((-4)/6). Suppose -37 = 2*p - 267. Let b = z + p. Is b composite?
True
Is 56/(42/(-6)) + 7143 composite?
True
Suppose 4 = 4*r + 4*x, 2 = r + x + x. Suppose -5*p - 76 + 2671 = r. Is p composite?
True
Let b = 4847 + -1762. Is b prime?
False
Let r(d) = d**3 + 2. Let p be r(0). Is 4/p*(-5)/((-5)/37) composite?
True
Suppose 0 = -y - 0*u + u + 197, 0 = y - 5*u - 217. Suppose -20 - y = -2*q. Suppose -a - 27 = -q. Is a a composite number?
False
Let w = 49 + -55. Is 2/(-3)*1809/w a prime number?
False
Is 12/3 - 6065/(0 - 5) a prime number?
True
Is ((-72)/(-27))/(-4)*46842/(-4) composite?
True
Let c be -1 + (1 - 0) + 0. Suppose u - 1231 = -2*d, 5*d - 5*u - 214 - 2841 = 0. Suppose c*h - d = -2*h. Is h prime?
True
Suppose -12*y + 175358 - 41450 = 0. Is y a composite number?
False
Is (1 - (-7)/(-3))/(18/(-8937)) prime?
False
Let v = 2 + -2. Suppose 3*k + 2 - 14 = v. Suppose -k*z = -0*z - 532. Is z prime?
False
Suppose -83*t = -78*t + 35. Is (-2)/t*1 + 9978/14 prime?
False
Suppose 2*z - 4*z + 36 = 0. Let c be 4*6/(-28)*7/(-2). Suppose -q + 21 = -2*h, -4*q - c*h + z = -q. Is q a composite number?
False
Is -1*(-3 + (-4175 - 3)) prime?
False
Let d = 4777 - 20. Is d composite?
True
Let a = 922 + -629. Is a a prime number?
True
Is 48/12 + (-16206)/(-6) prime?
False
Suppose 89 = 2*y - 345. Is y prime?
False
Let p(w) = -w**2 + 3*w + 5. Let v(i) = 3*i**2 - 6*i - 11. Let o(f) = 5*p(f) + 2*v(f). Is o(9) a prime number?
False
Suppose -2*d + 14 = 2*k + 3*d, -18 = -5*k - 4*d. Suppose 2*z + n + 398 - 2918 = 0, 0 = -z - k*n + 1263. Is z prime?
True
Is 50427/3 + (2 + 9 - 3) a composite number?
True
Let a(z) = 7*z - 17. Let u be a(3). Let p(t) = 8*t**2 - 3*t + 6. Is p(u) a prime number?
False
Is (-1811190)/(-140) - (-3)/(-42) a composite number?
True
Let d(s) = -163*s - 29. Let q be 8/(-5)*(4 + 6). Is d(q) a composite number?
False
Suppose -20 = 4*i, -72*i = 4*l - 74*i - 9822. Is l prime?
False
Suppose 4*s + 4*t + 52 = 0, -3*s + t + 4*t = 7. Let a(g) = -10 - 8*g**2 + 6*g**2 - 5*g + 5*g**2 + g. Is a(s) prime?
True
Suppose q + 45250 = 5*k, -3*k = -k - 2*q - 18108. Is k prime?
True
Let r = -12 + 24. Suppose -r = -3*u + 3*c, 15 = 6*u - 2*u - 3*c. Suppose u*h = 346 + 251. Is h prime?
True
Suppose 6*z - 11*z = -10. Let a = z + 29. Is a composite?
False
Suppose 5*j - 32660 = -5*k, j - 3512 - 3023 = -2*k. Is j a prime number?
True
Suppose 4*n = 2*j + 10, -4*n + 28 = -0*n + 4*j. Suppose 3*z = -4*o + 5*o + 11, -n*o + 12 = 2*z. Suppose 537 = z*q + 5*d, 4*q + 138 = 5*q + 5*d. Is q composite?
True
Suppose -5 = -2*i + 5. Suppose -27*l + 26*l = 5*u - 1738, -3*u - 5*l + 1034 = 0. Suppose i*w - w = u. Is w prime?
False
Let g be (16 - -3)/(1 - 0). Let a(z) = g*z**2 + 13*z**2 - 1 + 2. Is a(1) prime?
False
Let m be (1*-12 - -4)/(-2). Suppose 3*t - l = m*l + 1270, -5*l = -4*t + 1685. Is t a composite number?
True
Is ((-24)/(-16))/3*38414 a composite number?
False
Let l be (1/(-3))/((-7)/84). Suppose -4*t - c - c = -l, 3*c - 2 = -4*t. Is (-84)/9*(-3)/t prime?
False
Let i = -73 - -75. Suppose -4*w = 2*n - 2730, -w - 3*n - i*n + 660 = 0. Is w a prime number?
False
Suppose -10944 = 9*h - 17*h. Let v = h + -211. Is v composite?
True
Suppose 0 = -2*p + 1 + 5. Suppose -a = -p*a. Suppose a*o - o + 906 = 5*l, 3*l = 3*o + 540. Is l prime?
True
Let y(v) be the third derivative of 7/30*v**5 + 0 + 7/6*v**3 + 0*v + 7*v**2 + 5/12*v**4. Is y(-5) a prime number?
True
Let u = -88 - -93. Is (u/(-10))/((-6)/3012) prime?
True
Suppose 5*z + 2 = 17. Suppose 249 + 186 = z*g. Is g prime?
False
Let f(v) = 73*v**2 - 7*v - 45. Is f(-4) prime?
True
Suppose 4*u = -2*t + 10, 3*t = 4*t - 5*u + 30. Let c(j) = 14*j**2 + 8*j + 7. Is c(t) a composite number?
False
Let t be -801*((-1)/7 - 12/63). Let m = t - 16. Is m composite?
False
Is (2 + 0 - 8) + 9299 prime?
True
Suppose -2*z + 7*z + 2*g = 15, 5*g = -5*z + 15. Suppose 5*x = -4*u + 3610, 0 = -x + u - z*u + 728. Is x a prime number?
False
Let c(o) = -310*o - 12. Let m be c(-4). Let t = 798 - m. Let p = t - -939. Is p a composite number?
False
Let q be 9 - 9/(-3 - -6). Let c(r) = -1 - 3*r + r + 0 + 2*r**2 + 0*r**2. Is c(q) prime?
True
Suppose 6*q + 5*p - 9832 = 0, 3*q + 3*p - 4919 = -p. Is q prime?
True
Suppose f + 4*f + 23860 = 0. Let t be (f/8)/((-3)/6). Let b = t + -435. Is b composite?
True
Suppose 2*f + d + 3*d - 164 = 0, -5*d = -f + 68. Let k(n) = -n + 16 + 116 + 157 - f. Is k(0) prime?
True
Let b(r) = -2*r - 43. Is b(-45) composite?
False
Let l(s) be the first derivative of 3*s**2 - 9*s - 6. Suppose 4*j - 48 = 6*n - 2*n, 0 = 2*j - n - 19. Is l(j) prime?
False
Suppose 838 = 3*p + 226. Let j = -17 + p. Is j prime?
False
Let n(c) = 167*c**3 + 5*c**2 + 1. Is n(5) prime?
True
Let l(a) be the first derivative of 43*a**3/3 - 13*a**2/2 - a - 1. Is l(9) prime?
False
Suppose -3*b + 3*z + 85 = -2, 5*b + 4*z - 136 = 0. Let k be (-514)/(-14) - (-8)/b. Let c = k - -16. Is c a composite number?
False
Let f(b) = -447*b - 3. Let q(z) = -671*z - 4. Let k(p) = -8*f(p) + 5*q(p). Let t be k(2). Suppose -y + t = y. Is y a composite number?
False
Let k(r) = -r**2. Let l(v) = 4*v - 15. Let c(n) = -3*k(n) - l(n). Let w = -129 + 121. Is c(w) a composite number?
False
Let t be (7/(-3))/(11/33). Is 15/105 + (-3100)/t prime?
True
Suppose 3*g - 5*k = -0*k + 569790, -5*g = -k - 949672. Is g prime?
False
Let m = 3280 + 1614. Is m a composite number?
True
Let t(h) = h**3 - h**2 - h + 1. Let c(l) = 28 - 12 + 2*l**3 - 14 + 9*l + 7*l**2. Let o(r) = c(r) - 3*t(r). Is o(8) prime?
True
Let d be (1*-8)/((-4)/(-18)). Is 6/36 - (-8763)/d*-2 composite?
False
Suppose -2*t - 12 = -8*t. Suppose -t*g + 1738 = -7288. Is g composite?
False
Let j(w) = 3*w**2 - 4*w + 4. Let p be j(1). Suppose -2*n = -b + 532 + 1821, p*b = 4*n + 7063. Is b composite?
False
Let y(z) = -z**2 + 11*z - 16. Let j be y(9). Suppose