s h a prime number?
False
Suppose -2*l + 40 = 5*x, 5*x + 2 + 28 = 5*l. Let w(g) = 2*g**3 - 15*g**2 + g + 11. Is w(l) prime?
True
Let n(u) = -298 - 12*u + 2*u**3 + 299 + 0*u**2 + u**2. Is n(8) composite?
True
Suppose -2*h + 19 + 19 = 0. Let a = -37 - -25. Is (h/(-4))/(3/a) composite?
False
Let z(x) = -401*x**2 - 2*x + 1. Let p be z(1). Let u = 817 + p. Suppose 3*g + u = 8*g. Is g prime?
True
Let y(o) be the first derivative of 158*o**2 + o - 14. Is y(2) a composite number?
True
Let g be (26 - 6)/((-2)/3). Let k = 109 - g. Is k a prime number?
True
Let j(y) = 3*y**2 - 6*y + 6. Let n be j(8). Suppose -3*g + 378 = -n. Suppose 3*f - 55 = g. Is f composite?
True
Let m(o) = -o**3 + 5*o**2 + 4*o + 4. Let w be m(6). Let f be (-4)/10*(-887 + w). Let p = f - -277. Is p a prime number?
False
Let s = 1538 + -489. Is s a prime number?
True
Suppose -101240 = -5*w - 5*g, -29960 = -3*w + 3*g + 30790. Is w composite?
False
Let c be (-16)/(-12)*(-9)/6. Let y be 10/((-3)/(-2) + c). Is ((-90)/y)/((-6)/(-8)) composite?
True
Let w(z) = z + 10. Let t be w(8). Let b(o) = 57*o + t*o - 29 + 25. Is b(3) a composite number?
True
Suppose -116*l = -122*l + 19182. Is l composite?
True
Let o(u) = 122*u**2 + 57*u + 11. Is o(-10) composite?
True
Suppose -6 = -2*v + 5*v, -5*x = 2*v - 16. Suppose 21 = 3*u - x*z, -6 - 1 = -u + 2*z. Is u a prime number?
True
Let y = -35394 - -60613. Is y prime?
True
Suppose -2*g - 6735 + 25223 = 0. Let n = -6539 + g. Is n a prime number?
False
Suppose 5*x - 6*a + 2*a + 43266 = 0, 5*x = -3*a - 43273. Is 65/26*x/(-5) a prime number?
True
Let o = -1 - -1. Let c(z) = 13*z**3 - z**2 + 1. Let r be c(2). Suppose o = -j + 26 + r. Is j prime?
True
Let o(b) = -10*b + 20. Let q(l) = -2*l + 4. Let u(k) = 3*o(k) - 16*q(k). Let g be u(3). Suppose -g*m + 3*m = 23. Is m composite?
False
Let g = -1056 + 3869. Is g composite?
True
Let h(g) = -g**2 - g + 9. Let b be h(0). Let c(o) = 36*o - 7. Let t be c(b). Let x = 478 - t. Is x composite?
True
Let w(u) = 2*u**2 - u + 0*u**2 - 2*u - 3. Let i be w(-1). Suppose z = -3*d + 602, 4*z - z - i*d = 1751. Is z a composite number?
False
Suppose 4*a = 6*a + 3*y - 88, y - 4 = 0. Let w = a + 141. Is w prime?
True
Let c be 2 + 14/6 + 4/6. Suppose c*k = -3*q + 2086, 406 = 2*k + q - 429. Is k a prime number?
True
Suppose -12*v - 37*v = -696829. Is v prime?
True
Suppose 0 = -16*a + 12*a + 664. Suppose -w - 8 = -3*i + 3*w, 0 = 2*w + 4. Is 1/(i - (-2)/a) a composite number?
False
Let p(w) = 175*w**2 - w + 2. Let a be p(1). Let x = 325 + a. Is x composite?
True
Let c(w) = 85*w + 102. Let n(t) = t + 1. Let r(m) = -c(m) + 102*n(m). Is r(5) prime?
False
Let r = -6 - -8. Suppose 0 = -r*z + 7 + 1. Suppose -z*a + 794 = -2*a. Is a prime?
True
Let t(f) = 7*f**2 + 27*f - 9. Is t(-5) a composite number?
False
Let y be 2/4 - (-4)/(-16)*-2. Is (-9 - -10 - (2 + y)) + 16495 a prime number?
True
Let f(n) = -189*n**3 - 2*n + 30. Is f(-5) composite?
True
Suppose 4*x - 4*q = 9728, 9*q + 12195 = 5*x + 11*q. Is x a composite number?
False
Is ((-6)/1 - 1)/(238/(-852278)) a prime number?
False
Let l(c) = 4*c**3 + 6*c**2 - 5*c + 3. Let z be 2/(-1*(-5)/10). Is l(z) a composite number?
True
Suppose 1004 = 3*l - 2*j, 4*l - 8*j = -3*j + 1327. Suppose 4*b + 4*g = 2*b + l, 174 = b + g. Is b prime?
True
Is 5/((-60)/(-18))*4958/3 a composite number?
True
Let h = -68 + 72. Suppose 5*w - 6 - 9 = 0, -3*v + h*w + 8487 = 0. Is v prime?
True
Let j = 20643 + -12142. Is j a prime number?
True
Suppose 4*r - 3*n - 5 = 2*r, -3*r - 5*n = -17. Suppose r*d - 7*d - 22 = 5*u, 0 = 5*d - 2*u - 15. Is d/(-4) + (-7124)/(-16) prime?
False
Suppose 5*j = 356 + 119. Is j a prime number?
False
Let t(c) = 2*c - c**2 + 48*c**2 - 4*c + 2. Let g = -7 + 10. Is t(g) prime?
True
Let k(c) = -c + 1. Let a be k(-5). Let o be (-2)/(-7) - a/21. Suppose o = u + u - 254. Is u a composite number?
False
Let d(r) = -3*r - 20. Let a be d(-7). Is (-10234)/(-35) - (-3)/5*a prime?
True
Let m(h) = h**3 - h + 1. Let f be m(2). Let b(t) = 82*t - 21. Is b(f) prime?
False
Let p = 2311 - 1282. Suppose 2*h - 3*o - 2*o = p, 4*o = h - 507. Is h composite?
True
Let r be -4 - (-16 - -1)*-1. Let u = -9 - r. Is u a prime number?
False
Is 3/5 - (5 - (-228663)/(-45)) composite?
False
Let f = -3832 - -5679. Is f composite?
False
Let l = 237 + -394. Let c = 448 + l. Is c composite?
True
Let f(n) = 156*n + 35. Let b be f(-6). Suppose -4*t + 0*u - 3*u = 1952, -1464 = 3*t - u. Let j = t - b. Is j a prime number?
False
Let c = 1053 - 572. Is c composite?
True
Let p(v) = v**3 - v**2 - 5*v - 2. Let m(t) = 3*t - 12. Let s be m(5). Suppose -4 = -c - n, -2*n + 0*n + 15 = s*c. Is p(c) a prime number?
True
Let m be 594/(-8) - (-6)/24. Let s = 113 - m. Is s a composite number?
True
Suppose -20*j - 490 = -25*j. Let h = 1459 - j. Is h composite?
False
Let j(i) = -i + 10. Let x be j(10). Suppose x = 5*c - 5*g + 2020, -520 = 4*c - g + 1099. Let t = c - -800. Is t a composite number?
True
Suppose 2*u - 3*o + 4 = 5, 5*o = 2*u - 7. Let k be 4 - (2 + 406)/u. Is k/(-4)*20/(-10) composite?
False
Let l(q) = -366*q + 1. Let f(m) = -m + 1. Let x be f(4). Is l(x) a composite number?
True
Suppose -2*d + t + 6 = 3, 0 = 4*d + 2*t + 6. Suppose 350 = -0*v - v - 3*u, d = 4*u + 8. Is 1 + -1 + (11 - v) composite?
True
Suppose -6*x = -5*x. Suppose -q - h = -158, -2*q + 4*h + 122 + 188 = x. Is q a composite number?
False
Let p be 4081 - (-3 + -1 - 0). Let t = -1828 + p. Is t prime?
False
Let y(b) = b**3 + 2*b**2 + 4*b + 6. Let m be y(0). Suppose -m*x + 1477 = x. Is x prime?
True
Let v = 22 + -20. Suppose -v*s - 12 = 4*n - 5*n, -8 = -4*n - 2*s. Suppose 698 = -c + 3*c + n*f, 4 = f. Is c a prime number?
False
Let p(g) = 10*g**2 + 28*g + 11. Let t be p(-2). Let f(u) = -2*u**2 - u + 1. Let l be f(-2). Is 526 + (l + 3 - t) a prime number?
False
Let a be (3 - 85/15)*-3. Suppose a = -0*k + k. Is 5/(-20) + 522/k composite?
True
Suppose o + 2 = 2*b + 2*b, 5*o + 10 = -2*b. Is (-6 - -6) + 39 + o a prime number?
True
Let o(r) = 38*r**2 + 2. Let v(t) = -76*t**2 + t - 3. Let l(u) = -5*o(u) - 3*v(u). Let c be l(-3). Let k = 493 - c. Is k a composite number?
True
Suppose 121*t - 12898 = 119*t. Is t prime?
True
Is ((-56)/(-42))/(4/21711) a prime number?
True
Suppose 46*k - 22651 = 9135. Is k a composite number?
False
Let j = -5 + 2. Let o be (-1)/j - (-4805)/(-15). Let a = 531 + o. Is a composite?
False
Suppose 2*c + 18 = -0*c. Let f(y) = -5042*y + y**2 - 4 + 5042*y. Is f(c) a prime number?
False
Let r(m) = 21*m**3 - 5 - 5*m + m - 20*m**3 + 7*m**2. Is r(-6) a prime number?
False
Let h be 10/(-16)*2*12. Let t = h - -9. Let x(z) = -z**3 - 2*z - 5. Is x(t) prime?
True
Is 4/162*9 + (-2536145)/(-45) a composite number?
False
Suppose 4*j + 7*d - 11*d - 14344 = 0, 3*d + 14347 = 4*j. Is j a prime number?
False
Suppose -l + 1678 = -4*p - 1145, 5622 = 2*l - 2*p. Is l composite?
True
Let w(s) = 31*s**3 - 10*s**2 + 11*s + 9. Is w(7) prime?
False
Let r be (18/4)/((-6)/8). Let v(q) be the third derivative of 7*q**5/20 - q**4/6 + 13*q**3/6 + 2*q**2. Is v(r) prime?
False
Suppose d + 2 = 0, -5*m + 3*m - 3*d = 0. Let w be m/(156/76 - 2). Suppose 17 = 2*u - w. Is u composite?
False
Let a(v) = -v**3 + v**2 + 2*v - 1. Let r be a(-2). Let y(h) = 188*h - 1. Is y(r) a composite number?
True
Let d = 14 - 14. Let u(t) = 8*t**2 + 5 + 32*t**2 - 2*t + d*t**2. Is u(-3) a composite number?
True
Suppose 8*t - 2*t - 12 = 0. Suppose -20 = 3*j + t*j, -4991 = -3*i + 5*j. Is i a prime number?
True
Let r be (-5)/10 + 3/(-2). Let c = 6 + r. Suppose c*v - 38 = 198. Is v prime?
True
Is 923882/170 + (-8)/(-20) composite?
True
Let u(t) = 4*t**2 - 57*t + 99. Is u(38) a prime number?
True
Let o(p) = p**2 + 1. Let v(r) = r**3 + 20*r**2 + 7*r - 5. Let j(g) = 6*o(g) - v(g). Is j(-14) prime?
True
Let r(u) = -175*u + 11. Is r(-6) a prime number?
True
Suppose 16*t - 18*t - a + 6360 = 0, -4*a = 5*t - 15897. Is t composite?
False
Let f(a) = -16*a**2 - 2*a + 3. Let x(u) = -80*u**2 - 10*u + 14. Let j(w) = 11*f(w) - 2*x(w). Let t be j(3). Is (-8 - -6)*t/2 composite?
True
Suppose p + 13 + 5 = -3*i, -3*i = 5*p + 42. Let s(l) = -l**3 - 8*l**2 - 8*l + 4. Let c be s(p). Is 30/c - 113/(-2) composite?
True
Let f(m) = -m + 3. Let i be f(3). Is 162 + 2 + i + -1 composite?
False
Is 4 - 27772/8*-2 a composite number?
False
Let c = -39 - -35. 