-36)). Suppose -z - 11 = -u. Is u a composite number?
False
Let l = 205 + -346. Let g = l + 206. Is g composite?
True
Let h(z) = -z**3 - 2*z**2 + 3*z - 1. Let a be h(-3). Let y be -1*((a - 1) + 20). Is 4/y - (-497)/9 composite?
True
Suppose 3*r - 2*z = 15, -3*r + 0*r + 6 = -5*z. Suppose -19 - r = -2*b. Is b a prime number?
True
Let j(k) = -2*k**3 - 4*k**2 - 2*k. Let a be j(-2). Let i = -2 - a. Is (-5)/15 + (-320)/i prime?
True
Let t be ((-410)/25)/((-2)/5). Suppose 786 = 4*d - 3*m, 6 = 3*m - 0. Suppose -5*r + r + t = l, 4*l - r = d. Is l composite?
True
Suppose -3*l = -2*l - 5*n - 70, -5*l + 5*n = -350. Suppose 2*k = 3*k + d - 28, 4*d - 79 = -3*k. Let t = l - k. Is t a composite number?
False
Let b be 3/2 - 74/(-4). Let p = b + -14. Let w(y) = 6*y - 3. Is w(p) a composite number?
True
Let v(x) = x - 2. Let y be v(2). Suppose y = -2*p + 4. Suppose -132 = -4*g - n - n, -70 = -p*g - 2*n. Is g a composite number?
False
Let i(y) = -1043*y - 13. Is i(-2) a prime number?
False
Let u(p) = 2*p - 1. Let d(k) = -k**3 - 6*k**2 - 6*k - 3. Let y be d(-5). Let c be u(y). Suppose c*z - z - 26 = 0. Is z composite?
False
Let r(h) = h**3 - 7*h**2 + 8*h + 6. Let p be r(6). Suppose p = 2*f - 0. Suppose -44 - f = -a. Is a composite?
False
Let m(b) = -b**3 - 5*b**2 - b - 2. Suppose -4*y - 10 = 10. Let a be m(y). Suppose 12 - a = f. Is f a prime number?
False
Suppose 5*i = 4*o + 174, 3*i + 3*o = -i + 133. Suppose -5*u - 39 = -324. Let m = u - i. Is m a composite number?
False
Let q = 9 - 6. Is q - 2 - 2 - -150 a prime number?
True
Suppose 0 = 6*m + 3*m - 3303. Is m a composite number?
False
Suppose 2*y + g + 4*g - 299 = 0, 0 = 2*y + g - 311. Is y prime?
True
Suppose 1 = 5*c - 4. Is (c + 0)/(6/54) a prime number?
False
Suppose 0*n = 5*m - 4*n - 15, 4*n = -20. Is 68/1 - (m + 2) a prime number?
True
Suppose -4*v = v - q - 41, 4*q + 36 = 4*v. Let n = 2 + v. Is n prime?
False
Suppose -7 = 5*k + 33. Let z = 8 + k. Suppose z = d + 1, -4*x - 2*d + 337 = 31. Is x prime?
False
Let q = -165 - -359. Is q a prime number?
False
Let r(u) = -u**3 - 3*u**2 - 6*u + 3. Is r(-5) composite?
False
Is ((-6)/(-9))/(2/3777) a prime number?
True
Is 2125/2 - (-48)/(-32) a composite number?
False
Is 4460/6 + 20/(-60) prime?
True
Let o be (-5)/((-75)/42)*5. Suppose -6 = 2*q - o. Suppose 8 = 2*a, q*a + 42 - 188 = -2*z. Is z prime?
False
Is (2865/(-12))/(-5)*2*22 a prime number?
False
Let x(t) = 1 + 3*t**3 - 4*t**3 + 3. Let k be x(-5). Let a = -92 + k. Is a prime?
True
Let q(j) = 6*j**2 - 2*j + 1. Let o be q(1). Suppose o = 5*b - 0*b. Suppose -b = 5*i - 56. Is i a prime number?
True
Let o(c) = -c**3 - 8*c**2 + 3*c - 7. Let u(g) = g**3 + g. Let v(l) = -o(l) - 2*u(l). Let k(d) = 3*d - 5. Let p be k(4). Is v(p) composite?
True
Suppose -493 = -10*k - 3. Is k prime?
False
Let s(r) = -r**2 + r + 11. Let p be s(0). Let j = 17 - p. Suppose -j - 14 = 4*x, 5*x = g - 39. Is g composite?
True
Let y(r) be the first derivative of 43*r**4/4 + r**2 - r + 4. Let u be y(1). Suppose -a - a = -u. Is a prime?
False
Suppose -j + 10 = -105. Is j a composite number?
True
Suppose 2*d - w + 6 = 36, -4*w + 48 = 4*d. Is (-206)/(-14) + 4/d a composite number?
True
Let h(q) be the first derivative of q**5/6 + q**4/6 - q**3/6 + 3*q**2/2 + 3. Let s(d) be the second derivative of h(d). Is s(-3) composite?
True
Suppose 327 = 4*f - 181. Is f a prime number?
True
Let k(a) = a + 2. Let c be k(-6). Let n(q) = -q**3 - q + 15. Let f be n(0). Let h = c + f. Is h a composite number?
False
Let j(l) = l**2 - 7*l + 14. Is j(8) a prime number?
False
Suppose 2*j - 310 = 60. Is j prime?
False
Let v = 2255 + -1572. Is v a prime number?
True
Suppose 1 = -3*n + 13. Suppose -38 - 710 = -n*i. Is i prime?
False
Suppose l + l + 4 = 0. Let u = 2 - l. Suppose -u*y + 2*y - 3*x + 27 = 0, -4*x = -4*y + 4. Is y composite?
True
Let u = 7 + -4. Let n be ((-2)/(-3))/(u/9). Suppose -5*l = -n*l - 21. Is l prime?
True
Suppose 0 = -0*y - 4*y + 8. Suppose 0 = -3*f + y*j + 2, -f + 2*j + 2 = -5*f. Suppose f*v - 2*v = -154. Is v a composite number?
True
Let m(p) = -7*p + 1. Let n = -7 - -12. Let d be m(n). Let o = 3 - d. Is o prime?
True
Let i(z) = -57*z + 14. Is i(-5) composite?
True
Let i = -132 + 221. Is i prime?
True
Suppose -4*g + 71 = -133. Is g a prime number?
False
Let u(x) = -x**2 + 2*x + 4. Let s be u(4). Let r = s + 5. Is -1*190/((-2)/r) composite?
True
Let f(t) = -28*t**2 - 5. Let y(x) = 83*x**2 + 14. Let v(j) = 11*f(j) + 4*y(j). Is v(2) a prime number?
True
Is -1 - (-5)/((-20)/(-344)) composite?
True
Suppose 1311 - 8370 = -3*l. Is l a composite number?
True
Let j = -5 - -1. Let a = 4 + j. Suppose g + g - 154 = a. Is g prime?
False
Is ((-957)/6)/((-3)/6) a composite number?
True
Let z(b) = -b**3 + 2*b**2 - 2*b. Let v be z(2). Let q = v + 6. Suppose 12 = q*w - 6*w, 3*j - w = 258. Is j prime?
False
Suppose -3*q - 3*a = 9, 0 = q - 0*a - 2*a - 12. Let w be (-3 + q)/(1/(-3)). Is 125 + -1 + 0 + w a composite number?
False
Let j(y) = -y**2 + 5*y + 7. Let g be j(5). Let p(l) = 0 - 3*l - 9 + 5*l**2 - 4*l**2. Is p(g) a composite number?
False
Suppose -2*z - 227 = 3*x, -z + 0*z = 5*x + 369. Let b = x + 110. Is b a prime number?
True
Let p = -10 + 18. Suppose 0 = -s - 3*s + p. Suppose 0 = 5*o - s*b - 114 - 157, 2*b + 6 = 0. Is o a prime number?
True
Let z(d) = -d - 1. Let c be z(4). Let k(g) = -4*g**3 - g. Let r(l) = -3*l**3 + l**2 - 1. Let f(m) = 4*k(m) - 5*r(m). Is f(c) a prime number?
False
Suppose 12 = -0*d + 4*d. Suppose -v - 21 = -6*v + s, 3*s = 3*v - d. Is 5/(v/(-2)) - -69 composite?
False
Suppose -q + 10 = -0*q. Suppose 3*x - 75 = -3*c, -c - 2*x + q = -6*x. Is c composite?
True
Let h = 91 - 54. Suppose -9 = 4*l - h. Is l a prime number?
True
Let x = 421 + -216. Suppose 3*o - x = 326. Is o a composite number?
True
Let o(r) be the second derivative of 55*r**3/6 + 2*r. Suppose 2 + 1 = 3*a. Is o(a) a composite number?
True
Let a(h) = 2*h + 14. Let g be a(-6). Suppose 1010 = 4*x + g*p, -x - 5*p = -5*x + 1017. Is x composite?
True
Let z(u) = 171*u + 15. Is z(8) a composite number?
True
Let m(g) = g**3 + 22*g**2 + 35*g + 11. Is m(-18) composite?
False
Let g(i) be the first derivative of -i**3/3 - 11*i**2/2 - 7*i + 1. Suppose -x = -6*x - 35. Is g(x) composite?
True
Suppose -4*s + 1501 = -5*h, -4*h + 2*h = -4*s + 1510. Is s composite?
False
Let q be -8 - (-9)/(6/2). Let u(t) = -25*t + 6. Let m be u(q). Suppose 5*y - m = -21. Is y composite?
True
Let t(o) be the third derivative of o**4/12 - 11*o**3/6 + o**2. Let j be t(8). Is 1/j - 1464/(-5) a prime number?
True
Let p(t) = -t**3 - 19*t**2 - 8*t + 27. Is p(-20) prime?
True
Let r = 129 - 30. Suppose r = -5*k + 764. Suppose 42 = 5*g - k. Is g composite?
True
Suppose 5*z - 4*d - 14 - 234 = 0, 200 = 4*z - 4*d. Suppose j - 205 = z. Is j prime?
False
Let o(s) = 11*s**2 + 2*s + 7. Is o(4) a prime number?
True
Let a = 2411 + -1324. Is a a prime number?
True
Suppose 7748 = 5*f + g - 6570, -5720 = -2*f + 2*g. Is f prime?
False
Suppose 0*s + 177 = s. Is s composite?
True
Let n = 544 + -251. Is n a prime number?
True
Let m = 66 + -30. Suppose 3 - m = -z. Suppose -z = -5*v + 2. Is v composite?
False
Let q(b) = -6*b**3 - 2*b**2 + 3*b + 5. Let z(v) = -5*v**3 - v**2 + 3*v + 4. Let y(c) = -6*q(c) + 7*z(c). Is y(-3) a composite number?
False
Let v = -862 - -1607. Is v composite?
True
Let v(a) = 82*a + 1. Let n be (1/3)/(3/18). Let u be v(n). Suppose u = 4*q - 47. Is q a composite number?
False
Suppose 3*i - 3 = 3. Is ((-7)/i)/(4/(-136)) a composite number?
True
Is 291/(-2)*8/(-12) a composite number?
False
Let y be (-33630)/54 + (-2)/9. Let a = 882 + y. Is a a composite number?
True
Suppose 2*r = -2*y + 6, -4*r - 2*y + 3 = -13. Suppose 670 = 5*t + 3*j, j + 800 = r*t + 150. Is t a prime number?
True
Suppose 0 = 2*h + h - 6. Let x(n) = 53 - 13 + 47 + n - h*n. Is x(0) a prime number?
False
Let b = -67 + 101. Is b prime?
False
Suppose 5*p + 2*b - 1947 = 0, 4*p = 2*b + 2*b + 1552. Is p a prime number?
True
Let x be (-26)/6 - 2/(-6). Is (0 - (-213)/(-12))*x a prime number?
True
Suppose -6*d = -d - 4*g - 357, 288 = 4*d - 4*g. Suppose d + 3 = 3*q. Suppose 13 = c - q. Is c a prime number?
True
Let p = 101 - -150. Is p composite?
False
Is (4083/(-12))/((-2)/8) prime?
True
Suppose 3*q = -2*q + 25. Suppose -q*p + 210 = 4*s, 0 = -2*p - 2*p - 4*s