7 - 5. Let w be b(f). Does 8 divide (-4)/(-10) - w/(-25)?
True
Suppose m = -3*m. Suppose 5*h = c + 2*c + 25, -h - 5*c + 33 = m. Is h a multiple of 7?
False
Let k be ((-3)/9)/((-2)/(-6)). Is 14 a factor of (4/6)/(k/(-81))?
False
Let b = 29 + -4. Is 21 a factor of b?
False
Suppose -2*v - 1 = -7. Suppose 2*h = 2*y + 24, v*y - 64 = -4*h - y. Is h a multiple of 7?
True
Let a(z) be the second derivative of -2*z**3 + 3*z**2/2 + 8*z. Does 17 divide a(-4)?
True
Does 6 divide 3 + (-5 + 0)/(-1)?
False
Suppose 0 = -4*l + 5*q + 105, -2*l - 3*q = -3*l + 28. Let r = l - 8. Is r a multiple of 9?
False
Let o = -7 + 10. Is 2 a factor of o?
False
Suppose 5*j - 53 = 2*i + 90, 2*j - 3*i = 66. Is j a multiple of 6?
False
Let d(n) = -16*n - 6. Let m be d(-9). Suppose 0 = -5*f + m - 18. Is 12 a factor of f?
True
Let p(a) = a**3 - a**2 + a - 2. Let y(i) = 2*i**3 - i**2 + i - 3. Let g(o) = -5*p(o) + 3*y(o). Let v be g(-3). Does 5 divide v/(-5) + 58/5?
False
Let f(h) = 5*h - 4. Let g(k) = 4*k - 4. Let d(t) = 3*f(t) - 4*g(t). Is 5 a factor of d(-9)?
False
Suppose 2*z - 9 = -3. Suppose 0 = 3*w + z*v - 9, 6 = w + w - 3*v. Is w a multiple of 3?
True
Is 7 a factor of 138/5 + 16/40?
True
Let z(m) = 7*m**3 + 4*m**2 - 2*m - 2. Let i be z(2). Is i/4 + (-4)/8 a multiple of 10?
False
Let b = 5 + -3. Suppose b*o + 21 = 5*o. Suppose -3*h - 60 = -o*h. Does 11 divide h?
False
Let d be ((-210)/9)/((-1)/3). Let c = d + -26. Suppose -2*a + c = 4*v, 0 = -4*v + 5*v - 4. Does 12 divide a?
False
Let y = 27 - 2. Let b = y + -16. Is b a multiple of 7?
False
Suppose 2*z - 122 = -5*i, 3*i = -2*z + 58 + 12. Does 6 divide i?
False
Let f be -1 + -2 + (1 - -2). Suppose f = 4*v - 10 + 2. Is v/(-5) + (-194)/(-10) a multiple of 9?
False
Suppose -z = s - 45 - 26, 3*s + 5*z - 211 = 0. Is 18 a factor of s?
True
Suppose 2*p - 4 = 0, -2*r - 3*p = -0*r. Is 8 a factor of 26/2 + (-6)/r?
False
Let o(r) = -r + 10. Let b be o(7). Let t be ((-716)/8)/(b/(-6)). Suppose p - 107 = -p + 3*l, -4*p = l - t. Is p a multiple of 12?
False
Suppose 10*t = 9*t + 75. Is 15 a factor of t?
True
Suppose 3*i = 3*o - 90, 89 = 4*o + 3*i - 52. Let x = o - -4. Is 13 a factor of x?
False
Let l(i) be the third derivative of i**5/60 - i**4/8 - i**3/6 - 3*i**2. Let m be l(4). Suppose 5*f - 2 = -o + m*o, o = -3*f + 10. Is o even?
True
Let a(g) = -g**3 - g**2 + 2*g. Let s be a(-3). Let i = -18 + s. Is ((-42)/(-4))/((-1)/i) a multiple of 25?
False
Let h(y) = y**2 + y + 2. Let s(j) = -4*j**3 - 2*j**2 + 2*j - 1. Let p be s(1). Is 11 a factor of h(p)?
True
Let l(j) = j**3 - 4*j**2 - 4*j - 6. Let q be l(5). Let z(o) be the second derivative of -7*o**5/20 + o**3/3 + o**2/2 + o. Does 6 divide z(q)?
True
Is 1/(1 - (-44)/(-48)) a multiple of 12?
True
Let j be -181*1/(2/(-2)). Suppose 7*z + 13 - j = 0. Is 24 a factor of z?
True
Let d(m) = -m**3 - 3*m**2 + 3. Let a be d(-3). Suppose a*q = -4*s + 53, 4*s + s + 30 = 5*q. Is q a multiple of 11?
True
Is 4 a factor of (-140)/(-18) + 6/27?
True
Suppose -v - 78 = -2*v. Is 27 a factor of v?
False
Suppose 3 + 2 = -5*t. Let k be (t - -1)/(2 - 3). Suppose k = 5*r - s - 93, -4*r - 4*s = -72 - 12. Does 13 divide r?
False
Suppose 0 = -5*t + 62 - 27. Suppose -t*u = -2*u. Suppose -5*n + n + 20 = u. Is n even?
False
Let p(x) = x - 5. Let n be p(-10). Let l = n + 7. Let d = l + 14. Is 3 a factor of d?
True
Let s(z) = z**3 + 8*z**2 - 6*z. Is s(-8) a multiple of 12?
True
Let k(o) = -2*o**2 + 3*o**2 + 7*o + o**2 + 5. Suppose -7*x = 6 + 22. Is k(x) a multiple of 6?
False
Suppose 32 = 6*f - 5*f + 2*o, 0 = -3*f - 4*o + 100. Is f a multiple of 5?
False
Suppose 287 = 16*q - 15*q. Is 41 a factor of q?
True
Suppose -2*q = -7*q + 100. Is 5 a factor of q?
True
Suppose 6*z - 2*z + 12 = 0. Let a be z*(-2 + 3 + -2). Suppose -a*u = u - 12. Is u a multiple of 3?
True
Let b be 1 + 1/(-1) + 4. Suppose 0 + 116 = b*i. Does 19 divide i?
False
Let j(v) = v**2 + 6*v + 3. Let x be j(-6). Suppose 6*a = x*a + 3*o + 108, 0 = 5*a + 2*o - 166. Is a a multiple of 9?
False
Is 40/6*135/18 a multiple of 10?
True
Suppose -10 = -v - 9. Does 3 divide 10 + v*1/(-1)?
True
Let p(r) = -1. Let u(x) = x**2 - 2*x. Let a(g) = 3*p(g) + u(g). Let t be a(5). Let z = t + -2. Is 6 a factor of z?
False
Suppose -3*l + 0*l = -102. Does 5 divide l?
False
Suppose 0 = 2*o - 0*o - 24. Suppose -4*r + 16 = -o. Suppose -c = q - 21, r*q - 69 = 3*q + c. Is q a multiple of 13?
False
Suppose 0*d - 3*d - 5*i = -178, 0 = -2*i - 8. Suppose 2*b - d = 78. Is 18 a factor of b?
True
Let c = -76 - -136. Is 20 a factor of c?
True
Suppose -a + 2*a - 2 = -4*c, -5*c + 25 = 5*a. Let v be ((-2)/(-4))/(a/24). Is v - 1 - -55 - 3 a multiple of 18?
False
Let s(n) = -n**3 - 13*n**2 - 5*n - 17. Suppose 3*m + 44 = -3*v + 4*v, m + 5*v = 12. Does 12 divide s(m)?
True
Let o(l) = -l**3 - 8*l**2 - 6*l - 5. Let i be o(-5). Suppose 0 = -3*j - 4*y + 230, -3*j - 2*y + 7*y + 185 = 0. Let g = i + j. Is g a multiple of 10?
True
Does 13 divide (-26 - -1)*9/(-5)?
False
Let z(l) be the first derivative of -l**3/3 + 11*l**2/2 - 2*l + 3. Does 11 divide z(8)?
True
Is (-2)/5 - 741/(-15) a multiple of 14?
False
Suppose 4*n - 2 = 2*r, -r - 3*r + 32 = 4*n. Suppose 5*a = o + 117, 3*o + 126 = 5*a + r*o. Is a a multiple of 9?
False
Suppose 5*j + 5*d = 125, -6*j + 5*j = 2*d - 23. Is j a multiple of 3?
True
Suppose 0 = -3*p + 27 - 0. Is p a multiple of 7?
False
Let k = 4 + 11. Suppose 2*m - k = -m. Is 2 a factor of m?
False
Let r = 0 + 11. Suppose 5*a = 6*a + 4*d + r, 5*a - 14 = 3*d. Is 11 a factor of 9*a + 3 + -1?
True
Is 3 a factor of (-4)/2*70/(-20)?
False
Suppose 3*n - 20 = 52. Does 9 divide n?
False
Let h be (4/8)/(2/(-36)). Let j = h - -8. Does 2 divide 1 + j + (-6 - -8)?
True
Let l(v) = 2*v + 10. Let n be l(7). Suppose -5*a + 5*u + 35 = 0, -n = -a - 3*a + 3*u. Let t(q) = 3*q + 1. Does 8 divide t(a)?
False
Let s(u) = u**3 - 7*u**2 + 6*u - 4. Let l be s(6). Let g(f) = -2*f**3 - 5*f**2 - f - 2. Is 11 a factor of g(l)?
False
Let r = 83 - -87. Does 34 divide r?
True
Let b = 6 + -8. Suppose 4 = t - 2*t. Is (-19)/(-2*b/t) a multiple of 10?
False
Let d be -1 + 81/(-3)*-1. Suppose 0 = -l - 3*i + 32, -2*l + 5*i + d = l. Suppose 4*p - 93 = -5*f, -l + 119 = 5*f + p. Is 15 a factor of f?
False
Suppose 3*r + 6 = 15. Suppose -24 = -2*a - 3*a - z, -3*a = -r*z. Suppose 3*w = -2*w + 5*i + 50, a*i + 7 = w. Does 11 divide w?
True
Suppose 4*t - 3*v - 11 = 0, -2*v + v + 3 = 0. Let o(w) = 2*w - 2. Is 3 a factor of o(t)?
False
Let v(h) = -h**2 + 8*h + 2. Let u be v(8). Suppose 2*l + 5*j + 151 = 0, -u*l + 7*l + 3*j = -425. Is (-4)/6 + l/(-6) a multiple of 7?
True
Suppose 2 = u + 6. Let v be ((-52)/(-6))/(u/(-6)). Suppose -l + v = 5*h, -2*l + 5 = 2*h + h. Does 3 divide h?
True
Let h(c) = -c**3 + 7*c**2 - 6*c + 4. Let p be h(6). Let y be 1/p + 183/4. Suppose 3*w = 35 + y. Is 27 a factor of w?
True
Let r be (2/3 - 2)*-3. Suppose -r = 5*k - 19. Suppose -2 = k*w - 14. Is w a multiple of 4?
True
Suppose -3*d + 1 = 4. Does 13 divide (28/(-3))/(d/3)?
False
Suppose 3*r = 6*r - 6. Let u = r + 7. Is 9 a factor of u?
True
Let g(n) = -2*n**2 + 4*n + 1. Let r = 13 - 8. Let y be g(r). Let u = y - -42. Is 13 a factor of u?
True
Let r = 9 + -4. Is (10/(-4))/r*-58 a multiple of 15?
False
Let c be (-4)/(-1) - 3/3. Let d(j) = -3*j - j + c - 2*j. Does 13 divide d(-3)?
False
Suppose 20 = 4*j - 52. Does 5 divide j?
False
Let v(y) = y**3 + y. Let o(t) = -10*t**3 + 4*t**2 - 10*t + 2. Let f(l) = -o(l) - 6*v(l). Does 11 divide f(2)?
True
Suppose -71 = -5*k + 34. Is 7 a factor of k?
True
Suppose -4*b = -2*b - 136. Is b a multiple of 18?
False
Let q(m) = m**3 + 20*m**2 - 22*m - 9. Is 4 a factor of q(-21)?
True
Let z be 13 - 4 - (0 + 0). Let s = z - 3. Does 4 divide s?
False
Suppose -5*n - 2*b + 710 = 0, 4*b - 300 = -2*n - 0*b. Suppose -4*g + 12 = -n. Is 18 a factor of g?
False
Let h = 6 - 5. Suppose 0*d - 3*d = -21. Let g = d + h. Is 4 a factor of g?
True
Let u = 76 + -43. Suppose -2*w - 68 = -6*w - 4*b, 2*w + 3*b - u = 0. Does 6 divide w?
True
Suppose -5*c = -2*c - 18. Is c a multiple of 3?
True
Let w(r) = -8*r**3 - 3*r**2 - 3*r - 3. Does 63 divide w(-3)?
False
Let u be -10 + 2 + (-2 - -3). Does 5 divide (u + 6)/(1/(-5))?
True
Let s(x) be the first derivative of 2*x**3/3 + 6*x + 3. Does 7 divide s(3)?
False
Let i(x) = 72*x**2. Is 16 a factor of i(1)?
False
Suppose 29 =