6 + 1801. Let i = -818 - m. Is i prime?
False
Suppose n = -2*o + 726, -4*o + 1452 = 2*n - n. Let y = o + -186. Is y composite?
True
Suppose 54*q = 41*q + 48009. Is q composite?
True
Suppose 0 = -0*x - 4*x + 8. Let m = 11 - -4. Suppose -4*s + 197 = 5*r, -r + 88 = x*s - m. Is s composite?
False
Let d = -11 + 178. Suppose 0 = 2*u - t - 0*t + 179, 3*t + d = -2*u. Let o = u - -145. Is o prime?
False
Let w = 606 + 36. Let u = 949 - w. Is u a prime number?
True
Let a(g) = -3*g - 4. Let n be a(-2). Let k be -1 + n/4*2. Let s(z) = -z**2 + 65. Is s(k) a prime number?
False
Let b = 1569 + -892. Is b a composite number?
False
Let j = -11510 + 16623. Is j a composite number?
False
Suppose 3 = 3*g, 717 = 2*l - 5*g - 548. Is l a composite number?
True
Suppose 7*b - 5*b + 6 = d, d + 4*b = -12. Suppose 5*c - 2041 = 2*k, -k + 4*k - 6 = d. Is c prime?
True
Suppose -4*r - 183 = -r. Suppose -4*g + 5*i = -441, -7*i + 3*i + 12 = 0. Let u = g + r. Is u a prime number?
True
Suppose 3*n + z = 88, -n - 6*z + 3*z = -40. Let a(g) = -73 - g + n*g**2 + 74 + 34*g**2. Is a(2) prime?
False
Suppose b - w - 10 = 0, b - 2*w + 3 = 13. Suppose o = b*o - 9333. Is o prime?
False
Suppose 3*z - 2*n = 11 + 61, -34 = -z + 4*n. Is (-9818)/(-6) + -3 + z/6 prime?
True
Suppose 4*u = 58 + 14. Let n = u + -18. Suppose n = -m - m + 130. Is m a composite number?
True
Let v(t) = 117*t**2 + 6*t - 10. Is v(9) prime?
True
Let x be (0 + -4)*(-3)/6. Suppose 0*l = x*l - 10. Suppose l*g - 2*g = 1923. Is g a prime number?
True
Let s be 5/((-150)/12)*65/(-2). Suppose -2*u = s*u - 39495. Is u a prime number?
True
Suppose -4*z + 4 = 0, z = 5*b + 6 + 5. Let n be b/(4/((-4)/1)). Suppose -40 = -6*t + n*t. Is t composite?
True
Suppose 0 = -4*v - 2*q + 18638, 8*v - 13*v + 23296 = 3*q. Is v prime?
False
Let q(c) = -582*c**3 + 6*c - 7. Is q(-4) prime?
True
Let w(u) be the second derivative of 7*u**5/20 - u**4/6 - u**3/3 + u**2/2 - 7*u. Is w(3) a composite number?
True
Let y = 20 - 16. Suppose l = -y*w - 1, -3*l = -w + l + 4. Suppose 3*s + w*s = 2*r + 1127, 4*r = 3*s - 1117. Is s prime?
True
Is (-1)/((-6)/3447)*16/12 composite?
True
Let k = 18 - 16. Let f(a) = 5*a**3 + a**2 - k*a**2 - 2*a - a**2. Is f(3) composite?
True
Let l(o) be the first derivative of 11*o**2/2 - 9. Is l(3) a composite number?
True
Let p = 3598 - -2305. Is p composite?
False
Suppose 3*v = -5*n + 23, n = -4*v + 7 + 1. Suppose g - 1794 = -c, n*g - 4*c + 746 = 7930. Is g composite?
True
Let y be (-21)/(-12) - 1/(-4). Let q = 4 - y. Is q/5 - (-84)/15 a composite number?
True
Suppose 3*s - 6*s - 4*y = 61, 67 = -3*s - y. Let q = s + 208. Is q composite?
True
Suppose -230 = -5*d + 2*y, 2*d - 3*d + 2*y + 54 = 0. Let b be -3*(4 + d/(-12)). Let j(t) = -142*t**3 - t**2. Is j(b) composite?
True
Suppose -79*j + 25487 = -68*j. Is j a prime number?
False
Suppose -4*f = -3*r + 6*r - 28067, -5*r + 7038 = f. Is f a prime number?
True
Let z(w) = w**3 + 19*w**2 + 17*w - 9. Let j be z(-18). Let t(l) = -11*l**2 - 11*l + 3. Let s be t(j). Let a = 1406 + s. Is a a prime number?
True
Let w(j) = 285*j**3 + 50*j**2 + 8*j - 1. Is w(6) composite?
True
Suppose 4*a - 4*x = 5600, x + 4*x - 1394 = -a. Suppose 0 = 3*k - l - 5282, -a - 365 = -k + l. Is k a composite number?
False
Let y(u) = 86*u + 11. Is y(12) prime?
False
Is (-11)/99 + ((-1496)/(-18) - -4) composite?
True
Suppose -6*w + 2*w - 5*k + 892 = 0, 3*w = 5*k + 669. Suppose -6*h + w + 611 = 0. Is h composite?
False
Suppose 0 = -4*s - 220 - 304. Let f = s - -488. Suppose -f = -0*d - 3*d. Is d composite?
True
Suppose 5*t - 2*c + 0*c - 46 = 0, c - 37 = -5*t. Is t - 8 - -191*1 a prime number?
True
Let b(y) = -218*y + 3. Let i be b(-6). Suppose 0 = -10*p + i + 799. Is p composite?
False
Let b(a) = a**2 - 6*a - 27. Suppose 0 = 4*y + 6*y + 140. Is b(y) a prime number?
False
Let i(j) be the first derivative of j**3/3 - 15*j**2/2 - 5*j + 14. Is i(-7) prime?
True
Let u(p) be the first derivative of 295*p**3/3 - 3*p**2 + p - 17. Is u(2) prime?
False
Suppose 2*n + a = -0*n + 9, -1 = -a. Suppose 0 = -n*h - 0*h + 32. Let p(x) = 52*x + 3. Is p(h) a prime number?
True
Is (-14)/63 + (-66323)/(-9) a composite number?
False
Let r(s) = -565*s**2 - 2*s**3 + s - 1 + 16*s**3 + 559*s**2. Is r(6) prime?
False
Let r(v) = -2*v - 15. Let q be r(-10). Suppose 5*k + 4*p - 331 - 60 = 0, -2*k + 153 = q*p. Let c = 137 - k. Is c a composite number?
True
Is (18 + -75)*(-1 + (-320)/6) prime?
False
Let u(q) = q**3 + 26*q**2 - 38*q - 5. Is u(-16) composite?
False
Is 5 + (-7 - -2035) - -6 a prime number?
True
Let i(v) = 115*v - 68. Let s(n) = 58*n - 33. Let u(b) = -6*i(b) + 11*s(b). Is u(-7) a prime number?
True
Let g be 16 + -10 - (-1 + 0). Suppose -g*h + 1136 = -3*h + 4*y, 4*h - y - 1151 = 0. Is h prime?
False
Suppose -373 = -3*a + k + 292, a - 205 = -3*k. Suppose -4*n - 4*l = -a, 50 = 2*n + 5*l - 72. Suppose -4*r + 239 = n. Is r a composite number?
False
Suppose -4*j + 202 = -o - o, 3*j - 2*o = 154. Suppose 0 = d + 2*d - 87. Let g = j - d. Is g a composite number?
False
Is (2/4)/(-1) + 6254388/216 composite?
True
Let u = 10 - -8. Suppose 7 + u = -5*k. Is 3891/15 - (-2)/k prime?
False
Is (1 - (3 - 3)) + (3832 - 12) composite?
False
Let d(r) = 63*r**2 - 7*r + 5. Is d(-9) composite?
False
Let i(w) = 3*w + 12. Let t be i(-3). Suppose -3*y + 357 = t*f, 3*y = 3*f - 0*f + 369. Is y prime?
False
Suppose -4*t - 3*r - 2*r + 8938 = 0, 4 = -2*r. Is t composite?
False
Suppose 4*k = 3*k + 21. Let p = k + 250. Is p prime?
True
Suppose k + 64 = 5*k. Suppose -v - 3*v = -k. Suppose -m - v*i + 26 = -21, -5*m + 5*i + 260 = 0. Is m prime?
False
Let n = 72 + -67. Suppose n*m + 2138 = 7*m. Is m a composite number?
False
Let p(g) = g**2 - 7*g - 3. Let y be p(7). Let l = -204 + 114. Is 3 + 1/(y/l) a prime number?
False
Let s(w) = 87*w**2 + 12*w + 20. Let d be s(-8). Suppose 4*j - d = -0*u - 3*u, 0 = j + u - 1372. Suppose 2540 = 4*n - 5*l, 3*n - 529 = 3*l + j. Is n composite?
True
Let b be 40 - 3 - (-3 + 1). Is (-26)/b - (-5405)/3 a prime number?
True
Is (6 + (-73542)/18)/1*-3 composite?
False
Suppose -76*r + 75*r + 12227 = 0. Is r prime?
True
Let k(f) = 12*f**2 - f + 9. Let p(z) = z**2 - 2. Let m be p(-3). Let r be (m - 4)/((-3)/8). Is k(r) a prime number?
False
Suppose -t - 14958 = -3*k + 2*k, -5*k + 74750 = 3*t. Is k a prime number?
False
Let w = -10 - -12. Suppose w*b + 257 = 749. Suppose 0 = 4*m - b - 190. Is m a composite number?
False
Suppose -5*l + 297 = -93. Let h = 599 - l. Is h composite?
False
Let g(w) = -6 + 3 - 16*w - 2 + 4*w**2. Suppose 3*h = -15, 0*x - 26 = x + 3*h. Is g(x) a composite number?
True
Let b = 115 + -50. Suppose b = g - 0*g. Suppose -226 = -3*t + g. Is t composite?
False
Suppose 0 = 8*y - 11*y - 45. Let f = y + 19. Suppose -b - b + 529 = 3*m, 0 = f*m - 4. Is b a prime number?
True
Let r = 3 - 3. Suppose r*o - 2*o - 4*n + 1098 = 0, -2*n = 2*o - 1090. Is o a prime number?
True
Suppose 4*i + 21*i - 13975 = 0. Is i prime?
False
Suppose 0 = 3*g - 5*i - 382, 0 = 2*g - 3*i - 2*i - 263. Let b = g + 132. Is b a prime number?
True
Is (-62044)/10*(-295)/118 composite?
False
Let t = -40 + 2558. Is t a composite number?
True
Let g(p) = -29*p - 11. Let m be g(-8). Suppose -m = -5*x + 399. Suppose x = h + 45. Is h a composite number?
False
Let y = 4146 - -9265. Is y a prime number?
True
Let x(n) = 9*n**3 + 27*n**2 - 13*n + 10. Is x(9) composite?
False
Let s = -105391 + 185892. Is s prime?
False
Let j(s) = 15*s**3 + 3*s**2 - 5*s + 9. Let x(d) = -2*d**2 + 14*d + 4. Let p be x(7). Is j(p) prime?
True
Suppose v = 3*v + 4, 2*g - 18 = 3*v. Let c be (-4)/g + 1082/3. Suppose -345 = -3*z + c. Is z a prime number?
False
Let b = -63662 - -108013. Is b a composite number?
False
Let k = 3195 + 4399. Is k a composite number?
True
Let d be (-3)/(2 + 11/(-5)). Let i = d + -13. Suppose -4*c = 3*a - 328, -i*c + 2*a = 35 - 185. Is c prime?
True
Let q = -7 + 4. Let l be (-1)/q - 1540/30. Let r = l + 104. Is r prime?
True
Suppose 0*j = j - 3. Let k = 273 - j. Suppose k = f - 271. Is f a composite number?
False
Let x(r) = r**2 - 4*r - 2. Let a(i) = 2*i - 25. Let o be a(15). Is x(o) a prime number?
True
Suppose -13 - 5 = 3*m. Is m/9*(-2 - 2446/4) composite?
False
Let i(x) = 5*x - 3. Let q = -10 - -13. Suppose q*c - 2*c = 8. Is i(c) composite?
False
Let y = 5 + 10. Let n(k) = -k**3 + 1