ose -4*s + 4*x = 20 - 4, -x - 38 = 5*s. Let a = s + 9. Suppose 4*o + 5*z - 725 = 0, 2*o - a*z - z = 379. Is o composite?
True
Suppose -3*a - 5*f + 43670 = -6332, 2*a = -4*f + 33334. Is a prime?
False
Let z(o) be the second derivative of -o**3/3 + 1535*o**2/2 - 15*o. Is z(0) a composite number?
True
Let p(l) be the first derivative of l**6/15 + l**4/8 - l**3/6 - 5*l**2/2 - 3. Let q(v) be the second derivative of p(v). Is q(2) prime?
False
Let z(p) = -1311*p + 729. Is z(-22) a composite number?
True
Suppose 0 = -20*w + 22*w - 47818. Is w a composite number?
False
Let w(b) = -3*b - 1. Let d be w(1). Let v = 8 + d. Suppose -n + 6*n + 191 = 4*s, 0 = s + v*n - 53. Is s composite?
True
Suppose -18812 = -37*a + 33*a. Is a composite?
False
Let c = 834 - -8393. Is c a prime number?
True
Let z = -11449 + 52496. Is z a prime number?
True
Suppose -7*v = -5*v - 6. Suppose -10 = -v*s + 2*s - 3*m, s + 4*m - 12 = 0. Suppose -s*j = 2*j - 1266. Is j prime?
True
Let q(x) = x**3 + 11*x**2 - 11*x - 7. Suppose 0 = -c - 3*s + 6 + 9, 3*c - 2*s - 100 = 0. Suppose 2*t - c = 5*t. Is q(t) a prime number?
False
Let n = -1500 + 4637. Is n prime?
True
Let s(t) be the second derivative of -t**4/12 - 7*t**3/3 - 3*t**2/2 - 9*t. Is s(-12) a prime number?
False
Let w be 1*15/(-5)*2. Let c(u) = 25*u**2 + 7*u + 19. Is c(w) a composite number?
False
Suppose 19*m + 26*m - 41535 = 0. Is m prime?
False
Let s(h) = h**3 - 9*h**2 - 10*h - 3. Let a be s(10). Suppose -4 = -d + 6. Is a/15 + 2112/d a composite number?
False
Is 6836/10*-10*(-10)/40 prime?
True
Let r(w) be the first derivative of -69*w**2/2 + 20*w + 35. Is r(-9) prime?
True
Let l(f) = -f**3 - 4*f**2 + 5*f + 2. Let g be l(-5). Suppose g*o - 3099 = 5*a, -3*a - 2*a + 15 = 0. Suppose -5*w + 938 = -o. Is w a prime number?
True
Suppose -2*f + b + 20570 - 1393 = 0, 47929 = 5*f + 2*b. Is f a prime number?
True
Suppose -4*w = -2*o, -2*o + 4*o = -4*w + 40. Suppose -p - p - 14 = 0. Let g = p + o. Is g prime?
True
Let l be 0 - (-18 + (0 - -2)). Let w = 59 - l. Is w a composite number?
False
Suppose 0 = 31*m - 11668 - 3491. Is m prime?
False
Let r(a) = a**2 - 4*a - 7. Let s be r(-2). Suppose -3*c - 2*f = c - 12562, 0 = -5*c + s*f + 15680. Is c composite?
True
Suppose 34*x - 178490 = 8*x. Is x composite?
True
Is 3 + (-2490924)/(-84) + 4/28 a prime number?
False
Let a = -506 - -1384. Is a composite?
True
Is -4*2/(-12) + 2046077/33 a prime number?
True
Suppose -t - 6 = n, n - 2*n - 3*t = -4. Let o(i) = -1970*i**2 - 9*i - 7. Let g be o(4). Is g/(-99) - 2/n a prime number?
False
Let n(i) = 21*i**2 + 6*i - 1. Is n(-6) composite?
False
Suppose 0*h + h - w - 16 = 0, 13 = h + 2*w. Let g be ((-5)/3)/((-5)/h). Suppose -3*s + 393 = -g*m, -393 = s - 4*s + 3*m. Is s composite?
False
Let f = 56 + -165. Let y = 90 - f. Is y composite?
False
Suppose 3*z + 937 = 2902. Suppose -341 = -2*i + i - 4*w, -2*i + w + z = 0. Is i composite?
True
Is (-74)/(-6)*(8 - (1 + -152)) prime?
False
Suppose -4*l + 3*l + 3 = 0. Suppose l*w - 958 = -5*k, -3*k + 2*w + 376 = -214. Is k a prime number?
False
Suppose -134302 = -8*l + 165930. Is l a composite number?
False
Suppose 6*j = 24*j - 73962. Is j a prime number?
False
Let p(r) = -r - 1. Let o(m) = -29*m**2 - 8*m + 4. Let h(z) = -o(z) + 3*p(z). Is h(2) composite?
True
Suppose -2*k - 11197 = -f, 0 = -3*f - 0*k - k + 33591. Is f composite?
False
Let x = 815 - 2390. Let j = x - -697. Is j/4*(4 - 6) a prime number?
True
Suppose -x + 1 + 0 = -2*c, 5*c = 5*x - 15. Let y(g) = g - 2. Let w be y(c). Suppose w*o + 278 = o. Is o a prime number?
False
Let a(s) = -s**3 + s**2 - s. Let w(v) = 60*v**3 + 8*v**2 - 5*v. Let n(r) = 6*a(r) - w(r). Let p(k) = -k**2 + 2*k + 2. Let b be p(3). Is n(b) composite?
True
Suppose 74 = 4*g + 5*l - 40, -120 = -4*g - 2*l. Let q = g + 36. Suppose -4*h + q = -3*h. Is h a composite number?
False
Let x(o) = -o**2 - 12*o - 10. Let j be x(-11). Let l = j + -1. Suppose 0*h - 3*h + 429 = l. Is h a composite number?
True
Let c be (-4)/(-6) - 8934/(-18). Let d = 564 + c. Suppose 2*n = -r + 1171, -5*n - 4*r = -3984 + d. Is n a prime number?
True
Let f = 1210 + 3303. Is f prime?
True
Suppose -74748 = 58*u - 1718758. Is u prime?
False
Let d(z) = -22*z + 1. Let t be 1/9 - (-184)/(-36). Is d(t) composite?
True
Let q = 10 - 16. Let a(o) = -6*o**2 - 3*o - 3. Let p(k) = 4*k**2 + 3*k + 3. Let c(j) = -5*a(j) - 4*p(j). Is c(q) composite?
True
Suppose 0*g = -g - 2*d - 258, -2*g = d + 519. Let a be 1/((-776)/g - 3). Let s = -34 - a. Is s a composite number?
False
Suppose 4*q - 8933 = -m, -5*q + 14302 - 3157 = -3*m. Is q/(1 + 2) - 1 prime?
True
Suppose -4*v = z - 4, 8 + 8 = 3*v + 4*z. Let h(d) = -d**2 - d. Let c be h(v). Suppose c = -3*j - 290 + 1307. Is j prime?
False
Let l be 9/(90/(-24) - -3). Is (-3*1 - (10 + l))*-11863 a composite number?
False
Suppose -3389 = -m - 3*u + 68549, 2*m - 4*u = 143866. Is m prime?
False
Suppose o = p - 7, 5*o - 4*p + 43 = 9. Let n(u) = -27*u + 7. Let k(b) = -b + 1. Let z(f) = 6*k(f) + n(f). Is z(o) a prime number?
True
Suppose 27 = k - 2*f, k + k = -4*f + 46. Suppose 0 = 190*s - 191*s + k. Is s prime?
False
Is -3 + (-2 - (2 + -9)) + 30045 a composite number?
False
Suppose -5*i + 10 = 0, 0*w = -2*w - 5*i + 31292. Is w a prime number?
True
Let f be ((10/(-6))/5)/(1/(-5511)). Suppose 5*b - 1668 = f. Is b a composite number?
False
Suppose -9*s = -189615 + 74586. Is s a composite number?
False
Let s = 18 - 16. Is 12/8 - (-89)/s prime?
False
Let x = -9 + 9. Suppose x = -10*q + 4*q + 4386. Is q a composite number?
True
Let t be -4 + 7/(-2)*14. Let c = -27 - t. Is c a prime number?
False
Let z be (-2 + 17 - 0)*(-130)/(-30). Let x = z + -14. Is x prime?
False
Let u be 52484/44 + (-4)/(-22). Suppose k + u = 321. Let q = -605 - k. Is q a composite number?
True
Let h be (6 - 505)/(2/2). Let b = 1317 + -607. Let i = h + b. Is i a prime number?
True
Suppose -b + 11*b - 286970 = 0. Is b prime?
True
Let y = 8 + -5. Suppose 2*s + 2*o = 20 + 4, 22 = y*s - 4*o. Let c(v) = 28*v - 11. Is c(s) prime?
True
Let i(k) = -k**3 - k. Let p(b) = 6*b**3 - 14*b**2 - b + 10. Let v(a) = -5*i(a) - p(a). Is v(14) prime?
False
Suppose 4*z - 6537 = -2*m + 5733, 2*m - 2*z - 12288 = 0. Is 69/12 + -6 - m/(-4) a prime number?
False
Let k = 1309 + -361. Suppose -28*i = -24*i - k. Is i prime?
False
Let m(p) = 32*p**2 + 19*p - 7. Is m(6) a composite number?
False
Let i(g) = 980*g**2 + 3*g - 6. Is i(1) composite?
False
Suppose 4*h + 3*y = -17403, -8*y = 2*h - 4*y + 8704. Let o = -2593 - h. Is o composite?
True
Suppose 4*q = 30 + 22. Let s(k) be the first derivative of k**3/3 - 6*k**2 + 12*k - 4. Is s(q) prime?
False
Let u(a) = a - 9. Let h be u(9). Suppose h*c - 492 = -c. Suppose -5*w + 1290 = 5*k, 0*k - 2*k + c = -4*w. Is k prime?
False
Let u(k) = k**2 - 8*k - 3. Suppose -4*g + 8 = -3*g. Let v be u(g). Is -1*(-97 - v - -1) a prime number?
False
Let k = 6 - -49. Let v = -23 + 26. Suppose v*u + 4*z = 149, 4*z + k = 3*u - 2*u. Is u prime?
False
Suppose 17*v - 18318 = 50413. Let c = -2422 + v. Is c a composite number?
False
Let w = 1261 + -859. Suppose -p = 5*t - w, 3*t + 0 = 12. Is p a composite number?
True
Let s(f) = 5*f**3 + 6*f**2 - 23*f - 7. Is s(6) a prime number?
True
Suppose -1223008 = 21*w - 53*w. Is w a prime number?
True
Is 2109 - -21 - (-2)/(-2) a prime number?
True
Is -77 + 83 - 17*-269 a composite number?
True
Suppose -5*g + 5855 = -7*r, 5*r = 5*g - 5679 - 176. Is g a composite number?
False
Suppose m - 4*n + 28 = 354, 0 = 5*m + 5*n - 1555. Suppose -m = -2*h + 584. Is h a composite number?
False
Suppose -10 - 378 = 5*v + 2*l, -2*v = -5*l + 161. Let g = v + 184. Suppose g = -a + 3*a. Is a prime?
True
Let n = 298 - 500. Let q = n + 289. Is q prime?
False
Let c = -3399 + 6362. Is c prime?
True
Suppose -4*u = -3*p + 13, 28*u - 32*u - 2*p = 18. Let f(z) be the first derivative of 19*z**3/3 + 7*z**2/2 + 11*z - 1. Is f(u) prime?
False
Let v = 39 - 33. Let k(d) = 12*d - 25. Is k(v) a composite number?
False
Let g(w) = w**2 + 6*w + 7. Let s be g(-5). Suppose -5 + 0 = 5*i, s*x + 2*i - 2096 = 0. Is x a composite number?
False
Suppose 2*w + 12043 = d, 3*w = 3*d - 6622 - 29516. Is d prime?
True
Let l be (-2 - 2901/15) + (-27)/45. Let q(i) = -16*i**2 - i + 1. Let h be q(2). Let k = h - l. Is k a composite number?
False
Suppose -16*t = -14*t