m + 10381 = 4*l + 11*m. Is l a multiple of 30?
False
Let y(z) = 6*z**2 + 10*z - 25. Let c be y(3). Let g(f) = f - f**2 - f + 3*f**2 + c - f. Is g(0) a multiple of 14?
False
Let l(g) = -2*g**3 - 12*g**2 - 28*g + 28. Let d(v) = -3*v**3 - 18*v**2 - 42*v + 42. Let c(k) = -5*d(k) + 8*l(k). Does 10 divide c(-9)?
False
Suppose -4*g - 2 = -3*v, -5*v - 7 = -8*v - g. Let c be 7/28*(v - 2). Suppose 13*h - 8*h - 590 = c. Is 7 a factor of h?
False
Let o = -20391 + 35565. Is o a multiple of 32?
False
Suppose -945 = -3*w - n, 5*w - n - n - 1586 = 0. Suppose -h + w = -5*i, 4*h - 4*i - 1328 = -0*h. Suppose h = -3*u + 7*u. Is 16 a factor of u?
False
Is (4 + -14)/((-12)/2232) a multiple of 20?
True
Suppose 12*q + 3269 = 26981. Is 38 a factor of q?
True
Let t be ((-12)/(-10))/((-126)/315). Let v(x) = 6*x**2 - 2*x**3 + 3*x**3 + x - 7 - 4*x. Is v(t) a multiple of 3?
False
Let s = 176 - 191. Does 13 divide (630/12)/s*(-100)/7?
False
Let s = -1422 + 2018. Let x = s + -420. Let q = 293 - x. Is q a multiple of 24?
False
Let m(n) = 24*n - 2*n**2 + 3*n**2 + 30 + 0*n**2. Let l = 900 - 923. Is m(l) even?
False
Let m = -16112 + 22046. Does 46 divide m?
True
Suppose 0 = 2*a - 3*g - 20232, -2*a - 5*g + 16504 = -3696. Does 123 divide a?
False
Suppose -6*f + 11*f + 20086 = 6*u, -2*u + 6702 = -5*f. Does 34 divide u?
False
Let f be (8/10)/(13/585). Let v be 1158/f - (-2)/(-12). Let r = 116 - v. Is r a multiple of 42?
True
Suppose -6*u + 3*u - j + 8 = 0, 2*u - j = 12. Let n = 137 + 54. Suppose -u*z - 171 = -b, 7*b - z = 8*b - n. Is b a multiple of 34?
False
Suppose 26413 + 17654 - 7857 = 6*u. Is u a multiple of 17?
True
Let v = -1001 + 3112. Is 5 a factor of v?
False
Let y = -7059 - -13591. Is y a multiple of 35?
False
Let u(m) = 58*m**2 + 92*m + 720. Is u(-8) a multiple of 22?
True
Suppose -5*n = -13*n + 41040. Suppose -24*o + n = -9*o. Does 18 divide o?
True
Suppose -17 - 31 = -3*t. Suppose 0 = 11*j - t*j. Suppose j = -2*l - 4 + 52. Is l a multiple of 10?
False
Let m be -54 + 54 + -448 + 1. Let i = m - -581. Is 12 a factor of i?
False
Suppose 101*j - 230424 - 1610402 = 0. Is 124 a factor of j?
False
Is 47 a factor of (-12498)/(-14) - 350/(-1225)?
True
Let a = 2015 - -3725. Is 25 a factor of a?
False
Let n(x) = -10*x**3 + 6*x**2 - 69*x + 55. Is 44 a factor of n(-13)?
True
Suppose 4*o - 4*a - 8 = 0, 2*o + 2*o = -5*a - 28. Is ((-48)/80)/(o/60) + -3 a multiple of 8?
False
Suppose 4*b = 2*z + 14, 2*b - 2 = 3*z + 7. Suppose -b*t + 12 = 0, 5*g - 11*t = -9*t + 212. Is g a multiple of 6?
False
Let h(u) = -13*u**2 - 24*u + 37519. Is h(0) a multiple of 17?
True
Suppose -4*r + 17*r - 5655 = -16*r. Is r a multiple of 4?
False
Is 21 a factor of (-732)/(-9)*18954/104?
False
Suppose 3*c = -2*c + 3*o - 18, 0 = 2*c + 2*o + 20. Does 16 divide 282*c*20/(-45)?
True
Let v(l) = -2*l**2 + 29*l - 10. Let q be v(14). Suppose 2*j - 5*r = -3*j, 5*j = -4*r + 45. Suppose -57 = -4*o - j*z, o - 19 = -q*z + 9. Is 4 a factor of o?
True
Suppose 2*w + 0*w - 2*x = 106, -5*w - x = -283. Suppose -18*p + 158 = -94. Is 16 a factor of (-32)/w - (-554)/p?
False
Suppose -5*p + 2*f = -2*p - 70, 4*f = -3*p + 40. Suppose -d - p = -23. Suppose 0 = -d*y + 2 + 160. Is 18 a factor of y?
True
Let x(p) = -357*p**3 + 20*p**2 + 44*p + 13. Is 97 a factor of x(-3)?
True
Suppose -7*o - 19*o + 57894 = 20662. Is o a multiple of 12?
False
Is ((-9)/((-270)/(-132)))/((-1 - 2)/2895) a multiple of 13?
False
Does 9 divide 13 + 387424/24 - 2/(-6)*1?
False
Suppose -2*t - 16 = -4*d + 2*d, -3*d = 4*t - 31. Suppose -3*m + d*m = -4*m. Suppose c - 4*c = -2*z + 237, m = 5*z - 3*c - 615. Is z a multiple of 42?
True
Let m = 149 + -149. Let q(v) = v**2 + 5*v + 400. Is q(m) a multiple of 30?
False
Let x(s) = -s**3 + 5*s**2 + 47*s + 40. Is 59 a factor of x(-15)?
True
Suppose 4*z = 3*c + 16527, 0 = z - 11*c + 7*c - 4148. Is z a multiple of 67?
False
Let i(p) = 2*p**3 + 14*p**2 - 3*p - 16. Let l be i(-7). Suppose -5*b - l*b = 30. Let v(z) = z**3 + 4*z**2 + 2*z + 5. Is 8 a factor of v(b)?
True
Suppose 3*v + 20 = 8*v. Let h be ((-8*1)/v)/2. Is 4 a factor of (-630)/(-36) - (1/2 - h)?
True
Let m = 16511 - 9067. Does 29 divide m?
False
Let u(d) = -4*d**2 - 23*d - 11. Let t be u(-5). Suppose -o + 190 = f, -14*f = -t*o - 16*f + 760. Does 12 divide o?
False
Let k = -532 - -8564. Is k a multiple of 13?
False
Suppose -79002 = 790*m - 844*m. Is m a multiple of 7?
True
Let c(g) = -g**3 + 6*g**2 + 4. Let h be c(6). Suppose -5*b + h*k = -21 - 6, 2*k + 12 = 2*b. Suppose b*t - 3*a = 90, -4*a = -t - 0*t + 24. Does 32 divide t?
True
Let w be ((-34)/8 - -2) + (-5)/(-20). Is 10/4 + (-1275)/w a multiple of 16?
True
Let c(t) = 77*t**3 - 3*t - 3. Let m be c(-1). Is 6 a factor of 3 - 0 - 84/21 - m?
False
Let f = -719 + 304. Let j = -371 - f. Does 5 divide j?
False
Let x = -172 - -512. Let t = -137 + x. Suppose 0 = 4*o - t - 125. Does 7 divide o?
False
Suppose 158123 = 105*u + 9023. Is u a multiple of 11?
False
Let m(z) = z**3 - 3*z**2 - 2*z + 7. Let i be m(3). Let s be 115 + (3 - 4) + (i - 1). Let v = -6 + s. Does 18 divide v?
True
Suppose -3*d + 10*d + 406 = 0. Let w = 60 + d. Suppose -4*g + w*g + 52 = 0. Is 26 a factor of g?
True
Suppose 0 = -5*r + 3*j + 11984, 0 = 5*r + 2*j - j - 11952. Does 26 divide r?
True
Suppose 4*c - 366930 = -11*c - 0*c. Is c a multiple of 160?
False
Let x(s) be the third derivative of 13*s**5/30 - 43*s**4/24 + 4*s**3/3 + 38*s**2 + s. Is x(7) a multiple of 9?
True
Suppose -2*x + 2*b + 26 = -x, 81 = 3*x - 5*b. Let c = x + -35. Is 27 a factor of (-6)/(-33) + c + 3626/22?
True
Suppose -v - g + 3*g = 5, 3*g = 9. Suppose v - 5 = 4*x - 4*o, 5*x + 2*o = 16. Is 29 a factor of 1/2*4*(x + 56)?
True
Let h be (4/(-6))/(6/(-99)). Let o = 26 - h. Is (-70)/o*(-27)/6 a multiple of 8?
False
Suppose -2*u = 4*c - 2950, -3*u + 7*u = -5*c + 3695. Does 49 divide c?
True
Let c(q) be the second derivative of q**4/12 - q**3/3 - 15*q**2/2 - 171*q. Let z be 4/(-14) + (-132)/28. Does 20 divide c(z)?
True
Suppose 20 = 7*n + 195. Is 8 a factor of 20/n + 14/5 + 19?
False
Suppose 5611 = t - 3*w, -32*w - 11208 = -2*t - 33*w. Is t a multiple of 12?
False
Let c(j) = 2*j**2 + 3*j - 15. Let n(i) = -3*i**2 - 3*i + 14. Suppose 4*l = -s - 15, 0 = l + 2*l - 4*s + 35. Let o(w) = l*n(w) - 6*c(w). Does 16 divide o(5)?
True
Suppose 11*w + 3*t = 42527, w - 15472 = -3*w - 3*t. Is w a multiple of 188?
False
Let o(l) = l**3 - 10*l**2 + 32*l + 6. Let f be o(6). Suppose 55*d = f*d. Suppose d = -16*h + 185 + 1639. Is 57 a factor of h?
True
Let g(a) = -685*a - 8517. Is g(-26) a multiple of 43?
False
Is (2 - 12)*(-717 + (1 - (8 - -3))) a multiple of 10?
True
Let x be 21/2 - ((-5)/(-2) + -2). Suppose 0 = -2*z - 3*c + 671, x*z - 1337 = 6*z - c. Is z a multiple of 9?
False
Let y(o) = -o + 1. Let s be y(-1). Suppose -3*d = -s*d + 71. Does 27 divide (d/(-4))/(2 - (-28)/(-16))?
False
Let w = 3651 + -2963. Does 21 divide w?
False
Suppose -60*g + 141 = -13*g. Is 22 a factor of ((-51045)/18)/(-5) - g/18?
False
Let o(v) be the second derivative of 227*v**3/3 + 16*v**2 - v - 80. Is o(1) a multiple of 18?
True
Let f(n) be the second derivative of 7*n**3/3 - 43*n**2 + 14*n. Is f(21) a multiple of 26?
True
Suppose 148827 = 24*a + 38715. Is 30 a factor of a?
False
Let r = 347 - 500. Let j = r - -163. Is 2 a factor of j?
True
Let v(z) = -331*z + 1312. Is v(-16) a multiple of 14?
True
Suppose 0 = 2*l - 2*y - 4628, 9141 = 3*l - 2*y + 2204. Suppose -l + 201 = -2*m. Is m a multiple of 17?
True
Suppose -625*u + 619*u = 810. Let o(q) = -7*q - 1. Let m be o(2). Let d = m - u. Is 12 a factor of d?
True
Let y(j) = 7*j**3 - 8*j**2 + 28*j - 21. Is y(7) a multiple of 14?
True
Suppose -30 - 4 = -2*m. Suppose -m = -5*i + 3*d, 0 = -0*i - 3*i - 5*d - 17. Let s(n) = 5*n**3 - n**2 + 2*n - 1. Does 4 divide s(i)?
False
Let t(v) = -136*v + 1026. Is 150 a factor of t(-13)?
False
Let n = 89 + -85. Suppose -414 = n*m - 1130. Suppose 0 = -4*x + i + m, 3*x - 140 = 4*i - 9*i. Does 13 divide x?
False
Let l(f) = -61*f - 20. Let s be l(-21). Let u = s + -891. Suppose 211 = -0*a + 3*a - j, 5*a = -2*j + u. Is a a multiple of 24?
True
Suppose 14*v - 55*v = 123. Does 9 divide v/(-3)*(-1324)/(0 - 1)?
False
Let u(t) = -626*t**3 - 69*t**2 - 144*t - 3. Is u(-2) a multiple of 39?
False
Let p(b) = 734*b**3 - 11*b**2 + 12*b - 19. Is p(2) a multiple of 13?
Fal