 10. Is d(l) a multiple of 18?
False
Let h(x) = -x**2 - 13*x + 16. Suppose 14 - 84 = 5*z. Let j be h(z). Suppose -3*k - 32 = -4*a + k, 0 = -a - 2*k + j. Is a a multiple of 3?
True
Let o = 35 + -29. Let z be (-1)/(-7) + o/(-42). Is 19 a factor of 76/2 - (z - 0)?
True
Let n = -143 + 312. Does 35 divide n?
False
Suppose 0 = -2*f - 2, -16*f = 3*c - 12*f - 212. Is 9 a factor of c?
True
Suppose z = n - 1, 3*z + n - 16 = -z. Suppose h + 16 = z*i - 7, 0 = 4*h + 3*i + 107. Let u = 37 + h. Does 4 divide u?
False
Let z(n) = -n - 1. Let p(q) = -29*q + 10. Let g(c) = p(c) - 3*z(c). Is 14 a factor of g(-2)?
False
Suppose -20 = -4*n + 2*a, 3*a + 21 - 3 = 2*n. Suppose 2*b + n - 19 = 0. Let h = 6 + b. Is h a multiple of 4?
False
Let h = 82 + -77. Suppose -2*k = -j + 1 + 25, -h*k + 67 = 3*j. Is 6 a factor of j?
True
Let s be 3/6*(6 + 2). Suppose -s*z = 3*z - 175. Does 11 divide z?
False
Let j(p) = p**3 - 7*p**2 + 12*p - 17. Suppose -14*d - 30 + 114 = 0. Is 7 a factor of j(d)?
False
Let j(w) = -3*w + 476. Does 34 divide j(0)?
True
Let g be ((-3)/6 - -1)*(-4 + -8). Let t(n) = 3*n**2 - 4*n - 1. Is 32 a factor of t(g)?
False
Let l(k) = -k**3 + 3*k**2 + 4*k - 4. Suppose 0 = 2*r - 1 - 7. Let v be l(r). Is 3 a factor of 5 + -5 - 1*v?
False
Suppose 7*s + 1127 = 4942. Does 5 divide s?
True
Suppose -f - 3*f = 20. Let b = 1 + f. Does 12 divide (b - -1) + 0 - -39?
True
Suppose 1062 = 4*b + 10*f - 8*f, b - f - 261 = 0. Does 22 divide b?
True
Suppose 0 = 14*c - 18*c + 24. Let q(g) = 14*g - 15. Is q(c) a multiple of 23?
True
Suppose -5*z + 2665 = 5*l, 2*l - 333 = z - 860. Is 3 a factor of z?
True
Let s(h) = 386*h**3 - 2*h**2 - 7*h + 7. Is s(1) a multiple of 24?
True
Let q = 130 - 85. Suppose 0 = 7*t - 2*t - q. Suppose -t*u + 12*u - 96 = 0. Is 32 a factor of u?
True
Suppose -62 - 226 = -2*l. Suppose -l = -5*n + 3*n. Is 18 a factor of n?
True
Let y = -1878 + 3330. Is y a multiple of 40?
False
Let h = 1 + -85. Let b be 6/(-9) + 788/(-6) + -1. Let i = h - b. Is i a multiple of 11?
False
Let w(c) = 2*c**3 - 40*c**2 - 6*c - 20. Is w(21) a multiple of 33?
False
Let s = 895 + -594. Does 12 divide s?
False
Let a(n) = -4 - 4 + 1 + 6. Let r(z) = -z - 4. Let x(c) = -3*a(c) + r(c). Does 4 divide x(-5)?
True
Let a = 323 - 182. Is 11 a factor of a?
False
Let n = 129 + -49. Suppose 0*d + n = d. Is 16 a factor of d?
True
Let p(a) = -307*a**2 - 3*a + 4. Let h be p(2). Is 14 a factor of (4/5)/((-6)/h)?
False
Is (-7100)/(-15)*(8/(-5) - -4) a multiple of 14?
False
Let c = 2624 - 1771. Is c a multiple of 55?
False
Suppose -6*c + c + 4*j = 95, 4*c + 35 = -5*j. Let l(a) = -a**2 - 17*a - 15. Let x be l(c). Suppose 0 = g + 2*g - x. Does 5 divide g?
True
Let l(p) = -2*p - 1. Let m be l(-4). Let i = 11 - m. Let d = 7 + i. Is d a multiple of 5?
False
Suppose 1 = 4*n + 2*r - 23, -r = 2. Suppose n*t - 4*t + 3*o = 0, 5*t - 10 = -3*o. Suppose 4*c = -a - 4*a + 172, -t*c + 224 = 4*a. Is 24 a factor of c?
True
Suppose 6*r - 3*r = -5*f + 25, 5*f = 2*r. Is (-3)/r - 228/(-5) a multiple of 15?
True
Let g(w) = 13*w**2 - 27*w + 186. Is g(10) a multiple of 5?
False
Let s = -21 + 24. Suppose 3*x - 463 = -4*b, 2*b - 7*b + 599 = -s*x. Is 5 a factor of b?
False
Let h = -553 - -1723. Is h a multiple of 6?
True
Let t(z) = -2*z**3 - 3*z + 0*z**2 - 4 - z**3 + 2*z**3 - 4*z**2. Let p be t(-4). Suppose -2*f = 2*f - p. Is f even?
True
Let v = 1 + -1. Suppose 2*d + o - 12 = v, 3*d - o - 4 = 19. Does 3 divide d?
False
Let u(w) = -w**3 + 6*w**2 + 4*w - 19. Let h be u(6). Suppose -170 = -h*b + 15. Is b a multiple of 13?
False
Let q(a) = 14*a + 1. Let f be q(3). Let m = 67 - f. Suppose -4*s + m = -20. Is 8 a factor of s?
False
Let s = 688 - 655. Let b = 2 - 3. Let p = s - b. Is 12 a factor of p?
False
Does 14 divide (-13020)/(-36)*42/35?
True
Suppose -2*w + w + 48 = 0. Let p be (w/(-10))/((-12)/450). Suppose -b = 4*b - p. Is b a multiple of 8?
False
Suppose 3*m + 6 = 2*m. Suppose -f + 19 = -4. Let x = f + m. Is 5 a factor of x?
False
Let f = 2574 + -1710. Does 19 divide f?
False
Let s(i) be the third derivative of -17*i**5/120 + i**4/24 + 2*i**3/3 + 3*i**2. Let y(x) be the first derivative of s(x). Is 26 a factor of y(-3)?
True
Suppose 5*n = -742 + 7. Let m = n - -257. Suppose 6*x - x = m. Is x a multiple of 11?
True
Suppose 3 = -4*y + 23. Let x be (12/y)/((-4)/(-60)). Suppose h + x = 4*h. Is h a multiple of 4?
True
Suppose -7*l + 605 + 774 = 0. Suppose 2*x = -3*z + 616, z + 0*z = x + l. Is 36 a factor of z?
False
Let m = 11 + -6. Suppose -5*r - 183 = -3*f, 0*r + r + 41 = m*f. Does 23 divide (-209)/(-9) - (-8)/r?
True
Let f = -36 + 40. Suppose 4*l = -0*t - 5*t + 105, 80 = 5*l - f*t. Is l a multiple of 20?
True
Let p(m) = -11*m**2 - 5*m - 81. Let t(q) = -6*q**2 - 3*q - 40. Let a(g) = -4*p(g) + 7*t(g). Does 26 divide a(10)?
True
Let u = 7 + -61. Suppose 5*w + 64 = 3*w. Let i = w - u. Is i a multiple of 17?
False
Suppose -32*n - 75 = -33*n. Suppose -n = -10*o + 5*o. Is 7 a factor of o?
False
Is (-40)/(-3 + -5) + (0 - -207) a multiple of 13?
False
Let r(a) = -a. Let n be r(0). Suppose 0 = 5*t - 5*s + 40, n = -0*t + 4*t - 5*s + 37. Does 4 divide 3*(t + -1 + 9)?
False
Let g = 1399 - 739. Is 33 a factor of g?
True
Let d(m) be the first derivative of 3*m**3 + 1/4*m**4 + 7/2*m**2 - 3*m - 5. Does 4 divide d(-8)?
False
Let p be 24/(-20)*20/(-6). Suppose -6*x + p*x + 60 = 0. Does 13 divide x?
False
Let m = -3473 + 4868. Is m a multiple of 31?
True
Suppose -2*c - 5 = 7. Let v be (c/(-5))/(4/10). Suppose 0 = -v*n - 8 + 122. Is 19 a factor of n?
True
Let d(o) = 28*o**3 + 2*o**2 + 3*o**2 - 5*o + 9*o**3 + 1. Let t(x) = -x**3 - x**2 + x. Let f(b) = d(b) + 5*t(b). Is f(1) a multiple of 11?
True
Let o(f) = -3*f**2 - 4*f + 16. Let j be o(-8). Is 6 a factor of (j/20)/((-12)/40)?
True
Let a = 4 + 805. Is 37 a factor of a?
False
Suppose 9*g - 4*g = 25. Suppose -g*f + 460 = z + 4*z, 5*f = -3*z + 464. Is f a multiple of 14?
False
Suppose -3*y = 2*y - 5*h - 15, 0 = 5*y + 4*h - 6. Suppose y*g - 120 = -28. Is 23 a factor of g?
True
Let c(u) = -u**2 - 7*u + 8. Let b be c(-8). Suppose b = -0*d + d - 6. Suppose -60 = -5*f - 4*a, -f + 6 = 3*a - d. Is 12 a factor of f?
True
Let p be 5/20*(2/2 + 7). Suppose -4*t - 38 = -3*o, 4*o + 7*t - p*t - 92 = 0. Is o a multiple of 3?
True
Let c(v) = 26*v**2 - 2*v + 4. Let t(p) = -79*p**2 + 6*p - 13. Let w(j) = 7*c(j) + 2*t(j). Let g be w(3). Suppose -5*s + 3*s + g = 0. Does 20 divide s?
False
Let k = 152 + 13. Let u be 2/4 + (-1)/2. Suppose b - 4*b + k = u. Is 16 a factor of b?
False
Let i(c) = 5*c**2 + 6*c - 128. Let a(o) = 3*o**2 + 4*o - 85. Let q(g) = -7*a(g) + 5*i(g). Is 26 a factor of q(-7)?
False
Let c(o) = 23*o**3 + o**2 + o - 1. Let x be c(1). Is (-3 - -3) + x - -3 a multiple of 27?
True
Let w(u) = 3*u**2 - 21*u + 13. Let r be w(8). Suppose -183 = 5*n - 0*n - 2*i, 0 = -3*i + 12. Let c = r - n. Does 26 divide c?
False
Let g = 12 - 11. Suppose 5*w = -d + 190, -2*d = 4*w - 147 + g. Does 22 divide w?
False
Suppose 4*z = -9*z + 4212. Is z a multiple of 9?
True
Suppose -5*w = 3*k + 325, 0*w + 3*w + 2*k + 194 = 0. Let r = 102 + w. Suppose 0 = -2*u + r + 8. Is u a multiple of 8?
False
Suppose 5*y - 75 = -5*q + 140, 0 = q + 1. Is 2 a factor of y?
True
Suppose 9*z = 2154 + 3786. Is z a multiple of 55?
True
Let b(h) = 2*h**2 + 47*h + 24. Is 46 a factor of b(16)?
True
Let l = 1518 + -1248. Is l a multiple of 4?
False
Suppose 2*k = -m + 6 + 24, -3*m - 3*k = -90. Is 2 a factor of m?
True
Let j be ((-6)/4)/(7/(-14)). Suppose j*x + x + 4*s - 172 = 0, x - 61 = 5*s. Does 15 divide x?
False
Is 8 a factor of 1054 + -3 + (-30)/10?
True
Is (-17 + 31)*(2 - -78) a multiple of 35?
True
Suppose 350 - 133 = 7*d. Suppose l + d = 205. Does 22 divide l?
False
Suppose 5*x = -255 - 185. Let j = x - -313. Is j a multiple of 18?
False
Is 6 a factor of 39/117*(1102 - 1)?
False
Suppose 9*k - 12*k = 27. Let n be (-2 - -18) + k/3. Suppose -n = -o + 6. Does 17 divide o?
False
Let h(i) = 4*i**2 + 11*i + 2. Let d be h(-3). Suppose d*f = 0, 44 = x - 3*f + 4*f. Does 6 divide x?
False
Is 5 a factor of (0 + 1)*(-90 - -620)?
True
Let w(p) = 105*p**3 - 2*p - 1. Let n = 15 + -16. Let l be w(n). Does 26 divide l*9/(-12)*1?
True
Let f(p) = -p**3 + p**2 + 2*p - 1. Suppose 0 = 4*y - 3*y - 4, 0 = 5*b - 4*y + 26. Is f(b) a multiple of 3?
False
Suppose 0 = x + 5*k - 15, -