 = 0, 2*l - b - 23 = -4*k. Is l a multiple of 33?
True
Let l be (0 + (-9)/(-4))/((-15)/(-300)). Let i = l + -28. Is i a multiple of 17?
True
Suppose -138*u + 32028 = -121*u. Does 6 divide u?
True
Suppose 4*v + 7*v = -440. Is (-2232)/v - (-2)/10 a multiple of 14?
True
Suppose 2*f = -17*f + 9842. Is f a multiple of 6?
False
Let m(d) = -d**2 - 12*d - 19. Let o be m(-8). Let l(z) = -7*z**2 - z + 36. Let a(h) = -15*h**2 - 2*h + 73. Let u(j) = o*l(j) - 6*a(j). Is u(0) a multiple of 14?
False
Is 52 a factor of (104/182)/(21195/21189 + -1)?
False
Let u(k) = 47*k - 30. Is u(6) a multiple of 6?
True
Suppose -5*u - 3*x + 2284 = 0, 0 = -4*u - 0*x + 3*x + 1838. Is 49 a factor of u?
False
Let o = 4221 + -2088. Is 21 a factor of o?
False
Let p(i) = -i**2 + 17*i + 17. Is 7 a factor of p(14)?
False
Suppose 43*w - 13640 - 13493 = 0. Is 8 a factor of w?
False
Let o(n) = -n**2 - 40*n - 86. Does 88 divide o(-32)?
False
Let a(c) = -10*c - 421. Is a(-55) a multiple of 7?
False
Suppose -4*l - 22 = -2*c - 64, -c - 2*l = 9. Does 16 divide (-1)/(-3) - 1675/c?
True
Let p(m) = 225*m + 92. Is p(9) a multiple of 116?
False
Let f be (-6 - -10) + (-2 - -2). Suppose 4*g - 367 = 5*p, 2*g - 189 = p - f*p. Is 28 a factor of g?
False
Let x(n) = -4*n. Let t be x(5). Let u be 474/10 + 8/t. Suppose 2*g - u = 4*j + 17, -1 = j. Does 15 divide g?
True
Suppose -21 = r - 0*c + 5*c, -6 = 2*r - 2*c. Is r/14 - 1275/(-35) a multiple of 18?
True
Let y(a) = 2*a - 32. Let v be y(6). Let c = v - -47. Does 6 divide c?
False
Let v(i) = i - 2. Let k be v(7). Suppose 2*t + 3*j + 11 = -7, 4*t + k*j + 32 = 0. Is (-28)/(-2 - (t + 3)) a multiple of 14?
True
Is 17 a factor of 0*(-4)/(-8) + 7 + 724?
True
Suppose -76 - 230 = -6*f. Let m be (-1 + -8)/(3/14). Let b = f - m. Does 31 divide b?
True
Let p(c) be the third derivative of -c**7/2520 - c**6/72 + 7*c**5/120 - c**4/4 - 5*c**2. Let g(d) be the second derivative of p(d). Is g(-9) a multiple of 7?
False
Suppose -r + 3*r = 3*w + 2639, 0 = 5*r + 5*w - 6635. Is 19 a factor of r?
False
Suppose -22*u + 25312 = 34*u. Is u even?
True
Let h(j) = -8*j + 13. Let r(y) = -17*y + 26. Let m(u) = -5*h(u) + 3*r(u). Let o be m(-5). Let d = -42 + o. Does 13 divide d?
True
Let u(h) = -62*h**3 + h**2 + 2*h + 2. Let o be u(-1). Let j = 95 - o. Is 6 a factor of j?
False
Suppose -3*s + 6543 = 5*b, 0 = -5*b - 2 + 17. Does 16 divide s?
True
Suppose 4*k + 2 - 22 = 0. Let f be 3*3/(-3) + k. Does 14 divide -5*f/(-15)*21?
True
Is (-4)/(-2)*-3 + (-29 - -3303) a multiple of 38?
True
Does 18 divide (246*20/28)/(3/21)?
False
Let v(y) = y**3 + 5*y**2 + y + 7. Let c(i) = 2*i + 1. Let q be c(-3). Let x be v(q). Suppose -2*a - 146 = -4*o, x*o - a + 186 = 7*o. Is 15 a factor of o?
False
Suppose 18*z = 6280 + 740. Is z a multiple of 15?
True
Let m be (-56)/24 - (-12)/9. Let a = 21 + m. Does 4 divide a?
True
Suppose -5*w - 284 = -4*r - 0*r, 142 = 2*r - 4*w. Let c = 95 - r. Is 8 a factor of c?
True
Let i = 71 + -31. Does 8 divide i?
True
Let x(a) = -6 + a + 12 - 5. Let g be x(2). Is 8/g*(-210)/(-40) a multiple of 6?
False
Is 20 a factor of 3070*(-1)/(-2) + -6 + 10?
False
Suppose -5*b = h + 2, 8 = -2*h + 3*h - 5*b. Suppose 0 = -j - 0 + h. Suppose -k = -j*g + 122, 5*g + 2*k - 226 = -2*k. Is 14 a factor of g?
True
Let m(b) = -86*b - 32. Is m(-6) a multiple of 20?
False
Let j(v) = v**2 + 13*v - 210. Is j(-34) a multiple of 24?
True
Let c(f) = -69*f - 1. Let v be c(2). Let p = 199 + v. Does 32 divide p?
False
Is 19 a factor of 2837/6 + (-14)/(-84)?
False
Suppose 0 = 5*r - 2*c - 190 + 710, -4*c + 122 = -r. Let a = r - -172. Is 23 a factor of a?
False
Let w(i) = -i**3 - 7*i**2 + 10*i + 6. Let f be w(-8). Let t = f + 1. Does 24 divide ((-6)/t)/1*108?
True
Let x be ((1 - 1)/4)/(-2). Suppose x = -5*c - 4*o + 33, -2*c + 12 = -o + 2*o. Suppose 4*r - c*r + 16 = 0. Is 3 a factor of r?
False
Let p be 12 + (-5 - 4/(-2)). Suppose p = -k - 4*d - 5, 4*k - 4 = -d. Does 7 divide 1/k - 78/(-12)?
True
Let k = 390 - 225. Is k a multiple of 15?
True
Let r(i) = -5*i**3 - i. Let t be r(-1). Let u(h) = -h**3 + 8*h**2 - 8*h - 4. Let o be u(t). Let l = o - -10. Is l a multiple of 7?
False
Suppose -3*h + 343 = -467. Suppose 0 = -4*z - 4*f + 228, z - 6*z + h = 2*f. Is 13 a factor of z?
True
Let x = -185 + 208. Is x a multiple of 7?
False
Suppose 5*h + 5*x = 35, -7*h - 2*x = -4*h - 19. Suppose h*a - 19 = 11. Suppose a*s - 477 = 27. Is 14 a factor of s?
True
Suppose 7 = -h + 102. Let d = h - 31. Is 20 a factor of d?
False
Let z = -13 - -12. Is 31 a factor of (-262 - -3 - -2)/z?
False
Let a = -35 + 50. Suppose -5*k = -2*k + a. Is 9 a factor of 19/k*(-7 - -2)?
False
Let v be (31 - 30) + (1 + 1 - 1). Suppose 0 = d - v*d + 221. Is d a multiple of 23?
False
Let h = 2079 + -1219. Does 43 divide h?
True
Suppose -h + 32 = -5. Suppose -3 = r - h. Is 17 a factor of r?
True
Let y(g) = 4*g**2 + 3*g + 29. Is 4 a factor of y(5)?
True
Suppose 19 = 4*n - 3*u, -6*n + 5*u + 20 = -n. Let v be (-1)/3 - (-13)/3. Suppose p = 2*f + 30, v*p - n*f + 2*f - 129 = 0. Is p a multiple of 12?
True
Suppose 0 = -5*k + z - 20, -k + z - 2 = 2. Let j be 18/(-72) + (-17)/k. Suppose -j*o = -135 - 125. Is o a multiple of 36?
False
Suppose 636*x - 629*x = 5432. Is 24 a factor of x?
False
Suppose -8382 = -21*x - x. Does 19 divide x?
False
Suppose 7*x - 6 = 5*x. Let q = x + -3. Suppose -3*t + 95 + 106 = q. Is t a multiple of 18?
False
Let s(k) = -1 - 3 + 29*k - 4*k - 8*k. Is s(2) a multiple of 10?
True
Suppose -11*d = -14*d. Suppose -2*w = -3*a + 183, -4*a + 4*w = -d*a - 248. Is 7 a factor of a?
False
Suppose 8*b - 4 = 10*b. Is 42 a factor of (60/(-90))/(b/252)?
True
Let f = 29 - 26. Let r(m) = -3 + 21*m**2 + 5 - f*m**2 - 4*m. Is r(2) a multiple of 31?
False
Let b(q) be the third derivative of q**6/120 - q**5/15 + q**4/8 - 2*q**3/3 - 65*q**2. Let m be 4 - 1/1*0. Is b(m) a multiple of 5?
False
Suppose -w + 3253 = 5*v, 3 + 6 = 3*w. Does 65 divide v?
True
Does 6 divide (6/(-4))/((-87)/6902)?
False
Let s(d) = d**3 + 30*d**2 + 104*d + 33. Is 34 a factor of s(-24)?
False
Let i be -2 - -39 - 3/(3/2). Let q = i - -8. Is 16 a factor of q?
False
Suppose -2*x + 40 = -28. Let m = 104 + x. Is m a multiple of 12?
False
Is (4/8 + 0)/(3/126) a multiple of 5?
False
Let l be 2/(-5)*(-30)/4. Suppose 0 = 13*u - l*u - 280. Is u a multiple of 4?
True
Let u(y) = 14*y**3 - 2*y**2 - 3*y + 5. Let i be u(2). Let g = 148 - i. Does 13 divide g?
False
Suppose -2707 - 3135 = -23*w. Does 11 divide w?
False
Suppose -8 = 4*u + 8, -4*u = 3*q - 1352. Is q a multiple of 24?
True
Let u = 2 - -2. Suppose -v = 0, -2*q + u = -q + 4*v. Suppose 5*w - 27 = 3*l + 28, 2*w - q*l - 22 = 0. Is 5 a factor of w?
False
Let w = -17 - 4. Let x = -20 - w. Does 10 divide (8 + x)*(-2 - -7)?
False
Let j(y) = y + 13. Let c(o) = -o**3 - 10*o**2 + 13*o + 14. Let u be c(-11). Let v be j(u). Suppose -b + 3*n = -24, -n - v = -0*n. Does 3 divide b?
True
Suppose -9*s = -5*s - 5*a - 147, -3*s - 4*a + 149 = 0. Does 4 divide s?
False
Let n(g) = -2*g - 3. Let j be n(11). Let f = -4 - j. Is 10 a factor of f?
False
Suppose 4*p - 5 + 1 = 0. Let c(m) = -4 - p - 3*m - 5. Is c(-5) even?
False
Let z = -918 - -1413. Is (52/(-10) + 2)/((-9)/z) a multiple of 11?
True
Let a = 311 - 268. Does 6 divide a?
False
Let f be 1/(1/(31/1)). Let k = f - 66. Does 17 divide (-2)/(2/k) - 1?
True
Suppose -722 = -3*m - 4*s, 3*m - 973 = -5*s - 249. Is m a multiple of 4?
False
Suppose -8 = 4*j, 3*j = i + j + 2. Let u be (-1)/i - (-7770)/36. Suppose a + u = 5*a. Is a a multiple of 18?
True
Let h be 3/((5 + 0)/(-10)). Does 4 divide ((0 - -2) + -3)*276/h?
False
Suppose 0 = -4*x - 2*z + 362 + 3946, -5370 = -5*x + 5*z. Is x a multiple of 10?
False
Let j(m) = m**2 + 5*m + 169. Is 47 a factor of j(-11)?
True
Let n(g) = 37*g + 64. Let j(p) = -25*p - 43. Let q(z) = 8*j(z) + 5*n(z). Is 4 a factor of q(-4)?
True
Suppose 3*j = 4*v + 319, 0 = -v + 4*v + j + 249. Let s = 121 + v. Does 13 divide s?
True
Let t(h) = -h**3 + 2*h**2 + 2*h + 2. Let v be t(-2). Is 6 a factor of (v + -4)*108/10?
True
Suppose 16 = 4*a, -3*b - b + 3*a = -72. Let m = 18 - b. Is m/(-3) - (-28)/1 a multiple of 8?
False
Suppose 5*c = 3*z + 64, 2*z + 3 = z. Let r(h) = 3*h - 4*h - h**2 + 13 + 11*h. Is 2 a factor of r(c)?
True
Is 13 + (-4338)/(-45) + (-7)/5 even?
True
Let p(w) = 83*w**3 - 2*w**2 - 5*w + 13. 