rst derivative of 7*m**4/4 + 5*m**2/2 + 43*m - 3. Let z(v) = -20*v**3 - 14*v - 128. Let j(k) = -17*f(k) - 6*z(k). Is j(0) prime?
True
Suppose 0 = 6*j - 12*j + 4062. Is j a composite number?
False
Let d(y) = y + 15. Is d(0) composite?
True
Suppose -77 = -4*v + 43. Suppose u - 4*u - 5*l = -26, -4*u - 2*l = -v. Suppose 0 = -4*c + 5*r + 138, 2*c + 3*r - u*r - 66 = 0. Is c composite?
False
Let f = -4 + 331. Is f prime?
False
Let p(l) = 2*l + 146. Is p(0) a composite number?
True
Let t = -3 + 596. Is t composite?
False
Let h = 972 - 303. Is h prime?
False
Let p(t) = 4*t**2 + 14*t - 7. Let i be 4/22 + (-8)/44. Suppose i = -q - q - 20. Is p(q) a prime number?
False
Let x be 0/1*3/(-6). Suppose 5*f + x = 10. Is (f/(-4))/(1/(-154)) composite?
True
Suppose 2*q + q = 0. Let u = q - -2. Suppose -u*f + 35 = 3*f. Is f a prime number?
True
Suppose 2*r = -r + 18. Let y be (2/r)/((-5)/(-915)). Suppose d - y = -6. Is d composite?
True
Let b = 163 + -74. Is b prime?
True
Let l = 4267 + -2466. Is l prime?
True
Let s(q) = -q**3 + 4*q**2 + 8*q - 17. Let x be s(7). Let b = 42 + 112. Let o = x + b. Is o a composite number?
True
Suppose 2*r + 189 = 5*r. Suppose 44 = -3*c + 2*c. Let y = r + c. Is y prime?
True
Suppose 3*t + 5*o - 429 = 0, 0 = -5*t + o + 1082 - 367. Is t a composite number?
True
Let i be (-1743)/(-33) - 4/(-22). Suppose 2*p - p = -2*o + 32, -i = -3*o + p. Suppose -57 = -2*w + o. Is w a composite number?
False
Suppose -21 = -5*o - 6. Suppose r = o*r - 12. Let d(z) = 3*z + 3. Is d(r) prime?
False
Let c be (3/(-6)*0)/1. Suppose c = -s + 4*s - 285. Is s a prime number?
False
Suppose 2*q + 119 = -73. Let h = 472 + -297. Let n = q + h. Is n a composite number?
False
Let y be (1 - 0) + (-296)/(-2). Suppose 5 = m - y. Suppose a - m = -a. Is a a prime number?
False
Let b be ((-6)/4)/((-2)/(-4)). Is 6/b + (53 - -2) prime?
True
Let r be 1420/6 + (-6)/9. Suppose -3*z + r = z. Suppose -3*k = -0*x - x - z, -4*x + 11 = k. Is k composite?
False
Let t = -11 - -62. Is t prime?
False
Is 13180/12 - 8/(-12) composite?
True
Let d(p) = 9*p + 4. Let a be d(3). Suppose 280 = 3*y + a. Is y composite?
False
Suppose 2*t - 3*h + 12 = -8*h, 18 = -3*t - 5*h. Is t/15 - 134/(-10) prime?
True
Let v(j) = j**2 - 3*j + 6. Let a be v(2). Let g = 68 - 29. Suppose -g = -5*k + a*k. Is k a composite number?
True
Let t(s) = s**2 + s + 5. Is t(6) prime?
True
Suppose -11*s - 4990 + 13053 = 0. Is s a prime number?
True
Is 7/(-3) - 20/30 - -2270 prime?
True
Let k(d) = -5*d - 132. Let q(x) = -x - 33. Let y(o) = 2*k(o) - 9*q(o). Let s = 1 + -1. Is y(s) prime?
False
Let h = 3941 + -2770. Is h a prime number?
True
Let y = 0 - -51. Let h = 98 - y. Is h composite?
False
Let j = 125 + -362. Suppose -r = -4*d + 2*r - 21, -13 = 3*d - 5*r. Is (j/d)/(2/4) a composite number?
False
Suppose 0 = -3*w + 2*n + 90, 7 = w + 5*n - 6. Let d = w + -12. Suppose 0 = -p + d + 5. Is p composite?
True
Let o = 917 + -352. Is o prime?
False
Suppose 25 = 4*z + 9. Let t(h) = h**2 + 9*h + 3. Let v be t(-9). Suppose 2*g + z*x = 138, -v*g + x + 247 = -3*x. Is g composite?
True
Suppose 0 = -2*i - i + 18. Suppose i*j - 2*j + 3*d - 632 = 0, 0 = -3*d - 12. Is j a composite number?
True
Suppose 4*z - 104 = -3*w + 33, 98 = 2*w + z. Is w a prime number?
False
Suppose -209 = 4*q - 5*u + 12, 274 = -5*q + 4*u. Let k be (-2)/(-9) + (-5766)/q. Let t = k - 50. Is t a prime number?
False
Suppose -2 = 4*w - 38. Suppose 2*j - j - w = -v, 17 = j - v. Is j a composite number?
False
Let s be 1/(1/(32 - 1)). Suppose 2*r = 3*z + 36 + 31, r - 4*z - s = 0. Is r a prime number?
False
Let t = 362 - -221. Is t a composite number?
True
Let h = -16 - -78. Suppose -7*c - 4*t = -4*c - h, c - 5*t = -11. Is c composite?
True
Let c be -4 - (-6)/3 - -49. Let x = c + -12. Suppose 0 = 2*r - 119 - x. Is r prime?
False
Let s(j) = -150*j**3 - j**2 + j + 1. Is s(-1) prime?
True
Is ((-14)/(-4))/((-1)/(-62)) a prime number?
False
Suppose i = 6*i - 590. Is i a prime number?
False
Suppose 3*g - 3*y - 1350 = 0, 5*g - 2250 = -2*y + 6*y. Suppose 369 = 4*a - b, -5*a - b = -0*b - g. Is a composite?
True
Is 1564 + 0 + -1 + -3 + -1 composite?
False
Suppose -j + 5*u = -430, -j = -0*j - 3*u - 436. Is j a prime number?
False
Suppose -o + 257 = -4*h, 612 = 2*o + 3*h + 43. Is o prime?
True
Let i(d) = -14*d + 3 - 14*d + 11*d - 12. Is i(-8) composite?
False
Let j = -10 + 24. Is j a composite number?
True
Suppose 4695 - 42 = 9*l. Is l prime?
False
Let c(y) = y**2 - y + 4. Let q be c(0). Suppose q*j + 17 = -g, -4*g - 4*j - 56 = -0*g. Let v = g - -66. Is v a prime number?
True
Is (-2)/(702/177 + -4) prime?
True
Suppose 5*b + 23 + 27 = 0. Let v = b + 7. Is (-79)/v + 3/(-9) composite?
True
Suppose -3*j - s = -87, -3*j + 87 = -0*j - 5*s. Let i = 366 + j. Is i composite?
True
Let v be ((-4)/3)/(6/(-9)). Suppose -v*z - 5 = -19. Is z prime?
True
Is (4 + 60)/4 + -1 prime?
False
Let z(l) = 205*l + 7. Let p be z(-3). Let j = 65 - p. Is j a prime number?
True
Let u(w) = 5*w + 2. Suppose -n = -2*n + 3. Suppose v - h - 13 = -n*h, -30 = -3*v - 3*h. Is u(v) prime?
True
Let r(m) = -25*m + 3. Let u(w) = -25*w + 3. Let p(j) = 2*r(j) - 3*u(j). Is p(4) composite?
False
Suppose -5*j + p - 10 = -p, 4*p = 20. Let t be (-2)/(-1)*(-10)/(-4). Suppose -f + t*v + 55 = j, 4*v + 215 - 24 = 5*f. Is f a prime number?
False
Suppose 0 = -11*j - 3915 + 15520. Is j a composite number?
True
Suppose 0*g - 15610 = -10*g. Is g a composite number?
True
Let a(d) = -3*d**3 + d**2 + 2*d + 1. Let g be a(-1). Suppose -5*p + p - 3*s + 1360 = 0, -1023 = -3*p - g*s. Is p a prime number?
True
Let b be (-6)/(1 - -2) + 2. Suppose -4*v + 56 + 20 = b. Is v prime?
True
Suppose -2*r - 3*m + 1026 = m, -509 = -r - 4*m. Is r a composite number?
True
Let q = -209 + 546. Is q a composite number?
False
Suppose 25 = -5*u, 0 = 3*g + 2*g + 2*u - 780. Is g a prime number?
False
Let d(k) = -k**3 + 10*k**2 + k - 8. Let g be d(10). Suppose 2*p + g*r - 1017 = -3*p, 4*p - 809 = 3*r. Is p composite?
True
Let x be ((-9)/3 - 0) + 1. Let b(l) = -54*l**2 - 3*l + 3. Let s(d) = 55*d**2 + 4*d - 4. Let f(j) = x*s(j) - 3*b(j). Is f(-2) prime?
False
Let t(c) = -87*c - 2. Is t(-3) prime?
False
Suppose 0 = 20*k - 5759 - 12261. Is k prime?
False
Suppose 5*j + 78 = 513. Suppose -j = -c + 427. Is c composite?
True
Suppose 770 = 6*m - m. Let r = 84 + -171. Let b = m + r. Is b a composite number?
False
Suppose -1587 = 4*r - 7*r. Is r composite?
True
Let g = 11 - 6. Suppose -4*o - 10 = -g*o. Is o composite?
True
Suppose 0 = i + 6*n - 3*n - 151, 5*n = -3*i + 461. Is i a composite number?
False
Let x(b) = -b**2 - 4*b + 4. Let y be x(-4). Suppose 4*q + 344 = y*n - 0*q, n + 3*q - 86 = 0. Is n a prime number?
False
Let w(h) = 2*h + 59. Let y be 3 - 0 - (5 - 2). Is w(y) prime?
True
Let n be 8 + (1 - 2)*1. Suppose 0 = -0*b + 5*b + 15, 3*s = -3*b + 48. Suppose 2*c - s = n. Is c a prime number?
True
Suppose -3*m + 113 = 4*f, m + 2*m - 87 = -3*f. Is f prime?
False
Let q = 1131 + -806. Let i = -196 - -130. Let p = i + q. Is p a composite number?
True
Let w(h) = -20*h + 12. Let m be w(10). Let s = 35 - 144. Let k = s - m. Is k composite?
False
Is -214*(-10)/4 + 2 a prime number?
False
Let i(s) be the third derivative of s**6/40 - s**5/30 - s**4/24 + 5*s**3/6 - 3*s**2. Is i(4) a composite number?
True
Let p = -782 + 1132. Let r = 182 + -341. Let a = r + p. Is a composite?
False
Suppose 5*g - 1066 = -y, 3*g + 4*y - 960 = -317. Is g prime?
False
Let d(v) = v**3 - 5*v**2 - 6*v - 4. Let g be d(6). Let k be (-2058)/(-9) - g/12. Suppose -m + k = 80. Is m a composite number?
False
Let a(d) = -d + 78. Let s be a(0). Suppose -s = 3*w - 5*w. Suppose w = 4*b - 229. Is b a composite number?
False
Suppose 4*k = 20, 4*k = -3*v + 6*v + 2. Suppose v*z = 8*z - 70. Is z a prime number?
False
Let r(l) = -17*l. Let m(g) = -g**3 + 3*g**2 - 3. Let i be m(3). Let f be r(i). Let j = 84 - f. Is j composite?
True
Let s = 3045 - 628. Is s a composite number?
False
Let l(h) = 5 - 13*h + 25*h - 37*h - 49*h. Let f(u) = -u + 1. Let j be f(5). Is l(j) a prime number?
False
Let y = 85 + -146. Let p = y + 128. Is p prime?
True
Let q = 101 - 72. Suppose 0 = 3*n + 130 + q. Let o = 90 + n. Is o a prime number?
True
Suppose 2 - 1 = -r. Is (-340)/(-16) + r/4 composite?
True
Suppose -j = -2, -2*d + 4*d = 3*j + 20. Suppose d - 