+ 26/6. Is z(t) a composite number?
True
Let w(u) = -25*u**3 + 2*u + 1. Let r be w(-1). Suppose -4*d - 2*o + r = 0, 0 = -2*o - 0*o. Is d composite?
True
Is (-7036)/(-24) - (-3)/(-18) composite?
False
Is 4530/40 + (-2)/8 prime?
True
Let p(a) = -2*a**3 - 3*a**2 - 4*a + 7. Let z(t) = t**3 + 2*t**2 + 2*t - 4. Let o(d) = -3*p(d) - 5*z(d). Let w be o(1). Is 45*1 + w + 1 prime?
True
Suppose v - 4 = -8. Let z(n) = -9*n**3 + 5*n + 3. Is z(v) a composite number?
True
Let t = -241 + 627. Is t prime?
False
Suppose 0*l + 8 = 4*d - 4*l, 0 = -2*d - 4*l + 34. Suppose 1284 = -8*x + 11*x. Suppose -x - d = -5*s. Is s a prime number?
False
Is (-3)/21 - (1 + (-4790)/14) composite?
True
Suppose 0*k - 10 = -k. Suppose -4*r - r + k = 0. Suppose -r*a = -4*d + 2*d + 16, d = -a + 12. Is d a prime number?
False
Suppose -1 = q - 5. Suppose 0*f + 724 = q*f. Is f a prime number?
True
Suppose -5*z - 14 = 3*u, 2 - 6 = z. Suppose u*k - 7*o = -3*o, -2*k + 3*o = 5. Is (-6)/k - (-786)/15 prime?
True
Let u(o) = 10*o**2 + 7*o. Let t be u(5). Is 2/5*t/3 prime?
False
Is (38668/(-70))/((-4)/10) a composite number?
False
Let m(u) = 6*u**2 + u. Let f be m(-1). Let o = 182 + f. Is o prime?
False
Let p(u) = 3*u - 2. Let c(n) = 3*n - 3. Let w(v) = 6*c(v) - 5*p(v). Is w(10) composite?
True
Let y = 498 + -11. Is y a composite number?
False
Let u be 6/(-27) - 2002/(-18). Suppose -5*d + 19 = 3*p, 3*d = -2*p + 13 - 2. Suppose -154 = -d*q + u. Is q a prime number?
True
Suppose 0 = -4*f + f + 15. Suppose f*p = 55 + 130. Is p prime?
True
Suppose 252 = 3*o - 0*o. Let q = 131 - o. Is q a prime number?
True
Let i(n) = n - 90. Let c be i(0). Let l = 184 + c. Suppose j = 3*j - l. Is j composite?
False
Suppose 2*n - 12 = -3*a, 0*a + 8 = -5*n + 2*a. Suppose n*c + c + 6 = 0. Let z(h) = -h**2 - 8*h - 5. Is z(c) a prime number?
True
Let y = -7 - -11. Suppose -4*g - y*z + 1032 = 0, 0*g + 509 = 2*g - 5*z. Is g prime?
True
Suppose 0 = 5*p - 2*o - 16, 15 = 3*p + o - 4*o. Suppose -4*f + p*j + 158 = 0, 2*j - 170 = -5*f - j. Is f composite?
False
Let r = 127 + -64. Let v = -37 + r. Suppose -i + v = i. Is i a composite number?
False
Suppose 9 - 25 = -4*y. Let m(f) be the first derivative of 3*f**4/4 + f**3/3 - 3*f**2 + f - 1. Is m(y) a composite number?
True
Suppose -16 = -4*x, 0 = -q - x - 3*x + 16. Let y(j) = j - 5. Let l be y(q). Let k = -3 - l. Is k composite?
False
Suppose -4849 = -6*a - 1111. Is a composite?
True
Suppose -6 + 4 = -k. Suppose 0 = -k*q + 9 - 3. Suppose -q*o + 126 = -105. Is o prime?
False
Let s(v) = 6*v**2 + 10*v + 7. Is s(-6) prime?
True
Let p be (-115)/(-2)*28/35. Let i = p - 30. Let r = i - -6. Is r composite?
True
Is (-6)/(18/(-275)) + 4/(-6) a prime number?
False
Let t(o) = -o**3 + 11*o**2 + 5*o - 7. Let k be (-2 + (5 - 3))/2. Suppose k = -5*w + 9 + 21. Is t(w) a prime number?
False
Let o(y) be the third derivative of 3*y**4/8 + 2*y**3/3 - 22*y**2. Let t = -5 - -12. Is o(t) composite?
False
Suppose 0 = 4*z + 3*s - 691, 2*z - 2*s - 328 = -0*z. Let p = -280 + z. Is (p/6)/((-1)/2) a prime number?
True
Suppose -4*s - m + 2955 = 0, 5*m + 765 = -2*s + 3*s. Let i = -433 + s. Is i a composite number?
False
Let f(j) be the second derivative of 9*j**3/2 + j**2 - j. Suppose -3*o = -15, -4*o - 1 + 12 = -3*d. Is f(d) a composite number?
False
Let n be 3*(-199)/(-12)*8. Suppose -124 = -6*a + n. Is a prime?
False
Let l(t) = -2*t - 4. Let j be l(-4). Suppose -p = 5*h + 3, -5*h + 6 = -3*h - 2*p. Suppose 644 = j*f + 2*m, -2*m + 8 = -h. Is f a prime number?
False
Suppose -6*x + x + 2*s = -233, 5*x = -s + 221. Let b = x + 32. Is b prime?
False
Let y = 11 - 1. Suppose -635 = -y*p + 5*p. Is p a composite number?
False
Let x(n) = n**2 - 3*n + 4. Let g be x(3). Suppose -g*l + 6 = -l, 5*w = l - 27. Let u = 8 + w. Is u a prime number?
True
Let j be (-15)/10*8/(-6). Suppose -k = -2*k + j. Suppose 0 = k*d - 25 + 3. Is d composite?
False
Suppose 9*x - 1172 = 5*x. Is x prime?
True
Let u = 7 + -5. Suppose 0 = -4*a - 10 - u. Is a - (-1 - (-2 + 189)) prime?
False
Suppose 2 = -2*h - 72. Suppose -130 - 74 = -3*q. Let l = h + q. Is l prime?
True
Let z be (-2)/(-1)*(-358)/(-4). Suppose -2*n = -z - 111. Is n a composite number?
True
Let v(d) = -d**3 - 12*d**2 + d + 12. Let u be v(-12). Let c = 4 - 1. Suppose 5*o = u, 8 = 2*y - c*o - 0. Is y a prime number?
False
Let a = -1 + 3. Let w be (164/(-6))/(a/(-12)). Suppose -4*g = 4*u - w, -3*u - 25 = g - 2*g. Is g a prime number?
True
Let z(d) be the second derivative of 17*d**7/2520 - d**6/720 + d**5/120 - d**4/12 - 3*d. Let f(g) be the third derivative of z(g). Is f(2) a prime number?
True
Let k(o) = 20 + 168 + 3 - o. Suppose 4*s + 8 = i + 28, 2*i - 25 = -5*s. Is k(i) prime?
True
Let d = 6 + 70. Let b = d + -21. Is b a prime number?
False
Let a = 61 - -54. Is a a composite number?
True
Let l(u) = -17*u**3 - u**2 + 2*u - 1. Is l(-2) prime?
True
Suppose 5*w - 12 = 3*w. Let p(s) = 4*s**2 - 7*s - 7. Is p(w) composite?
True
Suppose 0 = -7*h + 4*h + 201. Is h prime?
True
Suppose 225 = 7*t - 41. Is t prime?
False
Is (-105)/(-3) + (-9)/(-3) prime?
False
Suppose 4*d = 13*d - 3681. Is d a composite number?
False
Let z be (-6)/(-21) + (-12049)/7. Is (-1)/2*(z - 5) a prime number?
True
Suppose -2*g = -3*m + 157 + 115, -3*m + 3*g = -267. Is m prime?
False
Let z(t) = -t**2 - 6*t + 10. Let f be z(-7). Let q = -1 + f. Is ((-22)/(-8))/(q/56) a composite number?
True
Suppose -2*h + t = 484 - 1721, 5*h + 4*t = 3099. Is h a composite number?
False
Let u = -130 - -423. Is u a composite number?
False
Let m(c) = -c**3 - 3*c**2 - 2. Let t = -1 - 1. Let g be m(t). Is 4 + (-3)/(g/(-4)) a prime number?
True
Let v = -1 + 7. Suppose -w + 8 = -v. Is w prime?
False
Let m(y) = -y**2 + y + 1. Let i(w) = 2*w**2 - 4*w - 3. Let n(t) = -t**2. Let o(p) = i(p) + 5*n(p). Let a(r) = m(r) - o(r). Is a(-3) composite?
False
Let f = 3 - 1. Let d(w) = w**2 + 13*w + 13. Let i be d(-12). Is 32 + 0 - (f - i) a prime number?
True
Is (-1174)/(-4) + (-3)/6 prime?
True
Let b = -8 + 7. Let p = 2 - 0. Is (b - 48)/(p/(-2)) a prime number?
False
Suppose 3*n = -3*g + 489, -2*n + 5*g + 274 = -52. Is n prime?
True
Is (-2559)/2*(-2)/3 a composite number?
False
Suppose 11*f + 11545 = 16*f. Is f prime?
True
Let g(x) = x**2 + 1. Let s be g(1). Let b be s + 0 + 69/(-3). Is (-2505)/b - 4/14 a composite number?
True
Suppose 10*j = 4*j. Suppose j = -x + 46 + 16. Is x a prime number?
False
Let o(y) = 9*y**2 + 6*y + 1. Let i be o(-5). Let b = i + -101. Let v = b - 40. Is v a prime number?
False
Let x = -4 - -9. Suppose 75 + 395 = x*c. Is c composite?
True
Suppose 0 = -4*s + 1266 - 422. Is s prime?
True
Let g = 4 + -4. Suppose -51 = -4*k + 3*a - g*a, -3*k = -3*a - 36. Is k prime?
False
Let r be -2 + 5 + 1*-9. Is (-381)/r*(-6)/(-3) composite?
False
Let r(w) = -w**3 + w**2 - w + 1. Let s be r(0). Suppose -3*h - 7 = -31. Let z = h - s. Is z prime?
True
Let g(r) = 514*r**3 + 2*r**2 - 3*r + 2. Is g(1) a composite number?
True
Suppose 8 = -2*b, -4*n + 6 = -4*b + 42. Let g = -8 - n. Suppose 3*f + 21 = r, -g*r + 4*f - 2*f = -105. Is r prime?
False
Let g(j) be the second derivative of j**3/3 - j**2 + j. Let c be g(7). Is c/(-3)*170/(-8) prime?
False
Suppose -3*f + 1 = -8. Suppose -f*t = -m - t + 137, -m + 3*t + 136 = 0. Suppose -5*b + m = -106. Is b composite?
True
Let m = -15 - -17. Suppose m*o = 18 + 96. Is o composite?
True
Let i = 439 + -265. Let a = i + -116. Is a a composite number?
True
Is (-1)/((-2)/252) - -3 composite?
True
Let b = 292 - 134. Is b prime?
False
Let u(o) be the third derivative of o**8/6720 - o**7/504 - o**6/720 + 7*o**5/120 + o**4/8 - 3*o**2. Let n(y) be the second derivative of u(y). Is n(6) prime?
True
Is -58*((-2)/(-4) - 3) a composite number?
True
Let o be 9 + (-2 - 0/1). Let y(w) = 7*w - 12. Is y(o) composite?
False
Suppose -3*m = -4407 + 1776. Is m a composite number?
False
Let b(a) be the second derivative of 131*a**5/20 + a. Suppose -3*w + 0*w = -3. Is b(w) composite?
False
Is 4/1 - -501*1 prime?
False
Let z be (-1 - (-2 - -2))*-5. Let f(w) = w - 1. Let n be f(z). Is 272/12 + n/(-6) prime?
False
Let s(c) = -c**3 + 8*c**2 + c + 9. Suppose t = 6*t - 35. Is s(t) composite?
True
Let a(s) = -31*s**3 + 3*s**2 + s - 4. Is a(-2) prime?
False
Suppose -2*w - 16 = -6*w. Suppose -a + 445 = w*a. Is a a composite number?
False
Let p be 