 2*l - 8*b = -3*b + 33. Suppose 4*u + l = u. Is 3/(-12) - 170/u a composite number?
True
Let p(a) be the second derivative of a**4/6 + a**3/2 + a**2 - a. Let v(w) be the first derivative of p(w). Is v(8) a composite number?
True
Suppose -z - 2 = -3. Let a = z - 2. Is 0*(-2 - a) + 7 prime?
True
Suppose 2*g - 1669 = -75. Is g prime?
True
Suppose 3*r = -123 + 480. Is r composite?
True
Let g(h) = -h + 9. Let i be g(4). Let z(p) = p**3 + p**2 - 7*p. Is z(i) a composite number?
True
Suppose 453 = m + 2*m. Suppose 0 = -2*h + m + 111. Is h composite?
False
Let k(j) = -j**2 - 4*j. Let v be k(-6). Let i be 2/3 - 5452/v. Suppose -l - 4*l = -i. Is l prime?
False
Suppose -f - 1 = -0. Is f/(-5) - 3620/(-25) a composite number?
True
Let o(l) = -6*l - 20. Is o(-7) a composite number?
True
Let n be (4/5)/((-16)/(-280)). Suppose n + 23 = u. Is u a prime number?
True
Let t = -811 + 1218. Is t prime?
False
Let p = 458 + -267. Is p a composite number?
False
Let k = 30597 - 5124. Is (k/12)/(-7)*-4 a prime number?
True
Let l = -3 + 6. Suppose 4*m - 8 = l*z + 15, -4*z = 20. Suppose -20 - 18 = -m*i. Is i composite?
False
Let u be -9*(1 + 2 + -4). Let s = 46 - u. Is s a prime number?
True
Let y = 251 + -115. Let r = y - 59. Is r a prime number?
False
Let t(y) = y**3 - y**2 - y. Let z be t(2). Let o(b) = 5*b**2 + 5*b + 7. Let s be o(5). Is (0 - z) + 0 + s composite?
True
Suppose -x = -4 - 1. Suppose -2*j - x*b = -230, -3*j = -2*j + 5*b - 115. Is j a composite number?
True
Let f(m) = -25*m + 5*m - 2*m**2 + 4 + 2*m**2 - m**2. Is f(-11) a composite number?
False
Let b be 47/(-7) + (-4)/14. Let m = 6 + -5. Is b*m*(-1)/1 prime?
True
Suppose 2*s = -7*i + 3*i - 18, -4*i - 20 = 0. Let v be (s/1 + 2)*-5. Is ((-15)/9 + 1)*v a prime number?
False
Suppose 2*y + 8 + 6 = 0. Let d = y + 8. Is -1 - (d + -55 + 0) a composite number?
False
Suppose 2*c + z - 9 = -0*c, 4*c - 5*z - 11 = 0. Let l = -4 - -26. Suppose -c*o = -5*o + l. Is o prime?
False
Let j(i) = 3*i**3 + i**2 - 3*i - 4. Let x be j(5). Let p = x + 38. Is p prime?
True
Let v = -40 - -311. Is v a composite number?
False
Let i(l) = 84*l**2 + 4*l + 1. Is i(3) composite?
False
Suppose -4*d - d + 10 = 0. Is d composite?
False
Suppose -12*t + 8*t = -1508. Is t composite?
True
Is (-1)/(-1)*-1*-253 a composite number?
True
Suppose -4*f = -2*f - 10. Suppose f*u = 31 + 19. Let k = u + 0. Is k prime?
False
Suppose -2*w - 402 = -8*w. Is w a prime number?
True
Suppose 2*b - 90 = b + p, -3*p = -5*b + 448. Is b a composite number?
False
Suppose 2 = -5*h + 3*j, 4*h + 5*j = 2*h + 24. Suppose 0 = -h*r + r. Let a(k) = k + 23. Is a(r) composite?
False
Let z = 163 + 164. Suppose -5*c = 4*b - z, 0 = 3*b + 2*c - 153 - 94. Is b composite?
False
Suppose -3 = 3*j + 21. Is (38/j)/((-3)/12) composite?
False
Suppose -60 = 5*t + 5*q, 8*q - 3*q + 18 = -2*t. Is 178*(-3 - t/4) a composite number?
False
Let u = -2 - -2. Let v(y) = 7*y - 31. Let l(g) = -g - 1. Let s(a) = -6*l(a) - v(a). Is s(u) a composite number?
False
Let q be 3/9 - (-44)/3. Let k be (q/6)/(1/2). Suppose -p - 2*f = -0*p - 3, -k*p + 2*f + 39 = 0. Is p a composite number?
False
Let k(b) = b**2 - 3*b + 4. Let n be k(5). Suppose n = 4*r - 14. Is r prime?
True
Is 2 - (9 + -4) - -1756 a composite number?
False
Let s(n) = 111*n - 2. Let d be 11 + -9 + 0 + -1. Is s(d) composite?
False
Suppose 0 = 3*o - 75 - 36. Is o a composite number?
False
Let i be 6/4 - 9/6. Let j be (i - 0 - -140)/(-1). Let k = j - -297. Is k a prime number?
True
Let j(l) = 1913*l + 6. Is j(1) a composite number?
True
Let l(o) = o**3 - o**2 - o + 1. Let y(h) = -2*h**3 + 8*h**2 + 4*h - 5. Let m(u) = 6*l(u) + y(u). Suppose p - 6*p + 10 = 0. Is m(p) prime?
True
Let f(q) = -q**3 - 2*q**2 - q. Let d be f(-1). Suppose p - 85 = -d*p. Is p prime?
False
Let y be ((-6)/12)/((-2)/(-148)). Let i = y + 594. Is i a composite number?
False
Let c = -34 + 56. Let d = 137 - c. Is d prime?
False
Let l(r) = 5*r**2 - 2*r + 1. Let m be l(1). Suppose m*w - 815 = -w. Is w composite?
False
Suppose -4*w = -7*w - 108. Let i = 31 - w. Is i composite?
False
Suppose 0 = -50*c + 51*c - 1145. Is c a composite number?
True
Suppose d - 6*d = 0. Suppose -3*a + 2*y + 107 = d, a + 146 = 5*a - y. Is a a composite number?
False
Suppose -7*f = -6380 - 5331. Is f composite?
True
Let d(v) = 2*v**3 - 2*v**2 + v - 2. Suppose -q + 2 = -z, z - 19 = -2*z - 2*q. Let c = 6 - z. Is d(c) composite?
False
Let q = -79 + 402. Is q a composite number?
True
Suppose -4*q + 3*i = -5, 3*q - i = i + 5. Suppose -14 = -2*r - 3*z, -3*r = z - 3 - 4. Suppose q*c = 114 + r. Is c a prime number?
True
Suppose -5*w + 295 = -1160. Is w a composite number?
True
Suppose -a + 596 = a. Is a composite?
True
Suppose 0 = 5*u - 20, 5*p = -u - u + 153. Suppose 0 = 4*z - p - 87. Let h = z - -18. Is h composite?
False
Let j be (-9)/(-6) - 6/4. Let b(v) = j*v - 6*v**2 - 2*v + 1 + v + 43*v**2. Is b(1) a prime number?
True
Let v = 174 + -102. Let i(z) = z**2 + z + 5. Let h be i(0). Suppose -h*w + v = -143. Is w a composite number?
False
Let o = -40 + 905. Is o a composite number?
True
Suppose 12 = -4*g - 4, 3*g = -4*i - 72. Let n = 36 + i. Is n composite?
True
Let i(w) be the second derivative of w**4/12 + 5*w**3/6 - 13*w**2/2 + 3*w. Is i(11) prime?
True
Suppose -2*p + 6*p = 0. Let g be 390/7 + 2/7. Suppose 3*m + 4*u - g = 177, p = -5*m - 4*u + 375. Is m composite?
False
Suppose -z + 218 - 84 = n, 5*n = 4*z - 500. Suppose 42 = -4*s + z. Suppose 0 = -2*k - 0*k + s. Is k composite?
False
Suppose 589 = 4*l + c, 650 = 4*l + 5*c + 57. Let b = l + -218. Let f = -24 - b. Is f prime?
True
Suppose 7*v - 5*v - 1162 = 0. Is v composite?
True
Suppose 3*z + 99 = 6*z. Suppose 5*w + z = -132. Is (-6)/w + 1690/22 composite?
True
Suppose 10 = -u + 81. Is u a prime number?
True
Let f = -735 + 1042. Is f prime?
True
Suppose 380 = -2*z - 498. Suppose 232 + 650 = -3*d. Let n = d - z. Is n composite?
True
Let z(w) = -1 + 18*w + 22*w - 4*w + 18*w. Is z(6) a composite number?
True
Suppose -70 - 39 = -r. Is r prime?
True
Let h(g) = 2*g**2 - 2*g + 1. Let k = 3 - 5. Is h(k) composite?
False
Let r be (-2 - 0)*2/(-2). Suppose -r*i = -0*i. Is i + 1 + 26 + -6 prime?
False
Suppose -5*f = -7 - 13. Suppose 30 = f*a + a. Is a a prime number?
False
Suppose 2*t = 3 + 15. Suppose -2*j + 1 = -3. Is (j + (-15)/t)*201 composite?
False
Let w(s) be the third derivative of -s**5/60 - s**4/3 - s**3/3 - s**2. Is w(-6) a prime number?
False
Let q(v) = v + 191. Let l(d) be the first derivative of -d**4/4 - 5*d**3/3 - 3. Let z be l(-5). Is q(z) a prime number?
True
Suppose -2*m + 4 = -0*m. Is 603*(m + 10/(-6)) composite?
True
Let q(i) = 5*i + 7 + 12*i - 3*i. Is q(5) prime?
False
Suppose k + 0*k = 6. Is ((-2)/(k/(-201)))/1 composite?
False
Let g = 1 + -4. Is (-59)/(-3) + 2/g prime?
True
Let f be (-1 - 0/1) + -116. Let y = -68 + 4. Let p = y - f. Is p composite?
False
Suppose -466 = 5*k + 1234. Is (-6)/2 + k/(-4) composite?
True
Let k = -256 - -551. Is k prime?
False
Is -2 + (-1)/(4/(-3556)) a prime number?
True
Suppose 30 = 3*x + m - 3*m, -5*x + 66 = 2*m. Suppose 4 = 4*j - x. Suppose 0 = -5*f - 0*f - q + 112, 0 = -3*f - j*q + 57. Is f a prime number?
True
Let q(h) = h**3 + 16*h**2 + 8*h + 5. Let l(v) = v**3 + 17*v**2 + 9*v + 6. Let c(a) = -3*l(a) + 4*q(a). Is c(-12) a prime number?
False
Suppose -11 - 3 = -a. Is a a composite number?
True
Suppose 4*n = -4*d + 216, -5*n - 94 = -2*d - 0*d. Suppose 0 = 2*u + d + 54. Is (2 - 0) + (0 - u) composite?
True
Suppose -162 + 13 = -y. Is y a prime number?
True
Let w = -5 + 6. Suppose -k + 67 = 5*l, 0 = -4*l + 4*k + 45 - w. Is l a composite number?
False
Let z(o) = 3*o**3 - 2*o**2 + 2*o - 10. Let m be z(7). Suppose y = -4*y + m. Is y a prime number?
False
Let v be (-2)/(-6) - 50/6. Let p(l) = l**3 + 8*l**2 - 2*l - 6. Let t be p(v). Is 344/t - 2/5 composite?
True
Let l be 84*(-1)/8*-14. Suppose -56 - l = -o. Is o a prime number?
False
Let m(p) = p**3 - 4*p**2 + 1. Let l be m(2). Let y be (-1942)/(-14) - 2/l. Let i = y - 86. Is i composite?
False
Suppose 4*g - 9 = x, 3*x - 5 - 13 = -3*g. Suppose x*r + 5 = 17. Suppose -3*v - 4*y + 37 + 274 = 0, 0 = -r*v + 3*y + 373. Is v a prime number?
True
Let u(s) = 2*s**2 - s - 1. Let r be u(-1). Let o be r - (2*-1)/2. Suppose -3*q + 397 = -f + o*f, f = -5*q + 664. Is q a prime number?