 Is s prime?
True
Let q = 1 + -7. Suppose 5*t + 12 = 2*t. Let s = t - q. Is s a prime number?
True
Let x(q) be the third derivative of 7*q**5/120 - 5*q**4/12 + q**3/6 - q**2. Let m(a) be the first derivative of x(a). Is m(7) prime?
False
Let u(j) = -8*j - 8. Let s be u(-6). Suppose 3*d = -d + s. Is d a composite number?
True
Suppose 143 = 3*v - 2*h - 2*h, 3*h - 149 = -4*v. Let s = v + -19. Is s a prime number?
False
Is (31/3)/(7/63) a prime number?
False
Let m(r) = r**3 - 5*r**2 - 7*r + 4. Let x be m(6). Is 4/6*(-57)/x a composite number?
False
Let a = 1 - 0. Suppose 4*f = w + 2*w + a, 5 = -3*w + 5*f. Suppose -2*m - 25 + 78 = 3*r, -w*m = 25. Is r composite?
True
Let i = 142 + 111. Let n = i + 78. Is n a composite number?
False
Suppose -2*n = -4*n - 280. Let b = 289 + n. Is b prime?
True
Let h(o) be the first derivative of -29*o**2/2 - 3*o - 1. Let z be h(-3). Suppose 6*j = 2*j - 8, 2*y = -4*j + z. Is y composite?
True
Suppose 4*u - 9*u = -1790. Is u a composite number?
True
Suppose q - 314 = 5*k, 4*q - 1370 + 114 = 3*k. Suppose -5*h + 809 = 2*z, h + h = -4*z + q. Is h a composite number?
False
Suppose -19 = -5*g - 4*b, -5*g + 6 = 2*b - 11. Suppose 4*r - 5 = g, -3*y - 3*r + 36 = 0. Is y composite?
True
Suppose -5*r + 3*o - 160 = 0, 3*r + 141 = -r + 5*o. Let k = -15 - r. Is k + ((-2)/(-2) - 0) a composite number?
True
Let l(a) = -a**2 - a - 3. Let x be l(3). Is (10/x)/(1/(-51)) a composite number?
True
Suppose 0 = -r + 13 - 4. Suppose -3 = -2*i - x, -5*i - r*x = -5*x - 6. Suppose 2*q = -i*q + 4, -297 = -5*s - 2*q. Is s prime?
True
Let o(h) = -h + 2. Let d be o(5). Let r = 30 + 12. Is (-14)/d*r/4 a composite number?
True
Suppose 3*b + 3*x = -21, -b + 6*b - x = -35. Let g = -2 - b. Let h(j) = j**3 - 4*j**2 - 2*j. Is h(g) a composite number?
True
Let i(g) = 108*g + 7. Is i(3) prime?
True
Let s be (3 - (2 - -1)) + 505. Suppose 5*z = 790 + s. Is z prime?
False
Suppose 0 = 4*t - 5*i + 8 - 3, t - 2*i = -5. Suppose 3*x + 20 = t*k - 4*k, x + 20 = 3*k. Suppose 2*u + 7*a = 2*a + 67, -a = k. Is u a composite number?
True
Let n = 4190 + -2931. Is n prime?
True
Let r(t) be the first derivative of 4*t**2 - 5*t + 2. Let g = 17 + -12. Is r(g) a prime number?
False
Suppose c + 3*x + 407 = 1999, 2*c = 4*x + 3174. Is c composite?
True
Let w(z) = z**2 + 2*z - 1. Let m be w(-3). Suppose -104 = -m*l + 14. Is l prime?
True
Suppose p - 2*p + 7 = 0. Suppose 46 = 3*o + y, -4*o + 4*y + 58 = p*y. Suppose o = -j + 5*j. Is j composite?
True
Suppose -2*x + 1484 = 2*x. Is x a composite number?
True
Is (-2)/(-5) - (-1932)/20 a composite number?
False
Let g(h) = -54*h - 8. Is g(-5) a composite number?
True
Suppose -4*v + v = -1899. Is v prime?
False
Let c = -3 - 26. Let x = 66 + c. Is x a prime number?
True
Let o(r) = -r**3 + 9*r**2 - 8*r. Let b be o(8). Let n = -1 - b. Is 56 + n/1 + 2 composite?
True
Let f(d) = 18*d - 6. Let l be f(-10). Let k = -71 - l. Is k prime?
False
Let y(s) = s**2 - 2*s - 3. Let l be y(4). Suppose b = l*b - 684. Is -2*(0 - b/6) a composite number?
True
Suppose -f + 2477 = z, -178 + 5126 = 2*z + 5*f. Is z prime?
False
Let y(f) be the second derivative of f**5/20 - f**4/4 + f**3/3 - f**2/2 - f. Suppose -2*w = 5*p - 28, 0 = 2*w + 2*p - 4*p. Is y(w) prime?
True
Let d be 1*-2 + -8 + 12. Suppose -k = n - 690, -3*n + d*n + 5*k + 696 = 0. Is n a prime number?
True
Let f(s) = -3*s**3 - 8*s**2 - 7*s + 1. Is f(-5) a composite number?
False
Suppose 0*g - 20 = -2*g. Let b = g - -87. Is b a composite number?
False
Let b(x) be the second derivative of -x**3/6 - 2*x**2 - 3*x. Let n be b(-8). Suppose 3*f - n*f = 3*g - 109, 0 = 3*g - f - 101. Is g a composite number?
True
Let w(f) = -3*f**3 + f**2 - 4*f - 3. Suppose 2*i + 2 = 0, 4*i = -2*h + 4*h. Is w(h) a composite number?
True
Suppose -p + 4*p = -72. Let d = p - -283. Is d composite?
True
Let l = -167 - -310. Is l prime?
False
Let p(g) = -10*g - 5. Let n(b) = -11*b - 6. Let l(w) = 6*n(w) - 7*p(w). Let v(u) = -u**2 - 13*u + 2. Let d(k) = -7*l(k) - 2*v(k). Is d(3) prime?
False
Suppose 2*f + 3*r - 33 = -f, -13 = 2*f - 5*r. Suppose -2*p = -f*p + 24. Is p composite?
True
Suppose -y + 1 = 0, 4*d - 4*y - 1637 = d. Is d composite?
False
Suppose 5*o = o - 84. Let l = 16 - o. Is l prime?
True
Let f(a) = 3*a**3 + 2*a**2 - 1. Suppose -w - 7 = -5*b, 4*b + 3*w - 2 = -4. Let o be f(b). Suppose 4*q = 4*l + 744, -553 = q - 4*q + o*l. Is q composite?
False
Let k = -235 + 426. Is k a prime number?
True
Let y = -37 - -71. Is y composite?
True
Let x(y) = y**2 - 9. Is x(-4) a prime number?
True
Let a(k) = 22*k - 3. Let x be a(4). Suppose -x = 5*g - 6*g. Is g a composite number?
True
Suppose -5*y = 5*k - 60, 0 = 5*y - 4 - 11. Suppose 3*p - j = 161, k*p - 4*p = 2*j + 269. Is p composite?
False
Let z be ((-14)/(-4))/7*-1528. Is z/(-6) + (-6)/18 prime?
True
Is ((-446)/4*4)/(3 - 5) a composite number?
False
Suppose -2*g + l = -414, 3*l - 6 = -18. Suppose -2*j = -g + 27. Is j a prime number?
True
Suppose 10*b - 1465 = 5*b. Is b composite?
False
Suppose 2*b - 7*b = -250. Is 5/1*(3 + b) a prime number?
False
Suppose -5*b + 4*z = -4459, 810 - 3479 = -3*b + 4*z. Is b a composite number?
True
Let k(l) = -22*l**2 + 3*l + 4. Let h(o) = 22*o**2 - 2*o - 3. Let p(d) = 4*h(d) + 3*k(d). Let u = -2 - -1. Is p(u) a prime number?
False
Let b = 3 + 1. Suppose m = 5*m + 2*d - 236, -b*d = 3*m - 182. Is m composite?
True
Suppose 0 = 3*n + n - 20. Suppose n*h - h = 140. Is h composite?
True
Let k(w) = 3*w**2 - 3*w - 3. Let q = -2 + 6. Is k(q) composite?
True
Let u be -2*(-7)/(-2) - 1. Let s(p) = -p**3 - 8*p**2 - p + 2. Let w be s(u). Let x = 67 + w. Is x a composite number?
True
Let s = 5 - 2. Suppose w = s*w. Is (23 + 0)/(w + 1) prime?
True
Let y = -117 + 204. Is y a prime number?
False
Suppose -22 = -5*h + 8. Suppose w + h = 41. Is w composite?
True
Let a(x) = 103*x + 1. Let j be a(2). Is 7/((-21)/6) + j a prime number?
False
Let g(b) = -18*b + 16. Let c(d) = -1. Let l(z) = -3*c(z) - g(z). Is l(4) a composite number?
False
Let f = -9 + 13. Suppose f*y - 4*z - 1 = 63, 5*y - z = 68. Is y a prime number?
True
Let b = 1 - -6. Suppose n = -2*l - b, n + 15 = -2*n. Is (27 - l - 3)/1 composite?
True
Suppose -2*h + 0*h = 0. Suppose -2*c - 2*c + 342 = -5*l, 3*c + l - 247 = h. Is c a composite number?
False
Let x(f) = 15*f**3 + f + 3. Is x(4) a composite number?
False
Let j = -3 + 6. Suppose 2*q + q = j*f, 0 = -2*f - 5*q + 7. Let y(p) = 55*p. Is y(f) composite?
True
Let u = 0 - -4. Suppose 58 + 6 = u*s. Is (-12)/s + 63/4 prime?
False
Let h = -10 - -8. Let v be ((-12)/8)/(h/(-4)). Let y(m) = 3*m**2 + 3*m + 4. Is y(v) a composite number?
True
Let m = 5 + -1. Suppose -3*d + m*j + 509 = 0, -2*d + 2*j = 3*j - 332. Is d prime?
True
Let s be 20/(-8)*8/10. Let m = s - -15. Is m a prime number?
True
Let i be (-61264)/(-64) + 2/(-8). Let t = i - 652. Is t prime?
False
Let j(z) = -26*z**3 - 2*z**2 - 6*z - 1. Is j(-4) a composite number?
True
Is 58/(2 + (-48)/28) composite?
True
Suppose -3*k - 4*b + 158 = 0, 4*k - 4*b - 169 = -b. Is k a composite number?
True
Let z(k) = -k**2 + 2*k + 2. Let v be z(0). Suppose -120 = -u - 3*n, -3*u + v*n = -40 - 287. Is u a prime number?
False
Suppose n - 4*n = -3*l - 10653, 3*l - 17779 = -5*n. Is n a composite number?
True
Suppose 5*q + 335 = 4*n + n, -4*n = -q - 265. Suppose 0 = 4*j - n - 86. Is j a composite number?
True
Suppose -3*w - 2*w - c = -6213, -4962 = -4*w - 5*c. Is w a prime number?
False
Suppose 0 = 4*z - h - 1303, 0*z = -3*z - 4*h + 1001. Is z a prime number?
False
Let l(o) = -o**3 + 10*o**2 - 3*o + 9. Let h be l(9). Let w = h + -14. Is w composite?
True
Suppose 0 = w - 2*w. Suppose s - 5*v = 6, w = s - 3*v - 4 - 0. Is (2 - s) + 70/5 a prime number?
False
Let v(c) = c**2 + c + 7. Suppose 0 = -3*d - 0*d + 3. Suppose m = 4 + d. Is v(m) composite?
False
Suppose 0 = -3*o + 12, 0 = s - o - o - 327. Is s prime?
False
Let d = -5 + 4. Is d/(-4) + 546/24 a composite number?
False
Let b = 5 + 17. Let n be b/33 + (-151)/(-3). Suppose y - n = 18. Is y prime?
False
Is 9/(-2) + 4 + (-1974)/(-4) prime?
False
Let j(p) = 30*p + 1. Is j(1) a prime number?
True
Let z(t) = -t**2 - 5*t - 55. Let i(m) = -m. Let f(n) = 4*i(n) - z(n). Is f(0) composite?
True
Let x(q) = 143*q. Is x(1) composite?
True
Let o(y) = 5 + 2*y - 3*y**3 - 6*y + 4*y**3 - 3*y**2. Let g be