w, -l + 51 = -3*w. Is 9 a factor of l?
True
Suppose 241 = 2*y - 955. Is y a multiple of 13?
True
Let x = 461 + -271. Does 19 divide x?
True
Suppose 0 = 5*o - 0*o - 4*i - 59, -43 = -4*o - i. Let v(a) = a**3 - 9*a**2 - 17*a - 9. Is 23 a factor of v(o)?
True
Suppose 348 = c + 5*g, 0 = -c - 3*g + 6 + 336. Does 9 divide c?
True
Let u(o) = -o**3 - 43*o**2 - 98*o - 128. Is 12 a factor of u(-41)?
True
Let n be (-4)/((-4)/(-12)*-3). Suppose 6*v = n*v. Suppose 5*o - 4*m - 59 = v, -4*o - o + 54 = m. Is o even?
False
Let s be -5 + (-415)/(-15) + 2/6. Let g(d) = -d**3 + 23*d**2 + 7*d - 36. Is g(s) a multiple of 18?
False
Suppose -66*y - 70965 = -111*y. Does 15 divide y?
False
Let w(u) be the second derivative of -u**5/20 - 5*u**4/12 - u**3 + 8*u**2 - 5*u. Is 24 a factor of w(-7)?
False
Suppose -85 = -3*w - 28. Let k = w + 9. Is 4 a factor of k?
True
Let f be (10/(-25))/((-1)/10). Let y be f - 8*(-2)/(-4). Suppose -5*b - z = -48, 26 = -y*b + 3*b + 2*z. Does 9 divide b?
False
Let s(n) = 3*n**2 + 10*n + 3. Let b be s(7). Suppose 0 = -66*t + 62*t + b. Does 20 divide t?
False
Let o(l) = 20*l + 43. Let t = 114 - 101. Is 56 a factor of o(t)?
False
Let c = 737 - 416. Suppose 12*r + 57 = c. Is r a multiple of 11?
True
Suppose 2*q + 0*q - 1996 = n, 0 = 2*q + 3*n - 1988. Let b = -1675 + q. Is 14 a factor of b/(-24) - 1/4?
True
Let m = -534 + 629. Is 19 a factor of m?
True
Let y be 16/28 - (-837)/(-7). Let i = y - -173. Is i a multiple of 8?
False
Suppose -42*h = -40*h - 936. Does 36 divide h?
True
Let l(u) = u + u - 7 - 4*u + 3*u. Let h be l(8). Suppose h = -5*p + 51. Does 3 divide p?
False
Let o(u) = -u**3 - 7*u**2 + 11*u - 12. Suppose 3*c + 45 = -4*y, 0*y - 4*y = -c + 33. Let i be o(y). Let j = i + 31. Is 17 a factor of j?
False
Let p(s) = 0*s**2 + 5*s**2 - 13*s + 4 + 2*s**2 - 4*s**2. Is p(-7) a multiple of 21?
False
Let v(i) be the second derivative of -3*i - 1/4*i**4 + 2*i**2 - 2/3*i**3 + 1/20*i**5 + 0. Is 17 a factor of v(5)?
True
Let l(j) = 4*j**3 + 97*j**2 + 18*j + 3. Does 4 divide l(-24)?
False
Let s(b) = b**2 - 5*b + 6. Let z be s(4). Suppose z*a - 42 = a - 5*d, d = -2*a + 57. Is 11 a factor of a?
False
Let o = -238 - -292. Does 18 divide o?
True
Let j = 19 + -10. Let p = 13 - j. Does 4 divide (44/8 + 0)*p?
False
Let m = -400 + 458. Is m a multiple of 5?
False
Suppose -2*r - 638 = -4*f, 16*r = 2*f + 14*r - 322. Is 8 a factor of f?
False
Let c = -48 + 42. Is 10 a factor of 20/120 + (-359)/c?
True
Suppose 4*p + 12*p = 0. Suppose -174 = -5*d - 4*k, 2*k + p*k = 2. Is d a multiple of 22?
False
Suppose 0 = -3*l - 1 - 2, -5*m = -2*l - 17. Suppose 5*f - 155 = -m*i, 3*i - 3*f = i + 135. Is i a multiple of 8?
False
Does 14 divide 329 - 1 - (-414)/(-69)?
True
Let b = -21 + 15. Let l = 6 + b. Suppose -4*j = -l*j - 40. Is 2 a factor of j?
True
Let q(j) = -j**3 + 7*j**2 - 3*j + 2. Let a be q(5). Suppose -l - 4*l = -115. Let x = a - l. Does 3 divide x?
False
Suppose 4 = -3*a + 10. Let o be (a/4)/(4/8). Does 26 divide o + -5 - (6 + -62)?
True
Is -3 + 66/24 - (-2449)/4 a multiple of 34?
True
Let d be (-5)/(280/(-8)) + (-488)/(-14). Let v = -18 - 5. Let p = d + v. Does 6 divide p?
True
Let g(x) = -x**3 - 8*x**2 + 9*x + 2. Let h be g(-9). Let f be -3 - (h + 24 + -3). Let y = 39 + f. Does 10 divide y?
False
Is 120 a factor of ((-192)/14 - -18)/((-1)/(-756))?
True
Let p(f) = 3*f**2 - 7*f + 631. Is p(-24) a multiple of 60?
False
Suppose 0 = -4*f + 2*c - 210, -3*f - 2*f + 5*c = 265. Let i = f - -37. Let l = 39 + i. Does 11 divide l?
False
Is 21 a factor of 1810/8 - (8 - (-217)/(-28))?
False
Suppose 0 = -m - 4*a + 47 + 16, 4*m - a - 320 = 0. Does 9 divide m?
False
Let h = 116 + -111. Let o be (1/(-3))/(1/(-9)). Suppose 0 = h*f + o*l - 17 - 43, 0 = 4*l - 20. Is f a multiple of 9?
True
Let v(w) be the third derivative of w**8/2880 - w**7/5040 - w**6/720 + w**5/20 + 6*w**2. Let l(n) be the third derivative of v(n). Does 13 divide l(3)?
False
Suppose -5*u - 6 = -4*y, -2*u - 4 - 12 = -5*y. Suppose u*s + 4*n + 63 = 159, -159 = -3*s - n. Is s a multiple of 18?
True
Suppose 0 = o + 3*o. Suppose -4*q = 20, 2*a + o*a - 30 = -2*q. Is a a multiple of 10?
True
Does 13 divide (-15 - -11) + 4 + 121 + 0?
False
Suppose -8 = -11*q + 9*q. Suppose 2*x - 28 = -q*u, 0*u + 3*x + 28 = 4*u. Suppose 0 = -4*o + 39 - u. Is o a multiple of 4?
True
Let r(t) = t**2 - 6*t - 2. Let f be r(6). Let v be 3 - 5 - (f - 8). Suppose 0 = -s - 2 + v. Is 2 a factor of s?
True
Suppose 2*w + n + 1290 = 5*w, -2*n = 4*w - 1710. Is w a multiple of 16?
False
Let k(m) = -4*m + 15. Let d(o) = 6*o - 23. Let v(b) = 5*d(b) + 8*k(b). Is v(-5) a multiple of 3?
True
Suppose -41 = 3*d + 7. Let a = 82 + d. Is a a multiple of 11?
True
Suppose 0 = -5*d + 15 - 5. Suppose 7*k - 9 = -d. Is 10 a factor of (k + 0)*(13 + -3)?
True
Suppose 0 = -3*u - 2*k + 66, -5*u - 3*k + 137 = 28. Let s = u - 12. Is s even?
True
Suppose 8*j = 5*j - 24. Let s(l) = l**3 + 8*l**2 - 2*l - 11. Let i be s(j). Suppose 126 = i*c - 214. Is 15 a factor of c?
False
Let q = 3368 + -2169. Is 57 a factor of q?
False
Let d(p) = -24*p + 3. Suppose -6 + 10 = 4*g. Let h be 16 - 20 - (g - 4). Is d(h) a multiple of 6?
False
Let k be 254/(-10) + (-40)/(-100). Let m be ((-80)/k)/(2/5). Let a = m - -7. Is 5 a factor of a?
True
Let c = 85 + -35. Suppose 3*b - c = 55. Is b a multiple of 7?
True
Does 2 divide (448/80)/((-2)/(-15))?
True
Let j = -1747 + 2530. Does 51 divide j?
False
Let a(q) = q**2 + 9*q + 2. Let y be a(-9). Suppose 5*d - y*g = 2*d - 2190, 0 = 2*d + 2*g + 1470. Is 26 a factor of d/(-20) - 2/(-5)?
False
Suppose 0 = 3*v + 2*v. Let y(j) = -j**2 + 6*j - 3*j - 4*j + j**3 + 0*j + 32. Is y(v) a multiple of 8?
True
Let v(a) = -a**2 - 1. Let r(k) = -k - 4. Let f(m) = -r(m) - 2*v(m). Does 27 divide f(3)?
True
Let t = 517 + -309. Is t a multiple of 16?
True
Suppose 0 = 13*o - 10*o - 9. Suppose p - 2 - o = 0. Suppose 0 = i - 3*k - 35, -p*i + 3*k + k + 208 = 0. Is i a multiple of 34?
False
Let y = 22 + -17. Is 13 a factor of -1*2*(46/(-4) + y)?
True
Suppose 4*u + 4*m - 80 = 0, 3*u + 5*m + 38 = 4*u. Let j = u - 19. Suppose -2*n + 0*n = 3*g - 72, 72 = 3*g + j*n. Is 7 a factor of g?
False
Let x = 1146 - 860. Does 13 divide x?
True
Let i = 18 - 16. Suppose i*c = 6 + 2. Suppose 2*p + c*p = 450. Does 18 divide p?
False
Let p = -22 - -51. Suppose 5*g + p + 110 = y, 5*y + 2*g = 830. Suppose -4*d = 12, -2*w + 3*d + 11 = -y. Is w a multiple of 33?
False
Suppose 6*i - 4416 - 4872 = 0. Is i a multiple of 8?
False
Suppose -792*m - 8448 = -800*m. Is m a multiple of 66?
True
Suppose -42 - 29 = -4*m - 5*u, 3*u + 33 = 3*m. Is 7 a factor of m?
True
Let p(c) be the third derivative of -c**5/60 - c**4/24 + 2*c**2. Let i be p(-4). Is i*(2 - 2 - 1) a multiple of 5?
False
Suppose 2*h + 0*n - 5*n - 1 = 0, -h = n - 4. Does 20 divide h*5/25 + (-312)/(-5)?
False
Let v = 1 + 1. Suppose 2*s = -v*n + 146, 6*n - 4*s = n + 374. Is 37 a factor of n?
True
Suppose -s + 3*s = -10. Let a be (-45)/18*16/s. Let i(l) = 2*l + 8. Does 14 divide i(a)?
False
Let y(t) = -t**3 - 7*t**2 - t - 7. Let u be y(-7). Let v(z) = 2*z + 2. Let b be v(1). Suppose u*g = b*g - 108. Is 6 a factor of g?
False
Let r(p) = 39*p**2 + p - 2. Let o(f) = f**2 + 5*f - 5. Let s be o(-6). Let t be r(s). Suppose 2*d + 12 = t. Is d a multiple of 4?
False
Does 7 divide ((-322)/(-3))/(10/15)?
True
Let b(g) = 38*g**2 - g - 6. Let z be b(-2). Suppose 222 = 5*v + 3*l - 46, -3*v + z = 5*l. Is v a multiple of 56?
True
Let d = 27 + -19. Does 11 divide 7/28 + 110/d?
False
Suppose 17*l - 2863 + 398 = 0. Is 12 a factor of l + 77/(-63) + (-4)/(-18)?
True
Suppose -9*f + 3*f + 180 = 0. Let w = f - 7. Is 11 a factor of w?
False
Does 45 divide 1073 + (-9 - -13 - -3)?
True
Suppose -12 = -6*t + 3*t. Let p be 0 + (-4)/t + -2. Let i = p + 12. Is 9 a factor of i?
True
Suppose b - 5*k = 1, -5*b - 17 = -4*k - 64. Let t(a) = 5*a - 9. Is t(b) a multiple of 16?
False
Suppose b + 10 = 4*j, 4*b + 44 = 8*b + 5*j. Suppose 0 = b*w - 131 - 109. Is 9 a factor of w?
False
Let h = 2189 - 1268. Is h a multiple of 42?
False
Let i be (-9)/4*(4 - 12/9). Let n(r) = r**3 + 7*r**2 + r + 3. Is 15 a factor of n(i)?
False
Let l(v) = -v**3 - 7*v**2 + 7*v + 18. Is l(-11) a multiple of 17?
True
Let s = 24 + 17. Let b = 63 - s. Does 10 divide b?
False
Let z = -6 + 8. Let p(r) = -3 + 7 - z*r - 2*r. Is