e
Let c(u) = -u**3 + 5*u**2 - 4*u + 4. Let d be c(4). Let i(z) = z. Let w be i(d). Suppose 4*j - 104 = -w*g, 0 = 4*g + 2*j + 8 - 108. Is g a multiple of 12?
True
Suppose 2*y + 2*y + 247 = 3*n, 166 = 2*n - 4*y. Does 18 divide n?
False
Let u = -28 + 33. Is u even?
False
Is 22 a factor of (-7 + 4)/((-2)/70)?
False
Let x(w) = w + 7. Let t be x(-7). Suppose -2*z + 5*o = -76, t*o = -o. Does 19 divide z?
True
Let n = 173 - 97. Let q = 45 - n. Let u = q + 52. Does 21 divide u?
True
Let v(a) = 3*a + 2. Let p(x) = -2*x**2 + 3*x**2 - 3 + 4. Let w be p(1). Is 3 a factor of v(w)?
False
Let x = 1 - -15. Is x a multiple of 4?
True
Suppose 0*o = -3*o + 12. Let h(g) = g**3 - 3*g**2 - g - 3. Let c be h(o). Let x(l) = -l**2 + 10*l + 2. Is x(c) a multiple of 6?
False
Suppose -2*p - 30 = -10. Is 12 a factor of 1 - (2 + (p - 3))?
True
Suppose -5*z - 5*q = -40, -2*z + 13 = -3*q + 2. Let m(p) be the third derivative of p**4/8 - 5*p**3/6 - 4*p**2. Does 8 divide m(z)?
True
Let h be 4/14 + (-80)/(-14). Let c(g) = g + 22. Let x(a) = a + 21. Let s(r) = h*c(r) - 5*x(r). Is s(0) a multiple of 14?
False
Let k(w) = -30*w**3 + w + 1. Suppose 0 = -4*y + 2 - 6. Is 15 a factor of k(y)?
True
Let h(k) = 5*k**2 + 2*k + 3. Suppose -5*j = -3 + 18. Let n be h(j). Suppose 0 = 2*b - n + 6. Does 9 divide b?
True
Let x = 10 - 4. Suppose 5*a = 3*q + 8, -4*q + 14 + x = a. Is -3*-14*a/6 a multiple of 14?
True
Suppose 595 = 5*w - 2*g, 3*w = -0*g + 3*g + 348. Is 9 a factor of w?
False
Suppose 0*m + m + 50 = -3*n, -m - 68 = 4*n. Does 8 divide 264/27 - 4/n?
False
Let d(z) = -z + 38. Is 6 a factor of d(15)?
False
Let c = -1 + 36. Does 10 divide c?
False
Suppose 2*j - 24 - 14 = 0. Is 12 a factor of j?
False
Suppose -3*x + 0*z + 38 = z, -x + 4 = -4*z. Does 6 divide x?
True
Let i(x) = 1 - 10*x + 14*x - 2 + 19*x. Let l(o) = -o + 5. Let q be l(4). Does 13 divide i(q)?
False
Suppose 524 = -5*d + 9*d. Does 29 divide d?
False
Let i(k) = -k + 12. Is i(9) a multiple of 3?
True
Let z = -79 + 168. Let w = z - -31. Suppose 0*s + 3*s - w = 0. Does 21 divide s?
False
Suppose i = 4*l + 52, -4*l + l = 3*i - 126. Does 11 divide i?
True
Suppose 0 = -14*b + 230 + 1310. Is b a multiple of 13?
False
Suppose -3*w - w - 2*m = -96, -5*w - 4*m + 120 = 0. Suppose a - w = -3*c, 4*a - 2*c - 2*c = 32. Is a a multiple of 12?
True
Suppose 42 = -3*h + 201. Let y = h - 35. Is y a multiple of 9?
True
Let q = 9 - 4. Suppose 5*a = -3*d + 46, -q*a + 43 = 2*d + 14. Is d a multiple of 8?
False
Suppose -5*s + 2*s = -3*b - 15, 3*s - 2*b - 12 = 0. Let w(q) = q**s - 1 - 3*q - 2 + 0. Is 7 a factor of w(-2)?
True
Let w be (-24)/(-10)*(-10)/2. Let u = w - -18. Does 10 divide (u/(-12))/((-1)/58)?
False
Let f be 2/8 - (-2)/(-8). Let h(i) = -i + 28. Is h(f) a multiple of 11?
False
Let j(x) = -10*x + 20. Does 12 divide j(-4)?
True
Suppose -2*a + 3*z - 114 = -3, 2*z = -3*a - 134. Let q = a + 67. Does 19 divide q?
True
Let w = 1 - 2. Does 12 divide -2*w/2*14?
False
Does 23 divide (-3)/(-2)*(-736)/(-12)?
True
Suppose -2*b + 116 = 2. Let p(c) = 83*c**3 - 1. Let d be p(1). Let g = d - b. Does 9 divide g?
False
Let d = 15 - 6. Let a = -6 + d. Suppose -2*w + 115 = a*w. Is 11 a factor of w?
False
Let b be (-30)/(-2) + (-3 - -3). Suppose -u + 1 = b. Let f = 40 + u. Is 13 a factor of f?
True
Let f = -2 - -2. Suppose 5*j + f*h + 3*h = 114, -5*j + 3*h + 126 = 0. Is j a multiple of 12?
True
Let o(r) = -r + 5. Let x be o(0). Suppose 15 = 3*u + 3*k, u - 2*k - 11 = -4*u. Suppose 0 = -x*g + 63 - u. Does 5 divide g?
False
Let s(f) = 2*f**2 + 2*f - 1. Let x be s(-2). Suppose -m = 4*m, -o + x = 2*m. Does 3 divide o?
True
Let r = 16 - 22. Let u = -4 - r. Suppose 7*w = -3*s + 4*w + 21, 0 = -5*s - u*w + 47. Does 7 divide s?
False
Let v(g) = g - 5. Let w be v(5). Let n(m) = m**3 + m**2 - m + 3. Is n(w) a multiple of 2?
False
Suppose 0 = i - 6*i - 5*l + 110, -3*i + 87 = -4*l. Does 25 divide i?
True
Is 11 a factor of 37 + ((-4)/(-6))/((-2)/3)?
False
Let q(s) = s**2 + 3. Let u be q(3). Let f be (u/5)/(15/100). Suppose 0 = n + n - f. Is 3 a factor of n?
False
Let p be 2 - (1 - -2) - -3. Let o(i) = -i**3 - p*i - 3 + 2*i**3 + 2*i**2 + 2. Is 2 a factor of o(-2)?
False
Let y(f) = f**3 - 8*f**2 + 7*f + 6. Let s be y(7). Suppose -2 = x - s. Does 2 divide x?
True
Suppose -3*t = -7*t + 3*g - 68, t - g + 17 = 0. Let c(x) = 8*x. Let h(o) = 3*o. Let l(y) = t*h(y) + 6*c(y). Is l(-8) a multiple of 9?
False
Let o(a) = 11*a + 10 + 6*a + a**2 - 5*a. Does 6 divide o(-12)?
False
Let w(z) = z**2 - 11*z + 13. Let b be w(10). Suppose b*u - 7 = 95. Is 17 a factor of u?
True
Is 67*(-2 - (0 - 3)) a multiple of 12?
False
Suppose 0 = -3*l - 6, 4 + 0 = -4*i - 2*l. Let h be (-3)/(-2)*440/33. Let u = h - i. Does 10 divide u?
True
Let x = 8 + -14. Let w = 10 - x. Does 16 divide w?
True
Let n(y) = -y**3 + 3*y**2 - 10*y - 21. Is 21 a factor of n(-5)?
False
Let x = 203 - 98. Is 32 a factor of x?
False
Suppose -3*z + 11 = -10. Let b(h) = 1 + 1 + h**2 - 6*h - 3 + 3. Does 4 divide b(z)?
False
Let i = 11 + -7. Let l be i/(-18) + 1444/18. Suppose -l = -5*y + 2*y - 4*a, -3*y - a + 65 = 0. Is y a multiple of 10?
True
Is 9 a factor of 45/(-2)*6/(-5)?
True
Suppose -s + 3*s - 68 = 0. Is 7 a factor of s?
False
Suppose -2*b - 2*g = 4, 4*g = -4*b + 3*g + 7. Suppose -2*r = -b*x - 59, 5*r - 3*r + 9 = -x. Let d = x - -28. Is d a multiple of 11?
True
Let z(c) = 28*c**2 + 10*c + 14. Is 18 a factor of z(-2)?
False
Let b(x) = 8*x**3 + x**2 + 4*x + 3. Let w(n) = -7*n**3 - n**2 - 3*n - 2. Let r(d) = 3*b(d) + 4*w(d). Let m = 0 - 1. Does 2 divide r(m)?
True
Let q = 1 + 3. Let m(z) = -z**3 + 9*z**2. Let b be m(9). Suppose 2*p - r - 9 = q, -4*p + r + 29 = b. Is p a multiple of 4?
True
Suppose j + 17 = 4*n + 58, 0 = -4*j + 5*n + 142. Let l = 77 - j. Is 22 a factor of l?
True
Let x be 3/(-3 - 0)*-3. Suppose -x*b = -7 - 11. Is b a multiple of 3?
True
Suppose 2*t + 65 = 5*j + 192, j = 5*t - 329. Is 11 a factor of t?
True
Suppose 6*m - 8 = 2*m. Suppose 0 = -2*s + 2*g + 104, -3*s = -0*s - m*g - 154. Suppose 4*p - 4*f - 42 = s, f - 57 = -3*p. Is 20 a factor of p?
True
Suppose 5*t - 325 = -5*o, -2*o + 260 = 2*o + 2*t. Is 3 a factor of o?
False
Suppose 0 = -3*n - 3*b, 5*n + 0 = -4*b + 4. Suppose 3 = -n*g + g. Let a(u) = 7*u**2. Is a(g) even?
False
Let w(q) = 3*q**2 + 8*q + 27. Does 31 divide w(-8)?
True
Let a = -48 + 86. Does 19 divide a?
True
Let h be ((-14)/6)/(2/18). Suppose 55 = -q + 18. Let r = h - q. Is r a multiple of 6?
False
Let g = 15 + -4. Let y = -15 + g. Is 7 a factor of (81/6)/((-2)/y)?
False
Let n = 5 + -3. Let v = n + -2. Suppose -4*o - 4*d = -v*d - 108, -4*o - 3*d + 109 = 0. Is 14 a factor of o?
True
Suppose -4*p - 77 = -3*q, -6*p + 3*p = -2*q + 50. Let w = 59 - q. Is 7 a factor of w?
True
Let k = 0 - -4. Suppose 0*i + 364 = -2*i + 5*r, -696 = k*i - 2*r. Is 4/(-10) + i/(-5) a multiple of 12?
False
Let q(n) = n + 2. Let o be q(0). Suppose -5*d - 5 = 5*t, -3*t - 4 = -5*d + 31. Suppose 3*j = -3*z + z + 24, 0 = -d*z - o*j + 32. Is z a multiple of 6?
True
Let j(l) = -l**2 - 2*l + 440. Is 32 a factor of j(0)?
False
Let t = -30 - -33. Let h(x) = 3*x**2 - 2. Let l be h(3). Suppose 8*u - t*u - l = 0. Is u a multiple of 2?
False
Let h = -116 - -169. Is h a multiple of 33?
False
Let m be 0*(-1 - (-9)/6). Suppose 11 = n - c, m = -3*n - 0*n + 5*c + 27. Does 7 divide n?
True
Let f = 285 + -189. Let u be (0/(-2))/(2 + -1). Suppose u = -3*b - b + f. Does 12 divide b?
True
Does 12 divide (1 - 0)/(12/732)?
False
Suppose -7*f + f = -36. Does 3 divide f?
True
Let r = 28 + -13. Is r a multiple of 5?
True
Let s = -30 + 58. Suppose 0 = 2*f - f + s. Is 13 a factor of f/(-1)*(-2)/(-4)?
False
Let h(l) = l**3 - l**2 + l + 5. Let m be (-2)/8 - (-42)/8. Suppose m*g = g. Is h(g) even?
False
Suppose t + 261 = 4*w, 2*w - 132 = 3*t - 9. Is w a multiple of 22?
True
Let k = -44 - -118. Suppose 3*u = 2*u + k. Is u a multiple of 23?
False
Let c(s) be the second derivative of -s**5/20 + 5*s**4/12 + 3*s**3/2 - 4*s**2 - 8*s. Is c(6) a multiple of 10?
True
Let u(x) = x**2 + 1. Let n(g) = 6*g**3 - 4*g**2 - 7. Let p(w) = n(w) + 5*u(w). Let f be p(2). Suppose 7*o - 2*o = f. Is o a multiple of 4?
False
Suppose -2*r + 6 + 4 = 0. Suppose -37 = -2*j - 5*l, r*j + 0*l = 4*l + 76. Suppose -2*k = 2*k - j, 3*y - 5*k = 121. Is y a multiple of 16?
False
Suppose -7 = -v + 23