50. Is 16 a factor of h?
True
Suppose -11 = 6*d - 7*d. Suppose -13*b + d*b = -4. Suppose 5*m = -s + 106 + 312, b*m - 4*s = 176. Is 14 a factor of m?
True
Let g(j) = -j**3 - 34*j**2 + j - 37. Does 2 divide g(-35)?
False
Let s(d) = -d**3 + 7*d**2 + 16*d - 6. Let n be s(8). Let y be (7/(-3))/((-2)/(-24)). Let t = n + y. Is t a multiple of 6?
True
Let w = 34 + -42. Let i(r) = r**3 + 12*r**2 + 5*r - 6. Let z(v) = -v**3 - 12*v**2 - 6*v + 7. Let y(o) = -4*i(o) - 5*z(o). Is y(w) a multiple of 11?
True
Suppose 0*n + 4*n = 4*g + 196, -5*n + 200 = 4*g. Let x = n - 0. Suppose a + 2*b + x = 2*a, -2*a + 90 = -3*b. Is a a multiple of 6?
True
Suppose -112 = s - 9*s. Suppose 0 = s*t - 78 - 426. Is 9 a factor of t?
True
Let w = -98 - -92. Is 22 a factor of 6/108*w + 1195/3?
False
Let c be 7*21*2/6. Let b = 23 - 39. Let l = c + b. Is l a multiple of 11?
True
Let c = 52 + -12. Suppose k + c = 6*k. Let a(l) = 2*l**2 - 5*l + 14. Is a(k) a multiple of 34?
True
Let r(a) = a - 35. Let x(b) = -b + 23. Let o(v) = 1. Let n(l) = -5*o(l) + x(l). Let d(t) = 7*n(t) + 4*r(t). Is 6 a factor of d(-14)?
False
Suppose -1 + 11 = 2*b. Suppose -b*y = q + 21, 4*q + 7*y = 2*y - 24. Is (-34)/(-3) + 1 - q/(-3) a multiple of 8?
False
Let l(m) = -m + 6. Suppose 3*d - 7 - 2 = -3*x, -2*d = 3*x - 4. Suppose 2*f + 5*p + 3 = -1, 52 = -d*f - 2*p. Is 18 a factor of l(f)?
True
Suppose -4*d - 5*t = 18 + 6, 4*t = 0. Let f(o) = 4*o**2 + 7*o + 12. Let n be f(d). Suppose -j - j = -n. Does 40 divide j?
False
Suppose -64*f - 85 = 21*f. Let p(y) be the first derivative of 28*y**3/3 - 3*y**2/2 - 3*y + 1. Is p(f) a multiple of 28?
True
Let r be (-512)/(-6) - (-3)/(-9). Let v(t) = -t**2 + 48*t + 271. Let i be v(-5). Suppose 0 = -a + y - i*y + r, 0 = 2*y - 6. Is 7 a factor of a?
True
Suppose 126 = -q - 2*x + 6, 3*x - 9 = 0. Suppose 6*b = 16*b + 20. Does 12 divide b + 5 - (1*q - -3)?
False
Let d be 34*(6 + -5 - 0). Suppose d*p = -p + 12635. Is p a multiple of 14?
False
Let h = -166 - -170. Let j(r) be the first derivative of 4*r**3/3 - 7*r**2/2 + 8*r - 1. Is j(h) a multiple of 11?
True
Let f = 2872 + -1740. Does 24 divide f?
False
Let f(c) = 747*c**3 - c**2 + 4*c - 3. Suppose 29*g = 9*g + 20. Let b be f(g). Suppose 0 = -11*p + b + 463. Does 22 divide p?
True
Let n be (0/(-2) - 1)/(13/(-1677)). Let v = n + -82. Is v a multiple of 2?
False
Let z = 37 - 544. Let q = -342 - z. Does 2 divide q?
False
Suppose -2*f + 2487 = w - 3525, 12 = 3*f. Does 10 divide w?
False
Suppose -557755 + 11011 = -12*q. Is q/77 - 4/(-14) a multiple of 8?
True
Let v(g) = -5*g - 24. Let n = 56 - 54. Suppose n*x + 12 = -2. Does 2 divide v(x)?
False
Let h(b) = -399*b - 2634. Is h(-54) a multiple of 91?
False
Is -11*44/(-5082) + 692616/63 a multiple of 46?
True
Let w(c) = c**3 + 4*c**2 - c - 1. Let s be w(-4). Suppose 4*j - s*q + 383 = 0, 2*j - 4*q - 256 = 5*j. Let r = j - -125. Is 2 a factor of r?
False
Let y(c) = 3*c**2 - 9*c - 6. Let g be y(-7). Let n = g - -42. Let m = n - 12. Is 26 a factor of m?
True
Let f(s) be the third derivative of -s**6/120 - 37*s**5/60 + 31*s**4/24 - 23*s**3/2 + 12*s**2 - 4. Is 43 a factor of f(-38)?
False
Let c = 8001 + -3413. Is c a multiple of 31?
True
Is 50 a factor of ((-3)/12*-30)/((-16)/((-330240)/18))?
True
Let i = -4 - -70. Does 3 divide (-12 - -16)/(4/i)?
True
Let g(s) = -s. Let t(d) = -6*d - 10. Let v(w) = -24*g(w) + 3*t(w). Let b be v(6). Suppose 4*y - b*j - 1084 = -2*j, -3*y + 810 = -4*j. Is 23 a factor of y?
False
Let u = 85 + 1329. Is 26 a factor of u?
False
Let i(a) = 11*a**2 - 2*a - 8. Let c(y) = y**3 + y - 1. Let t(s) = 2*c(s) + i(s). Let q be t(-7). Let g = q - -305. Is g a multiple of 41?
False
Let k(p) = 111*p - 20. Let c be k(6). Suppose c = 12*z - 10*z. Suppose 5*g - z = 4*l, -2*g + g - 4*l = -79. Is 7 a factor of g?
False
Let a(z) = z**2 + 3*z - 19. Let u(j) = -j**3 - 16*j**2 + 18*j + 10. Let k be u(-17). Let c be a(k). Is 12 a factor of 8/10*c*(-20)/(-3)?
True
Let d be (-77)/((-2)/(-9) - (-221)/(-936)). Suppose -7*i - d = -31*i. Does 7 divide i?
True
Is (-116)/(-20) + -5 + (-6 - 193802/(-10)) a multiple of 31?
True
Let q(j) = j**3 - 50*j - 2. Let x be q(0). Let w(s) = -s**2 - 15*s**3 + 3*s + 0*s**2 - 2*s - 2. Is w(x) a multiple of 14?
True
Suppose 5*a + 4*q = 3417, 5*q - 745 = -3*a + 1300. Let i = 1089 - a. Is 4 a factor of i?
True
Let t(i) = 5*i - 43. Let u be t(9). Is (3 - 12/3)/(u/(-1840)) a multiple of 8?
True
Is (-2)/(-6) - ((-52304)/21 - -11) a multiple of 31?
True
Let m be (-26)/(-4) + (-2)/4. Let y be (4/m)/(18/1107). Suppose y = 4*n - 7. Is n a multiple of 12?
True
Suppose 0 = 17*t + 259 - 4. Is 78 a factor of (4/5)/2*t - -805?
False
Suppose -3*f - 3*c = 762, 7*f + c + 1274 = 2*f. Let n = f - -815. Is 28 a factor of n?
True
Let j be 308/(-3)*(-21 - -18). Suppose -305*v = -j*v + 522. Is 13 a factor of v?
False
Suppose 154370 = 205*g - 409790. Is 4 a factor of g?
True
Suppose -58*n + 360749 + 1241101 = -10608. Is 37 a factor of n?
False
Let g(q) = -51*q**2 - 2285*q - 27. Is g(-35) a multiple of 143?
False
Let x = 12329 + -10397. Is 6 a factor of x?
True
Suppose -180 = z - 184. Suppose -7*v + 3*v + 8 = 0. Suppose 0 = -z*b - v*g + 274, 2*b + 3*b - 350 = -g. Is b a multiple of 6?
False
Let y = -11833 - -15689. Does 27 divide y?
False
Is 12 a factor of 45195 + (1 - (-1 + -21))?
False
Let m = -3836 - -8486. Is m a multiple of 38?
False
Let v = -43 + 47. Suppose 6*z + 28 = -z. Is 9 a factor of 0 + (z - (-36 - v))?
True
Let k be -11 + 97/9 - 22738/(-18). Let b = k - 638. Is 15 a factor of b?
False
Let x = 28 - 9. Suppose x*s + 15 = 24*s. Suppose s*n = 4 + 32. Is n a multiple of 8?
False
Let r be (-162)/(-14) + (-3)/(-7). Is 16 a factor of (r/(-10))/(-10 - 798/(-80))?
True
Let p(y) = -47*y**3 + 2*y**2 + 5*y + 6. Let h be p(-2). Suppose -2*c + 6*c - h = 0. Is 17 a factor of c?
False
Is (2133/(-135) + -13)/(9/(-3990)) a multiple of 52?
False
Let l(c) = -13*c**2 + 1571*c - 144. Does 81 divide l(107)?
True
Let u = -699 + 701. Suppose 3*s - u*p - 1373 = 0, -3*p = 3*s - 1557 + 159. Is s a multiple of 102?
False
Suppose 3*r - 6906 = 3*y, -5*r + 14289 = -3*y + 2775. Suppose 0 = 8*x + x - r. Is x a multiple of 15?
False
Let c(v) = 109*v**3 - 16*v**2 - 14*v + 82. Is 31 a factor of c(5)?
True
Suppose -8*i + 36 = -12*i. Let d be (-405)/i*1/3. Suppose 0 = -u + 24 - d. Is u a multiple of 2?
False
Suppose 2771*c + 60 = 2772*c - 852. Is 4 a factor of c?
True
Is -7 - (0 - 3) - 32480/(-4) a multiple of 4?
True
Is (-8 - 16) + 19 - (-587 - 0) a multiple of 2?
True
Let i = -220 - -218. Let h = i - -70. Is 17 a factor of h?
True
Let x(c) = -27*c - 21. Let y be x(-5). Suppose y*j = 125*j - 979. Is 3 a factor of j?
False
Suppose 3*y - 2*w = -0 + 2, 2*y = 2*w + 2. Suppose y = c - 17*c + 7328. Does 3 divide c?
False
Let l be 10/(-2) - (19 + -26). Suppose l*a - 106 - 374 = 0. Does 40 divide a?
True
Is 28 a factor of (-7 + 2 + 222)*(19 + -2)?
False
Suppose -2*l = 2*u + 60, -l + 0*u = -5*u + 42. Let v = l - -12. Let z(m) = -m**2 - 25*m + 17. Is 39 a factor of z(v)?
True
Let v(j) = -13*j - 4. Let n(g) = 14*g + 5. Let b(w) = 6*n(w) + 7*v(w). Let c be b(0). Suppose 0 = -2*s + c + 6, 0 = 2*r + 4*s - 448. Is 7 a factor of r?
False
Let g be (-8)/36 + 587/9. Suppose 4*d + 2*o = 276, 4*o - 8*o = -8. Suppose g*c + 54 = d*c. Does 2 divide c?
True
Suppose 38*q = 3*q + 82460. Is q a multiple of 30?
False
Let y(b) = 21109*b - 301. Is 10 a factor of y(1)?
False
Suppose 0 = q + 5*q - 4680. Suppose -b + 14*b = q. Does 6 divide b?
True
Suppose 1360 - 403 = 5*u + 4*b, 5*u + b - 948 = 0. Suppose 0 = 3*v - 146 + 2. Suppose -u*n = -193*n + v. Is 4 a factor of n?
True
Suppose -f - 4 = -99. Suppose 5*i = -10, f + 76 = r + 2*i. Is r a multiple of 5?
True
Suppose 12457 = 17*f - 3863. Let y = 468 + f. Is 12 a factor of y?
True
Does 5 divide 0 - 29566/(-4) - (-20)/(-8)?
False
Let k(m) = m**2 - 184*m + 1098. Does 18 divide k(0)?
True
Suppose 8*l + 496 = 2360. Suppose 23*n - 4281 = -l. Is 8 a factor of n?
True
Let q = 29 - 29. Suppose -4*m - 5*a + 55 = -3*m, q = -m - 2*a + 49. Suppose -502 = -5*f - 4*t, 3*f + 5*t - 354 = -m. Is f a multiple of 14?
True
Suppose -15 = 4*s - 8*s - 3*u, s + 1 = 4*u. Suppose -d - 4*k + 3 = -7, s*d = 2*k + 72. Suppose 7*x = d + 6. Does 4 divide x?
True
Let p = -67 + 73. Let j(y) = -5*y + 21. Let b be j(p). Let l(q