e -5*f = -u + 141, -2*f = 8*u - 9*u + 141. Is u a prime number?
False
Let v(h) = h + 6. Let i be v(5). Suppose 5*x - 564 = i. Is x a composite number?
True
Let i = -1 + 7. Suppose i*v = 2*v + 1196. Suppose -3*u - 62 + v = 0. Is u composite?
False
Let l(z) be the first derivative of -z**4/4 + 7*z**3/3 - z**2 - 5*z + 7. Is l(-8) a composite number?
False
Suppose 3*x + 2225 = 8*x. Let w = x - 212. Is w a composite number?
False
Suppose 4*l - 14 = 3*a, 0*l - 5*a = -4*l + 18. Let r be l/2 - (-3 - -2). Suppose 383 = 4*j - f, -5*j + 215 + 280 = r*f. Is j prime?
True
Let z be (3/(-6))/((-1)/6). Is 1*(z - 26*-26) a prime number?
False
Let t = 5 - 2. Suppose -t*v + 471 = -0*v. Is v a composite number?
False
Let j = 2 - 4. Let x be j - ((-4)/2 - -14). Let d = 33 + x. Is d a composite number?
False
Let s(d) = 15*d**2 + 5*d - 7. Let p be s(5). Let a be 2 - (-1)/(2/544). Let r = p - a. Is r a composite number?
True
Is (25/(-20)*-1)/(2/1544) a prime number?
False
Let i(o) = 7*o + 3. Let u be i(-4). Let a = u + 94. Is a a prime number?
False
Let z = -102 - 220. Let b = z - -170. Let f = -57 - b. Is f a composite number?
True
Let s(y) = -y**3 + 9*y**2 - 7*y - 3. Let x be s(8). Suppose x*t - 14 = 161. Is t a composite number?
True
Let i(q) = 5*q**2 + 9*q - 1. Is i(-7) a prime number?
True
Suppose -2*d = -4*d + u + 813, 4*d + u = 1641. Is d composite?
False
Let a(o) = o**3 + o + 7. Let q = -4 - -3. Let j be (-2 + (1 - q))/1. Is a(j) composite?
False
Suppose 0 = -t + 5*r + 986, 2*r + 3887 = 4*t + r. Is t composite?
False
Let r(y) = 19*y**2 - 30*y**2 + 79*y**2 - 1. Is r(1) a composite number?
False
Suppose 0*y - 9 = -2*d + y, -3 = -3*d - 2*y. Suppose 2*g = -5*m + 382, -d*m + 74 = g - 155. Suppose -56 = -2*r - 3*n, 4*r - m = 2*r + 2*n. Is r a prime number?
False
Let s(u) be the second derivative of u**4/12 - u**3/6 - 3*u**2/2 + 3*u. Let q be s(3). Suppose 118 = v - r, q*v + v + r = 497. Is v composite?
True
Suppose -63 = -3*o + 147. Let m = o + -36. Is m composite?
True
Let a = 1877 - 1072. Suppose -a = -x - 4*f - 0*f, -2*f - 2471 = -3*x. Is x prime?
True
Let u(c) = -10*c + 2. Let n(x) = -11*x + 2. Let m(q) = 4*n(q) - 5*u(q). Is m(8) a prime number?
False
Suppose 1556 = -2*f + 6*f. Is f a prime number?
True
Suppose 4*r + 6 = -2. Let w be (2/(-3))/(r/(-3)). Is (2 - (w - 19)) + -1 prime?
False
Let g be -36 - (0 - -3) - 2. Let h = 78 + g. Is h composite?
False
Is 1834/(-70)*(-5 - 0) composite?
False
Let d(g) = -g**3 - 6*g**2 - g. Let f be d(-6). Is f/(-27) - 2794/(-18) a composite number?
True
Is (2/6)/(13/37635) composite?
True
Let s be (-1)/(2 - (-44)/(-20)). Let c(i) = -i**3 + 8*i**2 - 2*i - 6. Is c(s) composite?
False
Suppose o - y - 7 = 0, -4*o + 2*y = -1 - 23. Let z be 902/o + 14/(-35). Suppose -4*l + z = 40. Is l a composite number?
True
Let f(z) = 46*z + 7. Suppose -4*q + 12 = -4. Is f(q) a composite number?
False
Let d = -1 + -1. Let n be (-1 - -33) + 4/d. Suppose 0 = -5*t + 4 + 6, 3*t - n = -4*j. Is j prime?
False
Let f be 27/(-6)*(-12)/9. Is 34 - -1 - f/(-3) prime?
True
Let r be 3 + -4 - 1*-1. Let z(w) = w**3 - w**2 - w + 94. Let g be z(r). Let n = g - 41. Is n a composite number?
False
Is (-270)/(-2) - (-28)/7 a prime number?
True
Let g be 5*27 - 12/4. Suppose 4*m - g = -4*w, -2*w = 4*m - 3*w - 142. Is m composite?
True
Let q(c) = -c**2 - 6*c - 3. Let i be q(-5). Suppose -i*s = s + 9. Let m = s + 122. Is m a prime number?
False
Suppose 5*q + x - 2*x = 323, -3*q - 5*x = -205. Suppose -h = -q - 5. Suppose -85 = -5*m + h. Is m prime?
True
Is 23877/36*(8 + 0) + -1 a composite number?
True
Let v be (2 - 1)/((-3)/(-6)). Let g(u) = -u + 2. Let a be g(-6). Suppose v + a = d. Is d a prime number?
False
Let y = 2 - -159. Is y a prime number?
False
Suppose 0 = b + 4*b - 2*i - 5, 5*b = -4*i + 35. Suppose 2*h - 6 = 0, 0 = b*s + 4*h + h - 552. Is s a composite number?
False
Suppose 129 = -l + 396. Is l a composite number?
True
Suppose -f - 5*o - 7 = 0, -5*f + 4*o + 19 = 2*o. Suppose 0 = f*g - 1 - 14. Suppose 77 = -g*q + 187. Is q prime?
False
Suppose -4*r - 186 = 278. Is (r + -2)/(0 + -2) composite?
False
Let t(w) = w**3 - w**2. Let u be t(0). Suppose l + l + 14 = u. Let p(s) = s**3 + 6*s**2 - 8*s + 6. Is p(l) composite?
False
Let j = 16 + -23. Let v(l) = l**3 + 9*l**2 + 11*l + 10. Is v(j) a composite number?
False
Let j = 424 - 175. Is j a prime number?
False
Suppose 0 = g - 4*g - 3, 2*o - 5*g - 7 = 0. Let h be 74*(o/2 + 1). Let i = h + -44. Is i a composite number?
False
Let v be 2 + 59*-1 + -2. Let r = 141 + v. Is r a prime number?
False
Suppose -15 = -5*b, -4*a = 7*b - 3*b - 12. Suppose 5*q + 4*n + a*n = 605, -3*q = 3*n - 363. Is q composite?
True
Let z = -488 + 757. Suppose -z = -3*n + 58. Let y = 168 - n. Is y a composite number?
False
Let r be 3 + ((-5)/(-1) - 2). Is (-8)/(-12) - (-86)/r composite?
True
Suppose 3*p - 9 - 9 = 0. Suppose -i + 51 = 2*n, n - p*n - 175 = -3*i. Is i a composite number?
True
Let d be (5/10)/(2/48). Let l = 43 - d. Is l a composite number?
False
Let j = 20 - 17. Is (j - 5)*(-57)/2 prime?
False
Let g(w) = -w**2 - 26*w + 11. Let t(i) = -i**2 + i + 1. Let a(u) = -g(u) + 2*t(u). Is a(11) a composite number?
True
Let d(g) = -g**3 + 2*g**2 + g - 1. Let a be d(2). Let y be (-26 - -4) + 2/1. Is ((-55)/y)/(a/20) prime?
False
Suppose -6*z + 1024 = -2*z - 4*j, 2*z - 527 = 5*j. Is z a composite number?
False
Suppose -5*u = -3*u - 4. Let o(w) = 2 + 5*w - 20*w + u. Is o(-3) composite?
True
Suppose 2*u = -3*t + t - 4, 2*t + u = -2. Suppose t = 2*b + 1 - 39. Is b a prime number?
True
Is 2 - ((-12)/3 - 859) a prime number?
False
Suppose -44 + 121 = f - 5*s, 0 = 2*s. Is f a prime number?
False
Let b(k) = 102*k. Let z be b(1). Suppose 0 = f - 3*f + z. Is f prime?
False
Is (-7 - -5)*(-262)/4 a composite number?
False
Let c(o) = 22*o**3 + 2*o**2 - 2*o + 1. Let t(z) = z**2 - 7*z + 1. Let g be t(7). Let x be 3*(g + 2/(-3)). Is c(x) a composite number?
False
Suppose -2*z - 8 = -a + z, -a - z = 0. Is 6/4*a + 20 composite?
False
Let o = 125 - -122. Is o a composite number?
True
Let a = -18 + 763. Is a prime?
False
Suppose -4*m - 68 = -412. Suppose 2*x = 4*x - m. Is x prime?
True
Suppose 0 = -m - 4, -2*g + 3*g = -m. Suppose 5*q - 133 = -g*j, 10*j = 5*j - 2*q + 179. Is j a prime number?
True
Suppose -6*v + 15 + 9 = 0. Suppose -5*c + 3*t + 2368 = -503, 2*c - v*t = 1154. Is c prime?
False
Let i = 2 - 3. Let n = i + 7. Is (-313)/(-9) - n/(-27) a composite number?
True
Let s(a) = -a**3 - 3*a**2 - 4*a - 5. Is s(-6) prime?
True
Suppose 3*z - 207 = -63. Let l = z - -70. Is l prime?
False
Suppose 0 = 4*h + 16. Is (h - -1) + (-84)/(-3) a composite number?
True
Let g = 278 - 65. Is g composite?
True
Let a be 204 - (-1 - 6/(-2)). Suppose 3*k = a - 1. Is k a composite number?
False
Is (34/(-4))/(5 - (-513)/(-102)) a prime number?
False
Suppose f - 1500 = -2*f. Let w = 723 - f. Is w prime?
True
Suppose 0*x - 4*x = 0. Let p be (0/(0 - -1))/2. Suppose x*m - 3*m + 291 = p. Is m a composite number?
False
Suppose -5*o = -23 - 72. Suppose o = 5*d + 4*m, 3*d = -d + 3*m + 9. Is (-37)/(d + 7/(-2)) a composite number?
True
Let c = 516 + -225. Is c prime?
False
Suppose 2*n = 2, 3*n = -5*y - 0*n + 13. Let j be y + 1 + -1 + 48. Is (1 - 0 - 0) + j a composite number?
True
Suppose s + 3*w - 5*w = 29, 0 = 2*s - 3*w - 59. Let i = s + 12. Is i composite?
False
Let g(z) = 5*z + 1. Let c(f) = f**3 + 5*f**2 + 6. Let u be c(-5). Is g(u) composite?
False
Suppose -1408 = -f + w, f + 5*w = 5*f - 5631. Is f prime?
True
Is (0 + (-6)/(-3))/(-2) - -7232 composite?
True
Let g be 3*(1 + (-2)/(-6)). Suppose -3*n + x = -g, 0 = 2*n + 3*n - 5*x. Suppose 184 = 2*v + n*v. Is v composite?
True
Let r be (-37)/(-4) - 1/4. Let z be ((-2)/(-3))/(2/r). Suppose -g - 2*y = 4*g - 379, 5*y = z*g - 246. Is g a prime number?
False
Let n = -4225 + 7994. Let r = n + -2388. Is r a composite number?
False
Suppose 2*i = -2*i + 16. Suppose 2*j - i*j = -22. Is j prime?
True
Let k be 25*(24/10 - 2). Let s be 2810/(-25) - (-4)/k. Is s/(-6) - (-3)/9 prime?
True
Suppose 3*r + 5*n = 2328, -2*r - r = 2*n - 2337. Suppose -2345 = -4*u - r. Is u composite?
True
Suppose 0 = -3*b + b. Suppose 0 = 3*j - 12. Suppose -j*y = -b*y - 328. Is y a prime number?
False
Let p = 4 - -1. Let i(z) = z**3 + 4. Let k be i(5). Suppose -196 = -p*h + k. Is 