 279, 3*i = -v + 270. Let g = i - 30. Is g composite?
False
Let l = 442 - 254. Suppose o + l = 5*o. Suppose -o - 6 = -y. Is y prime?
True
Suppose -p = -5*p + 8. Suppose 2*g + 0 = p*b - 4, -5*b = -4*g - 14. Is b a prime number?
False
Suppose 0 = -4*y + 5*b + 11360, -11*b + 5694 = 2*y - 10*b. Is y a prime number?
False
Let g(b) = -8*b**3 - 8*b**2 - 7*b + 4. Let y be g(-6). Suppose q + u = 5*u + 363, -4*q + y = u. Is q a prime number?
False
Suppose -5*t + 45 = 4*w, 0 = -2*w + 4*t - 11 + 1. Suppose 0 = 5*s - 4*i - 31, -w = 3*s + 5*i + 6. Suppose -s*f + 112 = 37. Is f composite?
True
Let j(n) = 2*n**2 + 10*n + 5. Suppose -c + 0*c + 7 = 0. Let t be (-35)/c + -3 + 1. Is j(t) a prime number?
False
Let w = -239 + 366. Is w a composite number?
False
Let g(i) = 15*i**2 + 7*i - 8. Let h be g(-6). Suppose 155 = 5*k - h. Is k composite?
True
Let o be 3/(-1) - (6 - 55). Let s = o + 60. Is s prime?
False
Suppose o = -3*o. Suppose o = -2*z + 3*d + 15, -4*d + 8 - 32 = -4*z. Suppose 2*w - 44 + 13 = -3*m, -z*w + 5*m + 94 = 0. Is w a composite number?
False
Suppose p - 5*p + 2*u + 112 = 0, 5*u + 135 = 5*p. Let f = -16 + p. Is f a prime number?
True
Let g(m) be the third derivative of m**4/8 + 5*m**3/3 - 3*m**2. Let y be g(9). Is y + 2 + -1 + -1 a composite number?
False
Let h = -23 - -16. Let d(n) = -n + 25. Let k be d(11). Let q = k + h. Is q composite?
False
Let k(t) = t**3 + t**2 + 356. Let y be k(0). Suppose -m = 3*m - y. Is m composite?
False
Suppose -61 = -5*y - 231. Suppose 4*x = -8, 3*r + 2*x = -2*x + 433. Let o = y + r. Is o prime?
True
Let s = 1874 - 1121. Is s composite?
True
Let h = 27 - 25. Suppose 5*o = -5*z + 1995, 0*z + h*z - 810 = -5*o. Is z prime?
False
Suppose -2 - 2 = n. Is ((-2)/n)/((-3)/(-1542)) composite?
False
Let g be 1/(-5) - 2/(-10). Let l(k) = k + 46. Let i be l(g). Suppose -z - z = -i. Is z composite?
False
Suppose -2*r + 42 = -r + 5*y, 2*r - 2*y - 144 = 0. Is r a composite number?
False
Suppose -2*x + 2*r + 120 = 0, r = -2*x - 0*r + 105. Is x a composite number?
True
Let z = 6 - 3. Let u(q) = -7*q - q**z + 0 + 9 + 7*q**2 + 0 + 0*q**2. Is u(6) a composite number?
False
Let c(q) = -34*q - 19. Is c(-8) composite?
True
Let d = -441 - -680. Is d a composite number?
False
Suppose s = 5*s. Suppose 5*a = -d + 4*d - 18, 0 = -5*d - 3*a + 30. Suppose -d*i + i + 575 = s. Is i composite?
True
Let u be 18/8 - 3/12. Suppose -y + 38 = 4*r - 4*y, -u*r + 32 = 5*y. Is r composite?
False
Let f = 45 + 173. Suppose -4*m + a - 384 = m, -4 = 4*a. Let t = f + m. Is t prime?
False
Let j be (-2)/(-8) + 1/(-4). Suppose -4*p + p + 255 = j. Is p a prime number?
False
Suppose 3*w - 798 = -3*h, -h + 3*w = w - 281. Is h composite?
False
Let a be 6/8*(0 - 4). Let y be (a - (7 - -1)) + 1. Let h(r) = -3*r - 15. Is h(y) a composite number?
True
Let i = -467 - -806. Is i a composite number?
True
Suppose -2*y + 903 = -3*n, 3*n + 955 = 5*y - 1289. Is y a prime number?
False
Suppose 2*f = -4*r + 174, 2*f - 4*r + 3*r - 179 = 0. Is f composite?
False
Let q be -3*5*(-1)/(-3). Let y be q/(-10)*6/(-1). Is (1 - y) + 1 + -2 a prime number?
True
Let m be (-3)/(-15) - 27/(-15). Let h(g) = -13*g - 2. Let d be h(m). Is (d - -2)/(2/(-1)) composite?
False
Let a(j) = -j - 11. Let o be a(-6). Let v(q) = 5*q - 2. Let f(b) = -2*b + 1. Let s(y) = o*f(y) - 3*v(y). Is s(-2) a composite number?
False
Let q(d) = d**3 + 16*d**2 + d + 11. Let y be q(-16). Is (y/3)/(-5)*789 composite?
False
Let z(t) = -t**2 + 6*t + 3. Let m be z(-6). Let i = 226 - m. Is i a composite number?
True
Let n = 6502 - 3879. Is n a composite number?
True
Let u(j) = 1 + 2*j + 0 + 28*j**3 + 16*j**3. Let z be u(-1). Let i = 82 + z. Is i a composite number?
False
Suppose 4*h + 18 = -2*s, 0 = s - 1 + 4. Is (-1 - h)/(2/89) composite?
False
Suppose 0 = -5*n + 2 + 8. Let c(z) = 3*z - 2. Let i be c(n). Suppose -i*o + 197 = 73. Is o a prime number?
True
Suppose -m = -y + 292 - 112, 5*m = 4*y - 724. Let o = -101 + y. Suppose -4*r + 5*r - o = -5*d, 319 = 5*r - 3*d. Is r prime?
False
Let u(k) be the third derivative of -k**6/24 - k**5/30 - k**4/24 - 3*k**2. Let i be u(-1). Suppose f = 3*f - c - 74, -5*c + 148 = i*f. Is f composite?
False
Let w(g) = -90*g**3 + 2*g**2 + 2*g + 1. Suppose -4 - 10 = -2*r. Let n = -8 + r. Is w(n) a composite number?
True
Let d(g) = -18*g + 1. Let f be d(-5). Let b = -60 + f. Is b prime?
True
Is (-2625)/(-18) + 6/36 a composite number?
True
Suppose a - 3*k = 2, 2*k + 24 = 4*a + 6*k. Suppose -2*c + 2*s - 14 = 6*s, -a*s - 31 = -2*c. Suppose -38 = -c*l + l. Is l prime?
True
Let k(s) = -112*s - 45. Is k(-22) a prime number?
False
Let s(w) = -w**2 - 13*w - 1. Let z be (-4)/14 + (-61)/7. Is s(z) a prime number?
False
Suppose 26 + 9 = 5*k. Is k a composite number?
False
Suppose -5*x - 27 + 12 = 0. Is (-2)/x + 74/6 a composite number?
False
Suppose 37*u = 39*u - 534. Is u prime?
False
Suppose 2 = -4*p - 4*r - 2, 2*p - 3*r - 23 = 0. Suppose -p*m = -0*m - 196. Is m prime?
False
Suppose 0 = -3*z - 4*u + 7341, u = 2*u. Is z a composite number?
False
Let v = 85 + -48. Is v composite?
False
Let d be 1 + -3 - 67*-3. Suppose -39 = -5*p - d. Let u = -13 - p. Is u prime?
True
Suppose 3*i = 36 + 471. Is i prime?
False
Let z(m) = -m**3 + 2*m**2 - 2*m + 1. Let i be z(1). Suppose -5*t + t + 524 = i. Is t a prime number?
True
Let a be 2/(-6) + 110/6. Suppose -k + 3 = -z, -2*z - 4*k = -6 - a. Suppose -7*w = -z*w - 745. Is w a composite number?
False
Suppose 295 = 5*m - 75. Is m prime?
False
Suppose -3*w - 10 = o, 3*o = -4*w + 4*o - 4. Let h be (1*(1 + w))/1. Let a(s) = 144*s**2 + s. Is a(h) prime?
False
Let b = 40 - 8. Let x = b - -65. Is x a composite number?
False
Suppose 3*g - 7*g + 702 = 3*j, 698 = 4*g + 5*j. Is g a composite number?
True
Let k(m) be the first derivative of 3*m**4/2 - m**3 - 3*m**2/2 + 5*m - 10. Is k(3) composite?
False
Let h = -778 + 1451. Is h composite?
False
Suppose 80 - 224 = 3*u. Let v = -23 - u. Let j = -18 + v. Is j composite?
False
Let c(n) be the second derivative of 7*n**5/12 - n**4/24 + n**3/6 - n**2/2 + n. Let u(r) be the first derivative of c(r). Is u(1) composite?
True
Suppose 1 = o - 0. Let n be o + 271 + -2 + -2. Suppose 5*d - n + 23 = 0. Is d prime?
False
Suppose 3*x + 1 - 106 = 0. Suppose -d - 2*w = -x, 0 = -0*d + 5*d - 4*w - 189. Is (1 + -4)/((-1)/d) composite?
True
Is 439/2 + (-12)/(-8) a prime number?
False
Let v = 13 + -8. Suppose 7 + 3 = v*z. Suppose -3*l - 4*s - 12 = -139, 39 = l + z*s. Is l a prime number?
False
Suppose -2 = -4*u + m, -u - m - 2 = -6*u. Suppose d + 2*s - 591 = 6*s, u = -4*d - 4*s + 2404. Let z = -156 + d. Is z a prime number?
True
Is (-9)/((-36)/8) - -209 a composite number?
False
Let l(w) = 280*w**3 - 8*w**2 - 5*w + 14. Let h(x) = 93*x**3 - 3*x**2 - 2*x + 5. Let b(m) = 11*h(m) - 4*l(m). Suppose 3 - 4 = d. Is b(d) composite?
False
Suppose -5*c = -2*d - 0*d + 34, -3*c + 6 = 0. Is (d/6)/((-2)/(-42)) prime?
False
Let w(g) = 151*g**2 + g + 3. Let n be w(-2). Suppose n = -b + 6*b. Is b a composite number?
True
Suppose 0 = -5*i + 2*i + d + 9030, 0 = 5*d - 15. Is i prime?
True
Let w(g) = -g**2 + 7*g - 6. Let c be w(5). Suppose 2*z = -3*q + 161, c*z - 312 = -q + 5*q. Is z a prime number?
True
Suppose -5*m - 2*q - 26 = 0, 2*m + 3*q - 4 + 21 = 0. Let a be m/14 - 8/(-28). Suppose a = x - 16 + 5. Is x a composite number?
False
Let b = 7 + -1. Let d be (b/9)/((-4)/(-30)). Suppose -i - d*a - 11 = 0, 55 = 4*i + i + 3*a. Is i prime?
False
Let s(q) = 3*q**3 - 2*q**2 + q. Let x = -9 - -10. Let n be s(x). Suppose -2*u + u = n*o - 23, -5*o = -5. Is u prime?
False
Let g(j) = j**3 + 9*j**2 + 8*j + 4. Let h be g(-8). Is 45420/84 - h/(-14) prime?
True
Let x(w) = 73*w**2 + w. Let r be x(-1). Is (-7)/((-21)/r) - 1 a prime number?
True
Suppose -3*u + 7*u = 20. Suppose 3*c - 324 = u*y, -2*c + c + 122 = 3*y. Is c a composite number?
False
Suppose 0 = 7*r - 3*r - 928. Is r - 1/(-3 + 2) prime?
True
Suppose p - 1 = -3*b + 1, 10 = 5*p + 2*b. Suppose p*a - 153 = -5*q, -2*a + 142 = 2*q - 14. Is a prime?
True
Let j(r) = r. Let a(s) = 3*s**2 - 3*s + 1. Let b be a(2). Is j(b) prime?
True
Is 23328/60 + 2/10 a prime number?
True
Let z(a) = -7*a**2 - 5. Let l(d) = -6*d**2 + d - 5. Let n = -4 - 2. Let k(w) = n*l(w) + 5*z(w). Is k(-6) composite?
True
Let j(b) = -8*b**3 - 7*b**2 - 5*b - 6. Let x(h) = h**3 - h