s, -3*c + 4*m = 14. Suppose 3*y + c*y = 180. Is 22 a factor of y?
False
Suppose -7*c = -3*c - 20. Suppose c*l = 4 + 6. Is 19 a factor of -1 - -10*(4 - l)?
True
Suppose 0 = -3*o + 2*o - 2. Let j(i) = -3*i**3 + 3*i**2 - i + 2. Let a(l) = -7*l**3 + 5*l**2 - 2*l + 4. Let w(v) = 3*a(v) - 5*j(v). Does 13 divide w(o)?
True
Suppose 22*j = -85 + 767. Does 4 divide j?
False
Let v(x) = 6*x - 5 - 5 + 4 - 5. Is 11 a factor of v(10)?
False
Let o(d) be the third derivative of -d**5/60 - 2*d**4/3 + 7*d**3/3 + 9*d**2. Does 41 divide o(-10)?
False
Let g be (13 - 14)/(1/7). Let u(o) = -o**3 - 6*o**2 + 7*o - 7. Let h be u(g). Is 7 a factor of 2*(1 - h - 1)?
True
Let v(z) be the first derivative of 2*z**3/3 + 7*z**2 + 13*z + 51. Is v(-10) a multiple of 8?
False
Suppose 4*t - 4*g = t + 493, 4*t = g + 679. Is 57 a factor of t?
True
Suppose -2*a + 28 = -12*p + 10*p, -3*p = 4*a + 70. Let s(m) = m**3 - 7*m**2 + 8*m - 5. Let v be s(5). Is 3 a factor of (p/(-15))/((-6)/v)?
True
Does 2 divide (42 - 3) + (-5)/(15/9)?
True
Let z(q) = -q**3 + 2*q**2 + 7*q - 1. Let j = -45 + 40. Does 21 divide z(j)?
False
Suppose -82*z = -98*z + 49360. Is 76 a factor of z?
False
Let o = 50 + -48. Suppose 0 = -5*r + 2*f + o*f + 182, -5*f = 5*r - 155. Is 17 a factor of r?
True
Let g be 15*(1*(-4)/12)/(-1). Let k(t) = 4 + 2*t**2 - t**2 + 4*t**2 + 5*t - t**3. Is 8 a factor of k(g)?
False
Suppose -l - 2552 = -4*d - 317, 1117 = 2*d - l. Does 10 divide 35/140 + 0 + d/4?
True
Let m = 701 - 227. Does 79 divide m?
True
Suppose 0 = -3*k - 2*u + 16 + 2, -4*k = -2*u - 24. Does 45 divide (-6 + 66)*k/1?
True
Suppose 17*y - 7050 = 2*y. Is 45 a factor of y?
False
Let p(g) = -g + 19. Let j(u) = -u. Let s(i) = 30*i - 48. Let t(m) = -54*j(m) - 2*s(m). Let a(z) = 24*p(z) - 5*t(z). Does 12 divide a(10)?
True
Let w = -14 - -18. Suppose -w*z + 447 = 15. Is 12 a factor of z?
True
Let d(z) = z**3 + z + 20. Let o be d(0). Suppose 16 = 3*v - o. Is v a multiple of 3?
True
Suppose 4*g - 46 = -30. Does 57 divide g - (52*-4 + (-12)/(-4))?
False
Let z(x) = 9*x**2 + 3*x + 2. Let o be z(-2). Let b be (200/(-15))/((-8)/12). Let h = o - b. Does 6 divide h?
True
Let h = -59 - -83. Suppose h*a - 18*a = 300. Is 16 a factor of a?
False
Suppose 3*n - 4 = -u, -3*n - 2*u = -5*u - 24. Is ((384/10)/n)/(4/20) a multiple of 8?
True
Suppose 204 = 7*u - 251. Is u a multiple of 65?
True
Let r(l) = -9*l + 63. Let t(n) = n - 2. Let x(u) = -r(u) - 2*t(u). Does 15 divide x(17)?
True
Is 8 a factor of ((-6040)/36)/(-1) - 10/(-45)?
True
Let k be (414 - 13) + (0 + -1)*1. Suppose 7*g - k = -3*g. Is g a multiple of 40?
True
Let h = 860 + -50. Does 6 divide h?
True
Suppose -21*a + 185 = -16*a. Is a a multiple of 14?
False
Suppose 0 = 5*a - n + 12, -5*a - 4 - 2 = 2*n. Let b be (4/a)/(-2 + 1). Suppose -104 = -i + 3*x, -b*i = -6*x + x - 203. Does 32 divide i?
False
Suppose -q = -5*z + 3050, -5*z = 5*q - 3223 + 203. Is 16 a factor of z?
False
Let j be -66*(1 + -4 + 2). Suppose 0*l - 3*l + j = 0. Does 5 divide l?
False
Let o(i) = -4 - 13*i**2 + 5 - i + 3*i. Let m be o(-1). Let t = -5 - m. Does 3 divide t?
True
Let u be 264/20 - 2/10. Suppose -17*g + 676 = -u*g. Is 13 a factor of g?
True
Let v be (1 + 0 - (0 - 0)) + -57. Let r = v + 91. Is r a multiple of 7?
True
Suppose -47 = -x - 4*r + 2*r, -4*x - 2*r + 212 = 0. Let h = 97 - x. Is h a multiple of 7?
True
Let h be 3*6/(-63) + (-184)/(-7). Suppose 25*i = h*i - 8. Is i a multiple of 7?
False
Let g(f) = f**3 + 6*f**2 + 4*f - 2. Let n be g(-4). Let a = -6 + n. Let y(b) = 2*b - 2. Is 5 a factor of y(a)?
False
Does 40 divide (-2 + (-284)/6)*(-63)/6?
False
Suppose u + 4*d + d = -4, 0 = -2*u - 5*d - 18. Let a(x) be the first derivative of -x**2 + 12*x + 49. Is a(u) a multiple of 10?
True
Let h be ((-33)/(-9) + -3)*3. Let z = 0 + h. Suppose -5*k - z*i + 227 = -4*i, 2*i = -2. Is 15 a factor of k?
True
Let m(z) = z**3 + 12. Suppose -5*s - 2 = -h - 2*h, 2*s = -5*h + 55. Let x = h - 9. Is 9 a factor of m(x)?
False
Let n(b) = 195*b + 12. Does 67 divide n(2)?
True
Suppose 0 = -j - 2*j + 132. Suppose -r - j = -5*r. Does 11 divide r?
True
Let j be ((-408)/28)/(4/28). Is j*(2/1 - 3) a multiple of 12?
False
Let r be (-2 + 0 - -1) + 27. Suppose -9*g = 7 - 511. Let q = g - r. Is q a multiple of 10?
True
Let r(x) = -x**3 - 14*x**2 - x - 9. Let q be r(-14). Suppose 496 = -q*a - o, 0 = 3*a - 4*o + 85 + 231. Let h = -68 - a. Is 8 a factor of h?
True
Suppose 0 = -15*g + 13*g + 2*d + 60, -68 = -2*g - 2*d. Is g a multiple of 24?
False
Let p = 153 + 20. Is p a multiple of 4?
False
Let r(j) = 0*j**2 + 2*j**2 - 25 + 23 - j**2. Is r(4) a multiple of 4?
False
Let t = 9 - 4. Let n(w) be the second derivative of 2*w**3/3 - 2*w**2 - 31*w + 2. Does 8 divide n(t)?
True
Suppose -2*q = -5*q - 24. Let s(h) = -2*h - 6. Let c be s(q). Suppose 145 = 5*l - c. Is 17 a factor of l?
False
Suppose 5*j + 32 = -43. Let c = -15 - j. Let l = c - -13. Is 13 a factor of l?
True
Suppose -30*n + 6725 = 1625. Is n a multiple of 17?
True
Let i = -391 - -500. Is i a multiple of 8?
False
Let p be ((-110)/22)/((-2)/(-34)). Let m = p - -100. Is m a multiple of 3?
True
Suppose 6*d + 12 = 2*d, -50 = -5*p + 5*d. Suppose -a + 26 = c, c = -2*a + p*a - 118. Let m = a - 6. Is m a multiple of 9?
True
Let k be (-1 - 2)/(12/(-348)). Is 18 a factor of k/(20/8 + -1)?
False
Let h = 1540 + -611. Is h a multiple of 24?
False
Is (1 - 4 - -119)/(-9 - -11) a multiple of 55?
False
Let d = 1014 + -29. Is 81 a factor of d?
False
Suppose -958 = -8*n + 114. Is 5 a factor of n?
False
Let f = -64 + 39. Let m = 30 + f. Suppose -4*y = -m*y + 41. Is 15 a factor of y?
False
Let n be 0 + -1 + 4 - (-8 - 132). Suppose 0 = 2*s - 5*g - 137, 2*s + 0*g + g = n. Is 5 a factor of s?
False
Let z = -1223 + 2226. Is z a multiple of 17?
True
Let b = 208 + -411. Does 4 divide (b/(-5) - -4) + (-2)/(-5)?
False
Let g = -6 - -2. Is ((-10)/g - 2)/(1/102) a multiple of 9?
False
Let m(c) = -58*c + 30. Does 3 divide m(-1)?
False
Let q be (-1 + 0)/(4/(-8)). Suppose 3*y + i - 27 = 6*i, -2*y - q*i = -18. Suppose y = -3*r, -3*s - 6*r = -2*r - 105. Is 13 a factor of s?
True
Suppose -2*s - 18 = -3*d, -5*d + 8 = s - 9. Suppose -4*p + 2*p - 35 = -k, -k - d*p = -65. Does 4 divide k?
False
Let a(c) = 3*c**2 - 3*c + 1. Let t be a(2). Let y be 2691/(-5) - t/(-35). Is (-8)/32 - y/8 a multiple of 17?
False
Suppose -2542 = -4*s - 5*n, -7*n + 2562 = 4*s - 12*n. Is 24 a factor of s?
False
Suppose -x - 4*m + 400 = 0, 0 = 9*x - 5*x - 5*m - 1642. Is 8 a factor of x?
True
Let i be 84/(-8)*6/(-9). Suppose 0 = i*m - 2*m - 285. Is m a multiple of 3?
True
Suppose 4*b = -121 + 869. Let z be (-2)/15 - (-5468)/60. Let y = b - z. Is 32 a factor of y?
True
Is 44*1 - (-5)/(30/18) a multiple of 5?
False
Let o(r) = r**3 - r**2 - 4*r + 61. Let g be o(0). Let m = g - 37. Is 6 a factor of m?
True
Let q(k) = k**2 + 20*k + 52. Does 11 divide q(-27)?
False
Suppose -4*u + 320 = 3*s, s - 72 - 32 = -2*u. Suppose y = -0*y + s. Let g = 166 - y. Is g a multiple of 18?
True
Suppose -4*w + 655 = 3*z, -4*z = -5*w - 874 - 51. Is z a multiple of 15?
True
Let y(p) = -p**3 + p**2 - p + 2. Let r be y(0). Suppose -4*f = r*n - 2*f, 5*n + 2*f = 0. Is 11 a factor of 32/(n/(-3) + 1)?
False
Let n = 10 - 3. Suppose -5*b + n*b = -140. Let h = -28 - b. Does 21 divide h?
True
Suppose -u + 40 = i, 0*u = -3*u - 9. Suppose 2*f - 39 - i = 0. Is 11 a factor of f?
False
Let g be (12/(-30))/((-1)/13675). Let w be 4/(-14) + g/35. Let o = 220 - w. Is o a multiple of 16?
True
Suppose -4*t + 0*z = -3*z, 2*t = 5*z. Let q = 26 + t. Suppose -5*y = -34 - q. Is y a multiple of 12?
True
Suppose 615 = -6*m + 9*m. Suppose -m = -3*t - 4. Is t a multiple of 26?
False
Is -1*((-3)/(15/(-20)) + -63) a multiple of 17?
False
Let g(b) = b**3 + 6*b - 5. Does 25 divide g(5)?
True
Let k be (2/(-12))/(20/(-4440)). Let q = 67 - k. Is q a multiple of 6?
True
Let z(t) = 2*t**3 - t**2 + 6*t + 4. Let b be z(6). Suppose 0*a - b = -4*a. Does 21 divide (-5)/(-10) - a/(-2)?
False
Let o be (2 - 2)*4/8. Suppose -5*z + 6 = 5*g - z, o = -g + 3*z + 5. Does 10 divide g/4 + 286/4?
False
Let j(n) = -2*n - 11. Let c be j(-8). Suppose -c*z + 3 = -2. Let k(w) = 6*w**3 - w + 1. Is 6 a factor of k(z)?
True
Let q(z) = 9*z + 4. Let f be q(11). Let y = -74 + f. Is y a multiple of 7?
False
Suppose 0 = -5*i + 5*c + 627 + 1148, -2*i +