- 5. Is x(h) a composite number?
False
Let j = 3 - 1. Suppose -j*o = -o - 2. Suppose -o*d + 44 = -34. Is d composite?
True
Suppose -256 = -3*z + 125. Is z a composite number?
False
Suppose 0 = -5*f - 768 + 2733. Let i(t) = 265*t**2 + t. Let n be i(1). Let u = f - n. Is u composite?
False
Suppose -3791 = -5*u + 2*s, u + 3*s - 892 = -144. Is u composite?
False
Suppose -w - 2 = w, 4*w - 16 = 5*a. Let b be a/18 - (-58)/18. Suppose r + 4*c = -2*r + 145, 3*r + b*c = 150. Is r composite?
True
Let i = -308 - -529. Is i a prime number?
False
Suppose -2*s - i = -1, s - 3 = -2*i - i. Suppose -2*x = 5*j - 27, -1 + s = j + 2*x. Let c(z) = 13*z - 2. Is c(j) a prime number?
True
Let f(q) be the first derivative of -q**4/4 + 3*q**3 + 3*q**2 + q + 7. Is f(5) a composite number?
False
Let c(m) = -m**3 + 8*m**2 - 2*m + 10. Let a be c(8). Let y(i) = -5*i - 7. Is y(a) composite?
False
Let u be 30*2/(-12)*-2. Suppose -2*z + u + 4 = 0. Is z composite?
False
Let j = -503 - -920. Is j a composite number?
True
Suppose -2*y = 3*y + 5. Is 33 + y + (-4 - -6) a prime number?
False
Let j = 12 + -4. Suppose -3*o = -4*z - 8*o + 8, 0 = -4*z + 4*o + j. Suppose 3*x - 4*q = q + 47, -z*x = 2*q - 42. Is x a prime number?
True
Let c = -33 - -47. Is c a composite number?
True
Suppose -7 = 3*m + 461. Let d(c) = -9*c**3 - c**2 - 3*c - 4. Let s be d(-3). Let o = m + s. Is o a composite number?
False
Let d(n) = 6*n**3 - 2*n**2 + 2*n + 2. Let a be d(4). Suppose 4*t - 473 = 3*x, 0*t - 3*t + a = 5*x. Is t composite?
True
Suppose 27*g = 31*g - 1388. Is g a composite number?
False
Suppose 3 = t - 13. Suppose 4 = 4*b - t. Suppose 0*o - 29 = -b*i + 3*o, 0 = -2*o - 6. Is i a composite number?
True
Is 2 + 55 - (4 - 4) a composite number?
True
Suppose 2*c - 367 = -3*w, 2*w - 4*c - 238 = -2*c. Is w composite?
True
Suppose 3*a = 4*a. Suppose 5*m - 26 - 159 = a. Is m a composite number?
False
Let a(w) = -184*w - 1. Is a(-1) a composite number?
True
Suppose 5 = x - 1. Is 20 + (x + -3 - 2) composite?
True
Let h = 1 - -1. Suppose -z - 185 = -5*o, h*o - 10 = -z + 64. Is o a prime number?
True
Let i = -154 + 357. Is i prime?
False
Suppose 3*h - 4 = 2. Suppose -8*d + 3*d = -5*i - 415, -324 = -4*d + h*i. Is d a prime number?
True
Suppose -5*q = -1667 - 1718. Is q prime?
True
Suppose -2*u = 5*o - 105, 4*u + 7*o - 4*o = 217. Suppose 2*b - u = -3*n + 130, b - 5*n = 86. Is b prime?
False
Suppose 0 = -s + 5*s - 52. Is s prime?
True
Is 33366/5 - 1/5 composite?
False
Let w = -4088 - -6951. Is w a composite number?
True
Let y = -71 + -4. Let g be (318/(-4))/(3/(-4)). Let h = g + y. Is h a prime number?
True
Let a = 3 - -2. Suppose a*k - 175 = -0*k. Is k prime?
False
Let z(q) = -q**3 - 6*q**2 - 10*q - 6. Is z(-7) a prime number?
True
Suppose -123 = -3*x + 2*t + 3*t, 5*t = 0. Let p(i) = -i - 1. Let r be p(5). Let o = x + r. Is o a composite number?
True
Let o(n) = -n**3 - n**2 + n + 2. Let b be o(-2). Let a be (-66)/4*b/(-6). Suppose -3*m + 18 = d, a + 12 = d + 4*m. Is d a composite number?
False
Let p be 1 + -2*1 - -2. Let f = p + -1. Is f - (-255)/((-3)/(-1)) a composite number?
True
Let n(g) = -2*g - 5 + 4*g**3 + 2 - 3*g**2 - g. Is n(3) a composite number?
True
Suppose -p = -2*w + p - 150, -4*p + 87 = -w. Let k = -72 + -330. Let u = w - k. Is u prime?
True
Suppose -2*d - 2*d + 28 = 0. Is (d - -217) + (-1 - 0) composite?
False
Let g(q) = q**3 - 5*q**2 - 6*q - 2. Let n be g(6). Let w be (2/5)/(n/(-10)). Suppose w*d - 140 + 34 = 0. Is d prime?
True
Let b = -876 - -1517. Is b a composite number?
False
Let r be (2 - -25) + (-2)/(-1). Suppose y + 103 = 3*q, -r = 2*q + 4*y - 93. Is q a prime number?
False
Let a(f) be the second derivative of -f**4/12 + 7*f**3/6 - 3*f**2 + 2*f. Let g be a(5). Is (-1 + 3 - 4) + g a composite number?
False
Let f(z) = z**3 - 5*z**2 - 3*z - 7. Let j be f(5). Let i = 75 + j. Is i a composite number?
False
Let w(k) = -k**3 - 4*k**2 - 5*k + 2. Let s = -13 - -18. Suppose 4*m + 12 + 10 = 2*z, -s*m = -4*z + 32. Is w(m) a composite number?
True
Let d(x) = -x**3 - 2*x**2 - 2*x - 4. Let v be d(-3). Suppose 7*f - v*f = -184. Is f a prime number?
False
Suppose 651 = 5*b - 7294. Is b a prime number?
False
Suppose -2*y = -4561 + 959. Is y composite?
False
Let g(l) be the second derivative of l**6/360 + l**5/24 - l**4/12 + l**3/3 + 2*l. Let i(m) be the second derivative of g(m). Is i(-8) composite?
True
Let n = -2 + -8. Let v = n - -21. Is v a composite number?
False
Let z(j) = 14*j**2 - j - 18. Is z(-13) a composite number?
True
Suppose -4*v - 666 = -3814. Is v a composite number?
False
Let a(c) = c**2 + 12*c + 2. Let u be a(-12). Is 17 - u*(-3)/(-2) composite?
True
Suppose -3*y = 4*b, -b = -y - 2*y. Suppose b*n = -n + 211. Is n prime?
True
Is (7580/(-30))/(4/(-6)) a prime number?
True
Let z(q) = -157*q**3 + 2*q - 3. Is z(-2) composite?
False
Is (-1)/(-5) - 76761/(-45) a prime number?
False
Suppose -x + 0*x = 3*v + 8448, 0 = 5*x + 5*v + 42260. Is (-4)/6 - x/18 a composite number?
True
Let k(i) = -i + 11. Let u(r) = -r**3 + 6*r**2 + 3. Let h be u(6). Suppose -4*d - d - 35 = -4*g, h*g - 24 = 3*d. Is k(g) a prime number?
False
Suppose 5*v - 3*v + 8 = 0, -12 = -4*g - v. Suppose -3*z + 2*l = -1, -g*z + 8 + 20 = 4*l. Suppose z*j + 171 = 6*j. Is j a prime number?
False
Is (381/(-12))/(3/(-12)) composite?
False
Suppose -4*u + 5*j = -15 - 2, 19 = 5*u - 4*j. Suppose 0 = 4*i - u*i + 2*d + 6, -3*d - 9 = 5*i. Suppose 4*g - 321 = -i*g - 5*m, m - 80 = -g. Is g prime?
True
Let d be 2 + (1 - 1) - -2. Suppose 2*a - 2 = 0, 2*g - 3*a + 0*a - 51 = 0. Suppose -g - 97 = -d*f. Is f prime?
True
Let w(t) = 3*t**2 - 22*t + 23. Is w(18) prime?
True
Suppose 4 = -3*v + 1. Let g = 86 + v. Suppose 0 = -0*r + 3*r + 3*a - 246, r + 2*a - g = 0. Is r a composite number?
False
Let i(f) = -f. Let n be i(-3). Suppose 0 = -n*l - 0*l + 57. Is l composite?
False
Suppose -4*n = 2*v + v - 62, -3*n - 5*v = -41. Suppose -n - 186 = -w. Is w composite?
True
Suppose 0 = 3*v + 2009 + 2161. Let f = v + 2042. Suppose 0 = 4*r - 8*r + f. Is r a prime number?
True
Let d = 2680 + -1809. Is d prime?
False
Suppose n - 5*k = -21, k - 63 = 3*n + 2*k. Is (-6)/n + (-3039)/(-21) prime?
False
Let f(c) = 32*c**3 - 3*c**2 + c + 1. Let k(w) = -33*w**3 + 2*w**2 - 1. Let u(a) = -2*f(a) - 3*k(a). Is u(1) a prime number?
False
Suppose -4128 = -5*p + 6637. Is p a prime number?
True
Let q(f) = -103*f + 16. Is q(-13) prime?
False
Let y = 531 - 112. Is y a prime number?
True
Let q(y) = y**3 - 8*y**2 - 6*y + 6. Let n be q(5). Is 1 + -5 + 2 - n a composite number?
False
Let y(c) = -21*c**3 - c**2 + 2*c + 1. Is y(-2) composite?
True
Suppose -2*u = -7 - 15. Suppose 2*z - 4*z - 22 = -4*f, 0 = 2*f + z - 21. Suppose -159 = -u*h + f*h. Is h prime?
True
Suppose 0*j = 4*j + 20, 4*i - 5*j = 3789. Is i prime?
True
Suppose -4*u = -15375 + 323. Is u composite?
True
Let l = 1619 + 484. Is l a composite number?
True
Let d be (-3)/(-3)*(0 + -7). Let u = -4 - d. Suppose 0 = u*b + 5 - 44. Is b prime?
True
Let m(r) = -r**3 - 6*r**2 + 7*r + 6. Let j be m(-4). Is (-4)/18 + (-13890)/j a composite number?
False
Let o(r) = 3*r**2 - 7*r + 10. Let c(u) = u**2 + 1. Let n(d) = -2*c(d) + o(d). Let a be n(6). Is ((-57)/(-6))/(1/a) prime?
True
Let n be (-42)/4*(-16)/6. Suppose 0 + n = 4*u. Is u prime?
True
Let n = -54 - -91. Is n composite?
False
Let k(v) be the third derivative of -3*v**2 + 0*v + 0 + 1/24*v**4 - 1/60*v**5 + v**3 + 1/120*v**6. Is k(0) prime?
False
Let j(k) be the third derivative of -k**4/24 + k**3/2 - 2*k**2. Let m be j(0). Suppose -6 = m*x + 4*c - 43, 0 = 2*x - 5*c - 63. Is x a prime number?
True
Let h(z) = z - 7. Let c be h(9). Suppose 3*r - v = 156 - 58, -c*v = 2*r - 52. Is r prime?
True
Is (-579)/(-7) + (-9)/(-7) + -1 a composite number?
False
Suppose -3*n + 2*i + 366 = 0, -3*n + 3*i - 5*i + 378 = 0. Suppose -y - y = -n. Suppose -y + 227 = 3*h. Is h composite?
True
Let k = -419 + 923. Let q = k - 287. Is q composite?
True
Let r = 2 + -1. Let n(o) = r + 16*o - 35*o - 27*o. Is n(-1) prime?
True
Let h(s) = 2*s**3 - 8*s**2 - 4*s - 1. Let n be 9 - 0 - (0 + 2). Let g(y) = 5*y**3 - 16*y**2 - 8*y - 3. Let u(l) = n*h(l) - 3*g(l). Is u(-8) a composite number?
True
Let i(y) = y**3 + 13*y**2 + 13*y + 9. Let v be i(-12). Let z(x) = 29*x**2 + 2*x + 4. Is z(v) a composite number?
True
Let s(l) = l*