**5/12 + r**4/24 - 2*r**3/3 + 2*r**2. Let y(x) be the first derivative of o(x). Is y(-3) a prime number?
True
Suppose 0*h + 4*k - 16 = 2*h, -4*h - 17 = -5*k. Suppose -4109 = -3*t + 2*z - 7*z, 0 = -4*t + h*z + 5496. Is t composite?
False
Suppose 0 = -2*m - 4*k + 220, -4*m - k + 550 = m. Suppose 5*d + 4*a = 281, -a + m = -d + 3*d. Is d prime?
True
Suppose 5 = -2*f + 15. Suppose -f*j = -568 - 397. Suppose 3*q - 8 = j. Is q a prime number?
True
Let f = 11 - 11. Suppose 4*l = v + 23 + 8, -4*l - v + 41 = f. Let u(y) = -y**2 + 14*y - 10. Is u(l) composite?
True
Suppose -6 = 2*u - 5*u. Let z be 2 + -3 - u - -6. Suppose -4*j - 2605 = -5*l, -6*l + z*j + 1042 = -4*l. Is l prime?
True
Let n be 4/22 + 318/66. Suppose -2*h + 585 = n*i, -i + 134 = -5*h + 2*h. Is i a composite number?
True
Suppose 3*t + 40 = 34, -3*c = -2*t - 26701. Is c composite?
True
Is 4/(20/1027239) - (-18)/15 a prime number?
False
Let n(j) = -2*j**3 - 9*j**2 + 15*j + 19. Let t be n(-8). Suppose 1065 = -5*i - 0*i. Let u = i + t. Is u a composite number?
True
Let g(y) be the second derivative of y**4/6 + 4*y**3/3 + y**2 + 3*y. Let m be 318/(-27) - ((-50)/18 + 3). Is g(m) composite?
True
Suppose -w = x - 4*x - 1051, 3*x + 2090 = 2*w. Is w composite?
False
Suppose -4*o = -i + 709 + 170, -2*o - 4431 = -5*i. Is i prime?
True
Suppose -z - 12 = -33. Suppose 0 = -2*k + k - a + z, -5*k + 111 = -a. Is k a composite number?
True
Suppose z = -3*m - 0*z + 45654, z = 0. Suppose 0 = -c + 3*c - m. Is c a composite number?
True
Let d(p) be the first derivative of -17*p**4/4 - p**3/3 - p**2 - 5*p + 2. Suppose -11 = -9*x - 38. Is d(x) prime?
False
Is ((-35)/14)/((-20)/82672) composite?
True
Suppose -322 = -4*n + 2*h + 6604, -4*n - 3*h + 6941 = 0. Is n a composite number?
False
Let s(u) = -u**2 - 11*u + 4. Let i(a) = -a**2 + 6*a - 1. Let q(d) = 2*d**2 - 12*d + 3. Let p(n) = 7*i(n) + 3*q(n). Let w be p(7). Is s(w) a composite number?
True
Suppose 2*f = 4*k + 4584, 5*f - 3*f = -3*k + 4612. Let z = f - 1149. Is z a prime number?
True
Let l(z) = z**3 - 7*z**2 + 16*z - 1. Let u be (-32)/(-6)*36/16. Let a be l(u). Suppose -a = -5*b + 984. Is b prime?
True
Let h be ((-2)/3)/(4/1434). Let x = h - 375. Is (-3)/6*x - 0 composite?
False
Suppose -11624 + 29841 = n. Is n a prime number?
True
Suppose 25*a + 6 = 22*a. Is (-2 - a - (-2 - -3))*-129 prime?
False
Let k(w) = 3*w + 35. Is k(8) composite?
False
Suppose 2*t - 5 = 1. Let g be (-3 + 21)/t - -3. Is 568 - -1*g/(-3) a composite number?
True
Let t(d) be the second derivative of d**4/12 + 11*d**3/6 - d**2/2 + 4*d. Is t(9) a prime number?
True
Let f(s) be the first derivative of -s + 4*s + 3 + 0 - 11*s**2 - 2. Is f(-4) composite?
True
Is (0 + 6)*(-61400)/(-75) + -3 a prime number?
True
Suppose 1202*f = 1190*f + 30396. Is f prime?
False
Let w be 1/(2/276*2). Let f = w + -39. Is (-36)/f*70/(-4) a composite number?
True
Let s be (3/(-5))/((-8)/80). Let f(t) = t + 8. Let g be f(-4). Suppose 4*n - s = -r + 12, -3*r - g*n = -38. Is r a composite number?
True
Suppose 0*r - 5*r = -30. Let q(l) = -r - 11 - 53*l - 29*l. Is q(-5) prime?
False
Let q = 15 + 294. Let r = q + 3736. Is r composite?
True
Let g(c) be the second derivative of 3*c**3 - 7*c**2/2 - 14*c. Is g(11) a composite number?
False
Suppose 0 = -3*o - 0 + 15. Suppose -1631 = -o*s + s + b, 2*s - 808 = -2*b. Is s composite?
True
Let d(t) = -98*t**3 - 2*t**2 - 2*t - 1. Suppose z = 3*c + 9, -1 = -3*z + 4*c + 11. Suppose -2*w + 3*l = -z - 4, 3*w + 1 = l. Is d(w) a composite number?
False
Let g(r) = 1406*r**3 + 2*r**2 + r - 1. Let b be g(-1). Let u = b + 2175. Is u a composite number?
False
Is ((-192394)/10 + -9)*(-3 + -2) composite?
True
Is (14/8 + -2)/(39/(-600132)) composite?
False
Let p(q) = q**3 - 9*q**2 - 68*q - 43. Is p(25) a prime number?
False
Let x(r) = 223*r**2 + 6*r + 2. Is x(3) a composite number?
False
Is 82 - 88 - (-29307)/((-3)/(-3)) a composite number?
True
Suppose 0 = -2*o + 8, 4*g - 105082 - 34870 = -o. Is g a composite number?
True
Let m be (1/(-3) - 10/15)*-346. Let g = m - 212. Is g prime?
False
Let v(k) = k + 11. Let m be v(-7). Let r(n) = 0*n + 2 + 6*n**2 + m*n**2 - n. Is r(-5) a composite number?
False
Suppose -5*a - 3*j = 2*j - 50, -4*a = j - 43. Suppose a*o = 7*o + 292. Suppose 36 = g - o. Is g composite?
False
Suppose 2*u - 2 = u. Suppose 2*w = -2*d + 12, u*d - 4*w = 4*d - 14. Is 1552/24*(d - 2) prime?
False
Let s(l) = 19*l**2 + 2*l - 1. Let r be s(1). Suppose -4*q + 10 = -i, -2 = -3*i - q + 7. Suppose -i*m = -4*m + f + 159, -r = 4*f. Is m prime?
False
Let u(n) be the third derivative of 11*n**4/4 - 5*n**3/3 + 4*n**2. Let b be u(4). Suppose x - 3*x = -b. Is x a composite number?
False
Let n(f) = 54*f**2 - 6*f + 7. Is n(5) prime?
True
Let t(v) = -v**3 + 18*v**2 - 16*v - 22. Let a(q) = q + 6. Suppose -4*o + 2*l - 6 + 50 = 0, -5*o + 33 = 3*l. Let h be a(o). Is t(h) composite?
True
Let z(q) = 23*q**3 - 3*q**2 + 8*q - 5. Let i be z(5). Suppose 0 = o - 0*k - 4*k - 965, i = 3*o + 3*k. Suppose 0 = 4*p - o - 1203. Is p a prime number?
False
Suppose 5*h - 110 = 3*h. Let c = h - 2. Is c prime?
True
Let g(j) = -j**3 + 4*j**2 - 2*j - 3. Let p be g(3). Suppose p = 3*r + 5*m - 10, 4*r = 4*m - 4 - 4. Suppose r = 4*q - 175 + 27. Is q a composite number?
False
Suppose -2*d = -t - 11674, 0 = -4*d + 5*t - 6*t + 23360. Is d a prime number?
True
Let c = -6 + 21. Suppose b - 2*b - c = -2*a, 3*a = -b - 25. Is -111*(4 - b/(-3)) a composite number?
True
Let v(m) = 218*m - 183. Is v(19) prime?
False
Is ((-66423)/14)/(6/(-76)) composite?
True
Let q(m) = m**3 - 9*m**2 + 10*m - 5. Suppose -44*i - 40 = -49*i. Is q(i) prime?
True
Suppose 4*n - 1376 - 3644 = 0. Is n composite?
True
Suppose 0*u + 180 = u. Suppose -4*m + 2*h + u = 0, 5*m + 4*h + 6 - 244 = 0. Is m composite?
True
Let p be 2/7 + (-38)/(-14). Suppose p*l = 3 + 6. Suppose 0 = -3*v + 2*t + 489, -l*v + 4*t + 489 = -0*v. Is v a composite number?
False
Suppose 0 = -3*u + 3*i - 36, -4*i - 8 - 19 = u. Is 1148 - ((-5)/u - 20/6) a prime number?
True
Let u = 142 - -103. Suppose u = f + 6*f. Is (-5)/2*(-4438)/f prime?
True
Let q(l) = -l**3 - 2*l**2 - 6*l**2 + 9 + l**2 + 5*l. Let u be q(-8). Is (296/12)/(2/u) prime?
False
Suppose 2 - 7 = -i. Suppose i*h - 8 = 3*h. Suppose -h*m + 1741 = -423. Is m a composite number?
False
Suppose 3*i - 13223 = -2*p, 0 = -5*i + i + 5*p + 17646. Is i a composite number?
False
Suppose -2*w + 5*x + 29 = 0, 3*x - 1 = -4. Is 2047/5 - w/30 a composite number?
False
Let w = -6890 + 10527. Is w a prime number?
True
Let v = 26283 - 13678. Is v composite?
True
Let y(r) be the first derivative of -r**6/60 - r**5/15 + 3*r**4/8 - 4*r**3/3 + r**2 + 2. Let o(k) be the second derivative of y(k). Is o(-7) a prime number?
True
Let q(d) = -138*d - 211. Is q(-23) prime?
True
Suppose 0 = 5*j - 2952 - 6108. Suppose 2*v = 2*n - j, -n - 2*v - v + 910 = 0. Is n composite?
False
Let y(m) = -5*m**3 + 5*m**2 - 3*m. Let z(x) = x**2 + 3*x - 1. Let w be z(-4). Let a be y(w). Let b = 178 + a. Is b a composite number?
False
Suppose 4*d + 122*s - 120*s = 4266, -3217 = -3*d + 2*s. Is d composite?
False
Let i(c) = -c - 4. Let d be i(-5). Let o be 9/6 + -2 - 3/(-2). Is 20 + (0/d - o) a composite number?
False
Let s = -4580 + 7533. Is s a prime number?
True
Let x(h) = 67*h - 7. Let d be x(-3). Is (3/1)/1 - d composite?
False
Let m be 365/15 - 2/(-3). Let l(k) = 148*k - 16. Let t be l(1). Suppose -m - t = -d. Is d composite?
False
Let t be (3 - 14/4)*-4. Let k(n) = -5*n**3 + n**2 + 2*n - 1. Let d be k(t). Let p = d - -54. Is p a prime number?
False
Let p be (2265/10)/(9/24). Suppose -2*f + 3*h = -776, -2*f + 172 + p = -4*h. Suppose 120 = -4*d + f. Is d a composite number?
False
Let d(w) = -3*w + 24. Let r be d(14). Let v = r + 23. Suppose -v*j + 531 = -1814. Is j a composite number?
True
Let r(k) = k**3 - 5*k**2 - 12*k + 5. Let y be r(8). Suppose -s = -y + 24. Is s a composite number?
True
Is 2/2 - 0 - -1906 a prime number?
True
Suppose 4*a + 8194 = 39158. Is a prime?
True
Suppose x + 2*x = 219. Suppose 2*f = -2 - 6. Let k = x - f. Is k composite?
True
Let h = -3282 + 9671. Is h a prime number?
True
Suppose -260699 = -9*n - 6206. Is n a composite number?
False
Suppose 0 = -0*u + 4*u - 580. Is (u + 4)*(1 - (-2 + 2)) composite?
False
Suppose -5*f + 24 = -f. Is (f + -3)*-1 + 308 a pri