5*z + 32 + 33 = 0, -5*a + 90 = -2*z. Let f = 31 + a. Is f a composite number?
True
Let l(x) = 5*x**3 + x**2. Let a be l(1). Let d = 6 - a. Suppose -5*t + 39 + 131 = d. Is t prime?
False
Suppose -323 = -2*t + 7. Suppose -w - 4*a = -163, 4*w + t = 5*w + 5*a. Is w a prime number?
False
Let v = -576 + 863. Is v a composite number?
True
Is -337*(-2)/(-4)*-2 prime?
True
Let s = 8 - 12. Let f(n) be the first derivative of -n**4/4 + n**3 + 3*n**2/2 + 3*n + 7. Is f(s) prime?
True
Let a(n) be the third derivative of 13*n**4/12 + n**3/2 - 8*n**2. Is a(2) a prime number?
False
Suppose 2*a + 2*o + 6 = 0, 0 = -2*o + 7*o - 5. Let m = -6 - a. Is (2 - (-2)/m)*127 composite?
False
Let z(g) = -15*g + 16. Is z(-13) composite?
False
Let l be 4/(-3)*(-6)/4. Suppose 0 = l*q - 5*q. Suppose -3*i + 2*j + 55 = q, 15 = i + 3*j - 18. Is i composite?
True
Let v be -1 - -1 - (4 - -223). Let k = -204 - -44. Let s = k - v. Is s a composite number?
False
Let w(o) = -o**3 - 7*o**2 - 9*o - 9. Let f be w(-6). Is (-8)/(-12)*(f - 0) prime?
False
Suppose -3*b - 8 + 86 = 0. Suppose -3*q - 5*y = -130, -2*q + 5*y = 2*q - 150. Suppose -q - b = -3*u. Is u a prime number?
False
Suppose -158 = -3*t + 19. Is t a composite number?
False
Suppose 1 - 7 = -3*v. Suppose -v*z + 2 = -2. Is z prime?
True
Is 15 + (-16)/(-4) + 0 prime?
True
Let d be -1 + (-1 + 4 - 2). Suppose 5*m - m + 328 = d. Let f = m + 193. Is f prime?
False
Let s(n) = -n**2 + 2*n + 3. Let l be s(6). Is (-3756)/l + 3/21 composite?
False
Let c(i) = -7*i**2 - 5*i - 1. Let l be c(-4). Let q = -41 - l. Let n = q + -31. Is n prime?
False
Let j = -259 - -584. Suppose 0 = -m - 4*m + j. Is m a prime number?
False
Let x be 2 - 2/4*28. Is (237/x)/((-3)/12) prime?
True
Is (4/6)/(3/(-19449)*-2) prime?
True
Let m be (-666)/(-6)*(-13)/(-3). Suppose 0*h - 119 = -h - 2*t, 4*h = -3*t + m. Is h a prime number?
False
Let h(d) = -d**2 - 7*d + 11. Let f be h(-8). Suppose f*m + 780 = 3645. Is m a composite number?
True
Let l(m) = -267*m - 5. Suppose -3*q - 10 = 2*q. Is l(q) prime?
False
Let h(t) = -t**3 - t**2 - 2*t - 1. Let d be h(-1). Let k be -2 + (0 + d)*10. Let o(a) = 12*a - 7. Is o(k) composite?
False
Let a(z) = 307*z**3 + z - 1. Is a(1) composite?
False
Suppose 0*r = 2*r + 46. Suppose 5*g = 4*a + 50, -g = a + 6 + 2. Let y = a - r. Is y a composite number?
False
Is 1/(3256/(-652) - -5) a composite number?
False
Suppose 0*g = -g + 4. Let w(k) = -k. Let r(n) = -n**2 - 8*n + 5. Let d(x) = -r(x) + 3*w(x). Is d(g) a composite number?
False
Suppose o - 2 = -0*o. Suppose 266 = o*w - 0*w. Is w composite?
True
Suppose 0 = -3*f + 2*b + 140 + 269, -5*b + 260 = 2*f. Suppose -9 = -l - l + z, 1 = z. Suppose -l*o = -f - 55. Is o prime?
False
Is (2/(-3))/((-22)/17061) prime?
False
Suppose 0*f = -3*f - 336. Let t = f - -206. Is t a prime number?
False
Suppose 4*k - 1584 = -0*k. Let g be ((-6)/9)/((-1)/k). Let n = -185 + g. Is n a prime number?
True
Let j(c) = -91*c**2 - 5*c + 3. Let g be j(4). Is g/(-5) - 2/(-5) prime?
False
Suppose -2*m + 5*m = 561. Is m composite?
True
Suppose -14 - 4 = -5*k + 2*i, -4*k + i + 12 = 0. Suppose a + 0*a = k. Is (4/a - -49)*1 prime?
False
Let x = -1 - 9. Is (67/(-2))/(5/x) a composite number?
False
Suppose -f = -h - 80, -3*f + f - h = -169. Is f a composite number?
False
Suppose 0 = -2*i + 1615 + 2079. Suppose -2*m = 4*n - 3690, i = m + n + 2*n. Is m a prime number?
False
Is (2 - (0 + 0))*(-8857)/(-34) prime?
True
Suppose 4*g - 495 - 133 = 0. Is g prime?
True
Let k(n) = -n**3 - n + 3. Let i be k(0). Suppose -73 = -i*o + 134. Is o - (7 + -1)/3 prime?
True
Let v be (-3)/3*1 - -2. Is 0 - v - -44*2 prime?
False
Let s(x) = 13*x**2 + 4*x - 3. Let y(g) = -7*g**2 - 2*g + 1. Let l(h) = 3*s(h) + 5*y(h). Is l(5) composite?
True
Let o = -19 + 4. Let k = 46 + o. Is k a prime number?
True
Let k be (-2)/3 - (-4)/6. Suppose k = 3*b + b - 1676. Is b prime?
True
Suppose -5*g + 15 = q, 6*q - 5*g - 15 = 4*q. Let o = -1 + q. Is o prime?
False
Suppose 2*d - b + 1 = 3*d, -5*d = -5*b - 45. Suppose 3*f = -d*a + 4*f + 385, 0 = a + 4*f - 77. Is a composite?
True
Let g(n) = n**3 - 2*n**2 - 3*n + 3. Let z be g(3). Suppose 3*m = -z*k + k + 174, 0 = -4*k + m + 334. Suppose j + k = 5*j. Is j a prime number?
False
Let q = -3 - -3. Suppose 4*d - 8 = -q*d. Let a(b) = 30*b - 2. Is a(d) a composite number?
True
Let f(c) = -10*c**2 + c - 12. Let d(l) = -l**2 + l - 1. Let a(g) = 5*d(g) - f(g). Is a(6) a composite number?
False
Suppose -u - 20 = -111. Is u composite?
True
Let w(s) = -s - 3. Let o be w(-5). Suppose -5*n = o*i - 580 - 53, 0 = -2*i - 2. Is n a composite number?
False
Let d be (2 + 2)/(-2) + -6. Is d/6*51/(-2) composite?
True
Suppose -3*r + 0*r = 0. Suppose r = w + 4*u - 85, w - 5*w = -u - 357. Is w a composite number?
False
Let r be ((-6)/9)/((-2)/12). Suppose 2*o - 114 = r*l - 426, 2*o + 233 = 3*l. Is l composite?
False
Let s = 4350 + -1433. Is s prime?
True
Let t(a) = a**3 + a**2 - 4*a + 1. Is t(5) a prime number?
True
Let z = 7 + -3. Suppose v = 5*a - 1, -4*a - z*v + v + 16 = 0. Is 68/(6/3) + a composite?
True
Suppose -3*w + 30 = 6. Let s = w - -71. Is s a prime number?
True
Let v(s) = 9*s**2 - 7*s + 4*s**2 + 3*s + 3. Is v(2) a composite number?
False
Let p(z) = -13*z**2 + 4*z + 1. Let j(k) = -2*k - 5. Let n be j(-4). Let t(i) = 26*i**2 - 7*i - 2. Let q(g) = n*t(g) + 5*p(g). Is q(-1) a prime number?
True
Let v(b) = -b**3 + 3*b**2 + 3*b - 6. Let m be v(4). Let a be (1016/m)/(4/(-10)). Suppose -2*j = -0*j - a. Is j composite?
False
Let w = -5 - -3. Let l(k) = -k + 1. Let r be l(w). Suppose u - 148 = -r*u. Is u prime?
True
Let m = 10 + -22. Let i = 27 - m. Is i a prime number?
False
Let a(q) = -q**3 + 6*q**2 + 8*q + 1. Let y(r) = -r**3 - 3*r**2 + r - 1. Let g be y(-3). Let l be g/(-1) - (0 - 2). Is a(l) composite?
True
Suppose -w - 627 = -f - 0*w, -f = -3*w - 627. Suppose -2*o = 5*r - 446, 4*r - r = 3*o - f. Is o a prime number?
False
Is (21/(-63))/((-2)/7158) a composite number?
False
Suppose 8 = z + 3*a + 2, 0 = 3*a - 3. Let g be -1 + (27 - (z + -2)). Let p = 59 - g. Is p composite?
True
Let i = 81 - 44. Suppose 12 = -5*j + i. Let w = j + 5. Is w a composite number?
True
Let g(c) = -2*c - 9. Let a be g(-6). Suppose 0 = 2*z + a*r - 287, r - 581 = -4*z + 2*r. Is z composite?
True
Let x(d) = d**3 + 8*d**2 - 8*d - 5. Is x(-6) prime?
False
Let l be 0 - 9/(-2 + -1). Suppose -f - l*q + 112 = -462, 5*f + 3*q = 2810. Is f prime?
False
Let z = 1274 + -367. Is z a prime number?
True
Suppose -c - 3*c = 0. Suppose -2*u + u + 379 = c. Is u a composite number?
False
Let n = 110 - -236. Let h = n + -233. Is h prime?
True
Let k = 627 + -142. Is k composite?
True
Let q be (-115)/20 - (-2)/(-8). Is (28/q)/((-4)/12) a prime number?
False
Suppose -4*k = -k - 9. Suppose 2 = f, -403 = -k*h - f - 4*f. Is h composite?
False
Let u = 29 - -27. Suppose u = 4*q - 0*q. Is q prime?
False
Let d(x) = 2*x**2 + 36*x + 31. Is d(-25) composite?
True
Let x be 2/5 - 6/15. Suppose -6*w + 4*w + 318 = x. Is w prime?
False
Let s(c) = -4*c + 1. Let n be s(-6). Suppose 0 = -4*b + 4*h + 488, -4*h + n = h. Is b prime?
True
Suppose -3*k = -2*f - 18, 5*k - 47 = 4*f - 15. Suppose -k*z + 2*z + 74 = 0. Is z a prime number?
True
Let w = 613 + -359. Is w a composite number?
True
Let b(y) = -y**3 + y - 1. Let w(m) = 2*m**3 - 5*m**2 - 2*m + 10. Let d(j) = 3*b(j) + w(j). Let s be d(-5). Suppose -5*i + s*i + 99 = 0. Is i composite?
True
Suppose -4*p - 4*w + 28 = 0, -22 = 2*p - 4*p - 4*w. Suppose -2 = -p*v + 4. Let m(i) = 3*i**2 - 2*i + 3. Is m(v) composite?
False
Suppose -5*w = -15, 5*w = -c + 33 + 79. Is c a composite number?
False
Is (-5028)/(-20) - (-8)/(-20) prime?
True
Is (-9)/(-3) + 214*2 composite?
False
Let g(v) = v**2 + v - 1. Let r(l) = 4*l**2 - 3*l + 5. Let d(i) = -5*g(i) + r(i). Let u be d(-10). Is (u/(-3) - 3)*309 a composite number?
False
Suppose 45 = -2*x + 7*x. Let r(c) = 10*c + 7. Is r(x) a prime number?
True
Let y = -7 - -13. Suppose -y*g + 76 = -2*g. Is g a prime number?
True
Let p(o) = 6*o**2 + 2*o + 3. Is p(5) composite?
False
Let z be 82/(-5) + 6/(-10). Let o = z + 48. Is o a prime number?
True
Suppose 3087 = 3*f - 1614. Is f a composite number?
False
Suppose 4*u - 163 - 1833 = 0. Is u composite?
False
Let q(y) = -y**3 + 4*y**2 - 3*y + 2. Let c be q(3). Let u(m) = 2*m - 2. Let w be u(c