er?
True
Let r(f) = f**3 + 2*f**2 - 2*f + 1. Let k be r(1). Suppose u + 167 = m - u, 5*u = k*m - 329. Is m prime?
False
Let v = -91 + 230. Is v a composite number?
False
Let s(f) = 123*f - 2. Is s(3) prime?
True
Let p(q) = 27*q - 1. Let x = 3 + 0. Suppose -h - x = -4*o, -h + o = -0*o. Is p(h) composite?
True
Suppose -111 = -3*p + 312. Let m = p + -56. Is m a prime number?
False
Let p = 20 + -20. Suppose 2*h - 3*h - 2*q + 77 = 0, p = h - 4*q - 101. Is h composite?
True
Suppose -8*k = -3*k - 225. Let w = 64 - k. Is w a composite number?
False
Suppose 4 = 4*i, -3*i + 7 = -0*v + v. Let o(k) = -k. Let y(h) = -5*h + 2. Let z(n) = o(n) - y(n). Is z(v) composite?
True
Let d(h) = h**3 + 17*h**2 - 13*h + 29. Is d(-14) a prime number?
False
Let q(y) = y**2 + 2*y + 1. Let j be q(-1). Suppose -892 = -j*s - 4*s. Is s composite?
False
Let v be (-96)/((-2)/9*3). Suppose -m + v = -278. Suppose 3*w - m = w. Is w prime?
True
Let x = 11 + 1. Is (124/(-3))/(x/(-18)) a composite number?
True
Suppose -3*z + 3 + 18 = 0. Suppose -134 = -z*h + 5*h. Is h a composite number?
False
Let g be (-16)/12*(-3)/2. Let h(r) = -r + 55 + 5*r - 3*r + r**g. Is h(0) prime?
False
Is 4/6*40518/12 prime?
True
Let b(g) = -614*g + 33. Is b(-5) a composite number?
True
Let h(l) = 4*l**2 + 11*l - 25. Is h(10) a composite number?
True
Is (-174)/(-12)*(1 + 0 + 13) composite?
True
Is 3162/4 - 10/(-20) prime?
False
Is 1325/15*(-6)/(-2) prime?
False
Suppose -5*y + a - 50 = 0, -2*y = -5*y - a - 38. Let z(r) = 10*r**2 - 2 - 14*r - 11 + 1 + r**3. Is z(y) composite?
True
Let c(g) = -g**2 - 5*g + 6. Let y be c(-6). Suppose -n + 5*n - 528 = y. Suppose -6*k + 2*k = -n. Is k a composite number?
True
Suppose 3*k = -t + 8, -3 = -5*t - 3*k + 1. Is (1 - t) + 100 + 9 a prime number?
False
Let o = 109 + -52. Is o composite?
True
Suppose 8*w - 11*w + 417 = 0. Suppose -m = m - 10, -4*t - 3*m = -w. Is t a composite number?
False
Suppose 15 = -3*b - 3*r, 0 = 3*b + 2*b - 5*r - 25. Suppose b*y + y = 2. Suppose -5*x = y - 22. Is x a composite number?
True
Let q be 0/(-1 + -2)*-1. Suppose -k = -q*k - 119. Is k a composite number?
True
Is (3 + -2 - -319) + -3 prime?
True
Let a = 764 - 1472. Suppose -2*s = z + 1019, -5*z = 2*s + 2*s + 5065. Let b = a - z. Is b a prime number?
False
Suppose 2*q - 3*q = 2. Let s be (-1)/q*(-7 - -7). Is (1 - -22) + -2 + s prime?
False
Let k(n) = n**3 + 10*n**2 + 10*n + 13. Let x = 2 - 11. Let g be k(x). Let y(m) = 4*m**2 - 4*m - 1. Is y(g) prime?
True
Let y = 331 - -59. Let l = y - 255. Suppose l = 5*w - 150. Is w prime?
False
Suppose 76 + 154 = 5*c. Is c a composite number?
True
Let z(t) = 16*t + 14. Let b(c) = 3*c + 3. Let d(u) = 11*b(u) - 2*z(u). Let p be d(0). Suppose 5*v - p*w - 181 = -6, -70 = -2*v + w. Is v a prime number?
False
Let p(o) = 204*o**3 - o**2 + o - 1. Is p(1) prime?
False
Let q(g) be the second derivative of -g**5/20 - 11*g**4/12 + g**3/3 - 3*g**2 + g. Let n be q(-6). Let y = -139 - n. Is y a prime number?
True
Let n(t) = t**3 + 3*t**2 - 4*t - 3. Let v be n(-3). Suppose 0 = 3*r - 0*r - v. Is r a composite number?
False
Let s(t) = -t**3 - 2*t**2 - t + 1. Let z be s(-2). Suppose 0 = i + 1 - 5. Suppose 0 = 5*y - i*x - 135, -5*x + 20 = z*y - 24. Is y a composite number?
False
Let a(j) = 81*j**2 + 14*j + 31. Is a(-6) a prime number?
False
Let i(t) = -2132*t - 15. Is i(-2) a prime number?
False
Suppose -5*t + 0*c + 36 = -2*c, 3*t - 18 = 3*c. Let n = t + -5. Suppose 0*z - 2*g = -n*z + 57, -3*z + 78 = 5*g. Is z composite?
True
Let z(d) = -98*d + 29. Is z(-10) composite?
False
Let s be 2/10 - 3/15. Suppose s = -f - 0*f - 33. Let l = f + 47. Is l prime?
False
Let j(n) be the third derivative of 11*n**7/420 - n**6/360 - n**5/120 + n**4/24 + 2*n**2. Let f(z) be the second derivative of j(z). Is f(-1) prime?
True
Suppose 97 = -w - 42. Let a be w/(-4) - 15/20. Let o = 69 - a. Is o a composite number?
True
Suppose -2*r + 6*r = 6376. Is r/6 - (-2)/(-3) a composite number?
True
Let x(u) = u**2 - 4*u + 3. Let l = 4 + -1. Let y be x(l). Suppose y = -2*g - g - k + 149, -5*g + 253 = 4*k. Is g prime?
False
Suppose 4 = -4*g, 2*g + 2*g = -a + 1333. Is a prime?
False
Suppose 2*f - 2*l = 192, -6*f + 198 = -4*f + 4*l. Is f a composite number?
False
Let v(x) = -x**3 + 11*x**2 - 11*x + 12. Let p be v(10). Let m be p - ((-2)/(-1) - -2). Is (0 + m)*(-62)/4 prime?
True
Let f = 315 + 82. Is f prime?
True
Suppose -p - p = 0. Suppose -3*r - r + 5*q = -507, p = -3*r - 3*q + 360. Is r a prime number?
False
Suppose -3*a + 3*u + 105 = 0, 4*u - 94 = -a - a. Let z = a + -28. Is z prime?
True
Suppose -2*g = 0, u - 2 = g - 0. Suppose 13 - 35 = -u*a. Is a a composite number?
False
Let m be (158/(-6))/(5/(-30)). Suppose -m = -s + 127. Let c = s - 74. Is c prime?
True
Is 0 - (-911)/(-1*(-3)/3) a prime number?
True
Suppose 4*w - 378 = -3*q + 953, 3*q = -2*w + 667. Suppose 0 = -2*y - 2*y + w. Is y a composite number?
False
Is 26*((-13)/(-2) + -3) prime?
False
Suppose 5*w - 16 + 51 = 0. Let a(u) = -3 - 4*u + 3*u - 3*u - 6*u. Is a(w) a composite number?
False
Let i(a) = -a**3 - 7*a**2 - a - 3. Let l be i(-7). Suppose 2*w + 10 = l*w. Suppose 0 = -4*j + 4*n + 132, 1 + 9 = w*n. Is j a prime number?
False
Suppose -p - 322 = -2*g, -3 = -3*p + 9. Is g a prime number?
True
Suppose 4*q + 17 = -19. Let v = q + 8. Is (-4 - v)*422/(-6) composite?
False
Is -1642*((-3)/(-2) - 2) prime?
True
Suppose 2*x = -2*b + 834, 423 = b - 2*x - 0*x. Is b composite?
False
Let k(d) = d**3 - 6*d**2 + 13*d - 13. Is k(9) composite?
False
Let f = -10 - -4. Let j(m) = -34*m + 7. Is j(f) a composite number?
False
Suppose 0 = -5*y - 3*m + 8*m + 1805, 0 = -m. Suppose -23 + y = -2*w - 2*u, -u = -w - 159. Is -4 + 3 - (2 + w) a composite number?
True
Let o be ((-18)/(-4) + -3)*-2. Is (-1)/(o/714*2) prime?
False
Suppose -208 = -u - 5*f, u - 143 = -4*f + 63. Let p = -408 + u. Let v = -125 - p. Is v prime?
False
Let a(r) = 2*r**2 - 11*r + 25. Is a(10) a composite number?
True
Let n be 54963/(-45) - 6/10. Is 2/(-7) + n/(-14) prime?
False
Let r(x) = -x**3 - 15*x**2 - x + 47. Is r(-28) a composite number?
False
Let x(d) = 111*d - 4. Let g(c) = 223*c - 7. Suppose -r = 3*f + 17, -f = 4*r - 2*r + 14. Let y(j) = r*x(j) + 3*g(j). Is y(1) a composite number?
False
Is (-8844)/(-5) + -2*(-1)/10 a composite number?
True
Let g(u) = -u. Suppose a + 2*i + 3*i + 29 = 0, 3*a + i = -17. Let d be g(a). Suppose d*q + q + 248 = b, 5*q - 1067 = -4*b. Is b a prime number?
True
Suppose d - 23 = -4*o, -d + 6*o = 2*o + 17. Suppose 2*h + 0*h - 26 = k, 2*h + 46 = -d*k. Is 32/18 - 4/k a prime number?
True
Suppose -8092 = -2*r - 0*r. Suppose 5*u - r = 2679. Is u composite?
True
Suppose 4*o = -3*l - 13, 20 - 1 = 3*l - 4*o. Suppose -5*w + 3*w = -h - 217, -l = w. Let g = h - -338. Is g composite?
True
Let n(h) = -h**3 + 5*h**2 + 4. Let x be n(5). Suppose -x*f = f - 20. Suppose f*w = w + 201. Is w composite?
False
Suppose -2*h = -8, 4328 = 4*t + 5*h - 1136. Is t a composite number?
False
Let x(n) = -3*n**3 - 7*n**2 - 5*n - 7. Let o(g) = g**3 + 3*g**2 + 2*g + 3. Let d(k) = 9*o(k) + 4*x(k). Let v be d(-1). Suppose v*j = -2*j + 115. Is j composite?
False
Is (-4 + -1 + 4)*-802 a prime number?
False
Let x(r) = r + 31. Let u be x(0). Suppose -d - 4*o = -15, 2*d + 3*o - u = 9. Is d prime?
True
Let z = 11 - 25. Is (-427)/z - 1/(-2) a prime number?
True
Suppose -3*b + 79 = 16. Is b a prime number?
False
Let c = -2 + 4. Suppose c*v - 72 = v. Suppose 0 = 4*i - m - 257, -3*m + 211 = 2*i + v. Is i composite?
True
Let h be 5*(-5)/((-25)/2). Suppose h*d + 4*z - 34 = 2*z, -d = 4*z - 17. Let a = -4 + d. Is a a prime number?
True
Let u(q) = q**3 - 3*q**2 + 9*q - 1. Let t(k) = k**3 - 11*k**2 + 11*k - 4. Let l be t(10). Is u(l) prime?
False
Suppose 4*v - 4*r + 2907 = 5*v, -2*r + 11684 = 4*v. Is v composite?
True
Let i = -705 + 1328. Is i prime?
False
Let g be 0 + -1 + (12 - 5). Suppose 2*p + 236 = g*p. Is p prime?
True
Let p be (-10)/(-3*2/3). Let q be (1 + 9/(-15))*p. Suppose -2*h + 3*z = -2*z - 70, 0 = -5*h - q*z + 175. Is h a composite number?
True
Let i = 21 - -17. Is i composite?
True
Let s(m) = 17*m**3 - m**2 - 2. Let o be s(-2). Is (3 - o/4)*2 a composite number?
True
Suppose -q = -3*q - 4*w - 20, -3*w = 4*q + 25. Is 3 + (180 - 8/q) prime?
False
Let m(i) = -i + 109. Suppose -1 = l - 3*d - 16, -4*d = -