ppose 4*n - 1244 = -y*s + s, 598 = 2*s - 4*n. Is s a composite number?
False
Let m = -3 + 307. Suppose -m + 59 = -o. Let a = o + 54. Is a a composite number?
True
Suppose 22 = 2*m + 12. Suppose m*o - 1628 = o. Is o composite?
True
Suppose -56*t = -57*t + 1513. Is t prime?
False
Let q be 2/4*(8 + 2). Suppose 0*a - 3 = -a, -q*y - 2*a + 76 = 0. Suppose y + 12 = z. Is z a composite number?
True
Let m(x) = -x**3 - 10*x**2 - x - 2. Let r be m(-10). Suppose r*t - 32 = -0*t. Suppose t*y + 2*p - 247 - 31 = 0, 4*y - 2*p = 290. Is y a prime number?
True
Let l = -53130 - -81803. Is l a composite number?
True
Let y = -16 - -27. Let m = y - 14. Is 952/(m - -7) + -3 a prime number?
False
Suppose k = -4*i - 517, -5*k + i + 416 - 2980 = 0. Is (-1 - -3) + 5/((-5)/k) a prime number?
False
Suppose 131515 = 6*f - 18887. Is f a composite number?
True
Let o(v) = 4*v**3 - v + 3*v**3 - 6*v**2 + 3*v**2 - 3 - 8*v**3. Is o(-6) prime?
False
Let k = -2899 + 7964. Is k a composite number?
True
Suppose -5*l + 600 = -l. Suppose 0 = 5*n + 5*d - 1340, 1042 = 4*n - 2*d - 0. Let c = n + l. Is c composite?
True
Let o(y) = y**2 + 11*y + 12. Let u be o(-10). Suppose u*b + 4 = 0, 3*a - 2*a - b - 633 = 0. Is a composite?
False
Suppose -9*o + 15 = -4*o. Suppose x - 3*z - 88 = 0, -5*z - 331 = -x - o*x. Is x prime?
True
Let r(b) = 909*b**2 + 5*b + 3. Is r(-1) prime?
True
Let q(y) = y**3 + y + 279. Let p be q(0). Let x = 660 + p. Is x prime?
False
Let q = 204 + -118. Suppose -34 = -6*p + q. Suppose -6*f - p = -158. Is f a prime number?
True
Let i(w) = 7*w**3 + 5*w**2 - 26*w + 35. Is i(9) prime?
True
Let y = 9 + -9. Suppose y = -4*p + 12 + 12. Suppose 2*w + 5*n + 3 = w, 4*n = -2*w + p. Is w a prime number?
True
Suppose 2*i + 85 = 13. Let s = i - -61. Is s composite?
True
Let u = -40 + 65. Let j = u - -3. Is ((-3044)/(-10))/(j/70) a prime number?
True
Let h(u) = -25*u - 12. Let r(l) be the first derivative of 49*l**2/2 + 23*l - 8. Let o(k) = -11*h(k) - 6*r(k). Is o(-5) composite?
False
Suppose -4*h = -t - 0*h + 159, 4*t = 2*h + 636. Suppose -a = 4 - 6. Suppose 371 + t = a*m. Is m a composite number?
True
Let t be 3 + 0 + -2 - -2. Suppose -u = -t*u + 226. Is (u - 6) + (0 - -2) a composite number?
False
Let i = -167 - -167. Suppose -2*d + 10039 = 3*r, -5*r + 2*d + 6556 + 10197 = i. Is r a composite number?
True
Let c be 6/3 + 2 + 0. Let q be 16/(-10)*20/c. Is (-280)/q - (5 + -1) a composite number?
False
Let h be 0*((0 - 0) + 1). Suppose -4*m + 9 = m + 3*n, -3*m = 5*n - 15. Suppose 2*c + 10 = h, -3*z - 3*c - c + 445 = m. Is z composite?
True
Let q(b) = 25*b + 71. Let y be q(-3). Suppose 0 = 2*f - 6*d + 3*d + 30, 0 = -3*d. Is (y/6)/(1/f) composite?
True
Is (312176/20 + -2)/((-12)/(-30)) prime?
False
Let n = 3 + -7. Let a be 2/n + (-36190)/(-28). Suppose 0 = 4*m - a + 360. Is m a prime number?
True
Suppose h - 414 - 570 = -r, 2*h + 2 = 0. Is r prime?
False
Let y(j) = -16*j + 6 + 2 - 5*j - 5. Let d be y(-6). Suppose l + z - d = 0, 5*l - z = 2*l + 395. Is l a prime number?
True
Suppose -3*m = 2*s - 29, m - 35 = -2*m + s. Suppose 0 = -3*t + m*t - 3592. Is t a prime number?
True
Let d be (-1)/(-2 + (-7)/(-3)). Let z be (-4)/d*(-10122)/28. Let a = z + 835. Is a a composite number?
False
Suppose -a = 4*u - 5*u + 4917, 3*u + 3*a = 14751. Suppose 0*d + 3*d - u = -v, 3*d - 4911 = v. Let o = 2345 - d. Is o a prime number?
False
Let k(m) = -m**3 + 2*m**2 + m + 5. Let l(q) = 3*q + 3. Let r be l(-3). Is k(r) a prime number?
False
Let s be (426/(-8))/(3/(-4)). Let t = 274 - s. Is t a composite number?
True
Let p be (-6)/(-12)*(-2 + 20). Suppose 15 - p = 2*d. Suppose 0 = -d*g + 5*f + 169, -2*g = 4*f - 10 - 88. Is g prime?
True
Suppose 0 = -5*c + 37 - 12. Suppose 3*y = -5*l + 2320, -l + c*y = -5*l + 1856. Suppose 3*p - 2*i - l = -i, 0 = 5*p + 4*i - 779. Is p a composite number?
True
Suppose 0 = s - 4*i - 8813, 3*s + 0*i - i = 26439. Is s composite?
True
Let g = 5018 + 1457. Suppose 1441 = -6*s + g. Is s a composite number?
False
Is (-84752)/(-16)*-2*3/(-6) a composite number?
False
Let x(n) = 6*n**3 - 10*n**2 + 28*n + 33. Is x(11) prime?
False
Suppose -3*f + j = -8, 2 + 4 = -3*j. Suppose -f*m = -m. Suppose 0 = -2*q - a + 157 + 32, m = 3*q - 3*a - 306. Is q composite?
False
Is (1 - 8) + -55 + 3769 a prime number?
False
Suppose -5*a = -3*f - 114, f - 72 = -4*a - 3*f. Is (a - -13)*23/2 prime?
False
Suppose -5*n - p + 2387 = 0, n + 4*n = 2*p + 2396. Suppose -234 = -8*c + n. Is c a composite number?
False
Let z = -1139 + 13902. Is z prime?
True
Let r be (1 + 1)*(21 - 20). Suppose -2*b + 1746 = -3*k - 2852, -r*b - 5*k = -4630. Is b a composite number?
True
Suppose -2*a - 57170 = -4*z, z - 4*a - 5500 = 8789. Is z prime?
True
Let z be 642*1*(-164)/(-12). Is (-24)/56 - z/(-7) composite?
True
Let a = 13 - 13. Suppose 0 = t + 1, -5*d + 5817 = -a*d - 2*t. Is d composite?
False
Let z = -108 + -188. Is z/(-12)*-13*(-12)/8 a prime number?
False
Suppose -815 = -4*z + 633. Let s(x) = -8*x**3 + 2*x**2 + 4*x - 3. Let c be s(-6). Suppose 5*q = c + z. Is q a composite number?
True
Let w be (-4)/5*(-15)/2. Let f = -3 + w. Suppose -2*p + 309 = -f*a - 283, -889 = -3*p + 5*a. Is p composite?
False
Suppose 2*b = 3*b. Let f(a) = 73*a**2 - 10 - a - a**3 + b - 74*a**2. Is f(-7) a prime number?
False
Let p = 14379 - 5588. Is p prime?
False
Suppose 0 = -5*c + 2*c - 6. Let z(m) = -m. Let d be z(c). Suppose t - 2*y - 107 = -0*t, d*t + 4*y - 246 = 0. Is t a composite number?
True
Suppose 135560 = 92*y - 92048. Is y composite?
True
Suppose -13*a + 8*a = 0, o - 3*a = 439. Is o prime?
True
Suppose 4*o - 80 = -o. Is 3/(-4) + 19644/o a composite number?
True
Let z(j) = 4*j**2 - 8*j + 8. Let y be z(4). Suppose -8 = 4*a + y. Is (a/(-18))/(4/1758) a composite number?
False
Suppose -1884129 + 151509 = -60*z. Is z composite?
True
Let t(v) = v**2 - v - 34. Let z be t(7). Is -10*((-1116)/z - 2) prime?
False
Let p(k) = -k - 14. Let d(r) = -r - 13. Let g(y) = -6*d(y) + 5*p(y). Let q be g(-3). Suppose -q*a = -5*w - 81 + 421, w + a = 66. Is w a prime number?
True
Suppose 0 = 2*h + 2*h + 4*g + 48, 4*g + 21 = -h. Is 6/h - 2878/(-6) prime?
True
Let o(a) = -a - 7. Let t be o(-10). Suppose 2*l - 1 = -5*g + 3, l - t*g = 2. Is 894/4 + l/(-4) prime?
True
Suppose -3*g + 19 = 2*n - 4*n, 0 = 3*g + 5*n + 16. Suppose g*y = 6082 - 1867. Is y composite?
True
Suppose 0 = 3*a - 5*o - 2, 4*o = 3*a + 3*o + 2. Let z = -2 + a. Let m(l) = -7*l**3 + 2*l**2 - 2*l - 2. Is m(z) a prime number?
True
Let l(x) = 5*x**2 + 4*x + 2. Suppose -4*r + 4*o = 36, o + 2*o + 27 = -3*r. Is l(r) prime?
False
Suppose -2*f + 2 = -4*h, 2*h + 0*f - 29 = -5*f. Is (-6828)/(-18) - h/6 composite?
False
Let z(o) = -2*o + 2. Let v be z(-1). Suppose v*h - 20 + 8 = 0. Suppose 0 = -h*d + 136 + 197. Is d composite?
True
Let v(j) = -j + 5. Let q be v(3). Let x be ((-2134)/33)/(q/(-3)). Suppose 4*f - f = a - x, 3*f = -15. Is a a prime number?
False
Let j = 12613 - 7352. Is j composite?
False
Let y = -1914 + 1225. Let x = y - -2328. Is x composite?
True
Let k(w) = 4*w - 11. Let m be -6*(-3)/(-15)*-5. Let j be k(m). Suppose 0 = -0*x + x - j. Is x composite?
False
Let a = -21 - -7. Let l(w) = 2*w**2 - 15*w - 31. Is l(a) a prime number?
True
Suppose 7 = 4*w - 5, o - 10589 = -4*w. Is o a composite number?
True
Suppose 12*p = 7992 + 3420. Is p a composite number?
True
Suppose 4*f - f + 6 = 0. Let j(t) = t**2 + 5*t + 1. Let c be j(f). Let d(s) = -8*s - 5. Is d(c) composite?
True
Let x = 30491 + -21290. Is x a composite number?
True
Let b = 12 + -5. Let g(y) = 2*y - 10. Let f be g(18). Let r = f - b. Is r a prime number?
True
Let f(x) = -x**3 - 5*x**2 - 5*x + 2. Let w be f(-4). Let y = w + 7. Is y a composite number?
False
Let s = -8442 + 13933. Suppose 4*g - 3*n - s = 0, 5*g - 2*n - 3874 = 2981. Is g prime?
False
Let p(i) = -156*i - 1. Let l be p(-1). Let j be (-264)/(-2)*((-10)/(-4) + -3). Let m = j + l. Is m prime?
True
Suppose -10*d = -33*d + 1474277. Is d prime?
False
Let w = -16 - -2. Let b = 103 + w. Is b composite?
False
Let n be 3*(-1)/(-3)*1. Let o be -3 - (-4 + n + 2). Let s(x) = 36*x**2 - 3*x - 1. Is s(o) composite?
False
Suppose 0 = 5*a - 4*v - 12, 0 = 2*a + 2*a + 3*v + 9. Suppose -y + 683 = -a*y. Is y prime?
True
Suppose -3*a + 2505 = c - 0*a, -c + 3*a = -2529. Is c a composite number?
True
Suppose 4*z - 