iple of 8?
True
Suppose 5*o - 5*q - 25 = 0, 4*o - 6*o + q + 15 = 0. Let i(d) = 82*d + 50. Does 29 divide i(o)?
True
Suppose 4*v = 3*t - 635, -9*v - 3*t = -8*v + 170. Let h = 216 + v. Does 5 divide h?
True
Suppose -z = -8 + 3. Suppose z + 63 = 4*g. Let p(s) = s**2 - 15*s. Does 17 divide p(g)?
True
Let q = 2312 + -1103. Suppose 0 = -9*d - 219 + q. Is 22 a factor of d?
True
Suppose 4*g - 15 - 1 = 0. Suppose -y = 3*w - 20, -3*y - 311*w + 308*w + 24 = 0. Suppose g*o + 134 = 7*t - 2*t, 3*o = y*t - 55. Is 3 a factor of t?
False
Let q(x) = x**2 + 10. Let i be q(0). Let l(g) = g**2 - 14*g - g**2 + 3*g**2 + 5*g**2 - 6*g**2 - 8. Does 13 divide l(i)?
True
Let a(t) = 33*t**2 - 730*t. Does 108 divide a(25)?
False
Let p = 499 + -258. Let v = p - 47. Is 45 a factor of v?
False
Suppose 0 = 4*t - 3*r + 42, 3*t = -2*t - 5*r - 35. Let v be (-34)/t + 16/72. Suppose -324 + 108 = -v*u. Is u a multiple of 18?
True
Let w(j) = 47*j**2 - 7*j + 205. Is w(-14) a multiple of 11?
True
Let j be 4 - (-52)/(-16) - 11847/(-12). Suppose -2*v + 196 = k, 0*k + 5*k = -2*v + j. Is 35 a factor of k?
False
Suppose -7*b + 602 = 70. Let f = -41 + b. Let i = 61 + f. Does 8 divide i?
True
Suppose -70*u + 71*u - 18241 = -4*j, -9159 = -2*j + 5*u. Is 161 a factor of j?
False
Let t be 53/(-106) + 1022/4. Let a = t - 243. Does 2 divide a?
True
Let r = 13 - -71. Suppose 2*d = n + 4*d - r, 4 = -d. Is n/(-3)*15/(-10) a multiple of 28?
False
Let z(r) = -2*r**3 + r**2 + r + 5. Let t(o) = -4*o - 7 + 5*o + 0*o + 0. Let p be t(4). Does 5 divide z(p)?
True
Let l(h) be the third derivative of -7*h**4/24 - 17*h**3/3 + h**2. Let f be l(11). Let g = 115 + f. Does 4 divide g?
True
Suppose -2*f + 1093 - 16583 = -4*m, 3*f - 15455 = -4*m. Does 12 divide m?
False
Suppose -95*b + 85 = -94*b. Let g = -137 + b. Is 13 a factor of -6 - -7 - g*5?
False
Let y(f) be the third derivative of -f**6/60 + 11*f**5/15 + f**4/2 - 4*f**3/3 - 2*f**2 + 1. Let w = -51 + 73. Does 16 divide y(w)?
True
Let s = 933 - 929. Let u be (-3 - 20/(-1)) + -3. Suppose -u*p + s*p = -1360. Does 34 divide p?
True
Let v(b) = -19*b**3 - 6*b**2 + 2*b + 28. Does 6 divide v(-5)?
False
Let d be 32 + -27 + (115 + -2)*12. Suppose -3*v - 3*z + 816 = 0, 16*v - d = 11*v - 4*z. Is 21 a factor of v?
True
Is 51 a factor of (-50488)/(-27) + -2 + 112/54?
False
Let m = 2468 + -2135. Is m a multiple of 3?
True
Let x be (5*3/(-45))/(2/(-12108)). Suppose -3*w + 2*t = -x, -w + 0*t + 2*t + 674 = 0. Is 16 a factor of w?
True
Let o be (-6)/4 - ((-1532)/(-8) + 0). Let w = 138 + o. Let c = -15 - w. Is c a multiple of 13?
False
Does 151 divide 3 + (-135848)/(-12) - -6*12/54?
True
Let n be ((-12)/(-4) - 4)/((-2)/6). Suppose 0 = o + 5, -5*o = 6*b - n*b + 28. Is (-27 - 1)*b/4 even?
False
Let o be 0 + 1*3 - 0. Let q(m) = 2*m**2 - 2 - 157*m**3 - 4*m**2 + 319*m**3 - 4 + 3*m - 161*m**3. Is q(o) even?
True
Suppose 417*g - 77*g = 7801980. Is 58 a factor of g?
False
Let q = -345 - -374. Is 38 a factor of (q + -25)*((-398)/(-8) - -1)?
False
Suppose -5*m - 3*v + 98259 = 0, 5*v + 64549 - 5648 = 3*m. Is m a multiple of 39?
False
Does 26 divide 1/18*163388*(-7)/((-98)/63)?
False
Suppose 5*i - 135*y - 47178 = -137*y, 0 = 2*y + 12. Does 22 divide i?
True
Suppose -5*r + 5*c = -690, 4*r + r - c = 670. Let i = -281 + r. Is 14 a factor of i/(-6) + (-9)/((-162)/(-12))?
False
Does 45 divide (-7)/(-14) - (-6498813)/174?
True
Suppose 3*s + 2*s = -280. Let o be 12/(-108) + ((-5892)/(-54) - -6). Let m = o + s. Is 13 a factor of m?
False
Let g(s) = 105*s**2 - 22*s + 88. Is 16 a factor of g(10)?
True
Let a = -38503 - -88276. Is a a multiple of 256?
False
Let u(r) = 259*r**2 + 3*r + 2. Suppose 8 - 22 = 14*z. Is u(z) a multiple of 4?
False
Let l(s) = s**2 + s - 2. Let t be l(0). Let p(m) be the second derivative of 13*m**4/6 + 2*m**3/3 + m**2/2 + 43*m. Is p(t) a multiple of 23?
False
Is 191100/286 - 26 - (-4)/(-22) even?
True
Is (-2 + 64/20)/(9/9600) a multiple of 8?
True
Let v be 49 - 1 - 1/(-5 - -6). Let x = -44 + v. Is 2 a factor of -6*x/(-4)*(-50)/(-75)?
False
Let v = -16026 - -18378. Is v a multiple of 12?
True
Let y be (-1)/(5/570*2). Let v = 79 + y. Is 38 a factor of 1/((v/(-456))/(-11))?
True
Suppose 0 = -6*d + 12*d - 18. Suppose 2*i = -d*c + 1186, 3*i + 5 - 2 = 0. Is 11 a factor of c?
True
Suppose -16*z + 151960 = 42*z. Is z a multiple of 10?
True
Let s(p) = -4*p**2 + 25*p - 119. Let m(j) = -5*j**2 + 25*j - 118. Let b(q) = 2*m(q) - 3*s(q). Is 9 a factor of b(19)?
False
Let y be (-42)/18*1*(-3 - 0). Suppose o - 127 = y*x - 3*x, -4 = x. Let i = o + -62. Does 11 divide i?
False
Suppose 5 = 5*f, 3*i = 5*i + f - 3. Suppose 4*a + 2*h + i + 1 = 0, a + 4*h - 10 = 0. Is 19 a factor of ((-152)/(-24))/(a/(-6))?
True
Let r(o) = -20*o**3 - 16*o**2 - 12*o + 16. Is r(-5) a multiple of 136?
True
Let o(y) be the first derivative of y**4/4 + 3*y**3 - 3*y**2/2 + 35*y + 146. Is o(7) a multiple of 21?
True
Let n(j) = 40*j**2 - 12*j + 20. Let k be n(4). Let h = -383 + k. Is h a multiple of 14?
False
Let n = -1659 + 4545. Is 5 a factor of n?
False
Suppose -4*u = -3*y - 27 + 235, -5*y + 340 = -5*u. Is ((-1)/((-3)/(-12)))/((-4)/y) a multiple of 16?
True
Let l(h) = 52204*h**2 - 26*h - 20. Is 23 a factor of l(-1)?
True
Let x = -283 + 371. Suppose 4*n = -2*j + 1752, 2*j = 91*n - x*n + 1731. Is 30 a factor of j?
True
Let w(f) = 29*f - 96. Is w(38) a multiple of 2?
True
Suppose -x + 3199 = 4*r, 3996 = 5*r + x + 3*x. Suppose 6*f = f + r. Suppose -14*i + 4*i + f = 0. Is 4 a factor of i?
True
Let u(x) = x**3 + 3*x**2 - 5*x - 5. Let v be u(-4). Let q be -1 - 10464/(-30) - v/5. Is (2 - q/(-8))*2 a multiple of 20?
False
Let v(x) = 2*x**2 + 61*x - 1517. Does 94 divide v(131)?
True
Let s be 26/(-65) - (-518)/10*28. Suppose -10*a + 471 = -529. Suppose 9*z - s = -a. Does 25 divide z?
True
Suppose 11 = o - 6. Suppose 0 = 4*u - o*u + 12259. Is u a multiple of 69?
False
Let z(g) = -2*g - 2. Let n be z(-4). Let l(s) = -37*s + 128*s - 37*s + 5 + 7 - 43*s. Does 6 divide l(n)?
True
Suppose -16*t + 26693 = 3*t - 134047. Does 12 divide t?
True
Suppose 2*h - 4336 = -4*z, -17*z + 5410 = -12*z + 5*h. Is z a multiple of 2?
True
Does 4 divide (-3296160)/(-108)*1/(10/4)?
True
Let o = 16399 - 11469. Is o a multiple of 58?
True
Let j(c) = -5*c**3 - c**2 + 2*c. Let t be j(1). Does 33 divide 1 + 7/t - (-2988)/16?
False
Suppose 16 = 3*a + 4. Suppose 0*g = -5*g - 2*s + 49, g - a*s - 23 = 0. Suppose -4*f - 1715 = -g*f. Does 14 divide f?
False
Suppose -116 + 115 = x. Does 4 divide (26/10)/((-8)/920*x)?
False
Suppose -4*o + 8 = -3*o + 3*n, -5*o + 3*n + 58 = 0. Suppose -17*c + 20*c - 126 = 0. Suppose o*z = 12*z - c. Is 21 a factor of z?
True
Let t = 206 + -208. Let r(u) = -2*u**3 - 3*u**2 - 4*u - 8. Does 4 divide r(t)?
True
Let h(j) = 5*j**2 + 5*j + 5. Let f(y) = -4*y**2 - 4*y - 4. Let p(q) = 7*f(q) + 6*h(q). Let w be p(-5). Let o = w + -2. Is 10 a factor of o?
True
Let n be (20/2*2)/(-1). Let j = -15 - n. Is ((-2)/(-5))/(j/1500) a multiple of 20?
True
Let s(l) = l**3 + 29*l**2 - 5*l - 564. Is s(-18) a multiple of 30?
True
Suppose -4*s = 33*w - 36*w + 68855, 0 = -4*s + 16. Does 11 divide w?
True
Suppose 4*x - 5870 = 4*d + 3158, -3*d + 12 = 0. Does 17 divide x?
True
Let m(p) = 160*p - 167. Does 11 divide m(20)?
False
Let g be (-2 + 2928/(-84))*7. Let j be -2 + 0 + -445 + 0. Let o = g - j. Does 19 divide o?
False
Suppose z = 4*z + 6. Let w = 14003 - 14006. Is 2 + (209 - (w + z)) a multiple of 40?
False
Suppose -h = 5*v - 585, 72*h - 25 = 67*h. Does 11 divide v?
False
Suppose 5*k = -4*q + 9454, -2*q + 4718 = -8*k + 12*k. Does 108 divide q?
False
Let g = -17 + 20. Let l be 0/((-3)/3 - g). Suppose l*f - f + 4*o = -32, f = -5*o + 32. Does 4 divide f?
True
Let n(c) = -c**2 - 8*c - 28. Let z be n(-8). Is -536*(-4 - z/8) a multiple of 21?
False
Let s = 782 - 654. Suppose 3*m + s = 5*c, 2*m = -20*c + 22*c - 48. Does 26 divide c?
False
Let i = 10942 + -10731. Let d = 140 - 288. Let j = d + i. Is j a multiple of 12?
False
Let u(a) = 9*a**2 + 2*a - 4. Let y be u(9). Suppose s + 224 = y. Is 5 a factor of s?
False
Let k(w) = 11*w**2 - 20*w - 25. Let h be k(-8). Suppose 9*r - 547 - h = 0. Is 19 a factor of r?
False
Suppose 14 = 5*c + 2*z, -2 = -z - 5. Let b be (6/c)/(3/2). Does 17 divide ((3 + b)/(-8))/((-2)/384)?
False
Suppose -5*f + 772 = 4*m, -5*f - 356 = -m - m. Su