20 = -50*a + 45*a. Does 17 divide a?
False
Let a = -43 - -58. Suppose a*z = 14*z. Suppose z*d = 3*d - 3*c - 42, c = 2*d - 30. Is 8 a factor of d?
True
Suppose -3*a = 0, 5*o = 2*a - 6*a + 585. Let v be (-20 - o) + 4/2. Is 27 a factor of (-5)/(-10) + (-2)/4 - v?
True
Suppose -7*t - 770 = -18*t. Let z be 16 - 15 - t/2*-1. Is 9 a factor of 72*(z/(-16) - -3)?
True
Let m(r) = r**2 - 6*r - 10. Let c be m(18). Let q = -144 + c. Suppose -103 - q = -3*x. Does 20 divide x?
False
Let j = 18052 - 3278. Is 12 a factor of j?
False
Suppose -520*k - 518*k + 1039*k = 6516. Is 36 a factor of k?
True
Let x(t) be the first derivative of -t**4/4 + 23*t**3/3 - 10*t**2 - 2. Does 44 divide x(22)?
True
Let j(i) = -71*i - 6. Let u(a) = 36*a + 3. Let w(s) = -6*j(s) - 11*u(s). Suppose 2 + 2 = 4*m. Is 33 a factor of w(m)?
True
Let z = 11928 - -43260. Does 73 divide z?
True
Let k(q) = 29*q + 8. Let r = 13 - 10. Suppose -s - 5*n + 8 = 0, -r*s + 13 = 5*n - 1. Is 18 a factor of k(s)?
False
Let r = -167 - -384. Suppose -3*t = -r + 49. Suppose 2*p - t = -20. Is 7 a factor of p?
False
Let a be (-3)/(6 + -3)*-87. Suppose 0 = -18*w + a + 1911. Is 4 a factor of w?
False
Let g(r) = 43*r + 8159. Does 8 divide g(-118)?
False
Let s(o) = -18*o**3 - 7*o**2 + 27*o - 95. Is s(-8) a multiple of 16?
False
Let x(o) = 340*o**2 + 480*o + 1440. Is x(-3) a multiple of 30?
True
Let t(b) = 181*b**2 - 29*b - 140. Is 51 a factor of t(-6)?
False
Suppose -264 = -8*q + 2*q. Let h = -39 + q. Suppose j - 3*k = 5*j - 144, h*j = -4*k + 181. Is 3 a factor of j?
True
Let c = 1952 - -1870. Does 26 divide c?
True
Suppose 27 = 5*a + 2. Suppose 5*d - 43 = -2*r + 88, -4*r + a*d = -337. Is (4 - r/(-21)) + (-6)/(-21) a multiple of 8?
True
Let t = -92 + 83. Let p(b) = b**3 + 8*b**2 - 9*b + 19. Let l be p(t). Let g = l + 21. Does 11 divide g?
False
Let d = -149 - -161. Suppose -d*i = -3*i - 2052. Is 50 a factor of i?
False
Suppose 12*l + 3*w = 95502, -2*l + 31858 = 2*l + 5*w. Is 109 a factor of l?
True
Suppose -t = -3*d + 46802, 10*d = 11*d + 4*t - 15592. Is 65 a factor of d?
True
Let d(l) = l**3 + 94*l**2 + 308*l + 663. Is 76 a factor of d(-90)?
False
Let h(d) = -d**3 + 29. Let b be h(0). Let j = 73 - b. Let t = j + -30. Is t a multiple of 3?
False
Let z be (-1 - 1)/(-8)*20. Suppose 125 = 4*j - 3*j - 2*h, -2*j = -z*h - 254. Does 13 divide j?
True
Suppose 0 = 3*g - 22*c + 23*c - 13834, -2*g - 3*c + 9239 = 0. Is 50 a factor of g?
False
Is (-107046)/(-3) - (-578)/(-289) a multiple of 34?
False
Let q be 8 + -386*(-1 + 8). Does 25 divide (q/(-8))/(((-621)/(-72))/23)?
False
Suppose -2*k - k - 78 = -3*z, -3*k - 5*z = 46. Let p(g) = g**3 + 22*g**2 - 20*g + 8. Is 16 a factor of p(k)?
True
Let y = 4174 + -2895. Is y a multiple of 29?
False
Let a(k) = 1146*k - 8519. Is a(15) a multiple of 23?
True
Is 111570/33 + -6 + 16/176 a multiple of 125?
True
Suppose 841 - 2936 = -w. Does 37 divide -9*w/(-40) - (-9)/(-24)?
False
Let j(b) = -b**3 - 6*b**2 + 2*b + 21. Let s(r) = -r - 15. Let d be s(-6). Let o be j(d). Suppose -5*x - 2*q + o = 0, 2*q + 60 = x - 3*q. Is 7 a factor of x?
False
Suppose 0 = -5*i + 3*i - 8. Is ((-1)/2)/(i/8960) a multiple of 32?
True
Suppose 663 - 633 = -5*x, -26910 = -6*s + x. Does 38 divide s?
True
Suppose -3*u = -8*u - 10, 5*u = -3*j - 1. Suppose j*f - 23 + 11 = 0. Suppose 5*i = 2*v + 3*i - 68, -f*i = -2*v + 70. Does 5 divide v?
False
Suppose -20 = -0*l + 5*l. Let d be (-1)/l + 85/(-20). Let w(b) = -b**3 - 3*b**2 + 2. Is w(d) a multiple of 3?
True
Suppose -3*k + 14 = -4. Suppose -3*o - g + 829 = 0, 2*g - k*g = o - 291. Does 10 divide o?
False
Let a = -2298 - -4762. Suppose 0*h = 8*h - a. Is 5 a factor of h?
False
Is 8 a factor of 2 + -10 - 2*(-26637)/6?
False
Suppose -4*s - 117 - 2121 = 3*f, -5*s - 2780 = -5*f. Let d = s + 615. Is d a multiple of 3?
True
Let m = -4089 - -2043. Let z = -1357 - m. Does 9 divide z?
False
Let g(i) = 41*i + 115. Let t be g(10). Let z = t - -15. Is z a multiple of 10?
True
Suppose -2*s - 4 = 14*r - 18*r, -s + 8 = 3*r. Let m(k) = 6*k**2 - k + 2. Let p be m(4). Suppose -4*c = -r*c - p. Does 47 divide c?
True
Suppose 0 = -3*g + 2*r + 12, -g + 23 = 3*g - 5*r. Let u be g + (-3 - (4 - 8)). Suppose 4*n - 4*d = 116, u*d - 4*d - 56 = -2*n. Does 12 divide n?
False
Let v(y) = 28*y**2 + 4*y + 16. Let s(n) = -n**3 + 29*n**2 + 3*n + 17. Let l(t) = 2*s(t) - 3*v(t). Does 14 divide l(-13)?
False
Let u = -1664 - -6830. Does 126 divide u?
True
Let v(t) = -3*t**2 + 52*t + 55. Let g be v(18). Let q = -123 + 86. Let o = g - q. Does 14 divide o?
True
Let z = -575 + 577. Let r = 16 + -11. Suppose -z*y + 3*y = -r*x + 522, y - 2 = 0. Does 13 divide x?
True
Suppose -4*b - 3028 = -3*d, 5*d - 1315 = -2*b + 3749. Is d a multiple of 92?
True
Suppose -84 + 64 = -4*u. Suppose -270 = h - 3*h + 3*l, 700 = u*h + 5*l. Is 11 a factor of h?
False
Suppose 0 = -13*w + 4619 - 121. Let j = w + -16. Does 24 divide j?
False
Let r(k) = -4*k**2 + 22*k + 798. Let c(f) = 3*f**2 - 19*f - 797. Let m(i) = -5*c(i) - 4*r(i). Is m(0) a multiple of 12?
False
Let u = -1155 - -3246. Does 41 divide u?
True
Let l(a) = -2*a**2 + a + 8. Let u be l(5). Let n = u - -39. Suppose -5*p - 8*g = -3*g - 160, -n*p + 58 = 5*g. Is 11 a factor of p?
False
Let u be (8/(-10))/(0 - (-6)/165). Let l = 105 - u. Suppose -5*h - l + 427 = 0. Is 30 a factor of h?
True
Let f = 4096 + -2240. Is f a multiple of 8?
True
Let t(u) = -u**3 + 56*u**2 + 59*u + 131. Does 5 divide t(57)?
True
Let j(o) = -o**3 + 7*o**2 - 11*o - 15. Let s be j(-7). Suppose -s = -2*h - 5*y, 0 = -5*y + 4 + 6. Let a = h + -204. Is a a multiple of 31?
False
Let y(c) = c**3 + 2*c**2 - 18*c + 16. Suppose -4*g + 46 = 5*f - 6*g, f + 4 = -4*g. Is y(f) a multiple of 16?
True
Let g be (3 - -31)/(4/14). Let s = g + 174. Is s a multiple of 8?
False
Suppose -26*g = -32*g + 276. Let d = g + 206. Is d a multiple of 17?
False
Let m(j) = -194*j**3 + 8*j**2 - 29*j - 38. Does 13 divide m(-5)?
True
Is (-52)/((-16865)/(-1875) + -3 - 24/4) a multiple of 54?
False
Let f(v) = -11*v + 10*v + v - 7 - 8*v. Let m be f(-21). Suppose -331 = -4*t + m. Does 41 divide t?
True
Suppose 4*v = 3*s + 7*v - 4383, 0 = 2*s + 3*v - 2919. Is s a multiple of 61?
True
Suppose q - 71428 = 4*q - 223012. Is q a multiple of 16?
True
Let q(r) = r**3 - 3*r**2 - 6*r + 8. Let d be q(4). Suppose 0 = 2*u, -5*l + 5*u + 109 + 181 = d. Does 29 divide l?
True
Suppose 3*m - 4*c = -1270 - 193, -3*c - 3 = 0. Let k = m + 810. Is k a multiple of 18?
False
Let d(y) = -2*y**3 + 20*y**2 - 13*y - 17. Is 13 a factor of d(-9)?
False
Let l(o) = -3*o**3 - 8*o**2 - 7*o + 4. Let u be 3 + 5/(-5)*4. Let v be (3/(-1) - u) + (-4)/2. Is l(v) a multiple of 32?
True
Suppose 2*k = 2, -117 = 3*s - 2*k + 1061. Let w = s + 550. Does 12 divide w?
False
Let o = 35493 - 18358. Is o a multiple of 23?
True
Let f = 4175 - 2705. Does 14 divide f?
True
Suppose -16*h - 34166 + 107766 = 0. Is 10 a factor of h?
True
Let i be (7 + (-5 - 2))/(-1). Suppose 71*g - 66*g - 4135 = i. Is 35 a factor of g?
False
Let x be 1*(1 + 2 + -3 + -3). Let b(y) = -2*y**3 - 4*y**2 - 4*y + 2. Let c be b(x). Suppose 6*o - 3*o = -4*q + c, 5*q - 44 = -4*o. Does 8 divide o?
True
Let q(v) = 0*v + v + 2*v**2 - v**2 + 4 + 11. Let f = -7 - -1. Is 5 a factor of q(f)?
True
Suppose -24745 = 45*d - 156505. Does 27 divide d?
False
Suppose -494*s - 243888 = -524*s - 92208. Does 32 divide s?
True
Suppose -4*o + 35 = 3*o. Let v(z) = 12 - z - o*z + 11*z + 3*z**2. Is 35 a factor of v(-7)?
False
Suppose -2*w = -0*w - 3*h - 13757, 0 = -w - 3*h + 6883. Is 15 a factor of w?
False
Let d be (-144)/(-84)*-2*301/4. Let q = d - -369. Is q a multiple of 8?
False
Let c = 5597 - 2140. Let t = 5068 - c. Is 28 a factor of t?
False
Let c = 11950 - 10113. Does 16 divide c?
False
Suppose 3*y - m - 22345 = 0, -5*y = -4*m - 37478 + 255. Is 67 a factor of y?
False
Let y be 39/(-4)*((-336)/18)/14. Suppose -5*b + 5*u + 185 = 0, -177 = -5*b - 12*u + y*u. Is 12 a factor of b?
False
Suppose -h + 0*h - 57 = 0. Let b be ((-3)/9 + 0)*h/1. Suppose 0 = -b*q + 24*q - 680. Is 34 a factor of q?
True
Let r be ((-4)/(-14))/((-8)/(-42))*642. Let j = r - 333. Is 15 a factor of j?
True
Let d(g) = 2*g**3 + 4*g + 0*g**2 - 2*g**2 - 2 - g**3. Let b be (9 - 8)/(66/(-12) + 6). Is d(b) a multiple of 3?
True
Let c(h) be the third derivative of 7*h**4/3 - 59*h**3/3 + h**