 + 1/3*g**3 - 6*g - 5/2*g**2. Does 9 divide n(8)?
True
Suppose 2*h = 5*c + 529, 0 = -4*c - 7 - 5. Does 17 divide h?
False
Let v be 102/3 + -2 + 2. Suppose 2*x - 142 = -v. Suppose w - x = -9. Is w a multiple of 19?
False
Let x(j) = -2*j**3 + 2*j**2 + 2*j - 5. Is 8 a factor of x(-3)?
False
Suppose -34 = -4*g + 206. Is g a multiple of 15?
True
Let u = 11 - 6. Suppose -5*x = 15 - u. Does 11 divide 22*(-3 - 7/x)?
True
Suppose -1 + 6 = -5*y. Let x be -2 - (-1 + 0) - y. Suppose x + 16 = -4*q, 0 = -k - q + 18. Does 12 divide k?
False
Does 11 divide 4*1 - 288/(-12)?
False
Suppose -2*h + 16 + 10 = 0. Suppose -h = -3*d + 5. Is 6 a factor of d?
True
Let r be (-2)/13 + 580/52. Suppose 21 = t - r. Is 26 a factor of t?
False
Let i be 1 + 1 + 0 - 4. Is 27/2*i/(-3) a multiple of 3?
True
Let c(j) = -j**2 - j. Let p be c(-1). Suppose -a + 3*k + 0*k = -28, 3*a + 3*k - 84 = p. Is a a multiple of 6?
False
Suppose -217 = -5*a + 2*y, a + 2*y - 61 = -2*y. Is 20 a factor of a?
False
Let u be 2/(4/(-6)*1). Suppose w + 3*w - 12 = 0. Is 11 a factor of (-1)/w - 67/u?
True
Suppose 7*b = 3*x + 2*b + 11, -5*x = 3*b - 27. Suppose -x*a - 162 = -477. Suppose -2*k - 3*v + a = 3*k, -3*k = 3*v - 63. Is k a multiple of 11?
False
Let c(u) = u**2 + 2*u - 6. Suppose -1 = h + 4. Does 9 divide c(h)?
True
Suppose -56 = 7*y - 8*y. Is y a multiple of 14?
True
Suppose -5*y = -5*d + 420, 2*d - 115 = 5*y + 68. Is 14 a factor of d?
False
Let i = 66 - 18. Let x = i - 30. Is 12 a factor of x?
False
Suppose 5*c - 3 = 2. Let m(a) = a + 2 - 6*a - c - 3. Is m(-2) a multiple of 5?
False
Suppose -2*k = 2*p + p - 25, 4*p - 2*k - 24 = 0. Let w = 17 - p. Does 10 divide w?
True
Suppose 84 = -3*r + 4*r. Suppose 3*o + o - r = 0. Is o a multiple of 9?
False
Does 33 divide 165/20*(11 - -1)?
True
Suppose -3*j - 3 = p - 17, 4*j = 5*p + 44. Suppose -18 = -j*h + 3*h. Let a = 22 + h. Does 14 divide a?
True
Let n = 173 - 29. Is n a multiple of 16?
True
Let z = -13 - -14. Is 17 a factor of 0 + 50 - (z - 2)?
True
Is 6 a factor of (-21)/9 + 2 - 58/(-3)?
False
Let z(t) = -t**3 - t**2 + 3*t - 4. Let j be z(-3). Suppose 6*b + 1 = j*b. Let c(a) = -12*a + 1. Is 8 a factor of c(b)?
False
Suppose -12 = 2*l - 168. Is 26 a factor of l?
True
Let v = 22 + 3. Suppose 9*p - 4*p - v = 0. Suppose -p*c + 10*c - 30 = -3*u, 2*u = -4*c + 20. Is u a multiple of 10?
True
Let o be -8 + (0/(-1) - -2). Is (o/9)/(1/(-48)) a multiple of 7?
False
Let w(x) = x + 7. Suppose 4*n = -3*q + 50, -4*n + 3*q - 8*q = -54. Does 3 divide w(n)?
True
Let h be (12/(-9))/(2/(-171)). Let c = h - 49. Is c a multiple of 14?
False
Let a = -69 - -104. Suppose 56 = 3*n + n. Does 13 divide 704/n - 10/a?
False
Suppose 2*s = -g + 156, -744 = -5*g - s - 0*s. Is g a multiple of 37?
True
Let w(d) = 6*d - 3. Is 9 a factor of w(6)?
False
Let l(k) = 18*k + 1. Is 18 a factor of l(3)?
False
Is 2/(-14) - 2004/(-14) a multiple of 13?
True
Suppose -4*n = -f - 249, -3*n = -2*n - 5*f - 48. Suppose 3*m + 4*r + n = 6*m, -r = -3. Is 13 a factor of m?
False
Let d(v) = -10*v. Let g(k) = 11*k. Let p(f) = -3*d(f) - 2*g(f). Is 8 a factor of p(2)?
True
Suppose 0 = 5*n + 4*t + 331, 4*n + 0 = 3*t - 240. Let r = -15 - n. Is 24 a factor of r?
True
Let i be 6 + (4 - 4 - 4). Suppose 5*n - c = 102, i*n = -0*n - c + 38. Does 4 divide n?
True
Let v(p) = p**3 + 15*p**2 - 19*p - 18. Is 30 a factor of v(-16)?
True
Suppose -4*n - 61 + 21 = 0. Let x = n + 31. Is x a multiple of 21?
True
Suppose 2*l - 4 = 0, -3*a - 5*l = -8*a + 95. Let h = a + 13. Is h a multiple of 17?
True
Let y = 6 - 4. Suppose 3*l + 2*l + 70 = 5*c, y*l = 5*c - 64. Is c a multiple of 6?
True
Let i(y) = y**3 + 11*y**2 + 14. Let v(o) = -3*o - 2. Let a be v(3). Does 7 divide i(a)?
True
Suppose -4*o + 135 = -109. Does 40 divide o?
False
Let k(f) = 13*f + 281. Let b(y) = 3*y + 70. Let h(q) = 9*b(q) - 2*k(q). Let v be h(0). Suppose 52 = 5*n - v. Is 12 a factor of n?
True
Let t be (-7)/(-2) - 2/4. Let k(s) = s**3 - 3*s**2 - 7*s - 2. Let y be k(6). Suppose y = i + t*i. Does 8 divide i?
True
Let h be (-2)/(-6) + (-10)/(-6). Suppose -h*x + 12 = 2*l, 3*l = -3*x - l + 23. Suppose 0 = q - x - 22. Is q a multiple of 13?
False
Let z(g) = g**3 + 3*g**2 + g - 2. Let v be z(-2). Suppose v = -6*o + 70 + 62. Does 10 divide o?
False
Let w(r) = -4*r**3 + r**2 - 3*r - 3. Is 13 a factor of w(-2)?
True
Let s(v) = -2*v + 8. Is s(-11) a multiple of 8?
False
Suppose -4*x = -0*n - 2*n + 84, 0 = 5*n - 4*x - 234. Does 25 divide n?
True
Let u(f) = f**3 - 25*f**2 + 6*f - 33. Is 32 a factor of u(25)?
False
Let s(z) = z**3 + 7*z**2 - 5*z + 1. Does 27 divide s(4)?
False
Let m = -38 - -65. Is m a multiple of 9?
True
Let v be (-8 + 9)/(2/10). Suppose 77 = v*w + 3*z, 3*z - 6*z - 19 = -w. Is 9 a factor of w?
False
Let r(o) = -15*o**3 + 20*o**2 - 20*o + 11. Let i(q) = -5*q**3 + 7*q**2 - 7*q + 4. Suppose 30 = -7*w + 2*w. Let j(g) = w*r(g) + 17*i(g). Does 20 divide j(2)?
True
Suppose 0 = -3*a, 0*f - 12 = -2*f - 5*a. Let m = 15 - f. Let c(r) = r**3 - 9*r**2 + 4*r + 2. Does 19 divide c(m)?
True
Let l(v) = 2*v**3 - 14*v**2 + 7*v - 9. Is 10 a factor of l(7)?
True
Let w = 94 - 54. Suppose w = -6*y + y. Let r = y - -13. Is r a multiple of 2?
False
Let t be ((-20)/12)/(-5)*3. Let n = 8 - 13. Let y = t - n. Does 6 divide y?
True
Let u be ((-1 + 1)/3)/2. Suppose 0 = -2*d - u*d + 20. Is d a multiple of 6?
False
Let g(z) be the first derivative of 2*z + 2/3*z**3 + 1/2*z**2 + 1. Is 23 a factor of g(3)?
True
Let w = 26 + 33. Is 9 a factor of w?
False
Let y = 3 + 0. Suppose 10 = 2*v - 2. Let x = y + v. Does 9 divide x?
True
Let q(m) = m**2 - 9*m + 14. Is 14 a factor of q(9)?
True
Suppose 15 = -h + 47. Is h a multiple of 8?
True
Suppose 0*l - 2*x = -2*l + 48, -3*l + x + 72 = 0. Is 8 a factor of l?
True
Suppose m = -4*a + 51, a - 17 = 5*m - m. Does 13 divide a?
True
Suppose 3*v = v + 4. Is (1 - -25 - v) + -1 a multiple of 22?
False
Let k(h) = 3*h**2 + 4*h + 14. Does 20 divide k(-6)?
False
Let z(w) = w**3 - 3*w**2 - 2*w - 4. Let h be z(4). Suppose 36 = h*m - m. Does 6 divide m?
True
Let i(w) = 10*w - 2. Is 14 a factor of i(3)?
True
Let n(x) = -38*x**3 - 2*x**2 + x. Let u be n(1). Is 13 a factor of u*(-4 + (-22)/(-6))?
True
Let k(c) = 2*c**2 - 3*c. Let h be k(-3). Let a = -14 + h. Is 13 a factor of a?
True
Let y = 4 - 2. Let j(p) = 8*p**2 + 2*p - 2. Does 15 divide j(y)?
False
Is (8 - 39)*(-2)/2 a multiple of 7?
False
Let z be 11/5 + (-2)/10. Suppose -2*a - z*a = -8. Suppose -a*t + 18 = -8. Is 12 a factor of t?
False
Suppose 0*d - 4*d = -2*u - 8, -3*u + 32 = 5*d. Suppose u*t = -0*t + 4*q + 72, q = -t + 22. Does 11 divide t?
False
Let v(t) = -t**2 + 7*t - 7. Let g be v(6). Suppose q = 1 + 1. Does 14 divide (g/3)/(q/(-84))?
True
Let s(z) = -16 + 5*z - z + 1. Is s(5) a multiple of 2?
False
Suppose -3*j = -2*j - 13. Is j a multiple of 5?
False
Let h = -122 + 279. Does 15 divide h?
False
Suppose 2*v - 23 = -4*a + 383, -3*a - v + 303 = 0. Does 19 divide a?
False
Let b(s) = -s**3 - 5*s**2 - 2*s - 8. Let u be b(-6). Is ((-32)/u)/((-4)/130) a multiple of 13?
True
Suppose -3*i + 251 = -4*b + 3*b, -4*i = 2*b - 318. Is 19 a factor of i?
False
Does 32 divide (-7665)/(-60) + (-1)/(-4)?
True
Suppose 3*v + 3 + 0 = 0. Let y be v + 0/(-1) + 1. Let m = 5 - y. Does 5 divide m?
True
Suppose -5*v + 917 = -688. Is v a multiple of 19?
False
Suppose -5*i = d - i - 28, 2*d - 20 = i. Is 177/6 - d/(-8) a multiple of 31?
True
Suppose 6 + 6 = 4*w. Is w even?
False
Let v be (-7)/(-7) - (-4 - -2). Let k be 2/(-5) + (-64)/(-10). Suppose v*w - 12 = 0, k*w = 2*u + 2*w + 4. Is u a multiple of 2?
True
Let h be -5*5/((-15)/6). Let k be (3/1)/((-27)/(-18)). Is 45/h - (-1)/k a multiple of 3?
False
Let v(h) = h**2 - h - 4. Let l be v(0). Is -1 - -3 - (-1 + l) a multiple of 5?
False
Let i(a) = a**3 + a**2 - a + 36. Is i(0) a multiple of 9?
True
Let y = 4 - 4. Suppose j - 1 - 1 = y. Suppose j*u - 5*u = -15. Is 2 a factor of u?
False
Let r = 69 + -37. Is 11 a factor of r?
False
Suppose 12 = -0*h + 4*h + 2*n, -2*h - 5*n - 10 = 0. Let u(o) = -3*o**2 + o**3 - 3*o**2 - 6 + 3*o + o**2. Does 5 divide u(h)?
False
Does 6 divide (14/35)/(1/30)?
True
Let h(q) = -5 + 5*q + q**3 - 10*q + 9*q**2 - 7*q. Is h(-10) a multiple of 5?
True
Suppose -2*x - 4*p + 6 = 2, -4*x + 3*p + 8 = 0. Suppose 170 = 6*v - v - x*h, 0 = 5*v - h - 175. Is 15 a factor of v?