True
Suppose 0 = 28*y - 22*y - 21558. Is y prime?
True
Suppose 2*b - 367 = 379. Is b prime?
True
Let t(i) = -i**3 - i**2. Suppose -5*x + 8 = 3. Let f(c) = -5*c**3 - 11*c**2 - 2*c - 1. Let z(r) = x*f(r) - 3*t(r). Is z(-6) prime?
False
Let u(y) be the first derivative of -y**4/4 + 2*y**3/3 + 3*y**2/2 - 2*y - 3. Is u(-3) prime?
False
Suppose -5994 = -8*u - 2114. Is u composite?
True
Suppose -5*k + 0*w + 3*w = 28, 4*k = -3*w - 17. Is (-3 - k)/((-4)/(-130)) a composite number?
True
Suppose -5*n = -5*x + 320, -x - n - 131 = -3*x. Is x a composite number?
False
Suppose 5*v + 877 = 2*t, 2*t + 2236 = 7*t + 2*v. Is t composite?
True
Let g = -53 + 89. Suppose -p + 7 = -0*p - q, -g = -4*p + 2*q. Is p composite?
False
Let r(o) = -3*o**2 - 6*o. Let p(m) = -3*m**2 - 5*m. Let i(c) = 4*p(c) - 5*r(c). Let x be (7/(-3))/(2/6). Is i(x) composite?
True
Let p(g) = -7*g**2 - 5*g + 3. Let x(s) = 7*s**2 + 5*s - 3. Let c(j) = -3*p(j) - 2*x(j). Suppose -q + 2*q = -4. Is c(q) composite?
False
Suppose 4*o - o + 2*j - 905 = 0, j + 1203 = 4*o. Is o composite?
True
Suppose -5*q = -10326 - 15979. Is q prime?
True
Let z(w) = 4*w**2 + 21*w - 17. Is z(14) prime?
True
Suppose -2*k = t - 5*t + 2204, 5*k = 0. Is t composite?
True
Let w = 8 + -4. Let v = w + -3. Is v/3 - 58/(-6) composite?
True
Let q(l) = 4*l**2 - 18*l + 15. Is q(10) prime?
False
Let l be ((-3)/2)/((-3)/10). Suppose 0 = -t + 2*u, t + l*u + 13 = -8. Let o(q) = q**3 + 8*q**2 + 3*q + 5. Is o(t) composite?
False
Let g(x) = x**2 + x. Let u be g(-1). Let q(y) = y + 37. Is q(u) a composite number?
False
Suppose -2*c + 66 = -12. Let u = c + 28. Is u composite?
False
Let z be 2/(-6) - 4280/(-15). Suppose -4*f + z = -1039. Is f prime?
True
Suppose j = 4*a + 25, 3*a + 2*j - 8 = 4*a. Let c = 6 + a. Suppose 105 = -c*d + 3*d. Is d composite?
True
Let y = -2200 + 4403. Is y a composite number?
False
Suppose 2*d = d, 20 = 5*z - 4*d. Let i = 2 + z. Is i a prime number?
False
Let d(n) = -40*n**2 - 1. Let o be d(-1). Let m = 52 + 8. Let s = m + o. Is s a prime number?
True
Let l(m) = 21*m + 8. Let s(n) = n - 1. Let c(p) = -l(p) - s(p). Is c(-8) a composite number?
True
Suppose 3*p - 12 = -0*p. Suppose p*f - f = j + 20, 2*f - 5*j - 22 = 0. Is 21 - 1/(3/f) a composite number?
False
Let l(b) = -b + 6. Suppose u + 2*u = 0. Is l(u) a composite number?
True
Let j(m) = -4 + 1 - 6*m**2 + 3*m**2 - 7*m + 0*m**2. Let w be j(-5). Let d = w - -86. Is d a prime number?
True
Suppose 4*j + 5*d = 433, -3*j + 500 = 2*j - 2*d. Is (j/9 - 1)*3 prime?
True
Suppose 4*a = 5*w - 4 + 3, -7 = -2*a - 5*w. Is 67*((-2)/(-2))/a prime?
True
Suppose -5*l + 372 = -3*p, 3*p = 2*l - l - 84. Suppose w - l = -w. Let r = w + -13. Is r composite?
False
Let u(r) = -r**2 + 12*r + 10. Suppose 4 - 20 = 4*p. Let v = 13 + p. Is u(v) a prime number?
True
Suppose j - 28 = -23. Suppose 101 = i - j*b, -5*i + 275 = -2*i - b. Is i composite?
True
Is 160 + (9/1)/(-3) prime?
True
Let h(v) = 4*v**2 - v + 1. Suppose n = q - 3, 0 = 4*n + 4*q - 2*q + 18. Is h(n) a prime number?
False
Let z(s) = -12*s - 2. Let b be z(3). Let f(i) = -31*i - 21. Let r be f(-10). Let g = r + b. Is g a prime number?
True
Let j = -19 + 39. Suppose -2*l = -2*i + j, 0*i = 2*i - l - 16. Is i a composite number?
True
Suppose 0 = -2*y - x + 233, 2*y - 4*x = -54 + 272. Is y composite?
True
Let n(q) = q + 3. Let x be (8 - -2)/(3 - 1). Suppose -4*g = -3*c - g + 9, x*g - 45 = -5*c. Is n(c) composite?
True
Let i(k) = -4*k**3 + 7*k**2 + k + 7. Is i(-6) a composite number?
False
Suppose 2*f + 2*f + 341 = h, 0 = 5*h - 3*f - 1688. Is h composite?
False
Let h = -4 - -1. Let r = 65 + -7. Is (r/h)/(7/(-21)) a prime number?
False
Let j be 11/9 - 22/99. Is (695 - -4)*j/3 a composite number?
False
Suppose -q + 3 = -0. Let b(x) = 26*x**2 - 3*x - 2. Is b(q) composite?
False
Let b(u) be the first derivative of -12*u**2 + 9*u - 1. Is b(-7) a prime number?
False
Is (-29187)/(-99) + (8/22)/2 a composite number?
True
Suppose -t + 5*i + 192 = -86, -3*i + 1066 = 4*t. Suppose 0*f - 5*f - d = -335, t = 4*f + 2*d. Is f a prime number?
True
Let p = 12 + -24. Let a be (-15)/(-1)*8/p. Is (-4)/10 + (-894)/a a composite number?
False
Let q(g) = -g - 6. Let w be q(0). Let o = 21 + w. Is o prime?
False
Let y(v) = 22*v**3 + 2*v**2 - v. Is y(1) a prime number?
True
Let w be 3 - 1/((-1)/(-3)). Suppose 0 = -u + 570 - 200. Suppose b + 5*p = 52, w*b = -5*b - 3*p + u. Is b prime?
False
Let k = 18 + -14. Suppose -k*n + 606 + 142 = 0. Is n a composite number?
True
Let g(a) = 3*a**3 - 2*a**2 - 2*a - 1. Let f be g(-1). Let v be (-7)/f - 2/(-8). Is (-1)/(v*2/(-212)) prime?
True
Suppose -3*c = -4*i - 120, 160 = 4*c - 5*i + 4*i. Let d be 1 + 3/(3/c). Suppose d = 4*f - 3. Is f prime?
True
Let o(i) = 2 + 11*i + 7*i + 29*i. Suppose -4*l - 5*v = 8, -4*v - 5 = l - 2*v. Is o(l) composite?
True
Suppose 0 = -6*m + m + 5, l - m = 1248. Is l a composite number?
False
Suppose 0 = 4*u + 2*k + 380 - 44, 0 = -3*u + 5*k - 226. Let m(o) = 5*o + 12. Let d be m(-9). Let t = d - u. Is t a prime number?
False
Let c = -50 - -119. Is c composite?
True
Suppose 0*r - 46 = -r. Is r a prime number?
False
Let s(m) = 2*m**2 - 4*m + 7. Suppose -3*l + 2*l + 7 = 0. Is s(l) composite?
True
Let u(n) = -4*n - 2. Let q be u(-3). Let p = -4 + q. Is p a composite number?
True
Let k = -5 + 2. Let n(i) be the second derivative of -i**5/5 - i**4/12 + i**3/3 - i**2 - 3*i. Is n(k) prime?
False
Let y(x) be the third derivative of x**4/24 + x**3/6 - 2*x**2. Let k(i) = 8*i + 5. Let u(o) = k(o) - 4*y(o). Is u(3) a composite number?
False
Let m(q) = -q**3 + 9*q**2 + 5*q + 12. Let d be m(11). Let v = d + 588. Is v prime?
False
Suppose 4*k - k = -3. Is -1 - k - (11 + -122) prime?
False
Let a be 2 - (4 - 2) - -616. Let c = -231 + a. Suppose -s - 252 = -2*q - 0*s, 3*q - c = -2*s. Is q prime?
True
Let a(k) = k - 1. Let c be a(2). Is (c - 4) + (-22)/(-1) composite?
False
Suppose -5 = -2*t + v, 4 = t + 3*v - 4*v. Let u(w) = 120*w**3 + 1. Is u(t) a prime number?
False
Let z(l) = 12*l**2 + 3*l + 3. Let m be z(-2). Suppose x = 4*x - m. Is x a composite number?
True
Let f(c) = c**3 + 11*c**2 - c - 14. Let s be f(-11). Is 2/(-6)*s + 34 composite?
True
Let c(u) = -46*u + 5. Is c(-2) a prime number?
True
Let j(p) = -44*p**3 + 2*p**2 - 5*p - 5. Is j(-4) a composite number?
True
Let n(k) = 63*k + 1. Let r be n(-5). Suppose -a = 4*z - 2*z + 231, 4*z + 239 = -a. Let u = a - r. Is u a prime number?
False
Let y(f) = -10*f - 4. Let x be y(-7). Suppose -3*h + x = -3*b, 2*h = 6*b - b + 44. Is h prime?
False
Suppose -211 = -2*h + 175. Let m = h + 10. Is m composite?
True
Let x = 1 - 23. Let c be (-4)/6 - x/6. Suppose 3*t + t - c*u = 220, -5*u = -4*t + 220. Is t composite?
True
Let h(t) be the first derivative of -7*t**4/24 + t**3/2 - 3*t**2/2 - 3. Let w(y) be the second derivative of h(y). Is w(-5) a prime number?
False
Suppose -s = 4*s + 840. Let f = s - -44. Let t = -75 - f. Is t composite?
True
Suppose 3 - 5 = -i. Let p(x) = -x. Let z be p(-3). Suppose 0 = i*c + z*t - 23, 64 = c + 4*c + t. Is c a composite number?
False
Let k = 6 + -3. Suppose -k*t - l = -11, 5*t - l + 0*l = 5. Let m = t - -5. Is m a composite number?
False
Let b(q) = -q**3 + 7*q**2 - 7*q + 9. Let d be b(6). Suppose -2*u = 3*t - 48, -48 = -2*u + 2*t + d*t. Is u/(4/2) + -1 a composite number?
False
Suppose -l - 108 + 575 = 0. Is l a composite number?
False
Suppose t + 354 = -3*w - 171, -9 = -3*t. Let o = w - -399. Is o prime?
True
Suppose i + i = -12. Let k(g) = g**2 + 4*g + 2. Is k(i) a prime number?
False
Let z(t) = 38*t. Let l be z(7). Let i = l + -177. Is i prime?
True
Let q(u) = 34*u + 2. Let b be q(2). Let m = b - -71. Is m prime?
False
Let q(y) be the first derivative of -y**4/4 + 11*y**3/3 - 4*y**2 + y - 2. Let z be q(7). Suppose 3*s = -0*s + z. Is s a composite number?
False
Let w(l) be the second derivative of l**6/90 - l**5/15 - 5*l**4/24 - l**3/3 - 2*l. Let i(z) be the second derivative of w(z). Is i(6) a composite number?
True
Suppose d - 2*m - 837 = 0, -m = -2 + 7. Let s = d + -492. Is s a composite number?
True
Let l be 6/8*16/4. Suppose 4*n - 3*a = -0*a + 656, 0 = 3*n - l*a - 495. Is n a prime number?
False
Let p(s) = -s - 4. Let l be p(-4). Is 77 + 2/6*l prime?
False
Let p be (0 + 1)/((-1)/(-66)). Let o = -2 - -4. Suppose 0 = o*d - 3*l - 149, p 