f a?
False
Let w = -23 + 16. Let q = w - -9. Is 13 a factor of (-4)/(-5)*5/q - -11?
True
Let t(n) = 33*n - 18. Suppose -3*c + 19 - 7 = 0. Suppose 4*v - 4*q = -c, 3 - 30 = -5*v - 3*q. Is 9 a factor of t(v)?
True
Suppose -2*s + 7*s - 58 = -2*o, -2*o = -8. Let k = s + -7. Suppose b + 2*a - 26 = -k*a, b = -a + 22. Is b a multiple of 21?
True
Let p be (2 + -764)/((-24)/36). Suppose 1665 = 12*m - p. Does 20 divide m?
False
Let l be 93 + -114 - (-30)/2. Let x(b) be the second derivative of b**4/4 + b**3 - 17*b**2/2 - b. Does 8 divide x(l)?
False
Suppose 6*a - 4*w - 79171 = a, 0 = -5*a - 3*w + 79108. Is 19 a factor of a?
True
Suppose -166*v + 162*v = -2756. Does 13 divide v?
True
Is -44 + 19 + 48722 + -17 a multiple of 20?
True
Let h be -1 - (2 - 0) - (21 - -84). Let x = 4 - h. Is 7 a factor of x?
True
Is 63 a factor of 153614/22 - (-492)/902?
False
Let c(y) = 5*y**2 + 3*y - 2. Let q be c(1). Let f be 7/14 - 1/2. Suppose q*w - 89 - 247 = f. Does 37 divide w?
False
Suppose -137*t = -168486 - 83046. Is t a multiple of 36?
True
Let g(m) = m + 43. Suppose -459 + 470 = -11*r. Is g(r) a multiple of 7?
True
Suppose 17720 = 3*k - 4*z, -132*k + 137*k + z - 29587 = 0. Is k a multiple of 87?
True
Does 36 divide 707*((-660)/(-112) + -1 + (-19)/(-76))?
True
Suppose 0 = 3*z - i + 2299, 4*z + 3849 - 781 = 4*i. Let a = z + 1418. Is a a multiple of 10?
False
Let m(b) = -34*b - 285. Let p(k) = 33*k + 285. Let h(d) = 6*m(d) + 7*p(d). Does 21 divide h(33)?
True
Suppose 176 = 3*o - 55. Let f = 339 + -206. Let k = f - o. Is k a multiple of 14?
True
Suppose -4*g + 66 = o - 50, -464 = -4*o + 4*g. Let s = 327 + o. Does 13 divide s?
False
Suppose -7*x + 8 = -3*x, -5*v = -4*x - 4792. Let r be ((-3)/(-4))/((-15)/v). Let z = 122 + r. Does 18 divide z?
False
Let q(d) = 49*d**2 - 26*d + 232. Is 9 a factor of q(-17)?
False
Is 12 a factor of (-4 - 2869)/((-175)/28 - -6)?
False
Does 18 divide 9986/6 - ((-870)/18)/29?
False
Let d(t) = t**2 + 10*t + 1519. Suppose 2*w + c = -3*c + 8, 4*c - 8 = -3*w. Does 55 divide d(w)?
False
Let b = -424 - -314. Let n = 538 + b. Is 51 a factor of n?
False
Let n be (-42)/(-10) - (-2)/(-10). Suppose -n*q - 106 = 670. Is (-2)/(-5)*((2 - q) + -1) a multiple of 17?
False
Let k(m) = 4*m + 22. Let l be k(15). Suppose -78*i - 140 = -l*i. Suppose 2*j = -3*j + i. Is j a multiple of 7?
True
Let r be (4 - (-219)/(-6))*4/(-5). Suppose 27*q - r*q = -196. Let c = q + 329. Is c a multiple of 24?
False
Let y = 548 + -225. Let l(b) = -335*b - 10 + 46 + y*b. Is l(-4) a multiple of 15?
False
Let f(d) = 37*d**2 + 5*d - 7. Suppose -3 = -10*g + 11*g. Is f(g) a multiple of 34?
False
Suppose -553*d = -543*d - 22120. Is 14 a factor of d?
True
Suppose 3*v - 5*w + 394 = 26137, -17166 = -2*v + 2*w. Is 81 a factor of v?
True
Suppose 15*x - 23*x + 224 = 0. Suppose -2*h + x = -566. Is h a multiple of 27?
True
Let b = 145 + -152. Let o(u) = -7 + 3*u**2 + 6 + 0 - 14*u - 4. Is 24 a factor of o(b)?
True
Suppose 0*v - v + 197 = 0. Suppose -102*t - 587 + 187 = 2048. Let g = v + t. Does 8 divide g?
False
Suppose -185*g - 14 = -186*g. Is 51 a factor of 12/5*(-14 + 1981/g)?
True
Let l be ((4 + -4)/1)/2. Let m(d) = -d**3 - 3*d**2 + d + 74. Let s be m(l). Let r = s + -56. Is r even?
True
Suppose -4*r = 3*i + 469, -4*i + 2*r + r = 592. Suppose 3*z - 518 = -2*j, -6*j - 3*z = -2*j - 1048. Let x = j + i. Does 13 divide x?
False
Does 46 divide 2056 - (-8 - -9)*(-56)/(-8)?
False
Let f(r) = 5*r + 19. Let t be (1/1 - 4)/((-39)/(-52)). Let y be ((-14)/21)/(t/30). Does 23 divide f(y)?
False
Let v(h) = -h + 0*h - 3 + 13 + 2. Let m be v(5). Does 6 divide (-31)/m + 4 + (-258)/(-14)?
True
Let f(q) be the second derivative of q**5/20 - q**4/2 - 4*q**3/3 - 3*q**2 + 1160*q. Let k(w) = w**3 + w - 2. Let l be k(2). Is 39 a factor of f(l)?
False
Suppose -10*s - 216 = -4*s. Does 22 divide 4761/12 - (s/16)/(-3)?
True
Suppose 5*o - o = -n + 4, -5*n + 2*o - 46 = 0. Let v be (-1 - n/12)*-9. Suppose 0 = 3*m - 0*y - v*y - 36, y = -2*m + 21. Is m a multiple of 11?
True
Suppose -1285775 = -40*h - 74*h + 1996969. Is 23 a factor of h?
True
Let m = 29709 + -23165. Is m a multiple of 3?
False
Suppose -5*d = 55 - 110. Suppose -d*r + 9*r = -734. Is r a multiple of 46?
False
Let y = -33 - -57. Let j = -8724 + 8739. Let v = y - j. Does 3 divide v?
True
Suppose 27*h - 30*h + 33 = 0. Suppose h - 133 = -i - 2*a, 15 = -5*a. Does 11 divide i?
False
Suppose 99*k - 152373 = 101067. Does 73 divide k?
False
Let m = 2408 + 18116. Is m a multiple of 14?
True
Let c = 2119 - -121. Is c a multiple of 20?
True
Suppose -12990 = -2*u - 5*c, 2*c = u - 289 - 6179. Is 120 a factor of u?
True
Let o(w) = 16*w. Suppose 2*a = 10, 0 = -4*t - 2*a - a + 31. Suppose 3*v = t*f - 8, 0*v = 5*v. Is 16 a factor of o(f)?
True
Suppose 3*s - 4 - 2 = 0. Suppose 5*f = s*j - 1065, -f - 689 = -2*j + 372. Does 7 divide j?
False
Is 13 a factor of 75/(-15) + (9 - -3980)?
False
Suppose -191100 = 10946*p - 10971*p. Is 38 a factor of p?
False
Let w be 166/18 + (-13)/((-702)/(-12)). Suppose w*y - 8 = 100. Is 12 a factor of y?
True
Suppose -31743*y - 47982 - 366146 = -31756*y. Is y a multiple of 181?
True
Let u(m) = 83*m - 39. Let f be u(-9). Let i = f + 1206. Does 30 divide i?
True
Suppose 74 = -45*t + 119. Let k(m) be the third derivative of 13*m**5/20 + m**4/12 - m**3/6 + m**2. Is 8 a factor of k(t)?
True
Suppose 0 = -57*o + 53*o. Suppose -7*f + 25*f - 21582 = o. Does 29 divide f?
False
Suppose 0 = l - 10*l + 14364. Let u = l - 1136. Is 46 a factor of u?
True
Let q(t) = 2*t + 1104. Let u be q(0). Suppose -53*r = -45*r - u. Is r a multiple of 46?
True
Suppose -l + 4*y = y - 26, 3*l + 4*y = 117. Suppose t = l - 28. Does 5 divide ((-14)/(-3) - 4)*-3 + t?
True
Let o = 129 - 123. Suppose 21 = o*f - 9. Suppose 3*u - d = d + 51, 2*u + f*d - 15 = 0. Is 14 a factor of u?
False
Let r = 1060 - 513. Let p = 14475 - 14752. Let t = p + r. Is 27 a factor of t?
True
Let g(y) = -6*y**2 - 4*y - 2. Let n be g(-4). Let u = -60 - n. Suppose j - 16 = u. Does 9 divide j?
False
Suppose -8*v - 4450 = -58*v. Is v a multiple of 14?
False
Suppose -b - 5*f = -22, -b + 3*f - 7*f = -19. Let q(a) = -a**3 + 7*a**2 - a - 5. Let x be q(b). Is 13 a factor of 9/x + 199/4?
False
Does 49 divide 392/2*(-2)/((10 - 5) + -6)?
True
Let j be (0/(1/(-1)))/(81/81). Suppose -k = -j*w + 5*w - 183, 12 = -4*w. Is k a multiple of 10?
False
Let s(q) be the third derivative of -19*q**5/120 - q**4/12 - 4*q**3/3 + q**2. Let v(t) be the first derivative of s(t). Is v(-2) a multiple of 18?
True
Let z(k) = -102*k - 31. Let q be z(8). Let i = 1299 + q. Is i a multiple of 29?
False
Suppose a - 18015 = -3*x, 2*x - 11993 = 107*a - 102*a. Is 27 a factor of x?
False
Let h(z) = 4*z**2 - 30. Let x(j) = -3*j**2 + 30. Let y(p) = 4*h(p) + 5*x(p). Is y(0) a multiple of 10?
True
Let x(k) = 21*k - 2. Suppose -3*r = w - 1, -3*r = w + 4*w + 7. Let m be x(w). Does 8 divide 1 - m - 3*-1?
True
Let n(o) = -433*o + 58. Let w be n(-9). Suppose 660 = 5*f - w. Is 20 a factor of f?
False
Let s = 110 + -110. Let u = s + 3. Suppose 4*c = -u*t + 167, c - 6*c - 3*t = -208. Is 3 a factor of c?
False
Suppose -2*v = 2*o - 3 - 5, -3*v + 5*o = -20. Suppose 0*w - 2*w + 3*r + 141 = 0, v*w + r = 378. Is w a multiple of 8?
False
Let m(f) = 6*f - 66. Let i be m(11). Suppose -12*p + 900 + 2244 = i. Is 6 a factor of p?
False
Suppose -q + 404 = 4*i, -i - 2*q = -29 - 65. Let r = 151 - i. Does 24 divide r?
False
Let m = 7030 - 765. Is 11 a factor of m?
False
Suppose -25*g - 2637 + 6762 = 0. Suppose -5*z = -10*z - 5*i + 885, z - 5*i - g = 0. Does 69 divide z?
False
Let y = -7724 - -13970. Suppose -y = -16*n + 4650. Is n a multiple of 40?
False
Suppose -3*w = 8 - 23, -4*r + 3*w = 19. Let k(v) = v**2 - 30*v + 2. Let z(m) = 1. Let i(h) = r*k(h) - 4*z(h). Is 7 a factor of i(11)?
True
Let k = 1 - 1. Let l = 9295 + -9290. Suppose 707 = 4*h - l*a, k = -h - h - a + 371. Does 19 divide h?
False
Let t(u) = 2*u**2 + 77*u - 983. Does 6 divide t(-63)?
False
Let b(r) = -r**2 + 6. Let d(l) = 2*l**2 - 2. Let n(q) = -b(q) + 4*d(q). Is n(-3) a multiple of 2?
False
Suppose -4590 = -2*m - 1602. Suppose m = 3*j - 342. Is j a multiple of 11?
False
Let y be ((-3 - -3)/3)/(-2). Suppose k = -y*k + 161. Suppose 3*c + k = 10*c. Is c even?
False
Let f be -10*(-1 + 2/4). Suppose -14 = -c - f. Suppose 