 + 5. Suppose -4*c = -2*l + c + i, 4*l = c + 65. Is 15 a factor of l?
True
Let b = 74 - 36. Is b a multiple of 18?
False
Let g(a) = a**2 - 8*a + 15. Let i(u) = -2*u. Let s be i(-3). Does 3 divide g(s)?
True
Let a(k) = -k**2 - 5*k + 1. Let l be a(-5). Is 18 a factor of ((-2)/(-6))/(l/129)?
False
Let a(l) = -6*l + 5. Let p be a(4). Let f = p - -27. Does 8 divide f?
True
Suppose -5*x + 440 = 4*t, 2*t = 5*t + x - 319. Is 15 a factor of t?
True
Let w(l) = 2*l**3 + 8*l**2 + 4*l - 2. Let z(u) = -u**3 + u - 1. Let x(a) = w(a) + 3*z(a). Does 13 divide x(8)?
False
Is 23 a factor of (-2)/1*78/(-6)?
False
Let s be (-2)/5 + 44/10. Suppose 3*j + 18 = 4*m, -3*j - 13 = -m - s. Suppose m - 1 = i, 0 = r + 3*i - 23. Is r a multiple of 17?
True
Is 14 a factor of ((-14)/3)/(10/(-60))?
True
Is 11 a factor of 0/2 + (13 - -31)?
True
Let n(x) = 5*x**2 - 1. Let f be n(5). Suppose 30 - f = -2*c + 4*j, 2*c + 2*j = 94. Does 8 divide c?
False
Is 16 a factor of 447/4 - (-1)/4?
True
Suppose -z - 3 = 0, 0 = t - 0*z + z - 20. Does 12 divide t?
False
Suppose 0 = -3*g - 2*g + 10. Suppose -g*n = -113 + 21. Is 23 a factor of n?
True
Let j be 2 - 1 - (-12)/3. Suppose -466 = -4*q - r + 2*r, -j*q = 4*r - 572. Suppose -4*t = -0*t - q. Is 12 a factor of t?
False
Suppose 7 + 13 = -3*w - 5*f, 0 = 3*w + 2*f + 8. Let k = 23 - 21. Suppose a - k*a + 30 = w. Is a a multiple of 15?
True
Suppose -3*l + 3*f = -21, l + f = 3 - 4. Suppose -3*w - l = -5*i, -2*i - 3*w - 3 = -0. Is 2 + i - (-17)/1 a multiple of 5?
False
Let f = 11 + -17. Let u = -4 - f. Suppose 2*l + u*k - 106 = 0, 0 = -4*l - k + 327 - 109. Is l a multiple of 14?
False
Suppose 2*p = 4*p - 8. Suppose 3*s = s + 4*g - 128, 5*s + p*g = -348. Let o = -19 - s. Is 13 a factor of o?
False
Suppose 5*v = 2*v + 243. Is 27 a factor of v?
True
Is 29 a factor of 2 - (-11)/(0 - 2/(-26))?
True
Suppose 2*h - 6 = h. Suppose h*u - 22 = 4*u. Does 11 divide u?
True
Suppose 684 = 9*p - 6*p. Is p a multiple of 19?
True
Does 15 divide 5/(50/(-4))*-145?
False
Let j = -24 - -12. Let c(z) = -z**2 + 9*z - 6. Let w be c(6). Let m = w - j. Is 12 a factor of m?
True
Suppose -4*u + 29 + 27 = 0. Suppose -4*w + u + 30 = 0. Does 3 divide w?
False
Suppose 3*y + 3 + 18 = 0. Let s(q) = -q**3 - 6*q**2 + 5*q - 3. Is 11 a factor of s(y)?
True
Let y be (-9)/6*(0 - 2). Suppose -y*t + 24 = t. Does 13 divide 10/(t/21*1)?
False
Does 17 divide ((34/10)/(-1))/((-80)/400)?
True
Suppose -4*z = -28 - 72. Is z a multiple of 5?
True
Is 28 a factor of (-265)/(-3) + (-1)/3?
False
Let l be (-147 + -3)*(-12)/9. Does 11 divide l/6 + (-4)/12?
True
Suppose -2*i - 2 = -0*q + 2*q, -2*q + 28 = -3*i. Does 8 divide -3*8/18*i?
True
Let u = -1 - -5. Suppose -3*k - 3*x = -42, -k - u*x = -x - 10. Suppose -o + h = -k, -o = 2*h - 2 + 1. Does 10 divide o?
False
Suppose l - 122 = 2*f - 6*f, -2*l - 4*f + 240 = 0. Does 22 divide l?
False
Suppose -2*m = -h - 17, -4*h = -m - 0*m + 26. Is m a multiple of 2?
True
Let v(l) be the first derivative of 5*l**2 - 3 - 7*l + 1 + 2 + 3. Is v(5) a multiple of 20?
False
Let x be 7 + (-3)/(-3)*-2. Suppose -x*t + 39 = -4*t. Suppose 6*w - t = 3*w. Is 11 a factor of w?
False
Suppose 0 = 2*v - 103 + 39. Suppose -76 = -3*a + v. Is 18 a factor of a?
True
Let l = -57 - -112. Let i = l - 36. Is i a multiple of 6?
False
Suppose -3*i - 2*j + 78 = -j, 57 = 2*i - j. Suppose 96 = 4*o - p, -3*o + 2*p + 40 = -i. Suppose -2*s = -o - 15. Does 10 divide s?
True
Suppose -3*q + 80 = 2*q. Suppose 2*d = 20 + q. Suppose -3*j + 114 = 4*y, -74 = -3*y + j + d. Is y a multiple of 15?
True
Let s = 174 + -63. Does 14 divide s?
False
Let z(g) = g**2 - 3*g - 10. Let q(j) = j**3 + 6*j**2 - 2*j - 5. Let u be q(-6). Is z(u) a multiple of 12?
False
Let c = -115 - -349. Does 34 divide c?
False
Is 48/10*15/6 a multiple of 2?
True
Let d(r) be the first derivative of r**2/2 + 9*r - 1. Let w(m) = -m**2 - m + 9. Let v be w(0). Does 18 divide d(v)?
True
Suppose 0 = -4*s + 3*s + 4. Suppose 3*k = -s*d + 11, -3*d + 13 = -d - k. Suppose 21 + 99 = d*g - 2*h, -h = 5*g - 135. Does 9 divide g?
False
Let i = -3 + 3. Suppose 5*y - y - 28 = i. Suppose -14 = 3*s - 5*s - 3*d, -y = -s - 4*d. Is 7 a factor of s?
True
Suppose 2*n - n - 19 = c, 2*c - 5*n = -53. Let d = c - -10. Let i(v) = v**3 + 4*v**2 - 2*v - 6. Is i(d) even?
True
Let x = -7 + 9. Suppose -x*f - 42 = -3*f. Is f a multiple of 21?
True
Suppose -p + 7 = 2. Let v(r) = -66*r - 2. Let o be v(-3). Suppose -p*z + o = -z. Is 20 a factor of z?
False
Suppose 5*f = 5*w, 0*w - 2*f + 9 = w. Suppose w*u = -0*u, -88 = -4*x - u. Does 11 divide x?
True
Suppose -5*c = -68 - 152. Is 11 a factor of c?
True
Let q = -21 + 5. Let b be (3/(-4))/(2/8). Is 7 a factor of (q/(-6))/(b/(-18))?
False
Let y = -43 + 93. Suppose -2*o + y = 6. Is 11 a factor of o?
True
Let y = -15 - -27. Suppose -2*s - 4*j + y = 0, 5*j - 1 = s + 7. Suppose 3*i - s*i = 7. Is 3 a factor of i?
False
Is 14 a factor of (0 - 1)/((-4)/12)*37?
False
Let w(u) = u**3 + 10*u**2 + 9*u + 11. Does 11 divide w(-9)?
True
Let r be 291/15 + 12/20. Is 10 a factor of 5/(r/6)*12?
False
Let h(j) = 3*j**2 + 3 + 3 - 2*j**2 - 4 - 2*j. Let x be h(-5). Let d = x + -19. Is 9 a factor of d?
True
Let t(y) = -y**3 + 2*y**2 + y. Let q be t(-1). Let w = q + 1. Suppose 4*u - 55 = -5*a - u, 48 = 4*a + w*u. Is 4 a factor of a?
False
Suppose 3*h - 140 = w, 4*h + 2*w - 10 = 190. Does 12 divide h?
True
Let v(w) = -w**3 - 4*w**2 - 5*w - 2. Suppose 0*s - 3 = s. Let g be v(s). Suppose 3*t - 72 = -g*q, 30 + 11 = 2*t + 5*q. Does 13 divide t?
False
Suppose 150 = 3*i + 3. Does 7 divide i?
True
Suppose 3*t - 1259 + 236 = 0. Is 13 a factor of 8/28 - t/(-7)?
False
Let y be (0/(-3))/(0 - -1). Suppose -2*m + 9 + 9 = y. Let d = -1 + m. Does 8 divide d?
True
Let p(h) = -h**3 + 10*h**2 - 7*h + 5. Let r(g) = -g**3 + 4*g**2 + 2*g + 1. Let b be r(4). Does 6 divide p(b)?
False
Suppose 47*a = 44*a + 258. Does 20 divide a?
False
Suppose -65*o + 741 = -62*o. Is o a multiple of 45?
False
Does 22 divide (-2160)/(-14) - (-18)/(-63)?
True
Let h(y) = -y**3 + 3*y**2 + 4*y - 3. Let w be h(3). Suppose 2*i + w = j + 64, i = 5*j + 5. Is i a multiple of 30?
True
Suppose -4*h - q = -337, -5*q = -2*h + 3*h - 108. Does 26 divide h?
False
Suppose 2*b = 2*y - 64, -3*y + 5*y + 52 = -2*b. Let s = b + 41. Does 6 divide s?
True
Let z(n) = -25*n**2 - 4*n + 4. Suppose -2 = 4*r + 14. Let o(p) = -13*p**2 - 2*p + 2. Let v(b) = r*z(b) + 7*o(b). Does 14 divide v(-2)?
False
Let t = -28 + 41. Is 13 a factor of t?
True
Let d = 3 - 3. Suppose 3*v = x - 27, x + 3*v - 17 - 28 = d. Does 11 divide x?
False
Let q be 0 - (3 - 1)/2. Let m = 3 - q. Suppose -62 = -3*k + v - 16, 0 = m*k - 2*v - 62. Is k a multiple of 15?
True
Let p = 32 - -86. Does 10 divide p?
False
Let y(s) = -211*s - 6. Is 41 a factor of y(-1)?
True
Let k = 134 - 69. Let o be (-5)/(20/6)*-2. Is o/(-12) + k/4 a multiple of 16?
True
Let x(z) = -5*z - 6. Let b be x(-5). Let g = 10 + b. Is g a multiple of 9?
False
Let f(z) = 3*z**2 - 8 - 5*z + 14 - 2*z. Let v be f(5). Suppose t - v = -t. Is t a multiple of 20?
False
Let d = -3 - -2. Let o = -13 - -18. Let j = o + d. Is j a multiple of 4?
True
Let d = -6 + 6. Suppose d = -5*r + 28 + 22. Is 10 a factor of r?
True
Let q = 13 - 8. Suppose -7*f + 2*f + 50 = -5*k, q*f - 68 = -4*k. Does 6 divide f?
True
Let m(f) = f. Let r be m(-2). Let p = r - -6. Suppose y + 4*d - 2 = 0, 0 = p*y + y + 5*d - 55. Does 5 divide y?
False
Suppose 4 = v - 1. Suppose -2*z = 5*b - 4*z - 255, -b + 28 = -v*z. Does 26 divide b?
False
Suppose -4*k = 6*h - 3*h - 59, h - 4*k = -7. Is h a multiple of 9?
False
Is 8 a factor of (2*8/(-5))/((-2)/40)?
True
Let s = 4 - 2. Suppose 3*d + 0*t - 73 = -4*t, s*d = -t + 52. Is 7 a factor of d?
False
Let k be (3/(-5))/(15/(-75)). Suppose 2*b + 3*b + 3*p = 186, k*b - 114 = -p. Is b a multiple of 8?
False
Suppose v - 6 = -4*a, -a + 2*v = -v - 8. Let y(c) = -c - 1. Let b be y(-1). Is (-1 - (a - b))/(-1) a multiple of 2?
False
Let n be (1 - 2)/(1/(-29)). Suppose -h = -3*m - n, 0*h - 2*m - 50 = -2*h. Does 7 divide h?
False
Suppose -10 = -2*o - 3*s + 11, 11 = -3*o + 4*s. Let l be (5 - o) + (2 - 12). Let u(x) = x**3 + 8*x**2 - 6*x - 8. Does 15 divide u(l)?
False
Let z be 12/(-8)*(-8)/6. Suppose 0 = 4*g - 5*d - 37, -5*g + 77 = 2*d + z*d. Is 6 a factor of g?
False
Let n(w) = 23*w - 1. Suppose -2*b - b +