 Let y = -75 - l. Is y a composite number?
True
Let m(c) = c - 4. Let a be m(10). Let l(n) = 2*n**2 - 17*n + 9. Let b(j) = -j**2 + 9*j - 4. Let r(q) = 5*b(q) + 3*l(q). Is r(a) prime?
True
Let c(j) = j - 4. Let r be c(5). Let g = r + 1. Suppose -19 = 4*a + 4*b - 151, 4*a + g*b - 128 = 0. Is a a prime number?
True
Let r = 603 - 368. Is r a prime number?
False
Let i(f) = 102*f + 23. Is i(6) prime?
False
Let d = 636 + -49. Is d a composite number?
False
Suppose n + 3*t - 68 = 58, 5*n - 566 = t. Suppose b - 3*h - 43 = 0, 0*b - n = -2*b - h. Is b a composite number?
True
Let s be 1/(-6) - (-171)/54. Let m(z) = z**2 + 6*z - 5. Let k be m(-7). Suppose s*j + k*j = 185. Is j a prime number?
True
Is (-8)/(-4)*2 - -1413 a prime number?
False
Let x = 188 + -73. Let m = -49 - -25. Let f = m + x. Is f composite?
True
Suppose 4*p + 4*d = 500, p - d = 2*d + 133. Is p a prime number?
True
Let r(h) = -h + 5. Let x(s) = -1 - 1 - s**2 + 5 + 0. Let u be x(3). Is r(u) prime?
True
Let n be (-24)/9*(-15)/(-2). Suppose -4*v + 4*c - 200 = 0, 2*v - 4*c - 19 = -109. Let p = n - v. Is p a composite number?
True
Let q(x) = -164*x - 3. Let p(o) = -821*o - 16. Let f(i) = 2*p(i) - 11*q(i). Let s be -1*(-1 - -2)*-1. Is f(s) prime?
True
Let b(q) = -q**3 + 10*q**2 - 13*q + 10. Let x be b(9). Suppose 285 = 2*z + 3*z. Let i = x + z. Is i a composite number?
False
Let p = 10 + -10. Suppose 2 = 2*d + 3*x - 1, p = -3*d + x + 10. Is d composite?
False
Let z be 1/6 + 1265/6. Suppose -b - z = -2*b. Is b composite?
False
Let u(g) be the second derivative of g**5/4 - g**4/12 + g**3/6 - g**2 + 2*g. Is u(3) composite?
False
Let i be 3 - (2 - (-3)/(-3)). Suppose -4*y + 66 = -i*y. Is y composite?
True
Suppose -20 + 1 = y - 5*i, 2*y + 14 = 2*i. Is (-77)/(-2) - (-6)/y prime?
True
Let c be (0 + 4)/(2/4). Let v be 2/(c/14)*2. Let q(x) = 3*x - 6. Is q(v) a prime number?
False
Suppose 0 = l - 3 + 1. Suppose 5*z + 0*z = -3*x - 12, -16 = l*z + 4*x. Let f(n) = n + 91. Is f(z) a prime number?
False
Let d(u) = u**2 + 2*u - 7. Let n be d(-5). Suppose -n = -5*p + 42. Is p composite?
True
Let h = 45 - 19. Let s = h - -23. Is s a composite number?
True
Is (-4)/(-6)*918/12 a composite number?
True
Let w be 3*(2 + (-28)/6). Let o(d) = d**2 + 6*d - 9. Let t be o(w). Suppose t + 7 = r. Is r a composite number?
True
Let w be -1 + (2 - 1)*-2. Is (1 + 0)*(-507)/w a composite number?
True
Suppose -h - 3*h - 2754 = -3*w, -2751 = -3*w + 3*h. Is w composite?
True
Let u(a) = a**2 + 2. Let b be u(2). Let y be (2/(-4))/(b/(-1704)). Suppose 2*q - y = 184. Is q a composite number?
False
Let n(m) = -31*m**3 + m**2 - 2*m. Let j be n(-2). Let v = j - 135. Is v composite?
True
Let w(m) = m + 7. Suppose -3*p - 15 = 5*h, 2*p + 14 - 36 = 2*h. Let x be w(h). Let u(k) = 10*k + 1. Is u(x) composite?
False
Let d(v) = -v**2 + 4*v. Let j be d(3). Suppose -2*h + 35 = j*h. Is h composite?
False
Let i(b) = b**3 + 10*b**2 - 20*b + 13. Is i(-9) a composite number?
True
Suppose 0 = t - 3 - 3. Let m be 2*((-9)/t + 2). Is 5*m*(-154)/(-35) a prime number?
False
Let q(o) = -2*o - 6. Let s be q(-4). Let d(z) = 6*z**2 - 2*z + 2. Is d(s) composite?
True
Let c(d) be the second derivative of d**3/6 + 25*d**2/2 - d. Is c(0) composite?
True
Let h(n) = n**3 - 6*n**2 - 6*n - 1. Let c be h(7). Suppose -5*b = -c*b + 265. Is b a prime number?
False
Let v be (-4)/(-16) + (-1035)/(-4). Suppose 0*c + v = c. Is c a composite number?
True
Let a(z) = z**3 - 8*z**2 + 5*z + 2. Let k be a(8). Suppose -33 - k = -5*d. Is (5/(d/42))/1 composite?
True
Let m(h) = 46*h - 42. Is m(8) composite?
True
Let m = -69 - -1. Let t = 202 + m. Is t prime?
False
Suppose 769 = 4*k + 5*y - 15, 5*k + 2*y - 963 = 0. Is k a prime number?
True
Let g be (-4)/(-10) + 16/10. Let u(y) = -y**3 - 5 + 4*y**g + 6*y - y - 2*y. Is u(4) prime?
True
Suppose 4*l = 2*t - 26, -2*l - 8 = -t - l. Suppose t*f + 6 = 4*f. Is f prime?
False
Let q be 2/6 + 4/(-12). Let o = q + 9. Is o a composite number?
True
Suppose -k + 1282 = 4*h - 3*h, -h = -4*k - 1282. Is h a prime number?
False
Let d be 1/(1/54) + 0. Suppose -k + 3 = 0, b - 5*k + d = 2*b. Is b a prime number?
False
Suppose 905 = 5*i - l, 2*l + l - 181 = -i. Is i a prime number?
True
Let j = -993 - -1842. Is j composite?
True
Let w be ((-1)/(-2))/(1/2). Suppose 0*z + w = z. Is -1 + 1*(26 + z) a prime number?
False
Let h = -2 - -2. Suppose h = -3*x + 2*x + 2*a + 69, 0 = -4*x + 2*a + 276. Is x a composite number?
True
Let j(f) = f**3 + 3*f**2 + 2*f. Let v be j(-2). Suppose a - 5*a = v. Suppose 4*r + r = -3*x + 38, a = -3*r - 15. Is x a composite number?
True
Let p(d) = -4*d**3 - 3*d**2 - 5*d - 2. Suppose n + 5 = 1. Let q be p(n). Suppose 0 = 3*w - 41 - q. Is w prime?
True
Let v = -5141 + 9532. Is v composite?
False
Is (2 + 13909)*(-1)/(-9)*3 composite?
False
Let s(l) = -l + 11. Let u be s(7). Suppose -127 = -u*q + 933. Is q a composite number?
True
Let r(t) be the first derivative of 2*t**4/3 - t**3/2 - 3*t**2/2 - t - 1. Let z(c) be the first derivative of r(c). Is z(-2) composite?
True
Let b = 4 + 0. Suppose 0 = -3*x - b*s - 60 + 166, 138 = 4*x + 2*s. Is x a composite number?
True
Suppose 7*f - 6*f = -20. Is (-24)/f*940/8 a composite number?
True
Let u(x) = -x**3 + 7*x**2. Let b be u(7). Let y be (1 + 2 - 1) + 41. Suppose b = -v - 6 + y. Is v a composite number?
False
Let k(t) = 9*t - 24. Is k(9) composite?
True
Suppose 4*z + 5*r + 1029 - 4105 = 0, 0 = z - 2*r - 769. Is z a composite number?
False
Let q(n) = n**2 - n - 2. Let d be q(-2). Is 206 - (3 - (2 + d)) a prime number?
False
Suppose 3*j = -4*b - 28, -j - 2*b - 13 = 3*b. Is 2/j - 93/(-4) a prime number?
True
Let v(b) be the first derivative of -b**2/2 - 4*b + 1. Let n be v(-5). Is n - -4*(-30)/(-4) prime?
True
Suppose -8*i - 943 + 5031 = 0. Is i a composite number?
True
Is (-6)/(-15) - (2 + (-1393)/5) a prime number?
True
Is 1 + -9*54/(-1) prime?
True
Suppose -6*o + 40 = -o. Let h be 2/o - 70/(-8). Let k = h + 26. Is k prime?
False
Let a = 8 - 5. Let r = 3 - a. Suppose r = b - 16 - 3. Is b composite?
False
Suppose 4*p - 4 - 255 = -3*a, 0 = -2*a + p + 180. Is a a composite number?
False
Suppose -3*o + 159 - 15 = 3*x, o + 3*x = 48. Let j = o - 29. Is j prime?
True
Let b(p) be the first derivative of p**2/2 + 90*p - 3. Let n be b(0). Suppose -2*l - n = -356. Is l a composite number?
True
Let q be -3 - (1 + -1 + -7). Let m = q + 1. Suppose 0*b - 356 = -4*b - 4*g, 0 = -2*b + m*g + 178. Is b a prime number?
True
Suppose 5*f - 5*o = 10, -22 = 2*f + f + 4*o. Let m = 4 + f. Is ((-11)/(-3))/(m/18) a composite number?
True
Let i(f) = 55*f**2. Let p(d) = d**2. Let j be 1*(2*-1 - -1). Let o be p(j). Is i(o) a prime number?
False
Is (-1343 - 4)/(1 - 4) a composite number?
False
Let t = -19 - -9. Let l = 9 - t. Is l a prime number?
True
Let m be (5 - 11)*2/(-4). Suppose 0 = -4*s + 2*q + 1036, m*s - 1317 = -2*s - 3*q. Suppose -j = -3*t - 262, 0 = -j + t + 3*t + s. Is j prime?
False
Let q(f) = f**3 + 7*f**2 + 5*f. Let k(y) = 1. Let w(x) = -2*k(x) + q(x). Is w(-4) prime?
False
Suppose -12*f + 9*f + 12 = 0. Suppose 3*x = f*x - 11. Is x a prime number?
True
Let a(w) = -60*w - 7. Is a(-18) prime?
False
Suppose -4*o - 187 = -3*d - 636, -4*d = -5*o + 560. Let q = -59 + o. Is q prime?
False
Let s(x) = 25*x - 10. Is s(17) prime?
False
Let a(h) = 411*h**2 - 3*h + 1. Is a(1) a prime number?
True
Let o = 33 + 152. Is o a composite number?
True
Let o = 633 - 82. Suppose -4*p - 3*l + 1069 = 2*l, 3*l = 2*p - o. Suppose -3*v + 128 = -p. Is v prime?
False
Let k(s) = 48*s**2 + 13*s + 47. Is k(-12) prime?
True
Let f = -134 + 321. Is f composite?
True
Suppose -3*c = -3*i - 7*c - 7, 5*i - 2*c + 3 = 0. Is ((-2056)/(-20))/(i/(-5)) composite?
True
Let z(h) = h**3 - 15*h**2 + 4*h + 1. Is z(20) composite?
False
Is -3 + (-5)/((-15)/2112) + 0 a prime number?
True
Suppose 5*s = -4*v + 21, 4*v - 5*s + 7 = -22. Let x(d) = -77*d - 1. Let q be x(v). Suppose -2*t = -6*t + q. Is t a composite number?
False
Let t(m) = m**3 - 5*m**2 + 2*m + 4. Let y be t(4). Let p be 402/4*y/3. Is 1 + (p - -2)/(-2) prime?
True
Suppose -4 = -3*a - 5*k, 0 = 4*a - 3*k - 0*k + 14. Let i be a/(-4)*-1*0. Suppose m + 4*s + i = 11, -59 = -3*m + s. Is m a prime number?
True
Let l(b) = b**2 + 2*b. Let o be l(-2). Suppose o = 3*a + 2*a - 10. Suppose -a*h + 2*u = h - 35, -2*h -