/20)?
True
Suppose -29*b - 22*b + 35*b + 133536 = 0. Does 12 divide b?
False
Let x be (-3 + 7)/4*5. Suppose q - 65 - 35 = -3*o, -x*q = -5*o + 140. Does 4 divide o?
True
Let l(r) = -11*r**3 + 3*r**2 + 14*r + 27. Suppose 2882 = 7*q + 2896. Is 11 a factor of l(q)?
True
Let f be -1*2*5/(-5)*-2. Let u be (-1)/(6/(-45)) + 6/f. Does 12 divide 4/u - ((-560)/6)/4?
True
Suppose 0 = 58*a - 44380 - 31020. Is a a multiple of 26?
True
Let r be (-6)/4*4140/(-27). Let n = -159 + r. Is n a multiple of 4?
False
Suppose -12544 = -8*q + 24*q. Let t = -525 - q. Is t a multiple of 37?
True
Let x = -11641 + 19495. Does 187 divide x?
True
Let a be 104/(-14) - 99/(-231). Let r(n) = -n**3 - 8*n**2 - 15*n + 9. Is r(a) a multiple of 5?
True
Let h = 4333 - -5622. Is 18 a factor of h?
False
Let r = -329 + 333. Suppose 3*t + t + r*m = 1928, -2*t - 4*m + 954 = 0. Is 15 a factor of t?
False
Suppose 9*l + 10979 - 27798 = 22826. Is 9 a factor of l?
False
Let b(g) = 48*g**2 - 70*g + 805. Does 17 divide b(9)?
True
Suppose 0*i - 29 = -x - 2*i, -4*x = -4*i - 68. Suppose -x*t + 5195 = -3415. Does 18 divide t?
False
Suppose 0 = -x - 4, x + 2324 = 5*o - 17980. Suppose 19*k - o = 2495. Is k a multiple of 23?
True
Suppose 434471 + 197307 = 29*w + 91247. Does 57 divide w?
True
Let m be 34*11 + (-7 - (-7 - -1)). Suppose 7*f + 796 = -4*r + 4*f, -812 = 4*r - f. Let d = m + r. Does 32 divide d?
False
Let z(p) be the third derivative of p**5/15 - 3*p**4/8 - 13*p**3/3 + 2*p**2. Suppose -2*w - 20 = 5*j, 15*j = -7*w + 20*j - 25. Does 32 divide z(w)?
False
Suppose -s + d = -4306, -s - 3*d + 2065 = -2249. Does 37 divide s?
False
Let y be (-5)/2*(46/(-10) - -3). Let c = 943 + -399. Suppose 0*i + c = y*i. Is i a multiple of 11?
False
Is 70 a factor of (-21*5/(-15) - 10)/(2/(-2722))?
False
Suppose 2*f - 1733 = -25*b + 24*b, -6*f - 4*b = -5194. Does 43 divide f?
False
Suppose 14*r - 8*r - 12 = 0. Suppose -526 = -r*u + i, -u - 2*i = -47 - 206. Does 14 divide u?
False
Suppose -5*z = -3*f + 30 + 42, 2*f - 52 = 2*z. Let n = 29 - f. Is 4*(465/12 + n) a multiple of 32?
False
Suppose 2*p - 9041 - 4076 = -3*y, 5*y = 4*p + 21847. Is y a multiple of 47?
True
Suppose 4*f + y = 11929, -6*y - 29821 = -10*f - 7*y. Is f a multiple of 21?
True
Let h be (-29)/(-5) + 96/(-120). Suppose -h*b = -6 - 354. Is 4 a factor of b?
True
Let n(u) = -u**3 + 4*u**2 + 4*u + 5. Let v be n(5). Suppose 3*h = 3*f, v*h = -4*f + 3*h + 5. Suppose -3*t - 4 + 10 = y, y + f*t + 2 = 0. Is 18 a factor of y?
True
Suppose -244*a + 249*a + 5875 = 5*h, 0 = 4*h + 4*a - 4724. Is h a multiple of 80?
False
Suppose -2*x - 5*x = -14. Does 48 divide (-2346)/(-7) - x/14?
False
Let z = -21 + 24. Suppose z*k - 4*k - 6 = 0. Is 16 a factor of 23/(1 - (-3)/k)?
False
Let o(m) = m**2 + 4*m + 24. Let z be o(0). Suppose 0 = j - 7*j + z. Is (-24)/j*22/(-3) a multiple of 6?
False
Suppose 0 = 2*m + 1626*b - 1627*b - 17512, -3*b - 17496 = -2*m. Is m a multiple of 60?
True
Suppose -70655 = -4*n - 5*q - 15354, -2*q + 27650 = 2*n. Does 16 divide n?
True
Suppose 201*y - 2339919 - 4121829 = 0. Does 282 divide y?
True
Suppose 19*m - 20*m - 4*j = 790, -m - 790 = 3*j. Let p = -676 - m. Is p a multiple of 3?
True
Let k = -159 + 701. Let u = -228 + k. Does 19 divide u?
False
Let o(z) = 242*z**2 - 12*z + 16. Suppose 3*d - 3*g - 6 = 6*d, 3*d = 4*g + 22. Does 80 divide o(d)?
True
Let a(s) be the first derivative of s**3/3 - 51*s - 20. Is 12 a factor of a(-19)?
False
Suppose 10*i - 56 = 194. Suppose -26*j = -i*j - 8. Does 16 divide (-24)/(-96) - (-678)/j?
False
Let z(t) = -2*t - 6*t + 86 + 9*t - 10 + 9. Does 15 divide z(-25)?
True
Suppose 10*l = 4 + 36. Suppose 5*i - 4*k = -8*k + 132, 4*k - 104 = -l*i. Is 3 a factor of i?
False
Suppose z - 105 - 122 = 2*w, -3*w = 0. Is z even?
False
Suppose 12 - 6 = r. Let t(f) = f + 0*f**2 + 5*f + 7 + 10 + f**2. Does 23 divide t(r)?
False
Suppose 16661 = 2*y - 5*w, -4069 = 2*y + 5*w - 20780. Is 27 a factor of y?
True
Let p(a) = -24*a**3 - 14*a**2 - 18*a + 20. Is 12 a factor of p(-5)?
True
Let h(v) = -58*v + 23. Let n be h(-3). Suppose -4*w = -2*x - 2415 - n, -5*x - 1290 = -2*w. Is 5 a factor of w?
True
Suppose -114 - 51 = -11*g. Does 5 divide (-5)/4*(-20)/g*69?
True
Let w(d) = -59*d - 9. Suppose -12 = -2*u - 10. Let a(t) = t + 1. Let b(p) = u*w(p) - 2*a(p). Is b(-2) a multiple of 27?
False
Suppose 46*a = 56*a - 2510. Let n = 79 + a. Is n a multiple of 11?
True
Let u(v) be the first derivative of 23*v**4 - v**2/2 - 12. Is u(1) a multiple of 38?
False
Let y(g) = -10*g - 6. Let j be y(-1). Suppose 4*p - j = -2*d, 0 = 5*d - 2*d - p - 6. Suppose 4*q + d*q = 624. Is q a multiple of 16?
False
Suppose 16*b - 147 = 15*b. Let q = -29 + b. Is 5 a factor of q?
False
Let w = 32 - -9. Let b = w - 30. Suppose 36 - b = d. Does 4 divide d?
False
Suppose -18*r + 21600 = -0*r. Suppose -10*i + 300 = -9*i + 3*g, 4*i - r = -3*g. Does 9 divide i?
False
Suppose -5*d - 9 = 6. Let p be (d/(-9))/(3/(-261)). Let l = -22 - p. Is l a multiple of 3?
False
Let a = 125 + -2. Suppose a*d = 124*d - 200. Is 50 a factor of d?
True
Suppose 5*d - 1044 = 8*y, -2*d + 479 - 77 = 2*y. Does 3 divide d?
True
Suppose a + 9 - 3 = -t, 0 = -3*a - 3. Is t + 3/((-24)/(-2192)) a multiple of 26?
False
Suppose -2*m = -32 + 26. Suppose 0 = -m*u + 149 + 169. Suppose 2*x = u - 18. Is x a multiple of 14?
False
Let m(f) = -f**2 - 108*f - 1997. Does 29 divide m(-61)?
True
Let w be 3/(12/(-62)*(-8)/(-32)). Let c = -65 - w. Is (75 - (-3 - c)) + 2 + -3 a multiple of 37?
True
Suppose 3*a - 6171 = f, -10*f - 4130 = -2*a - 12*f. Does 5 divide a?
False
Let c be (-16)/9*3*9. Is c/28*(16 - 331) a multiple of 23?
False
Let l(n) = 2 + 21*n**2 - 2*n + 3 - 1 - 6*n. Is 31 a factor of l(-4)?
True
Suppose -s = -0 - 5, 4*v - 4*s - 20404 = 0. Is v a multiple of 37?
True
Let b = 5958 + -2857. Does 47 divide b?
False
Suppose 4 - 82 = 3*t. Let w be (t/(-5) - -2)*(-15)/2. Is 16 a factor of 9/w + 193/6?
True
Suppose 36*l = 31*l - 90. Is 4711/42 - (-3)/l a multiple of 14?
True
Let j(b) = -9*b**3 - 14*b**2 + 8*b + 70. Let m be j(-6). Let y = m - 940. Is 58 a factor of y?
True
Let n(l) = 9*l**3 + 2*l**2 + 5*l + 7. Let p be n(-4). Let h = 918 + p. Is 17 a factor of h?
False
Let v be (1 - (-20)/(-12))*-639. Let g = -217 + v. Does 9 divide g?
False
Suppose 4*c + 4*c - 72 = 0. Suppose -3*y + 6*y = c. Suppose -2*t + y*r + 49 = 0, -2*r = -5*t - 5*r + 154. Is 29 a factor of t?
True
Let b(n) = -256*n**2 - n**3 + 62 + 273*n**2 + 36*n + 5*n. Does 17 divide b(19)?
True
Let q = -201 + 449. Let b = q - -35. Does 8 divide b?
False
Suppose i + 422*s - 7270 = 425*s, 2*i - 3*s = 14522. Is 98 a factor of i?
True
Let c(w) = 14*w**2 - 162*w + 22. Is c(53) a multiple of 89?
False
Let j(l) = l**2 + l + 6. Let m be j(-6). Let r = -15 + m. Suppose r*g + 100 = 22*g. Does 20 divide g?
True
Let y(r) = -1170*r + 321. Let i(w) = 117*w - 32. Let m(x) = -21*i(x) - 2*y(x). Is m(-2) a multiple of 74?
False
Suppose q - 2*q + 1 = 0. Let g be (-14636)/(-12) - -1*q/3. Suppose g = -b + 11*b. Does 23 divide b?
False
Let m(s) = s**3 + 45*s**2 + 15*s + 225. Is 7 a factor of m(-44)?
False
Let m(d) = -540*d**3 - d - 23. Let k be m(-3). Does 39 divide (((-81)/12)/(-3))/(42/k)?
True
Let i be (15/(-6) - -1)*(-224)/(-6). Let c be 5/(-1)*i/40. Suppose 4*p = -x + 194, -4*x = -1 - c. Is p a multiple of 18?
False
Let f(h) = -7*h**2 + h + 7. Let r be f(3). Let i = -44 - r. Suppose i*n + 70 = 14*n. Is n a multiple of 14?
True
Suppose 4*m - 2330 = 2*v, -2*v - 2*v = -2*m + 1156. Let f = m + -328. Is f a multiple of 10?
False
Suppose 0 = -0*p + 10*p - 170. Suppose 2*w = -2, 5*w - 3187 = -p*j + 14*j. Does 28 divide j?
True
Let k be (-4)/(-10) - (-124)/(-10). Suppose 7*u - 299 = -3*s + 3*u, -2*u = 2*s - 202. Let t = s + k. Does 31 divide t?
True
Suppose 2*s + 0*s + 258 = 0. Suppose -288*r + 282*r = -66. Let h = r - s. Is 14 a factor of h?
True
Suppose -9*o - 20 = -11. Is (55/33)/(o*1/(-9)) a multiple of 2?
False
Let w = -49 - -62. Suppose 0 = -4*c - w - 39. Let k(z) = z**3 + 15*z**2 + 18*z - 5. Is 33 a factor of k(c)?
True
Let b = -238 + 489. Suppose -213 - 381 = 6*c. Let v = b + c. Does 31 divide v?
False
Does 171 divide (907344/702 - (-6)/39)/((-3)/(-18))?
False
Let n(l) = -340*l - 1584. Is n(-6) a multiple of 152?
True
Let t = -9 - -42. Let s = -15 - t. Is 1060/8*(4 - s/(-15)) a mu