a) = -a + 1. Let z(s) = -109*s + 2. Let d(u) = 5*f(u) - z(u). Is d(4) a prime number?
True
Let o(j) = 2*j - 4. Let s be o(6). Let x(t) = t**3 - t**2. Let c(f) = -5*f**3 + 13*f**2 - 7*f + 3. Let w(h) = c(h) + 4*x(h). Is w(s) prime?
True
Let n = -5 - -9. Let f = -7 + 20. Suppose n = -g + f. Is g a prime number?
False
Let j(v) = -v**3 - 4*v**2 + 5*v - 3. Let y be j(-5). Let m(a) = -5*a. Is m(y) a prime number?
False
Suppose 0 = 3*q + 5*q - 208. Suppose -i = -0 - 7. Let t = q - i. Is t a prime number?
True
Let r be (-2332)/(-6) - 2/3. Let s = r - 193. Let x = -116 + s. Is x a composite number?
False
Suppose 5*y + 10 - 20 = 0. Is y composite?
False
Let t(c) be the second derivative of c**4/12 - 5*c**3/6 - 4*c**2 + 2*c. Suppose -j - 36 = -30. Is t(j) prime?
False
Let u(l) = -2 - 3 + 5 + 6 - 4*l + l**2. Let c = -11 - -16. Is u(c) composite?
False
Let m be 21790/25 - 2/(-5). Is m/6 - (-4)/(-12) composite?
True
Let l(n) = -n + 6. Let j be l(13). Let s(c) = -35*c**3 - 3*c**2 + 8*c + 3. Let u be s(-5). Is (-2)/6*u/j composite?
True
Suppose 4*c - 2 = -p, 3*p = -2*c - 3*c + 20. Is (6/p)/((-9)/(-45)) a composite number?
False
Let r(i) = 162*i. Suppose 5*v = -5*o - 30, -5*o = 2*v + 2*v + 21. Let s be r(v). Is (s/3)/(-3) + 1 composite?
False
Let g = -17 + 22. Suppose -4*v + 5 + 3 = 0. Suppose v*f = 5*h - 85, -5*h + 3*h + 13 = -g*f. Is h a composite number?
False
Suppose -5*t = -3*k + 1257, -5*k + 5*t = 960 - 3055. Is k a prime number?
True
Let d = 5983 + -2526. Is d prime?
True
Suppose -2*r - 6 = r, 3*g - 2*r = 67. Let f = 13 - g. Let m(b) = -2*b - 1. Is m(f) a composite number?
True
Suppose 4*f - 18 = -2*i, -4*i = 3*f - 2*i - 15. Let x be 103 + -1 + 1 + 0. Suppose -2*a + x = -3*g, 0 = -2*a + g + f*g + 102. Is a prime?
True
Suppose 0 = -q + 6*q - 20. Suppose -4 - q = -2*m. Suppose 4*p - 64 = -2*a - p, -m*a = 3*p - 142. Is a composite?
False
Let f(d) = 5*d**3 - 4*d**2 + 3*d + 3. Let y be f(4). Let q = 490 - y. Is q prime?
False
Let k be 1/(-2)*(16 + 0). Let n = k + 13. Is 1/(1 + n/(-6)) composite?
True
Suppose 2*o + 3*v - 3940 = 0, -9857 = -5*o + v - 5*v. Is o composite?
False
Suppose -6*d = -17*d + 11099. Is d prime?
True
Suppose 1563 = 4*b + 5*t, 0*b = b - t - 402. Is b a prime number?
True
Let m = -5 - -10. Suppose -74 = n - 2*l - 255, -m*n + 950 = -l. Is n prime?
True
Suppose -3*s = -6*s - 4*g + 582, -4*s + 3*g = -776. Suppose m - 3*m - s = 0. Let v = m - -164. Is v composite?
False
Suppose -2*t - 5*c + 6*c - 1 = 0, t - 4*c + 18 = 0. Let h = 40 + -40. Suppose -t*m - 3*m + 285 = h. Is m prime?
False
Suppose -4*u = -431 + 75. Is u prime?
True
Is 2 - (-112)/(-60) - 12206/(-30) prime?
False
Let l be 20/5*5/4. Suppose l*v + z = v + 9, 6 = 5*v + 3*z. Suppose -2*w = 2*c - 78, 3*w - 119 = -v*c - w. Is c composite?
False
Let x(t) = -t**3 + 5*t**2 - 3*t + 1. Let w = 7 - 4. Is x(w) prime?
False
Let d = 285 - 191. Suppose d = -0*x + 2*x. Is x prime?
True
Let m = 582 - 169. Is m a composite number?
True
Let t(w) = 29*w**2 + 3*w - 3. Let p = 18 - 13. Let o = 7 - p. Is t(o) a prime number?
False
Let a be 2*-1 - (2 - 19). Let z = 44 + a. Is z composite?
False
Suppose 0 = -2*n + 4*g + 24, -5*n - g + 18 = 3*g. Suppose -8*f + 51 = -5*f. Let b = f - n. Is b a composite number?
False
Let d = 2754 + -1585. Is d a composite number?
True
Let a(i) = -i**2 + 13*i - 5. Is a(7) composite?
False
Let n(t) = 0*t + 2*t**2 - 4*t - 1 - 2*t**2 - t**2. Let m be n(-3). Suppose 3*p - 5*b - 37 = 0, -m*b - 39 = -p - 7*b. Is p composite?
False
Suppose 0 = 5*k - 2*w - 17 + 1, -2*k + 3*w = -2. Suppose -3*y + y = -k. Suppose 0 = -0*f + y*f - 134. Is f a composite number?
False
Suppose h - 20 = -3*h. Let b = h - -2. Is b prime?
True
Suppose -3*f = 4*j - 912, 3*f + 4*j = 4*f - 320. Suppose -40 - f = -4*z. Is z a composite number?
True
Suppose -2*n = 5*s + 3*n + 25, 3*s + 19 = -4*n. Let u = -2 + s. Let p(i) = 5*i**2 + 2. Is p(u) a prime number?
True
Let f = -16 + 22. Is -6*-1*94/f prime?
False
Let f = 6 - 3. Is (-61 - -2)*(f + -4) a prime number?
True
Suppose -s - 2*s + 133 = o, 225 = 5*s + 5*o. Suppose -2*c = -4*z + s, -4*c + 1 = z - 1. Let r(u) = u - 4. Is r(z) a prime number?
False
Let b(g) = g + 10. Let i be b(-8). Let y be 3 + i/4*10. Suppose k + 3*h - 39 = 40, 0 = 2*h - y. Is k composite?
False
Suppose -5*c - 535 = 5*h, 5*h + 104 = -c + 3*h. Let f = -837 + 588. Let d = c - f. Is d prime?
True
Is 15/(-5)*1461/(-9) a prime number?
True
Let n(k) = k**2 - 6*k - 14. Is n(12) prime?
False
Suppose -3*s = s - 72. Let b = 47 + s. Is (-6)/9 - b/(-3) a composite number?
True
Let s(t) = t**3 + 11*t**2 + 5*t + 3. Is s(-4) a prime number?
False
Suppose -2*f + 4*f = 162. Let y = 124 - f. Is y a prime number?
True
Let z(b) = -88*b**3 + 4*b**2 + 2*b - 1. Is z(-1) a composite number?
False
Suppose -8*f = -1641 - 415. Is f composite?
False
Let p(f) = 5*f**2 - 10*f. Let o be p(7). Suppose -5*i = -x + 6*x - o, -4*x = -i - 160. Is x composite?
True
Let m(u) = -4*u**3 + 4*u**2 - 4*u + 11. Is m(-5) a composite number?
False
Suppose 0 = 2*q - q - 6. Let s be (3 - q)/(6/(-4)). Is (-3)/s*(-112)/12 composite?
True
Let h = 827 + -424. Is h composite?
True
Suppose -5*w = -199 + 24. Suppose l - 119 = 5*h, -4*h + 300 = 3*l - 0*h. Let b = l - w. Is b a prime number?
False
Let w be (2 - 4/2)/(-2). Suppose -2*b + 4 + 0 = w. Suppose -j = -b*j + 79. Is j a composite number?
False
Suppose 0 = 4*x - 2*x + 496. Let r = x - -553. Is r composite?
True
Let v(o) = 1966*o**3 - 2*o**2 + 3*o. Is v(1) a prime number?
False
Let g(j) = 1. Let h(i) = 6*i - 6. Let m(o) = -5*g(o) - h(o). Is m(-3) a prime number?
True
Let j = 66 - -19. Is j composite?
True
Suppose -3*q = p - 1, 3*p = 2*q - 3*q - 13. Suppose b = -7*u + q*u + 162, 84 = 3*u + 5*b. Is u a composite number?
True
Let s = 6 - 4. Let o be (-6)/12*5*s. Is o/(-2)*(-1 - -7) prime?
False
Suppose 1155 = u - 4*t, 3*t + 2290 = 3*u - u. Is u prime?
False
Suppose 3*t = c + 563 + 303, 2*t - 549 = -5*c. Is t prime?
False
Suppose 2*g + 932 = 4*g. Is g a prime number?
False
Suppose -4*u + 45203 = 13*u. Is u prime?
True
Suppose -1442 - 218 = -4*i. Let w = i + -287. Suppose w + 2 = 2*u. Is u a prime number?
False
Suppose -2*h - 2*h + 294 = 2*s, 0 = 3*h + 15. Is s composite?
False
Is 1 + (-4 - 0) - -890 prime?
True
Let x(r) = -r**3 + 21*r**2 - 15*r + 25. Is x(14) a prime number?
True
Is (-1)/(-6) - (-9735)/18 a composite number?
False
Let n = 22 - 22. Suppose -2*c + 1268 - 382 = n. Is c prime?
True
Let y = -24 + 26. Suppose -l = -5*a + 1011, y*l - l = -4*a + 816. Is a prime?
False
Let j be ((-36)/16)/((-2)/176). Let o = j - 80. Suppose -30 - o = -4*u. Is u composite?
False
Let y(z) = -z**3 - 5*z**2 - 4*z + 2. Let l be y(-4). Is (l + (-2)/2)*91 a composite number?
True
Let b(d) = 8*d + 7 - 12*d + 70*d**2 + 6*d. Is b(-3) a prime number?
True
Is 6/14 - 7/((-245)/2470) a composite number?
False
Is 2*(891/6 - 2) a prime number?
True
Is (-1 - (1 - 3))*(148 + 1) composite?
False
Let q(u) = -11*u**2 - 2*u + 15. Let i(f) = 5*f**2 + f - 8. Let g(v) = -13*i(v) - 6*q(v). Is g(-11) a prime number?
False
Let p(s) be the first derivative of s**7/420 - s**6/72 + s**5/40 + s**4/6 - 2*s**3/3 - 2. Let t(h) be the third derivative of p(h). Is t(3) composite?
True
Let d be 3*1 + (-2 - -2). Suppose -5*r - 38 = -13, -3*r + 63 = d*k. Suppose 0 = 4*b - 2 - k. Is b a prime number?
True
Suppose -4*q + 1055 = q. Is q prime?
True
Let o = 424 + -18. Suppose m = -4*y + o, 3*y - 308 = -4*m + 5*m. Is (-15)/(-9)*y/2 a prime number?
False
Let h(u) = 212*u**3 + u**2 + u - 3. Is h(1) composite?
False
Suppose 4*v - 192 = o - 3*o, -16 = 4*o. Suppose -v = -2*g + 188. Is g a prime number?
False
Let q = -130 + 275. Is q a prime number?
False
Let c(u) = -11*u - 3 - 1 + 2. Let x = -7 + 4. Is c(x) composite?
False
Suppose -2436 = -5*a - i, -1943 = -4*a - 6*i + 11*i. Is a prime?
True
Suppose -205 = -2*j + 213. Is j prime?
False
Suppose 2*l + 74 = 5*w - 125, -l + 167 = 4*w. Suppose 5 = -2*a + 1. Let s = w - a. Is s composite?
False
Let g = -140 + 340. Let y = g - -17. Is y composite?
True
Let p = -688 - -1072. Let n = p - 257. Is n composite?
False
Let k = 5 - 1. Suppose -5*z + 11 = -k. Is (-1)/z + 320/6 a composite number?
False
Suppose -4*a + 6*a = 44. Suppose 0 = 5*r - 2*f + 66, r + f + 2*f + 3 = 0. Let q = a + r. Is q a composite number?
True
