2 + 6*s - 9. Let h(v) = -5*q(v) - 6*r(v). Is h(7) a multiple of 6?
False
Let a(g) = -g**2 + 8*g - 8. Let l(y) = -y + 18. Let r be l(11). Let n be a(r). Is n/5 - 364/(-20) a multiple of 3?
True
Suppose 2*a = -8*a + 1560. Does 26 divide a?
True
Suppose -o = -2*d - 10, 0 = -4*o - o + 2*d + 18. Suppose -h = -3*p + 327, o*p + 3*p - 4*h - 552 = 0. Is 4 a factor of p?
True
Suppose 2*r - 1922 = c + 3*c, -4819 = -5*r - 4*c. Is 10 a factor of r?
False
Is 54 a factor of (-6)/8 - 1924274/(-376)?
False
Let q = 36 + -11. Let b = q - 23. Suppose -b*v + 32 = 4*t, -t - 64 = -5*v - 17. Does 9 divide v?
False
Suppose q - 3*n - 384 = 534, 4 = n. Is q a multiple of 24?
False
Let y = 15 + -14. Let v = y + -1. Suppose -9*d + 7*d + 76 = v. Is d a multiple of 26?
False
Is (-6)/((-72)/15735) + (-4)/16 a multiple of 19?
True
Let m(v) = 7*v**2 - 7*v - 7. Does 50 divide m(-3)?
False
Let l be (-15)/(-7 + 3 + 3). Suppose 3*y = -9, 3*y = -q + 50 - l. Does 25 divide q?
False
Let c = 23 - 21. Suppose 0*x = 3*x - 255. Is 28 a factor of x - (c - -2 - 3)?
True
Suppose -o = 1, -3*c + 1208 = -0*c + 4*o. Is c a multiple of 2?
True
Is (-3966)/(-18) - 10/(-6) a multiple of 35?
False
Let k(w) = -w**3 + 7*w**2 + 7*w + 16. Let a = -37 + 45. Does 4 divide k(a)?
True
Let r = -293 + 173. Is 1/((-3)/r)*1 a multiple of 10?
True
Suppose 1423 = 6*q - 10295. Is 21 a factor of q?
True
Is 13 a factor of 7440/22 + (-20)/110?
True
Suppose 0 = -3*x - 3*g + 1455, 3*x - 197 = -4*g + 1263. Is 13 a factor of x?
False
Let p be 116/16 - (-9)/12. Suppose w = -w - p, 5*l + w = 121. Is l a multiple of 11?
False
Let w(h) = 4*h - 7. Let d(j) = j**2 + 13*j + 16. Let m be d(-12). Is w(m) a multiple of 3?
True
Let r(x) = -x**2 - 6*x - 15. Let y be 184/(-28) + 12/(-28). Let v be r(y). Is 16/(-3)*33/v a multiple of 2?
True
Let j be 2 + (5 - 3 - 1). Suppose -162 = -j*l + 90. Is l a multiple of 14?
True
Let t = -131 - -224. Suppose t = -92*p + 93*p. Does 8 divide p?
False
Let h(v) = 5*v**2 - 2*v**2 + 3*v**3 + 3 - v**2. Is h(2) a multiple of 14?
False
Suppose -k + 3*x = x + 2, -4 = -k - 4*x. Let h be k/((-1)/(3/(-3))). Is (4 - 15)/(-1 + h) a multiple of 6?
False
Let t be 2 - -1 - (-24)/(-3). Let g(f) = 2*f**2 + 3*f + 9. Is g(t) a multiple of 15?
False
Suppose 5*y = 3*n - 6, 0*y - y = -n. Let w be -3 - (4 + (-7 - y)). Let o(l) = 9*l**2 + 4*l. Does 10 divide o(w)?
False
Suppose 3*g - 2 = 7. Let i(r) = -r**3 - 11*r**2 - 14*r - 10. Let w be i(-10). Suppose -w = -f - 5*h, 3*h = g - 0. Is f a multiple of 25?
True
Suppose -3*f - 6*f = -1170. Let k = -82 + f. Is k a multiple of 9?
False
Let v(r) = 2171*r**2 + 25*r + 24. Does 26 divide v(-1)?
False
Let l(g) = 3*g**2 - 5*g + 7. Let a(y) = -6*y**2 - 6*y - y**3 + 4*y**2 - 5*y**2 + 10 - y**2. Let j be a(-7). Does 5 divide l(j)?
False
Let z be 1/3 + (-68)/6. Let i(o) = -12*o - 32. Does 20 divide i(z)?
True
Suppose 2*u = -0*u + 32. Let m be 1626/8*u/6. Does 30 divide 10/(-30) + m/6?
True
Let k(i) = -4*i**3 + 7*i**3 + 3*i**2 - 2*i - 5 + 3. Is k(2) a multiple of 5?
True
Suppose 0 = -5*n - 2020 + 270. Is (432/(-120))/(3/n) a multiple of 42?
True
Suppose 0 = -q + 8 + 11. Let r = q - 34. Let l = r - -75. Does 15 divide l?
True
Let q = -54 + 36. Let w = -8 + -31. Let d = q - w. Is 8 a factor of d?
False
Let s(r) = -r + 11. Let g be s(8). Let a be g*(8 - 3)*1. Suppose 0 = 2*n - 19 - a. Is 2 a factor of n?
False
Let w(m) be the third derivative of m**4/24 + 4*m**3/3 - 23*m**2. Let k = 12 + -8. Is w(k) a multiple of 12?
True
Let z be (22/(-10) - 2)/((-5)/(-25)). Is (-3 + -19)/(6/z) a multiple of 28?
False
Let h be (2 - 5) + -1 + 9. Suppose -2*d + r - 457 = -h*d, 3*d + 5*r = 449. Is 24 a factor of d?
False
Suppose -11*i + 1026 + 195 = 0. Does 7 divide i?
False
Let k be -8 + 4 + 2 - -5. Let d(g) = 15*g + 7. Is 12 a factor of d(k)?
False
Suppose o = x - 1011, -5*x - o + 5046 = -3*o. Suppose -2*z + x = 4*t, 4*t + 0*z - z = 996. Does 50 divide t?
True
Suppose -10*s + 1815 + 4985 = 0. Is 5 a factor of s?
True
Suppose 5*g + 90 = 5*a, -g + 5*a = -0*g + 34. Let p be ((-44)/(-8))/1*g. Let q = -43 - p. Is q a multiple of 18?
False
Suppose 8 - 38 = -3*i. Suppose 0 = w - 6*w + i. Is 4 a factor of w + 3 + -4 + 6?
False
Let o be 51/18 + (-2)/(-12). Let m(b) = b**2 - 3*b + 2. Let g be m(o). Suppose -g*f + p + 47 = 4*p, f - 3*p = 19. Does 7 divide f?
False
Suppose -5 - 7 = 2*j. Let z be (-387)/j + 3/(-2). Let t = -13 + z. Does 17 divide t?
False
Is (7/(-7) - -4)*31 a multiple of 8?
False
Let r(g) = 8*g**2 - 3*g - 5. Let a be r(9). Suppose 0 = 5*q + 3*q - a. Does 15 divide q?
False
Let c = 9 + -3. Let h be c + 136 + (-2)/(-2). Suppose -z = 4*d - 23, -6*z + 2*z + d = -h. Is 17 a factor of z?
False
Suppose 12 + 1 = 4*s + 3*v, -4*v = -4*s + 48. Let u(f) = f + 10. Does 17 divide u(s)?
True
Is 14 a factor of (63/2)/((-7)/1008*-12)?
True
Let j = 32 + -29. Does 16 divide (0 - j)/((-99)/(-25) + -4)?
False
Suppose o - 50 = 6*s - 2*s, 5*o - 70 = 5*s. Does 16 divide ((-15)/(105/112))/(2/s)?
True
Let t = -10 + 10. Let p(s) = s**2 + 3*s + 62. Does 22 divide p(t)?
False
Let m(j) = 4*j**2 + 33*j + 105. Is 57 a factor of m(-17)?
False
Let z = 272 + -62. Does 23 divide z?
False
Suppose -g + 3*p = -92, 3*g - 164 = g + p. Does 6 divide g?
False
Let a(l) = -l**2 + 9*l - 2. Let q(b) = -3*b + 1. Let d be q(-2). Let r be a(d). Suppose -3*o = r - 156. Is o a multiple of 12?
True
Suppose -2*u = -4*t - 6, -t - 6 + 0 = -2*u. Suppose -u*z = -4*j + 218, -2*z + 54 = -4*j + 270. Does 16 divide j?
False
Let s be (2 - 1)*(-54)/6. Let h = 16 + s. Is 9 a factor of (4/6)/(h/168)?
False
Let j be 2/(-4)*(-7 + 5). Let u be 1 - (1 + (-3 - j)). Suppose 5*t - 88 = -u*w + 3*t, -105 = -5*w - 5*t. Is w a multiple of 23?
True
Suppose z - 3*r = 4*z - 405, 3*z + 5*r - 395 = 0. Let k = z + -22. Does 10 divide k?
False
Does 7 divide 21/(-2*(-6)/44)?
True
Suppose -3*l = -4*p - 2516, 2*l - 532 = -p + 1149. Does 17 divide l?
False
Let m(k) = -2*k**2 + 10*k - 6. Let b be m(4). Suppose -6*f = -b*f - 276. Is 23 a factor of f?
True
Let c = 11 - -11. Does 10 divide 15/12*c*4?
True
Let y(c) = c**3 + 12*c**2 - c + 8. Let v(n) = -n - 4. Let m be v(8). Is y(m) a multiple of 5?
True
Let z = 39 + -15. Suppose 2*t - 2*r = -0*t + z, 5*t - 2*r - 45 = 0. Let i = 11 - t. Is 2 a factor of i?
True
Let p = -735 - -2135. Does 80 divide p?
False
Let z be (-3)/24 + 63/56. Is ((-49)/2)/(z/(-2)) - -3 a multiple of 6?
False
Suppose -5*l = -b + 136, -270 - 510 = -5*b + 5*l. Suppose 158*z + 63 = b*z. Is z a multiple of 2?
False
Suppose -3*w + 80 = -5*i, 8*i + w = 4*i - 64. Does 21 divide (4/1 + i)/(4/(-14))?
True
Suppose 18*t - 17*t = 3*f - 4397, -3*f = 4*t - 4417. Is 17 a factor of f?
False
Let i = 1231 + -1238. Let b(s) be the third derivative of s**5/20 + 3*s**4/8 + 3*s**3/2 + s**2. Is b(i) a multiple of 20?
False
Does 8 divide (42/15)/(4/490)?
False
Let m(a) = -6*a + 7. Let y be m(-10). Let h = -131 + y. Is ((-144)/h)/((-2)/(-96)) a multiple of 23?
False
Suppose 4 + 5 = 3*h. Let v be 828/27 - 2/h. Is (-6)/(-10) - (-72)/v a multiple of 3?
True
Let n(i) = 37*i**2 - i - 1. Let r be n(3). Suppose 95 = -h + 3*w, 0*w + r = -4*h - 5*w. Let x = 132 + h. Does 20 divide x?
False
Let d(c) = c**2 + c - 9. Let v be d(3). Let h(y) = 2*y**3 - 5*y**2 + 3*y - 2. Let z be h(3). Suppose 0 = -v*t + 7*t - z. Does 3 divide t?
False
Let o(y) = -y**2 + 40*y + 36. Does 24 divide o(18)?
True
Let x(a) = -2*a**3 - 8*a - 3. Let g(o) = -o**3 + 4*o**2 + o - 7. Let z be g(4). Is x(z) a multiple of 7?
False
Let l(r) = 2*r + 88. Let f = 31 + -31. Is l(f) a multiple of 22?
True
Let w(v) = -4*v - 21. Let r be 16/3*2/((-4)/3). Is w(r) a multiple of 7?
False
Let q = 65 + -68. Does 12 divide 12/((-3)/90*q)?
True
Let w(x) = -4*x - 9. Let q be w(-4). Suppose 3*i - q*i + 168 = 0. Suppose i + 2 = h. Is h a multiple of 9?
False
Suppose 15*j + 66 = 16*j. Is j a multiple of 3?
True
Let t = -226 - -218. Suppose 5*k - y + 62 = 0, 2*y = -5 - 1. Let x = t - k. Is x a multiple of 5?
True
Suppose 9 = -6*m + 7*m. Let r be (-6)/m - 16/12. Is 12 a factor of 20 + 6/4*r?
False
Let t be (-4)/(-14) - 10/35. Suppose -4 = -4*d - 0, 3*h - 2*d - 88 = t. Does 5 divide h?
True
Let b be 760/(-16) + 3/(-2) + 1. Let p = b + 64. Does 4 divide p?
True
Let x be (45/(-12))/(6/(-16)). Suppose -x*g + 32 = -6*g. Does 2 divide g?
True
Let b(w) = 2*w**2 -