er?
True
Let r(i) = -i**2 - 3*i - 1. Let z be r(-3). Let d(o) = o**2 + 4*o + 2. Let f be d(-1). Is 1*34 + z/f composite?
True
Let n = -5 + 114. Is n composite?
False
Let i be 4364/14 - (-8)/28. Let w(t) = -6*t**2 - 5. Let m be w(5). Let l = i + m. Is l composite?
False
Let c(z) = z**3 - 5*z**2 + 4*z + 2. Let u be c(4). Let m(b) = -3*b + 6 + 0 - 5 + 57*b**u. Is m(2) composite?
False
Suppose -f - 4*b = -18 - 21, -5*b - 240 = -4*f. Suppose 5 - 3 = a. Suppose 3*k + a*k = f. Is k a prime number?
True
Let s(z) = -3*z - 2. Let a be s(-2). Suppose a*w = -0*w - 96. Let i = -17 - w. Is i a composite number?
False
Let k = 4315 - 644. Is k prime?
True
Let t = 306 - 143. Is t a composite number?
False
Let w(x) = 4*x + 54. Let d(o) = -5*o - 53. Let y(c) = 5*d(c) + 6*w(c). Is y(0) a prime number?
True
Is ((-260)/8 - 1)/((-1)/2) a composite number?
False
Suppose 4 = -3*g + 16. Suppose 5*t + g*b = 102, -t + 3 = -2*b - 23. Is t prime?
False
Suppose -5*u - 5*a = 10 + 20, -5*u = -2*a + 44. Is 4*-1*958/u prime?
True
Let j = 9 + -6. Suppose -2*u + 4*v = 4, -j*v + 2 = -1. Suppose u = -t + 178 - 17. Is t a prime number?
False
Suppose 2*z = -2*a + 1576, 4*z - 5*a = 1347 + 1832. Is z composite?
True
Let m(j) = -j**3 + 3*j**2 + j - 3. Let i be m(4). Let v be -93*(-2 - i/9). Is (v/(-2))/(3/(-6)) a composite number?
False
Let a(t) = -2*t**2 + t - 2. Let i be a(-2). Let p = i + 47. Is p prime?
False
Let l be (-20)/70 + 172/14. Is (-574)/(-3) - 4/l prime?
True
Suppose 0*z - 2*z = 2*s - 12, 0 = 4*s - 2*z. Suppose 0 = -s*v - 4 + 16. Suppose 0 = -3*x + v*x - 138. Is x a composite number?
True
Suppose 2*w = -2*v + 52, -2*w + 39 = v + 13. Is v a prime number?
False
Suppose 3*s - 103 = 104. Is s a prime number?
False
Suppose -4*n + 204 = -0*n. Let b = 1 - -1. Suppose 3*y - 41 = b*g + 32, 2*y - n = -g. Is y a composite number?
True
Let s = -14 + 3. Is s*(-1)/(-2)*-10 a prime number?
False
Let w(m) = -m**3 + 2*m**2 + 3*m - 2. Let s be w(2). Suppose -3*p = -6, 5*p = 3*a + s*p - 193. Is a a composite number?
True
Let y be -12 - -5 - (6 - 3). Let w(t) = -t**3 - 8*t**2 + 11*t + 7. Is w(y) a prime number?
True
Suppose -4*p - 2*n + 14 = -p, 0 = 5*p + 2*n - 30. Suppose 3*a + 18 = h, 0*h = -h + a + p. Suppose -t + h*t = 20. Is t a composite number?
True
Let d be 0 - (447 - 3)/(-3). Let g = 351 - d. Is g a prime number?
False
Let o(w) = -559*w**2 - w - 1. Let v be o(-1). Let s = -254 - v. Is s prime?
False
Suppose 59 + 258 = j. Is j a composite number?
False
Suppose 0 = -2*d - 0*d. Let y = 0 - d. Suppose 0 = -y*u + 2*u - 78. Is u a prime number?
False
Let c(f) = f**3 - f**2 - 4*f + 3. Let p be c(2). Let g = 1 + p. Suppose g = 4*v - 4*z + 5*z - 225, -70 = -v - 3*z. Is v prime?
False
Let y(x) = 96*x**2 - 3*x + 3. Is y(2) composite?
True
Let s = -6 - -4. Is (-1)/(4/194)*s prime?
True
Let r = -6 - -10. Suppose r*s - 14 = 3*s. Is s a composite number?
True
Let v be ((-4)/6)/((-1)/3). Suppose 3*r + r = 120. Suppose v*b = -10 + r. Is b composite?
True
Let d(l) = -30*l + 1. Suppose -j = n, 2*n = -4*j + 7*n + 27. Suppose j = 5*p - 2*t, -t = -p - 2*p + 1. Is d(p) a composite number?
False
Let w = 0 + 2. Suppose w*f + 40 = -12. Let t = -4 - f. Is t a prime number?
False
Let f = 87 - 18. Is f a composite number?
True
Suppose -4*i + i = -5*w - 553, -3*i = -w - 569. Is i a prime number?
True
Let k(v) = v**3 + 7*v**2 + 4. Let q be k(-7). Suppose 0 = -2*p - 5*u + 39, -5*p + u - 2*u + 40 = 0. Let w = q + p. Is w prime?
True
Let c = -20 - -23. Suppose -6*v + v + 2*d = -189, c*v = 4*d + 119. Is v a composite number?
False
Let w = 2 + 0. Let v be (-6 + 4)/(2/(-5)). Suppose 3*l + 3 = 2*l, v*j = -w*l + 389. Is j composite?
False
Let v = -148 - -60. Let b = 732 - v. Suppose 4*w = -20, -2*w = 5*f - 3*w - b. Is f prime?
True
Let n(o) = -4*o - 7. Let v be (4 - 5)/((-1)/(-7)). Let m be n(v). Let d = -2 + m. Is d composite?
False
Let o = -339 + 524. Is o a prime number?
False
Suppose -v + q - 4*q + 413 = 0, 5*v - 3*q - 2065 = 0. Is v a prime number?
False
Let g be (-4)/14 + 153/21. Let n(r) = r**3 - 7*r**2 + 4*r + 9. Is n(g) a composite number?
False
Let a be -2*(9/(-6) + 1). Is (-15)/1*(-1)/a a prime number?
False
Is (-26*1)/(8/(-28)) a prime number?
False
Is (2/((-42)/(-7)))/((-2)/(-38262)) composite?
True
Let x(s) = 52*s - 1. Let h be 2/(-4)*(-8 + 6). Is x(h) a prime number?
False
Let h(q) = -q - 5. Let y be h(-9). Is ((-60)/18)/(y/(-366)) a composite number?
True
Suppose 10 = -5*n, 2*x + 0*x = -4*n - 12. Is (x/(-6))/((-3)/(-333)) composite?
False
Suppose 5*j - 145 = 35. Suppose 6 + j = 2*c. Is c composite?
True
Suppose -d - 1 = -0*d. Is d + (-3)/((-6)/172) composite?
True
Suppose 2*y = -130 + 24. Let z = -29 - -61. Let v = z - y. Is v a prime number?
False
Let w(a) = 2*a**3 - 2*a**2 - 2. Suppose -4*h = -5 - 3. Let v be w(h). Is ((-28)/v)/((-12)/90) prime?
False
Suppose 3*l - 19 = -1. Let t = 1 + -8. Is t*(1 + 0 - l) composite?
True
Suppose 0 = 3*v + 3*f - 150, -202 = -4*v - 0*f - 2*f. Suppose -3*c = 4*k - 2*c - v, -3*c = 3. Is k composite?
False
Suppose 4*o - 1402 = -2*h, -2*h + 693 = -h + 4*o. Is h composite?
False
Suppose 5*i + 538 = d, -5*d + 0*d - 2*i = -2825. Is d a composite number?
False
Suppose -2136 = -5*h - 2*m, 4*h - m + 634 = 2335. Let i(g) = -g**2 + 5. Let j be i(0). Suppose 3*c + n = -138 + h, j*n = -c + 82. Is c composite?
False
Let o(p) = 4*p**3 + 14*p**2 - 18*p - 6. Let w(b) = b**3 - b. Let d(u) = -o(u) + 5*w(u). Is d(13) a composite number?
True
Suppose 2*u - u - 4*a - 14 = 0, -3*a + 9 = -4*u. Let m = u - -57. Suppose 2*p - 3*r - 263 = 0, -m = 5*p - 5*r - 701. Is p a composite number?
False
Let h(l) = 29*l - 3. Let b(q) = q + 1. Let c be b(3). Is h(c) prime?
True
Let j(r) = -35*r + 1. Let p be j(-3). Suppose -p = -t - t. Is t prime?
True
Let m(u) = 66*u**2 - 5*u + 2. Let x be (-2)/(-9) + (-50)/(-18). Is m(x) composite?
True
Suppose 2*a + a = -4*s + 317, s = -4*a + 89. Is s composite?
True
Suppose -6*x = -4*x - 5666. Is x a composite number?
False
Let g = 37 - 21. Suppose -i - 3*f + 22 + g = 0, 138 = 5*i + 2*f. Is i composite?
True
Let x = 17 + -9. Is 2968/32 + 2/x composite?
True
Let j be (-120)/(-28) - (-2)/(-7). Let b = 0 + j. Suppose 3*s + 43 = y - s, -b*y + 130 = 5*s. Is y prime?
False
Let u be (-2)/(-3) - (-2694)/9. Let p = u - 191. Is p a composite number?
False
Suppose 0 = -y - y + 530. Suppose -y = 5*h - 10*h. Is h a prime number?
True
Let s = 332 - 221. Is s a composite number?
True
Let z be (-5281)/(-2) + 9/(-18). Suppose 0 = -2*k - 0*k + z. Suppose 4*i - k = 4*w, -3*w - w = -i + 333. Is i prime?
False
Suppose 3*a = -n + 237 + 777, 3*n + 9 = 0. Suppose a = -0*z + 3*z. Is z composite?
False
Let a = -265 - -687. Is a composite?
True
Let z = -57 + 26. Let r = 62 + z. Is r a composite number?
False
Let f(n) = -n**3 + 6*n**2 + 2*n - 3. Let m be f(6). Suppose m = 2*p - 1. Suppose -x + g = 4*x - 46, -4*x + p*g = -20. Is x a composite number?
True
Is (43/(-4)*-2)/(5/530) prime?
False
Is -3 - ((-132)/3 + -2) prime?
True
Suppose 2 = 3*q - 2*q. Let g be q*(2 - 897/(-6)). Suppose -b - 31 - g = -3*v, -441 = -4*v - 3*b. Is v a prime number?
False
Let b be (-22)/18 - (-6)/27. Let n(c) = -47*c - 1. Is n(b) a prime number?
False
Let b(k) = -k**3 + 8*k**2 + 5*k + 6. Is b(5) prime?
False
Let h = 14 + -23. Let c be 186/h*(-15)/2. Suppose c = 4*j + j. Is j a composite number?
False
Let x(k) = -k**3 + 2*k**2 + 2*k - 1. Let c be x(3). Let y be ((-20)/6)/(2/(-6)). Let m = c + y. Is m prime?
False
Is (2/1)/((-16)/(-6) - 2) a composite number?
False
Let w = 6 - -15. Let d be 14/w + (-26)/(-6). Suppose -2*b = p - 5*b - 76, -p = -d*b - 70. Is p prime?
False
Suppose 4*f = -2*r - 2, 15 = -3*f - 0*f + 3*r. Let l(g) be the first derivative of -39*g**2/2 - g - 3. Is l(f) a prime number?
False
Let r be 3 - 1/((-2)/(-12)). Let d(a) = -a**3. Let h be d(-1). Is r*14/(-3)*h a composite number?
True
Let u = 6 - -1. Suppose 5*l = -w - 0*w + u, 0 = -5*l. Suppose -78 = -w*p + 4*p. Is p a composite number?
True
Let y(c) be the first derivative of c**3 + c**2 + 3*c + 4. Suppose 0 = -3*t + 4 + 8. Is y(t) a composite number?
False
Let t(u) = 33*u**2 + 4*u - 4. Let w be t(-3). Suppose -6*m - 5*n = -3*m - w, m - 5*n - 67 = 0. Is m composite?
True
Suppose 5*o + 81 = 21. Let t be o/(-2 + 373/188). Suppose -276 + t = 4*g. Is g a pr