s a a composite number?
True
Suppose 1761 + 646 = 3*k + 5*b, -2*k + 3*b = -1611. Is k/8*2/3 composite?
False
Let j be (-2)/(-2)*2*1. Let f be (4/j)/((-4)/(-158)). Suppose 4*h - f - 253 = 0. Is h prime?
True
Let g = 34 - -51. Is g prime?
False
Suppose 0*o = -4*o - 24. Is 2020/3 - o/(-18) prime?
True
Let x(f) = -58*f - 1. Let m be x(-2). Suppose 3*k + k - 3*v - 7 = 0, -3*v = k - 13. Suppose 4*r = -2*a + 92, -m = -r - 4*r - k*a. Is r prime?
True
Is 5/10*(-1964)/(-2) composite?
False
Suppose -23*u - 37596 + 115543 = 0. Is u prime?
True
Let v(p) = -p - 3. Let d be v(-5). Suppose d*i + i + 54 = 0. Let z = i - -40. Is z composite?
True
Suppose 4377 = h + 2*h. Is h a composite number?
False
Is (-4)/(2 + 2)*-599 prime?
True
Suppose 5*j - 30 = m - 6*m, 2*j = -4*m + 18. Suppose j*t + 7*y - 2*y = -74, -5*y = 5. Is (t/(-3))/((-1)/(-3)) a prime number?
True
Let h(l) = -l**3 + 6*l**2 + l - 2. Let q be h(6). Suppose -2*u + 281 + 227 = -q*o, 4*u = -2*o - 254. Let r = -60 - o. Is r a composite number?
False
Let o = -89 - -340. Is o composite?
False
Suppose -3*s - 2*s - n + 4438 = 0, 3*s - 3*n - 2652 = 0. Is s composite?
False
Let a be (-3 + (2 - -5903))/2. Suppose 3*n - u - 3*u = a, -n + 982 = -3*u. Is n composite?
True
Let r be 6/(2 + (-1)/2). Suppose -r*p + d - 3 = -19, -12 = -3*p - 5*d. Suppose -3*w + 8*w - 1500 = -5*s, -2*w = p*s - 590. Is w a prime number?
False
Let j(o) = -3*o**3 + o**2 + 2*o + 1. Let d be j(-1). Suppose -d = 3*g - 6*g. Is g/4 + 150/8 a composite number?
False
Let k be (12/(-8))/(3/4). Let r = 10 + k. Suppose -45 + r = -u. Is u a prime number?
True
Is 31834/8 - 4/16 composite?
True
Suppose 0 = -2*j + 4*j - 4298. Is j a composite number?
True
Suppose -2*j = 17 - 39. Let s = 50 - j. Is s a composite number?
True
Let q be (0 - 1)*(18 + 0). Let b be (-2876)/q + 12/54. Suppose 3*t = -7 + b. Is t a composite number?
True
Let c(b) = -7*b - 4. Let d be c(3). Let g = d + 56. Is g a composite number?
False
Let w be ((-122)/(-6))/((-3)/(-9)). Let n(q) = q**2 - 3*q - 16. Let f be n(8). Let o = f + w. Is o prime?
False
Let c(f) = -f - 7. Let k be c(-9). Suppose 30 = a + 2*y + 3*y, -y - 16 = -k*a. Is (-47)/(-3) - a/15 composite?
True
Let w = 40 - 6. Is w composite?
True
Let g(s) = 3*s**3 - 6*s**2 + s - 39. Is g(10) a prime number?
True
Let k(y) = 6*y**3 + 4*y + 7. Is k(4) a composite number?
True
Let d(f) = f**3 - f**2 - 3*f - 3. Let t be d(6). Suppose 0 = -10*x + 7*x + t. Is x prime?
True
Suppose 4*f - 175 = 37. Is f composite?
False
Let m be 1/(-6)*-2*3. Let v(a) = 79*a. Is v(m) a prime number?
True
Let o = 7 + -5. Suppose -580 = -2*g - o*g. Is g composite?
True
Let y(s) = -128*s - 1. Is y(-6) prime?
False
Suppose -9*d = -14*d + 25. Suppose 0 = h - 0 - d. Suppose -h*s + 57 = -2*s. Is s prime?
True
Let y(w) = -w**2 - w + 1. Let u(j) = 4*j - 8. Let z(d) = -u(d) - y(d). Is z(7) a prime number?
False
Suppose -36 - 9 = 3*r. Let i = -9 - r. Suppose -2*c - 53 = -5*w, i = 2*w + c + 2*c. Is w composite?
True
Suppose 3194 = 4*g - 4410. Is g composite?
False
Let w(m) = -7*m**3 - 2*m + 1. Let g be w(1). Let x = g + 119. Is 14/(-21)*x/(-2) prime?
True
Suppose -t + 7 = 3. Suppose -5*r + t = -4*r. Is (-260)/30*(-6)/r a prime number?
True
Suppose -6*k = -4*k. Suppose -3*h = -k*h + 12. Is (4/6)/(h/(-222)) composite?
False
Let j = 3566 + -1719. Is j a prime number?
True
Let o = 1527 - -166. Is o composite?
False
Let u be ((-16)/(-40))/((-1)/(-10)). Is (28/(-16))/((-1)/u) a prime number?
True
Suppose 11 = 3*a + 5*o, 3 = -a + 3*o + 16. Is a composite?
False
Let a(b) = -b + 5. Let z be a(8). Let j(r) = 3*r**2 - 5*r**3 + r + 2*r - 2 - 2. Is j(z) a prime number?
True
Let a = -4 + 6. Suppose 2*z - a = z - 2*k, 4*z - 2*k = 8. Is z - 1/(2 - 3) a composite number?
False
Let p = -59 + 174. Is p composite?
True
Suppose -2*k - t + 1 = 0, -13 = k - 6*k + t. Is (k/6)/(2/1098) a composite number?
True
Suppose 0 = 21*d - 4*d - 12461. Is d prime?
True
Suppose -2*v + 3*u - u = -3420, 0 = 4*v + u - 6820. Is v a composite number?
True
Let y(c) = 7*c - 1. Let f be y(1). Let n be -3*4/f - -5. Suppose -2*a = -19 - n. Is a prime?
True
Let u = -121 - -172. Suppose -u = -2*a + 27. Is a a prime number?
False
Let i = -111 + 16. Let s = 48 - 30. Let w = s - i. Is w a composite number?
False
Suppose -1528 = -3*n + 5171. Let d = -1119 + n. Is 12/(-30) + d/10 prime?
False
Let q(l) = -l**2 - 2*l + l + 3*l**2 - 2*l + 5. Is q(-4) a prime number?
False
Let w(c) = 2*c**2 + 12*c - 1. Is w(-11) prime?
True
Is (-4 + 0)*(4421/(-4) + 1) a prime number?
False
Let c(w) = 717*w + 3. Is c(2) prime?
False
Suppose -5*a + 0*a - 5 = 0. Let o(f) = -143*f + 20. Let y(m) = 48*m - 7. Let l(x) = 6*o(x) + 17*y(x). Is l(a) prime?
True
Suppose -2*g = -5*n - 16, g - 4*g = -4*n - 24. Suppose 0 = 4*c - g, 3*c + c = 3*x + 17. Is 1*x*254/(-6) a prime number?
True
Suppose i + 5 = -3*m, 0 = 2*m - 2*i - 3 - 7. Suppose 5*b + 5*t - 1280 = m, b - 3*t - 738 = -2*b. Is b prime?
True
Let o(l) = 276*l**3 + 10*l**2 + 4*l - 10. Let d(t) = -184*t**3 - 7*t**2 - 3*t + 7. Let m(f) = -7*d(f) - 5*o(f). Suppose -3 = 5*c + 2. Is m(c) a prime number?
False
Suppose 26*o - 3844 = 22*o. Is o a prime number?
False
Suppose -80 = 5*d + 15. Let x = d - -38. Is x composite?
False
Let u be (12/8)/(1/2). Suppose -50 = -n - u. Let w = n + 68. Is w a composite number?
True
Is 5/(5/48) + 1 prime?
False
Is 4249/35 + 2/(-5) composite?
True
Let b = -1723 + 3306. Is b a composite number?
False
Suppose -3*r - 12 = -3*y, -7 = 3*r + 2. Suppose 5 = 2*h + y. Suppose -s = -h*s + 19. Is s composite?
False
Suppose t + 43 = 126. Suppose 0 = z - 2*z + t. Is (-2 - z/(-3))*3 a composite number?
True
Let z(y) = y**2 + y + 119. Let p be z(0). Let q = 90 + p. Is q a prime number?
False
Let j(q) = -24*q - 1. Let i(v) = -v + 9. Let y be i(4). Suppose 0 = -4*k + y*k + 1. Is j(k) composite?
False
Let p be 1 + 6 + (4 - 6) + -4. Let s = 3 - 2. Is p - s - 555/(-3) composite?
True
Let v = -8 - -221. Suppose 5*c = 4*z - v, -4*z + 77 = 3*c - 96. Is z a composite number?
False
Let c = 11 + -18. Let y(k) be the second derivative of k**5/20 + 3*k**4/4 + 4*k**3/3 + 5*k**2/2 + 10*k. Is y(c) composite?
False
Let i(l) = 10*l**2 + 3*l - 2. Let a(d) = d**2 + 4*d + 8. Let q be a(-6). Suppose 8 = -4*g + q. Is i(g) composite?
False
Let v = -16 - -21. Suppose -v*y = y - 18. Is y a composite number?
False
Let s be ((-14)/(-49))/((-2)/(-14)). Suppose 0 = -0*l - s*l + 242. Is l composite?
True
Suppose 5*c - 7*c = -2*f - 1472, 2*c - 1470 = 4*f. Is c a prime number?
False
Let n(p) = 3 - p**3 + 0*p + 9*p**2 + 6*p + 2. Is n(6) a prime number?
True
Let c be ((-1)/2)/(7/56). Is 77/4 + c/16 a prime number?
True
Let s be (-63)/(-12) + 1/(-4). Suppose l - s*l + 196 = 0. Is l a composite number?
True
Let o(j) = 43*j - 10. Is o(5) a prime number?
False
Suppose -4*q = -q + 114. Suppose 4*v + v - 309 = 2*w, 4*v - 5*w - 237 = 0. Let k = v + q. Is k a composite number?
True
Let x(r) = -12*r + 1. Is x(-9) prime?
True
Let v(d) = d**3 + 7*d**2 - 8*d + 8. Let y be v(-8). Let h = y - 8. Suppose h = -5*r + 4*r - 3*n + 34, -41 = -2*r + 3*n. Is r prime?
False
Suppose 4*p - u = u + 12, 3*p - 7 = u. Suppose 3*t + 0 = 3. Is p*t*-53*-1 a composite number?
False
Suppose 3*h + 3*x = -87, -4*x - 54 = 2*h - 0*x. Let f = h + 123. Let q = f + -55. Is q prime?
True
Let d(n) = -n + 13. Suppose 3*h + 3*b = 2*b + 28, -10 = 5*b. Let k be d(h). Suppose 92 = k*w - 175. Is w prime?
True
Let q = -1 - -3. Suppose -q*h + 93 = h. Is h prime?
True
Let f(k) = k**3 + k + 1. Let x be f(-2). Let l(a) = a + 13. Let j be l(x). Let r = 99 - j. Is r a prime number?
False
Let z = 11 - 8. Let f(d) = 5 + d + 34*d**z - 5. Is f(1) composite?
True
Suppose 2*g = 266 - 48. Is g a composite number?
False
Suppose -7*l = -4*l - 3. Is -2 - 117/(l - 2) a composite number?
True
Let o(n) = -n**3 + 3*n + 201. Is o(0) prime?
False
Let s = -206 - -1418. Suppose -905 = -3*z - 4*v, v + 3*v - s = -4*z. Is z a prime number?
True
Let s(r) be the first derivative of 19*r**2 - r + 1. Suppose -g + 5*y - 4 = -0, -5*g = 3*y - 8. Is s(g) prime?
True
Suppose h - 1 = 4. Suppose -3*i + h + 52 = 0. Is i a composite number?
False
Suppose -4*q + 537 = -5*o - 1239, 2*q + 2*o - 870 = 0. Is q composite?
False
Suppose 0 = -9*q + 4*q + 15. Let x(f) = f**2 - 2*f - 3. Let w be x(-2). Suppose -g -