5. Let w be -76*(45/(-12) - -3). Suppose 5*i = b + w. Is i a multiple of 11?
False
Let m be (0 - -2)/(1/31). Suppose -m = o - 3*o. Does 13 divide o - (0 - (-1 + -1))?
False
Let g = -2 - -4. Suppose 0 = -g*u + 43 + 1. Is 22 a factor of u?
True
Suppose 4 = 2*n - 114. Suppose -2*z = n + 35. Is 3/9 + z/(-3) a multiple of 6?
False
Let i be ((-24)/9)/((-2)/3). Suppose 0 = i*k + 48 - 428. Suppose 37 + k = 3*w. Is w a multiple of 16?
False
Let t be -1 + ((-1)/(-1) - 0). Let a(g) be the second derivative of -g**4/12 - g**3/6 + 9*g**2 + 3*g. Is a(t) a multiple of 18?
True
Let g = 40 - 5. Is 35 a factor of g?
True
Let s be 4/(-8)*0/(-2). Suppose -j + 3*j = 5*v - 169, s = 4*j + 8. Suppose 2*p - 19 = v. Is 13 a factor of p?
True
Suppose 0 = 3*i - 7 - 2. Let h be 1/i + 10/6. Is (h/(-6))/(4/(-132)) a multiple of 11?
True
Suppose -h + 3 = -4. Does 3 divide h?
False
Let c = 1 + 0. Let r(m) = 8*m**2 + 2*m - 1. Let z be r(c). Suppose 0*a = a - z. Is 9 a factor of a?
True
Suppose 2*y - 3*l + 12 = y, -28 = -y - 5*l. Suppose y*f + f - 112 = 0. Is 17 a factor of f?
False
Suppose -6*q = -3*q - 36. Is 3 a factor of q?
True
Let y = 9 - -1. Is 10 a factor of y?
True
Let c(a) be the third derivative of -a**7/2520 - a**6/360 - a**5/30 - 2*a**2. Let s(l) be the third derivative of c(l). Is s(-7) a multiple of 7?
False
Let s = -127 + 183. Does 28 divide s?
True
Suppose -2*u + 2*y = 16, 5*u - 3*y + 47 = -5*y. Does 16 divide (-12)/(-54) - 286/u?
True
Suppose -2*t + 782 = 5*k, 4*t + 308 = 2*k - 0*t. Is k a multiple of 12?
True
Let j = 17 - 5. Does 10 divide j?
False
Let c(f) = -4*f + 5. Let p be c(-7). Does 11 divide (p - (-4 - -2)) + -2?
True
Suppose 3*d - 90 = -0*d. Is 15 a factor of d?
True
Suppose 5*l - 178 = -2*s, -4*s = -0*s + 3*l - 384. Is 17 a factor of s?
False
Suppose 3*u - 16 = -j, -3*u + u = 5*j - 28. Suppose -14 = -3*x - u*k, -x - k = -4*x + 19. Does 2 divide x?
True
Is (36/15)/(1510/375 + -4) a multiple of 45?
True
Suppose -2*y = -2*o + 1 - 5, -o = -3*y + 6. Suppose -3*u + 112 = 4*z, o*z = -2*u + z + 82. Is u a multiple of 11?
False
Let u = -37 + 26. Let j = 42 + u. Is j a multiple of 31?
True
Let z = -6 - -6. Suppose z = g - 93 + 1. Suppose -y = y - g. Is 13 a factor of y?
False
Is 6 a factor of 12/7*21/6?
True
Suppose 0 = 2*j + 3*r - 2, -3*r + 16 = 5*j - j. Suppose -21 = 2*s + 5*l, -s + l = -0*s - j. Is s even?
True
Suppose 0 = -z - z - d - 7, 0 = -3*d + 15. Let i(x) = -x**2 - 8*x - 9. Is i(z) a multiple of 3?
True
Let w(y) = -y - 5. Suppose 0 = 2*d - 0 - 4. Suppose -4*c = -0*c - k + 33, -10 = -d*k. Is w(c) even?
True
Let m(g) be the second derivative of -g**4/6 - 7*g**3/2 + 9*g**2 + 3*g. Let d(i) = -i**2 - 10*i + 9. Let c(h) = -7*d(h) + 3*m(h). Is 5 a factor of c(-9)?
False
Let n = -34 + 54. Does 4 divide n?
True
Suppose 1 = -4*j + 13. Suppose 2*b + 1 = -j*t - 2, 6 = b - t. Is 13 a factor of (b/(3/(-13)))/(-1)?
True
Suppose i - 59 = 5*f, -2*f + 9 = -f + 5*i. Is f/((-12)/(-4) - 4) a multiple of 8?
False
Suppose -5*w + 177 = -4*v + 9, w + 181 = -5*v. Let b = 73 + v. Is 18 a factor of b?
True
Suppose 0 = -0*r - 5*r + 345. Does 23 divide r?
True
Let n(r) = r + 11. Let c(m) = 2*m + 23. Let p(h) = 3*c(h) - 7*n(h). Let g be p(8). Is 1/(6/g)*-6 a multiple of 8?
True
Let b(v) = -3*v**3 - 4*v**2 - 3*v - 4. Let i(r) = r**2 + 5*r + 3. Let d be i(-3). Does 16 divide b(d)?
False
Suppose 472 = 2*s - w, s + 6*w - 254 = 2*w. Is 20 a factor of s?
False
Let q(g) = -g**2 + 12*g - 17. Does 9 divide q(7)?
True
Let q be (-5 - -4)/((-1)/5). Suppose j + c - 22 = 0, 0 = q*c + 1 - 6. Does 15 divide j?
False
Is 83/(5/(7 + -2)) a multiple of 36?
False
Let c = 132 - 88. Is c a multiple of 10?
False
Let j(p) = p**3 - p**2 - 5*p + 4. Does 7 divide j(3)?
True
Let l(n) = -n - 5. Let o be l(0). Let b be (o - -3) + 4 + 0. Suppose -c - 15 = b*p - 38, p = 2*c - 56. Is 16 a factor of c?
False
Let g be ((-2)/(-3))/((-3)/(-9)). Let p(h) = 5*h**2 + h - 1 - h + 2*h**g. Is 4 a factor of p(1)?
False
Does 18 divide 59 + 0 + 4/4?
False
Suppose 0 = -3*f + 35 + 7. Does 8 divide f?
False
Let b(n) = 2*n**2 + 3*n + 1. Let r be b(-6). Suppose 5*c = 3*k + 10 - 37, r = 5*k - 5*c. Is 7 a factor of k?
True
Let q(v) = -3*v**2 - 4*v - 11. Let r(g) = 4*g**2 + 6*g + 16. Let u(w) = -7*q(w) - 5*r(w). Let j be 6/21 + (-30)/7. Is 21 a factor of u(j)?
True
Let c(g) = 27*g**3 - g**2 - g + 1. Is c(1) a multiple of 13?
True
Suppose d - 13 = 5*a, d - 5*d = 2*a - 8. Suppose -d*x - 19 + 73 = 0. Is 18 a factor of x?
True
Let a(x) = -x - 5*x - x. Let o be 8/3*9/(-6). Is 10 a factor of a(o)?
False
Let n(c) be the second derivative of c**5/20 + c**4/3 + 2*c**3/3 + 3*c**2/2 + c. Let l be n(-3). Suppose -3*r + r + 82 = l. Is r a multiple of 11?
False
Is 14 a factor of 42*((-40)/(-12) + -1)?
True
Suppose -29 = 3*u - 86. Suppose -5*r - u = 11. Is 31 + (r/2 - -1) a multiple of 9?
False
Suppose -2*j = -5*w - 172, -j = 4*j + 3*w - 368. Does 24 divide j?
False
Suppose 3*m - 2 + 7 = -4*n, -3*m + 3*n + 9 = 0. Let u(c) = 20*c**2 - 1. Is u(m) a multiple of 19?
True
Let c(l) = 3*l**2 - 24*l - 11. Let j(i) = -2*i**2 + 12*i + 5. Let b(u) = 3*c(u) + 5*j(u). Let o be 0 + -9 + (1 - 0). Does 8 divide b(o)?
True
Let t = -3 - -3. Suppose t = i + 2 - 21. Does 15 divide i?
False
Let y = 9 - -13. Suppose -14 = -o + y. Is 12 a factor of o?
True
Let i be 18/8*16/3. Does 4 divide (-32)/i*(-6)/2?
True
Let z = 167 - 159. Does 4 divide z?
True
Let a = -68 - -41. Let f = a + 63. Is 18 a factor of f?
True
Let o be 2 + -2 - -1*7. Suppose -3*j = -o*j + 56. Suppose 0 = 4*p - j - 30. Is p a multiple of 6?
False
Suppose -3*o - 4*q + 152 = 2*o, 0 = 3*q + 6. Does 32 divide o?
True
Let n(u) = 2*u + 37. Let p(l) = l + 19. Let b(s) = 6*n(s) - 11*p(s). Let w = -27 + 18. Is b(w) a multiple of 4?
True
Let m(t) be the first derivative of t**7/840 + t**6/60 + t**5/24 + t**4/12 + 4*t**3/3 + 4. Let h(o) be the third derivative of m(o). Is h(-5) a multiple of 2?
True
Let k = 31 - -56. Does 29 divide k?
True
Let t be 834/8 - (-5)/(-20). Suppose 0 = 4*q - 380 + t. Let g = -47 + q. Is g a multiple of 11?
True
Suppose -206 + 5 = -3*c + 3*g, 5*c - g = 319. Is c a multiple of 29?
False
Suppose 0 = -5*s + 4*q + 4, 5*s - 5*q = -2*q + 8. Suppose -c - 3 - 1 = -5*l, 28 = s*c + 2*l. Let a(t) = 2*t**2 - 9*t + 2. Is 20 a factor of a(c)?
True
Let i(j) = 3*j**2 - 3*j + 2. Let x be i(3). Does 8 divide (-2 + 0)/(x/(-170))?
False
Let s = 7 + 4. Let j(n) = 6*n**3 - 6*n**2 + 6*n - 7. Let m(g) = -7*g**3 + 5*g**2 - 7*g + 7. Let x(l) = 6*j(l) + 5*m(l). Is x(s) a multiple of 4?
True
Suppose -4*m + 4*a = -3*m - 43, -3*m = -2*a - 149. Is m a multiple of 17?
True
Let y(s) = s**2 - 6*s + 10. Suppose -2*c + 7*c + 10 = 0. Let r be 2*(11/2 + c). Is 10 a factor of y(r)?
False
Let m = 31 - 56. Let c be (3/6)/(3/(-294)). Let h = m - c. Is 14 a factor of h?
False
Let s(y) = -y**2 + 4*y + 5. Let r be s(5). Suppose 0 = -r*a + 5*a - 150. Is a a multiple of 15?
True
Suppose 0 = -z + 4*h, -4*z - 5*h + 15 + 90 = 0. Is 6 a factor of z?
False
Suppose -4*i = -2*v - 12, v - 1 + 2 = -3*i. Let s be ((-108)/i)/((-12)/16). Suppose -8*z = -4*z - s. Does 12 divide z?
True
Let j(g) = -g**2 - 30*g + 4. Is j(-26) a multiple of 12?
True
Suppose -c + 3*c = 0. Suppose -5*b = -5*s - 90, 0 = 3*b - c*s + 3*s - 66. Is 10 a factor of b?
True
Let f be 48 + 2 + -2 + 1. Suppose -5*u + 6*u = 0. Suppose -5*m + d + f = u, -2*m + 4*m - d = 19. Is m a multiple of 10?
True
Let r be (-3 - -2)/((-3)/87). Suppose 9 = 5*d + r. Let o = d - -12. Is o a multiple of 4?
True
Let s be 3*1/3*-2. Let r = s - -2. Let l = r + 20. Is l a multiple of 10?
True
Suppose -q - 94 = -334. Suppose -r = 3*r - q. Suppose 7*v - 3*v - r = 0. Does 15 divide v?
True
Suppose -5 = -5*i + 15. Let s(p) = 3 + p**3 + 2*p - i + 0*p**3. Is 11 a factor of s(2)?
True
Let g be 2/1*(-22)/(-4). Let j be 4/(-6) + 248/12. Let y = j - g. Is 4 a factor of y?
False
Let f = 417 + -293. Suppose 3*v - 155 = -7*p + 2*p, -4*p + f = 4*v. Is 14 a factor of p?
False
Let z = -60 + 105. Is z a multiple of 15?
True
Let m be (-3 - -2)*2 + 3. Is 2 - (m + 0) - -25 a multiple of 13?
True
Let v be (-2)/(-2 - (-9)/5). Is 12 a factor of ((-432)/(-30))/(3/v)?
True
Let f = 9 + -9. Let h = f + 7. Suppose w - 2 = h. Is w a multiple of 8?
False
Suppose -4*p = 3*a - 153 - 8, -4*p = -a - 165. Does 7 divide p?
False
Let 