w be b(11). Let m(u) = u**2 + 2*u - 32. Does 19 divide m(w)?
False
Suppose 3*m = 5*m - 290. Suppose m = -7*n + 355. Let p = 42 - n. Is 6 a factor of p?
True
Suppose 4*o - 324 = 2*n, 2*o - n - 4*n = 170. Suppose 4*i - o = 28. Is i a multiple of 27?
True
Let s(z) be the second derivative of 7*z**4/24 - 7*z**3/6 - z**2 - 9*z. Let x(w) be the first derivative of s(w). Does 7 divide x(4)?
True
Suppose -454 = -r + 2*c, -2*c + 418 = r + 2*c. Does 2 divide r?
True
Let s(q) = 7*q + 19. Let m be s(-4). Let f = -13 - m. Let x(j) = -81*j - 25. Is x(f) a multiple of 46?
False
Let s = -6511 + 12253. Does 33 divide s?
True
Suppose 0 = 12*b - 11*b - c + 1452, -1437 = b - 4*c. Let t = b + 2060. Is t a multiple of 6?
False
Let y(a) = a**2 + 6*a + 4. Let c be y(-3). Let i(r) = 2*r**3 + 8*r**2 - 20*r + 12. Is i(c) a multiple of 31?
True
Let q(n) = 13*n**2 - 30*n + 50. Does 5 divide q(-20)?
True
Suppose 3*j - 2840 = 7825. Is 49 a factor of j?
False
Suppose -2*w + 527 = -5*z, -w + 2*z = 4*w - 1328. Let g = -5 + w. Does 42 divide g?
False
Let j = 193 + 28. Suppose 60*c + 44 = b + 61*c, 5*c = 4*b - j. Is b a multiple of 10?
False
Suppose 0 = 4*u - 4*v - 124, -v + 99 = -20*u + 24*u. Is (-11 - -14) + (u/(-2))/(-1) a multiple of 2?
True
Let z(x) = x**3 - 24*x**2 + 29*x - 70. Suppose 0 = 2*r + 6, 5*q - 3*q - 49 = r. Does 63 divide z(q)?
False
Is 36 a factor of ((-355735)/60 - 9/12)/((-3)/9)?
False
Let v = -5463 - -7325. Does 16 divide v?
False
Suppose -5*q - 20 = 0, -7*v - 5*q - 3098 = -9*v. Suppose -c = -4*x + 2*c + 2052, -5*c = 3*x - v. Does 57 divide x?
True
Suppose 0*i + i - 6 = 0. Suppose -7 = -i*k + 11. Suppose m = -k*n + 5 + 5, 24 = 2*m + 5*n. Does 6 divide m?
False
Suppose 0 = -4*r - c + 5 + 4, -5*r = 5*c - 15. Suppose -4*i + 6*u - r*u = -608, 4*u = -3*i + 470. Is (160/56)/(4/i) a multiple of 10?
True
Let l(v) = 2*v**3 + 16*v**2 + v - 6. Let f be l(-7). Let x = f + 123. Is 16 a factor of x?
True
Let q = -343 + 2623. Is 19 a factor of (q/8)/((-3)/(-2))?
True
Let s(l) be the first derivative of 3*l**2 + 3*l + 8. Let i be s(1). Suppose 10*n - i*n = 20. Is 3 a factor of n?
False
Does 14 divide (-617040)/(-495) - (-18)/(-33)?
True
Let w(n) be the third derivative of -11*n**4/8 - 3*n**3/2 + n**2. Let z be w(-3). Suppose -24*g = -15*g - z. Is 8 a factor of g?
False
Let l = -279 - -460. Let s = 379 - l. Is s a multiple of 22?
True
Let t = -165 + 58. Let f = t - -107. Suppose f = 9*y - 6*y - 396. Does 30 divide y?
False
Let j(x) = 58*x**2 + 74*x + 12. Is 21 a factor of j(-12)?
True
Let a = 190 - 132. Let b = -4 + a. Is 27 a factor of b?
True
Suppose -13*t + 15980 = -8*t - 3*q, -3*t - 3*q + 9588 = 0. Is t a multiple of 39?
False
Let f(t) = -t**2 - 20*t + 9. Suppose -3*z - 26 = 2*k, 0 = -3*z - 5*k - 24 - 5. Let m be f(z). Suppose -7*p + 6*p = -m. Is 15 a factor of p?
True
Let f be (-115)/(-25) + (-6)/(-15). Let i be f/((-5)/195*-3). Suppose 5*y = 4*t - i, y - 35 = 4*t - 8*t. Is t a multiple of 4?
False
Suppose -4*k = -110*i + 109*i + 8896, 2*i + 6*k = 17778. Does 36 divide i?
True
Is 42 a factor of 3 + ((-15715)/(-2) - ((-54)/12 - -5))?
False
Suppose 67*y - 21*y = -198*y + 1794132. Is 57 a factor of y?
True
Let g = -13 + 20. Let b(f) = 2*f - 19. Let y(l) = 3*l - 18. Let o(m) = -3*b(m) + 4*y(m). Is o(g) a multiple of 12?
False
Suppose 5*i + 57 - 1487 = 0. Let f = i - -40. Is f a multiple of 23?
False
Let t(v) = -v**3 + v**2 + 4*v. Let f(d) = -d**3 + 5*d. Let b(h) = 5*f(h) - 6*t(h). Let w be b(6). Let g(u) = u**2 - 25. Is g(w) a multiple of 2?
False
Suppose -5*j - 2*d + 134804 = 0, 0 = 303*j - 307*j - 2*d + 107846. Is j a multiple of 36?
False
Suppose -29*x + 8480 = -9*x. Let k = x + -376. Is k a multiple of 8?
True
Let n(p) = 20*p**2 + 7*p - 9. Let w(s) = -19*s**2 - 7*s + 8. Let g(o) = -6*n(o) - 7*w(o). Is 17 a factor of g(3)?
True
Suppose -196*k + 1848 = 27*k - 334436. Is k even?
True
Suppose 5*t = -5*z + 40, -19*z - 4 = -22*z + t. Suppose -z*g = 3*x - 1965, 18*x - 2*g = 23*x - 3290. Is x a multiple of 20?
True
Suppose 152*k - 66174 = 119874. Is 102 a factor of k?
True
Suppose 0 = w - 3*b - 1406, -4*b - 83 = -59. Is w a multiple of 36?
False
Suppose -4*x = 225 + 31. Let r = x - -244. Is 9 a factor of r?
True
Suppose 588 = 16*m - 10*m. Is 47 a factor of (-4614)/(-14) - 56/m?
True
Suppose 3*p - 9232 = 5888. Suppose 279*t = 273*t + p. Is 6 a factor of t?
True
Suppose 0 = -1458*q + 1481*q - 215211. Is q a multiple of 22?
False
Let o be (-2 + (-363)/(-3))/((-2)/(-30)). Suppose o = 11*z - 4*z. Does 5 divide z?
True
Is 15 a factor of (-170)/(-1275) + ((-13950124)/(-420) - 4/(-14))?
False
Suppose -10*d + n + 118 = -14*d, -5*d - 5*n = 140. Let a(w) = 0 - 12*w + 14 - 21*w - w**3 - 31*w**2. Does 8 divide a(d)?
True
Let l = -1001 + 1669. Let m be (2 - l)*1/(-3). Suppose 9*w = 2310 - m. Is w a multiple of 29?
True
Let b = -1920 + 2740. Suppose -3*f + b - 235 = 0. Is 13 a factor of f?
True
Let x be 1/((-309)/51 - -6). Let t(w) = -w**2 - 38*w - 16. Does 14 divide t(x)?
False
Suppose -1992 = -25*g + 2708. Is 8 a factor of g?
False
Let w(j) = 2*j + 18. Let i be w(-6). Let r be 630 - (-3 - -2) - (0 - -1). Suppose -i*h + h + r = 0. Is 9 a factor of h?
True
Let d(n) be the second derivative of -34*n**3/3 - 162*n**2 + 98*n. Is 4 a factor of d(-6)?
True
Let x(d) = d**2 - 4*d - 21. Let g be x(-9). Let p = g - 148. Is 13 a factor of ((-23)/(-2))/((8 + -10)/p)?
True
Let f(i) = -2*i**2 - 6*i - 22. Let h be f(9). Let u = h + 422. Is 23 a factor of u?
True
Let f be (-1)/4 + 2034/72 - 2. Suppose -2*l + u = f + 12, -2*l = 5*u + 50. Is 13 a factor of (3/6)/((l/576)/(-5))?
False
Suppose 4*v = -f - 678, 4*v = -2*f + 4*f - 672. Let c = -113 - v. Is 14 a factor of c?
True
Let q be (-4)/(-5 - (-835)/165). Is 23 a factor of (q/18)/((-2)/138)?
True
Let c(l) = 2*l + 2. Let d be c(0). Suppose -q = 4*j + d*q - 3, -3 = q. Suppose 0 = j*i + 3, 0 = -4*v + 2*i + 95 + 463. Does 18 divide v?
False
Let i = 7026 - 2604. Is i a multiple of 40?
False
Let j = 5453 + -3045. Does 16 divide j/6 - (-8)/(-6)?
True
Let y(u) be the first derivative of 39*u**2 - 38*u + 23. Is 32 a factor of y(5)?
True
Let n = 40 + -36. Suppose -2*j + 3*k = 68, n*j + 3*k + k + 136 = 0. Let u = j + 51. Is 3 a factor of u?
False
Let w(a) = -3*a**2 + 2*a + 2. Let b(m) = -3*m**2 + 3*m + 3. Suppose 0 = -3*k - 5*k - 48. Let f(y) = k*w(y) + 4*b(y). Is f(3) a multiple of 9?
True
Let d(i) = 36*i + 322. Let v be d(-10). Let h(m) = -m**2 + 6*m - 9. Let o be h(8). Let n = o - v. Is 7 a factor of n?
False
Does 36 divide ((-1)/4 - (-11)/(-4)) + 905613/83?
True
Let z(y) = -y**3 - 26*y**2 + 44*y - 125. Does 24 divide z(-29)?
False
Suppose 2*w - 4*m + 6973 = 5*w, 0 = 11*w + m - 25554. Is w a multiple of 7?
False
Let u(c) = 2*c**2 + 7*c - 64. Is 2 a factor of u(13)?
False
Let q be 7/(11493/(-2874) + 1 + 3). Suppose 1198 - q = -9*w. Does 36 divide w?
True
Let q(m) be the first derivative of 2*m**4 + 2*m**3/3 - m**2 + m - 1. Let s(h) = 20*h + 482. Let i be s(-24). Does 9 divide q(i)?
False
Let j = 432 + -187. Suppose a + 5*o = -2*a + 370, -2*a - 5*o = -j. Does 3 divide a?
False
Suppose 441*k - 440*k + 5*r - 25770 = 0, 4*r + 128908 = 5*k. Is 20 a factor of k?
True
Let j be (126/35)/(6/160). Let y = 99 - j. Suppose 0 = 4*x + x - k - 1050, -210 = -x + y*k. Does 14 divide x?
True
Suppose -2*z + t + 4*t + 5 = 0, 0 = z + 4*t - 9. Suppose -5*w + 270 = z*r - 305, 0 = -5*w - 2*r + 578. Is 19 a factor of w?
False
Let y(o) = -2*o**3 + 4*o + 1. Let l be y(-2). Suppose l*j - j = 64. Does 10 divide (-1914)/(-24) - (-2)/j?
True
Let w(v) = v**2 - 11*v + 3. Let m be w(11). Let a be 1 + m + -1 + -1. Suppose -149 = -a*n + 5*t, -2*n - 4*t = 48 - 242. Is 34 a factor of n?
False
Suppose 7*d = -3*d - 15*d + 43750. Is d a multiple of 7?
True
Let u(t) = -2*t**3 + 6*t**2 + 2*t - 8. Let j be u(4). Let w = -235 + 153. Let g = j - w. Is 24 a factor of g?
False
Suppose 1281 = -3*v + 5*q + 5354, -3*v + q + 4093 = 0. Does 6 divide v?
False
Let z = -166 + 287. Let l = z + 311. Does 10 divide l?
False
Let n(v) = 36*v**2 + 42*v + 198. Does 41 divide n(17)?
True
Let i(j) = 502*j - 232. Is 75 a factor of i(22)?
False
Let x = 12654 + -10817. Is 11 a factor of x?
True
Let w(s) = s**2 - 5*s + 6. Suppose 19 - 28 = -3*g. Let n be w(g). Suppose n = 5*i + 226 - 1126. Does 9 divide i?
True
Let c(b) = 301*b + 