, k = 3*v + 3*s + 5 - 131. Is v a prime number?
True
Let g be 3 + -2 - (-10 - -1). Is (g/(-25))/(1/(-115)) composite?
True
Suppose -1 = 5*t - 6. Is (22/(-4))/(t/(-22)) composite?
True
Let p = -730 - -1469. Is p a composite number?
False
Suppose 0 = 3*i + 72 - 12. Let y = -9 - i. Is y a prime number?
True
Suppose 4 = -r - 2. Let c(z) = -6*z + 1. Is c(r) prime?
True
Is 1974/2 + -6 + 8 composite?
True
Suppose -38*j + 37*j + 3607 = 0. Is j prime?
True
Let i(m) = -57*m. Let n be i(-1). Suppose 0 = 2*b - 5*b + n. Is b composite?
False
Let m(s) = -s**3 + 12*s**2 + 15*s - 5. Is m(13) composite?
True
Let p(u) = -u**2 - 7*u + 18. Is p(-8) a prime number?
False
Suppose f - 159 = -2*f. Is f composite?
False
Suppose 4*o - 4 = 20. Is (3352/(-12))/((-4)/o) a composite number?
False
Suppose 5*i - 2*v = 17, -7 = -4*i - 10*v + 5*v. Suppose 526 = i*x - 107. Is x prime?
True
Let w = -4 - 1. Let o be (4/5)/((-1)/w). Suppose -4*v + 2*f + 60 = 0, v + o*f = -0*f + 6. Is v prime?
False
Suppose 5*v + 97 = 3*z, -3*v + 22 = 2*z - 30. Let q = z + -18. Is q composite?
False
Suppose -2*m = d - 957, -d + m = -0*m - 972. Is d a prime number?
True
Suppose 0 = p - 0 + 3. Let k = 18 - 43. Let n = p - k. Is n a prime number?
False
Suppose 0 = 2*q - 6*q + 420. Let o be 6/15*10/2. Suppose o*x - q = -x. Is x prime?
False
Let k = -46 - -81. Let v = k + -12. Is v a composite number?
False
Let j(w) = 60*w - 13. Is j(18) a composite number?
True
Let x(h) be the first derivative of h**4/4 - 7*h**3/3 - 3*h**2 - 5*h + 1. Is x(8) composite?
False
Suppose -4*s + 3*w = -5*s + 78, 420 = 5*s + 5*w. Is s prime?
False
Suppose 2*s - 67 = 771. Is s prime?
True
Let d(f) = f + 2. Let t be d(2). Suppose -161 = t*h - 5*h. Is h a composite number?
True
Let n(k) be the second derivative of 1/20*k**5 + k + 5/3*k**3 + k**2 + 0 - 1/2*k**4. Is n(7) a composite number?
True
Suppose 3*v + v = 12. Suppose v + 0 = z. Is z prime?
True
Let r(i) = -4*i**3 + 2*i**2 - i - 2. Suppose -4*n = -0*n + 12. Is r(n) a composite number?
False
Suppose 0 = -5*p + 871 + 744. Let g = p - 6. Is g a prime number?
True
Let l(x) = x**3 + 2*x**2 - 5*x - 3. Let m be l(-3). Let s = -13 - -16. Suppose -i - f = 4*i - 397, -m*i + 231 = -s*f. Is i a composite number?
False
Let m(g) = 3*g**2 - 12*g - 8. Is m(-11) composite?
False
Let m be 0 + (-63)/(1 + 2). Let k = 35 + m. Is k prime?
False
Let f(l) = l**2 - 3*l. Let j be f(3). Suppose -3*v - 54 + 255 = j. Is v composite?
False
Suppose 4*z - 5*z + 130 = 2*m, -5*z + 114 = 2*m. Is m a prime number?
True
Suppose 5*u = 4*h - 3*h + 23, -4*u + 5*h + 10 = 0. Suppose -w - 5*y = -468, 2*w - 763 = u*y + 98. Is w composite?
False
Let z(i) = -i**3 - i**2 + 4*i + 4. Let j(k) = -k**2 + k - 2. Let c be j(2). Let s be z(c). Let l = s + 17. Is l composite?
False
Let w(j) = -127*j - 9. Let g be w(-5). Let i = g + -427. Is i prime?
True
Suppose 53*g - 57*g + 4756 = 0. Is g prime?
False
Let n(w) = w**3 - 2*w**2 - w + 1005. Let s be n(0). Suppose 0 = 2*c - 263 - s. Is c a composite number?
True
Let q = 4 - 0. Suppose 0 = -q*r + 582 + 162. Suppose -u + 0*u + 91 = -4*v, -4*v = -2*u + r. Is u a composite number?
True
Suppose -4*i = 8, -2*i = -3*l + 2*l + 13. Let y = -9 + l. Let k(q) = -q**3 + q + 13. Is k(y) composite?
False
Suppose -b + 1092 = -823. Is b prime?
False
Let o(t) = 77*t**2 - 8*t - 5. Is o(-4) composite?
False
Let c be 1 - (-159)/9*-3. Let w = c + 84. Suppose j - 109 + w = 0. Is j a composite number?
True
Let x = 21 - 20. Is -89*(x - 2)*1 composite?
False
Let k = 32 - 23. Suppose -11*h = -14*h + 72. Suppose -z + k + h = 0. Is z composite?
True
Suppose -h + 103 = -0*h - 4*b, -427 = -5*h - 2*b. Let q = 166 - h. Is q a composite number?
False
Let m(k) = -k**2 + k + 1. Let j(p) = -p**2 - 6*p. Let c(o) = -j(o) - 3*m(o). Let d = -8 + 3. Is c(d) prime?
False
Is 4 + 417 - -1*4/(-2) a composite number?
False
Is (3/(-2))/(3/(-248)*2) a prime number?
False
Is -1 + 5 - (0 + -115) a composite number?
True
Let z(s) = 12*s**2 + 3*s - 4. Is z(-3) a composite number?
True
Let k(l) = -14*l - 3. Let x(o) = o**2 + o. Let u(h) = k(h) + 6*x(h). Let t be u(7). Suppose 0*f + t = 5*f. Is f prime?
True
Suppose 0 = 2*o - g - 2 - 5, 3*g = -4*o - 1. Let m be 0/(o + -4) - -2. Suppose -m*p - 5*y - 20 = -62, 2*p - 4*y = 78. Is p a composite number?
False
Is (-1 - 981)/(-2) - 4 a composite number?
False
Suppose 2074 - 254 = 4*i. Let b = -250 + i. Is b composite?
True
Let p(x) = 218*x - 7. Let r(u) = -435*u + 15. Let v(l) = 13*p(l) + 6*r(l). Is v(1) a composite number?
False
Let a be (-151)/(-1)*(2 + -1). Suppose -5*d + 4*l = -a, -4*l + 156 = 5*d - 3*l. Is d prime?
True
Let v = 1 + 1. Suppose -2*l + 6996 = v*l. Is (-2)/(-9) - l/(-27) composite?
True
Suppose -4*u = -12, -3*u + 4*u = -w - 5. Let t = w - -4. Is (152/(-12))/(t/6) a prime number?
True
Let r(i) = -20*i - 7. Let o(s) = 61*s + 21. Let q(a) = 2*o(a) + 7*r(a). Let w(f) = -12*f - 5. Let m(j) = -5*q(j) + 8*w(j). Is m(-7) prime?
True
Suppose 5*w - 7 = 3. Suppose 5*z - w*y = 26, -y - 11 = z + 4*y. Suppose 2*d - 152 = 2*t, 3*d = z*d - 3*t - 70. Is d a prime number?
True
Suppose -2*o = o + 4*q - 663, 3*q = 0. Is o a composite number?
True
Let x(y) = -y + 10. Let u be x(6). Is (230 - (-4)/u) + 2 composite?
False
Let a = 1789 + -638. Is a a prime number?
True
Let v(h) = 2*h + 7. Suppose 4*w - 27 = w. Is v(w) a prime number?
False
Is 7/(-21) + (-1886)/(-6) a prime number?
False
Suppose 0*a = 5*a - 3880. Suppose -2*f - a = -6*f. Suppose -4*b = 46 - f. Is b prime?
True
Let n be (3/(-2))/(3/(-4)). Let s(i) = 5*i - 3 + 30*i + 14*i. Is s(n) prime?
False
Suppose 0 = -2*p + 5*x + 45, 4*p - 115 = 4*x + x. Suppose -p = -3*c - 8. Is c composite?
True
Let r(h) = h**2 + 8*h + 11. Let y be r(-5). Is 6/y - (-4143)/6 a composite number?
True
Is ((-3)/(-9))/((-3)/(-12249)) composite?
False
Let p = -5 + 8. Let z(l) = -7 - 7*l - p + 6. Is z(-5) composite?
False
Suppose -j = -4*g - 0*j + 7966, 2*g = -4*j + 3974. Is g a composite number?
True
Suppose -2*f + 8 = 4*w - 0*f, 20 = 2*w - 3*f. Suppose -w*m = -2*m - 14. Suppose 4*d = -s + 59, -m*s + 4*d = -2*s - 199. Is s a prime number?
True
Is (-3)/(6120/2045 - 3) prime?
True
Let j = 455 - 1002. Let d = j + 945. Is d a prime number?
False
Let x = 10 + -4. Suppose 3*r - x*r + 30 = 0. Is r a prime number?
False
Suppose -2*p + 0*p = 0. Is 2/(-4)*(p + -166) a prime number?
True
Is (-2)/6 + (-2224)/(-12) prime?
False
Suppose -144 = -0*n - 2*n. Suppose 4*v - n - 772 = 0. Is v a prime number?
True
Let p be (0 + (-2)/(-5))*7655. Is 12/42 + p/14 composite?
True
Let k(o) be the first derivative of o**7/840 - o**6/72 + o**5/40 - o**4/12 - 2*o**3/3 + 2. Let p(x) be the third derivative of k(x). Is p(5) prime?
True
Suppose -2*z + 3170 = 4*y - 2408, -2*y + 5574 = 2*z. Is z a prime number?
False
Let q be (-11)/(-2) - (-2)/(-4). Suppose -2*g = -q*g + 45. Is g a prime number?
False
Suppose 4*k = -1780 - 932. Is 1/(k/(-338) + -2) a prime number?
False
Let y = 1079 + -733. Is y prime?
False
Let g(m) = -m**2 - 14*m - 13. Let h = 0 - 6. Is g(h) prime?
False
Let o(n) = 2*n**2 + 3*n + 3. Let m be o(-2). Suppose 5*j = q + 194, -m*q - 210 = -9*j + 4*j. Suppose 3*k = k + j. Is k prime?
True
Let c = -412 + 590. Let h = 255 - c. Is h composite?
True
Let w be (-20)/(-8)*(-6)/(-5). Suppose 4*i - 4*u + 4 = 0, w*i - 6 = -5*u - 17. Let f = i - -15. Is f prime?
True
Let l = 5 - 3. Let w = -1 + 4. Suppose 57 = 5*r - 4*f, l*f - 45 = -w*r - f. Is r composite?
False
Suppose 0 = 3*d - 3*t + 5*t - 520, -3*d = -4*t - 526. Suppose -b - b = -d. Let n = b + -32. Is n a composite number?
True
Let l(w) = -w**3 + 9*w**2 + 7. Let t be l(7). Suppose -6*v - t = -9*v. Is v a prime number?
False
Let z be ((-24)/4)/(2/(-66)). Suppose d + z + 249 = 3*u, -d = 4*u - 596. Is u a composite number?
False
Is 2 - 3*(-4 + -105) composite?
True
Suppose 8*k - 9*k = -169. Suppose -t + 440 = -5*t - 4*f, 5*f = -4*t - 436. Let c = t + k. Is c a composite number?
True
Let x(n) = -n**3 + 6*n**2 - 4*n - 3. Let d be x(5). Suppose 3*w - 1465 = -d*w. Is w a prime number?
True
Let n(s) = 287*s**2. Let y be n(-1). Let m = y + -188. Let f = -46 + m. Is f a composite number?
False
Suppose 5*b + 76 = 3231. Is b a prime number?
True
Let i be 3 + 0 + -2 - 4. Let m(y) be the third derivative of -y**4/4 - y**3/2 - y**2. Is m(i) a composit