d) = -d**3 - 2*d**2 - 2*d - 5*d**2 - d**2. Let l(x) = 2*x + 4. Let a be l(-6). Does 8 divide m(a)?
True
Let l = 4 + 0. Let i be 427/(-21) - l/6. Does 9 divide (-63)/(-6)*(-36)/i?
True
Suppose 0 = j - 0*j - 89. Is j a multiple of 18?
False
Let g = -6 + 14. Suppose -2*d + 46 = -g. Is 12 a factor of d?
False
Let t(f) be the first derivative of -f + 3 - 9/2*f**2. Does 3 divide t(-1)?
False
Let f = 7 - 5. Let o = -14 - f. Let a = o + 54. Does 17 divide a?
False
Is 30/20 + 141/2 a multiple of 24?
True
Let i = 191 - 135. Is i a multiple of 30?
False
Let q = 65 + -94. Let w = 76 + q. Is 15 a factor of w?
False
Suppose v - 54 = -2*v. Does 3 divide ((-5)/(15/v))/(-1)?
True
Let q be 1 + (1 - (-20)/(-2)). Suppose 0*v + 5*n + 10 = -4*v, 0 = 4*n + 8. Let i = v - q. Is i a multiple of 4?
True
Let v be (-726)/(-11) - (1 - 1). Suppose -7*n + 5*n + v = 0. Is n a multiple of 33?
True
Let f be (-22)/(-4) + (-1)/2. Suppose f*g - 255 = -0*g. Is 19 a factor of g?
False
Let b be 0 - 0/((-4)/(-4)). Suppose b*g = g - 10. Is 10 a factor of g?
True
Suppose -6*j + 7*j - 142 = -3*i, i + 312 = 2*j. Is j a multiple of 11?
True
Let r(c) = -c**2 - c + 1 + 0*c - 9*c. Let u(h) = -5*h + 2. Let a be u(2). Is 16 a factor of r(a)?
False
Let d(u) = -2*u**2 + 9. Let b(o) = 5*o**2 + o - 19. Let n(x) = 3*b(x) + 7*d(x). Suppose -r + 12 = -4*r. Does 10 divide n(r)?
True
Let t be -5 + 1 + 4/(-4). Let x = 19 - t. Is x a multiple of 5?
False
Suppose 300 = 6*l - l. Does 10 divide l?
True
Let i(j) = j**3 - 13*j**2 + 11*j + 15. Let w be i(12). Suppose x + h = 33, -5*x - w*h + 181 = -2*h. Let g = -1 + x. Is 18 a factor of g?
True
Let a = 28 - 56. Is (96/a)/((-4)/28) a multiple of 12?
True
Let v = -3 - -14. Is v a multiple of 7?
False
Is 88576/448 - -1*2/7 a multiple of 11?
True
Suppose -3*f = -v, -5*f = v - 6*v - 20. Is 2 a factor of -4 + 2 - (v + 2)?
True
Let s(j) = 15*j**3 - j**2 - j + 1. Is s(1) a multiple of 3?
False
Let w(t) = -t**2 + 4*t + 7. Let p be w(5). Suppose 2*r - 20 = -3*r. Suppose -4*c - 48 = -r*i, -c = -p*i - 2*c + 36. Does 10 divide i?
False
Let j(n) = n**2 - 8*n - 1. Suppose -3*k + 2*i = -2*k - 13, 3*k - 36 = 3*i. Is 13 a factor of j(k)?
False
Let y = 104 + -36. Does 23 divide y?
False
Let u(t) = t + 8. Does 5 divide u(8)?
False
Let t be ((-3)/2 + 2)*134. Suppose -22 = -3*c - t. Let x = c + 24. Is x a multiple of 9?
True
Suppose 32 = b + 2*q - 14, 196 = 4*b - 4*q. Does 16 divide b?
True
Suppose 4*j + 0*j = 12. Suppose -j*o + 178 = 2*n, -2*n = 3*n + 5*o - 450. Does 25 divide n?
False
Suppose 4*c + 112 = -0*h + h, -2*c = -4*h + 70. Let a = -1 - c. Does 13 divide a?
True
Let y(r) be the first derivative of 1 + 5/2*r**2 + 4*r. Does 12 divide y(4)?
True
Let m be 2/(-1) + (-8)/(-2). Suppose 2*n + m*n = 28. Is 7 a factor of n?
True
Suppose -8 = -g + 43. Is g a multiple of 17?
True
Let i(j) be the second derivative of -j**3/6 + 9*j**2/2 - 2*j. Let n = 2 - 2. Is 9 a factor of i(n)?
True
Let g(u) = 2*u**3 + 5*u**2 + 8*u + 4. Let o(b) = 3*b**3 + 6*b**2 + 9*b + 5. Let l(q) = -5*g(q) + 4*o(q). Is 11 a factor of l(3)?
True
Let h(c) = -2*c**2 - 2. Let q(s) = s**2 + 2. Let t(x) = -3*h(x) - 4*q(x). Let z be 5*10/75*-3. Is t(z) a multiple of 3?
True
Suppose -p + 3*u - 9 = 0, 2*p + u = -u + 22. Let c = 8 - p. Suppose -4*y = -3*l + c - 1, 0 = -2*l + y + 9. Is 2 a factor of l?
False
Let v(a) = -6*a - 1. Let x be v(-8). Suppose -q - 4*c + x = -0*q, -5*c + 10 = 0. Is 13 a factor of q?
True
Suppose -2*j + 3*n - 10 = 0, -j - 8*n + 4*n = -6. Let q = j - -8. Is 6 a factor of q?
True
Suppose -i - 3*s + 77 = 0, -4*i = -2*i - 2*s - 162. Suppose i = 5*w - 0*w. Is 16 a factor of w?
True
Suppose -2*k - p + 3 = 0, -4*k - 2 = -2*p + 4. Let b = 1 + k. Does 15 divide (b + -2)*45/(-3)?
True
Let p(g) = 13*g**2 + 2*g. Is 16 a factor of p(-2)?
True
Suppose -4*f + 3*y + 20 = 0, 4*f - y = -0*y + 20. Let k(d) = d**2 + 2*d - 3. Let l be k(4). Suppose -f + l = 2*z. Is z a multiple of 4?
True
Let a = -29 + 94. Suppose 5*n - 15 - a = 0. Is 8 a factor of n?
True
Suppose -3*m + 47 = 2*r, -5*m + 14 = r - 13. Is 11 a factor of r?
True
Let i(c) = 2*c**2 - 3*c + 2. Let b be i(2). Suppose -7*w = -b*w - 3. Is 21 a factor of w - 3*(-20)/3?
True
Suppose -4*c - 41 = 19. Let k = 122 - 274. Does 9 divide k/(-10) + 3/c?
False
Let s = -175 - -301. Is 14 a factor of (1 - 0)/(9/s)?
True
Suppose -4*m + 56 = m + 2*w, 5*m - 62 = w. Does 6 divide m?
True
Suppose -2*o + 2 = -2*j - 2, 2 = o - 3*j. Suppose -2 = -2*q + o. Suppose 0 = -q*m + 3*m - 8. Is m a multiple of 3?
False
Let o = 6 + -8. Let h = 2 - o. Is h a multiple of 4?
True
Let h = -8 + 16. Let c(f) = -f**2 + 11*f - 8. Is c(h) a multiple of 6?
False
Suppose -u + n = -n - 27, -5*n + 20 = 0. Is u a multiple of 7?
True
Let x(w) = -w**2 - 6*w - 7. Let i be x(-6). Let p = 4 + i. Is 4 a factor of (p/(-2))/((-3)/(-16))?
True
Let m = 9 - 6. Suppose -5*v = -4*v - m. Suppose -3*x = 4*s - 48, v*x + 12 = s - 0*x. Is s a multiple of 12?
True
Suppose 6 + 18 = -2*u. Let s = 8 + -30. Let f = u - s. Is f a multiple of 5?
True
Let v = -16 - -22. Does 4 divide v?
False
Let b be 162/21 - (-4)/14. Suppose 5*l + s + s = 20, 3*s + b = 2*l. Suppose -l*z + 5*z - 2*v - 4 = 0, 20 = 5*z - 3*v. Is z even?
True
Suppose -o - 16 = -4*l - 108, 3*l = 5*o - 511. Is 5 a factor of (-6)/(-42) - o/(-7)?
True
Let y = -8 - -3. Is 2 a factor of (-2)/(-4)*-2*y?
False
Suppose -3*b - 6 = d, 2*d = 6*d - 4*b - 8. Suppose d = -4*h + 36 + 12. Is 11 a factor of h?
False
Let f(d) = -d + 1. Let i be f(-3). Suppose 0 = o + 2*h + 5, i*h + 25 = -0*o + 3*o. Suppose 53 = 5*s + o. Is 7 a factor of s?
False
Let l = 14 - -17. Is l a multiple of 15?
False
Let i(v) = v**3 - 7*v**2 - 9*v + 10. Let k be i(8). Suppose 4*n - x + 32 = 0, -4*n - 4*x + 0*x = 32. Let f = k - n. Is f a multiple of 4?
False
Suppose 8*x - x = 756. Is 12 a factor of x?
True
Is -3 + ((-1)/1)/((-8)/400) a multiple of 28?
False
Let d be 242/4 - 2/4. Let h(g) = -g - 7. Let l be h(-9). Suppose l*c = -c + d. Is 10 a factor of c?
True
Suppose 0 = -5*h - 3*f + 172 - 32, h - 28 = -3*f. Is h a multiple of 9?
False
Let l(z) = 0*z**2 + z + z**2 - 14*z**3 - 8 + 9. Is l(-1) a multiple of 9?
False
Suppose -4 = -4*b - 0. Is 4 a factor of (7 - 2)*(b - -2)?
False
Let c = -6 + 12. Let i(k) = k**3 - 7*k**2 + 7*k + 5. Is i(c) a multiple of 11?
True
Let l = 6 + -1. Let p be 225/6 - 2/4. Suppose p = l*j + 7. Is j a multiple of 6?
True
Suppose -568 + 189 = -5*x + o, -12 = 3*o. Is x a multiple of 8?
False
Is 5 a factor of (4 - (-14)/(-5))/(2/35)?
False
Let k be 4/(-10) - 188/5. Suppose -w = -2*w + v - 15, 4*w - 5*v + 55 = 0. Let r = w - k. Is 9 a factor of r?
True
Suppose 2*m = 5*b - 2*b - 6, 0 = -b + 4*m + 12. Suppose 36 = -b*w + w. Is 16 a factor of w?
False
Let x = 17 - 13. Is 19*(x + 6/(-3)) a multiple of 14?
False
Let o(k) = -k**2 + 6*k. Let m be o(5). Suppose -m*b + 13 - 66 = -4*u, 4*u - b = 49. Let x = 30 - u. Is 14 a factor of x?
False
Let r(m) = -6*m**3 + 5*m**3 + 4*m**3 - 5*m**3. Does 5 divide r(-2)?
False
Suppose 0 = 5*h - 4*z - 90, -2*h = 3*z + z - 8. Let l(g) = -g**2 + 4*g + 5. Let i be l(5). Suppose 2*j - j - h = i. Is j a multiple of 14?
True
Let x(j) = -j**3 + 4*j**2 - 3*j + 2. Let s(v) = v**2 + 3*v + 3. Let h be s(-3). Let f be x(h). Suppose -f*m + 3 = -9. Does 6 divide m?
True
Suppose 32 = -0*y + 2*y. Let z be (y/(-6))/(4/(-6)). Suppose -5*d = -z*d - 16. Is d a multiple of 8?
True
Suppose -3 = -r - 3*c - 17, -2*c - 16 = 4*r. Let z(u) = -2*u + 1. Let s be z(r). Suppose 3*d + 108 = 3*l - 0*l, l = s*d + 56. Is 14 a factor of l?
False
Let s be (-22)/(-6) - 3/(-9). Suppose -4*t + 53 = 29. Suppose -7 = -u + m, -2*m = -s*u - t*m + 52. Is u a multiple of 10?
True
Does 27 divide (6/8)/(1/252)?
True
Let r(v) = 89*v**3 - 2*v**2 - 2*v - 1. Let o be r(-1). Let a = 134 + o. Suppose -3*j + a = 4*l - 2*j, 64 = 4*l - 4*j. Does 12 divide l?
True
Let z(j) = -j**2 + 12*j - 2. Suppose 0 = 2*n - 0*n - 16. Is 15 a factor of z(n)?
True
Is -1 + -30*(-2 - -1) a multiple of 4?
False
Let d be 1/(-2) + (-225)/(-6). Let w = 9 - 6. Suppose 5*n - 115 = -5*u, -w*n - d = -2*u - 8*n. Is 16 a factor of u?
False
Suppose -3*g - 36 = -4*g. Let t = 10 - g. Let s = t - -48. Does 11 divide s?
True
Let m = 104 - 29. Is 25 a factor of m?
True
Suppose -u = 5*n + u - 274, 4*n + 4*u - 212 = 0. Suppose -2*w + n = 2*w. Is 7 a fa