 a = x + -239. Suppose -2*q + 1342 = 4*z, 2*z - 2*q - a - 107 = 0. Is z prime?
True
Let d(g) = g**3 - 7*g**2 + 6*g - 2. Let m(v) = -2*v + 2. Let p be m(-2). Let i be d(p). Is i + 0 + 2 - -21 composite?
True
Suppose -9 - 9 = -2*u + 3*t, -4*u = t - 8. Suppose -u*h = -2*h - 191. Is h composite?
False
Let t be (-4)/(-14) + 80/14. Suppose t*q - 3*q = -216. Let n = 25 - q. Is n a prime number?
True
Let n(f) = -2276*f - 43. Is n(-5) a prime number?
False
Let a be (-22)/99 + (-50)/18. Let o be a - -293 - (3 + -4). Let h = -74 + o. Is h a composite number?
True
Let v(k) = -k - 3. Let f be v(-5). Let l = 12 - 6. Suppose 3*x = -f*m + 149, -l*x = -x - 5*m - 290. Is x prime?
True
Suppose 3*a = 4*n + 723, 8*a - 5*n - 1200 = 3*a. Let f = a + -116. Let c = f - -90. Is c a composite number?
False
Let l be (-2)/(-12) - (-1191)/(-18). Suppose -237 - 72 = -3*i. Let h = l + i. Is h composite?
False
Let w(k) = -2*k**3 + 2*k**2 - 30*k - 43. Is w(-9) a composite number?
False
Let m(c) = 15*c**3 - c**2 + 1. Let t = -1 + 4. Is m(t) composite?
False
Let v be ((-7)/(-2))/(10/(-20)). Let g(i) = 8*i**2 - 2*i + 3. Is g(v) prime?
True
Let l(j) = 60*j**2 + 3*j + 101. Is l(-10) composite?
True
Suppose 818804 = 13*j - 660297. Is j a prime number?
True
Let r(o) be the second derivative of 23*o**5/10 + o**4/4 - 2*o**3/3 - 2*o**2 - o. Is r(3) composite?
True
Suppose -920 - 1759 = -3*n. Suppose -j = -5*l - n, 0*l = -5*l. Suppose -5*s - 5*k - 183 = -j, 137 = s - 4*k. Is s composite?
True
Is (0 + -3 - -4)*112966/14 a prime number?
True
Let c(v) = 56*v**2 + 3*v - 21. Is c(-6) a composite number?
True
Let i be (12/(-8))/(3/(-10)). Let w be (-6)/3 - (-25)/i. Suppose m = 2*a + a + 659, 0 = -3*m - w*a + 1953. Is m prime?
True
Suppose 3*v + 0*v = -15. Let i = 10 + v. Suppose 5*a = 4*a - 1, -i*a = 3*q - 2014. Is q a composite number?
False
Let m(h) = -h**3 + 7*h**2 + 18*h - 91. Is m(6) prime?
True
Suppose s + 4 = 2*s. Suppose 4*z - 231 = -3*d + z, 0 = s*d - 5*z - 326. Is d a prime number?
True
Suppose 0 = 3*m - 16 + 7, -2725 = -2*b - m. Is b a composite number?
False
Suppose -6*n = 2 - 14. Suppose -2*a - 4*m + 392 = -7*m, 384 = n*a - 5*m. Is a a prime number?
False
Suppose 6 + 2 = -5*h - 4*o, 2*o + 14 = -5*h. Let x(g) = 119*g + 11. Let y be x(h). Let t = y - -700. Is t prime?
False
Let n(f) = 633*f**2 + 8*f - 7. Let j be n(-7). Let d be -74 + (-12)/(-9)*3. Is (-8)/(-10) - j/d a prime number?
True
Suppose 4*z + 6 = 10, -4*z - 6150 = -2*p. Is p a composite number?
True
Let p(f) = -f**2 + 10*f + 14. Let a be p(11). Suppose 0*x - a*x - 6 = 0. Is ((-4)/12)/(x/1542) composite?
False
Let v = -929 - -1060. Is v composite?
False
Suppose -3*k - 29636 = -5*y, -y + 4*k + 6678 = 744. Is y prime?
False
Let q(s) = s**3 - s**2 - 77*s + 16. Is q(13) composite?
True
Let v(a) = 2*a**2 - 10*a - 25. Let b = 27 + -40. Is v(b) a composite number?
False
Let b be -1 + 0*(-4)/16. Let u be (1 - (b + 0))*2. Suppose 47 = -5*h - 5*s + 332, 5*h - 286 = -u*s. Is h a composite number?
True
Let x = 565 + -308. Is x a composite number?
False
Let h(x) = 7*x**2 - 9 - 13 - 16 - x + 35. Is h(-4) a composite number?
False
Let s = -86 + 128. Is (-3525)/s*-10 - (-4)/(-14) composite?
False
Let q = -1000 - -1977. Is q a prime number?
True
Let q(n) = -3*n**2 + 29*n + 10. Let o be q(10). Suppose -1195 = -5*p + l - 4*l, 3*l = o. Is p a prime number?
True
Suppose -4*g + 42 = 3*g. Let i(p) = 146*p + 1. Is i(g) a prime number?
True
Let l be 186/66 + -1 + (-2)/(-11). Is (l/4)/(5*(-3)/(-49830)) prime?
False
Is 1 - (-506 - -1) - 1 composite?
True
Is (1279 + -2)/(3/3) composite?
False
Let d = -10477 - -17186. Is d composite?
False
Let v(p) = 92*p**2 + 37*p + 6. Is v(17) a prime number?
False
Let r be 2 - (2*2)/2. Let k be 56*1 - (-3)/9*3. Suppose r = -g - k + 160. Is g composite?
False
Let l = -14882 + 31761. Is l a composite number?
False
Let i(u) = -u**3 - 13*u**2 - 12*u + 1. Let g be i(-12). Let w be -9 + 1065 + g + 0. Suppose -507 = -4*c + w. Is c prime?
False
Let k = 18849 + 10493. Suppose 11*i + 6539 = k. Is i composite?
True
Let i = -779 - -812. Is i a prime number?
False
Suppose 5*f - 13 = 42. Let x(b) = 124*b - 13. Is x(f) a composite number?
True
Let l = 13894 - 8145. Is l a prime number?
True
Let n be (2 - 3)*-2 + (5 - -383). Suppose -n + 1458 = 4*a. Is a composite?
True
Suppose 4*c + 3*i - 17 = 4*i, 0 = -c + 4*i - 7. Suppose c*m = 7*m - 2794. Is m a prime number?
False
Let m = -3239 + 10649. Suppose m = 12*g + 918. Is g a composite number?
False
Is (46*1641/(-12))/((-10)/20) composite?
True
Let d = 10208 + -1611. Is d a prime number?
True
Suppose 0 = -5*a - 68 + 93. Suppose 3*d = -a*n + 356, n = 5*d - 3*n - 655. Is d prime?
True
Is ((-25)/150)/((-4)/464952) a composite number?
False
Suppose -26 + 32 = 3*x. Suppose -3*y + 10 = -k + 6*k, 2 = -x*k. Suppose -5*c - 3*i = -2870, 5*c - 2259 = c + y*i. Is c a composite number?
False
Suppose -w + 5*j = -6*w + 50, j = 5. Let k(g) = -43*g + 18. Let z be k(-12). Suppose w*s - z = 281. Is s composite?
False
Let i(n) = 6*n**2 - 2*n + 19. Is i(-26) prime?
True
Let d = -3 - -49. Let b = -22 + d. Let h = -13 + b. Is h a composite number?
False
Let y = 35 + -23. Suppose 0 = -j - y + 143. Suppose 0 = 5*h - j - 584. Is h a prime number?
False
Let t = 2726 - 1077. Is t a composite number?
True
Suppose 0 = -4*x - 20, 2*x = -2*y - 0*y - 4. Suppose 5*f = -v + 561, y*f = -3*v - 115 + 1798. Let a = v + -344. Is a a composite number?
True
Let o = -13 - -21. Let l = -6 + o. Suppose 4*a - l*a - 622 = 0. Is a a prime number?
True
Let y be 1 + (-1)/((-3)/3). Suppose 2 = y*k - 172. Is k a prime number?
False
Let z(h) = 142*h**2 + 30*h + 1. Is z(-10) a prime number?
True
Let f(o) = -o**3 - 4*o**2 + 7*o - 2. Let l be f(-5). Is (308/6)/((-8)/l) a composite number?
True
Let w be (-1)/(-3) + (-5104)/66. Let h = w + 972. Is h a composite number?
True
Suppose 0*z - 1022 = -z - 3*i, -4*z + 2*i + 4018 = 0. Is (-6)/9 - (4 - z/3) a composite number?
False
Let l(h) = -3*h - 11. Let d be l(-7). Suppose -2*r = -20 - d. Suppose 14 = -13*u + r*u. Is u composite?
False
Suppose -j - 3*j - 20 = 0, -3*r + 1888 = j. Is r composite?
False
Let h(w) = -24*w - 1. Let v(t) = -24*t - 1. Let z(x) = 5*h(x) - 4*v(x). Let k be (-18)/12 + -4 + 3/(-6). Is z(k) composite?
True
Let t = 100 - 99. Suppose -5*q + t + 9 = 0, -3*k = q - 161. Is k composite?
False
Suppose -26*j + 22*j - 2889 = -t, 8742 = 3*t + 3*j. Is t a prime number?
True
Let n(w) = w + 31. Let i be n(-27). Suppose 10*y = i*y + 21858. Is y prime?
True
Let k(z) = z**2 + 8 - 13*z + 9*z + 3. Let i be k(-8). Suppose 3*s - 431 = -j, -55 = -s - 4*j + i. Is s composite?
True
Let b = 3 + -70. Let i be (-9 - b)/(2/12). Let s = 613 - i. Is s a composite number?
True
Let a = 14951 + -10561. Suppose -894 = -m + 3*g, -g = 5*m - 0*g - a. Is m prime?
False
Suppose 29 = -5*u + 99. Is -51*(u/(-6) - 0) a prime number?
False
Let i(a) = a**2 + 6*a - 21. Let s be i(-9). Suppose b - 3 = -4*m + 11, -s = -4*m - 5*b. Is 38/m*-1*-22 prime?
False
Let d = -351 - -982. Is d a prime number?
True
Let v = 67251 + -37222. Is v composite?
False
Suppose -2*q - 6025 = -7*q. Let v = -400 - -1277. Suppose -v = -6*y + q. Is y a composite number?
False
Suppose -8*c + 74551 - 16047 = 0. Is c prime?
False
Suppose 97*z = 141*z - 205612. Is z a prime number?
True
Let a(q) = 332*q**3 - 2*q + 1. Suppose -5 = -2*j - 3*j. Is a(j) a prime number?
True
Suppose 29 = 3*i + 11. Suppose 0 = 3*m - i - 0. Suppose 3*d - h - 614 = 0, -m*h = 3*d - 641 + 42. Is d prime?
False
Suppose 2*p + 97 = -25. Is ((-3 - p) + 1)*1 a composite number?
False
Let v be 189/14 - (-6)/(-4). Let d be ((-1724)/v)/((-4)/12). Suppose -3*h + d = 50. Is h composite?
False
Suppose 1691 = 3*r - 1678. Let d = -577 + r. Suppose -6*n + d = -1296. Is n prime?
True
Is 1*2290 - (58 - 59) a composite number?
True
Let u(q) = -2*q**2 + 78*q - 45. Is u(35) prime?
False
Suppose 4245 = 3*x + 1218. Is x prime?
True
Let g(a) = -1266*a - 193. Is g(-4) prime?
True
Suppose -55535 = -4*j - 6195. Is j a composite number?
True
Let d(z) be the third derivative of z**8/2240 - z**7/5040 + z**6/240 - z**5/20 + 2*z**2. Let w(n) be the third derivative of d(n). Is w(2) composite?
False
Let j be (8 + -7)/((-2)/(-4)). Suppose y - 357 = -j*x, 2*y - 79 - 641 = 2*x. Is y a composite number?
Fal