r of l(t)?
False
Let w = 39 + -11. Suppose -w = -3*l - 4*y + 19, 0 = 2*l - 5*y - 39. Suppose -l = c - 59. Does 10 divide c?
False
Let k = 147 - 13. Suppose 3*n + 173 = -5*c, 4*c + k = -0*c + 2*n. Does 2 divide c/(-6) - 2/3?
False
Let h(o) = o**3 + o**2 - 5*o + 5. Let s be h(2). Let d(b) = 4*b**2 + 2 - 1 - 3*b + s*b - 9. Is d(4) a multiple of 13?
False
Suppose 346 = -8*m + 8290. Does 15 divide m?
False
Suppose -g + 0*g + 8 = 2*z, -5*g = -3*z - 14. Suppose 4*u + 170 = 5*n, 0 = g*n + n - 5*u - 175. Does 7 divide n?
False
Suppose l - 63 = 2*p - 4*l, -5*p - 3*l - 111 = 0. Let f = p + 44. Suppose 5*d + c = -4*c + 25, 4*d - f = 3*c. Is d a multiple of 2?
False
Suppose 3759 = -19*u + 15178. Does 11 divide u?
False
Suppose 3*p - 4*k + 7 + 18 = 0, k = -2*p - 35. Does 26 divide ((-936)/p)/(6/20)?
True
Suppose -2188 = -7*x + 2754. Is x a multiple of 14?
False
Let h be 17 + (-1 + 7 - 3). Let n = 69 + h. Let m = n - 29. Is 30 a factor of m?
True
Let r be 2 - ((-3)/(-3) - 2). Suppose -r*w - 2*v - 10 = 0, 2*w = -2*v + 3*v - 9. Is 11 a factor of w/3*(-33)/1?
True
Is 2/((3/(-164))/(-3)) a multiple of 7?
False
Suppose 4 = -6*f + 7*f. Suppose -f*l - 66 = -5*l + 3*c, 316 = 5*l - c. Does 7 divide l?
True
Suppose 64 = -g - 15*g. Let s be -4*(3/(-2) - -2). Does 5 divide (g/4 - 9)/s?
True
Let z(a) be the first derivative of -3*a**2 - 4*a + 9. Let h be z(-9). Let l = h + -16. Does 13 divide l?
False
Let c(v) = -v**3 + v**2 - v + 1. Let l be c(1). Suppose -5*k + 20 + 5 = l. Suppose 2*r - 7*r - 5 = 2*g, -g - k*r = 15. Does 4 divide g?
False
Let j be (120/28)/(9/42). Is 0 + 2 + 1 + j a multiple of 4?
False
Suppose 380 = -4*k - 40. Does 6 divide 5/15 + k/(-9)?
True
Is 7 a factor of (-1)/(2/6)*(-60 - 5)?
False
Let m(y) = 3*y**3 + 37*y**2 - 5*y + 38. Does 2 divide m(-11)?
False
Let p(x) = -21 - 2*x + 15 - 3*x + 4*x. Let a be p(-9). Is (a/9)/((-2)/(-342)) a multiple of 16?
False
Suppose 5696 = 12*b + 656. Is 14 a factor of b?
True
Suppose -5*b - 236 = 3*y, b - 284 = -y + 5*y. Let d = y - -173. Is 21 a factor of d?
False
Suppose -2*v + 1064 = -2*y + 3*y, 0 = y - v - 1052. Suppose 7*p = -p + y. Does 44 divide p?
True
Does 7 divide (-2112)/(-15) + ((-145)/25 - -5)?
True
Let w(o) be the third derivative of -o**4/12 - 5*o**3/3 + 10*o**2. Let l be ((-11)/((-44)/(-40)))/1. Is w(l) a multiple of 3?
False
Let f(i) = 2*i**2 - 9*i - 5. Let t be f(5). Let j = 0 - -5. Suppose -j*u - 15 = 0, 5*v - v - 2*u - 290 = t. Does 14 divide v?
False
Let k(l) = 25*l + 34. Does 13 divide k(15)?
False
Let d(s) = s + 2. Let j be d(7). Suppose -z - 632 = -j*z. Is 7 a factor of z?
False
Let c be (-7)/28 + 15/(-4)*33. Is (-5)/4 + 1 + (-1519)/c even?
True
Let h(b) = 2*b**2 - 24*b - 32. Let s be h(18). Let o = 280 - s. Does 32 divide o?
True
Let b be 5/(15/(-468)) - (2 - 2). Is (975/b)/(1/(-28)*1) a multiple of 14?
False
Let b(n) = 6*n**3 + 2*n**2 + 11*n - 18. Does 2 divide b(3)?
False
Let q be (5 - 1) + (11 - 14). Let k be (-20)/(1/(-7)*q). Suppose 0 = 5*b - 5*a - k, 0*a = -2*a - 4. Does 12 divide b?
False
Let r(c) = -4*c**2 + 14*c + 36. Let a(q) = q**2 - 5*q - 12. Let g(t) = 10*a(t) + 3*r(t). Let o be g(-8). Let n = o - -116. Is 10 a factor of n?
True
Let r be 74262/12 - (-2 - (-5)/2). Suppose -5*q - 12*q = -r. Is 13 a factor of q?
True
Let x be 1/3 - (-21)/(-9). Let p(d) = -6*d - 5. Let o be p(x). Suppose -49 = -2*y - o. Does 9 divide y?
False
Let h(v) = -2*v. Let g(s) = -3*s + 14*s + s. Let l be g(-1). Is 8 a factor of h(l)?
True
Let c = 914 - 420. Is 47 a factor of c?
False
Let h = -134 + 143. Let o(s) = 2*s**2 - 10*s + 40. Does 16 divide o(h)?
True
Let r = -1 + 6. Let s(z) = 2*z + 3*z**3 - 5*z**2 - z - 2*z**3. Is 2 a factor of s(r)?
False
Suppose 0 = -5*r + 5*v + 772 + 223, 4*v = -3*r + 611. Suppose 5*p - 681 = -r. Does 8 divide p?
True
Let f = -7 + 10. Suppose q + f*q - 320 = 0. Suppose -2*l = -2*i - q, 2*i = -l - 0*l + 31. Is 19 a factor of l?
False
Let s(j) = j**2 + 4*j. Let m be s(-4). Suppose m = 5*n + 109 + 116. Is 4/(-6)*n/6 a multiple of 5?
True
Suppose -5*v = -l - 294, -4*v + 270 = v + 5*l. Let n = v - 40. Does 3 divide n?
True
Let c be 91/21 - 2/6. Let q = -7 - -8. Is 3 a factor of (c - (q - -2))*6?
True
Let g = 169 + -266. Let v = -66 - g. Is v a multiple of 9?
False
Let w(j) = 129*j**2 - j + 1. Does 36 divide w(-1)?
False
Let b = 83 + -88. Does 17 divide 2 + b + -2*414/(-4)?
True
Is 97 a factor of 76*291*(-5)/(-60) + 0?
True
Let b(n) = -n**3 + 6*n**2 - 2*n - 7. Let s be b(5). Suppose 2 = -v - 4*m, 3*m = -m - s. Is 4 a factor of v?
False
Let l(t) = 121*t**3 + 10*t**2 - 3*t - 1. Is l(2) a multiple of 13?
True
Suppose 6*p - 2643 = 3057. Is p a multiple of 25?
True
Let p(y) be the first derivative of 31*y**4/4 - y**3 + 7*y**2/2 - y - 33. Does 20 divide p(2)?
False
Let h(x) = 2*x**3 + 24*x**2 + 11*x + 55. Is 6 a factor of h(-7)?
True
Let y(l) = 5*l**2 - 3*l + 3. Let n be y(-4). Let b = 134 - n. Let o = b + 15. Is 18 a factor of o?
True
Let u(d) = d**3 - 14*d**2 + 17*d + 190. Is 20 a factor of u(15)?
False
Suppose -2*v + 11 - 3 = 0. Suppose m + v = -d - d, -3*m + 3 = d. Suppose 3*i - 5*o = 43 + 19, 0 = i + 3*o - m. Is 14 a factor of i?
True
Suppose 5*b - 4 = 4*b. Suppose -7 = -f - 3*w, -4*w - b = 4. Let y = f + 11. Is y a multiple of 12?
True
Let j(g) = -g + 5. Let z(x) = x + 1. Let l(f) = j(f) + 2*z(f). Let b be l(-5). Let p(c) = 8*c**2. Is p(b) a multiple of 16?
True
Suppose 0 = 72*s - 59*s - 1911. Is s a multiple of 3?
True
Let x(j) = 2*j**2 - j. Let i(d) = 3*d**2 - 64*d - 7. Let k(l) = i(l) - 3*x(l). Is 6 a factor of k(-19)?
False
Suppose -2*w - 22 = -p, 2*p - 103 = -3*p + 3*w. Suppose 4*s + 28 = -3*j - j, 5*s = -p. Is -1 + 15/5 - j a multiple of 5?
True
Suppose -t = 5*r - 29, -t - 5 + 18 = r. Suppose t*k + 0*k = 882. Is k a multiple of 17?
False
Let c(n) = 0*n**3 - 2992*n**2 - 2*n**3 - 5 + 2994*n**2 - n. Is 6 a factor of c(-3)?
False
Suppose 0 = 4*u - 7*u + h - 11, 3*h + 3 = 0. Let c(b) = 2*b + 3. Let s be c(u). Let r(y) = 2*y**2 + 6*y - 6. Does 14 divide r(s)?
True
Let s(k) = -4*k + 2. Let i(c) = -5*c + 1. Let g(x) = -3*i(x) + 4*s(x). Let f be g(5). Suppose f = d + 2*d - 57. Is 12 a factor of d?
False
Let v(l) = 3*l - 5. Let x be v(3). Suppose -x*n + 12 = 4*c, 5*c + 4*n + 6 = 18. Suppose -3*w + 5*w - 36 = c. Does 16 divide w?
False
Suppose 4689 = -1912*c + 1915*c. Is c a multiple of 11?
False
Let m be (17 - 22)*(0 + -1). Suppose -r - 19 = -f + m, -4*r - 4 = 0. Let y = -19 + f. Is y even?
True
Let k = 4 - -46. Is (12/10)/(3/k) a multiple of 3?
False
Suppose -19*f + 660 = -16*f. Does 11 divide f?
True
Let k(r) = -64*r**3 - 6*r + 22. Is 34 a factor of k(-3)?
True
Let t = -228 + 458. Let d = t - 96. Suppose 3*k + o - 206 = 0, -2*k + 0*k + d = 4*o. Is k a multiple of 17?
False
Let k(p) = -p**3 + 4*p**2 + 6*p - 7. Let x be k(3). Let o = 43 + x. Is 21 a factor of o?
True
Suppose x = 5*q - 2246, 4*x - 1796 = -4*q + 5*x. Is q a multiple of 8?
False
Does 6 divide 15/40 + 20148/32?
True
Let n be (38/(-6) - (-4 - 0))*-3. Is 6 a factor of (2*(-6)/4)/(n/(-21))?
False
Let v = -8 + 13. Suppose b - 87 = 3*f - 0*f, -v*f + b = 145. Let p = f + 54. Is 12 a factor of p?
False
Let o(q) be the second derivative of q**4/12 - 5*q**3/6 + 6*q**2 + 5*q. Let l = 8 - 1. Does 26 divide o(l)?
True
Let k = -916 + 980. Is k a multiple of 32?
True
Let s(n) = -2*n**3 - 3*n**2 - 2*n. Let b(t) = 2*t**3 + 4*t**2 + 3*t + 1. Let c(v) = -4*b(v) - 5*s(v). Suppose -2*g = -1 - 5. Does 21 divide c(g)?
False
Let x(n) = 36*n + 26 + 12*n**2 + 7*n**2 + 2*n**2. Let y(w) = 4*w**2 + 7*w + 5. Let f(c) = -4*x(c) + 22*y(c). Is f(-4) a multiple of 6?
True
Let s(x) = x**3 - 8*x**2 + 9*x. Suppose 25*a - 20*a = 10. Suppose 0 = a*o - 3*o + 8. Is s(o) a multiple of 18?
True
Let t = -1917 + 2997. Is 36 a factor of t?
True
Let d(b) = b**3 + 4*b**2 + 7*b + 1. Let p = -124 - -128. Is d(p) a multiple of 36?
False
Let o = 10 + -33. Let d = o - -25. Is d a multiple of 2?
True
Let k(x) = -x**2 + 16*x + 4. Let h be k(11). Suppose -121 = -5*r + h. Suppose 148 - r = 4*m. Is 8 a factor of m?
False
Suppose -292*q - 2519 = -303*q. Is 3 a factor of q?
False
Suppose 8*n - 9*n - 3 = 0. Let y(b) = -2*b**3 - b + 3. Is y(n) a multiple of 4?
True
Let s(c) = -109*c + 2. Let n(o) = -435*o + 9. Let b(z) = 4*n(z) - 15*s(z). Let d be b(-2). Is 27 a factor of (d/14)/(5/35)