iple of 8?
False
Is 9 a factor of 932/10 + (-120)/(-150)?
False
Let q(w) = 7*w**2 - 5*w + 6. Let h(p) = -13*p**2 + 9*p - 11. Let r(c) = -3*h(c) - 5*q(c). Let s be r(-3). Let a = s + -12. Is a a multiple of 9?
False
Let o(m) = -5 + 6 - 2*m + 4*m**2 + 0*m - 3*m**2. Is 4 a factor of o(5)?
True
Suppose -11*i + 3*i + 24 = 0. Let v(j) = 3*j**3 - 3*j**2 + j - 2. Does 11 divide v(i)?
True
Suppose -4*d - d = -40. Suppose -x + d = -16. Is 16 a factor of x?
False
Let l be 4/3 - (-33)/9. Suppose -l*m + 3*n = -40, 0*n = -3*m - 2*n + 24. Does 3 divide m?
False
Let a be ((-410)/(-5) - 0) + -1. Let c = a - 35. Is c a multiple of 21?
False
Let k(v) = -4*v - 13. Let l(g) = 3*g + 12. Let s(t) = 5*k(t) + 6*l(t). Let y be s(4). Is 7 a factor of 25/1 - (2 - y)?
False
Let s(h) = -h**3 + 9*h**2 - 6*h - 16. Is 2 a factor of s(7)?
True
Let w(j) = 31*j - 4. Let n = -13 - -20. Let q = n - 5. Does 14 divide w(q)?
False
Let z(o) = -o**3 + 39*o**2 + 55*o - 48. Is 50 a factor of z(40)?
False
Let d = 166 - 100. Suppose -f - 94 = -2*u + d, -2*f = 0. Suppose -5*z + u + 60 = 4*t, 170 = 5*t + 5*z. Is t a multiple of 10?
True
Let p = 8149 + -4662. Does 129 divide p?
False
Let a(n) = n**3 + 10*n**2 - 10*n + 15. Let r be a(-11). Suppose -2*z - 11 + 31 = s, 0 = 4*s - r*z - 20. Is 129/s - 3/(-30) a multiple of 13?
True
Let f(q) be the second derivative of -4/3*q**3 + 3/4*q**4 + 5*q + 0 - 1/20*q**5 - 17/2*q**2. Is 10 a factor of f(7)?
False
Does 27 divide (216/(-144))/((-2)/1016)?
False
Let b(y) = -428*y**3 + 2*y**2 + 17*y + 16. Does 13 divide b(-1)?
True
Let i = -14 + 28. Let m = i - 14. Suppose m*x + x = 16. Is 16 a factor of x?
True
Let w be (10/6)/((-2)/(-6)). Suppose n - w*l = 20, -n + 2*n - l = 0. Does 10 divide (-2)/n - 136/(-10)?
False
Let l = -208 - 3. Let h = l + 58. Does 12 divide (h/15 + 3)*-5?
True
Suppose 3*a - 4*c = -24, 0 = 2*c - 0*c. Let k = a + 3. Is 16 a factor of 5*7 + k + 2?
True
Suppose 0 = -4*f + 3*g + 6, 0*f + f = 3*g + 6. Let q(o) = -2*o**2 + o + o + o**3 - 4*o + 45 + o**2. Does 8 divide q(f)?
False
Let k = 731 + -426. Suppose -4*u = -k - 771. Is u a multiple of 50?
False
Is 27 a factor of -9*8/24 + 381?
True
Suppose -3*b + 692 = -5*j - 110, -3*j - 535 = -2*b. Is b a multiple of 15?
False
Let d be 2/4 + (-10)/(-4). Suppose -798 = -6*r - 240. Suppose 3*w = 3*q - r, -w + 20 = d*w. Is q a multiple of 10?
False
Let v(h) = 9*h**2 + 11*h. Is v(-8) a multiple of 8?
True
Let f(u) = u**3 - 6*u**2 - u + 4. Let o be f(6). Let c be 0/o - (8 - 12). Suppose j = c*j + 9, -3*y + 4*j = -54. Is y a multiple of 10?
False
Suppose 0 = 5*i + 232 - 2187. Is 17 a factor of i?
True
Suppose 59 = -2*d + 2*q + 3*q, 27 = -d + 3*q. Let b = d - -90. Does 27 divide b?
False
Let w(g) = -g**3 - 12*g**2 + 5. Let l(a) = -3*a + 12. Let z be l(8). Let s be w(z). Suppose -4*m + 12 - 120 = -t, -s*m - 204 = -2*t. Is 23 a factor of t?
True
Suppose -10 = -u + 4*k, 3*u - k - 14 = 3*k. Let a = u - -50. Is 13 a factor of a?
True
Let k = -51 + 28. Let y = -9 - k. Is 3 a factor of y?
False
Let q = 30 + -59. Let n = q + 57. Does 7 divide n?
True
Suppose 2*i - 3*f = 7*i + 493, 4*f - 192 = 2*i. Let p = 308 + i. Is p a multiple of 35?
True
Let t(b) = 17*b + 420. Is 7 a factor of t(0)?
True
Let w(d) = -14*d - 1. Let j be w(-1). Suppose j*a - 669 = 98. Does 23 divide a?
False
Suppose -4*g + 36 = 4. Let m = -5 + g. Suppose t - 4*a - 6 = 0, -2*a - 21 = -2*t + m*a. Is 3 a factor of t?
True
Let i(t) = -t**3 - 15*t**2 - 28*t - 24. Does 18 divide i(-15)?
True
Suppose 4*b + 1312 = 4*t, -16*t + 13*t + 5*b + 980 = 0. Is t a multiple of 6?
True
Suppose -2*c + 5*c - 18 = 0. Suppose c*j = j - 155. Let d = j - -71. Is 11 a factor of d?
False
Let d = 89 + 60. Let f = d - 89. Is 12 a factor of f?
True
Suppose 0*u + 5*q = -5*u - 50, 2*u + 16 = -4*q. Is 11 a factor of (-221)/(-4) - (21/u)/(-7)?
True
Let z be -38*10*4/16. Let a = 133 + z. Is 5 a factor of a?
False
Let f = 1678 + -714. Does 14 divide f?
False
Suppose 41 = 2*q + 5. Let g be q/3*(-44)/(-8). Let z = g - 3. Does 10 divide z?
True
Suppose 73 = -a + 60. Does 9 divide -1*29*13/a?
False
Suppose 3*n - 53 = 2*n - 5*g, -2*n - 4*g + 76 = 0. Let c = 66 - n. Suppose 2*j - 30 = 2*b, c + 21 = 4*j - 3*b. Does 4 divide j?
False
Let n be (-81)/15*(-30)/9. Suppose p + 5*k = 106, p = 5*k + 114 - n. Is p a multiple of 30?
False
Let y be (-6)/(-4) + 12/24. Suppose -y*g - 57 = 15. Is 297/g*(-16)/6 a multiple of 22?
True
Suppose -4*m = m - 120. Let f be 12/m - (-898)/4. Suppose 0 = 8*z - 13*z + f. Does 9 divide z?
True
Let b = -9 - -12. Is 38 a factor of (-1578)/(-42) - b/(-7)?
True
Let x be (-2 - -5)*(-70)/(-15). Suppose -x = -z - 3. Is z a multiple of 3?
False
Let l(u) = -4*u - 7. Let q = 13 - 27. Let o be l(q). Suppose -2*x + 5*g = 18 - o, x = -g + 5. Is x a multiple of 5?
False
Let l(m) be the first derivative of -m**4/4 + 3*m**2/2 + m - 36. Suppose 2*y = 4*a + 18, 3*a - 2*y - 7 + 23 = 0. Is l(a) even?
False
Suppose 4 + 11 = 5*s. Suppose 0 = -i - 3*m + 4 - 2, i = s*m + 8. Suppose 158 = 4*u - 3*y + 4*y, 0 = -i*u + 2*y + 191. Is 8 a factor of u?
False
Let y = -58 + 58. Suppose 10*u + 3*u - 585 = y. Does 24 divide u?
False
Let g be -1*(-831)/9*6. Suppose 0*c + 4*c = 5*a + g, -2 = a. Does 34 divide c?
True
Suppose 10*u = 5*u + 6590. Suppose 0 = -5*i + 3343 - u. Suppose -s - 4*s = -i. Does 27 divide s?
True
Suppose 3*x + 2*v = 694, -4*x = -4*v + 254 - 1166. Does 5 divide x?
True
Let d(w) = 2*w**3 + 13*w**2 + 3*w - 18. Let m be d(-6). Suppose -9*k + 1719 = -m*k. Is k a multiple of 24?
False
Let x be 4*((-5 - -3) + 0). Does 11 divide (x - (-2 - 2)) + 59?
True
Suppose 4 + 16 = 5*z. Suppose -2*n - 4*c + 12 = -4, -n - 3*c = -z. Does 8 divide n?
True
Suppose 2*k - 8 = -4*w - 0*k, -w + 2*k = -12. Suppose -w*q + 476 = -0*q. Is 13 a factor of q?
False
Let v = -61 - -127. Suppose -4*g + v + 174 = 0. Suppose 0 = -2*h + 6*h - g. Is h a multiple of 6?
False
Let d(k) be the third derivative of 43*k**6/120 - k**5/30 - k**4/24 + k**3/3 + 13*k**2. Does 14 divide d(1)?
True
Suppose -10 - 62 = -6*u. Let r = 29 - u. Does 10 divide r?
False
Let n be 40/7 - 2/(-7). Let d be (-30)/9*n/(-4). Suppose 36 = -2*u + d*u. Is 5 a factor of u?
False
Let w(x) = x**2 - 3*x. Let l be (-1)/((21/9)/(-7)). Let i be (-6 + 4)*l - 0. Is w(i) a multiple of 27?
True
Let q(a) = 4*a - 1. Let j be q(6). Let w = -44 + j. Is 5 a factor of (-4)/16*0 - w?
False
Is 16 a factor of (-10)/(-25) + 3828/30?
True
Let x = 85 + -36. Let w = x + -38. Does 8 divide w?
False
Suppose -18*b + 10 = -13*b. Suppose -2*f + d + 48 = 0, b*d = -2*f - d + 32. Is f a multiple of 5?
False
Does 29 divide (-4)/(28/(-847))*3?
False
Let l(w) = 23*w**2 + 24*w - 155. Is l(9) a multiple of 163?
False
Suppose -4337 = -2*v + 2*m + 663, 0 = -4*v + m + 9991. Is 11 a factor of v?
True
Let f(p) = 2*p - 6. Let n be f(4). Suppose n*d = 134 - 8. Is 21 a factor of d?
True
Let w be 1 - 2 - (-13 - -11). Let h be (1 - 0)*1*2. Does 5 divide 32/8 + w + h?
False
Let x be ((-28)/4 - -5) + 2*-1. Is 39 a factor of x + 198 + (0/3 - -1)?
True
Suppose -5*i + 3*i + 76 = 0. Suppose 2*v + 13 = w, 4*w + v - i = 32. Does 3 divide w?
False
Suppose 0 = -23*r + 21*r. Does 12 divide (r - 2)*(-8 - 102/12)?
False
Suppose 0 = 27*l - 89*l + 301196. Is 14 a factor of l?
True
Is 84 a factor of 8/12*9*-1 + 587?
False
Let q = 94 + -74. Suppose -2*p - p + 159 = 0. Let s = p - q. Is s a multiple of 13?
False
Suppose -618 = -27*a + 813. Is a a multiple of 34?
False
Let s(k) = k + 3. Suppose 3*q + 14 - 38 = 0. Let t be s(q). Suppose -16*r + t*r + 350 = 0. Does 35 divide r?
True
Let g(t) = 0*t + 1 - t + 1. Let y be g(0). Does 14 divide (y/4)/(2/176)?
False
Suppose 3*q = 2*d + 151, 3*d + 240 = 5*q + 2*d. Let o = 68 - q. Does 2 divide o?
False
Suppose 2*y + 3*w - 7 = -0*y, -4*w = 4*y - 4. Let a be (2 - 0) + (-192)/16. Does 10 divide (a/y)/((-14)/(-168))?
True
Let d be (4/(-1) - 17) + -4. Let g be 5*((-490)/d + -3). Let v = g - 57. Is 13 a factor of v?
True
Is 11 a factor of (136/204)/(1/318)?
False
Let a(j) = -16*j. Let p be a(-2). Suppose 0 = -p*c + 35*c - 48. Is c a multiple of 11?
False
Let h = 5 - 8. Is 15 a factor of 4/10*h/((-3)/220)?
False
Let x be (-2 + 0)*(2 - -3). Let z = x - -12. Suppose z*f + 248 = 6*f. Does 31 divide f?
True
Suppose 4*w - 1869 = 5*x, 2*x - x + 466 = w. Suppose -w = -7*i - 55. Is i 