e 5*w - 712 = y*q, -6*w + 2*q + 713 = -w. Is 13 a factor of w?
True
Let a(o) be the third derivative of -23*o**4/24 + o**3/3 + 217*o**2. Suppose 0 = -2*v - 13 + 1. Does 10 divide a(v)?
True
Let n(z) = 243*z**2 + 4*z + 29. Is 23 a factor of n(-5)?
False
Let k = -143 + 147. Suppose -k*z + o + 284 = 0, 2 = 2*z + 2*o - 140. Is 16 a factor of z?
False
Suppose 0 = -22*v + 21*v + 4*x + 648, -5*v + 3222 = -2*x. Is v a multiple of 28?
True
Suppose -5*l - 13 = 4*a, -2*l + 4*a = 2*l - 4. Let f be (-12)/(1 + l + 1). Does 40 divide 3/(f/(-8))*40?
True
Suppose 5*b + 50058 = 3*q, q - 4*q = -3*b - 50058. Is q a multiple of 16?
False
Suppose 11*i = 122 - 100. Is 87 a factor of (-5)/(-5) + i/(-2) + 1392?
True
Suppose 64*h - 27140 - 18682 = 124610. Is 10 a factor of h?
False
Let f be ((-16)/(-20))/((-2)/(-15)) - 0. Let u = 14 - f. Suppose -120 = -11*v + u*v. Is 29 a factor of v?
False
Suppose 0 = 35*d - 33*d - 10. Is 24 a factor of (2586/d)/(-6)*-10?
False
Let z(a) = -325*a**3 - 11*a**2 - 42*a - 33. Is 3 a factor of z(-2)?
True
Suppose -722 - 34 = -18*z. Does 2 divide 9/(-6 + z) - 334/(-8)?
True
Let n = 24 - 22. Suppose 0 = -2*w + 2, 4*h - 874 = n*w - 0*w. Let q = h - 90. Does 43 divide q?
True
Suppose 360 = 17*o - 3336 - 2713. Does 2 divide o?
False
Let g(q) = 16 + 9*q**3 - 13*q + 9*q**3 - 16*q**2 + 0*q - 17*q**3. Is g(17) a multiple of 15?
False
Suppose 0 = -2*g - 5*s + 461 + 46, 3*s + 1027 = 4*g. Is 5 a factor of g?
False
Suppose 0 = -8*l + 2*l + 12. Let n be ((-4 - -4)/3 + -4)*-1. Suppose 2*q - 612 = -n*y, -l*q + 3*y - 2*y = -622. Is q a multiple of 39?
False
Suppose -2*p - 53 = -3*p - s, 0 = 5*s - 5. Let d be 160/12*(-2 + -1). Let o = d + p. Is 2 a factor of o?
True
Suppose -129*j = -132*j - 1074. Let m = j - -433. Is m a multiple of 25?
True
Is 79 a factor of (-32)/(-20) - 3221530/(-325)?
False
Let s = -142 + 272. Let d = s + -65. Does 13 divide d?
True
Suppose 23*m + 24*m = 92235 - 30195. Is 11 a factor of m?
True
Let k(r) be the first derivative of -13*r**2/2 + 76*r - 84. Is 17 a factor of k(-19)?
True
Let r(a) = 5*a - 15. Suppose 12 = 2*m + 2*m - t, 4*m + 5*t - 36 = 0. Let p be r(m). Suppose -o - 2*b + 70 = 0, -2*o + p*b - 4*b + 145 = 0. Is 18 a factor of o?
True
Let p(t) = -2*t + 38. Let g(f) = f - 37. Let j = 15 - 9. Let l(s) = j*g(s) + 5*p(s). Does 9 divide l(-14)?
False
Let c = -236 + 238. Suppose 5*x - 5*i - 3535 = 0, c*x + x + 3*i = 2109. Is x a multiple of 15?
True
Let f(d) = -d**3 - 2*d**2 - 2*d - 12. Let x be f(-3). Does 9 divide 10/x*1/(5/180)?
False
Suppose -3*q + 5*d + 140 = 0, -q - 2*d = -3*d - 44. Is (-2 + -3)*(-2888)/q a multiple of 19?
True
Suppose 0 = h - 3*y - 9, 4*y + 20 = 4*h - 0*h. Let v be (h/9*-2)/((-14)/(-231)). Let x = 65 + v. Is 13 a factor of x?
False
Let a(o) = -o**2 - 22*o - 53. Suppose 0 = -27*g + 30*g - 12. Suppose g*m + k + 67 = 0, 2*k + 20 = -m + 5*k. Does 14 divide a(m)?
False
Let r(o) = -2*o**3 - 3*o**2 + 5*o - 25. Let s be r(3). Let d = s + 507. Is 32 a factor of d?
True
Let r be 3 + -2 + 3 - -42. Suppose w = 151 - r. Suppose -3*k + 3*y = -k - w, k = -3*y + 48. Is k a multiple of 14?
False
Suppose -7*c = -12850 - 9084 - 3182. Is c a multiple of 16?
False
Let p = 2667 - 1302. Is 15 a factor of p?
True
Suppose 7*g - 6*g = 5. Suppose 3*r = -4*w + 3589, 0 = -g*w + 5*r + 6270 - 1740. Is w a multiple of 17?
True
Let x(r) be the first derivative of -12*r**2 + 5*r - 19. Let k(l) = -47*l + 10. Let q(m) = -6*k(m) + 10*x(m). Does 13 divide q(3)?
False
Suppose -45*x + 917 = -42*x - 4*c, -610 = -2*x + 3*c. Is 4 a factor of x?
False
Let z = 15 - 22. Let p(k) be the third derivative of k**5/20 + k**4/4 - k**3/2 + 26*k**2 + 2*k. Does 34 divide p(z)?
True
Let h(c) = 227*c. Let n(s) = -454*s - 5. Let u(r) = 9*h(r) + 4*n(r). Is 58 a factor of u(3)?
False
Let k(z) = z**2 - 21*z - 43. Let c be k(23). Suppose 19*n + c*n = 5500. Is 10 a factor of n?
True
Is 5 - (3 - 4/1)/(12/173772) a multiple of 9?
False
Suppose 20*b + 120 = 28*b. Does 50 divide 50/(b/(-3))*(-2 + -38)?
True
Let y be (0 + (1 - 2))/(-10 + 11). Let t be 0/y - (-11)/(11/174). Suppose -5*a + 704 = t. Does 20 divide a?
False
Let a(t) = 5*t - 25. Let p be a(5). Suppose 810 = 3*b - p*b. Is 54 a factor of b?
True
Let j(h) = -27*h + 185. Let c be j(11). Is 10 a factor of (-20188)/c - 9/4?
False
Let h be (-27)/135 - (-219)/(-5). Let t = 4 + h. Let k = t - -60. Does 4 divide k?
True
Suppose -15 - 20 = -5*a. Let g(t) = -13 - 19 + a*t - 1 + 16. Does 25 divide g(21)?
False
Suppose 10*q = 5*q - 2*w + 4026, 5*w = -q + 796. Is 8 a factor of q?
False
Let d be (-4 + 9/1)*(-12)/(-30). Is 36 a factor of d/3 - ((-1986)/18 + 3)?
True
Let q = 1159 - -633. Is 8 a factor of q?
True
Let o be (-6)/9 - (-1 - (-8)/(-3)). Let k(j) = 4*j + 15. Let t be k(o). Suppose t = 5*a - 68. Does 19 divide a?
True
Let w(a) = -a**2 - 9*a - 16. Let g be w(-6). Suppose g*h + 32 = -6*h. Let v(k) = -k**2 - 19*k - 8. Does 13 divide v(h)?
True
Suppose -o = 2*a - 1024, -5*o = o + 5*a - 6144. Does 4 divide o?
True
Suppose -4 = -29*g + 30*g. Let y be -2*(5 - (-1 - 1 - g)). Let r(p) = p**2 - 6*p - 2. Is 10 a factor of r(y)?
True
Let q(o) = o**3 - 3*o**2 - 6*o - 17. Let c be q(5). Suppose -8*z = -4*z + 4*i - 260, -z + c*i = -57. Does 3 divide z?
True
Suppose 0 = 9*a + 9002 - 25319. Is a a multiple of 3?
False
Suppose 40*l = 27*l + 28925. Suppose h = 2*m + 554, 3*h - 5*m = -h + l. Does 28 divide h?
True
Does 60 divide -12 + 4 + 37170/9?
False
Suppose 8*a + 480 = 1504. Suppose 4*q - a - 1188 = 0. Is q a multiple of 47?
True
Let y = 3941 - -5796. Is 15 a factor of y?
False
Let v = 17919 + -10715. Is v a multiple of 68?
False
Suppose -2*s + 775 = -7*s. Let x be 12/(-15) - 8844/20. Let r = s - x. Does 18 divide r?
True
Let w = 21 + -37. Let t = -18 - w. Is 9 a factor of (40/t - -2)*(-23 - -21)?
True
Suppose -4*s = -u - 9078 - 23001, 4*u = -s + 8007. Does 27 divide s?
True
Let x = 18 + -16. Let p be x/(-7) - (-540)/(-21). Is (-13)/p*92/2 even?
False
Let c be ((-16)/32)/((-10)/2720). Suppose 0 = -2*n + 4*o + 24, -2*n = -3*n + o + 8. Suppose 0*h + c = n*r + 4*h, -3*h = -r + 42. Is r a multiple of 5?
False
Suppose -l - 4*q = -5 - 13, -4*l + 24 = 4*q. Suppose 6*k + 3*k = 27. Suppose -k*a - 2*x + 120 = 0, -x = l*a - 5*x - 64. Is a a multiple of 4?
False
Suppose 3*x - 5*x + 3*f = -2119, x + 5*f = 1079. Does 2 divide x?
True
Suppose 14 = 4*k - 4*w + 4450, 4*k + 4416 = -w. Let y = k + 2149. Is y a multiple of 30?
False
Let l = 294 - 291. Suppose 2*k = -2*g + 3*k + 818, -822 = -2*g + l*k. Is 52 a factor of g?
False
Suppose -240 = 3*r - 15*r. Suppose 5*c = -2*p + 137, 5*p + r + 56 = 3*c. Is c a multiple of 15?
False
Is -1 + (-208868)/(-24) + 1055/(-1266) a multiple of 77?
True
Does 15 divide (-14)/(-189) - (-1943970)/405?
True
Suppose v = -2*f - 3*v - 10, 0 = f + 3*v + 7. Does 5 divide (-1 - -29) + 3 + f + 3?
False
Let m(b) = 41*b**2 - 50*b - 146. Let a be m(-3). Suppose -a + 309 = -z. Is 2 a factor of z?
True
Let l(h) = h**3 + 39*h**2 - h - 39. Let a be l(-39). Suppose -9*i + 3213 = -a*i. Is i a multiple of 27?
False
Suppose 4*o = 3*z + 410 - 1989, 0 = 4*o + 4. Does 21 divide z?
True
Does 12 divide 56/84*(-39186)/(-4)?
False
Let b(s) = 5*s - 48. Let j(l) = -6*l - 22. Suppose 5*i - 6 = 2*y + 3, -3*y - 17 = -4*i. Let k be j(y). Does 21 divide b(k)?
False
Let n(s) = -3*s + 58. Let r be n(17). Let m be 3*(r/(-3) - 0). Does 41 divide (12/m)/((-2)/56*1)?
False
Let u = -660 - -659. Is (-7)/(-7) + u + 337*1 a multiple of 11?
False
Suppose -2*s = 2*n + s - 163, 77 = n - 3*s. Let y be 792/(-21) - 2/7. Does 21 divide (-18)/(n/y + 2)?
False
Let f = 2451 + -1305. Is f a multiple of 15?
False
Suppose 22*a - 18*a + 96 = 0. Is (21066/36 - 3) + 4/a a multiple of 21?
False
Let n(u) = -u**3 - 10*u**2 - 17*u - 4. Let l be n(-8). Suppose 3*z + 5*y - 27 = z, l*y + 12 = 0. Is 3 a factor of z?
True
Let u = 24825 + -47. Does 15 divide u?
False
Let j(v) = 1799*v + 140. Let i(x) = 2698*x + 210. Let g(l) = 5*i(l) - 8*j(l). Is g(-1) a multiple of 16?
True
Let f(x) = 212 - 59*x + 29*x + 27*x. Is f(31) a multiple of 10?
False
Suppose -24*w + 28*w + 5*i + 190 = 0, -2*w + i - 88 = 0. Let p = w - -230. Is 14 a factor of p?
False
Let b = -187 + 192. Suppose d - 436 = -g, 0 = -3*d + b*d - 4*g - 860. Does 14 divide d?
True
Let f(q) = -533*q + 16. Let u be f(-2). Let x = u - 