j, -3*j = -s + 53. Let u = s - 25. Is u a prime number?
True
Let p(z) = -4 + 4*z - z - z - z. Let f be p(6). Let v(j) = 28*j - 3. Is v(f) a prime number?
True
Suppose 2*j = 3*l - 360, -j + 240 = 2*l - 4*j. Suppose -5*k + 23 = -362. Suppose -5*y - 5*n + l = 0, -3*y - 5*n = -n - k. Is y a composite number?
False
Suppose -3*d + 447 = -3*s - 501, -s = -3. Is d composite?
True
Let k be 0/((-9)/(-3)) - 15. Let b = k + 28. Is b prime?
True
Let n = -9 + 11. Let z be 3/n + (-3)/6. Is (46 + -5)*7*z a composite number?
True
Let o = 3 + -4. Is o/(0 - 3/111) a prime number?
True
Suppose -2*h = -n - 4*n - 447, n = -4*h + 883. Suppose -h = -4*a + 95. Is a a composite number?
False
Let q(w) = 39*w - 23. Is q(6) a prime number?
True
Let s(y) = 3*y**2 + 4*y + 1. Let n be s(-3). Suppose -q + 129 = -4*l, -l - n = 3*l. Is q a composite number?
False
Let y(q) = -q - 1. Let j be y(0). Let o(p) = 55*p + 1. Let k be o(j). Is (-9)/k + 869/6 prime?
False
Let c(j) = 88*j - 29. Is c(10) composite?
True
Let n = 8 + -5. Suppose 4*z - 4*v = -z + 163, -z - n*v = -44. Is z prime?
False
Let i = -9 - -14. Let x = i - -26. Is x a composite number?
False
Suppose 553 - 157 = 4*i. Suppose 5*v - i = 2*v. Is v composite?
True
Suppose 5*u - 6*u = q - 33, -5*q - 195 = -5*u. Is u + -1 + 4/2 prime?
True
Suppose -3*b + 537 = -2*v, -3*b - v + 0*v = -537. Is b composite?
False
Let i(m) = m**3 + 12*m**2 - 16*m - 8. Is i(-11) prime?
False
Suppose 3*y + 4 = 3*i - 5, 5*i + 4*y - 24 = 0. Suppose -c - 2*z = 3*c - i, c + 9 = -3*z. Is c a composite number?
False
Let v = 22 + 22. Let x be (-1 + 5)*31/4. Let w = v - x. Is w composite?
False
Let t be 1/(-2) + (-2301)/6. Let g = t + 766. Suppose -5*w + 212 = m + 21, 2*m = w + g. Is m composite?
False
Suppose 20 = 4*w + 4*a, -2*w + 4*a = -0 - 4. Suppose 28 + 104 = w*q. Is q prime?
False
Let v(j) = -104*j - 3. Is v(-2) a composite number?
True
Let b = 3 + -1. Let n(o) = 13*o**2 - o - 1. Let d be n(b). Let a = d - 30. Is a a prime number?
True
Let o(p) = 2*p - 9. Let m be o(6). Suppose -m*c = -56 - 13. Suppose 4*i = 171 - c. Is i prime?
True
Let t = 12 - 9. Suppose t*m - w = 162, 2*w - 128 + 28 = -2*m. Is m prime?
True
Suppose 0 = 4*f + q - 6*q + 14, 2*f = -2*q + 2. Is (-2 - -9)/(f - -2) a prime number?
True
Suppose 2 = -0*b + 2*b, 3*c + 2*b - 572 = 0. Suppose -239 = -3*h + c. Is h a prime number?
False
Let a = -328 - -489. Is a composite?
True
Suppose 63 = d - 739. Is d a prime number?
False
Suppose 0 = -3*z + 6*x - x + 55, z - 15 = x. Suppose 52 - z = 2*n. Is n composite?
True
Let q(m) = -5*m**3 + 2*m + 1. Let s be q(-1). Let y(n) = n**3 - 5*n**2 + 6*n - 5. Is y(s) composite?
False
Let q = 2183 - -396. Is q composite?
False
Is (3818/6)/((-3)/(-9)) prime?
False
Suppose -112 - 44 = -4*s. Is s a composite number?
True
Is -3 + -6*(-3 + -54) composite?
True
Let h = 0 - 0. Suppose -3*x + h*g + 538 = g, 0 = -5*x - 5*g + 880. Suppose -6*w = -w + 4*c - x, 5*c = 3*w - 79. Is w a prime number?
False
Suppose 0*d - d = -683. Is d composite?
False
Let q(d) = -79*d - 4. Is q(-3) a composite number?
False
Suppose 4*j - 4580 = -5*n, -3*n + n = 5*j - 1815. Suppose -n = 4*c - 9*c. Suppose y + 3*y - c = 0. Is y prime?
False
Let t be 6/(-33) + (-6)/(-33). Let l(w) = -w**2 - w - 8. Let d be l(t). Let m(r) = r**3 + 10*r**2 + 7*r - 7. Is m(d) a prime number?
False
Let s(w) = 2*w**2 + 4*w - 5. Let t = 25 - 16. Suppose -4*f = t + 11. Is s(f) a prime number?
False
Let a = 201 - 125. Suppose -2*h + 2 = -8, -4*h = -w - a. Let i = w + 93. Is i composite?
False
Let k = 610 + -424. Suppose -4*o - 554 = 4*s - 130, 0 = 2*o - 5*s + 191. Let t = o + k. Is t a prime number?
True
Suppose 4*o + 1004 = -2*f + 6*f, -488 = -2*f - 5*o. Is f a composite number?
True
Let f(a) be the third derivative of a**5/60 - 5*a**4/12 - 3*a**3/2 - 2*a**2. Is f(11) prime?
True
Suppose 2*y + 200 = -3*y. Let n = 107 + y. Is n prime?
True
Let i(c) = -24*c**2 - 4*c - 3. Let v be i(-2). Let f = 170 + v. Is f a prime number?
True
Suppose 0*r - 2*v = 4*r, 0 = -r + 2*v. Is (643 - 2) + (0 - r) composite?
False
Let l(t) be the third derivative of t**6/120 + t**5/30 + t**4/24 + 17*t**3/2 + 6*t**2. Is l(0) a prime number?
False
Is (-4)/(-5) + (-612)/(-10) a composite number?
True
Is (-13635)/(-36) - (-2)/8 a composite number?
False
Let t(g) = 31*g**2 + 2*g. Let p be t(2). Let r = 217 - p. Is r a composite number?
False
Suppose i - 890 = 8. Suppose g = -g + i. Is g a prime number?
True
Suppose 0 = -q - 0 + 4. Suppose -6 = -q*k + 326. Is k a composite number?
False
Let c(b) = -5*b. Let k be c(-3). Suppose 0 = 2*q + k - 193. Is q prime?
True
Is (-652)/(-2) - (1 + -1) composite?
True
Let g(w) = 18*w - 1. Let c be g(3). Is (c/3)/(3/9) a composite number?
False
Suppose 0*k - 2*k + 2980 = 0. Suppose 0*p - 3*s + k = 4*p, -750 = -2*p - 4*s. Is p a composite number?
True
Let h(c) be the first derivative of 1/3*c**3 - 1 + 0*c**2 + 21*c. Is h(0) prime?
False
Let d(l) = -l - 10. Let s be d(-11). Is ((-2)/4)/(s/(-110)) a prime number?
False
Suppose 0 = -0*c + 4*c - 4. Let h = c - 10. Let q = 22 + h. Is q prime?
True
Let m(k) = -102*k + 7. Is m(-7) a prime number?
False
Let y(t) = 2*t**2 + 7*t + 7. Let r(j) = -j**2 - 6*j - 6. Let z(o) = 6*r(o) + 5*y(o). Suppose q - 18 = -4*c, q = 2*c - 5*c + 14. Is z(q) composite?
False
Let g(u) = -u**2 - 2. Let b be g(5). Let r = 230 + b. Is r prime?
False
Suppose 4*c + 1566 = 5*f - 3557, -5132 = -5*f + c. Let a = f - 536. Is a prime?
True
Let j(w) = -204*w - 1. Let i(k) = 4*k + 7. Let d be i(-2). Is j(d) composite?
True
Suppose -2*r - 1183 = -3*k, -k + 401 = r - 0*r. Is k a prime number?
True
Let y = -247 - -472. Suppose 2*r - y = -5*m, 0 = -3*r + 2*r + 5. Is m a composite number?
False
Let a(n) = -21*n + 11. Is a(-12) composite?
False
Let v(g) = 2*g**3 - g**2 - g. Suppose 10 = -3*z - 2*z. Let u be 1 + (-1 - 4/z). Is v(u) a prime number?
False
Let i be ((-18)/(-21))/((-1)/(-63)). Suppose -3*w + 4*w - 2*n = -52, w - 3*n + i = 0. Let y = -1 - w. Is y a prime number?
True
Is ((-897)/26)/((-6)/20) prime?
False
Let n(i) = -i**3 + 8*i**2 - 3*i + 8. Suppose c = -2*j + 18, 3*j = 2*c + 14 - 1. Let a be n(j). Suppose 3 = -x + a. Is x composite?
True
Let t = 31 - 48. Let j = 182 - t. Is j a composite number?
False
Suppose 3*i = i - 310. Let o = -109 - i. Is o prime?
False
Let y(x) = 8*x**3 - 3*x**2 - 6*x + 6. Is y(3) composite?
True
Suppose 5*m + 8 = 7*m. Suppose -m*x - 97 + 361 = 0. Suppose 3*t + 0 - x = 0. Is t a composite number?
True
Let i = -1583 + 2380. Is i prime?
True
Is 8 + (2 + -1 - -1) a prime number?
False
Suppose 1867 = 3*t - 2*n, 3*n = -5*t + 1829 + 1289. Is t a prime number?
False
Let w = -9 - -15. Is 15/(-45) - (-152)/w composite?
True
Let n(b) = b + 7. Let y be n(9). Let t = 51 - y. Is t composite?
True
Let f(b) = -b**2 + 6*b - 6. Let x be f(4). Suppose -x*q - 247 = -6*v + 3*v, -5*q + 291 = 4*v. Is v composite?
False
Suppose 3*i = 4*v + 2467, i + 3*i - 3326 = -2*v. Is i a prime number?
True
Let r be -1*(1 - 2 - -6). Let m = r + 8. Is (35/m)/(6/18) a prime number?
False
Let s(r) = -9*r**2 + r. Let w be s(-1). Let h = 9 + w. Is 52/4 + h + -1 a prime number?
True
Let g = 105 - -57. Suppose -2*l - 52 = -g. Is l composite?
True
Let n(a) = 8*a - 3. Let p be 2 + 1 + 0 + 1. Suppose -2*k + p = -0. Is n(k) a composite number?
False
Suppose 0*m - 3*m + 141 = 0. Suppose 29 = 4*x - m. Is x a prime number?
True
Let k(g) be the first derivative of -7*g**2/2 - 2*g + 4. Is k(-3) prime?
True
Let y = -17 - -35. Suppose -5 = -l + y. Is l a composite number?
False
Let p be 6 - (9/(-3) + 2). Is (p/(-4))/(7/(-476)) prime?
False
Let v = 279 - 141. Suppose 0 = -4*b + v + 110. Is b a composite number?
True
Let f = 7 - 7. Let y(g) = g + 31. Is y(f) a prime number?
True
Let n(p) = 16*p**2 - 3*p - 3. Is n(-2) a composite number?
False
Let z = -495 - -868. Is z a prime number?
True
Suppose 3*s = -a + 148, a - s = s + 133. Suppose -51 = -2*b + a. Suppose -5*k - 2*g + 193 = 0, 5*k - 106 = -4*g + b. Is k prime?
True
Let r = -16 + -19. Let v = 65 + r. Suppose -h - 4*b - 5 = 0, -h - v = -2*h + 3*b. Is h a composite number?
True
Let f be 22/18 + 4/(-18). Is -2 - (-1)/(f/180) a composite number?
True
Suppose -5*w + l + 998 = 0, 5*w - l - 1001 = l. Is w a prime number?
True
Let h(b) = -2*b**3 + b**2 + 2*b + 1. Let w be h(-1). Let