 -0*v. Is v a prime number?
False
Is 3 + -4 + 32 + 2 a composite number?
True
Let y(f) = 2*f**3 - 9*f**2 + 8*f + 7. Let j be y(9). Suppose 4*v - 311 - 497 = -3*m, 4*v - j = 2*m. Is v a composite number?
True
Suppose 0 = -2*n + 3*n + t - 24, 0 = 4*n + 5*t - 95. Suppose -4*q = 2*l - 38, 4*q - q - 2*l - n = 0. Let o = 29 + q. Is o prime?
False
Let c(g) = 1845*g**3 - 3*g**2 - 1. Is c(1) a composite number?
True
Let m(t) = 13*t**3 - t**2 - 4*t - 3. Let l be m(-3). Let o = l + 141. Is (o/24)/(1/(-4)) prime?
False
Let s be (-2)/5 - 56/10. Let a be ((-21)/s)/(4/(-8)). Let q = 46 - a. Is q a composite number?
False
Let k be 3/((-3)/(-2)) - -2. Suppose -2*u - u + 3*b = -117, -k*u + 138 = 5*b. Is u a prime number?
True
Suppose 128 = -k + 5*k. Suppose -188 = 4*j + k. Is 1 - 1 - (j - -2) composite?
False
Suppose 1161 + 5073 = 6*w. Is w composite?
False
Let n(t) = 4*t + 2. Let y be n(1). Let r(o) = o**3 - 4*o**2 - 3*o + 5. Is r(y) a prime number?
True
Let y(r) = -17*r**3 + 2*r**2 - 2*r - 3. Suppose 3*z + 9 = 3*x, 4*z + 3*x = 2*x + 13. Suppose b + z*c + 5 = c, 2*c + 6 = 0. Is y(b) a prime number?
False
Suppose -2*k + 7*k - 15 = 0. Suppose 18 - 2 = -4*g - c, 25 = -k*g - 4*c. Let q(p) = -5*p**3 + 2*p**2 - 2*p + 2. Is q(g) prime?
False
Suppose 3*t + 3 = 3*h, -t + 2*h = -6*t + 30. Let m(k) = k**3 + 3*k**2 - 7*k + 5. Is m(t) composite?
False
Let f = -7 + 11. Suppose -5*i - f*u = -16, 5*i - 6 - 11 = -3*u. Is i a prime number?
False
Let p(y) = 0 - 1 + 0 + 21*y. Suppose -17*a = -18*a + 4. Is p(a) a prime number?
True
Suppose -2*q - 4*o + 48 = -0*o, -2*q = -4*o - 24. Let l be 1/(-4) - q/(-8). Suppose 0*k + 82 = 2*z + 4*k, -194 = -4*z + l*k. Is z composite?
False
Let h = 1019 - 188. Is h composite?
True
Let u = 7 - 0. Suppose -2*m - 10 = -u*m. Suppose -m*c + 0*c + 26 = 0. Is c a prime number?
True
Let z = -11 + 8. Is (3 - (-127 - z))*1 composite?
False
Let t(c) = 17*c**3 - 2*c**2 - c - 1. Let l(r) = -16*r**3 + 3*r**2 + 2*r + 2. Let g(p) = -2*l(p) - 3*t(p). Is g(-1) composite?
False
Let k be ((-2)/(-5))/((-4)/(-20)). Suppose -7 = 5*v - 3*h, -k*v + 0*v = -4*h + 14. Let t = 10 - v. Is t a composite number?
True
Let a = 16 + -22. Is (-844)/6*a/4 prime?
True
Suppose -m + 36 = 3*m. Let v = 76 - m. Is v a composite number?
False
Let z be (6/(-8))/((-4)/272). Suppose 0 = h - 171 + z. Let r = h + -67. Is r a composite number?
False
Let l be (18/4)/((-5)/(-30)). Let w = -22 - -14. Let v = w + l. Is v a prime number?
True
Let f be -4 + (-5)/(5/(-3641)). Suppose -3*k + f = 2*q, -2*k - 3*k - 5*q = -6060. Is k composite?
False
Suppose 0*n = 5*n - 1055. Is n a prime number?
True
Suppose -4*v = -5*s + 36 + 223, 4*s - 236 = -4*v. Is s composite?
True
Let g be 2 - (-2 - -1)/(5/(-130)). Suppose -4*f + 204 = -736. Let d = f + g. Is d a prime number?
True
Let k(y) = -y + 9. Suppose 2*l + l = 57. Let a = -12 + l. Is k(a) a composite number?
False
Suppose -6*z + 3*z = 0. Suppose 4*n = 2*f - 2, 3*f + z*n - 4*n = 1. Let g(k) = -66*k**3 + 1. Is g(f) prime?
True
Let y = 8 + -6. Let q be (-2)/(y/2) - 40. Let g = q + 97. Is g prime?
False
Suppose 4*d - 15 = 3*l + 25, 5*d + 5*l - 15 = 0. Suppose 3*j - 28 = 5*u, 2*u + d = -3. Let v(z) = 76*z**3 + 2*z**2 - z. Is v(j) a prime number?
False
Is 12031/9 + (-6)/(-27) composite?
True
Suppose -4*v = 4*g + 16, g + 19 = -4*v - 2*g. Let i(d) = -d - 3. Let s be i(v). Suppose s*a - 3*a - 509 = -4*u, -3*u + 3*a = -378. Is u a composite number?
False
Suppose 243 = 7*r - 163. Is r prime?
False
Let a = -145 + 300. Is a prime?
False
Is (1/(-2))/(6/(-2148)) a prime number?
True
Suppose 9*i - 8460 = -5*l + 4*i, -3*l + 2*i = -5081. Is l a composite number?
False
Suppose -299 = 5*c - 789. Suppose -5*k = 2*z - 277, 5*z = -2*k + c + 17. Is k a prime number?
False
Let c = -305 - -528. Is c composite?
False
Is 9 + -4 - (-1843 - -1) composite?
False
Let p(h) = h**2 - 6*h + 12. Let n be p(4). Is (388/16)/(1/n) a composite number?
False
Suppose 2*g + 3*k - 158 = 7*k, -4*g = 2*k - 366. Let m = -51 + g. Suppose 2*y = 4*y - m. Is y a composite number?
False
Let a(t) = -t**3 + t**2 - 519. Suppose 6 = -5*y + 3*m, 4*y + 3*m = m + 4. Let o be a(y). Is o/(-9) - (-2)/(-3) prime?
False
Let a = -877 - -1256. Is a composite?
False
Suppose -6*p = l - 3*p + 3, 5*l = -3*p + 9. Is l a prime number?
True
Let q = 113 - 28. Is q a composite number?
True
Suppose -3*w = i - 9, i - 6 = -2*w + 3*i. Let v be -120*2/(-9)*w. Suppose v = 4*n - 60. Is n composite?
True
Is 2/6 + (-5 - (-41531)/21) a prime number?
True
Suppose 5*o = -2*g + 2665, 1630 = 3*o - 2*g - 3*g. Is o a prime number?
False
Suppose -4*j + v + 73 = -0*v, 69 = 4*j + 3*v. Suppose j = -g - 4*l, 5*g + 32 = l - 37. Is 27/(-6)*g/3 a prime number?
False
Suppose -5*x - 3*d + 10 = 0, -5*x - 2*d = -x - 10. Suppose -3*p - 3*s - 15 = -6*p, 0 = 2*p + 3*s - x. Suppose 3*a - 24 = -3*w, -3 = -4*a + p*w + 21. Is a prime?
True
Suppose -5*l + 4 - 34 = 0. Is (21/l + -2)*-2 a composite number?
False
Suppose 10*k - 8*k + 2*a = 40, 2*a + 10 = 0. Is k prime?
False
Let j(x) = -389*x + 5. Is j(-4) composite?
True
Let r = 410 + 177. Is r prime?
True
Let j(w) = -1 + 31*w - 2 - 1. Is j(3) a prime number?
True
Let g(p) = -p**2 + 8*p - 8. Let i be g(6). Suppose 0 = -t + i*t - 189. Suppose 0 = 5*f - t - 12. Is f composite?
True
Let y(t) = 4*t**2 + 10*t - 7. Is y(-10) a composite number?
False
Suppose 0 = 4*x - 6*x. Let l be (-2 - -2 - x) + -37. Is (l/2)/((-2)/4) prime?
True
Let m(l) be the third derivative of l**6/120 + 7*l**5/60 + l**4/6 - 5*l**3/6 - 3*l**2. Let x be m(-8). Let r = 178 + x. Is r a prime number?
False
Suppose 0 = -3*y + 214 + 383. Is y composite?
False
Suppose 4*f - 257 = 31. Suppose -4*j - 288 = -f. Let u = j - -137. Is u a prime number?
True
Let b be ((-6)/9)/((-4)/30). Suppose b*v + 0 = 10. Let f(p) = 4*p**3 + p**2 - 2*p + 3. Is f(v) a prime number?
False
Is 579/5 + 16/(-20) a prime number?
False
Let l be 1/(-1) + 246/(-2). Is (-15)/(-10)*l/(-6) a composite number?
False
Let u(p) = p**2 + p. Let j(a) be the third derivative of a**5/60 + a**4/24 - a**3/6 + 4*a**2. Let s(b) = -j(b) + 3*u(b). Is s(6) composite?
True
Suppose -2*l - 24 = -664. Suppose -100 = -i + 3*p, p = -4*i - 3*p + l. Is i a prime number?
False
Suppose 0 = -5*w + 4*i + 79, -w + 0*i = -i - 16. Suppose 5*l - 85 + w = 0. Is l a prime number?
False
Suppose 0*u - 5*u - 5 = 0, -747 = -5*b + 2*u. Is b a composite number?
False
Let l(p) = -p. Let q be l(-6). Let b = q - -23. Let a = 52 - b. Is a a composite number?
False
Let b = -1175 + 3442. Is b prime?
True
Let u(j) = 12 + 13*j + j**3 - 12*j**2 + 0 + 1. Suppose 2*c - 5*l = 27, 3*l = c + 4*c - 58. Is u(c) composite?
True
Let t(n) = 5*n - 5. Is t(14) prime?
False
Suppose -4 - 767 = -3*r. Is r a prime number?
True
Let w(a) = a**3 + 11*a**2 - 2*a - 11. Let y be w(-11). Let m be 13/y + (-4)/22. Is 96 - (-3 + 2)/m prime?
True
Let y(w) = -w**3 + 3*w**2 - 2. Let u be y(2). Let g(q) = -3 + 4*q**2 + 11*q - 5*q**u + 4 - 4*q. Is g(5) a prime number?
True
Let n be 22/6 + (-2)/3. Let f = -32 + 37. Suppose -b + f*g - 109 = -n*b, 0 = -b - g + 50. Is b a prime number?
True
Suppose -l = -2*b + 6622 + 477, -3*b + 10646 = -l. Is b prime?
True
Let a = 74 + -50. Suppose 4*t - 2*g = a, 5*t + 0*g = -4*g + 17. Let f(x) = x**2 + 7*x + 2. Is f(t) prime?
False
Let a be 4/(-18) - 1288/36. Let g(t) = 9*t + 5. Let q be g(6). Let d = q + a. Is d a prime number?
True
Let c(h) = 3*h**2 - 19*h + 9. Let o(x) = x**2 - 9*x + 5. Let w(v) = -2*c(v) + 5*o(v). Let f be w(-8). Is 1 - (37*-1 - f) a prime number?
True
Let q(v) = v**3 - 4*v**2 - 7*v + 1. Suppose -27 = -3*s + 3*z, -5*s + 5*z = -3*s - 27. Is q(s) a composite number?
False
Let h be 15/(-2) - (-12)/8. Let o = -2 - h. Suppose 175 = 2*l + 3*u, -4*l + 2*u - o*u = -354. Is l a composite number?
False
Let r = 211 + 184. Is r a prime number?
False
Suppose 0 = l + 330 + 565. Let o = 1860 + l. Is o a prime number?
False
Let r(a) = -a**3 - a**2 + a + 95. Let u be r(0). Let m be u + 0 + (0 - 0). Suppose -m = -0*p - p. Is p composite?
True
Suppose 0 = 3*l - 14 - 16. Is l prime?
False
Suppose -5*d + 22 = -q, 6*q + 2*d = q - 29. Is 8/28 + (-1097)/q composite?
False
Suppose 0 = 5*b - 5, 5*c + 8*b - 13043 = 10*b. Is c prime?
True
Let f = 20127 + -9760. Is f a prime number?
False
Let o(j) = 4*j**2 + j - 1. Let u be o(1). Suppose u*