composite number?
False
Is (5 - 3) + 2890 - 2/(-2) prime?
False
Is (1 + 0)*((-4)/2 + 1119) a composite number?
False
Suppose 5*y + 5*c - 40 = 0, 3*y - 28 = -0*y - 5*c. Is y composite?
True
Is 12 - 9 - (-139 + 1) prime?
False
Suppose -x + 434 = -c + 4*c, x + 4*c = 429. Is x prime?
True
Let m(x) = -516*x + 25. Is m(-15) prime?
False
Let w = -882 - -2591. Is w a composite number?
False
Let h = -29 + 42. Is h prime?
True
Is 4724/3 - (-1)/(6/(-4)) prime?
False
Is ((-2)/(-1))/((-14)/(-77)) a composite number?
False
Suppose 8*x - 4*x + 188 = 0. Let s = -22 - x. Is s a composite number?
True
Suppose 3 = -q + 11. Suppose -3*t = -q*t + 360. Suppose -2*j = -22 - t. Is j a prime number?
True
Suppose -2871 - 694 = -5*a. Is a a prime number?
False
Suppose 3*w - 4*x - 159 = -0*w, -w + 61 = -4*x. Suppose -4*q = 5*m - 33 - w, 3*m = 4*q - 98. Is q prime?
True
Suppose g + 3*s = 5, 4*g + 0*s - 20 = s. Is 2/(-1) + g + 36 a prime number?
False
Let m(u) = -1 - 6*u + 5*u**3 - 6*u**3 + 13*u + 5*u**2. Is m(5) a prime number?
False
Let p(v) = -v**3 - 6*v**2 - 5*v - 2. Let u be p(-5). Is 4/(-8)*u - -96 a composite number?
False
Let z(f) = -15*f - 14 - 20*f + 14*f. Is z(-7) a prime number?
False
Let h be ((-290)/25)/((-1)/(-10)). Let p = 33 - h. Is p a composite number?
False
Suppose 4*g - 1070 - 254 = 0. Suppose -141 = -4*m + g. Is m a composite number?
True
Let g(n) be the third derivative of -n**5/60 + 5*n**4/24 - 2*n**3/3 + n**2. Let s be g(4). Suppose 5*u + s*h = 3*h + 122, 4*h = 4. Is u prime?
False
Suppose -3*m = -7*m + 4. Is (-6)/m*10/(-6) a composite number?
True
Is (4/(-6))/((-2)/2307) prime?
True
Let w(b) be the third derivative of 23*b**8/10080 + b**6/720 - b**5/20 - 3*b**2. Let f(s) be the third derivative of w(s). Is f(-1) prime?
True
Let v = -40 + -16. Is v/(-1) + (-3 - -6) composite?
False
Suppose 0 = 8*v - 796 - 76. Is v prime?
True
Let t be 1/4 - (-4377)/12. Suppose 2*r - 231 = c, 19 - t = -3*r + c. Is r a prime number?
False
Let p = -3 - -5. Suppose -11 + p = -3*h. Is h prime?
True
Suppose 4*p + 2254 = 8*p - 2*s, -5*p - 3*s = -2801. Is p a composite number?
True
Let q(z) = 4*z**2 + z. Let b be q(-1). Suppose b*o + 2*f + 0*f - 163 = 0, -3*o + 170 = -5*f. Is o prime?
False
Suppose 134 = -3*h + 887. Is h prime?
True
Let b(l) = -3*l**3 - 3*l**2 - l + 2. Is b(-3) prime?
True
Suppose -92 = 2*s - 538. Is s composite?
False
Let h(c) = 23*c**2 - c - 2. Let l be h(-2). Let s be -5 + (2*-1)/1. Let b = s + l. Is b prime?
False
Suppose 3*n - 5407 = -4*c, c + 1 = 2. Is n prime?
True
Suppose 165 = s + 2*j, -5*j + 0*j = -5. Is s a composite number?
False
Let s = 1649 - 534. Is s prime?
False
Let u(s) = -57*s + 8. Let y be u(-4). Suppose -4*m = -760 - y. Is m prime?
False
Let j = 15 + -7. Is ((-20)/j)/((-3)/174) prime?
False
Suppose 6676 = -2*f + 6*f. Is f a composite number?
False
Let q = -5 + 9. Suppose 9 = -2*k + 3*f + 1, 2*f = q*k + 16. Is ((-9)/k)/(9/24) a prime number?
False
Let m(i) = -34*i - 10. Let v(c) = c + 1. Let g(u) = 20*u + 8. Let p(z) = g(z) - 3*v(z). Let r(l) = -4*m(l) - 9*p(l). Is r(-6) a prime number?
True
Let r(q) be the first derivative of -q**3 - 2 + 1/2*q**4 + 1/2*q**2 + 5*q. Is r(4) a composite number?
False
Suppose 0 = -0*i - 5*i + 25, 3*g - 870 = 3*i. Suppose -q - v + g = 0, -4*q + 5*v = q - 1435. Is q composite?
True
Let s(y) = 43*y + 33. Let k(q) = -65*q - 50. Let n(z) = -5*k(z) - 7*s(z). Is n(13) composite?
False
Let t(a) = -a**3 + 5*a**2 + 6*a + 6. Let f be t(6). Suppose -i = -f*i + 15. Suppose 2*n = -2*b + 16, -n + 2*b + 62 = i*n. Is n prime?
True
Let u be 4/(-3 + (-3435)/(-1146)). Is 1/(4*(-2)/u) a composite number?
False
Let n(w) = w**2 - w - 4. Let x be n(3). Let o(g) = -8*g + 0*g**2 - 1 + 2*g - g**2 + 3*g**x. Is o(5) a prime number?
True
Let z = -1201 - -2444. Is z composite?
True
Let t = 83 - -120. Is t composite?
True
Suppose 3*b + 4*b + 217 = 0. Let s be ((-6)/(-3))/(1/24). Let h = s - b. Is h a prime number?
True
Is 3 - (-19)/((-76)/(-840)) a prime number?
False
Let t(o) = 18*o**2 - 3. Is t(-3) a prime number?
False
Suppose 4*x = 2*c - 6, -5*c - 8 + 51 = 4*x. Let g(m) = m**2 + 3*m - 5. Is g(c) a prime number?
False
Suppose 0 = -5*g + 234 + 401. Is g prime?
True
Let q(c) be the first derivative of 5*c**2 - 3*c - 2. Is q(4) a prime number?
True
Suppose -186 = -2*n - 4*m + 3*m, 3*n + m - 281 = 0. Is n a composite number?
True
Suppose 3 = 4*m - 1. Let h = 4 - m. Is h a composite number?
False
Suppose 0 = -3*n + 2*n + 1361. Is n a prime number?
True
Suppose -174 = -2*j - 0*j. Is j a composite number?
True
Let z(a) = 60*a**2 + a - 2. Let w be z(-4). Let q = -653 + w. Suppose -m + q = h + m, h - 3*m = 281. Is h a composite number?
False
Let g(a) be the second derivative of a**4/6 - a**3/3 + 3*a**2/2 - 2*a. Let i be g(5). Let f = i + -24. Is f prime?
True
Let d(g) = 32*g**2 + 5*g + 13. Is d(-4) prime?
False
Suppose 3*m + 275 = 5*w, -3*m = 2*w - 2*m - 110. Is w prime?
False
Let i = -381 - -560. Is i a composite number?
False
Let b(v) be the first derivative of 2*v**3/3 + 13*v**2/2 + 10*v - 1. Is b(-8) prime?
False
Let l(u) = u**3 + 20*u**2 - 7*u + 9. Is l(-20) composite?
False
Is 1097/3 + (-16)/(-12) a composite number?
False
Let q = 7 - 5. Suppose -5*v = -2*i - 4*v + 119, q*i - 3*v - 129 = 0. Is i composite?
True
Suppose 0 = 2*v - 4*v + 28. Is v composite?
True
Let o = -1 + 6. Suppose -d + o*d = 644. Is d a prime number?
False
Let h be 334/(-8) + 24/32. Let c(i) = i**3 - 7*i**2 + 5. Let r be c(7). Let d = r - h. Is d a composite number?
True
Let r(z) = 518*z**3 - 2*z**2 + 1. Is r(1) a prime number?
False
Let y(o) = -o**3 - 8*o**2 + o + 11. Let x be y(-8). Suppose -4*c = -9*c + 10, -x*a - 137 = 5*c. Let n = a - -102. Is n a prime number?
True
Let g = 8 - 4. Suppose 2*b - g*y = 7*b - 151, 156 = 5*b - y. Is b a prime number?
True
Suppose -2*i - 13*q + 1574 = -9*q, -q = -5*i + 3990. Is i prime?
True
Let o(z) = 2*z - 8*z - 9*z - 1. Suppose 31 = -3*g + 19. Is o(g) a prime number?
True
Is ((-2)/(-6))/(5/7575) composite?
True
Is -4*(-2)/(24/2049) a composite number?
False
Let i = -228 - -554. Suppose -i - 329 = -5*p. Is p composite?
False
Let i(d) = 24*d**2 - d + 2. Let r be i(-9). Suppose f - 6*f + r = 0. Suppose -5*v + 3*p = -f, -2*v + 5*p = v - 241. Is v a prime number?
False
Is 3*439*((-12)/(-6) - 1) composite?
True
Let n = -17 - -106. Is n a composite number?
False
Suppose 4*a - 801 = -3*k, -2*a + a - 2*k + 199 = 0. Is a prime?
False
Suppose -3*a + a + 637 = 5*b, -2*b + 259 = 5*a. Suppose -b = -l - 4*o, -5*l - 2*o = -826 + 191. Is l prime?
True
Suppose -7*n + 3*n + 212 = 0. Is n composite?
False
Let j = 72 + 71. Is j a prime number?
False
Let r = -1 - -5. Suppose 20 = 2*d + r*u, 5*d - 7 = u - 1. Suppose -69 = -d*y + y. Is y a prime number?
False
Let f = 0 - 1. Let n(r) = -20*r**3 + 2*r**2 + 2*r + 1. Is n(f) prime?
False
Let s(t) = -t**2 + 7*t - 1. Let k be s(6). Suppose 4*h = -5*c + 65, -3*h + k*c + 10 = -2*h. Is h a composite number?
True
Suppose -12 = -a + 2*i + i, i = 2*a - 9. Is 30*a*(-1)/(-6) prime?
False
Let s = 55 + 301. Suppose -2*k = -6*k + s. Is k prime?
True
Suppose -275 - 171 = -2*w. Is w a prime number?
True
Suppose h - 37 = 69. Suppose q = 3*q - h. Is q composite?
False
Let k be (0 + 5)*(-8)/(-5). Let n(g) = g**3 - 8*g**2 + 7*g - 1. Is n(k) a composite number?
True
Let x = -493 + 1080. Is x a prime number?
True
Suppose 2 - 10 = -2*d + 3*z, 5*z - 4 = -d. Let a be (-3)/5*10/(-2). Suppose a*b - 34 = b - 2*c, -c = d*b - 83. Is b composite?
True
Let m(u) = 258*u - 79. Is m(16) prime?
True
Let t(o) = -3*o**3 - 5*o**2 + 13*o + 6. Is t(-5) a composite number?
False
Let w be (4/10)/(4/40). Suppose 5*v = w*v + 35. Is v prime?
False
Let m = -192 + 120. Let d = m + -28. Let n = -23 - d. Is n composite?
True
Let j(v) = v**2 + 7*v - 2. Let h be j(-7). Let d = 19 - h. Is d a prime number?
False
Suppose 0 = 3*k - 8*k + 35. Is (3 + k)*141/6 composite?
True
Let d(r) = -183*r - 3. Let o be d(6). Let m = -772 - o. Is m composite?
True
Suppose -1 + 2 = j. Is (-1)/(j/((-1262)/2)) a prime number?
True
Let d be (1 - (2 + -2)) + 1. Suppose 2 = -3*u + 8, u - d = 4*c. Suppose -3*p - 5*q + 101 = c, 5*p - q = -4*q + 179. Is p prime?
True
Let k(v) = 5*v**2 + 3*v - 10. Let x be k(-8). Let q = x + -29. Is q a prime number?
True
Let k be (-1)/4 - (-17)/4. 