 = -471 - -905. Suppose 0 = -b - b + d. Is b prime?
False
Let d(j) = -2*j**2. Let h be d(-2). Is h/16 - 134/(-4) prime?
False
Let x be -1 - -2 - 2 - -3. Suppose -2*d - 2*k + 13 = -1, k + 2 = x*d. Suppose 2*n = -d*l - 6, 3*l + 15 = n - 0. Is n prime?
True
Let y(r) = 43*r - 10. Is y(9) prime?
False
Suppose 4*q = m + 8, q = 5*q + m - 8. Suppose 7*h - q*h = 0. Suppose 2*r + 63 = -0*v + v, 3*v + 2*r - 149 = h. Is v a prime number?
True
Let o(t) = 1 - t + 9*t**2 - 9*t**2 + 31*t**3. Let s be o(1). Suppose 2*v = -s + 147. Is v a prime number?
False
Let b = 5 + 3. Suppose 4*l - 5*f + b = -0*l, 3*l + f = 13. Suppose l*q - 3*k = 19 + 23, -2*q + 24 = 2*k. Is q prime?
True
Suppose -388 = -2*d - 26. Let h = 435 - d. Is h a composite number?
True
Suppose 4*m + 0*j = 2*j - 6, -m + j - 4 = 0. Suppose 3*w + 3*k = 207, -5*k + 74 = w + m. Suppose -379 = -3*r + w. Is r a composite number?
False
Suppose 0 = -h + 2*a + 4, 3*h + 3*a + 45 = -2*h. Let n be (h - -6)*(-1 - 0). Suppose 0*s - s + 57 = n. Is s a composite number?
True
Let w = -7 + 10. Suppose -w*j = -277 - 170. Is j/4*1*4 composite?
False
Let x = -1 - -3. Suppose -6*p = -p - 10. Suppose -3*d + x = -13, p*i - 17 = d. Is i composite?
False
Let x be 3/3*(-1 + -12). Let s = 70 + x. Is s a prime number?
False
Suppose 22 - 2 = 5*m. Suppose 5*g - 5*a - 945 = 0, -3*g = 2*g - m*a - 943. Is g a composite number?
True
Suppose 5*l = 2*b - 5*b + 1036, 0 = -5*b - 3*l + 1700. Is b a composite number?
False
Let j be (0 - -2)*(-142)/4. Let o = 32 + j. Let h = o - -92. Is h prime?
True
Let s(w) = -w**2 - 10*w - 16. Let o be s(-7). Suppose -2*j = -43 + o. Is j a composite number?
False
Let b(g) = g**3 + 5*g**2 + 4*g + 4. Let c be b(-4). Suppose 3*u - d + c*d - 228 = 0, 156 = 2*u + 4*d. Is u a composite number?
True
Suppose 621 = -0*q + 3*q. Let i = -30 + q. Is i composite?
True
Suppose -2*c = -3*n - c - 31, -2*c + 42 = -4*n. Let u = n + 20. Is 2586/u - (-4)/10 a composite number?
True
Let u be 1*(0 - 1) + 3. Suppose 2*n = -y + 282, -4*n + u*y + 2*y = -576. Is n a composite number?
True
Suppose 3*d + 4 = -4*u + 5*d, -d = u - 2. Let b = u - -4. Suppose -l + 165 = b*l. Is l a prime number?
False
Let c = 4 + -10. Is ((-452)/6)/(4/c) composite?
False
Let j be -4 - -2 - 5*-1. Let b(m) = -j*m - 8*m + m + 6 - m**2. Is b(-8) a composite number?
True
Let y(v) = v + 7. Let o(h) = -h - 6. Let p be 4/5*60/(-8). Let s be o(p). Is y(s) composite?
False
Let u(x) = -8*x**3 - 14*x**2 + 3*x + 7. Let a(z) = 3*z**3 + 5*z**2 - z - 2. Let f(r) = -11*a(r) - 4*u(r). Is f(-5) a prime number?
True
Let r = -28 + 30. Suppose 192 = 3*k + k. Suppose z = r*x - 105, 0*x + 5*z = x - k. Is x a composite number?
False
Let h be (-4)/12 + (-1064)/(-6). Suppose -3*o + h = -2*c + c, 0 = o - 3*c - 59. Is o prime?
True
Let w be (2/4)/((-1)/(-2)). Is 2 - (w + -66 + 0) prime?
True
Let r be (-2)/4*8*2/(-4). Let i(q) be the first derivative of 2*q**3 - 3*q**2/2 + q - 1. Is i(r) a prime number?
True
Suppose -5*j = -291 - 1499. Let a = j + -231. Is a prime?
True
Suppose -2*k = -534 + 88. Is k a prime number?
True
Suppose q + 7 = 3*t + 66, 5*q + t - 263 = 0. Is q prime?
True
Suppose 2*b + 2*q - 1736 = 7*q, b + 4*q - 868 = 0. Suppose -4*y - 344 + b = 0. Is y composite?
False
Let m be 2/(-5) + 47/5. Let r(y) = y**2 - 4*y + 8. Is r(m) composite?
False
Suppose -1010 = -5*t - 4*s + 1565, -4*s = t - 531. Is t a composite number?
True
Is (-7)/((-21)/765) + 4/(-1) composite?
False
Suppose 2*o + 3*f = 1180, 2*o + 4*f - 351 = 831. Is o a prime number?
True
Let q(j) = j**2 + 2*j + 1. Let z be q(-1). Suppose z*k + 5*k = 0. Suppose 5*f - 726 + 271 = k. Is f composite?
True
Let y = 19 - 19. Suppose y = -6*z + 5*z + 379. Is z composite?
False
Suppose -8*i = -3*i - z - 1365, -297 = -i + 5*z. Suppose -87 = 5*x - i. Is x a prime number?
True
Suppose -i - 10 = 74. Suppose 5*a = -15, -8 = 3*v + 2*a + 49. Let d = v - i. Is d prime?
True
Let d(v) = -8*v**2 + 2*v - 1. Let a be d(1). Let h = a - -5. Is (h + -13)*6/(-15) composite?
True
Suppose 4*f = -4, 10*f + 166 = -r + 5*f. Let p(g) = 29*g - 4. Let n be p(8). Let m = r + n. Is m prime?
True
Is -2*(-3 + (-45)/2 + 0) prime?
False
Suppose 0 = -4*t + 4222 - 666. Is t a prime number?
False
Let s(l) = -l**3 + 6*l**2 + l - 2. Let x be s(6). Suppose 5*v - 40 = x*g - 0*g, -v + 4*g = -24. Suppose 4*d + 81 + 54 = 5*p, -v*d - 11 = -p. Is p composite?
False
Let f = -4 + 7. Let t = 2 - f. Is (t - -2) + 76 - -2 a composite number?
False
Let l = 0 - -1. Let q(y) = 6*y**3 - 2*y**2 + 1. Let a be q(l). Suppose 5*v = -0*v - 3*p + 149, a*v = p + 157. Is v prime?
True
Let s be (0 - -1) + 1*-1. Suppose 6 = 3*f + 2*z, s*f + f - 5*z + 15 = 0. Suppose -4*v + 6 + 14 = f, 2*k = 2*v + 52. Is k composite?
False
Suppose -6*o = -8185 - 15749. Is o a prime number?
True
Suppose -6 = t - 4*t. Suppose 3*p + f - 105 = -6, 0 = t*p + 5*f - 53. Is p a prime number?
False
Suppose 4*g - 513 = j, -3*g = -5*g - 4*j + 234. Is g a prime number?
True
Let m = 3 - 3. Is 78 - (m - -1)*-1 a composite number?
False
Let y(j) = -j**2 - 2*j - 1. Let u be y(-3). Is ((-76)/u)/((-1)/(-1)) composite?
False
Let q(i) = -2*i**3 + i**2 + 2*i + 16. Is q(-11) a composite number?
False
Let g(l) = -l**3 + 5*l**2 + 3*l - 1. Let d(y) be the third derivative of -5*y**4/24 + y**2. Let p be d(-1). Is g(p) composite?
True
Let g(k) = -k**2 - 7*k + 10. Let o be g(-8). Suppose 2*j + o*j = 1588. Is j composite?
False
Suppose -1264 = -4*n + 2*x, 0*n + 3*x = -3*n + 957. Is n prime?
True
Suppose -a = 4*h + 132 + 7, -30 = h + 5*a. Let w = h + 132. Is w a prime number?
True
Let p be 2/1 + 0 + 1. Suppose -100 = p*f + 56. Let b = f + 135. Is b composite?
False
Let w(o) = 4*o + 4. Let t be w(-4). Is (-4)/t + (-41)/(-3) a prime number?
False
Let l be ((-1)/3)/(9/(-81)). Is (1 - -449) + l/(-3) composite?
False
Let n = 11 + 335. Is n a composite number?
True
Suppose 7*r - 889 = 3*r + h, -r + 5*h + 246 = 0. Is r composite?
True
Let z = -876 + 1925. Is z prime?
True
Suppose 5*z - 8*z + 321 = 0. Let u = z + 200. Is u prime?
True
Suppose -35 + 15 = n. Is (-5992)/n - 6/10 a prime number?
False
Suppose -3*r = -f - 9, 4*r = -0*f + 2*f + 8. Is f a composite number?
True
Suppose 129 = 4*i + 3*r, r = -3*r + 12. Suppose -2*z - 3*z = i. Is 82/6 + (-2)/z a composite number?
True
Let l(f) = -f**2 + f - 8. Let r be l(0). Let h(b) = 3 - 3*b**3 + 9*b**2 - b**2 + 4*b**3. Is h(r) a composite number?
False
Suppose 55 = -d - 3*q + 169, -4*q = 5*d - 548. Suppose -4*l + l + d = 0. Let j = 73 - l. Is j composite?
False
Let k(g) = g**3 + 10*g**2 - 5*g + 12. Suppose 6 = q + 5*p - 13, 3*q + 38 = 4*p. Let f be q/(-4)*120/(-18). Is k(f) prime?
False
Let a(z) = z**2 + 5*z. Let u be a(-6). Let x(k) = k**2 - 6*k + 9. Let s be x(u). Suppose s*o - 445 = 4*o. Is o prime?
True
Suppose -198 - 214 = -4*z. Suppose 3*v - n - 253 - 77 = 0, v + 2*n = z. Is v prime?
True
Suppose -5*c = -4*z + 850, -5*z - 805 = -3*c + 8*c. Let o = -111 - c. Is o composite?
True
Let b(i) be the second derivative of i**3/2 + i**2 - 5*i. Is b(7) prime?
True
Let u(n) = 1011*n + 32. Is u(5) a prime number?
True
Suppose 4*d = -b - 13, 0 = -5*d + 3*b - b. Let g = 1 - d. Suppose -f = -g*f + 106. Is f a prime number?
True
Suppose -3*v = -2*v - 2. Let u be (1 - 0) + v + 0. Suppose 2*d - 4*l - 31 = 59, 0 = -u*d + 5*l + 134. Is d a composite number?
False
Let w(d) = d**3 + 8*d**2 - 3*d + 3. Let k be w(-4). Suppose 2*n - 4*y - k = -y, -y - 143 = -4*n. Is n composite?
True
Let j = 131 - -242. Is j composite?
False
Is (-11 - -15) + 939*1 prime?
False
Let v(g) = 126*g**3 - g**2 - g + 1. Let z be v(1). Let h = 42 + z. Is h a composite number?
False
Suppose 4*o = 2*o. Let y(n) = -n**2 + n + 97. Is y(o) composite?
False
Let i(w) = w**3 - 2*w**2 + 5. Let t(g) = -g**3 - 5*g**2 + 4*g - 8. Let h be t(-6). Suppose a + 5*s - 4 = 0, -3*a + 2*a + h = -2*s. Is i(a) prime?
True
Let n be -3*(-2)/(-3) + 150. Let m be ((-1)/(-2))/((-2)/n). Is 2 + (1 - m*2) composite?
True
Is (-1264)/(-6) - (-2)/6 prime?
True
Suppose 2*t = -t + 3*j + 3, 2*t + j - 17 = 0. Let f be (4/t)/((-3)/108). Let y = f - -47. Is y composite?
False
Let z(b) be the second derivative of -b**5/20 + 3*b**4/4 + b**3/6 - b**2/2 - 3*b. Is z(4) prime?
True
Let f(z) be the first derivative of z**4/4 + z**3 + z**2 - z - 2. Let g be f(-4). Let y = 38 + g. Is 