prime number?
True
Suppose -3*b - 15 = 0, b + 37 = -i + 325. Is i a prime number?
True
Suppose 358 = 3*u + 2*m - 87, 2*m - 735 = -5*u. Let f = u - 48. Is f composite?
False
Let v = -560 - -787. Suppose 0*k + k - v = -4*x, 2*x - 671 = -3*k. Is k prime?
True
Suppose 74 + 355 = -3*d. Let v = -13 - -11. Is d*v*3/6 prime?
False
Suppose -24588 = -21*i + 77493. Is i prime?
True
Let d be 57/12 - (-2)/8. Suppose d*h + 91 = -24. Let x = h - -82. Is x prime?
True
Let v = -28 + 95. Is v a composite number?
False
Suppose 0 = -3*c + 56 + 22. Is c prime?
False
Let a = -74 - 2241. Is (-2)/9 + a/(-9) a composite number?
False
Let f = 122 + -33. Is f prime?
True
Suppose -5*n - 418 = -2*s, n = 4*s + 2*n - 792. Is s a prime number?
True
Let r(q) be the first derivative of -q**2/2 - 3*q + 2. Let y be r(-6). Suppose 0 = -y*z + 127 + 20. Is z prime?
False
Let l be (-3)/(9/6)*-2. Let y = -2 + l. Suppose 2*s + k = 470, -y*k + 6*k + 683 = 3*s. Is s composite?
False
Let w be 2/(-3 - -2)*-1. Is (-24795)/30*w/(-3) a prime number?
False
Let d = -364 + 657. Is d composite?
False
Let u(l) = -l**2 - 15. Let s be u(0). Let a be 0*(s/(-6))/(-5). Suppose -6*z + z + 395 = a. Is z composite?
False
Suppose 3*u + 2*k = 107, 5*k - 1 = 4. Is u prime?
False
Let c(v) = 11*v + 3. Let g be c(9). Let m = g - 47. Is m composite?
True
Suppose 0 = -0*g + g - l, 5 = l. Suppose -3*j + 105 = -5*r + g, -4*j - 2*r + 142 = 0. Is j a composite number?
True
Let o = -2 + 129. Is o prime?
True
Suppose -r + 13 = -3*m, 0*r - 4*m + 6 = 2*r. Suppose -1 - r = 4*z. Let t(x) = -x**3 - x**2 - 2*x - 1. Is t(z) a composite number?
False
Let n(v) = -87*v - 2. Let i(a) = 42542*a + 979. Let z(t) = -t**3 - 2*t**2 - 10*t + 2. Let f be z(9). Let w(q) = f*n(q) - 2*i(q). Is w(1) prime?
True
Suppose -2*i + c + 0*c + 3 = 0, 3*c = 3. Let v = -107 + 232. Suppose v = 3*p + i*p. Is p a prime number?
False
Let b = -4 - -3. Is 89 + b/(-2)*0 prime?
True
Let q(p) = p**2 + 2*p - 5. Is q(-6) a composite number?
False
Let l(p) = 17*p**3 - 3*p**2 + 2*p + 1. Is l(4) composite?
False
Suppose -3*p = 4*d - 430, -4*d = -5*p - d + 707. Let t = p - 75. Is t a prime number?
True
Suppose -3*j - 185 = -8*j. Is j composite?
False
Let s(x) = 70*x - 25. Is s(11) a composite number?
True
Let u(b) = -b**2 + 7*b - 6. Let t be u(6). Suppose t = -2*k + 189 - 3. Is k a composite number?
True
Let d(c) = c + 1. Let t be d(-7). Let r be 4/(-6) - 10/t. Is 2 - (-50 - (r - 0)) a composite number?
False
Suppose -3*u + 5 = -7. Suppose -3*c - 2*c = -4*w + 178, u*w - 192 = -2*c. Is w composite?
False
Suppose 18 = -i + 2*i. Suppose -213 = -5*f - 18. Let w = f - i. Is w prime?
False
Let y(d) = -12*d - 23. Is y(-10) a composite number?
False
Suppose k = 9*k - 2328. Is k composite?
True
Suppose -8*t = -5*t - 21. Let x(o) = 14*o - 9. Is x(t) composite?
False
Let s be ((-54)/(-8))/((-24)/(-1984)). Suppose 0*w = 3*w - i - s, -197 = -w + 4*i. Is w a prime number?
False
Let t = -11 + 7. Suppose 2*b = -g + 5 + 9, -4*b - 4*g = -32. Let l = b - t. Is l prime?
False
Let u(r) = -4*r + 1. Let d(o) = o. Let y(a) = -3*d(a) - u(a). Let t(x) = 2*x - 8. Let m be t(6). Is y(m) composite?
False
Let g be (4/6)/(2/2739). Suppose -3*c + 889 = 5*l, -3*c = 4*l - 5*l - g. Is c composite?
True
Let o(h) = 2*h - 10. Let q be o(7). Suppose 2*y = -5*x + q*y + 1857, 5*x - 1849 = 4*y. Is x prime?
True
Let x = 4001 + -648. Is x prime?
False
Let c = 619 - -1050. Is c prime?
True
Let c be 8/28 - 26/(-7). Let p be (-149)/(-3) + (-4)/6. Suppose p = -c*t + 5*t. Is t prime?
False
Let o = 7701 - 4558. Is o prime?
False
Let p be 1/(-2)*(-72)/(-4). Let g = 3 + p. Let z(b) = -b**2 - 9*b - 5. Is z(g) prime?
True
Let i(w) be the first derivative of -w**7/840 - w**6/72 + w**5/40 - w**4/8 - w**3/3 - 1. Let r(q) be the third derivative of i(q). Is r(-6) prime?
False
Suppose 0 = -2*h + 5*m - m + 20, 2*m - 90 = -4*h. Suppose u = h + 5. Is u composite?
True
Let k = -361 + 6216. Is k a composite number?
True
Let o(r) = -r. Let b be o(-2). Let k(l) = 0 - 27*l - b + 0. Is k(-3) prime?
True
Let l be 8/(-10)*(-30)/4. Let i = l + -5. Let j = i - -36. Is j a composite number?
False
Suppose 5*o + 12*o - 3043 = 0. Is o a prime number?
True
Suppose -3*r - 2*r = -1895. Is r prime?
True
Let q(y) = y**3 - 2*y**2 - 3. Let n be q(3). Let x(r) be the second derivative of 7*r**3/6 - 5*r**2/2 - 5*r. Is x(n) composite?
False
Let t(i) = -107*i - 6. Is t(-13) prime?
False
Suppose 2*x + 1201 = 6*w - 5*w, -3*w + x = -3608. Is w a composite number?
True
Let q(m) = 28*m - 15. Is q(14) prime?
False
Let v = 323 + -204. Is v prime?
False
Let u = -8 + 10. Suppose 3*h + 0*h = s + 14, 3*s + 56 = u*h. Let k = s - -54. Is k a composite number?
True
Let m be (-183)/(-2)*4/6. Suppose -23 = -4*f + m. Is f composite?
True
Let u = 9 - 8. Let q be 8/4 + (-225 - u). Let i = -79 - q. Is i prime?
False
Is (-4420)/(-7) - (55/(-35) - -2) composite?
False
Suppose -k + 29 = -2*w - 4, -3*w - 107 = -4*k. Is k composite?
False
Let u(x) = -18*x**3 + 2*x**2 + 2*x + 1. Let h be (0 - (3 - 1)) + 1. Is u(h) prime?
True
Let v(a) = -a**2 + a + 5. Let x be v(0). Suppose -y + x = 1. Suppose 0 = -2*k + k - s + 30, -y*s = -3*k + 97. Is k a prime number?
True
Suppose -5*y = 9*y - 518. Is y prime?
True
Suppose 0*z - 3*z = 57. Let x(d) = d - 12. Let v be x(7). Let i = v - z. Is i prime?
False
Let a(u) = 7*u**2 + 3*u + 4. Is a(-3) a prime number?
False
Suppose 2*q - 2*f + 312 = 6*q, -2*q - 5*f + 164 = 0. Let x = q + -54. Is x composite?
False
Let r = 3662 - 2291. Is r prime?
False
Suppose n = -n + 12. Is n a composite number?
True
Suppose 17514 = 11*z + 7*z. Is z a prime number?
False
Suppose -5761 = -3*r - 4*l, r - 2038 + 127 = l. Is r a prime number?
False
Suppose 4*x + 2*s = 3*x, -4*s = -3*x + 30. Let v be (-2 - 28/(-8))*-18. Is x/v - 1124/(-36) a prime number?
True
Let b(g) = -13*g**3 + 14*g**2 + 24*g - 3. Is b(-8) a prime number?
False
Suppose 0 = 207*k - 202*k - 26315. Is k composite?
True
Is (1335/(-6))/((-7)/14) a composite number?
True
Suppose -2*a - 618 = -5*a. Is a prime?
False
Suppose -x + 8 = 2*c + 1, 0 = -5*x + 5*c + 5. Suppose 8*a - 10 = x*a. Suppose z = 2*g - 105, a*z - 108 = -2*g - 0*z. Is g prime?
True
Let c be 2/4 + (-708)/(-8). Suppose 2*h - c = -33. Suppose -k - k = -h. Is k a composite number?
True
Let h = -6 + 6. Suppose 5*a + 3*n = -h*n + 320, a - 3*n = 46. Let f = a - 40. Is f a composite number?
True
Let h(b) = -b**2 - 13*b - 11. Let p(w) = -w. Let d be p(10). Is h(d) a composite number?
False
Let a(p) = 23*p - 9. Let f be a(7). Is (-4)/18 + f/36 prime?
False
Let j(h) = 6*h**3 - 2*h**2 + 4*h + 5. Is j(4) composite?
False
Suppose -875 = 3*o - 4*o. Suppose -2*l + o = 57. Is l prime?
True
Suppose -2*d = -2*c - 166, -d - 5*c = 65 - 172. Is d composite?
True
Suppose -48 = l - 5*l. Let w = 14 + -5. Suppose w + l = v. Is v composite?
True
Suppose -2*r - 3 = -r + 5*c, 25 = -5*c. Suppose 4*u - r - 14 = 0. Let a = u - 6. Is a prime?
True
Let v(u) = -u**2 + u - 4. Let w be v(0). Is (4/w - 1) + 219 composite?
True
Let r(s) = 6*s - 1. Let g(o) = -7*o + 1. Let w(c) = 5*g(c) + 6*r(c). Let q be w(5). Suppose -306 = -4*a + 2*h, q*a + 2*h - 166 = 160. Is a composite?
False
Suppose 4*g - 5*d + 576 = 0, 2*d - 3*d = 0. Let l = -13 - g. Is l a composite number?
False
Let s(c) = -18*c + 4. Let p be s(-5). Suppose -5*q + 4*g = -125 + 6, p = 4*q - 2*g. Is q composite?
False
Let l = 617 - 439. Is l composite?
True
Suppose -2*b + b = 0. Suppose y + 1 + b = i, y - 2*i = 0. Is y/5 + (-291)/(-15) a prime number?
True
Let r(z) = -z**2 + 8*z - 4. Let w be r(7). Is 53 + 1 + (2 - w) composite?
False
Let x(p) = 971*p**2 + 2*p + 1. Let n be x(-1). Let m = n + -683. Is m prime?
False
Is 4/(-24) + (-6335)/(-30) composite?
False
Suppose -327 = -o + 95. Is o composite?
True
Let h(a) = -12*a. Let x be h(-1). Suppose 4*f + 0 = -x. Let o(d) = -5*d**3 + 4. Is o(f) prime?
True
Let b be (2/(-3))/(4/(-6)). Let y be (b - -6 - 2) + 0. Suppose -3*q + y*z + 9 = -131, -3*q + 2*z = -155. Is q prime?
False
Let f(t) = -3*t**3 + 8*t**2 + 4*t + 13. Let b(l) = -l**3 + l**2 - l + 1. Let d(a) = 4*b(a) - f(a). Let r be d(-6). Is ((-3)/(-9))/(1/r) a composite number?
False
Let j(n) = -n**3 + 4*n**2 + 5*n - 4. Suppose -m + 2*x = -5*m + 18, -21 = -m + 5*x. Let c be j(m). Is (c/(-4))/((-4)/(-8)) composite?
False