Suppose 0 = -4*l + 4*o + g + 10, -2*o - 58 = -4*l. Is l a multiple of 3?
False
Let y = 76 - -642. Does 12 divide y?
False
Suppose -n - 1 = -0. Let h be -26*1/(-5 + 4). Is ((-2)/(-4) - n)*h a multiple of 13?
True
Suppose 0 = -w + 3*w - 70. Let p be 15/w - (-1254)/14. Suppose -2*j = 0, 2*q + 5*j = 3*j + p. Does 10 divide q?
False
Let m be (2 - 3)*21/(-7). Suppose 12*u + m = 13*u. Suppose -4*w = -3*z - 62, u*z - 36 = -3*w - 0*z. Is 14 a factor of w?
True
Let v be 8/(-1) + 4 + -2. Let y be 156/27 - v/27. Suppose -h = -12 - y. Does 9 divide h?
True
Let b(g) = 158*g**3 - 2*g**2 - 5*g - 4. Let a be b(-2). Let h = -2176 - a. Is h/(-49) - 3/(-7) a multiple of 7?
False
Suppose -4*j = k - 2*k - 12, -3*k + 2*j + 4 = 0. Is k/1 + 5/1 a multiple of 3?
True
Let c = -1505 + 2855. Is c a multiple of 8?
False
Suppose 9*b + 327 - 1128 = 0. Is 3 a factor of b?
False
Let n(v) = -185*v**2 + 1. Let h(d) = -185*d**2 + d. Let m(s) = -3*h(s) + 2*n(s). Let y be m(1). Suppose 0 = 4*q - y - 8. Is q a multiple of 16?
True
Let x(c) = 34*c**2 + 41*c. Does 38 divide x(-4)?
True
Let k be 1*(-5 - (-4 + -1)). Suppose 2*l = -3*l + 95. Suppose -l = -d - k*d. Does 17 divide d?
False
Suppose 0*d - 4*d - 12 = 0, 2*m - 411 = 3*d. Is m a multiple of 6?
False
Let k = -870 - -3003. Does 9 divide k?
True
Suppose 2*h - 521 = -3*s + 8*s, 6 = 2*h. Let l = s + 184. Does 15 divide l?
False
Let d = -213 - -302. Let y = -59 + d. Is y a multiple of 10?
True
Let p(s) = -34*s + 124. Is 41 a factor of p(-47)?
True
Suppose -5*h + 2*i + 42 = 0, 5 + 0 = -5*i. Let g(y) = y**3 - 9*y**2 + 8*y - 2. Let q be g(h). Does 3 divide 9*((-12)/(-4) + q)?
True
Let g(t) = -4*t - 1. Let l be g(-1). Suppose 0 = -5*u - 5*m + 190, u - 2*m = 47 - l. Suppose 80 = 5*n - u. Is n a multiple of 8?
True
Suppose -3*j + 2*q = -1545, 4*q - 8*q = -2*j + 1030. Does 44 divide j?
False
Suppose -2*p = 2*p - 648. Does 13 divide p?
False
Let f(q) = q**3 + 4*q**2 - 3*q + 3. Let z = -25 - -18. Let c = z - -3. Is 15 a factor of f(c)?
True
Let t be (1 - 0) + 7 + -2 + -3. Suppose 0 = -t*j - 5*g + 169, -j = -5*j + 4*g + 172. Is j a multiple of 16?
True
Suppose 2*n - 234 = -n. Suppose 5*v - 353 = -n. Does 7 divide v?
False
Suppose -4*g = -0*g - x - 17, -g = 2*x + 7. Does 2 divide g?
False
Suppose 4*x - 8*x + 12 = 0. Suppose x*h + p = -0*h + 240, 0 = 5*h + 4*p - 393. Is h a multiple of 18?
False
Let w be (-2 - -300) + -3 - -1. Suppose -3*j = -j - w. Does 33 divide j?
False
Let q = -1321 - -2152. Is q a multiple of 84?
False
Suppose -51*c = -44*c - 966. Is c a multiple of 23?
True
Let d(y) = -2929*y**3 + 3*y**2 + 2*y - 1. Is 44 a factor of d(-1)?
False
Suppose 108*s - 5725 = 112967. Does 29 divide s?
False
Suppose -4*s + 3*u + 2403 = 0, -2*u + 2881 + 117 = 5*s. Does 15 divide s?
True
Let d(h) = 51*h + 1. Let f be d(3). Is f/(-33)*(-5 + -1) a multiple of 14?
True
Let g(y) = 16*y - 72. Does 26 divide g(7)?
False
Let q(a) = -8 - a + 16 - a**2 + 3*a + 4*a. Is 8 a factor of q(6)?
True
Suppose 2*w + 620 = 4*o, -o + 470 = 2*o + w. Suppose -s + 2*t = 4*t + 76, -2*s - o = 3*t. Is 36 a factor of 32*(-4 + s/(-16))?
False
Let x(b) = 2*b + 249. Is 8 a factor of x(48)?
False
Let z be (-120)/18*(-42)/8. Suppose 0 = z*o - 34*o - 288. Is o a multiple of 18?
True
Let m(p) = p**3 + 14*p**2 + 3*p - 2. Let w(f) = f**3 + 15*f**2 + 2*f - 2. Let c(b) = 5*m(b) - 4*w(b). Let h be (2 - 1)/((-1)/9). Does 10 divide c(h)?
False
Suppose 4*t = 4*l + 12, 2*l = -t - 0*l + 9. Suppose 3*s = 3*k + 22 - 4, 3*s = 4*k + 22. Suppose s = -2*z - 0, 2*y = t*z + 19. Is 3 a factor of y?
False
Suppose -b - p + 319 = 0, -10*b + 951 = -7*b - 3*p. Is b a multiple of 10?
False
Suppose -9 = 9*n - 6*n. Is n/6*1*-148 a multiple of 8?
False
Suppose 0 = 3*p + 9, 5*d + 3*p - 59 - 52 = 0. Let q be 4/(d/9)*20. Does 11 divide -2 + (2 - 2) + q?
False
Suppose -1103 = -7*g + 4756. Is 31 a factor of g?
True
Let c = 14 - 6. Let t(r) = 3*r + 5. Does 20 divide t(c)?
False
Suppose -38*z + 2731 = -14483. Does 75 divide z?
False
Let l(s) be the first derivative of 0*s + 1/2*s**2 + 44/3*s**3 + 5. Is 14 a factor of l(1)?
False
Does 41 divide (1045/15 - 15)/((-2)/(-51))?
True
Let d = -636 - -699. Does 8 divide d?
False
Let q be (21/(-15))/((-6)/10)*-3. Is 14 a factor of (q/4*6)/((-1)/4)?
True
Let f = -703 - -868. Does 11 divide f?
True
Suppose 166 = -5*r + 3*g, -r - 5*g - 14 = 8. Let f = -19 - r. Does 9 divide f?
False
Let r(k) = 33*k**3 + 12*k - 24. Is r(3) a multiple of 43?
True
Suppose -4*g + 4*j - 59 = -1143, j = 3*g - 811. Is 6 a factor of g?
True
Let d = 229 - -206. Is 15 a factor of d?
True
Is -332*4/(-8) - 1 a multiple of 55?
True
Suppose -10*z = -6*z + 12. Let v(a) = 4*a - 15. Let l(o) = -9*o + 29. Let y(j) = z*l(j) - 5*v(j). Is y(9) a multiple of 17?
True
Suppose 1661 = -4*w + 5801. Is w a multiple of 45?
True
Let l(g) = -25*g - 1. Suppose -4*b + 19 = -5. Suppose k - 5 = b*k. Does 10 divide l(k)?
False
Suppose -5*n - 2 = 4*z - 0*n, 0 = -z - 5*n - 8. Suppose 5*d - 4 = -j + 4*j, d - 6 = -z*j. Suppose -j*p + 90 + 22 = 0. Does 12 divide p?
False
Suppose -h = 3*h - 12. Suppose h*g + 0*u = -u + 13, u = 5*g - 11. Suppose -4*l - t = -51, 8*l + 5*t - 60 = g*l. Is l a multiple of 5?
False
Let p be (-5 - -1)/(-1) - 10. Let r be (10/6)/((-2)/p). Suppose 4*w + x = 44, r*w - 26 = 3*x + 12. Is 10 a factor of w?
True
Suppose -a = -4*v - 14, 3*a + 2*v + 0*v = 0. Let g(h) = 12*h**2 - h + 1. Does 47 divide g(a)?
True
Suppose 3*s - i = -28 - 9, -39 = 3*s - 3*i. Is 10/((8/(-2))/s) a multiple of 15?
True
Suppose 3*p - 26 = 43. Suppose 5*b - 98 = -p. Is b a multiple of 2?
False
Let k be (8*2/(-6))/((-18)/1539). Suppose 15*i - k = 12*i. Is 27 a factor of i?
False
Let w = 64 + -20. Let o be w/33 + 64/(-3). Let n = -12 - o. Is 4 a factor of n?
True
Let u(h) = 42*h**2 - 3*h - 3. Let f = -32 + 31. Is 4 a factor of u(f)?
False
Suppose 11*i + 2972 = 3*a + 12*i, -16 = 4*i. Is 32 a factor of a?
True
Is 3 a factor of 54 - (-6 + (5 - -7))?
True
Let u = 150 - 200. Let p = u + 87. Does 7 divide p?
False
Let w = -105 + 188. Suppose 361 = 3*i - w. Suppose -2*x + 3*t = -7*x + 270, -3*x + i = -t. Is 12 a factor of x?
False
Suppose 2 = -4*b - 2, j + 3*b = -6. Does 11 divide ((-891)/45)/(j/15)?
True
Let g = 306 - -136. Does 34 divide g?
True
Let q(a) be the third derivative of -a**6/4 + a**5/60 + a**4/24 + 9*a**2. Is q(-1) a multiple of 10?
True
Suppose 2*r - u - 4 = 6*r, 0 = -r - 5*u - 20. Suppose r = -0*m + m + t - 24, -m + 18 = -2*t. Does 15 divide m?
False
Let h(u) = -u - 4. Let d be h(-6). Suppose l - 36 = -l + 4*a, 0 = -4*a + 4. Suppose 100 - l = d*b. Does 40 divide b?
True
Suppose 12 = -10*d + 14*d. Suppose -138 = -d*c + m, -5*m - 132 = -3*c - 2*m. Is c even?
False
Suppose -2 = 1592*i - 1590*i. Suppose 1 = 3*x - 2*x + 3*f, 5*f = 2*x + 20. Is x/i + -3 + 4 a multiple of 6?
True
Suppose -12 = 4*s, 2*s + 1 = -4*i + 3. Suppose 40 = i*m - 0*j - 2*j, -m + 20 = 4*j. Does 10 divide m?
True
Let l = -1697 - -2327. Is l a multiple of 30?
True
Let z(g) = 2*g**2 - 8*g - 4. Suppose -13 = -4*a + 11. Is 20 a factor of z(a)?
True
Let j = -98 - -103. Is j a multiple of 5?
True
Let a(q) = -3 + 3*q**2 - 13*q + 10*q**2 - q**3 + 19. Let r be a(12). Suppose -r*s + 189 = -s. Is 9 a factor of s?
True
Let c(n) = -n**3 + 7*n**2 + 17*n - 14. Is 21 a factor of c(7)?
True
Suppose -10*k = -25*k + 18555. Does 31 divide k?
False
Suppose 3*n + 4*f = 875, 2*f - 335 + 42 = -n. Let b = -187 + n. Does 20 divide b?
False
Suppose 0*o + 3*o - 93 = 0. Let r be (27/(-6))/(3/6). Let z = o + r. Is z a multiple of 8?
False
Let n(m) = m**2 + 2*m + 54. Is n(0) a multiple of 4?
False
Suppose -8 = 2*l + 2. Is (-479)/l + (-8)/(-40) a multiple of 16?
True
Let u = -18 - -21. Suppose u*q - 4 = 2. Suppose -9 = -i + q. Does 4 divide i?
False
Let o(a) = a**3 - 5*a - 4. Is o(5) a multiple of 3?
True
Suppose 4*l - 1977 = 2643. Is 10 a factor of l?
False
Let u(p) = -p**2 - 6*p - 6. Let z be u(-4). Let r(t) = 30*t**3 + t**2 + 1. Let b be r(z). Suppose -b = -4*a + 3*n, 2*n - 340 = -5*a - n. Is a a multiple of 28?
False
Is 11 a factor of (-3)/7 + 7320/28 + -8?
True
Let m(u) = 2*u + 32. Let r be m(-10). Does 17 divide r/(-16) + (-621)/(-12)?
True
Suppose 3*a = -15, -2*h + 5*a + 525 = -2256. Is 26 a factor of h?
True
Let x(r) = -r**3 + 8*r**2 + 10*r - 6. Let s be (9 - -3)*(-6)/(-8). Let b be x(s). Supp