 o(a) = -7*a + 266. Let x(n) = 5*i(n) - 2*o(n). Is x(m) a prime number?
False
Let c = 737 - 336. Is c composite?
False
Suppose 0 = -5*s - 5*x, s - 6 = 2*x - x. Suppose 4*p = -3*n + 94, -s*p + p - 5*n = -54. Is p a prime number?
False
Let v(p) be the second derivative of -p**5/5 + p**3/6 + p**2/2 + 4*p. Is v(-1) a prime number?
False
Suppose 0 = -3*a + 2 + 4. Suppose -4*c - a*i = -28, 6*i + 13 = 5*c + 3*i. Suppose -4*g + 2*q - 3*q = -207, c*g = 5*q + 290. Is g a prime number?
True
Let p = -207 + 364. Is p prime?
True
Let q(c) = c**2 + 5*c - 6. Let n be q(-5). Let b be (2 + 1)*(-4)/n. Suppose -i + 23 = f - 58, f - 83 = -b*i. Is f composite?
False
Suppose -4*g = -d - d + 172, 2*d - 144 = -3*g. Let u = -14 + d. Let h = -27 + u. Is h prime?
True
Suppose 2*u = -263 - 199. Let o = -122 - u. Is o composite?
False
Let i(c) = 67*c + 2. Is i(5) a prime number?
True
Let t(n) = n**3 - 8*n**2 + 10*n - 7. Let d = 20 - 8. Suppose 4*z = d + 16. Is t(z) a composite number?
True
Let s be (1 - 3)*-1 + 0. Suppose 0 = 2*l + 5*p - 47, -l - 3*p + 84 = s*l. Is l a composite number?
False
Suppose -6 = -a - 3. Suppose -r - 3 = 3*p + 1, -a*p - 3*r - 12 = 0. Suppose 5*h - 5*g - 229 + 59 = p, 0 = -5*g - 15. Is h composite?
False
Let q = 28 + -16. Let h be (1 - 5)*(-9)/q. Suppose -149 = 2*b - h*b. Is b composite?
False
Suppose -93121 = -12*n + 395. Is n a prime number?
True
Suppose 6*v - 3*v + 3 = 0, -3*v = -2*y + 7025. Is y a prime number?
True
Suppose -2*h - 4*c + 478 = c, 5*h - 2*c = 1253. Is h composite?
True
Is (-2 - -2) + -2 + (1224 - 3) a prime number?
False
Let i(h) = -10*h + 3*h + 2 + 5*h**2 + 2. Let r be i(4). Suppose -r = -3*u - u. Is u a composite number?
True
Let i be -1*10*(-1)/2. Suppose 2 = -l - i*z, 0 = 5*l - 2*z - z - 18. Suppose -3*s + 15 = -3*m, -39 = -2*s - s - l*m. Is s prime?
False
Let g = -1 + 6. Suppose -1417 = -g*t - 162. Is t composite?
False
Suppose 2*l - 2542 = -4*g, g = 3*l - 236 + 868. Is g composite?
True
Let q(t) = -1 - 3 + 2*t + t + 1 + 24*t**3 - 2*t**2. Is q(2) a prime number?
False
Suppose -3*d + 11 = o, -21 = -2*d - 2*d + 5*o. Let z be d*(-1)/(-2)*1. Is -2 + z + 1*87 a composite number?
True
Suppose 2*h = r + 15, -h + 6*h - 4*r - 30 = 0. Let b be (-98)/(-4)*(0 + h). Suppose -5*m + b = -0*m. Is m prime?
False
Let p be -1 - -1 - (1 - 7). Let k(l) = 3*l**3 - l**2 - 9*l - 11. Let c(y) = 2*y**3 - y**2 - 6*y - 7. Let q(a) = 8*c(a) - 5*k(a). Is q(p) prime?
True
Suppose 4*u - u = -3. Let y = 4 + u. Suppose -a + 66 = -y*c + 22, -a + 74 = 3*c. Is a a prime number?
True
Let t(v) = -v**3 - 4*v**2 + 2. Let u(z) = -3*z + 5. Let h be u(4). Is t(h) prime?
True
Let b = -11 + 11. Suppose 133 + b = p + 4*t, 5*t = -4*p + 532. Is p a prime number?
False
Let x(c) = -c**3 - 2*c**2 - c - 1. Suppose 2*v + 0*y - 42 = 4*y, 3*v = -3*y + 18. Suppose -4*b - g - v = 0, -3*b - 4*g + 5 = -3. Is x(b) a prime number?
False
Let c(r) = -r - 5. Let t be c(0). Let g(j) = j**2 + 5*j + 5. Let f be g(t). Suppose -2*n - b = -42, -f*b = n - 34 - 5. Is n prime?
True
Suppose -3*o - 5*o + 33224 = 0. Is o prime?
True
Let n(u) = -5*u**3 - 3*u + 0 + 4*u**3 + 2*u**3 - 1. Let f be n(-2). Is 357 + 1 + 9/f a composite number?
True
Let w(b) be the second derivative of -b**7/2520 + b**6/720 + 7*b**5/120 + b**4/12 - 2*b. Let s(q) be the third derivative of w(q). Is s(0) a composite number?
False
Let v = -44 + 75. Is v a prime number?
True
Let z be 12/(-18)*(-30)/(-4). Is ((-6)/10)/(z/575) prime?
False
Let r(m) = -m**3 + 4*m**2 - 1. Let a be ((-6)/(-5))/((-15)/(-50)). Let s be r(a). Is (-3)/(3/(-22)) + s prime?
False
Suppose -5*c + 5*m = -305, -3*c - 4*m + 6 = -184. Suppose 0*o = -2*o + c. Is o prime?
True
Suppose 8*z = 6*z + 10. Suppose -z*w + 1465 = -0*w. Is w prime?
True
Suppose 3*s - 4*r = 178, 2*r - 5*r = 4*s - 229. Is s composite?
True
Let g = 622 - 227. Suppose -2*a - 85 + g = 0. Is a prime?
False
Let d be (-32594)/(-12) - (-4)/(-24). Suppose 3*o - d = -o. Is o composite?
True
Suppose -p = -5*u + 3706 - 1169, 0 = 3*u + 3*p - 1533. Is 3/(1028/u + -2) composite?
False
Suppose -4*n - 12 = -d, -d = 3*d - 16. Is (-5)/(-10) + (-133)/n a prime number?
True
Let r = -344 + 523. Is r prime?
True
Suppose 2*v = -2*v + 4*c + 8, 3*c = 5*v - 16. Suppose 5*n - 3*n - 26 = 2*l, v*l + 25 = 0. Suppose -3*y - 265 = -n*y. Is y prime?
True
Let u(i) = 16*i**2 + 5*i - 10. Is u(7) a composite number?
False
Suppose 3*j - 800 = -2*j. Let y(x) = -x - 4. Let m be y(-6). Suppose -c = -2*g + 74, m*g + 2*g - j = 5*c. Is g composite?
True
Let z be (0/3)/(-1 - 0). Suppose 2*o - 4 = -z*o. Suppose 31 = -a + o*a - m, 74 = 2*a + m. Is a prime?
False
Suppose -8*r + 14 = -10*r. Is -14*((-399)/(-6))/r a composite number?
True
Let f = -272 - -154. Let h = 197 + f. Is h a composite number?
False
Let s = -106 - -206. Is (-2 - (2 + -1)) + s prime?
True
Suppose 2*x = -7 - 1. Let g = -6 + -12. Is 20/6*g/x composite?
True
Suppose 10*j = 9*j + 2317. Is j prime?
False
Let h = 51 + -24. Suppose -j + h = -44. Is j a composite number?
False
Let r = 527 + -229. Is r a prime number?
False
Let z be (2 - 1)*(3 + -1). Let j(a) = 1 + 11*a**2 + 2*a + 10*a**z - a. Is j(-1) a prime number?
False
Suppose 5*a + 1269 - 3344 = 0. Is a a composite number?
True
Let f = -185 - -270. Is f a composite number?
True
Suppose -2*p + c = -0*c - 6519, 4*p - c = 13041. Is p prime?
False
Suppose 12 = 2*n - 2*g, -8*g - 22 = -n - 3*g. Suppose 5*a = m + 17, n*a - 2*m = -4*m + 2. Suppose 147 = z + 2*l, l = -3*z + a*l + 481. Is z composite?
False
Is (3/9)/(2/654) a composite number?
False
Let r = -7 + 9. Suppose 6*a - 65 = 2*a + 5*v, 5*a + r*v - 73 = 0. Is a a prime number?
False
Suppose -132 = 4*i - 7*i. Suppose f - i = 71. Is f a composite number?
True
Let j = 98 - -111. Is j composite?
True
Let i = 136 - 65. Is i composite?
False
Is (-1 + 2)*-1 - -59 prime?
False
Suppose -5*u = -17 - 8. Suppose 5*x = -l + 24, u*l + x - 2*x = 198. Is l a composite number?
True
Suppose -4*i - 2*i = -786. Let b = i + -28. Is b composite?
False
Let k = 185 - 115. Let o = 36 + k. Suppose -h = -3*h + o. Is h composite?
False
Let w be 6 + -3 + 0 + 1. Suppose -c + 3*p - 12 = 0, 9 = w*c + p - 8. Is c a composite number?
False
Suppose 0 = 3*x - t + 5*t - 2, -4*t = 4*x. Is 1*(-46)/x + -2 composite?
True
Let u(g) = g. Let b(t) = -3*t + 1. Let i(c) = -b(c) - 2*u(c). Is i(7) composite?
True
Suppose 0 = -4*i - 10 - 6. Let f be -7 - 2*(-6)/i. Is 5/f*(-1 + -5) composite?
False
Let y(z) = -z**2 + 6*z - 2. Let j be y(5). Suppose -65 = -2*r - 2*m - j*m, -4*r + 142 = -2*m. Is r prime?
False
Suppose -4*f = -4*k - 7040, 4*f - k - 7033 = -4*k. Is f a composite number?
False
Let j be (2/6)/(4/228). Let x = 60 + j. Is x composite?
False
Is -4 - 1*2/2*-81 a composite number?
True
Let b = -5 - -19. Is b composite?
True
Let f(l) = 4*l**3 + 5 - 2*l**3 + 6*l**2 - 3*l**3. Let s be f(6). Suppose 0 = -2*b - s*g + 51, 0*b + b = 2*g + 3. Is b a composite number?
False
Let a(y) = -2*y**3 - 5*y**2 - 5*y - 5. Is a(-8) a composite number?
False
Let z = 270 + -85. Is z a composite number?
True
Let n = 9 - 4. Suppose 0 = n*q - 67 - 28. Suppose 0 = 5*i - 3*c - 199, 4*i - q = -3*c + 124. Is i prime?
False
Let w(r) = r**3 + 7*r**2 - 7*r - 4. Let o be 4/10 + 264/15. Let c be (-4)/(-10)*(3 - o). Is w(c) composite?
True
Let w = 11 - -5. Let f = w + -8. Is (1 - f/5)*-10 a composite number?
True
Suppose 2*o - 28 = 2. Let j be 0 + -1 - (2 - o). Let z = j - -53. Is z composite?
True
Let u be (0/(-2) + 2)/2. Let q(a) = -21*a. Let j be q(u). Let t = -6 - j. Is t a prime number?
False
Let j = -113 - -552. Is j prime?
True
Let j(l) = 12*l**3 - 5*l**2 - 2*l - 7. Is j(6) a prime number?
True
Let s(g) = -275*g**2 + 8. Let x(p) = 274*p**2 - 7. Let d(b) = 6*s(b) + 7*x(b). Is d(1) a prime number?
False
Let l = 274 + -181. Is l a composite number?
True
Suppose 2*p - 6*p + 19632 = h, -3*h + 14715 = 3*p. Is p a composite number?
False
Let j = -23 + 138. Let r = 98 + 179. Suppose -2*s = 5*h - r, 2*h - j = -0*h - 5*s. Is h a prime number?
False
Let n(m) = m - 1. Let k be n(4). Suppose -k*j = -2*d + 4*d - 13, d = 4*j + 23. Is d prime?
True
Let o(l) = 14*l - 2. Let x be o(3). Suppose -4*j = -4*w - 808, -5*j = -2*w - 967 - x. Is j prime?
False
Let b(h) = -h**2 - 5*h - 3. Let k be b(-2). Suppose 5*a = k*a + 46. Is a a prime number?
True
Suppose -4*n