 be u(4). Let w = -6 + x. Is w a prime number?
True
Let p(g) = 174*g**3 - g**2 - 5*g + 3. Is p(2) prime?
True
Suppose -13 = 2*q + 15. Let h be (-308)/(-49) + 4/q. Suppose 2*z = 5*m + 51, 3*z - 72 = -3*m + h*m. Is z prime?
True
Let z(w) = -w**3 - 6*w**2 + w - 1. Let p be z(-6). Is p/(-2)*6 - -2 composite?
False
Let b(i) = 5*i**3 + 2*i**2 - 2*i - 1. Let q be b(-2). Let c = 90 - q. Is c a prime number?
False
Let k(r) = -r**3 - 7*r**2 - 8*r - 9. Let d be k(-6). Suppose x + d*x = 44. Is x a prime number?
True
Let f(a) = a - 2. Let p be f(5). Suppose 4*c - p*k + 538 = -146, -5*k + 342 = -2*c. Is ((-2)/3)/(6/c) a prime number?
True
Is 5 + 4045 + (1 - 2) composite?
False
Suppose 0 = -2*i - 2*i + 12. Suppose q + i*q = 76. Is q a prime number?
True
Suppose 3*a - 4*a = -1. Suppose -3*c - a - 8 = 0. Is (-1 + 14/(-6))*c a composite number?
True
Let b = 445 + 1890. Is b prime?
False
Let o be 10/(-6) - 4/12. Is 1130/5*(-1)/o a composite number?
False
Let l be (-7)/(-2) - 1/(-2). Let h(b) = 0*b - b**3 + b + l + 0*b + 6*b**2. Is h(6) prime?
False
Let h(p) = p**3 + p**2 + 3. Let k be h(0). Suppose -5*d - k*v = -26, 0*d - 4*v = 3*d - 20. Suppose 420 = d*c - 88. Is c prime?
True
Suppose 0 = 2*k - 4*l + 28 - 706, -k - 2*l = -343. Suppose -n = -k - 36. Is n a composite number?
True
Let a = 723 - 416. Is a prime?
True
Suppose -5 - 1 = -3*h, -h - 510 = 4*t. Let m = t + 247. Is m prime?
False
Let v be (2/(-3))/((-6)/18). Let c(w) = v - 4 + 1 + 4*w. Is c(3) prime?
True
Let j(y) = y**3 + 9*y - 13 - 2*y - 12*y**2 + 5*y. Let d be j(11). Is 362/4 - 1/d a composite number?
True
Let l = -5 + 8. Suppose -5 = l*n + 10, 5*n + 840 = 5*t. Suppose -5*i = -4*m - 197, -2*i + 5*m + t = 2*i. Is i a prime number?
True
Let z = -477 + 824. Is z a prime number?
True
Suppose -5*m - 23 = z - 147, -4*m = -5*z + 678. Is z a prime number?
False
Let t be (1 + (-1)/4)*4. Suppose 3*j = -d + 17, -9 - 10 = t*d - 5*j. Suppose -d*o = -o - 89. Is o a prime number?
True
Suppose 2*u = 1 + 5. Suppose -u*p - 283 = -d, -602 = -2*d - p - 2*p. Is d a composite number?
True
Let x = -9 + 11. Suppose -x*g - 3*z = -23, 2*g - 5*z - 83 = -20. Is g a composite number?
False
Is 4*(2 - 2637/(-12)) composite?
False
Suppose -t + 24 + 15 = 0. Is t composite?
True
Let c = 14 + -2. Is ((-178)/(-5))/(c/30) composite?
False
Let w(k) = -16*k + 3. Let f = -28 - -15. Is w(f) prime?
True
Suppose -3*u - 1 = -7. Let j(c) = 166*c**2 + 17*c**2 - 22*c**u. Is j(1) a prime number?
False
Let a(o) = 55*o**2 + o - 1. Let m be a(1). Let k = 108 - m. Is k a composite number?
False
Suppose -3*f - f + 12 = 0. Let b be (-1)/1 + -1 - -15. Suppose b = -f*n + 55. Is n a prime number?
False
Let a(y) = 6*y + 5. Let i(o) = -2*o**3 - 4*o**2 - 4*o - 3. Let c be i(-2). Let l be a(c). Suppose -2*x + l = -3. Is x a composite number?
False
Is (-110152)/(-10) - 4/20 a prime number?
False
Suppose 2*l - 5*x = 86, -l - x = -36 - 21. Is l prime?
True
Suppose 1690 - 174 = 4*f. Is f composite?
False
Let y = 284 + 683. Suppose 19 = -4*f + y. Is f prime?
False
Let v = 0 + -2. Let p = 6 + v. Is 300/28 - p/(-14) composite?
False
Let o = 223 - 12. Is o prime?
True
Is 29/(2/(-113)*(-2)/4) composite?
True
Let l = -66 + 155. Is l a composite number?
False
Let w = -12 - -19. Suppose w + 113 = 5*u. Let l = 101 - u. Is l a prime number?
False
Let y be 6*(-4)/(8/335). Is (-2)/8 + y/(-4) a prime number?
True
Let u(b) = -4*b - 4*b + 4*b + 6*b**2 + b - 2. Is u(-5) a prime number?
True
Suppose -691 = -5*w + 904. Is w a composite number?
True
Suppose a - x - 4*x = 4, -3*x = -2*a + 8. Let r(z) = -1 + z - z + a*z. Is r(3) a prime number?
True
Let f(z) = 2*z**2 - 2*z - 6. Let h be f(0). Suppose -82 = -c - c. Let t = h + c. Is t composite?
True
Let d = 6782 - 175. Is d a prime number?
True
Suppose -12 = -3*c + d + 3*d, -5*c + 2*d + 20 = 0. Suppose 0*b + c*b - 16 = 0. Is (-97 + 0)*(3 - b) a prime number?
True
Suppose -2*q + 10 = -4. Suppose -4*c + 147 = q. Is c a prime number?
False
Suppose 6*b + 99 = 3*b. Let o = 50 - b. Is o a prime number?
True
Let p(b) = 101*b**3 - 2*b**2 + 4. Let q be p(3). Suppose 3*d + 4*o = q, 3*o - 4507 = -5*d - 0*o. Is d composite?
True
Suppose 0 = 3*k - 5*b + 9, -5*k + b + 9 = 2. Suppose 0 = 4*r + k*y - 6 - 28, 14 = 2*r + 2*y. Suppose -r + 1 = -3*p. Is p composite?
False
Let l = 130 - 91. Is l composite?
True
Let y(w) = 5*w**2 - 2*w - 1. Let r be y(-4). Suppose 0 = -a + r - 10. Is a a composite number?
True
Let w(k) = -4 + 5 - 1 + 1 + 13*k. Is w(4) a prime number?
True
Let n(r) = 2248*r**2 - 4*r + 2. Is n(1) composite?
True
Suppose 2*j - 6 = -2*j - o, 5*o = 4*j - 18. Let k be (j + 1)*(2 - 1). Let i(m) = 18*m + 1. Is i(k) composite?
True
Suppose 0 = l + 4*l - 835. Is l prime?
True
Let x(o) = -14*o - 6. Let v be x(-8). Let w = v + -11. Is w a composite number?
True
Suppose 2*s - g = 233, 263 = -s + 3*s + 5*g. Is s a composite number?
True
Suppose -3*k + 39 = -3*r, -r - 39 = -3*k - 4*r. Suppose -27 = -4*y + k. Is y a prime number?
False
Let y = -7 + 38. Let h = y - -58. Is h a prime number?
True
Let i be (-2 + -3)*2313/(-15). Suppose -i = -4*w + 5. Is w a prime number?
False
Let c(b) = 21*b**3 + 2*b**2 - b + 3. Is c(2) composite?
True
Let l(h) = 537*h**3 + 2*h**2 - 1. Let p be l(-1). Is p/4*(-1)/2 a composite number?
False
Let l(k) = -k**3 - 7*k**2 - 5*k - 4. Let x be l(-7). Let s = 169 - x. Suppose 3*h + 3 = 0, -2*r + s + 191 = -3*h. Is r prime?
True
Let y(w) = -w**2 + 7*w + 14. Let q be y(8). Let r be ((-2)/3)/(6/9). Is (6/(-12))/(r/q) composite?
False
Suppose 4*x = 2820 + 736. Is x a prime number?
False
Let z = -152 + 483. Is z composite?
False
Suppose -8 - 2 = -5*f. Suppose 0 = f*m + m - 759. Is m a prime number?
False
Suppose 3351 = 2*d + 3*d - 2*x, -3*x - 2007 = -3*d. Is d a composite number?
True
Let i(t) = -5*t**3 + t**2 + 2*t - 1. Suppose -2*m - 2 = 2. Is i(m) a composite number?
True
Let o = -42 + 767. Suppose -2*f + 7*f = o. Is f composite?
True
Suppose -5*n + 5*u + 10 = 0, -5*n + 8 = -4*u - 1. Let f be ((-5)/10)/(n/(-220)). Suppose -2*j - 3*o - 6 = -f, 5*o = -2*j + 108. Is j composite?
True
Let j(d) be the second derivative of -d**6/60 + d**5/30 + d**4/12 - d**3/6 - d**2 + 2*d. Let l(g) be the first derivative of j(g). Is l(-3) a prime number?
False
Let x = 5 - -9972. Is x a prime number?
False
Let o(n) = 2204*n**2 + 2*n + 1. Is o(-1) prime?
True
Let w be 238/(-18) - (-8)/36. Let b = 70 - w. Is b composite?
False
Suppose 6*y - 2*y = 892. Is y a prime number?
True
Suppose 3 = 2*t + 1. Is 2/(-1)*t - -33 a composite number?
False
Suppose 3*r - 200 = 4*s, -3*r + 4 = s + 39. Let v = s - -144. Is v a prime number?
True
Let i(a) = -a**3 - a + 85. Let f be 9/(1 + -4) + 3. Is i(f) prime?
False
Let u be (-1720)/(-22) - 20/110. Suppose 0 = -2*r - 4*b + 52, b + u = 2*r + r. Is r composite?
True
Suppose -5*z - 2*p + 1270 = -7*p, 0 = -z + 5*p + 234. Suppose 3*f - z = -10. Is f a prime number?
True
Suppose -v + 3 = 5. Let n(q) = q**2 + 2*q + 1. Let y be n(v). Is (-127)/((-2 - y)/3) a composite number?
False
Suppose 3*t = 2*g + 44, 10*t - 5*t = 4*g + 74. Is (t/21)/((-4)/(-3786)) a prime number?
True
Suppose 0 = 5*i - i - 9968. Let c = 1259 - i. Let v = -862 - c. Is v a composite number?
True
Suppose -j - 5*f = -164, 5*f = 4*f + 5. Is j composite?
False
Suppose -2*x = 2*x - 708. Suppose 78 = -3*t - 1542. Is (-3)/(t/x - -3) a composite number?
False
Let b be ((-5)/2 + 2)*-14. Let a(y) = -y**2 + 8*y - 3. Let k be a(b). Let j = 15 - k. Is j prime?
True
Let w = 710 - 97. Is w composite?
False
Let h = -4 - -6. Suppose -3*i + 5 = h*i, 4*i + 98 = 2*v. Is v prime?
False
Let j be ((-180)/1 - -2)/(-2). Suppose 4*o = 3*o + j. Is o prime?
True
Let d(w) = 6*w**2 - 15*w + 19. Is d(10) a composite number?
True
Let v = -22 + 135. Is v a composite number?
False
Suppose -5*j + 3 + 7 = 0. Suppose -j*i = -2*p + 114, -4*p - 4*i - 5 = -201. Is p prime?
True
Is -1*(-29)/2*(-16 + 54) prime?
False
Let k(x) = x**2 - x + 1660. Let r be k(0). Suppose -5*d + 5*l + r = 0, 3*l - 1296 - 356 = -5*d. Is d prime?
True
Suppose -d = -5*x + 2*d - 195, 0 = 3*d. Let v = x - -82. Is v prime?
True
Let z(l) = l + 2. Let d be z(1). Suppose 322 = d*g - 959. Is g a prime number?
False
Suppose 0 = 5*a - 0*a. Suppose 0 = w - a*w - 331. Is w prime?
True
Let c be 1 - 0 - (-3 + -19). Suppose 0 = 3*o - 19 - c