mber?
True
Let k(u) = u**2 + u. Let y(o) = o**3 + 10*o**2 - 5*o - 8. Let n(x) = -4*k(x) + y(x). Is n(10) a prime number?
False
Suppose -t - 794 = -5*f, -5*f + 5*t = -0*f - 810. Is f a composite number?
True
Let q = -63291 - -126532. Is q a prime number?
True
Let q be 6/45 + 37706/30. Suppose -2*f - 2*f = 3*c - 1257, 3*c - 3*f = q. Is c a composite number?
False
Let d = -10027 - -26455. Suppose -n = 4*z - 16440, -4*z + 3*n = n - d. Is z a composite number?
True
Let g(z) = 104*z + 12. Let w be g(15). Suppose 3*p = -p + w. Suppose 3 + 2 = 5*c, 4*x - p = -5*c. Is x a prime number?
True
Suppose 290671 = 3*p + 2*b, -5*b - 17 + 12 = 0. Is p a composite number?
True
Let p(l) = l**3 - 5*l**2 - 6*l - 2. Let y be p(6). Let k(x) = 12*x + 2. Let d be k(y). Let u = d + 149. Is u composite?
False
Let m(s) = -s**2 - 6*s + 9. Let h(d) = d - 13. Let b be h(6). Let k be m(b). Suppose -3*f = -f + 4*t - 6, -3*t = k*f - 8. Is f prime?
True
Let o(s) = 737*s**3 - 29*s + 109. Is o(4) composite?
False
Let i(v) = -v**2 + 5*v - 3. Let f be i(3). Suppose 2*q + 1361 = 3*y, 4*y + 2*q = -f*q + 1784. Suppose -y = -5*u + 324. Is u a prime number?
False
Suppose 4*h + 72 = -10*q + 5*q, 3*q - 4*h = -24. Is (-21567)/(-14)*(2 + q/9) a composite number?
True
Let n(w) be the third derivative of w**5/20 - w**3/6 + 19*w**2. Is n(-8) prime?
True
Let f(q) = 3*q**3 - q**2 + 33287. Is f(0) prime?
True
Let l = 8 - 6. Suppose -u = -l*u. Suppose -f + 2*z + 315 = u, 1523 = 5*f + 4*z - z. Is f a composite number?
False
Suppose 1240*x - 1236*x = 88756. Is x composite?
False
Let p(g) = 3*g**2 - 3*g - 5. Let o(c) = 3*c**2 - 2*c - 5. Let a(j) = -5*o(j) + 6*p(j). Is a(8) composite?
True
Let x(u) be the second derivative of u**3 - 3*u**2/2 + u. Suppose 2*d - 5*n - 18 = 0, n = d - 4*n - 9. Is x(d) composite?
True
Let i(p) = -124*p + 35. Is i(-3) prime?
False
Suppose -5*f + 3*u + 0*u = -3, 4*f - 2 = 2*u. Suppose -5*i = 2*x + 2, f = -3*i - 2*i - 10. Suppose -x*h + 3302 = 682. Is h a composite number?
True
Suppose 0 = -26*s - 1371 + 6181. Is s a composite number?
True
Let g be (-1 - 12 - 3) + 0. Let v = g - -22. Suppose 140 + 214 = v*m. Is m a composite number?
False
Suppose 4*q - 3 - 9 = 0. Suppose 3*v - u - 3461 = 3*u, 4610 = 4*v - q*u. Is v a prime number?
True
Let y(c) = -4*c**2 - 16*c. Let s be y(12). Let i = 1214 + s. Is i a composite number?
True
Let l(f) = -f**3 - 10*f**2 - f - 6. Let c be l(-10). Suppose -h = -c*h. Suppose h*o = -5*o + 815. Is o a composite number?
False
Let h be 9*(-2 - 49 - 0). Let q = h - -790. Is q prime?
True
Suppose 5*b - 124 = b + 4*k, -b + 43 = -5*k. Is (-7)/(b/29990)*-2 prime?
False
Suppose -2*r - 1985 = 3*r. Let x = 317 - 1121. Let j = r - x. Is j a composite number?
True
Let h be 38/8*3*(12 + 0). Let w = 314 + h. Is w prime?
False
Suppose 326*p - 49703 = 303*p. Is p prime?
True
Let n = 3579 + 8379. Suppose -n = 4*i - 10*i. Is i prime?
True
Suppose 4 = 3*r - 5*n, 2*n = -4 + 6. Suppose 0 = r*m - 6*l + l - 406, -152 = -m + 5*l. Is m a composite number?
False
Let b(k) = -438*k + 3. Let f be b(-2). Let s = -85 + f. Suppose 0 = 3*z - 5*v - s, 2*z - 3*v - 531 = 2*v. Is z a composite number?
False
Let h be (-1 + ((-4)/(-8) - -1))*4. Suppose h*f = f + 959. Is f a composite number?
True
Let q(y) = 10*y**2 + 11*y + 4. Suppose 5*g + 4*b + 21 = 0, 4*b = 4*g + 29 - 5. Is q(g) a composite number?
False
Is (-10270)/(-520)*(-136)/(-2) composite?
True
Let y(a) = -a**2 - 5*a - 2. Let l be y(-3). Suppose -3*k - h = -13, -4*k = h - l*h - 13. Suppose -k*u = -166 - 478. Is u a prime number?
False
Let s = -12608 + 27811. Is s composite?
True
Let w(b) be the second derivative of -73*b**3/2 + 5*b**2/2 - b. Is w(-2) composite?
False
Is 25926/9 - 105/63 prime?
True
Let d(i) = -13 - 50*i - 71*i - 157*i. Is d(-3) a composite number?
False
Suppose 2*s + 1 + 7 = y, -4 = -5*y - 2*s. Let v(t) = -1 + 17*t - 5*t**2 + 3*t**y + 0 + 8*t**3 - 19*t. Is v(3) composite?
False
Suppose z - 10 = -2*k, 4*z = 2*z - 2*k + 12. Let c = -21 - 3. Is (c/(-36))/(z/273) a prime number?
False
Suppose -11 = -4*m + 1. Suppose 3*b - 3*o - 2*o = -7, 5*b - m*o = -1. Is (-2055)/(-10) + b/(-2) prime?
False
Is 10/(6/(-8) - 12227/(-16292)) a prime number?
False
Is 3745 + 30/(-4 - 1) a composite number?
False
Suppose -i + 4*i - 237 = 0. Suppose 95 = 3*h - i. Suppose 0*k - h = -k. Is k a composite number?
True
Is 15231 - (-13)/(39/(-6)) prime?
False
Let n(h) = 29*h**2 - 2*h - 4. Let f be ((-3 - -14) + 1)/2. Let t = 3 - f. Is n(t) composite?
False
Suppose 7*a = 4*t + 3*a - 14860, -t + 3717 = -3*a. Let x = -2249 + t. Is x prime?
False
Suppose -7*b + 10631 = 1804. Is b a composite number?
True
Suppose -3*r = 4 - 16. Suppose r*c = 2*x + 36, -x + 8 = c + 2. Let b(v) = v**2 - 6*v - 1. Is b(c) prime?
False
Suppose n + 4*b = -2*n + 21170, -b = n - 7056. Is n a prime number?
False
Let w be 5*(-28)/(-30) + (-4)/6. Suppose -2*h + w*h = 2134. Is h prime?
False
Let w be 1141/6 + 7/(-42). Suppose 0 = 3*d - d - w. Suppose 0 = 2*i - 5*k - 113, -2*i = -4*i - k + d. Is i a prime number?
False
Let m = 7970 - 4833. Is m composite?
False
Is (-2927 + (-6)/(-1))*-1 prime?
False
Suppose f + 2*s = 791, -f + 331 + 432 = -5*s. Suppose o - f = 3*b, -o + 5*b - 306 = -1081. Suppose 3*d - 3*g = g + 463, o = 5*d + 5*g. Is d prime?
True
Let w be ((-6)/3 - -4) + 7. Suppose -35 = 2*h - w*h. Let u(i) = 2*i - 4. Is u(h) composite?
True
Suppose 11*h = 8*h + 12. Suppose -5*r + 144 = 2*a, -2*r + 58 = -h*a + 5*a. Is (r/8 + 0)*74 prime?
False
Let a(b) = 169*b**2 - 10*b - 13. Is a(-2) a composite number?
False
Suppose -p + 1 + 4 = 0. Suppose 7*r - 298 = p*r. Is r a composite number?
False
Suppose 4*c - 4*u = -0*u + 552, -4*c = 3*u - 566. Suppose 782 - c = m. Suppose -2*v - m = -4*v. Is v a prime number?
False
Let c = 74 + -70. Suppose 4*k - 3*b = 18, 6 = 3*k - c*b - 4. Is k a composite number?
True
Is 6/9*(-399450)/(-20) a prime number?
False
Suppose 3*w - 5*q - 6619 = 0, 9*w - 10*w + 2213 = -5*q. Is w a prime number?
True
Suppose 35*i - 31*i = 9332. Is i prime?
True
Let p be ((-62)/6)/(1*4/(-264)). Suppose s - 2251 = p. Is s composite?
True
Let b = 4837 + -1528. Is b composite?
True
Suppose -n - 2*n + 24 = 0. Let a = n - 8. Suppose 2*l - l - 62 = a. Is l a prime number?
False
Suppose 7 + 6 = -13*f. Let w(b) = 1658*b**2 + b. Is w(f) composite?
False
Let i be 2 + 702 + -2 - 1. Suppose y + 11*y - 60 = 0. Suppose 3*n + q = 718, 2*q - i - 496 = -y*n. Is n composite?
False
Let x = 166 - 17. Let q = 42 + x. Is q prime?
True
Let w = 10 + -10. Let u = -21 + -72. Is -38*(u/6 + w) a composite number?
True
Let q = -97 + 842. Is q a prime number?
False
Let k(l) = -3*l - 13. Let o be k(-6). Suppose 140 = -o*a - 4150. Let v = a + 1223. Is v prime?
False
Suppose -3*j - 2712 = 2*j - 2*r, r + 541 = -j. Let b = j - -1104. Is b prime?
False
Let b be 6/18*(3 - 6). Let x = 676 - b. Is x prime?
True
Suppose 3*k + k = -a + 853, -3*a + 5*k + 2610 = 0. Is a composite?
True
Let k(p) = p**3 - p**2 - p + 3. Let j be k(0). Suppose -5*f - 3*v + 4437 = -2*v, j*f = -3*v + 2667. Is f composite?
False
Let j(r) = 112*r - 25. Is j(8) a composite number?
True
Let u = -15 + 18. Suppose 2*x + 7 = -4*f - u, -3*f - 6 = 3*x. Suppose 2*p - 5 = -x. Is p a prime number?
True
Let g = -3285 - -7556. Is g composite?
False
Let o(c) = 334*c**2 - 9*c - 36. Is o(5) prime?
True
Let s(m) = 3523*m + 3. Is s(4) a composite number?
True
Let v(y) = -2*y**3 - 8*y**2 - y - 10. Let z be v(-5). Is ((-285)/z)/(-1*2/102) composite?
True
Let m = 3 + 3. Is (-41 - (4 + -2))/((-2)/m) a prime number?
False
Let w be 3/(4/(-8)*-1). Let r(q) = -q + 8. Let h be r(w). Suppose 4*c - 4*i - 404 = 0, 0 = h*c - c + i - 93. Is c prime?
True
Let c(b) = b + 0 - 7*b + 0*b - 1. Let r be c(-1). Suppose 216 = r*h - 2*v + 35, h - 2*v = 33. Is h prime?
True
Let r(c) = c**3 - 9*c**2 + 12*c + 109. Is r(10) a composite number?
True
Let q = -14 + 16. Suppose -1191 = -q*k - k. Is k a composite number?
False
Let i be 18/(-108) + (-247)/(-6). Let c be 2 + 0 + -2 - i. Is c/(((-16)/28)/4) composite?
True
Suppose 4*y + x - 8 = 4, -2*x = y - 10. Let r be y/(-3) + (-100)/(-6). Suppose 0 = 13*p - r*p + 438. Is p a composite number?
True
Let f = 16 - 13. Let p(v) be the first derivative of 15*v**3 - 2*v**2 + 2*v + 1. Is p(f) prime?
False
Let u = 15 - 1. Suppose u*o - 10*o