/4)/(2/12). Suppose r + u*r = -2*c + 142, -5*r - c = -176. Is r a composite number?
True
Let j be 16/10 - (-4)/10. Let x(v) = 7*v**2 + j*v**2 + 2*v + 0*v - 5*v - 3. Is x(-2) a composite number?
True
Suppose 4*o = -i - 694 + 2197, -5*o - 1512 = -i. Is i a composite number?
True
Let b(a) = -2*a. Is b(-2) a composite number?
True
Suppose -3*z + 10 = 4*l + 3, z + 3*l + 1 = 0. Suppose -4*j = 5*y - 2, 0 = -3*y - z*j - 1 - 3. Suppose -2*v + 92 = y*v. Is v a composite number?
False
Suppose -4*k = -0*c + 3*c - 18, 2*c + 2*k = 10. Let h(x) be the second derivative of 7*x**4/4 - x**3/2 + x**2/2 - x. Is h(c) a composite number?
False
Let j(t) = t**3 + 6*t**2 - 8*t - 7. Let k be j(-7). Suppose k*v - v + 20 = 0. Suppose -z + 33 = -v. Is z a composite number?
False
Suppose 4*a = -75 + 3263. Is a prime?
True
Let z = 81 - -10. Is z prime?
False
Let y be -5*22*(-3)/15. Suppose 4*n - y = -k, -2*k = k - 2*n - 38. Is k a composite number?
True
Suppose 5*n - 199 = -3*l, 5*n - n - 158 = -2*l. Let v = -20 + n. Let m = v - -19. Is m prime?
True
Let q(a) = 76*a + 11. Is q(23) a prime number?
True
Let v = -509 + 844. Is v prime?
False
Let o(q) be the first derivative of q**4/4 + 4*q**3/3 + q**2 - 3*q - 1. Let x be o(-3). Let c(d) = d**2 + d + 6. Is c(x) composite?
True
Suppose -3*r + 4*r + 3*k = -20, 5*k = 0. Let n = -1 - r. Is -1*n*1/(-1) a composite number?
False
Let z(v) = v + 1. Let o be z(-1). Suppose -4*c + o = -356. Is c prime?
True
Let g(k) = 37*k**3 - 8*k**2 + 13*k - 3. Is g(5) composite?
True
Let x = -10 + 14. Suppose 2*g - 6 = -o - g, 0 = 4*o - x*g - 104. Is o prime?
False
Let l(u) be the third derivative of -79*u**4/24 - u**3 - u**2. Let s be l(-4). Let f = s + -149. Is f composite?
True
Suppose -r = -4*s + 2*r + 3758, -4*r = 3*s - 2806. Suppose s = k + k. Is k a composite number?
True
Suppose 4*k = -4*j + 8*j + 128, -2*k - j = -79. Is k prime?
True
Let n be (0/(-1))/(-3)*1. Suppose v + 3*v = n. Suppose -o = -v*o - 55. Is o prime?
False
Let k be -4 - (-3)/((-6)/(-4)). Let l = k - 8. Let r = l - -153. Is r prime?
False
Let j(f) = 23*f + 4. Is j(9) composite?
False
Let v(q) = -8*q - 3*q + 5*q - 8*q + 7. Is v(-5) prime?
False
Let y = 1649 + -754. Is y a prime number?
False
Let w = 858 + 31. Is w a prime number?
False
Suppose -z - 4428 = 3*z - 5*w, -3*z - 4*w - 3321 = 0. Let n be z/(-21) - (-2)/7. Let m = n - 34. Is m a composite number?
False
Let r = -2 + 5. Suppose 0*b = r*b. Suppose 0 = d - 26 - b. Is d composite?
True
Let x(d) = d**2 - 2*d + 3. Let l = -6 + 8. Let n = l - -1. Is x(n) composite?
True
Suppose 5*s - 6 - 4 = 0. Let i(p) = 0*p**3 + 0 - p**3 + 2*p**2 + 1 + p. Is i(s) composite?
False
Let g be 2*(-70)/(-4) - 3. Suppose 2*c = -2*j + 3*j + 162, 81 = c + 4*j. Let h = c - g. Is h prime?
False
Let x(t) = -t + 5*t - 5*t - t**2 + 346. Is x(0) prime?
False
Let n(h) = 12*h - 1. Let s(o) = o**2 + 4*o - 1 - 3 + 7. Let a be s(-4). Is n(a) a prime number?
False
Suppose 2*z = 6*z - 2*m - 10, 0 = 4*m - 4. Suppose 3*u + 5*y = 588, 2*u = z*y + y + 414. Suppose -3*f + u = -0*f. Is f composite?
False
Let z(b) = -4*b + 2. Let t(v) = 5*v - 3. Let o(f) = -3*t(f) - 4*z(f). Let i be o(2). Suppose 3*w + i*p - 31 = -13, 16 = w - p. Is w a composite number?
False
Let z(t) be the second derivative of -t**5/20 + 3*t**4/4 + 7*t**3/3 - 3*t**2/2 - t. Is z(10) a prime number?
True
Let i = 22 + 67. Let b = i + -239. Let g = -95 - b. Is g a composite number?
True
Let b = -241 - -458. Is b prime?
False
Let w(f) be the first derivative of 1 - 4*f + 2/3*f**3 + 7/2*f**2. Is w(-6) a prime number?
False
Let f(p) = 202*p**3 + p. Is f(1) a prime number?
False
Let t = -6 + 8. Let c be 32/t*25/10. Let p = c + -15. Is p a composite number?
True
Suppose 3450 = 4*v - 2*l, 5*v - 2*l - 4525 = -213. Is v a prime number?
False
Suppose 0 = -b - 4*b + 5, -3*p + 3*b + 9 = 0. Suppose -r = -5*m + 639, -4*m + p*r - 252 = -776. Is m a composite number?
False
Let v(n) be the third derivative of -n**6/120 + n**5/10 + n**4/24 + n**3/6 - 4*n**2. Suppose 3*l - 12 = l. Is v(l) a prime number?
True
Let i(s) = -s**3 + 2*s**2 + 3*s + 2. Let f be i(3). Suppose -238 = -f*x + 8. Let k = x + -74. Is k prime?
False
Let g = 0 + 1. Is (21/9)/(g/9) a prime number?
False
Let d = -35 + 52. Is 0 + 2 - d/(-1) a prime number?
True
Let a = 2 - 1. Let g be a - (0/1 - 1). Is ((-1)/1 - -54) + g prime?
False
Let c be -5 + (-2)/4*-2. Let t be (-2)/(-8) + 5/c. Is 1/t - -1 - -79 a composite number?
False
Let u(a) be the second derivative of -a**3/3 + 3*a**2/2 + 3*a. Let i be u(3). Let j = i + 58. Is j a prime number?
False
Suppose 5*b - 4 = -4*p - 25, 4*b = -5*p - 15. Let u(h) = -10*h - 14. Let s(j) = 1. Let w(v) = b*s(v) - u(v). Is w(7) prime?
True
Let j = -17 + 20. Suppose -j*b - a + 37 = -450, 0 = 4*b - 2*a - 656. Is b a composite number?
False
Let b(g) = -32*g - 1. Suppose 4*l + 1 = -3. Is b(l) a prime number?
True
Let h(m) = -21*m**2 - 4*m - 16. Let g(a) = 4*a**2 + a + 3. Let t(j) = 11*g(j) + 2*h(j). Let k(r) = -5*r + 1. Let l be k(-1). Is t(l) composite?
True
Suppose -7 = -3*n + 2*n. Let w = n - 1. Is w composite?
True
Suppose -a + 29 + 23 = -4*i, 4*a - 4*i = 208. Let l = a + 15. Is l prime?
True
Let d(a) = 8*a + a**3 + 2*a**2 + 7*a**2 + 9 + 2*a**2 - 3*a**2. Let x be d(-7). Suppose -19 = -3*z + x. Is z a composite number?
False
Suppose o + 2654 = 3*z, 2*z - 1254 = 3*o + 513. Suppose 0*b = -5*b + z. Is b prime?
False
Suppose 5*u - 153 = 62. Is u a composite number?
False
Let o(s) = 2*s + 211. Is o(0) prime?
True
Let k = -54 + 136. Is k prime?
False
Let u = 3965 + -2568. Is u a prime number?
False
Suppose 2*l = 6*l. Suppose -5*y + l = -95. Is y a prime number?
True
Let d(a) = 10134*a**2 + 3*a + 2. Is d(-1) composite?
False
Suppose -4 - 4 = -2*t, -2*t + 10146 = 2*w. Is w composite?
True
Let x = 125 - -62. Is x prime?
False
Suppose -3*n + 0*n + 9 = 0. Let a be (6/5)/n*5. Is (a/(-4) + 1)*230 prime?
False
Suppose 0 = 2*m - 3*m + 4. Suppose 3*f - 13 = -2*h, -f - m*f - 25 = 0. Is h a composite number?
True
Let d(j) be the third derivative of j**5/60 + j**4/6 + j**3/3 + j**2. Let q be d(-4). Suppose -2*n - 5*t = -117, 4*n + q*t = -n + 261. Is n a prime number?
False
Let l(h) = 13*h**2 + h + 5. Is l(6) composite?
False
Let d = 53 - 30. Suppose 30 = n - d. Is n composite?
False
Is ((-1492)/3 - 5)*-3 a prime number?
False
Let l(y) = -5 - 4 + 2 + 3*y**2 + 2 - 2*y. Is l(4) a composite number?
True
Let j(n) = -n**3 + 9*n**2 - 7*n - 6. Let h be j(8). Suppose -55 = h*l - 233. Is l prime?
True
Let l(k) = 9*k. Let a be l(1). Is 1/(-2) + a/2 a composite number?
True
Let k(t) = 764*t**2 + 1. Let q be k(1). Let z = 1246 - q. Is z a composite number?
True
Let l(q) = -q**3 + 12*q**2 + 11*q - 13. Is l(9) prime?
False
Let p = -75 + 240. Suppose -5*y + p + 0 = 0. Suppose -4*h + y = 4*v - 47, 3*v + h - 62 = 0. Is v a prime number?
False
Suppose -6*o = -11*o + 1535. Is o composite?
False
Suppose i - 219 = -6*x + 2*x, i + 166 = 3*x. Suppose -v + 51 = -x. Is v prime?
False
Let v = 171 - 112. Is v composite?
False
Let v(l) = -l**3 + 9*l**2 - 7*l - 4. Let q be v(8). Suppose -x = -4*x + q*j + 154, 0 = -j + 2. Let u = x - -11. Is u prime?
False
Let t(c) = 186*c - 1. Is t(1) a composite number?
True
Let w = 87 - -2. Is w a prime number?
True
Suppose -2 = 5*o - 7. Let c = o - -2. Suppose 4*q - c*y = 139, 170 = -2*q + 7*q - 5*y. Is q a composite number?
False
Suppose 2*p - 2 = -k + 4*p, -34 = 5*k + p. Let u = 3 + k. Is (-514)/(-8) - u/4 composite?
True
Is 1*326*(-119)/(-14) composite?
True
Suppose -3*b = 5*s - 122, 2*s - 119 = -5*b + 2*b. Is b a prime number?
False
Suppose 4*n - m = -2*m + 16, -5*m = -5*n + 20. Let c(q) = 6*q**2 - n - 2*q - 6*q**3 + 5 + 7*q**3 - 2*q**2. Is c(-4) a composite number?
True
Suppose 3*r - 6 = 0, -3*b + b - 6 = -3*r. Suppose b = -3*y - 2*y - 55. Let k = y - -33. Is k a prime number?
False
Suppose 3*t - 9597 = -4*t. Is t a composite number?
True
Let r be ((-10)/(-15))/((-2)/33). Suppose 6*c - 4*c + 72 = 0. Let x = r - c. Is x a composite number?
True
Let c be 6 - 5/(5/(-2)). Let u = c - 7. Is (0 + u)/((-3)/(-357)) prime?
False
Suppose -3*v - 108 = -4*v + k, 4*k - 310 = -3*v. Let x(d) = -d**2 + 4*d + 3. Let t be x(-6). Let l = t + v. Is l composite?
True
Let g be 3 - ((-2)/(-2) + -50). Suppose -3*n = n + 60. Let x = n + g. Is x a prime 