 l(x) = 32*x**3 - x**2 - 2*x - 1. Let w be l(-1). Let b = -3 - w. Suppose 0*f - 2*s + b = 5*f, -5*s = f - 15. Is 2 a factor of f?
False
Let t be (0 + 1)/(1/5). Suppose -k = -t + 2. Is (1 - k) + (-64)/(-4) a multiple of 14?
True
Is 5 a factor of 4 + (-1 + 1 - 2*-42)?
False
Let j be (8/(-16))/(2/80). Let c(b) = -b**3 - 5*b**2 - 3*b - 4. Let y be c(-3). Let u = y - j. Is 3 a factor of u?
False
Suppose 8 + 12 = 4*z. Suppose 3*y - 47 = 2*b - 0*b, -z*y + 83 = -b. Suppose -3 = -4*x + y. Is 5 a factor of x?
True
Let k be 34/(1 - -3 - 2). Let q = 30 - -5. Let s = k + q. Is 17 a factor of s?
False
Suppose -20 - 40 = -5*a. Suppose a = -3*u - 0. Let h(f) = -f**3 - 3*f**2 - 2*f - 1. Is h(u) a multiple of 23?
True
Suppose m + 12 - 2 = 0. Suppose 0 = -s - 9 - 6. Is s/m*1*4 a multiple of 3?
True
Let l(r) = -r**2. Let f(w) = -w - 2. Let u be f(-4). Let a be l(u). Is 14 a factor of (-82)/3*6/a?
False
Let g be (-62)/(-5) + 4/(-10). Suppose -5*t = -h - g, -3*h + 2*t + 3*t = 6. Suppose h*a = 6*a - 96. Is 10 a factor of a?
False
Suppose -4*z = -c + 3, -4*c + 6 = -3*z - 6. Let h be (-10)/(-5) + z + 0. Suppose 2*f + h*f - 104 = 0. Is 17 a factor of f?
False
Let l(f) = f**3 - 5*f**2 - 2*f - 7. Let t be l(5). Let m = 28 + t. Is m a multiple of 11?
True
Suppose -3*m = -m - 52. Does 17 divide m?
False
Suppose -12 = 4*j, 0 = -3*h + 2*j + 3*j + 24. Is (0 + 1/h)*42 a multiple of 4?
False
Suppose 132 = 7*y - 57. Is y a multiple of 9?
True
Let h = -12 - -15. Suppose 0 = v + 2*v + 3*j - 78, h*j = -4*v + 102. Is 19 a factor of v?
False
Let q = 46 - 26. Suppose -4*x - 4*t + 4 + 44 = 0, 0 = 5*t - q. Is x a multiple of 4?
True
Let x = 186 - 124. Is 12 a factor of x?
False
Does 10 divide (39 - 9)/(6/4)?
True
Suppose -2*n + 3*g = -177, g = -4*n + 75 + 286. Is n a multiple of 18?
True
Let o(t) = -3*t - 11. Does 2 divide o(-5)?
True
Let c(z) = 2*z - 6. Let m be c(4). Let t(q) = 5*q**2 - 4*q + 2. Is t(m) a multiple of 7?
True
Suppose -4 = -5*b + 6. Let i = -1 + b. Does 9 divide (i + 5)/(2/3)?
True
Suppose 0 = -x + 5, 4*d - 8*d + 43 = 3*x. Is d a multiple of 2?
False
Suppose 5*x - 5 = 5*h, 3*h + 1 + 7 = 4*x. Suppose -220 = -h*j - j. Let r = j - 16. Is 14 a factor of r?
True
Let q(s) = -2*s**3 - s**2 - s + 1. Let b be q(1). Is b/(9/(-15)*1) a multiple of 2?
False
Let t be 10*(-4)/30*-3. Suppose 110 = p + t*p. Is p a multiple of 11?
True
Suppose 4*v = 7*t - 2*t - 10, 4*v = 4*t - 8. Suppose -4*l - j = -57, l - t*j + 3 = 24. Is 3 a factor of l?
True
Let w be 0 + 6/3 + 39. Let j be (-1)/(-3) + w/3. Let x = j - 2. Does 12 divide x?
True
Suppose 0 = 6*a - 3*a - 63. Suppose -a = -3*u - 6. Is 4 a factor of u?
False
Suppose -5*h = -34 + 4. Let d = 5 + h. Is 11 a factor of d?
True
Let f(u) = -2*u**3 - 4*u**2 - 2*u + 2. Is 3 a factor of f(-2)?
True
Let x = -10 + 65. Is 11 a factor of x?
True
Let q = -3 - -6. Let y be q + -21*2 + 1. Let b = -23 - y. Does 5 divide b?
True
Let a(c) = c - 1. Does 5 divide a(6)?
True
Suppose -s + 8 = 3. Suppose 3*q + 11 = s. Is 79/3 - q/(-6) a multiple of 15?
False
Let a(k) = k**3 - 13*k**2 - 18*k + 18. Let h be a(14). Let n = -16 - h. Is n a multiple of 20?
False
Is 0 + 83/(4/4) a multiple of 24?
False
Let g(d) = d**2 + d + 1. Is g(-5) a multiple of 8?
False
Suppose -1 = 3*p - 10, x - 94 = -4*p. Does 7 divide x?
False
Let j(i) = i**3 - 6*i**2 - 5*i - 9. Does 2 divide j(7)?
False
Suppose 7 - 47 = -2*m - y, m - 2*y - 10 = 0. Is 18 a factor of m?
True
Let o = 10 + -12. Is (o + 14/(-4))*-2 a multiple of 4?
False
Suppose -2400 = 3*j - 13*j. Is j a multiple of 30?
True
Suppose l + 17 = -5*h, -2*l = l + 4*h + 7. Suppose l*y - 95 = -2*y. Does 7 divide y?
False
Let u(l) = -59*l + 2. Is u(-2) a multiple of 12?
True
Let d = 20 + -16. Suppose 0 = -p + d*y - 2, 2*p - 3*y = 5*p - 69. Is p a multiple of 6?
True
Let z(a) = 4 + 6*a**3 - 4*a**2 - 2*a**3 - 2*a**3 - a. Let l be z(3). Suppose 4*s - 123 + l = 0. Is 13 a factor of s?
True
Let d(s) = -s**2 + 3. Let y be d(0). Suppose -5*n = 5, -8*n = 4*m - y*n - 39. Let i = 25 - m. Does 7 divide i?
True
Let n be (-6)/2*(1 - 8). Suppose 0 = t - 2*t + n. Is t a multiple of 7?
True
Let l(v) = v**3 + 18*v**2 + 32*v - 15. Is l(-15) a multiple of 12?
True
Let y be 297/(-6) + (-1)/2. Let k = y - -107. Suppose 0 = 4*t + n - k, 4*t - 51 = -4*n + n. Is 15 a factor of t?
True
Let y = 38 + -18. Is 14 a factor of y?
False
Suppose m - 10 = -3*d, m - 33 = -3*m - 5*d. Suppose m = b - 0. Is b a multiple of 3?
False
Let b = 7 - 4. Suppose -7 = b*n + 5. Let g(w) = -w**3 - 4*w**2 - w - 2. Is g(n) a multiple of 2?
True
Let a(h) = -h - 3. Let x(u) = u + 3. Let c be x(-8). Let d be a(c). Suppose d*l = -0*l + 16. Does 8 divide l?
True
Suppose x - 3*x + 16 = 0. Let n be 0 + -2 + (x - -1). Let p(k) = k**3 - 6*k**2 - 5*k - 1. Is p(n) a multiple of 8?
False
Suppose 84 + 51 = 3*h. Is 12 a factor of h?
False
Suppose 0 = -4*k + v + 24, -3*k + 3*v - 6*v = -3. Let w(n) = -6*n - n**2 - k*n**2 - 1 + 5*n**2. Is 4 a factor of w(-4)?
False
Let c be (-56)/12 + 4/6. Let l = 15 + c. Does 11 divide l?
True
Let f(w) = 3*w - 7. Let d be f(6). Let v = d - -56. Does 17 divide v?
False
Let j(o) = -3*o**2 - 5*o + 7. Let v be j(-5). Let b = 0 - v. Is 15 a factor of b?
False
Let n be 22/6 - (-6)/(-9). Suppose -3*x = 0, -b - 1 = -n*x - 0. Does 10 divide -29*(1 - 0)/b?
False
Is 0 + (-112)/(-3) - (-1)/(-3) a multiple of 37?
True
Let k be -1*-2*(-15)/(-6). Suppose -2*x = -5*f - 24, k*x = -f - f + 31. Is x a multiple of 5?
False
Is 12 a factor of (6 + (-165)/20)/(3/(-112))?
True
Let b be (-6)/4 + 2/(-4). Let t(i) = -26*i + 2. Let f be t(b). Let m = f - 38. Is m a multiple of 8?
True
Let j(a) = a**2 - 5*a + 4. Let p be j(6). Let y = p - 3. Suppose 0 = 3*h - 5*s + 2*s - 33, 2*h - y = 5*s. Is h a multiple of 8?
True
Let y(t) = -6*t - 8. Is 8 a factor of y(-8)?
True
Suppose 3*a - 408 = -2*t - 0, 209 = t - a. Is 69 a factor of t?
True
Let q be -1 - 0 - (-13 + -1). Suppose -23 = -3*h + q. Is h a multiple of 6?
True
Let g(j) = j + 1. Suppose 2*q - 1 = 3*q. Let i(t) = -t. Let s(l) = q*g(l) + 2*i(l). Is 3 a factor of s(-3)?
False
Let k = -4 - -6. Suppose 0 = -5*n - j + 64, 0*n + 4*j - 22 = -k*n. Does 11 divide n?
False
Let c = 4 + 0. Is ((-6)/10)/(c/(-220)) a multiple of 10?
False
Let n = -52 + 97. Let d be 18/n + 13/5. Suppose 0 = -x + d + 21. Is x a multiple of 12?
True
Suppose d - 40 = -14. Does 13 divide d?
True
Suppose -5*k = 5*o - 1895, 5*k = 3*k - 2. Suppose -3*z + 4*q + 210 = q, 5*z + q - o = 0. Suppose 3*u = c + 32, 2*c = -5*u - 7 + z. Is u a multiple of 6?
True
Suppose r + 2*j - 5 = 4*j, 0 = -5*j. Suppose r*l + 59 = v + 3*v, 5*v - 81 = -l. Does 6 divide v?
False
Does 7 divide (55/(-10) + 4)*(-26 + -2)?
True
Is 1/(-4) + (-802)/(-8) a multiple of 10?
True
Let v = -26 - -47. Does 11 divide v?
False
Does 34 divide 1962/(-24)*16/(-6)?
False
Let t(v) = -2*v. Let x be t(-3). Let y(r) = -x*r - 2*r + 2*r. Does 17 divide y(-6)?
False
Let a(p) = p**2 + 5*p - 7. Let g be a(-6). Does 3 divide (-2)/(-3)*(17 - g)?
True
Let d(m) = -m**3 + 10*m**2 - m - 8. Let z be d(10). Let n = z + 44. Is n a multiple of 11?
False
Let a be 2*(-51)/(-6) - 0. Suppose 4*f - 1 = -a. Is (-2 - -20) + 2 + f a multiple of 7?
False
Suppose r - 98 = 4*m - 24, -12 = -4*m. Is r a multiple of 17?
False
Let u(v) = 1 + 7*v + 7*v - 20*v. Let n be 4/(-18) + (-88)/9. Does 23 divide u(n)?
False
Let o(v) = -v**2 - v + 5. Let q be o(4). Let s = 23 + q. Does 3 divide s?
False
Let h be (-6)/3 - (4 + 0). Let f(v) = -8*v - 9. Is 21 a factor of f(h)?
False
Let d = 89 + 46. Is d a multiple of 15?
True
Suppose 0*x = x - 30. Does 8 divide x?
False
Suppose k + 3 = -1. Let h(s) = -s**3 - 3*s**2 + 4*s + 4. Let f be h(k). Suppose -91 = -f*z - x, x - 23 + 1 = -z. Does 12 divide z?
False
Suppose 3*k + 153 = 6*k. Does 16 divide k?
False
Suppose -20 = 2*f - 7*f. Is 15 a factor of (f - 28/(-8))*2?
True
Suppose -14 = -5*s + 16. Does 6 divide s?
True
Suppose -3*u = -2*q + u + 8, 0 = -3*q + u + 37. Is q a multiple of 4?
False
Let m be 1/(-2)*(-1 - 3). Is (-2 - 32)/(m - 3) a multiple of 17?
True
Is (-2 + 11*4)/1 a multiple of 14?
True
Let m = -3 - 1. Is -57*(-2)/(-12)*m a multiple of 19?
True
Let u(n) = n**3 + n**2 - 2*n - 4. Does 13 divide u(3)?
True
Suppose 11*p = 8*p + 456. Is p a multiple of 26?
False
Let u = 1 - -4. Suppose -10 = -5*p, 0 = s + u*p + 3 - 36. 