. Suppose -m*j = -2695 - 5040. Suppose 8*h - h = j. Is h composite?
True
Suppose -2*x + 6988 = 2*k, -17*x + 19*x = -5*k + 6988. Is x prime?
False
Let u = 193 - -1444. Is u composite?
False
Let z(h) = 189*h - 9. Let o be z(-8). Let t = 2266 + o. Suppose 0 = 5*p - g - t, 2*p - 298 = -0*p + 3*g. Is p prime?
True
Let l = -64 + 54. Is 3485/25 + 4/l prime?
True
Let b = 424 - 117. Suppose q + 26 = b. Suppose 4*n + 2*h = 220, 6*n = n - 4*h + q. Is n a composite number?
False
Suppose 0 = x - 3*f - 27547, -2*x + 0*x + 55082 = -3*f. Is x composite?
True
Is ((-15)/(-12) - 1) + 39762/24 composite?
False
Let s be (-2)/(-8) + 3/4. Is 218 + s + 4/2 a prime number?
False
Suppose -2*l = -1 - 3. Suppose 2*r - 194 = -l*w, 5*r - 405 = -3*w + 72. Let h = r - 8. Is h composite?
True
Let w(j) = -314*j - 104. Let r be w(-10). Let c = -1910 + r. Is c a composite number?
True
Suppose 5*a + 25683 = f, 53*f + a - 102774 = 49*f. Is f a composite number?
False
Let w(d) = 11 - 26*d + 62*d + 2 - 2*d. Is w(4) a composite number?
False
Let l(x) = 14*x**3 + 14*x**2 - 7*x - 176. Is l(17) prime?
True
Suppose -64*i = -617213 - 2238275. Is i prime?
True
Suppose -4*n = -7208 - 4176. Is n a composite number?
True
Let q(z) = -z**3 - 6*z**2 - z. Let o be q(-6). Let k(s) = 3*s**2 + 4*s - 4. Let y be k(o). Let m = -63 + y. Is m composite?
True
Let p(b) = b + 10. Let r be p(-5). Suppose f - 6*f = -r*g, -3*f + 4 = -g. Suppose 0 = -f*s - 0*s + 78. Is s composite?
True
Suppose 0 = 17*j - 22*j + 2*q + 35289, j = 5*q + 7067. Is j a prime number?
True
Suppose -2 = -0*b - 2*b. Let z be 10/(6/(b - -2)). Suppose 0 = -z*y + 535 + 355. Is y a prime number?
False
Let w(r) = -r + 6. Let s be w(15). Let x = -15 - s. Is -1 + (-56)/x*15 a composite number?
False
Suppose -12*m + 0*m + 43116 = 0. Is m a composite number?
False
Let h = 5268 + -2392. Suppose -5*a = 471 - h. Is a composite?
True
Suppose 5*f = 10*f + 390. Let l = 315 - f. Is l a composite number?
True
Suppose 0 = 3*y - 14308 - 10898. Is y composite?
True
Let n(a) = 2*a**3 - 25*a**2 - 13*a + 37. Is n(22) composite?
True
Suppose 9*l - 14964 = 13269. Is l a prime number?
True
Let d = -2 - 0. Let k(c) = -1 + 0 - 14*c - 46*c + 4. Is k(d) a composite number?
True
Suppose -120*v + 122*v = 81538. Is v composite?
True
Let j(s) = s + 10. Let v be j(-6). Suppose 10 = v*q + q. Suppose 5*t = -o + 2226, 3*o - 1785 = -4*t - q*o. Is t a prime number?
False
Let y(t) = -2*t**3 - 16*t**2 + 200*t + 33. Is y(-31) a prime number?
True
Let n be (-39)/(-3) - (2 + -1). Let v be 9/n - 1430/8. Let b = 33 - v. Is b prime?
True
Let q(d) = -d**2 - d - 2. Let f be q(0). Let c be 1112/(-2) - (f - -1). Let p = -352 - c. Is p composite?
True
Suppose -63 + 10 = 3*f - l, 2*l = 4*f + 72. Suppose 2*t + 2*c + 2*c = -14, 0 = t + 5*c + 13. Is f/t*3 - 2 a composite number?
True
Suppose 7*j = 8*j - 13441. Is j composite?
False
Let p(s) = -141*s**3 - s**2 + 9*s + 17. Is p(-8) a prime number?
True
Suppose -2*m = 5*n - 745, -n - 1465 = -4*m - 6*n. Suppose m = b - 517. Is b a composite number?
False
Suppose 6300*j + 292476 = 6306*j. Is j a composite number?
True
Suppose 2*z = 7*z - 4175. Let i = z - -2436. Is i composite?
False
Let v(n) = 6*n**2 - 50*n + 25. Is v(34) a prime number?
True
Let c = -11 + 576. Is c composite?
True
Let o = -3189 - -1725. Let x = o - -2405. Is x composite?
False
Let h be (-2 - 132/(-28)) + 2/7. Suppose h*f - 2*f = 997. Is f composite?
False
Suppose 94*x - 112*x = -6066. Is x prime?
True
Let y(p) = 44*p - 1. Let z(n) = 43*n - 1. Let f(m) = 7*y(m) - 6*z(m). Is f(3) composite?
False
Let i = 1 - -11. Let z be 6/i - (-817)/2. Suppose -4*u - 141 = -z. Is u a prime number?
True
Suppose 0 = 11*x - 34*x + 40411. Is x composite?
True
Is -3 - 172*-86*(-5)/(-10) composite?
False
Let l = 119 + -114. Suppose l*x + 4989 = 2*j, -3*j + 1455 + 6081 = 3*x. Is j composite?
True
Suppose 2*x - 609 = 235. Let v = -4 + 8. Suppose -4*o - 109 = -5*w + 932, 2*w - x = -v*o. Is w prime?
False
Suppose -2*p + 3042 = p. Let j = p + -330. Let f = -85 + j. Is f prime?
True
Let s(q) = q**3 + 2*q**2 + 24*q - 21*q + 2*q**2 + 1. Let c be s(-2). Is c + 138*(-4)/(-3) prime?
False
Suppose -272*q = -271*q - 917. Is q composite?
True
Suppose 6*d - 875 = 523. Suppose -u = -890 - d. Is u composite?
False
Let c = 69644 + -44305. Is c a prime number?
True
Let m be ((-16)/4 - 315) + 2. Let p = 894 - m. Is p a prime number?
False
Suppose 7*y = r + 2*y + 2, 5*r = 3*y - 10. Is ((-34450)/(-15) - 3)/(r/(-6)) composite?
True
Let q(b) = -b**2 + 2*b - 246. Let r be q(0). Let x = 617 + r. Is x a prime number?
False
Suppose -10*c + 21618 = 8*c. Is c composite?
False
Suppose -6443 = -16*n - n. Is n a composite number?
False
Is -6*(-452)/(-8)*(-34)/6 a composite number?
True
Suppose 577 = 3*p - 2*p. Suppose 3*b = 9, -3*b - 522 = -d + p. Suppose j = -n - 4*n + d, 3*j = 5*n - 1096. Is n a prime number?
False
Let w(b) be the first derivative of 19*b**3/3 + 4*b**2 - 21*b + 13. Is w(8) a composite number?
False
Let c(u) = 2*u**3 + u**2 - 5*u + 4. Let b be c(1). Suppose -11 = -d - 4*q, -q - 10 = -7*d + 3*d. Suppose -d*w + 14 = b. Is w a prime number?
False
Let m = -2909 + 7960. Is m prime?
True
Suppose k = c - 512, c - 616 = -3*k - 104. Let u = c + 45. Is u prime?
True
Suppose -255761 = -45*d + 34*d. Is d composite?
False
Let n = 17 - 14. Suppose 20 = -n*p + 182. Suppose 3*k + 4*t = k + p, 5*k + 5*t = 115. Is k composite?
False
Suppose -3*w = -7*w + 2592. Suppose 5*r = w + 467. Is r composite?
False
Suppose 2*m - 161 = m. Suppose -x = 2*x + 4*t + 85, 0 = 5*x - 3*t + m. Let h = x + 84. Is h a prime number?
True
Let o(u) = -48*u + 17. Is o(-9) prime?
True
Suppose s + 3*s - 2*d - 248 = 0, -2*d - 68 = -s. Is -4*3/(s/(-6395)) a composite number?
False
Let f(x) = 3*x**2 + 3*x + 19. Let y = -7 + -2. Is f(y) a prime number?
False
Suppose 0*t + 3*t + 5929 = a, 5*t - 23682 = -4*a. Is a a prime number?
True
Let x = 30 + -21. Suppose -x = -5*r + 11. Is (14/r)/(5/310) a prime number?
False
Let r(b) = -18*b**3 - 13*b**2 + 12*b - 1. Is r(-8) a composite number?
False
Suppose -4*k = v - 2039, -5*v = -5*k - 11380 + 1235. Suppose -q = 2*q - v. Suppose -68 + q = 3*p. Is p a composite number?
True
Suppose -5*z + 16*x = 18*x - 5013, -z + 1000 = 3*x. Is z composite?
True
Let x(y) = -10*y**3 - 4*y**2 - 4*y - 4. Let l be x(-4). Let c = -307 + l. Let d = c + -123. Is d composite?
True
Is 3*(-10)/30*-89971 a prime number?
False
Suppose -4*y + 5*y = 2. Suppose -y = 2*j - 2*i - 10, 3*i + 20 = 5*j. Is 2*(3003/6 + j) prime?
True
Suppose -2*t = 4*s - 3*t - 22, -2*s + t + 12 = 0. Is 1/s - 66192/(-40) composite?
True
Let z = -822 - -4705. Is z composite?
True
Is (-2 + 8)*(1 - (-2440)/16) composite?
True
Let v = 22 - 22. Suppose -t = z - 408, -3*z + 4*t + 1231 = -v*t. Is z a composite number?
False
Let g = -59738 + 108585. Is g prime?
True
Suppose 13*d - 10*d = 13461. Is d composite?
True
Suppose 2*i - d = 1193, 4*i - 4*d - 1440 - 948 = 0. Let c = i + 77. Is c prime?
True
Suppose -3*z + 5*w + 569 = w, 3*w - 987 = -5*z. Suppose 2*b = 2*t - 7 + z, b + 3*t - 74 = 0. Is b composite?
False
Let o = 11991 - 8384. Suppose -8 = 193*t - 195*t. Suppose -2*d - 4*r - o = -7*d, 2*d - 1426 = -t*r. Is d a prime number?
True
Suppose 13 = 2*x - 7. Suppose c + x = -0*j + 5*j, -4*j + 8 = -c. Suppose 0*s - s + 139 = c. Is s composite?
False
Suppose 0 = 3*m - 2*b - 4526 + 1499, -3*b - 4036 = -4*m. Suppose 4124 - m = 5*y. Is y a composite number?
True
Let c(n) = -17*n**2 - 2*n + 2. Let d be c(4). Let t = d - -501. Is t composite?
False
Let z(f) = 111*f**2 - 74*f + 15. Is z(-10) prime?
False
Suppose 9*r + 27 = 0, 283276 = 8*w - 3*w + 3*r. Is w a composite number?
True
Suppose 361621 - 1818229 = -32*t. Is t composite?
True
Let x be 14/6 + 4/(-12). Suppose 0 = -47*l + 48*l - 306. Suppose -4*o + x*o - 4*t = -l, -t = 4*o - 598. Is o composite?
False
Let v = -4791 + 7324. Is v composite?
True
Let t = 3168 - -5599. Is t a composite number?
True
Suppose k + 2*k - 5*f - 15 = 0, 3*f + 5 = k. Let t be (2 - k/(-5))/1. Suppose 2*v + d - 971 = 0, 4*v = -t*d + 441 + 1502. Is v a composite number?
True
Suppose 8*r - 6*r = 8. Suppose -r*l + 3*l = 0, 0 = 2*k + 5*l - 1082. Is k composite?
False
Let d = 24 + -34. Let h be (-16)/d - (-4)/10. Is (252 - 5)*(h - 1) a composite number?
True
Let j(g) = 2