771. Let c = m + 2424. Is c a multiple of 20?
False
Let v be -1 + (4 - (3 - 22)). Suppose -5*h - 2 = -v. Suppose -2*a + 43 = -2*c + 7, h*a + 5*c = 45. Is 5 a factor of a?
True
Let t(o) = -206*o + 4. Let p be -2*4/(-2) + 2 + -4. Let y be 4/(-3) + p/(1 + 5). Is 15 a factor of t(y)?
True
Let u be (-168)/(-60) + 4/(-5). Suppose -u*r - 159 = -229. Is r a multiple of 11?
False
Suppose b = -3*b + m - 1, 4*m - 4 = -2*b. Suppose b = -3*v + 363 - 12. Suppose -v = -3*c + 24. Does 14 divide c?
False
Let i(j) = -7*j + 19. Let n be i(-8). Let p be 2*(n/(-6) - -4). Let k = p + 71. Is 17 a factor of k?
False
Suppose -h = -7*h + 1279800. Is 6/14 - (h/(-63))/10 a multiple of 14?
False
Let u(n) = -n**2 - 9*n - 21. Let m be u(-9). Let g = 36 + m. Suppose 0 = -2*l + 37 + g. Does 26 divide l?
True
Suppose -21 = 4*z - 5*a, 3*z - 2*a + 3 = 2*z. Let b(h) = 9*h - 15. Let f(j) = -80*j + 135. Let s(p) = 35*b(p) + 4*f(p). Is s(z) a multiple of 5?
True
Suppose -87 = a + 4*q, -4*a - 2*q - 220 = 58. Let g = -63 - a. Suppose -o = g*d - d - 61, -131 = -2*o + 3*d. Is o a multiple of 16?
True
Let x(g) = 2*g**2 - 11*g - 8. Let n be x(7). Let c(a) = 5 + 2*a**3 + 10*a + a**3 + 5*a**2 - n*a - 4*a**3. Is c(4) a multiple of 9?
True
Let j(k) = k**2 - 3*k - 13. Let z be j(-3). Let v be (2 - z)*(-1 + (-2)/3). Suppose -5*m + 67 + 243 = v*o, -2*m = -4. Is o a multiple of 20?
True
Is 98950*9*(-12)/(-540) a multiple of 40?
False
Does 4 divide 8*33/(-22) - -2796?
True
Let z be (-7)/3*(-12)/(1 - 0). Let u = 108 - z. Is u a multiple of 16?
True
Suppose 5260273 = 124*k + 1454961. Is k a multiple of 16?
True
Let h = -132 + 135. Suppose 367 = h*s - 56. Does 23 divide s?
False
Let n = -4995 + 7252. Does 3 divide n?
False
Suppose 3*c + 166203 = 3*u, -5*c + 55377 = u - 0*u. Is u a multiple of 13?
False
Suppose 29*y = 119*y - 602159 - 2150221. Is 13 a factor of y?
False
Let i(t) = 13*t**2 + 7*t - 84. Does 29 divide i(11)?
True
Suppose o = 3*q + 28, 8*q - 16 = 9*q - 2*o. Is 12 a factor of (q + (-285)/(-12))/((-3)/(-16))?
True
Suppose 103 = 6*g - 947. Is (g/20 - 5)*72*2 a multiple of 54?
True
Let q be (-169)/26 - (2 + (-3)/2). Let h(m) = -m**3 - 5*m**2 + 11*m + 23. Is 33 a factor of h(q)?
False
Suppose 35025 = 3*b - 5*s, 43427 = 3*b + 2*s + 8360. Does 19 divide b?
True
Suppose -3*h + 5*g = -27 - 32, -h + 18 = -2*g. Suppose -4*i + h = 4*n, -11 = -3*n - i + 2. Suppose -n*o + 215 = 71. Is 16 a factor of o?
True
Is 234/(-66) + (12/22)/1 - -646 a multiple of 9?
False
Let x = 285 - 284. Let q(l) = 5*l**2 - 13*l + 13. Is q(x) a multiple of 5?
True
Let v be (((-10)/8)/(-1))/((-10)/(-40)). Suppose v*r = -4*y - 16, -6 = -r - 3*y - 18. Suppose r*q + 108 = q. Does 12 divide q?
True
Suppose 232 = 3*y + 5*s, 3*y = 2*s + 177 + 20. Is 13 a factor of y?
False
Let k be (-11094)/(-8) + (-8 - (-87)/12). Suppose 0 = -17*v + 14*v + k. Is v a multiple of 14?
True
Is 5310/(-12)*((-343)/35 - (-6)/(-30)) a multiple of 75?
True
Let c(q) = 844*q**2 - 175*q - 174. Is 12 a factor of c(-1)?
False
Suppose 0 = 5*h - 5*d - 10300, -20*h + 3*d = -15*h - 10306. Is 13 a factor of h?
False
Let n(a) = -7*a**2 + 147*a - 8. Is 8 a factor of n(8)?
True
Let c be (-25)/(-15) - (-260)/15. Let w(u) = -u**2 + 20*u + 28. Is 5 a factor of w(c)?
False
Suppose 2*d + 2*q = -3*d + 34, 4*d + 2*q - 28 = 0. Suppose 5*o - d*o + 11 = -n, 2*n - 14 = -4*o. Suppose 0*h - 4*h - 5*w = -18, 4*h = w + o. Does 2 divide h?
True
Let g(s) be the first derivative of -1/2*s**2 + 28/3*s**3 + 6 + 0*s. Is g(-1) a multiple of 12?
False
Suppose -2*t + 19 = 5*x - 6, 2*t - 19 = -3*x. Suppose t*d - 9 = 2*d. Suppose q = -d*o - 3*q + 168, -o - 2*q + 54 = 0. Is o a multiple of 6?
True
Let r = 15 - 40. Let z be 1*-4 + (56/7 - 33). Let h = r - z. Does 3 divide h?
False
Let d(s) = 89*s**3 + 4*s**2 + 6*s. Let o be d(-2). Let f = o + 1008. Is 50 a factor of f?
True
Suppose -4*g - 10436 = -19*u + 17*u, 10400 = 2*u + 5*g. Is 77 a factor of u?
False
Suppose -166 = 3*g + 4*y, -4*g + 131 - 315 = -4*y. Let p = g + 102. Suppose s - p = -4*z + 39, 4 = z + 4*s. Is z a multiple of 4?
True
Let s be ((-3)/5)/((-11)/55). Let u be (0 + 14 - 2)*(-1)/s. Let i(v) = -5*v + 31. Is i(u) a multiple of 7?
False
Suppose 269*f - 6547264 = 16*f + 5742717. Does 90 divide f?
False
Let g be (-1760)/(-33)*12/(-10). Let f = 60 + g. Is 3 a factor of -13*(1 + 0)/(-5 - f)?
False
Suppose -v + 4 = -1, 2*v + 15 = 5*z. Suppose -3*w + 2*w - a + z = 0, 3*a + 33 = 3*w. Suppose -w*l + 12*l = 108. Does 27 divide l?
True
Let d(g) be the first derivative of g**7/420 - g**6/45 + g**5/12 - 7*g**4/12 + 25*g**3/3 + 1. Let f(j) be the third derivative of d(j). Does 38 divide f(6)?
True
Let o = 82 - 44. Suppose o = 6*p - 22. Let r(i) = 2*i. Is 12 a factor of r(p)?
False
Suppose b + 2 = -3*q, 5*q = -4*b + q. Let t(z) = 129*z**2 + 9*z - 10. Is 14 a factor of t(b)?
False
Suppose 0 = 24*c + 26*c - 211650. Is 9 a factor of (-2 + c/9)*3?
False
Let i(c) = 6*c - 181. Let s be i(30). Does 29 divide (s + 523)*(-2 + 5 + -2)?
True
Let w(r) = 4*r**2 + r + 8 + 9 + 0. Let f be 473/(-88) + (-5)/8. Does 29 divide w(f)?
False
Let r be (0 + -3 + 3)/1. Suppose -2*n + 4*n + 10 = 0, r = -5*a - n + 455. Is 8 a factor of a?
False
Let s(a) = 15*a**3 - 7*a**2 - 8*a + 152. Is 15 a factor of s(8)?
True
Let u = -59 - 190. Let b = -185 - u. Is b a multiple of 8?
True
Let u = -34701 - -49117. Does 8 divide u?
True
Suppose 81*y - 33372 = -27*y. Is y a multiple of 7?
False
Does 39 divide 28386/1577*((-5174)/6)/(-1)?
True
Suppose -5*y - 25 = 0, 4*y = -3*m - 11 - 9. Suppose 3*f = 3*n - 969, -3*n + m*n = -2*f - 971. Is 23 a factor of n?
False
Let g(f) = -21*f + 36. Let z be g(-34). Let u = z + -407. Does 19 divide u?
False
Suppose -2845600 - 900688 = -57*v - 151*v. Is 17 a factor of v?
False
Suppose 240*y - 5945130 = 13*y. Is y a multiple of 10?
True
Suppose -3*k + 2137 = -q, -2*k + 0*q + 2*q + 1430 = 0. Let b = k - 215. Is b a multiple of 11?
False
Is 16 a factor of ((-77572)/(-462) - 8) + 2/21?
True
Let m be 9 - (-7 - -1)/((-6)/4). Suppose -m*d - 2*f = -78 - 16, 0 = -2*f - 6. Let a = d + 22. Does 3 divide a?
True
Let r(j) = -j**2 - 8*j + 21. Let d be r(-11). Is 6 a factor of 33/12*20*d/(-2)?
True
Suppose 0 = -2*h - 148 + 152. Suppose 4*w - 9*w = -1165. Let u = w - h. Is u a multiple of 33?
True
Is 14 a factor of (37/3)/(-12 - 110890/(-9240))?
True
Suppose 2*q + 5*s = 27323, -347*q + 343*q + 54641 = 5*s. Is q a multiple of 29?
True
Let t be 5 - (-4 - 1 - 0). Suppose -t*r + 247 = -653. Does 3 divide r?
True
Suppose -4*g = 32, 2*v = -27*g + 36*g + 117486. Does 99 divide v?
True
Let p = -18 + 22. Suppose p*j + n - 3356 = 7579, 0 = 4*j + 4*n - 10944. Suppose -874 = 11*q - j. Is q a multiple of 31?
False
Suppose 28*t - 26*t + 2 = 0, 5*v + t = -481. Let z = 352 + v. Does 16 divide z?
True
Suppose -8*o - 7*o = -90. Is -1 + 311 + 3/o*-8 a multiple of 37?
False
Let r = 21832 - 9234. Is r a multiple of 5?
False
Let v = 1220 - 848. Let d = 609 - v. Is d a multiple of 21?
False
Is 50 a factor of 2105344/224 - (-8)/7?
True
Suppose -5*o + 15*g = 9*g - 17243, -5*g - 15 = 0. Is o a multiple of 9?
False
Is 3 a factor of (-3)/(-7) - 12805320/(-2492)?
True
Let h(i) = 8*i**3 + 4*i**2 - 60*i + 256. Is h(13) a multiple of 8?
True
Suppose 10*l - 91724 = -3664. Is l a multiple of 14?
True
Let d be 8/3*(4 - 20/8). Suppose -d*o = 5*u - 684, -675 = -5*u - 5*o + 10*o. Is u a multiple of 68?
True
Let x(y) be the first derivative of 5*y**4/4 - y**3/3 - 2*y**2 + 2*y + 152. Does 58 divide x(3)?
True
Suppose -1705*r - 3*b = -1703*r - 49587, 0 = -6*r + 5*b + 148635. Is 21 a factor of r?
True
Suppose -5*f + 7871 - 53351 = 0. Does 18 divide f/(-8) - 0/(-4)?
False
Let v = -12367 - -14939. Is 19 a factor of v?
False
Let b(l) = l**2 + 13*l + 41. Let m be b(-10). Suppose -4*c - 3*i = -410, m*i + 426 = 4*c + 6*i. Is 11 a factor of c?
False
Suppose -2*i - 355 = -7*i. Suppose 10*y - i = 9. Suppose 0 = -4*u + 4, 2*g - 10*u = -y*u + 294. Is 38 a factor of g?
False
Does 11 divide (177/295)/((-2)/(-10)) - -1790?
True
Suppose 3*h - 11*o + 10*o - 68 = 0, -h = -5*o - 4. Is h a multiple of 6?
True
Let i = -837 - -837. Suppose 2*d = 5*y + 2995, -2*d - 5*y = -i*d - 2985. Does 23 divide d?
True
Let a(u) = 5*u**3 + u**2 + 5*u - 1. Suppose 3*n + 23 - 35 = 0. Is a(n) a multiple of 15?
False
Let o(m) = -m**2 + 14*m - 4. Let 