v - 6. Let o be h(2). Suppose -47*w - 12387 + 33678 = o. Is w a multiple of 5?
False
Suppose -2*j - 5*g = -7*j + 204475, 4*g = 3*j - 122688. Is j a multiple of 35?
False
Let l = -1232 - -1666. Is 3 a factor of l?
False
Suppose -71*l + 2534 + 63922 = 0. Is l a multiple of 36?
True
Let u(k) = 452*k**2 - 266*k - 2. Is 143 a factor of u(-3)?
False
Let d(z) = -3 + 34 - 1 - 2*z. Let t = -3636 - -3636. Does 3 divide d(t)?
True
Let d be (-1 - 3)/((-1)/((-3)/(-3))). Let z(b) = 8*b**2 - 3*b - 11. Let v be z(d). Let l = 87 + v. Is l a multiple of 48?
True
Let u = -12 + 73. Let d = u + -59. Suppose 0 = -5*l - d*c + 639, -10 = -3*l + 4*c + 363. Does 16 divide l?
False
Is 75 a factor of (1*-30)/(-6)*(-51020)/(-50)?
False
Let x = -2029 + 2036. Let d = -3 - -8. Suppose d*h - x*h + 144 = 0. Is h a multiple of 18?
True
Let i = -177 - -639. Let a be ((-1028)/12)/((-1)/(-3)). Let s = a + i. Is s a multiple of 41?
True
Suppose -59*p - 20*p + 143980 = 36*p. Is p a multiple of 4?
True
Let k be -2 + 1 - -445 - 4/2. Let g = 917 - k. Suppose -3*a + 332 = -5*f, -5*a = -5*f - g - 65. Is 36 a factor of a?
False
Let o(c) = c**3 - 4*c**2 + 15*c - 32. Let d(t) = 3*t**3 - 11*t**2 + 43*t - 95. Let b(z) = -3*d(z) + 8*o(z). Is 10 a factor of b(-9)?
True
Let h be 351/(-27) - (3 - 2)*-1. Suppose 0 = 4*f - 56 + 236. Is ((-80)/h)/((-141)/f + -3) a multiple of 10?
True
Let t(b) = -b**3 + 8*b**2 - b. Let l be t(8). Let x be (-3)/(28/l + 2) - -3. Suppose u = 5*v + 27 - 2, -x*v = 2*u - 125. Is u a multiple of 13?
False
Is 8 a factor of 1/(39/189410) - -2*10/15?
False
Suppose f + 1 = 3*i, 8*i + 47 = 3*f + 9*i. Suppose 0*d = f*d - 16800. Does 20 divide d?
True
Let y(q) = -2*q**3 + 12*q**2 - 2*q + 12. Let n be y(6). Suppose -17*x + 13*x - 4 = n. Does 6 divide 2/2 + (x - -6)?
True
Suppose -2*b - 85 = -1097. Suppose 70*f + b = 72*f. Is f a multiple of 20?
False
Suppose 81*h - 270 = 75*h. Suppose 11*w - 2817 = -h. Is w a multiple of 42?
True
Let s(f) = -f**3 + 2*f**2 - 2*f + 39. Let k be s(0). Let d = -124 + 73. Let c = k - d. Is 6 a factor of c?
True
Suppose -99483 = -18*z - 15726 + 50163. Does 40 divide z?
True
Let p = -908 + 936. Suppose 31*n - 5133 = -p*n. Is 4 a factor of n?
False
Let q(a) = -3*a - 54. Let h be q(-6). Let d = h + 392. Is d a multiple of 27?
False
Is 38522/9 - 252/1134 a multiple of 214?
True
Let g(o) = -4 - 10*o**3 + 12*o**3 - 4*o**2 + 1 - o**3 - 24*o. Let z be g(10). Suppose -z = -4*i + i + 4*a, 2*i = 2*a + 240. Is 41 a factor of i?
True
Let y(g) = -154*g**2 + g + 2. Let a be y(-1). Let v be (-2873)/a + (-4)/(-18). Suppose -19 = -5*w - 2*q, -q = 3*w + 4*q - v. Is w even?
False
Suppose 26*h - h = -0*h + 128200. Is h a multiple of 100?
False
Let w(f) = -f**3 + 54*f**2 - 71*f - 82. Is 100 a factor of w(51)?
True
Let a(d) = d**2 + 2*d - 3. Let y be a(1). Suppose 5*m - 4056 = -r, y = m + r - 6*r - 806. Suppose 55 = -9*z + m. Is z a multiple of 21?
True
Suppose 364*j = 365*j + 4*f - 4233, 0 = 5*j + 2*f - 21147. Is j a multiple of 30?
False
Let s be (8/14)/(5/35) - -4. Let q(o) = 9*o**2 - 18*o + 58. Does 70 divide q(s)?
True
Let u(i) = -77*i + 15. Let n(y) = -115*y + 22. Let z(b) = -5*n(b) + 7*u(b). Let a(x) = x**2 + 2*x + 2. Let v be a(-3). Does 37 divide z(v)?
False
Suppose 2*z = -2*t + 14, 2*t - z - 3 = 2. Suppose n + 4*h + 12 = -4, -h = -t*n - 13. Does 16 divide (-4 - 16)/n - -80?
False
Suppose 38*i - 24745 = -126*i + 21667. Is i a multiple of 5?
False
Let c = 34249 + -18707. Is 55 a factor of c?
False
Suppose -9*y = -13*y - 68. Let b be (y + -2)/((-12)/180). Let r = b + -28. Is 20 a factor of r?
False
Suppose 130336 = 24*i + 22696. Does 65 divide i?
True
Suppose 144 = 5*p + 5*n - 26, 5*n - 94 = -3*p. Is 3 a factor of (-44 - p)*(-1)/2?
False
Suppose -7305 = -4*k + 5*u - 452, -k + 1713 = -u. Is k a multiple of 14?
False
Suppose 200 = x - 5*j, 4*j - j - 15 = 0. Is x*(-5)/((-20)/16) a multiple of 10?
True
Suppose 0 = 3*d + 2*c - 1196, 4*c = 9*d - 10*d + 382. Is 9 a factor of d?
False
Let b(q) be the third derivative of -19*q**4/8 + 5*q**3/3 - 5*q**2. Is b(-5) a multiple of 15?
False
Let x(a) = -59*a - 4 + 26 - 9 - 7. Let q be x(-3). Suppose -234 = -3*i + q. Does 27 divide i?
False
Let f be -6 - (-130 - (-1 - -5)). Suppose 123*a - f*a + 3325 = 0. Does 35 divide a?
True
Suppose -2424 = -15100*d + 15096*d. Is d a multiple of 9?
False
Suppose -4088*j = -4097*j + 8208. Is j a multiple of 16?
True
Does 78 divide ((-378)/(-343)*7)/(1/182)?
True
Let f = -7 + 7. Suppose f = 8*v - 12*v - 152. Let j = v - -42. Is j a multiple of 4?
True
Suppose 3*o + p = 17, 30 = -3*o + 8*o + 2*p. Let w be (342/76)/(9/42). Is 17 a factor of (o - 7) + (w - 1)?
True
Let u(w) = 22*w + w**2 - 14*w**2 - 91*w**3 + 90*w**3. Let r(a) = 3*a + 12. Let q be r(-9). Does 30 divide u(q)?
True
Let m(z) = 2*z**3 + 40*z**2 - 20*z - 134. Does 165 divide m(-19)?
False
Let k(x) = -17*x + 22. Let f(t) = -3*t + 17. Let i be f(8). Let q be k(i). Suppose -8*d + q = -5*d. Does 13 divide d?
False
Let k = -239 - -243. Suppose k*z = 4*b - 1332, 0*z = 3*b - 2*z - 1002. Is 42 a factor of b?
True
Suppose 3*u + p = 4*p + 522, -2*u + p + 352 = 0. Let f = 3192 + -3051. Let k = u - f. Does 5 divide k?
False
Is ((-4)/(-2))/((-20188)/(-5040) + -4) a multiple of 18?
True
Is ((-50)/(-3))/10 - 2505/(-9) a multiple of 5?
True
Let w(h) = h**3 + 4*h**2 + 4*h - 7. Let q be w(-3). Let x be (-8)/(-1) - q/5. Suppose -x*i = -219 - 371. Is i a multiple of 18?
False
Let k = -29 - -30. Suppose 4*h = -2*m + 20, 0 = -4*m + h - 4 - k. Is 13 a factor of (m + 5)*(-156)/(-15)?
True
Suppose 0*l - 2*l + 5*q = -3597, 3*l = -2*q + 5348. Suppose 2*s + 2*h = -0*s + l, 2*h = -s + 898. Is s a multiple of 49?
False
Let d be ((-414)/(-12))/((-6)/(-36)). Let r = d + 25. Is r a multiple of 8?
True
Suppose 335459 - 37659 = 40*a. Does 4 divide a?
False
Let v be (-1)/((-2)/2)*11. Suppose -5*q + 6*q = v. Is 3 a factor of ((-24)/q - (-14)/77) + 6?
False
Suppose 103*t - 263283 = 10*t. Is t a multiple of 78?
False
Does 77 divide 48516/15 + (-9)/90*4?
True
Let c be (576/(-15))/(1 - 13/10). Suppose 3*d + 3*k - c = -785, -4*k + 852 = -4*d. Let u = -83 - d. Does 19 divide u?
True
Let v(w) = 14*w**3 + 12*w**2 - 37*w + 324. Is 67 a factor of v(13)?
True
Let s = -46108 - -58224. Does 42 divide s?
False
Let y = -133 - -138. Suppose -2*z + 240 = 3*p - 165, y*p - 395 = -2*z. Is z a multiple of 6?
True
Let x = 309 - 306. Suppose i + 553 = 2*c, x*c - 825 = -i + 4*i. Is c a multiple of 38?
False
Let o = -14515 - -25555. Is o a multiple of 80?
True
Let x = -58 + 62. Let s(k) = -7*k + 24. Let j be s(x). Is (j/(-6))/(8/4188) a multiple of 16?
False
Let w = 1739 + -2927. Let j = -683 - w. Is j a multiple of 29?
False
Let u = -356 - -746. Let d = u - 148. Suppose -d = -47*c + 45*c. Is c a multiple of 10?
False
Let z be (-20)/(-20)*(-1 + 6) - -32. Suppose -d - z = -677. Is d a multiple of 29?
False
Suppose -4*i + 2*n + n + 11 = 0, -i + 3*n = -14. Is (-1)/(1/2) - (i + -51) a multiple of 10?
True
Let c(o) = -6*o - 13. Let t be c(-14). Let u = t - 71. Suppose u = -5*n + 273 + 242. Does 16 divide n?
False
Let h = 30576 + -15789. Is h a multiple of 145?
False
Let q(j) = 16256*j**3 - 27*j + 25. Is 63 a factor of q(1)?
True
Let d(g) = -g**3 - 7*g**2 + 2*g - 10. Let f be -4 - -8 - (-24)/(-2). Let t be d(f). Suppose -o + 0*o - y + t = 0, -4*o = -5*y - 125. Is 32 a factor of o?
False
Let b = -57 + 92. Let x = -29 + b. Suppose w + x - 136 = 0. Does 13 divide w?
True
Suppose -489 = 52*f - 215*f. Let s(k) = 6 - 6*k + 19*k**2 + 2*k - 3. Does 18 divide s(f)?
True
Suppose 5*a = -5*r + 20430, -521*a = -520*a - 3*r - 4062. Is 120 a factor of a?
True
Let y be 1210/132 - 1/6. Is 44 a factor of 16*(2067/54 + 2/y)?
True
Let w = 16 - 10. Suppose -3*g + 714 = -906. Suppose -w*x + 30 = -g. Does 19 divide x?
True
Suppose -3*f + 4*s + 77 = 0, 3*f + 4*s = 2*f + 15. Suppose -5*b + 4*c + 5110 = 0, 0 = 3*c + 8 - f. Is 18 a factor of b?
True
Let x(j) = j - 12. Let g be x(18). Let h(q) = -q**3 + 5*q**2 + 8*q - 7. Let u be h(g). Suppose 0 = u*z + 3*z - 144. Is z a multiple of 8?
False
Let v(z) = 18*z**2 + 39*z - 198. Does 58 divide v(10)?
False
Let x = 2074 - 2178. Let a = 118 - -34. Let z = a + x. Is z a multiple of 6?
True
Let t(h) be the second derivative of h**4/12 + h**3/2 - 15*h**2/2 + 62*h. Is 2 a factor of t(5)?
Fals