Suppose -g*q = q - 572. Is q composite?
True
Suppose 2*z + 5 = -5*f + 36, z + 3*f = 17. Let o be 40/z*(-4)/(-10). Is 77 + (o + -2)/1 prime?
False
Let k = -2 + 3. Let v = k + 1. Suppose 0 = 2*c + q - 234 - 51, v*q = -5*c + 715. Is c a prime number?
False
Let l(h) = 5*h - 2. Let u = -2 - -6. Let r be 13 - (2 - 2) - u. Is l(r) prime?
True
Suppose 6*q - q - 118 = -3*r, q = -4*r + 27. Let j = q - 14. Let i = 4 + j. Is i a prime number?
True
Let f be -2 + 2 - (-1 - -2). Is 1*(-57)/3*f prime?
True
Suppose 5*h - 90 = -20. Suppose j = 4*v + 35, -v + 0*j - h = 5*j. Is (-306)/(-21) + v/(-21) a prime number?
False
Let b = 5 + -2. Suppose -4*d = -b*d - 757. Is d a prime number?
True
Let i = -37 + -26. Let m be i/(-6)*16/12. Is m/63 - (-2095)/9 a composite number?
False
Let d(q) = -17*q**3 - 13*q - 14. Is d(-4) prime?
False
Suppose -2*h + 896 = -104. Suppose f - h = -f. Let k = f + -137. Is k a composite number?
False
Is -2*(30229/(-6) + 52/(-39)) a prime number?
True
Let q = 1 - 21. Is (-8596)/(-10) - 1/(q/(-12)) composite?
False
Let c(h) = 21*h**2 - 18*h - 8. Is c(17) prime?
False
Let u(f) = -f**2 + 2*f. Let k be u(3). Is (33/(-22))/(k/86) composite?
False
Let k(d) = -4*d**3 - 6*d**2 + 8*d + 38. Is k(-4) composite?
True
Let d be (-8)/44 - (-2166178)/77. Let k = d - 13989. Is k a prime number?
True
Let v be 10*(0 - (-3485)/10). Suppose 0 = -12*b + 7*b + v. Is b a prime number?
False
Let w(t) = -t**2 + 9*t + 29. Let v be w(16). Suppose 0 = -2*p + 220 + 80. Let b = p + v. Is b prime?
True
Let s(h) = -4*h**3 - 2*h**2 + h + 2. Let y be s(-1). Let w(f) = -1 - 5 - 2 + 23*f**2 - y*f - 1. Is w(-4) composite?
True
Suppose -5*p - 91*v + 242844 = -92*v, 4*p - 4*v - 194272 = 0. Is p a composite number?
True
Suppose 2*p - 5*o = 6074, p - 624 = 4*o + 2413. Is p a composite number?
False
Let a be (2/4)/((-3)/(-12)). Let m = -34 - a. Let k = m - -69. Is k a composite number?
True
Suppose -3*g - 2*g + 5*m - 95 = 0, 3*m = g + 29. Let h be 49/(-14)*16/g. Suppose h*r + 167 = c + 2*r, -3*c + 466 = r. Is c composite?
False
Let x(d) = -d + 4. Let u be x(0). Is (37/u)/(10/(-8))*-5 a composite number?
False
Let m(x) = -2*x**2 - 13*x - 13. Let o be m(-5). Suppose 10*z - 19304 = o*z. Is z prime?
False
Let n(y) be the third derivative of y**4/12 - 2*y**3/3 - 2*y**2. Let c be n(4). Suppose -c*l + 3*z + 148 = -0*z, -l = 5*z - 37. Is l a prime number?
True
Let t = 4 - -6. Suppose 9*d + 629 = t*d. Suppose 4*p - 613 = -3*q, d = 5*q - 2*p - 384. Is q a prime number?
False
Let o = 25 - 20. Suppose o*l = c + 4*c - 1865, -3*c = -5*l - 1119. Is c prime?
True
Suppose 198*b - 194*b - 40148 = 0. Is b prime?
True
Let g(c) = c**2 - 4*c + 3. Let k be g(4). Suppose 252 = k*v - 7*v. Let t = v + 262. Is t a composite number?
False
Suppose -4*a = 2*g - 0 - 16, 4 = 2*a. Suppose -g*c = -3 - 5. Suppose -2*n = -4*v + 134, c*v - 3*v - 5*n + 50 = 0. Is v a prime number?
False
Let i(b) = -b**3 + b**2 + 2*b + 6581. Is i(0) prime?
True
Let l = 20 - 18. Let g(j) = -j**l + 4 + 0*j**2 + 19*j + 3 - 5. Is g(15) a composite number?
True
Suppose 3*x - 8 = -4*c, 4*c - 2*x = -0*x - 12. Let h be (45/10)/(c/(-2)). Is 6/h - (-4418)/6 a composite number?
True
Let v(s) = s + 6. Let o be v(-6). Suppose o = -0*d + 3*d. Suppose 3*k = -5*w + 2123, -k + w = -d*w - 697. Is k composite?
False
Suppose 2*w = 2*t - 13674, -11*t + 6*t + 4*w = -34189. Is t composite?
False
Let d = -2373 - -799. Is (-2 - -4 - 3)/(2/d) prime?
True
Let b = 18360 - -9907. Is b a prime number?
False
Let o be ((-25)/(-2))/(-5)*-2. Suppose -2*u - 3*b - 12 - 89 = 0, -2*u = -o*b + 77. Let r = u + 83. Is r prime?
True
Suppose 0 = 9*c - 28756 - 23363. Is c a composite number?
False
Suppose l - 5*l = -4*p - 2408, 4*l = 0. Let b = p - -861. Is b prime?
False
Let l = 8 - 8. Let d be (-3)/(-12)*l + 296. Is d/5 + 13/(-65) prime?
True
Suppose 13*f - 36670 - 80759 = 0. Is f composite?
True
Let d = -1028 + 144. Let f = d - -1461. Is f composite?
False
Is (-1)/(2 - 3)*604425/75 a prime number?
True
Suppose 0 = -4*b + 2*g - 6*g, -b + 2*g + 6 = 0. Suppose -4*m + 222 = -b*m. Is (-1 + (-70)/(-15))*m a composite number?
True
Suppose -3*w - 10497 = -0*w. Is w/(-9) - 6/(-27) a composite number?
False
Let g be (510/(-21))/((-7)/49). Suppose -g = y - 551. Is y composite?
True
Let g(q) = -3*q + 9. Let z be g(-6). Suppose -s + 186 = -z. Is s composite?
True
Suppose -8*a = 7*a - 186495. Is a composite?
False
Suppose 0 = 3*k + 1301 - 3962. Let d = k - 190. Is d composite?
True
Let i(s) = s**2 + 6*s - 4. Suppose -3*r - 3 = 15. Let u be i(r). Is 437*(1 + u)/(-3) prime?
False
Suppose 3*u - 2*r = 12245, -5*u + 0*u = -r - 20399. Is u a composite number?
False
Let x(w) = -4*w + 15. Let v be x(6). Let d be (1 + (0 - v))/2. Suppose 316 = -u + d*u. Is u prime?
True
Let c be 66/(-10) + (-4)/10. Let m(b) = 6*b**2 + b**3 + 2*b**2 + 1 + 3*b**2 + 2*b. Is m(c) a composite number?
True
Is 16/80 + (-804)/(-5) prime?
False
Suppose 7*j = 4*j - 4*f + 3378, 3378 = 3*j + 2*f. Is j a composite number?
True
Let i(x) = x**2 - 5*x + 33. Let b be i(10). Let h = b + -50. Is h composite?
True
Let z be (-154)/(-10) - 8/20. Suppose 2*d - z = -3*d. Suppose -d*x + 216 = -321. Is x prime?
True
Let r(x) = 17*x**2 + x**2 + 2*x**2 + 7*x + x**2 - 1. Is r(-3) composite?
False
Let b(f) = -f**3 + 36*f**2 + 60*f + 12. Is b(31) prime?
False
Let t be -33*-6*25/10. Is (t/3 + -2)/1 prime?
True
Let k = 0 + 0. Let t(y) be the first derivative of -y**4/4 - y**2/2 + 14*y - 3. Is t(k) prime?
False
Suppose 0 = 4*n - 14*x + 19*x - 191368, 191332 = 4*n - 4*x. Is n a prime number?
True
Suppose 2*u = 4*n + 4*u, -6 = -n + u. Suppose a - 27 = 36. Suppose -n*k - 1 = -a. Is k composite?
False
Let k(x) = x - 19. Let o(j) = -7 - 3 + 0 + 1. Let y(m) = 3*k(m) - 7*o(m). Is y(11) prime?
False
Let b(a) = -117*a + 3. Let c be b(-2). Let o = -163 + c. Is o prime?
False
Let b be ((-6)/(-5))/((-6)/(-20)). Let o = b + -5. Is 87 - (o - 1 - -3) a composite number?
True
Let y be ((-6)/(-8))/((-2)/184). Is ((-150)/45)/(2/y) prime?
False
Let v(w) be the third derivative of -7*w**5/60 + 7*w**4/24 - 11*w**3/6 + 6*w**2. Let u be v(5). Let x = u + 284. Is x a composite number?
True
Let d(x) = -1938*x + 95. Is d(-7) prime?
False
Let q = -429 + 903. Suppose 0*j = 6*j - q. Is j a prime number?
True
Let n(x) be the third derivative of 11*x**4/24 - 5*x**3/3 + 36*x**2. Suppose 2*f + 0*f + 18 = 2*b, -3*b - 5*f = -11. Is n(b) a prime number?
True
Let t(u) = 713*u - 72. Is t(13) prime?
False
Let k(s) = 263*s**2 + s + 6. Let m be k(-2). Let a = m + -619. Is a composite?
True
Let l = -1553 + 2592. Is l a composite number?
False
Let i be 6/9 - (-10)/3. Suppose -2*z = i*q + 884 + 2150, 4*z = -5*q - 6083. Is 2/(-8) + z/(-12) prime?
True
Let v = -337 - -46106. Is v prime?
False
Let n be ((-30)/(-12))/(10/2184). Let t = -323 + n. Is t prime?
True
Let s(t) = 102*t**2 - 60*t + 23. Is s(-13) composite?
False
Suppose 3*o = o + 6. Suppose 0 = 2*j + o*j - b - 699, 5*j = 2*b + 703. Is j composite?
False
Let z be 3 - 2 - 4/(-2). Suppose x = -z*v - 2*x + 81, 5*x + 51 = v. Is v a composite number?
False
Let d(i) = -i + 5. Let j be d(5). Suppose 5*f - 128 = -3*x + 83, 3*x - 5*f - 161 = j. Let q = -39 + x. Is q prime?
True
Suppose -5169 = -6*q + 1545. Suppose -4*r + q = -417. Let v = r + 169. Is v a composite number?
True
Let x = 3035 + 3486. Is x a composite number?
False
Let p = -10887 - -20356. Is p a composite number?
True
Let l = 1 + 1. Suppose -5*x = -5*z - l*x - 3929, -z + 4*x - 796 = 0. Is z/(-6) - (-1)/3 a prime number?
True
Let q(o) be the third derivative of -o**6/120 - 7*o**5/60 + 11*o**4/24 + 11*o**3/6 - 9*o**2. Is q(-10) a prime number?
False
Let h(n) be the third derivative of 7*n**5/30 + n**4/24 + n**3/2 - 9*n**2. Is h(5) a composite number?
True
Suppose -3*j - 3*j = -j. Suppose -322 = -j*l - 4*l - 3*t, t - 2 = 0. Is l a composite number?
False
Suppose -3*u = -8 - 295. Let a be (0 - 0)/2 + u. Suppose -2*n = 4*i - 1324, 0 = 3*i + 2*n - 892 - a. Is i composite?
False
Let z(i) = i**2 + 13*i + 2. Let r be z(-13). Suppose 0 = 2*k + r*a - 12, 0*k = k + 2*a - 11. Is (1347/((-6)/(-2)))/k composite?
False
Let m = 5350 - 1391. Is m a prime number?
False
Is (5557/5)/(8/120) a composite number?
True
Let c = -2438 + 4027. Is c a prime number?
False
Suppose 0 = -5*s + 122 + 128. Suppose