. Let u = i - -358. Is u prime?
True
Let f = -1311 + 2708. Is f composite?
True
Let k be ((-4)/(-6))/((-1)/(-63)). Let y = 61 - k. Is y composite?
False
Suppose 348 + 448 = 4*k. Suppose -k = -0*b - b. Is b a composite number?
False
Let b be (-1)/(-6) - (-21)/(-18). Is b/(-1) - (-85 - 1) composite?
True
Let n(t) = 24*t**2 + 3*t - 1. Is n(4) composite?
True
Let h(z) = -z**2 + 27*z + 29. Is h(22) a composite number?
False
Let q = 456 - 161. Is q a prime number?
False
Let s(y) be the third derivative of y**4/24 - y**3/6 - 3*y**2. Let t be s(0). Is -6*(3 - 9) + t a composite number?
True
Suppose -1232 = -2*l - 258. Is l a composite number?
False
Suppose 10*d - 7*d - 4791 = 0. Is d prime?
True
Let f(j) = j**3 - 8*j**2 + 8*j - 3. Let l be f(7). Suppose -2*a + 4 = -c, 8*a = l*a + 3*c + 8. Suppose a*g + 5*x - 71 + 22 = 0, 3*x = -4*g + 133. Is g prime?
True
Let i = 303 - -668. Is i a composite number?
False
Let v(s) = s**2 - 8*s - 6. Let o be v(9). Suppose -3*l + 4 = -4*l + 5*g, -o*g + 4 = -l. Is (-155)/(-10) + 2/l a prime number?
False
Let i(p) = -p**2 - 9*p - 10. Let y be i(-7). Is 1900/16 - (-1)/y composite?
True
Let u = -425 - -648. Is u a composite number?
False
Suppose x - 3*x + 198 = 0. Let f = x + -40. Is f composite?
False
Let t(b) = 29*b**2 + b. Let h be t(2). Suppose -2*k = -178 - h. Suppose -3*z - z = -k. Is z a prime number?
True
Let d be 3*(-1)/((-3)/184). Suppose 2*n + 62 = -148. Let k = d + n. Is k a composite number?
False
Suppose 0 = 6*v - v - 330. Is (7/(-3))/((-2)/v) a composite number?
True
Let c = -68 - -123. Is c a prime number?
False
Let v = -126 - -499. Is v prime?
True
Let u(a) = -2*a**3 - a**2 + 27*a + 17. Is u(-9) composite?
False
Suppose -2*t + 1675 = 5*k, -4*k + k + 1036 = -5*t. Is k a composite number?
False
Let z(q) = 2*q**2 + 4*q + 5. Let x be z(9). Suppose -2*l = -345 - x. Suppose 0 = 3*p - 2*p + 2*i - 91, -5*i = 3*p - l. Is p a prime number?
False
Let z be 4/14 + (-2512)/(-28). Suppose 5*a = -a + z. Is a a composite number?
True
Is (-211)/(4/(2 - 6)) a composite number?
False
Let u = 4 - -10. Is u prime?
False
Let f(s) = 12*s**3 + 3*s**2 - 7*s - 11. Is f(6) a prime number?
True
Let c be 2/((-6)/8 + 1). Let m = c + -6. Suppose m*f - v = 11, -v + 0 + 1 = 0. Is f prime?
False
Let z(r) = -9*r + 1. Let g(m) = -m**3 + 5*m**2 + 4*m + 7. Let k be g(6). Is z(k) prime?
False
Let d be (-50)/(1*3/(-3)). Suppose v - 5*i - d = 0, 0 = 4*v + 2*i - 71 - 19. Is v composite?
True
Let c(p) be the first derivative of 5*p**3/3 + p**2 - 7*p - 11. Is c(-10) a composite number?
True
Let k(u) = 5 + 1 - 2 + u - 1. Is k(4) a prime number?
True
Suppose 2 = n - 389. Is n prime?
False
Suppose z - 1 - 66 = 0. Is z a prime number?
True
Let d(k) be the third derivative of 5/3*k**3 - 7/60*k**5 + 0 - 3/8*k**4 + 1/120*k**6 + 0*k + 2*k**2. Is d(8) prime?
True
Let c be (0/(-2))/(-4 - -5). Suppose -6*i + 3*i + 183 = c. Suppose -i + 4 = -3*g. Is g a prime number?
True
Suppose 5*f + 11 = 4*l + 4*f, -f - 8 = -3*l. Is (-29*7)/(2 - l) a prime number?
False
Let u(t) = -t**3 - 9*t**2 - t + 1. Let f be u(-9). Suppose w + 0*a + 3*a + f = 0, -2*w + 16 = -3*a. Suppose b + 97 = w*b. Is b a prime number?
True
Suppose -5*c + 4489 = -2326. Is c a composite number?
True
Suppose x - 38 = -3*j, -j + 2*x = -0*x - 1. Suppose 41 = 2*h + t, -2*t = -5*h - j + 118. Is h prime?
False
Suppose 3*r - 9 - 16 = 5*d, 3*r = -d - 5. Suppose r*i = 2*i - 6. Is i prime?
True
Suppose 41 = 2*c + 11. Is c a prime number?
False
Let m = 17 - 16. Is 25 - (-3 - -2)/m a composite number?
True
Let d = 158 + -37. Is d a prime number?
False
Let t(g) = -g**3 + 6*g**2 - 4*g. Let r be t(5). Suppose 0 = -0*u - u + r. Suppose u*b + 47 = 2*c, 0 = 5*c - 5*b - 39 - 86. Is c a prime number?
False
Suppose 3*n + 4 = -j - 6, -2*n + 5 = 3*j. Suppose m + 3*m = -2*f, -j*m = -2*f - 9. Let i = f - -17. Is i composite?
True
Is (-5 - -14479)*(-2)/(-4) prime?
True
Let z = -11 - -19. Let m = -15 + z. Is (m/3)/(3/(-9)) prime?
True
Let f = -115 - -246. Is f a prime number?
True
Let h = -17 + 17. Suppose -17 = -3*o + 4*w - 0*w, 2*o + w - 26 = h. Is o prime?
True
Let x be (-6)/(2 - (-16)/(-6)). Is (x/(-6) + 2)*1354 prime?
True
Let m = -718 - -1125. Is m composite?
True
Suppose -3*h + 168 = s, -h + 0*h + 51 = 2*s. Is h a composite number?
True
Suppose -5*p = t - 0*t - 931, 0 = -2*p - 3*t + 362. Let z = p + 348. Is z a composite number?
True
Suppose 4*z = l - 3, 0 = 5*l + z + 2*z - 61. Is (-14908)/(-44) - (-2)/l a composite number?
True
Is (-14)/(-21) - 175/(-3) a composite number?
False
Suppose 0 = -3*v + 4*g - 2742, v - 3*v = -g + 1828. Is v/(-4)*1*2 a prime number?
True
Suppose 4754 - 558 = 4*d. Is d composite?
False
Suppose -1110 = -m + 2*b, 2*b = 3*m + b - 3335. Suppose 0 = -5*l - 3*c + m, 5*l = 2*l + c + 670. Is l composite?
False
Suppose 0 = 4*g - 2767 - 681. Is g prime?
False
Suppose 5*i = 2*m - 28, 0*m - 3*m - 4*i = 4. Suppose m*k - 20 = -5*r, k - 26 = 7*r - 3*r. Is k a composite number?
True
Let h(r) = 5*r - 1. Let y be 2 - (2 - 1/1). Let x be h(y). Suppose 3*k + 3 = x*k. Is k prime?
True
Let f be (2 - 3) + 85 + -1. Suppose 0 = 2*q - f - 421. Suppose 3*o + 0*w + w - 193 = 0, 0 = -4*o - 4*w + q. Is o a composite number?
True
Let c = 9 - 5. Let m be ((-6)/(-4))/(c/144). Let h = m - 35. Is h a prime number?
True
Suppose 0 = -3*p + 5*p + 4, 3*p - 1649 = -5*l. Is l prime?
True
Suppose 4*a = 0, -a + 0*a = 3*k - 483. Is k a prime number?
False
Let n = 8 - 5. Suppose -j + 5*l + 20 = 0, 4*l + 16 = n*j - j. Suppose -102 + j = -2*z. Is z a composite number?
True
Let z = -4980 - -8981. Suppose 415 = -5*l + y + z, -5*y + 3580 = 5*l. Suppose 4*k + 5*g = 560, 5*g - 3*g = -5*k + l. Is k composite?
True
Let y = -92 - -144. Let n = -31 + y. Is n a composite number?
True
Let u be 454 + 3 + 3 - -1. Suppose -2*c - 3*o + 413 = 0, -2*c + 2*o + u - 33 = 0. Is c prime?
True
Let v(q) = 8*q**2 + 15*q - 3. Is v(-8) a prime number?
True
Let j be 183*(3 - (-2)/(-1)). Suppose -3*q = 3*k + 273 - 750, -q + 5*k = -j. Is q a prime number?
True
Is (-1)/2*-1*(-1 + 707) a composite number?
False
Let b = 131 + 2. Is b prime?
False
Suppose 416 = 2*j + 3*c, 2*j + 2*c + 54 = 472. Is j prime?
True
Let g(p) = 33*p**2 + 2*p - 3. Let d be ((-4)/6)/(6/(-18)). Is g(d) a composite number?
True
Suppose -t + 1 = 8. Let y(c) = c**2 - 2*c + 16. Is y(t) a prime number?
True
Suppose -2*m + 216 = -d, 3*m + 3*d = -0*d + 324. Let x = 175 - m. Is x composite?
False
Let h = 590 + -273. Is h a prime number?
True
Let g be (-4 + 0)/(-12 + 10). Is 14/(-21)*(-89 + g) composite?
True
Let r = 35 - 21. Is r a prime number?
False
Suppose -1895 = -5*z + 2660. Is z prime?
True
Suppose -3*n = 5*h - 3523, 5*n + 3*h = 3*n + 2348. Is n a prime number?
True
Let d(z) = -17*z - 43. Is d(-18) a composite number?
False
Suppose -4*i + 3874 - 686 = 0. Is i a composite number?
False
Let g = 37 - 29. Let m(v) = 5*v + 4. Let n(z) = 4*z + 3. Let x(l) = 6*m(l) - 5*n(l). Is x(g) prime?
True
Suppose -2*c = -4*u + 420, 5*c + 114 + 406 = 5*u. Let w = -339 - -492. Let y = w - u. Is y a prime number?
True
Suppose -u + 3*s + 48 = 0, -3*s = 4*u - 124 - 23. Suppose -103 = -3*f + 2*r, r = f + 5*r - u. Is f composite?
True
Let a(v) = 48*v**2 - 2*v. Let z be a(-2). Let i = z + -111. Is i composite?
True
Is (-1)/(-2) - 2/((-4)/445) composite?
False
Let x(z) = -z**2 - 1. Suppose -4*o + 3*q + 9 + 1 = 0, 5*o - 4*q - 13 = 0. Let l be x(o). Is l/((-100)/(-34) + -3) prime?
False
Suppose -f = -q + f - 17, 0 = -5*q - 3*f - 59. Let h = q - -5. Let c(g) = -7*g - 1. Is c(h) prime?
False
Let k(m) = -m**3 - 2*m**2 - 3*m + 2. Let j be k(-3). Let t = j - -33. Is t a prime number?
True
Let c be (-6)/4*28/(-21). Suppose 2*v + 86 = 3*z + 6*v, -c*v - 12 = -z. Is z a prime number?
False
Suppose -5*i + 2*u + 2084 = -2*u, 4*i - 1668 = 3*u. Let z = -242 + i. Let b = 265 - z. Is b a prime number?
False
Let z = -653 - -1236. Is z a prime number?
False
Let a = -18 - -24. Suppose 0 = -a*k + 119 + 415. Is k prime?
True
Let a(c) = -c**2 - 10*c - 3. Let m(s) = -s**2 - 4*s + 7. Let f be m(-6). Is a(f) a prime number?
False
Suppose 3*f = 172 - 13. Is f a prime number?
True
Let q = 146 - 49. Is q composite?
False
Let d(i) = -i + 2. Let v be d(-3). Suppose 5*a = 3*t + 172, -v*t + 0*a - 265 = -4*a. Let j = t + 82. Is j a composite number?
True
Let 