2 + 4*q + 2. Let h be c(-7). Let y be 0/(-1*2 + 1). Suppose -3*g + h - 2 = y. Is g prime?
True
Let f(i) be the first derivative of -i**4/4 + i**3/3 + 4*i + 2. Let s be f(0). Suppose 2*x + 2*a - 22 = 0, 0*x + s*a = 2*x + 2. Is x composite?
False
Let q = 32 - 74. Is (q/8)/(1/(-4)) prime?
False
Suppose 3*z - 4*z + 3 = 4*u, 12 = -4*z - 4*u. Is 2/(z/(3315/(-6))) composite?
True
Suppose -4*z + 83 = 3*b - 333, -665 = -5*b - z. Suppose 8*d + b = 12*d. Is d a prime number?
False
Suppose -21*z = -20*z + 9. Is -1378*(-2 + z/(-6)) prime?
False
Let v(h) = h**3 + 4 + 10 - 6 - h**2 + 14. Let i = 2 + -2. Is v(i) composite?
True
Suppose -2*o + 6769 = 5*o. Is o a prime number?
True
Let w = -586 - -1008. Is w composite?
True
Let f = 18 + -13. Suppose -f*y - h + 3264 = 0, 0 = 5*y + 4*h + 965 - 4226. Is y a composite number?
False
Let s be 3/(-3 + (3 - 1)). Let v = s + 20. Let i = v - 4. Is i a composite number?
False
Let w(i) = -i + 31. Let q be (0 - 2/1) + 2. Is w(q) prime?
True
Let x = 8 + -3. Suppose -4*p - x*o = -518, -4*p + 0*o - o = -510. Is p a composite number?
False
Let s = 2576 + -589. Is s prime?
True
Let n = -3156 - -4553. Is n a prime number?
False
Let l(s) = s - 9. Let v be l(10). Is (0 - 1)/v - -52 a prime number?
False
Let s(a) = a - 8. Let r be s(6). Let n = r - -1. Let t(p) = -54*p**3 + 2*p**2 - 1. Is t(n) a composite number?
True
Let c(l) = -2*l + 1. Let o be c(-4). Suppose -5*b - 5 = 5*m, 3*m + m + 5*b = -o. Suppose 5*u - 5*v = -m*v + 246, 96 = 2*u + 2*v. Is u a composite number?
True
Suppose 4*q = 6*q - 10. Suppose -q*g = 339 - 1454. Is g prime?
True
Let n be (2/(-5))/((-6)/(-30)). Let m be (-2 - -1)*1*n. Suppose u = -m*u + 165. Is u a composite number?
True
Let v = 1353 + -440. Is v prime?
False
Suppose 8 = -4*n - 0*n, -2*h = -4*n - 670. Is h a composite number?
False
Let q = -19 + 33. Suppose 0 = w - 5 + 1. Suppose w*u - q = 2*u. Is u a prime number?
True
Let f be (-4)/(-18) - 40/18. Let l be (-3 + 0)*f/(-6). Let n(t) = -31*t**3 + t + 1. Is n(l) composite?
False
Let f(l) = -l**2 + 8*l - 2. Let p be f(7). Suppose -4*r + 5*r - p*b - 153 = 0, -5*r = -b - 741. Suppose -3*g = g - r. Is g composite?
False
Let h = -2 + 46. Suppose 5*b - 379 + h = 0. Is b a composite number?
False
Let h(v) = -v**3 - 3*v**2 + 2*v - 5. Let u be h(-4). Suppose i + 1 = 5*j, -3*i - u*j + 2*j - 51 = 0. Let s = i - -49. Is s composite?
True
Let n(r) = -1228*r**3 - r**2 - 2*r. Let w(q) = -614*q**3 - q**2 - q. Let k(o) = -3*n(o) + 5*w(o). Is k(1) composite?
False
Let d(x) = x**3 - 9*x**2 + x - 10. Let u be d(9). Let q(o) = 23*o**2 - o - 1. Let t be q(u). Suppose t = -0*n + n. Is n a composite number?
False
Let u be -1 + -2 + 1 + 6. Suppose 9*g = u*g + 885. Is g prime?
False
Suppose 0 = o + 2*o - 1515. Is o a prime number?
False
Suppose 0 = -f + 16 + 30. Let h be -3*3*(-15)/(-5). Let g = f + h. Is g a prime number?
True
Let m = -122 - -196. Is m composite?
True
Let d = 18 - 13. Suppose -r + d = -110. Is r a composite number?
True
Let p be (8/(-10))/(12/30). Let k be p/(-5) + (-66)/15. Let b(f) = -65*f + 5. Is b(k) prime?
False
Let b(u) = -u**2 - 6. Let x be b(0). Let o be 471/(1 - 3/x). Suppose -2*v + 300 = -o. Is v prime?
True
Let d(y) = -2*y**3 - 2*y**2 + 4*y - 2. Let k be d(3). Let t = k + 97. Is t composite?
True
Suppose 4*w - 1160 = -4*i, -i + 4*w - 1455 = -6*i. Is i prime?
False
Suppose 2*o = -6, 3*c = -4*o + 6*o + 387. Is c composite?
False
Let y(q) = q**2 - q - 13. Is y(-8) composite?
False
Let s(q) be the third derivative of -113*q**6/120 + q**4/24 + q**3/6 - 4*q**2. Is s(-1) a prime number?
True
Let j(o) be the first derivative of 7*o**3/3 - 2*o**2 + 3*o + 1. Suppose -2 = h - q, 3*h + 4*q - 8 = -28. Is j(h) a composite number?
False
Let o(b) = -b + 7. Let v be o(11). Suppose 21 = -2*n - 17. Is (n/2)/(2/v) a prime number?
True
Let g(a) = a**3 + 4*a**2 - 4*a - 5. Let o = -2 - -3. Suppose -o - 3 = m. Is g(m) a composite number?
False
Let w(r) = -5*r**2 - 2*r + 1. Let n be w(1). Let j be 166/(-6) - n/9. Let l = j - -41. Is l a prime number?
False
Let p(z) be the first derivative of -33*z**2/2 - 2. Suppose -1 = -0*d + d. Is p(d) a composite number?
True
Let d(p) = -p - 1 - 4*p + 4. Let u(x) = -6*x + 3. Let q(c) = 2*d(c) - 3*u(c). Is q(2) a composite number?
False
Is (24 + -25)/((-2)/(2*2221)) composite?
False
Let p = 10 + -6. Suppose -p*b = -3*b - 11. Is b composite?
False
Let p(y) = -y**3 + y**2 - y + 331. Is p(0) prime?
True
Suppose -3*q - 1865 = -2*n, -n = 2*n - q - 2780. Suppose 4*s + n = 3105. Is s prime?
False
Let o(p) = 2*p**3 + 3*p**2 - 5*p + 1. Let b(y) = y**3 + 7*y**2 - y - 2. Let c be b(-7). Is o(c) a composite number?
True
Let t(z) = -z**3 + 7*z**2 - 8*z + 5. Let q be 1/(-4 - 68/(-16)). Is t(q) composite?
True
Let l = -60 + 507. Is l a composite number?
True
Suppose -3*a = -0*a. Let o(k) = -2*k + 62. Is o(a) prime?
False
Let j = -212 - -522. Suppose d - 3*c = 158, -2*d + c = -3*c - j. Is d composite?
False
Suppose -1263 + 366 = -13*m. Is m prime?
False
Suppose 5*s = -g, -2*g = 5*s + g. Suppose -2*w + 7*w - 20 = s. Suppose 3*q = -5*c + 6, -q = -0*q - w*c - 19. Is q a composite number?
False
Is ((-158)/2)/(4/(-20)) a composite number?
True
Let n = -9 + 19. Let c be 55 - (3 + n/(-2)). Let t = -20 + c. Is t prime?
True
Let y = 158 + -109. Is y a composite number?
True
Suppose -3*m - 16624 = -19*m. Is m prime?
True
Let b = -26 + 20. Is ((-3)/b)/((-1)/(-886)) a prime number?
True
Let r be (24/(-10))/(2/(-25)). Suppose -t = -28 - r. Is t a prime number?
False
Let s(g) = -g + 2. Let i be s(5). Let a = -3 - i. Suppose -2*k + 27 = -3*l, 0 = -3*k - a*k - 4*l + 83. Is k prime?
False
Suppose 3*x = -m + 528, 4*x - 7*m + 2*m = 704. Let t(j) = 118*j**2 - j + 1. Let i be t(1). Let v = x - i. Is v a composite number?
True
Let d be ((-3)/(-4))/(21/56). Suppose d*w + v = w + 7, 2*w = -3*v + 18. Suppose -c + 52 = w*c. Is c a prime number?
True
Suppose -238 - 117 = -5*n. Suppose -2*h + 7 + n = 2*d, -2*d + 2*h = -62. Is d prime?
False
Suppose 5*r - 14 = 11. Is 3 + r/((-5)/(-126)) composite?
True
Let f = 1783 + -1218. Is f prime?
False
Suppose 0 = -5*i - u + 3158, -4*u - 2134 = -4*i + 378. Is i a prime number?
True
Is (27/18)/((-3)/(-130)) a prime number?
False
Suppose 3*i - 32 = -i. Let c be (-2 - 2)*(-74)/i. Suppose 0 = -5*z + c + 8. Is z composite?
True
Suppose -2*q = -3*h + 5034, h + 2*q - 1678 = -q. Suppose 4*x - 2812 = 4*y, 5*y + 1130 = 4*x - h. Is x a composite number?
True
Suppose 2*d + 4*j - 154 = -j, 4*j = 5*d - 385. Let m = d + -147. Is (-4)/(-10)*m/(-2) composite?
True
Suppose d - 6*d - 3*v + 2223 = 0, -4*d + 1804 = -4*v. Is d a composite number?
True
Suppose 5*v - v = 4. Is 17 - (-2)/(v + -2) a composite number?
True
Let b be (-530)/(-30) + (-2)/(-6). Let y = b + 16. Is y composite?
True
Is (-100)/(-14) - 2/14 a prime number?
True
Let c(l) = 8*l**2 - 7*l - 1. Is c(-6) prime?
False
Let q(i) = -7*i - 3 + 3 + 6. Is q(-11) a prime number?
True
Let z(c) = 1. Let k(s) = -3*s**2 - 3*s + 3. Let f(x) = -k(x) + z(x). Is f(4) a composite number?
True
Is (49/7)/(1/7) composite?
True
Let z(t) = t + 10. Let x be z(-8). Suppose 3*g = -5*h - 0*g - 4, -2*h + g - 6 = 0. Is h + 5 + 2 - x composite?
False
Suppose 107 = 2*r - 241. Suppose -3*g + r = -g. Is g a composite number?
True
Suppose -3*s + 2*s - 3*g + 532 = 0, 5*s + 5*g = 2690. Is s composite?
False
Suppose -l + 45 = 4*l. Let u(n) = 0*n - n**2 + 0*n**3 + n + l*n**3. Is u(1) a composite number?
True
Suppose r - 624 = 173. Is r a prime number?
True
Suppose -y + 2*h - 6 = -h, 2*y - h - 3 = 0. Suppose t = w + 32, y*t - 61 - 41 = w. Is t composite?
True
Is 30 + -29 - (-1 + -1669) a prime number?
False
Let y be ((-2)/(-6))/(5/75). Let r(l) = -l - 5*l + 2*l - y. Is r(-6) a prime number?
True
Let g = 1099 - 768. Is g composite?
False
Suppose 0 = 5*x - 2021 + 846. Suppose 5*l - 13 = -38, -x = -4*i - 5*l. Is i prime?
False
Let v be ((-8)/1)/(-4) - -3. Suppose 4*d - 109 = -3*x, 2*x + 0*x = v*d + 65. Is x composite?
True
Let a be -4 + 3 - (-1 - 95). Suppose -2*f - a = -3*f. Is f a prime number?
False
Let z = 3390 + -2330. Suppose z = -2*m + 6*m. Is m prime?
False
Suppose -5*r + 3*a = -3230, 2*r + 5*a - 1437 = -114. Is r a composite number?
True
Let d(b) = -34*b + 3. Is d(-1) prime?
True
Let g = 9 - 11. Let m(z) = z**3 + 3*z**2 + 2*z + 3. 