es 12 divide i?
False
Let t(g) = 3*g**2 - 18*g - 42. Let x be t(-2). Suppose 3325 = 4*h - k, -2*h + x*h + k = 3331. Is h a multiple of 64?
True
Let b(s) = s**3 - 7*s**2 + 6*s - 27. Let z be 3 + (1 - 1) + 43. Suppose -f - 4 + 26 = 3*a, 3*f = 5*a - z. Is 18 a factor of b(a)?
False
Suppose 13*v = 38*v + 39*v - 594944. Does 166 divide v?
True
Suppose -553 = 3*b - 5*y, -4*b - 723 = y + 22. Let d = 394 + b. Is 26 a factor of d?
True
Suppose -233*z - 5*m = -238*z + 15000, 2*z + 4*m - 6018 = 0. Is z a multiple of 2?
False
Let c(b) = b**3 + 19*b**2 + 2*b + 58. Let u be c(-19). Suppose -238 = u*s - 27*s. Is s a multiple of 8?
False
Let d(u) = -6*u + 138. Let o(p) = 2*p - 47. Let h(y) = 3*d(y) + 8*o(y). Is h(-4) a multiple of 5?
False
Suppose 1388*y - 1391*y + 228 = 0. Is 2 a factor of y?
True
Let o = -91 - -110. Suppose -5*g - o = 3*i, -g = i + 2*i + 11. Let b(u) = -3*u**3 - 7*u**2 + 10. Does 22 divide b(i)?
False
Suppose 9*b - 4*b = -2*p + 13102, 19628 = 3*p - 5*b. Does 18 divide -4 - (p/(-18) + (-4)/12)?
True
Suppose -141642 = 21*w - 373335. Does 84 divide w?
False
Is ((-23)/345*890)/(2/(-888)) a multiple of 178?
True
Let s(j) = 7*j + 9*j**2 + j**3 - 23*j + 7 + 2. Is s(-10) a multiple of 20?
False
Let g = 21041 + -6654. Is g a multiple of 10?
False
Let g(n) = 27*n**2 + 24*n - 7. Let v be g(-3). Suppose -5*d - 5*o - 255 = 0, 2*d - 3*o = -2*o - 111. Let b = d + v. Does 10 divide b?
True
Let o be 1*(-2284)/(-6)*3. Let n(x) = -x**2 - x + 3. Let j be n(-2). Suppose 9*l - o = j. Is 26 a factor of l?
False
Is 12 a factor of (-3 + 2 - -524)/(1/72)?
True
Let l = 52 - 87. Let s be (-10)/l + (-1915)/(-35). Suppose 2*j + 3*m - 415 = 0, j = 4*m + 158 + s. Is j a multiple of 11?
True
Is 5/(-5*(-3)/(-15)) + 14853 a multiple of 92?
False
Let g(r) be the second derivative of -r**3/3 - 20*r**2 - 36*r. Let m be g(-24). Suppose 25 = -5*t, -2*l - 5*t + 207 = -m*t. Is 48 a factor of l?
True
Let s(x) = -8*x**3 - 7*x**2 + 2*x - 7. Let p = -591 - -587. Is s(p) a multiple of 7?
True
Suppose 4835075 = 267*x + 3030515 - 6813399. Is x a multiple of 159?
True
Suppose -4*o + 5*g + 5114 = -11849, -4237 = -o + 5*g. Is 62 a factor of o?
False
Does 78 divide (-15 - -2)*(-258)/(-15)*-15?
True
Let q(w) = -3 - 13 + 24 + 20 + 392*w. Is q(2) a multiple of 55?
False
Suppose 1 = v, -2*y = 5*v - 3908 - 1109. Suppose 682 = -6*u + y. Is 87 a factor of u?
False
Suppose 13*b - 589769 + 131389 = 0. Is b a multiple of 164?
True
Suppose -2*c - 4 = 0, 2*u - 2*c - 16 = 2*c. Suppose 0 = -2*k - u*k - 18. Is 8 a factor of 13 + (-4 - (k - -1))?
False
Let t be ((-4)/6)/(24/108). Let j be (-160)/(-25) + t + (-6)/15. Suppose -2*m = -j*x + m + 288, 3*x - 4*m = 284. Is 10 a factor of x?
True
Is (-236)/767 - 482688/(-78) a multiple of 17?
True
Let p = -1057 + 2134. Is 8 a factor of p?
False
Let c(a) = -a**2 - 4*a - 30. Let v be c(-7). Let b = -48 - v. Suppose -302 = -b*t + 55. Does 29 divide t?
False
Let v(y) = 2858*y - 134. Is v(2) a multiple of 43?
False
Suppose 275 + 37 = i. Suppose -i = -20*r + 16*r. Does 6 divide r?
True
Suppose 143 = 4*t - k - 336, 2*t - 229 = -3*k. Let z = t - -115. Does 18 divide z?
True
Suppose 5*i - 45 + 329 = -2*k, -5*k - 2*i - 710 = 0. Let u = k - -512. Is u a multiple of 24?
False
Let g = 35635 + -24089. Does 100 divide g?
False
Suppose -6631 + 1253 = -15*m + 24772. Does 10 divide m?
True
Suppose 31 = f - 64. Suppose 3*t = 5*o + 541, f = 3*o - 4*o + 5*t. Does 22 divide (o/(-7))/((-11)/(-77))?
True
Let h(g) = -8*g**3 + 5*g**2 + 25*g + 1. Let m be h(-3). Let l = 113 + m. Does 5 divide l?
True
Let g(v) = 649*v**2 + 8*v - 1. Let w be g(1). Suppose s - 1666 = -5*k, -6*s = 2*k - 3*s - w. Is k a multiple of 4?
False
Suppose -7*m = -10*m - 3. Let b(k) = -6*k**3 - k**2. Let x be b(m). Suppose -150 = -x*v - 5*v. Is v a multiple of 2?
False
Suppose -2*x - 12*x + 70 = 0. Let u = 261 + x. Is u a multiple of 6?
False
Suppose 65*i + 21123 = 146118. Is 4 a factor of i?
False
Let a = 310 + -172. Let i = 175 - a. Is i a multiple of 13?
False
Suppose -5*x - 363 = -s - 0*x, -2*s - 2*x + 786 = 0. Suppose 620 = 2*h - s. Is h a multiple of 72?
True
Suppose -21*p + 11 = 5*t - 24*p, -3 = -3*t + 3*p. Suppose -2*b + 523 = a, -4*a - a = t*b - 2645. Is a a multiple of 10?
False
Let l be 3/(-2) - (-575559)/(-54). Is 82 a factor of (-8)/20 + l/(-25)?
False
Let v(q) = -2*q**2 - 3*q + 39. Let y(j) = j**2 + j + 1. Let n(s) = -v(s) + 6*y(s). Is 16 a factor of n(4)?
False
Let g be -1 + 0 + 2 + 126. Let f = 1148 - 1262. Let n = f + g. Is n a multiple of 2?
False
Let l = -3 - -11. Let v be l/(-10) + 102/15. Suppose 431 = v*a - 199. Does 9 divide a?
False
Does 242 divide (-28)/12*(-91278)/21?
False
Is 44 a factor of 9355 - (-7 + (13 - 12))?
False
Suppose 4*a = 5*a - 2*d, 2*d - 40 = 5*a. Is 42 a factor of (-157140)/(-81)*(-4)/a?
False
Suppose 9227 = 4*f + 5*f - 22066. Is f a multiple of 61?
True
Let m = -97 + 112. Let i(r) = m*r**2 - r + 247 + 4*r + r - 14*r**2. Is i(0) a multiple of 19?
True
Suppose 0 = -t - 2*c + 40050, -3*t - 25006 + 145192 = 2*c. Does 42 divide t?
True
Let d be (960/9)/((-1)/(-21)). Suppose 49 + d = 7*k. Is k a multiple of 51?
False
Let d = 8058 - 4502. Is 4 a factor of d?
True
Suppose -6*t + 241 = -797. Let a = t - 146. Is 3 a factor of a?
True
Let a be 25 + -1 + -3 + 3 + 2. Suppose a - 38 = -3*d. Let j(w) = 2*w**2 - 6*w + 9. Is j(d) a multiple of 8?
False
Suppose 2*k - 1146 = -3*v, v + 4*k - 39 = 333. Let y = -246 + v. Does 3 divide y?
True
Let b = 52756 - 24931. Is b a multiple of 8?
False
Suppose 13 = 2*t - 4*b - 7, -8 = -2*t + b. Suppose 4*i - 5*y = 777, 327 = 3*i - 3*y - 258. Suppose t*v + 18 = i. Does 6 divide v?
True
Let v = -117 - -99. Let g(o) = -6*o - 25 + 3*o + 67. Is 24 a factor of g(v)?
True
Suppose 37*t - 28*t + 4509 = 0. Does 26 divide (-15)/(2 + 1) - (2 + t)?
True
Suppose 8589 = -38*l - 67*l + 573384. Is 18 a factor of l?
False
Let k(j) = -33*j**2 + 4*j - 3. Let u be k(1). Let x be 3 + 1 + 2*u. Let b = x + 110. Does 10 divide b?
True
Let z = -1433 + 11237. Does 9 divide ((-2)/((-16)/10))/(43/z)?
False
Let m be 9/2*28/21. Suppose m = o + 6. Is 9 a factor of o + (-6)/4 + (-117)/(-2)?
False
Let i = 125 + -100. Suppose 426 = i*y - 4749. Is 23 a factor of y?
True
Let y = 49 + -42. Does 5 divide (2/((-2)/y))/(24/(-48))?
False
Suppose -2*h - 4*a = 2*h - 3128, h - 790 = 3*a. Suppose 0 = 4*z - 5*d - 2008 + 442, -h = -2*z + 2*d. Suppose b = -73 + z. Does 31 divide b?
False
Let z = -30 + 33. Suppose 3 = z*n - 3. Is 4 a factor of 17 + 3/9*3 - n?
True
Is (6435/270 - 23) + (-824258)/(-12) + -1 a multiple of 81?
True
Suppose -4*g = n - 8397, 77*g = 79*g - 10. Is n a multiple of 78?
False
Let c be (-5)/25 - 666/(-5). Let q = 443 - c. Let z = q - 183. Is z a multiple of 9?
False
Let i = 4011 - -613. Is 68 a factor of i?
True
Does 10 divide 902800/(-222)*((-7)/4 - -2)*-30?
True
Let v(z) = 234*z + 79. Let o be v(6). Suppose u = -5*t + o, 895 = 3*t + 2*u - 4*u. Is t a multiple of 11?
True
Let l(s) = 4*s - 11. Let u be l(4). Let n(i) = u*i + 8*i - 20*i. Is 11 a factor of n(-6)?
False
Suppose 3*g + 31898 = 5*s, 0 = -2*s + 87*g - 84*g + 12770. Is 32 a factor of s?
False
Let g = 4612 + -2037. Is g a multiple of 25?
True
Let l be 16*-7*4/8. Let p = l + 61. Suppose p*s - 4*i = -8*i + 94, -5*i = -5. Is 5 a factor of s?
False
Let u(s) = -s**2 + 89*s + 73. Is u(59) a multiple of 48?
False
Let b(g) = 16*g**2 + 50*g + 268. Does 36 divide b(-16)?
True
Is 8 a factor of (-236691)/(-126) - -1*3/2?
True
Suppose -38*l - 520572 = -109*l. Does 94 divide l?
True
Suppose 15*a - 150532 = 4*o, 55*o = 2*a + 59*o - 20080. Is a a multiple of 26?
True
Let y(r) = 4*r - 112. Let h be y(27). Does 19 divide ((-704)/(-40))/11*(-410)/h?
False
Let r(k) = -3*k**2 + 90*k + 373. Let x(h) = -2*h**2 + 47*h + 187. Let s(l) = -3*r(l) + 5*x(l). Is s(-14) a multiple of 55?
True
Is (-3 - 2)*(12/(-5) - -1)*1533 a multiple of 49?
True
Let w(i) = 2*i**3 - 91808 + 91801 + i**2 - 3*i**3 - 10*i. Is w(-6) a multiple of 61?
True
Let a(z) = z**3 - 5*z**2 + 22*z - 321. Does 5 divide a(18)?
False
Let j = 590 + -265. Suppose j = 4*d - 179. Is 18 a factor of d?
True
Suppose -8135 = -4*a + 5*s, -7*s - 6087 = -3*a - 8*s. Is 35 a factor of a?
True
Does 49 divide (54/(-81))/(22/(-382437))?
False
Let d(w) = -w**2 + 11*w + 26. Let v(l) = -l**2 - 15*l - 31. Let 