 a multiple of 22?
False
Suppose -12*c = -19*c + 2205. Suppose 2*v + i - 6*i - c = 0, 4*v - 615 = 5*i. Is v a multiple of 50?
True
Suppose 2*p - q - 5 = 0, 53 = 16*p + 3*q + 2*q. Suppose -j - 6 = -4*j. Suppose 0 = -j*v - p*y - 120 + 367, -123 = -v - 2*y. Is 13 a factor of v?
False
Let m = -836 - -1232. Suppose 0*a = 2*a + 2*h - m, -4*h = -a + 208. Does 10 divide a?
True
Suppose 5*o + 29 = -q + 21, -q = 2*o + 2. Suppose 5*i - 5*s - 2165 = 0, 0*i - 854 = -q*i - s. Does 13 divide i?
True
Suppose p = 2*r - 19 + 6, 0 = 3*r + p - 17. Suppose -4*g = -3*t + 44, g + 29 = -r*t + 9*t. Does 8 divide t?
True
Let t(d) = -20*d + 20*d - 33 - 21*d - 20*d. Let h be t(-13). Suppose 4*s - 8*s = -h. Is s a multiple of 18?
False
Let d(v) = 5*v**2 - 18*v + 97. Let x be d(7). Suppose c - 133 = -4*s, s - x - 238 = -3*c. Is c a multiple of 11?
False
Let r = 842 + -872. Is 3 a factor of ((-16)/18)/(r/945)?
False
Suppose -360*g - 13704 = -368*g. Does 7 divide g?
False
Suppose 4*k = -5*k - 72. Let m(r) = r**2 + 7*r - 9. Let p be m(k). Is 45*((-14)/(-6) + p/(-3)) a multiple of 24?
True
Let m(w) = 5*w**2 + 117*w - 460. Let u(n) = -2*n**2 - 39*n + 154. Let x(l) = 3*m(l) + 8*u(l). Does 8 divide x(28)?
True
Let f(v) = 1524*v - 1292. Does 21 divide f(8)?
False
Let d(l) = 103*l + 4110. Is d(0) a multiple of 156?
False
Let p(q) = q - 2. Let j(l) = 16*l - 3. Let v(h) = -16*h + 4. Let n(x) = -5*j(x) - 4*v(x). Let z(g) = -2*n(g) - 18*p(g). Is z(6) a multiple of 37?
False
Let k = -4687 + 6628. Is 38 a factor of k?
False
Let d = 514 - -440. Is 3 a factor of d?
True
Let w be (-2)/9 + (-7 - 423/(-81)). Let a(k) = -311*k + 27. Does 9 divide a(w)?
False
Let a(m) = -19*m - 64. Let i be a(-23). Let z = i + -223. Is z a multiple of 10?
True
Let b = 23266 + -22330. Is 9 a factor of b?
True
Let c(i) = 281*i**3 - 8*i**2 + 0 - 282*i**3 - 6 + 8*i. Let q be c(-9). Suppose -j + 29 + 30 = -3*r, q*j = -r + 147. Is j a multiple of 25?
True
Suppose -3*a - 4*o + 656 = 0, 0*a + 705 = 3*a - 3*o. Is 3 a factor of a?
True
Let t be 0 - (4/6 + 266/6). Let b = t + 50. Suppose -1044 = -5*s + g, b*g - 2 = 3. Does 11 divide s?
True
Let b(q) = 151*q**2 - 15*q + 87. Is 139 a factor of b(6)?
False
Let r(q) = q**3 + 9*q**2 + 6*q + 7. Let m = -85 + 78. Let k be r(m). Suppose 3*z = -k + 201. Does 23 divide z?
True
Suppose 0 = r - 4*l - 18, -4*r - 1 = -3*l - 47. Let v(c) = 5*c + 6. Is 7 a factor of v(r)?
True
Let h(z) = 2761*z - 1235. Is 22 a factor of h(6)?
False
Let d = 98 - 95. Suppose w + d*m = -0*w + 13, -w + 43 = -3*m. Does 4 divide w?
True
Suppose 5*z + o - 115 = -4*o, 0 = -5*z - 4*o + 115. Let g = -83 + z. Let m = g + 100. Is m a multiple of 40?
True
Let b(h) = h**3 - 7*h**2 + 17*h - 10. Let r be b(5). Suppose 70 = -24*z + r*z. Does 2 divide z?
True
Let v(s) = s**3 - 11*s**2 - 19*s - 16. Suppose 9*o = -134 + 278. Is 96 a factor of v(o)?
True
Let q(k) = k**2 - 2*k + 3. Suppose 0 = 14*y - 321 + 83. Does 43 divide q(y)?
True
Suppose -3*n + y + 2 = 0, -n = 5*y + 19 - 41. Suppose -m + h + 496 = n*h, -m + 4*h + 511 = 0. Is 22 a factor of m?
False
Let m(j) = -15*j - 57. Let w be m(-4). Suppose -88 = -4*u + 4*a, 2*u - w*a - 4 = 41. Is u a multiple of 7?
True
Is 1806/387 + 2/6 - -768 a multiple of 5?
False
Suppose 5*r - 263 = 3*b, r - 5*b = 4*r - 151. Let p = r - 48. Let l(q) = q**3 - 2*q**2 - 5*q + 2. Is 7 a factor of l(p)?
True
Let r = -81847 + 114682. Is 33 a factor of r?
True
Is ((-8080)/24)/((-2)/6) a multiple of 8?
False
Let h be (4 - -1) + (-2 + -1)/1. Let c(k) = 2 + 9*k**2 + 0*k - 4*k + k. Is 8 a factor of c(h)?
True
Let h(d) = 266*d - 10125. Does 131 divide h(129)?
False
Suppose 597*y - 588*y - 45 = 0. Suppose y*s = -1624 + 5479. Does 15 divide s?
False
Suppose -3*b + 40 = -2*g + 6, 0 = -4*b - g + 27. Suppose -b*s + 362 - 2 = 0. Does 15 divide 276/10*s/63*7?
False
Let q(a) = -14*a + 3. Let c be q(-1). Suppose 3 = 3*m, -6*m - c = -5*b - 3*m. Suppose 0 = b*t - 3*o - 75, o - 12 = -3*o. Is t a multiple of 21?
True
Suppose -2*w - 2*w + 80 = 0. Suppose -w = -5*k - 5*k. Does 41 divide (-186)/(-2 - k/(-4))?
False
Let x be ((-2)/(-6) - (-1827)/(-54))*-2. Is x/3 + (-4)/12 a multiple of 12?
False
Let o(z) = 23*z + 8. Let f be o(-4). Let h be (-24)/f + (-107)/7. Is 10 a factor of (-634)/(-8) - 1*h/20?
True
Let q(a) be the second derivative of a**4/12 - 9*a**2/2 + 149*a - 1. Let r = -3 - -8. Does 2 divide q(r)?
True
Suppose -146 = -10*z - 986. Does 42 divide ((2 - 0) + -14)*z/8?
True
Suppose 2*s - 8794 = -5*l, 4*s + 4*l - 8906 - 8670 = 0. Suppose -s + 1354 = -7*o. Is o a multiple of 37?
False
Suppose -109636 = -4*h + x, 62*h - 5*x = 63*h - 27388. Is 12 a factor of h?
True
Let f be (-1)/(25/60)*-10. Let v be (5/(20/f))/(2 - 0). Suppose v*o - 11*o = -1920. Does 48 divide o?
True
Suppose -44*a = -1169237 - 801875. Is 26 a factor of a?
True
Suppose -92*b - 391834 + 6316358 = 0. Is b a multiple of 31?
False
Suppose 0*y + 199 = -y. Let b = 374 + y. Suppose -5*h - b = -725. Is h a multiple of 22?
True
Is 9 a factor of (4/22 - 14133260/(-1221)) + 12/(-9)?
True
Suppose 591*g = 335*g - 444*g + 36218000. Is g a multiple of 130?
True
Suppose m + 4 = 2*n, -6*n + 2*n = -m - 6. Let y be 25 - 25 - (0 - n - 55). Does 22 divide y + (-2 + 1)*2?
False
Let d = 6755 - 2943. Is 13 a factor of d?
False
Suppose 13*k - 5*u = 10*k + 36819, 3*k + 3*u - 36867 = 0. Is k a multiple of 30?
False
Suppose 57*y = 61*y - 20. Suppose y*u - i - 1983 = -654, 0 = -2*u - 5*i + 537. Is 19 a factor of u?
True
Let m be (0 - 3) + 17 + -12. Suppose -5*g - 5 = 0, -3*k = -m*g - 39 - 11. Does 26 divide 78/9*(k - 4)?
True
Suppose 0 = -4*z - h + 32502, -4*z - 121*h + 32490 = -118*h. Does 7 divide z?
True
Let g = 41 + -43. Let n be (1/2)/(1/154). Let v = n + g. Does 15 divide v?
True
Let r be ((-20)/(-5))/(12/(-30)). Is r/(-35) - (-10492)/28 a multiple of 12?
False
Suppose 3*j - h = -3*h + 832, -j + 3*h = -292. Let n = j - 180. Does 5 divide n?
True
Let n = -1489 + 6169. Is n a multiple of 5?
True
Let q(b) = -1425*b + 4039. Is q(0) a multiple of 128?
False
Let x = -55 + 64. Let k be ((-2)/(-5))/(x/630). Does 27 divide 2/7 + 5340/k + -2?
True
Suppose -2*k = -968 - 1194. Let z = 1836 - k. Suppose 0 = 2*l + 3*l - z. Is 26 a factor of l?
False
Let z(g) = g**2 + 22*g + 29. Let b be z(-21). Let r = 63 + 27. Suppose -7*c = -b*c + r. Is 18 a factor of c?
True
Let s be 2 - (-4)/(4 + 0). Is 4/6 + s/9 - -209 a multiple of 33?
False
Suppose 0 = -5*j - 3*g + 29042, -607*j + 11600 = -605*j - 3*g. Is j a multiple of 24?
False
Suppose -3*l = 4*k - 17043, 13*k - 4255 = 12*k + 5*l. Does 27 divide k?
False
Let a(c) = -c + 6. Let i be a(4). Let n be (-10175)/(-77) + i/(-14). Suppose v + n = 7*v. Does 7 divide v?
False
Let f be 12*(-5)/(-10) - 0. Suppose 580 = f*h - 350. Is 5 a factor of (-62)/h - (-1)/5*157?
False
Let t(g) = 1 + 14*g**2 + 3*g**2 - 15*g + 4*g**2 - 9*g**2. Does 38 divide t(6)?
False
Let o = 27620 + -12515. Does 15 divide o?
True
Let v(w) = w**2 + 3*w + 27. Let n be v(0). Suppose -5*i + 19 = 4*x - n, -3*i = -5*x + 2. Does 11 divide 603/(i/2) - (-1 - 3)?
False
Suppose -2*l = -3*p + 6867, 5*p = 3*l + 9*p + 10258. Is 14/4 + l/(-12) a multiple of 18?
False
Is 21 a factor of -178*((-7020)/(-24))/(-15)?
False
Let b = -31842 - -38022. Is 23 a factor of b?
False
Suppose 5*m - 1676 + 144 = -v, -m + 6071 = 4*v. Is v a multiple of 3?
False
Let x be (33 - 29)*(-349)/(-4). Suppose 0 = 2*y + 4*l - 300, -4*y + 4*l = x - 961. Is y a multiple of 24?
False
Suppose 4*k - 865*v = -868*v + 11, -5*k - 20 = -3*v. Suppose -4*o + 10 = 2*d, -1 = -6*d + d + 2*o. Is 8 a factor of (-108 - -5)*k*(0 + d)?
False
Let j = -39 - -64. Let v = 32 - j. Let s(l) = -l**3 + 8*l**2 - 7*l + 13. Is s(v) a multiple of 4?
False
Let l(r) = 7*r**3 - 34*r**2 + 4*r + 17. Let m be l(9). Let o = m + -1635. Does 53 divide o?
False
Suppose x + 13*x = -8*x + 16874. Is x a multiple of 2?
False
Is 1 + (-4)/(-8) + (-55)/(-10) + 6480 a multiple of 13?
True
Suppose -3*i - 3*x = -11718, 3*x = -5*i + 16412 + 3124. Is 8 a factor of i?
False
Let l(h) be the third derivative of 17*h**5/120 - 13*h**4/12 - 2*h**3 + 17*h**2. Let j(a) be the first derivative of l(a). Is 14 a factor of j(10)?
False
Let t = -23377 + 25651. Is 18 a factor of t?
False
Let r be 3 - (130 + -5 - 5). Let y = r + 216. Let b = 290 - y. Is b a multiple of 29?
False
Let k(