4*d + b*d = -9, -2*z = 2*d - 112. Is z composite?
False
Let s(t) = -61*t + 5. Is s(-6) composite?
True
Suppose -5*t + 1947 - 167 = 0. Suppose z = -2*z + l + 259, -4*z - 4*l + t = 0. Is z prime?
False
Let h(i) = i - 2. Let w be h(5). Suppose -2*d - w*y + 1 = 0, 5*d - y = -2*y + 35. Suppose 2 - d = -r. Is r a composite number?
True
Let r = 23 - 15. Let t(g) = 3*g**2 - 11*g + 7. Is t(r) a composite number?
True
Let q = -10 - -19. Is -1*q/(-12)*12 composite?
True
Let q(x) = x**2 - 5*x. Let t be q(5). Suppose t = z + 2*l - 6 - 5, -5*l = -2*z - 23. Is (-2)/(z + (-110)/106) a prime number?
True
Let k be (-3)/(9/(-15)) - 2. Suppose -c + 5*m = m - 207, -k*m = -4*c + 841. Is c a composite number?
False
Let g = 1647 - 726. Is g a composite number?
True
Let h(l) = -29*l**3 + l**2 - 2*l - 3. Suppose 2*c - 3*c + d - 6 = 0, 6 = 3*c + 3*d. Let u be h(c). Let g = -168 + u. Is g a prime number?
False
Suppose -o - o + 734 = 0. Is o composite?
False
Let j(b) = -b**3 + 10*b**2 + 12*b + 10. Is j(9) a composite number?
False
Let s = 120 - 63. Is s a prime number?
False
Suppose 0 = 2*i - 6*i + 252. Is ((-10)/(-3) - 3)*i prime?
False
Suppose -4*l + o + 0*o = 297, 3*l = 2*o - 229. Let d = -50 - l. Is d prime?
True
Is ((-1846)/(-4) - -3)*2 composite?
False
Suppose 0*r = -5*r + 515. Is r composite?
False
Let a = -5 + 13. Let y be (-117)/2*a/(-6). Is -5 - -4 - y/(-1) a prime number?
False
Let b = 212 - -195. Is b prime?
False
Is ((-2)/(-6))/((-6)/(-14562)) prime?
True
Let t(o) be the second derivative of 2*o**3/3 + o**2/2 + 4*o. Let l = 10 - 7. Is t(l) prime?
True
Let t = 23 + -14. Suppose 4*j - t = -1. Is 1/((-6)/(-753))*j composite?
False
Suppose -3*m = 2*m - 15. Suppose k - 76 = -m*k. Is k a prime number?
True
Suppose -12 = -4*f, 2*f + 363 = -x + 4028. Is x prime?
True
Suppose 4*t - 31 = 2*a - 5*a, 5*t = -5*a + 45. Suppose 5*h - 498 = -0*h + t*q, -5*h - q = -488. Let i = 163 - h. Is i a composite number?
True
Let c = 39 + -28. Is c a composite number?
False
Let x(p) = 2*p - 6. Let h be x(4). Suppose w = -k + 355, 5*w + h*k - 1771 = -k. Is w a composite number?
False
Suppose -p = -1346 + 279. Is p composite?
True
Let h(w) = -3*w + 1. Let z(a) = -2*a + 1. Suppose -5*v + 6 = -2*v. Let r(l) = v*h(l) - 5*z(l). Is r(6) composite?
True
Let s(l) = -115*l**3 - 3*l**2. Let f be s(-2). Suppose -5*r = 178 - f. Suppose -471 = -5*o - r. Is o a prime number?
False
Let q(z) = z**3 + 2*z**2 + 3*z - 3. Let s be q(-5). Let k = 369 + s. Let m = k - 127. Is m a composite number?
False
Let i = -3 + -1. Suppose -218 = -5*y + 5*d - 33, 2*y - 89 = -d. Is 1062/y + i/14 a composite number?
True
Suppose 5*u + 4*s - 2243 = 0, u + 4*s = -116 + 571. Is u a prime number?
False
Let m = 0 + 3. Suppose -2 = -r - 3*q, -5*r - 11 + m = -3*q. Is r/(-2) + (-279)/(-6) composite?
False
Suppose -3 - 2 = -t. Let d(l) = 2*l**3 - 7*l**2 + 3*l + 4. Is d(t) prime?
False
Let z(s) = -3*s - 1. Let n be z(-1). Let i be (-9)/5 - n/10. Let d(x) = -35*x + 1. Is d(i) prime?
True
Suppose -3*u + 4 = 10. Let a be 3/(-9)*u*-12. Is (-8 + 4)*74/a a composite number?
False
Suppose -t + 3*t = -292. Let m = 273 + t. Is m a prime number?
True
Let t = -2 + 1. Let d be 5 + t + 0 - 1. Suppose 3*g = 2*f - 2*g - 269, 4*f = -d*g + 499. Is f a composite number?
False
Suppose 5*c - 3*s - 731 = 0, 4 = 5*s - 7*s. Is c a composite number?
True
Let j = 190 + -47. Is j composite?
True
Let x = -1640 + 2319. Is x prime?
False
Let p(d) = 7*d**2 - d - 5. Suppose 0 = -2*m - 3*m - 30. Is p(m) composite?
True
Let f = 859 + -138. Is f composite?
True
Let u = -787 - -1676. Is u a composite number?
True
Let p = -21 - -15. Is p/(-4)*26*1 composite?
True
Is (-6)/3 + 65 - 4 composite?
False
Let i(p) = -10*p + 7. Let w(l) = -41*l + 29. Let f(d) = -9*i(d) + 2*w(d). Is f(5) composite?
True
Let k(w) = -w**2 + 38*w - 10. Is k(21) prime?
True
Let s(h) = 40*h + 1. Let k be s(11). Let a = k - 206. Is a a prime number?
False
Let l(g) = g**3 - 11*g**2 + 9*g + 8. Let z be l(10). Let x = 1 - z. Suppose 0 = c - n - 54, -c + 3*c - x*n = 109. Is c composite?
False
Let y(b) = -8*b + 1. Let s be y(1). Is (-625)/s + 12/(-42) prime?
True
Let s(o) = o**2 + o + 1. Let k(u) = u**3 + 9*u**2 + 7*u + 2. Let c(z) = k(z) - 4*s(z). Is c(-3) prime?
True
Suppose 4*b + 5 = 5*b. Suppose 371 = -b*p + 6*p. Is p a prime number?
False
Let j = 108 + -71. Is j a composite number?
False
Let b(m) be the first derivative of 22*m**3/3 - 2*m**2 + m + 8. Is b(3) prime?
False
Let n(f) = f + 12. Let d be n(-10). Suppose -d*r = 3*i - 0*r - 445, 4*i - 4*r = 600. Is i a prime number?
True
Let g(h) = -h**3 + 3*h**2 + h + 1. Let b be g(-2). Let c = b - -18. Is c composite?
False
Suppose 5*d - 328 = 3*d - 2*y, -3*y + 661 = 4*d. Is d a composite number?
True
Suppose u = -0*u + 695. Suppose 4*d + 8 = 0, -2*d - 3*d + u = 5*l. Is l composite?
True
Let d = 4232 - 2053. Is d a prime number?
True
Let w(s) = 14*s + 1. Is w(9) a prime number?
True
Let d be 12/9 + 4/6. Suppose -d*y + 357 = y. Is y composite?
True
Let n(b) = 64*b - 19. Is n(9) a prime number?
True
Let k(u) = u**2 + 9*u + 3. Let s = 1 - 7. Let f be k(s). Is ((-28)/(-6))/((-10)/f) composite?
False
Suppose 4*t = -2*w + 20, -3*w + 7*w = 2*t. Let h be (w/(-4))/(1/(-4)). Suppose -3*z + 55 = -h*z. Is z prime?
False
Suppose -g - 4*l - 251 = 0, -4*l = 3*g + g + 980. Let r = g + 374. Is r a prime number?
True
Suppose -2*m = t, 2*t - 3*m = -7 - 7. Let b(u) = 7*u**2 - 3*u + 3. Is b(t) a prime number?
True
Let i be 8 + -2 + -1 + 3. Let f be (-7)/(-3) - 2/(-3). Is 265/f - i/(-12) prime?
True
Let d(p) be the third derivative of 5*p**4/24 - 2*p**2. Let w be d(-3). Let h = w + 29. Is h a prime number?
False
Suppose 3*c - 3 + 21 = 0. Let l be c/(-21) - (-33)/7. Suppose 4 - 39 = -l*m. Is m a prime number?
True
Is 4/8*-257*-2 a composite number?
False
Suppose 0*b - b + 98 = 0. Suppose -5*d = -2 - b. Is (-5)/d - 474/(-8) a composite number?
False
Suppose 0 = -4*p + 2*p + 2672. Suppose -x = -5*x + p. Is x a prime number?
False
Suppose -673 = -6*l + 449. Is l composite?
True
Suppose v = 4*m + 3*v - 3024, -v = -4*m + 3030. Is m prime?
True
Suppose -d = d - 5*a - 10, -3*d - a + 15 = 0. Suppose -d*i - 14 = -129. Is i prime?
True
Suppose 5 + 0 = 5*i. Let j be (0 + -1)*i + 4. Let u = j - -6. Is u prime?
False
Is 1/(1617/807 + -2) prime?
True
Let w be (-8)/(-6) + (-6)/(-9). Is (5/w)/(7/266) a composite number?
True
Suppose 5*x = -0*x - 2*z + 35, -5*z = 3*x - 40. Let o(p) be the second derivative of 11*p**3/6 - 9*p. Is o(x) a prime number?
False
Let v = -1169 + 2370. Is v composite?
False
Let m be (-2)/(-12) - (-231)/18. Let n = 120 + m. Is n a prime number?
False
Let n(x) be the first derivative of 5/3*x**3 + x**2 - 4*x + 1/4*x**4 - 3. Is n(-4) a composite number?
True
Let l(i) be the second derivative of 0 - 3*i - 5/6*i**4 + 3/2*i**3 + 1/20*i**5 + 13/2*i**2. Is l(9) composite?
False
Suppose 4*i + 2917 = 12813. Is i composite?
True
Let w(c) = -42*c + 1. Let l be w(-1). Let z = 30 - l. Let m = z + 26. Is m a prime number?
True
Let x = 8 - 12. Is 14 - x/(4/(-3)) a composite number?
False
Suppose 3*k - 3*c = -0*k + 264, -2*c = 4*k - 364. Suppose 5*p + 61 = g + 3*p, -p + 97 = 2*g. Let y = k - g. Is y a composite number?
True
Let t = 4 + 3. Let l(z) = z**3 - 7*z**2 + 5*z + 4. Is l(t) composite?
True
Let x be (40/6)/4*-21. Let u = 52 - x. Is u composite?
True
Let n(g) = 171*g**2 - 3*g + 13. Is n(-5) prime?
False
Let u(d) = d**3 - 9*d**2 - 13*d + 12. Let c(p) = 3*p - 8. Let i be c(6). Let g be u(i). Let b = g + 31. Is b prime?
True
Suppose 3*x - 4*r + r = 6, -x + 8 = -4*r. Suppose 0 = -b - x*d - 2*d + 6, -6 = -4*b - 2*d. Suppose 3*v = -b*v + 267. Is v prime?
True
Let y(w) = -w**3 + 14*w**2 + w + 5. Is y(11) a prime number?
True
Let a be ((-52)/(-3))/((-4)/186). Let h = a + 1489. Let m = -424 + h. Is m a prime number?
False
Suppose -865 = 2*b + 3*b. Let y = 294 + b. Is y a composite number?
True
Let z be (-1)/2 + 18/4. Suppose 0 = 2*b - z*b + 66. Is b a composite number?
True
Let l(y) = 7*y. Let i be 6/(3 - 69/22). Let m be (i/(-6))/((-12)/(-18)). Is l(m) prime?
False
Let g = -6 + 4. Let j be g/(-5) - (-24)/15. Suppose -j*q = 3*q - 70. Is q composite?
True
Let o = -2108 - -3507. Is o a composite number?
False
Let g(p) = p**2 - 5*p - 1. Let l be g(5). Is ((-177)/(-6))/l*-2 prime?
True
S