rivative of -58*x**3/3 - x**2/2 + 2*x. Is w(-1) prime?
False
Let c = 749 + -282. Is c a prime number?
True
Suppose 3 = 2*s - 1. Suppose -2*n = s*n - 88. Is n prime?
False
Let m(p) = 127*p**2 - 10*p - 10. Is m(-1) composite?
False
Let v(g) = -2*g**3 - 3*g**2 + 5*g + 2. Let t be v(-3). Suppose t = 2*h + 3*p - 0*p, 4*p = -5*h + 28. Suppose 5*x + 5*y - 41 = 119, 27 = x - h*y. Is x prime?
True
Suppose -15*f = -10*f - 2045. Is f composite?
False
Let i(v) = v + 1. Let w(y) = -y. Let x(s) = -s - 11. Let z(d) = 3*w(d) + x(d). Let u(n) = -3*i(n) - z(n). Is u(6) prime?
False
Suppose -4*r + 7*r - 6 = 0. Let i be r/(-1*2/151). Let a = -92 - i. Is a a composite number?
False
Let l(r) = 2*r + 3. Let z be l(-2). Is (3 - 3 - z)*79 a composite number?
False
Let l(y) = -1 + 4*y + 29*y**2 - 3*y + 0*y. Is l(-2) composite?
False
Suppose 0 = 3*r - 600 - 42. Is r a prime number?
False
Suppose -2*a + f + 5 = 0, -f + 3 - 4 = 0. Suppose -2*n = a*n - 16. Is 1119/21 - n/14 composite?
False
Let b be 1*(2 + (-9)/1). Let f(h) = h**2 - h + 1. Is f(b) composite?
True
Let y = 488 - 95. Let f = y + -107. Suppose -4*z = 2*l - f, 2*z = -0*l + 5*l - 655. Is l composite?
True
Let s be (6/4)/(1/70). Suppose 6*w - w - s = 0. Is w prime?
False
Let w(p) = -p**2 - 8*p + 13. Let i be w(-9). Suppose i*y = 13 + 23. Is y prime?
False
Is (1 - (-1 + 3))/(2/(-2554)) a composite number?
False
Suppose -13613 = -6*o - 4727. Is o a composite number?
False
Let i be 190/4 - (-3)/(-6). Suppose -w + i = -0*w. Is w prime?
True
Is 2/9 - 12938/(-18) prime?
True
Let s(a) = 4*a**3 - a + 1. Let z be s(1). Suppose 2*x + 36 = 5*b, -3*x = -z*b + 2*b + 10. Suppose b = l - 13. Is l a composite number?
True
Let t(v) = v**2 - v - 3. Let h be 42/28*14/3. Is t(h) composite?
True
Let o(m) be the first derivative of m**2/2 + m + 2. Let b be o(1). Is (b - -7) + 0/(-2) prime?
False
Let o(m) = -m**3 + 1. Let c be o(-1). Suppose 14 + 68 = t - 4*s, t - c*s - 76 = 0. Is (-2)/(-1)*t/4 a prime number?
False
Let r(y) = 167*y**3 - y**2 + 4. Let a be r(2). Let t = a - 651. Is t a prime number?
False
Let f(g) = -5*g - 5. Suppose -5*l + 117 = -3. Suppose 5*k - k = -l. Is f(k) prime?
False
Let h(a) = -a + 71. Is h(0) a prime number?
True
Let r(s) = -s**3 + 3*s**2 - 5*s - 2. Let i be r(-5). Suppose 113 = 2*h + j, h + i = 5*h + j. Is h composite?
True
Let g = 60 - 1. Is g prime?
True
Let k(w) = 5*w + 6. Let u be k(-4). Let g = 141 + u. Is g a composite number?
False
Let q be (-30)/(-3)*(3 + 1). Suppose d = 5*d - q. Is d composite?
True
Suppose 15*k = 2911 + 6614. Is k a prime number?
False
Let u(t) = -74*t + 7. Is u(-5) a composite number?
True
Suppose -10 - 5 = -x. Let y be (-16)/(0 - 6/x). Suppose v = 4*g - 0*g - 40, -y = -4*g + 5*v. Is g a prime number?
False
Let i(p) = -37*p**3 + 2*p**2 + 2*p - 1. Suppose -4*j = -20, j + 1 = 3*f - 6*f. Is i(f) prime?
False
Let z = 3 + -3. Suppose -o + 2*d = 3*o - 10, 3*o + 5*d - 14 = z. Suppose -2*b = o*b - 175. Is b composite?
True
Let m = 464 - 162. Suppose -6*w = -1160 + m. Is w a prime number?
False
Suppose -3*f + 2*i = -535, 5*i - 182 = -f + 2*i. Is f a prime number?
True
Let w(f) = -5*f**3 - 5*f**2 - 7*f - 6. Is w(-4) composite?
True
Let h(l) = 18*l**2 - 2*l - 3. Let j be h(-2). Suppose -b + j + 6 = 0. Is b prime?
True
Suppose 7*p - 4*p = 0. Let x be 1 + 1/(2/4). Suppose 39 = x*z - p*z. Is z prime?
True
Suppose 1615 + 253 = 4*g. Is g a prime number?
True
Suppose -4*b = -6 - 58. Let j = -1 + b. Is j composite?
True
Let i = 160 + 177. Is i a prime number?
True
Let c(t) = t**2 - 5. Is c(-8) a composite number?
False
Suppose -851 = -5*l + 734. Is l a composite number?
False
Suppose 120 = 3*w + 2*i, -268 = -5*w + 5*i - 68. Suppose 6*h = h + 10. Suppose p = -4*l - 4*p + w, -2*l + 22 = h*p. Is l a prime number?
False
Is 2 + -4 + (3 - 4) + 158 a composite number?
True
Let p be -2*(-2)/4*37. Is p - (-3 + 6)/1 a prime number?
False
Suppose -4*g + 0*b + 5*b - 3 = 0, 0 = -g - 4*b - 6. Is (-7)/g*(2 + 0) a prime number?
True
Let v be ((-6)/4)/((-24)/(-32)). Let h = v + 5. Is h a prime number?
True
Suppose 8*f - 3*f - 10 = 0. Let l(y) = 2 - 5 - 4 + 2*y + 22*y**2 + 4. Is l(f) composite?
False
Suppose 3*d = -3*a + 102, d - 43 = -d + 3*a. Let m = 58 + -53. Is d - -1*(m + -3) a composite number?
False
Let y = 5 + -2. Suppose 5*t - t = -5*u + 417, 2*u = 5*t + 180. Suppose 4*q - y*o - 169 = 0, 3*q = 5*q - o - u. Is q a composite number?
False
Let p(x) be the first derivative of -8*x - 3*x**2 + 1/3*x**3 + 1. Is p(-7) composite?
False
Let d(y) = 5*y**2 - 5*y - 5. Is d(4) a prime number?
False
Suppose -3*p = -q - 648 - 216, 3*p - 882 = -5*q. Is p a composite number?
True
Let m = 192 + -43. Is m a prime number?
True
Is 22/(-22)*(-4822)/2 a composite number?
False
Let f(l) = -l**2 + 7*l - 7. Let b be f(5). Suppose -2*a + a - b*i + 1 = 0, 0 = -3*a + 5*i + 31. Let q = a - 4. Is q prime?
True
Suppose -4*f = d - 3*f - 421, -828 = -2*d + 5*f. Is d composite?
False
Suppose 18 = 2*k + k. Suppose k*c - 210 = c. Suppose a + 2*b = c, 4*a - 2*a - 90 = -b. Is a composite?
True
Let g(m) = -m**3 + 11*m**2 + 15*m + 1. Let i = 16 - 4. Is g(i) composite?
False
Let z = -6 + 8. Suppose -v + z*v - 45 = 0. Suppose -3*p + v = 2*p. Is p a prime number?
False
Suppose -4*a = -28 + 8. Suppose 642 = a*n + 217. Is n a prime number?
False
Suppose q - 310 = -4*q. Is q a prime number?
False
Let j = 5 + -3. Let v = 231 - 120. Suppose -o = j*o - v. Is o a prime number?
True
Let b be (2/(-1) + 48)*5. Let i = b + -153. Is i prime?
False
Let a = -17 - -28. Is a a composite number?
False
Suppose -3*v = 2*d - 5659, -5652 = -2*d + 3*v + v. Suppose -u = 3*u - d. Is u a prime number?
False
Let b(k) be the first derivative of -15*k**2/2 - k + 1. Is b(-1) a composite number?
True
Let v = -16 - 36. Let o = v - -89. Is o prime?
True
Suppose 0 = -5*w - 135 + 35. Is ((-9)/6)/(2/w) a composite number?
True
Let j = 8476 - 5021. Is j prime?
False
Suppose 3*n = -0*n + 612. Is n/(-8)*8/(-6) composite?
True
Let b(z) = 11*z**2 - 3*z + 3. Is b(-4) composite?
False
Let r(j) = 15*j + 7. Let g(x) = -2*x + 4. Let u be g(-4). Suppose -5*z + 4*s = -22, -3*s = z - 0*s - u. Is r(z) composite?
False
Let c(k) = -k**3 - 5*k**2 + 4*k - 1. Is c(-6) prime?
True
Let v(s) = 17*s + 2. Let d be (13 - 1 - 0) + -3. Is v(d) a composite number?
True
Let q(l) = 3*l**2 + l - 3. Let a be q(-9). Suppose 0 = -4*i - 3 + 11. Suppose g = -i*g + a. Is g a composite number?
True
Suppose 4*q + 558 = 2*b - 900, 0 = 3*b - 2*q - 2207. Is b a composite number?
False
Let t = 212 + -85. Is t a prime number?
True
Let z = 17 + 14. Is z prime?
True
Suppose -l + 100 = 4*l. Suppose -4*s + l = s. Suppose 2*c - 4*w = 224, c - s*c + 351 = -w. Is c a composite number?
True
Let p(d) = -d**3 + 4*d**2 - 3*d + 3. Let l = -4 - -7. Let k be p(l). Let m(v) = 4*v + 2. Is m(k) a prime number?
False
Suppose -785 = 6*c - 11*c. Is c prime?
True
Suppose 0 = -3*g - 4*h + 6839 - 1346, 0 = -h - 3. Is g a composite number?
True
Is 253 + (2 - (-6)/(-3)) a composite number?
True
Let x = -8 + 12. Suppose -x*a + 3*a + 7 = 0. Is a composite?
False
Suppose n + 10 = 2*q, 2*n + 3*n - q + 14 = 0. Let z(v) = 42*v**2 + 3*v + 1. Is z(n) a prime number?
True
Suppose -25 = -5*o + 360. Let t = -52 + o. Is t a composite number?
True
Let f(m) be the second derivative of 1/12*m**4 + 5/6*m**3 - 7/2*m**2 + 0 + m. Is f(-7) composite?
False
Let f(h) = 66*h**2 - 10*h - 3. Let x(a) = -22*a**2 + 3*a + 1. Let q(m) = -2*f(m) - 7*x(m). Is q(2) prime?
False
Let q(m) = 3*m**2 + 5*m + 5. Is q(-5) a prime number?
False
Let t(c) = 4*c**2 - 11*c + 9. Is t(10) a prime number?
False
Let u = -6 + 8. Let q(r) = 12*r**2 + 10*r - 11 - 10*r**u + r**3 + 8*r**2. Is q(-8) composite?
False
Let q = -4 - -10. Suppose 0 = -4*h - q*r + 2*r - 8, 0 = 4*r + 20. Suppose 2*z - 37 = z + y, 103 = h*z - y. Is z composite?
True
Suppose -f + 2*t - 5 = 0, 4*f - 8 = -0*f + t. Suppose -f*g + 13 = -23. Suppose 0 = 5*k - 2*y - 389, -2*k + 3*y - g = -161. Is k a prime number?
True
Let b = -644 - -1583. Suppose b + 17 = 4*j. Is j prime?
True
Suppose -4*v = 3*h - v - 381, -2*h - 4*v + 248 = 0. Suppose -m + h = -5*n, 3*m = -0*m + n + 348. Is m prime?
False
Suppose -6*x + 1229 = -5*x. Is x prime?
True
Let i be 3/(-6)*-4 + -4. Is 57/i*30/(-9) composite?
True
Let k be -1 - (3 - 2) - -7. Let d = k - 