True
Suppose -4*h = 5*m - 1, 5*h + 6 + 1 = 2*m. Let a = 0 + h. Let c = a + 5. Is c a prime number?
False
Let c be (-1 + (1 - 13))/1. Let m = c - -3. Is m/15*(-201)/2 a prime number?
True
Let c(v) be the third derivative of -1/15*v**5 + 1/6*v**3 + 4*v**2 + 1/60*v**6 + 0*v + 0 - 1/6*v**4. Is c(5) a composite number?
False
Let k be 2 + (-6)/3 + 150. Suppose -4*z = -k - 214. Is z composite?
True
Let q = -3301 - -4706. Is q a prime number?
False
Suppose x - 5 = -2. Suppose -x*q - 335 = -2*z, 2*z + 3*z - 4*q = 827. Is z a prime number?
True
Suppose o = 2*o + 2. Is ((-2)/o)/(5/745) composite?
False
Suppose 0 = -a - a + 8. Suppose -71 = -l - a*d, 3*d - 7*d + 12 = 0. Is l a composite number?
False
Suppose 213 = 4*l - 551. Is l composite?
False
Let d(u) = u**2 - 6*u. Let x be d(6). Suppose -5*l + l + 328 = x. Let i = l - 27. Is i composite?
True
Suppose 30 = 3*q - 3*i, -2*q = -3*q + 5*i + 30. Suppose 0*a + 295 = q*a. Is a composite?
False
Let d(z) be the third derivative of 7*z**5/30 + z**4/24 + z**3/2 + z**2. Is d(-4) composite?
False
Suppose -q + r = -116 - 9, 0 = -4*q + 2*r + 492. Is q prime?
False
Let c(n) = -3*n - 4. Let b be c(5). Let x be 7/(1/8*1). Let w = b + x. Is w a prime number?
True
Let p(k) = 2*k**2 - k + 1. Let n be p(1). Is ((-16)/(-20))/(n/35) prime?
False
Let m = 588 + -326. Is m composite?
True
Is (-10)/(-2) + -2 - -19 prime?
False
Let c(x) = 14*x - 7. Is c(6) a composite number?
True
Suppose 2*s + 0 + 2 = 0. Is 212/(-16)*(s + -3) composite?
False
Suppose -u + 3*u + 5*t = -7, 4*u + 4*t = 4. Suppose l + 4 - 12 = -u*i, -5*l - 4*i + 40 = 0. Let z = l - 1. Is z composite?
False
Let g(c) = 6*c**3 - c**2. Let a be g(-1). Let l(m) = m - 8*m - 4*m. Is l(a) a composite number?
True
Suppose -475 = -4*n + 1105. Let o = n + -234. Is o composite?
True
Suppose 0*j + 408 = -3*j. Let u = j - -193. Is u a composite number?
True
Is 13/(-39) + (-1148)/(-6) a prime number?
True
Let z = 2096 - 1455. Is z a prime number?
True
Suppose 0*t - 2*t = 0. Suppose t = 4*h - h - 249. Is h composite?
False
Let a be (-1)/(462/(-461) + 1). Suppose 4*g + 149 = 4*i - 3*i, 3*i = 5*g + a. Suppose -4*k = -i - 31. Is k a composite number?
False
Suppose 2*y - y = 46. Is y prime?
False
Suppose 0 = 3*q - 145 - 389. Is q a composite number?
True
Let n(g) = 4*g**2 + 3*g - 2. Let h = -3 - 1. Let l be n(h). Let x = l - 12. Is x a prime number?
False
Let z(r) = 5*r**2 - 8*r + 5. Is z(-6) a prime number?
True
Let f(q) = q**3 + q**2 + 353. Is f(0) a prime number?
True
Let p(t) = -15*t + 24. Is p(-7) a prime number?
False
Let a = 6 + -38. Let j(w) = -10*w**3 + w**2 - w + 1. Let h be j(-2). Let f = a + h. Is f a composite number?
True
Suppose -2*z + 5*p = -0*p - 178, -z + 5*p = -79. Let x = z + 53. Let y = x - 63. Is y a composite number?
False
Let m = -255 + 460. Is m prime?
False
Suppose -g = -3*g + 6. Suppose -230 = -g*d + d. Is d composite?
True
Suppose 4*f - 2*p - 2236 = 0, -f - 3*p = -0*p - 566. Suppose 0 = 5*v - 5*x - 725, 2*x = 4*v + 3*x - f. Suppose -v = 4*k - 7*k. Is k prime?
True
Let p be 3/(-18) - 2/(-12). Suppose 4*l + 0*l = 16. Suppose p = d - l*d + 417. Is d a prime number?
True
Suppose 4*y = -2*k - 2 + 16, -k - 5 = -4*y. Is (-2 + k)*-2 + 25 a composite number?
False
Let v(b) be the third derivative of 209*b**5/30 + b**3/6 + 4*b**2. Is v(1) composite?
False
Let f be 2/5 - (-166)/10. Suppose 23 = z + 6. Let h = f + z. Is h a composite number?
True
Suppose 2*z + n + n - 380 = 0, z - 180 = n. Is z composite?
True
Suppose -38 = 3*o - 197. Is o composite?
False
Let t = 2 + 8. Let z(a) = -a - 4. Let u be z(-7). Is (t*(2 - u))/(-1) composite?
True
Suppose -x - 2*x + 222 = 0. Let k = x - 43. Is k composite?
False
Let t be (-1 - 6/4)*14. Let u = -20 - t. Is u prime?
False
Let m = -73 + 155. Is m composite?
True
Is 2/4*(1321 - -13) a composite number?
True
Suppose 4*f + 59 = -101. Let u be f/(-18) - (-6)/(-27). Suppose -u*o - 147 = -5*o. Is o composite?
True
Suppose 5*i + 0*g - 5*g - 23390 = 0, 0 = -g. Is i a composite number?
True
Let w(s) = s**2 + 3*s - 7. Suppose -r + 3*d = -14, -4*r = r - 2*d - 44. Let k be w(r). Suppose b - k = 82. Is b prime?
True
Suppose -2*t = k - 5*k + 324, -k = -t - 83. Is k prime?
True
Let r(t) = 19*t**3 - 6*t**2 + 6*t - 5. Is r(6) prime?
True
Suppose 4*p + 343 = 3*x, -196 - 142 = -3*x + 5*p. Let a(t) = 6*t**2 - 1. Let j be a(1). Suppose -j*l - 2*c = -2*l - 119, 3*l - x = -4*c. Is l a prime number?
False
Let x be (-9)/6*(-8)/6. Suppose -x*i - i = -66. Is i a composite number?
True
Let m = -4 + 1. Let g(q) = -5*q + 0*q**3 + q**2 - 4 - 4*q**2 - q**3. Is g(m) a prime number?
True
Suppose 3*u - 272 = -k, 4*u = -4*k + 208 + 912. Suppose k = -4*w + 1032. Is w prime?
False
Let q be (-2 + 9)/(-1)*-30. Suppose 4*g = -2*r + q, -2*r = 2*g - g - 45. Let p = g + -24. Is p composite?
False
Suppose x = -4*c + 7, 5*c - x + 2*x - 10 = 0. Suppose -w - 3*w + 1208 = -3*u, -c*w - 3*u + 885 = 0. Is w prime?
False
Suppose 4*o - 16 = 4*i, o - 5 = -4*i + 9. Suppose h - o*h = -475. Is h a prime number?
False
Suppose 0*k + 152 = 2*o + k, 2*o - 5*k - 128 = 0. Is o composite?
True
Let o = -1 + 4. Let r(s) = -o*s - 4 - 7*s**2 - 2*s**3 - 4 + 2 - s. Is r(-5) composite?
False
Suppose 3*r - 10414 = -5*t, -28 + 8337 = 4*t - 5*r. Is t a prime number?
True
Let w(l) = 150*l + 63. Is w(8) a composite number?
True
Let d be -1 - (1 - (0 - -23)). Suppose 4*m + 0 - d = -5*u, -m = u - 5. Is (-2)/u + 48/2 prime?
False
Let g = 583 + 324. Is g composite?
False
Let y(o) = -23*o. Is y(-11) composite?
True
Is 1/(2/8) + 315 a prime number?
False
Suppose 0 = g + 4*g + 25. Let z(x) = x**3 + 6*x**2 + 5*x + 5. Let n be z(g). Is ((-8)/n)/(-4)*25 a prime number?
False
Let d(b) = 3*b**2 + 2*b. Suppose 5*x - 2 = -2*u + 2*x, 5*u = x - 12. Let n be d(u). Let c = n + 6. Is c prime?
False
Let q = 2 - 2. Suppose q*l = l. Suppose l = -0*t - 4*t + 84. Is t composite?
True
Let l be (6 + -25)/((-1)/1). Suppose -3*p - l = -4*p. Is p a prime number?
True
Let z(j) = -j**3 + 6*j**2 + 5*j - 4. Let f(s) = -5*s**3 + 30*s**2 + 24*s - 21. Let h(t) = -2*f(t) + 11*z(t). Is h(5) a prime number?
False
Let n(l) = -9*l + 5. Is n(-17) a prime number?
False
Suppose -2*d - 25 = 65. Let z = -30 - d. Is z composite?
True
Let r(k) = 2*k + 1. Let b be r(2). Suppose -b*o + 777 = -2*o. Is o composite?
True
Suppose 2*j - 6*j = 0. Is 38 + -1*(1 - j) prime?
True
Suppose 0*w + w = 40. Let d be w/25 + 4/10. Is 19 - (0/d)/3 a composite number?
False
Let n(g) = g - 1. Let x(s) = 30*s - 17. Let l(c) = 6*n(c) - x(c). Is l(-8) a composite number?
True
Let p(f) = 114*f**3 - f + 1. Let y be p(1). Suppose -g + y = 5*v - 0*g, -4*v + 72 = -4*g. Is v a composite number?
True
Suppose 0 = p + 4*p. Suppose -3*x = -p*x - 195. Is x a composite number?
True
Suppose -4*h + 5*h = 2. Is (-7)/h*2*-7 composite?
True
Let i(d) = 3*d**3 - 3*d**2 + 4*d - 1. Is i(3) prime?
False
Is 903/2 - 3/6 composite?
True
Suppose -811 = -i + 168. Is i prime?
False
Suppose -2391 - 133 = -4*m. Is m a composite number?
False
Let p(x) = x**3 - 9*x**2 - 30*x + 27. Is p(14) composite?
False
Suppose -2*u + 5607 = 7*u. Is u a prime number?
False
Suppose -k - 8 = -j, j = -0*j - 3*k - 12. Suppose -2*y = j*t - 184, -2*y - 2*y + 3*t = -350. Is y prime?
True
Suppose 0*b + 12 = b. Suppose -75 + b = -3*a. Is a a composite number?
True
Let r(m) = -249*m - 7. Is r(-12) a composite number?
True
Let c = 232 + 723. Is c composite?
True
Let g be (1 - 1)/(-3 + 1). Let m be (2 - (g - 0))*1. Suppose 0 = m*u + 3*f - 58, -4*u + f + 70 = -18. Is u composite?
False
Let a be -6*(-1 - 2)/6. Suppose -8 = l + 4*w - w, -a*w + 13 = 4*l. Is l a prime number?
True
Let a be (30/(-2))/(6/20). Let y = 70 + a. Suppose -5*v = -y - 15. Is v composite?
False
Let q(j) = 2*j**2 + 2*j + 1. Let x be q(-1). Let v = 1 - x. Suppose -4*w + 2*w + 142 = v. Is w composite?
False
Let r = -1104 - -1547. Suppose 5*j - 4*j - r = 0. Is j prime?
True
Suppose 3*k - 5*h = 7978, 2*k + 3*k - 4*h = 13301. Is k a prime number?
False
Let a = -98 + 214. Let f = -63 + a. Is f prime?
True
Suppose 4*b = -2*y + 1299 + 11, 0 = 3*y + 3*b - 1971. Is y a composite number?
False
Let o(w) = -2*w + 1. Let f be o(-6). Suppose 0 = -r - f + 110. Is r a composite number?
False
Is -1 - -2 - 3*(-698)/3 prime?
False
Is (-1)/(-2) - (-54)/4 composite?
True
Let b(l) = 