et p(l) = -l**2 - 5*l - 2. Let w be p(-4). Does 2 divide 13 - -4 - w - 4?
False
Suppose -3*q = c + 27, 3*c = 5*q - 62 - 61. Let o = 14 + c. Let b = 4 - o. Does 26 divide b?
True
Is 105/10 + -11 + 805/2 a multiple of 11?
False
Suppose 2090 = 5*x + 5*o, 0 = 5*x - 0*o - o - 2102. Is 21 a factor of x?
True
Is 3*(-5 - (-784)/6) a multiple of 40?
False
Let q = -215 + 218. Does 2 divide q?
False
Let w(z) = -2*z + 21. Let t be w(11). Does 9 divide (-2)/t - -46 - (13 - 10)?
True
Suppose -3*w + 174 = -w - 2*r, -5*w = -3*r - 433. Suppose z - 4*k - w = -0*z, 0 = 2*z + 3*k - 183. Does 15 divide z?
True
Let y = 61 - -55. Let j = 171 - y. Does 5 divide j?
True
Suppose 4*o - 5828 = 3*d, 0 = -4*o - o - d + 7304. Is 33 a factor of o?
False
Let g = -735 + 1267. Is g a multiple of 13?
False
Is (2 - (1 - 588))*(-11 + 12) a multiple of 55?
False
Let t(x) = 2*x**3 - 26*x**2 - 4*x + 79. Does 15 divide t(15)?
False
Let d(u) = 5*u**2 - 7*u - 13. Let f = 7 - 10. Does 45 divide d(f)?
False
Is (-2)/(-4) + 825/6 a multiple of 2?
True
Let v be (12/(-10))/(-1*12/160). Let x = 31 - v. Is x a multiple of 3?
True
Suppose q + 3*q - 36 = -4*o, -o - 7 = -3*q. Is ((-24)/9)/(q/(-132)) a multiple of 12?
False
Suppose -4*n + 74 + 36 = -2*w, 3*w - 3 = 0. Suppose 4*q - 106 = 2*j, 3*q + j = 2*q + n. Does 9 divide q?
True
Let d be 32/(-14) - 4/(-14). Suppose 4*f - 45 = 11. Let z = d + f. Is 6 a factor of z?
True
Let w be 0 - 4*10/(-2). Suppose -t + w + 45 = 0. Suppose -d + 0*d = 3*j - t, 4*d - j = 234. Is 16 a factor of d?
False
Let c = 19 + -21. Is 4 - 1 - (14*c + 3) a multiple of 10?
False
Suppose 3*u - 8 = u. Suppose -u*i + 0*j - 2282 = -2*j, -5*j = -5*i - 2845. Does 26 divide i/(-18) + (-18)/(-81)?
False
Let p(j) = -26*j + 16. Let k = -13 + 9. Does 25 divide p(k)?
False
Suppose -3*k + 16 = 10. Suppose 42 = k*j + j. Is 3 a factor of j?
False
Let x = -6 - -8. Suppose 0 = -x*j + 3*j + 3*t + 6, 0 = j + 2*t + 6. Let g = 20 + j. Does 4 divide g?
False
Let c be 27/9 + 1 + (2 - 1). Suppose -149 = -c*s + 2*t, -2*s = -t + 5*t - 74. Is 5 a factor of s?
False
Let c = -124 - -85. Does 2 divide c/(1 + -4)*(1 + 0)?
False
Suppose -39*o + 516 = -27*o. Is 36 a factor of o?
False
Let p = 1031 - -679. Is 30 a factor of p?
True
Let f(j) = -j**3 - 1. Let o(m) = 7*m**3 + 14*m**2 + m + 19. Let d(q) = -6*f(q) - o(q). Let v be d(-14). Let l = 8 + v. Is l a multiple of 2?
False
Suppose -a - h = -0*a - 1, a + 2 = -2*h. Suppose 2*n = v + a*n - 54, -3*n = -4*v + 238. Is v a multiple of 31?
False
Let h = 282 - 122. Is 16 a factor of h?
True
Let q = -46 - -77. Let x = 63 + q. Let h = -56 + x. Does 20 divide h?
False
Let t = 20 + -18. Suppose -t*r - 37 = -1. Is r/10*(-2 + -3) a multiple of 8?
False
Let x(j) = 17*j**2 - 2*j + 1 - j**3 - 5*j - 10*j**2. Let r be x(5). Suppose h = -h + r. Does 3 divide h?
False
Let j be (-4)/6 + 152/48*4. Suppose 4*f - 30 = 2*d, -2*d - 7*f + 5*f - 12 = 0. Does 3 divide 8/j*-3 - d?
False
Let b be ((-12)/7 - 0)*-7. Let z be 4/12 - 4/b. Suppose v - 39 = -k, z = -2*k + 4*k + 3*v - 83. Is k a multiple of 7?
False
Let s be (3 + 0)*6/18. Let a = 1 + s. Suppose 0*w - a*n = 5*w - 445, 3*n = 3*w - 288. Does 21 divide w?
False
Let a(k) = -k**3 + 11*k**2 - 18*k + 16. Let i be a(9). Is 37 a factor of ((-111)/(-6))/((-28)/i - -2)?
True
Does 15 divide (-5 + -5 + 0)*(-93)/2?
True
Let p be -4 + 1 + (0 - 4*22). Let q = 455 + p. Does 28 divide q?
True
Let v = 28 + -24. Suppose 2*q - 5*d = -q + 135, 0 = -3*q - v*d + 135. Does 9 divide q?
True
Let u = -454 - -829. Does 15 divide u?
True
Let t = -503 - -631. Is t a multiple of 8?
True
Does 22 divide 940/5*(3 - 5/(-10))?
False
Is 135/(48/(-32)*(-3)/54) a multiple of 20?
True
Let m(a) = a**3 - 6*a**2 - 30*a - 9. Is m(12) a multiple of 50?
False
Is 2 a factor of (31 - 9)*(-9)/(-1 + -2)?
True
Let u(w) = 2*w**3 - 19*w**2 - 31*w + 55. Let o(b) = -b**3 + 9*b**2 + 16*b - 28. Let k(l) = -7*o(l) - 4*u(l). Is 12 a factor of k(13)?
True
Let x(d) = 14*d - 39. Does 12 divide x(19)?
False
Suppose -2*t - 2*t = -16. Suppose -5*l + t*w = -2*l + 10, -4*l + 3*w - 11 = 0. Is l - (16/(-4) + -84) a multiple of 28?
False
Let d(z) = -5 - 1 + 32 - z**3. Is 12 a factor of d(0)?
False
Suppose -5*d = h - 53, 5*d + 0*h = 3*h + 41. Suppose -d*f - 147 = -13*f. Is f a multiple of 4?
False
Let t(m) = m**2 + 13*m + 46. Let b = -15 + 1. Is t(b) a multiple of 6?
True
Suppose -o = 7 + 26. Let b = -90 - -141. Let w = b + o. Is w a multiple of 9?
True
Let k(u) = u**2 - 11*u - 22. Let m be k(19). Let a = -53 + m. Is a a multiple of 10?
False
Let p be 2/(5 - 65/15). Suppose -u + 100 = 5*z, -p*u + 69 = 7*z - 3*z. Is z a multiple of 7?
True
Let l = 358 + -165. Let o = l + -113. Is 16 a factor of o?
True
Let m be (-4 - (1 + -5))/1. Suppose -3*v = -m*g - g + 6, -g = -2*v - 7. Does 6 divide g?
False
Let o = 28 + -42. Suppose 14*g - 19 = -47. Let i = g - o. Is 8 a factor of i?
False
Let u(r) = r**3 + r**2 - 2*r + 16. Suppose -w = -5*o + 19, 0 = 5*w + o + 56 + 13. Let x = w - -14. Is 4 a factor of u(x)?
True
Does 2 divide 64/30 + 6/(-45) - -51?
False
Suppose -35*n = -33*n - 2. Is 3/(12/212) - 1/n a multiple of 4?
True
Let q(i) = i + 17. Let f be q(-14). Is (-18)/f*1*-11 a multiple of 6?
True
Is 13 a factor of (495/(-30))/(2/(-4))?
False
Let j = 16 + 10. Let w = -20 + j. Is 23 a factor of 26 - 15/(w - 1)?
True
Let f(q) = 2*q**3 + 10*q**2 - 11*q + 8. Let n be f(-6). Suppose 3*x + 59 = 3*i - 4, 2*x = -n*i + 34. Is i a multiple of 9?
False
Suppose 6*y - 9*y = 21. Let z(g) = g - g**2 + 11*g**2 - 11 - 4 - 9*g**2. Is z(y) a multiple of 5?
False
Let b be 5/(105/27) - 8/28. Does 8 divide ((-16)/6)/(b/(-9))?
True
Let q be 2/(-3*(-3)/36). Let n be (-9)/(-4) + (-2)/q. Suppose -5*t + 3*w + 182 = 0, t - n*w - 54 = 3*w. Is t a multiple of 16?
False
Let f(a) be the second derivative of 31*a**3/6 - 5*a**2 + 7*a. Let t(j) = -6*j + 2. Let y(x) = -4*f(x) - 22*t(x). Is 13 a factor of y(7)?
True
Let x = 141 + -114. Let w = 267 - x. Is 10 a factor of w?
True
Suppose 9*w - 15*w + 90 = 0. Is (-4 - -24)*48/w a multiple of 11?
False
Let j = 61 + -23. Let x = j - -1. Is 13 a factor of x?
True
Let f(l) = -3 - 4*l + 3 + l + 1 + 6*l**3. Is f(3) a multiple of 11?
True
Let k(h) = -3*h**2 - h - 46. Let u(g) = -2*g**2 - g - 46. Let b(z) = 3*k(z) - 4*u(z). Suppose 4*a = 20, -7*p = -2*p - 4*a + 20. Is 11 a factor of b(p)?
False
Suppose -2 = -2*f, m - f = -0*m - 13. Let w = 20 + m. Suppose -12*r + 372 = -w*r. Is 15 a factor of r?
False
Let g = -14 - -4. Let z = g - 19. Let d = -13 - z. Is d a multiple of 8?
True
Suppose 5*x - 258 = 3*x. Suppose 3*o - 249 = 4*d, -3*o + 32 = d + 113. Let u = d + x. Is u a multiple of 16?
False
Suppose -5*y = -3*j + 2*j - 13, y = j + 1. Suppose 0 = -2*h - y*f + 21, 0*h - 11 = -h - f. Suppose 5*x = 2*x + h. Does 2 divide x?
True
Suppose 5*q - 2 - 6 = -2*o, q + 4 = 0. Let g = o + -16. Is 35 + g*2/4 a multiple of 17?
True
Suppose -a + 816 = -3*v, -2*a + 5*v = 4*v - 1647. Does 15 divide a?
True
Let y(h) be the third derivative of h**6/60 - h**5/20 + h**4/6 - h**3/6 - 5*h**2. Let d be y(2). Suppose -z - 4*k + 4 = -d, -5*z + k = -75. Does 6 divide z?
False
Is 16 a factor of (2318/2)/1 - (-18 - -13)?
False
Is 24 a factor of 407 + 9/(-1 - 2)?
False
Let f = 1088 - 1058. Is 5 a factor of f?
True
Suppose 0 = -0*r + 5*r. Suppose -2*m - 3*m = 90. Is 6/m*(r - 36) a multiple of 8?
False
Let j = 971 - 164. Is j a multiple of 36?
False
Let r(b) = -1 + 20*b - 2*b**2 + 10 - 4*b**2 + b**3 - 13*b**2. Is 15 a factor of r(18)?
True
Let n = -764 + 1424. Is n a multiple of 20?
True
Let z = -139 + 239. Suppose -5*t + z = 4*m, -3*t + 40 = -t + 3*m. Suppose 3*g - t = 34. Is g a multiple of 8?
False
Let i = -550 + 1750. Does 11 divide i?
False
Let o(p) = p**2 + p**2 - p**2 + 2. Let j(i) = 2*i**2 - 10*i + 7. Let v be j(2). Does 23 divide o(v)?
False
Let v = 653 - 569. Does 4 divide v?
True
Let u = -25 - -295. Suppose -2*l - 3*t + 2*t + 111 = 0, -5*l + 5*t + u = 0. Is 11 a factor of l?
True
Suppose 0 = 482*c - 468*c - 27846. Is 5 a factor of c?
False
Let r be 611/(-13) + (-3)/1. Does 7 divide 4 + (3 - r/1)?
False
Suppose 4*a = 6*a - 4*q - 2750, -4*a = -5*q - 5515. Does 15 divide a?
False
Suppose 5*y - 21 - 12 = -2*d, d = 4*y - 16. Suppose -d*s + 648 = -0*s. Is 24 a factor of s?
False
Suppose 11 + 91 = v. Does 5 divide v?
False
Suppose 56 =