y(s) = -s**3 + 9*s**2 + 6*s + 17. Is y(-6) composite?
False
Let r be (-8)/2*(-1)/2. Let d(o) = -9 + 30*o + 16 - 8. Is d(r) prime?
True
Let v(f) be the first derivative of -3*f**4 + f**3/3 + f**2 + 4*f + 4. Is v(-3) a composite number?
False
Let k(r) = 9*r**2 + 10*r + 1. Let b be k(-7). Suppose 5*a = 263 + b. Is a a composite number?
False
Let r be (-2 - -1) + 1062*1. Suppose -1194 = -5*j + r. Is j composite?
True
Let t(r) = r + 1. Let g(v) = 23*v + 15. Let x(w) = -g(w) + 6*t(w). Is x(-8) a prime number?
True
Let d = -11 + 35. Let z be (4 + -3)*(0 + 3). Suppose z*v + 2*o - d = 29, -4*v + 68 = 4*o. Is v a composite number?
False
Let z = -3 + 4. Let u(s) = 0 + z + s**2 + 0*s**2. Is u(-5) a prime number?
False
Let m(v) = -8*v**2 + 3*v - 6. Let y be m(5). Let r = -97 - y. Is r composite?
True
Let r = -10 + 14. Suppose -4*j + h = 2*h - 190, 4*j - 196 = -r*h. Suppose 0 = -2*q - j + 149. Is q a composite number?
True
Suppose 2*y + 3*y = 0. Suppose 2*i - 4*s - 42 = y, 0 = -4*i + s - 6*s + 71. Is i prime?
True
Suppose 2*p + 67 = n, -2*n = -5*p - 42 - 97. Is n a prime number?
False
Let i(f) be the first derivative of 10*f**3/3 + f**2 + 2*f + 1. Let z(k) = -5*k**2 - k - 1. Let m(p) = 4*i(p) + 7*z(p). Is m(2) composite?
False
Suppose -2*r = -r - 6. Is 332*(2 + (-9)/r) a composite number?
True
Is -1 + (-7)/(14/(-1380)) prime?
False
Suppose 8*z - 5707 = 3*z + 4*l, 5*l = -15. Is z composite?
True
Let c = 247 + 240. Is c a prime number?
True
Suppose 1281 = 2*d - 2395. Is d a composite number?
True
Suppose 0 = -4*b + 4*d + 216, -2*d = b - 2*b + 49. Is b prime?
True
Suppose -c + 2*s + 45 = 0, 0*c - 4*c + 156 = 4*s. Suppose -5*b + 1 = -2*v - 0*v, 0 = 3*v + b - c. Suppose 3*y = v, l + 90 = 3*l + 3*y. Is l composite?
True
Let n be (-4)/14 + 2/7. Let h(z) = -3*z**3 - 5*z**2 + 451. Let q(g) = -2*g**3 - 3*g**2 + 226. Let m(j) = 3*h(j) - 5*q(j). Is m(n) composite?
False
Suppose -4*i + 9*i = 5. Let a be 1*(-94)/(2 - i). Let g = 131 + a. Is g a composite number?
False
Suppose -l - 974 - 584 = 0. Is ((1 - 4) + l)*-1 a composite number?
True
Let u(b) = b**3 - 5*b**2 + 3. Let y be u(5). Let j be (-2 + 2 - -1) + y. Suppose 0 = j*g + 20, -4*s - 4*g + 15 = s. Is s composite?
False
Let d(z) = -z**3 - 3*z**2 + 3*z + 2. Let m be d(-4). Is m/33 + 238/22 a composite number?
False
Let p = 4 + -8. Let g = p + 3. Is (g + -6)/1*-23 composite?
True
Suppose 4*d + 3*c + 174 = -6, d + c = -46. Suppose -4*w - 3*y + 307 = 0, -2*w = 2*y - 194 + 40. Let t = w + d. Is t prime?
False
Let t = -101 - -227. Let b = t - -1. Suppose -2*v = -3*v + b. Is v composite?
False
Let c(l) = -l**2 + l + 212. Let z be c(0). Let a(p) = p + 6. Let w be a(-4). Is z/(-6)*(-3)/w prime?
True
Is 6/(4/(-2)) - -62 prime?
True
Let h = 127 - 50. Is h a prime number?
False
Suppose 2*r = 278 + 76. Is r composite?
True
Suppose 2*k = 3*n + 1417, -3*k + 430 + 1683 = -2*n. Is k a composite number?
False
Suppose 4*b - 2*d = 202, 5*b + 2*d - 39 = 218. Suppose b = 3*f + 9. Is f a composite number?
True
Let b = 6291 + 196. Is b prime?
False
Is (1/(-1)*-1)/(1/2179) a prime number?
True
Suppose -3*w - 215 = -1196. Let t = w + -208. Is t prime?
False
Suppose 0*x = -x + 2. Suppose 0 = -i + x*i. Is 1 + (i - (-23 - -2)) composite?
True
Let g = -1 - -6. Suppose -790 = -5*i - g*l, 2*l + 316 = -4*i + 958. Is i a prime number?
True
Is 211*((1 - 3) + 3) composite?
False
Let l(q) = -q**2 - 5*q - 2. Suppose 1 = o + 4. Let p be l(o). Suppose p*n - 43 = -3*x, n - 9 = -x + 2*x. Is n prime?
False
Let y(h) = 2*h + 7. Let g be y(-5). Is -3*111/(-9) + g a prime number?
False
Is ((-4)/(-10))/((-1)/(-355)) prime?
False
Is (-2681)/(-35) + (-6)/(-15) a composite number?
True
Suppose 1 = -r - 0. Let g = r + 3. Suppose 0 = g*m - 5*z - 131, 6 = -z + 1. Is m prime?
True
Let n(m) = -m + 13. Let v be n(-9). Let j = v - 3. Is j a composite number?
False
Is 3259/((-6)/(-4) + (-3)/6) a prime number?
True
Suppose r = -3*r - 88. Let y = r - -11. Let g = 22 + y. Is g prime?
True
Suppose -5*t + 94 = -61. Suppose -3*i = 2*b - 2*i - t, 3*b - 46 = -i. Is b composite?
True
Suppose 5*w = 3*w - 66. Let c = 151 + w. Suppose -k - k + c = 0. Is k prime?
True
Suppose 0 = -2*h + 462 - 50. Suppose h = -5*t + 841. Is t composite?
False
Let y(c) = -11*c. Let i(j) = 3*j + 2. Let k be i(-3). Is y(k) composite?
True
Let y be 605/(-3) + (-4)/(-6). Let q = y - 167. Is q/(-6) - 16/(-24) a prime number?
False
Let n be ((-1)/2)/(3/(-18)). Suppose d - 2*w = 51, 4*d - n*w - 130 - 84 = 0. Is d a prime number?
False
Let j = 2227 + 3292. Is j a composite number?
False
Suppose 228 = 2*o - 3*q, -q = -3*o + 8*o - 553. Is o composite?
True
Let y = -3 + 6. Let z(b) = b + 4. Is z(y) prime?
True
Let z(v) = 6*v**2 + 2*v + 3. Is z(5) prime?
True
Let n(y) be the second derivative of 7*y**4 - y**3/6 + 12*y. Let r = 0 + -1. Is n(r) a composite number?
True
Suppose -v = -0*v + 4*h - 87, 5*h + 161 = 2*v. Is v composite?
False
Let w = -133 - -226. Suppose -5*k + w + 72 = 0. Is k a prime number?
False
Let l(u) = 5*u + 19. Is l(10) composite?
True
Let s(o) = -o. Let t be s(-2). Is (-298)/(-2) - (2 - t) prime?
True
Let a = -101 + 15. Let l be a/8 + 1/(-4). Is 595/55 + (-2)/l prime?
True
Suppose 0 = -i + 3*i - 218. Is i a composite number?
False
Let d(k) = 4*k**3 - k**3 + 7 - 2*k - 4*k**3 + 11*k**2 - 2*k. Let m be (-10 + 1 + 0)/(-1). Is d(m) a prime number?
False
Let b be (2/(-4))/(3/474). Let m = -25 + -15. Let i = m - b. Is i a prime number?
False
Let k = -2 - -2. Suppose -3*w + 30 = -k*w. Suppose -5*x + w = -0*x. Is x composite?
False
Suppose w + 6 = -g + 3*g, 4*w + 8 = 4*g. Suppose 0 = 5*u - 15, -3*u = -w*y + y + 140. Is y composite?
False
Suppose 9 = -3*c + 2*c. Is (-2847)/c - 2/(-3) composite?
False
Suppose 367 + 558 = 5*k. Is k a composite number?
True
Suppose 2*y + 1 = 2*x - 7, 4 = 4*x - y. Suppose x = 4*s - 4*g - 300, -s - g + 6*g + 67 = 0. Is s a composite number?
True
Let x(t) = 3*t**2 - 9*t - 7. Let m be x(7). Let v = m - 28. Suppose 152 = 4*o + j, 5*o - 3*j - v = 124. Is o prime?
True
Let f = 70 - 30. Suppose 0 = 3*u + 15, 2*v + 3*v - f = 2*u. Is v a prime number?
False
Suppose -2*q + 0*a = 3*a - 1315, 5*q + a = 3268. Is q a composite number?
False
Suppose -3*a + 365 + 808 = 0. Is a prime?
False
Let i be (-5)/(-10) - (-2)/4. Is 4/8*(i - -245) composite?
True
Let w = -249 - -692. Suppose -4*o = -4*g + w + 129, 2*o = 4. Is g a prime number?
False
Let n = 17 + -7. Let q = n + 6. Is q/(-20)*70/(-4) prime?
False
Let o(b) be the second derivative of 3*b**4/4 + 11*b**3/6 + 7*b**2/2 + 2*b. Let i(l) = 3*l**2 + 4*l + 2. Let d(q) = -8*i(q) + 3*o(q). Is d(-4) a prime number?
False
Suppose m - 2*f - 355 = f, -12 = -3*f. Is m composite?
False
Let m(j) = 2*j + 247. Is m(0) prime?
False
Suppose -2*x - h + 4*h = 3, 0 = -2*x + 2*h. Suppose -5*i - 111 = x*y - 872, 2*i + 775 = 3*y. Is y prime?
True
Let n be 798/(-8) + (-1)/4. Let l = n + 185. Is l composite?
True
Suppose -7*o + 1259 = 3*z - 3*o, 0 = 2*z + 5*o - 851. Is z a composite number?
True
Is (-5)/10 - (-3393)/6 a prime number?
False
Let x(h) = -h**3 - h**2 - 1. Let q(i) = -i**2 - 14. Let l be 2 + 2*(-3)/2. Let z(f) = l*q(f) + x(f). Is z(0) a composite number?
False
Let l(x) = -x**3 + 22*x**2 - 6*x - 14. Is l(19) a composite number?
True
Suppose 0 = 4*z - 0*z. Suppose w + z = 6. Is (w/9)/((-2)/(-258)) prime?
False
Let m(d) = -d**3 + 12*d**2 - 12*d + 3. Is m(8) a prime number?
True
Let b(r) be the second derivative of 163*r**5/4 + 3*r. Let w be b(1). Suppose -6*f = -f - w. Is f prime?
True
Let j = -72 + 20. Let x = j - -131. Is x a composite number?
False
Suppose 7*s = 4*s - 6. Let k = s - -30. Suppose -417 = -5*a + k. Is a a composite number?
False
Let d(c) = 15*c + 4. Let m(j) = -j + 20. Let a be m(10). Suppose -a = -s - s. Is d(s) a prime number?
True
Suppose 69*n - 879 = 68*n. Is n composite?
True
Let g be -2*(-3)/(-12)*2. Is 38/((-1)/(g/2)) prime?
True
Suppose -1837 = -g + 4*i, 3*g - 2*i - 2752 = 2709. Is g a composite number?
True
Let r = 8234 + -5227. Is r a prime number?
False
Suppose 3 = 5*f - 32. Suppose -f*t + 3*t - 2 = -o, 0 = -3*o + 3*t + 24. Is 74/o - (-6)/(-15) prime?
True
Suppose 35*c + 7612 = 39*c. Is c prime?
False
Let c(i) be the second derivative of i**5/20 + i**4/12 - i**2/2 + 3*i. Let f be c(-1). Is (f*50)/(-4 - -2) composite?
True
Let k 