8 + v. Is l a multiple of 9?
False
Let j(x) = -8*x**3 - 5*x**2 - 7*x - 7. Let o = 10 + -13. Is 42 a factor of j(o)?
False
Let p(g) = -g**3 + 11*g**2 + 13*g + 2. Let i be p(12). Suppose 122 = 3*r + i. Is r a multiple of 5?
False
Let x(r) = -r**3 - 6*r**2 - 15. Let v be x(-7). Let c = -28 + v. Is c a multiple of 6?
True
Let w be (-5)/((-10)/(-8))*1. Let u(b) = -11*b**3 - 2*b**2 + 3*b + 10. Let q(r) = -5*r**3 - r**2 + r + 5. Let z(n) = w*u(n) + 9*q(n). Is z(-4) a multiple of 26?
False
Let q(h) = -h**3 - 8*h**2 + 8*h + 10. Suppose 42 = 2*f + 4*f. Suppose 4*d - f + 1 = 2*g, g = d - 6. Is 11 a factor of q(g)?
False
Suppose 8*t = 9*t + 8. Let b = 90 + t. Does 5 divide b?
False
Suppose 3*o + 0*o = 0. Let l be 1 - 8/(-1 - o). Does 13 divide (36 - -3)*3/l?
True
Suppose -60 = 4*x + 52. Let g = x - -40. Is 3*16/g*5 a multiple of 20?
True
Suppose 265 - 1665 = -8*d. Is d a multiple of 41?
False
Suppose -4001 + 289 = -8*t. Is 76 a factor of t?
False
Suppose 3*k = -6 + 15, -3*q + 2736 = -k. Is 48 a factor of q?
False
Let x(p) = p + 1. Let r(h) = -16*h + 8. Let g(b) = r(b) - 12*x(b). Does 26 divide g(-4)?
False
Let r(w) = 5*w + 12. Suppose 144 = 5*m + 3*v, v = -8*m + 4*m + 118. Suppose 3*d + 0*s + 2*s - m = 0, -d - 2*s = -14. Is 13 a factor of r(d)?
True
Let g = 21 - 9. Is 12 a factor of g?
True
Suppose 0 = 3*r - 31*i + 36*i - 1601, -2*r + 4*i = -1082. Does 25 divide r?
False
Let u be (3 - 31) + (-1)/1. Let i be 2/(-1*(-1)/46). Let o = i + u. Is o a multiple of 20?
False
Let p = 368 - 324. Let i be -2 + 12*(-2)/1. Let v = i + p. Does 9 divide v?
True
Does 26 divide 56 - 48 - (1 - 461)?
True
Let x(b) = -2*b**2 - 18*b + 3*b**3 + 39*b - 9*b - 7*b. Is x(4) a multiple of 24?
False
Let x(j) = -282*j - 56. Is 17 a factor of x(-9)?
True
Let g(x) be the second derivative of 73*x**5/10 + x**4/6 - x**2/2 - 7*x. Let b be g(1). Suppose -m + 15 = 4*m, 3*c - 3*m = b. Does 11 divide c?
False
Suppose -2*l = -4*w, 0 = -5*l + 3*l - 2*w + 12. Does 25 divide 200 - -1*(l + -4)?
True
Let a = 603 - 447. Does 13 divide a?
True
Let y be (22/(-4))/(-11) + (-5)/(-2). Suppose -3*n + 423 = -y*w, 5*n - w = -5*w + 660. Is n a multiple of 17?
True
Let u be -11 + 16 + -13 + 1. Let y(a) = 3*a**2 + 16*a - 6. Is 17 a factor of y(u)?
False
Let w(h) = -16*h - 11. Let q be w(-5). Suppose 0 = 5*i + 4 - q. Let v = i + -6. Does 7 divide v?
True
Let x = -1650 - -2096. Does 9 divide x?
False
Let s(i) be the second derivative of -9*i**5/10 - i**4/4 + i**3/6 + 3*i**2/2 - i. Is 19 a factor of s(-2)?
True
Suppose 16 = -4*u, 0 = -4*g - 0*u + 2*u - 604. Suppose -t - 74 = 3*y - 0*y, 3*t + 234 = -3*y. Let f = t - g. Is f a multiple of 16?
False
Suppose 0 = -3*i + 15, 3*i = -3*b - 12 + 138. Let m = 55 - b. Does 2 divide m?
True
Let u be 10482/18 - 1/3. Suppose -132 = 6*f - u. Is 25 a factor of f?
True
Let c = 135 - 303. Let h = c + 623. Is 65 a factor of h?
True
Is (82 - 0)/((-17)/(-442)) a multiple of 82?
True
Suppose -7*i + 3290 = -945. Is i a multiple of 50?
False
Let r(o) = 25*o**2 + 42*o + 185. Is 9 a factor of r(-8)?
True
Let l = -1 + 11. Suppose 120 = 12*w - l*w. Suppose 3*a - 36 = -2*u, 4*u - w = -a - 2*a. Is u a multiple of 4?
True
Does 40 divide 0 + 5 - (-1238)/(-4)*-2?
False
Let b be (-110)/(-12) - (-3)/(-18). Does 12 divide b/(-2)*60/(-10)?
False
Let m = 552 + 88. Does 64 divide m?
True
Let r be 2 - (-554 + 4 - 3). Suppose -v = 3*h - r, 4*h = -0*v + 4*v + 756. Is h a multiple of 17?
False
Suppose v - 373 = -5*q + 3*q, 2*v - 185 = -q. Suppose 221 = 2*a + x, 3*a - 4*x - q = 117. Does 12 divide a?
True
Let y(c) = -c**3 + 5*c**2 - 4*c - 1. Let p be y(3). Suppose -p*l = -2*l. Is (1 - -11) + l/8 a multiple of 6?
True
Let q be (-95)/30 + 2/12. Let s(x) = 12*x + 1. Let u(z) = -60*z - 4. Let m(c) = q*u(c) - 14*s(c). Is 32 a factor of m(5)?
False
Let q be (-27)/(-6) + (-2)/(-4). Suppose 0*d = q*j - 5*d + 25, 3*j = -3*d + 3. Does 4 divide ((-9)/6 - j)*22?
False
Let p = 12 + -9. Suppose 17 = p*r + 4*v, -5*r - 4*v = -22 - 1. Suppose 5*n + 42 = r*g - 82, 3*g = -3*n + 84. Does 9 divide g?
False
Let r(m) = 2*m**2 + 4*m - 4. Let z be r(2). Suppose 2*o + 2 = z. Suppose q = 5*q - o*t - 190, -4*q - 2*t + 176 = 0. Does 9 divide q?
True
Let n be ((-12)/(-4) - 4) + 4. Suppose n*m = -2*c + 357, c - 134 - 12 = 5*m. Is c a multiple of 26?
False
Let l(r) be the third derivative of -r**5/60 - r**4/6 - r**3/3 + 5*r**2. Let y be l(-3). Is 4 a factor of (12 + -14)/(y/(-2))?
True
Let q be (6 - (-2 - -3))*1. Suppose u - 103 = q*i, -4*i + 116 = 2*u - 76. Is 14 a factor of u?
True
Is 19 a factor of (36/24)/((-6)/(-760))?
True
Suppose 5*k = -3*l + 4, -6*k + k - 5 = 0. Let t(u) = 4*u**2 + 0*u**2 - l*u**2 - 10 + 0*u + 4*u. Is 22 a factor of t(-8)?
True
Suppose -4*z + 6*z - 40 = 0. Suppose 0 = l + l - z. Suppose -2*y + l = -6. Does 8 divide y?
True
Suppose 258*t = 259*t - 5*p - 895, 0 = t + p - 877. Does 5 divide t?
True
Let j = -75 + 270. Is 4 a factor of j?
False
Let d be (-11 - -7) + 4/1. Suppose 5*o - 40 - 10 = d. Suppose 3 = a - o. Does 13 divide a?
True
Let g(m) = 34*m + 10. Is 10 a factor of g(5)?
True
Suppose 30*m = 25*m - 905. Let f = -7 - m. Is f a multiple of 11?
False
Suppose -4*f = -2*f - 170. Suppose 4*t + f = -t. Is 2 a factor of (t - -20) + (3 - -1)?
False
Let j(x) be the first derivative of x**3/3 + 3*x**2/2 - 4*x - 3. Let f be j(-7). Let o = 2 + f. Is o a multiple of 13?
True
Is (-1946)/(-6) + 2/3 a multiple of 25?
True
Is 1 - (-116 - (9 - 6)) a multiple of 9?
False
Suppose -6*t + 12 = -3*t. Suppose 4*m + 120 = 4*r, r - 90 = -2*r - t*m. Is r a multiple of 10?
True
Let s = -47 - -77. Let b be (3 + s)*(-1)/3. Let t = 27 + b. Is 16 a factor of t?
True
Suppose 4*a - 209 = -57. Let r = a - 13. Is 15 a factor of r?
False
Let y be (0/(-2) - 1)/1. Is y + 3 - (-267 - 4) a multiple of 43?
False
Let t(y) = -y + 5 - 4 + 2*y. Let o(g) = -17*g - 3. Let h(f) = o(f) + 6*t(f). Does 11 divide h(-2)?
False
Suppose 0 = 3*b + 2*q - 3*q - 3, 0 = -4*b + 4*q + 4. Let w(h) = 58*h**2 - 2. Does 9 divide w(b)?
False
Let v = 10 + -86. Suppose -d - 4 + 2 = 5*f, 0 = -5*f + 20. Let h = d - v. Is h a multiple of 18?
True
Let a(z) = z**2 - 5*z + 21. Suppose 70 = 5*f - 3*v, f + f + v - 17 = 0. Let w = f - 4. Is a(w) a multiple of 9?
False
Suppose 5 - 2 = -3*d, -11 = -h + 3*d. Suppose 0 = w - 32 + h. Is w a multiple of 6?
True
Let w = 6 + -3. Suppose w*m + 330 = 3*g + 8*m, -5*g + 3*m + 516 = 0. Is 21 a factor of g?
True
Suppose -78*o - 3498 = -81*o. Does 57 divide o?
False
Is ((-23)/4)/((-23)/1840) a multiple of 16?
False
Let h be (36/3)/(4/24). Let v = 1 + h. Suppose -5*z + v + 77 = 0. Does 15 divide z?
True
Let f(i) = -3*i - i**3 + 5 - 4 + 2*i**2 + 6*i + 1. Let q be f(-2). Let y = 18 - q. Is 6 a factor of y?
True
Let l(s) = 23*s**2 + 24*s - 94. Does 10 divide l(8)?
True
Let f be 24/(-8) - (0 + -2). Is 6/21 + f/((-14)/1578) a multiple of 26?
False
Let s be (-33)/(-21) + 6/14. Suppose s*r = 3*r - 59. Let v = -26 + r. Is v a multiple of 11?
True
Let s = -43 + -18. Let m = s - -100. Is 21 a factor of (13/m)/(1/63)?
True
Suppose -4*k + 2627 = v, 4*k - 5*k - 5281 = -2*v. Is 29 a factor of v?
True
Let a(t) = t**2 + 13*t + 6. Let i(b) = -b + 2. Let p be i(12). Let g be a(p). Is 9 a factor of (-1)/(-4) + (-234)/g?
False
Let c(m) = 12*m**2 + 29*m + 8. Does 12 divide c(6)?
False
Suppose 0 = 4*l - 4*s + 12, 3 = -l + 5*l + s. Let w be l/((-2 - -6) + -7). Suppose w = i - 5 - 2. Is 7 a factor of i?
True
Suppose 5*x - 5*g = 35, 3*x + 3*g + 9 = -0. Suppose 0 = -p + x, 0 = i - p + 6*p - 40. Does 10 divide i?
True
Let d(z) = 27*z - 11. Let o be d(-4). Let m = o - -203. Is 24 a factor of m?
False
Is 8 a factor of (11 + 0)*-9*10/(-45)?
False
Let t(a) = -a**3 - 14*a**2 - 12*a + 2. Let n be t(-13). Let c(d) = -4*d + 8. Let z be c(n). Suppose -3*y = -101 - z. Is 17 a factor of y?
True
Let h(u) = -u**3 + 3*u**2 - 4*u - 5. Let v be h(-4). Suppose -2*a - 4*i + 60 = 0, 3*a - 8*i - v = -3*i. Does 18 divide a?
True
Let b = 445 + -411. Is 9 a factor of b?
False
Let u = -12 - -14. Let w be 40 - u - (0 + -1). Suppose 3*d - 34 = -4*v, 3*v + 3 = -4*d + w. Is d even?
True
Suppose 8 = -0*v + 2*v, -u = -5*v + 12. Suppose u*o + 74 = 314. Does 6 divide o?
True
Suppose 5*n - c = 18, 0*n - n + 5*c + 18 = 0. Suppose -2*o + 10 = 0, 1 + n = -l + o. Suppose 4*j + 0*d = -5*d - l, -2*j + 37 = -5*d