*r = -25. Does 10 divide v?
False
Let y be 72 + 0 + -4 + 1. Let g(a) = -2*a**3 + a**2 + 14*a - 7. Let d be g(-3). Let n = y - d. Does 10 divide n?
False
Suppose 26750 = 2*d - j, -57*d - 13366 = -58*d - j. Is d a multiple of 111?
False
Suppose z = -2*r + 50, -2*z = -r + z + 11. Suppose r + 49 = q. Does 9 divide q?
True
Let s = -3 + 3. Suppose s*w + 4*w = 0. Suppose w*f = 2*f - 64. Is f a multiple of 13?
False
Suppose 4*z = 20, 7*z = -3*a + 5*z + 22. Suppose -a*r = -705 - 235. Is 11 a factor of r?
False
Suppose -4*n + 2*n = 4*c - 380, -4*n - 2*c + 736 = 0. Suppose t - u + 5*u - 63 = 0, -3*t - 5*u = -n. Does 2 divide t?
False
Is 1972 + -36*(-8)/(-32) a multiple of 13?
True
Let h = 23978 + -15426. Is h a multiple of 64?
False
Let o(n) = -n**2 + n + 271. Let v be o(0). Let w = 613 - v. Is w a multiple of 22?
False
Let q(c) = -3*c**2 - 9*c + 32. Let i be (1 + -6)*12/15*1. Let h(p) = -2*p**2 - 8*p + 31. Let g(u) = i*q(u) + 5*h(u). Does 30 divide g(-6)?
False
Let o = 9 + -14. Let y be 32/(-3) + 7*2/21. Let t = o - y. Is 5 a factor of t?
True
Does 21 divide ((23 - 38) + -15)*595/(-2)?
True
Suppose 85 = 8*c + 21. Suppose -5*d + c*d - 2*l = 1619, 5*d - 4*l = 2701. Is d a multiple of 7?
False
Suppose -21 = -2*j + 3*l, 6*l + 5 = l. Let m(i) = 9*i**3 - 77*i**2 + 16*i. Is 36 a factor of m(j)?
True
Let b(c) = -c**2 + 15*c + 1. Let l be b(18). Let x = 65 + l. Suppose 0 = -4*o + x, 2*t + 3*o = -0*o + 357. Does 28 divide t?
False
Let b be (-3 + 2)*-3*(-15)/(-9). Suppose -b*v - 20 = 0, 2*j - 5*j - 607 = v. Let t = j - -384. Is 26 a factor of t?
False
Let c(v) = -6*v**2 - 9*v + 13. Let n(j) = -5*j**2 - 8*j + 12. Let d(s) = 4*c(s) - 5*n(s). Let r be d(-8). Does 14 divide 1/1*-1 + 504/r?
False
Let p(m) = 50*m - 110. Suppose -3*d + 63 = 4*i, 3*i - 32 - 15 = -2*d. Is 32 a factor of p(i)?
True
Is 20 a factor of 2044/70*((-32)/(-2) + (1 - 2))?
False
Let r(c) be the third derivative of c**5/15 + c**4/4 - 7*c**3 + 25*c**2. Is r(-8) a multiple of 2?
True
Suppose 39*k + 210 = 37*k. Is 18 a factor of ((-9 - 15) + 6)*k?
True
Let g(j) = j**2 - 2*j + 4. Let k be g(2). Let v be 1/(k/36)*1/(-3). Let m(a) = a**2 - 6*a - 7. Is 17 a factor of m(v)?
False
Suppose 2*t + 53 + 139 = -h, 3*t + 778 = -4*h. Let q = h - -277. Is 27 a factor of q?
True
Let h = -1157 - -2536. Suppose 2*f - 2*v = -165 + h, 5*v = -5*f + 3055. Does 20 divide f?
False
Let s = 4 - 5. Let u be 6*(0 + s + 16). Let m = u + -38. Is 5 a factor of m?
False
Is (-4 - (-5 + 33696/(-8))) + 7 a multiple of 24?
False
Let d = 4732 + -3460. Does 5 divide d?
False
Is -126 - -135 - (-10069 - -2) a multiple of 31?
False
Is 71 a factor of (-160)/24*(-6)/(-5) + 8315?
True
Suppose 25*b + 3712 + 5891 = 42028. Is b a multiple of 8?
False
Does 37 divide ((-646)/40 - ((-18)/24 + -1))*-1500?
False
Let x = 9637 + -6707. Suppose -x = -30*b - 920. Does 15 divide b?
False
Does 8 divide 324638/10 + 190/(-50) + 4?
True
Is 32 a factor of (-4)/38 - 22933350/(-1881)?
True
Let p = -25 + 25. Let x be 10 + p/(-4) - 1. Suppose -v = -x - 5. Is 4 a factor of v?
False
Does 23 divide (-460)/(-5)*(-8)/(80/3555)*-1?
True
Let z be 0/(-4 - -2) - -4. Suppose 4*q - 3*k - 336 = 0, z*q + k = 181 + 171. Is 16 a factor of (q + -8 - (-4 + 1)) + -2?
True
Is 700/10*(1 - -254) a multiple of 50?
True
Let f be -2*(-2)/(-6)*-3. Suppose -u + 3*u - 6 = -f*h, 0 = -5*h + 2*u + 15. Suppose -h*l - 2*l + 5*o = -130, 2*l - 5*o = 40. Is 6 a factor of l?
True
Suppose 4 = -13*o + 14*o, 24 = 5*b - 4*o. Suppose -279 = -n + 4*p - 33, 0 = -4*p + b. Does 17 divide n?
False
Let g = -1396 + 1986. Does 59 divide g?
True
Let s be -1*2 - (-3 + 6/(-3)). Suppose 6*q = s*q + 3. Does 7 divide (-1)/(q/(-2)) - -5?
True
Let w(v) = -v**3 - 19*v**2 - 21*v + 28. Suppose -f = 19 - 2. Let i be w(f). Is 13 a factor of (6/(-3) + i)*(-32)/40?
True
Suppose -3*m + 4 + 7 = -2*w, 0 = -2*m - 3*w + 3. Suppose -m*a - f + 1220 = 0, a + 2*a - 1219 = -2*f. Is a a multiple of 18?
False
Suppose 15 = 3*z + 120. Is (-20)/z + 4126/7 a multiple of 20?
False
Suppose -12*i - 567829 = -58*i + 128519. Is i a multiple of 93?
False
Suppose 2*f + 2*l = 68, -l = -4*f - 0*f + 116. Suppose -f*y = -24*y - 432. Does 16 divide y?
False
Let u(n) = n**3 + 12*n**2 - 21*n - 49. Let o be u(-14). Is 7/(o/(-12)) - 29570/(-70) a multiple of 89?
False
Let q = 5352 - 4517. Does 5 divide q?
True
Let c(r) = -4*r - 1. Let j be c(-1). Suppose 5*i + 0*d + d = 947, -i + 181 = j*d. Is 10 a factor of i?
True
Suppose -11*j + 94 = -27. Suppose -3*i = -3*c + 2001, j*c - 7*c - 2664 = 3*i. Is c a multiple of 51?
True
Suppose 9*d - 11105 = -1601. Suppose -2*c + 10*c - d = 0. Is c a multiple of 39?
False
Let u(l) = -5 - 8*l + 23*l + 44*l - 6*l. Let w be u(2). Is -2 + w + -2 + -1 a multiple of 24?
True
Suppose -q = 44 - 49. Suppose q*x - 375 = -4*l - 0*l, l = -3*x + 99. Suppose -17*k - l = -20*k. Is k a multiple of 3?
True
Let y = 15 + -5. Suppose x - y = 129. Is x a multiple of 21?
False
Is -5*4/8*(-50 + -156) a multiple of 6?
False
Suppose 3*f - 393 + 99 = 0. Let v = 108 - f. Is 9 a factor of v?
False
Suppose -4*m + 158 = m + 2*i, -5*m + i = -161. Does 56 divide 4*((-3)/(-12) - (-440)/m)?
True
Suppose 3314 + 1599 = 3*c - i, 0 = -3*c + 5*i + 4909. Suppose 3*m - 1525 = -5*p, -5*m = -5*p - 837 - c. Is 25 a factor of m?
True
Let z(k) = 2*k**2 - 4*k - 13. Let r be z(-3). Let d(j) = -j**3 + 15*j**2 + 35*j - 5. Is 12 a factor of d(r)?
True
Let d be (-3290)/(-20) + (-1)/(-2). Suppose x - 50 - d = 0. Is x a multiple of 51?
False
Suppose 30 = 2*u - 2*r + 154, -r - 194 = 3*u. Let b = 88 + u. Does 24 divide b?
True
Let z(s) = -s**2 + 10*s + 123. Let t be z(17). Suppose y = t*p - 1, 2*y - 9 = 2*p + 7. Is y even?
False
Suppose 15 - 9 = -3*b. Let x be (9/b)/((-4)/((-480)/(-9))). Let o = 30 + x. Is 15 a factor of o?
True
Suppose 4*m - 2442 = 306. Suppose -m*x + 682*x = -1190. Is 4 a factor of x?
False
Let y(u) = -3*u**2 - 249*u + 187. Is y(-83) a multiple of 17?
True
Suppose 0 = -x - 4*z - 44, 5*x + 2*z + 130 = -0*z. Let f be 318/48 - 9/x. Is 7 a factor of 2 + (f - -40 - (-1 - -1))?
True
Suppose 5*n - 15 = 0, -4*o + 3*n + 0*n = -31. Is 43 a factor of 6*6/60 - (-7304)/o?
True
Is 3 a factor of (16/(-47 - -15))/(1/(-1778))?
False
Suppose -3*w = -w. Suppose w*u = u + 5*s - 30, -5*s = 2*u - 50. Suppose -u*a + 528 = -14*a. Is a a multiple of 11?
True
Does 226 divide (-65)/(16250/782300)*(-1 + -14)?
False
Let w(i) = -4*i. Let c be 2/3*36/8. Suppose -c*h + 13 = 22. Is 12 a factor of w(h)?
True
Let l be ((-2)/16*-10)/((-3)/(-204)). Let p = -88 + l. Does 2 divide p/(-6) + 35/4*2?
True
Let n(j) = j**2 + 5*j - 10. Let y be n(-12). Suppose 4*x = -10*q + 14*q + 328, -y = -x - q. Is x even?
True
Suppose 3*v = 0, -v + 60 = 2*y + v. Suppose 5*t = 4*t + y. Is 17 a factor of (-18)/(-135) + (0 - (-1016)/t)?
True
Let z(n) = -n - 9. Let h(y) = -y**2 - 25*y - 11. Let f be h(-25). Let v be z(f). Suppose p = -v*p + 15, -4*j - 4*p = -200. Is 22 a factor of j?
False
Suppose -9*v - 34*h = -33*h - 16814, -h + 9338 = 5*v. Is v a multiple of 8?
False
Let d(h) = 3*h**2 + 50. Suppose -5*q - 3 = 5*i + 2, 2*q + 2 = 0. Let g be d(i). Let t = g + 19. Does 20 divide t?
False
Let o(j) = 49*j**2 - 1506*j. Is 135 a factor of o(-6)?
True
Suppose -b + 3500 = h - 4244, -30931 = -4*h + b. Does 35 divide h?
True
Let l(t) = 286*t - 3199. Is 31 a factor of l(72)?
False
Suppose 23*v - 22*v - 43366 = 2*z, -3*v - 3*z = -130026. Is v a multiple of 25?
True
Is (-689)/(-364) - (-42)/(-24) - 68417/(-7) a multiple of 60?
False
Let k(a) = 12 + 18 + 12*a - 2. Let t(w) = -5*w - 230. Let j be t(-47). Does 15 divide k(j)?
False
Suppose -86*w - 33717 = 8*w - 159395. Does 38 divide w?
False
Let n(t) = t**3 + 3*t**2 + 2*t - 1. Let l be n(-2). Let k be (0 - l) + 5/5. Is 37 a factor of ((k/3)/(2/(-573)))/(-1)?
False
Let u(p) = -477*p + 2866. Let s be u(6). Suppose -7*d + 3*d = 0. Suppose -2*y - 5*g + 205 = 0, -y - s*y - 4*g + 504 = d. Is 25 a factor of y?
True
Suppose -100975 = -3*m - f, 4*m - f = 5*m - 33655. Is m a multiple of 153?
True
Suppose -2*y = -2*i + 7854, -3*y + y = 8. Is i a multiple of 29?
False
Let m be -1 + -3 + 9*2/(-6). Is 3/6*(173 + (-4 - m)) a multiple of 11?
True
Let s = -112 + 117. Suppose 3*a - 2*w + 5*w - 141 = 0, -4*a - s*w + 187 = 0. Is a a multiple of 16?
True
Let g(s) = -3*s**3 - 92*s**2 + 13*s + 46. Does 81