 Suppose z*p - 2*f - 401 = -2, -3*p + 239 = -f. Is p a composite number?
False
Suppose r = -2*r + 144. Let i(g) = g**3 - 7*g**2 + 5*g - 4. Let h be i(5). Let q = r + h. Is q prime?
True
Let t = -105 + 220. Suppose -6*w + 88 = -3*w + 2*u, 5*w - 3*u = t. Is w a prime number?
False
Let g(n) = -n**3 + 11*n**2 + 12*n + 6. Let j = -17 - -29. Is g(j) a composite number?
True
Let y(h) = 25*h**2 + 62*h - 54. Is y(29) prime?
True
Let f(n) = -5*n**3 + 3*n + 4. Let o be f(3). Suppose 2*l + 2 = l. Is 1/((-2)/o) + l a composite number?
False
Let h(y) = -9*y - 1. Let v be -10*(5/(-2) - -2). Suppose 2*t + 3*u + 18 = v*u, t + 19 = 3*u. Is h(t) composite?
True
Let h = -295 - -582. Is h composite?
True
Let p(z) = -81*z - 2. Is p(-1) prime?
True
Suppose -l + 0 = -3. Let r(s) = s - 1. Let k be r(l). Suppose 5*u - 2*u - 65 = 2*y, -5*u + 87 = k*y. Is u composite?
False
Is 932 - (-1 - (3 + -7)) composite?
False
Let s = -8 + 12. Suppose 1415 + 3597 = s*o. Is o composite?
True
Suppose m = -3*z + 1158 - 7, -2*m - 4*z = -2302. Is m composite?
False
Let v be (2 + -4 - 40)*-8. Suppose -z - v + 83 = 0. Is 4/8 - z/2 composite?
False
Let i = 236 - 23. Is i a composite number?
True
Let v(q) = -2*q. Let r be v(-5). Suppose 198 - r = 4*s. Is s a composite number?
False
Let d(l) = l**3 - 3*l - 1. Let q be d(-2). Is ((-9)/(-6))/(q/(-4)) composite?
False
Let t = 26 + 5. Is ((-6)/(-6))/(1/t) a composite number?
False
Suppose 0 = -v - v + 2*x + 1168, 2*v + 2*x - 1156 = 0. Is v prime?
False
Let z(w) be the third derivative of -w**6/40 - w**5/60 - w**4/12 - w**3/6 - 3*w**2. Is z(-3) a prime number?
False
Let o(d) = d**3 - d. Let b be o(1). Suppose b = 3*i - 0*i. Is i/(-8) + 1*3 a prime number?
True
Suppose x - 4*x = -18675. Suppose -4*a = a - x. Is ((-2)/(-3))/(10/a) composite?
False
Let y(g) = 23*g**2 + 3*g - 7. Is y(5) a prime number?
False
Let u(j) = j**3 - 7*j**2 + 8*j - 9. Let q be u(6). Let d(s) be the third derivative of s**5/30 - s**4/12 + s**3/3 - 2*s**2. Is d(q) composite?
True
Let q = 57 - 36. Is q a prime number?
False
Let r(i) = -4 + 4 + 0*i + i**3 + 6*i**2 + 2*i. Is r(-5) prime?
False
Let s(z) be the first derivative of -37*z**2 - 3. Let t = 3 - 4. Is s(t) a prime number?
False
Let o(d) = -d**3 + 6*d**2 - 10*d - 3. Let w(t) = -5*t**2 + 9*t + 3. Let g(h) = 6*o(h) + 7*w(h). Is g(-2) a composite number?
True
Let q(m) = -m**3 + 4*m**2 - 4*m + 3. Let t be q(2). Let h = 39 - 11. Suppose -v = 3*d - h, t*d + v = -2*d + 48. Is d a composite number?
True
Suppose -5*v + f = -1175, f - 940 = -4*v - 4*f. Is v composite?
True
Let w = 1 - 1. Let t(c) be the first derivative of -c**3/3 - c**2/2 + 7*c - 4. Is t(w) prime?
True
Suppose -63 = -b - 4*c, b - 173 = -2*b - 4*c. Is b composite?
True
Suppose 5*p - 170 = 5*f, -3*p - 112 = -6*p + f. Let s be 6*(-1 + p/2). Suppose -3*c = -498 - s. Is c composite?
True
Let m be (-1 - 10/(-6))*-3. Let u = 5 + m. Suppose -4 = u*f - 37. Is f composite?
False
Let o be 1*(-1707)/(-3) + 2. Suppose -3*h = -s - o - 39, 4*s = 2*h - 410. Is h a composite number?
True
Let x(y) = 16*y**2 + 2*y - 2. Let r be x(5). Suppose -5*f + m = -436 - 80, 4*m = -4*f + r. Is f a prime number?
True
Let g(r) = -28*r**3 + 2*r**2 + 2*r. Let v be g(3). Let w = v - -1133. Is w prime?
True
Suppose f + 3*d - 4027 = 0, -f + 3*f + 3*d = 8042. Suppose 3*y = 7691 + f. Is y/18 + 14/63 prime?
False
Let v(u) = u**2 - 4*u - 7. Let w be v(6). Let f(s) = s**3 - 2*s**2 + s. Let h be f(1). Suppose w*r - x + 2*x - 264 = 0, -r - 4*x + 49 = h. Is r composite?
False
Let p = 393 + -244. Is p a composite number?
False
Let b(v) = v**2 - v + 2. Let c be b(0). Is c + 0 - (-1 - 158) composite?
True
Let j = -147 - -554. Suppose 3*c - 544 - j = 0. Is c a prime number?
True
Let m(c) = 2*c**2 + 1 + 2*c**3 + 0*c**2 - c + 7*c**3. Is m(3) a prime number?
False
Suppose -5*f - 5*p = -1100, 0 = 2*f - 2*p + 94 - 546. Is f a composite number?
False
Let o be (12/(-10))/((-3)/(-500)). Let f = o - -289. Is f a prime number?
True
Suppose -2*l + 11331 = 7*l. Is l a composite number?
False
Suppose g - 450 = -2*v, 0*g - 905 = -2*g + v. Suppose 8 = 2*c - 0. Suppose -c*d + 0*d + g = 0. Is d a composite number?
False
Is ((-1249)/(-2))/(7/14) composite?
False
Let a(s) be the first derivative of 83*s**4 - s**2/2 + 8. Is a(1) a composite number?
False
Let j = 1858 + 645. Is j a prime number?
True
Let g(s) = -s**2 + 6*s + 4. Let a be g(5). Suppose -5*f + 16 = -a. Suppose f*w - 204 = -3*n + 823, 4*n - 1352 = 2*w. Is n composite?
True
Let q(c) = 11*c**3 + 6*c**2 - 2*c + 5. Is q(4) a prime number?
True
Suppose 9*x = 4*x + 4*u + 74, 0 = -x + u + 14. Let z = x - -59. Is z a composite number?
True
Suppose 3*p - 3*f + 2 - 8 = 0, 0 = 3*p - 5*f - 14. Let b(i) = -10*i + 1. Is b(p) a prime number?
False
Suppose -r = -117 - 40. Is r a composite number?
False
Let q = 12 - 13. Is q/2 + (-84)/(-8) composite?
True
Let o = 4 + -11. Let b(g) = -g - 15. Let r be b(o). Let m(l) = -7*l - 3. Is m(r) a prime number?
True
Let b(k) = 1231*k - 13. Is b(2) prime?
False
Let f(s) = -2*s**3 - 7*s**2 - 5*s + 1. Is f(-6) prime?
True
Let u = 17 + -14. Is 1 - (-2)/u*699 a prime number?
True
Let o = -15 - -8. Is 35*(o/(-5) - 1) a composite number?
True
Suppose -4*n = -5*a - 33, n - 4*a - 5 - 17 = 0. Suppose n = r - 1. Suppose 218 = r*j - 37. Is j a composite number?
True
Suppose 3*g - 5*g = 4, -2*z + 272 = -5*g. Suppose 89 = q + 5*f, -3*q + f + 104 = -z. Is q a composite number?
False
Suppose z - 2 = 3. Suppose 4*d + o = 4, 3*d + z*o + 6 = 2*o. Is ((-4)/2)/(d/(-211)) a composite number?
False
Suppose 2*c - 856 = 4*h - 308, 3*h - 274 = -c. Let a = c - 125. Is a prime?
True
Let h = -5 + 2. Is (10/h)/((-5)/15) a prime number?
False
Let h(t) = 209*t + 2. Is h(1) a composite number?
False
Suppose j - 3849 = d, -3*j - 3*d + 15382 = j. Is j prime?
True
Is (((-15)/9)/5)/(2/(-210)) a composite number?
True
Suppose -4*o + 0*o = -2*m - 14, -5*o - 67 = 4*m. Let b = m - -29. Suppose -2*y + 46 = -b. Is y a composite number?
False
Let y(d) = 1529*d**2 - 5*d - 3. Is y(-1) prime?
True
Suppose z + 3*d + 29 = 122, -d = 3*z - 247. Suppose -4*x + z = -3*x + p, 5*p + 425 = 5*x. Is (-2 + 0)*x/(-2) prime?
True
Suppose -4*f = -2*p + 398, -2*p + 10*f + 396 = 5*f. Is p prime?
False
Let u(o) = -o**3 + o**2 + 3*o - 29. Let x(y) = -5*y**3 + 6*y**2 + 16*y - 144. Let j(a) = -11*u(a) + 2*x(a). Is j(0) a composite number?
False
Suppose 0 = 5*s - g - 1879, 5*s - 2*g + 191 - 2074 = 0. Suppose 4*v = 661 + s. Is v a composite number?
True
Suppose -3*b - 5 = -5*q + 9, 18 = 3*q + 3*b. Is 33 + (3 + -1 - q) composite?
False
Let o = -144 + 271. Is o prime?
True
Let y(r) = -2*r**2 + 6*r - 5. Let f be y(5). Let g = f + 35. Is g a prime number?
False
Suppose -2*m + 4*h + 3072 = -866, -m + 3*h = -1965. Is m prime?
False
Suppose -18 = -2*p - 3*u, 5*p - 10 = 5*u + 10. Let l = 8 - p. Suppose -131 = -3*c + l*r, -2*c + 177 = 2*c - 5*r. Is c a prime number?
True
Suppose -a - a - 4 = 0. Let w = 2 + a. Suppose 2*y - 118 + 42 = w. Is y a prime number?
False
Suppose -19 = -4*y - d + 30, 4*y - 45 = 3*d. Let s = y - -10. Is s a composite number?
True
Let i(m) = -5*m - 1. Let z(x) = x**3 + 9*x**2 + 9*x + 5. Let t be z(-8). Is i(t) prime?
False
Suppose 3*h = 2*j + 3*j - 19, -2*j + 10 = 0. Suppose -6*u + u = -215. Suppose -4*f + 133 = o + 4*o, -h*o - u = -f. Is f a prime number?
True
Suppose 2*t = 2*c + 7032 - 2704, -2*c + 8674 = 4*t. Is t prime?
False
Suppose 0 = 5*q - 156 - 2069. Is q prime?
False
Suppose 2*i = 3*i + 4*b - 42, 115 = 5*i + b. Is i prime?
False
Let h = 29 + -11. Let n be 3/h + 3166/12. Let w = -59 + n. Is w a prime number?
False
Let a = 1350 + -587. Suppose 577 = 5*f - a. Let s = f - 165. Is s composite?
False
Let f be 1040/3 + 1/3. Suppose 4*g - 270 = g - c, -4*g = -3*c - f. Is g composite?
False
Is (1773 + 5)*2/4 a composite number?
True
Let q = -64 + 519. Suppose 4*p - 3*s = 616, -2*p + 4*s = p - q. Let z = 222 - p. Is z prime?
False
Let y(v) = v**2 - 11*v - 8. Let n be y(12). Is 1150/n + 10/(-20) a prime number?
False
Is (264 - 1)/(1/1) a composite number?
False
Is 3*1/3 - -520 a prime number?
True
Let h(i) be the second derivative of i**4/3 - 13*i**3/6 - 5*i**2/2 - 9*i. Is h(10) prime?
False
Let x(h) = 4 + 2*h + 3*h**2 - 3*h**2 + h**2. Let p = -8 + 11. Is x(p) a composite number?
False
Suppose 4*l - 