 + (d - 1) composite?
False
Let y(d) = 94*d**2 + 3*d + 3. Is y(-2) prime?
True
Suppose -33 = 2*g - 123. Suppose -p + g = 2*p. Suppose -p = 4*c - 91. Is c prime?
True
Let m(q) = 23*q**2. Let j be 0/1 - (-4 - -5). Is m(j) composite?
False
Suppose 0 = 3*r - 2*r + 24. Let n = 1 + r. Let c = n + 42. Is c prime?
True
Let x = -2 - -2. Suppose -4*g = 5*h - 2*h, 4*h - 2*g + 22 = x. Is h/(24/21)*-6 composite?
True
Let n(t) = 1 + 0*t - t + 0*t. Let r be n(-4). Suppose -173 = -r*q - c, -2*c - 37 = -5*q + 127. Is q a composite number?
True
Let m(i) be the first derivative of -i**2/2 - 12*i + 2. Let p(l) = -3*l - 24. Let g(x) = -5*m(x) + 2*p(x). Is g(-9) composite?
True
Let s(w) = 4*w**3 - w**2 + 2*w - 1. Let j be s(1). Let y = 47 + -68. Let x = j - y. Is x a prime number?
False
Suppose 4*u + 12 = 5*u. Let g = -3 - -8. Suppose -2*z = h - 41, g*h - u = h. Is z a composite number?
False
Let x(f) = -43*f + 3. Let y(a) = 22*a - 1. Let l(o) = 3*x(o) + 7*y(o). Suppose 2*g = h + 6, -g + 25 = 5*h - 0*h. Is l(g) prime?
True
Let m(w) = w**3 - 10*w**2 - 21*w + 29. Is m(15) prime?
True
Suppose 1018 = -4*i + 3682. Suppose -4*q = 5*p - 677 - 162, -2*q - i = -4*p. Is p a prime number?
True
Suppose 0 = -3*j + 12 - 0. Suppose -p + 23 = -j*z, 166 = 7*p - 2*p - 3*z. Is p a prime number?
False
Is -3 + 2/((-4)/(-82)) prime?
False
Suppose -3*m + m - 1978 = 3*i, -5*m + i = 4979. Let c = -548 - m. Is c a prime number?
False
Is -9*(-2)/24 - 889/(-4) prime?
True
Let k(w) = 13*w**2 + 9. Is k(4) prime?
False
Suppose v = -v - 2*n + 530, 5*n + 530 = 2*v. Is v a composite number?
True
Suppose 349 = 4*z - 319. Is z a composite number?
False
Let x(i) = -4*i + 6. Let f(k) = -k. Let a(m) = 6*f(m) - x(m). Suppose 0 = -3*q + 7*q + 24. Is a(q) a composite number?
True
Let y(n) be the second derivative of n**5/20 - n**4/2 + n**3/3 + 7*n**2/2 + 3*n. Is y(6) prime?
True
Let h be (-2)/7 + 8/28. Let p be (-1)/(2/(-204)) + h. Suppose 0 = -2*j - 3*z - 43 + p, 5*z + 25 = 0. Is j a prime number?
True
Suppose -904 = -9*h + 4253. Is h composite?
True
Is (-4675)/(-33) + (-2)/3 prime?
False
Suppose 6*b - b + 5*s - 5245 = 0, 4*b - s - 4196 = 0. Is b a prime number?
True
Is 3 + (-20)/(-36)*-3*-2154 composite?
False
Suppose -4*o = -o - m - 309, 2*o - 4*m - 206 = 0. Is o prime?
True
Suppose -4*b - 8 = 4*x, -2*b = -4*x + x - 21. Suppose b*y + 328 = 7*y. Is y a prime number?
False
Suppose 5*t - 1099 = -y + 1590, y = 3*t - 1615. Let q = 1039 - t. Is 1/2 - q/(-2) a prime number?
True
Suppose -2*r + 71 = 3*i, 2*i = 5*r + 19 - 168. Let j = -6 + r. Is j a composite number?
True
Suppose 0 = z - 3*m + 75 - 246, -344 = -2*z + 5*m. Is z prime?
False
Suppose r - 4 = -76. Let t = 149 + r. Is t composite?
True
Let t be 2 + 0 + 1 + 0. Let m(y) = y**3 - 2*y**2 - 4*y + 4. Let x be m(3). Is x*t*(2 - 1) prime?
True
Let d(r) = -r**2 + r + 3. Let s be d(0). Is 1/(s/(-99)*-1) composite?
True
Suppose 0 = n - 134 - 165. Is n composite?
True
Suppose -3*t = -2*q + t + 970, 4*q + 5*t - 1953 = 0. Is q a composite number?
False
Let l(x) = 4*x - 12. Let k be l(8). Suppose -3 - k = f - 5*c, -30 = -5*f - 4*c. Is 1/((-2)/f) + 38 a composite number?
False
Suppose 4*g = -0*g - 1112. Let x = -195 - g. Is x composite?
False
Is 2443/4 - 4/(-16) a prime number?
False
Suppose -4*n - 4*x = -28, -3*n + x = 2*x - 13. Suppose 4*a - 3*i = 733, -a = -n*i + i - 187. Is a a composite number?
False
Let f(u) = 43*u**3 + 4*u**2 - 6*u + 7. Is f(2) composite?
True
Suppose -2*x = -5*t - 8, 0 = -4*x - t + 4*t + 2. Let j = -3 - x. Is -10*(51/j)/3 a prime number?
False
Let q(g) = -94*g - 3. Let r be q(-3). Suppose -208 = -0*c - 3*c - a, -4*c = a - r. Is c composite?
False
Suppose -2*l - 4 = -3*l. Suppose -3*b = l*x - 16, -3 = -4*b + x + 12. Suppose b*s + 0*s - 44 = 0. Is s composite?
False
Let o(l) = 54*l**3 + l**2. Suppose g - 3*u = 13, -5*g + 2*u + 9 = u. Is o(g) a composite number?
True
Let j = -180 + 1369. Is j a composite number?
True
Suppose 0 = -0*k - 2*k + 1886. Is k composite?
True
Let c(x) = -2*x**2 + 66*x - 69. Is c(28) composite?
False
Let g be (-14)/(-4) - 3/6. Suppose 5 - g = u. Is u/(-2 + (-224)/(-110)) prime?
False
Suppose 0 = 2*x - 5 - 1. Suppose x*q - w = 13, -3*q + 10 = 3*w + 1. Let b(d) = d**3 + 3*d**2 - 5*d - 3. Is b(q) composite?
False
Let t be 63/77 + (-4)/(-22). Is 5 - ((-3 - t) + 2) prime?
True
Let i(p) be the third derivative of -p**6/40 - p**5/15 - p**4/8 - p**3/6 + p**2. Let l(z) = -z**3 - 2*z**2 + 1. Let c be l(1). Is i(c) a prime number?
True
Let b(w) = -6*w + 7. Let g(n) = -5*n**2 - n + 1. Let r be g(1). Is b(r) a composite number?
False
Let j be 2724/8*(-4)/(-6). Let t = 646 - j. Is t a prime number?
True
Let n(p) be the first derivative of -p**4/4 - 4*p**3/3 - 3*p**2 + 3*p + 2. Is n(-5) prime?
False
Suppose 3*d = -2*d + 5*l + 245, 3*l + 102 = 2*d. Let y = 60 + -92. Let a = y + d. Is a a prime number?
True
Suppose 0 = -d + 2*n + 481, 0*d - 4*n = 2*d - 986. Is d a composite number?
False
Suppose -2*j - 2*r + 336 = -78, -210 = -j - 4*r. Let l = 51 + j. Is l prime?
True
Let l(k) = -2*k - 8. Let b be l(15). Is b/4*(-6 - 32) a prime number?
False
Let a = -5 + 7. Suppose 5*q - a*o - 87 = 0, 4*q + 4*o - 105 = -13. Is q composite?
False
Let j = 1231 - 648. Is j prime?
False
Let l(o) = -o**3 + 16*o**2 - 12*o + 15. Is l(12) prime?
False
Let d be 61/4 + (-4)/16. Suppose -2*p - 3*s + 8*s + 57 = 0, -3*s = d. Suppose -4*u + 856 = -b - 2*b, 4*b = -p. Is u composite?
False
Let v = 5878 + -2879. Is v prime?
True
Let a(s) = -s - 11. Let i be a(-16). Suppose -3*r = -2*r + 2*c - 289, 575 = 2*r + i*c. Is r a composite number?
True
Suppose 2*y = -2*o + 15640, 9*o = y + 4*o - 7814. Is y prime?
False
Suppose -2*y - 3*r = -115, -r + 2*r = 2*y - 103. Suppose -5*i = -y - 102. Is i a prime number?
True
Suppose -173 = -y - 3*w, 4*w + 756 = 4*y + 112. Suppose -4*p - 5*r + y + 303 = 0, 5*p - 4*r = 553. Is p a composite number?
False
Let k(d) be the second derivative of d**4/12 + d**3/2 - d**2/2 - 6*d. Is k(-15) composite?
False
Suppose 5*g - 417 = d + 155, -g + 130 = 5*d. Is g composite?
True
Suppose -6*b + 2*b + 356 = 0. Let l be 20/(10/125 + 0). Let m = l - b. Is m a composite number?
True
Suppose -x - 144 = 5*s + 166, 612 = -2*x - 2*s. Is 7/(14/4) - x a composite number?
False
Is (1 + 118)*(2 + -1) prime?
False
Let s = -344 - -1855. Is s a prime number?
True
Suppose 0 = 2*j + 526 - 130. Is 1/(3*(-2)/j) a composite number?
True
Let n(s) = -s**3 + 12*s**2 + 13. Is n(12) a composite number?
False
Suppose -2*y - y + 427 = 4*a, 0 = 4*y - 4*a - 588. Is y a prime number?
False
Suppose 5*t + 3*z + 3 = 6, 0 = 4*z + 16. Suppose 3*d = -3*v + t, 3*d - 4*d - 24 = -4*v. Is ((-38)/d)/((-2)/(-4)) composite?
False
Suppose -3 = 5*c + 2. Let u = 9 + c. Let m = u - 5. Is m prime?
True
Let q(m) = -1. Let u = 2 + 1. Let n(t) = 4*t - 3. Let l(d) = u*n(d) - 6*q(d). Is l(2) composite?
True
Let i be 60*3*(-3)/12. Let m = i + 76. Let z = 68 - m. Is z a prime number?
True
Let g = -3093 - -5746. Is g composite?
True
Suppose -4*z - 1 = -3*z, 4*a - 2813 = z. Is a a composite number?
True
Suppose 3*p + p - 4*d - 840 = 0, -2*p = -d - 421. Is p composite?
False
Let f(h) = 59*h**2 - 1. Suppose -b - 2 = b. Is f(b) prime?
False
Let l(a) = a**3 + 5*a**2 - 8*a - 2. Let x be l(-6). Let s be (-4)/10 + (-3386)/x. Is s/(-9) + 2/(-3) composite?
False
Let n be 5 + (1 - 4) - -2. Suppose c = r - 2*r + 73, -n*c = 5*r - 369. Is r a composite number?
True
Suppose -2*j = j. Suppose j = t - 39 - 14. Is t composite?
False
Let q(n) = 1 - 6 + 2*n - 5*n. Is q(-4) a prime number?
True
Suppose -5*i = -2*d, 0*d + d = 4*i. Suppose d*n + 3*n = 1551. Is n prime?
False
Let u(p) = p - 1. Let n be u(4). Is 2/n - (-1372)/12 prime?
False
Let v(t) = -t**3 - t**2 - t + 89. Is v(0) a composite number?
False
Let x be 26/7 - (-10)/35. Suppose -x + 10 = 3*d. Suppose -d*k + 171 = k. Is k a prime number?
False
Suppose -1 = 5*k + 2*p + 2*p, 3*k = -5*p - 11. Suppose -b + 19 = -k*c, 5*b - 38 - 76 = -4*c. Is b prime?
False
Let j = -808 - -1197. Is j prime?
True
Suppose 0 = -0*s + 4*s - 24. Suppose -3 + s = -p. Is 0 + p + 2 - -40 a prime number?
False
Let a = 2511 - 1762. Is a prime?
False
Suppose -9*l + 6*l + 273 = 0. Is l composite?
True
Let s be 5/2*848/20. Suppose 3*w = 2*p - 22 + s, -4*p = -w + 38. Is w a composite number?
True
Let