+ 8. Suppose f*m - 8 = -0*m. Is m a multiple of 2?
True
Let z = 10 - 6. Suppose w = 4*u + 1, z*w + 5*u - u - 104 = 0. Is 7 a factor of w?
True
Let m = -11 - -15. Let z(b) = b**2 + 5*b + 6. Let u be z(-4). Suppose 3*i = -u*f - 2*f + 29, 0 = -2*i - m*f + 26. Does 2 divide i?
False
Let m = 2 - 12. Let p = 6 - m. Suppose 4*w + p = 116. Is 13 a factor of w?
False
Let s be (43 - (-5 - -2)) + 0. Suppose 2*h - 3 = h. Suppose h*f - s = -f + o, 0 = -f + 5*o + 2. Is 5 a factor of f?
False
Is 3/(90/(-132))*6*-10 a multiple of 12?
True
Suppose 4*m - 18 = 42. Suppose -m = -b - 0*b. Is 6 a factor of b?
False
Does 13 divide 38 - (1*-6 + 2)?
False
Let u be 3 - (-1 - 5)/(-3). Is u/(-4) - (-89)/4 a multiple of 11?
True
Suppose -4*z = -16, s + 5*z - 1 = 13. Let d be (20/(-6))/(s/63). Suppose 4*w - 21 = d. Does 7 divide w?
True
Let p(b) = -4*b**2 + 3*b - 1. Let t be p(2). Let r = t + 37. Does 13 divide r?
True
Let a(l) = -l**3 + 4*l**2 - 4*l + 3. Let n be a(2). Suppose 0*y - u + 179 = -n*y, -y - 4*u = 64. Is 5 a factor of (-3)/2*y/9?
True
Let p(y) = -7*y - 7. Is 5 a factor of p(-6)?
True
Suppose 1 = 4*j - 27. Let z(u) = u**2 - 11*u + 8. Let y be z(j). Let b = -4 - y. Does 16 divide b?
True
Suppose 0 = -0*a - 4*a - 16. Let j be -45*1/(6/a). Suppose -z + 13 = -j. Is 11 a factor of z?
False
Let a be (-84)/(-18) - (-2)/6. Let d = 18 + a. Does 11 divide d?
False
Suppose -5*c + 401 + 299 = 0. Is 14 a factor of c?
True
Let v(l) be the first derivative of 1/2*l**2 - 1/4*l**4 + 6*l + 2*l**3 - 3. Is 11 a factor of v(6)?
False
Let t be 15/(-2)*(-2)/3. Suppose -t = -3*y - 2*s + 60, 2*y - 39 = 3*s. Is 19 a factor of y?
False
Let a(c) = 4*c**2 + 7*c. Let t be a(5). Is t/(-9)*1*-1 a multiple of 14?
False
Let m = 590 - 386. Is 51 a factor of m?
True
Let o = -2 - -4. Suppose 0 = -5*k + o*j + j + 212, 0 = 3*k + 2*j - 112. Suppose u = 6*u - k. Is u a multiple of 6?
False
Suppose 4*k - 214 = -5*f, -2*k - 3*k = -f + 37. Does 10 divide f?
False
Suppose 181 + 59 = 4*r. Is 12 a factor of r?
True
Let h be 27/5 + (-6)/(-10). Suppose h*o - 154 = 4*o. Let f = o - 43. Is 17 a factor of f?
True
Suppose 4*j = 20 + 4. Is ((-44)/j)/(8/(-12)) a multiple of 11?
True
Let f(a) be the first derivative of -3*a**4/4 + a**3 - 2*a - 1. Is 15 a factor of f(-2)?
False
Let a(d) = 3*d - 3 + d - d. Let q be (-1)/((-1)/(-6)*-1). Is a(q) a multiple of 6?
False
Let v = -43 + 127. Is v a multiple of 14?
True
Let r = 99 - 69. Suppose -p + r = 4*n, -5*n = 2*p - 5*p + 56. Is 11 a factor of p?
True
Suppose -25 = x - 79. Suppose 4*y - 183 = 2*t - 59, 2*y = 3*t + x. Does 11 divide y?
True
Let r be 4 + 0/((-3)/1). Suppose r*z + t = -4*t + 50, 0 = -3*t + 6. Suppose 0 = 4*b - 26 - z. Is 9 a factor of b?
True
Let o(v) = -2*v**2 + 8*v - 4*v - v**3 + 3*v**2 - 4 + 4*v**2. Let j be o(5). Let q = j - 9. Is q a multiple of 7?
True
Let m be (-12)/(-10)*30/4. Is 6 a factor of ((-2)/1)/((-1)/m)?
True
Suppose -5*z + 6*z = -6. Is 14 a factor of -2*3/z + 45?
False
Suppose -5*o = -0*b + b - 127, 3*b + 2*o - 446 = 0. Is 22 a factor of b?
False
Let c = -7 - -9. Suppose -183 = -c*v - v - 3*f, f = 2*v - 116. Is v a multiple of 26?
False
Suppose 0 = 2*n - 3*n + 120. Suppose -r - 2*r = -n. Does 19 divide r?
False
Does 25 divide -27*(40/(-12) + -4) + 2?
True
Suppose 0*k + 2*k = -4*c + 86, 105 = 5*c + 5*k. Is 10 a factor of c?
False
Let z = -36 - -97. Let v be (-715)/(-25) - 2/(-5). Suppose 3*m - v = m - 3*f, 4*m = -5*f + z. Does 8 divide m?
False
Let i = 13 - 9. Suppose i*b + b - 10 = 0. Suppose 4*d - 5*s - 168 = 0, 0*s - b*s - 168 = -4*d. Does 15 divide d?
False
Let l(c) be the second derivative of -5*c**3/2 - 3*c**2/2 + 2*c. Does 25 divide l(-2)?
False
Let x(f) = f**3 + 9*f**2 - f - 7. Let k be x(-9). Suppose -k*n + 115 = 3*n. Suppose -5*a - n = 3*c - 4*c, 21 = c - 3*a. Is c a multiple of 18?
True
Let f(y) = -132*y - 2. Does 26 divide f(-1)?
True
Is 21 a factor of 42*((-9)/12)/(3/(-2))?
True
Let m be (0 + -3)*(-5 - -4). Suppose y = -u + 24, -m*u + 8*u - 4*y - 129 = 0. Is u a multiple of 12?
False
Let w be (20/2*2)/1. Suppose 4*d - 52 + w = 0. Suppose 0 = 5*l + k - 5*k - 22, 3*l - 5*k = d. Is l a multiple of 6?
True
Suppose 5*g - 156 = 4*g + 5*j, g = -j + 126. Let l = g - 92. Is l a multiple of 25?
False
Suppose 3*r - 23 - 6 = -k, -2*r = -5*k + 60. Does 4 divide k?
False
Let u = 35 - 24. Let k = u + -8. Suppose -i = -2*s + i + 14, -k*i + 7 = s. Is 7 a factor of s?
True
Suppose 3*u = -5*q + 1003, -q + 5*u + 201 = 6. Suppose 1 = -g + 2*d + 41, -4*g = 2*d - q. Is g a multiple of 17?
False
Suppose -1 = 2*x - 2*v - 7, -9 = 3*x + 3*v. Suppose 2*p = -x*p + 80. Does 12 divide p?
False
Let j(i) = -i**2 - 15*i + 10. Is 5 a factor of j(-15)?
True
Let l = -473 - -707. Is l a multiple of 47?
False
Let o(p) = -14*p**3 + 2*p**3 - 8*p**3 - 17 + 4*p**2 - 21*p. Let c(f) = -7*f**3 + f**2 - 7*f - 6. Let q(r) = 17*c(r) - 6*o(r). Is q(6) a multiple of 3?
True
Let f be (-3)/2 - 9/(-18). Let m be (3/(-6))/(f/2). Does 13 divide -34*(-2 + 0 + m)?
False
Suppose 0*j + 56 = 2*d + 4*j, -5*d - 5*j = -150. Is 8 a factor of d?
True
Let v = 1 + 1. Suppose v*d = n - 3*d - 136, 0 = 4*n - 3*d - 595. Does 19 divide 2/8 + n/4?
True
Suppose -977 - 1809 = -7*y. Does 42 divide y?
False
Suppose 0 = -g + 2*g - 4. Suppose -31 = -4*m - r, -1 = g*r + 3. Is m a multiple of 5?
False
Is (-3)/((-3)/(-20))*90/(-72) even?
False
Let p = -13 - 0. Let j = p - -20. Does 5 divide j?
False
Let f be 59*4/8*2. Let b = f + -32. Is b a multiple of 16?
False
Let x(m) = 7*m - m - 3*m - 1. Let l be x(1). Suppose -o + 0*o - f = -26, -l*o + 48 = 4*f. Is 13 a factor of o?
False
Is 182 - 0/(-1 - 1) a multiple of 13?
True
Suppose 2*y - 37 + 1 = 0. Is y a multiple of 6?
True
Let a(s) = s**2 + s - 3. Let f = -15 + 9. Is a(f) a multiple of 10?
False
Let l(o) = -o - 1. Let s(i) = -3*i - 3. Let h(b) = 9*l(b) - 4*s(b). Let n be h(-5). Does 2 divide ((-4)/6)/(n/54)?
False
Let l(j) = -j**3 + j**2 + j - 1. Let a be l(1). Suppose a = -2*z + 45 + 19. Does 16 divide z?
True
Let f be (-3)/6*(-10)/1. Suppose f*u - 4*z = -92, 3*u + 28 = 2*u + 4*z. Let a = -8 - u. Is a a multiple of 4?
True
Does 22 divide -2*(-149)/(-12)*-2*3?
False
Suppose -k + v + 9 = k, v = k - 7. Suppose k*o = -3*m - 24 + 71, o - 31 = -2*m. Does 8 divide m?
False
Suppose -11 = v - 5. Let q = v - -42. Does 18 divide q?
True
Suppose -2*q + 134 = -5*z, -4*q - 3*z - 72 + 314 = 0. Is 21 a factor of q?
False
Let t(b) = -b**2 + 16*b - 4. Let p be t(15). Let s(f) = 11*f + 2*f**3 - 4*f**3 + 14 + f**3 + 10*f**2. Is s(p) a multiple of 7?
True
Let k = -10 - -14. Suppose -k*x + 138 = -x. Is 22 a factor of x?
False
Suppose 4*s + 371 = 4*q + q, 2*q + 2*s - 134 = 0. Does 19 divide q?
False
Suppose 0 = 4*f - f - 9. Let v(i) = 2*i**3 - 2*i - 1. Is 20 a factor of v(f)?
False
Suppose 3*c = -c + 8. Suppose 0 = -c*o + 9 - 1. Is 4 a factor of o?
True
Let u(a) = -a + 1. Let k be u(0). Let p be k + (-1 + 3)*12. Suppose 65 = 5*w - p. Is w a multiple of 8?
False
Let i = 55 - 16. Is i a multiple of 9?
False
Let d = 34 - 18. Let h = d + -5. Is 4 a factor of h?
False
Let l(a) = -15*a - 4. Let z(r) = r**2 + 7*r - 4. Let g be z(-7). Let s be l(g). Suppose 3*u - s = -u. Does 14 divide u?
True
Let f(s) = -s**3 - 4*s**2 - s + 5. Suppose -1 = -c, 4*y + 3*c = -18 + 5. Is f(y) a multiple of 3?
True
Suppose -194 = -4*x + 298. Suppose 85 = 4*v - x. Does 13 divide v?
True
Let d(a) = -2*a**2 - 8*a + 2. Let m be d(-4). Suppose -16 = -m*p + 42. Is p a multiple of 8?
False
Let g(l) = -2*l**3 - 2*l**2 + 2*l - 1. Suppose 3*t - i - 5 = 0, -5*t - i + 3 = -0. Let n be g(t). Let d = n + 13. Does 6 divide d?
False
Let d(m) = m + 20. Let g be 8/(16/(-4)) + -4. Is d(g) a multiple of 7?
True
Let o(y) = -y**3 - 5*y**2 + 6*y + 3. Let q be o(-6). Suppose q = -c + 36. Suppose 2*w - c = -5. Is w a multiple of 7?
True
Suppose -6*i + 22 = -4*i. Is (i - 7)/(2/18) a multiple of 11?
False
Let i(v) = v**3 + 4*v**2 - 4*v - 2. Does 11 divide i(-4)?
False
Let s = 31 - 17. Suppose f + f = s. Is f a multiple of 2?
False
Let k be 1 - 2 - 23*-3. Suppose -3*t + k = t. Does 11 divide t?
False
Let h = 3 + -5. Is h/((8/(-70))/2) a multiple of 10?
False
Let z(u) = u**3 - 7*u**2 + 9*u - 2. Suppose a + 6 = 2*a. Does 12 divide z(a)?
False
Let a be 1*-1 + 15/5. Suppose -42 = -a*p - 12. Is p a multiple of 5?
True
Is 11 a factor of 20