/(-8))/1 prime?
False
Suppose -4*f = -5*j + 91 + 6, -4*j = -4. Let x = 38 + f. Is x composite?
True
Suppose 0*c - 2*z - 3564 = -4*c, 0 = -3*c - 3*z + 2655. Is c a prime number?
False
Let s(v) = v**3 + 2*v**2 + v + 2. Let k be s(-2). Let t be -5 + 57 - (0 + k). Suppose -3*d = 2*a - t, a - 5*d + 4*d - 21 = 0. Is a prime?
True
Suppose -a + w = -1657, 5*a - 3*w + 6*w = 8269. Is a a composite number?
True
Suppose -2*k + 2142 = 466. Is k a prime number?
False
Let f(d) = d**3 + 7*d**2 + 7. Let y be f(-7). Let g(s) = -5 + 6 - s + 13. Is g(y) prime?
True
Let d = -7 - -8. Let i be 1/(d/267 + 0). Suppose 0*v = -3*v + i. Is v a prime number?
True
Let r be 5 - (0 + -2 + 5). Is r/8*(147 - -1) a prime number?
True
Is (3320/70)/((-2)/(-7)) a composite number?
True
Let v(i) = i**2 + 4*i. Let y be v(-3). Let n(k) be the second derivative of -k**5/10 - k**4/6 + k**2/2 - 3*k. Is n(y) composite?
False
Let a(u) = u**2 + 4*u + 4. Let q be a(-4). Suppose -2*h + 18 = -q*j, -4*j - 13 = -4*h + 3. Let i = 15 + j. Is i composite?
True
Let c = 225 + -34. Is c prime?
True
Suppose -5*v + 70 = -5*n, -2*v + 0*n - n = -13. Let t(s) = -s**2 + 9*s + 11. Let p be t(v). Let l = p + -7. Is l a composite number?
True
Suppose 0 = -5*k - 1665 + 10. Let t = 562 + k. Suppose 0 = -b - 2*b + t. Is b a composite number?
True
Let j(i) = -8*i - 3*i**3 + 15 + 7*i - 4*i**3 + 13*i**2. Let x(r) = -4*r**3 + 7*r**2 + 8. Let h(v) = -3*j(v) + 5*x(v). Is h(6) a composite number?
True
Suppose -2*x + 147 = -5*k - 246, -5*k = -5*x + 975. Is x prime?
False
Let h(q) be the first derivative of -40*q**2 - q + 4. Is h(-1) prime?
True
Let w(y) = 3*y**2 - 2*y + 2. Let h be w(9). Let m = h + 24. Is m prime?
True
Suppose 0*s - 5*l = -5*s + 1455, 0 = 2*s - 5*l - 582. Is s prime?
False
Suppose -5*j + 197 = 2. Suppose -16 = -4*a, -7 = 4*i + a - j. Is i prime?
True
Let a(b) be the second derivative of -b**4/12 - 3*b**3/2 + 5*b**2/2 - b. Let v be a(-9). Suppose -252 = -v*o - 5*p - 47, 2*p = o - 29. Is o a composite number?
False
Let p(g) = g - 4. Let h be 5/10 - 7/2. Let z be p(h). Is (17 - 0)/(z/(-35)) composite?
True
Let d(k) = -k**3 + 5*k**2 + 7*k - 3. Let u be d(6). Suppose 4*x = h - 74 + 241, h - 211 = -5*x. Suppose -u*z + z = -x. Is z prime?
False
Let i(s) = s**3 - 8*s**2 + s - 8. Let q be i(8). Suppose q = -7*w + 3*w + 472. Is w prime?
False
Let l = -160 - -234. Suppose 0 = -2*v + 24 + l. Is v prime?
False
Let n = -4 + 6. Suppose -c = -n*c - 64. Is -2*(-3)/6 - c a prime number?
False
Let g(l) = -2*l + 69. Is g(23) prime?
True
Suppose 3*v = -2*a - 42, -4*v + 2*a - 70 = -0*a. Suppose -3*z = -7*z + 148. Let s = v + z. Is s a composite number?
True
Let s(g) = -29*g - 8. Let f be s(-7). Suppose -6*q = -q - f. Is q prime?
False
Let z = 35 - 4. Let b = 15 - z. Let g = 21 - b. Is g a composite number?
False
Is 5 + 88/(-20) + (-7792)/(-5) a composite number?
False
Is (-6)/3*(3 - (-2379)/(-6)) a composite number?
False
Suppose 0 = l - 0*l - 5*h - 576, -l = h - 564. Let v = l + -403. Is v prime?
True
Let u(g) = 42*g**2 - 4*g - 5. Suppose -3*s + 22 = -5*l - s, -5*l + 3*s = 23. Is u(l) prime?
True
Let m(q) be the first derivative of -q**4 - q**3 - q**2 - 6*q + 3. Let w be m(-6). Suppose -5*x - 129 = -z + 72, 4*z + x = w. Is z a prime number?
True
Suppose 0 = 3*n - 6*n + x - 20, 3*x = -12. Let b be 20/6*(-12)/n. Suppose b*d - 197 = 738. Is d a composite number?
True
Suppose 0*s - 5*f + 901 = 3*s, 5*f = 4*s - 1248. Is s a composite number?
False
Suppose 0 = 5*i + 53 - 3. Let v(q) = q + 12. Let d be v(i). Suppose -2*z = -3*t + 67, -3*t + z = -d*z - 66. Is t a composite number?
False
Let o be 3/12 + (-30)/(-8). Suppose -4*u + 30 - 10 = 0, -o*g = 4*u - 208. Is g a composite number?
False
Let d = 24 - -11. Is d a composite number?
True
Suppose 8 = -2*g + 26. Suppose 20 = d + d. Let a = d + g. Is a composite?
False
Is (-6)/4 - 1058/(-4) a prime number?
True
Let q(h) = -2*h. Suppose 4*y + 17 = 5*y + 5*n, -4*y - n = -11. Let l be q(y). Let x(a) = a**3 + 4*a**2 - 2*a - 1. Is x(l) a prime number?
True
Suppose -2*c + v = -3 + 38, 0 = 2*c + 2*v + 32. Let z = 31 - 1. Let x = c + z. Is x composite?
False
Let t = 6 + -14. Let k = t - -11. Suppose 5*u = -2*c + 328 + 269, 3*u = -k. Is c a prime number?
False
Is 3/1 - 2*-17 a composite number?
False
Let x = 11 + -6. Suppose -5*i = -5 - 15. Suppose -x*t + 159 = i*l, -3*l + 6 = 3. Is t composite?
False
Let o(t) = t**2 - t + 39. Let a be o(0). Let j = a + 10. Is j composite?
True
Let k = 3 + -6. Is -2*15*k/6 composite?
True
Is 2/(-5) - (4 - 4354/10) a prime number?
True
Suppose 0 = -4*d - p - 86, 2*p + 13 + 49 = -3*d. Let n be (-4)/(-22) + (-62)/d. Suppose 37 = -2*c + n*c. Is c a prime number?
True
Let q = -521 + 940. Is q a composite number?
False
Suppose n - 138 = 179. Is n a prime number?
True
Let h(u) = 3*u**2 - u - 6. Is h(-5) a composite number?
True
Let a = -1 + 6. Suppose -a*k = -2*m + 17, 40 = 5*m + 3*k - 18. Is m a prime number?
True
Suppose -3*o - 139 = -2*a, -4*o - 365 = 3*a - 8*a. Is a prime?
False
Let l(n) = -n**3 + 21*n**2 - 8*n - 4. Let m be l(9). Suppose -m + 306 = -5*k. Is k composite?
True
Let n(b) be the first derivative of -7*b**4/4 + b**3/3 + b**2 - b - 3. Let w be n(-2). Suppose -3*h - 78 = -o + w, 0 = 5*h + 10. Is o a prime number?
True
Let t(j) = 2*j + 4. Let w be t(-12). Let p = w - -69. Is p composite?
True
Suppose -j + 221 + 524 = 0. Is j a composite number?
True
Is (-2)/3 - (-2815)/15 prime?
False
Let r(u) = 2*u**3 - 3*u**2 + 4*u - 3. Let d be r(2). Let a(m) = 0*m**2 + 3*m + 0 + 5 + d*m**2. Is a(6) composite?
False
Suppose m - 2*i = 6, 28 = 3*m + i + 3*i. Let b be (-12)/16 - (-1278)/m. Suppose f - b = -2*f. Is f composite?
False
Suppose v = 993 + 48. Is v prime?
False
Suppose -s + 9 = -3*m, m + 2 = -3*s - 1. Suppose s = i - 138 + 47. Is i a composite number?
True
Let n be (2 + -1)*(1 + -1). Suppose 3*c + n*c = 141. Is c a prime number?
True
Suppose -25 = 5*u + 5*g, -4*u - 2*g = -4*g + 2. Let c be (-2 - 0)/((-2)/u). Is (c - -3)/(1/37) a prime number?
True
Let p = 831 + -524. Is p a composite number?
False
Let j(z) = 2*z - 8 + 18 + 8*z**2 - 5 + 3*z. Is j(-4) composite?
False
Suppose 3*o - 30 = -2*o. Suppose 0 = 4*k + 3*x - 24, -4*x + 31 = 3*k + o. Let d(g) = 11*g + 2. Is d(k) a prime number?
False
Suppose 0 = -3*x + 5*r + 498, -136 = -x + r + 30. Suppose -5*q + 3*q = -x. Is q composite?
False
Is (-18 - -1)*58/(-2) prime?
False
Suppose f + f - 20 = -5*n, 0 = -4*f. Is n/(24/134)*3 composite?
False
Let i(q) = 227*q**2 - 3*q + 1. Is i(-3) composite?
False
Suppose -315 = -0*i - i. Suppose i = -4*m + 851. Suppose -5*s + 2*s = -r + 30, -2*s + m = 4*r. Is r a composite number?
True
Let x(h) = -h + 1. Let z be x(-5). Let o = z + -6. Let i(q) = -q + 35. Is i(o) composite?
True
Let f(l) = -l**3 + 3*l**2 + 5*l - 2. Let g be f(4). Let n(d) = 2*d - 2*d**3 + 3*d**3 - 2 - 4*d**2 + g*d**3. Is n(3) prime?
False
Let m = -160 + 391. Suppose 0 = j - 5*p - m, j - 852 = -3*j + 2*p. Is j composite?
False
Let r = 34 + 273. Is r a composite number?
False
Let b(f) = -f**2 - 12*f - 2. Let q be b(-12). Is (q/6)/(1/(-699)) prime?
True
Suppose 1 = a - 1. Suppose -3*s = -a*s - 7. Is 2/s + (-47)/(-7) composite?
False
Let a be 8/((-2)/(-3)*3). Suppose a*w = 3*u + 809, w - 3*w - 5*u = -411. Is w a prime number?
False
Let p(c) = -c**3 - c + 13. Let j be p(0). Suppose 0 = 4*v - q + 118, 4*v + 4*q = -121 + j. Is (-2)/2*5*v composite?
True
Suppose -a - 4*a - 1277 = -2*j, -3*a = 4*j - 2515. Is j a composite number?
False
Suppose 3*x + 15 = 0, -5*x + 140 = -3*o + 4*o. Suppose 3*w = -0*w + o. Is w a prime number?
False
Let s(j) = 12*j - 7. Suppose 2*r + 3*c + 10 = -c, 2*r = 4*c + 22. Suppose 28 = n + r*n. Is s(n) composite?
True
Let y(s) = -s - 5. Let r(g) = 2*g + 4. Let o be r(-5). Let i be y(o). Is 2/(-2)*i + 80 a composite number?
False
Let s(p) = -p**3 - 11*p**2 - 2*p - 3. Is s(-11) prime?
True
Suppose 4*o - 5*y - 89 = -0*o, y - 29 = -o. Let j = o + -2. Suppose -b + j = b - u, 41 = 3*b + u. Is b composite?
False
Let m(h) = -3*h**3 - 11*h**2 + 3*h - 12. Let c(w) = 2*w**3 + 11*w**2 - 3*w + 12. Let s(v) = 4*c(v) + 3*m(v). Let u be s(11). Let x = 34 + u. Is x prime?
True
Let s = 210 + 59. Is s a prime number?
True
Suppose 0 = -v - 2*v + 9. Suppose 3*y + 2*y - g - 140 = 0, -v*y + 84 = -5*g. Is y/3 - (-4)/6