t z(i) = -m(i) + 3*x(i). Is z(0) a multiple of 33?
True
Suppose 3*s + 2*h - 3*h = 17, -4*s - 5*h + 10 = 0. Suppose -s*i = r - 85, -3*r + 179 = -0*r - 4*i. Does 13 divide r?
True
Is 3 a factor of ((-220)/40)/(35/18 - 2)?
True
Let r(t) = t + 8. Let v be r(-5). Suppose 0 = -g + v + 8. Is 4 a factor of g?
False
Suppose -4*t = 9 - 41. Let y be (t/10)/(10/25). Suppose y*h = h + 7. Is h a multiple of 3?
False
Let c be (-8 - -7)/(1 - 27/26). Let y(t) = t**3 - 25*t**2 - 21*t - 25. Does 12 divide y(c)?
False
Suppose 5*t - 2*l - 35 = -0*t, -3*l + 5 = 4*t. Suppose 0*p + t*p - 1046 = 4*v, -4*v = -4. Is 35 a factor of p?
True
Suppose -d - 10 = d. Let g = 5 + d. Suppose -2*a = -g*a - 62. Does 11 divide a?
False
Suppose 4*x - 25 = 107. Let u = 49 + x. Is u a multiple of 21?
False
Suppose -10*i = -14*i + 8. Let j be -3 + (1 - i) - 111. Is j*((-72)/20 - -3) a multiple of 23?
True
Suppose 0 = -233*w + 240*w - 4172. Is 23 a factor of w?
False
Let x(r) = r**3 - 6*r**2 + r - 1. Let m be x(6). Suppose 0 = -m*u + 25 + 5. Let p(n) = n**2 + 2*n - 3. Is p(u) a multiple of 15?
True
Suppose -5*z + 24 = -y, z + 5*y + 4 = -3*z. Suppose -7*n + 240 = -z*n. Is 10 a factor of n?
True
Let i(q) = q**3 - 30*q**2 + 66*q - 6. Is 23 a factor of i(29)?
False
Suppose 0 = 5*x - 537 - 163. Is 7 a factor of x?
True
Suppose b = 3*b - 8. Suppose -g - b*g = 10. Does 16 divide -2*(-15 + 1 + g)?
True
Is 9 a factor of ((-60)/(-70))/(8/3192)?
True
Suppose 0 = 3*r - 4*f - 2704, 2122 + 580 = 3*r - 5*f. Is r a multiple of 20?
False
Let y = -3973 + 6862. Is y a multiple of 45?
False
Suppose -5*i = -p - 830, -6*i = -i - 3*p - 840. Let k = i - 118. Let n = 72 - k. Does 5 divide n?
True
Is (-89 - 1)/(6/(-68)) a multiple of 85?
True
Let a = -34 + 36. Suppose o + 0*z = -2*z + 42, 4*z = a*o - 108. Is o a multiple of 10?
False
Let w(k) = -k**3 + 9*k**2 - 7*k - 8. Let r = 12 + -3. Let b be w(r). Let i = -44 - b. Is i a multiple of 9?
True
Let m(q) = -q**3 + q**2 - q + 1. Suppose 10 = z - 3*z. Let t(a) = -10*a**3 + 3*a**2 - 7*a + 7. Let s(b) = z*m(b) + t(b). Does 18 divide s(-2)?
False
Suppose 0 = -3*u - 5*u - 560. Is 22 a factor of (3/3 - 3)/(4/u)?
False
Suppose -6*s = -4*s + 10, 4*u = -2*s + 498. Does 6 divide u?
False
Let p(m) = 2*m**2 - 11*m - 169. Does 6 divide p(16)?
False
Suppose 11096 = 4*x + 2*p, 3333 = 5*x + 2*p - 10535. Is 36 a factor of x?
True
Let v(p) = -4 + 1 + 4*p**2 - 2*p + 4. Suppose 4 = -4*z, l - 4*l = 3*z + 9. Does 7 divide v(l)?
True
Suppose -6*q = -5*q - 12. Suppose 7*t = q*t - 40. Is t a multiple of 4?
True
Let t = 6 + -4. Suppose 0 = -3*o - 0*o + 846. Suppose 4*k + 5*m - o = 0, -3*k - t*m + 32 = -183. Is 15 a factor of k?
False
Let t(y) be the second derivative of y**3/2 + 11*y**2/2 - 12*y. Is 22 a factor of t(18)?
False
Let h be (-3)/6 + 13/2. Let s(o) = 3*o - 7. Let k(w) = -9*w + 20. Let a(j) = h*k(j) + 17*s(j). Is a(-7) a multiple of 22?
True
Let j = 1194 + -384. Is 9 a factor of j?
True
Let a(d) = -2*d - 48. Let t be a(-29). Let w(y) = -y + 46. Is w(t) a multiple of 12?
True
Let f(j) = j**3 - 3*j**2 - 14*j + 8. Let h be f(5). Let m(k) = -k**2 - 17*k - 4. Does 5 divide m(h)?
False
Suppose -11*b + 6276 = b. Is b a multiple of 43?
False
Suppose 2*v + 62 = -3*z + 8, 4*v - 12 = 0. Let f = z - -27. Let s = f + 2. Is 5 a factor of s?
False
Suppose 3*h + 9 = 3*n, 4*n - 20 = 2*h - 0*h. Let i(w) = 3*w**2 - 13*w + 24. Is 20 a factor of i(n)?
True
Let a(c) = -c**3 - c**2 + 25*c + 7. Is 7 a factor of a(-7)?
True
Is 18 a factor of -36*(230/(-2) - 1)?
True
Suppose -4*o + d + 0*d + 39 = 0, 2*d - 32 = -3*o. Suppose 0 = 2*h - 3*b - 14, -7*h = -2*h + 5*b - o. Is (-480)/(-2)*h/10 a multiple of 16?
True
Let r = 519 - 294. Is r a multiple of 13?
False
Let c = -532 - -380. Let s = c - -217. Is 9 a factor of s - (1 - 2)*-2?
True
Is 13 a factor of (-13)/(13/(-318)) - 1?
False
Let u(t) = t**2 - 15*t + 76. Let z be u(10). Let o(k) = -k**2 + 5*k + 6. Let j be o(6). Let h = z - j. Is 13 a factor of h?
True
Let v(a) = a**2 - 5*a + 8. Let m be v(4). Suppose 28 = 3*c - m*b - 52, -c = 5*b + 5. Is c a multiple of 6?
False
Let k be (-6)/9 + (-527)/(-3). Suppose 9*c = 2*c + k. Is c a multiple of 24?
False
Let w = 927 + -533. Is w a multiple of 42?
False
Let r(u) = -9*u**3 + 2*u**2 - 1. Let w be r(-1). Suppose 0*s = -s - 4. Let n = s + w. Is n a multiple of 2?
True
Let y(j) = j**3 - 5*j**2 + 3*j - 1. Let n(x) = -x - 1. Let h(r) = -r**2 + 1. Let w be h(-2). Let f(t) = w*n(t) - y(t). Does 17 divide f(4)?
False
Let t(y) = 661*y**3 + 7*y**2 - 7*y - 1. Is 6 a factor of t(1)?
True
Is 26/338 + (-882)/(-26) a multiple of 14?
False
Does 26 divide (-8 - -125)/(-9)*-49?
False
Suppose 3*l = -4*u + l - 70, 0 = -u - 5*l - 13. Let g be 4/u + 392/(-18). Is (1/2)/(g/(-440)) a multiple of 10?
True
Let m = -8 - -13. Let g = -68 - -73. Suppose -g*w = -2*x + 93, -2*w = m*x - 3*x - 114. Is 18 a factor of x?
True
Suppose 2*a - 229 = 3*t + 963, 2*t - 8 = 0. Does 43 divide a?
True
Let n = 471 + -167. Is 71 a factor of n?
False
Suppose -l - 3*v + 57 = 12, 0 = -3*l - 2*v + 114. Does 12 divide l?
True
Let b be 18/(-27) + (-2)/6. Does 6 divide (150/45)/(b/(-18))?
True
Let p(x) = x**3 + 7*x**2 + 5*x - 1. Let w be p(-6). Let n = 281 + -280. Suppose 4*i - w*j = 61, -n - 3 = -i - j. Does 3 divide i?
True
Let s = -17 - -17. Suppose w - 3*d + 8 = 0, 4*w = -d - s*d + 33. Is w a multiple of 2?
False
Let y = 49 + -33. Suppose y*q = 14*q + 100. Is 25 a factor of q?
True
Let i = -247 - -490. Is 36 a factor of i?
False
Let a be -4 - (3/(-5) - 328/20). Let l = 21 - a. Is 8 a factor of l?
True
Suppose 3*u - 47 = 94. Let x = 62 - u. Is x a multiple of 3?
True
Is 9 a factor of 13706/30 - (-60)/450?
False
Let z(u) = -u**2 - 15*u + 36. Let p be z(-17). Suppose 5*h + 0*b - 125 = p*b, -h + 33 = -2*b. Is h a multiple of 23?
True
Let o = -5 + 8. Suppose 0 = 4*x + 3 - 11. Suppose -5*n = o*l - 78, -x*n + l + 25 = -4*l. Is n a multiple of 5?
True
Suppose 6*u - 1194 = 4*u. Is 17 a factor of (-14)/49 - u/(-7)?
True
Let b = 212 - -41. Is b a multiple of 13?
False
Suppose -9*u + 6529 = -3281. Is 12 a factor of u?
False
Let o(v) be the third derivative of -v**6/120 + 7*v**5/60 + v**4/12 - v**3 - 38*v**2. Suppose 0 = -2*n - d + 13, 2*n - 2*d = 2 + 2. Is o(n) a multiple of 18?
True
Let r(l) = -l**3 - 4*l**2 - 8. Let n be 4*(-2)/(-2) - -16. Suppose -10 + n = -2*o. Is 9 a factor of r(o)?
False
Let r(c) = 14*c**2 - 447*c - 46. Is r(34) a multiple of 20?
True
Let x = 11 - 12. Let t be (-2 + 2)*x/3. Does 5 divide (-3)/6*t - -19?
False
Let j(i) = -14*i**2 - 3*i - 17. Let n be j(-6). Let v = -168 - n. Is 21 a factor of v?
False
Let t(n) = n**3 + 9*n**2 - 4*n - 9. Let w(p) = -p**3 - 8*p**2 + 3*p + 8. Let g be ((-3)/3)/((-2)/14). Let d(k) = g*w(k) + 6*t(k). Is 5 a factor of d(-3)?
True
Let h(p) = -12*p**3 - 8*p**2 - 5*p - 10. Let a be h(-3). Let t = -162 + a. Is 19 a factor of t?
True
Suppose 178*b - 3402 = 172*b. Is b a multiple of 21?
True
Let p be -7 + (2/(-2) - (-7 - -1)). Suppose -3*a + 40 = -314. Is a/4 + (-1)/p a multiple of 6?
True
Suppose 7*k + 0*k = 2996. Does 14 divide k?
False
Let a be 8 - 5 - 146/(-2). Let y = -12 + a. Is 33 a factor of -1 + 1 + 8 + y?
False
Is 12 a factor of (-25260)/(-105) - 12/21?
True
Suppose 0 = -5*y - 295 + 330. Suppose y*l - 2*l - 160 = 0. Does 28 divide l?
False
Suppose -m - 43 = -2*l + 4*m, 4*l = m + 77. Let x be (1*l)/((-12)/(-36)). Is 1*4 - (18 - x) a multiple of 6?
False
Suppose 3*h + 22 = 10. Let v be 76 + (0 - (h - -3)). Is 11 a factor of 1716/v + (-4)/14?
True
Let l(m) = -2*m - 14. Let f be l(0). Does 44 divide (2 - (-1708)/9) + f/(-63)?
False
Let r = -15 + 7. Let t(o) = -17*o - 40. Does 8 divide t(r)?
True
Does 23 divide (6 - -1)*633*4/42?
False
Let m be (-182)/6 + 1/3. Suppose 283*q - 285*q + 24 = 0. Does 5 divide (m/q)/(2/(-4))?
True
Let q = -748 + 1373. Is q a multiple of 28?
False
Is 3 a factor of ((-45)/20)/(-9) + 51/4?
False
Suppose 146 = 2*o + 56. Let c = -24 + 8. Let b = c + o. Is b a multiple of 14?
False
Suppose 22*p + 4067 = 25*p - 2*y, -4*p + 2*y + 5420 = 0. Is p a multiple of 38?
False
Let i(u) be the third derivative of u**5/30 + 7*u**4/24 - 3*u**3 + 16*u**2. Is 9 a factor of i(-9)?
True
Suppose -3*y + 960 = -5*k, -5*y + y - 2*k = -1254. Is 21 a factor of y?
True
Let j(l) be the third derivative of -l**6/20 - l**5/30 - l*