-1)/(-4) - 507/w a prime number?
True
Let h = 11 + -3. Suppose -o + 6 = -2*j + 1, j - h = -o. Is o a prime number?
True
Suppose -2*a = -0*a - 268. Is a a composite number?
True
Let s = 3 + 1. Suppose -s*i - 63 = -339. Is i a composite number?
True
Suppose -14 - 38 = -t. Is (4 - 2) + t - 1 prime?
True
Suppose 3*z + 60 = -0*z. Let j be z/(-6)*(-84)/35. Is 3 - (2 - 1) - j a composite number?
True
Let b = 5 + -5. Suppose b = -2*l + 3*l - 2*n - 421, -n + 857 = 2*l. Is l a composite number?
True
Let d be (-7)/(-2) + 1/2. Let l(q) = 26*q - 1. Let b be l(d). Let v = b + -69. Is v a composite number?
True
Let u(a) = -8*a - 10. Let o be u(-7). Suppose 0 = m + 2*w - 34, -m + w = -3*w - o. Suppose 0*y + 2*y - m = 0. Is y prime?
True
Let o = 1390 - 803. Is o composite?
False
Suppose -5*a - 1 = 3*d, 0*a = -4*a - 5*d + 7. Is a*(-2)/(-4)*-58 composite?
True
Suppose -2*n - 3*n + 80 = 0. Suppose 0 = -3*a + n + 77. Is a prime?
True
Let a(k) = -2*k**2 - 2*k + 2. Let u be a(-2). Let w(q) be the first derivative of 3*q**3 + 3*q**2/2 + q + 1. Is w(u) prime?
True
Suppose 0 = 4*j - 0*j - 12. Suppose 0 = -j*d - 5*f + 486, -d = -0*d - f - 154. Is d prime?
True
Suppose 0 = 8*t - 9*t + 3. Suppose -7 = -t*w + 62. Is w prime?
True
Let l(k) be the second derivative of k**5/20 - 5*k**4/6 + k**3 - 3*k**2/2 - 2*k. Is l(10) a composite number?
True
Suppose -34 = -c + 6*c + 2*t, 4*c + t = -26. Let o(m) = -m**3 - 4*m**2 + 2*m + 9. Is o(c) prime?
False
Let g be -1 + -1 + 12/3. Suppose 3*a - 34 = g*a. Suppose -26 - a = -4*v. Is v a composite number?
True
Suppose -6*l + 3*l + 5 = 5*i, 3*i - 3*l = 27. Suppose i*r - 68 = 2*r. Is r a composite number?
True
Let r(a) = a**2 + 5*a + 4. Let g be r(-5). Let i be g/14 + (-57)/(-21). Suppose -2*h = -3 - i. Is h composite?
False
Let c(q) = 4*q**3 - q**2. Let r be c(1). Let j(b) = 107*b**2 - 3*b - 1. Is j(r) composite?
False
Let f be ((-15)/(-6))/(1/(-2)). Is 1522/12 - f/30 a composite number?
False
Let f(z) = 171*z + 14. Is f(7) a composite number?
True
Let s be (10/25)/((-2)/(-20)). Suppose 5*b = -7*g + s*g - 12, -2*g - 6 = 4*b. Is 210/g*-3 - 1 prime?
False
Let g = 341 + 546. Is g composite?
False
Let u = -22 - -12. Suppose -33*i + 30*i + 60 = 0. Is (-508)/u + 4/i prime?
False
Suppose -46*l = -44*l + 10. Let g(o) = 5*o - o**2 + 2*o**3 - 1 - 3*o**3 + 0*o. Is g(l) composite?
True
Let m be 3/(-18) - 19/(-6). Suppose -5*x + m = -2. Is 4/x*(-26)/(-8) a composite number?
False
Suppose 0*g + 2*g = 1712. Let a = g + -609. Is a a composite number?
True
Let x be -10 + 1 + 1 + 0. Is (-5)/((-20)/x) + 117 prime?
False
Let t(g) = -g**3 - 6*g**2 + g - 3. Let x be t(-6). Let r(o) = o**3 + 11*o**2 + 9*o - 3. Let z be r(x). Suppose 2*s + 0*s = z. Is s a prime number?
False
Suppose 0*j = -3*j + 2211. Is j composite?
True
Suppose 2*j = b + 3*b - 252, -57 = -b + 2*j. Is b a composite number?
True
Let v = 3 + 2. Let j be (-5 - -5) + -2 + 2. Suppose j = v*h - 111 - 14. Is h prime?
False
Suppose i - 3*i + 68 = 0. Is i composite?
True
Let m(n) = 7*n + 6 - 3*n - 4. Is m(3) a composite number?
True
Let j = -97 + 665. Let q = 890 - j. Suppose 0*y = 2*y - q. Is y a prime number?
False
Let b = 1 - -622. Is b prime?
False
Let t = -37 - -228. Is t a prime number?
True
Let z = -8 - -27. Let m = 0 + z. Is m composite?
False
Let d(l) = -9*l + 6. Let b(n) = -n + 1. Suppose 3*v + 2*k = 9, 0*v + 4*k = v - 17. Let o(s) = v*d(s) - 35*b(s). Is o(-4) prime?
False
Suppose -4*y = -b - 11 - 3, 13 = y - 5*b. Suppose -4*r + 3*j + 918 = 160, -y*r + 563 = -5*j. Let v = r - 114. Is v composite?
True
Let h = 71 + 88. Suppose -2*c = -h - 103. Is c a prime number?
True
Let y be (-20)/(-5)*9/2. Let u be (1 + 1)*y/12. Suppose -u*g = -223 - 224. Is g prime?
True
Let z be (-4)/(-6) + (-76)/(-12). Let g = z + 108. Is g composite?
True
Let k = -328 + 750. Is k composite?
True
Let a(x) = 138*x - 7. Is a(3) a composite number?
True
Let x(d) = 73*d + 31. Is x(12) composite?
False
Let b = 1494 + -973. Is b a composite number?
False
Let o = 11 + -8. Suppose 0 = 3*d + o*c - 519, 0*d = -d - 5*c + 165. Suppose 2*j + 3*j - d = 0. Is j a prime number?
False
Is (-1316)/(-16) - -5 - 1/4 a prime number?
False
Suppose 39 = 5*j + 3*b, 3*b - 12 = -b. Let y = 10 - j. Suppose 0 = -i + 5*u + 52, 0*u = y*u - 20. Is i composite?
True
Let l = -2749 - -3954. Is l a composite number?
True
Let g(f) = -f**3 - 3*f**2 - 3*f + 1. Suppose 28 = 3*k + 5*q, 11 = -3*k - 4*q + 40. Suppose 0 = 4*c + 2*m + 8, 2*c - 4*m + k = c. Is g(c) a composite number?
True
Suppose -5*w - 5*i = -0*w + 20, -4*w + 4 = -i. Let r be w + -2 + 0 + 38. Suppose -2*t = 3*o - 109, 4*t - r = -2*o + 34. Is o composite?
False
Suppose -7*i + 11868 + 7655 = 0. Is i prime?
True
Let y(w) = 2*w**2 - 11*w - 10. Is y(11) a prime number?
False
Let u = 4 + -2. Suppose -2*o + 1568 = u*o. Suppose -x - o = -5*n - 0*x, 0 = -3*n + 5*x + 222. Is n a composite number?
False
Suppose -4*d + 9 = -79. Suppose y - 2*y + i = -38, -i - 167 = -4*y. Let n = d + y. Is n prime?
False
Suppose 0 = b + 3 - 0. Let z(j) = j**3 + 5*j**2 + 4*j + 1. Is z(b) composite?
False
Suppose 0 = i + 5*x - 1884 + 596, 4*i + 5*x = 5227. Is i prime?
False
Let o(j) = 3*j - 49. Let b(a) = -4*a + 48. Let m(v) = -4*b(v) - 5*o(v). Is m(0) a composite number?
False
Let f be 3 + (5 - 2) + -1. Suppose 4*l - 179 = -t, -5*t + t + f*l + 758 = 0. Is t composite?
True
Let t = 353 - -26. Is t a composite number?
False
Suppose -4*v + 4244 = -8*v. Let i = -720 - v. Suppose 5*u + 4*d - 425 = -0*u, 4*u + 3*d = i. Is u prime?
True
Let h(m) = -109*m + 12. Is h(-5) a prime number?
True
Let g(s) = 2*s - 11. Suppose -2*b + 3*b = 9. Let n be g(b). Suppose -2*i + n = -231. Is i prime?
False
Let c(s) = 14*s + 1. Let n(u) = -15*u - 1. Let t(b) = -4*c(b) - 3*n(b). Is t(-2) prime?
False
Let d be ((-81)/6)/((-3)/6). Let a = 32 + d. Is a a composite number?
False
Let k = -15 + 6. Is 3/(-9) + (-192)/k a prime number?
False
Let c(g) = -6*g**2 - g + 28*g**2 - 2*g + 4. Suppose x = 3*x - 3*r + 3, -2*r - 14 = 4*x. Is c(x) a prime number?
True
Let w(t) = t**3 - 5*t**2 + t + 5*t**2 + 1 - 3*t**2 - 2. Is w(4) composite?
False
Let g = 137 + 450. Is g a prime number?
True
Suppose -272 + 10 = -y. Suppose y + 153 = 5*g. Is g a composite number?
False
Let k = 44 + -30. Let l = -9 + k. Suppose -l*s + s - o = -135, -3*s - 4*o = -85. Is s prime?
False
Let q be (-40)/(-8)*(41 - -1). Suppose 298 = 4*w - q. Is w composite?
False
Let d(t) = 2*t**3 - 15*t**2 + 4*t - 7. Let b be d(10). Suppose -b - 471 = -4*v. Is v a composite number?
False
Is 8187/4 - (4 + (-34)/8) composite?
True
Let v = -6 - 0. Let a be v*2*4/(-6). Let m(k) = 16*k - 1. Is m(a) composite?
False
Let n(s) = 34*s - 3. Let f = -9 - -13. Is n(f) prime?
False
Suppose -17*k + 833 = -10*k. Is k prime?
False
Suppose -2*j + l + 672 = 0, j - 97 = 3*l + 244. Is j composite?
True
Suppose 4*h - 12 = 5*h. Let q = h + 17. Suppose q*s - 211 = 4*s. Is s composite?
False
Let x = -75 - -7. Let q = x - -189. Is q a composite number?
True
Suppose 10*j - 5*j - 30 = 0. Suppose 2*k = j*k - 16. Suppose k*n + n - 245 = 0. Is n a composite number?
True
Let t be 5/((-10)/172) + -2. Let b = t - -165. Is b a prime number?
False
Suppose 4*k + 5*q = 1075, 5*q - 632 = -3*k + 178. Is k prime?
False
Let v = -8 + 10. Suppose 0 = r + v*m - 51, -4*r + m + 96 = -117. Is r a composite number?
False
Suppose -8*k + 3*k = -430. Suppose -g + k = -41. Is g prime?
True
Suppose -2*u + 1 = -u. Is (-363)/12*(-3 - u) composite?
True
Let q be ((-4)/(-5))/(1/(-60)). Is 6/(q/(-22) + -2) a composite number?
True
Let q(f) = 2*f**2 + 4*f - 1. Suppose 0 = -x - x - 16. Is q(x) a composite number?
True
Suppose 441 + 34 = 5*j. Is j*(-1 - (4 - 6)) a composite number?
True
Let x(c) = 4*c**2 + 2*c - 1. Is x(-10) a prime number?
True
Let f(d) = 3*d + 7. Let l be f(-5). Let m(x) = 3 + 9*x**2 + 3*x**3 + 8*x - 2*x**3 + 4. Is m(l) a composite number?
False
Suppose 117 = 8*u - 155. Is u prime?
False
Suppose 3*n - 5 = r, -3*r - 5*n - 5 = -8*r. Suppose -5*x - 6 = l, 0*x - 3*x - 45 = -4*l. Suppose r*a = l + 15. Is a a prime number?
False
Let n = 517 + -188. Is n a composite number?
True
Let o(n) = n**2 - 5*n - 7. Is o(14) a prime number?
False
Let v be -76*(-2)/((-24)/(-9)). Suppose v = -3*o + 306. Is o a composite number?
False
Suppose 0 = 5*s - 175 - 370. Let x