c - 278 + 1141, 2110 = 5*w - 3*c. Is w composite?
False
Let g(j) = 3*j**2 - 8*j + 7. Let a be g(8). Suppose -4*u - a = -u. Let v = u + 66. Is v a prime number?
False
Suppose 86*t - 91*t = -3070. Is t prime?
False
Let d(x) = 5*x - 23. Let w be d(8). Suppose -w*g = -26*g + 10566. Is g composite?
True
Let l = 17 + 455. Is (-12)/(-42) + l/14 + 0 composite?
True
Let n be -3 + 3 - -21 - 0. Let g = 50 + n. Is g composite?
False
Suppose 2*s - 27*m = -25*m + 724, -4*m = s - 347. Is s prime?
True
Suppose -5*m = -9*g + 4*g - 7030, m = 5*g + 1410. Is m a composite number?
True
Suppose -8 = 3*m - 7*m. Suppose -790 = m*g - 4*g. Is g composite?
True
Let z be 1 - -1 - (6 + -535). Suppose 0*j - 3*j = -z. Is j composite?
True
Let x(z) be the first derivative of z**4/2 - 8*z**3/3 + 2*z**2 - 3*z + 3. Suppose 3*k + 5*u = 35, -7*u + 16 = -3*u. Is x(k) a composite number?
False
Is 37713/27 - 52/(-234) a composite number?
True
Let b(x) = -98*x + 5. Let l(n) = 98*n - 6. Let o(h) = 7*b(h) + 6*l(h). Suppose -8*y - 5 = -3*y. Is o(y) prime?
True
Suppose 3*b - 22 = -13. Let o(y) = 6*y**2 + 2*y - 3. Is o(b) a composite number?
True
Suppose -4*v = 5*i - 2285, -5*v - 2*i + 282 = -2587. Suppose 5*g - v = 270. Is g a prime number?
False
Suppose -3*u = -2*j + j - 6526, u - 5*j = 2152. Let t = 1398 - u. Let s = t - -1150. Is s composite?
True
Let w(b) = -2*b**2 + 14*b + 39. Let f(c) = -c**2 + 5*c + 13. Let l(a) = -11*f(a) + 4*w(a). Suppose -283*m = -274*m - 54. Is l(m) prime?
True
Suppose -2*o = 0, 132 = -4*v + 8*v - 3*o. Is v a composite number?
True
Let n = -383 - -5004. Is n a composite number?
False
Let d = -10595 + 18306. Is d a prime number?
False
Let a be (-368)/4 + 0/(-2). Let q = 26 - a. Suppose -208 - q = -2*k. Is k a prime number?
True
Let u(v) = -v**2 + 53*v - 4. Let o(n) = -13*n + 1. Let a(b) = 9*o(b) + 2*u(b). Let l be a(-10). Let t = 154 + l. Is t a prime number?
False
Let k(g) be the first derivative of g**2/2 - 5*g - 4. Let d be k(6). Is -1*(-86 + d) - 2 prime?
True
Suppose 3*s + n = -13, -27 = 5*s - 0*n + 3*n. Let w be (8/20)/(s/(-15)). Suppose -5*b = 4*o - 79, -2*o = w*b + 2*o - 22. Is b prime?
True
Suppose 2*f + 2612 = 4*f. Is f a prime number?
False
Let g(v) be the first derivative of v**3/3 - 11*v**2/2 - 3*v + 1. Is g(16) composite?
True
Suppose 0 = r + 6 + 22. Let b = r - -28. Suppose b = 2*a + 4*t - 966, -5*t = 5*a - 548 - 1857. Is a composite?
False
Let z be 11685/(-18) + 2/12. Let w = -254 - z. Is w prime?
False
Let z = -23 - -16. Let g be 1 - (0 - -3) - z. Suppose -g*p + 411 = -14. Is p composite?
True
Let y(i) be the third derivative of 18*i**4 - 19*i**3/6 + 10*i**2. Is y(3) composite?
False
Suppose -2*a = -0*a + z - 52, 0 = -3*a + z + 73. Let f be 10/a + (-1172)/5. Let h = 1021 + f. Is h composite?
False
Let p = -5 + 8. Let q be 4 - p - -21 - 4. Is ((-7314)/q)/((-2)/6) a composite number?
True
Suppose 4*v = 2*s + 18, 4*v + 0*s + 2*s = -2. Let l(b) = 33*b + 1. Is l(v) prime?
True
Let q(x) be the third derivative of -x**6/120 + x**5/12 - x**4/12 - x**3/2 - 6*x**2. Let l be q(4). Is (l - 1 - 6) + 69 a prime number?
True
Suppose -17*f = -0*f + 6307. Let h = 762 + f. Is h a prime number?
False
Let z = 14 + -11. Suppose 0 = -z*x - 2*x + 3595. Is x a composite number?
False
Let f(j) = -1139*j - 84. Is f(-5) a prime number?
False
Suppose -g = z + z + 5531, 3*g + 4*z + 16595 = 0. Let h = g + 9642. Is h composite?
True
Let m be 18/(-4)*12/(-3). Is 4/18 + 3578/m a prime number?
True
Suppose -34*a = -24*a - 78630. Is a a prime number?
False
Is (-27365)/(-4) + 4/(-19 + 3) prime?
True
Let i(l) = 8*l + 34699. Is i(0) a prime number?
False
Let y(g) = 212*g - 241. Is y(46) a prime number?
True
Let d be (4/5)/(-6 + 236/40). Is -4*(2 - (-7658)/d) a composite number?
False
Let g(b) = -3*b**3 - 9*b**2 - 10*b - 25. Let c = 7 - 3. Let w(a) = a**3 + a + 1. Let u(m) = c*w(m) + g(m). Is u(11) a composite number?
True
Let m(g) = -2668*g - 221. Is m(-7) composite?
True
Let i(v) = 6530*v - 727. Is i(13) composite?
False
Suppose 0 = 8*q - 7*q + 98. Let g be (-416)/(-6) - 2/6. Is (q/21)/((-2)/g) prime?
False
Let m(a) = 2*a**3 - 5*a - 9. Let q be m(-2). Let n be (-1)/(-1 + 2) - -90. Let t = q + n. Is t prime?
False
Let c(q) = q**3 + 6*q**2 + 9*q. Let i be c(-4). Is (-106*-1*(-2)/i)/1 composite?
False
Let q = -49 + 58. Suppose -q*h + 260 = -5*h. Is h a composite number?
True
Let n be (-6)/30*-5 + 911*1. Suppose 0 = 12*t + n - 28908. Is t composite?
False
Let r(a) = -a**2 + 32*a - 112. Let q be r(28). Let s(j) = 24*j**2 - j + 1. Let w be s(-2). Suppose -w = -6*t + t + 2*l, -4*t - 3*l + 70 = q. Is t composite?
False
Let d = -365 + 6552. Is d a composite number?
True
Let q = -1742 + 33621. Is q a composite number?
True
Let n = -22987 + 41820. Is n a prime number?
False
Let q be ((-18)/15)/((-2)/(-10)). Let z(p) = -4*p**3 - 13*p**2 - 8*p - 1. Let d(j) = -j**3 - j - 2. Let b(c) = 3*d(c) - z(c). Is b(q) prime?
False
Let h(i) = -3*i**3 - 2 - 3*i**2 - 5*i + 1 - 2 + 2*i. Let r = -14 - -12. Is h(r) composite?
True
Let k = -25225 + 17581. Let f = -2941 - k. Is f a prime number?
True
Is ((-434630)/(-25))/7 - (-12)/(-20) a prime number?
False
Suppose -3*j - 3 = -9, 3*j + 142 = 4*x. Suppose 0 = -5*s + 2*r - x, -1 = -3*s + 3*r - 16. Let c(l) = l**3 + 11*l**2 + 5*l - 11. Is c(s) a prime number?
False
Let k(p) be the second derivative of -p**5/10 - p**4/3 + 11*p**3/6 - 4*p**2 - 7*p. Is k(-6) a prime number?
False
Suppose 24*d - 81305 = 196303. Is d a prime number?
False
Let y(z) = -3523*z + 11. Is y(-2) a composite number?
False
Suppose 68 = 3*m + 4*g - 20, -80 = -4*m + 4*g. Let t = m - -211. Is t a composite number?
True
Let i(b) = -508*b + 63. Is i(-8) a prime number?
True
Let d(a) = -a + 4. Let p be d(5). Let o = p + 6. Suppose -107 = -o*f + w + 3*w, 3*w = 4*f - 86. Is f prime?
True
Let j = -59 - -61. Is j/6 - 760/(-6) a prime number?
True
Suppose -7*i + 624 + 15329 = 0. Is i prime?
False
Suppose 186 = 7*x - 6870. Let p = x - 527. Is p a composite number?
True
Let f be (-1 - 0)/((-4)/(-296)*-2). Let d = f - -42. Is d prime?
True
Let t be (-123)/(-39) - (-10)/(-65). Suppose -t = r - 2*r. Suppose w = -r*w + 636. Is w prime?
False
Is 77/7*8394/66 a composite number?
False
Suppose 8 = 3*t + t. Suppose t*a - 1688 + 7532 = 0. Is ((-4)/(-12))/((-2)/a) a prime number?
True
Let d be 1 - (-4)/(-3)*-3. Suppose -211 = -d*w + 714. Is w prime?
False
Let p(b) = 19*b - 11. Let g(w) = 2*w**3 - w - 1. Let d be g(-2). Let q = d - -23. Is p(q) a prime number?
False
Let w be ((-2052)/16)/(6/(-32)). Let z be 4 + (89 - (-20)/5). Let h = w - z. Is h a composite number?
False
Suppose -4*s - 944 = -5*d + 102961, 3*s - 62370 = -3*d. Is d a prime number?
False
Suppose -5*w - 325 + 0 = 0. Let h be w/(-25) - (-3)/(-5). Suppose h*c + 3*g - 316 = 0, -5*c + 2*g = 5*g - 799. Is c composite?
True
Suppose 6*s + 19 = 949. Suppose 0 = -5*y + 3840 - s. Is y a prime number?
False
Let y be 4 - (-1)/(1 - 0). Suppose -3*g + v - 2999 = -6*g, 0 = 3*g + y*v - 3019. Is g prime?
False
Let a(d) = -99 + 213 - 3*d - 109. Suppose -u - 18 = 2*u. Is a(u) a composite number?
False
Suppose 7 = 7*f - 14. Suppose 0 = 3*u + u + 3*r - 16, 0 = f*r + 12. Suppose -u*h = -9*h + 314. Is h prime?
True
Let a = 31 - 25. Suppose 2*k + 2332 = a*k. Is k a prime number?
False
Suppose 7*x - 18 = 5*x. Suppose 6*q = x*q - 447. Is q composite?
False
Let s(y) be the first derivative of 16/3*y**3 + 4 - y + y**2. Is s(4) a composite number?
False
Let r be -3*(-1 + -1 - -1711). Is (4 + (-70)/15)/(2/r) prime?
True
Let v = -34 - -36. Suppose -f = -v*r - 183, 3*f - 2*r - 540 = r. Is f composite?
True
Let s be (3 - (-24)/(-4)) + (-1696)/2. Let h = s - -2018. Is h a composite number?
True
Let p = 2801 + -1414. Suppose -p = -4*y + 15057. Is y prime?
True
Suppose -3*l + 7 = l + 3*j, 5*l = 3*j + 29. Suppose -l*w + 1238 = -6390. Is w a prime number?
True
Let v(p) be the first derivative of 111*p + 1 + 1/3*p**3 - 1/2*p**2. Is v(0) a composite number?
True
Suppose -17751 = -9*p - 120. Suppose -5*s - 4*f + 0*f + p = 0, -3*s - 2*f + 1175 = 0. Is s a prime number?
False
Suppose -g + 4*f + 100107 = 0, 0*f - 5*f = -2*g + 200226. Is g composite?
True
Suppose -3*l = 2*l - 2*n, 5*n + 27 = -l. Let r be (-2)/l + (-1 - -4). Suppose -4*c = 3*u - 1939, r*c + 3*u = u + 1942. Is c composite?
Fals