 Let v be q(8). Suppose -2*o + 3*o - 34 = v. Is o a composite number?
True
Suppose -4*z = -2 - 10. Let y = 3 - z. Suppose y = -5*l + 35. Is l prime?
True
Suppose -3 = -q + y, 0 = -5*q + 2*y + 31 - 4. Suppose -i = q*c - 2*c - 700, -5*i + 5*c + 3590 = 0. Suppose i = 3*s + 2*s. Is s composite?
True
Let q(a) be the first derivative of 5*a**2 + 4*a + 3. Let l be q(6). Let z = l + -27. Is z a prime number?
True
Suppose 5*r = -5*z + 4*r + 175, 2*r + 10 = 0. Let g = 91 - z. Is g a prime number?
False
Suppose -u - 20 = -6*u. Suppose -u*t - 4*m = -112, m + 39 + 57 = 3*t. Is t a prime number?
True
Suppose z + 12 = n - 0*z, -3*n - 5*z = -68. Let j = 4 + n. Let c = j - 13. Is c a prime number?
True
Let q = 138 + -85. Suppose -4*s = 2*f + 64, -f + 2*s - 9 - 19 = 0. Let a = q + f. Is a composite?
False
Suppose -2179 = -4*l + 81. Is l a prime number?
False
Let c(j) = 74*j - 1. Is c(4) prime?
False
Suppose -3*w = 2*w. Suppose 103 = g - w*g. Is g a prime number?
True
Let k(o) = 8*o**2 + 3*o + 4. Is k(-1) a prime number?
False
Let c = -6 + 9. Suppose 0*b - 4*b = 5*i - 217, 2*i - 73 = c*b. Let m = i + -28. Is m a composite number?
False
Let s(n) = -2*n + 6 + 0*n**2 + 4*n**2 + 7*n. Is s(5) a composite number?
False
Suppose 5*k - 128 - 556 = -3*l, 4*l = -2*k + 926. Is l a prime number?
True
Let k(r) = -77*r**3 + r**2 + 7*r + 1. Let b(v) = v. Let i(x) = -5*b(x) + k(x). Let g(n) = -n. Let j be g(1). Is i(j) a prime number?
False
Let y(u) = -21*u - 7. Let g(c) = -22*c - 8. Let n(b) = 2*g(b) - 3*y(b). Let s(k) = -13*k - 3. Let q(t) = -5*n(t) - 8*s(t). Is q(6) prime?
True
Suppose -3*n + 77 = -25. Is n composite?
True
Suppose 0 = 4*k - 5027 - 2841. Is k prime?
False
Let x(h) = 4*h**2 + 5*h. Let j(b) = -b**2. Let w(q) = -5*j(q) - x(q). Let u be w(4). Is u/((-2)/1) - -35 a composite number?
False
Let y = -4 + 7. Suppose y*q + q - 228 = 0. Is q a prime number?
False
Let c = -1 - -3. Let g be 0*3/(-9) + c. Let s = 4 - g. Is s prime?
True
Let x be 18*(-3 - 14/(-6)). Let i be x - 6/(0 + -2). Let n = i - -16. Is n composite?
False
Let c(m) = 13*m**2 + m - 25. Let r(p) = 7*p**2 - 13. Let g(z) = -6*c(z) + 11*r(z). Let b be g(-7). Suppose h + 3*s - 35 = b, 3*h + 0*h - 85 = -4*s. Is h prime?
True
Suppose -5 = 2*h + 1. Let f be 2*(63/6)/h. Let l(p) = -2*p - 4. Is l(f) composite?
True
Is 1488/10 + (-4)/(-20) a composite number?
False
Let n(c) = -116*c - 6. Let r(j) = 116*j + 5. Let t(d) = -4*n(d) - 5*r(d). Is t(-3) composite?
False
Let c(k) = -1 + 3*k**2 - 4*k + 1 + 0*k**2. Is c(-5) prime?
False
Let l(t) = 234*t**3 + t**2. Let n(b) = -b + 9. Let c be n(8). Is l(c) a prime number?
False
Let w(i) = 13*i**2 - 3*i - 3. Is w(5) prime?
True
Is (11/4)/(5/380) prime?
False
Suppose 0 = l - 3*l - 5*t + 530, 5*l = 5*t + 1325. Is l prime?
False
Let z(j) = 105*j - 59. Is z(26) a composite number?
False
Let j = 416 - 213. Is j prime?
False
Suppose -205 = -y - 4*m - 34, 5*y - 955 = 5*m. Is y prime?
False
Let a(b) = b**3 - 4*b**2 + b - 1. Let v be a(3). Let f = v - -26. Is f prime?
True
Suppose 5*m = -2*p + 10, 2*p = 4*m - p - 8. Let n be m + -1 - (-2 - 0). Suppose -5*w + 420 = 2*u, 253 = n*w - 0*w + u. Is w a prime number?
False
Suppose -2*n + 876 = -0*n. Suppose n = 3*t - v - 2*v, -5 = 5*v. Let a = t - 62. Is a prime?
True
Suppose -5*f + 878 = -2897. Is f composite?
True
Suppose 4*j - m - 42 = 0, 2*j - j - 15 = -2*m. Is (-2)/(-3 - -2)*j composite?
True
Let i be (-4)/(-10) + 16/10. Suppose 6 = -c + i*c. Is 3*c/9 - -12 a composite number?
True
Let b = -17 - -250. Is b a prime number?
True
Let q(l) = -l**2 - 7*l - 3. Let f be q(-6). Is (-4 + f)/((-2)/86) composite?
False
Let q = 1913 - 1347. Is q composite?
True
Let z(q) = -29*q**3 - 2*q**2 - 6*q + 4. Is z(-3) prime?
True
Suppose 6*d - 15 = d. Suppose -d*h + 0 + 105 = 0. Is h composite?
True
Suppose -15*z - 1117 = -16*z. Is z prime?
True
Let r(f) = -f**2 - 6*f + 4. Let n(b) = -b**2 - 13*b + 8. Let m(v) = 3*n(v) - 7*r(v). Is m(-9) a prime number?
True
Suppose -4*d + 9*d - 955 = 0. Let g = d + 12. Is g a prime number?
False
Let v be (-1 - -4)/((-2)/(-26)). Suppose 8*b - 271 = 3*b + 4*m, 0 = -b - 3*m + v. Is b composite?
True
Let x(j) = -j - 2. Let v be x(0). Is (2 + -1)/(v/(-178)) composite?
False
Suppose 3*c = 7*c - 4. Let n(t) = 90*t + 1. Is n(c) a prime number?
False
Suppose -4*n + 461 + 119 = 0. Is n a prime number?
False
Let c = -23 + 30. Let z(w) = -3 + 9*w - 3*w - 2*w. Is z(c) a prime number?
False
Suppose 0 = -2*i + 2*c + 1778, 2*i - 5*i - 5*c + 2651 = 0. Is i a composite number?
False
Let o(j) = 7*j**3 - j**2 - j + 1. Let k be o(-2). Let q be (16 + -8)/(2/(-22)). Let v = k - q. Is v prime?
True
Let d = 46 - 42. Suppose 0 = -2*b - z + 195, 4*z - z - 391 = -4*b. Suppose 436 = 4*q + d*w, 0 = -q + 5*w + 36 + b. Is q prime?
True
Let y(b) = 5*b**2 + 11*b + 1. Is y(-8) a prime number?
True
Suppose 0 = -2*h + 3*g + 342, h + 4*g = -0*h + 182. Suppose 4*l - 105 - h = -3*x, -4*x + 394 = -2*l. Is x prime?
True
Suppose 0 = b + 2*b - 252. Suppose 6*y - b = 2*y. Let q = 1 + y. Is q a composite number?
True
Suppose t + 0*f + f = 7353, -2*f = -4*t + 29388. Is t composite?
False
Let a = 5 - 3. Let r be a + (3 - (-1)/(-1)). Suppose r*i = 4*q + 52, i + 2*q = 11 + 2. Is i a composite number?
False
Let r(o) be the second derivative of o**4/2 - o**3 + 7*o**2/2 + o. Let x(k) = -2*k - 5. Let g be x(-5). Is r(g) composite?
False
Let c = 2 - -3. Suppose 5*x = 4*p + 95, 2*x + 3*x + c*p - 140 = 0. Is x a prime number?
True
Suppose 4*q = -5*i + 8871, 2*q + 0*i - 4439 = i. Is q composite?
True
Let q(f) = -59*f**3 - 3*f**2 - f + 1. Is q(-1) composite?
True
Let d = 198 - 57. Is d composite?
True
Suppose 4*m = -m + 1975. Is m a prime number?
False
Suppose -2*o = 5*x - 389, 5*o - 3*x = -2*x + 932. Is o a prime number?
False
Suppose 5*h - 3*q - 38 = -2*q, 3*h - 4*q = 16. Suppose -3*r - r = -h. Suppose 2*w - 10 = 0, -3*k - w + 804 = r*w. Is k prime?
True
Let w(v) = -3*v**3 + 3*v + 11. Is w(-5) a composite number?
True
Is -6 - -5 - (-2 - 504) a prime number?
False
Let p(m) = -m**3 + 13*m**2 - 10*m - 13. Is p(10) composite?
True
Let d(w) = w**2 - 2*w + 138. Let r be d(0). Suppose 4*v = 2*b - r, -5*v + 37 - 3 = b. Is b prime?
True
Let t(j) = -j**3 + j + 737. Suppose -25 = 3*q + 5*u, -2*q + q + 4*u + 20 = 0. Is t(q) prime?
False
Let p = -32 - -115. Suppose -c + p = -4*h + 10, 5*c - 389 = -4*h. Is c composite?
True
Let h be (28/6)/((-5)/(-15)). Suppose -4*u = -8, 0 = -f + 5*u - h - 6. Is 4/f - 2874/(-10) a prime number?
False
Suppose -2*u + 4*u + 10 = 0. Let d = u - -5. Suppose d = -2*i + 176 + 254. Is i composite?
True
Let u = 307 - 180. Suppose 4*q - u - 5 = 0. Is q a prime number?
False
Suppose 0 = 2*d - 587 - 557. Let m = d - 357. Is m a prime number?
False
Let j(d) = 19*d + 24. Is j(7) prime?
True
Suppose -3*c + 77 = -2*c. Is c prime?
False
Is -1 + 4200/((-15)/(-5)) composite?
False
Let y(b) = -14*b + 1. Let h(i) = i + 1. Let l(c) = 2*h(c) - y(c). Is l(10) a prime number?
False
Let u be 2/(-4) - 298/(-4). Suppose 2 = 5*f - 4*o + 7, -5*f = o - 20. Suppose f*a - 118 = a + 4*m, -u = -a + 5*m. Is a prime?
False
Let j(n) = -3*n + 2. Let x be j(2). Let k(d) = d**3 - 15*d**2 - 15*d - 8. Let v be k(16). Let m = v + x. Is m prime?
False
Let y(v) = -1 - 4*v + 2 + 2*v**2 + 2*v. Is y(-11) composite?
True
Is ((-4)/4)/((-1)/557) prime?
True
Let f = -34 + 77. Is f composite?
False
Suppose -r + 2*r = 179. Is r a prime number?
True
Suppose 0 = -3*l + 2*w + 887, -2*l + 3*w = -2*w - 606. Is l a prime number?
True
Let l be (2 + (-10)/4)*-8. Suppose -5*j - l*v + 535 = 0, 2*j - 156 = -2*v + 60. Is j a prime number?
True
Let d = -105 - -739. Is d prime?
False
Suppose -l = -5*l + 596. Is l prime?
True
Suppose -4*g + 20 = -20. Let i = g + 4. Is i prime?
False
Suppose 1 + 11 = -2*n. Is (76/n)/(6/(-45)) prime?
False
Suppose -167 + 1754 = 3*d. Is d a composite number?
True
Let a(c) = 7*c - 4. Let n(m) = m. Let i(v) = -a(v) - 3*n(v). Let f be i(-4). Suppose -6*h + 4*h = -f. Is h prime?
False
Let f(x) = -3*x - 3. Let a be f(-3). Let d(u) = u**3 + 9*u**2 + 12. Let w be d(-9). Is 122/a - (-8)/w a composite number?
True
Let d(v) be the third derivative of -v**6/8 - v**5/30 - v**4/24 + 2*v**2. Let n be d(-1). Suppose -w + 2*a + 6 + n = 0, -2*w - 5*a = 5. Is w a prime number?
False
Let q(r) = -r + 10. Let a b