2)/9 + (-425)/153. Let k be (4/t)/(40/(-90)) + 14. Suppose -4*a = -4*f + 128, 0*f + 4*a = f - k. Is 7 a factor of f?
False
Is 93 a factor of 2/(-3)*585570/(-20)*(-1)/(-1)?
False
Suppose 2*j - 12 = -5*v - 0, -2*v = 5*j + 12. Let u(r) = 110*r + 110. Is 14 a factor of u(v)?
False
Suppose -84*p - 44462 + 387182 = 0. Is p a multiple of 60?
True
Let n = 306 + -800. Is (-15)/(n/(-100) - 5) a multiple of 10?
True
Suppose -r - 19529 = -4*p, 3*p + 2*p = -4*r + 24448. Is 6 a factor of p?
True
Suppose -3*h = -3*u - 153, -3*h + 10*u = 6*u - 151. Let y = h + 107. Suppose -44*w = -48*w + y. Is 15 a factor of w?
False
Let c = 35043 - 24825. Does 39 divide c?
True
Suppose -5*c - 1 - 9 = -4*j, 0 = 4*j - 2*c - 4. Suppose 15*w - 19*w + 836 = j. Let r = -132 + w. Is r a multiple of 11?
True
Does 8 divide (-19)/(-247) + 107013/39?
True
Is 18 a factor of 24*((-1)/(-2))/(12/3728)?
False
Suppose 4*u + 4 + 8 = 0, -5*j + 3*u = 1. Does 4 divide (-5)/(-5)*j + 6?
True
Suppose -4*f = f + j - 21, 5 = 5*j. Suppose 7*b = 2*b + 2*p + 4, f*b - 10 = 5*p. Suppose 2*h + 22 - 170 = b. Is h a multiple of 15?
False
Suppose -11 - 25 = -9*o. Suppose -2*k = 4*f - 0*k - 170, 56 = f - o*k. Suppose m + f = 178. Does 12 divide m?
False
Suppose 5*g = -3*w + 60, -2*w - 2*w = 3*g - 25. Let f(i) = -2*i - 1. Let n(b) = 20*b + 3. Let s(t) = 18*f(t) + 2*n(t). Is s(g) a multiple of 12?
True
Suppose 0 = y + 5*z - 2*z - 165, -4*y + 5*z + 592 = 0. Suppose 3*g = -5*x + y + 51, 0 = -g - 2*x + 68. Does 3 divide g?
False
Let q = 686 - 413. Is q a multiple of 21?
True
Let b(n) = 142*n**2 - 12*n - 46. Is b(-6) a multiple of 17?
False
Let z be (-1 - 4*-1) + -4 + 6. Let p be 1*((0 - 2) + (-5)/z). Does 4 divide 46 + 1 + (1 - (p - -7))?
True
Let c be (-2)/7 + 2/7. Suppose c*o = o. Suppose -5*k - i + 341 = o, 0 = -4*k + i + 3*i + 268. Is 8 a factor of k?
False
Suppose -3*s + 4*s + 5*r - 22 = 0, 0 = -2*s + r. Suppose j - 4*k = s*j - 438, -5*j - k + 2171 = 0. Is 45 a factor of j?
False
Let l(w) = 4*w + 27. Let g be l(-6). Let r be g/(-30) + 282/20. Let x = r - -186. Is x a multiple of 8?
True
Suppose 9*h - 2*h - 24118 = 47128. Does 58 divide h?
False
Let v(n) = 67*n**2 + 728 + 2*n - 365 - 362. Is v(-1) even?
True
Let q(c) = -5*c + 17. Let y(t) = -11*t + 33. Let s(h) = -5*q(h) + 2*y(h). Let m be s(12). Suppose 312 = -14*k + m*k. Is 26 a factor of k?
True
Suppose 8 = 5*v - 2. Let d be 2 - (7 + -18 - 5). Suppose v*t - 40 = d. Does 2 divide t?
False
Let z = 567 + 1103. Does 5 divide z?
True
Let l be (52/(-65))/(2/5). Is (9 + (-82)/10)/(l/(-20)) a multiple of 5?
False
Let c(l) = 39*l - 96. Let k be c(24). Suppose -k - 34 = -19*w. Is 23 a factor of w?
True
Suppose -4*b + 2439 = -3*r - 10744, -16391 = -5*b - 6*r. Is b a multiple of 11?
True
Let k(i) = 2*i**3 - 7*i**2 - i - 7. Let q be k(4). Is 8 a factor of q/(-15) + (-4130)/(-15)?
False
Let g be 5/(-2)*(-4)/2. Suppose 2*o + 8 - 49 = 3*x, -5*x + g*o = 70. Is (-2)/x - 28245/(-195) a multiple of 29?
True
Let m(o) be the first derivative of -2*o - 12. Let f(r) = 4*r + 54. Let u(y) = f(y) + 4*m(y). Is u(-9) a multiple of 5?
True
Suppose -35 = -j - 5*a, -4*a - a = -3*j + 205. Let q be (20/40)/(1/j). Does 16 divide (-203)/(-2) - 9*5/q?
False
Suppose 487*k = 1627391 + 3635131. Is 6 a factor of k?
True
Let f be 5 - (-4 - -4 - 0). Suppose f*u - 1341 = -3*r, 0 = -u + 3*u + r - 537. Does 12 divide u?
False
Let v(f) = 18*f**2 + 7*f + 1049. Does 110 divide v(-41)?
True
Let z = 36 - -21. Suppose -98 - z = 5*h. Let j = h - -46. Is j a multiple of 7?
False
Let q(i) be the second derivative of -i**5/120 + 25*i**4/24 - 23*i**3/6 + 23*i. Let y(a) be the second derivative of q(a). Does 6 divide y(-11)?
True
Let p(c) = -48*c + 6960. Is p(13) a multiple of 18?
True
Suppose l + 72 - 5 = 0. Suppose 32*i = 34*i - 282. Let k = i - l. Does 18 divide k?
False
Does 130 divide 45388/16 + 6 - (14/8)/(-7)?
False
Does 17 divide -5 - ((-12)/21 - 4/56*312682)?
False
Suppose -2 = h - 12. Suppose -h*r = r + 154. Is (-2 - r/6)*228 a multiple of 12?
False
Suppose -22*c - 20 = -17*c. Does 47 divide (188/3)/(c/3 - -2)?
True
Let d = 138 - 92. Let i be d/3*(-495)/(-22). Suppose 0 = -33*o + 28*o + i. Is 3 a factor of o?
True
Let s(y) = 4*y - 35. Suppose -6*r = -109 - 17. Is s(r) a multiple of 3?
False
Let y(r) = -5474*r**2 + 3 + r**3 + 5482*r**2 - 6 + 8*r. Is y(-5) a multiple of 6?
False
Suppose 32*j = 29*j + 3. Is 15 a factor of (1 - -29)*j*(27 - 11)?
True
Suppose -3*k - 6*i = -3*i - 3, -4*k + 5 = 5*i. Suppose k*h - 2*h = n - 293, 732 = 5*h + 2*n. Does 10 divide h?
False
Let f(b) = -4*b + 11. Let v be f(2). Suppose 0 = o - v*o + 8. Let m(n) = -n**2 + 6*n + 11. Does 19 divide m(o)?
True
Suppose 629 + 196 = -5*p. Let k = 389 + p. Is 27 a factor of k/2 + -4 + 0?
True
Suppose -11*f = -15*f. Does 36 divide (-2052)/(-7 + 4) - f?
True
Let v = 640 + -320. Let i = -43 + v. Is i a multiple of 17?
False
Let j(i) = 5*i + 12*i - 8 - 16. Is 45 a factor of j(12)?
True
Suppose -120749 = -19*a + 157753. Is a a multiple of 14?
True
Suppose -5*w + 0*w + 15 = -j, -4*j - 77 = -3*w. Let d be j/(-8)*(36/(-10))/(-1). Suppose 5*o - d*o + 124 = 0. Does 14 divide o?
False
Let l be -4*15/(-12)*1. Suppose 65 = -5*r - l*k, -2*k = -4*r - 8 - 20. Let b(s) = -s**3 - 6*s**2 + 9*s - 13. Is 41 a factor of b(r)?
False
Does 10 divide (-2)/4*(13 - 16811) - 4?
False
Suppose a + h = 1880, -2*h + 3784 = 5*a - 5616. Suppose -5*k + a = -3*v, 3*k - v = 542 + 590. Is 9 a factor of k?
False
Suppose 12*h + 0*y + 4*y - 91108 = 0, h + 4*y = 7563. Is 35 a factor of h?
True
Suppose -20013 = -49*g + 21980. Is g a multiple of 58?
False
Suppose 91*v = 96*v + 5. Let o(u) = 90*u**2 - 2*u. Let z be o(v). Let q = -26 + z. Does 10 divide q?
False
Let w be (-1406)/(-333) - 2/9. Suppose w = d, 5*u - 2*d - 158 = -56. Is u a multiple of 22?
True
Suppose -5*x = -11*x - 666. Let b = x + 232. Is b a multiple of 11?
True
Suppose -980 = -q + 4*m, 2*q = 4*m + 711 + 1241. Let d = q + -351. Does 33 divide d?
False
Let h(l) = -l**2 + 23*l + 29. Let d be h(24). Suppose 5*u + 4*i + 28 = 2815, -3*i = d*u - 2784. Is u a multiple of 15?
True
Suppose 4*v - 21 = 3*v. Suppose 0*l + 4 = 2*l + 2*o, 0 = -3*l + 2*o + v. Suppose 80 = l*f - 250. Does 33 divide f?
True
Let h(q) = q**3 - 4*q**2 + 5*q - 2. Let c be h(3). Let p(b) be the first derivative of b**2/2 + 2*b - 89. Is 6 a factor of p(c)?
True
Suppose -18*d - 2*m + 82615 = 1413, -2*m = 14. Is 3 a factor of d?
True
Let n = -208 - -211. Suppose 144 = n*b - d, b + 96 = 3*b + 5*d. Does 48 divide b?
True
Is 13 a factor of 2/(-4)*-8 - (-1133 + -59)?
True
Does 9 divide (-2)/18 + (-1159960)/(-360)?
True
Let z(j) = -j**2 + 7*j + 96. Let l be z(15). Is (-1)/3 + 4/l*-1922 a multiple of 8?
True
Suppose 11*p - 100477 = -13800 + 586. Is p a multiple of 3?
False
Suppose -567 = -2*f - 2283. Does 39 divide (f/(-6)*6)/(-4 - -6)?
True
Let w = 2833 - 2505. Is w a multiple of 82?
True
Let h be 14*135/144 + 2/(-16). Suppose -h*t - n + 2408 = -8*t, t + 2*n - 487 = 0. Is 37 a factor of t?
True
Let x(n) = n**2 + 21*n - 46. Let g be x(-23). Suppose -4*t + 2*t + 216 = g. Does 18 divide t?
True
Let j(f) be the first derivative of -f**3/3 - 21*f**2/2 + 5*f + 7. Let x be j(-21). Suppose x*k - 168 = -2*k. Does 8 divide k?
True
Suppose 5*j = -0*a + 3*a + 1392, -3*j = 5*a - 842. Let d = j + -189. Is d a multiple of 45?
True
Let m = 32226 + -19916. Is m a multiple of 31?
False
Suppose -80 - 51 = -6*w + 289. Does 70 divide w?
True
Let o(s) = 2*s - 242. Let z be o(5). Let k = 288 - z. Does 11 divide k?
False
Suppose -y + 15 = -1. Let c be (y/(0 + -4))/(-1 + 2). Is 46/(7*c/(-70)) a multiple of 14?
False
Suppose -3*p = y - 3 - 5, 5*y + p = 54. Suppose 22 = 11*g - y. Suppose g*t - c = 559, -2*t + 0*t + 5*c + 390 = 0. Is t a multiple of 13?
False
Suppose -5*h - 3*t = -20162, 164*t + 4022 = h + 162*t. Is 35 a factor of h?
False
Let k = -89 - -163. Let q be ((-63)/(-36))/(2/96). Let z = q + k. Is 21 a factor of z?
False
Suppose -2*s = 10, 0 = 7*a - 10*a - 5*s + 11. Let k(x) = 3*x**2 - 15*x - 34. Is k(a) a multiple of 3?
False
Let w = -106 - -112. Is 10 a factor of ((-826)/21)/((-4)/w)?
False
Let u(v) = 71*v**2 - 2*v + 55. Is u(11) a multiple of 106?
False
Suppose 4*f - 25840 = 3*f + c, -f = -4*c - 25834. Is 146 a factor of f?
True
Let z(v) = v**2 - 47*v - 416. Is 29 a factor of z