 + 6. Is (1 + -16)*(o + 1) composite?
True
Let s(b) = -56*b - 15. Is s(-13) prime?
False
Let t(m) = m**2 + 9*m - 13. Let u(a) = -1. Let g(x) = -t(x) + 6*u(x). Is g(-8) composite?
True
Let j be (1 - (0 - 1)) + 161. Let h = -110 + j. Is h prime?
True
Suppose 0 = 2*y + 5*z - 283, -z + 433 + 11 = 3*y. Is y a prime number?
True
Let d(y) = 7*y**3 - 14*y - 6. Let x be (-9 - 0)*(-4)/(-6). Let i(h) = -h**3 - h**2 + h. Let w(a) = x*i(a) - d(a). Is w(7) a composite number?
False
Let l = 6 + -2. Suppose -a = 2*c - c - 72, -5*a + 283 = l*c. Is c composite?
True
Let o(a) = -15*a**3 + 5*a**2 + 0*a + 0*a - a - 2 + 2*a. Is o(-3) prime?
False
Is 2/2*(158 - -3) prime?
False
Let a(m) = 340*m - 23. Is a(4) composite?
True
Let d = -557 + 850. Is d prime?
True
Suppose 2*i + 4*q = 6*i - 72, -i = 5*q. Let j be (10/i)/(1/(-36)). Let d = 46 + j. Is d a prime number?
False
Let f(g) = 7*g**3 + 8*g**2 + g - 7. Let k(u) = 6*u**3 + 7*u**2 + u - 6. Let s(p) = 5*f(p) - 6*k(p). Let q be s(-2). Is (1 - (-2 + q)) + 33 composite?
True
Let c(n) = -n**2 - 4*n - 1. Let z be c(-3). Suppose 4*a = -2*v + 32, 2 = 4*a - z. Is v prime?
False
Let i(z) = -25*z + 10. Let f = -12 + 3. Is i(f) composite?
True
Suppose 4*g - 8 = p, -4*g + 8 = -0*g. Suppose 26 = -p*w - 2*w. Is -1 - (1 - (2 - w)) a prime number?
True
Suppose 2*y - 329 = 41. Is y a composite number?
True
Let c be 0 - -3 - (-3 - -3). Suppose c*o = 5*p + 216, -o + 5*p + 38 + 44 = 0. Is o prime?
True
Let y(f) = 11*f**2 - 5*f - 8. Let i be y(-6). Let x = 799 - i. Is x a prime number?
False
Let n = 10 + 201. Is n composite?
False
Let u = -1015 + 2132. Is u a composite number?
False
Suppose 0 = -5*g - 2*u + 261, -g - 5*u + 21 = -22. Is g prime?
True
Let s(u) = 17*u**2 - 2*u - 5. Is s(-2) a composite number?
False
Suppose -11*p + 8*p + 9051 = 0. Is p a prime number?
False
Let k(s) = 51*s**2 + s - 13. Is k(-4) prime?
False
Let y(p) = -13*p**3 - 6*p**2 + p + 7. Is y(-4) a prime number?
True
Let w(y) = y**3 - 7*y**2 - 8*y - 1. Let j be w(8). Let c(r) = -81*r + 1. Is c(j) prime?
False
Suppose -2*h = 2*h. Suppose 0*u - 5*u + 255 = h. Is u composite?
True
Let y(q) be the second derivative of 17*q**4/6 - q**3/2 + q**2 + 6*q. Is y(1) prime?
False
Suppose -4*l - l = -60. Let q be ((-8)/3)/((-8)/l). Suppose q*a = 228 + 80. Is a a prime number?
False
Let y = -270 + 613. Let j = y + -180. Is j prime?
True
Let s be -3*3/(-18)*84. Suppose -s = -5*q + 53. Is q a composite number?
False
Let h(c) = -89*c**3 + c + 1. Is h(-1) a prime number?
True
Is (0 + -2)/((-8)/2348) a prime number?
True
Let c = 1799 - 1060. Is c a composite number?
False
Let f(w) = 3*w**3 - w**2 + 3*w - 3. Let g(o) = -4*o**3 + 2*o**2 - 3*o + 3. Let t(m) = 3*f(m) + 2*g(m). Is t(2) a composite number?
True
Suppose 7*p - 12438 = -3401. Is p a prime number?
True
Let f be ((-2)/(-2))/(1/2). Let n = 2 - f. Suppose g - 2*g + 179 = n. Is g prime?
True
Suppose a - 761 = 24. Is a prime?
False
Let b = 1683 - 1013. Suppose -3*a = 1 - 4, 5*s = 5*a + b. Let f = s + -58. Is f composite?
True
Let q(f) = -f**3 + 24*f**2 + 47*f - 19. Is q(23) a prime number?
False
Let b(g) = -30*g - 1. Let c be b(-2). Suppose 0*v + c = -v. Let i = v + 92. Is i a composite number?
True
Suppose 3*y = -0*u + u + 462, 4*y - 605 = 5*u. Is y prime?
False
Is 6436/7 + (-17)/7 + 2 a prime number?
True
Suppose -2*o - 12 = 2*o. Let v(q) be the first derivative of q**3 - q**2/2 + q - 3. Is v(o) a composite number?
False
Let a(p) = p**3 - 9*p**2 - 4*p - 5. Is a(12) prime?
True
Suppose 27 = 2*l - 139. Is l a composite number?
False
Suppose -g = 4*u - 5*u + 3, u + 3*g = 11. Suppose 0 = u*m, 4*j - 120 = 3*m - 8*m. Suppose 0 = -2*f + j + 14. Is f a prime number?
False
Let g(x) be the first derivative of 195*x**4/2 + 2*x**3/3 + x**2/2 - 3. Let a be g(-1). Is 2/(-8) - a/4 prime?
True
Let q(i) = -43*i + 1. Let h be q(-5). Suppose -2*r + h = -r + n, 0 = 4*r + n - 849. Is r a prime number?
True
Let u(t) = 170*t + 2. Let l be u(3). Suppose -k + l = k - 2*w, 4 = w. Let a = -169 + k. Is a prime?
False
Let i(a) = a**2 + 2*a. Let r be i(-3). Let w = 27 - 17. Let j = w - r. Is j a composite number?
False
Let l(b) = 3*b. Let h be l(1). Suppose -z + 58 = -h*q, -5*q - 204 = -5*z + z. Is z a composite number?
True
Suppose 0*s = 4*s + 16. Let j be s/(-18) - 43/(-9). Suppose -126 = -3*c - j*v + 1, 0 = 4*c - 4*v - 148. Is c a composite number?
True
Let g = 3 + -4. Let p = 150 + g. Is p a composite number?
False
Let c(t) = -8*t**2 + 2*t - 1. Let h be c(1). Let d = 12 + h. Suppose 0 = d*q - 268 - 7. Is q prime?
False
Let w = 5336 - 2577. Is w prime?
False
Is (0/5 - -1) + 0 + 168 a prime number?
False
Suppose -2*q - 5*a + 5306 = 0, 9*a + 7959 = 3*q + 4*a. Is q a prime number?
False
Let z = 4 - 4. Suppose 0*u = s - 4*u + 1, 5*u - 5 = z. Suppose -4*q + 0*q - y = -83, 0 = -s*q + 2*y + 65. Is q a prime number?
False
Suppose -791 + 6056 = 5*x - 5*w, 5*x + 4*w - 5283 = 0. Is x a prime number?
False
Suppose h + 5*h = 420. Suppose a = 6*a - h. Is a a composite number?
True
Let y = -673 + 1014. Is y a prime number?
False
Let x(g) = 13*g**2 - 4*g - 10. Is x(-4) composite?
True
Is -5 + (-141)/(-27) + 19915/9 composite?
False
Let y(t) = t**3 - 3*t**2 - 3*t - 1. Let f = 4 - 0. Is y(f) composite?
False
Suppose -565 - 719 = -4*i. Is i prime?
False
Suppose -1 = -5*f - 6, -2*z + 4*f + 474 = 0. Is z composite?
True
Is (1 - 10028/(-9)) + 2/(-9) composite?
True
Is (-2 + (-1066)/8)/(32/(-128)) a composite number?
False
Let v(l) = l + 4. Is v(-2) a composite number?
False
Let l(j) be the first derivative of 260*j**3/3 - j + 1. Suppose b = 2*b + 1. Is l(b) a prime number?
False
Let c(p) = 22*p + 7. Let n be c(13). Suppose i + 0*i = n. Is i prime?
True
Let t(s) = -24*s - 2. Let m be t(-2). Suppose 136 = z + m. Let q = -57 + z. Is q a prime number?
False
Suppose 2*w + 4*z - 832 = -230, 4*w + 5*z - 1195 = 0. Is w a composite number?
True
Suppose -2*k + 99 = -59. Is k prime?
True
Suppose -3*z = -5 - 4. Let c be 1/z + (-7)/3. Is (-1 - c) + 98 + -2 a composite number?
False
Suppose 5*i - 1490 = -5*l, -2*l = l - 15. Is i a prime number?
True
Let m(a) be the first derivative of 7*a**3/3 + 3*a**2 + a + 2. Let o be m(-4). Suppose -2*h + h + o = 0. Is h composite?
False
Is 8*1/(-2) - -195 a prime number?
True
Let n be (4 - 8)*4*1. Let w = n + 32. Let u = w + -1. Is u a composite number?
True
Let w = 3 - -180. Is w a prime number?
False
Let m = -88 - -147. Suppose -2*l = 2*s - 7*l - 11, -2*l = -5*s + m. Is s prime?
True
Let h(f) = -6*f**3 + 10*f**2 - 5*f + 2. Let v(g) = -7*g**3 + 11*g**2 - 6*g + 3. Let x(i) = -6*h(i) + 5*v(i). Let z be x(5). Suppose z = r - 4. Is r prime?
True
Suppose -z + 8 = z. Suppose 434 = z*t + 78. Is t a composite number?
False
Suppose 6*k - 4994 = 4*k. Is k composite?
True
Let g(u) = -u**2 + 3. Let b(s) = s - 6. Let d be b(8). Suppose 4*w - d*w = 0. Is g(w) a prime number?
True
Let d be -3*(0 - (-60)/(-9)). Suppose 2*t = d - 6. Suppose -q + t = -0*q. Is q prime?
True
Let t = 938 - 457. Is t a prime number?
False
Suppose -4*v + 3*r = 474, -4*v + 314 = -2*r + 790. Let t = v - -212. Suppose 2*n - 6*n + t = 4*d, 2*n = -4*d + 92. Is d a composite number?
False
Let r(c) = c**3 + 6*c**2 + 2*c - 1. Let a be r(-4). Suppose -3*w - 5*t = a, 4*w - 4*t = -3*t. Is 93 + (-2)/(w/(-1)) a prime number?
False
Let c = -280 - -887. Let z = c + -374. Is z a prime number?
True
Let q(u) = -2*u + 7*u - 6 - 2*u. Let w(t) = -7*t + 13. Let b(v) = -5*q(v) - 2*w(v). Is b(-7) composite?
False
Let k be (-31 + 3)/(2/(-11)). Suppose 2*o + 2*v - 154 = 5*v, -5*v = 2*o - k. Is o prime?
False
Let a(b) = -7*b**2 - 6*b + 5. Let x(i) = -13*i**2 - 11*i + 9. Let h(s) = 11*a(s) - 6*x(s). Let z be h(-2). Suppose -z*q + 232 = -q. Is q prime?
False
Suppose 5*d = -2*j + 983, 2*d + 3 + 3 = 0. Is j a composite number?
False
Let n = 6 + -1. Suppose -5*i - 30 = -4*d, 0 = 3*d + 6*i - i - n. Let z = d + 6. Is z composite?
False
Is 2/3*(-3165)/(-10) a prime number?
True
Let i = 89 + 306. Is i a composite number?
True
Let k(p) = -p + 5. Let i be k(4). Suppose -5*n + 2*l + 85 = 0, l - 4 = i. Is n composite?
False
Is 9/(-27) - 11830/(-3) a prime number?
True
Let w(o) = -o**3 - 9*o**2 - 10*o - 7. Let r be w(-8). Is (2/2 - 0)*r a prime number?
False
Is 92 + (-4 - (-5)/5) prime?
True
Let p = 40 + -21. Is p prime?
True
Let n