*y - g - 19 = 0, -5*g - 27 = -3*y - 2. Let h = y - 15. Is h/(-15) + (-16)/(-6) prime?
True
Let c = 254 + -75. Is c a prime number?
True
Let p = 20 + 206. Is p composite?
True
Let o = 2 + 4. Suppose o*m = 2*m + 508. Let b = 248 - m. Is b a prime number?
False
Suppose -5*b = -0*b + 4*y - 110, 2*y = 5*b - 140. Suppose g + 3*j + 36 = 4*g, 2*g - 3*j = b. Suppose 5*q + 2*d + d - 190 = 0, -q + 5*d = -g. Is q prime?
False
Suppose -2*g - 30 = -7*g. Is 3*22*2/g a prime number?
False
Let i = 139 + 114. Is i a prime number?
False
Suppose 356 = -5*l + p, -5*p = 5*l - 0*p + 350. Let m = 145 + l. Is m*((-6)/4 - -2) a prime number?
True
Suppose 119 = -2*i + 3*f, -3*i + 7*f - 2*f = 181. Let z = -9 - i. Suppose -2*c + z = -3*u, 1 = -5*c + 4*c - 3*u. Is c prime?
False
Let x be -8 - (-3 + 6 - 5). Let l(k) = -k - 6. Let c be l(x). Suppose 5*u - 45 = -n - c*u, 0 = 3*n + 2*u - 109. Is n composite?
True
Is (2 - 1) + -349*(-8 + 4) a composite number?
True
Let p(k) = -k**3 + 13*k + 19. Is p(-9) prime?
True
Let z(u) = 19*u**2 - 2*u - 4. Let d(t) = -t - 2. Let n be d(-5). Is z(n) a composite number?
True
Suppose 3*r + 248 = 1169. Is r composite?
False
Let x(u) = -u**3 + 21*u**2 - 4*u - 5. Is x(16) a prime number?
False
Is (-6)/27 + 3017/9 prime?
False
Let r(a) = 6*a**2 - 7*a - 5. Let p be r(-7). Suppose 2*t - 5*m + 104 = p, -2*t = -3*m - 242. Is t prime?
True
Let s(w) = -96*w - 41. Is s(-7) composite?
False
Let o(a) be the first derivative of -2*a**3/3 + 2*a**2 + a - 2. Let d be o(4). Let m = 37 + d. Is m a composite number?
True
Is (7/14)/(2/332) a prime number?
True
Suppose 7*d - 5 = 2*d. Let i be -2 + -2 - (-2 - d). Is 2*i - -57*1 composite?
True
Let c(v) = -4*v**3 - 2*v**2 + 5*v + 4. Let p = 6 + -9. Is c(p) a composite number?
False
Is ((-452)/(-8))/(1*1/22) prime?
False
Is -4 - 0 - (-860)/4 prime?
True
Let b(d) = 274*d - 9. Is b(5) a prime number?
True
Let l be (2/4)/((-1)/(-8)). Let v = 11 - l. Is v a composite number?
False
Suppose j + j + 5*a = 624, 3*j = a + 953. Is j composite?
False
Let g = 16 + -6. Let k(z) = -z**3 + 3*z**2 + 5. Let a be k(3). Suppose -165 = -g*c + a*c. Is c a composite number?
True
Suppose 2*u + 422 = 4*u. Is u prime?
True
Let f(g) = -7*g**2 - 21*g + 19. Let m(p) = 3*p**2 + 10*p - 9. Let u(d) = -2*f(d) - 5*m(d). Let x be u(-9). Is 97*(-1 - x)/1 a prime number?
True
Let z(p) = -4 + 5*p + 1 - 2. Let x be z(4). Suppose 5*j + 0*r - r = 94, -j = -4*r - x. Is j prime?
True
Let h(b) = -12*b + 8. Let m be h(4). Let c = m - -74. Is c prime?
False
Let r be 12/(-54) - 236/(-9). Let o = r - -45. Is o prime?
True
Suppose 5*g + 0*g = 21515. Is g composite?
True
Suppose 4*j - 3 = 3*j. Suppose -2*o - 3 - 114 = -j*u, -270 = 5*o - 3*u. Let a = -29 - o. Is a a composite number?
True
Let u(s) = 7*s**2 + s + 3. Is u(7) a prime number?
True
Let r(a) = a**3 + 9*a**2 + 5*a + 5. Let p = -12 + 6. Is r(p) a composite number?
False
Let n be 5 + (-2 - (2 + -2)). Suppose 5*g - 4*a + 0*a = 277, 0 = n*g + 5*a - 144. Is g prime?
True
Is 12*(-6 + 6 - 89/(-4)) a prime number?
False
Let b(l) = -11*l**3 - 5*l**2 - 1. Is b(-4) prime?
False
Let c(h) = 3*h**3 + 2*h**2 - h - 3. Let l be c(-4). Is (1 - 0)*l/(-3) composite?
False
Suppose 5*i = -2*s - 0*s + 8539, 2*s - 8531 = 3*i. Is s composite?
True
Let v be (-1 - 1) + 5 + 0. Suppose 46 = -c + v*c. Is c prime?
True
Let d(p) = 3*p**2 - p + 1. Is d(3) a composite number?
True
Is 1/(1 + 888/(-892)) a composite number?
False
Let k = -2 + -1. Let t be 0*(k*1)/3. Suppose 0 = -t*q + q - 13. Is q composite?
False
Suppose -3*m - m + 4 = 0. Suppose -2*s - v - 2 = -3, 4*s + 3*v + m = 0. Suppose -4*d = 8*t - 4*t - 564, -5*d - s*t + 717 = 0. Is d prime?
False
Suppose n + 1 = 0, 0 = -4*z - n - 1 - 4. Let p(h) = -23*h**3 + h + 1. Is p(z) a composite number?
False
Is (-4890)/(-8) + -5 + 38/8 a composite number?
True
Let h be (4 - 1)/((-6)/(-4)). Suppose -4*v + 4*n = -60, -h*n + 51 + 24 = 5*v. Is v a composite number?
True
Suppose 5*t - 2*l - 24 - 1 = 0, l = 3*t - 15. Suppose -533 = -4*m + 3*s, 0 = 2*m - 0*s + t*s - 247. Is m prime?
True
Let m(b) be the second derivative of 17*b**5/10 - b**4/12 + b**3/3 - b. Let n be m(2). Let a = -189 + n. Is a a prime number?
True
Suppose 3*p = z + 4*z - 26, 3 = 3*z. Let l(g) = -11*g + 8. Is l(p) prime?
False
Suppose 5*n - 20 = -8*x + 3*x, 0 = -5*n + 5*x + 20. Suppose n*o - 29 = 11. Suppose -13 = -s + o. Is s prime?
True
Suppose -2*y + 4*a + 14 + 10 = 0, -102 = -5*y - 4*a. Suppose -26 - 2 = -3*s - 5*k, 4*k = 2*s + y. Let z(q) = 146*q**2 - q. Is z(s) prime?
False
Suppose 5*w + 10 = t + 140, 4*w + t = 95. Let m = 26 + w. Is m prime?
False
Let d = 1 - 4. Is ((-7)/(-4) - d)*20 a prime number?
False
Suppose -z = k - 4*z - 336, 0 = 5*k - 4*z - 1636. Let b = k - 67. Is b prime?
True
Let x = 143 + -56. Is x a prime number?
False
Suppose -4*b - 13 = 239. Let w = 146 - b. Is w a composite number?
True
Is (-64584)/(-14) - 4/28 a prime number?
False
Let u(i) = i**3 - 4*i**2 + 4*i - 4. Let t be u(4). Is t/(-9)*(-3)/2 prime?
True
Suppose -3*q + 5*s = -0*s - 1332, 5*q - s = 2242. Is q a prime number?
True
Let v be (-2)/(-6) + (-24)/(-9). Let n be -2 + v/3 + 0. Is n/(164/166 - 1) prime?
True
Let d = 6 - -12. Suppose s = q + d, s + 3*q = 3*s - 33. Is s prime?
False
Let q = 6 - 10. Let v be (-2)/q*-2*-2. Suppose 0 = -4*d + v*d + 284. Is d prime?
False
Let u(b) = -b**2 - 1. Let r be u(-3). Is (-4917)/(-55) + 4/r a prime number?
True
Let s = 19 - 34. Let x = s - -58. Is x a prime number?
True
Let k = 920 + 2739. Is k a prime number?
True
Let r be -1 + -4 - (-3 - -3). Let p(h) = h**3 + 6*h**2 + 5*h + 7. Is p(r) prime?
True
Let k(b) = -b - 3. Let t be k(-5). Let j(q) = -t*q - q + 7*q**2 - 3 + 0*q. Is j(-2) a prime number?
True
Suppose 3*k - 283 = -46. Is k composite?
False
Suppose -9*l + 10*l - 1117 = 0. Is l composite?
False
Let n(s) = s**3 + 3*s + 1. Suppose 3*i = 4*r - 14, -4*r = -4*i - 16 - 0. Let j be (-8)/i + -6 + 6. Is n(j) a composite number?
True
Suppose 5*r = -5*b + 1185, 0 = -4*r + 3*b + 38 + 896. Let u = 30 + r. Is u a prime number?
False
Let l = 1926 + -925. Suppose 0 = 5*o + 2*o - l. Is o prime?
False
Let z(f) be the second derivative of f**5/20 + f**4 + 5*f**3/6 - 15*f**2/2 + 4*f. Is z(-11) a prime number?
False
Let a(t) = t**2 - 3*t - 3. Let z be a(4). Suppose -11 = -2*l + z. Suppose 3*r = l*r - 21. Is r a prime number?
True
Let q = 15 - 11. Let r(j) = 23*j + 5. Is r(q) a prime number?
True
Suppose 0 = -3*i - 8*y + 4*y + 3509, 0 = 5*i - 3*y - 5858. Suppose 4*u = i + 417. Is u a composite number?
False
Let n = 2517 - 1786. Is n a composite number?
True
Let h be 180/(-8)*(-8)/6. Suppose 3*d + 12 = h. Let y = 133 - d. Is y composite?
False
Suppose -1061 + 197 = -4*b - 5*m, -5*b = -3*m - 1043. Let x = b + -20. Is x composite?
False
Suppose 3*m - 11 - 19 = 0. Let j = -10 + m. Is (-26)/(-2) + (2 - j) a prime number?
False
Let z = 2854 + -1713. Is z composite?
True
Let v(d) = d**2 + d + 9. Suppose 5*m = -3*t - 38, -m + 5*t - 23 = 3*m. Let k be v(m). Suppose -2*q - k = -157. Is q prime?
True
Let n = 4 + -5. Let r = 5 - n. Is (-12)/(-8)*452/r composite?
False
Let y be (-646)/(-2) + (-15)/(-5). Suppose 4*x - y = 62. Is x a composite number?
False
Let j be (-1 - 1)*(1 + -2). Suppose 5*q + 3*i - 742 = 0, -j*q + 288 = -5*i - 15. Is q prime?
True
Let g = 10 - 176. Let h = g + 420. Suppose 0 = 3*v - v - h. Is v a composite number?
False
Let l = -65 + 354. Is l prime?
False
Let q be 12519/45 + (-2)/10. Let u = -167 + q. Is u composite?
True
Let f(m) = 10*m**2 - m + 2. Let x(o) = o**3 - 2*o**2 - o - 3. Let s be x(3). Let p be f(s). Suppose -c - p = -2*c. Is c prime?
True
Let j(u) = 4*u**2 - 2*u - 1. Let a be j(-1). Let y be (12/(-15))/((-2)/a). Is (-8 + -2)/(-2) - y prime?
True
Let o(j) = -j**3 + j**2 + j + 3. Let n be o(0). Suppose -410 = -n*w + 1012. Suppose -3*m + w = 5*b, 2*b - 7*b + 5*m = -450. Is b prime?
False
Suppose 184 = 4*g - n, 2*n - 9 - 37 = -g. Is g composite?
True
Let b be (-213)/(-3) + (2 - 0). Suppose 5*g - b = -0*g + t, -4*g + 2*t + 62 = 0. Is g a composite number?
True
Let u be 7/(-14) + 2/4. Suppose 4*n + n - 95 = u. Is n a composite number?
False
Suppose -5*d - 4*f = -770, 3*d - 5*f - 48 = 451. Is d a prime number?
False
Let k be (-48)/18*6/(-4). Suppose 5*h = k*r + 420 + 438, -3*h + 500 = 5*r. Suppose h = 3*i 