s. Suppose -v = -4*v + f. Is v prime?
False
Suppose -5*d - 81 = -b - 1334, d - 4*b = 243. Is d prime?
True
Let p(n) = -n**3 + 19*n**2 - 12*n + 5. Is p(16) a composite number?
True
Let h(x) = 539*x + 2. Let d be h(1). Suppose -3377 + d = -4*c. Is c prime?
True
Suppose -2*b + 267 = -1487. Is b prime?
True
Let r(l) = -6*l - 7. Let x be r(-2). Let d(y) = y**3 - y**2 + 4*y + 7. Is d(x) a composite number?
False
Let s(f) = -18*f - 8. Let p(g) = -37*g - 15. Let t(r) = -3*p(r) + 5*s(r). Let h(v) = -41*v - 11. Let x(k) = -4*h(k) - 7*t(k). Is x(8) a prime number?
False
Is (1 - (-1674)/4)/(5/10) prime?
True
Let o = 3 + -1. Let b be 3 + (-2 - -6)/o. Suppose -6 = 2*u, 4*u = -b*q + 266 + 537. Is q a composite number?
False
Let p(k) = 9*k**3 + 2*k**2 - k + 1. Let z be p(1). Suppose 7*q - z*q = -476. Is q a composite number?
True
Let v(u) = 2*u**2 - u - u**2 + 2 + u**3 + 4 + 0*u**3. Is v(7) a prime number?
False
Suppose 4*h - 9*h = -p - 205, -5 = p. Let c = -21 + h. Is c composite?
False
Let g be ((-2)/4)/((-3)/(-216)). Let i = 5 + -80. Let r = g - i. Is r composite?
True
Suppose 0 = -3*d + 189 + 192. Is d a prime number?
True
Let g = 16 - 12. Suppose 3*h - g*h = -191. Is h a prime number?
True
Suppose 0 = -n - 5, 5*n + 53 = -3*v - v. Let w be (v/(-3))/(2/(-60)). Let t = w - -173. Is t a composite number?
False
Let c(r) = -r + 1. Let s be c(-1). Is 166/((-2)/s - -3) prime?
True
Suppose 20808 = 2*c + 5818. Is c a prime number?
False
Let d = 5044 - 3407. Is d prime?
True
Is (2 - 3) + -753*4/(-6) composite?
True
Suppose -q = -2*q + 54. Let t be (q/(-15))/((-2)/(-30)). Is -2 - -1 - t/1 composite?
False
Let o = -853 + 1748. Is o a prime number?
False
Let u(y) = 2*y**3 - 10*y**2 - 8*y - 8. Let w be u(8). Suppose 0 = -4*n - 2*k + w, 0 = 2*k + 3*k - 10. Is n a prime number?
False
Suppose -3*o + 2*u + 8 = u, 0 = -2*o + 3*u + 10. Suppose 0 = -o*z - 2*z + 20. Suppose -3*m + z*b + 148 = 0, 202 = 5*m + 4*b - 57. Is m a composite number?
True
Suppose -6*l + 2481 = -3*l. Let g = -574 + l. Is g composite?
True
Let w = 1 - -1. Is w/(-1) + -8 + 63 prime?
True
Let k(f) = -f - 6. Let q be k(-8). Suppose -5*a - 338 = -q*i, i = a + 19 + 144. Is i a composite number?
True
Let l(u) = -64*u + 5. Is l(-8) prime?
False
Suppose -3*i = -15, b = 5*b - 4*i - 4472. Is b a prime number?
True
Suppose -5*b - 2*r + 14 = 0, r = 3*r - 4. Suppose -b*k + 121 = -k - 2*a, -4*k = 5*a - 523. Is k a composite number?
False
Suppose 0 = -3*w - 3*r + 1236, w - 3*r + 422 = 2*w. Is w a prime number?
False
Let w be 22/(-18) - (-2)/9. Let s be 6/(w/(-1)) - 1. Suppose -s*i + 10 = -20. Is i a composite number?
True
Let z be (-2)/8 - (-3)/12. Let q be (-4)/(z + 4/(-22)). Let c = 4 + q. Is c a prime number?
False
Let j be 158 - (0/(-2) - 0). Let c be (-7)/(-4) - 4/(-16). Suppose c*s - 5*m - j = 0, -5*s + 4*m + 395 = 2*m. Is s composite?
False
Let q(j) = 372*j**3 - j**2 + 3*j - 1. Is q(1) a prime number?
True
Let d(c) be the first derivative of 35*c**4/2 - c**3/3 - 2. Suppose -12 = 3*h - 15. Is d(h) prime?
False
Suppose 0*a - 4*a = 8. Let s = 5 - a. Suppose 0*c + 4*c = -3*j - s, 14 = 2*j - 2*c. Is j a prime number?
True
Suppose 3*v - 2*v + 6 = 0. Is ((-6)/9)/(v/423) a prime number?
True
Let n(z) be the third derivative of z**6/120 + 11*z**5/60 - z**4/8 - 11*z**3/6 - 4*z**2. Is n(-11) composite?
True
Let n be (0 - -2) + (-4)/(-2). Suppose z = -3*c + 45, -z - n*c + 0*c = -47. Is z prime?
False
Let o(s) = 9*s**2 - s - 7. Is o(-3) prime?
False
Let a = 0 + 21. Is a prime?
False
Let a(w) = -w**3 + 6*w**2 - 3*w - 7. Let t be a(5). Let h(l) = 2 + 11*l**2 - 7*l - 2*l**t + 3*l**3 - 5*l. Is h(-12) composite?
False
Suppose -111 - 219 = -3*o. Let x = o - 43. Is x prime?
True
Let v be 276/14 + 4/14. Suppose -7*w - v = -2*w, 0 = -2*t + 5*w + 46. Let a = 19 - t. Is a a prime number?
False
Suppose 1 = 4*f - 7, d - 4*f - 95 = 0. Is d a prime number?
True
Suppose 0 = 2*l + 5*h - 18, 5*h + 2 = 2*l + 4. Suppose 0 = -5*x - l*w + 13 + 22, -2*w = 10. Is x prime?
True
Suppose -827 - 122 = -5*k + 3*b, -2*k = -4*b - 388. Suppose k = -2*o + 6*o. Is o a prime number?
True
Suppose 0*g - 21 = -3*g. Let j(x) = x**3 - 7*x**2 + x + 6. Is j(g) prime?
True
Suppose -3*y = -15, 5*s - 2 = -5*y - 7. Is (292 - 0) + 7 + s a composite number?
False
Let p = -684 + 1075. Is p a prime number?
False
Suppose -37 = 4*t + t - 4*q, 3*t - q + 25 = 0. Is (t/6)/(2/(-116)) composite?
True
Is (13 + -6)*17*1 a composite number?
True
Suppose 4*w - 13 = -1. Suppose w*c + 58 = 235. Is c prime?
True
Suppose 4*b = 2 + 2. Let w be (-3 - -3)*(b - 0). Suppose -5*n + 4*o + 105 = w, 2*n - 4*n + o = -42. Is n a prime number?
False
Suppose 6 = 6*k - 3*k - l, 3*l + 10 = k. Let t be ((-4)/(-12))/(k/15). Suppose 0 = -4*y - t*c + 44, 3*c = y - 6 - 5. Is y a prime number?
True
Let r(i) be the third derivative of i**8/1680 - i**7/840 + i**6/360 - i**5/60 + i**4/12 - 2*i**2. Let f(l) be the second derivative of r(l). Is f(2) prime?
False
Let p = -98 + 185. Let q = p + 114. Is q composite?
True
Let h be -1*4/(-1) + -2. Suppose -5*g = -h*g - 285. Is g a prime number?
False
Let p(c) = -c**2 - 3*c + 2. Let w(g) = -3*g**2 - 6*g + 3. Let i(f) = 5*p(f) - 3*w(f). Is i(-4) a composite number?
False
Is (-1 - 0)*(-1143)/9 a composite number?
False
Suppose 2*g + 28 = 6. Let a = g - -15. Suppose -26 = -a*d + 3*l + 20, -3*d + l + 32 = 0. Is d a composite number?
True
Suppose -2*q + 49 = -4*y + 7, -30 = 5*y + 2*q. Let h be 18/y + (-2)/(-8). Is 225/6 - h/4 a composite number?
True
Is 9*3 + (1 - 2) a prime number?
False
Let o(l) = -28*l + 1. Suppose -5*r - 16 = -r. Is o(r) prime?
True
Suppose 34637 = 5*w + 14*w. Is w prime?
True
Let j be (14/(-6))/(5/(-15)). Let n(m) = m**2 - 2*m + 2. Is n(j) prime?
True
Let w(n) = -n**3 - 23*n**2 - 57*n - 26. Is w(-23) a prime number?
False
Suppose 0 = -0*z + 2*z - a - 403, 5*a = 5*z - 1000. Is z a composite number?
True
Let r(f) = f**2 + 0*f + 0*f + 157 - f. Is r(0) prime?
True
Let h(d) = 4 - 1 - d**2 - 4. Let r(z) = 3*z**2 - 5*z + 3. Let t(c) = -2*h(c) - r(c). Is t(4) composite?
False
Suppose p - 568 = 2*g - 3*g, -4*p + 1702 = 3*g. Suppose -4*i = -5*j - 355 - 110, 0 = -5*i + 4*j + g. Suppose -5*m - i = -355. Is m a prime number?
False
Let a(s) = 2*s + 1. Suppose -4*n - 15 = -d, -3*d = -4*d + n + 3. Let k be a(d). Is k - (5 - 3) - -22 a prime number?
True
Let l(p) = 2*p**3 + 9. Let y be l(7). Let d = -493 + y. Is d composite?
True
Suppose 7*z - 36063 + 14230 = 0. Is z composite?
False
Let s = -1948 - -2951. Is s a prime number?
False
Let a = -144 + 845. Is a a composite number?
False
Suppose 0*b + 4*b - 3*w = 2738, 2*b - w = 1368. Is b a composite number?
False
Let p = 8 - 13. Let c = p + 5. Suppose c = -5*d - 3*w - 0*w + 397, 5*w = 5*d - 365. Is d composite?
True
Suppose -2*a = -1642 - 2544. Is 2*(a/(-2))/(-7) a composite number?
True
Let k(d) = -d**3 - 6*d**2 - 6*d - 4. Let j be k(-4). Is (-546)/(-8) + j/(-16) a composite number?
True
Let j(l) = 20*l**2 + 3*l + 5. Let z(q) = -10*q**2 - q - 2. Let a(w) = -3*j(w) - 7*z(w). Is a(2) a composite number?
True
Let b be 1 - (-1 + (2 - 1)). Let k be ((-27)/6)/b*-22. Suppose -k = -7*d + 4*d. Is d a composite number?
True
Let n be 249/1 + -2 + -1. Let h = -131 + n. Is h a composite number?
True
Suppose -4*k - 2*k = -7014. Is k a prime number?
False
Let b(j) = 11*j**2 + 14*j - 25. Is b(-16) a composite number?
True
Let f(t) = t**2 - 8*t - 9. Let d be f(9). Suppose d*s + s - 404 = 5*i, 2*i + 1670 = 4*s. Is s composite?
False
Suppose 4*z + 1012 = 4776. Is z composite?
False
Let u = -9 + 15. Suppose -4*r = -u*r + 212. Is r a prime number?
False
Suppose 5*l + 5*x - 15 = 0, 7*x + 15 = l + 2*x. Let s be 18/42 - 12/(-21). Suppose -l*o - s - 9 = t, -4 = o. Is t a composite number?
True
Suppose -g + 7*g - 1122 = 0. Is g prime?
False
Let j = -3 + 1. Let y = 1 - j. Suppose 0*v - 3*v - 126 = -2*i, -y*i = -4*v - 191. Is i prime?
False
Suppose d + 853 = 2*d. Let x = d + -516. Is x a prime number?
True
Suppose d = -2*d + 4*b + 1248, 5*d - 2112 = -4*b. Suppose -2*t = -5*h + d, 2*h + 2*t - 140 = 42. Is h prime?
False
Let o(q) = 0*q**2 - 4*q + 2*q**2 + q**3 + q. Let n be (-4 - -5) + 4/4. Is o(n) composite?
True
Let u = 2 + 0. Suppose 0 = -v + u*p - 9, 5*p = v + 18. Is 22/v*63/(-6) a composite number?
True
Suppose 0*m + 4*m - 16 = 0. Suppose k 