4*c = -17. Suppose -f - b = -m*f. Is f a multiple of 6?
True
Let w(f) = f**3 - 13*f**2 + 14*f + 3. Let n be w(12). Let l = 78 + n. Does 35 divide l?
True
Suppose 2*a = 4*d + 30, 51 = -a + 3*a + 3*d. Is a a multiple of 7?
True
Let r(v) = -v**2 + 9*v. Does 18 divide r(6)?
True
Let y = 0 + 0. Suppose -5*k + 20 + y = 0. Suppose 0 = -3*i - k + 112. Is i a multiple of 14?
False
Let l = 306 + -117. Suppose 83 = f + 4*z - 150, -2*f - 3*z = -486. Suppose 3*p - 3*n - l = 0, 4*p - 2*n - f = -n. Is p a multiple of 23?
False
Let q(i) = -i**3 + 8*i**2 + 19*i - 3. Does 16 divide q(9)?
False
Let k(n) = n**2 - 7*n - 8. Is k(-3) a multiple of 22?
True
Let n = -7 - -4. Let v = -2 + 8. Let p = v + n. Is p a multiple of 2?
False
Let l = -401 + 567. Is l a multiple of 33?
False
Let z = 34 + 10. Let r = z - 22. Is 5 a factor of r?
False
Suppose 2*k - 2*r = -2*k + 20, k - 8 = 2*r. Does 3 divide k?
False
Let h(o) = o**2 - 6*o - 2. Let p be h(6). Let g(u) = 6*u - 13. Let n(c) = 3*c - 7. Let k(f) = -6*g(f) + 11*n(f). Is 5 a factor of k(p)?
False
Let q = 15 - -6. Does 8 divide q?
False
Let a(q) = q**3 + 5*q**2 - 2*q - 8. Is 16 a factor of a(-4)?
True
Let d be 1 + (-2)/4*-14. Suppose 0 = -4*z + d*z - 20. Suppose -i + l + 5 = 0, -z*l - 5 = -i - 0. Does 5 divide i?
True
Let t(l) = -2*l - 4*l**3 - l + 5*l**3 - 5 - 4*l**2 + 7. Does 6 divide t(5)?
True
Let j(b) = 2*b**3 + 6*b**2 + 3*b + 1. Let x be j(-4). Is (x + 0)/((-3)/3) a multiple of 17?
False
Suppose -a + 5*i + 72 = 0, 83 + 171 = 4*a - 3*i. Is 14 a factor of a?
False
Suppose 3*q = -5*c + 659, 219 + 443 = 5*c + 4*q. Does 13 divide c?
True
Let k be 0 - (-1 + (-2 - 0)). Suppose -2*l + 0*l + 14 = -k*x, -4*l + 20 = -4*x. Is -5*((-48)/15)/l a multiple of 8?
True
Let q(d) = -2*d + 6. Let u be q(6). Let n be (-32)/(-6) - u/9. Does 8 divide 3 + 3*32/n?
False
Suppose -c + 3*j + 25 = -62, j + 5 = 0. Is 36 a factor of c?
True
Suppose 4*k - k + 5*v = 380, 510 = 4*k + 5*v. Does 12 divide k?
False
Suppose 0 = 2*r + 10, -2*q + r - 33 = 6*r. Let p(t) = -t**2 - 5*t - 4. Let n be p(q). Suppose n*j = j - 16. Does 8 divide j?
True
Let f(k) = -k**3 + 3*k**2 + 2*k + 2. Does 9 divide f(-2)?
True
Is ((-42)/15)/((-1)/5) a multiple of 10?
False
Let s(a) = -2*a + 2. Let b be s(-9). Let p = b + -5. Is p a multiple of 7?
False
Let w be 5/2*(-6)/(-5). Suppose -4*x = -16, 0 = -4*r + 8*r - w*x - 100. Suppose z = 3*o - 7, 0 = 4*z - o + 3*o - r. Is 5 a factor of z?
True
Is 420*(-5 - (-22)/4) a multiple of 15?
True
Let s be (4/10)/((-3)/(-15)). Suppose -s*j = 5*l - 50 - 4, 0 = 4*l + 2*j - 42. Is l a multiple of 6?
True
Let a(s) = 4*s**2 + s + s**2 - s**2 + 4 - 3*s**2. Is 6 a factor of a(3)?
False
Let t(w) = w**2 + 7*w + 6. Let u be t(-6). Suppose u = -5*r + 5*s - 105, s + 22 = -3*r - 33. Let o = 45 + r. Does 12 divide o?
False
Suppose x = -0*x + 2, -r - 2*x = -42. Does 15 divide r?
False
Suppose 0 = 5*h + 4*t - 15, -4*t = -5*h - t + 15. Is 3 a factor of h?
True
Let c be -3 + 5 + -1 + 1. Let m be c/(1/2*2). Let k = m + 2. Is 4 a factor of k?
True
Let b(f) = 4*f**3 + f**2 - 1. Let n = 6 + -5. Let l be b(n). Suppose l*h - 35 = 21. Does 7 divide h?
True
Let c be -3*-8*(2 + -3). Is 10 a factor of ((-63)/14)/(9/c)?
False
Let y(v) = 23*v - 17. Is y(11) a multiple of 30?
False
Let r = -17 - -137. Does 30 divide r?
True
Let p(c) = 6*c**3 - 6*c**3 + 2*c**2 - 20*c**3 + c - 13*c**3. Is p(-1) a multiple of 17?
True
Let v be (-16)/2*(-189)/28. Suppose 46 = 4*i - v. Suppose -f - 3*f + i = -5*d, 4*d = f - 9. Is f a multiple of 5?
True
Let t be (-3 - -27)*2/2. Does 6 divide -3 + 3 + t/2?
True
Let z = 7 + -4. Suppose -2*i - i - z*h = -63, -4*i + 5*h + 66 = 0. Is i a multiple of 9?
False
Let p = 13 + -3. Is 10 a factor of p?
True
Suppose -4*c + 1090 = -3*r - 269, 3*r = -15. Does 16 divide c?
True
Let l(r) = -20*r - 4 + 1 + 15*r + 50*r. Does 20 divide l(2)?
False
Let v = 0 - -4. Suppose 0*l - 288 = -v*l. Does 20 divide l?
False
Is 11 a factor of 309/9 + (-4)/3?
True
Suppose -665 = -13*q + 895. Does 7 divide q?
False
Let j = -17 + 99. Is j a multiple of 38?
False
Is 6 a factor of ((-2)/(-8))/(2/104)?
False
Let z = 71 + 1. Does 24 divide z?
True
Suppose 3*s + 6 = 5*s. Suppose s*h - 97 = -31. Is h a multiple of 11?
True
Let c be ((-1)/(-2))/(1/20). Let k = 20 + c. Is 10 a factor of k?
True
Let m(v) = 22*v + 43. Is m(13) a multiple of 14?
False
Let a be (-20)/(-5) + 2/(-1). Suppose -121 = -a*n + 107. Suppose q - 3*q = -n. Does 15 divide q?
False
Suppose -k - k - 3*l + 38 = 0, 4*l - 8 = 0. Is k a multiple of 4?
True
Suppose -4*f + 64 = -0*f. Is 8 a factor of f?
True
Let n(z) = z**3 + z - 1. Let r(u) = -2*u**3 - 6*u**2 - 9*u + 1. Let j(i) = -4*n(i) - r(i). Let l be j(5). Let t = -49 - l. Does 8 divide t?
False
Let n = -11 - -32. Suppose 5*g = -1 + n. Is g/(-18) + 238/18 a multiple of 5?
False
Let r(j) = 50*j - 24. Does 9 divide r(4)?
False
Let j(q) = q**2 - 2*q - 5. Suppose 3*g - 7 = f, -3*g = f - 0*g - 17. Is j(f) a multiple of 10?
True
Suppose 5*u + 3*u - 744 = 0. Is 24 a factor of u?
False
Suppose 3*f - 107 = -5*t, t - 26 = 2*f + 2*f. Is 18 a factor of t?
False
Let b(d) = -d. Let x(q) = -7*q + 8. Let m(f) = -6*b(f) + x(f). Is m(6) even?
True
Let s(p) = 4*p - 58. Suppose -r - 9 = -k, 5*k + 7*r - 2*r = 25. Let a(n) = -n + 19. Let z(c) = k*a(c) + 2*s(c). Is 17 a factor of z(0)?
True
Does 16 divide ((-144)/27)/(1/(-6))?
True
Let b be 2/1 - (1 - 2). Let q = -5 - -5. Suppose b*t - t - 10 = q. Is 5 a factor of t?
True
Let p be -1 - (-4)/((-16)/(-20)). Let u(g) = 3*g**2 - 8. Is u(p) a multiple of 10?
True
Suppose -3*w = -2*w. Let k(b) = -b**3 - b**2 + 3. Let m be k(w). Suppose 0 = -l + 2*a + 77 - 29, -m*a + 108 = 3*l. Is l a multiple of 15?
False
Is 12 a factor of ((-2)/(-4))/(-5 - (-1524)/304)?
False
Let x = 44 + -4. Suppose x = 3*p + 2*p - 2*g, p = 4*g + 8. Is 3 a factor of p?
False
Suppose 2*j - 9 = -j. Suppose -42 = -j*x + 6. Is x a multiple of 14?
False
Let o = -2 + 4. Let f(w) be the first derivative of 3*w**4/4 - w**3 + w**2 - 2*w + 1. Is 7 a factor of f(o)?
True
Suppose -4*m - 15 = 1. Does 21 divide -28*(3/m)/1?
True
Suppose 10*d = 6*d + 48. Is 3 a factor of d?
True
Let b(z) = -z**3 + 9*z**2 - 5*z - 13. Let f be b(8). Suppose -f*k + 25 = -10*k. Does 17 divide k?
False
Suppose -5*f = -4*f - 3. Let t(x) = -x**3 + 3*x**2 + x - 2. Let c be t(f). Is (-6)/(-1 - (1 - c)) a multiple of 3?
True
Let x(s) = -s + 52. Suppose -3*u = 3*f - 33, -u = 3*u - 8. Let m = -9 + f. Is x(m) a multiple of 26?
True
Let a(t) = 8*t. Suppose -2*p - p = -6. Does 16 divide a(p)?
True
Let c(d) = -7*d**2 - 4*d - 2. Let i be -1 + 1 + 0 + -2. Let h be c(i). Is h/(-2) + 1 + -1 a multiple of 7?
False
Let b(x) = -37*x - 2. Let c be b(-2). Suppose 5*r + 121 = v, -c = -v - 5*r - 1. Suppose 4*a - 48 = v. Is a a multiple of 16?
False
Let i = 3 - 3. Suppose 2*p = -i*p + 240. Suppose 5*a - p = -0*a. Does 10 divide a?
False
Let p = -5 + 1. Let d = 5 + p. Is -21*(2 + (d - 4)) a multiple of 15?
False
Let a = 0 - -4. Let n = -1 + a. Suppose 0 = 5*u + p - 176, -n*p - 25 = -2*u + 59. Is 12 a factor of u?
True
Let d = -61 - -28. Let v = 48 + d. Let b = -11 + v. Is 2 a factor of b?
True
Suppose -5*x - 15 = -5. Is 8 a factor of (x - -5) + -2 + 23?
True
Let i = -26 - -19. Is (2/4)/(i/(-168)) a multiple of 6?
True
Suppose 0 = -5*z - 3*o - 2501, -2*z - 4*o + 0*o = 992. Is z/(-12) - (-10)/60 a multiple of 16?
False
Let c(x) = x**3 + 6*x**2 - 2*x - 9. Let v be c(-6). Let n(g) = -5*g**2 + g**3 + 2*g**2 - 2 + v*g + 3. Is 5 a factor of n(3)?
True
Let c(q) = q**2 - 3*q + 15. Does 33 divide c(6)?
True
Does 18 divide (-539)/(-6) - (1 + (-21)/18)?
True
Let p = 26 + 8. Does 17 divide p?
True
Is 5 a factor of (-24)/(34/(-10) - -3)?
True
Let u(g) = g**3 + 4*g**2 - g - 3. Let o be u(-4). Let v be (4/(-1))/((-2)/o). Suppose v*d = d + 27. Is d a multiple of 9?
True
Suppose 3*m - 2 - 1 = 0. Is -2*(m - 18/4) a multiple of 7?
True
Suppose -5*p + 138 = -312. Suppose 2*d - 55 = -3*g, 3*g = -4*d + d + p. Suppose 4*o + d = 5*o - 3*b, -b + 95 = 5*o. Is 10 a factor of o?
True
Let a(o) = 0 - 6 + 1 + 1 + 9*o. Is 23 a factor of a(3)?
True
Does 7 divide ((-9)/(-5))/(6/70)?
True
Suppose c = -2*c + 12. Is 7 a factor of 19 - c*(-1)/2?
True
Suppose -2*o + 124 = -4*n - 0*n, n - 293 = -4*o. Is o a multiple of 12?
True
Is (84/(-60))/((-1)/610*2) a multiple of 61?