- d) a prime number?
True
Let x(f) be the first derivative of f**3/6 - 3*f**2/2 + f - 4. Let u(j) be the first derivative of x(j). Is u(13) composite?
True
Let w(l) = 4*l**2 + 3. Let a(o) = o**2 - o. Let p(q) = -5*a(q) + w(q). Let m be p(5). Suppose 2*d = -2*h + 12, -m*h = -0*h + 15. Is d a prime number?
True
Let o(c) be the first derivative of -c**2/2 + c - 4. Let i be o(-2). Let v(r) = 4*r**3 - 2*r**2 - r + 2. Is v(i) a prime number?
True
Suppose 0 = -5*y + 167788 - 10233. Is y composite?
False
Let y(g) = 50*g**2 - 9 + 3*g - 12*g + 5 - 8. Is y(-5) prime?
True
Suppose 0 = -46*d + 47*d - 211. Is d a prime number?
True
Let m = -45 + 69. Suppose -5*z = -5*u, -3*z + m = z + 2*u. Suppose 5*c - 212 = 3*c + 2*j, 0 = z*j - 12. Is c composite?
False
Let t = -7482 + 14101. Is t prime?
True
Is (-3433)/(-5)*(-260)/(-52) a composite number?
False
Let m be 82 + 1/(2/(-2)). Let u be 12/(-16)*m*-8. Let d = u + -232. Is d composite?
True
Let p(t) = -7*t + 15. Let o be p(-12). Let s = o + 221. Suppose j - s = -3*i, -i - 332 = -j - 0*j. Is j a prime number?
False
Let n(g) = -g**3 + 14*g**2 + 3*g - 5. Let u = 59 - 48. Is n(u) a composite number?
True
Suppose p = -2*p - 1314. Let u = 632 + p. Is 1/(2 - 386/u) a prime number?
True
Let i = 10819 + 20946. Is i composite?
True
Let b be ((-111456)/(-60))/((-1)/(-6 - -1)). Let h = b - 6631. Is h composite?
False
Suppose -3*o = -b + 1634, 3*b - b + 2*o = 3276. Let p = b + -720. Is p a composite number?
True
Suppose 3*l + 0 = 12. Suppose 42*p = 37*p. Suppose -l*x + p*x + 196 = 0. Is x a composite number?
True
Suppose 3*o = o + 12234. Is o a composite number?
True
Let o be (5 + -4)/(1/438). Suppose -4*s + o + 190 = 0. Suppose 0 = h + 3*n - s, 0 = -0*h + 2*h + 3*n - 320. Is h composite?
False
Let r = -1 + 1657. Let y = -1085 + r. Is y composite?
False
Let l be (-2)/(-5) - 1348/(-5). Suppose 149 + l = o. Is o composite?
False
Let d(v) = -v**2 - 3*v. Let u be d(-5). Is (3884/u)/((-4)/10) prime?
True
Suppose -5*h - 99 + 19 = 0. Let l = h - -8. Is (l/16)/(2/(-1628)) a prime number?
False
Let n be (10/20)/((-1)/(-4)). Suppose -n*w = -3*w + 2, -5*r + 699 = -3*w. Is r a composite number?
True
Let o(u) = 116*u + 5. Suppose -z - 3 = -2*z. Is o(z) a prime number?
True
Suppose 0 = 2*j - 11 + 3, -2*j = 4*y - 16. Suppose -135 = -5*a - y*h, 2*a = 4*h + 22 + 8. Suppose 134 + a = l. Is l a prime number?
False
Let i(w) = -w - 17. Let t be i(-19). Is (-51)/(-85) + (6688/10)/t prime?
False
Let j = -18 - -27. Suppose 6*w = j + 753. Is w a prime number?
True
Suppose -9433 = 2*d + 3*q, -7*d + 4*q - 4733 = -6*d. Let b = -2326 - d. Is b a prime number?
False
Suppose 10 - 8 = -2*c. Is 26 + (-1 - -1)/(c + 2) composite?
True
Let s(c) = 131*c**3 - 2*c - 1. Suppose 4*u - 3 = 5. Is s(u) composite?
True
Let o be (-4 + -14)*2/(-3). Let s = -22 + o. Let h(z) = 3*z**2 - 6*z + 13. Is h(s) a composite number?
False
Let q = 45 - 37. Let j(x) = 2*x**3 + x - 1. Is j(q) a prime number?
True
Is 0 + 3 + (-284)/6*-192 prime?
True
Let q = -1278 - -2914. Is (-1)/(3268/q + -2) a composite number?
False
Let o be (-16)/(-20) - 8/10. Suppose 5*m - 15 = -o. Suppose -473 = -m*k + 10. Is k prime?
False
Let w(o) = -2*o - 14. Let j be w(-8). Let r be j/4*0 + 3. Suppose 4*i + 3636 = r*l + 3*i, -l = -2*i - 1207. Is l composite?
False
Let y(q) = -q + 4573. Let b(r) = -r**3 - 4*r**2 - 2*r + 4. Let p be b(-2). Is y(p) a composite number?
True
Let p(t) = t**3 - 7*t**2 + 7*t - 4. Let u be p(6). Suppose u*c + 0*c = 16. Suppose 4*h - c = 0, 4*h - 2*h - 925 = -3*g. Is g prime?
True
Suppose 3*k = -k - 4. Is 6 + 3 + (-1)/(k/1) a composite number?
True
Let j(m) = 186*m - 1. Let b be (-102)/(-14) + (-20)/70. Suppose 13 = 2*t + b. Is j(t) a prime number?
True
Let l(u) = u - 1. Let c(h) = -3*h + 4. Let z(o) = c(o) + 4*l(o). Let m be z(2). Suppose 198 = -0*n + 2*n - m*y, -5*y = -n + 115. Is n a prime number?
False
Suppose 6*q = 2*q + 36. Suppose -4*y = -q*k + 4*k + 23, 0 = k - 4*y - 11. Is (k - (-631 - -3))/1 composite?
False
Suppose d + 23 = 295. Suppose -2*q + 2*r = -d, -4*q + 468 + 51 = r. Is q a composite number?
False
Suppose f = -3, -f = -u + 11 - 4. Suppose 0 = -4*z - z + 655. Suppose -1303 = -u*d - z. Is d prime?
True
Suppose 5*a = -3*g - 9541, 6*g - 2*g + a + 12727 = 0. Let r = -1923 - g. Is r a prime number?
True
Is (4/((-12)/(-9199)))/((-1)/(-3)) composite?
False
Let s = 30800 - 12371. Is s prime?
False
Let u = 34 + 0. Suppose -15*h + u + 25511 = 0. Is h a composite number?
True
Let z be (-57630)/(-35) - (-15)/35. Suppose 0*x - 5*x = 2*t - z, 2*x = t + 666. Is x prime?
True
Is 569/(-2 - (-25)/10) a composite number?
True
Let y = 5802 - 655. Is y a prime number?
True
Let g = 195129 - 133846. Is g a prime number?
True
Let b(o) = -o**2 + 8*o - 4. Suppose 0 = 3*p + 2*k - 17, p = -3*p + 4*k - 4. Let d be b(p). Let c(l) = 2*l**2 + 12*l - 1. Is c(d) a prime number?
True
Suppose 74070 = 5*c - 39395. Is c a prime number?
False
Suppose 6*v + 0*v - 9708 = 0. Let j = -1127 + v. Is j composite?
False
Suppose -x + 4 - 11 = 3*t, -1 = -x - t. Suppose -15 = x*c, -3*m - 4*c = -c - 4386. Suppose -o - m = -6*o. Is o prime?
True
Suppose 0*x - x = -3. Suppose -3*d + 4*y + 2303 = -2406, -x*d + 4704 = -3*y. Is d a composite number?
True
Let o(z) = 223*z**2 - 4*z - 52. Is o(-7) composite?
False
Let f = -68685 + 115856. Is f composite?
True
Suppose -3*n + 5*s - 109 = 40, -2*s = 10. Let f be n/(-18) - (-4)/(-18). Suppose -3*g + 2334 = f*g. Is g a prime number?
True
Suppose 5*u = -u - 102. Is (u - -14)*(-673)/3 composite?
False
Suppose z - 27402 + 2249 = 0. Is z composite?
False
Let p = 25137 + -17098. Is p a composite number?
False
Let f be (-52)/(-16) - 1/4. Suppose 0 = -w + f + 1. Suppose -w*p = -3*p - 97. Is p composite?
False
Let f = -86 + 91. Suppose -f*b = 2*c - 440, 3*c - 4*b + 223 = 4*c. Is c a prime number?
False
Let o be (-98)/(-3) + 2/6. Let u = o + -36. Let b(i) = -18*i**3 + 3*i**2 - 3*i - 1. Is b(u) a composite number?
False
Let b(y) = -y + 6. Let v be b(3). Is 2269 - -2 - 12/v prime?
True
Suppose 4*u + 25 = -f - 5901, -2*u - 2970 = 4*f. Let w = u - -2112. Is w a composite number?
False
Is 1/2*(60 - -19616) prime?
False
Let w = -26433 + 47262. Let c be 11/(-4 - (-22)/6). Is (-4)/22 - w/c a composite number?
False
Let s(m) = 18*m**2 + 6*m + 20. Let l(x) = 6*x**2 + 2*x + 7. Suppose -3*n + p = -7*n - 39, 12 = -2*n - 2*p. Let y(u) = n*l(u) + 4*s(u). Is y(-3) composite?
True
Suppose 132*z - 3810749 = 23*z. Is z prime?
True
Let u(r) = -996*r**2 - 4*r - 3. Let d be u(-1). Let m = 1576 + d. Is m composite?
True
Suppose -3*u + 5 = -4. Let t(r) = 11*r**2 - 5*r + 5. Is t(u) prime?
True
Suppose -4*b = -2*w - 306, -2*b = -w - 2*w - 155. Suppose j - 71 = -5*v, b = -0*v + 4*v - 4*j. Suppose 2*t - 53 = -v. Is t a composite number?
False
Let z = 559 + 82. Suppose -5*g + 134 = -z. Is g composite?
True
Let t(b) = -90*b + 53. Is t(-12) a prime number?
False
Let a be (-4)/((-20)/(-15)) - -955. Let t = -605 + a. Is t a composite number?
False
Let z(a) = -a + 1. Let f be z(-3). Suppose -g = -4*g + f*d + 10, -g = -3*d. Is g a composite number?
True
Let d(s) = -s**3 - 19*s**2 - 53*s - 4. Let l be d(-16). Let c = l + 73. Is c prime?
True
Is 6/(12/115)*(-56)/(-20) a composite number?
True
Let z = -9678 - -27833. Is z composite?
True
Suppose -13*t + 15*t - 390 = 0. Suppose 0 = b - 134 - t. Is b a composite number?
True
Let l be 45/30*(-2)/1. Let z(k) = 160*k**2 + 3*k + 6. Is z(l) composite?
True
Let v be (113 - 4/(-4))/1. Suppose -v = 4*m - 490. Is m prime?
False
Let k be (1/2)/(2/12). Let f be 143830/25 + (-2)/10 + -3. Suppose k*u - f = -2*u + q, -5*q = -25. Is u composite?
False
Let n(c) = 9*c**2 + 3*c + 5. Suppose -b + 30 = 2*b - 3*v, -3*b = 5*v - 22. Let k be n(b). Suppose 0 = 4*i - k - 507. Is i a composite number?
False
Let j = 51 + -47. Is (j/(-8))/(2/(-764)) prime?
True
Suppose -m = 3 + 23. Let b = m + 107. Suppose k - b = 176. Is k a prime number?
True
Suppose 15*s - 150 - 15 = 0. Suppose -s*k - 21635 = -16*k. Is k a prime number?
True
Let k = 9 - 7. Suppose k*j = 5*j - 15. Suppose 925 = -0*r + j*r. Is r composite?
True
Suppose 3*w = 7*w - 12. Suppose o = w*o - 8. Suppose -x = -o*x + 75. Is x prime?
False
Let x = 1466 + -109. Is x a prime number?
False
Suppose -z + 11 = 2*k, z = -0*z + 2*k - 5. Suppose 0 = 2*