ide v(z)?
True
Let f(k) = k**2 + 5*k - 9. Let h be f(3). Suppose -h*g + 7*g = -568. Is g a multiple of 21?
False
Let b be (-333 - 0) + (-10)/(-2)*1. Let t = b + 393. Is 5 a factor of t?
True
Suppose 0 = -6*u + 23 + 157. Suppose u*v - 575 = 25*v. Suppose 53 = 8*r - v. Does 16 divide r?
False
Let w = -54 - -274. Suppose 0 = u - m - 51, -13*m + w = 5*u - 11*m. Is u a multiple of 5?
False
Suppose -18*w + 7046 + 8956 = 0. Does 2 divide w?
False
Let p be ((-4)/5 + 2)/((-6)/(-20)). Suppose p*f - 96 = f. Suppose 5*h - h = f. Is 4 a factor of h?
True
Let o(d) = -d - 20. Let t be o(-17). Let r be (-1)/t*10 - (-28)/(-84). Suppose -19 = -r*q + 425. Does 37 divide q?
True
Let r be (-23)/69 - (-124)/(-6). Let x = r + 55. Let w = x - 20. Is 3 a factor of w?
False
Let x(l) = -171*l**2 + 11*l + 2. Let c be x(-2). Let t = c + 872. Does 94 divide t?
False
Suppose 3*v + 2*p - 8 = 0, 4*v - 5*p + 2 = 28. Suppose 3*d + 19 + 10 = n, -4*n = v*d + 12. Let u(o) = o**3 + 8*o**2 - 2*o + 8. Is u(d) a multiple of 6?
True
Suppose 26688 = -434*m + 450*m. Let i = -1032 + m. Is 6 a factor of i?
True
Suppose 15*m = -11 - 49. Is 2 a factor of -2 + (m/(-3))/((-4)/(-216))?
True
Let v(i) = 3*i + 20*i - 2 + 4 - 3. Is 4 a factor of v(3)?
True
Suppose -1 = 5*j - 26. Suppose z = -2 + 4. Is 2 a factor of (j + -4)/(z/4)?
True
Let v(j) = j**2 - 8*j - 4. Let n be v(5). Let x = 18 + n. Is 0 + 27 + (-2)/(-1) + x a multiple of 14?
True
Suppose -34*d + 907 + 181 = 0. Suppose -472 = d*j - 36*j. Does 10 divide j?
False
Does 20 divide (-81)/(-30)*2/3*98340/198?
False
Let y be 14/(-63) - (1 + 29/(-9)). Let o be y/(-4) - 212/8. Let b = 137 + o. Is 11 a factor of b?
True
Let l = 0 - -7. Suppose l*q - 253 = -71. Suppose -2*m = -q - 10. Is 18 a factor of m?
True
Let q be -1 - -2 - (-28)/4. Suppose 999 = q*p - 1401. Suppose -4*f = 3*y - 191, -6*f + p = 5*y - 3*f. Is 5 a factor of y?
False
Suppose 0 = 5*i - 26 + 11. Let o = 2 + 0. Suppose i*c + o*c = 50. Does 7 divide c?
False
Let b = 107 - 105. Suppose b*f - 32 = f + 3*g, 3*g = 5*f - 136. Let d = f - -14. Is 4 a factor of d?
True
Let y be 3 - 2858/(-18) - 6/(-27). Suppose 0 = 14*l - 8*l - y. Is 16 a factor of l?
False
Let n = -34 - -45. Let o = 29 + n. Let p = o + 59. Does 11 divide p?
True
Let u(d) = 32 - d**2 - 6*d + 5*d**2 - 38. Let t(h) = 3*h**2 - 5*h - 6. Let i(v) = 3*t(v) - 2*u(v). Does 3 divide i(9)?
True
Let c = 1357 + 15755. Is 23 a factor of c?
True
Suppose 15*c + 204 = -8736. Let y = 640 + c. Is 2 a factor of y?
True
Let k be 46/(-8)*(-24 + 0). Let p = -85 + k. Let c = p - 41. Is 4 a factor of c?
True
Suppose -4*d = -15*d - 1430. Let l = -258 - -465. Let i = l + d. Is i a multiple of 11?
True
Let s(p) = -4*p + 136. Suppose -3*l + 6*l + 107 = 5*u, 0 = 4*u - l - 80. Does 4 divide s(u)?
True
Let j(q) = -627*q + 3533. Is j(-9) a multiple of 62?
True
Suppose -i + 19 = g, -2*i + 5*g - 2*g = -23. Suppose -5*p + 1964 = 4*a, 20*p - 16*p - 16 = 0. Suppose i*y - 22*y + a = 0. Is 17 a factor of y?
False
Let y = 232 + -216. Suppose y*f = 995 + 157. Is f a multiple of 53?
False
Let j be (27/12)/(9/(-24)). Suppose 0 = 4*k - 5 - 11, 5*f + k - 319 = 0. Is 21 a factor of j/(-27)*-3*f/(-2)?
True
Let a = -140 + 135. Let r(q) = 10*q**2 - 8*q + 6. Does 4 divide r(a)?
True
Let k(o) = -20*o**2 + 65*o - 56. Let d(q) = -7*q**2 + 22*q - 19. Let x(j) = 17*d(j) - 6*k(j). Let l be x(15). Let g(u) = -46*u + 3. Is 12 a factor of g(l)?
False
Let v(s) = 8*s - 7. Let a be v(4). Let y be (33/(-5) - (-15)/a)/(-2). Suppose y*b = -77 + 329. Does 12 divide b?
True
Suppose -64*n + 221509 - 43653 = 0. Does 11 divide n?
False
Let q(i) = -i**3 - 37*i**2 - i - 37. Let u be q(-37). Let p(l) = -4*l + 145. Is 29 a factor of p(u)?
True
Suppose -2*o - 4 = 0, d - 5*o = -d + 10. Suppose d = 5*m + f + 50 - 5, 4*f + 30 = -5*m. Does 10 divide ((-4)/m)/(-5 - 4004/(-800))?
True
Let a(x) = x - 2. Let k(j) = 18*j - 22. Let p(m) = 12*a(m) - k(m). Does 6 divide p(-4)?
False
Suppose 2*m + 7 = 3*g - 10, -m + 5 = 3*g. Suppose 4*d - i = 55, -5*d = -0*i + g*i - 90. Suppose -3*x = -5*b, 3*b - d = -2*b. Does 5 divide x?
True
Suppose -9*i - i + 4388 = 1288. Is i a multiple of 3?
False
Suppose 0 = -u + 5, 80*n - 75*n - 55510 = 3*u. Is n a multiple of 154?
False
Let y be 2*5/(-10)*(-2 - -2). Suppose y = -5*d - 2*x - 111670, 2*x = -4*d - 0*x - 89334. Is 22 a factor of (-2)/18 - d/144?
False
Let o = -7558 - -8438. Is o a multiple of 110?
True
Suppose -6 = -59*d + 56*d. Let m be -4 - -94*((d - 0) + -1). Suppose -60 - 5 = -2*b + x, -2*b = 4*x - m. Does 8 divide b?
False
Let j = 6564 - 6418. Is 5 a factor of j?
False
Is 33 a factor of 11/77*9527 + -8?
True
Let o = 9631 - 6983. Does 8 divide o?
True
Let a(t) = -t**3 - 14*t**2 + 4. Let w be a(-14). Let k(b) = -w*b + 9*b - 10*b**3 - 2*b - 7 + 2*b**2 + 3. Does 28 divide k(-3)?
False
Let x = 32789 - 23064. Is 25 a factor of x?
True
Let n(q) = q**2 - 4*q + 1 - 10 + 40 - 8*q - 14. Is n(-7) a multiple of 6?
True
Does 51 divide 16870/(10 - 8/1)?
False
Suppose -2 = -3*n - 5. Let t be -5*(96/15 + -2) - n. Let j = 29 + t. Does 2 divide j?
True
Is 2 a factor of (18 + -163)*(-32)/20?
True
Suppose 139*u - 405920 = -33*u. Is 43 a factor of u?
False
Suppose 14*y - 24*y + 20250 = 0. Suppose -8*c = -y - 175. Does 16 divide c?
False
Suppose 206540 = -11*i + 18*i + 39*i. Is i a multiple of 14?
False
Suppose -m - 9*m + 30021 - 7341 = 0. Is 27 a factor of m?
True
Suppose 33*z - 106 = 32*z. Let n = z - -74. Suppose -2*f + o + n = 0, -2*f - 5*o + 332 = 2*f. Is 20 a factor of f?
False
Suppose 5*r + d - 11478 = 0, 3*r - 6750 = 4*d + 123. Is r a multiple of 51?
True
Suppose -33*z - 51595 = -258439. Is 42 a factor of z?
False
Let k = 12987 + -4792. Is 11 a factor of k?
True
Suppose 0 = -184*b + 2471633 - 80459 - 327062. Is 142 a factor of b?
True
Let j(h) = 4*h**3 + 12*h**2 + 24*h + 7. Is 5 a factor of j(6)?
False
Suppose -108*s + 19556 + 6539 = -21209. Is s a multiple of 3?
True
Let t be 34/8 + 17/(-68). Let m be 220 - (-2 - (-4)/t*1). Suppose 2*g + 61 = m. Does 16 divide g?
True
Let a = 627 - -1833. Is a a multiple of 196?
False
Suppose -250605 = -9*k - 36*k. Is 31 a factor of k?
False
Let g = -54 - -57. Suppose 0 = g*h + 2*t - 369, -5*h - 2*t + 205 = -410. Let j = h - 119. Does 2 divide j?
True
Let r = -25835 + 35286. Is 5 a factor of r?
False
Suppose -s = -3*v + 24555, -7*s - 6039 = 5*v - 46938. Does 44 divide v?
True
Suppose -21829 + 12284 - 28363 = -12*d. Is 3 a factor of d?
True
Let t = 1382 - 709. Let u = t + -373. Does 11 divide u?
False
Does 12 divide (((-6525)/116)/25)/((-4454)/4448 - -1)?
True
Let a(v) = -v**3 + 2*v**3 + 27 + 61*v - 40*v + 9*v**2. Let m(j) = j**3 + 5*j**2 + 10*j + 14. Let n(i) = -3*a(i) + 5*m(i). Is n(5) a multiple of 18?
False
Let q = -43711 - -62539. Is 12 a factor of q?
True
Let o(l) = -4*l**2 + 2*l. Let v be o(-3). Let a be (2*2/8)/((-7)/v). Suppose -5*g - a*x + 833 = 0, g + 3*x - 170 = -x. Is 13 a factor of g?
False
Is (-130)/(-195) + 0 + (-10776)/(-9) even?
True
Let z(q) = -35*q - 5. Let y be z(-4). Let f = y + 182. Let m = f + -183. Is 10 a factor of m?
False
Is 12 a factor of (-1966)/((-14308)/2352 - (-6 - 0))?
True
Suppose -y - 9 = -2*q, 5*q + 3*y - y - 36 = 0. Is (-18 - -24)/(q/502) a multiple of 44?
False
Let l = 13 + -10. Suppose s - l*s + 108 = -2*n, n - 4*s + 63 = 0. Let z = n + 56. Is z a multiple of 3?
False
Let b(y) = 350*y**3 + 9*y**2 + 5*y + 12. Let v(l) = -2*l**2 - l - 2. Let d(x) = -b(x) - 6*v(x). Does 16 divide d(-1)?
True
Suppose -40787 - 30817 = -26*l. Is 18 a factor of l?
True
Let g(c) = c**3 + 7*c**2 + 3*c + 2. Let q be g(-3). Let l be 12 + 938/(-77) + 202/22. Suppose -q = -l*h + 160. Is 18 a factor of h?
False
Suppose 145 = -2*i - 5*c + 4, -5*c + 149 = -3*i. Let z = 445 - 498. Let m = z - i. Does 5 divide m?
True
Suppose c + 4*s = 1462, 47*s - 51*s - 12 = 0. Does 11 divide c?
True
Let q = -11959 - -13194. Is q a multiple of 10?
False
Let s be 152/12 - 10/(-30). Suppose -s*t + 5612 = -6452. Is 9 a factor of t?
False
Let k = 45718 - 31060. Is k a multiple of 20?
False
Let n = -4130 - -4844. Does 14 divide n?
True
Suppose i = 5*i, 6 = 2*y - i. Suppose 0 = -y*s - 0*s + 78. Let a = 65 + s. Is 14 a factor of a?
False
Let t(d) = d**3 + d**2 - 5*d - 4. Let m be t(-2). Suppose -m*f = -8 + 2, -3*y = 3*f - 9. Suppose y = 5*z + z - 690. Is z a mul