7. Does 18 divide g?
True
Let b = 7 - -23. Let o(c) = -c**2 - 3*c - 2. Let i be o(-2). Suppose i*l + b = l. Does 11 divide l?
False
Suppose 0 = 4*u - 15 + 3. Suppose -4*x = -u*x + 5*o - 30, -3*x + 3*o = 0. Is (-3)/(-2 + x)*-50 a multiple of 18?
False
Let j(k) = -k**3 - k**2 + k + 1. Suppose -4*n = -3*n + 1. Let p(s) = 2*s**3 + 4*s**2 - 9*s - 7. Let a(d) = n*p(d) - j(d). Does 9 divide a(-5)?
False
Suppose 5*b - 2*g - 205 = 3*g, b = -g + 47. Does 8 divide b?
False
Suppose 3*s - 406 = 2*x, 3*s - x - 3*x - 398 = 0. Does 46 divide s?
True
Let g(p) = -16*p - 1. Let s(r) = r. Let c(z) = g(z) + 6*s(z). Let d be c(5). Let q = d + 97. Does 23 divide q?
True
Suppose 3*z = -3*t - 9, 2*t = -2*z - 3*z - 21. Suppose 4*w - 12 = 2*x - t, 0 = -2*w - x + 3. Suppose 0*q = w*q - 48. Is q a multiple of 9?
False
Let v(f) = -8*f**3 - 8*f**2 - 10*f + 13. Let g(z) = -7*z**3 - 8*z**2 - 9*z + 12. Let u(r) = -7*g(r) + 6*v(r). Is 16 a factor of u(-6)?
True
Is 77 - (5 - 5 - (-2 + 0)) a multiple of 25?
True
Suppose -6 = z - 3*b, z = -4*z + 2*b - 56. Let t(l) = -l**2 - 14*l - 3. Does 21 divide t(z)?
True
Let g(h) = h + 2. Let p be g(0). Let j = p - -4. Let s(u) = -u**3 + 6*u**2 + u + 5. Is 4 a factor of s(j)?
False
Let l(k) = -k**3 - k**2 + 1. Let q be l(0). Is 7 a factor of 104/4 + q*-2?
False
Let m(b) = b**3 - 6*b**2 + 5*b + 5. Let h(u) = 6*u**2 + u. Let q be h(-1). Let z be m(q). Suppose 2*v - z*l = -7 + 25, -2*l + 8 = 3*v. Is v even?
True
Suppose -b = 4*g + 20, 5 = 3*b - 2*g + g. Suppose 5*i - 16 - 4 = 0. Suppose -64 = -i*s - f - 4*f, b = f. Does 8 divide s?
True
Let m(c) = -c - 7. Let z be m(-11). Suppose -2*h - 52 = -z*y, -2*y + 0*y = -3*h - 30. Is y a multiple of 6?
True
Suppose 0 = -2*s, -2*m - 4*s + 118 = -0*s. Is m a multiple of 17?
False
Suppose 0 = -0*h - 3*h - 87. Let b = -21 - h. Is b a multiple of 2?
True
Let u be ((-30)/(-3) - 3) + -3. Let w(z) = -z**3 + 4*z**2 + 5*z - 2. Is w(u) a multiple of 9?
True
Is 2 a factor of 0 + 0 - (-1 + -2)?
False
Let c(k) = k - 1. Let x be c(8). Let y(z) = z**3 - 8*z**2 + 11*z - 6. Is y(x) a multiple of 22?
True
Let g(a) = -2*a + 8. Let d be 1/(-1) + 0 - 5. Does 18 divide g(d)?
False
Let d = 12 - 7. Let c(m) = -m**3 + 9*m**2 - 13*m + 4. Let p(y) = 3*y**3 - 19*y**2 + 27*y - 8. Let x(t) = d*c(t) + 2*p(t). Does 14 divide x(-8)?
True
Suppose -3*j + i + 8 = 0, -j - i = 4*j - 8. Is -24*((-8)/12)/j even?
True
Suppose 2*x + 3*f = -3*x, 3*x = -2*f - 1. Let d(m) = m**3 - 2*m**2 + 3*m + 4. Let j be d(x). Suppose 2*u - 3*u - j = -i, 5*i = 2*u + 125. Is i a multiple of 11?
False
Let h(i) = -i**3 + 4*i**2 - i + 3. Let m be h(4). Let w be m/3*(-15 - 0). Let r = w - 3. Is r a multiple of 2?
True
Let r(o) = 11*o**2 - 2*o - 8. Does 24 divide r(-3)?
False
Suppose -21*b + 35*b = 2870. Is 13 a factor of b?
False
Suppose -5*p = -p - 96. Is 7 a factor of p?
False
Let m(y) = -y - 3. Let s be m(-6). Suppose -50 = -s*h - 2*h. Does 10 divide h?
True
Suppose -10 = 3*k - 55. Is 2 a factor of k?
False
Is 4 - (-2 - -1)*4 a multiple of 4?
True
Let c(v) = 4*v + 5. Let d be c(4). Suppose 0 = -o + d - 3. Is 9 a factor of o?
True
Let x = 74 + -32. Suppose 4*y = x + 46. Does 10 divide y?
False
Let r(m) = -m**2 + 7*m - 5. Let y be r(5). Suppose -y*x + 5 = -10. Does 7 divide 26/x + (-2)/3?
False
Suppose -4*q = -2*p - 38, 4*p = -p - 15. Suppose 3*o + 0*f + 2*f - 7 = 0, q = -3*o + f. Does 11 divide (3 - o)/((-3)/(-24))?
False
Suppose 0*y - 220 = -4*y. Suppose 4*c - 1 = -k + y, -2*k + 21 = c. Does 13 divide c?
True
Suppose 0 = 5*z + t - 78, -4*t + t = -z + 22. Suppose -p = 3*p - z. Suppose -3*d = 2*d + v - 30, -30 = -5*d - p*v. Is 6 a factor of d?
True
Let y(u) = -u**3 + 8*u**2 - 6*u + 4. Let l(k) = k - 9. Let t be l(11). Suppose 2*c = 5*p + 3*c - 21, -2 = -2*p - t*c. Does 21 divide y(p)?
False
Suppose 111 = -4*z + 359. Is z a multiple of 30?
False
Is ((-22)/4)/(4/(-32)) a multiple of 11?
True
Is 14 a factor of 26 + (-3)/1 + 0?
False
Let o = 125 + -66. Does 14 divide o?
False
Let d be (-3)/3*-1 + -152. Let k = -67 - d. Suppose -k = -5*l + l. Is 8 a factor of l?
False
Suppose 3*q - 4*h = -h - 12, 0 = 3*q - h + 10. Let n(t) = -t**3 - 4*t**2 + t - 4. Let u be n(q). Let m = u - -30. Does 7 divide m?
True
Let i(p) = -p - 7*p + 0*p + 1. Does 5 divide i(-1)?
False
Suppose -u - 108 = -5*u. Let l = u + 7. Does 9 divide l?
False
Suppose 34 = -4*c + 3*z, -2*c - 20 = -0*c - 3*z. Let v = 12 + c. Suppose -v*a + 8 = -2*i, -4*a - 4*i + 10 = -a. Is a a multiple of 2?
True
Suppose -4*w + 472 = -192. Does 18 divide w?
False
Let s = -5 - -15. Let w(r) = -r**3 + 11*r**2 - 5*r - 3. Does 11 divide w(s)?
False
Let l(p) = -p - 2. Let q be l(-5). Let g(c) = 0*c**2 + 2*c**2 - 8*c - c - q*c**2. Does 14 divide g(-7)?
True
Let g(p) = 107*p**2 + 3*p + 3. Does 8 divide g(-1)?
False
Let r(f) = -97*f + 3. Is r(-1) a multiple of 8?
False
Let v(l) = -2*l**2 + 17*l + 26. Does 6 divide v(9)?
False
Let g(l) be the second derivative of l**4/6 + 2*l**3/3 + 2*l**2 + 3*l. Does 5 divide g(-3)?
True
Suppose -6*j = 11 - 1271. Is j a multiple of 13?
False
Suppose -7*p - 253 = -687. Let k = p - -8. Is k a multiple of 24?
False
Let b(v) = -4*v**2 + 3*v + 5. Let i(s) = -1. Let q(d) = -b(d) - 2*i(d). Suppose 3*n = -6 + 15. Is 9 a factor of q(n)?
False
Is 4 a factor of (-150)/(-8) + (-2)/(-8)?
False
Let n = -2 + 0. Let i be n/(-1) + (2 - 1). Suppose 0*g + 2*v = -2*g + 46, 3*v - i = 0. Does 11 divide g?
True
Let g(y) = -y**3 + 2*y**2 + y. Let s be g(-3). Suppose t = s - 10. Does 8 divide t?
True
Let p = -13 - -18. Suppose 5*m - 82 = -3*y, y + 3*m - 31 + p = 0. Does 9 divide y?
False
Suppose -5*j = -3*t - t - 5, 4*j + t = 25. Suppose 177 = j*o + 4*a, -4*a = -2*o + 33 + 21. Suppose -2*r + o = r. Is r a multiple of 11?
True
Let s be 0 + (0 - 3) - -7. Suppose -s*v + 4*y + 144 = 0, -5*y = -y - 8. Is 15 a factor of v?
False
Suppose 3*y = 2*c + 61, -y - y + 44 = -3*c. Suppose 3*j - y = 2*j. Does 19 divide j?
True
Let z(d) = 69*d**2 + 1. Does 7 divide z(-1)?
True
Let a(o) = o**3 - 11*o**2 + 12*o. Let u = -24 + 34. Is 10 a factor of a(u)?
True
Suppose 670 = 5*h - 5*r, -h - 2*h - 4*r + 416 = 0. Is 49 a factor of h?
False
Suppose 0 = -q - 3*q + 176. Is (q/(3 + -1))/2 a multiple of 11?
True
Let t(u) = -12*u - 7. Let q = 11 - 13. Is 17 a factor of t(q)?
True
Let h(o) = -3*o + 8. Let b be h(6). Let r(l) be the third derivative of -l**4/6 - 2*l**2. Does 20 divide r(b)?
True
Suppose 10*z = 13*z - 279. Is 31 a factor of z?
True
Let o(i) = 8*i + 6. Let m be o(6). Let w be (15/2)/((-1)/(-2)). Is (m/w)/(3/20) a multiple of 16?
False
Let r = 17 + 49. Is r a multiple of 3?
True
Let p(q) = -18*q + 39. Is 43 a factor of p(-5)?
True
Let u be 2/7 + 240/42. Does 15 divide u/(6/45 - 0)?
True
Let f = -45 - -145. Is f a multiple of 20?
True
Let v be 72/20 + 3/(-5). Suppose 2*q + 4*x = 56, -96 = -3*q + v*x + 33. Is q a multiple of 19?
True
Let r(l) = -180*l**2 + 7*l - 5. Let x(v) = -90*v**2 + 3*v - 2. Let c(d) = 3*r(d) - 7*x(d). Does 13 divide c(1)?
False
Suppose 0 = -b - 1 - 1. Let p(u) = -7*u**3 - 2*u**2 - 11*u - 1. Let g(y) = -10*y**3 - 3*y**2 - 16*y - 2. Let m(w) = 5*g(w) - 7*p(w). Does 7 divide m(b)?
True
Suppose 2*d - 3965 = -11*d. Is 61 a factor of d?
True
Let k(r) = r**2 - 12*r - 4. Let f(s) = -3*s + 4. Let n be f(-3). Is k(n) a multiple of 9?
True
Let m be ((-1)/3)/(6/(-90)). Suppose -103 + 23 = -m*u. Does 7 divide u?
False
Let a(x) = 5*x**2 + 5*x + 9. Is 23 a factor of a(-4)?
True
Suppose 3*s - 4*y = 59, 53 = 3*s - 0*s - y. Is 17 a factor of s?
True
Let p be (-1 - -4)*-1 - -2. Let c be -6*p/3*2. Suppose -2*k - 10 = -2*n - 5*k, -c*n = 2*k - 36. Is n a multiple of 5?
False
Let d = 58 + -4. Is d a multiple of 9?
True
Let h(a) = -a**3 - 3*a**2 + 2*a. Suppose -1 + 9 = -2*k. Is h(k) a multiple of 4?
True
Let y(d) = 0*d**2 + 9*d**2 - 8*d**2 - 3. Does 9 divide y(-6)?
False
Let n = -61 - -108. Suppose -8 - n = -v. Does 13 divide v?
False
Let q(l) = 29*l**2 - 4*l + 4. Is q(3) a multiple of 11?
True
Let n(l) = 9*l**2 + 2*l - 1. Let s be n(-4). Let j = s + -60. Is j a multiple of 25?
True
Let j(z) = z**2. Let w be 8/(-36) - (-76)/18. Does 8 divide j(w)?
True
Let y(h) = h**3 - 27*h**2 + 32*h + 23. Is y(26) a multiple of 6?
False
Let s be 3 + (1 - 8) + -1. Let n(u) = -u**2 - 4*u - 5. Let t be n(s). Let j(p) = p**3 + 10*p**2 - 4*p + 3. Is j(t) a multiple