3 - 2*l**2 + 2*l - 2. Let m be x(2). Suppose -3*c + 3*b = -240, -c = m*b - 9*b - 78. Does 18 divide c?
False
Let v = -418 - -622. Suppose -3*l - 7*k = -4*k - 303, 4*k - v = -2*l. Is l a multiple of 10?
True
Let f = -22957 + 29604. Is f a multiple of 23?
True
Suppose -5*h = 5*y + 15, -3*h - 2*y + 15 = 19. Suppose h*w = m + 887, 2*w - 3*m - 681 = 216. Is w a multiple of 63?
True
Suppose -5*a + 1340 = 5*h, -178 - 82 = -h - 3*a. Is (-1*h)/(-1 + 4 - 4) a multiple of 32?
False
Is (-150)/(-525) + -4 + 209570/35 a multiple of 3?
False
Let v = 636 + -631. Suppose 4*r + 845 = 5*c + r, -v*c + r + 845 = 0. Does 13 divide c?
True
Suppose 2*d - 714 = 2*r, 5*d - 909*r + 906*r - 1783 = 0. Is d a multiple of 5?
False
Suppose -y = h + 487, 7*h = 3*h + 3*y - 1955. Does 6 divide -7 - -5 - 6 - h?
True
Suppose 3*f = 5*v + 17, -16 = -4*f + f + 4*v. Let i be 6*f/(-30)*(-10 + 0). Suppose -i*g = -127 - 1057. Does 7 divide g?
False
Suppose -28*r - 5145 = -29*r - 3*n, n + 5137 = r. Is 7 a factor of r?
False
Let r = 15670 + 9717. Is r a multiple of 33?
False
Let k = 41744 - 16234. Does 13 divide k?
False
Suppose 14*d - 17*d + 3772 = -2*d. Is 23 a factor of d?
True
Suppose 4*j = -g + 1376, -2*g = -4*j - 1857 - 967. Does 4 divide g?
True
Suppose 2*z - 255 = -59. Suppose z = 2*u - 2. Suppose 3*s + 5*q + 103 = 5*s, -s + u = -q. Is 7 a factor of s?
True
Suppose 0 = -5*o + 4*b + 5146, o = -10*b + 13*b + 1027. Suppose -5*c + 370 = -o. Is c a multiple of 40?
True
Let m(g) = g - 1. Let u(y) = -y. Let v(l) = 4*m(l) + 5*u(l). Let b be v(-7). Let d = b + 64. Does 8 divide d?
False
Suppose 3*z = -16 - 26. Let n be (-66)/77*z/4. Suppose -n*y = -2*p + 23, 2*p - 5*y - 42 = -9. Is p a multiple of 4?
True
Suppose -t = -2*k + 2114, -5*k - 8*t + 5285 = -6*t. Suppose 13*r - 3540 + k = 0. Does 5 divide r?
False
Let j(b) = 166*b**2 + 36*b + 243. Does 53 divide j(-10)?
True
Suppose -4*q + 5*i = 16, 5*q - 4*i = -8*i - 61. Let y(t) = t**2 + 8*t - 7. Let c be y(q). Suppose 2*p - 112 = -c*p. Is 28 a factor of p?
True
Is 4 a factor of ((-170)/4 - -5)*(-3)/(9/28)?
False
Let u be 5/(-15)*4*(-6)/4. Let g be (21 - 16)/(2/u). Suppose 2*o = 4*p + 112, g*o - 215 = -3*p + 104. Does 5 divide o?
False
Let v = 344 - 194. Is 250/(-3)*(-270)/v a multiple of 8?
False
Suppose -31*b + 9120 = -19*b. Suppose b = 3*x + x - 2*p, 0 = 5*x - 3*p - 951. Is 12 a factor of x?
False
Suppose 0 = 6*h - h - 10. Suppose l - 4*s = -0*l - 116, 0 = h*l - 5*s + 238. Let u = l + 210. Does 43 divide u?
True
Suppose 5*g = 3*j - 27, -2*g - 5*j + 7 = -7. Is g/(3/728*-4) a multiple of 9?
False
Let u be (-4)/(-10) - 106/(-10). Let x = u + -11. Suppose x*m - f = -5*m + 115, 4*m - 81 = 3*f. Is m a multiple of 12?
True
Is (-13 - (150/(-35) + -9))*40082 a multiple of 23?
False
Let j(r) = 27*r + 138. Let m be j(-5). Suppose -15 = m*v, o + 2*o = 4*v + 890. Does 58 divide o?
True
Is 7 a factor of (2 + (-385)/10)*-160?
False
Let m(w) = -6*w + 2 - 15*w + 46*w. Is m(3) a multiple of 2?
False
Suppose -2*r + 42 - 266 = 0. Does 7 divide r/(-196) + ((-26424)/21)/(-3)?
True
Let y(k) = 302*k - 1434. Does 9 divide y(10)?
False
Suppose -a + 5*g = -47029, 0 = 141*a - 136*a + 11*g - 235037. Is a a multiple of 15?
False
Let p(k) = -3*k**3 + k**2 - k. Let c(m) = 14*m**3 + 80*m**2 - 99*m - 106. Let z(b) = c(b) + 4*p(b). Is 32 a factor of z(-43)?
False
Suppose -5*h + 6*h = -4*t + 12, 0 = -3*h + 2*t + 36. Suppose 0 = -k + 3*u + h, -5*k - u = 3 + 1. Suppose b + k*b = 30. Does 15 divide b?
True
Let y be 21693/105 - (2 + 12/(-5)). Does 22 divide (-3)/((-54)/4) - (-56051)/y?
False
Let r(z) be the third derivative of z**7/112 + z**6/180 + 11*z**5/60 - 13*z**2. Let i(m) be the third derivative of r(m). Is 16 a factor of i(1)?
False
Let h be (-19)/(-38)*(-1 + 23). Suppose -12*i = -h*i - 80. Does 10 divide i?
True
Let x(k) = k**3 - 26*k**2 + 49*k - 22. Let j be x(24). Suppose 6 = -j*v, 3*a - 4*v = -8*v + 222. Is 3 a factor of a?
True
Does 138 divide 60381/15 + (224/40 - (2 + 4))?
False
Let p = -41 - -36. Let f(c) = -c**3 - 3*c**2 + 5*c - 1. Let i be f(p). Suppose -13*w - i = -15*w. Does 9 divide w?
False
Is 8 a factor of -7 + -9 - (-114354)/18?
False
Let f = -218 + 234. Is 40 a factor of 40/f*(-706)/(-5)?
False
Let t be (-238)/(((-6)/(-15))/((-4)/((-180)/9))). Let j(x) = 218*x**2 - 1. Let l be j(-1). Let d = t + l. Is 14 a factor of d?
True
Let t = -75 + 80. Suppose 2*r - 4*q + 2*q = 340, -140 = -r - t*q. Is 55 a factor of r?
True
Suppose -248 - 344 = -4*x. Let k(i) = 134*i + 2. Let d be k(1). Suppose -5*y - w + x = 0, 2*w - d = -3*y - 50. Is y a multiple of 10?
True
Let z(v) = -76*v - 107. Let d be 2/(24/(-20))*3. Is 68 a factor of z(d)?
False
Suppose 130*y - 103*y = 128844. Is y a multiple of 57?
False
Let x be (-189760)/(-64)*(-2)/(-10). Let o = x - 320. Is 7 a factor of o?
True
Suppose 0 = -w - 2*w + 12. Let o be ((5 + -3)*4)/2. Suppose 2 = -2*k + 10, -w*k = o*p - 96. Is p a multiple of 5?
True
Let j be ((-2)/5*-5)/1. Suppose r + 13 = j*r + p, -33 = -3*r - 5*p. Suppose -r = 5*h - 436. Does 14 divide h?
True
Let m = 192 - 189. Suppose -q - f + 81 = 0, 4*q - 9*q + 373 = -m*f. Does 8 divide q?
False
Let t be ((-6)/(-12)*-1)/(2/140). Is (-10)/t - ((-5664)/7)/3 a multiple of 15?
True
Let v(y) be the first derivative of -y**3/3 + 23*y**2/2 - 28*y - 64. Is v(16) a multiple of 7?
True
Let m = -9 + 6. Suppose -860*u = -842*u + 1656. Is 21 a factor of (-3)/(2 - -1) - (m + u)?
False
Let x = 5627 + -4458. Is 6 a factor of x?
False
Suppose 4*x - 2*j + 9 - 35 = 0, -4*x + 3*j + 27 = 0. Let s be ((-28)/(-8) + -2)/(3/x). Is 18 a factor of s/2*15/(-2)*-4?
False
Let w(x) = 133. Let c(g) = g + 1. Let v be 4/6 + 1/3. Let l(k) = v*w(k) + 2*c(k). Is l(0) a multiple of 26?
False
Suppose 0 = 10*h + 487 - 517. Is 21150/(-100)*(0 + (-2)/h) a multiple of 5?
False
Let m(j) = -4*j**2 + 16*j + 16. Let r be m(-4). Is 23 a factor of (r/(-140))/(4/1610)?
True
Suppose -34*r = 10244 - 37886. Suppose 5*t - 3*n - 817 = 0, r = 5*t + 2*n - 4*n. Is 2 a factor of t?
False
Suppose -4*z + 4748 + 688 = 0. Is z a multiple of 9?
True
Let v = 46309 + -26521. Is 43 a factor of v?
False
Let g(i) = i**2 - 16*i - 101. Let w be g(-5). Let h(r) = 4*r**2 - 9*r + 9. Is h(w) even?
False
Let r = 1881 + -1310. Let y = r - 355. Does 10 divide y?
False
Let u = 467 - 355. Let n(c) = 6*c - 4. Let h be n(3). Let f = h + u. Is f a multiple of 14?
True
Suppose -3*k + 172 + 278 = 0. Let t = k - 20. Is 61 a factor of t?
False
Suppose -2*o = 5*o + 35. Is 14 a factor of (-3)/5 + o/(50/(-2246))?
True
Suppose i - 5 = 4. Suppose -9*b - 27 = -i. Does 16 divide (-1 - (-3)/b)*-32?
True
Let h = -1084 + 2454. Is h a multiple of 10?
True
Suppose 167*t + 182*t = 387*t - 194256. Is t a multiple of 71?
True
Let b(y) = y**3 - 22*y**2 - 19*y - 17. Suppose -2*w = -6, -5*g + g + 85 = -5*w. Let n = g + -2. Is 20 a factor of b(n)?
False
Let k(f) = 0*f**2 - 23*f**3 - 6*f**2 - 55*f + 47*f - 8. Is k(-3) a multiple of 11?
True
Let n be (-19350)/(-14) - 2/14. Let w = 1444 + n. Is 4/22 + w/66 a multiple of 22?
False
Is 7 a factor of (1734/(-30)*(12 + 14))/(1/(-5))?
False
Let b(r) = 612*r + 842. Does 14 divide b(4)?
True
Suppose 3*t + 5*n - 3413 = 0, t + 12*n - 15*n = 1147. Does 28 divide t?
False
Suppose 11*c - 6*c - 10 = 0. Let p be c/7 + (-11382)/49. Let f = -147 - p. Does 17 divide f?
True
Let n(b) = 3*b**3 + 2*b**2 - b. Let h be n(1). Suppose h*d - 5*q - 1168 = -q, 5*d = q + 1440. Does 37 divide d?
False
Suppose 3*m - 2*h = 2, 8 = 2*m + 2*h - 0*h. Suppose -5*x = b - 9, -b + m*x + x = 7. Is (-30)/b*120/72 even?
True
Is 2953 + ((-216)/8 - -13) a multiple of 16?
False
Let f(y) = -2*y - 9. Let l be f(-7). Suppose 0 = l*m - 4*d - 2296, 0*m + 2*m + d = 908. Is m a multiple of 57?
True
Does 38 divide ((-2799)/(-36) + 3)*(24 - 0)?
True
Let h(n) = -n**3 + 6*n**2 + 7*n - 4. Let m be -15*(-2 + 6/15). Suppose m = -5*w + 9*w. Does 15 divide h(w)?
False
Let y = 2993 - -2389. Does 18 divide y?
True
Suppose 0 = 3*l - 17 + 5. Let w be (2/l)/(8/144). Suppose w*b - 13*b + 112 = 0. Is b a multiple of 14?
True
Suppose 208*z - 3045564 - 814716 = 1786712. Is z a multiple of 149?
False
Let k = 22 - 22. Suppose z - 21 = -k. Let q = 57 - z. Is q a multiple of 9?
True
Let q(n) = 2*n - 7. Let j be q(6). Let f(t) = -14*t + 197. Let g be f(14). Is 137/g - j/(5/4) a multiple of 19?
T