s 54 divide w?
False
Let i(m) = m**3 + 10*m**2 + 14*m - 25. Let z be i(-7). Suppose -z*q = 172 - 11116. Is q a multiple of 19?
True
Is (-8 + 1430)*20/60 a multiple of 41?
False
Let u(r) = -1102*r**3 - r**2 + 13*r + 13. Is 2 a factor of u(-1)?
False
Let f(c) = 87*c**2 + 80*c - 450. Does 39 divide f(6)?
False
Suppose i + 8 = -4*w + 32, -2*i + 13 = w. Suppose -5*a - 4*q = -q - 710, 5*a - 675 = i*q. Is a a multiple of 6?
False
Suppose n - 5*w = -3*w + 10, 2*n + 4 = -2*w. Suppose 49 = -k - n*d, -4*d = 4*k + k + 257. Let v = k - -83. Is 30 a factor of v?
True
Suppose -3*s - 3*w = 0, 0*s = -2*s - w + 5. Suppose -3*b + 2*f + 16 = 0, -15*b + 16*b - 10 = 3*f. Suppose v = s*m, b*v = -3*m + 5*m + 36. Does 9 divide v?
False
Let v(o) = 14*o**2 - 7*o + 15. Let h(q) = 9*q**2 - 5*q + 10. Let g(m) = 8*h(m) - 5*v(m). Let c be g(2). Suppose l + c*l = 120. Is 6 a factor of l?
True
Let z = -617 - -2905. Let t = -1476 + z. Does 13 divide t?
False
Let a(r) = 3*r**3 - 269*r**2 - 220*r + 218. Does 15 divide a(91)?
False
Suppose 51*z = -531182 + 1613351. Does 62 divide z?
False
Suppose 3*j - 4 - 2 = 0, 4*q + 2*j = 492. Let w(i) = -25 + 2*i**2 - 61*i + q*i - 57*i. Is 5 a factor of w(4)?
False
Does 84 divide 5/(-1)*(-74 - 563)?
False
Let g(q) = -4*q - 1. Let p(k) = -3*k - 1. Let t(z) = 2*g(z) - 3*p(z). Let m be t(1). Suppose -186 = -f - m*f - 5*w, -6 = 2*w. Is 12 a factor of f?
False
Let t be 340/(-17) - (-3 + 0). Let v = 192 + t. Is v a multiple of 17?
False
Let i = 2693 + 2588. Does 31 divide i?
False
Suppose 16*b = 2*b - b + 30900. Is 20 a factor of b?
True
Let w(m) = 67*m**2 - 40*m + 59. Let n(d) = 22*d**2 - 15*d + 20. Let q(c) = -11*n(c) + 4*w(c). Is q(7) a multiple of 19?
False
Let m(i) = 64*i**2 + 6*i - 29*i**2 - 24*i**2 + 18 - i**3. Is m(10) a multiple of 33?
False
Let j(p) = -135 + 290 - 16 - 140*p. Is 12 a factor of j(-5)?
False
Suppose -5*a = 2*t - 31, 2*a + 4 + 1 = 5*t. Let g(d) = 99*d + 18. Let q be g(a). Is q/2 - 1/(-2) - -1 a multiple of 33?
False
Let i = 460 - 466. Is 14 a factor of (i + 1 - 56)/(2/(-10))?
False
Let l(b) = 3*b - b**2 - 11*b + 20*b - 10 - b**3. Let d be 3*(-2 + -3 - -3). Does 28 divide l(d)?
False
Let u(s) = -s**3 + 13*s**2 + s + 13. Let d be u(13). Let j = -18 + d. Suppose -5*g = -22 - j. Is 6 a factor of g?
True
Is 21 a factor of 656/(-8200) + (-177204)/(-50)?
False
Let k be (17 - 1)/(48/1128). Suppose 4*g = k - 88. Is g a multiple of 19?
False
Suppose 4*w - 5*w + 3*p - 49 = 0, 0 = -4*w + 4*p - 228. Let j = w + 166. Does 35 divide j?
True
Suppose 11*s - 11367 - 21215 = 0. Suppose -s + 302 = -19*r. Is 7 a factor of r?
True
Suppose 3*v + 4*h - 36011 + 945 = 0, -h - 58405 = -5*v. Is v a multiple of 99?
True
Suppose -18*n - 28*n = -45264. Does 164 divide n?
True
Let q = 489 - 407. Suppose 11*x = s + 7*x - 41, x - q = -2*s. Does 3 divide s?
False
Suppose -5*f + 1 = 4*o - 25, -2*f = -2*o - 14. Does 8 divide 83/((5 - 3)/f)?
False
Let r(b) = 11*b + 77. Let g be (-75)/(-6) - (-48)/32. Is 77 a factor of r(g)?
True
Let i(p) = p**3 + 34*p**2 + 68*p + 37. Let d be i(-32). Let j be 2/(-6) - (-19)/3. Is 13 a factor of (-13 - d)*4/j?
True
Suppose 51*d - 685155 = 86322. Is d a multiple of 100?
False
Suppose x - 4 = 0, 0*u + 4*x + 196 = 4*u. Suppose -4*d = -p + 17, -3*d - u - 7 = -3*p. Does 7 divide p?
True
Suppose o + 3*m - 725 + 181 = 0, 0 = -o + 4*m + 509. Is 19 a factor of o?
False
Let b be (-262 + -5)*1/(-3). Suppose b = -6*p + 497. Does 4 divide p?
True
Suppose 0 = -97*z + 101*z - 1080. Suppose -z = -3*j - 3*v + 222, 636 = 4*j - v. Suppose -j = 19*t - 21*t. Does 40 divide t?
True
Suppose 247*y - 179*y - 45356 = 0. Is 5 a factor of y?
False
Let p(y) = -16*y + 12*y + 24 - 13*y - y**2 - 2*y. Let j be p(-20). Suppose 2*n = j*n - 232. Is 29 a factor of n?
True
Let w(v) = -45 + 187 + 126812*v - 126881*v. Does 12 divide w(-9)?
False
Suppose 2*w - 378 = 3*t, -2*w - w = -4*t - 568. Suppose 10 = f + w. Let p = -110 - f. Is 6 a factor of p?
True
Let v(m) = 532*m - 4242. Is v(38) a multiple of 163?
True
Suppose -5*v - 4*x + 25 = x, -2*x = -4*v + 14. Suppose l + v*m - 16 + 1 = 0, 2*m = -3*l + 15. Suppose 2*q + c + 21 = 312, 297 = 2*q + l*c. Does 18 divide q?
True
Let s(o) = 5668*o**2 + 122*o + 2. Is s(1) a multiple of 181?
True
Suppose 60 = -m - 2*z, z + 0*z = -5*m - 327. Is 7 a factor of (m/(-12) - 6)*-1022?
True
Let b(v) = -5*v**3 - 19*v**2 + 4*v - 8. Is 232 a factor of b(-16)?
True
Let o(u) = -u**2 + 12*u - 17. Let y(r) = 2*r**2 - 24*r + 33. Let p(q) = -7*o(q) - 3*y(q). Let n be p(10). Suppose -7*c - 342 + 1280 = n. Is 20 a factor of c?
False
Suppose 4*x - 16 = -2*i, -2*x + 1 + 7 = 0. Suppose 8*q + 128 - 592 = i. Is q a multiple of 29?
True
Suppose 0 = -10*g + 9*g + 15. Let o be 260/g - (-2)/3. Let k = 48 - o. Does 10 divide k?
True
Let m = -12817 + 17979. Does 29 divide m?
True
Suppose 6*x - 36 = -0*x. Suppose o - 5 = 33. Suppose 3*m - 2*f = o, 3*f = x*m - m - 63. Does 6 divide m?
True
Let s = -41 - -44. Suppose -4*q = 4*l - 8, 0*l - l + s*q = -2. Is ((-2 + 3)/l)/(11/88) a multiple of 4?
True
Suppose 0 = 3*p + 5*d + 133, 4 = -3*d - 11. Let b be ((-100)/(-12))/(2/60). Let k = p + b. Is 9 a factor of k?
False
Suppose -2*a = -l + 1, -3*a = l + 2*a - 1. Let b be 4 + -2 - l*-13. Let z(n) = 4*n - 9. Is z(b) a multiple of 17?
True
Suppose 22*i = -4*r + 14*i + 64, -2*r + i + 32 = 0. Suppose 39 - 11 = -2*p. Is r/(-12)*2163/p a multiple of 24?
False
Let y(a) = 11*a**2 + 56*a + 139. Let h = 103 + -95. Let d(n) = -4*n**2 - 19*n - 46. Let l(x) = h*d(x) + 3*y(x). Is l(-19) a multiple of 21?
False
Let x be 14/(-56) + (-6)/8. Let z be (0 + 1)*x + 113. Suppose -5*g + z = -18. Is 26 a factor of g?
True
Suppose -2*m + 799 = 3*p, 3*p - 2*m = -m + 802. Let g = p - 177. Let y = g - 58. Is y a multiple of 6?
False
Suppose 16*g = 24*g - 5*g - 67032. Is g a multiple of 57?
True
Let t(u) = 31*u + 34. Let s(i) = 14*i + 17. Let b(j) = 13*s(j) - 6*t(j). Is b(-14) a multiple of 11?
False
Let y be (-72)/(-60)*(6 + -1). Suppose 0 = -2*x - 10, 2579 = 10*w - y*w + x. Is w a multiple of 20?
False
Let u = 3596 + -2796. Is 16 a factor of u?
True
Let d(q) = 17*q**2 + 6*q**2 - 6*q**2 - 6 - 7 + 2*q**3. Is 14 a factor of d(-6)?
False
Let a be 2/(-6)*477/(-53). Suppose -42*v - 2*m - 178 = -45*v, -a*v + 190 = m. Does 31 divide v?
True
Let t = 3395 - -3728. Is t a multiple of 60?
False
Let f(a) = -258*a - 8510. Is f(-35) a multiple of 13?
True
Suppose 0 = 5*r, -2*q - 5*r = -8 - 0. Suppose -i + 126 + 99 = 2*z, 0 = z + q*i - 123. Is 37 a factor of z?
True
Let y be 4724/10 - (1 - 9/15). Let p be 6*y + (2 - 6/3). Does 7 divide p/108 + (2 - 40/18)?
False
Suppose -6*p = 16 - 46. Suppose 4*o = p*y + o - 277, 0 = 2*o - 2. Does 8 divide y?
True
Suppose -5*v + 1415 = -2*z, v + 301 = 2*v - 4*z. Suppose -4*l + v = -47. Let f = -48 + l. Does 23 divide f?
False
Suppose 0 = -4*l - 3*d + 35139, 4*d = 36*l - 35*l - 8780. Is l a multiple of 16?
True
Let p = 189 - 185. Does 34 divide p + (1386/15)/((-15)/(-50))?
False
Let m = 202 + -671. Let r = m - -903. Is 17 a factor of r?
False
Let h = -22533 - -49251. Is 316 a factor of h?
False
Suppose 5*v + u - 48 = v, 5*v - 60 = -4*u. Suppose v*g + 241 = 13*g. Suppose -q = -3*j - 36, -5*q + 5*j - 11 = -g. Is 10 a factor of q?
False
Let q(z) = -964*z + 2634. Is q(-3) a multiple of 118?
False
Let p(o) = -44*o**2 - 1085*o - 51. Is 5 a factor of p(-11)?
True
Let s = 9216 + -4860. Is 9 a factor of s?
True
Let l(u) = u**2 - 10*u - 8. Let j(s) be the third derivative of -s**6/120 - s**5/60 + s**4/24 + 11*s**3/6 - 22*s**2. Let y be j(0). Is l(y) a multiple of 3?
True
Let m be ((-7)/14)/((-2)/24). Does 25 divide 340/m*4/(48/18)?
False
Let p(v) = -25*v - 5. Let d(t) = -27*t - 6. Let f(m) = 3*d(m) - 4*p(m). Does 2 divide f(1)?
False
Suppose 5532 = -8*m - 4*m. Is (-2 + m)/((-10 + 6)/4) a multiple of 24?
False
Suppose 2*q = 10*q - 40. Suppose -5*k - 23 + 2 = b, 3*b = q*k - 23. Let p(o) = o**2 + 7*o + 11. Is 10 a factor of p(b)?
False
Let z be 2 + (-80)/44 - (-1082)/(-22). Suppose -175 - 5 = 4*f. Let i = f - z. Does 3 divide i?
False
Is (-4886718)/(-714) + 2/(-14) a multiple of 59?
True
Suppose 4*t + 16 = 0, 5*m - t - 2314 = -0*t. Suppose -147 = -y - 2*g, -5*g = -3*y - 4*g + m. Let h = -112 + y. Is 22 a factor of h?
False
Suppose 3*y = -2*y, -4*h + 3*y = 304. Suppose d = 5*n + 525, 0 = -n