 composite number?
False
Let x(y) = 55*y**2 - 76*y - 10. Is x(-9) composite?
True
Let h(c) = -3*c**2 + 4*c + 1. Let m be h(3). Let l = -3 - m. Suppose f - 138 = -l. Is f a prime number?
True
Suppose -2*d = -11*d - 684. Let v = 155 + d. Is v a composite number?
False
Let j(x) = -10*x - 5. Let i be j(-3). Let r = i - 22. Suppose 40 = k + r. Is k a composite number?
False
Suppose 13*x = 1479 + 3344. Is x composite?
True
Suppose 20836 = -7659*v + 7663*v. Is v a composite number?
False
Let z = 62 + -57. Suppose -5*x - 3*i + z*i = -1433, -4*x = i - 1149. Is x composite?
True
Suppose -5*s + q = -17335, 0*s = -4*s - 5*q + 13839. Is s a composite number?
True
Let q(m) = 4*m**3 - 4*m**2 - 2*m - 11. Is q(7) a composite number?
False
Let k(x) = -9*x + x + 138 - 155. Let g = 1 + -8. Is k(g) composite?
True
Let h = 12 + -34. Let w = -42 - h. Is (134/8)/((-5)/w) composite?
False
Let p = -2634 - -9703. Is p prime?
True
Let u = 9 - 137. Let h = -26 - 23. Let b = h - u. Is b composite?
False
Suppose 3*n - 4*b - 24 = 0, -5*b - 23 = -n - 4. Suppose 2*v - 18 = -3*p + 7, p = n*v - 15. Is p/(-10) - (-30)/4 a prime number?
True
Let z(w) = w**2 - 15*w + 19. Let q be z(14). Suppose m + 17679 = 5*m - q*u, 0 = -3*m - 4*u + 13267. Is m prime?
True
Let z be -1*((672 - 3) + 0). Is (-6)/(-4) - (z/6 + 0) a prime number?
True
Let q = 12242 - 6363. Is q composite?
False
Let g = -29 + 20. Let u be 15/45 - (-38)/(-6). Is (-332)/u*g/(-6) a composite number?
False
Let l(c) = 33*c**2 + 11*c - 19. Let i be l(-12). Let y = i + -3124. Is y a prime number?
False
Let b be (-13 - 2)*36/(-20). Let r = -92 + 148. Let h = r + b. Is h composite?
False
Let c = 1231 - 702. Is c a composite number?
True
Let q be 50/(-15)*2274/5 - -2. Let h = q - -2557. Is h composite?
True
Let w be (-221)/3 + (-2)/6. Let i = -390 + w. Let n = -306 - i. Is n a prime number?
False
Let i = -135 - -269. Let m = i + 243. Is m a prime number?
False
Let b(i) = -i**2 + 5*i + 10. Let x be b(6). Suppose k - x*k + 2127 = 0. Is k a composite number?
False
Let x(p) be the third derivative of 0 + 7/6*p**3 + 1/4*p**4 + 0*p - 3*p**2 + 1/5*p**5. Is x(5) a composite number?
False
Suppose -5*z = 3*c - 877, 3*z - 885 = -2*c - 299. Suppose 5*s - c = 446. Is s composite?
False
Let j(g) = -g**3 - 4*g**2 + 10*g - 24. Let k be j(-11). Let m = 602 + k. Is m a composite number?
True
Suppose 4092 = p - 3*c, -16335 = -4*p + 38*c - 37*c. Is p prime?
False
Suppose 78*v - 656081 = 61*v. Is v prime?
True
Suppose 5*i + 3 = -3*w + 1, -4*w - 2*i + 2 = 0. Let u = w + -3. Is -1*(u - 1) + 50 prime?
True
Suppose 0 = 2*t - 10, -1 = 3*d + d - 5*t. Let n(y) = -9*y + 3 + 0 - 1 + 4*y**2 - 1. Is n(d) composite?
True
Let l(c) = 16*c**2 - 15*c + 1. Let a be l(11). Suppose -112*v + 108*v = -a. Is v composite?
False
Let x(c) = 44*c**3 - 5*c**2 + 4*c + 10. Let b be x(5). Suppose 4381 = 4*n - 5*p, 4*n + 1021 - b = 4*p. Is n a prime number?
False
Suppose 14*b + 10*b = 18888. Is b composite?
False
Let m(x) = -61*x + 1. Let b be m(-1). Let h = 99 - b. Is h prime?
True
Let x = -16 + 77. Let t be 2 - 1*(2 + -156). Let b = t - x. Is b composite?
True
Suppose -q + 6*r = 7*r - 29461, r + 88387 = 3*q. Is q prime?
False
Suppose 2*k - 2 = k. Let u(f) = -3*f + k - 14*f**3 + 72*f**3 + f**2 + 0*f. Is u(1) prime?
False
Suppose 44406 = 115*j - 109*j. Is j a prime number?
False
Let k(l) = l**2 - l - 3. Let v be k(-3). Let d = 0 + v. Is 335/d + (-22)/99 a prime number?
True
Suppose -216*h + 212*h - c + 45212 = 0, 5*h + 3*c - 56515 = 0. Is h prime?
False
Let p(h) = h**2 - 13. Let n be p(4). Suppose -3*l + k + 2009 = 3*k, -15 = n*k. Is l composite?
False
Let g be 6/(-8) - (-6)/(-24). Let j be -7*g/((-21)/(-18)). Is (-358)/(-1)*3/j composite?
False
Is -5 - ((-24928)/(-24))/(6/(-189)) a prime number?
True
Suppose 5 = 4*t - 7. Suppose -t*o + 464 = -85. Is o a composite number?
True
Let o = -1139 - -1992. Suppose 3*s + 11*m = 6*m + 10, 3*m = -2*s + 7. Suppose s*r - 4*k - 758 = 285, 0 = 4*r + 3*k - o. Is r prime?
True
Suppose -5*c + c + 61552 = -4*v, -4*c - 4*v = -61576. Is c prime?
True
Let d = 618 + 335. Suppose -d = -0*j - j. Is j composite?
False
Let g(p) = p**2 - 15*p - 42. Let u be g(18). Let n(k) = k**3 - 3*k**2 - 2*k + 5. Let x be n(4). Suppose x*t - u*t - 887 = 0. Is t composite?
False
Let t be (3 + -4 - 3)/(-1). Suppose -3*i - 4*q - 4 = 0, t*q + 1 = -i - 11. Suppose 0 = 5*x - 2*p - 1239, 176 = x - i*p - 79. Is x a prime number?
False
Let l = 46 + -32. Let z be ((-80)/l - 2)*-7. Suppose 57*w - 555 = z*w. Is w a composite number?
True
Suppose 4*u + 7170 = 3*y, -2*u - 684 = -y + 2900. Let k = u - -2611. Suppose -4*m + 4*t + k = 0, 0 = -m - 2*t + 136 + 63. Is m prime?
False
Suppose 4*s - 2*s - 220 = -2*g, 0 = -3*s + 15. Let n = 284 - g. Is n a composite number?
False
Suppose -5*v = -4*f + 28, f + 4 - 10 = v. Suppose -1683 = -4*j + 949. Suppose f*i = -j + 1632. Is i prime?
True
Let l = -155 - -115. Is ((-110)/l)/(-2 - (-594)/296) composite?
True
Suppose 516*w - 517*w + 53353 = 0. Is w composite?
False
Let g be 5 - 4 - 1 - -202. Suppose -g = -q - 3*h, 3*h + 618 = 2*q + q. Is q prime?
False
Suppose -2790 = -3*d - 2*d. Suppose q - 145 = -4*u, -5*u = 4*q - 0*u - d. Suppose -156 - q = -4*s + 5*j, s = -2*j + 83. Is s a composite number?
True
Suppose 0 = 4*w - n - 2940, -3*w + 6*n - 3*n + 2214 = 0. Is w prime?
False
Let l = -7367 - -24012. Is l prime?
False
Let f(g) be the first derivative of -g**4/4 - g**3 - 4*g + 3. Let z be f(-4). Suppose -z*c = -10*c - 338. Is c prime?
False
Let z(t) = -2*t**3 + 6*t**2 + t - 8. Let l be z(4). Is (-1266)/l + 3/(-18) composite?
True
Suppose -194379 = -17*v - 17188. Is v a composite number?
True
Let o(d) = 15*d**3 - 17*d**2 + 21*d - 5. Is o(6) a prime number?
True
Suppose -8*y + 167492 + 26372 = 0. Is y composite?
True
Let j = -6506 + 4162. Let y = j + 4742. Suppose -y + 277 = -3*l. Is l prime?
False
Suppose 26 = 2*u + 16. Suppose -i + 201 = -u*v, -6*i + 3*i = 5*v - 603. Is i composite?
True
Let o(t) = -5*t**2 + 4*t + 9. Let k(n) = 24*n**2 - 20*n - 46. Let x(a) = -2*k(a) - 11*o(a). Let v be x(5). Suppose 4*j - v = 2*j. Is j a prime number?
False
Let b(n) = -11*n. Let v be (2/1)/((-8)/16). Let u be v/(2*6)*6. Is b(u) composite?
True
Suppose 3*a - 4*w = -6*w + 98, 0 = 2*a - 2*w - 52. Is (-12042)/(-15) + (-24)/a prime?
False
Suppose -2*g = -2187 - 1681. Suppose 2*v = -0*v + g. Is v prime?
True
Let b be ((-1)/1)/(4/(-24)). Let s(d) = -2*d + 10. Let r be s(b). Is r + 358 + (-1)/1 composite?
True
Let o = 21 + -14. Let g(u) = 17*u**2 + 3*u**3 - 3*u**3 - u**3 + 24 - 18 - 5*u**2. Is g(o) a prime number?
True
Suppose 2*t - 3*t - 3*q - 13 = 0, 5*t - q + 1 = 0. Let s be 0/(0 + t + 2). Suppose s = -3*y + 378 + 51. Is y a prime number?
False
Let a(y) = -y**2 - y - 1. Let r be a(-3). Let k(p) = -p**3 - 7*p**2 - p + 7. Let o be k(r). Suppose -j + 127 = o. Is j a composite number?
False
Suppose -18 = 5*r - 11*r. Is -3 + r/((-15)/(-9670)) a composite number?
False
Let t = 21 - 14. Suppose t*a - 3*a = 220. Suppose -4*z = -49 - a. Is z a composite number?
True
Let s(b) = b**3 + 15*b**2 - 24*b - 18. Let c be s(-17). Let l = 315 + c. Is l prime?
True
Let w(n) = 8*n**2 + 6*n + 5. Let b(h) = h**2 - 7*h - 13. Let k be b(10). Suppose -2*l - k = -11. Is w(l) prime?
True
Let t = 4738 + 10275. Is t a composite number?
False
Let w(b) = b**3 - 11*b**2 + 11*b + 12. Let q be w(10). Is (451/q)/(1/6) prime?
False
Suppose 63 = 18*c - 21*c. Is (-7)/c + 0 - 9724/(-6) prime?
True
Suppose -13 = 5*p + 62. Is (-996)/9*(p/(-6) - 4) a composite number?
True
Let f be (-7)/28 - 1659/(-24)*2. Suppose -4*h = h - 255. Let y = f - h. Is y a prime number?
False
Suppose -o + 26 = -2*f - 167, -o + 4*f + 201 = 0. Is o composite?
True
Let d(s) = 9061*s**2 + 2*s. Is d(-1) a prime number?
True
Let u(q) be the first derivative of -q**5/20 + 13*q**4/12 - 11*q**3/6 - 3*q**2/2 - 4*q + 1. Let s(b) be the first derivative of u(b). Is s(12) prime?
False
Let f(s) = -s**3 + 17*s**2 + 19*s - 13. Let v be f(18). Suppose 3*o + 12915 = v*j - 2089, 0 = 3*j - 5*o - 9012. Is j a prime number?
True
Let u(i) be the second derivative of -i**4/12 + i**3/6 + 293*i**2/2 + 4*i. Is u(0) a composite number?
False
Let f be (4/5)/(4/10). Suppose f*y + 2*y = -5*w + 34, 0 = 3*w - 2*y - 16. Let b = w + 71. Is b prime?
False
Let t(y) = 