derivative of o**5/6 - 7*o**4/24 + 3*o**3/2 + o**2. Is n(4) prime?
False
Let u be 0 - 0 - (0 + -3). Suppose 5*w = u*w + 110. Is w a prime number?
False
Suppose -d = 3*x - 20, -d + 3*x = -x + 15. Suppose d*w = -2*b + 304, 4*w - w + 4*b = 174. Is w prime?
False
Suppose 358 = 3*y + 2*z, -4*y + 148 + 336 = -4*z. Is 0/(-6) + (y - -1) composite?
True
Let j(r) = -8*r - 11. Let i(t) = 24*t + 33. Let l(b) = -3*i(b) - 8*j(b). Let d be 3*-3 - (15 + -13). Is l(d) a prime number?
False
Suppose 5*n = n. Suppose n = -j - 3*j + 24. Is j composite?
True
Let a(d) = d**3 - 3*d**2 + 2*d + 2. Let r be a(2). Suppose -r*h = -2*x - 192, h + 6*x - x = 96. Let i = h - 43. Is i composite?
False
Let q be 10/45 + 2894/18. Suppose 2*t + 6 = 0, 5*t = o + t - q. Is o prime?
True
Let a(f) = f**3 - 8*f**2 + 8*f - 4. Let v be a(7). Let n(j) = -8 + 6 - 38*j + v. Is n(-5) a composite number?
False
Suppose 0 = 3*w, 6*w + 2014 = 2*a + 7*w. Is a composite?
True
Let r(j) = j**3 - 9*j**2 - 7*j + 12. Let n be r(10). Let x = 162 - 17. Let s = n + x. Is s composite?
True
Let b(y) = y**2 + 2*y - 1. Let i(w) = -w**3 + 4*w**2 + w - 1. Let p be i(4). Suppose n = 2*n + p, 2*m = 4*n + 24. Is b(m) a prime number?
True
Let o be (-5889)/(-15) - 4/(-10). Suppose 4*s - 2*s + 3*y = 772, 0 = -s + 2*y + o. Is s a prime number?
True
Let r = 943 + -506. Suppose -20 = -4*g, 4*u - g - 2*g = r. Is u a prime number?
True
Let u = 4 + -1. Let y be (u + -1)/((-2)/(-3)). Suppose 3*k + 3*h = 93, 4*k - h - y*h = 156. Is k composite?
True
Let o(f) = -5*f + 1. Let r be o(-7). Suppose -5*x + 34 = -5*d - r, -4*x = 2*d - 56. Is x composite?
True
Suppose 4*d = 5*g - 33, -3*g - d - d = -11. Suppose 3*t + 5 = -3*k + k, -t = g. Suppose -4*x = k*u - 222, 17 = 2*x - 2*u - 85. Is x composite?
False
Let y = 16 - 7. Suppose l + y = -1. Is (-55)/l*(3 - 1) a prime number?
True
Is 0 - ((-36165)/4 + (-2)/(-8)) a prime number?
True
Let u(c) = 2*c**2 - 2*c - 1. Let w be u(2). Suppose -252 = -w*p + 9. Is p a composite number?
True
Let w be (-1332)/(-8)*2/(-1). Is (4/(-6))/(2/w) a composite number?
True
Let s(d) = -d**2 + d + 79. Let j be 1/(-2 + 1) - -1. Is s(j) a composite number?
False
Let b(y) = -19*y**2 - y + 1. Let i be b(2). Let h(f) = f**3 - 6*f**2 + 6*f + 6. Let o be h(6). Let w = o - i. Is w composite?
True
Let f = -4 - -6. Suppose f*t - o = 3, t - o - o - 9 = 0. Is (5/3)/(t/(-21)) prime?
False
Suppose 0 = -5*x + 6 + 4. Suppose -x = 4*k + 2. Is (0 - k)/(1/37) prime?
True
Is 38/((-1)/(44/(-8))) a composite number?
True
Suppose 4*u - 3*n + 0*n - 492 = 0, 4*u = 2*n + 488. Let f = u + -53. Is f a prime number?
True
Suppose -10*p + 3*p + 1337 = 0. Is p a prime number?
True
Suppose -7*w = -3*w - 364. Is w composite?
True
Suppose -2*z + 5 + 3 = 0. Suppose r - 16 = j, -z*r + 0*j - 4*j = -48. Is r a prime number?
False
Let q(g) = 92*g - 11. Is q(3) prime?
False
Suppose -y = 3*y - 20. Suppose y = z - 25. Suppose -q + z = q. Is q a prime number?
False
Let p = -82 + 549. Is p composite?
False
Let o(l) = -10*l - 41. Is o(-19) composite?
False
Suppose -3*s - 1440 = -4*r + 1559, 0 = -5*r - 3*s + 3742. Is r a prime number?
False
Let c(u) = -4*u + 2. Let i be c(1). Let v(m) = m**2 + m + 1. Is v(i) a composite number?
False
Let q(w) = 2*w**2 - 14*w - 1. Is q(-11) a composite number?
True
Suppose -24*c - 354 = -27*c. Is c composite?
True
Let d(t) = 5*t + 18. Let m(v) = -11*v - 35. Let j(z) = -11*d(z) - 6*m(z). Is j(9) a composite number?
True
Suppose 3*h - 56433 = -10*h. Is h a composite number?
True
Suppose 4*p + h = p, -p + 5*h = 0. Let v be 2/3*(-45)/(-6). Suppose p = v*l + a - 49, 2*l + 45 = 7*l + 5*a. Is l prime?
False
Let u(l) = l**2 - 8*l - 3. Let n(c) = c**2 + 9*c + 9. Let i be n(-9). Let y be u(i). Is 766/y + 4/(-6) a composite number?
False
Let k = -178 - -358. Let f = k - 91. Is f prime?
True
Let u(z) = 149*z - 4. Let a(w) = 148*w - 3. Let r(v) = 5*a(v) - 4*u(v). Is r(1) a prime number?
False
Suppose 0 = -5*a - 3*g + 26, -a + 5*g = -0*g + 6. Let r = a - 4. Suppose 2*t - 7 - 21 = r. Is t a prime number?
False
Let m(w) = -120*w**3 - w. Is m(-1) a composite number?
True
Let z(b) = -6*b + 6 - 5 - 6*b - 4*b. Is z(-11) a prime number?
False
Suppose 8 = -4*r + 4*i, -4*r + 2 = -0*r + i. Suppose 8 = c - r*c. Let j(y) = -y**3 + 9*y**2 - 3*y + 11. Is j(c) composite?
True
Let m = -2 - -4. Let p be (-1)/1*m - 94. Let v = p - -139. Is v composite?
False
Suppose -u + 216 = -r, -3*u - 2*u - 5*r + 1090 = 0. Is u a prime number?
False
Suppose 18 + 0 = 3*l. Let f(c) = 29*c - 9. Let z(d) = 320*d - 100. Let h(s) = 45*f(s) - 4*z(s). Is h(l) composite?
True
Is (-2)/(-6)*23664/16 a composite number?
True
Suppose 0*y + 3 = 3*y. Suppose -202 = -g + y. Is g prime?
False
Is (7 + (-2845)/(-10))/(1/2) composite?
True
Let u(c) = 4*c + 2*c - 3*c. Let r be u(-5). Is (-3 + 1)/1 - r a composite number?
False
Let v = -370 + 1167. Is v composite?
False
Let s(q) = -119*q**3 - 2*q**2 - 3*q - 1. Is s(-1) prime?
False
Suppose 4*n = 7*n - 63. Is 1*n - 0/4 a prime number?
False
Suppose -9603 = -3*l + 3*t, 3*l + 0*l + 3*t - 9591 = 0. Is l prime?
False
Let a be (0 + -62)/((-6)/12). Suppose 346 + a = 5*r. Is r a prime number?
False
Let u be (-309)/(-4) - (-4)/(-16). Let t = u + -46. Is t a composite number?
False
Suppose 0*j + 4*j = 3*a - 27, a - 5*j - 20 = 0. Let l(i) = 11*i - 2. Let q be l(2). Suppose 0 = -a*z + q, 4*g - z - 84 = -0*g. Is g a composite number?
True
Suppose 2*n + 322 = 5820. Is n a composite number?
False
Suppose y - 57 - 70 = 0. Is y prime?
True
Suppose -3*k - 5*r + 8 = -4*k, 4*k - 14 = -3*r. Suppose -a + k*a - 35 = 0. Is a a prime number?
False
Suppose -15*i + 8245 = -3890. Is i prime?
True
Is 2*((-4)/6)/(4/(-249)) a composite number?
False
Let r(z) = 12*z**2 - 3*z - 2. Suppose -3*u - 1 = 4*l + 5, 4*l + 4*u = -4. Is r(l) a prime number?
False
Let p be (-3)/(-2)*20/(-3). Let g = p + 16. Let v = 25 + g. Is v a composite number?
False
Let g(u) = -u - 2*u - u - 2*u**2 - 3 - u**3. Let p be g(-2). Suppose 0 = p*x - x - 52. Is x prime?
True
Let q(b) = -12*b**3 - b**2 - 5*b + 1. Is q(-3) a composite number?
False
Let k(h) = h**3 + h**2 - 3*h + 8. Is k(7) prime?
True
Let p(h) = -h**3 - 3*h**2 - h - 1. Suppose -4 = 2*r, 0*r + 30 = -5*o - 5*r. Is p(o) prime?
True
Suppose 5*j = z + z + 1993, -2*z = 8. Is j a prime number?
True
Is (-1417)/(-2) + (7/2 - 3) composite?
False
Let f(o) = -2*o + 6. Let v be f(4). Let z be (-1)/v*-2 - -3. Suppose z*p - 1 = 29. Is p a composite number?
True
Let a = -535 + 866. Is a a prime number?
True
Let b = 564 + -246. Is b/9*(-15)/(-10) a composite number?
False
Suppose 0 = -q - 3*q + 1972. Is q composite?
True
Let f(n) = -n**2 - n - 1. Let i(z) = -z**3 + 17*z**2 - 4*z + 15. Let b(j) = 6*f(j) + i(j). Is b(8) a prime number?
False
Suppose 108 = q - 25. Is q a prime number?
False
Suppose -3*z = 2*c - 184, 5*z - 23 = c - 128. Is c prime?
False
Suppose 3*j + 186 = -2*m - m, -62 = m - j. Is m/3*(-3)/2 composite?
False
Let i = -474 + 1273. Is i prime?
False
Let f be (1 - 2) + 36 - -3. Let s = f - 17. Is s composite?
True
Suppose -4*u = -360 - 640. Suppose q + 22 = x - 26, 0 = -5*x - 5*q + u. Is x prime?
False
Let u(a) = -a**3 - 5*a**2 - 3*a + 3. Let l(i) = 1. Let m(g) = -2*g - 6. Let k(h) = 6*l(h) - m(h). Let f be k(-9). Is u(f) composite?
True
Suppose -4*p + 1988 = -0*p. Is p composite?
True
Let z = -8 - -13. Suppose -9 = -0*l - l - 3*g, 2*l - z*g + 4 = 0. Suppose l*o + q = 342 - 58, -5*q = -3*o + 254. Is o composite?
True
Let x(l) = l - 77. Let q be x(0). Is (q - 2)*(-1 + 0) a composite number?
False
Suppose -3*l = 13 - 1, 4*n + 4*l = 988. Is n composite?
False
Let x = 1126 + -747. Is x composite?
False
Is (-1)/(-4*1/(-8)) - -447 a prime number?
False
Let m(y) = -4*y - 2. Let j be m(-6). Suppose 0 = 2*p - j - 30. Is p prime?
False
Suppose 20 = -5*u, 0*u + 2*u = -2*f + 1316. Is f a composite number?
True
Let j = 59 + 462. Is j a prime number?
True
Suppose -5*u + 2 = -13. Let v(s) = s + s**2 + 2*s + 7 + u*s. Is v(-8) composite?
False
Let a = 119 - 10. Is a composite?
False
Let h(w) = -11*w - 1. Let p be h(-2). Let o = -10 + p. Is o a prime number?
True
Suppose 6*q + 3*m = 2*q + 3599, 4*m = -4*q + 3600. Is q prime?
False
Suppose 2*c = 7*c. Suppose c = o + 5, n - 4*n + 40 = -2*o. Is n prime?
False
Let x = -898 - -2829. Is x prime?
True
Let j = 