composite number?
True
Let y(s) = s**2 + 4*s + 7. Let d = 7 - 5. Let t = d - 8. Is y(t) a prime number?
True
Suppose 5*o + 4*h - 14 = 3*o, -4*o - 5*h + 16 = 0. Suppose x + 117 = -0*a - a, 316 = -3*a + 4*x. Let m = o - a. Is m prime?
False
Suppose -3*b - 5*z = 47, 3*b + 2*b + 2*z = -53. Let d = 5 + b. Let u(s) = -s**3 - 4*s**2 - 6*s - 3. Is u(d) a prime number?
False
Let r be 4261/6 + 1/(-6). Suppose i = 6*i + r. Let o = 695 + i. Is o a prime number?
False
Suppose 22 = -5*l + 7. Is (-254)/((-4)/(l - -5)) a composite number?
False
Let i = -1 + 2. Let n be 6 - (i + 3 + -1). Suppose f + 4*b - 80 = -15, 216 = n*f + 5*b. Is f composite?
True
Suppose m - 42 - 47 = 0. Is m a prime number?
True
Suppose 4*l - 1420 = -l. Let r be (4 + (-9)/3)*157. Let k = l - r. Is k a prime number?
True
Let p(u) = 5 - 3 + 4 + u**2. Is p(-7) a prime number?
False
Let q = -349 + 720. Is q a prime number?
False
Suppose -3*v = -4*g + 5, -2*g + 11 = g + 5*v. Suppose -d - 319 = -s - 2*s, -216 = -g*s - d. Suppose q - 3*b = 104, -3*q = b - 175 - s. Is q a prime number?
False
Is -2 + (4 - 5 - -96) composite?
True
Suppose 0*m - 28 = -4*z - 4*m, -4*z = 5*m - 33. Let p(w) = 8*w - 3*w - 11*w**2 + 14*w**z - 1. Is p(4) a prime number?
True
Suppose -5*s + 8165 = -5*m, 4*s = 5*s + 4*m - 1633. Suppose -5*v - 368 + s = 0. Is v a prime number?
False
Let l be (-1 - 3)*(-5)/4. Suppose 0 = -2*x + l*x. Suppose x = -3*y + 15 + 27. Is y a prime number?
False
Suppose -4*x - 2*a = 2*a - 16, 0 = 4*x - 3*a + 12. Suppose 0 = 2*w - x*w - 10. Suppose -v - q + 63 = 0, -4*q + 2*q = w*v - 312. Is v composite?
True
Let n(g) = 2*g**2 - 3*g + 2. Is n(12) a prime number?
False
Let j(i) = 119*i + 46. Is j(9) composite?
False
Suppose 0 = -4*k + 191 + 285. Is k prime?
False
Let z = -14 + 20. Suppose 32 + 41 = n. Let r = n + z. Is r a prime number?
True
Let n(y) = -27*y - 2. Let s be n(-2). Let p = s - -17. Is p a prime number?
False
Let h(v) = v - 2. Let j be h(0). Is j*(3 - 4) - -357 prime?
True
Suppose -5*t + 0*t = -3*v + 6971, v + 3*t - 2333 = 0. Is v composite?
True
Let f(p) = -3*p**3 - 7*p**2 - 5*p - 2. Let w(s) = 4*s**3 + 8*s**2 + 6*s + 3. Let n(l) = 3*f(l) + 2*w(l). Let g(c) = -c - 12. Let t be g(-7). Is n(t) prime?
False
Suppose -5*m = -3*i - 2*i + 4420, -5*m - 872 = -i. Is i a prime number?
True
Let a(c) = c**2 - c + 9. Let y be a(0). Let d be (-1434)/(-9) - 3/y. Is (7/21)/(1/d) a composite number?
False
Let d = 42 + -63. Let j = d + -3. Let x = -9 - j. Is x a composite number?
True
Suppose 3*t - 1641 = 3*b, 5*t - 2*t + 3*b = 1611. Suppose 0 = h + 3*j - t, j + 9 = 4*j. Is h a composite number?
True
Let r(p) = p**3 - 5*p**2 - p + 7. Suppose 2*t = -4*q + 53 + 13, 0 = 3*q + 5*t - 60. Let n = q + -10. Is r(n) a composite number?
False
Suppose -6*d - 2685 = -21*d. Is d a composite number?
False
Suppose 26 = -5*c - 4. Let d = c + 13. Suppose -19 = -4*u - d. Is u composite?
False
Suppose -3*p = -737 + 248. Is p prime?
True
Let i = 8 - 12. Let h(f) = 10*f**2 - 4*f - 10. Is h(i) a composite number?
True
Let c be (-1)/(((-12)/9)/4). Suppose c*d + d = 172. Is d a prime number?
True
Let j(t) = t**3 - 4*t**2 - t + 3. Let w be (5/15)/(1/9). Let r be j(w). Is (2 + 21/r)*-33 composite?
False
Suppose -921 = 3*b - 6*b. Is b prime?
True
Let r(m) = -2*m + 31. Let a be r(0). Let z = a - -63. Is z a prime number?
False
Let p(m) = m**3 - m**2 - m - 4. Is p(9) a composite number?
True
Suppose 5 - 17 = -3*v. Let p = 18 + v. Is p composite?
True
Let y = -1 + 1. Let a be 4 + (y + 0 - -2). Suppose o + 4*h = 83, -5*o - 2*h = -a*h - 487. Is o composite?
True
Let y be 0 - ((-123)/(-1))/3. Let u = y - -61. Is 376/u + (-1)/(-5) prime?
True
Suppose 0 = f - 0*f - 11. Suppose -h - 7 = -3*d, -3*d - 4*h + 3*h + f = 0. Suppose -5*i = 5*a - 105, -i + 16 = d*a - 9. Is i composite?
False
Suppose 7*w - 9*w + 4614 = 0. Is w composite?
True
Let g(r) = -53*r - 4. Let x be g(4). Let q = -119 - x. Is q a prime number?
True
Let q(r) = -5*r + 5*r - 2*r**2. Let f be q(-1). Is -2 + (-106)/(f - 0) prime?
False
Suppose 8 = 5*p - 2. Let n(w) = -3*w**2 + 3*w**3 + 1 + 0*w**2 - w + w**2. Is n(p) a prime number?
False
Let p = 4739 + -3178. Suppose -2*i + p = 567. Is i composite?
True
Suppose 6*z + 1985 = 11*z. Is z prime?
True
Is 748 + -2 + 3 - -2 composite?
False
Let k = 6175 - 4226. Is k a composite number?
False
Suppose 0 = -0*g + 3*g - 150. Let o = -12 + g. Is o composite?
True
Let m(z) = -z**3 - 7*z**2 - 6*z - 6. Let p be m(-5). Let r = 51 + p. Suppose n + 6 = r. Is n prime?
True
Suppose -4*v = 4*j - 8, -5*v = -0*j - j + 20. Let a = 8 - j. Suppose -h + 3*d = -59, 0 = -a*h + 3*d - 6 + 171. Is h composite?
False
Let b(c) = -c**3 + c**2 + c**2 + 4*c + c - 3. Let r be b(3). Suppose -r*w = 2*w - p - 99, 4 = -p. Is w a prime number?
True
Suppose 4*o - 9*o = 5. Is 5/o + 2 - -40 a composite number?
False
Let k = -12 - -31. Is k composite?
False
Suppose 6*c - c - 725 = 0. Is c a prime number?
False
Let s = -4766 - -7427. Is s composite?
True
Suppose -5 + 40 = 5*c. Let i(v) be the second derivative of v**3/2 - 4*v**2 + v. Is i(c) composite?
False
Let l(b) = -18*b + 19. Is l(-10) composite?
False
Suppose 2*f + 2*b - 838 = -3*f, 2*b + 324 = 2*f. Is f composite?
True
Let t be 308/(-6) + (-2)/3. Let d(n) = 91*n - 2. Let l be d(1). Let o = l + t. Is o a prime number?
True
Suppose 5*t + 6*o - 2*o = 12335, -3*t + 4*o = -7401. Is t prime?
True
Suppose w - 5*f = 212, -2*w = -0*w + 2*f - 364. Is w a prime number?
False
Suppose 2*p - 22 = 2. Let i = p - 1. Is i prime?
True
Suppose 2*b - 35 = 3*p, 4*b + 0*p - 90 = 2*p. Let q(a) = -a**3 + 4*a**2 - 2*a - 2. Let o be q(4). Let u = o + b. Is u a composite number?
True
Suppose 0 = -5*d + 4*m + 5483 + 3856, -2*d - m = -3733. Is d composite?
False
Let m be (7 - 1)*82/4. Let c = -49 + m. Is c a composite number?
True
Is 1/2*(3202 + -14) composite?
True
Suppose 0*o - 15841 = -7*o. Is o a composite number?
True
Is 189 + 9/((-9)/4) a composite number?
True
Let t be (2/1)/(4/(-68)). Let d be (0 - 2)*1 + t. Let v = 58 + d. Is v a composite number?
True
Let j(v) = v**2 + v - 8. Let z be j(0). Let s = 12 + z. Is 4*(15/s)/1 a composite number?
True
Suppose 0 = -2*t + 3 + 7. Suppose 5*f - 435 = -5*j, -t*f = -0*f - 3*j - 395. Is f a prime number?
False
Let w = 4 - 6. Let i(m) = 47*m**2 + 3*m + 1. Let f be i(w). Let n = -106 + f. Is n a prime number?
False
Suppose 3*s - 11755 = -2*s. Is s a prime number?
True
Let g(i) be the third derivative of 29*i**4/24 - i**3/2 - i**2. Is g(2) composite?
True
Is ((-4)/(-4 + 2))/(4/1082) a composite number?
False
Suppose -5*g = -20, -3*x - 715 + 3236 = -2*g. Is x a composite number?
True
Let i = -13 + 23. Is i a prime number?
False
Suppose 5*i - 65 = -2*d - 3*d, 0 = 5*d - 15. Let f = 20 - i. Suppose 2*c - 4*q - f = -0, 4*c + 5*q - 33 = 0. Is c a prime number?
True
Suppose 2*z + 255 = 757. Is z prime?
True
Let v(j) = -j**3 + 4*j**2 - 3*j. Let c be v(2). Suppose -4*a + 4*w - c*w = -1338, -1006 = -3*a - w. Is a composite?
True
Suppose -r = -3*r + 24. Suppose r = 4*a - 12. Is a prime?
False
Let q be 2308/8 - (-2)/4. Suppose 0 - 1 = u, -3*x + q = 5*u. Suppose 3*o = -z + 22 + 81, x = 3*o - 4*z. Is o a composite number?
True
Suppose 8*g + 54 = 3*g + 4*i, -5*g - 74 = i. Let h = g + 35. Is h a composite number?
True
Suppose 5*n - 1234 = 1831. Is n composite?
False
Let z = -4 + 6. Suppose 15 - 89 = -z*c. Is c a prime number?
True
Let n(z) = 15*z + 1. Is n(3) prime?
False
Suppose 0 = -14*n + 2950 + 3644. Is n prime?
False
Let o(b) = -b - 3. Let x = -10 - -4. Is o(x) a prime number?
True
Let x be (4 - 1) + (30 - -1). Suppose -5*z = x + 6. Let j = z + 15. Is j a prime number?
True
Suppose t - 10 = -3*x, t = 3*x - 10 + 2. Is -4*t/(-2) - -49 a composite number?
True
Let t = -23 - -16. Let f = 126 + t. Is f a composite number?
True
Let r(n) = n**2 - 4*n. Let f be r(4). Suppose 3*z + f*z = 1164. Suppose -y + 281 = 3*x, 0*x - 4*x = -2*y - z. Is x a composite number?
True
Let h = 5311 + -3488. Is h composite?
False
Let i(u) = 20*u**2 - u + 1. Let a(h) = -59*h**2 + 2*h - 3. Let p(n) = -4*a(n) - 11*i(n). Is p(-2) prime?
True
Let v = 1676 - 615. Is v prime?
True
Let b(n) = -2*n**3 - n**2 + 2*n + 2. Let i be b(-2). Let m(a) = a**3 - 4*a**2 - 4*a - 2. Let t be m(5). Let w = t + i. Is w a prime number?
True
Let j be (-6 - 0)*(-1)/