ppose 0 = w - 5 + 3. Is w/6 + 392/12 a multiple of 11?
True
Let r(p) = -p**3 + p**2 + 2*p + 92. Is 18 a factor of r(0)?
False
Suppose 0*o - o + 22 = 0. Let m = 29 + o. Is 17 a factor of m?
True
Is 25 a factor of (-2477)/(-11) - 40/220?
True
Suppose -26 = -j + 5*j - 2*t, 3*t = -2*j - 9. Let a be ((-4)/(-6))/(2/j). Is a*(33/(-6))/1 a multiple of 6?
False
Suppose a + 485 = 6*a. Let o(r) = -r**2 - 6*r + 8. Let s be o(6). Let c = a + s. Is 9 a factor of c?
False
Let c be (-6)/(-4) + (-522)/36. Let o = 17 + c. Is 4 a factor of o?
True
Let p(a) = a**2 + 2*a + 4. Let g be p(4). Is g - ((-9)/3)/3 a multiple of 9?
False
Suppose a = -0*a + 4. Suppose 2 = a*k + 2*u, 5*k - 60 = 5*u - 20. Does 2 divide k?
False
Does 10 divide ((-5)/2)/(2/(-8))?
True
Let l be (0 + -2)/(0 + -1). Suppose 5*j - 118 + 44 = -3*q, l*q - 32 = j. Is q a multiple of 18?
True
Let i(w) = w**2 - 2*w + 9. Suppose 5*c + 2 = 32. Is 12 a factor of i(c)?
False
Let q = 51 - 35. Is q a multiple of 8?
True
Does 16 divide (-478)/(-5) + -1 + 7/5?
True
Let i(q) = q**2 - 7*q + 9. Let r be i(6). Suppose -5*n + r = -7. Does 2 divide n?
True
Suppose -h = -3*y - 3, -2*h - 12 = -2*y - 6*h. Suppose y = 5*t - 123 + 43. Does 15 divide t?
False
Let y(q) be the second derivative of q**3/6 - q**2/2 + 3*q. Does 2 divide y(7)?
True
Let j(p) = p**2 + 3*p - 6. Let z be (2/1)/(2/(-2)). Let b be -7 + z + 6/2. Does 7 divide j(b)?
False
Let u(k) = k**2 + 5*k + 1. Does 5 divide u(-7)?
True
Suppose 4*t + 2*r + 4 + 0 = 0, 3*t + 4*r - 2 = 0. Let i be t + 1*3*-1. Is i*3*(0 + -1) a multiple of 6?
False
Let h(j) = j**3 - 14*j**2 - 14*j - 3. Is 6 a factor of h(15)?
True
Let t be (-984)/(-36) - 2/6. Let n = 39 - t. Is 4 a factor of n?
True
Let s be 0 - (-3 + (-330)/2). Is 12 a factor of (12/14)/(4/s)?
True
Let q(b) = 9*b - 4. Does 11 divide q(2)?
False
Suppose 5*c - c - 172 = 0. Let d = 108 - c. Is d a multiple of 18?
False
Suppose 3*m + 24 = s + 4*m, m + 72 = 3*s. Suppose u + s = 5*u. Is u a multiple of 4?
False
Suppose 0 = 3*x - 4*x + 195. Is x a multiple of 6?
False
Suppose 0*j - j = o - 3, 4*j - 22 = -2*o. Does 2 divide j?
True
Let h(y) be the first derivative of -2 + 5 + 3*y**2 + 2 - 2 - y. Is 14 a factor of h(8)?
False
Let k(g) be the third derivative of -3*g**2 + 0 + 0*g + 1/120*g**6 + 0*g**4 + 1/2*g**3 + 1/6*g**5. Is k(-10) even?
False
Suppose 0*o + 4*f = 3*o, f = -3*o. Does 13 divide -45*(1 + o)*-1?
False
Let w(p) = p**2 + 6*p + 4. Let v be w(-5). Let t = 32 - v. Is 194/22 - (-6)/t a multiple of 6?
False
Suppose -54*j - 280 = -59*j. Is 19 a factor of j?
False
Let u(r) = -152*r**2 - 3. Let i be u(-3). Let t be i/(-27) - (-4)/18. Suppose -3*c + t = -81. Does 22 divide c?
True
Let d(s) = 9*s**3 - s**2 - s. Let i be d(-1). Let l(j) = j**2 + 8*j - 6. Let w be l(i). Suppose 2*a - 5*u - 4 = -2*a, w*a = u + 14. Is 6 a factor of a?
True
Suppose 0 = -4*n - 28 + 100. Is n a multiple of 7?
False
Let k = -110 + 176. Is 3 a factor of k?
True
Suppose 4*q - 48 = -5*l, -l = 2*l + 4*q - 24. Is l a multiple of 4?
True
Let o(s) be the third derivative of 5*s**4/6 + s**3/6 + s**2. Let p be o(1). Let g = 58 - p. Is 19 a factor of g?
False
Suppose 4*c - 98 = -22. Does 19 divide c?
True
Let o(p) = -p + 12. Let f be o(-11). Let v = f + -9. Let s = 23 - v. Does 5 divide s?
False
Suppose 5*y - 95 = 2*r, -3*y - 3*r + 24 = -12. Does 8 divide y?
False
Suppose -d + 90 = 5*d. Does 15 divide d?
True
Let x be (-2 - (-1 - 1)) + 2. Suppose 3*u - 47 = x*u. Is u a multiple of 11?
False
Let n = -364 + 523. Is n a multiple of 20?
False
Let z = 136 - 114. Is 22 a factor of z?
True
Suppose 2*y = 5*y + 3*c - 30, -4*y = -2*c - 10. Is y a multiple of 5?
True
Let v = 178 + -95. Does 15 divide v?
False
Suppose -3*q - 2*n + 267 = n, -n + 341 = 4*q. Is 7 a factor of q?
True
Let v(n) = -n - 7. Let k be v(-7). Is 7 a factor of (-30)/(-6) - (k + -2)?
True
Let t be (0 - -4)*(-12)/(-8). Let l(a) = -2*a - 7. Let b(n) = n + 4. Let v(r) = 9*b(r) + 4*l(r). Does 14 divide v(t)?
True
Let a = 3 + 0. Let c(h) = 2*h + 0*h + 6*h. Is c(a) a multiple of 12?
True
Let f = -520 + 916. Is 12 a factor of f?
True
Let q = -5 - -5. Let m be q + 0 + -10 + -1. Let w = m - -16. Is w a multiple of 5?
True
Let f be (0 + (-2)/2)*-5. Suppose -o + 26 = 5*x + 2*o, -f*x + o + 18 = 0. Suppose 2*u - x*u = -12. Does 3 divide u?
True
Let s(u) = -u**3 + 2*u**2 - 4*u + 3. Let l be s(2). Let w = l - -7. Suppose 3*r = 4*h + 54, -w*r + 3 = -3*h - 33. Does 9 divide r?
True
Let n(v) = -15*v - 6. Does 9 divide n(-6)?
False
Suppose -3*m - 5*l - 97 = -341, 4*m - 334 = 2*l. Is m a multiple of 4?
False
Suppose y + 1 = -2. Let m = y - -13. Is m a multiple of 5?
True
Let w = 147 + -47. Suppose w = 5*v - 4*m, 6*m - 2*m = -v - 4. Is v a multiple of 8?
True
Suppose 3*l - 57 = -0*l - 3*i, 0 = 2*l + i - 37. Is 9 a factor of l?
True
Let i(x) = 12*x - 1. Let g(y) = -24*y + 1. Let v(n) = 3*g(n) + 5*i(n). Is 11 a factor of v(-2)?
True
Let v(w) = w + 5. Let b be v(-3). Suppose 4*k + 6*n = 2*n + 120, -k = -b*n - 33. Is 17 a factor of k?
False
Suppose -7*b + 632 = b. Is b a multiple of 14?
False
Let z(i) = 3*i - 4. Let p be z(3). Suppose -x = 3*q - 134, x - 4*x = -4*q + 183. Suppose -d - 5*o = -p, -160 = -4*d - o - q. Is 15 a factor of d?
True
Is 29 a factor of 0 + (2 - -1) + 44?
False
Let r = 185 + -75. Is r a multiple of 22?
True
Let m(d) = -d**3 + 8*d**2 - 3*d - 10. Is 3 a factor of m(7)?
True
Let l be 5 - 6 - 3/(-1). Is l/(-3*2/(-48)) a multiple of 8?
True
Suppose 0 = 3*s - 87 - 129. Does 18 divide s?
True
Suppose -1125 = 13*s - 18*s. Is s a multiple of 48?
False
Let v = 10 + -16. Suppose 0 = -0*l + 5*l + s - 20, -4*l = 5*s - 37. Let t = l - v. Is 9 a factor of t?
True
Let p(y) = y**3 + 14*y**2 - 9*y - 10. Does 12 divide p(-14)?
False
Suppose -3*b - p + 173 = b, p = 5. Does 14 divide b?
True
Suppose 0 = 4*s + 20, -4*m + 2*s - 1 = 3*s. Let n = m + 1. Suppose -4*w + 64 = -n*w. Is w a multiple of 16?
True
Suppose x - 5*v + 47 = 0, 130 = -5*x - v + 5*v. Let q = x - -47. Does 13 divide q?
False
Let v(z) = z - 1. Let u(n) = -n - 1. Let y(s) = -2*u(s) + 6*v(s). Is y(5) a multiple of 16?
False
Let r be (-24)/(-40) + 354/10. Suppose 0 = h - 3*h + r. Does 9 divide h?
True
Let q(p) = 2*p**2 + 7*p - 20. Is q(-10) a multiple of 28?
False
Let m be 0 + -1*(-4)/2. Suppose m*j - 2 = 16. Let s = -4 + j. Is s even?
False
Let g be 2 + 0 + -2 - -35. Suppose 5*r + 421 = 3*v, g = -5*r + 10. Suppose 0*d + 4*d - v = 0. Is 11 a factor of d?
True
Suppose 0 = s - 508 + 105. Does 13 divide s?
True
Let n be (-3)/12 + (-1086)/8. Is 14 a factor of n/(-10) - (-8)/20?
True
Let z(g) = g**2 - 7*g + 4. Let y = 26 + -15. Let o be z(y). Suppose -3*x = -4*v - 69, 2*x + 0*v - o = 2*v. Is 9 a factor of x?
True
Suppose 0 = 5*b - 30 - 10. Is 3 a factor of b?
False
Suppose 5*o + 360 = 9*o. Is 32 a factor of o?
False
Let x(l) = -7 + 1 - 12*l + 3 - 2*l. Is 13 a factor of x(-3)?
True
Let a(t) = -2 + 0*t**2 + 0 + 8*t**2 + 2*t. Let w(v) = v + 8. Let z be w(-6). Is a(z) a multiple of 17?
True
Suppose -3*l - 4*h + 8 = -2*l, -2*l + 2*h = 4. Suppose -5*f - 4*z + 41 = l, 5*z = -3*f + 48 - 13. Does 5 divide f?
True
Let m(i) = 32*i. Let q be 9/(-6)*(-6)/9. Does 16 divide m(q)?
True
Let o = 29 + -14. Let k = 98 + -103. Does 5 divide 147/o + (-1)/k?
True
Let c(f) = -5*f + 6 - 3 - 1 + 0 + f**2. Let m be c(5). Is 6 a factor of (m/(-4))/(2/(-76))?
False
Let d be 1/4 + (-178)/8. Let j = 53 + -99. Let n = d - j. Is n a multiple of 8?
True
Suppose 3*u + 4*l - 124 = 0, 2*u = 5*l + 19 + 33. Is 6 a factor of u?
True
Let v be 204/(-15) - (-6)/10. Let c = 9 + v. Does 7 divide (-1)/(c/10)*8?
False
Suppose 4*t = -3*l + 299 + 179, -5*l + 825 = t. Is l a multiple of 16?
False
Is ((-6)/4)/(-3) - 227/(-2) a multiple of 14?
False
Suppose -2*a - 4*z = -360, -5*a + 0*a + 4*z = -956. Let t = -105 + a. Let i = -37 + t. Is i a multiple of 18?
False
Suppose -2*s - 10 = -7*s. Suppose -g - 49 = -s*q, -8*g = -q - 4*g + 14. Is 9 a factor of q?
False
Let p(l) = 6*l**2 + l. Let d be p(-1). Suppose d*u = 34 + 26. Does 9 divide u?
False
Let q be ((-3)/5)/((-1)/5). Suppose 0 = -4*l + q + 21. Does 6 divide l?
True
Suppose -40 = -4*z - 5*u, -u - 12 - 18 = -3*z. Let m = 21 - z. Suppose -h = -5*w - 22, h - 4*w - m - 15 = 0. Does 21 divide h?
True
Suppose -339 = -4*l + 165. Suppose -q = 2*q - l. Is q a multiple of 