 b + 4*w, -7 = -5*b - 3*w + w. Suppose -2*a - 3*n + 292 = 0, -a + 2*a - b*n - g = 0. Is a a prime number?
True
Let j(z) = -z**3 + 2*z**2 - 2*z + 194. Is j(0) composite?
True
Let l be (-2)/10 - (-1236)/30. Let q = l + -22. Is q a composite number?
False
Let w(d) = 5*d - 1. Let t be w(1). Is t/(-8) + (-10)/(-4) composite?
False
Let g be -190 - (-5)/(10/(-4)). Let i = -134 - g. Is i composite?
True
Suppose n + 13 = 2*v + 1, 3*n + 32 = 5*v. Suppose -v*k = -4*f + 856, -2*f + 5*f + 4*k = 621. Is f a composite number?
False
Suppose 5*d - h = -15, 5*d - 3*h + 0*h + 25 = 0. Is -1*d*69/6 prime?
True
Let t(a) = -12*a + 3. Let d be t(-3). Let j be (0/1)/(1 - 0). Suppose j*h + d = 3*h. Is h composite?
False
Let u(l) = l + 6. Let t be u(0). Let x be 1/((t/2)/(-3)). Is x*(2 + 2*-2) a prime number?
True
Suppose -4*j + 4*b + 14 = -14, 0 = -2*j - 3*b + 4. Suppose -15 + 60 = j*i. Suppose -5*c = -i*c + 220. Is c a composite number?
True
Let k(d) = -d**3 + 6*d**2 - 2. Let m be k(3). Let g = 58 - m. Is g prime?
False
Suppose 0 = -a + 7 + 1. Is (-467)/(-7) + a/28 composite?
False
Suppose 0 = -3*d - 5*z - 2 + 1, -4*d - 3 = 5*z. Let f = d - -8. Suppose -1 - f = -i. Is i a prime number?
True
Suppose -6*k = -5*k - 2. Let x(g) be the third derivative of 41*g**4/12 - g**3/6 + 3*g**2. Is x(k) a composite number?
False
Suppose 0 = 4*x - 135 - 5141. Is x a composite number?
False
Let d = 13 + -13. Suppose -v - 444 = -8*t + 3*t, d = 4*t + 4*v - 360. Is t composite?
False
Suppose 5*l = 3*l - 24. Let h be 30/4*(-40)/l. Is (h/2)/(1/2) composite?
True
Suppose -3*i - 2*o = -4 + 2, i = -2*o - 6. Suppose -k - 8*g = -i*g - 12, g = -2*k + 10. Is k composite?
True
Suppose -314 = -4*f - a - a, -2*a = -2*f + 154. Let o = f + -56. Let i = 111 - o. Is i a prime number?
True
Is 6139/14 + (-2)/(-4) prime?
True
Let p(d) = -11*d**3 + d**2 + d - 1. Let v be p(1). Let b(j) be the first derivative of -j**4/4 - 8*j**3/3 + 13*j**2/2 - 3*j + 1. Is b(v) composite?
False
Let j = 8 + 7. Is -422*(j/(-6) - -2) a composite number?
False
Suppose 4*q + 147 - 1211 = 0. Let l = 860 + q. Suppose -411 = 5*y - l. Is y prime?
False
Suppose 4*f = 9*f - 295. Is f prime?
True
Let g(f) = -f - 19. Let u be g(-19). Suppose r + 3*r = 4720. Suppose u*z - r = -4*z. Is z a composite number?
True
Suppose 4*a - 640 = -8. Let p = a - -75. Is p prime?
True
Suppose -6 = 2*m + 4*z - 4, 0 = 3*m - 4*z - 17. Suppose m*n = 919 + 362. Is n a prime number?
False
Suppose -6*u + u + 315 = 0. Suppose -u - 13 = -4*i. Is i prime?
True
Let q(b) be the first derivative of -b**4/4 - b**3/3 + 2*b**2 + b + 1. Is q(-3) prime?
True
Suppose -r + k = 5*k + 3, -2*r + 3 = -k. Let l(o) = o + 7. Let q be l(7). Let z = q - r. Is z prime?
True
Suppose 5*q - 9 = -4. Let s = q - 1. Suppose s = -g - 2*g + 33. Is g a composite number?
False
Suppose -5*j = 25 + 30. Let a = -6 - -4. Is (16 + -2)/(a/j) composite?
True
Let p(b) = b**3 + 15*b**2 + 13*b - 2. Let l be p(-13). Let w = l + -88. Is w composite?
False
Let r(d) = -89*d + 3. Let l be r(-4). Suppose 0 = -5*w - l + 1814. Is w a composite number?
True
Let h(n) = 7*n**3 - 5*n + 5. Is h(3) prime?
True
Suppose 0 = 4*q - q + 36. Let f = q - -6. Let v = 1 - f. Is v prime?
True
Suppose 0 = 3*c + 9, 3*t + 3*c = c + 567. Is t a composite number?
False
Let p be (2/4)/((-1)/22). Let t = p + 17. Let f(s) = s**2 + 3*s - 8. Is f(t) prime?
False
Let f(y) = 7*y**3 + y**2 - 2*y + 1. Let h be 2/((-1)/(-3)*3). Is f(h) a composite number?
True
Let o(g) = 1734*g - 1. Is o(1) a composite number?
False
Let g(o) = 963*o - 4. Is g(1) composite?
True
Let z(h) = -4*h**3 + 4*h**2 - 6*h - 3. Is z(-4) prime?
False
Suppose 3*r + 4*q = -698, r + 256 - 23 = -q. Let h = r - -419. Is h a composite number?
True
Let s be -1 - (-16)/(-2)*-34. Let y = s + -8. Is y composite?
False
Suppose -4*b + 17 = 1. Suppose 3*x = b*x - 19. Is x composite?
False
Let d = -7 + 12. Suppose -653 = -d*u + 352. Let l = u + -130. Is l composite?
False
Let s = 311 - -18. Is s a composite number?
True
Let s(c) be the first derivative of c**7/840 - c**6/360 - c**5/120 + 77*c**4/24 - c**3/3 + 1. Let v(k) be the third derivative of s(k). Is v(0) prime?
False
Let d = -136 + 263. Is d a composite number?
False
Suppose -2*z = -8 + 4. Suppose 2*g + z = 3*g. Suppose -g*s - 92 = -2*o, -s = 5*o + s - 265. Is o a composite number?
True
Let i be 1*-1*(6 + -163). Let f(y) = -2*y - 8. Let o be f(-6). Let v = i + o. Is v a composite number?
True
Let w(h) = 26*h - 1. Let l(a) = -235*a + 10. Let m(s) = -6*l(s) - 55*w(s). Is m(-6) prime?
False
Let z(a) be the third derivative of -253*a**4/24 + a**3/6 + a**2. Let y be z(-1). Suppose 4*j = 6*j - y. Is j a prime number?
True
Suppose -4*t = -5*t + 13. Is t a prime number?
True
Suppose -2*d + 10 = -0. Suppose -d*r = -6 - 4. Suppose 0*m = -5*y - 4*m + 441, 0 = r*y - 2*m - 180. Is y a prime number?
True
Suppose -5*n + 2481 = -y, 2764 = 5*n + 5*y + 259. Is n composite?
True
Let l = -87 - -129. Let j be (l/10)/((-5)/(-25)). Is ((-3)/3 - -2)*j prime?
False
Suppose -2 = 2*f, -5*q + f = -4*f - 390. Is q a composite number?
True
Let m = -333 - -1084. Is m prime?
True
Suppose 0 = 5*r + 5*a - 333 + 1538, r = 2*a - 244. Let v = r - -479. Is 1/(1/v*3) a prime number?
True
Suppose 580 = -0*c + 4*c. Is c composite?
True
Suppose -2*b + 6*b - 8 = 0. Suppose -23 = b*m - 201. Is m prime?
True
Suppose -4*l = -2*l + 10. Let g = -2 - l. Is (1/g)/(1/75) a prime number?
False
Suppose 0 = -3*l + 5*n - 19, -2*n = 2*l - 5*n + 13. Let f(v) = -3*v - 3. Let q be f(l). Suppose 2*a = 5*a - q. Is a composite?
False
Is ((-6)/(-15) + 22/20)*58 composite?
True
Let d(v) = 84*v**2 - 2*v - 1. Let m be d(3). Suppose 531 = 4*r - h - 61, 5*r = -h + m. Is r prime?
True
Suppose -y + 5*y = 348. Is y a composite number?
True
Let h = 16 - 9. Suppose -4*x + h*x - 267 = 0. Is x composite?
False
Let u(s) = s**2 - 3*s - 10. Let l be u(5). Suppose l = 7*d - 3*d - 452. Is d a prime number?
True
Suppose -3*a + 1129 = -4*d, a = -0*a - 5*d + 389. Is a prime?
True
Let v(h) = 7*h - 7. Let w = 22 - 16. Let f be v(w). Is (2/2)/(-1) + f a prime number?
False
Suppose 450 = 3*x - i - 90, 2*i = -2*x + 368. Suppose 232 = j - x. Is j composite?
True
Suppose 3*f - 1695 - 2389 = t, 1359 = f + 2*t. Is f composite?
False
Let x(d) = -79*d**2 - 15*d + 3. Let h(f) = 40*f**2 + 7*f - 2. Let y(l) = 5*h(l) + 2*x(l). Is y(3) a prime number?
True
Let r(n) be the second derivative of -4*n**3 - n**2/2 + 3*n. Is r(-1) a composite number?
False
Let f(p) = 15*p**3 - 2*p**2 + p. Let k be f(1). Suppose 0 = 2*q - h - 6, 4*q - h - k = -0*h. Let z(n) = 21*n + 3. Is z(q) prime?
False
Let l = 216 - -137. Is l a prime number?
True
Let b = -7 + 50. Suppose -31 = -2*l + b. Is l a prime number?
True
Let g = 54 + 12. Suppose 3 = t - 1. Suppose -t*z + 58 = -g. Is z a prime number?
True
Is (-1518)/4*(-2)/3 prime?
False
Let b = -150 + 450. Let z(h) = 3*h**3 - 3*h + 1. Let q be z(-4). Let m = b + q. Is m prime?
False
Let z(w) = -429*w**2 - 2*w - 3. Let l(a) = -143*a**2 - a - 1. Let p(k) = 8*l(k) - 3*z(k). Is p(1) composite?
True
Let p(u) = 14*u**3 - u**2 + 1. Let i be p(1). Suppose 4*s = 5*r - 237, 4*r + 3*s - i = 188. Is r a composite number?
True
Suppose -2*u = -4*l - 24, l = -2*u - 3*u + 5. Suppose u*z = z. Let t = z + 11. Is t a composite number?
False
Suppose 0 = -5*n - m - 22 + 5, -n + 5 = -4*m. Is (-9)/n - (-141 - -1) composite?
True
Let g(y) be the second derivative of -1/2*y**2 + 1/4*y**4 + 0 + 1/20*y**5 + 2*y - y**3. Is g(-4) a prime number?
True
Let z = -226 + 421. Suppose -2*n + 4*u - 6*u + 44 = 0, 8 = -n + 5*u. Suppose 0 = 4*a - n - z. Is a composite?
False
Suppose -l + 0*l + 11 = 3*z, 4*l = -3*z + 26. Suppose 188 = 4*y - 4*h, y + 16 - 55 = l*h. Is y prime?
False
Suppose 0 = -0*m + m - 42. Suppose 2*w = 4*y - 342, -3*y + m = 2*w - 225. Is y composite?
True
Suppose 4*m = 2*c + 13124, 4*m - 3*c + 3281 = 5*m. Is m prime?
False
Let v be (-1917)/(-63) + 8/14. Let k = -10 + v. Is k a prime number?
False
Let n(b) = -4*b + 12. Let a be n(-10). Suppose a = -0*x + 2*x. Is x composite?
True
Let h(j) = -3*j + 2. Suppose -2*d - 65 + 7 = 3*b, -5*d = 10. Let n be ((-6)/(-4))/(b/48). Is h(n) composite?
True
Let r(s) = -s**2 + 12*s - 1. Let l(v) = v + 1. Let m be l(-3). Let n be (m + 21/9)*27. Is r(n) prime?
False
Let m(a) = -a**3 + 4*