 = j - 18, 3*j - 3*b - 28 = 44. Let n = j - 3. Does 3 divide n?
False
Is 4*-1 + (73 + -35 - -821) a multiple of 153?
False
Let o be (-6)/4*(-32520)/18. Suppose -u + o = 3*u - 5*f, 3*f - 2694 = -4*u. Suppose 6*p - u = p. Does 15 divide p?
True
Suppose -6 + 14 = 4*i + 4*m, 5*m = -3*i + 2. Suppose 26*s - 2178 = i*s. Is 9 a factor of s?
True
Let n = 150 + -144. Suppose n*r - 1161 = 879. Is 10 a factor of r?
True
Let z be (-1)/(-8) + 74844/288. Suppose -3*t - z + 1880 = 0. Does 10 divide t?
True
Suppose 3*w + 5 = p + 11, -4*w = 5*p - 27. Suppose -365 = -i - 0*i + w*x, x - 1145 = -3*i. Is 11 a factor of i?
False
Suppose 9*b - 5*b - 1272 = 0. Suppose -5*h + 2*c = 7*c - 225, -3*c = 5*h - 235. Suppose -4*g - h = -b. Does 11 divide g?
False
Suppose 0 = -5*q + 2*a + 62, -q + 11 = -5*a - 6. Let y be 3/1 - q/3. Is (-2*(1 - y))/((-2)/8) a multiple of 3?
False
Let l = -27 - -15. Let w be (-3)/(l/20) + (0 - 0). Suppose -w*u + 248 = -112. Is u a multiple of 10?
False
Does 4 divide (10 - 0) + -28 + (13 - -5010)?
False
Let o = -148 - -2468. Does 29 divide o?
True
Let f(u) = -u**3 + 62*u**2 + 51*u + 52. Is f(39) a multiple of 32?
True
Let p = 255 - 253. Suppose 0 = 2*y + 5*x - 1112, -p*y + 8*x = -3*y + 545. Is 11 a factor of y?
True
Suppose 4*x - 3001 - 2851 = -d, 1450 = x - 3*d. Is 73 a factor of (2 - x)*3/(-6)?
True
Let h(i) = 1556*i**2 - 47*i - 9. Is 12 a factor of h(-2)?
False
Let q(h) = 14*h + 16. Let p(c) = -7*c - 8. Let i be (-42)/56 - 54/(-8). Let u(b) = i*q(b) + 11*p(b). Does 9 divide u(4)?
True
Let c = 75 - 54. Let y = 21 - c. Suppose -3*n + 10 + 8 = y. Is 2 a factor of n?
True
Let r = 133 - 150. Let j = r - -113. Is j a multiple of 12?
True
Let p(l) = l**3 + 36*l**2 + 6*l - 177. Is 6 a factor of p(-24)?
False
Let v(z) = 6*z**2 + 13*z - 18. Let a(c) = -c**2. Let s(x) = -5*a(x) - v(x). Let t be s(-14). Suppose -219 + 687 = t*q. Is q a multiple of 39?
True
Suppose 0 = -4*w + 5*j + 13, w + 6*j - 4 = 8*j. Suppose -4*r + 262 = -w*a, -4*a + 5*a = -3*r + 189. Is 3 a factor of r?
False
Let r = 761 + -775. Does 3 divide 457/2 - r/(-4)?
True
Suppose -88*i + 24815 = c - 89*i, -5*c + 8*i + 124066 = 0. Is c a multiple of 57?
False
Suppose 178*o - 21314 = 4852. Is 3 a factor of o?
True
Let s be 0/2*(-3)/(-6). Let k = -4626 + 8253. Suppose 10*i - k + 987 = s. Does 12 divide i?
True
Suppose 171*f - 18348528 = -250*f + 49*f. Is 44 a factor of f?
True
Suppose 7*s = 12*s - m - 14032, -3*s = -5*m - 8450. Is s a multiple of 3?
True
Suppose -2*a + 66 = -8*a. Let s(d) = -7*d - 17. Is 60 a factor of s(a)?
True
Suppose 3*v - 315824 = 3*n - 70214, -5*v - 4*n = -409332. Does 388 divide v?
True
Suppose -4*n + 16 = -y + 5*y, 5*n = y + 20. Suppose -10*w + 1070 + 10 = y. Does 36 divide w?
True
Suppose 0 = 4*l + 4*g - 30256, 86*l - 3*g + 37812 = 91*l. Does 30 divide l?
True
Suppose 3*n = -4*d + 8, d - 2*n = -0*d + 13. Suppose -d*m = 40 - 55. Suppose 2*r = m*r - 2*i - 22, -2*i - 40 = -2*r. Is r a multiple of 5?
False
Let s(d) = -d - 7. Let q be s(-14). Suppose 2*k + 1021 = q*k + f, 3*f = -k + 207. Is 34 a factor of 4/3*k/8?
True
Suppose -w - 9 = 0, -3*j + 199725 = w + 11688. Is j a multiple of 186?
True
Let x(q) = 845*q - 8. Let s be x(4). Does 42 divide (-24)/16 + s/8?
True
Let r = 24 - 42. Does 8 divide 16/(-6)*2484/r?
True
Let d be (-285)/25 + (-6)/10. Let n(k) = 32*k**3 - 7 - 3*k + 12*k**2 - 18*k**3 - 13*k**3. Is n(d) a multiple of 11?
False
Let n(j) = -36*j + 1713. Let f be n(0). Let w = f - 1200. Is w a multiple of 27?
True
Let n be (-5)/6*(1 + 2 + -9). Suppose -n*c = 12*p - 7*p - 480, -2*p = -5*c + 494. Does 14 divide c?
True
Suppose -17*k + 43 = 26. Suppose -46*w + 41*w = 2*r - 2909, k = w. Is r a multiple of 22?
True
Let s = 553 + -558. Let d(r) = -29*r + 86. Is 6 a factor of d(s)?
False
Suppose 2*a - 4*k - 3773 = -5*k, -5662 = -3*a + k. Let u = -1126 + a. Is u a multiple of 12?
False
Let f(t) = 2 - 2*t**2 + 2*t**2 - 18*t**3 + 17*t**3 - 6*t**2. Let x be f(-6). Suppose y - 44 = 2*v, -v = -3*y + x*y + 45. Is y a multiple of 10?
False
Let m(f) = -f**2 + 168*f + 519. Is m(89) a multiple of 25?
True
Let r be 68/306 - (-241)/9. Suppose -31*p + 348 = -r*p. Is 2 a factor of p?
False
Let p(u) = -45*u + 149. Suppose -a = -5*w + 37, 4*w = -a + 27 - 19. Does 16 divide p(a)?
False
Let o = -14 + -12. Let l be 2/5 + (-9867)/(-195). Let v = o + l. Is 19 a factor of v?
False
Let f = -464 - -778. Let s = -272 + f. Is 14 a factor of s?
True
Let f = -669 + 692. Suppose -f*p = 921 - 10581. Is p a multiple of 10?
True
Let p(l) = l**3 - 2*l**2 - 2*l - 21. Let q(w) = -w**2 - w + 1. Let c(u) = -p(u) + 3*q(u). Does 13 divide c(-7)?
True
Let j(i) = i**2 + 18*i + 72. Let p be j(-6). Suppose 4*h - 1725 - 795 = p. Does 21 divide h?
True
Suppose 39 - 34 = -5*n. Let l be -4 - (n - 0)*-16. Does 37 divide ((-1554)/35)/(6/l)?
True
Is (-4)/(-20) + (2 - 30670/(-25)) a multiple of 6?
False
Suppose 0 = -m + 4*l - 303, 5*l = -2*m + m - 258. Let t = 715 + m. Does 54 divide t?
True
Let m(z) be the third derivative of -z**6/120 - z**5/60 + 7*z**4/12 + 37*z**3/6 + 53*z**2. Does 25 divide m(-9)?
False
Let h(z) = z**2 + 8*z + 55. Let g(o) = o**3 + 3*o**2 + o + 2. Let y be g(-4). Is h(y) a multiple of 49?
False
Suppose -38*k + 9*k + 725 = 0. Let c(h) = 20*h + 232. Does 9 divide c(k)?
False
Let f(a) = 3*a**3 + 280*a**2 + 75*a + 111. Is 35 a factor of f(-93)?
True
Let v be 15*2/4*2/3. Suppose 4*l + 13 = o, 18 = -3*o - v*l - 11. Let n(m) = -2*m**3 + 2*m**2 + 4*m + 3. Is 18 a factor of n(o)?
False
Suppose -22*o + 13*o = -5*y + 59674, -2*y + 23842 = o. Does 12 divide y?
False
Suppose 0 = -5*c - 5, -11*c + 7*c - 96484 = -5*k. Does 5 divide k?
False
Let f = -1977 + 2442. Is 155 a factor of f?
True
Let x(q) = 102*q - 3. Let i be x(2). Suppose 867 = -3*m - 2*b + 889, 6 = -5*m + 2*b. Suppose 4*r + m + 6 = 0, j - i = -4*r. Is 25 a factor of j?
False
Let d(g) = -2*g**2 - 49*g - 22. Let o be d(-24). Let c(b) = -b**3 + 2*b**2 - o*b**2 - 6*b - 2*b**2 + 5*b**2. Is 23 a factor of c(-5)?
True
Let w = 2338 - 1463. Is 25 a factor of w?
True
Let w be -3*10/30*3/(-1). Suppose w*x - 51 + 42 = 0. Suppose 0 = x*n - n - 724. Is 64 a factor of n?
False
Let l be 2/((9/264)/3). Suppose -4479 + 5495 = 4*t. Let b = t - l. Does 17 divide b?
False
Let s(y) = 3*y**2 - 3*y - 92. Let h be s(-10). Suppose 0 = -13*w - w + h. Is 2 a factor of w?
False
Suppose -s + 25 = -146. Suppose 4*v = 1029 + s. Is 34 a factor of v?
False
Let y(o) = 5*o - 4*o + 7 + 3*o - 2*o. Suppose 103 = 12*n - 17. Is y(n) a multiple of 17?
False
Let x = 19360 - 10709. Does 48 divide x?
False
Suppose 70*s - 18 = 79*s. Is (-6 + s)*-63*(-1)/(-4) a multiple of 63?
True
Suppose 2*f - 7*f + 2*g = -43, -4*f - 5*g = -41. Let r = 11 - f. Is (-15)/(-9) - r - 5190/(-18) a multiple of 32?
True
Let l = 21643 - 14851. Does 24 divide l?
True
Suppose -30*q + 150 = -36*q. Does 17 divide -50*(q/2 - (4 + -5))?
False
Let o(r) = -4*r**3 + 3*r**2 + 10*r - 9. Let w be o(4). Let b = w + 213. Is b a multiple of 4?
True
Let a(t) = 98*t - 194*t + 60 + 95*t. Let o(f) = -6*f + 14. Let i be o(6). Is a(i) a multiple of 8?
False
Suppose -37727 = 18*b - 286247 - 47616. Does 58 divide b?
False
Let k(s) = -5*s - 105. Let b be k(-23). Suppose 3*c = 4 - b, 5*d + 3*c - 939 = 0. Does 27 divide d?
True
Suppose 75*z - 31592 = 70*z - 3*n, -5*n = -20. Is z a multiple of 11?
False
Let j(p) = -38*p - 76. Does 18 divide j(-20)?
True
Suppose -33*c = -26*c + 5810. Let b = 868 + c. Does 19 divide b?
True
Let q = 169 + -462. Let h = -130 - q. Does 36 divide h?
False
Let a = 337 - 206. Suppose 0 = 2*x - a - 37. Is x a multiple of 21?
True
Is 847/363*(-55026)/(-2) a multiple of 21?
True
Let k(l) = l**3 - 12*l**2 + 12*l - 4. Suppose 27 = 3*q - 2*o - 10, 5*q - 4*o - 63 = 0. Let y be k(q). Suppose -y*t + 2876 = 874. Is t a multiple of 22?
True
Let w = 81012 - 45537. Is w a multiple of 25?
True
Let m = 0 - 2. Let f be 6 - 4/(4/5). Is 81 - (f + -3 - m) a multiple of 9?
True
Let y(o) = 4*o**2 - 10*o - 24. Let k = 2 + 7. Let r be y(k). Let m = -120 + r. Is m a multiple of 4?
False
Let h = 166 + 2617. Is 20 a factor of h?
False
Let q = 39 - 6. Let b = -47 + q. Is (-4)/b + (-47)/(-7) a multiple of 7?
True
Let q = 37 - -3. Suppose 45*f - q*f + 14355 = 0. Does 11 divide (f/116)/(3/(-8))?
True
Let q = -705 - -1180. Let u = q + -139. Does 42 divid