 a composite number?
False
Let o(g) = -598*g + 27. Is o(-10) a prime number?
True
Let o(h) = 2*h**3 - 8*h**2 - 3*h + 9. Let c be o(6). Suppose 0 = -b + c + 68. Is b composite?
True
Suppose 4614 - 18124 = -10*x. Is x composite?
True
Suppose -15 = -v - 2*p, -3*v - 5*p = -16 - 24. Let u = v + 40. Suppose k - 22 - u = 0. Is k a composite number?
False
Suppose 20849 = 5*m - 2*x, -2*x + 20841 = 7*m - 2*m. Is m composite?
True
Let c = -5 - -2. Let r(m) = -3*m**3 - 1. Let u be r(c). Suppose -2*o + u = -26. Is o a composite number?
False
Is (-1740)/18*3/(-2) a prime number?
False
Suppose 103 - 12 = 5*o + 4*u, -5*o + 2*u = -97. Suppose 3*q - o = 8. Is q a composite number?
True
Let i(g) = -2*g**3 - 8*g**2 - 6*g + 5. Let v be i(-5). Suppose -3*k = -4*m + 284 + 20, 3*m - 5*k = 228. Let w = m + v. Is w a composite number?
True
Suppose 2*n = -i + 16, 4*n = -n - 3*i + 39. Is ((-6)/n)/(4/(-774)) a composite number?
True
Let g = -14 + 8. Let d be (-2 - 6/(-2))*21. Let w = g + d. Is w a composite number?
True
Suppose -5*v - 15 = -3*h, -3*v - 4*h + 9 + 11 = 0. Let l(c) = 6*c - 3. Let y be l(2). Suppose v = -d + 6 + y. Is d a composite number?
True
Suppose -5*m + 46 = 4*h, -5*m + 5 = h - 14. Is h a prime number?
False
Suppose -3*v + o + 569 = -o, 5*v + 5*o - 965 = 0. Is v a composite number?
False
Let z(h) = h**3 - 4*h**2 + 2*h + 1. Let i be z(3). Let b be -1 + -54 - (-2)/i. Let g = -22 - b. Is g composite?
True
Suppose -k + 375 = -p, -3*k + 6*k - 1133 = -p. Is k a composite number?
True
Suppose -95 = -4*q - q. Is q a composite number?
False
Let x(r) be the first derivative of -6*r**2 + 3*r - 2. Is x(-4) composite?
True
Suppose 0 = 4*k + 8 - 24. Suppose k*c = -2 + 574. Is c prime?
False
Let o = 172 - -291. Is o a composite number?
False
Let b be 12*1*(-5)/10. Let w(p) = 2*p - 1. Let n be w(7). Let i = b + n. Is i prime?
True
Let t = -10 - -16. Let f = t - -1. Is f composite?
False
Is (7 - 6)*(0/1 - -253) a composite number?
True
Let n be ((-1341)/15)/((-2)/10). Suppose 143 = 5*j - n. Is j a prime number?
False
Let n = 5 - 3. Suppose 0*d = n*d - 24. Suppose 0 = k - d - 1. Is k prime?
True
Suppose -24*f + 26*f - 654 = 0. Is f a composite number?
True
Let z(r) = -37*r**2 - r. Let f be z(-1). Let q(w) = -w. Let y be q(1). Let d = y - f. Is d a prime number?
False
Suppose -4*u = -y + 28, -y = -2*u - 15 - 3. Suppose 3*v - 67 = 2*o, 0*o - y = 4*o. Is v prime?
False
Let h = -95 - -145. Let z = h + -28. Is z a composite number?
True
Let v(z) = -z**2 + 3*z + 3. Let l be v(-2). Let u(r) be the third derivative of r**5/60 + r**4/12 - 5*r**3/3 + 2*r**2. Is u(l) composite?
True
Is (1386 - 5) + 0 + -1 + 1 prime?
True
Let d = 101 + -56. Suppose 2*u = -u + d. Is u composite?
True
Is ((-24)/16)/(6/(-4172)) composite?
True
Let t = 150 + -16. Is t prime?
False
Let m = 94 - 39. Is m prime?
False
Let y be -1 + 3 - (-2)/(-1). Let c = y + 4. Is 30/c - (-1)/(-2) a prime number?
True
Let q(o) = 2*o**2 - 1. Let k be q(2). Is (-1)/k - (-1378)/91 composite?
True
Let t be (1 + 62/(-10))*-15. Suppose -5*x + 817 = -t. Is x a prime number?
True
Suppose -a - 4*x + 832 = 3*a, -3*x - 654 = -3*a. Let z be (-3)/(-6) + (-185)/2. Let p = a + z. Is p prime?
False
Let b be 1*(4 - 3)/(-1). Is 477/6 - b/(-2) composite?
False
Let q be 30/(-70) - 6/(-14). Suppose q = 5*j - 371 - 374. Is j prime?
True
Suppose s - h = -6, -5*s + 2*h + 13 - 55 = 0. Let j be 138/33 - (-4)/(-22). Is (s + j)/(2/(-13)) a composite number?
True
Suppose 66 = 4*q - 222. Let w = 235 - q. Is w a prime number?
True
Let q(p) = -p**3 + 2*p**2 + 4*p + 7. Let d(b) = -b**2 - b. Let o(z) = -z**3 - z**2 + 4. Let f(i) = 2*d(i) - o(i). Let g(m) = 5*f(m) + 3*q(m). Is g(2) prime?
False
Is 11/(308/76 + -4) composite?
True
Let c = 1659 + 5538. Is c a composite number?
True
Let b = 1148 + -451. Is b prime?
False
Let i = 6 + -2. Suppose 213 = 2*o + 5*s, -8*s - 441 = -i*o - 3*s. Suppose 2*p - p - 4*t - o = 0, -15 = 5*t. Is p prime?
True
Let n(c) be the third derivative of 0 - 1/24*c**4 - 1/6*c**3 + 0*c - c**2 + 3/20*c**5. Is n(2) prime?
False
Let q be (-21)/(-12) - (-1)/4. Suppose -f + 4 = -z - 46, f + q*z = 59. Is f composite?
False
Let h(i) = -i**3 + 17*i**2 - 27*i + 3. Is h(14) a prime number?
False
Let x(r) = -r + 1. Let d be x(5). Let t be d/10 - 197/(-5). Suppose -18 = -o + t. Is o a composite number?
True
Let f(g) = -g + 6. Let d be f(0). Is (-236)/d*3/(-2) composite?
False
Let o = 6386 + -2757. Is o composite?
True
Suppose -a = 2*t + 6, 5 = -5*a - 0*t - 5*t. Suppose -a*m + 104 = -356. Is m a prime number?
False
Let n(q) = q**2 + 11*q - 3. Let g(j) = -j**2 - 12*j + 4. Let b(k) = 6*g(k) + 7*n(k). Let t(m) = -m**3 - 8*m**2 - 5*m + 9. Let u be t(-7). Is b(u) prime?
True
Suppose 4*g = -3*g + 805. Is g a composite number?
True
Let a = 5 - 2. Let r = 6 - a. Let o(f) = 3*f**2 - f - 3. Is o(r) prime?
False
Let c(t) = -54*t + 11. Let p be c(-11). Suppose -3*f + p = 2*f. Is f a prime number?
False
Let b(d) = -d**2 + 7*d - 2. Let q be b(7). Is -3 - -1 - 162/q composite?
False
Suppose 0 = -v - 3*v - 320. Let d = 283 + v. Is d a composite number?
True
Suppose -208 = 3*q - 7*q - 4*t, -162 = -3*q + 3*t. Is q a prime number?
True
Suppose -5*s = v + 17, 4*v = s + 3 + 13. Let d(z) = 3*z + 1. Let c be d(s). Let n = c + 30. Is n prime?
True
Let c(p) = -11*p**3 + p**2 - 9*p - 3. Let w be c(-6). Suppose w = 3*o - 0*o. Is o a prime number?
True
Let k(q) = q**2 - q. Let b(h) = 401*h**2 + 5*h + 1. Let m(y) = b(y) + 5*k(y). Let i be m(1). Suppose -91 = 4*x - i. Is x composite?
False
Let i(v) = -v**3 - v + 5. Let g be i(0). Let k = -1 + 4. Suppose 5*o + k*c = 5*c + 87, -4*c - 79 = -g*o. Is o prime?
True
Let z = -84 + 44. Let a be z/((-2 + 1)/2). Suppose a = f + 27. Is f prime?
True
Let n(q) = q**3 - 3*q - 5. Let w = -7 + 11. Is n(w) a prime number?
True
Suppose 3*v + 4*s = -9, -5 = -5*v - s - 20. Is v/2 + 145/10 a prime number?
True
Let x(t) = -t - 1. Let u(h) = -17*h**2 + 3*h - 5. Let r(y) = -u(y) - 2*x(y). Is r(-3) prime?
True
Let p(u) = 14*u**3 + 9*u**2 - 10*u + 9. Is p(5) composite?
True
Let b(s) = -s**3 + 9*s**2 - 8*s. Let m be b(8). Suppose 4*v + 3*a + 0*a + 4 = 0, 4*v + 5*a + 12 = m. Let h(j) = 6*j**2 + 1. Is h(v) a composite number?
True
Let b(f) be the first derivative of 1/3*f**3 + 47*f + 2 + 0*f**2. Is b(0) a composite number?
False
Is 6*(-5)/(30/(-111)) prime?
False
Let n(y) = -y. Let m be n(4). Let i be 5/(-4) + m/(-16). Is 1*(0 + i) - -80 a composite number?
False
Let g(j) be the second derivative of j**7/840 - j**6/72 + j**5/60 + j**4/6 + j**3/2 - 4*j. Let p(m) be the second derivative of g(m). Is p(5) prime?
False
Suppose -10 - 22 = -4*c. Suppose -5*p + 37 = -c. Is p composite?
True
Let n be (2/6)/((-2)/(-6)). Let r(k) = -12*k - 2. Let v be r(-2). Suppose -n = p - v. Is p a composite number?
True
Suppose 0 = -7*m + 3*m + i, 4*m + i = 0. Suppose s = -h + 39, 0*s - 4*s - h + 144 = m. Is s a prime number?
False
Let b(p) = 6*p**2 + 16*p - 195. Let g(o) = -9 - 3*o + 48 + 2*o**2 - 3*o**2. Let n(a) = 2*b(a) + 11*g(a). Is n(0) a composite number?
True
Is (-15)/(-2)*2358/27 - -4 a composite number?
False
Let o(l) = -4*l - 1. Let y be o(-2). Is 2063/y - 8/(-28) composite?
True
Suppose -3*p + 4669 = 2*d, -p + 2*p = 4*d - 9331. Is d a prime number?
True
Suppose 2*i - o = 147, -i + 240 = 2*i + 5*o. Let w(s) = -i - s**2 + 39 + 227 + s + s**3. Is w(0) a prime number?
True
Let r(h) = -h - 3. Let o be r(-7). Suppose o*s + 24 = 68. Is (s/2)/(2/20) composite?
True
Suppose -4*c + 655 = -301. Let m = c + -118. Is m composite?
True
Suppose 4*t - 7 = -5*x, 4 = -t + 5*x + 12. Let d = -379 - -641. Is d/(t + 0 - 1) a prime number?
True
Suppose -4*s + 652 = -5*l - 315, -3*s + 699 = 5*l. Let y = -149 + s. Is y a prime number?
True
Let c(n) be the second derivative of 1/6*n**4 + 0 - n**2 - 3*n - 1/6*n**3. Is c(-4) composite?
True
Suppose -6*g = -2*z - 2*g - 12, 5*z = 3*g - 9. Suppose z = -c - c. Suppose -2*d - d + 165 = c. Is d a composite number?
True
Is ((-2)/(-3))/(12/11430) a composite number?
True
Let s(z) = -z**2 + 6*z - 1. Let a be s(5). Let x(o) = -o**3 - 1 - 3*o**2 + 4*o - a*o. Is x(-4) a prime number?
False
Let h = 52 - 34. Let t = 3 + h. Let c = 44 - t. Is c a prime number?
True
Let o = 85 - 43. Let m = -19 - o. Let i = m - -96. Is i a prime number?
False
Let z(x) = -x*