r?
False
Suppose 54 + 411 = 5*u. Suppose u + 217 = 2*w. Is w a prime number?
False
Suppose a = 1631 + 2358. Is a a prime number?
True
Let m = 649 + -92. Is m composite?
False
Suppose 4*d - 3*d + 3*x - 142 = 0, 0 = -5*d + 5*x + 810. Is d prime?
True
Suppose -2*d = -5*d + 267. Is d prime?
True
Let l be ((-3)/2)/(1/2). Let w(j) = j**2 + 3*j - 4. Let m be w(l). Is (78/(-8) + 1)*m a prime number?
False
Suppose 0 = -3*q + 24 + 54. Let x = 123 + q. Is x composite?
False
Let h(x) = x + 7. Let g be h(-5). Suppose 5 = g*i - i. Suppose -3*y + 664 = -i*p, -2*y + 4*p + 302 = -144. Is y a composite number?
True
Suppose 15 = 2*r + r. Suppose -r*c = -51 - 19. Is 1*c + 0/(-3) a prime number?
False
Let s be 37/2*(-3 - -5). Let t = 60 - s. Is t composite?
False
Let r(v) = v**3 + 6*v**2 + 3*v - 5. Let w be r(-5). Suppose w*x + 30 = 100. Is x composite?
True
Let f(q) = 4*q - 4. Let u be f(9). Let r = -1 + u. Is r a composite number?
False
Let x = 131 - 31. Suppose 5*c + x - 375 = 0. Is c a composite number?
True
Let b(v) = -30*v**3 - 2*v**2 + v. Let y be b(-2). Suppose -f = 4*f - y. Suppose 0 = -2*t + f - 2. Is t a prime number?
False
Let f(c) = -17*c + 4. Let s be (-1 - -2)*-1 - 2. Is f(s) a composite number?
True
Let a = 6 - -1. Suppose 3*g + 133 = n, -4*n - 2*g + 560 = -a*g. Is n a composite number?
True
Let p(w) = -7 - 6 - 13*w + 4*w. Is p(-14) a composite number?
False
Suppose 0*p - 3*b + 5708 = 5*p, 2*b = p - 1139. Is p a prime number?
False
Let n(v) = 263*v. Suppose -4*a + 2 = -2. Is n(a) prime?
True
Let h = -100 - -390. Suppose 0 = -c - 3*v + 17 + h, -3*c + v = -921. Is c a prime number?
True
Is 33/2*(3 - 1) prime?
False
Let p be 520/6 - (-4)/(-6). Let q = p + -37. Is q composite?
True
Let n be (0 - 6/(-2))*1. Suppose -n*k - 30 = 84. Let p = 53 + k. Is p prime?
False
Suppose -2*b = 2*b - 400. Suppose -5*c - 2*o - 59 = -2*c, 5*o = -5*c - b. Let w = c - -41. Is w composite?
True
Let h be -3 - 2 - (-3)/(-1). Let c be ((-21)/(-14))/((-3)/h). Is (c/(-8))/((-1)/6) composite?
False
Let k(s) = -3*s - 7. Let r = -8 + 2. Let i be k(r). Suppose 209 = 4*u - i. Is u composite?
True
Suppose -o = -3*o + 130. Is o a prime number?
False
Let m(b) be the first derivative of b**4/4 + 8*b**3/3 - 3*b**2/2 - 5*b + 3. Is m(-8) a prime number?
True
Let n = -15 + 9. Let k(s) be the third derivative of -s**4/4 - 5*s**3/6 + s**2. Is k(n) a prime number?
True
Is (11 + -1517)/(-2 + -2 - -2) a composite number?
True
Let m(z) = -z**3 - 5*z**2 + 9*z + 8. Is m(-11) composite?
True
Let n(d) be the first derivative of 22*d**3/3 + d - 3. Is n(1) a composite number?
False
Suppose 3*h - 288 = -2*v, -3*v - h + 422 = h. Suppose 5*k = 2*k + v. Is k a composite number?
True
Let t = 7 + -8. Let n(z) = -154*z + 1. Is n(t) composite?
True
Suppose s + 298 = 3*s. Is s a prime number?
True
Let b be (-2)/((15/(-6))/(-5)). Let c be 10/b*(1 + 1). Is (156 - -1)/(c/(-5)) a composite number?
False
Let w be ((-2)/6 + -1)*-81. Suppose 5*c + w - 883 = 0. Is c a composite number?
True
Let x = 28 + 21. Is x prime?
False
Let c(g) = -g**2 - 6*g - 7. Let s be c(-5). Is s/(-1) + -2 + 55 a composite number?
True
Let g = -621 - -364. Suppose 4*b - 1898 = 350. Let t = g + b. Is t prime?
False
Let x(d) = 3*d**3 - 5*d**2 - d + 20. Is x(7) a prime number?
True
Let k(d) = -2*d**3 - 8*d**2 - d + 10. Is k(-7) prime?
True
Suppose -f = 3*f - 492. Is f composite?
True
Suppose -3*v = -2*v + 4. Is -3 + v/(-1) - -3 a composite number?
True
Suppose 0*l + 4*l - 1925 = 5*o, -2*l + 3*o + 961 = 0. Is l composite?
True
Suppose -122 = -43*s + 42*s. Is s prime?
False
Let l = 339 + -106. Is l a prime number?
True
Let y = -4167 + 7372. Is y a prime number?
False
Suppose -9 - 19 = -4*f. Let w = f - 6. Is 185 - ((-2 - -1) + w) a composite number?
True
Let u(z) = z**2 + 6*z + 15. Is u(-10) a prime number?
False
Suppose 3*h + z - 1967 = 3952, 4*h = -z + 7892. Is h composite?
False
Let z be (-1)/5 - 1030/(-25). Let n = -18 + 8. Let v = n + z. Is v prime?
True
Let w(m) = -2*m**3 + 8*m - 2*m + 7*m**2 + 2 + 3*m**3. Is w(-6) prime?
True
Let q(c) be the third derivative of c**5/6 - c**4/8 - c**3/2 - 6*c**2. Is q(-2) a prime number?
True
Let h be (-1)/(-1 - (-3)/6). Suppose -a = -3*s + 150, -13 - h = 5*a. Is s prime?
False
Is 789/15 + 4/10 composite?
False
Let f(h) = 2*h**2. Let k be f(1). Suppose 0 = 2*s + 2*o + 100, s + 0*o + 35 = k*o. Let r = s - -64. Is r composite?
False
Let s(u) = 3*u**2 - 8*u - 2. Is s(7) prime?
True
Let c(p) = p**2 - 4*p - 1. Suppose -2*q + 7 = -9. Suppose 2*y - q = 8. Is c(y) composite?
False
Is (-3)/(6/538)*-1 composite?
False
Let m(f) = 7*f**2 + 11*f + 5. Is m(-11) composite?
True
Let s = 5 + 0. Suppose -5*r - 154 = -h, -350 = -s*h + r + 396. Is h a prime number?
True
Let o(a) = 32*a - 1. Suppose -4*f + 3*s + 38 = 2*s, f - 2*s = 13. Let z be 8/2*f/6. Is o(z) composite?
False
Suppose v = -v - i + 590, -5*v = -5*i - 1445. Is v a prime number?
True
Let y = -19 + 15. Let x(g) = -4*g**3 - 7*g**2 - 3*g + 5. Is x(y) composite?
True
Let v(y) = 6*y**2 - 1. Let z be v(1). Suppose -230 = -2*t + 4*l, t - 109 = -l - 0*l. Suppose z*c + 56 = 4*f, -c = -5*f - 5*c + t. Is f prime?
True
Suppose t + 22 = -3*d + 195, -4*d + 529 = 3*t. Is t composite?
False
Let a(s) = 15*s - 2. Let f be a(-8). Let h = f - -181. Is h prime?
True
Let o(q) = -68*q**2 - 2*q - 3. Let z(v) = -v - 1. Let k(l) = -o(l) + 4*z(l). Let m be k(-1). Let a = 260 - m. Is a composite?
False
Let z(a) = 178*a**3 + 2*a**2 - a. Is z(1) prime?
True
Suppose 4*g + 253 = 3*z - 28, 3*z = g + 284. Suppose 5*d - 5*p - z = 0, d + 0*p + 4*p - 19 = 0. Is d composite?
False
Suppose -3*a + a = -44. Suppose 0 = 5*p - 2*g - a, 5*p - g + 0*g = 26. Is p - 1*(-3)/3 composite?
False
Let j(c) = 7*c**3 - 5*c + 3. Let d(b) = 6*b**3 - b**2 - 6*b + 4. Let o(h) = 4*d(h) - 5*j(h). Is o(-3) prime?
False
Suppose 2 = 3*j - 7. Suppose 0 = -3*n + 2*n + j. Suppose n*a + a - 204 = 0. Is a a composite number?
True
Suppose 19 = 2*j - 207. Is j prime?
True
Let j(b) = 3*b**2 - 3*b - 9. Is j(8) prime?
False
Let h be (142/(-6))/(2/(-6)). Suppose -n + h = -50. Is n composite?
True
Let f be 11/3 - 3/(-9). Suppose n + f*n + 1 = -g, 0 = -n - g - 1. Suppose -4*i - 59 = -5*c, 3*c + i - 32 = -n*i. Is c a composite number?
False
Let g(n) be the first derivative of -n**2/2 + 37*n - 5. Is g(0) composite?
False
Let y be (-2)/(-7) + 33/7. Suppose -y*b = -b - 448. Let w = -65 + b. Is w composite?
False
Let z(a) = 7*a**3 + 23*a**2 - 21*a + 9. Let j(l) = -3*l**3 - 11*l**2 + 10*l - 5. Let c(i) = 5*j(i) + 2*z(i). Is c(-10) composite?
False
Suppose i + 471 = 4*m, -4*i + 3*i + 355 = 3*m. Is m prime?
False
Let c = 2062 + -663. Is c a composite number?
False
Let f(b) be the first derivative of -2 + 7/2*b**2 + 2*b. Is f(5) composite?
False
Let i = -1026 + 2219. Is i a composite number?
False
Suppose 5 = p + 3*t, 4*p + t - 25 = 6. Let b(j) = j**3 - 8*j**2 + j - 6. Let f be b(p). Is -12*3/(-12)*f prime?
False
Let o(h) = 0 - h + 3*h - 3. Let z be o(2). Is z/(3/58)*3 composite?
True
Suppose -3*f = 286 - 1759. Is f prime?
True
Suppose 5*g - 29 + 9 = 0, 5*h - 2*g = 82. Suppose -2*t + h = 4*l, -11 = -4*l + 2*t + 3*t. Suppose -l*k + 175 = k. Is k prime?
False
Let y = -53 - -95. Suppose -138 = 3*q + y. Is q/(-9) + (-2)/(-6) a prime number?
True
Is (-34 - -8)/((-4)/62) a prime number?
False
Is -5 - -1 - (-671)/1 prime?
False
Suppose -j = 3*d - 125, -5*j + 187 = d - 410. Is j prime?
False
Suppose -3*b = b - 3*p - 5698, 0 = -b + 3*p + 1429. Is b a composite number?
False
Suppose 4*b - 12 - 40 = 0. Let y(w) = w**3 - 13*w**2 + 2*w + 5. Is y(b) composite?
False
Let d(w) = 11*w**2 - 6*w - 2. Let r be d(6). Suppose 0 = 5*f - 357 - r. Is f a composite number?
True
Suppose -3*y - 33 = -o, 3*y + 0*o = 2*o - 36. Let l = y + 14. Suppose l*n = 2*n + 422. Is n prime?
True
Suppose -5*t + 21379 = -2*t + 4*k, -3*k = 2*t - 14254. Is t composite?
False
Suppose -3*y - 3*n + 165 = 0, -2*y + 4*n + 60 + 44 = 0. Suppose -3*v + v - y = 0. Let j = v - -80. Is j a composite number?
False
Let s(z) = -z**3 + z**2 + z + 1. Let j = 0 + 0. Let k be s(j). Is 0/k + 3 - -10 a composite number?
False
Suppose -17*x = -16*x - 803. Is x a composite number?
True
Suppose 0 = 5*i + 4*b - 9 - 180, i - 4*b - 33 = 0. Is i prime?
True
Suppose 32 - 2 = 5*n. Let m(x) = -x**3 + 7*x**2 - 6*x + 7. 