Let y(h) = -3*h**3 - 2*h**2 + 1. Let x be y(-1). Suppose 4*f + i = 5*m, m - x*m = -f - 47. Is m prime?
False
Suppose 3*i + m = -0*i - 3702, 5*m + 4925 = -4*i. Let l = i - -1798. Is l a prime number?
True
Let m(d) = -5*d + 1945. Is m(0) prime?
False
Let f(i) = -11*i + 2. Suppose 2*b + 11 = a, -b - 3*a - 17 = 6. Let o be f(b). Let r = o + 29. Is r prime?
False
Let s(v) = v**2 - 1. Let c be s(-3). Let q(k) = 10*k + 5. Is q(c) a prime number?
False
Let c be 5/((-20)/(-24)) + -2. Suppose -5*b + 4*z = 3*z - 72, 0 = -c*b + 3*z + 51. Is b composite?
True
Suppose 1839 = f - 5*v, -4*f - 2*v + 6032 = -1368. Suppose 5*j - 4*x - 628 - f = 0, -2*j - 5*x = -1004. Is j a composite number?
True
Let a(i) = 7*i**2 + 2*i + 1. Let l be a(-1). Is 3*3/l*94 a prime number?
False
Suppose 10*n - 267 = 7*n. Is n a prime number?
True
Let v(g) be the second derivative of -g**5/10 - g**4/4 - 2*g**2 + 2*g. Is v(-3) composite?
False
Suppose 0 = 5*i - 3*g - 4163, -3*g = -5*i - 8*g + 4195. Is i prime?
False
Suppose 3*g - 353 = -0*g - 4*l, 0 = 2*g + l - 232. Is g a prime number?
False
Suppose 360 = l - q, 2*q - 1 = -5. Suppose l = -3*j + j. Let w = -117 - j. Is w a composite number?
True
Let f = 2397 - 1652. Is f composite?
True
Let x(h) = -h - 9. Let u be x(-11). Suppose -3*k = u*s - 433, 6*s - 2*s = -4*k + 856. Is s composite?
True
Let n = -91 + 218. Is n a composite number?
False
Is (1675 - 19 - (-1 - 1)) + -3 composite?
True
Let o be 24 + (3/3)/(-1). Let h = o - 10. Is h a composite number?
False
Suppose x - 15 + 2 = 0. Is x a composite number?
False
Let j = 1125 + -424. Is j a prime number?
True
Is (-5)/(-5)*(8153 - 6) a prime number?
True
Let m(z) = -1670*z**3 - z**2. Is m(-1) prime?
True
Let d(q) be the third derivative of q**5/15 - q**4/12 - 3*q**2. Let g be d(4). Let h = g + -35. Is h a prime number?
False
Let w be (-4)/(-10) + 266/35. Let j = w + -5. Is j composite?
False
Suppose i - 1625 = -4*i. Suppose -h - 4*h = -i. Is h a prime number?
False
Let h(x) = -1 + 1 + 1. Let p(b) = -6*b - 4. Let l(y) = 3*h(y) + p(y). Is l(-8) prime?
True
Suppose 3*r = 15, y - 364 = -3*r - 16. Suppose 5*z = -5*x + 415, -4*x - y = -4*z - 9*x. Is z composite?
True
Is (-5 + -2)*(-109 + 2) a prime number?
False
Let o(z) = z**3 - 7*z**2 - 13*z + 8. Is o(9) a prime number?
True
Let g(r) be the third derivative of r**6/12 + r**5/30 + r**4/8 - 2*r**3/3 - 3*r**2. Is g(3) a prime number?
True
Let q(a) be the second derivative of a**5/20 + 2*a**4/3 + 2*a**3/3 - 3*a**2 + 3*a. Is q(-7) prime?
False
Let f be 0 - (-7)/(28/8). Suppose -3*w = f*w - 665. Is w a composite number?
True
Let j(q) = 2438*q - 3. Is j(1) composite?
True
Let n(l) be the second derivative of -l**5/5 + l**4/6 - l**2 + l. Is n(-2) composite?
True
Let a(p) = 109*p + 3. Is a(2) a composite number?
True
Let m(k) = -k**3 + k**2 - 2*k + 5. Let o be m(0). Let b = 0 - 0. Suppose -h - o*z + 206 = b, 2*z + 1372 = 5*h + 423. Is h composite?
False
Suppose -3*m - 3 + 14 = 2*z, 2 = 2*m - 4*z. Let j be (-62)/(-6) + 2/m. Suppose -2*n - 239 = -3*h, -6*n + j*n = 5*h - 405. Is h a prime number?
False
Let d = 114 + -68. Suppose d = -3*c + 364. Suppose 2*g - c = -2*j, 7*j - 2*j - 2*g - 279 = 0. Is j a prime number?
False
Let l = 499 + -240. Is l a composite number?
True
Let p(c) = -16*c**2 + 3*c + 2. Let v be p(3). Let t = 12 - v. Is t a composite number?
True
Let z = -1169 - -2162. Is z prime?
False
Suppose 11 - 36 = -t + 5*n, 0 = 4*t - 4*n - 36. Suppose 2*k + 19 = 5*c - 8, 0 = t*k + c. Is 9/(-6)*-2 + k a composite number?
False
Suppose 3*k + k = 0. Let s be (-1)/2 - 597/(-6). Suppose k*c = 3*c - s. Is c prime?
False
Let y(k) = 6*k + k - 2*k - 17 + k**2. Is y(-15) composite?
True
Suppose 2*p = -9 + 33. Suppose 2*r + 6*c = c - p, -4*r + 3*c = -28. Suppose -2*z - 273 = -5*d, 5*z - 9 + r = 0. Is d prime?
False
Let h(q) = q**3 + 2*q**2 - 3*q - 2. Let b be h(-2). Let u(l) = -l. Let g be u(b). Is (1/(-2))/(g/280) a composite number?
True
Let b(u) = u**2 + 5*u - 10. Let a be b(-7). Suppose -2*w + a*w + 3*i - 128 = 0, -3*i = 3*w - 195. Is w a composite number?
False
Let f(w) = w**3 + 3*w**2 + 2. Let x be f(-3). Let c(l) = 3 - 5*l + 5*l**2 - 3*l**x - 6. Is c(5) a composite number?
True
Suppose 0*g + 4*g - 2376 = -4*w, 4*w + 579 = g. Is g a composite number?
True
Let b = -4 - -16. Let s = 241 + b. Is s a composite number?
True
Let u = -6 + 8. Suppose 2*b - 4*g + 4 = 0, -u*g = 3*b + 2 + 4. Is (33 - -1)*(b + 3) a prime number?
False
Suppose -3*l - 8 + 2 = 0, 10 = -i - 5*l. Suppose i = x - p - 2, -p = -x + 2*p + 6. Is (-2 + 39)*1 + x prime?
True
Suppose 2*g - 4*r = 18, 2*g - r = -2 + 17. Let y = g - 3. Is y a prime number?
False
Suppose -2*r = g - 146, 3*g - 2*r - 754 = -2*g. Suppose -g - 177 = -3*x. Is x prime?
True
Suppose 2*p + 5850 = 7*p. Suppose 3*v + 291 = p. Is v composite?
False
Suppose 3*f - 2*l = -4*l + 1094, 5*f - l - 1819 = 0. Suppose f = 4*c - 0*c. Is c prime?
False
Suppose 2*u + 79 = -3*p - 42, 119 = -3*p - 4*u. Let c = -21 - p. Suppose 4*h - c = 0, -2*s = -3*h + 3 - 2. Is s composite?
False
Suppose -4*j - 332 = -x - 5*j, 2*x = -5*j + 673. Is x a prime number?
False
Let y(q) = -13*q + 5. Is y(-2) a composite number?
False
Suppose 0 = 4*z + 7 - 23. Suppose z*x - 36 = 3*x. Is 1*x + (0 - -1) a prime number?
True
Suppose 4*t + 180 = 1792. Is t a composite number?
True
Suppose 0 = 3*p - 6 - 3. Suppose -2*b + 4 = 0, p*o + b + b - 13 = 0. Is (-185)/(2*o/(-6)) a composite number?
True
Let i = -471 - -1166. Is i prime?
False
Suppose 0 = -u - 0*u - 254. Let m = -718 - u. Let w = 835 + m. Is w a composite number?
True
Let s = -733 - -2676. Suppose 2*l + s = 6*l - b, 0 = b - 5. Is l a prime number?
True
Let p(a) be the third derivative of -1/12*a**4 - 1/6*a**3 - 1/8*a**6 + 1/60*a**5 + 0 + 0*a + 4*a**2. Is p(-2) composite?
False
Let t = -158 - -68. Is ((-58)/4)/(9/t) a prime number?
False
Let w be ((-15)/(-20))/((-2)/8). Let z = -3 - w. Is z + -1 + (-2 - -42) a prime number?
False
Let z = 12 + -7. Suppose 0*q = 2*c + q + 4, z*q = -c - 20. Is (-67)/(-1) + (c - 0) prime?
True
Is 3*((-1160)/(-12) + 1) composite?
False
Suppose 5*b - 6*b + 23 = 0. Is b a composite number?
False
Suppose 0 = 16*g - 1705 - 839. Is g a composite number?
True
Suppose 0 = 2*c - 0 + 2. Let l be (-5)/2*(c + 3). Is (17 - l)*2/4 a prime number?
True
Let r = -8 + 11. Let z = 2 + r. Suppose -3 = -z*j + 72. Is j prime?
False
Let f = -4338 + 10925. Is f a composite number?
True
Suppose -2*o = 2*o - 16. Suppose -2*x + 0 + o = 0. Suppose x*v - 8 - 66 = 0. Is v prime?
True
Let r be -3 + 3 - 0 - 5. Is (-293)/r + 2/5 a prime number?
True
Let w be (18/4)/(3/6). Let n(d) = d**2 - 9*d + 2. Let b be n(w). Suppose -2*f - b*f = -372. Is f composite?
True
Suppose 275 = 7*h - 2*h. Is h a prime number?
False
Let y(f) = f - 6. Let r be y(3). Is 1*(20 - (-3)/r) a prime number?
True
Let y(g) = 30*g**2 - 2*g - 5. Is y(-6) prime?
True
Let k(b) = 8*b**2 - b - 8. Let h be k(-6). Let v = h + -53. Is v composite?
False
Let f = -7 + 11. Is f/6 - 3790/(-30) a prime number?
True
Is ((-51)/6)/((-1)/134) prime?
False
Let j(v) be the first derivative of -v**4/4 - 7*v**3/3 - v**2 - 10*v + 4. Let o be j(-7). Suppose -181 = -r + 5*f, 5*r - o*f - 374 = 3*r. Is r prime?
True
Suppose 3*j - 5*i = -16, i = j + 4*i - 18. Let l(x) = -5 - j*x - x - 5*x. Is l(-4) a composite number?
False
Let a(c) be the second derivative of 3*c + 0 - 1/2*c**2 - 11/3*c**3. Is a(-1) a composite number?
True
Let g(k) = -24*k - 9. Let n(m) = 8*m + 3. Let j(c) = -4*g(c) - 11*n(c). Let v = 1 + 3. Is j(v) a composite number?
True
Suppose -3*k - 4*l = -29, -5*k + 20 = 2*l - l. Suppose -5*t + 8 = -k*p - 7, 15 = 5*p + 5*t. Suppose 5*a = 2*a, -c + 2*a + 39 = p. Is c composite?
True
Is -13 + 16 - (-208 + 0) a composite number?
False
Let c be (-16)/10*30/(-12). Is (237/(-6))/((-2)/c) composite?
False
Suppose -3*s = x - 1034, -3*s + x = 5*x - 1040. Let k = s + -202. Suppose -k = -4*g + 78. Is g a composite number?
True
Suppose -2 + 3 = q + z, -4*q + 4*z - 36 = 0. Let b(x) = -x. Let k(r) = 12*r + 1. Let g(n) = q*b(n) + k(n). Is g(4) a composite number?
True
Suppose -t + 1 = 2*b - 11, 0 = 2*t - 5*b + 12. Suppose 5*p - t*p + 2 = 0. Is p/(-10) + 616/20 a prime number?
True
Suppose -8*d = -5*d - 465. Is d a prime number?
False
Let l = -150 + 11. Let f = 480 + l. Is f a