
False
Suppose 0 = -h + 29 - 110. Is (-4)/(-18) - 9621/h a composite number?
True
Suppose 3*d + 128 - 998 = 0. Suppose 2*u = -5*h + 255, 0 = 5*h - 10*h + 5*u + d. Is h prime?
True
Let q(m) = -88*m - 7. Is q(-6) a prime number?
True
Let a(i) = i + 2. Let j be a(3). Suppose 2*r = -4*x + 318, j*r - 481 = 2*r - 4*x. Is r composite?
False
Let g(q) = -634*q**3 + q**2. Let j be g(-1). Suppose -j = -6*d + d. Is d a prime number?
True
Let q be (-1 - 0) + (0 - -3). Is 33/q + 15/(-10) a composite number?
True
Let v(t) = 10*t + 1 - 3*t**3 + 2*t**3 + 11 - 10*t**2. Suppose 6*w = 21*w + 165. Is v(w) a composite number?
False
Let p be 54/2*2 - 0. Let f = 27 - 19. Let r = p - f. Is r a composite number?
True
Suppose u = -5*p + 5, -7*p = -4*u - 2*p + 20. Let l(r) = r**3 - 7*r**2 - 7*r - 8. Let h be l(8). Suppose -u*y + 5*b = -35, -y - b = -h*b - 7. Is y composite?
False
Is 4/(-5) + 22195/25 a prime number?
True
Let o(u) be the second derivative of 2*u - 1/6*u**4 + 1/3*u**3 + 1/20*u**5 + 2*u**2 + 0. Is o(3) prime?
True
Suppose 1 = -y - 3*d, -d = -2*y + 3*d + 18. Let k = y + -1. Is (2/k)/(1/166) a prime number?
True
Let z(p) = -78*p + 3. Is z(-2) a prime number?
False
Suppose -2*v = -171 + 39. Suppose b = -b + v. Is b composite?
True
Let r = 6 - 2. Let b(i) = 2*i**2 - 6*i + 5. Is b(r) a prime number?
True
Let q(d) = -28*d + 7. Is q(-10) a composite number?
True
Suppose 4*o - 894 = o. Is (-4)/6 - o/(-6) a composite number?
True
Suppose -2*t + 5724 = -5750. Is t a composite number?
False
Suppose -4*v = 4*w - 1736, 2*v = -11 + 1. Is w a prime number?
True
Let d = 2364 - -343. Is d a composite number?
False
Let h = 1767 + -679. Suppose -2*u + 6*u = h. Suppose u - 667 = -5*m. Is m prime?
True
Let p(b) be the second derivative of b**4/3 - b**3/2 + 5*b**2 + b. Is p(9) a composite number?
False
Let j(t) = -3*t**3 + 10*t**2 + 4*t + 9. Is j(-8) a prime number?
True
Is (1 + 824/(-6))/(10/(-30)) prime?
True
Suppose -4*w + 1176 = 188. Is w a composite number?
True
Let z = 5 + -5. Suppose z = -5*w - 14 - 46. Is (-681)/w - 1/(-4) composite?
True
Let p = -174 - -248. Is p prime?
False
Let s = -1 - -5. Let c be (s + -1 - 1) + 2. Suppose 0 = -2*r - 2*o - 2*o + 106, c*r + o - 205 = 0. Is r composite?
True
Suppose -5*u + 2*f - 224 = -27, -79 = 2*u - f. Let c = 44 - u. Let h = -6 + c. Is h prime?
False
Let p(o) = -o**2 - 8*o - 10. Let w be p(-7). Let d = w + 5. Suppose -d*k - 460 = -6*k. Is k a composite number?
True
Is ((-178)/8 - 2)/(10/(-200)) a composite number?
True
Let w(c) = -6*c - 5. Is w(-5) a composite number?
True
Let f be ((-20)/(-25))/(4/10). Suppose -f*j + 4*j = -3*c + 159, -3*c = -4*j + 291. Let k = -8 + j. Is k a composite number?
False
Let z(d) = 5*d + 2. Let r be z(2). Suppose r*a - 9*a = 111. Is a prime?
True
Let j be 11105/(-10) - (-1)/2. Is (-1)/(-3) + j/(-18) composite?
True
Let x be 0 + (-7)/((-21)/72). Suppose -c + 421 = x. Let m = c - 186. Is m a composite number?
False
Suppose h - 7 = -2*b, -3*b - 22 = -h - 0*b. Suppose -c = -h - 6. Is c a composite number?
False
Suppose -m - 4*m - t + 17470 = 0, -m + 3498 = t. Is m a prime number?
False
Let t(q) = 2*q - 4. Let p be t(7). Suppose 7*g - p*g = -267. Is g composite?
False
Let k = 1412 - 977. Let t = -184 + k. Is t prime?
True
Suppose 4*c - 12 = -4*g, 3*c - 2*c - 4*g - 8 = 0. Let i(f) = f**3 + 3*f**2 - f + 1. Is i(c) prime?
True
Suppose -3*v = 4*a - 1367, 0 = 4*v + v + 2*a - 2255. Is v prime?
True
Let r = -243 - -580. Suppose 0 = -4*m + 2*h - 762, -5*m - 2*h - 905 = 61. Let x = r + m. Is x a prime number?
False
Let r = -4 + 8. Suppose -2*m - 23 + 83 = 2*t, -3*m = 5*t - 152. Suppose 2*w = 0, -t = 3*g - r*g - 3*w. Is g a composite number?
False
Let v(l) = -l**3 - 6*l**2 - 5*l - 2. Let y be v(-5). Let x(s) = -24*s**3 - s**2 - s + 1. Is x(y) composite?
False
Suppose 3*l = -2*l + 155. Is l a prime number?
True
Let a(s) = 44*s + 3. Let i be a(5). Suppose -4*o = -d + 67, -4*o + 64 = 5*d - i. Is d composite?
False
Let b(o) = 29*o**2 - 2*o + 7. Is b(-3) composite?
True
Suppose 3*j - 16 = 26. Let p = 24 - j. Is p a prime number?
False
Let a = 3 - 2. Suppose 3*h = a - 4. Is (-1 - -2)*-215*h prime?
False
Suppose -y + 1228 = 4*i - 3*y, i = y + 309. Let k = 26 + i. Is k a prime number?
True
Is 4/(-18) - (-4724)/36 composite?
False
Suppose 2*p + 3*o - 407 = -2*o, 2*p + o - 411 = 0. Suppose p = h + h. Is h a prime number?
True
Let r(k) = 202*k + 1. Let s be r(2). Suppose 2*z - 593 = s. Is z a prime number?
True
Let f = -4 - -8. Suppose -189 = -5*p - 2*j - 2, f*p + 5*j - 153 = 0. Is p a prime number?
True
Suppose -5*i = 2*c - 6 - 9, 3*i + 2*c - 9 = 0. Suppose 0 = -4*d + i*d - 138. Is (d/(-24))/(2/16) composite?
True
Let l = 14 + -4. Suppose m + m = l. Suppose 3*g + 74 = m*g. Is g a prime number?
True
Let q(k) = k**3 - 4*k**2 - 5*k - 6. Let d be q(5). Is (d/(-4))/((-3)/(-502)) prime?
True
Suppose 7 = -0*k + k. Let p = 70 + k. Is p prime?
False
Suppose -6*a + 2217 = -7137. Is a composite?
False
Let a = 12 + -9. Suppose a*p = v + 179, 2*p + p - 185 = 4*v. Is p composite?
False
Let o(l) = 1 - 6 - 11*l + 0. Let f be o(-4). Suppose -3*g + 216 = -f. Is g a prime number?
False
Is 251*(-3 + 3 + 1) prime?
True
Let x(o) = -o + 7. Let v be x(0). Let a(y) = 4 - 4 - v*y - 5 - y**2. Is a(-4) a composite number?
False
Suppose -s + 0 = 1. Let g = s - -1. Suppose -4*u - 17 + 61 = g. Is u a composite number?
False
Is -3*(-3)/(-27) + (-1147)/(-3) prime?
False
Suppose -1849 = 7*r - 6294. Is r composite?
True
Let n be (2 + -3)*(0 - 2). Let i(l) be the second derivative of 6*l**5/5 - l**3/3 - l**2/2 - 3*l. Is i(n) a prime number?
False
Suppose 0 = -5*m - u + 2*u + 350, 2*u + 355 = 5*m. Suppose -8*l - m = -11*l. Is l composite?
False
Let s(q) be the first derivative of q**4/4 + q**2 + 4*q - 5. Let w(z) = z**2 + 5*z - 3. Let o be w(-6). Is s(o) prime?
True
Suppose -2*v + 7817 = t, 2*v - 7816 = -t - v. Is t a composite number?
True
Let q = 91 + -22. Suppose 5*w + 3*p - q = 0, 0 = 2*w + 3*w - p - 77. Is w a composite number?
True
Let l be ((-27)/(-2))/(4/(-24)). Is 1 + -5 + 2 - l prime?
True
Suppose t + 0*t = 7. Suppose t = 4*f + 3. Suppose -5*r + 76 - f = 0. Is r prime?
False
Let j(u) = u**2 - 5*u - 11. Suppose 0*v + 11 = v. Let d(f) = 5*f**2 - 25*f - 54. Let h(y) = v*j(y) - 2*d(y). Is h(10) composite?
False
Suppose 2*z - 150 = -z. Suppose -3*j = -j - z. Is j a prime number?
False
Suppose -5*j = 2*w - 1051, -5*w + 587 = 3*j - 36. Is j a prime number?
True
Let g be (-1)/2*(-1 - 3). Suppose 3*s - g*s = 85. Is s a composite number?
True
Suppose -2016 = -5*r + 379. Is r a prime number?
True
Let z(l) = -l**2 - 8*l + 9. Let n be z(-9). Suppose 129 = 3*c - n*c. Is c a composite number?
False
Let p(r) be the second derivative of 41*r**5/2 - r**4/12 - 5*r. Is p(1) a composite number?
False
Suppose -2*m = -4*m + 234. Suppose u - 306 + m = 2*s, 0 = -2*s + 10. Is u prime?
True
Let x(o) = o**2 + 6*o - 14. Let j be x(-7). Let g(r) = -47*r - 3. Is g(j) a composite number?
True
Let q(j) = 16*j**2 - 2*j + 1. Let n be q(1). Suppose f - 22 = -3*t, 2*t - 2 - n = -3*f. Suppose -t*u = -2*u - 185. Is u a prime number?
True
Let z(j) = j**3 + 3*j**2 + j - 4. Let q(r) = -2*r**3 - 5*r**2 - r + 8. Let p(i) = -4*q(i) - 7*z(i). Let s be p(3). Suppose 0*v + 265 = s*v. Is v prime?
True
Let d(o) = -o**2 + 376. Let g be d(0). Suppose -4*r + g + 4 = 0. Is r prime?
False
Let y(t) be the first derivative of 4*t**2 + 1/3*t**3 - 13*t + 3. Is y(-10) composite?
False
Let u(r) = -3*r**3 + r**2 - 4*r + 3. Let q be u(2). Is (-4)/(-10) - 765/q a composite number?
False
Let s(y) = 11*y**2 - 9*y - 1. Is s(-16) a prime number?
False
Let m(q) = -3*q - 2. Let j(s) = 16*s + 10. Let k(c) = 2*j(c) + 11*m(c). Let p be k(-7). Suppose 0 = -p*i - 5*z + 260, 3*z + 2 - 11 = 0. Is i a prime number?
False
Let b be 1/((-2 - 0)/(-218)). Let h = -42 + b. Is h composite?
False
Let n(y) = 139*y + 5. Is n(3) a composite number?
True
Let a = 92 - 266. Is 5/((-10)/a) + -2 a prime number?
False
Is 4 + (-289)/(-4 + 3) a composite number?
False
Let g = 1 - -1. Let i(o) = -o**3 - 11*o**2 - 2*o + 11. Let y be i(-11). Suppose -r = g, 0*a - a + y = r. Is a prime?
False
Let a(x) = -x + 126. Let l be a(0). Let z = 198 - l. Suppose 113 = 5*k - z. Is k prime?
True
Suppose 10*n = 5*n. Let c be (-1 - n) + (-1 - -2). Is (213 + (-2