7?
True
Suppose -5*n = -m + 26884, -362*n - 53880 = -2*m - 366*n. Is m a multiple of 148?
False
Let m = 88 - 85. Suppose 5*z = f + 27, 3*z - m*f - 22 = -1. Suppose 4*v + 78 - 871 = -z*s, -v - 5*s = -187. Is v a multiple of 14?
False
Is 21 a factor of (-150)/60*(-126504)/15?
True
Let n(x) = 9*x**2 - 19*x - 19. Let m = -233 + 226. Is 9 a factor of n(m)?
False
Let f be (1/(-2))/((-6)/12). Let g be (21 - 18)*f/3. Suppose 2*l - 23 = p, -l + 4*p = -0*l - g. Is l a multiple of 11?
False
Let m = 27769 + -19678. Is 93 a factor of m?
True
Let i(r) = -1582*r**3 + 3*r**2 - 3*r - 6. Is i(-1) a multiple of 5?
False
Let f(r) = 2*r**2 + 25*r + 93. Let y(i) = i**2 + 13*i + 46. Let h(x) = 4*f(x) - 9*y(x). Is 12 a factor of h(-11)?
True
Suppose 3*d + 3*w = -12, 3*d + 9*w + 8 = 7*w. Suppose d*v + 4*v = 1640. Does 13 divide v?
False
Suppose -24 = -18*s + 12. Suppose 2*u = u - 2*m + 44, s*u - 5*m - 115 = 0. Let x = u + 4. Does 54 divide x?
True
Suppose 5*o = -4*t + 40406, -24246 = 980*o - 983*o - 3*t. Is 164 a factor of o?
False
Let u = -112 + 180. Suppose 5*d + 4*t + u + 71 = 0, -d = -3*t + 24. Let l = -14 - d. Is 13 a factor of l?
True
Let n(a) = -112*a**3 + 9*a**2 + 6*a. Is 54 a factor of n(-4)?
False
Let d = -14357 + 23753. Does 81 divide d?
True
Does 12 divide -16 + 226833/27 - (1 - 21/27)?
False
Let g(b) = -b**3 - 36*b**2 + 54*b - 106. Let i be g(-38). Suppose i*r = 732*r - 1152. Is r a multiple of 11?
False
Let n(l) = -l**3 + 10*l**2 - 8*l + 19. Let b be n(9). Suppose 8*u - 12 = b. Suppose 4*y + 92 = 4*i, -u*i + 45 = -2*i + 5*y. Is i a multiple of 9?
False
Let j be (21/(-6))/(2/24). Let h = 18 - j. Let q = 84 - h. Is 8 a factor of q?
True
Suppose 5*p - x - 4129 - 16875 = 0, 5*p - 3*x = 21012. Does 60 divide p?
True
Let n(m) = m**3 + 7*m**2 - 64*m + 1503. Does 17 divide n(18)?
False
Suppose -61*x + 57*x = -124. Is -3 + (8 - x)*-25 a multiple of 22?
True
Is 5/((-70)/(-154)) + 1466 a multiple of 13?
False
Let x = 0 - -2. Let i = -1539 + 1586. Suppose x*w = 133 + i. Is w a multiple of 15?
True
Let o = 254 + -220. Let c = o - -206. Is 16 a factor of c?
True
Suppose 0 = -4*l + 4*u + 1200, -2*l - 3*l - 2*u + 1486 = 0. Suppose 2*q = 5*p + 293, 4*q - 4*p - l = 2*q. Suppose 6*s = q + 57. Is 9 a factor of s?
True
Let f(a) = 1026*a**2 + 152*a + 984. Is f(-6) a multiple of 24?
True
Let p(w) = -81 + 2*w**2 - 25*w + 15 + 32. Is p(14) a multiple of 7?
False
Let f(s) = 2*s**2 + 100*s + 171. Is f(-74) a multiple of 73?
True
Let f be (-1)/2 - 3*28021/(-42). Suppose 4*l = y - 0*y + f, 4*y - 996 = -2*l. Does 50 divide l?
True
Suppose -36303 = -3*g - 4*x, -3*g + 26*x + 36306 = 29*x. Is 9 a factor of g?
True
Suppose 5*z + 2*p = 11230, -95*p = -2*z - 93*p + 4478. Is z a multiple of 187?
True
Let g(f) = -53*f - 4. Let v(z) = -z - 1. Let i(k) = 2*g(k) - 6*v(k). Let p(c) = -c**3 + 29*c**2 + 31*c - 31. Let q be p(30). Does 10 divide i(q)?
False
Is 142 a factor of (1 - -16477) + 18 + (-1 - 23)?
True
Suppose l = -4*g - 3971, 2*g + 0*l + 4*l = -1982. Let m = g + 1945. Does 17 divide m?
True
Suppose -n - 5*z = -2071, 0 = 4*n - 80*z + 75*z - 8309. Is n a multiple of 5?
False
Let i(s) = 3*s + 172. Let l(u) = 4*u**2 + 27*u - 2. Let j be l(-8). Is 18 a factor of i(j)?
False
Let w be (-434)/(-62) - (-1)/((-1)/6). Let n(g) = g. Let b(c) = -c - 1. Let z(h) = -4*b(h) - n(h). Is 7 a factor of z(w)?
True
Suppose -15 = 2*j - 159. Suppose 8 + j = 2*v. Suppose 0 = 3*i - 5*i + v. Is i a multiple of 4?
True
Suppose 0 = -q - 9*q + 14200. Suppose -30 - q = -4*h - 5*v, 4*v + 712 = 2*h. Is h a multiple of 72?
True
Suppose v + 5 - 41 = 0. Is (-57)/(-18) + -4 - (-8454)/v a multiple of 18?
True
Suppose 2 = 2*r + 2*n + 4, -14 = -r + 2*n. Suppose r*a - 261 = 519. Does 13 divide a?
True
Suppose -3*x - 25 = -5*c, x + 3 + 2 = c. Suppose -9*o + 7*o + 34 = x. Let a(t) = t**3 - 19*t**2 + 41*t - 38. Does 14 divide a(o)?
False
Let h(a) = 34*a + 31. Let o be h(-9). Does 19 divide (-21)/(315/o) + (-2)/(-3)?
True
Suppose -5*p = -11*p + 41*p - 109025. Does 3 divide p?
False
Let c be (27/2)/(7/14). Let f(l) = l**3 - 27*l**2 + 5*l + 44. Does 18 divide f(c)?
False
Let i(p) be the second derivative of p**5/20 - 5*p**4/12 + 2*p**3/3 + 10*p**2 - p - 61. Is 40 a factor of i(8)?
False
Let d = 215 + -529. Let w = d + 399. Does 3 divide w?
False
Let k = -159 - -164. Suppose -x = -3*g - 154, x - k*g = -0*g + 158. Does 8 divide x?
False
Let b(s) = 5*s**2 + 46*s - 8. Let h be b(-10). Let k(r) = r + 33. Is 5 a factor of k(h)?
True
Let y be ((-1)/(-2))/((-8)/224). Let b(h) = -9*h + 47. Is 54 a factor of b(y)?
False
Suppose 3*y + 596 = 2*d - 1180, 2*d - 1776 = -5*y. Does 12 divide d?
True
Let k(w) = -w**3 - 14*w**2 + 20*w + 33. Let j be k(-16). Let h = 279 + j. Is h a multiple of 42?
True
Let z be -8 - -9 - (-3)/9*-3. Let w be (-8)/(-16)*z/(-1). Suppose 5*k + 60 = m, w*k = -4*m + k + 335. Does 17 divide m?
True
Let n = -27 + 29. Let g be n/(-5) + (-34)/(-10). Suppose -5*z + 95 = m, 25 = -z + 3*z + g*m. Is z a multiple of 19?
False
Suppose -8*v - 3*v = 11*v. Suppose -5*x - 2*u + 91 = v, u = 4*x + 5*u - 68. Is x a multiple of 4?
False
Suppose 67 + 5 = -6*j. Let g(w) = w**3 + 12*w**2 - w - 15. Let m be g(j). Does 11 divide ((-540)/70)/(m/14)?
False
Let f = -43 + 45. Suppose f*i - 448 = 4*o, -2*i + 0*i - 2*o + 436 = 0. Is 29 a factor of i?
False
Let g(o) = -o + 62. Let v be ((-180)/50)/(1 - 23/20). Is 19 a factor of g(v)?
True
Let l(c) = -795*c + 497. Let a(r) = -199*r + 124. Let j(i) = 22*a(i) - 6*l(i). Does 26 divide j(4)?
False
Let g(t) be the second derivative of t**4/12 + t**3 - 19*t**2/2 - 15*t - 1. Is g(-22) a multiple of 17?
False
Suppose 0 = -5*v - 199 - 11. Let k = v + 54. Suppose -20 = k*p - 13*p. Is p a multiple of 20?
True
Suppose 3422 = 2*a - t, 2*t = -4*a - t + 6834. Suppose 0 = 13*b - a - 344. Let u = -117 + b. Is u a multiple of 15?
False
Let o(t) = -8*t**3 - 13*t**2 - 58*t + 29. Does 31 divide o(-7)?
True
Suppose -u = -4*u + 72. Suppose 0 = -17*l + 23*l - u. Is -21*l*((-23)/(-6) - 4) a multiple of 10?
False
Let s = 518 - 227. Let q = s - 123. Is q a multiple of 15?
False
Let o(i) = 17*i**3 + 6*i**2 + 9. Let p be o(3). Let t = p + -343. Does 30 divide t?
False
Let n = 321 - -1707. Is n a multiple of 78?
True
Let a = 5584 + -2969. Is 64 a factor of a?
False
Let f(o) = 8*o + 2. Let b(i) = -24*i - 5. Let p(h) = 4*b(h) + 11*f(h). Let w be p(-11). Let s = 30 + w. Does 30 divide s?
True
Let y(g) = 111*g**2 - 27*g - 38. Let t be y(-6). Let l = -2646 + t. Is 18 a factor of l?
False
Let s = 1378 - 802. Suppose 9*t + s = 2322. Is t a multiple of 20?
False
Let s = 17294 - 4000. Does 17 divide s?
True
Let g(x) = -x**2 - 99*x - 1565. Is 10 a factor of g(-58)?
False
Suppose 4*v - 16 = 3*l, 17 - 2 = -4*l - v. Is (43/l)/(3/(-12)) a multiple of 6?
False
Let m(z) = 8*z - 96. Let x(u) = 5*u - 95. Let c(r) = 3*m(r) - 4*x(r). Does 12 divide c(-20)?
True
Let l be (-5)/(-15)*37884/11. Suppose 34*o - l = 722. Does 5 divide o?
True
Suppose -60*b - 2705 = -65*b. Let x = b + -174. Does 10 divide x?
False
Let u(v) = 57*v + 120. Let g = 305 - 299. Does 8 divide u(g)?
False
Let q be 3/(-4) + (-2)/(-8)*163. Let i be 1899/8 - 15/q. Is 39 a factor of i - (-2 - -3 - -2)?
True
Let x(j) = -89*j - 2 - 20 + 10*j. Let q be x(-6). Suppose 4*c - 440 = -5*b, -4*c = 2*b - 0*b - q. Is 28 a factor of c?
False
Is (172/(-258))/(0 + 2/(-1188)) a multiple of 11?
True
Let i be 2/((-663)/(-6830) - (-3)/(-30)). Let v = 868 + i. Is v a multiple of 18?
False
Let k = 21884 - 7814. Is 67 a factor of k?
True
Let o(d) = 16*d**3 + 73 - 10*d**3 - 7*d**3 - 25 + 2*d**2. Is 8 a factor of o(0)?
True
Let h be -3 + 8 - (-3)/(-3). Suppose 2*q + 252 = h*t, 2*t - 314 = -3*t + 3*q. Is 16 a factor of t?
True
Let h = 3204 + -2101. Suppose -h = -6*m + 1801. Is m a multiple of 9?
False
Let b(c) = c + 3. Let m be b(21). Suppose 5*x - 59 = -m. Does 15 divide 10*13 + ((-112)/(-8))/x?
False
Let w = -16 + 21. Suppose -w*k - 4*y = -968, -582 = -3*k + y - 3*y. Does 28 divide k?
True
Let s(a) = 107 - 17*a + 48*a - 105. Suppose 5*c - 9 = 1. Is 16 a factor of s(c)?
True
Suppose 21391 = 7*h + 1210. Is h/(-2)*(-5 + 52/12) a multiple of 18?
False
Is (-22)/(1430/(-138099)) - (-2)/5 a multiple of 44?
False
Suppose -4*x = l + 316, 0 = -2*x + 5*x - 12. Let k = -80 - l. Does 36 divide k?
True
Suppose 3*n + 114 = 