*i - 102 - 535 = g. Is i prime?
True
Let i = 24 - 34. Let n be (-4)/i - 2728/(-5). Is 9/15 - n/(-15) a composite number?
False
Let l = -257 - -102. Let u = l - -224. Is u a composite number?
True
Let g(b) = 7*b. Let y(h) = -h. Let m(l) = -g(l) - 5*y(l). Is m(-1) a prime number?
True
Let u = 35 - 10. Suppose -5*t = u, 2*w + 2*w - 179 = -5*t. Is w a prime number?
False
Let z(w) = w**2 - 2*w - 5. Let o be z(4). Let y(n) = -18*n - 5. Let a be y(-4). Suppose o = 5*v - a. Is v prime?
False
Let b = 19856 + -4783. Is b composite?
False
Suppose -d = -0*d + 272. Is 3*(d/(-6) + -3) composite?
False
Let x(m) = 2*m - 3*m + 2*m. Let h(n) = 19*n - 1. Let q(l) = h(l) - 3*x(l). Is q(3) prime?
True
Let h = -2399 - -4074. Suppose -6*p = -p - h. Is p a prime number?
False
Let m be 0 - (-1 - -2) - -1. Suppose m = 3*u - 2*u. Is -4 - -4 - (u - 51) a composite number?
True
Let q(p) = 1 + 4 - 3 + 3*p**3. Let v be q(4). Suppose 0*d - v = -2*d. Is d a prime number?
True
Let t(g) = g**2 - 8*g - 6. Let h be t(8). Let f = 52 - h. Suppose f = 3*s - 101. Is s prime?
True
Let x(u) = -76*u + 37. Is x(-21) prime?
False
Is ((-301)/(-3))/((-1)/15*-5) a prime number?
False
Let h(a) = -2*a**3 - 14*a**2 + 5*a + 19. Is h(-12) a prime number?
True
Suppose -2*g - 5 = 9. Is 2/7 - 3435/g composite?
False
Let v(a) = a**3 - a**2 - a + 4. Suppose 2*x = c - 3*c + 2, 2*c = -x. Let y be (-1)/((-1)/(c - -4)). Is v(y) a prime number?
True
Suppose 4*a - 2*i - 1234 = -0*i, -3*a - i + 933 = 0. Let f = -192 + a. Is f a prime number?
False
Let z(h) = -h + 1. Let u be z(-2). Let g = -5 + 11. Suppose 5*f + 130 = 5*v, -v - 122 = -g*v - u*f. Is v a prime number?
False
Suppose 5*m = 421 + 634. Is m prime?
True
Let l = 3 - -1. Suppose 5*n = 0, l*p - 2*p - 2*n = -86. Let j = 12 - p. Is j a composite number?
True
Let l(a) = -63*a - 47. Is l(-18) a prime number?
True
Let q(w) be the second derivative of -w**5/20 + 7*w**4/6 - 5*w**3/6 - 3*w**2/2 - 8*w. Is q(11) a composite number?
True
Let h be 10/1*(-4)/(-8). Suppose 2 - h = -5*a - 4*f, -3*f - 18 = -3*a. Suppose -2*s = a*v - 47, v - 12 = 4*s - 1. Is v prime?
False
Let m be -2*(3/2 + -1). Is 114/1 - (2 + m) prime?
True
Suppose -a = a. Suppose -4*r - 4*c + 44 = a, 15 = 2*c + c. Let g(i) = i**3 - 7*i**2 + 9*i - 7. Is g(r) prime?
True
Let x = 107 + -150. Let t = x - -129. Suppose 5*g + 4*h = 451, g + h - 5 = t. Is g composite?
True
Suppose -3*q = 5*f - q - 19, -2*f - 2 = -4*q. Suppose 5*o + 73 + 415 = 4*n, -f*n + 389 = 2*o. Is n composite?
False
Suppose w = 1, 0 = 5*z + 7*w - 6*w - 5756. Is z a prime number?
True
Let l(f) = -3*f**2 + 2*f + 2. Let d be l(-4). Let t be 423/d + (-1)/6. Is t/44 - (-862)/22 prime?
False
Let s = 1481 - 817. Suppose -3*k + 2*l = -2*l + 659, 5*l = 3*k + s. Let t = -50 - k. Is t a prime number?
True
Let j be ((-46)/(-5))/(6/210). Suppose 6*v - j = -v. Is v a composite number?
True
Suppose 3*v + 23 = 3*n + n, n = 4*v + 22. Let p = 5 - n. Suppose -4*c = p + 5, 4*a + 4*c - 116 = 0. Is a a composite number?
False
Is (213 - 1) + (-19 - -18) prime?
True
Let u(x) = -x + 65. Is u(0) a prime number?
False
Let j = -1243 + 2534. Is j a prime number?
True
Let a be ((-6)/(-8))/(2/280). Suppose 0 = z - 6*z + a. Is z composite?
True
Suppose -3*v = -v + 2. Let y(o) = -23*o**3 - 1. Is y(v) composite?
True
Is (-194)/(-3)*27/18 a composite number?
False
Let y be 31*(19*-2)/2. Let r = y + 1086. Is r composite?
True
Suppose 12 = 3*k, 2 = -2*p + 2*k - 20. Let n = 9 + p. Is n a prime number?
True
Let m(v) = -v**3 + v**2 + v + 129. Let r be m(0). Let u = r - 58. Is u prime?
True
Let i(y) = -8*y + 15. Let x be i(-14). Suppose 4*t - 21 - x = 0. Is t a prime number?
True
Let f(c) = 56*c - 3. Let n be f(6). Suppose -2*y - 5*p + 165 = -57, -3*y + 3*p + n = 0. Is y composite?
True
Let y = 4 + -1. Suppose y*u - u = 134. Is u a composite number?
False
Let m be (-2)/((-38)/10 + 4). Suppose -s + 5*x - 92 = -22, -5*s - 210 = 3*x. Is (m/(-3))/((-10)/s) prime?
False
Suppose -c = -2*c + 3*u + 649, 3*u = 2*c - 1298. Is c prime?
False
Suppose 130 + 299 = 3*o. Is o prime?
False
Suppose -c + 5*z + 658 = 28, 2*z + 645 = c. Is c composite?
True
Suppose d - 690 = -4*d. Let b = 217 - d. Is b composite?
False
Is 20 + 9/3*1 composite?
False
Let c(i) = -22*i - 17*i - 18*i + 4. Is c(-9) prime?
False
Suppose -3*w = -5*w + 10. Suppose -4*l = -a - 0 + 105, -a = -w*l - 109. Is a a composite number?
False
Let z(m) = -7*m**2 + m + 7. Let y(b) = 8*b**2 - 2*b - 8. Let n(l) = -2*y(l) - 3*z(l). Is n(6) a prime number?
True
Let w(g) = g**3 - g + 6. Let t be w(0). Suppose -50 = -4*p + t. Suppose 59 = 3*j + p. Is j a prime number?
False
Let i = -17 + 48. Is i a prime number?
True
Let j = 12 - 10. Suppose -d + 69 = -5*o, -2*d = -0*d + j*o - 162. Is d a composite number?
False
Let t(l) be the first derivative of l**2 - 3 + 3/4*l**4 - 5/3*l**3 + 3*l. Is t(4) prime?
False
Let r(m) = -4*m**3 - 13*m**2 - 10*m + 2. Let k(s) = -s**3 - s**2 - s - 1. Let i(f) = 5*k(f) - r(f). Let t(p) = p + 3. Let w be t(4). Is i(w) composite?
True
Let k = -595 + 1244. Is k composite?
True
Let q(s) = -104*s - 7. Let a be q(-6). Suppose a = 3*x + 4*t, -3*x - t = -5*t - 577. Is x composite?
False
Let k(s) = -5*s**2 + s - 6. Let u be k(-9). Let o = 713 + u. Is o a composite number?
False
Suppose -495 = -3*c + 1860. Is c a composite number?
True
Let s(o) = -o**2 + 3*o + 8. Let v be s(7). Let a = v - -39. Is a composite?
False
Let r(f) be the second derivative of f**7/840 - f**6/120 + f**5/60 - f**4/12 - f**3/2 + 2*f. Let j(c) be the second derivative of r(c). Is j(4) a prime number?
False
Let i(u) = -3 - 18*u - 20*u + 8*u - u. Is i(-2) a composite number?
False
Suppose j = -3*j + 432. Suppose -k = -3*f - 0*k + j, -3*k = 4*f - 131. Is f a prime number?
False
Suppose -w = 1363 - 3542. Is w a composite number?
False
Suppose -28 = -5*c - 3. Suppose -z - c*y - 139 = -2*z, 2*z - 269 = y. Is z composite?
True
Suppose 92 + 1810 = 6*k. Is k prime?
True
Suppose -7 = -3*o + 2*t, 0 = -5*t - 12 - 13. Let c(w) = -113*w**3 + w**2 + w. Is c(o) prime?
True
Suppose 3*g + 5*t = 3797, -3*g + 2*t = -2270 - 1499. Is g a prime number?
True
Suppose -5*d = -a - 22, 0*a - 4*a + 3*d - 88 = 0. Suppose -383 = -3*l - 80. Let z = a + l. Is z composite?
False
Let n = 0 + 3. Suppose 2*c + 1 = 2*m + n, -3*m - 7 = -c. Is 18*(-4)/(-2) - m prime?
False
Suppose 0 = 3*f + 2*r + 2*r - 8, 0 = 5*f + 2*r - 4. Let d(g) = 16*g + 3 + f + 0. Is d(4) a composite number?
False
Suppose -2*x = 3*j - 5883, 8*j + x + 1956 = 9*j. Is j composite?
True
Let x(l) = 22*l - 5. Let f(i) = -43*i + 11. Let k(s) = -4*f(s) - 9*x(s). Is k(-3) prime?
True
Suppose 20 = g - 537. Is g a composite number?
False
Let b(k) = 2*k**3 - 3*k**2 + 3*k + 13. Let o(l) = -l**3 + 2*l**2 - 2*l - 7. Let h(f) = 3*b(f) + 5*o(f). Is h(5) a prime number?
True
Let l(c) = -2*c - 1. Let b be l(-1). Let x be b + 1*(0 + -1). Is x - ((-2 - 33) + -2) prime?
True
Let a(b) = -b**2 + 6*b - 6. Let d be a(3). Is 378/d + (-1)/(-1) prime?
True
Let l(h) = 2*h**2 + 2*h - 6. Suppose 4*g - 28 = -8. Let d be l(g). Suppose -d = -2*p + 52. Is p composite?
False
Suppose -7*h - h = -21944. Is h a composite number?
True
Let m(s) = 192*s. Suppose 4*i + 4 = 12. Let a be m(i). Suppose -a = -3*r + 267. Is r prime?
False
Let k(l) = 43*l**3 - 2*l**2 + 1. Let t be k(1). Let b = -15 - 8. Let i = b + t. Is i a composite number?
False
Let b = -18 - -23. Suppose s - 95 = 4*n, -b*s = -s + 4*n - 360. Is s prime?
False
Let h be (-549)/(-63) + (-2)/(-7). Is (-638)/(-4) + h/6 a prime number?
False
Suppose -3*c - 9 + 0 = 0, 4*j + 1 = -3*c. Suppose -r + 3*r + 5*x = 7, -5*r + 3*x + j = 0. Suppose 4*b - 85 = -r. Is b prime?
False
Let f(i) = -i**3 + i**2 + 2*i - 7. Is f(-7) a prime number?
False
Suppose -2*k = -5*m + 2*m + 2029, -2*m - k + 1355 = 0. Is m a composite number?
False
Let p be -1*(-2 + 3/(-3)). Suppose -2*b = -4*a + 18, 7 + 5 = p*a - b. Suppose -a*m - 42 = -6*m. Is m prime?
False
Let l(q) = -q**3 + 8*q**2 - 3*q + 4. Is l(6) a composite number?
True
Let j(u) = -u**3 + 7*u**2 - 2*u. Let l be j(7). Let b be (-4)/l + 2/(-7). Suppose -3*n + b*y = y - 172, 3*y + 122 = 2*n. Is n composite?
True
Suppose -1100 = 5*c - 4645. Is c prime?
True
Let k = -756 - -1673. Is k a prime number?
False
Let h(x) = -x**3 + 5*x**2 + 5*x - 2. Let j be h(4). Suppose -c + j