d be r(0). Is f(d) a composite number?
False
Suppose 5351 = 18*w - 102307. Is w composite?
False
Suppose 0 = -11*b + 5776 + 5598. Suppose -9*k + 307 = -b. Is k composite?
False
Let v(w) = 2*w**2 - 5*w**2 + 3*w - 4*w**3 + 2*w**3. Let x be v(2). Is (-8 + 7)/(2/x) prime?
True
Let l be ((-2690)/4)/(14/(-56)). Suppose -l = -12*c + 10*c. Is c composite?
True
Suppose -3*z - 94 = 4*h + 74, 4*h + 4*z + 168 = 0. Is (-29)/((-3)/h*-2) a composite number?
True
Let b = 15 - 1. Let u(i) = i**3 - 10*i**2 - 10*i + 9. Is u(b) a composite number?
False
Let c(i) be the second derivative of 13*i**4/12 + 19*i**3/6 + 11*i**2/2 + 22*i. Is c(-10) a composite number?
True
Let l(j) = -18*j**3 - 6*j**2 - 2*j + 3. Let w be -8 - 8/(1 - 3). Is l(w) prime?
False
Let r be (9/3)/((-6)/(-168)). Let y(v) = 176 + 93 - v + r. Is y(0) prime?
True
Suppose 0 = 4*l - 55 + 3. Let s(n) = 11*n**3 - 11*n**2 - 9*n + 19. Let x(u) = 5*u**3 - 5*u**2 - 4*u + 9. Let o(k) = l*x(k) - 6*s(k). Is o(-2) prime?
True
Let c = 596 - -2069. Suppose -o + c = 4*o. Is o composite?
True
Suppose -m + 4*m = 0. Suppose 2*d + 0*d - 24 = m. Is (-285)/(-9) + (-8)/d composite?
False
Suppose 13208 = 5*t + 3*a, 7928 = 3*t + 2*a + 3*a. Suppose 2312 = 3*r - t. Is r a prime number?
False
Is 1509 + 0 + 16/(-8) composite?
True
Let d be (-88)/11 + (-1 - -1). Let u be 3/(12/d) + -10. Is ((-77)/3)/(4/u) prime?
False
Let r(s) = -660*s**3 - 3*s**2 - 4*s - 7. Is r(-2) a prime number?
False
Let i be (1 - -29)/(8/36). Suppose 29 - 13 = 4*x. Suppose -x*g + i = j, 49 = -3*g - 3*j + 139. Is g composite?
True
Suppose -11*i = -t - 6*i + 13843, -3*t = 4*i - 41453. Is t composite?
True
Suppose -2*t - 2 = -3*h + 2, 0 = -4*t + 2*h - 8. Is (2540/6)/(t/(-3)) composite?
True
Suppose -10 - 30 = -8*o. Suppose 3*m = -o*g + 1152, -3*m + 386 = -2*m + g. Is m a composite number?
False
Let h be (3/12)/(1/(-4)). Is -233*h/(2 - 1) a prime number?
True
Let y = 24860 + -11109. Is y a composite number?
False
Suppose -3*k = 3*w - 18, -k + 2 = -w - 4. Suppose 0 = -k*x + x + 10. Suppose 327 = 5*u - x*u. Is u a composite number?
False
Let u(z) be the first derivative of -z**3/3 + z**2/2 + z - 2. Let b be u(-2). Is b/20 + (-1258)/(-8) prime?
True
Let r = 20 + -17. Suppose x + 3076 = 4*k - r*x, -4*x = 2*k - 1538. Is k a composite number?
False
Suppose 2*i - 1210 = 52. Is i a composite number?
False
Let l = 3 + -16. Let m be (-2)/8 - l/4. Is (-1)/(-3) - (-146)/m a prime number?
False
Let q(l) = -1. Let i(o) = -205*o + 22. Let s(n) = -i(n) - 6*q(n). Is s(5) a prime number?
True
Is ((-129868)/12)/(-1 + 2)*-3 prime?
True
Suppose a - 2*o = -6, a = 3*o - 5*o + 10. Suppose -a*t - 2*x = -1538 - 196, t - 3*x - 871 = 0. Suppose n - 202 = 3*s, -5*n + t = -s - 156. Is n a prime number?
False
Suppose 2*h = -4*m - 0*h + 2, 0 = -m - 5*h - 13. Let g(r) = 216*r + 7. Is g(m) composite?
False
Suppose -7*h = -7 - 14. Suppose h*d - 256 = 623. Is d composite?
False
Suppose 5 = -c + 5*q, 7*c - 22 = 3*c - q. Suppose -3*z - 5*k = -4*z + 370, c*z = -k + 1772. Is z a composite number?
True
Let w(n) = 56*n**3 + 6*n**2 - n - 10. Is w(5) a composite number?
True
Let l = 25962 - -13657. Is l a prime number?
True
Let i(k) = 59*k + 3. Let u be i(4). Is 1*12/(-3) + u a prime number?
False
Let l = 8599 - 3005. Is l a prime number?
False
Let h(v) be the second derivative of -v**5/10 - 11*v**4/12 - v**3/3 - 19*v**2/2 + 4*v. Is h(-8) prime?
True
Suppose 71*q = 66*q + 48455. Is q a prime number?
False
Let u = 0 + -6. Let z(r) = -r**3 - 5*r**2 + 5*r - 7. Let y be z(u). Let a(s) = 128*s**2 + 2*s + 1. Is a(y) prime?
True
Suppose 20 = 11*k - 68. Is 19612/14 + k/56 composite?
True
Let x(k) = 208*k**2 + k + 1. Suppose -2 + 6 = -2*g. Is x(g) a composite number?
True
Suppose -317 - 65 = -2*y. Is y composite?
False
Suppose x - 63 = 353. Suppose 478 + x = 2*j. Is j composite?
True
Suppose -2*j - 30 = q, -j - 3*q - 4 = 1. Let t = j - -6. Is (-146 + t)/(-1 - 0) composite?
False
Let s(v) = v - 1. Let j be s(6). Suppose -j*w + 0*x = -x - 1405, x = -4*w + 1115. Suppose 0 = -3*h - h + 2*a + 222, -5*h + 3*a + w = 0. Is h composite?
False
Suppose 0 = -2*u + 4. Suppose -4*f = 4*g - 0*f - 1916, -u*g + 3*f = -933. Is (3*g/(-9))/(-1) prime?
False
Let n(s) = 17*s + 1. Let l(t) = t**3 + 2*t**2. Let h be l(-3). Let o be n(h). Let u = 35 - o. Is u composite?
True
Suppose 3*b = 6*b + 4*q + 16, q - 53 = 4*b. Let i(z) = 3*z**2 + 10*z + 7. Is i(b) prime?
False
Let k(y) = -21*y + 5. Let f be k(10). Let o = -92 + f. Let l = -200 - o. Is l a composite number?
False
Let w = -28839 + 48500. Is w a prime number?
True
Let f(b) = 47*b + 103. Is f(8) composite?
False
Let t(h) = 1368*h**3 + 6*h**2 - 5*h. Is t(1) prime?
False
Let u = -24 - -27. Suppose u*y - 4913 = 2*n, 5*n + 6553 = -4*y + 8*y. Is y composite?
False
Let n be (1258/(-4))/(11/(-22)). Suppose -2*t + 98 = 5*b - n, -1478 = -4*t - 2*b. Is t composite?
True
Is (69681/(-18))/((-8)/48) prime?
True
Suppose 2*p = -u + 375, 0 = -4*p - 6*u + u + 765. Is p - (-2 - -4)*1 prime?
False
Let o = 136 - -9. Suppose -4*s + d - 2*d + 600 = 0, -o = -s + d. Is s composite?
False
Is -3 + (-303876)/(-15) + 4/(-10) a prime number?
False
Let l = -52 + 55. Suppose 5*v - 17288 = -l*v. Is v composite?
False
Let n = 3619 + 1426. Is n a prime number?
False
Let a = 19954 + -311. Is a a composite number?
True
Let y(x) = -2 + 2*x**2 - 20*x + 2*x + 4 + 13*x**2 + 6*x**3. Let m(z) = -5*z**3 - 14*z**2 + 18*z - 2. Let o(h) = 5*m(h) + 4*y(h). Is o(-15) prime?
True
Suppose -24*n = 12*n - 72180. Is n a composite number?
True
Let d(b) = -2*b - 18. Let k = -29 - -38. Let f be d(k). Is 939/5 + f/45 a prime number?
False
Suppose -3*v = -b + 19, -3*b + 0*v + 3*v + 69 = 0. Let k = 37 - b. Is (-174)/k*1*-10 a composite number?
True
Suppose 4*l = 9*l - 185. Is l a prime number?
True
Let h be (-4)/((-4)/267) - 1. Let k = h - 75. Is k a composite number?
False
Let k(l) = l**2 - 7*l. Let v = -5 + 13. Let m be k(v). Is (m/(-12))/((-4)/2370) composite?
True
Suppose 2*z + 2*b = 9730, -b + 3 = -1. Is z a composite number?
False
Let n = -137 + 142. Suppose 2128 + 635 = 3*x. Suppose 3*b = -0*u - 4*u + x, -n*u = 3*b - 921. Is b a composite number?
False
Let r = -6 + 6. Suppose -5*j + j = r. Suppose -5*a + 0*a + 30 = j. Is a prime?
False
Suppose 0 = 2*n - 0*n + 20. Let c be 3/1 - (7 + n). Suppose z = c*z - 595. Is z a composite number?
True
Let x = -60715 + 176933. Is x a composite number?
True
Let v(m) be the second derivative of 0 + 11*m - 10*m**2 + 115/6*m**3. Is v(7) a prime number?
False
Let k(p) = p**3 - 10*p**2 + 3*p - 5. Let x(r) = -r + 12. Let j be x(0). Is k(j) a prime number?
False
Let r(j) = -j**3 - 4*j**2 - 6*j - 8. Let w be r(-4). Suppose w*u - 18 = 19*u. Is (4 + u)/((-4)/662) a composite number?
False
Let t = -23 - -110. Suppose -3*s + 8*s - 25 = 0. Suppose -s*r + t = -178. Is r composite?
False
Suppose 5*h + 0*h + 4*u - 1212 = 0, 0 = 3*h - 5*u - 742. Suppose -5*z + 436 = -h. Is 18/12*z/6 a prime number?
False
Let p(o) = 2*o**3 + 317. Let k be (-5)/(-10)*1 + (-1)/2. Is p(k) prime?
True
Suppose -a - 3 + 2 = 0. Let h(o) = o**2. Let l(u) = -5*u**2 + 5*u + 7. Let r(z) = a*h(z) - l(z). Is r(-5) a prime number?
False
Let a = 62103 - 37492. Is a prime?
True
Let l(k) = k**3 - 4*k + 3. Let i be l(2). Suppose 5*z + i - 28 = 0. Suppose z*j - 156 = 109. Is j prime?
True
Let u(w) = w. Let v(p) = -107*p - 11. Let r(m) = -6*u(m) + v(m). Is r(-8) a prime number?
False
Let a = 75 + 22. Is a a composite number?
False
Let m(a) = a**3 - a**2 + 2*a + 178. Is m(0) prime?
False
Suppose -34024 = -13*m + 17235. Is m a prime number?
True
Suppose 0 = 2*s + 3*x + 9 + 6, -4*s + x = 9. Is 143 + s - 2/(2*1) a prime number?
True
Let g(u) = 16*u**2 + 4*u + 24. Let w be g(-6). Suppose 0 = 5*s - w + 191. Is s a composite number?
True
Let t(g) = -6*g**3 + 16*g**2 + 23*g - 9. Let i be t(-10). Suppose -5*w = -1 - 9, i = 5*o + 3*w. Is o composite?
False
Let r = -1572 - -1909. Is r prime?
True
Let q(t) = 1446*t**2 - 17*t - 28. Is q(5) composite?
False
Let t be 1 + 1 + (-7 - -4). Let j(z) = 23*z**3 - 2*z**2 - 2*z - 1. Let i be j(t). Is 3/(-2)*12752/i a composite number?
False
Suppose 0*q - 11 = s + 3*q, 16 = -4*s - 5*q. Let g be (9 - 6) + s*-1. Suppose -g*v - 37 + 203 = 0. Is v composite?
False
Let s(j) = -j**3 + 6*j**2 + 14*j + 22. Is s(-9) prime?
False