*l + 8 = 4*l - 5*d. Suppose -4*i + 58 - l = t, 2*i = 6. Is 16 a factor of t?
True
Let p = 8 - 11. Is -3 - ((1 - 26) + p) a multiple of 25?
True
Let w = -15 - -17. Suppose 4*b + 54 = n, w*n - b = 4*b + 102. Is 12 a factor of n?
False
Suppose 3*s = s + 4. Suppose -4*l - s*x = -42, -3*l + 5*x + 8 = -17. Is 10 a factor of l?
True
Suppose g = 4*k + 173, -6*g + 4*k = -g - 849. Does 13 divide g?
True
Suppose 2*t = 24 + 26. Suppose 0*o + t = 5*o. Suppose -4*n + 74 = o*c, 0*n - 54 = -4*n + 5*c. Does 16 divide n?
True
Let k(h) = -3*h. Let x be k(-3). Let d = 75 + -54. Let w = d - x. Is 6 a factor of w?
True
Does 27 divide (103/(-2))/(2/(-4))?
False
Let w = 79 + -32. Is w a multiple of 12?
False
Let g = 4 + -5. Let q(k) = -13*k - 5. Let w(z) = 25*z + 11. Let x(t) = 13*q(t) + 6*w(t). Is x(g) a multiple of 15?
False
Let z(a) = 3*a - 9. Let l be z(9). Let f = l + 10. Does 14 divide f?
True
Suppose 760 = 5*v - 0*v. Suppose -4*k = -0*k - v. Let n = 58 - k. Is 11 a factor of n?
False
Let j be 0/1 + 30/15. Suppose 5*w - j*v - 49 - 192 = 0, 0 = -3*w + 3*v + 150. Does 24 divide w?
False
Let o(a) = -4*a**3 - 2*a**2 + 2*a - 1. Let q be o(1). Let n = q + 60. Let x = n - 1. Is x a multiple of 20?
False
Is 3*1*(-2)/3 - -72 a multiple of 7?
True
Let s be 88/(-24) - (-1)/(-3). Let h(r) = -r**3 - 4*r**2 + 2*r - 2. Let g be h(s). Does 5 divide 2*(g/4)/(-1)?
True
Suppose 2 = 5*p - 3. Let w be 18/(-45) + (-177)/(-5). Let x = w - p. Does 17 divide x?
True
Suppose -2*m - 13 - 93 = 0. Let b = m - -81. Does 14 divide b?
True
Let t(c) = c**2 - 15*c - 9. Let w be t(17). Let x = 58 + 60. Is 8 a factor of x/5 - (-10)/w?
True
Let a = 222 + -153. Does 23 divide a?
True
Suppose 2*t = 162 - 34. Let z = 96 - t. Is 20 a factor of z?
False
Let f = 31 + -5. Suppose -5*d = 5*s - 195, d = 4*s - 3*d - 156. Let c = s - f. Does 13 divide c?
True
Suppose -6*m + 97 - 13 = 0. Is 14 a factor of m?
True
Let g be (-24)/40 + (-326)/(-10). Let p = g + 68. Does 27 divide p?
False
Let y(c) = c**2 - 2*c + 1. Let d be y(2). Let a be ((-122)/(-4))/(d/2). Is a/3 + (-1)/3 a multiple of 10?
True
Let x be 0/((3 - 1) + -5). Suppose 5*k + l = 155, -2*k - l - l + 70 = x. Is k a multiple of 15?
True
Let t(a) = -a**3 - 13*a**2 - 13*a + 8. Suppose 2*n - 10 = -0*n. Suppose 9 = -n*x - 51. Is t(x) a multiple of 9?
False
Let a(s) = -s**2 + 8*s + 3. Suppose 0 = -v - 3*v + 28. Is a(v) a multiple of 3?
False
Let p(y) = -y**3 - 5*y**2 + 6*y + 3. Let b be p(-6). Suppose -12 = -4*r, -5*o + b*r + 2*r = -135. Does 13 divide o?
False
Let j = -4 + 7. Suppose -j*h = -32 - 16. Is 4 a factor of h?
True
Let c(x) = x**3 + 18*x**2 - 13*x - 27. Does 10 divide c(-18)?
False
Let o(x) = 25*x - 3. Does 18 divide o(3)?
True
Let a(s) = s**2 - 2*s + 9. Is 8 a factor of a(6)?
False
Let u = -29 - -52. Is 23 a factor of u?
True
Let y be (-4)/(-14) + (-47)/(-7). Suppose -h = -5*o + 21, 2*h - y*h = -3*o + 17. Is 2 a factor of o?
True
Suppose 0 = 5*s - 3*r - 974, 4*s - 2*r - 211 - 567 = 0. Is 27 a factor of s?
False
Suppose 4*v + 0*v + 318 = 3*a, -5*v - 106 = -a. Let z = a + -76. Is 10 a factor of z?
True
Is (288/60)/((-4)/(-30)) a multiple of 4?
True
Let r(i) = i**3 + 11*i**2 + 12*i + 7. Is 6 a factor of r(-8)?
False
Let g = 59 + -13. Is 23 a factor of g?
True
Let a(k) = k. Let v be a(3). Suppose 5*s + 79 = n + 227, v*n - 66 = -2*s. Is 10 a factor of s?
True
Let r = 7 + -3. Suppose 96 = -2*u + r*u. Is u a multiple of 24?
True
Let l = -3 - -9. Is 9 a factor of (-2)/l - (-56)/6?
True
Let w = -15 + 3. Is (-48)/(-2*(-9)/w) a multiple of 12?
False
Let r(w) = -w**3 + 8*w**2 + 11*w + 5. Is r(8) a multiple of 31?
True
Let s = 3 - -2. Suppose 5*d - 14 = q, q - s*q = -3*d - 12. Is 3 a factor of q?
True
Let l(t) = 1. Let p(u) = 2*u**2 - 3*u - 7. Let o(h) = 4*l(h) + p(h). Is o(4) a multiple of 7?
False
Let j be (-2)/4*-34*1. Suppose j + 13 = 2*u. Let h = u + -3. Is h a multiple of 12?
True
Suppose 4*w = 3*f + 2*f - 200, 122 = 3*f - 2*w. Does 37 divide f?
False
Let g(k) = -k**3 - 4*k**2 + 3*k - 8. Let l be g(-6). Suppose 3*n - 8 - l = 0. Is n a multiple of 7?
False
Let v be (-3 - 1) + 3 - 3. Does 10 divide (4 - -1)/(v/(-20))?
False
Suppose -2*y = q + 2*y, -4*q - 3*y = -13. Suppose 3*m = q*j - 77, -4*j = -7*j + m + 54. Is j a multiple of 9?
False
Suppose 4*o - 3*o - 2*j = 219, -2*o = -5*j - 437. Suppose 6*k - k + 2*t + 277 = 0, -t - o = 4*k. Is 18 a factor of k/(-3) + 1/(-3)?
True
Suppose -348 = -2*p + 4*a, 0*p = 4*p - 3*a - 701. Does 44 divide p?
True
Let i be 12/42 - 24/(-14). Suppose 2*n = -3*u + i*u + 11, -9 = -3*n - 4*u. Suppose n*y = 4*y + 72. Is 15 a factor of y?
False
Suppose 15*a - 1680 = 5*a. Is 14 a factor of a?
True
Let t = -2 - -4. Let n(g) be the second derivative of g**5/5 - g**4/3 + g**3/6 + g**2 - 3*g. Is n(t) a multiple of 12?
False
Let b(w) = 2*w**2. Does 4 divide b(2)?
True
Let f = 2 - 2. Let x = f - -6. Is x a multiple of 6?
True
Suppose -3*w + w = -4*y + 2, y = 2*w - 7. Suppose h + 5*l = 21, 0 = y*l - 9. Is h a multiple of 6?
True
Let i = 53 + -31. Is i a multiple of 8?
False
Let z(p) = -1 + 0*p - 6*p - 4 - p**2. Let c be z(-5). Suppose -2*a + 56 = -4*y, c*y - 127 = -5*a - 3*y. Is a a multiple of 13?
True
Is ((-117)/(-6))/(-13) - 123/(-2) a multiple of 5?
True
Let k be 31 + (-9)/(1 + -4). Suppose -5*f = -2*b + k, f + 4*f + 6 = -2*b. Is b a multiple of 6?
False
Suppose 0 = 5*f - 3*k - 56, -4*f - 5*k - 2 = -32. Is (f - 5)*24/10 a multiple of 10?
False
Suppose -2*n + 2 = -3*n. Let z = 17 + n. Is z a multiple of 14?
False
Let l(w) = w + 7. Does 10 divide l(3)?
True
Let p = 4 - -43. Suppose 4*j = 3*j + p. Suppose -10 = 5*b, -7*b = 5*d - 3*b - j. Is 8 a factor of d?
False
Let t = 4 + -4. Let c be (-6)/(-1) + 2 + t. Is (-98)/(-8) - 2/c a multiple of 6?
True
Let w(z) = 2*z**2 - 5*z - 6. Let l(n) = n**3 + 6*n**2 + 4*n. Let h be l(-5). Is w(h) a multiple of 8?
False
Let k(z) = -z**2 + 6*z + 3. Let c = -10 - -15. Let l be k(c). Does 6 divide (-6)/l*12/(-1)?
False
Let k = 4 + -4. Suppose 0*u + 4*u - 20 = k. Suppose 0 = -2*f + u*a + 85, -4*f + 0*f = -3*a - 135. Is f a multiple of 15?
True
Let j = -4 + 7. Suppose j*m = m. Suppose -2*q = -4*d - 60, 5*q + m*d = 4*d + 132. Does 24 divide q?
True
Suppose 6*r - 174 = 6. Does 12 divide r?
False
Suppose -80 = -4*c - 5*t, 3*t - 57 = -2*c - c. Let u = -3 - -28. Let z = u - c. Is 4 a factor of z?
False
Let h be 6/(-21) - (-33)/(-7). Let s = h - -8. Suppose -s = 5*t - 33. Is 6 a factor of t?
True
Let w = 11 - -116. Is 20 a factor of w?
False
Suppose 4*q + i + 103 = 4*i, -q - 2*i = 12. Let w be (-128)/q + 14/77. Let f = -3 + w. Is f a multiple of 3?
True
Let t = 77 + -47. Suppose -n + 19 = 3*w, -5*w - 5*n + t = -3*w. Is w even?
False
Is 20*((-21)/(-4))/1 a multiple of 35?
True
Let i = -4 + -2. Does 19 divide -66*3/(3 + i)?
False
Let j(z) = 3*z - 13. Is 3 a factor of j(6)?
False
Let l(c) = -c**3 + c**2 - c + 1. Is 15 a factor of l(-2)?
True
Let w be (-9)/6*(-392)/6. Let q = w - 68. Does 10 divide q?
True
Let v = -11 + 18. Is 7 a factor of v?
True
Let c(u) = u - 6. Let d be c(5). Let g be (-4)/(-3 - d) + 28. Let m = g - 10. Is m a multiple of 13?
False
Let f(l) = l**2 - 6*l + 2. Let r be f(4). Is 7 a factor of 5/((-15)/r)*8?
False
Let n = -2 - -3. Suppose 3*z + i - 6 = 0, 4*z + n - 16 = i. Suppose -5*d - 350 = -5*h, -z*h - h + 256 = 4*d. Is h a multiple of 23?
False
Let y(q) = -3*q - 6. Does 7 divide y(-9)?
True
Let x(q) = q**3 - q**2 - 3*q. Is 9 a factor of x(3)?
True
Is (-177)/(-4) - 2/8 a multiple of 22?
True
Suppose 4*h + 23 = -0*n + n, 0 = 5*n + 3*h. Suppose -n = -0*i - i. Is 3 a factor of i?
True
Suppose 3*h = 5*a - 9 - 13, -4*h + a - 1 = 0. Let j be 0*(5/(-2) + 2). Does 2 divide (j/1 + 2)*h?
True
Suppose 5*q + 5 = 0, -3*m - q = -93 + 4. Is 10 a factor of m?
True
Let t(c) = -2*c + 4*c - c + 6. Is t(5) a multiple of 11?
True
Suppose 0 = -4*u + 2*p + 826, 5*u - 587 - 447 = 2*p. Suppose 2*z + u = 6*z. Suppose 0 = 4*d - 8, -3*t - 4*d = -2*d - z. Is 12 a factor of t?
False
Let s(h) = h**3 + 9*h**2 + 12*h + 4. Is 7 a factor of s(-7)?
False
Let f(m) = 2*m - 4. Let l be f(4). Suppose l*w + 0 - 4 = 0. Suppose -2*t + 4*z - w - 1 = 0, -12 = -3*z. Does 7 divide t?
True
Let q = -62 + 18. Suppose 0*a = 2*a + 8, 4*m - a + 20 = 0. Is q/m - (-8)/12 a multiple of 4?
True
Suppose 228 = b - 2*w, 4*b + 2*w - 3*w = 919. Is 46 a f