o(f) composite?
True
Let i = -102 - -185. Suppose -7*z + 2*z + 10 = 0, -i = -p + 3*z. Is p a composite number?
False
Let b(i) = -57*i - 1. Is b(-2) composite?
False
Suppose 3*m - 17 = 4. Let z = -3 + m. Suppose -480 = -z*s - 4*p + 5*p, 3*s + 2*p - 349 = 0. Is s a prime number?
False
Let j be (2 - 8)/(4/(-78)). Let v be j/6 + 1/(-2). Suppose 4*a - v - 17 = 0. Is a prime?
False
Suppose -5*z + 2 = 7. Let y(r) = r**3 - 3*r**2 + 4*r - 3. Let l be y(2). Is z*l - 98/(-1) composite?
False
Let m(x) = x**3 + 10*x**2 + x + 6. Is m(-7) a prime number?
False
Let r(c) = 88*c**2 - 2*c - 4. Let q be r(-6). Let a be (-1)/(-3) - q/(-12). Suppose 0 = 6*u - u - a. Is u a composite number?
False
Let s = -530 - -368. Let n = 247 + s. Is n composite?
True
Let r(c) = c**2 + 12*c - 17. Is r(-18) prime?
False
Let m(l) be the first derivative of l**4/12 + l**3/6 + 145*l**2/2 - l - 3. Let p(o) be the first derivative of m(o). Is p(0) composite?
True
Suppose -r + 27 + 97 = 0. Suppose 7*t = 4*t - 267. Let v = t + r. Is v composite?
True
Suppose -3*j = 4*s - 243, 3*j + s + 60 - 294 = 0. Is j prime?
False
Let k be ((-62)/(-6))/((-1)/(-3)). Let v(w) = w**3 + 5 - w**2 + k - 10. Is v(0) a composite number?
True
Suppose 0 = -3*a + 2*g + 70, 3*g = 4*g - 1. Suppose 4*n + a = 8. Let p(z) = -13*z - 3. Is p(n) prime?
False
Let k(h) = 4*h - 4*h**3 + 4 - 5 + 3*h**3 - 3*h**2. Let d be k(-6). Let l = d - 48. Is l a composite number?
True
Let v(q) = 5*q**2 - 2*q - 7. Is v(-6) prime?
False
Is 4/6 + (-3848)/(-24) composite?
True
Let w(p) = -p**3 - 6*p**2 + 10*p + 11. Let c(y) = -y**2 - y - 1. Suppose m - 3*l = 3*m - 14, 2*l = -m + 9. Let z(f) = m*c(f) + w(f). Is z(-9) composite?
True
Suppose 0 = -2*n - 2, 7*n = d + 2*n - 1. Let x(w) = -w**3 + 4*w**2 - 3*w - 6. Let a be x(d). Suppose -211 = -3*r + a. Is r a composite number?
True
Suppose -3*d - d = -16. Is 36 + 0 + (d - 3) prime?
True
Let n = 1192 - 455. Is n a composite number?
True
Let u(k) = 470*k - 17. Is u(5) composite?
False
Let u be (1/2 - 0)*0. Suppose -2*z + 28 = 4*q - 18, u = -5*z - q + 70. Is z a prime number?
True
Suppose 41*f = 32*f + 22239. Is f a composite number?
True
Let k(r) = 11*r**2 - 7*r - 3*r**2 - r**3 + 1 + 3. Let o be k(7). Suppose 0 = o*l + 5*w - 53, l + 8 = w + 2*w. Is l a composite number?
False
Suppose 3*o - 143 = 160. Let l = o - 30. Is l a prime number?
True
Let p be (-239)/(-3) - (-18)/(-27). Let h = p + 10. Is h a composite number?
False
Let p(x) be the third derivative of 11*x**4/24 - x**3 - 3*x**2. Is p(5) a composite number?
True
Is -22*(76/(-8) + 4) prime?
False
Let k be 334 + 1 + (0 - -1). Suppose k = 4*f + 5*g, 3*f - 5*g - 266 + 49 = 0. Is f a prime number?
True
Let u(a) be the second derivative of -20*a**3/3 - a**2/2 + 4*a. Is u(-3) a prime number?
False
Suppose 0 = -2*k - 5*w - 556, 3*w + 560 = k - 3*k. Let i = k + 620. Is i prime?
True
Suppose -4*k - 1 = -p + 2, -3*p = 2*k + 19. Is 1/2 + (-589)/k a prime number?
False
Suppose 4*y = -0*g - g + 20837, -2*y + 10420 = 2*g. Is y composite?
False
Let d be ((-4)/6)/((-4)/10074). Suppose 1146 = 2*h - 4*m, 2*h = -h - 4*m + d. Is h a prime number?
False
Let w(d) = d**3 - 9*d**2 - 3*d. Let r be w(8). Let c = r + 123. Is c a prime number?
False
Let i = -228 + 117. Is i/(-3) + (-2 - -2) prime?
True
Let i be (-1574)/3*12/(-8). Let c = i - 520. Is c a prime number?
False
Suppose 4*p - 1888 = 6132. Is p composite?
True
Let a(v) = -v**3 + 9*v**2 - 12*v + 4. Let n(x) = -x**3 + 8*x**2 - 11*x + 5. Let l(c) = -4*a(c) + 3*n(c). Is l(12) prime?
True
Let m be ((-27)/18)/((-6)/8). Suppose -m*a = 3*a - 2525. Is a composite?
True
Let c(q) = -q**2 - 17*q - 15. Is c(-10) composite?
True
Suppose k + 2*k = 261. Let u be (-6)/(-8) + k/(-4). Let a = u - -54. Is a a prime number?
False
Suppose -6354 = 10*o - 25584. Is o composite?
True
Let y = 135 - 26. Suppose -y + 35 = -2*s. Is s a composite number?
False
Let d be (-2)/(-5) + 12/(-5). Let b be 20/3*(d - -5). Let g = 41 - b. Is g a prime number?
False
Let u be 1 + (678 - (0 + -1)). Is 1/(u/226 + -3) composite?
False
Let a(j) = -2*j**3 - 3*j**2 + 3*j - 2. Let l be a(-3). Let z = 21 + l. Is z a composite number?
False
Suppose 753 = 5*d + 58. Is d composite?
False
Let a(q) = q**2 + 6*q - 11. Let z = 12 + -2. Is a(z) prime?
True
Let c(q) = q**2 + 5*q - 9. Let k be c(-7). Suppose -k*i = -2*u - 15, -3*u = 2*u - 5*i. Suppose 0*r + 2*r - u*m - 51 = 0, 4*m + 21 = r. Is r a composite number?
True
Let x(h) = h**3 - 5*h**2 + 8*h - 15. Is x(6) composite?
True
Let k(t) = -3*t**2 + 0*t**2 - 2*t**2 - t**3 + 2*t**2 - t + 2. Let y be k(-2). Suppose y*o = 2*o - 22. Is o composite?
False
Suppose -2*l - 3*a + 1578 = -5*a, l - 795 = -2*a. Is l a prime number?
False
Let t be (-1)/(3/(-9)) - -86. Let c = t + 4. Let g = 308 - c. Is g a composite number?
True
Suppose -11 + 5 = -2*n - z, -n = -5*z + 8. Suppose 5*p = -25, 4*b - n*p - 19 = 3*b. Let u = b - 2. Is u a prime number?
True
Let h(u) = -195*u + 2. Is h(-9) composite?
True
Let g = 1468 + -557. Is g prime?
True
Suppose -5*h + 1 = -9. Suppose h*n = n + 24. Suppose -4*z = -n - 172. Is z a prime number?
False
Let w = 3 + -12. Let u(n) be the third derivative of -n**4/8 + 5*n**3/3 - 2*n**2. Is u(w) composite?
False
Suppose -5*u + 3*s = 6*s - 1670, 3*s - 346 = -u. Is u composite?
False
Suppose 12*c + j = 11*c + 537, -1102 = -2*c + 5*j. Is c prime?
True
Suppose 4*g = r + 659, -3*g + 2*r = -207 - 281. Is g a prime number?
False
Let q = -383 - -882. Is q prime?
True
Suppose 5*q - 5 = -v + 5, -3*q + 4*v + 29 = 0. Suppose 4*y = q*y + 5. Suppose 52 = y*j - 43. Is j a prime number?
True
Let r = 3 - -1. Let p(d) = 2*d + 13. Let w be p(-14). Is (-17)/r*(w - -7) composite?
True
Suppose -881 - 465 = -j. Is j a composite number?
True
Let n be (-1 - 275) + (-2)/(-2). Let w = n + 420. Is w a prime number?
False
Suppose 2*x - 208 = -0*x - 5*i, -5*i = 10. Suppose 3*b - 56 = x. Is b a composite number?
True
Let f = 0 - -3. Is ((-2)/f)/((-6)/279) composite?
False
Suppose 7*r = 4*r. Suppose r = -5*w - 3*q + 55, 0*w = -5*w - 4*q + 50. Is w prime?
False
Let a(p) = -9*p - 3. Let r(q) = q. Let v(t) = a(t) + 3*r(t). Suppose -g + 4*c + 22 = -3*g, 7 = -5*g + 2*c. Is v(g) prime?
False
Suppose -3*c - 2*c - 5*u = 10, 4*c - 8 = 4*u. Suppose -5*i - 5*a + 205 = 0, c = -3*i - 5*a + 140 - 27. Is i prime?
False
Suppose 1750 = 4*v - 2*v - 2*j, -v + 5*j = -891. Is v a prime number?
False
Suppose 2 + 6 = 2*x. Suppose -x*j = 0, -6*y - 4*j = -2*y. Suppose y*q - 85 = -q. Is q a prime number?
False
Let m(i) be the third derivative of -i**6/120 + 3*i**5/20 - i**4/12 + 5*i**3/6 + 5*i**2. Is m(8) a composite number?
False
Suppose -h + 5*h - 860 = 0. Suppose -t - 2*v = -119, h + 27 = 2*t + 3*v. Is t prime?
True
Is ((-984)/20)/(3/(-20)) + -2 prime?
False
Suppose -2*p + 6 = p. Suppose 0 = -p*g - 5 + 163. Is g a composite number?
False
Let w be 1/(2/52*-1). Let r = -3 - w. Is r composite?
False
Let v = 81 - 11. Suppose 204 = 2*d + v. Is d prime?
True
Let r(y) = 13*y + 1 - 3*y + 17*y. Let t(a) = a**3 + a + 2. Let f be t(0). Is r(f) prime?
False
Suppose 3*i - 243 = -3*o, -4 = 5*i - 3*i. Is o composite?
False
Let z(l) = -3 - 3 + 8 - 5*l. Let a be z(3). Let g = 22 + a. Is g a prime number?
False
Let b be (-2 + 4)/((-6)/15). Let k(m) = -1 - 2 + 0 - 7*m - m**2. Is k(b) composite?
False
Suppose 0 = -l - 1, 6*l - 2*l = k - 278. Is k a composite number?
True
Suppose 0*j = 2*j - y - 780, -393 = -j + 2*y. Is j composite?
False
Suppose -5*q + 2*q = -12. Let p = -2 + q. Is p - (23*3)/(-3) a composite number?
True
Let i(s) = -5*s. Let o be i(-4). Let d(g) = -4*g + 30. Let q be d(9). Let t = o + q. Is t a composite number?
True
Suppose 4*l + 4*w = w + 2827, -w - 2130 = -3*l. Is l prime?
True
Let z be 2 + -1*(-3 + 2). Suppose 0 = -z*v + 7*v - 1028. Is v prime?
True
Let y(c) = -214*c - 4. Let j be y(-4). Suppose 3*p - j = -p. Is p a composite number?
True
Suppose -b - 5 = -2*b. Suppose -3*k = -k + t - 376, b*k = -5*t + 940. Suppose -2*p - 5*l + 89 = 0, l - k = -5*p - 0*l. Is p a prime number?
True
Let b(c) = 3*c - 38. Let p(i) = i - 13. Let m(a) = -3*b(a) + 8*p(a). Let t be m(5). Suppose -4*y + 303 = -t. Is y a prime number?
False
Let h(z) = -79*z. Is h(-1) a composite number?
False
Let v be (2 + -1)*2*-29. Let w = v + 152. Is w a composite number?
True
Let a(m) = 22*m