7*g(y). Let d be (-6)/(2 - 7/2). Is c(d) composite?
True
Suppose l + 0 = 11. Let q = l - 8. Suppose 5*z - 5*c = 840, -3*z - 848 = -8*z - q*c. Is z a prime number?
False
Let a(s) = -s**3 - 6*s**2 - 3*s - 27. Is a(-10) prime?
False
Let i = 2 - 2. Suppose -q = -i - 5. Is (q - 8) + (216 - 2) a prime number?
True
Suppose -u = 2*t, 4*u + 6 = 2*t + 26. Suppose 0 = 4*k - u*y - 2124, -1201 - 935 = -4*k + y. Is k composite?
True
Let q(m) = 11*m**2 + 0*m**2 - 2*m**2 - 7*m + 5. Is q(9) a prime number?
False
Let r(u) = u**3 + u + 31. Let l = -12 - -12. Suppose -3*m = l, 5*m = 3*p + 2*m. Is r(p) composite?
False
Suppose 2*n + 3*t - 7 = 0, -n + 13 = -5*t + 3. Suppose 820 = n*q - 5*r, -4*q - 5*r + 158 = -3*q. Is q a prime number?
True
Suppose 0 = -3*o + 15. Suppose -5*n + 424 = -i, -2*n + o*i + 165 = -0*n. Is n prime?
False
Is 83087 + 2/(-6) + (-52)/(-12) composite?
True
Suppose -2*i - i + 72 = 0. Is (-3)/i - (-1572)/32 prime?
False
Let q = 3 + -4. Is 186 + -1*(0 - q) composite?
True
Suppose -2*w - 3 = 33. Let c be -4 + (-9528)/(6 + -3). Is (c/w)/((-2)/(-3)) a prime number?
False
Let r be 9/(-27) + (-1)/(-3). Is 3421/(-22)*(r + -6) a prime number?
False
Let b = 394 + -171. Is (2*3 + -5 + 4)*b a prime number?
False
Is (2771 - 2) + (-2 - -1) + -1 a prime number?
True
Let d(c) = -c**2 - 8*c + 16. Let n be d(-9). Let a(h) = 12*h**2 + 20*h + 9. Is a(n) a composite number?
True
Let s = 1018 - -8949. Is s prime?
True
Let r = 25921 + -14256. Is r a composite number?
True
Let m(d) = -d**2 - 9*d - 4. Let n be m(-11). Let v = n - -36. Is (v/3)/((-6)/(-207)) composite?
True
Let y(g) = -60*g + 4. Let d(a) = -a. Let s(x) = x**3 - 4*x**2 + 2*x. Let f be s(3). Let r(i) = f*d(i) + y(i). Is r(-9) composite?
True
Let y be (1/(-2))/(6/(-12)). Let c be y/(-4) + 26/8. Is 4970/15 + c/(-9) prime?
True
Let i(v) be the second derivative of -v**4/12 + 17*v**3/6 - 5*v**2/2 - 59*v. Suppose -x = x - 30. Is i(x) a composite number?
True
Suppose 25 + 3 = 4*l. Let o = 23 - 23. Suppose o = 2*k - l*k + 445. Is k prime?
True
Suppose -5*b + 11 = -3*o, 5*o = -3*b + 14 + 13. Suppose b*w - 7*w = 2*u - 3959, 3967 = 2*u - 5*w. Is u prime?
False
Suppose -2*m + 21*y - 20*y = -31540, 0 = -4*m - 2*y + 63072. Is m a prime number?
False
Suppose 3*v + 80 = 5*o, -2*o + 0*o = -v - 31. Let t(x) = o + 3*x + 2*x + x. Is t(9) composite?
False
Let y(q) = 3*q**2 + 3*q - 11. Let f(b) = b**2 - 8*b - 11. Let r be f(8). Is y(r) prime?
False
Let y = 13 + -18. Is (-934)/y - 2/(-10) a composite number?
True
Suppose -2*x - 1092 + 9234 = 0. Suppose -2*b = b - x. Is b composite?
True
Let k = 923 - -286. Suppose 9*b + k = 12*b. Is b prime?
False
Suppose 10 = 5*i, 4*c + 139 = 4*i - 73. Let g be 2/((-12)/178)*c. Suppose 4*u + 3*j = 8*j + 1533, -4*u = -j - g. Is u composite?
True
Let a(s) = -s + 10. Let n be a(4). Suppose n*m = 2781 + 3633. Is m prime?
True
Suppose a + 2*r = -3*a + 1158, -5*a = -r - 1458. Let y be a/27 + 4/18. Let l(c) = 5*c + 22. Is l(y) a composite number?
True
Let y be (-2)/2*45 - -1. Is (-8)/y - (-17187)/33 a composite number?
False
Suppose -2*m - 73 = -23. Let v = m + 35. Let k = v + 73. Is k a composite number?
False
Suppose 0 = 4*a - a - 15. Suppose 13*t - a*t = 14936. Is t a prime number?
True
Let g(j) = 3*j + 8 + 7*j**2 + 1 + 0*j + 0*j. Is g(-7) a composite number?
False
Suppose -d = -2*o + 1819, -6*o + 7*o - 912 = d. Is o a prime number?
True
Is -1*8 - (73 + -668) a prime number?
True
Let o(u) be the second derivative of 28*u**3/3 - 11*u**2/2 - 27*u. Is o(9) a prime number?
False
Suppose -23 - 69 = 4*c. Let d = c + 9. Is (-35)/d*1528/10 composite?
True
Suppose -60*p + 126*p = 654522. Is p a prime number?
False
Suppose -148*n = -145*n - 51699. Is n prime?
False
Let k = 130 + 1027. Is k a prime number?
False
Suppose -5*s = 1 + 69. Is 107148/28 + (-4)/s a prime number?
False
Let n(z) = -z**3 - 3*z**2 + 6*z + 7. Let l = 27 + -9. Suppose -5*j - l = -2*j. Is n(j) prime?
True
Suppose q - 2*j - 244 = 2*q, 0 = -3*q + j - 725. Let t = -37 - q. Is t composite?
True
Let y = 3945 - 1816. Is y composite?
False
Let s = -282 + 195. Suppose 3*v + 781 = -0*h + 2*h, -5*h = 2*v - 2000. Let x = h - s. Is x prime?
False
Suppose 2*j - 64 = 5*r, -11 = 2*j - 3*r - 79. Is j composite?
False
Let i be 2 + (-4 - -4)/(-1). Suppose i*v + 12 - 142 = 0. Is 2/(-5) - (-40911)/v a composite number?
True
Let s(l) = 7*l - 19 - 26 + 58*l**2 - 27. Is s(7) composite?
False
Suppose -312580 = -16*i - 68532. Is i a prime number?
False
Let i(p) = p**3 - 3*p**2 + 3*p + 4. Suppose 5 = 4*z - 5*b, -z + 8 = b - 0*b. Let f(m) = m**3 - 6*m**2 + 7*m - 5. Let w be f(z). Is i(w) prime?
False
Let o = -11024 - -22270. Is o composite?
True
Suppose 0 = 3*o - 20250 - 2589. Is o a composite number?
True
Suppose 62*d - 628 = 58*d. Is d a composite number?
False
Let n(y) be the second derivative of y**4/12 - 5*y**3/6 - 13*y**2/2 + 8*y. Is n(9) composite?
False
Let i(z) = 7*z**2 + 97*z - 1. Is i(47) prime?
True
Let a(x) = -32180*x + 155. Is a(-7) prime?
False
Suppose 16*j = 11*j + 11340. Suppose j + 517 = 5*f. Is f a composite number?
False
Is 94695/81 - 12/162 prime?
False
Suppose -9*l + 22*l = 49621. Is l prime?
False
Suppose 4*z - 1816 = -4*z. Suppose 3*p = 142 + z. Is p a prime number?
False
Let b(a) = 4823*a - 512. Is b(7) a composite number?
True
Suppose 2*a + 28 = -2*i, -4*a + 0*i - 68 = i. Let l be (-2)/(-2)*a/(-9). Suppose 2*n + l*n - 217 = -5*z, -2*n + 104 = -2*z. Is n a composite number?
False
Let z(c) = 777*c + 9. Suppose 5*t = -t - 42. Let v be z(t). Is v/(-26) + 12/78 a composite number?
True
Let a be (-225)/(-33) - 2/(-11). Is ((35/(-10))/a)/((-1)/1930) a prime number?
False
Suppose -15*o = -17*o + 3174. Let w = -896 + o. Is w a composite number?
False
Let u(z) be the first derivative of 3*z**2/2 + 11*z - 5. Let o(j) = 2*j + 12. Let l(v) = -6*o(v) + 7*u(v). Is l(8) prime?
False
Let u = -32 - -17. Is 7615/u*(3 - 6) prime?
True
Let t be -1*-4*4/2. Suppose -t = -3*z + 310. Is z a prime number?
False
Suppose 5*n - 37486 = 3*i, 184*i + 22488 = 3*n + 181*i. Is n a prime number?
True
Let f(k) = k**3 - 2*k + 5. Let t be f(-6). Let l = 890 + t. Is l prime?
True
Let j(b) = -5*b**3 + 12*b**2 + 2*b - 113. Is j(-10) composite?
False
Is 1923415/9 + 224/1008 composite?
False
Suppose 4*g - 6 = g. Suppose -96*w - 2541 = -107*w. Suppose -2*x - w = -3*f, f + 2*x + 73 = g*f. Is f composite?
False
Let b = -1087 - -1908. Is b composite?
False
Let n = 3315 + -1916. Is n a composite number?
False
Let x = -923 + 4360. Let k = x - 2224. Is k composite?
False
Is (-177868)/(-12) + (-2)/6 composite?
True
Suppose -24*x + 27712 = -725816. Is x a prime number?
True
Suppose 0 = 2*v - 8 + 4. Suppose v*w + 568 + 2949 = 3*p, -3*w = 4*p - 4661. Is p a composite number?
True
Let a(h) = -8*h - 1. Let f be a(1). Let i(m) = 21*m**2 - 19*m - 14. Is i(f) prime?
False
Let j(k) = -21*k + 16. Suppose -5*g + 21 = -8*g. Is j(g) prime?
True
Let m = 36 - 32. Suppose -m*a + 1658 = -2*u, 2*u = 4*a + 7*u - 1637. Is a a prime number?
False
Suppose 25*v - 2959 = 24*v. Is v prime?
False
Suppose 60893 = 8*j - 66155. Is j composite?
False
Let v be 47/9 + 22/(-99). Suppose 9331 = v*f + 591. Suppose -3*z = -7*z + f. Is z a composite number?
True
Let u = 11 + -11. Suppose 3279 = 4*r + 3*f, u*f + 2*f = 2. Let w = r + -400. Is w a composite number?
False
Let a(r) = r**3 - 17*r**2 + 32*r - 111. Let c be a(12). Suppose 4*w + h - 3508 = -251, 0 = 3*h - 3. Let z = w + c. Is z a composite number?
False
Let r(b) = -b + 16. Let f be r(12). Suppose 2*p - f = -4*m, 0 = m - 5*p - 1. Is ((-967)/m)/(-16 - -15) prime?
True
Let z(q) be the third derivative of -q**2 + 161/60*q**5 + 0 + 1/12*q**4 + 1/6*q**3 + 0*q. Is z(-2) composite?
False
Suppose 0 = -5*a + 7*a - 2210. Suppose 0 = 39*t - 34*t - a. Is t a prime number?
False
Suppose -6*c + 3*c + 4*n = -517, 706 = 4*c + 3*n. Suppose -4*p + 3*m + 722 = -0*m, p + 2*m - c = 0. Is p composite?
False
Suppose -12 = 3*q - 0. Is q + 3 + (-1952)/(-4) prime?
True
Let n = -185 + 265. Let k = 411 - n. Is k a composite number?
False
Suppose 2*s = 3 + 39. Let y be (208/12)/(2/s). Suppose 0*l + y = 2*l. Is l composite?
True
Let x(a) = 45*a - 5. Let m(h) = -h - 7. Let n be m(-13). Suppose 3*g + n = 12. Is x(g) prime?
False
Suppose n + 4*p = -1329, 5*p = -n - n - 2646. Let x = 1944 + n. Is 