/f)/(6/36). Let h = s - -125. Is h a multiple of 4?
True
Let w be (-6)/(-10) - 7248/60*-3. Is 60 a factor of (w - -1) + (-54 - -50)?
True
Suppose -3*h = 2*o + 5, 2*h + 0*o - 5*o - 22 = 0. Let q be ((0 - h) + 0)/(71/(-142)). Suppose -3*p + 23 = q*g - g, 4*g = p - 25. Is p a multiple of 9?
True
Let i(s) = 36*s**2 + 6*s - 2. Suppose 3*a = x + 130, 4*x - 5*a = x - 406. Let y = -144 - x. Is i(y) a multiple of 26?
True
Suppose 0 = m + 3*a - 3413, 30*m - 34*m + 13648 = 8*a. Is m a multiple of 110?
True
Suppose 48*s = 54*s - 60. Let n(b) = 16*b - 80. Is 40 a factor of n(s)?
True
Let f be 4/(-6) - (-3 + 955/(-15)). Suppose -5*i + 1884 = -f. Does 13 divide i?
True
Let u be ((-36)/21)/((-2)/(-77)). Let m be u/14 - 2/7. Let x(j) = 2*j**2 + 8*j + 10. Is x(m) even?
True
Suppose 0 = y + 4*d - 1843 - 387, 0 = -3*y - 2*d + 6640. Is 17 a factor of y?
True
Let v be (-11)/(-88) - (-15)/8. Let y be -14*((-287)/v)/7. Suppose 5*o - r = y, 0*o - 4*r = 4*o - 220. Is 41 a factor of o?
False
Suppose g = 6*v - 3*v + 584, 3*v - 4*g + 572 = 0. Let d be v/(-6) - (-24)/72. Suppose 0 = -5*w - 5, -d = -2*a + a + 5*w. Does 11 divide a?
False
Let j = 24913 - 15223. Does 42 divide j?
False
Let t(r) = -4*r + 5*r + 11 - 2*r. Suppose 4*o + 2*h = -0*h - 34, 3*o - 3*h + 12 = 0. Does 9 divide t(o)?
True
Let z = 62 - 62. Suppose 52*b - 5*b - 24816 = z. Does 33 divide b?
True
Let s = -628 + 632. Suppose -s*d + 2*d - 2*w + 214 = 0, -d - 2*w = -106. Is 6 a factor of d?
True
Suppose 203 = 2*g - 55. Suppose 0 = -2*f + 33 + g. Let c = f + -49. Does 4 divide c?
True
Let u be 6/9*6 - -37. Suppose 0 = 4*l - 33 + u. Is 17 a factor of (l + -16)/((-5)/20)?
False
Suppose -7*b + 6*b + a = -13, 0 = -2*b - a + 14. Is 8 a factor of b*(5 + (-40)/24)?
False
Suppose 3609 + 11931 = 4*s. Does 38 divide s?
False
Let u(a) be the first derivative of -a**4/4 + a**3 + 37*a**2/2 + 20*a - 106. Is u(-12) a multiple of 56?
True
Suppose 2*o + 4*c - 21757 = 30743, o - 3*c - 26265 = 0. Is 16 a factor of o?
True
Let t be 1/(1 + 65/20 - 4). Suppose t*m = d + 2*m - 98, 372 = 4*d - 3*m. Does 10 divide d?
True
Suppose 17*g + 41626 = 106838. Is g a multiple of 137?
True
Does 33 divide ((4 + 5989)*(-2)/10)/((-31)/155)?
False
Let c(l) = l**3 - 4*l**2 + 5*l + 7. Let v be c(5). Suppose -n - 5 = 0, -2*j - 4*n = v - 205. Is 12 a factor of j?
True
Suppose -3*z + w + 11141 = 0, -2*w + 7495 = 4*z - 7343. Is 29 a factor of z?
True
Does 35 divide 10/6*(-2909826)/(-1390)?
False
Let j = 31592 + -21574. Does 38 divide j?
False
Let u = 41318 + -23624. Does 10 divide u?
False
Let f(n) = n**3 + 19*n**2 - 21*n + 167. Does 41 divide f(-17)?
False
Let x(w) = w**3 - 15*w**2 + w + 9. Suppose -4*z = -11 - 49. Let f be x(z). Suppose -26*u + f*u + 20 = 0. Is 10 a factor of u?
True
Let n be (-60)/90 - 124/(-6). Suppose 14*b - 12*b = n. Let y(t) = -2*t**3 + 21*t**2 + 18. Is y(b) a multiple of 12?
False
Suppose -543 - 369 = 16*w. Is 3 a factor of (-3414)/w + 4/38?
True
Let x = -19252 - -19562. Is x a multiple of 5?
True
Suppose 2*x - 3*x - 3*u = 0, 0 = -u - 1. Suppose -4*v = -x*l - 0*v + 172, 2*l - 120 = 4*v. Suppose -12 = -l*r + 50*r. Is 2 a factor of r?
True
Let g(y) = 2*y**3 + 14*y**2 + 11*y + 5. Let k be g(-6). Suppose k*z = 2*z - 54. Let u(f) = -5*f + 13. Is 43 a factor of u(z)?
True
Suppose 0 = -5*u - 5*u + 890. Suppose 14*y = -4*s + 13*y + 400, 3*y - u = -s. Is s a multiple of 8?
False
Let f be -2 + (-25)/(-10)*6. Suppose -964 = -f*x + 2156. Is x a multiple of 16?
True
Let t(o) = -o**2 + 29*o - 100. Let g be t(25). Suppose g*q - 56 = -4*f - 4*q, 3*f = -5*q + 40. Does 5 divide f?
True
Let o(h) = 55*h**2 + 56*h + 382. Is o(23) a multiple of 15?
True
Let y = -23698 - -94773. Is y a multiple of 12?
False
Let y = 37 - 19. Let u be y - 0/(0 + 3). Is (1896/(-18))/(4/u*-3) a multiple of 8?
False
Let q = 1562 + 983. Suppose 10*s + q = -605. Does 12 divide 470/13 + (-5 - s/65)?
True
Is 886 - ((28 - 7) + -4) a multiple of 8?
False
Suppose 29*s = 10*s - 38817. Let h = -943 - s. Is 22 a factor of h?
True
Let t(z) = 4*z - 3*z - 2 - z**2 + 3*z**2 + 16*z**2. Is 4 a factor of t(2)?
True
Suppose 31*n - 341 = 775. Is (-4)/24 + 2598/n a multiple of 9?
True
Let u(t) = -2*t**2 + 9*t - 10. Let h be u(3). Is -5 - -260 - (-1 + h) a multiple of 19?
False
Suppose 222*g = 232*g - 26640. Does 105 divide g?
False
Let y = 425 - 726. Let v = y - -739. Does 73 divide v?
True
Does 69 divide ((-83886)/55)/((-45)/150)?
False
Is 306 a factor of ((-36)/(-10))/((-17)/(-249985))?
True
Let c = -22013 - -28943. Is 9 a factor of c?
True
Let p = -36879 - -65103. Is p a multiple of 48?
True
Let r = 51 - 51. Suppose r = 2*k - 0*k - 16. Is (28/k)/(-7)*-8 a multiple of 2?
True
Let m(s) = 15*s**2 - 10*s + 4. Let d be m(-9). Let i = d - 772. Does 14 divide (-3 + 7 + -3)/3*i?
False
Let x = 1926 - 1028. Suppose -2*a + 1796 = -5*l, -2*l + x = a - l. Is a a multiple of 32?
False
Let u(n) = -3*n - 15. Let c be ((-10)/(-14))/((-1)/(-7)). Suppose -f + 1 = -4, -4*x - 49 = -c*f. Is u(x) a multiple of 3?
True
Let o = 351 - 339. Suppose 0 = 2*p - 2, -5*z + 10*p - o*p + 6052 = 0. Is z a multiple of 22?
True
Suppose -3*d = -i - 12988, 2*d - 8656 = -33*i + 34*i. Does 19 divide d?
True
Let f be 16/(-12)*(-1 - -3 - 5). Suppose 4*r - 2188 = -3*t + 725, 2*r - f*t - 1440 = 0. Is r a multiple of 11?
True
Suppose -101178 = -44*b - 81*b - b. Is b a multiple of 21?
False
Is 34 a factor of (287670/(-9))/(-5) - 74/111?
True
Let d(a) = -304*a + 281. Is 34 a factor of d(-11)?
False
Suppose -3*b + b - 4 = 0, -2*b = 3*k - 779. Suppose -264*q + k*q + 2982 = 0. Does 11 divide q?
False
Let h(d) = 53*d**3 + 5*d**2 - 24*d + 33. Is 2 a factor of h(2)?
False
Suppose -2*u = -0*u - 5*h - 29, 5*u - 4*h = 115. Suppose 4*f = 7*f - 51. Let i = u + f. Is 22 a factor of i?
True
Suppose 2*b = p + 2*p + 16, -3*b - 5*p = 14. Suppose -5*d - 195 = -4*q - 23, 0 = 3*q - b*d - 129. Is 3 a factor of q?
False
Let u = 22019 - 15287. Is 102 a factor of u?
True
Let m(n) = -n**3 + 71*n**2 - 63*n - 10. Does 20 divide m(70)?
True
Let w(g) = 1444*g**2 + 168*g - 684. Is w(4) a multiple of 12?
False
Let u(r) = r**3 + 10*r**2 + 9*r + 20. Let v be u(-9). Let l(o) = 2*o**2 - 3*o - 3. Does 31 divide l(v)?
False
Suppose 8*y = 14*y - 174. Let l = y + -24. Suppose 2 = l*u + 22, -r + u + 76 = 0. Does 12 divide r?
True
Let h = -373 + 362. Is h/((54/(-120))/9) a multiple of 20?
True
Let v(x) = -13*x + 101. Let i be v(7). Let w(o) = 15*o + 147. Is w(i) a multiple of 33?
True
Does 174 divide 6/(-2) - 7 - -7840?
True
Suppose -6928 = -5*r + 2567. Suppose 0 = 8*k - r - 2661. Does 10 divide k?
True
Suppose -276*w - 516 = 273*w - 551*w. Does 6 divide w?
True
Let g(b) = -8*b**2 + b - 15. Let n(a) = -16*a**2 + 2*a - 28. Let l(y) = 11*g(y) - 6*n(y). Suppose 2*s - 3 = s. Is l(s) a multiple of 18?
True
Suppose -42 = -10*c + 78. Does 63 divide 7 - (-565 - (7 - c))?
True
Suppose y - 395 = 4*r, -2*y - 13*r = -15*r - 802. Is 2 a factor of y?
False
Suppose x + 53 = -3*n + 626, -4*n + 4*x + 780 = 0. Is n a multiple of 27?
False
Let v = 10297 + -957. Is 29 a factor of v?
False
Let q be -3*12/(-2)*1. Let p be 14/q + -2 - 8/(-36). Is -2 + 57/(p - (-15)/6) a multiple of 12?
True
Let r(p) = -p**2 + 9*p + 12. Let q be r(10). Suppose q*o + 9 = 3*s + 4*o, 0 = 2*s + 2*o - 6. Suppose -g = -s - 13. Does 3 divide g?
False
Let x be 2670/30 + (1 - 0). Let r = x + -68. Suppose 0 = -r*u + 9*u + 1092. Is 21 a factor of u?
True
Suppose 5 = 5*f - 40. Let m be f/(81/36) + (-5 - -1). Suppose -5*i + 2*d + 400 = m, -2*i - 7*d + 136 = -3*d. Does 22 divide i?
False
Suppose -v + 0 + 2 = 0. Suppose -n + v + 1 = 0. Suppose -n*l - u = -166, -15 = u + 2*u. Is 13 a factor of l?
False
Let b be -2 - (-1 - (-44)/(-4)). Is 19 a factor of 4 - 638/4*(8 - b)?
True
Suppose 18*g - 1524 = 14136. Suppose -2*a = a + j - g, 0 = 3*a + 3*j - 876. Is a a multiple of 23?
False
Let p(d) = 16*d**2 + 27*d - 431. Is p(29) a multiple of 12?
False
Let g = -37 + 124. Let n = g + -70. Suppose 29 = 18*r - n*r. Does 29 divide r?
True
Let g = 21 + -15. Let c(f) = 2*f**2 - 5*f + 4. Let a(n) = 8*n**2 - 22*n + 17. Let r(b) = -2*a(b) + 9*c(b). Does 24 divide r(g)?
False
Suppose -b - 3*c = 6, -5*c = -6*c - 4. Let l be ((-5)/(-2))/(b/192). Suppose 9*g = 5*g + l. Is 10 a factor of g?
True
Suppose -4*p + 466 - 1154 = 0. Does 18 divide p/129 - (-