*3 + k + 1. Let v(f) = n(f) - 2*y(f). Is v(-10) a prime number?
True
Let u = 172 + -70. Suppose 2*q - 176 = 5*z + u, -q = -z - 55. Let a = -21 - z. Is a composite?
True
Let v(s) = -2*s**3 - 2*s**2 + 5*s - 17. Is v(-12) a composite number?
True
Let n(b) = b**3 - 11*b**2 + b - 1. Let i be n(11). Let u(y) = y**3 - 3*y**2 - 2*y - 1. Is u(i) prime?
False
Let h(l) = 2988*l**3 - 2*l**2 - 2*l + 3. Is h(1) a composite number?
True
Suppose -19 - 5 = -3*r. Is 2/4 + 164/r a composite number?
True
Suppose 5*l + 0*r + 10 = 2*r, 5*r = -3*l + 25. Let i = 2 + l. Suppose i*b - 7 = 31. Is b composite?
False
Suppose -4*o + 3*o + 41 = 5*n, -4*o - 3*n = -198. Suppose o = 3*b + 3. Let k = 23 + b. Is k prime?
False
Let t = -16 + 95. Suppose -3*f + 32 = -t. Is f a composite number?
False
Let s(p) = 2*p**2 + p + 11. Let i(y) = y**2 + y + 1. Let r(j) = 5*i(j) - s(j). Is r(-7) a composite number?
False
Let n(v) = -12*v**2 - 2*v - 1. Let s = -3 + 5. Let w be n(s). Is w/(-4) + 2/(-8) composite?
False
Is ((-18447)/4)/(-11) - (-1)/(-4) prime?
True
Suppose -4*r - 12 = -4*q, -q = -0*r - 3*r - 5. Let y(s) = 48*s - 2. Let g be y(q). Suppose g + 91 = 5*z. Is z prime?
True
Let o be -3 - (-1 + -4 + 3). Is 8/(o + 3) - 2 prime?
True
Suppose -2*j = -c + 8 + 1, c + 6 = 5*j. Let m = c - -295. Is 0 - m/(-3 - -1) a prime number?
True
Suppose k - 3*x - 898 = 0, x + 2706 = 3*k + 4*x. Let m = k + -570. Is m a prime number?
True
Let j be 1530/(-4)*12/(-5). Suppose 0 = 5*i + 2*u - 1156, -3*u + j = 4*i + 2*u. Suppose -110 = -2*n + d - 3*d, 4*n = 2*d + i. Is n a prime number?
False
Suppose 7235 = 5*p - 2*t - 1010, 8245 = 5*p - 5*t. Is p a prime number?
False
Suppose d = -4*p + 17, -4*d + 2*p + 71 = 3. Is d*(17 + -1 + 1) a prime number?
False
Suppose s = -0*s - 2. Let u be 107/2 - 4/8. Is (u/s)/(1/(-2)) composite?
False
Let r(z) = z**2 + 9*z + 1. Suppose 0 = s - 4*s + 21. Is r(s) prime?
True
Is 6/8*(-19288)/(-6) composite?
False
Let y(k) = -12*k + 4. Let o be y(6). Suppose 4*r + r = 5*v - 495, -3*v = 3*r - 321. Let h = o + v. Is h prime?
False
Suppose 0 = -h - 5 - 14. Let k = -11 - h. Suppose 2*y = k + 66. Is y prime?
True
Let x(g) = -g + 1. Let r be x(5). Let u = 7 + r. Let w = 0 + u. Is w prime?
True
Let p be 2/4 + (-18)/(-12). Suppose 4*g - 1530 = p*m, 582 = 3*g + m - 558. Suppose -3*i + 4*i - 168 = -5*b, 2*i - 5*b = g. Is i a prime number?
False
Let p = 100 - 57. Is p prime?
True
Let v = -302 - -463. Is v a composite number?
True
Suppose 339 = -g + 4*g. Suppose 2*u - g = u. Is u a composite number?
False
Is 8845/55 - (-4)/22 a composite number?
True
Suppose 0*h + 4*p - 451 = -3*h, 0 = -2*h + 3*p + 329. Is h prime?
True
Let m(i) be the second derivative of i**4/4 - i**3/3 - 11*i**2/2 + 6*i. Is m(10) composite?
False
Let m(j) = -j**2 - 5*j + 2. Let b be m(-5). Let y(t) = 6*t**2 - 2*t + t - 2*t**b + 0*t**2. Is y(-3) composite?
True
Let o = -189 - -320. Is o a prime number?
True
Let q(l) be the first derivative of 11*l**4/4 - l**3 + l**2/2 - l + 5. Is q(2) a composite number?
True
Let s be (-78)/(1 + 5/(-2)). Suppose -10 = 2*m - s. Is m composite?
True
Is 158/3*(-18)/(-6) a prime number?
False
Suppose -8 = 4*x, 0 = 2*h - h + x - 1. Suppose -5*p = 2 + h. Is ((-34)/(-8) + p)*20 a prime number?
False
Let t = 70 + -4. Let o = t - 29. Is o prime?
True
Suppose 2 = 3*b - 4. Let m(g) = 52*g**2 - 3*g + 1. Is m(b) prime?
False
Let b be (-2)/(-4) + (-34)/(-4). Let z be (-3)/(b/(-24)) - 2. Suppose -c - 170 = -z*c. Is c a composite number?
True
Let m be (-2)/4*(1 - 1). Let b = m - -21. Is b a composite number?
True
Suppose 4*v + 5*q = 1024, v + 0*q + q - 255 = 0. Is v a prime number?
True
Suppose 3*v - 239 = -4*m, -4*v + 2*v = -m - 163. Suppose -3 = -4*g + v. Is g a prime number?
False
Let v = -633 - -1122. Is v composite?
True
Let s be (-6)/15 - 24/(-10). Is (2 - (-6)/2) + s a prime number?
True
Let z(l) = -l**2 - 9*l - 3. Let b be z(-8). Let w be 2/(-5) + 457/b. Suppose w - 15 = 2*h. Is h a prime number?
False
Let t = 318 - -23. Let a = -87 + t. Is a composite?
True
Suppose 0 = -a + 56 - 6. Let o be (2/(-3))/((-6)/27). Suppose j + a = o*j. Is j a composite number?
True
Let c = 7 - 5. Suppose 0 = 2*j + c*j, -3*j - 338 = -2*b. Is b prime?
False
Suppose 0 = -4*o + 2*b + 17658, 7*o - 4*o + b - 13256 = 0. Is o prime?
False
Suppose 3*u - 144 - 93 = 0. Is u a prime number?
True
Suppose 0 = u - 3*d - 12, 0 = -4*u - 5*d + 10 + 38. Let p be u*(1 - 39/(-12)). Suppose 4*m + 2*r = m + p, m - 28 = 3*r. Is m a composite number?
False
Suppose 0 = 2*z + 2 - 8. Suppose -4*c = z*p - 1255, 1833 - 579 = 3*p + 3*c. Let y = -298 + p. Is y composite?
True
Suppose -3*k = -0*k - 1101. Is k a composite number?
False
Suppose o = -3*a + 1 + 7, -34 = -2*o + 3*a. Let x = o - 10. Suppose 5*c + x*j = 145, 3*c + 0*j = -2*j + 85. Is c composite?
True
Let i(n) = n**3 + 8*n**2 - 3*n - 11. Let h be i(-11). Let v = 32 - h. Is v a composite number?
False
Let p be 2/(-7) + 74/14. Suppose -p*n + 0*n + 1060 = 0. Suppose -g + n = 3*g. Is g composite?
False
Let w(s) = -s + 9. Let h = -16 + 23. Let j be w(h). Is (-1)/((-1)/(9 + j)) prime?
True
Let s(w) = 87*w - 47. Is s(14) composite?
False
Let m be ((-4)/10)/((-2)/90). Let t = -9 + m. Suppose -4*v - 185 = -t*v. Is v a composite number?
False
Let n be (89/2)/(9/(-18)). Let k = 348 + n. Is k composite?
True
Let j be (6/(-4))/((-3)/8). Let w = -2 + j. Suppose 2*n + w*t + 2*t - 30 = 0, -4*n = -4*t - 60. Is n a prime number?
False
Suppose -4*u - 5*n + 408 = 0, -n + 4*n = 12. Is u prime?
True
Suppose -c + 24 = 2*c. Let t = c + 27. Is t prime?
False
Let m = 204 - 117. Suppose -m = -l + 26. Is l composite?
False
Let r = -5 + 40. Let q = r + 50. Is q composite?
True
Let b(u) = 86*u - 1. Let s(w) = -w**2 + 5*w - 5. Let v be s(4). Let k(c) = -c. Let o(d) = v*b(d) + 5*k(d). Is o(-4) a prime number?
False
Suppose 6*r + 0*r - 12894 = 0. Is r a prime number?
False
Let v = 249 - -82. Is v a prime number?
True
Is (-2555 - -1)/((-2 + -4)/3) prime?
True
Let u = -3198 + 7289. Is u composite?
False
Let r(j) = 28*j**2 + 2*j - 1. Let a be r(-6). Let p = a - 502. Is p a prime number?
False
Let a be (-1 - -3)*(-1078)/(-4). Let i = 874 - a. Is i prime?
False
Suppose 3*w + 2*w - 6805 = -t, 0 = -4*t. Is w prime?
True
Let q = -4 + 8. Is (-10)/q*134/(-5) prime?
True
Let s(o) = -o**3 + 10*o**2 - 14*o - 11. Is s(7) prime?
False
Let n = -8 - 0. Let c(j) = -186*j - 7. Is c(n) a composite number?
False
Let v = -3 - -2. Let w be (-744)/(-9) - 12/18. Let o = w - v. Is o a composite number?
False
Let m be 0 + (-1 - 4*-1). Let h be (-4)/m*693/(-14). Let n = h - -1. Is n prime?
True
Let n(t) = -36*t + 1. Is n(-3) composite?
False
Let n = -16663 + 23496. Is n a composite number?
False
Let j(c) = c + 32*c**3 + c + 23*c**3 + c**2 - 2 - c. Is j(1) a composite number?
True
Let j = -13 + 30. Let r = 3 + 0. Is r + j - (1 - 4) a prime number?
True
Let q(n) = -5*n + 4. Let l be q(2). Let g(a) = 2*a**2 + 9*a + 3. Is g(l) composite?
True
Suppose -1596 + 4318 = 2*j. Is j a prime number?
True
Let n be ((-4)/4)/(1/5). Let b(m) = m**2 - m + 2. Let z be b(n). Is (2 + z)/2 + 2 a composite number?
False
Suppose -2*s = -2*i + s - 5, -4*i - 1 = -3*s. Is (i + -1 + -160)*-1 a prime number?
False
Let m(i) = i**3 - i**2 - i - 2. Let z be m(2). Suppose -5*o = -2*c - o + 150, -4*c - o + 273 = z. Is c a composite number?
True
Suppose -b - 2*s = -4, 2*b - 28 = -b + 2*s. Let l be 1/2 + 348/b. Suppose -6*q = -2*q - l. Is q composite?
False
Suppose -3*l + 1229 = 308. Is l a composite number?
False
Let u = 33 + -19. Is (-2372)/(-28) + 4/u a prime number?
False
Let s = 110 - 5. Let p = 266 - s. Is p a prime number?
False
Suppose 3*t = -8 - 19. Let j = 28 + t. Is j composite?
False
Suppose -z = -3*o - 1257, -3*o - 5028 = 3*z - 7*z. Is z a prime number?
False
Suppose 5*g - 15 = 3*n - 2*n, -3*n = 2*g - 6. Suppose -5*d + 4 = -g*d. Is d composite?
False
Let t = 1432 - 1014. Let k = t + -95. Is k prime?
False
Let f = 817 - 203. Is f prime?
False
Suppose 8548 + 2796 = 16*h. Is h composite?
False
Suppose 5*j - 35 = 20. Is j a composite number?
False
Suppose 3*b = 5*k + 481, 3*b + 120 = 4*k + 599. Is b a prime number?
True
Is (-8)/12*-120 + -3 a prime number?
False
Let k = 4 + -1. Suppose t - k = -0. Is t a prime number?
True
Let x(c) be the second derivative of 10*c**4/3 - c*