-4*x. Is 9 a factor of c?
True
Let l(m) = -3*m - 3. Let t be (-2 + 1 - -3)/2. Let b be (-4)/((-12)/(-9))*t. Does 3 divide l(b)?
True
Let o = 439 - 277. Is o a multiple of 18?
True
Suppose -3*n - 33 = -4*h, n + 3 = -2*h + 12. Is 8 a factor of -6*((-34)/h - -3)?
True
Let n(b) = -13*b + 4. Is 6 a factor of n(-2)?
True
Suppose 3*h - 342 - 441 = 0. Does 29 divide h?
True
Let t = -9 + 15. Let d be 88/(-4)*(-1)/2. Suppose -i + t = -d. Is i a multiple of 12?
False
Let c = 2 + -2. Suppose c = -3*g + 114. Is g a multiple of 18?
False
Let g(f) = -2*f + 2. Let p be g(-2). Is 9 a factor of 6*(2 + 15/p)?
True
Let q be (4/(-8))/(1/(-24)). Does 6 divide (q/5)/((-6)/(-40))?
False
Let q(h) = h**3 + 18*h**2 - 19*h - 37. Is 33 a factor of q(-18)?
False
Let b be -4 + (0 - (-4 - 4)). Suppose -2*w = -o - 166, b*w + o - 2*o - 330 = 0. Does 12 divide w?
False
Let j be (0/2)/(-6 + 7). Suppose j = -2*l + 6*l - 40. Is 5 a factor of l?
True
Suppose 0 = -t - 2 + 23. Is t a multiple of 7?
True
Let w be (28/(-2) - 1) + 0. Let g = w + 9. Let t(c) = c**3 + 6*c**2 - 6*c - 9. Is t(g) a multiple of 11?
False
Let n be 9 + (-6)/3*1. Let w be 7/n*-3*3. Let v = 30 - w. Does 11 divide v?
False
Let b(i) = i**2 - 2*i + 1. Let c = 12 + -8. Let r be b(c). Let f = r + -4. Is f a multiple of 5?
True
Suppose -4*x - x = -2*r - 7, 3*r + 2*x = 18. Suppose r = v + 1. Is v even?
False
Let w(x) = x - 3*x - x - 2. Let a be w(7). Let h = -6 - a. Is h a multiple of 6?
False
Suppose 0 = -0*z - 2*z. Suppose 2*c - 10 - 8 = z. Is 5 a factor of c?
False
Let b(l) = -l**3 + 11*l**2 + 3*l + 27. Is b(11) a multiple of 7?
False
Let i = 869 + -552. Does 14 divide i?
False
Let a = -150 - -256. Does 25 divide a?
False
Let k(v) = -2 - 8*v - 2*v + 0 - v. Is 7 a factor of k(-2)?
False
Suppose -9*w = -4*w - 165. Does 7 divide w?
False
Let s(d) = -22*d**2 - 4*d - 2. Let j be s(-3). Is (j/(-6))/((-26)/(-39)) a multiple of 21?
False
Let g = -42 - -61. Suppose x + 5 = -2*u, -3*x - 2*u = 2*u + 9. Let v = g - x. Is v a multiple of 9?
True
Is 3/2*(-240)/(-8) a multiple of 15?
True
Let g = -1 + 20. Suppose 2*r + g = q, 0*q + 2*q - 2*r - 38 = 0. Is q a multiple of 19?
True
Suppose 0*z + 20 = 5*z, 3*g - 5*z = 25. Let p = -2 + g. Is 13 a factor of p?
True
Let l(t) = t**2 + 4*t + 3. Let c be l(-2). Is 272/6 + c/3 a multiple of 20?
False
Let s be (1 + -2)/(5/10). Let q be (2 - 4)/(s/(-3)). Does 8 divide 2*q/3 + 18?
True
Suppose -4*p + 7 = -1. Suppose 5*z = p*z + 9. Suppose -z*x + 95 = 2*x. Is x a multiple of 19?
True
Let l(h) = 6*h + 15. Does 12 divide l(5)?
False
Let m = 89 + -60. Suppose -k = 7 - m. Does 5 divide k?
False
Suppose 5*x + 6 = -3*s + 1, 5 = 5*x + s. Suppose h - x*h = -13. Suppose -4*y = -3*y - h. Does 13 divide y?
True
Suppose 0 = -5*w - 2*i + 7, 3*i = 2*w + i - 14. Is 6 a factor of (-36)/(w - 6)*1?
True
Let y(t) = -t**2 - 4*t - 1. Let x be y(-2). Suppose -j + 20 = x*j. Suppose 0*g + j*g = 60. Is 6 a factor of g?
True
Let g be 9/4 - 4/16. Suppose 3*a = g*r + 6, -2*a + 4 = -a. Suppose -r*n - 5*l + 12 = n, 0 = 3*n - 5*l - 44. Is n a multiple of 7?
False
Let g be (-1)/(-2) + 2/(-4). Suppose 30 = 5*d - g*d. Suppose 0 = 3*o - 5*o + d. Does 3 divide o?
True
Let v(k) be the third derivative of -k**4/24 + 5*k**3/6 + 3*k**2. Does 9 divide v(-4)?
True
Let r = -21 + 63. Does 21 divide r?
True
Suppose 6 + 4 = 2*f + 2*m, -4*f + 5 = -m. Is 8 a factor of (-1 - (-4 + f))*17?
False
Suppose 3*u = -2*n + 19, 5 + 15 = 4*n. Suppose -j - 3 = -3*r + 2*j, -u*r - j = -11. Is r a multiple of 2?
False
Is 12/16 + (-1044)/(-16) a multiple of 17?
False
Let m = -6 + 4. Let f be 78*(3 + 5/m). Suppose -o - 5*t = -27, -f = -2*o + 8*t - 3*t. Is o a multiple of 11?
True
Is (1 - (-63)/(-81)) + (-3272)/(-18) a multiple of 14?
True
Let m be -107 + (-1 - 3/3). Let c = m - -153. Does 13 divide c?
False
Suppose 0 = 4*p - 8*p + 2*q - 42, -3*p - 4*q - 26 = 0. Let b = 36 + p. Is b a multiple of 13?
True
Let x = -18 + 23. Suppose 0*g - g = -x. Does 3 divide g?
False
Is ((-8)/3)/(1*2/(-138)) a multiple of 8?
True
Let j = 5 + -6. Let y be (-1)/((3/6)/j). Suppose 3*g - 3*z = 15, -y*g - 3*z + 9 + 6 = 0. Does 3 divide g?
True
Let l = -235 + 475. Does 16 divide l?
True
Let j be 1/(1 - 9/8). Let q(n) = -n**2 - 9*n - 8. Let y be q(j). Suppose 0*u + 2*u = 5*c - 96, -5*c + 4*u + 102 = y. Is 18 a factor of c?
True
Let g(f) = f**2 - 4*f + 5. Let q be g(5). Suppose 4*x - 3*p = -15, p - q = 4*x - p. Suppose 3*n + n - 20 = x. Is n a multiple of 4?
False
Let u = 23 - 15. Does 20 divide (-1 + 0)/(u/(-680))?
False
Let o(l) = 9*l - 5 - 5*l + 8*l. Let v be o(4). Suppose -v = 4*p - 163. Is 15 a factor of p?
True
Let f be (-6)/(-21) - 24/(-14). Is 13 a factor of (-204)/(-4) - (1 - f)?
True
Let w = 5 - 0. Suppose -n - n = -4*k - 4, k = w*n - 28. Is n a multiple of 3?
True
Let g = 13 - 10. Suppose -72 = -0*h - g*h. Does 16 divide h?
False
Does 4 divide (3 - 1)*(2 - 0)?
True
Is 12 a factor of 3 + (-1 - -41 - 1)?
False
Let f = 41 + -132. Let o = 72 + -104. Let t = o - f. Does 25 divide t?
False
Let f(d) = 2*d**2 - 4*d. Let y be f(3). Let l = y + -21. Let a = -2 - l. Is a a multiple of 7?
False
Let y(w) = 5*w**2 + 17*w + 7. Let q(u) = 3*u**2 + 11*u + 5. Let n(v) = -8*q(v) + 5*y(v). Is n(5) a multiple of 5?
True
Let d = 1 - -1. Suppose h - 29 + 0 = -d*s, -2*h - 17 = -s. Does 5 divide s?
True
Let n = -3 - -5. Let j(d) = -23*d + 4. Let f(w) = 22*w - 5. Let h(p) = -3*f(p) - 4*j(p). Is 14 a factor of h(n)?
False
Let d(x) be the second derivative of x**4/12 - 2*x**3 + 4*x**2 - x. Let b = 6 - -6. Does 5 divide d(b)?
False
Let u = -58 - -211. Does 17 divide u?
True
Suppose 30 = 4*t - 3*t. Suppose -2*k + t = k. Is k a multiple of 10?
True
Let p(k) = 61*k**3 + k**2 - 2*k. Does 16 divide p(1)?
False
Let m be (-2)/(-9) + 2/(-9). Suppose m = -a - 4*a + 10. Suppose 2*u = -3*u - 4*o + 40, -2*u + 2*o = a. Does 4 divide u?
True
Suppose 3*q + 144 = 2*u, 4*u - 4*q = 285 + 11. Is u a multiple of 13?
True
Let i(h) = 7 + h**2 + 0*h**2 - 6. Let u be i(1). Suppose 3*o + 30 = 4*q + 9, u*o = -4*q + 46. Does 3 divide q?
True
Let o be 187/(-55) + (-4)/(-10). Let i(d) = -d + 2. Let s be i(o). Suppose -25 = -2*w - 2*q + 11, -s*q + 10 = 0. Does 16 divide w?
True
Suppose 0 = 2*q - 2, 7*v + 5*q = 2*v + 475. Is v a multiple of 28?
False
Suppose 2*s + 1238 = 4*n, 4*s - s = 4*n - 1243. Is n a multiple of 13?
False
Let w(u) = -2*u**3 + u**2 - 6*u + 9. Let q(h) = h**3 - h**2 + h - 1. Let d(z) = 3*q(z) + w(z). Let v be d(6). Suppose 0*a - v = -3*a. Does 22 divide a?
True
Suppose 4*r - 96 = -3*h, 4*r + 5*h - 115 = -r. Let a(k) = 3*k**2 + 15*k + 3. Let v be a(-7). Let y = v - r. Does 9 divide y?
True
Let q(b) = 10*b**2 - b - 39. Is q(6) a multiple of 35?
True
Suppose 0*h + 2*h - 12 = -4*p, -5*h - 2*p = -62. Suppose 13*j = h*j - 3. Is j a multiple of 2?
False
Let i(l) = l**2 + 2*l - 1. Let n be i(-4). Let d be n*1 - (4 + -2). Suppose -1 = f - 0*f, -4*t + 33 = -d*f. Is 5 a factor of t?
False
Suppose 15 = -4*d - 3*t - 13, -5*d - 4*t = 35. Suppose -4*y - s + 2*s - 76 = 0, -19 = y - 2*s. Let r = d - y. Is r a multiple of 11?
False
Let j = 5 - 0. Let y(f) = -f**3 + f**2 - f. Let r(p) = 6*p**3 - 7*p**2 + 8*p + 4. Let n(z) = j*y(z) + r(z). Is 11 a factor of n(3)?
True
Suppose -4 = -0*w - 2*w, 101 = d - 5*w. Is d a multiple of 17?
False
Suppose 3*n + 5 - 4 = -5*x, 0 = -4*n - x - 7. Let w(u) = 7*u**2 + 3*u. Is 9 a factor of w(n)?
False
Let g = -27 - -64. Suppose -b + 4*f + 37 = -2, 3*b + 4*f - g = 0. Does 7 divide b?
False
Suppose 0 = b + 2*b - 9. Let q(i) = 7*i + 4. Does 5 divide q(b)?
True
Let h = -30 - -46. Is 8 a factor of h?
True
Suppose 46 = r - 57. Is r a multiple of 5?
False
Let j be (9/6)/(15/40). Suppose 0 = -j*k + 5*k - 3. Does 2 divide k?
False
Let v be 80/15 + (-4)/(-6). Suppose -3*x - 42 = -v*x. Does 14 divide x?
True
Suppose 0 = 7*g - 8*g + 37. Is g a multiple of 33?
False
Let t(p) = -3 - p + 6 + 2 + 0. Is 16 a factor of t(-11)?
True
Suppose -8 = u + u. Let c = u + 8. Is 3 a factor of c?
False
Suppose -2*q = -j - 176, -3*q - 4*j = -j - 282. Does 15 divide q?
True
Let t = 66 - 43. Does 4 divide t?
False
Let g be 174 + (1 - -2) + -4. Let y = 259 - g. Is y a multiple of 26?
False
Suppose 8*h - 3*h = 120. Does 12 divide h?
True
Suppose 19*m - 14*m = 190. Does 10 divide m?
False
Suppose f = 4*f - 105. Does 7 divide f?
Tru