 Suppose 407 + b = 5*d. Is d a prime number?
True
Let c be 6 + -1 + 0 - 0. Let m = -1578 + 1563. Is c/(m/3)*-613 a composite number?
False
Let b(y) = y**2 - 39*y + 159. Is b(46) a composite number?
True
Let u(p) = 54*p + 4. Let k(b) = b**3 - 2*b - 1. Let v be k(2). Let m be u(v). Suppose m + 340 = 2*q. Is q prime?
False
Suppose 93175 = 5*a - 2*v, 3*a - v - 44074 - 11832 = 0. Is a composite?
False
Let s be -13 + 7 + (1 - -1). Let g(h) = -h**3 + 3*h**2 + h + 3. Is g(s) prime?
False
Suppose -379*t + 378*t = -209. Is t prime?
False
Suppose 0 = -4*a + 54 + 10. Suppose -864 = -a*s + 1232. Is s a composite number?
False
Let w(c) = -22*c**3 + 12*c**2 - 10*c - 23. Is w(-6) a composite number?
True
Let q(x) = 13*x + 5. Let f be q(-2). Let j = f - -25. Suppose j*b - 41 = -5*y + 358, -5*y + 3*b + 427 = 0. Is y a composite number?
False
Let w = 9 + -5. Suppose 372 = s - j, w*s = 6*s + 4*j - 732. Let i = s - -73. Is i a composite number?
False
Suppose 114*o + 7983 = 117*o. Is o a prime number?
False
Let u = -763 - -49778. Is u prime?
False
Is 103*4/(-8)*-2 + 3 prime?
False
Let j = 32 - 24. Let w(k) = 39*k + 10. Let n be w(j). Suppose 4*g - 8 = 0, g + n = 4*y - 4*g. Is y composite?
False
Let d be (1 - 1) + 16/(-4) + 2144. Suppose -5*i = 4*k - 2857, 0 = -3*k + 2*i - 3*i + d. Is k prime?
False
Let y = -2 - -11. Suppose 0 = -5*m + y + 11. Suppose -609 = -m*k + 263. Is k a prime number?
False
Let i be -4 + 0 + 0 + 4. Suppose -3*c = d - 5, -5*d - 2*c + 7 + 31 = i. Suppose 0 = 9*s - d*s - 887. Is s a prime number?
True
Let w = -31 + 36. Suppose w*p - 331 - 2524 = 0. Is p prime?
True
Let w(i) = 15*i - 1. Let l be w(-1). Let z be (-2904)/l - 1/2. Let t = z + -50. Is t prime?
True
Let r(l) = -61*l**3 - 10*l**2 + 4*l - 11. Is r(-6) a composite number?
False
Suppose -3*x + 2692 = -5663. Suppose 37*o = 32*o + x. Is o prime?
True
Let r(o) be the first derivative of -3*o**2 - 11*o - 2. Let q(h) = -6*h - 10. Let t(p) = -4*q(p) + 3*r(p). Is t(6) composite?
False
Suppose 0 = 4*b - 280 - 304. Let t = b + -3. Suppose 2*j - t = 139. Is j a prime number?
False
Let y(k) = -4*k + 3. Let s = -50 - -20. Let g be 335/s + 1/6. Is y(g) prime?
True
Let g = -40008 + 61097. Is g a prime number?
True
Let z(q) = -15*q**3 + 27*q**2 + 16*q + 13. Is z(-10) prime?
False
Let s(g) = 30*g**2 + 59*g + 296. Is s(33) a composite number?
False
Suppose -2*m + 4417 = 3*t, -6*m - 2204 = -7*m + 3*t. Is m a composite number?
False
Let v be (-26)/(-5) - 8/40. Suppose 27 = v*f + 7. Suppose 2*j + 2*j - f*n - 2356 = 0, -2*j = -4*n - 1182. Is j prime?
True
Suppose -12388 = -3*k + 15*c - 17*c, 0 = -k - 4*c + 4146. Is k composite?
True
Let a be ((-63)/18)/(1/(-6)). Let u = a + -19. Is (u - -666)/4 + -4 prime?
True
Let f(a) = -67*a - 5. Let x be f(-9). Let q = x - 857. Let b = -138 - q. Is b a prime number?
False
Let g(z) = -4*z - 12. Let t be g(-10). Suppose -m + 0*m = 13. Let j = t + m. Is j composite?
True
Let s = 129613 + -60858. Is s a prime number?
False
Let y(w) = 46*w**3 + 3*w**2 - 5*w + 7. Let t(p) = p + 14. Let d be t(-12). Is y(d) a composite number?
True
Suppose 32 = 2*h + 2*h - 3*u, -h + 3*u = -17. Suppose -h*p = -7*p + 3022. Is p a composite number?
False
Suppose 3 = -2*a + 1. Let l = a + 8. Let p(s) = s**3 - 7*s**2 + 8*s + 9. Is p(l) prime?
False
Let a(r) be the third derivative of -r**5/12 - r**4/4 + 19*r**3/6 - 9*r**2. Let w be a(8). Is (20 + -4)/4 - w composite?
False
Let p = -938 - -4212. Suppose 0*f - p = -f. Is 12/66 + f/22 a composite number?
False
Let x(f) = -6*f - 2. Let o be x(2). Let n = -14 - o. Suppose 4*g + n*g + 2*p = 1782, 2*p + 876 = 2*g. Is g composite?
False
Let q = 36 - 30. Let t(x) = x**3 - 6*x**2 + 3*x - 15. Let s be t(q). Suppose -s*o = -4*o + 47. Is o a composite number?
False
Let c(f) = 622*f + 395. Is c(14) composite?
False
Let f(c) = -253*c**3 + 2*c**2 + c - 1. Let m be (3/(-2))/1 + (-8)/(-16). Is f(m) a prime number?
False
Let x be ((-135)/36)/((-2)/(-8)). Let q(z) = -7*z - 36. Is q(x) a prime number?
False
Is ((-335778)/(-15))/((-2)/(-65)*13) composite?
True
Let w be (-3)/(-4) - (-87)/12. Suppose -w*y = -9*y + 579. Is y composite?
True
Is 467/(1/4*(-8)/(-26)) a prime number?
False
Let h(g) = g**2 + 6*g + 7. Let l be h(-3). Let k(w) = -707*w**2 - w. Let c be k(l). Is c/(-12)*8/6 composite?
True
Suppose 2*t + 5*c - 20 = 0, -t = 5*c - 3*c - 8. Is -3*(1756/(-12) - t) a composite number?
False
Let p be (-2074)/18 + 20/90. Let r = p + 224. Is r a prime number?
True
Let h(t) = -t**3 + t - 1. Let n be h(0). Let q be -2 + 1 - n - -2. Suppose -83 = -q*i + 111. Is i a prime number?
True
Suppose -j + 101 = -4*w, 6*j - 7*j = 3*w + 74. Is (-2 - 55/w) + 1054/5 prime?
True
Let a = 6624 - 3607. Is a prime?
False
Let f = 16 - 18. Is f - (-757 - (-2 + -2)) a prime number?
True
Let w(y) = 3*y**2 - 3*y + 3. Let s be (12/(-14))/((-5)/70). Let z = s + -9. Is w(z) a composite number?
True
Let z be -11 + -4 - 4 - -1. Let b = z + 18. Suppose -4*q + 3*f = -2*f - 849, -4*q - 5*f + 839 = b. Is q a prime number?
True
Let m = -41 - -116. Suppose -6*j + 39 = -m. Is j a prime number?
True
Suppose -2*d + 663 = -199. Suppose -2*u + d = -879. Is u a composite number?
True
Let p(s) = 48*s - 8. Let l = 14 - 19. Let n be p(l). Let u = n - -359. Is u composite?
True
Suppose 6*l + 30 = -0*l. Let u(b) = 13*b**2 - 3*b - 11. Let k be u(l). Let s = -180 + k. Is s prime?
True
Let j(n) = -2*n**3 + 12*n**2. Let k be j(6). Suppose k = -0*w + 4*w - 2284. Is w prime?
True
Let k(r) = -8*r**2 - 4*r + 2. Let u(w) = -15*w**2 - 7*w + 5. Let s be 8 + -2 + 1/(-1). Let g(d) = s*k(d) - 3*u(d). Is g(-8) composite?
False
Let h = 3 + -2. Suppose -h = -2*l + 3. Suppose -3*s + g + l*g + 21 = 0, 3*s - 21 = -g. Is s prime?
True
Let p = 27 + -39. Let z be 124/6 + p/(-9). Suppose -5*h + z + 153 = 0. Is h a prime number?
False
Let w(t) = t**2 - 11*t - 43. Is w(-45) a prime number?
True
Suppose 4*j = 3*x + 9, 4*j + 4*x - 14 = 2*x. Suppose -a = -5*r + 3, -j*r + 2 = 3*a - 7. Suppose -2*t = a*k - 8, -3*k - 1 = -4*t + 1. Is k a prime number?
True
Let t(w) = -1 + 11*w**3 + 6*w - 4*w**2 - 2*w**2 - 10*w**3. Let y be t(5). Is (194/y)/((-5)/(-10)) prime?
True
Let u(h) = -h + 2. Let z be u(2). Suppose z = 2*q - 25 - 45. Is q composite?
True
Let m(a) be the third derivative of 23*a**4/12 + a**3/2 + 4*a**2. Let i be m(6). Let b = 482 - i. Is b prime?
False
Let y(q) = 2*q**2 + 4*q - 4. Let s be 3/2*(-6 + 100/15). Is y(s) a composite number?
False
Suppose 0 = -2*b + 2*s + 2328, -2*b + 9*s + 2325 = 4*s. Is b a composite number?
True
Is 19*(-543)/(-4) - 1/4 prime?
True
Let v(k) = 10*k + 1. Let w be v(2). Suppose 5*y - m = 1860, 0 = 5*m - 4 - w. Is y composite?
False
Let b(o) = 5*o**3 + 13*o**2 + 14*o + 21. Let w(j) = 2*j**3 + 4*j**2 + 5*j + 7. Let y(q) = 3*b(q) - 8*w(q). Suppose -5*g - 8 - 6 = 2*r, 0 = 4*g. Is y(r) prime?
False
Let a(b) = -b**3 - 3*b**2 + 3*b - 7. Suppose 3*m = 3*v + 42, 4 = -m + 2*v + 18. Let g = m - 20. Is a(g) a composite number?
False
Let v(s) = 38*s**3 + 2*s**2 - 5*s - 2. Suppose -3*u - 6 = -5*u. Is v(u) prime?
False
Let b(t) = 310*t + 9. Is b(11) a composite number?
True
Suppose 3*l - 269 = -3*f + 46, 4*l - 5*f - 384 = 0. Suppose 10*i = 2*i - 288. Let p = l + i. Is p composite?
True
Let b = -82 - -160. Suppose -6*g + b = -4*g. Is g a prime number?
False
Is 2/10 - (-105040)/50 a prime number?
False
Let h(k) = 10*k**2 - 4*k + 15. Let i = 5 - -3. Is h(i) composite?
True
Let k(q) be the second derivative of q**5/20 + 13*q**4/6 + 5*q**3 + 5*q**2 + 22*q. Is k(-23) composite?
False
Let j = 1967 - 456. Suppose 3*o - j = i, 0 = 3*o - 8*i + 9*i - 1501. Is o a prime number?
False
Let o = 10 - 9. Let q(w) = 225*w + 2 - 1 - 3. Is q(o) composite?
False
Let k(g) = g**3 + g**2 + 1. Let t(p) = 12*p**3 - 4*p**2 + 2*p - 5. Let d(h) = 3*k(h) - t(h). Let z be d(5). Let i = 1625 + z. Is i composite?
False
Let o = -1771 - -4710. Is o composite?
False
Let t be (-6 + -2)*8/(-32). Suppose 2*i - 2712 = -5*j, -5*j - 2732 = -4*i + t*i. Is i a prime number?
True
Suppose -4*p - 2*v = -31 - 3, -4*p + v + 31 = 0. Let d(m) = 135*m - 13. Is d(p) a prime number?
False
Let h = -1791 + 3173. Suppose 0 = -4*b - 4*z + 1400, -b + h = 3*b - 2*z. Is b prime?
True
Suppose 16*n = 17*n - 15. Suppose p + n = 4*s, 4*p + 9 = 2*p + s. Let x(c) = 13*c**2 - c - 1. Is x(p) a compo