 multiple of 51?
False
Is (1685/(-674))/((-5)/2802) a multiple of 9?
False
Let w = 2604 + -1340. Suppose 5*g = 5*l + w + 896, 3*g - 1290 = l. Is 24 a factor of g?
False
Let l = 24 + -4. Suppose l = -4*y + 5*m, y = -0*m - m + 4. Suppose -z = -4*c + 337, 3*c = -y*c + 2*z + 254. Does 28 divide c?
True
Let c = -167 + 163. Does 34 divide (-747)/c - (-51)/(-68) - -3?
False
Let v = -1531 - -6172. Suppose -29*y = -22*y - v. Does 13 divide y?
True
Let h = -30638 + 101543. Is h a multiple of 20?
False
Let f = -759 - -2785. Is f/4 + (-51)/(-102) a multiple of 63?
False
Suppose 200*h + 160650 = 214*h. Is h a multiple of 153?
True
Suppose -2308 = 3*f + 4*m, -6*f - 4630 = -3*m + 4*m. Is -1 - f - (-66 - -62) a multiple of 39?
False
Let l = 24603 - 21243. Does 54 divide l?
False
Suppose 2*i - 5*i = -5*n - 40, 50 = 5*i - 5*n. Suppose 3*q + 175 = -0*z + z, 0 = 3*z + i*q - 595. Is 19 a factor of z?
True
Let b = -470 - -180. Is 21 a factor of 7 - (4 + -11 + b)?
False
Let l(y) = 2*y**2 + 30*y - 38. Let v be l(-16). Is 27 a factor of 9/v + 2 - 622/(-4)?
False
Let h(v) = 8*v**3 + 2*v**2 - 34*v + 202. Does 46 divide h(7)?
True
Let u = 7443 + -3262. Is 113 a factor of u?
True
Let j be ((-2)/1 + 3)*(1 + 3). Suppose -46 = -4*m - k, 32 + 20 = 4*m + j*k. Suppose -m*d = -6*d - 420. Does 7 divide d?
True
Let v(n) = -4*n**2 - 2*n + 1517. Does 32 divide v(0)?
False
Let x be (1/2 + -1)/((-7)/(-518)). Is (0 + x)/((-13)/169) + -1 a multiple of 16?
True
Suppose -3*s + 4501 = 2*a - 1290, 3*s = 2*a - 5785. Does 15 divide a?
False
Suppose -7438 + 66473 = 24*u - 49685. Is u a multiple of 6?
True
Let v = -20241 + 26079. Is v a multiple of 139?
True
Suppose -1217 + 395 = -6*y. Let r = 265 - y. Let d = r + -58. Is 10 a factor of d?
True
Let r(u) = -397*u**3 - u - 2. Does 144 divide r(-2)?
False
Let n = -2591 + 19159. Is 26 a factor of n?
False
Suppose 5*z - 2748 + 794 = x, 0 = 4*z - 5*x - 1559. Let n = z + -104. Is n a multiple of 41?
True
Let w be ((-160)/24)/(1/(-21)). Let z(x) = -2*x**2 - 10*x. Let q be z(-3). Suppose q*l = 14*l - w. Is l a multiple of 10?
True
Is 8 a factor of (-2)/6*(492/902 + 2043180/(-33))?
False
Let x(j) = -3*j**2 + 29*j - 5. Let g be x(9). Let i be 60/12 + (5 - 1). Suppose -i*m + g*m = 56. Is m a multiple of 9?
False
Let b be -10*(5/(30/(-24)))/10. Suppose b*d = 5*q + 912, -d + 212 + 16 = -q. Is d a multiple of 4?
True
Let r(p) = -7*p + 72. Let q be r(10). Suppose 3*w - w = -208. Is (11 - 12)/(q/w) a multiple of 10?
False
Let n be 374/((-5 - -2)/6). Is n/(-6) + -1*(-4)/12 a multiple of 5?
True
Let g(a) be the first derivative of 7*a + 21/2*a**2 - 6*a**3 + 1/4*a**4 + 1. Is g(17) a multiple of 14?
False
Let r = -930 - -990. Let p(w) = w + 2. Let k be p(0). Suppose -r = -u - k*u - x, 60 = 3*u + 5*x. Does 20 divide u?
True
Let l be (-1)/(((-51)/(-420))/(-17)). Suppose l = 15*m - 175. Is m a multiple of 21?
True
Let c(a) = 34*a**3 - 2*a**2 - 2*a. Let i be c(2). Let d = 675 - i. Is d a multiple of 64?
False
Let z be (-5984)/(-119) + (-5)/((-175)/(-10)). Let l(u) = 15*u + 1. Let n be l(6). Suppose -n = -3*p + z. Does 4 divide p?
False
Let j(l) = -3*l**2 + 17*l + 54. Let b be j(9). Let r(f) = 9*f**2 - 3*f - 5. Let q be r(-4). Let y = b + q. Does 23 divide y?
True
Let r be -8026*((-22)/(-4))/(-11). Suppose -r + 359 = -29*d. Does 42 divide d?
True
Let z be (-18)/(-27) - 10/(-3). Suppose i - 1185 = -z*i. Suppose -4*q - 5*s + i = 0, -2*q - 4*s = -3*s - 117. Is 10 a factor of q?
False
Suppose -5*z + 50 = -20. Does 5 divide (-4)/z - 1*(-6105)/77?
False
Let c(j) = 2*j**3 + 8*j**2 - 17*j + 7. Let q be c(-6). Does 2 divide (-4)/12*7/(q/345)?
False
Suppose 0 = 68*r - 59*r - 8478. Suppose 11*l - r = -183. Does 3 divide l?
True
Let n(q) = -11*q**2 + 5*q + 278. Let h(b) = 134 + 51 - 33*b**2 + 3*b + 26*b**2. Let p(d) = 8*h(d) - 5*n(d). Is p(0) a multiple of 15?
True
Let c = -24 - -27. Suppose 5*k - 55 = -5*f, -c*k + 28 = -5*f - 13. Is k a multiple of 9?
False
Let r(f) = -f + 1. Let m be r(-4). Suppose 0*p = m*p, 750 = 2*q - 2*p. Is 15 a factor of q?
True
Suppose 9*x = 19*x - 350. Suppose -x*g = -39*g + 2232. Suppose 42 = 3*k - g. Is 25 a factor of k?
True
Let p(f) = f**2 + 11*f - 22. Let k be p(-13). Let h be ((-9)/18)/(k/(-88)). Suppose 3*y - 194 = 4*w, -247 = -4*y + 14*w - h*w. Does 29 divide y?
True
Let w be (-924)/(-110)*145/1. Let l = w - 834. Does 8 divide l?
True
Suppose -306 = -14*o + 282. Let n be (2/(-6))/((-14)/o). Is (3*n - 0) + (102 - 17) a multiple of 22?
True
Suppose -2*r + z + 4 = -2, -5*r + 13 = -3*z. Suppose -6*i + r*i = -718. Is 4/20 - i/(-10) a multiple of 18?
True
Let n = 1213 + -835. Is 12 a factor of (n/(-90))/((-3)/240)?
True
Suppose u - 4*j = -22, 3*u + 10*j - 11*j + 11 = 0. Let r(m) = 156*m**2. Does 26 divide r(u)?
True
Let f = 107 - 109. Suppose -2*o + 30 = -o - 3*y, 0 = -o - 3*y. Let b = f + o. Does 2 divide b?
False
Suppose 8*n + 7 = 9*n. Let h(a) = 11 + 7*a + n*a - 11*a. Does 6 divide h(7)?
False
Let b = 19257 - 10145. Does 68 divide b?
True
Let t be ((-1260)/(-225))/(1/((-995)/(-2))). Suppose 21*p - 1414 = t. Is p a multiple of 8?
True
Let r(f) = -13*f - 357. Let h be r(-25). Let d(l) = l**2 + 2*l - 318. Is d(h) a multiple of 6?
True
Let u(m) = -m**2. Let g(k) = -3*k**2 - 11*k + 19. Let x(f) = -g(f) + 4*u(f). Let o be x(8). Suppose -17 = -3*a - 5*j, -4*a - 3*j = -o - 14. Does 4 divide a?
True
Let w = 9840 + -7655. Does 33 divide w?
False
Suppose 8*s + 45 = 5*s. Is 5 a factor of 18/45 + (-129)/s?
False
Let g be ((-324)/8)/(-9)*16/3. Suppose -g*c + 7031 = -18169. Is 15 a factor of c?
True
Let w be 3/(-2) + 3/2. Suppose w = -2*y - 3*y. Suppose c = 3*l + 40, y = -2*c - 0*c + 4*l + 76. Does 4 divide c?
False
Let n = 4203 + 7057. Does 10 divide n?
True
Let f(t) be the first derivative of t**3/3 - 7*t**2/2 + 4*t - 17. Let o be f(6). Let l(j) = 5*j**2 + 2*j - 1. Is 15 a factor of l(o)?
True
Let g be (14/4)/((-22)/880). Let b = 541 + g. Does 75 divide b?
False
Suppose 0 = 5*f - 5*u - 5, -4*f = f + 5*u - 55. Suppose -f*p + 3025 = -515. Does 32 divide 3/(9/p) - (-18)/(-27)?
False
Let s = -448 + 422. Let k(t) = -20*t - 198. Does 14 divide k(s)?
True
Suppose 115 = 2*i - 3*z, -5*z + 4 = -1. Let k = i - 56. Suppose 6*m - k*m = -4*g + 122, -4 = 4*g. Is 29 a factor of m?
False
Let g(j) = j**2 - 20*j + 88. Let d be g(31). Let r = d + 171. Is r a multiple of 40?
True
Let p = -157 - -112. Is 79 a factor of ((-132)/(-8))/(p/(-2490))?
False
Suppose 5*w + v = 12265, 0 = 2*v + 8 - 18. Is w a multiple of 6?
False
Suppose -20 = 16*p - 20*p. Suppose -5*s - 4*d + 3 + 22 = 0, 5*s + p*d = 25. Suppose 170 = 2*q - 2*n, -2*n + s*n = -4*q + 340. Is 17 a factor of q?
True
Let d(w) = -w**3 + 6*w**2 - 12*w + 6. Let j be d(3). Let n be 1/j + (-156)/(-27)*3. Let a(r) = 5*r - 22. Is 9 a factor of a(n)?
True
Let g = 34 - 38. Let n be g/(4*-2)*8. Suppose -2*b + b = 2, 3*y = -n*b + 7. Does 2 divide y?
False
Let g(z) = -z**3 - 6*z**2 + 5*z + 7. Let a = 28 - 35. Let q be g(a). Let w = 31 - q. Is w a multiple of 5?
True
Suppose -7*g + 9*g = -110. Let t = -47 - g. Suppose 12*v - t*v = 108. Is v a multiple of 19?
False
Suppose -2*v = -2*s - 23800, -2*v - 23*s + 23776 = -21*s. Is v a multiple of 23?
False
Let y(x) = 90*x - 3. Let j be y(-2). Let p = j + 328. Does 23 divide p - ((-3)/4)/(6/(-24))?
False
Let x = 1290 - 1495. Let b = -2 + 0. Is 5 a factor of b/8 - x/(-40)*-2?
True
Let x(f) = -187*f**3 - 3*f**2 + 49*f + 102. Is 29 a factor of x(-2)?
False
Suppose -4*m + 2169 = -2*j + 5*j, 0 = -m - 4*j + 552. Let q be m/24*(-168)/10. Is 48/32 - q/4 a multiple of 16?
True
Let w(i) = 6*i**3 + 2*i**2 - i. Let m be w(1). Suppose -m*a + 953 - 358 = 0. Does 11 divide a?
False
Suppose -27*y + 13835 + 284834 = 37039. Does 67 divide y?
False
Let k be -6 - 57/(-5) - 2/5. Suppose k*h = h + 208. Is 26 a factor of h?
True
Let v be (-1 + -1 - 0/(-7)) + 1. Let n(m) = -136*m + 8. Is n(v) a multiple of 12?
True
Let s(z) be the first derivative of z**4/4 - 7*z**3/3 - 44*z**2 + 29*z + 4. Is s(14) a multiple of 10?
False
Suppose 5*w - 7*w = -6. Suppose -3*c = -w*b + 57, -4*b - 5*c + 1 + 75 = 0. Suppose -b*s - 91 = -20*s. Is 13 a factor of s?
True
Let y(r) = r**2 + 4*r - 26. Let i(d) = d**2 + 3*d - 28. Let a(b) = 7*i(b) - 6*y(b). Is 10 a factor of a(-13)?
False
Let k be (46 - (-7 + 2))*-3. Let p = 216 + k. Does 3 divide 