1)/3). Suppose -h = -n*d - d. Is d a multiple of 20?
True
Suppose 0 = -7*i + 21177 + 21859. Is i a multiple of 53?
True
Let a = -4 + 10. Let f(y) = -4*y**2 + 3*y + 16. Let j(c) = 9*c**2 - 6*c - 33. Let h(w) = -7*f(w) - 3*j(w). Does 3 divide h(a)?
False
Suppose -6809 = -3*o + 2*t + 10716, -5*t = -4*o + 23369. Is o a multiple of 59?
True
Suppose -3*n + m - 4*m = -27, 0 = 5*n - 3*m - 13. Let y(g) = -5*g - 9. Let a be y(-5). Suppose -h + n = -a. Does 10 divide h?
False
Let d = 321 + -319. Is 15 a factor of 241704/756 - d/(-7)?
False
Suppose -2*b - p + 95 = 0, 3*p = 2*b - 45 - 46. Suppose -4*y + b = -2*z + 1, 0 = -3*z - 3*y - 51. Let a = z + 43. Is 12 a factor of a?
True
Let r = -137 - -161. Let m be 12*4/(16/(-4)). Let k = r - m. Is k a multiple of 26?
False
Let s be 2 + 0 + 0 + 1. Suppose s*b = -d - 2*b - 21, -4*d - b + 11 = 0. Suppose 3*a = 2*l - 306, 427 = d*l + 5*a - 185. Is 17 a factor of l?
True
Suppose -13*o + 8*o = -0*o. Suppose o = 2*z + g - 15, 2*z + 12 = 3*z + 2*g. Does 4 divide (22/4)/((21/z)/7)?
False
Is 8 - (4/(-16) + (-28574)/8) a multiple of 20?
True
Suppose -21485 = 34*t - 62251. Is t a multiple of 4?
False
Suppose s + 3*g = -3*s - 51, 2*s + 29 = -5*g. Let h be s/7*98/(-21). Suppose 3*r - 192 = -h*m + 4*m, 0 = 3*m + r - 144. Does 12 divide m?
True
Let s be 13/78 + (-178)/(-12). Let x = s - -1. Suppose 2*f - f = x. Is 8 a factor of f?
True
Let l(w) = 1217*w**2 - 58*w + 13. Does 146 divide l(-6)?
False
Let i(t) = t**2 + 25*t + 161. Let d be i(-18). Let q(b) = b**3 + 5*b**2 + 5*b + 4. Let x be q(-4). Let l = d - x. Does 35 divide l?
True
Let y(v) = 117*v**2 + 3*v + 3. Is y(2) a multiple of 4?
False
Suppose 3*y - 2 = -4*w, 0 = y - 3*y - 4. Suppose -3*t + 0*t + 15 = 0. Suppose 576 = t*s + w*i, -3*s + 3*i = -110 - 223. Is 19 a factor of s?
True
Let j be (-3*(-3)/12)/((-6)/96). Is 5 a factor of ((-105)/12)/(-1 - j/16)?
True
Let l(q) = -237 + 184 + 199 - 20*q. Does 7 divide l(4)?
False
Let j = 8847 - 5503. Is j a multiple of 38?
True
Suppose -65*v = -69*v + 9344. Suppose t + 2*l - 580 = 0, -2*t = -6*t - 4*l + v. Is 14 a factor of t?
True
Let l(x) = -2550*x - 660. Is l(-6) a multiple of 40?
True
Let p = 557 - -2120. Suppose 5*a + 3584 = 4*y, -3*y - 2*a = -3*a - p. Does 81 divide y?
True
Let s = -125 + 136. Suppose 4*q - 5*v = -4*v + 21, q + 3*v + s = 0. Suppose -2*a - q*r = -22, 0*r + 2 = -2*r. Does 3 divide a?
False
Let a = 7980 + -3385. Is a a multiple of 13?
False
Suppose -3*j - 21441 = -15*f + 13*f, -3*f - 3*j + 32169 = 0. Is 22 a factor of f?
False
Let a(i) = i + 1. Let g(r) = -12*r - 9. Let n(u) = -6*a(u) - g(u). Let y be n(2). Let d = y - -20. Is 35 a factor of d?
True
Let p(b) = -3*b - 572. Let v be p(0). Let y = v - -1079. Is 2/(-7) - (-4)/42*y a multiple of 18?
False
Is 119 a factor of (21/9*-17)/(2*2/(-852))?
True
Suppose -2*v - 943 + 107 = -2*y, -4*v + 866 = 2*y. Suppose 0 = -4*p - 5*d + 293, -4*d + 139 = -4*p + y. Is 36 a factor of p?
True
Let w = -2110 - -4974. Suppose 4*f + 2*l - w = 0, -565 = -5*f - 4*l + 3009. Is f a multiple of 28?
False
Let a = -16319 + 18749. Is 243 a factor of a?
True
Let i be -3 - ((3 - 11) + -700). Let u = i + -687. Is u a multiple of 6?
True
Suppose -3*b + 3*q - 6 = 0, 0 = 2*b - 5*q + 6 + 10. Suppose m = y - 2*m - 76, -b*m + 81 = y. Is 14 a factor of y?
False
Let k = -3 + 1. Let n be 3 + 16/k - -3. Is (-1 + -185)*n/3 a multiple of 31?
True
Suppose 53*b + 144 = 62*b. Does 4 divide b/(-88) - (-3792)/44?
False
Let f(s) = 30*s + 14 - 9*s - 11*s - 9*s. Let h be f(-9). Suppose 0 = -2*q - 3*g + 81, 4*g - 225 = -h*q + g. Is 12 a factor of q?
True
Let k(s) = 134*s**2 - 10. Let n be k(4). Suppose z - 3*q - 2*q = -1082, -2*z - n = 5*q. Is 6 a factor of ((-9)/12 + 1)*z/(-4)?
False
Let m = -201 - -90. Does 6 divide (-3)/(4 + 1 + -4) - m?
True
Suppose -4*d + 6*d = 4, 0 = -3*y + 5*d + 4160. Suppose -6*s = -4*s - 5*c - y, 4*c + 692 = s. Does 14 divide s?
True
Suppose -2*x = -2*i + 792, 5*x - 8*x = -5*i + 1972. Let s(d) = 10*d**2 - 6*d - 5. Let b be s(-5). Let c = i - b. Is c a multiple of 9?
True
Let d(j) = 8*j**3 - 3*j**2 + 7*j - 5. Let r be ((-6)/(-4))/(102/(-120) - -1). Suppose -3*n + r = 2*a - 6*n, 14 = 5*a - 2*n. Does 19 divide d(a)?
False
Let v(q) = -9*q + 57. Let l be v(8). Let i(y) = 4*y + 68. Is 7 a factor of i(l)?
False
Let m(g) = -152*g - 742. Does 13 divide m(-29)?
True
Let w(f) = 183*f**2 - 43*f - 291. Is w(-9) a multiple of 5?
False
Suppose -11*r + 10*r - m + 5756 = 0, 5*r = -m + 28796. Suppose 0 = -49*p + 9*p + r. Is p a multiple of 6?
True
Let k = 11901 - 842. Is 5 a factor of k?
False
Let f(v) = -5*v + 4467. Is f(32) a multiple of 9?
False
Let g(h) = h**2 - 3 - 5 + 2 + 5*h - 14. Let f be g(-7). Let b(c) = -6*c + 1. Is b(f) a multiple of 3?
False
Let o(u) = 4*u**3 + 3*u**2 - 13*u + 60. Let n be o(5). Suppose -134 = 4*h - n. Is h a multiple of 5?
False
Let w = 30661 + -17998. Does 100 divide w?
False
Let k(x) be the third derivative of 43/24*x**4 + 0 - 9*x**2 - 1/6*x**3 + 0*x. Is k(6) a multiple of 39?
False
Suppose 5*v = 3*p + 1635, -3*p - 431 = -2*v + 223. Suppose -3*s = 2*u + v, 73 = -3*s - 5*u - 245. Let c = -92 - s. Does 7 divide c?
False
Let z = -3465 + 3866. Is 3 a factor of z?
False
Suppose 0 = 4*i - 7*s + 2*s - 16, 0 = 5*i + 5*s - 65. Suppose -16 - i = -5*d, -4*d = -2*p + 566. Is p a multiple of 36?
False
Suppose -4*a = -232*v + 231*v - 7616, 5*v = -4*a + 7640. Does 15 divide a?
True
Let i(m) = m**2 - 5*m - 49. Let t be i(-5). Is (-174)/t*(-4)/((-40)/(-10)) a multiple of 6?
True
Let v(a) = 685*a + 10. Let q be v(1). Let t = 415 + q. Is t a multiple of 42?
False
Let y(j) = 2*j - 112 + 4*j**2 + 106 + 0*j. Does 25 divide y(6)?
True
Suppose -3*p + 77760 = 4*n, -2*n + 87*p + 38900 = 91*p. Is n a multiple of 41?
True
Let v = -125 - -375. Is v a multiple of 2?
True
Is 5 a factor of -292*(1 + -11 + 0)?
True
Is 26 a factor of ((-75)/400)/((-2)/9032)*68/3?
False
Let n = 99 - 96. Suppose -4*y + 1450 = 5*g, n*y + 2*y - 1808 = -4*g. Is 36 a factor of y?
True
Let r(y) = -336*y - 43. Let q be r(-8). Suppose 7*i = q + 2626. Does 21 divide i?
False
Let f(b) = b + 6. Let y(o) = 21*o + 25. Let t(k) = -5*f(k) + y(k). Suppose 107 - 39 = 5*d - 2*w, -d + 28 = -4*w. Is t(d) a multiple of 16?
False
Let w(t) = 27*t**2 - 59*t. Let a(z) = 28*z**2 - 60*z - 1. Let m(h) = -3*a(h) + 4*w(h). Is 18 a factor of m(3)?
False
Suppose y + 3 = -3*o, o - 2*o = -4*y + 27. Suppose 0 = -y*r - 585 + 2097. Is 46 a factor of r?
False
Let l = 35 - 35. Suppose -3*u - 172 - 56 = l. Let j = 153 + u. Does 20 divide j?
False
Suppose 9 = 2*p + 1. Suppose -g - p = 5*s, -2*g - s - 54 = 2*g. Is 16 a factor of (-109)/(-7) - 6/g?
True
Let k(i) = 1121*i**2 + 638*i - 3224. Is k(5) a multiple of 23?
True
Let k(u) = -u**2 - 64*u + 125. Does 10 divide k(-45)?
True
Let c = 2582 + -1714. Is 31 a factor of c?
True
Let z be 8 + -3 + 2955 - -9. Let h = -1779 + z. Does 70 divide h?
True
Suppose -6 = -17*b + 15*b. Suppose b*r + a + a - 8 = 0, 7 = r + 5*a. Suppose -r*v = 4*o - 326, -481 = -3*v - 4*o - 0*o. Is 17 a factor of v?
False
Suppose 2*m - 3 = 11. Let w(c) be the third derivative of -c**6/120 + 7*c**5/60 + c**4/12 + 3*c**3/2 + 69*c**2. Is 2 a factor of w(m)?
False
Let t = -8133 + 16373. Is 103 a factor of t?
True
Let p be ((-14)/(-5))/(2*4/(-80)). Let k be ((-120)/(-14))/(3 - (-80)/p). Suppose -3*v + 6 = -k. Does 22 divide v?
True
Suppose 4*x + 62336 = 4*o, -12*x = -o - 9*x + 15574. Suppose o + 3221 = 18*y. Is y a multiple of 16?
False
Let h(z) = -6*z**2 + z - 1. Let y be h(1). Let r be -84*y*(-4)/16. Does 2 divide (-3)/(-7) + (-576)/r?
False
Suppose 2*k + 5 = 3*k + 5*v, 0 = -3*k + 4*v - 4. Suppose 3*z - 6*z + 18 = k. Let j(q) = -q**3 + 9*q**2 - 2*q - 14. Is 41 a factor of j(z)?
True
Suppose 11*t + 592 = -5*t. Let h(w) = -18*w - 210. Is 8 a factor of h(t)?
True
Let a = 82293 + -25329. Does 12 divide a?
True
Let f be 80/36 - 2*4/36. Suppose -l - f*k = -2*l + 357, 0 = -2*l - 2*k + 696. Is 16 a factor of ((-2)/(-2))/(3/l)?
False
Suppose -3 = 14*p - 45. Suppose p*a - 3*l = 228, -5*a + 215 = 2*l - 193. Is 40 a factor of a?
True
Let m = 5687 + -2839. Is 16 a factor of m?
True
Let f(l) be the second derivative of l**4/6 - 2*l**3 + 23*l**2 + 62*l. Does 12 divide f(5)?
True
Is (19975 - (0 - 5 - -6)) + (3 - -3) a multiple of 54?
True
Suppose 291 + 255 = 7*z. L