 - o*w = 72, 2*c = 5*c - w - 226. Suppose 0 = l - 5*l + c. Is l a prime number?
True
Let i be 1 + (-3)/(6 - 3). Suppose i = 3*g - l - 38, -l - 16 = -g - 0*l. Is g composite?
False
Suppose -3*y = 3*g + 219, 4*g - 2*y + 0*y = -322. Let z = g - -187. Is z a prime number?
True
Let h(t) = t - 2. Let r be h(3). Suppose 5 = 2*i - r. Suppose -d = -i*q - 0*q + 259, 0 = q + 4*d - 69. Is q a prime number?
False
Let v(i) = 22*i**2 - 1. Let n be v(-1). Let y be (3 + -2)/(1/n). Let b = y + -11. Is b a composite number?
True
Let w = -41 + 25. Let a(i) = -108*i. Let f be a(-1). Is 1/4 - f/w a prime number?
True
Let n be (-7)/(-3) - 2/6. Suppose -n*i + 63 = -29. Is i composite?
True
Let a(h) = h - 4. Let z be a(7). Suppose z*t - 6*t = -273. Is t a composite number?
True
Suppose 2*p = -2*p. Suppose 2*x - 5*x + 9 = p. Suppose -38 = -x*g + 19. Is g a prime number?
True
Let o(d) = -1 + 13*d - 4*d + 2 + 5. Is o(3) composite?
True
Let l(b) = -b**3 + 6*b**2 - 5*b + 1. Let v be l(5). Let o be 2/(-4)*(-3 - v). Suppose -76 = -0*u - o*u. Is u a composite number?
True
Let k be 2/2 + (1 - -1). Let u(a) = a + 1. Let j(m) = -2*m + 103. Let x(y) = k*u(y) + j(y). Is x(0) a prime number?
False
Let q = -3 - -3. Let y be 200 - -4 - (q - 3). Suppose y - 74 = 2*k + j, 94 = k - 5*j. Is k a composite number?
True
Suppose 2*p + 4*g - 18 = 0, -g + 4*g - 16 = p. Let n be p/(-1 + 52/53). Suppose n = 3*c - 106. Is c a prime number?
True
Suppose 0*v - 3*v = 6. Is 8/v + 97 + -6 prime?
False
Let d(b) = b**2 - 7*b + 7. Let w be d(6). Let i = -1 - w. Is (-65)/(-7) - i/(-7) a prime number?
False
Let u(n) = 6*n + 5. Is u(7) a prime number?
True
Suppose -5*i = g + 18, -9 = 5*g - i + 3. Let d be g/(9/(-6)) - 149. Let u = d + 221. Is u prime?
False
Suppose 6*d - 1319 = 5*d. Is d a prime number?
True
Suppose 4*i - 5*r = 1, r - 3 = -i + 4. Suppose 2*x = i*d - 3930, 0*d - 2*d = -4*x - 1962. Is d composite?
False
Let b = -3 - -5. Suppose 2*w - f = f, b*w = -f + 12. Suppose w*c = 155 + 153. Is c a prime number?
False
Let l(r) = r**3 + 6*r**2 - 2*r. Let p be l(-6). Suppose -2*h = -5*h + p. Let w(f) = f**3 - f**2 - 3*f + 1. Is w(h) a prime number?
True
Suppose z + 5*d - 421 = -0*z, 5*z - 2235 = d. Suppose 4*q = 2*q + z. Is q a composite number?
False
Let u be (-14)/(-6) - 4/(-6). Let o(a) = -a**3 + 3*a**2 - a + 1. Let v be o(u). Is v/(-7) - 2204/(-28) prime?
True
Let s(k) = 26*k + 41. Is s(18) a composite number?
False
Suppose 0 = -5*m + 146 - 51. Let x = -10 + m. Let p = x - 7. Is p composite?
False
Suppose 0 = 4*v - 6*v + 38. Is v a prime number?
True
Suppose 0 = 2*l + n - 10, 4*l + 4*n = n + 22. Suppose t + 1791 = 3*g, t - 2*t = -l*g + 2387. Suppose g = -0*v + 4*v. Is v a composite number?
False
Let w = -985 + 2616. Is w a composite number?
True
Suppose -j + 1199 = -6*q + 7*q, -2*j = -3*q + 3577. Is q composite?
True
Let r(m) = m**3 + 2*m**2 - m + 9. Let d be r(-5). Let g = -28 - d. Is g a prime number?
False
Suppose -4*a - 2*h = 3*h - 4706, 4*h = 2*a - 2366. Let o = a - 10. Is o composite?
True
Let k(q) = -q**2 - 7*q - 4. Let l be k(-6). Suppose g + b = 3*g - 6, 5*g + 4*b = 28. Suppose -g*r = -l*r - 62. Is r a prime number?
True
Suppose -15 = -3*b - 2*i + 5*i, 5*b + 4*i + 20 = 0. Suppose 0 = -b*u + 5*u - 2290. Suppose 0 = 3*o - u + 131. Is o prime?
True
Suppose 6*o = 4*o + 2*n + 66, -3*o + 115 = 5*n. Is o prime?
False
Let x(j) = 58*j**2 - 2*j - 1. Is x(-1) composite?
False
Suppose 2 = o + 3*l - 11, -33 = 4*o - 5*l. Let d be (2*-1)/o - -3. Suppose 469 = d*a - 39. Is a a composite number?
False
Let f(h) = -h**3 + 3*h**2 - h + 1. Let c be f(2). Suppose -g + c*g = 158. Is g composite?
False
Let a = -741 + 1250. Is a prime?
True
Let u(d) = -141*d - 2 - 33*d - 70*d. Let h be u(-7). Suppose -4*i + 5*z = -h + 239, -2*z - 1855 = -5*i. Is i prime?
True
Suppose -u = -0*u. Suppose -2*t + u = -4. Suppose 4*y = 8, -t*l + 3*y + 31 = -l. Is l composite?
False
Suppose v = -2*a + 2141, 3*a + 2*v + 3*v - 3222 = 0. Is a a prime number?
True
Let q be 6/(-4)*(3 + 3). Let x(u) = 1 + 3*u + 3*u**2 - 9 - u**2. Is x(q) prime?
True
Let p(n) = n**3 + 3*n**2 - 2*n + 2. Let m = -15 + 11. Let h be p(m). Is ((-53)/(-3))/((-2)/h) a composite number?
False
Let v(o) = -o**2 + 11*o**2 - 1 + 8 + o**3 + o. Is v(-8) a composite number?
False
Let l be (4/(-10))/(4/(-60)). Let o be 614/l + (-3)/9. Suppose -3*z + z + o = 0. Is z a composite number?
True
Let o(s) = 5 - 2*s - 5. Let c be o(-3). Is (2 - -24)/(c/21) a composite number?
True
Suppose -8*c + 1119 = -7*c. Is c a prime number?
False
Let o = -264 - -673. Suppose -5*y + 6*y = -4*i + o, 5*y - 2045 = 3*i. Is y a prime number?
True
Let v(k) = -k**3 - 3*k**2 - 4*k - 3. Let y = -9 - -14. Suppose -2*j + y*g = 10, -4*j - 3*g = 11 + 9. Is v(j) composite?
False
Suppose -3*t = -683 + 2306. Let x = t - -281. Is 4/(-18) + x/(-36) a composite number?
False
Let f be (-3)/4*(-4 + -4). Suppose -f*t + 2*t = -1884. Is t a composite number?
True
Suppose 5*u - 2612 = 14943. Is u prime?
True
Let k be (-125)/(-45) - 2/(-9). Suppose v = -k*v + 124. Is v composite?
False
Let n(g) be the first derivative of 10*g**3/3 + 7*g**2/2 - 5*g + 2. Let b be n(5). Suppose -455 = -3*i + 4*y, 0 = 2*i - 5*y - b - 14. Is i prime?
True
Suppose -2*y + y + 3*l + 106 = 0, y = 5*l + 114. Let t = y - 45. Is t a composite number?
True
Let j = 175 - 48. Is j a composite number?
False
Let i(r) be the second derivative of 0*r**2 - 2*r + 1/6*r**3 + 0 + 0*r**4 + 3/2*r**5. Is i(1) a prime number?
True
Suppose -2*y = 2*t + 2*y - 168, 4*y - 438 = -5*t. Suppose 2*f + 22 = t. Suppose 2*d - f - 10 = 0. Is d prime?
False
Is (-1 - (-1628)/6) + (-92)/69 prime?
True
Let o be 3/(-4) - 1797/(-12). Let n = o + -90. Is n a prime number?
True
Let l = -788 - -1207. Is l a composite number?
False
Let i = 19 + -10. Let z = 16 - i. Is z a composite number?
False
Suppose 0 = -3*q - q + 16. Suppose 0*l = -q*l + 220. Is l a composite number?
True
Suppose -3 - 1 = 4*r. Is (6 + 31)/(r/(-1)) prime?
True
Suppose -3*q = 5*u - 2725, q + 0*u = 5*u + 895. Suppose 0 = 4*w + w - q. Is w composite?
False
Suppose -13*f = -0*f - 8905. Is f a prime number?
False
Suppose 3*k - k + 2 = 0. Let y be 2/6 - (-5)/3. Is (k/(-2))/(y/56) prime?
False
Let l(p) = -100*p**2 - p. Suppose 3*q - 3*b + 0*b = 12, -q - 2*b = 5. Let i be l(q). Is (-1)/(i/(-34) - 3) a composite number?
True
Let j = -8 + 6. Is (-2)/3*393/j composite?
False
Let b(c) = 3*c**2 - 17. Is b(14) a prime number?
True
Let f be (2 - (0 - 0)) + 54. Suppose f = g + 3*g. Is g prime?
False
Suppose g + 5*o - 792 = -3*g, 0 = -4*g - 2*o + 804. Is g prime?
False
Is 2/((8/358)/2) a composite number?
False
Suppose 0 = -l - s + 917, 5*s = -0*l + 2*l - 1869. Is l a composite number?
True
Suppose s - 86 - 603 = 0. Is s composite?
True
Let x be ((-6)/4)/(4/(-8)). Suppose b = x*b - 526. Is b a prime number?
True
Let i(s) = s**3 - s**2 - s + 77. Let b(p) = -p**2 + 3*p - 2. Let x be b(2). Is i(x) prime?
False
Suppose -5*u = -n - 1, -3*n = -2*u - 0 + 3. Let y be 0/(0 - (u + -2)). Suppose y*b + b = 37. Is b prime?
True
Let r = -62 + 99. Is r prime?
True
Let r be 1/(-6) - (-156)/72. Suppose 6*k = k - 10, 4*k - 4 = -3*i. Suppose 0 = -r*l + 6, -2*l + 5*l - 157 = -i*q. Is q a composite number?
False
Let a(v) = v**2 - 2*v + 1. Let z(d) = 2*d**2 - 2*d + 1. Let l be ((-6)/(-4))/(1/(-2)). Let f(x) = l*a(x) + 4*z(x). Is f(1) a composite number?
True
Let s = -5 - -7. Let r(v) = -v + v**2 + 7*v**3 + 1 - v**s. Is r(1) prime?
True
Suppose 5*y - 3*t - 2020 = -8*t, -t = 5*y - 2040. Is y composite?
False
Suppose 315 = 12*g - 429. Is g composite?
True
Let n(c) = -c**3 - 11*c**2 + 11*c - 4. Let s be n(-12). Let f(x) = x**2 - 10*x + 8. Let d be f(s). Let t(w) = -4*w + 1. Is t(d) composite?
True
Let d = 4 - 4. Suppose 109 = 3*o + t, 5*o + d*o + 2*t - 183 = 0. Is o composite?
True
Suppose -5*r - 3*g = -632, g + 305 = 3*r - 77. Is r a prime number?
True
Suppose m - 54 = 3*h - 4, 4*m + 5*h = 200. Suppose 2*b - 4*b = -m. Is b composite?
True
Suppose 0*w = 3*w + 6. Let o(d) = -d**2 - 2*d - 1. Let h be o(w). Is (3 + -14*1)*h a prime number?
True
Let w be (6/(-8))/(2/(-8)). Suppose 57 - 420 = -w*m. Is m a composite number?
True
Let r(x) = -x + 11. Let g be r(8). Let t(m) = 3*m**2 - 3*m**2 + g + 2*m**2 + 2*m. Is t(-2) prime?
True
Is (0 - 94)*(-6 + 5) a composite 