Suppose -8*n + 22370 = 5946. Is n prime?
True
Suppose -46*u + 58634 = -8*u. Is u a prime number?
True
Let z(r) = 1749*r + 137. Is z(5) a prime number?
False
Let p(w) = -5*w**3 - 10*w**2 + 20*w - 6. Let j(t) = -t**3 - 2*t**2 + 4*t - 1. Let s(h) = 11*j(h) - 2*p(h). Let y be s(-5). Suppose 5*q - y = 129. Is q prime?
True
Suppose -5*y = -3*t + 90, -3*y + 2*t = -0*t + 55. Let n = 22 + y. Let q = n + 19. Is q composite?
True
Let a = 96 + -52. Let z = -34 + a. Is z composite?
True
Let k(h) = -h**2 + 6*h. Let t be k(6). Let w(a) = -2*a + 13. Let r be w(5). Suppose -g + t*g - r*m = -268, 5*m = -2*g + 531. Is g prime?
False
Suppose 0 = 3*v - 37618 - 66599. Is v a prime number?
True
Let z = 270 + -161. Let o = z + 288. Is o composite?
False
Let t(b) = 9*b - 5. Let x be t(3). Suppose -2*h + x = 2*d, 2*h = -5*d + 74 - 28. Let v = d + 18. Is v composite?
True
Let u(f) be the first derivative of -3*f**4 + 2*f**3/3 + f**2/2 + 2*f - 27. Is u(-3) a prime number?
False
Let j = 16 + -14. Suppose 2*c = -2*c + 16, -h = j*c - 447. Is h a prime number?
True
Let z(y) = 20*y**2 + 6*y + 3. Let b be z(5). Let m = -210 + b. Is m a composite number?
True
Let o(h) = -h + 5. Let z be o(6). Let n be (120/(-2) - 2) + z. Let p = n - -176. Is p a prime number?
True
Let r = 135 - 202. Let s = r - -856. Is s composite?
True
Let m = 16 + -19. Let d(j) = 3*j**2 + 3*j - 1. Let v be d(2). Let u = m + v. Is u composite?
True
Let u(o) = o**2 + 9*o - 4. Let v be u(-5). Is (-1)/(-6) - 3788/v prime?
False
Let b = 255 - 1837. Is -19 - -15 - 1/(2/b) composite?
False
Let n(p) be the second derivative of -p**4/6 - 2*p**3/3 + 3*p**2/2 + 4*p. Let f be n(-4). Let i = f + 20. Is i composite?
False
Suppose -2*y = -5*a - 50466, 3*y - 10*a = -8*a + 75677. Is y prime?
False
Let i(t) = 2*t**2 + 2*t - 14. Let c be i(-4). Let h(y) = 2*y**2 - 7*y + 12. Is h(c) a composite number?
True
Let s = -12 - -6. Let v(p) = p**3 + 5*p**2 - 6*p + 2. Let g be v(s). Suppose -g*w + 44 + 110 = 0. Is w prime?
False
Let m(w) = -10*w + 3*w - 7 - 4*w - 45*w. Let d be m(-2). Suppose 3*u + u - 2*z = 142, 3*u - d = 2*z. Is u a composite number?
False
Let i = 7577 - 4494. Is i composite?
False
Suppose 298668 = 342*q - 330*q. Is q prime?
True
Let p(a) = 216*a + 2. Let f be p(12). Let d be (-23 - -20)/((-2)/f). Suppose -d = -6*u + 1551. Is u a prime number?
True
Suppose 3*y + 3*h = 22851, 9*h - 4*h = y - 7617. Is y prime?
False
Suppose 56327 - 14124 = 7*x. Is x a prime number?
True
Let a = 21 + -17. Suppose a*f - 3*b - 1622 = -b, 5*f - 3*b - 2030 = 0. Is f composite?
True
Suppose -281 = 2*r + 5*d, -3*d = -3*r - 34 - 398. Let a = 110 - r. Is a a composite number?
True
Suppose -7 = 5*k + 28. Let t(y) = -y**2 + 10*y - 6. Let f(x) = 3*x**2 - 21*x + 11. Let z(r) = -2*f(r) - 5*t(r). Is z(k) a composite number?
True
Let i(k) = 7*k + 353. Is i(-6) prime?
True
Suppose 79597 = 3*r + 4*f, 2*r - 77*f = -75*f + 53088. Is r a composite number?
False
Suppose -o + 2*w - 4*w - 8 = 0, 4*o - w - 13 = 0. Let r be (-1 - -2)*(o - -3). Suppose 20 = r*m, -5*m + 2*m - 514 = -2*s. Is s a composite number?
False
Suppose -4*y = 3*q - 1160, 2*y + 0*y = 4*q + 558. Let r = y + -160. Is r a prime number?
True
Let x = 1830 + -267. Is x a composite number?
True
Let g(b) = 0 - 73*b + 193*b**3 + 3 + 67*b. Is g(2) composite?
True
Let h = 18 - 7. Suppose -n - 2 = -3*b + 3, n = 5*b - h. Suppose -5*u + 19 = 3*s - 1543, 3*u + 2073 = n*s. Is s prime?
False
Let h(v) = -v - 11 + 16 + 0*v + 5*v. Let f = -5 - -9. Is h(f) prime?
False
Let w be (6/9)/(4/(-6)). Let g(u) = -161*u**2 - 15*u - 2. Let i(d) = -80*d**2 - 7*d - 1. Let s(r) = 6*g(r) - 13*i(r). Is s(w) prime?
False
Let i(w) = 3*w + 3. Let p be i(-3). Let j be (4/6)/((-2)/p). Suppose j*s = s + 409. Is s a prime number?
True
Suppose -u - 1 = 0, -5*g - 3 = u - 17. Suppose 2*j - 2*o - 960 = 0, 0*j - g*o - 955 = -2*j. Is j prime?
False
Suppose 4*g + 0*g + 12 = 0. Is (g/(-12))/(1/1004) a composite number?
False
Suppose -f - 4*p = -7, -p = f + 2*f + 1. Let x(o) = -23*o - 127*o + 1 - 60*o. Is x(f) a prime number?
True
Let l = -52 - 543. Let q = l - -1064. Is q a composite number?
True
Is (371271/(-27) + 14/(-63))/(-1) composite?
False
Let g = 57 - 55. Suppose n - 367 = -5*y, 6*n - g*n + 5*y - 1498 = 0. Is n a composite number?
True
Let l = 35701 + -23930. Is l prime?
False
Let q(n) = -n**3 - n**2 + n. Suppose -11 = 4*u - 3. Let s be q(u). Is 2/(1140/(-571) + s) a composite number?
False
Let q = 5 - 2. Suppose q*n - 461 = 214. Suppose 3*i - 2*r - 125 = n, 0 = 5*i - 2*r - 586. Is i a prime number?
False
Suppose 2*b = -0*b + 3*g + 5422, -16 = 4*g. Suppose -238 - 844 = -2*w + 2*y, 5*w - 2*y - b = 0. Is w a composite number?
False
Let f(r) = 1193*r**2 - 10*r - 15. Is f(-2) a prime number?
False
Let q be (832/6)/((-26)/(-117)). Suppose -q = -2*j + 764. Is j a composite number?
True
Suppose -10595 = 2*h - 2*x - 78587, -34002 = -h - 5*x. Is h prime?
True
Suppose r - 1025 = 5610. Is r composite?
True
Suppose -14*s = -23*s + 173079. Is s prime?
True
Let m(h) be the second derivative of 0 - h**2 - 1/10*h**5 + 1/3*h**3 - 2*h + 1/4*h**4. Is m(-2) a prime number?
False
Let f(j) = -j**3 + 2*j**2 + 7*j + 4. Let g be f(-7). Suppose -226 - 802 = 4*k. Let s = g + k. Is s prime?
True
Suppose 2*v = 1659 + 1079. Is v composite?
True
Let a(s) = -3*s + 30. Let z be a(9). Suppose -2*c + 1859 = z*c + 4*k, 0 = -4*k + 4. Is c a composite number?
True
Suppose -5563 = -5*d + 12052. Is d a prime number?
False
Let z(g) = 2*g**2 - 15*g - 7. Let v be -6 - -27 - (-1 + 0). Is z(v) composite?
False
Let p be 1 + -5 - (2 + -326). Let r = -456 + p. Is (-71961)/r + 1/(-8) composite?
True
Suppose 10*f - 28 = -4*f. Suppose f*c + 1295 = 4*s - 979, 2*c - 10 = 0. Is s prime?
True
Suppose 16332 = -43*s + 55*s. Is s a composite number?
False
Let r(f) = -31*f**3 + f + 1. Let c be (4/(-2))/(-9 + 11). Is r(c) prime?
True
Suppose h = -2*s - 0*s + 3085, 0 = 5*h + 25. Let t = -926 + s. Is t composite?
False
Let u = 9 - -69. Suppose 2*d - 58 = u. Suppose d = -5*f + 403. Is f a prime number?
True
Let q be 22/10 - (2/10 + -1). Suppose 7505 = -q*p + 22*p. Is p prime?
False
Is (-3)/(478/479 + -1) prime?
False
Let d = -14 - 19. Let z = 38 - d. Is z a prime number?
True
Let s be 344/10 + 2/(-5). Suppose 0 = 3*y - 5*y + s. Is y/(38/(-13) + 3) a composite number?
True
Is (((-3871626)/(-36))/11)/((-15)/(-90)) a composite number?
False
Let y = 842 + -5832. Is (-25)/10*y/5 a composite number?
True
Suppose 0*a + 20 = -5*a. Suppose 4*f + 32 = 3*g, -4*g = -4*f + 2 - 38. Is (-62)/(a*2/g) a prime number?
True
Suppose s - 7 = -0*p - 3*p, 3*s = 5*p - 21. Suppose -166 = -a - p*b, b + 830 = 5*a - 0*b. Is a composite?
True
Let v = -8 - -8. Suppose v = -2*n + 5*n - 12. Suppose 2*b - 942 = -n*b. Is b a prime number?
True
Suppose 6*d + 195 = -135. Is (-40374)/(-22) - (-10)/d a prime number?
False
Let a(z) = z**2 + z + 1. Let w(c) = c**3 - 5*c**2 - 3*c + 1255. Let b(i) = 4*a(i) + w(i). Suppose 3*t + 2*t = 6*t. Is b(t) a composite number?
False
Suppose -16 = -4*i, -3*i = -2*m - 0 - 16. Let z be -26 - (1 + -2 + m). Is (-14 - 5)*(0 + z) composite?
True
Let x(k) = -k + 5. Let h be x(0). Suppose 0 = -i + 2*i - h. Suppose -i*t - 3*v + 58 = 0, -3*t + 8 = -t + 5*v. Is t prime?
False
Let a(t) = 14*t**2 - 3*t + 4. Let o(g) = g**3 + 6*g**2 + 3*g - 4. Let x be o(-5). Suppose -x*j + 26 = 8. Is a(j) prime?
False
Let q(i) = 52*i**2 + 4*i + 79. Is q(9) a composite number?
False
Let c(w) = w**2 + w. Let x(y) = -y**2 - 10*y + 14. Let h(q) = 2*c(q) + x(q). Is h(13) composite?
False
Suppose -13*s = -17*s + 24. Suppose -t + 0*h + 9 = -h, -2*t - 4*h = -s. Is 1 + -2 - (-301 + t) a prime number?
True
Suppose -8*u + 13*u - 1300 = 0. Let x = u - 129. Is x composite?
False
Let x be 4/26 - (-676654)/143. Suppose 4*u - x = -5*t, -2*t - 5 - 3 = 0. Let s = u + -817. Is s prime?
False
Let s(n) = -117*n - 20. Is s(-3) a composite number?
False
Let n(s) = 3*s**3 + 4*s**2 - 24*s + 23. Is n(10) prime?
False
Suppose -3*f = -a - 25263, 30*f - 35*f - 3*a + 42119 = 0. Is f a prime number?
False
Suppose 8588 = a + 2*a - c, 0 = -a + 3*c + 2876. Is a prime?
True
Let l(q) = -2*q - 31. Let a be l(-17). Suppose -m = a*m + 2*j - 500, 2*m - 5*j = 226. Is m a prime number?
False
Let w = 3304 + -1257. Is w a composite number?
True
Let n = -69 - -125. 