 -2 - (3/l - h) a composite number?
True
Suppose -6 + 0 = -6*w. Suppose 4*t - 7 = -c, -2*c + 7 = -2*t + c. Is t + 78 - 2*w a prime number?
False
Suppose 4*o = -2*n + 636, 3*o - 4*o + 2*n = -159. Let g be 4*2*3/24. Is 2 + g/(3/o) a prime number?
False
Let o be (-2)/2 - -7 - 3. Let p be (-2 - -2)*(-1)/(-1). Suppose p*x - o*x = -63. Is x a composite number?
True
Let o(u) = u**2 + 4*u - 6. Let w(k) = -2*k**2 - 3*k + 6. Let h(y) = -3*o(y) - 2*w(y). Let d be 7/(1 + (-3 - -3)). Is h(d) a composite number?
False
Let i = -6 + 185. Is i a composite number?
False
Suppose 0*k + 36 = 2*k. Is 1390/k + (-8)/36 prime?
False
Suppose 0 = -h + 54 - 1. Is h a composite number?
False
Let g = -3 - -5. Is (g + 1)/((-6)/(-22)) composite?
False
Suppose 2*y - 3 - 3 = 0. Suppose 216 = l + y*l + 2*j, -2*j - 49 = -l. Is l a prime number?
True
Suppose -d + 803 = i - 4*d, -2393 = -3*i + 5*d. Is i a composite number?
True
Let p be (-52)/(-12) - (-1)/(-3). Suppose -3*v + p + 103 = 5*z, z = -3*v + 115. Is v a prime number?
False
Let b(i) = i**3 - 7*i**2 + 7*i - 2. Let r be b(6). Let q(p) = p**3 - 3*p**2 - 2*p + 6. Let z be q(r). Is 32/z - (-4)/(-14) prime?
True
Suppose -3*c + 35 = 2*c. Let q = -5 - -8. Suppose -4*m + c*m - q*z - 78 = 0, 5*m - 160 = -z. Is m a composite number?
False
Suppose -2*l - 3*l = -10. Is -2 + 40 + l + -3 a composite number?
False
Let d = 21 + 30. Is d prime?
False
Let r(x) = 21*x - 2*x + 2*x. Suppose 3*s - 5 = -2*s. Is r(s) prime?
False
Suppose -q - 20 = -5*b, 4*q - 3*b = 2*q - 12. Is 1 + q - 21/(-1) composite?
True
Is (-3)/(12/(-740)) + 2 a composite number?
True
Is (-70 - -8)*(-2)/4 composite?
False
Let c be (-207)/(-6) + (-2)/(-4). Suppose 4*s - c = 4*n + n, 2*s + n - 7 = 0. Suppose -5*y - 3*o = -y - 207, 0 = y + s*o - 56. Is y composite?
True
Let i(m) be the second derivative of -m**5/20 + m**4/3 - 2*m**3/3 + 2*m**2 - 2*m. Let q be i(3). Is 30/(-2)*(q - 2) prime?
False
Let n(j) be the second derivative of 1/2*j**4 + 0 - 3/2*j**2 - 1/20*j**5 + 1/2*j**3 - 2*j. Is n(-4) prime?
False
Let w be ((-1)/(-3))/(2/12). Let b be w*(51/2 + -1). Suppose -b = -5*a + 16. Is a prime?
True
Let k be 4426*(6/(-4) - -2). Suppose 5*a - k = -153. Let x = -293 + a. Is x a composite number?
True
Let x(c) = 72*c - 2. Let k be x(5). Suppose -k = -4*i - 2*m, -5*i + 309 = m - 143. Is i a prime number?
False
Let y = -2 + 2. Let w(k) = -k**2 + 155. Let n(v) = -v**2 + 154. Let i(s) = 6*n(s) - 5*w(s). Is i(y) composite?
False
Suppose 0 = 4*y + 20, 3*u - y = 5*u - 95. Let r = u + 65. Is r composite?
True
Let s = -6 - -8. Suppose s*f - 7 = 1. Suppose -175 = f*w - 9*w - 4*b, w - 5*b = 35. Is w composite?
True
Suppose 0 = -36*d + 40*d - 1324. Is d a prime number?
True
Let x(s) = 6*s - 4*s - 1 - s**2 + 2*s**2. Let g be 1 + 2 + 1/1. Is x(g) a composite number?
False
Let h = -3 - -1. Let z be -2 + (0 + h - -9). Suppose 4*i + 3*y - 147 = 0, 185 = z*i + 2*y + 2*y. Is i prime?
False
Let f(h) = 54*h**3 - h**2 - h + 1. Let o(j) = -j**2 - 4*j + 1. Let c be o(-4). Is f(c) prime?
True
Let w(t) = -t**2 + 4. Let o be w(-3). Let s = -3 - o. Is 77 - 0 - (s + -2) composite?
True
Suppose -85 = -5*o - 5*z + 195, -z + 215 = 4*o. Is o a composite number?
False
Let z(m) = -2*m**2 + 1. Let j be z(-1). Is (j + (-4)/(-2))*121 a prime number?
False
Suppose 5 = g - 2*s, -5*g + 0*s + 17 = -2*s. Suppose w + 10 = -g*w - 2*c, -5*c = -w + 3. Let n(p) = -12*p - 2. Is n(w) prime?
False
Suppose -4*t + 2*a = -3*t + 8, 2*t = 2*a - 16. Let v(m) = m + m**2 + 3*m + m**2 + 1. Is v(t) composite?
False
Let x = -17 - -19. Is (6 - -108) + (x - 3) prime?
True
Let y = -5240 - -9289. Is y a prime number?
True
Suppose -4*z - s + 301 = -3*z, 301 = z + 2*s. Is z composite?
True
Suppose 397 = 7*f - 6*f. Is f prime?
True
Let o = 16 - 11. Is o*((-68)/(-20) - -1) a composite number?
True
Let k(s) = -s + 12. Let i be k(6). Let j(b) = -b + 325. Let v be j(0). Suppose -v = l - i*l. Is l a prime number?
False
Let x = -5 + 9. Suppose 0*l = -x*l + 332. Is l composite?
False
Let v = 398 - 283. Is v a composite number?
True
Let f = -5 - -8. Let c = 2 - f. Let s(a) = 8*a**2 + 2*a + 1. Is s(c) a composite number?
False
Suppose 4*o - 1580 = -352. Is o prime?
True
Let l(b) be the first derivative of b**4 - b**3/3 - 1. Is l(1) a composite number?
False
Let g(o) = -526*o - 49. Is g(-6) a prime number?
False
Let s(p) = p**2 - 7*p + 3. Let m be -2 + 0 - 0/(-3). Let d be m + 10 + 2 + -2. Is s(d) a composite number?
False
Is 478/8 + -1 - 3/(-12) a composite number?
False
Let t be -1*(-2)/4*-10. Let n be (-2)/t - 228/(-5). Is 2*-2*n/(-8) composite?
False
Suppose 3*d = d. Is ((23 - d)/(-1))/(-1) prime?
True
Suppose z = -5*x + 1540, -2*x - z = -2*z - 609. Is x composite?
False
Let f = -8 + 100. Suppose -f = j - 5*j. Is j composite?
False
Let z = -208 - -589. Suppose 3*v - v = -2*j + 254, -3*j = -v - z. Is j composite?
False
Is (3 - (-2 + 4)) + 262 a composite number?
False
Let y be 44/(-2 + (3 - 2)). Let n = y - -83. Is n a prime number?
False
Let r = -13 - -48. Suppose -5*h + r = 5*n, 2*n - 7 = -3*h + 6. Is (-4)/(-16) + 246/n a composite number?
False
Let p = 7 + 18. Suppose -2*c + p = 3*c + y, -20 = -4*c + 4*y. Suppose c*b - 116 = 59. Is b composite?
True
Suppose -6*r - 19 = -997. Is r a prime number?
True
Let u = 481 - 301. Suppose -3*z + u = -57. Is z a composite number?
False
Let n = 47 - 27. Let m = n - 14. Suppose -m*v + 335 = -v. Is v a composite number?
False
Let q be 18*1/(6/22). Let v be 47/9 - 4/18. Suppose 0 = -v*c - q + 191. Is c a composite number?
True
Suppose -f = -745 - 4. Is f a composite number?
True
Let r(d) = -d**2 + 4*d + 2. Let y be r(5). Let x be y/12 - 66/(-8). Is (-2)/4 + 2108/x a composite number?
False
Suppose 5 = -2*i + 3*r - 2*r, -5*i - r = 30. Let n be ((-10)/(-25))/((-1)/i). Suppose n*a + o = 16, -5*o + 10*o + 30 = a. Is a prime?
False
Suppose 2*r = -b + 2*b + 238, 2*r + 4*b = 258. Is r composite?
True
Let q(o) = -26*o + 1. Let b(h) = -53*h + 2. Let u(i) = 6*b(i) - 13*q(i). Is u(6) prime?
False
Is (1 - 25/15)/((-4)/6042) a prime number?
False
Let d be 4/(-10) - 6/10. Let b(i) = 262*i**2 - 2*i - 1. Is b(d) a prime number?
True
Let r(h) = 5*h - 4. Let s(a) = 19*a - 16. Let g(t) = 9*r(t) - 2*s(t). Is g(6) a prime number?
False
Let u = -56 + -152. Let l = u + 539. Is l a prime number?
True
Suppose p + 5 - 9 = 0. Suppose 2*y = -3*y - 2*v + 557, -p = v. Is y composite?
False
Suppose 3*b - 2*l + l = 630, 196 = b - 5*l. Is b composite?
False
Let c(g) = g**3 + 14*g**2 + 7*g - 1. Is c(-13) composite?
True
Let b = -2 - 3. Let u = b - 0. Let z(p) = p**2 + p - 6. Is z(u) prime?
False
Let p = -6 + 8. Suppose -y - p*y = -6. Suppose -b = y*n - 59, 2 = 3*n - 1. Is b composite?
True
Let x(u) = -u**3 + 2*u**2 + 3*u + 4. Let a = -21 + 34. Suppose 0 = -5*v + 20, 4*v - a = 4*o - 3*o. Is x(o) prime?
False
Is (464/32)/((-1)/(-134)) a composite number?
True
Let d = 2901 - 398. Is d a prime number?
True
Let o = 2 + -2. Let m(u) = o + 2*u + 1 + 78*u**3 - 2 - 2*u**2. Is m(1) a composite number?
True
Suppose 3*w - 20 + 92 = 0. Let f = 153 + w. Is f prime?
False
Let v(w) = w**2 + 4*w + 5. Let b be v(4). Suppose 5*j - b - 28 = 0. Is (j - 2) + -1*2 a composite number?
True
Suppose -2*b + 1 = 3*n + 6, -2*b - 6 = 2*n. Is (19 - 3)/b - -153 prime?
True
Suppose -2*a + 93 = p, 5*a - 2*p = 3*p + 240. Let q = 100 - a. Is q composite?
False
Suppose -3*r = -r - 1366. Is r a composite number?
False
Suppose -l = 3*q + 112 - 2337, -6675 = -3*l - 3*q. Suppose -5*o = -0*o - l. Suppose -7*r = -2*r - o. Is r a composite number?
False
Is 13641/(-3 + 6)*1 a composite number?
False
Let j be (52/8)/(1/2). Suppose -j = 2*v + 3. Is (-5)/20 - 282/v composite?
True
Suppose -3*m - 2*i + 420 = 0, 5*m = 6*m + 5*i - 127. Let u be (2/5)/((-1)/5). Is m - (u*1 + 1) composite?
True
Let r(x) be the third derivative of -x**6/120 + x**5/10 - x**4/12 - x**3/6 - 2*x**2. Is r(4) composite?
False
Is 1865/8 + 1/(-8) a prime number?
True
Let b(j) = -j**3 + 14*j**2 + 4*j + 1. Suppose -3*s = -3*l + 30, 0 = -3*s + 7*s - 8. Is b(l) a prime number?
True
Let w(f) = -10*f - 9. Let p = 5 + -9. Is w(p) prime?
True
Let z = 23 + -16. Let s = 16 - z. Is s a composite number?
True
Let c(g) = -103*g + 5. Is c(-2) a prime number?
True
Suppose -27*q + 12824 = -19*q. Is q prime?
False
Suppose -20 = 4*s - 0, -3*