*r + 4, -r + 2*y + 8 = 0. Let n(x) = r*w(x) - 7*t(x). Is n(-9) a multiple of 7?
False
Let b(r) = -2 + 4*r - 6*r - 5 - 12*r. Let v be b(4). Let h = -51 - v. Is 12 a factor of h?
True
Is 6 + 1 + (-1 + -3 - (17 - 10936)) a multiple of 254?
True
Suppose 4*u = 3*s + 9732 - 60154, 21 = -3*u. Is s a multiple of 74?
True
Let x(k) = -1. Let w(h) = 3*h + 100. Let a(f) = w(f) - 5*x(f). Does 20 divide a(-15)?
True
Is 115 a factor of (11270/28)/(2 + -2*6/8)?
True
Let w(c) = -c**2 - 23*c - 39. Let p be w(-20). Suppose 4*y + 24*n = p*n + 391, -2*n - 6 = 0. Is 5 a factor of y?
True
Let r be ((-65)/(-13) + 0 + 4)*149. Suppose -5*t + r = 4*f, 0*t - f = -2*t + 539. Is t a multiple of 4?
False
Suppose 13983 - 2230 = 48*l - 1975. Is l a multiple of 12?
False
Does 11 divide 3 - 8 - -474*((-251)/(-2) + -5)?
True
Let w(y) = y**2 - 10*y - 52. Let o be w(14). Suppose o*k + 2380 = -0*g + 5*g, -5*k + 1945 = 4*g. Does 16 divide g?
True
Let v(s) be the second derivative of 0 - 15*s + 1/6*s**4 + 1/2*s**3 - 1/20*s**5 + 0*s**2. Is 12 a factor of v(-4)?
True
Is (4 + (-498)/(-12))/(7/2786) a multiple of 13?
True
Let b = -474 - -774. Suppose 4*d = 5*r + 400, -2*r - b = -2*d - d. Suppose 11*u + d = 12*u. Is u a multiple of 12?
False
Let q(c) be the first derivative of 29*c**2 + 5*c + 6. Let s be q(5). Suppose -4*z = -105 - s. Does 22 divide z?
False
Is 122 a factor of (180/50 - 8)*-1730 + 0 + 0?
False
Let f(d) = 1640 - 1647 - 5*d - 5*d. Let w be f(-8). Let o = w - -67. Is o a multiple of 35?
True
Suppose 23 = 2*i + 13. Suppose -8 = -4*w, -i*p - 4*w + 4670 = -423. Does 97 divide p?
False
Is 57 a factor of 66158/19*((-1 - 2) + 3 - -1)?
False
Let g be (-4459)/(-52) - (-2)/8. Is 8 a factor of 3/(-9)*21 + g?
False
Suppose -3*t = -2*t - 141. Let p = 375 - t. Is p a multiple of 13?
True
Let z = -4048 + 2482. Let j = z - -2309. Does 17 divide j?
False
Let w be 1123/5 - 42/70. Suppose o - n = w, 2*n + 4 = -4. Is 44 a factor of o?
True
Let g(u) = -u**3 + 8*u**2 - 7*u + 272. Let k(p) = p**2 - p + 1. Let o(v) = g(v) - 6*k(v). Does 14 divide o(0)?
True
Let r be (27/6)/((-10)/(-700)). Suppose 2*c - r - 75 = 0. Is c a multiple of 18?
False
Suppose -64*v + 1414448 = -8*v. Does 111 divide v?
False
Let j(g) = 344*g + 462. Does 10 divide j(22)?
True
Suppose -4*h = 4*m - 29980, 3*m = -2*h + 10421 + 4574. Is h a multiple of 10?
True
Suppose -f - 4*m = -4118, 4*f - m = 3915 + 12574. Suppose 0 = 8*s + 986 - f. Does 24 divide s?
False
Let p be 7 + 1/(1/(-4)). Suppose -p*u = 27 + 15. Let j = -9 - u. Is 2 a factor of j?
False
Let r(g) = -g - 1. Let d(a) = a - 17. Let c be d(15). Let k be r(c). Does 3 divide (k*3/3)/(1/9)?
True
Let b(y) = -y**3 + 4*y**2 - 7*y + 4. Let a be b(3). Does 5 divide (122/a)/((901/(-204))/53)?
False
Let r(m) = -m**3 + 28*m + 10 + 23*m**2 - 22*m - 21*m**2. Let f be r(5). Does 15 divide (-70)/(-2)*((-180)/f)/2?
True
Let n = -22891 + 36099. Does 30 divide n?
False
Suppose 60*a - 203260 = -12460. Is a a multiple of 12?
True
Suppose 908*c - 904*c + 724 = 0. Let o = c + 291. Is 11 a factor of o?
True
Let y = -3193 - -2273. Let x = -528 - y. Does 28 divide x?
True
Let c be 4 + (38/(-4))/(7/(-56)). Let s = c - 77. Is (-2)/(8/s) - 22221/(-108) a multiple of 9?
False
Let s(b) = b**2 + 9*b - 36. Let a(d) = d**2 - 7*d - 4. Let q be a(-7). Suppose 2*y + 33 = h, 0 = -5*y + 3*h + 13 - q. Is 12 a factor of s(y)?
False
Let j = -11870 + 14763. Is j a multiple of 2?
False
Let f(u) be the first derivative of -11*u**2 + 23*u - 93. Is 2 a factor of f(0)?
False
Let k = -18356 + 24121. Is 14 a factor of k?
False
Let d(x) be the third derivative of -x**5/60 - 5*x**4/12 + 11*x**3/2 - 81*x**2. Is 11 a factor of d(-10)?
True
Let c = -781 + 1661. Is (-102)/4*c/(-30) a multiple of 22?
True
Suppose n = -a + 38724, 4*a = -7*n + 64108 + 90764. Is 15 a factor of a?
False
Suppose 7*v - j = 8*v + 7, 5*j + 27 = -4*v. Let k(c) = -c**3 - 3*c**2 - 9*c + 11. Is 23 a factor of k(v)?
False
Let i = -1408 + 3180. Suppose 252 = -1771*z + i*z. Is z a multiple of 18?
True
Let d = -852 + 582. Let z be (d/24)/(-5)*(-128)/6. Is 40*(-4 - z/10)/2 a multiple of 16?
True
Let l = -1531 + 4843. Suppose 6*k - 10*k + l = 0. Suppose 6*z - k = -3*z. Is z a multiple of 47?
False
Let s(m) = 13*m + 4162. Is 12 a factor of s(-70)?
True
Let i = -29 - -33. Suppose 5*q - 3 + 28 = 0, u - i*q - 301 = 0. Suppose n - 62 = 5*a - u, -133 = -3*a - n. Is a a multiple of 22?
True
Let c(i) = -i**3 + 11 - 2*i - 6 + 0*i**3 - 2*i**2 - 2*i**2. Let r be c(-3). Suppose -5*f + 132 = -4*f - 3*l, -l = -r*f + 244. Is f a multiple of 40?
True
Let a = 47 + -45. Suppose 2*d + 2*l = 12, -a*l - 3 = -d - 6. Is 15 a factor of (57/d - -1)*2?
False
Is 135458570/2873 + (-9)/(-51) a multiple of 146?
False
Suppose 2*a - 20065 = 12919. Suppose 13598 = 51*c - a. Is c a multiple of 22?
False
Let h = -346 - 421. Let s = -456 - h. Is s a multiple of 24?
False
Let d(g) = 2291*g**2 - 77*g + 14. Is d(-5) a multiple of 16?
False
Suppose 0 = -27*c + 77 + 31. Does 18 divide 742/c*(-54)/(-9)?
False
Let b(p) = -159*p - 2023. Does 13 divide b(-17)?
False
Does 27 divide ((-15584)/16)/(2/(-1)) - 1?
True
Suppose 2*h + 4*n = 4, 3*n = 2*h + 2*h + 25. Let m(t) = 3 - 28*t + 9*t - 3 - 16. Does 10 divide m(h)?
True
Suppose 0 = 3*m - 2*z - 101, -17 = -m + 6*z - 2*z. Let d = m + -35. Suppose -32 = -j + 5*p, -d*p - 140 = -3*j + 2*p. Is 16 a factor of j?
False
Let p be (-2 + -178 + -3)*4/(-12). Suppose z + 56 - p = 0. Is z a multiple of 5?
True
Let y be (0 - (-2)/(-2))*(8 + -7). Is (248/(-48))/(y/6) a multiple of 4?
False
Suppose -3*f - 489 - 4473 = -n, 0 = 3*n. Let b = f + 3071. Is b a multiple of 13?
True
Let b = 1256 + 2531. Does 4 divide b?
False
Suppose 0 = 5*g - 498 - 152. Suppose 0 = 4*n, t - g = -4*t + n. Suppose -3*j - h - 3*h = -t, -h = -2*j + 21. Is 5 a factor of j?
True
Let z(g) = -3*g**3 + 14*g**2 + 5*g + 146. Let h(r) = 4*r**3 - 15*r**2 - 5*r - 145. Let o(m) = -4*h(m) - 5*z(m). Is 14 a factor of o(-15)?
True
Let m be (-3)/3*(-9 - 6/2). Let w be (172/(-8) - 0)/(3/(-6)). Let p = w - m. Is 9 a factor of p?
False
Suppose 2*i + 3 = c - 0*i, -5*c - 24 = 3*i. Does 12 divide (c/((-27)/(-42)))/(10/(-555))?
False
Let p = 5335 + -1197. Does 9 divide p?
False
Suppose -7 - 10 = -t - 3*b, 5*b = 10. Does 10 divide -4 + t + -8 + (0 - -80)?
False
Suppose 1973155 = 128*q + 148739 - 745312. Is q a multiple of 10?
False
Let z = 23399 - -10729. Does 216 divide z?
True
Let n(t) = 198*t**2 + 1674*t - 4. Is n(-13) a multiple of 100?
False
Let l be 28/3 - (-25)/15. Suppose 4*c - l = 1. Suppose -4*y + 2*r - r = -641, c*y = r + 481. Is y a multiple of 20?
True
Let t = -58 + 155. Let c = t + -72. Is 12 a factor of c?
False
Let j be 25*(-12)/(-45)*6. Suppose -2*s = -k - j, -5*s - 5*k + 44 + 41 = 0. Is 4 a factor of s?
False
Let f(z) = -6*z - 142. Let s be f(-32). Suppose -s*v + 55*v = 45. Is v a multiple of 9?
True
Suppose -q = 5*b - 1 - 8, 3*b = -5*q + 23. Suppose 0 = q*p, 2*g = 2*p + p + 270. Is 34 a factor of g?
False
Let c = -110 - -250. Suppose c - 32 = 12*i. Is i/((-9)/(-8))*2 even?
True
Let b = 52 - 55. Let i(o) = -10*o**3 + 5*o**2 + o - 4. Let p be i(b). Suppose -9*t + p = -5*t. Is t a multiple of 26?
False
Let p(l) = -5*l - 33. Let d be p(-7). Suppose 5*b + 350 = -3*z, 0 = -2*z - d*b - 3*b - 235. Let m = -25 - z. Is 18 a factor of m?
True
Let c be (-1946)/6 - (-22)/(-33). Let x = 697 + c. Does 6 divide x?
True
Let f(b) = b**3 + 4*b**2 - 14*b - 49. Let d be f(-4). Is 13 a factor of 18/(-63) + 1/(d/1451)?
False
Suppose n = -11*n - 3056 + 51476. Is 3 a factor of n?
True
Let k = 5584 + -4676. Does 3 divide k?
False
Suppose 9969*j - 9960*j - 162855 = 0. Is j a multiple of 95?
False
Suppose k = 4*f + 201, 0 = -0*f - 2*f + 4*k - 90. Let b = 48 + f. Does 30 divide -13*6/b - -4?
True
Suppose -26 = -2*a - 14. Suppose 5*g = -0 + 15, 3*f - 4*g + a = 0. Does 13 divide (-87 + -1)/((-1)/f)?
False
Suppose -19 = 5*u + s, -u - u = -s + 9. Let m(a) = -2*a**3 - 13*a**2 + 7*a + 3. Let d be m(-7). Does 7 divide (-28)/u*d/1?
True
Let t(s) = 34*s**2 + 46*s - 571. Is 11 a factor of t(10)?
True
Let s(n) = n**3 - 11*n**2 + 12*n - 9. Let x be s(10). Suppose x*w - 70 = -15. Suppose m - w = 64. Does 23 divide m?
True
Let i be 5/(4/(-10) - 198/(-120)). Suppose -2*l - 8 = 0, 2*l - 3*l = -i*c + 2724. Is c a multiple of 85?
True
Is 164/(-1