*-1*-5. Suppose -2*l + 6*l - 3*b - p = 0, 5*l = -4*b + 45. Let v(a) = -a**3 + 7*a**2 - 3*a - 3. Is v(l) a multiple of 16?
True
Let f(c) = c**3 + 9*c**2 - 19*c + 17. Let v = -82 - -72. Is 10 a factor of f(v)?
False
Let b(d) = 6*d**2 + 1. Let x be b(-1). Suppose -k = -4*o + 13, 4*o - 4*k - x = -k. Suppose 68 = o*c - 20. Does 12 divide c?
False
Suppose -2*j + j - 3*w = 9, 4*j - 3*w + 6 = 0. Let d be -3 + 6/(j - -5). Is ((-3 - 0) + d)*-15 a multiple of 15?
True
Suppose -2503 + 623 = -8*k. Let l = k + -150. Does 15 divide l?
False
Let p(b) be the third derivative of b**4/12 - 23*b**3/6 - 8*b**2. Is 14 a factor of p(19)?
False
Let m(l) = 5*l**3 - l**2 + 2*l - 1. Let v be m(1). Suppose 3*y + 4 - 15 = s, y + v*s + 7 = 0. Suppose y*q + 4*i = 0, -3 = -0*i + i. Is q a multiple of 4?
True
Suppose -3*v = -0*v - 30. Let q = v - 8. Is 5 a factor of q/(-4)*-4 - -8?
True
Let w = 13 - 17. Is w + 0 + (-19)/(-1) a multiple of 10?
False
Suppose -458*j + 453*j + 13970 = 0. Is 12 a factor of j?
False
Let y(q) = -9*q - 7. Let p = -20 - -22. Suppose p*z + w + 1 = 0, -z + 0*w = -2*w + 13. Does 9 divide y(z)?
False
Suppose 0 = 4*w - 0*w - 300. Is 14 a factor of w?
False
Let p(u) = -4*u - 35. Let r(g) = -3*g + 2. Let y be r(6). Is p(y) a multiple of 4?
False
Let l(k) = -112*k + 140. Does 14 divide l(-5)?
True
Let s = -2 - 0. Does 12 divide (3/(-6))/(s/296)?
False
Let x(b) be the second derivative of 17*b**3/6 + b**2/2 - b. Let i(y) = y**3 - 12*y**2 + 13*y - 19. Let p be i(11). Is 7 a factor of x(p)?
False
Let t be (-14)/3 - (5 - (-102)/(-18)). Is 12 a factor of (-94)/t + ((-18)/4)/(-9)?
True
Is 24 a factor of 4/(-30) - 302672/(-240)?
False
Let q(z) = 26*z + 504. Is q(-14) a multiple of 2?
True
Let k = 580 - 100. Is k a multiple of 80?
True
Let r = 38 + -37. Suppose r + 11 = 3*t. Suppose -2*u + t*a = -50, u = -4*a + 7 + 6. Does 7 divide u?
True
Let a = -49 + 53. Let l(d) = d. Let z(y) = y + 5. Let u(v) = 5*l(v) + z(v). Is 6 a factor of u(a)?
False
Let o be (16/(-40))/(1/15). Let i(g) = g**2 + 7*g + 10. Let m be i(o). Suppose 2*h = -m*h + 96. Does 5 divide h?
False
Let p(y) = -32*y + 1. Does 12 divide p(-5)?
False
Let c = -996 + 1410. Is 14 a factor of c?
False
Let y(k) = 36*k - 285. Is 3 a factor of y(12)?
True
Let s(c) = -c - 2. Let w be s(-7). Suppose 33 - 3 = w*x. Does 3 divide x?
True
Let v be ((-13)/5 - 2/5)/(-1). Suppose 0 = -v*t - 2*t + 180. Does 6 divide t?
True
Let t(v) = -v**3 - 3*v**2 - v - 3. Let q be t(-2). Is 17 a factor of (0 - -3) + (q - (-5 + -214))?
False
Let t(i) = -127*i**3 - 2*i**2 - 2*i + 1. Does 6 divide t(-1)?
False
Let b(m) = 90*m - 117. Does 3 divide b(4)?
True
Let j = 61 - 57. Suppose 0 = -4*a + 5*c + 44, -j*c + 6 = 3*a + 4. Does 4 divide a?
False
Suppose 3*i + 15 = 0, -305 = -6*p + 3*p - 5*i. Let a be p/(-44)*4/(-5). Suppose -44 = -3*g - 0*g + 2*m, 0 = -5*g - a*m + 84. Does 16 divide g?
True
Suppose 3*o - 8*o = -2790. Does 31 divide o?
True
Suppose -2*p = -3*i - 282, 5*p - p + i = 536. Suppose 5*g + 4*l - p = 0, -5*l + 0*l = 0. Is g a multiple of 2?
False
Let c be 44/(-16) - (-6)/8. Let z be c/5*20/(-2). Suppose 5*y + 47 = z*n, 65 = 5*n - 3*y - 2*y. Is 14 a factor of n?
False
Suppose 19*h - 14*h = 10. Suppose -5*r - 7 + 285 = h*k, 3*r + 5*k - 182 = 0. Is r a multiple of 11?
False
Suppose 7*g = 3*g - 2*i, -4*g - 12 = 5*i. Suppose -4*q = -g*t + 252, -t = -4*q + 58 - 188. Is 9 a factor of t?
False
Suppose 2*y - 6*y + 4*n + 8 = 0, -3*n = 3*y. Let c(g) = g**2 - 2 + 2 + y + g**2. Is 3 a factor of c(-1)?
True
Suppose -227 = -8*f + 445. Is f a multiple of 6?
True
Suppose 7*k + 19 = -3*c + 2*k, 2*c - 3*k = 0. Let x be -51 - ((-9)/c)/3. Let u = x + 102. Does 15 divide u?
False
Let h be -3 + 5 + (4 - 4). Suppose 4*g + 2*a = 186, 2*g - h*a = 28 + 68. Does 8 divide g?
False
Let k(h) = 529*h - 100. Does 41 divide k(4)?
False
Suppose 2 = -3*r + 2. Suppose 2*l = -4*p + l + 306, 2*p + 4*l - 146 = r. Is 7 a factor of p?
True
Is 104/(-40) - -3 - 46/(-10) a multiple of 5?
True
Suppose -5*d + 101 = -24. Let h be 12/(-10)*d/(-10). Does 17 divide (-70)/(-2) + h - -2?
False
Suppose -3*i = -5*i - 4, 2*h - 2*i = 8. Let c(a) = 4 - 7*a + 4*a**h - 13 + 12. Does 6 divide c(3)?
True
Let b = 58 - 83. Let a = 13 - b. Is 6 a factor of (a/(-4))/((-8)/16)?
False
Suppose 5*m + 72 = -4*m. Is 104*m/(128/(-12)) a multiple of 9?
False
Let t be 3 + (3 - -1)/(-4). Suppose -5*r = -0*a + t*a - 575, -5*r = -4*a - 545. Suppose r = 5*z - 47. Is 8 a factor of z?
True
Let l(b) = 3*b + 19. Let g(z) = -z - 9. Let k(v) = -5*g(v) - 2*l(v). Let c be k(4). Suppose 0 = c*w - 2*h - 50 - 257, -2*h + 299 = 3*w. Is w a multiple of 27?
False
Let i = 17070 + -12157. Is i a multiple of 13?
False
Let g = -15 + 25. Let r be ((-3)/(-7))/(g/70). Suppose r*c = -4*y + 6, 2*c + 3*y = 2*y + 9. Is 3 a factor of c?
True
Suppose x = 7 + 9. Suppose -l = 3*h - 11, 2*h + 3*l + 2*l = x. Suppose -2*q - 41 = -h*o, 0 = 2*q - 0*q + 8. Is 3 a factor of o?
False
Suppose 3*s + 9 = -0*s, -5*s + 66 = 3*f. Suppose 31*y - f*y - 12 = 0. Suppose 0 = -y*c + 401 - 53. Is 18 a factor of c?
False
Let t(k) = k**2 - 6*k + 13. Let w(a) = 12 + 15*a - 21*a + 3 - 3 + a**2. Let g(y) = -4*t(y) + 5*w(y). Is g(10) a multiple of 12?
True
Let n(v) = -2*v**2 - 62*v - 11. Is 28 a factor of n(-15)?
False
Let w be -14 - -16 - (-52)/2. Is 20 a factor of (w/(-6))/(-7)*120?
True
Suppose 5*j + 5*s = 13 + 2, 0 = -2*j + 2*s + 18. Let d = j + -3. Suppose -5*a + 88 = 3*b, -b = -4*a + d*b + 64. Is a a multiple of 17?
True
Suppose 4 = -g, g - 28 = -5*a + 3*g. Suppose m = a*m - 108. Does 18 divide m?
True
Let n be -1*1*9/(-3). Suppose -n*b = -6*b. Suppose 5*z + k - 169 = b, -5*k - 51 = -5*z + 94. Does 11 divide z?
True
Suppose -2*z = -2*p + 12, -15 = 2*z + z. Let o be (18/(-8))/((-3)/12). Let i = o - p. Does 8 divide i?
True
Let p = 7 + -4. Suppose -5*k + 1070 = 5*d, d = p*k - 358 - 268. Is k a multiple of 15?
True
Let j be 1 - 4/16 - 27/(-12). Suppose -j*k = -89 + 17. Is k a multiple of 16?
False
Does 10 divide (-22 + 4)*(2 + -7)?
True
Suppose 0 = -3*n - 4*z + 1556, 5*z + 134 + 1951 = 4*n. Does 56 divide n?
False
Let x(l) = l**2 + 14*l + 11. Let g be x(-15). Suppose -2*v - 228 = -4*i, -i = 4*v - g - 13. Is 38 a factor of i?
False
Is 19*205/(-25)*(-5 - 0) a multiple of 7?
False
Is 14 a factor of (-7)/(42/24)*450/(-8)?
False
Let w(l) = l**3 - 20*l**2 + 44*l + 44. Is 3 a factor of w(18)?
False
Let l(t) = t - 3. Let h be l(6). Let b be 17 + -17 - 1*-2. Let x = b + h. Is x a multiple of 2?
False
Let w = -191 + 193. Suppose j = 2*y + y, y + 14 = 5*j. Is (y/4)/(w/152) a multiple of 16?
False
Does 30 divide 5/((-75)/6) - (-27326)/65?
True
Let h(u) be the first derivative of -u**4/2 - u**3/3 - u**2/2 - u - 3. Let q = 19 + -21. Is 3 a factor of h(q)?
False
Let f(r) be the third derivative of r**6/120 + 2*r**5/15 - 5*r**4/24 - 4*r**3/3 - 9*r**2. Suppose -4*a = 35 - 7. Does 38 divide f(a)?
True
Is 16 a factor of ((-808)/88)/(1/(-11))?
False
Let x be (-23 - -5)*(-6)/4. Suppose -4*o = -o - x. Is 10/(3 - 24/o) a multiple of 9?
False
Let m(l) = 7*l - 6. Is m(5) a multiple of 2?
False
Let x(b) be the third derivative of -b**4/8 - 2*b**3/3 - 7*b**2. Let h be -7 - 6/9*-3. Is x(h) a multiple of 11?
True
Does 14 divide ((-18)/9 + (-2)/(-4))*-30?
False
Suppose 11*i = 7*i + 588. Let a = -101 + i. Is a a multiple of 4?
False
Let n = 1062 + -742. Does 10 divide n?
True
Let c = 1231 - 228. Does 17 divide c?
True
Suppose 28191 = 6*x + 6351. Is x a multiple of 14?
True
Suppose -3*f = 5*f - 32. Suppose 361 = f*x - 571. Does 23 divide x?
False
Let y = -18 + 84. Does 22 divide y?
True
Suppose 948 = 4*m + 212. Is 23 a factor of m?
True
Let f(j) = -3*j - 16. Let l = -8 - -1. Let v be f(l). Suppose v*m = -0*m + 260. Is m a multiple of 11?
False
Suppose 0 = -15*b + 5239 + 17756. Is b a multiple of 73?
True
Let z(g) = g**2 - 2*g + 5. Let x be z(5). Is 2*(-2)/x + 1983/15 a multiple of 33?
True
Suppose p - 20 = -n - 4*n, -n - 15 = 4*p. Suppose y = n*y - 432. Is y a multiple of 18?
True
Let b = -281 - -767. Does 8 divide b?
False
Suppose 0*q + 24 = 4*q. Is (-3)/4*(-13 + q + -13) a multiple of 15?
True
Is (-5 - (-17)/3)*165 a multiple of 13?
False
Let g(i) = 9*i**2 - 47*i + 4. Is g(-7) a multiple of 26?
False
Let s(j) = 54*j**2 - j + 1. Let v be ((-4)/(-2))/((-10)/45). Let z be (-1)/v + 30/(-27). I