derivative of -5*o**4/8 - o**3/6 + 3*o**2. Let u be j(-9). Suppose 201 = 3*b - 2*v, -u = -2*b - 0*b - 5*v. Is b a prime number?
True
Let i = 142 + -115. Suppose -i*v + 12604 = -23*v. Is v a composite number?
True
Let s(o) = 25*o - 6. Suppose -8 = 4*v, 4 = 4*y - v + 5*v. Let x be s(y). Suppose -4*r + x = -r. Is r prime?
True
Suppose 10*c + 9*c - 2071 = 0. Suppose 16*g - c = 15*g. Is g composite?
False
Suppose 4*b - 8 = -0*f - 2*f, 5*f + b - 20 = 0. Let i be 34 + f/(-4)*3. Let l = i - -36. Is l composite?
False
Let r(h) = 8*h**2 - 2*h + 1. Let a be r(1). Let j(f) = -f**2 + 9*f + 1. Let b be j(a). Suppose -5*v + 2390 = 5*l, 4*l + b = 3. Is v a composite number?
True
Let l(t) = 28*t**2 - 53*t + 43. Is l(20) a composite number?
True
Let m(d) = 5 - d - 1 - 6. Let x be m(-8). Suppose 20 + 58 = x*p. Is p prime?
True
Let w(p) = 38*p**2 + 41*p + 86. Is w(-27) a composite number?
False
Let o = -3835 - -5744. Is o a composite number?
True
Let u be ((-18)/5)/(14/35). Let l(w) = w**3 + 9*w**2 + w + 5. Let x be l(u). Is 846/4 + 2/x composite?
False
Let q = 25 + -33. Let k(o) = 5*o**2 + o - 17. Is k(q) composite?
True
Let q(d) = 118 - 116 + 3*d + 3*d**2 + 5*d. Is q(3) composite?
False
Let y(b) = b**3 + 11*b**2 + 10*b - 13. Suppose 2*a - 12 = -82. Let c = 26 + a. Is y(c) composite?
False
Suppose 2*g = 5*h + 95, -92 = -2*g - h + 3*h. Let q = 75 + g. Suppose -q + 355 = j. Is j a prime number?
False
Let i = 785 - 256. Is i a prime number?
False
Let p(c) = -225*c - 139. Is p(-12) a composite number?
True
Let v(i) = 2679*i + 19. Let y be v(2). Suppose -s + 5218 = 5*u - y, 4*u - 4*s = 8476. Is u composite?
True
Let f(w) = -w**3 - 6*w**2 - 5*w + 7. Let l be f(-5). Suppose l*b = 6*b. Suppose 6*c - 4*c - 238 = b. Is c a prime number?
False
Let y(r) = 14889*r - 10. Is y(1) a prime number?
True
Let i(d) = -8*d + d**3 + 4*d + 13*d**2 - 6*d**2 + 9. Let g = 72 - 78. Is i(g) composite?
True
Is 53630/2 + 234/39 a prime number?
True
Is -3 - (-337410)/63 - (-2)/7 a prime number?
False
Let b = -5 + 7. Let h(i) = i**2 - 3*i + 2. Let w be h(b). Suppose -4*k = 4*x - 316, w = -x - 2*k - k + 71. Is x a composite number?
False
Suppose 5*i - v - 14768 = 0, 4*v + 1308 + 1657 = i. Is i a prime number?
True
Suppose 0 = -3*r - 4*r + 434. Let o = 1025 + r. Is o composite?
False
Is 12 + 350/(-29) + 460497/87 prime?
False
Suppose 0 = 3*y - l - 29, -4*y = -6*y - 4*l + 10. Suppose 10*r - y*r - 4 = 0. Is (r - (0 - -3))*79 composite?
False
Let j(i) = -10*i**2 + 3 + i**3 + 11*i**2 + 3*i**3 - i - 3*i**3. Let t be j(0). Suppose 3*k - 3 = 0, -d + t*k - 9 = -133. Is d composite?
False
Let z(w) = -w**2 - 4*w + 7. Let d be z(-4). Let v = 22 + -12. Let y = v - d. Is y a composite number?
False
Let m = 1049 - -978. Is m a composite number?
False
Let y(o) = -5*o**3 - 9*o**2 + 12*o. Let g(z) = 4*z**3 + 8*z**2 - 11*z + 1. Let r(h) = -4*g(h) - 3*y(h). Let p be r(-6). Let m = 41 - p. Is m a composite number?
True
Suppose 39*q = 43*q - 27444. Is q composite?
True
Suppose 5*h = -1 + 6. Let f(g) be the third derivative of 419*g**4/24 - g**2. Is f(h) prime?
True
Let c = 16329 + 13474. Is c a composite number?
False
Suppose a + 0*a - 4 = 0. Suppose 0 = -3*l + 2*g + 957, -g + 1582 = a*l + l. Is l prime?
True
Let f = 12426 + -4421. Suppose f = 5*q + 4*t, 3*q = -4*t + 3878 + 933. Is q prime?
True
Suppose 12*o - 57*o + 269415 = 0. Is o a composite number?
False
Let g be (-3)/2 - 4/(-8). Let a(s) = -s**3 - s**2 + 1. Let f(i) = 167*i**3 + 4*i**2 + i - 2. Let c(z) = -3*a(z) - f(z). Is c(g) prime?
True
Let o be (-1)/(-8) + 50895/72. Let c = o - 76. Is c a prime number?
True
Let q(y) = 2890*y**2 + 9*y + 7. Is q(-2) a prime number?
True
Let k(c) = c**3 - 7*c**2 - c - 8. Let f(j) = -j**3 - 7*j**2 - 2*j - 7. Let z be f(-7). Let g be k(z). Is (-2439)/g - (-6)/15 prime?
True
Let n(s) = s**2 + 4*s - 1. Let y be n(-6). Suppose 4*v = -j - y, 4*j + 5 = 2*v - 3. Is 65 - j/(-3)*-4 composite?
True
Suppose 2*u + 6*r - 2*r - 2 = 0, -16 = -4*r. Let m(b) = -b**3 - 2*b**2 + 4*b + 6. Is m(u) prime?
True
Suppose 0 = 3*c - 5*c - 3*m + 781, -3*m - 775 = -2*c. Is c composite?
False
Is 205/(-123)*259062/(-10) a prime number?
True
Suppose -5*j + 7 = -3. Let c = j - -1. Suppose -c*t + 2*p + 427 = -2*t, 0 = p. Is t a prime number?
False
Is (5 - -2513)*4/8 composite?
False
Let a(u) = -740*u + 16. Let p(s) = 370*s - 8. Let v(i) = -6*a(i) - 14*p(i). Let j be v(-6). Suppose -1711 = -d - 2*b, 3*d = 4*b + j + 657. Is d a prime number?
False
Let i be (18/(-24))/((-9)/60). Suppose 308 = 4*z - i*x, -2*z = -3*x - 104 - 48. Is z composite?
True
Suppose 3*t = -15, 2*t + 25 = m + t. Suppose -m = 4*p + p. Is p/2 + 14 + -2 prime?
False
Let t(l) = -337*l + 54. Is t(-7) a composite number?
True
Let y(c) = c**3 + 38*c**2 - 42*c - 40. Is y(-27) a composite number?
True
Suppose -5*l + 0*l + 65 = 5*x, -1 = -2*l + 3*x. Suppose z + l - 243 = 0. Is z a prime number?
False
Let v(x) = -2*x**3 - 27*x**2 + 2*x + 43. Is v(-14) a prime number?
True
Suppose 10*u + 3*u - 21827 = 0. Let q = u + -864. Is q prime?
False
Let n = 43 - -1134. Is n a composite number?
True
Let y(b) = -2*b - 9. Let v be y(-9). Let z be (-178)/v - 10/45. Let n = -14 - z. Is n composite?
True
Suppose -17 + 3 = 7*a. Let t(m) = -575*m - 11. Is t(a) a composite number?
True
Suppose -u = 2*s, 2*s + 6 = s - 2*u. Suppose 0*d - 3*l = d - 616, 1837 = 3*d - s*l. Is d prime?
True
Let k = -8 - -13. Suppose 16 = 5*q - x, -2*x + 5*x - 24 = -3*q. Suppose 0*g + 388 = q*g + 5*l, -3*g = k*l - 291. Is g composite?
False
Suppose 5*r = 4*b + 320335, -5*r + 2*b + 128136 = -3*r. Is r prime?
True
Let o be (60/(-50))/((-4)/(-10)) + 3720. Suppose 5*a = -3*f + 2794, -3*f - f - 5*a = -o. Is f a composite number?
True
Suppose 0 = -15*c - 0*c + 28965. Is c a composite number?
False
Suppose -3*o + 16828 = -0*o - 2*g, -4*o = 5*g - 22422. Suppose 0*z = -8*z + o. Is z a prime number?
True
Let z(f) = 162*f**2 + 54*f + 1. Is z(-9) a prime number?
True
Let x = -4151 + 2493. Is 0/(-13) + (-1 - x) a composite number?
False
Let h(p) = 1027*p - 34. Is h(11) composite?
True
Let b(t) = 103*t + 0 - 2 - 102*t. Let a be b(7). Suppose 3*g - 487 = -a*h + h, 2*g = -5*h + 607. Is h composite?
True
Let k(y) = 4*y + 16. Let u be k(-3). Is (-1 - -2)/(u/(-16804)*-1) composite?
False
Suppose 3*j + j + 5*o - 4 = 0, 0 = j + 5*o - 1. Is (0 - j)*(-10 - 371) prime?
False
Suppose -z + 0*i - 9 = -2*i, 3*z + i + 20 = 0. Let o = z + 7. Suppose -8 = 3*q + q, -5*m - 4*q + 327 = o. Is m a prime number?
True
Suppose 4*p = 2*p + 18. Is 1788/18*p/6 a composite number?
False
Let g(l) = -36*l + 11. Let k be 1/(-2)*(-8 - -8). Suppose k = -4*t + 3*t - 5. Is g(t) composite?
False
Let t be (-2 + 5/3)*-27. Suppose -t*i + 1830 = -3*i. Is i prime?
False
Let k(f) = 2*f**3 - 15*f**2 - 39*f + 65. Is k(16) a prime number?
True
Let g(l) = l**3 + 18*l**2 - 21*l - 8. Let i be g(-16). Let z = 1489 - i. Is z a prime number?
False
Let i = -35 - -10. Let a = i - -398. Is a composite?
False
Let i(f) = -2*f - 3 - 4*f + f**2 - 2*f**2. Let u be i(-2). Suppose u*v = x - 5*x + 277, 3*x = -3*v + 168. Is v a prime number?
True
Let h(f) be the first derivative of -f**4 + 4*f**3/3 + 2*f**2 + 3*f + 19. Is h(-4) a prime number?
True
Let o = 36781 + -17994. Is o a prime number?
True
Let u(a) = 4*a + 34. Let q be u(-9). Is q/4 - 16419/(-26) a composite number?
False
Let k(x) = x**3 - 4*x**2 - 9. Suppose -4 = -4*m + 28. Let q be k(m). Suppose 2*d = q - 9. Is d prime?
False
Let q = -30594 + 43553. Is q composite?
False
Suppose -p - 20 = -6*p - 5*y, 3*p - 8 = -y. Suppose p*o = 2*k - 4*k + 74, 5*k - 185 = -3*o. Is k a prime number?
True
Suppose x - v = 3*x - 1901, 1 = v. Suppose -j + x = j. Suppose 0 = 3*l + 2*u - j, 5*l - 239 = -2*u + 546. Is l composite?
True
Is (10436/28)/((-12)/(-84)) a composite number?
False
Suppose -9*q + 1380 = -13*q. Let a = q + 790. Is a prime?
False
Suppose -4*b - 2*u - 3*u = -5006, -3753 = -3*b - 3*u. Is b prime?
True
Let u = 1469 - -4404. Is u prime?
False
Let d(r) = 46*r**2 - 55*r + 32. Is d(27) a composite number?
True
Let c = -11682 - -71353. Is c prime?
True
Let i(s) = -s**3 - 10*s**2 + 3*s + 5. Suppose -b - 7 = -3*l, 2*l - 21 = 5*b + l. Let m be -3*11*b/(-12). Is i(m) a composite number?
True
Is -8 - (-18)/(-6) - -21964 composite?
True
Suppose 2*n - 5*t - 2765 = -68, 2*n +