 + 7*i + 1. Let b = -21 + 15. Is w(b) composite?
True
Let r(b) = 78*b**3 + 4*b**2 - 3*b + 1. Is r(2) composite?
True
Suppose -132 = -f - n, 2*f - 4*n - 152 = f. Let r = f + -69. Is r composite?
False
Let p = -472 + 883. Is p composite?
True
Suppose -112 + 38 = -2*j. Is j prime?
True
Suppose q + 2 - 12 = -a, 2*q + a = 15. Suppose q*d - 227 = 338. Suppose k + 2*k = 2*w - d, -279 = -5*w + 4*k. Is w prime?
False
Let a = 7 + -22. Let d = 46 + a. Is d prime?
True
Suppose 8*z - 3*z - 4*x - 3287 = 0, -z = -2*x - 661. Is z composite?
True
Let c(y) = -y**3 + y**2 - 2*y + 2. Let k be c(0). Suppose -3*i = -252 - 171. Suppose k*u - i = -u. Is u composite?
False
Suppose -30 = -7*l + 2*l. Is l composite?
True
Suppose -5*v - x + 2603 = -549, -2*x + 3149 = 5*v. Is v a prime number?
True
Is ((4 - 319) + -2)/(-1) prime?
True
Suppose 4 = -0*o + 2*o. Is (0 - o - -188)/2 a composite number?
True
Let p(k) be the second derivative of -k**5/10 - k**4/3 - 7*k**3/6 - 5*k**2/2 + k. Is p(-4) composite?
True
Suppose 0*s + 9 = -3*s - 3*m, s + 2*m = -8. Suppose -2*b - s*i = i - 271, -128 = -b - 4*i. Suppose 4*q = -4*n + b, 5*q - 3*n = -5*n + 187. Is q composite?
True
Let m be (0 + (-588)/15)*-5. Suppose -d = d - m. Let c = d - 49. Is c a composite number?
True
Suppose 3*x + 6 = 0, x + 4*x - 985 = -5*c. Is c composite?
False
Suppose -s - 13 = 3*m, -5*m - 25 = 2*s + 3*s. Let h(r) = 4 - 1 - 7*r - 2 - 3. Is h(m) a composite number?
True
Suppose d + 4*y - 93 = -0*d, y + 444 = 5*d. Is d a prime number?
True
Suppose 0 = -5*j + 5, 3*y + 4*j - 938 = 212. Suppose -4*w = 74 - y. Let x = w + -22. Is x a composite number?
True
Suppose -s + 21 = -436. Is s a composite number?
False
Suppose -2*r - 11 = -3*r. Suppose -4*p + 87 = r. Is p composite?
False
Suppose 0 = -5*h - 0*h + 35. Is h prime?
True
Let o(s) = 20*s + 1. Let v be o(7). Let i = v - 62. Is i a prime number?
True
Let w(t) be the third derivative of -t**6/120 + 7*t**5/60 - 5*t**4/24 - t**3 - t**2. Let c = -9 - -14. Is w(c) a prime number?
True
Suppose -2*c + 2*g + 1338 = 0, 6*g = -3*c + 4*g + 2027. Is c prime?
True
Let a(x) be the second derivative of x**5/20 + 2*x**4/3 + 7*x**3/6 + 7*x**2/2 + 3*x. Is a(-6) a prime number?
True
Let o(i) = -i**3 + 8*i**2 + 3*i + 6. Let c be o(7). Suppose -3*d = 2*j + 2*j - 30, 5*d - c = 2*j. Is -3*(-2)/(4/d) a composite number?
True
Let g(o) = o**2 + 5*o - 8. Let b be g(-9). Suppose -5*j - b + 1163 = 0. Suppose -4*y = -5*n + 2*n - j, -4*n = -5*y + 285. Is y a prime number?
True
Is 2 + 1 - (-2320)/5 a prime number?
True
Let z = 9 + -4. Let h = z - 6. Is h*((-2 - -2) + -203) composite?
True
Let h be 1*4/(16/(-12)). Is (2 + h)/((-3)/561) a prime number?
False
Suppose -2*w + 29 = 9. Is (8/w)/((-4)/(-10)) composite?
False
Suppose 39774 = -18*j + 24*j. Is j a prime number?
False
Let s(a) = -a + 4. Let g be s(7). Is (-3 - (g + 3)) + 77 a prime number?
False
Let g = 283 + -134. Is g prime?
True
Suppose -p = -8*v + 11*v - 833, 0 = 3*v - 12. Is p composite?
False
Suppose 0*m + 24 = 4*m. Let r = 7 + m. Is r a composite number?
False
Let k(b) = -28*b + 87. Is k(-35) a composite number?
True
Suppose 3*c - 621 = 4*j, -3*j - 267 - 146 = -2*c. Is c a composite number?
False
Is (-3)/6 - 138/(-4) a prime number?
False
Suppose -5*j - 108 = -j. Let l = j + 74. Is l prime?
True
Let y(w) = 15*w**2 + 2*w. Is y(3) a composite number?
True
Let r = 370 + 7. Is r composite?
True
Let r(b) = 2*b**2 - 7*b - 24. Is r(13) a prime number?
True
Let q be 130/14 - (-4)/(-14). Suppose s - 74 = -q. Is s prime?
False
Let z be (-3)/9 + 2552/(-3). Let n = z - -1294. Is n prime?
True
Suppose 0 = -0*x + x. Suppose x = 4*n - 236 - 80. Is n composite?
False
Suppose -2*u = -3 - 59. Is u composite?
False
Is ((-124)/12)/(4/(-12)) prime?
True
Let k = 8 + -4. Suppose p - 481 - 52 = -5*v, -v - k*p + 118 = 0. Is v a prime number?
False
Let f be 2/4 + 30/4. Let g(d) be the second derivative of d**3 - 5*d**2/2 + 10*d. Is g(f) prime?
True
Let o(i) = 2*i**3 + 5*i**2 - i + 1. Let u(j) = -j**2 - 7*j - 6. Let s be u(-5). Is o(s) a prime number?
False
Suppose 0 = 3*j + 7826 - 25955. Is j prime?
True
Let n(b) = 10*b**2 + 2*b + 1. Let q be n(7). Suppose -4*z + 0*z = 3*t - q, -493 = -3*t - z. Is t a composite number?
False
Let p(o) = -o**2 + 8*o - 7. Let j be p(6). Suppose -j*h = -2 - 8. Is 1/h*(62 + 0) prime?
True
Let i(y) = y**3 - 4*y + 5. Let k be i(5). Suppose -m - 15 = -k. Is m composite?
True
Suppose 2*o + 2 = 6. Let w = o - -12. Is w prime?
False
Let u = -393 + 619. Is u composite?
True
Let u(z) be the second derivative of 101*z**4/6 + z**3/6 - z. Is u(1) a prime number?
False
Is 5/10 - (-1746)/4 a prime number?
False
Let i(n) = 8*n - 1. Is i(10) composite?
False
Let x = -7 - -10. Let k(z) = -4*z**2 - 2*z**2 + 2*z**2 - 2 - x*z - 4*z**3. Is k(-3) a composite number?
False
Let y = 14 + -6. Let v be (8 - 6) + 1*2. Let b = y - v. Is b a composite number?
True
Let h be (5 + -9)*(-2)/4. Suppose -90 = -k + d, h*k + k - d - 264 = 0. Is k a prime number?
False
Is 262/((1 + -3)/(-1)) composite?
False
Let z be ((-42)/(-9))/(1/3). Let y = 21 + z. Is y a composite number?
True
Suppose 0*n - 2*n = -4*y + 16, 5*n = -3*y + 25. Suppose n*u - 30 - 36 = -2*j, j - 5*u = 33. Is j a prime number?
False
Let r be 0 - (2 + -2 - -2). Let j(u) = -8*u + 1. Let k be j(2). Is (-3)/r*(-370)/k a prime number?
True
Let q = -2054 + 4127. Is q a prime number?
False
Let k(q) = q + 9 - 2 + 2*q**2 - 3*q - 5*q. Is k(6) a prime number?
True
Let u be (28 - -2)/3 - 1. Let j(p) = 5*p + 2*p - 6*p. Is j(u) a composite number?
True
Let u = -409 + 854. Is u a composite number?
True
Let t = -2 + -7. Is 6/t*(-489)/2 composite?
False
Let s be 3/(-2)*16/(-24). Is (-1040)/(-13) - (0 + s) composite?
False
Let j = -973 + 1762. Is j prime?
False
Suppose -r = -5*y + 17 + 7, -y = 5*r + 68. Let u = 24 + r. Is u a composite number?
True
Let r(w) = 7*w**2 + w - 2. Let f be r(-2). Let g = f - -58. Is g a prime number?
False
Let y(g) = g**2 - 4*g + 6. Let k be y(4). Let x(f) = -5*f - 7 + k*f + 18. Is x(0) prime?
True
Suppose 0 = 5*g + 5 - 0. Let y = g - -212. Is y prime?
True
Let a(v) = 1758*v**2 + 6*v - 5. Is a(1) a composite number?
False
Suppose -4*l + 92 + 324 = 0. Let x = l + 35. Is x composite?
False
Let u = 105 - 152. Let n be 18/(u/48 - -1). Suppose 59 = -5*i + n. Is i a prime number?
False
Let w(o) = o + 21. Is w(-7) prime?
False
Let r(z) be the third derivative of z**6/120 - z**5/12 + 7*z**4/24 - 2*z**3/3 - 5*z**2. Is r(5) prime?
True
Let h(n) = 2*n**2 + 1. Let y be h(7). Let l = 231 - y. Suppose -3*x + 4*v + 153 = 0, 3*v = -2*x - x + l. Is x composite?
False
Let b(i) = -2*i + 187. Is b(0) prime?
False
Suppose 2*a = -3*v + 5713, -4*a - v + 14723 = 3282. Is a composite?
False
Let x(j) = j**3 - 8*j**2 + 12*j - 7. Is x(12) prime?
False
Suppose b = 5 - 3. Suppose 0 = b*t - 3*v + 342, v - 342 = 6*t - 4*t. Let w = -118 - t. Is w composite?
False
Let a(i) = -i + 1. Let s(h) = 92*h + 3. Let n(v) = -4*a(v) + s(v). Is n(2) prime?
True
Let l(d) = -d**3 + 10*d**2 - 7*d + 1. Let v be l(11). Let b = 430 + v. Is b prime?
True
Let q(x) = -14*x - 21. Let a(k) = 1. Let t(u) = 5*u + 10. Let g(y) = -3*a(y) + t(y). Let b(i) = -7*g(i) - 2*q(i). Is b(-8) a composite number?
True
Let g(b) = -b + 8. Let k be g(6). Suppose -k*m + 23 + 27 = 0. Suppose 0*w + m = 2*n + 5*w, -3*n = -5*w - 25. Is n composite?
True
Let f(o) = 2*o**3 + 13*o**2 + 6*o - 40. Is f(13) a prime number?
False
Let q(c) = 207*c**2 - 3*c + 4. Is q(-2) composite?
True
Suppose -4*y - 8 - 4 = 0. Let j be (-1 + 1)*y/(-6). Let v(q) = -q**3 + q**2 - q + 113. Is v(j) a composite number?
False
Suppose -2*h - 3*o = -10 + 3, 14 = 2*h - 4*o. Suppose -h - 10 = -5*i. Suppose -5*n = -2*g - 99, -i*n - g + 108 = 2*n. Is n composite?
True
Let i = 172 - 293. Let u(p) = 54*p - 4. Let g be u(5). Let b = g + i. Is b composite?
True
Let k be 16/3 + (-2)/6. Suppose 38 = o - k*u, 3*o - 2*u + u = 156. Is o a composite number?
False
Suppose -4*d + 12 = w, 3*w = 5*d - w + 6. Let z be (d + -4)/(2/3). Let i(a) = -5*a - 2. Is i(z) prime?
True
Let m(r) = 60*r + 5. Is m(6) a prime number?
False
Suppose -2*d - 3*o = -679, -2*d + 3*d - 2*o = 357. Is d a prime number?
True
Is (((-72)/(-4))/6)/((-6)/(-1934)) prime?
True
Let s = -36 + 139. Let j = s + -74. Suppose 2*f - 41 = j. Is f composite?