et j = s - 113. Suppose 5*y = -5*w + j, -3*w + 68 = 5*y - 25. Is y a composite number?
True
Let d = 21 - -38. Is d a composite number?
False
Let u(q) = 3*q. Let n be 5/(-5) - 0/(-2). Let s be u(n). Is (-112)/s - (-7)/(-21) a prime number?
True
Let g = 13195 - 8506. Is g/21 + (-6)/21 composite?
False
Suppose 3*s + 63 + 267 = 3*y, 5*s = 4*y - 552. Let g = s - -61. Let b = g + 86. Is b a prime number?
False
Let h = 44 - -49. Is h composite?
True
Suppose 11 + 1 = -2*j. Is (4/j)/((-4)/198) composite?
True
Suppose 0 = -2*p - 5*k + 442, 2*k + 199 = p - k. Is p composite?
False
Let y be -2*(0 - (3 - 0)). Suppose -2*f + 4*f = y. Suppose -j + f*j = 406. Is j a composite number?
True
Let d = 148 + -68. Let k = d - 43. Is k a composite number?
False
Let y be 30*3/(3 + 3). Suppose -3*k - y = 0, -4*d - 5*k + 50 = -3*k. Is d a composite number?
True
Let s(i) be the third derivative of 5*i**4/24 - 2*i**3/3 + 4*i**2. Suppose 1 = -4*t + 29. Is s(t) a prime number?
True
Suppose 0 = -3*l - 6. Is l/(-11) + (-8739)/(-33) composite?
True
Let q(z) be the second derivative of z**4/3 + z**3/2 + 3*z**2 - 4*z. Is q(5) composite?
True
Let q = 15 + -11. Is 8/q + 789/3 prime?
False
Let n(i) = -8*i**3 - 4*i**2 - 3*i + 2. Let u(c) = -c**2 + c + 1. Let l be u(-1). Let t be l + -2 + (4 - 4). Is n(t) prime?
True
Let c = -3 + 3. Let v = c + -4. Let m = v + 17. Is m prime?
True
Let f(q) = q + 7. Let c be f(-5). Suppose -c*j - i = 3*j + 11, 0 = -4*j + 2*i - 6. Is 19 + 0 + (j - -2) a prime number?
True
Let o = 144 + 25. Suppose 0 = -4*q - 2*g + 977 - o, -g = -q + 205. Is q composite?
True
Let b(q) = q**2 + 2*q - 1. Let u be b(-3). Suppose 3*s + 89 = 4*w, -u*s = -5*w - 7*s + 155. Is w a prime number?
False
Let n(m) = -2*m**3 + 2*m + 3. Let p be n(-2). Let c be (-2*p/(-6))/(-1). Is (-250)/c + (2 - 5) a prime number?
True
Let j(w) = 9*w**2 + w - 5. Is j(2) a prime number?
False
Let x(d) = 14*d - 739. Let g(t) = 5*t - 246. Let a(m) = 8*g(m) - 3*x(m). Is a(0) a prime number?
False
Let y(n) = 16*n**2 + 4*n - 3. Let b be y(4). Suppose 510 = 3*w - 3*q, -4*q + 545 = 5*w - b. Is w prime?
False
Let n(x) be the third derivative of -x**4/3 - x**3/6 - x**2. Is n(-10) a composite number?
False
Suppose d - 144 = 4*o, 4*o + 132 = -4*d + 2*d. Let k = 68 + o. Is k composite?
True
Suppose 457 = -4*c - 99. Let n = 210 + c. Is n composite?
False
Suppose -2*a = -4 - 10. Suppose 2*d = t + 9, 0 = 4*d + 3*t + a - 0. Is ((-111)/(-6))/(d/4) a prime number?
True
Suppose -4*v + 20 = -0*v, 0 = 5*r - 4*v - 5. Suppose -4*t = q - 339, -r*q = -4*t + 5*t - 99. Let p = t + -19. Is p a prime number?
False
Let j = -9 + 11. Suppose -j*l + 0 = -8, 3*r = 2*l + 4. Suppose 2*t - r = -0*t. Is t composite?
False
Suppose 4*t - 15898 = c + 2837, -2*t + 4*c + 9350 = 0. Is t composite?
True
Suppose -998 = 6*n - 2984. Is n a prime number?
True
Is (-2)/1 + 8212/12*3 composite?
True
Suppose 26 = 2*s - 2*o - 56, -56 = -s - 2*o. Let a(t) = -31*t. Let l be a(1). Let h = l + s. Is h composite?
True
Let i(q) = -q**2 + q + 1. Let u(b) = -9*b**2 + 2*b + 7. Let c(a) = 4*i(a) - u(a). Let w = -2 - -4. Is c(w) a composite number?
True
Let x = 146 + 437. Is x a prime number?
False
Let v be (2/3)/(2/6). Let i(f) = -10*f**3 + 2*f**2 + 3*f. Let k(y) = 19*y**3 - 3*y**2 - 6*y + 1. Let s(r) = 5*i(r) + 3*k(r). Is s(v) prime?
False
Let s = -66 - -133. Is s a composite number?
False
Suppose y - 224 = -61. Suppose i - 12 = -3*q + 148, -4*i = 3*q - y. Is q prime?
True
Suppose 4*m - 601 = 1315. Is m prime?
True
Let h(x) be the third derivative of -x**5/120 + 55*x**4/24 + x**3/6 + x**2. Let g(w) be the first derivative of h(w). Is g(0) a composite number?
True
Suppose q + 4*m = 11, 0*q - 5*m = 3*q - 19. Suppose y - q*y = a - 225, -4*y - 442 = -2*a. Is a a prime number?
True
Is (59/(-1))/((-7)/7) prime?
True
Let u(i) = 19*i + 8. Is u(11) a prime number?
False
Let i(v) = 18*v**2 + 44*v**2 - v**2 - 1 - 2*v + 35*v**2. Is i(-1) prime?
True
Let u(n) = 5*n**3 + 6*n**2 + 3. Is u(5) composite?
True
Suppose 5*j - 1925 - 320 = 0. Is j composite?
False
Let w(j) = -j - 588. Let o be w(0). Let d = -263 - o. Suppose 0 = -5*n + 310 + d. Is n prime?
True
Let y(b) = -b**3 - 6*b**2 + 6*b - 7. Let r be y(-7). Let l be (r - -1) + 63 + -1. Suppose 0 = 3*u + 2*k - 83 + 8, -3*u + 2*k + l = 0. Is u prime?
True
Suppose 0 = -2*y + 4 + 322. Is y composite?
False
Suppose -4*f - x + 4728 = 0, -2*f - 4704 = -6*f + 5*x. Is f composite?
False
Let f = 5 + 0. Let g = f - -1. Suppose g*r = 2*r - 16, 2*u - 26 = -3*r. Is u prime?
True
Suppose 0 = 2*z + 3*z - 10. Suppose -5 = -2*i - c, c = -i + 3 + z. Is 1 + i - (-317 - 1) a composite number?
True
Is 1/((-633)/318 - -2) a prime number?
False
Let p = 455 + 24. Is p a prime number?
True
Let h(q) = 23*q**2 - 12*q + 30. Is h(13) a prime number?
True
Let u = 69 - 20. Is u prime?
False
Let t(p) be the third derivative of p**5/60 - p**4/6 + p**3/3 + p**2. Is t(6) prime?
False
Let m = -1053 - -2008. Is m prime?
False
Let v = 8 + -11. Let a(q) = -17*q - 4. Is a(v) prime?
True
Let z be 8/3 - 9/(-27). Suppose -z*y + 1362 + 699 = 0. Is y a composite number?
True
Let f = -7 - -11. Suppose 0 = -f*d - 6 + 158. Is d composite?
True
Suppose 3*c - 29 - 1 = 0. Suppose v - 56 = -c. Is v a prime number?
False
Suppose -14*r = -10*r - 3028. Is r a prime number?
True
Let d(b) = 3*b**2 + 22*b + 9. Let h(x) = 2*x**2 + 21*x + 10. Let n(m) = -3*d(m) + 4*h(m). Is n(15) composite?
True
Suppose 4*y + s + 888 = 0, -s = 5 - 1. Let p be (2/(-4))/((-1)/(-740)). Let z = y - p. Is z a composite number?
False
Let p = -6 - -6. Is 13*(p + 2) - 0 prime?
False
Is 450 + -2 - (-6 + 7) a composite number?
True
Suppose -5*c - 310 = -5*f, -2*c = -5*f - 6*c + 355. Is f composite?
False
Let b = -2369 - -4686. Is b a prime number?
False
Is (-4 - 1)*94/(-2) composite?
True
Let r(l) = l**3 + l**2 - 3*l + 1. Let w be r(6). Let v be (1 - 4)/(15/(-10)). Suppose 3*z + 0*c + v*c - w = 0, -c + 2 = 0. Is z a prime number?
False
Suppose -2*k - 249 = -p, 2*p + 0*k - 2*k = 500. Is p prime?
True
Suppose -4*q + 16 = -0*q. Suppose 59 = q*g - 3*n, n - 3 = -0*n. Suppose -x - 2 = -g. Is x a composite number?
True
Let y(k) be the second derivative of 7/2*k**2 + 0 + 1/2*k**3 - 1/20*k**5 - k - 5/12*k**4. Is y(-6) a composite number?
True
Let f = -4 - -9. Suppose 0 = f*c - 119 - 266. Is c a prime number?
False
Let m be 3 + (-3 - 2)/(-1). Suppose -m*z = -3*z - 575. Is z a composite number?
True
Let o = -4 + 8. Suppose -11 = -x + 5*j, 4*x - o*j = -11 + 39. Is x prime?
False
Let n be 74/(-8)*12*-1. Suppose -5*c - n = -656. Is c a prime number?
True
Suppose 0 = 5*m - 8*m - 6. Let r(w) = 13*w**2 - 2*w - 3. Is r(m) a composite number?
False
Let y be 872/(-14) - (-4)/14. Let i = 11 + -8. Is y/(-5) - i/(-5) prime?
True
Let c = 432 + 133. Suppose 2*p + 3*p = 3*n + 565, -5*p + c = 2*n. Is p a composite number?
False
Let z = 590 - 408. Suppose -r + 3*w + 160 = 0, -3*r - z = -3*w - 680. Is r a composite number?
True
Suppose 2*u - 4*u = -10. Let h(m) = 3*m**2 + 4. Is h(u) prime?
True
Is (0 - (1 + -2))*1587/3 a composite number?
True
Let l = -19 + 78. Is l composite?
False
Let x be ((-1764)/5)/(11/(-55)). Is (-3)/(x/590 - 3) prime?
False
Let t(a) = 58*a**2 - 2*a - 2. Is t(-1) a composite number?
True
Suppose 0 = -3*o + 4*o - 338. Suppose -5*c + 1347 = -o. Is c composite?
False
Let c be (-1 - (-9 + 3)) + -1. Let l be (5/5)/((-1)/(-111)). Suppose 0 = -a + c*a - l. Is a a prime number?
True
Let v = 16 - 9. Suppose -3*z + v = -2. Suppose m = z*m - 26. Is m a composite number?
False
Let i = 5 - 2. Suppose -i*z + 7*z - 12 = 0. Suppose -z*y - 2*m + 7 = -150, -4*m = 4*y - 216. Is y prime?
False
Let g(l) = 11*l**3 - 6*l**2 + 2*l - 1. Let w(k) = 10*k**3 - 5*k**2 + 2*k. Let u(f) = -2*g(f) + 3*w(f). Is u(2) composite?
True
Let y(h) = h**3 - 7*h**2 + h + 5. Let x be y(7). Suppose -3*c + x = c. Is c a composite number?
False
Let j(k) = 166*k + 79. Is j(7) composite?
True
Let d(s) be the first derivative of s**2/2 + 10*s - 2. Let c be d(0). Is (0 + 23/2)*c a composite number?
True
Suppose -s = -c + 3*s - 7, 49 = -2*c + s. Suppose 0 = -9*l + 7*l + 428. Let p = l + c. Is p a prime number?
False
Suppose 5*g = 4*g + 10. Is 74/g*(6 - 1) composite?
False
Let k(u) = -u + 1. Let o(q) = q**2 + 8*q + 8. Let j be o(-7). Let d be k(j). Suppose -p + 70 +