divide g?
True
Let w(f) = -f**2 - 8*f - 2. Let t(c) = -c**2 - 8*c - 1. Let s(g) = 4*t(g) - 5*w(g). Is 15 a factor of s(-9)?
True
Let r be (-126)/(-7) - 3*1. Does 16 divide 246/r + (-2)/5?
True
Let b be 2/10 - 28/(-10). Let t be (-2)/((-195)/96 - -2). Suppose -t = -b*x - x. Is 11 a factor of x?
False
Let t = 25 + 107. Is 12 a factor of t?
True
Suppose 0 = -f + 2*f + 5. Suppose 0 = -u + 5*m - 0*m + 2, -4*u + 5*m = 22. Let i = f - u. Is i a multiple of 2?
False
Suppose v - 3*q - 27 = 0, 0 = -2*v + 5*q - 4*q + 39. Is v a multiple of 9?
True
Let w = 114 - 68. Does 23 divide w?
True
Let h = -32 + 10. Let p = 13 + h. Let m = 3 - p. Is m a multiple of 5?
False
Let i(g) = -g**3 + 4*g**2 + 7*g - 6. Suppose x + 3*x + 5*u + 9 = 0, 2*x - 3 = 5*u. Let b = x + 6. Is i(b) a multiple of 4?
True
Let v(i) = -i + 47. Let m be v(0). Let h = m - 27. Is h a multiple of 10?
True
Suppose -5*q = 2*u - 305, -u - 2*q + 150 = -0*q. Suppose 4*s - 3*m + 6*m - u = 0, -4*m = -3*s + 105. Is s a multiple of 13?
False
Suppose 4*g - 10 = -5*w - 3, 0 = -4*g + 12. Is 6 a factor of (1/(-1) - -17) + w?
False
Let l be 2/(-5) + (-119)/(-35). Let v(o) = -3*o**3 + 18*o**2 + 9*o - 12. Let a(k) = -k**3 + 6*k**2 + 3*k - 4. Let n(c) = -11*a(c) + 4*v(c). Does 16 divide n(l)?
True
Let p be (1 + (-3 - -1))*13. Let a be (-58)/((1 + 1)/(-1)). Let u = p + a. Is 7 a factor of u?
False
Let j be ((-2)/(-12))/((-4)/(-24)). Is 17 a factor of 54 + j*(-2 + -2)?
False
Let c = -11 - -9. Let g(o) = 0*o + o**2 - 5*o**3 + 1 + 2*o**3 + o. Is g(c) a multiple of 12?
False
Suppose 0 = f - 3, 2*f - 6 = -z + 4*z. Suppose z = -b - 2. Does 12 divide (18/(-15))/(b/20)?
True
Suppose -w - 2 = q, -5*w - 8 - 10 = 3*q. Let d(s) = s**2 + 8. Let b be d(w). Let f = b + -24. Is f a multiple of 20?
True
Let b(n) = n**3 + 8*n**2 + 9*n + 2. Is 5 a factor of b(-6)?
True
Let x(t) be the third derivative of 7*t**5/30 - t**4/12 + t**3/6 + t**2. Let p be x(1). Suppose p = 5*f - 37. Does 5 divide f?
True
Suppose 24 = -2*n + 2. Let u(w) = -4*w - 1. Is 13 a factor of u(n)?
False
Suppose -21*s + 22*s = 72. Does 9 divide s?
True
Suppose 5*s = s - 3*n - 1, -4*n + 2 = 2*s. Let i(c) be the third derivative of c**5/3 - c**4/12 - c**3/6 + c**2. Is 15 a factor of i(s)?
False
Suppose -2*x = 2*x - 4*h - 1088, -4*x - h + 1083 = 0. Is x a multiple of 11?
False
Suppose -6*j = -u - 2*j + 54, 0 = -3*u - 2*j + 134. Is 46 a factor of u?
True
Suppose 0*k = k + 4*c + 24, -2*k - 36 = -4*c. Let j = 28 + k. Let t = 12 - j. Does 2 divide t?
True
Is 3 + (-4)/2 + 5*23 a multiple of 23?
False
Suppose 4*a - 8 = -2*d, 2*a = -d + 4*a + 20. Let f(m) = -m**3 + 5*m**2 - 4*m - 5. Let x be f(4). Let l = d + x. Does 5 divide l?
False
Let k(s) = 3*s**2 + 4*s + 3. Let x be k(-2). Suppose 2 = 3*v - x. Suppose -3*w + 34 = 4*m - 4*w, -5*m = -v*w - 46. Is m a multiple of 4?
True
Let z be (-3 - 1)/(5/(-5)). Suppose -3*p + a + 55 = 0, -p + 81 = z*p + a. Is 17 a factor of p?
True
Suppose -q = 3, 2*q = -4*d + d + 126. Is 18 a factor of d?
False
Suppose -5*z = -618 + 58. Is 16 a factor of z?
True
Is 4 a factor of 1674/135 - (-1)/((-10)/4)?
True
Let z = 2 + -4. Suppose -4*s + 24 = -2*w + 108, w + 5*s - 14 = 0. Is z/3 + w/6 a multiple of 2?
False
Suppose 3*b = 3*s + 582, 0*b + 2*b = 5*s + 388. Is 13 a factor of b?
False
Suppose -3 + 13 = q. Does 5 divide q?
True
Let b(p) = p**3 + 6*p**2 - 7*p - 6. Let m be b(-7). Let f(v) = -v**2 - 13*v - 6. Is 12 a factor of f(m)?
True
Let a = 8 + -1. Let b be (-1 + a)*(-2)/4. Is (-2 - 1)/(b/30) a multiple of 10?
True
Suppose -f + 2*o + 3 - 6 = 0, -5*o = 4*f - 40. Suppose -3*r + f + 1 = 0. Suppose r*j = -3*j + 95. Is j a multiple of 16?
False
Let z be 1 - ((-9)/(-3) - 2). Let d(c) = c**2 + c + 2. Let s be d(z). Does 6 divide (13/2)/(1/s)?
False
Let a(z) = -z**3 - 2*z - 1. Let d be a(-1). Suppose -2*g - 4*c = -14, -4*g - 6 = -4*c + d. Let x(u) = 22*u. Does 10 divide x(g)?
False
Let f(z) = z**3 - z**2 + 1. Let b(i) = i**2. Let y be b(0). Let s be f(y). Let h = s + 19. Is 11 a factor of h?
False
Suppose 25*q - 1395 = 16*q. Is q a multiple of 19?
False
Let d = 3 + -5. Let x = d + -5. Let t = x - -45. Does 16 divide t?
False
Let q(j) = -j**2 + 5*j + 6. Let p be q(5). Suppose -3*n + 45 = 3*a, -4*n = -p*a + 2*a - 20. Is 4 a factor of n?
False
Let k be ((-2)/4)/(6/(-36)). Suppose x - 12 = 5*p + 10, p - 2 = -k*x. Suppose -1 = x*q - 11. Is 2 a factor of q?
False
Suppose 2*g - 2*n = -g - 2, g + n - 1 = 0. Suppose g = -0*k + 4*k - 128. Suppose -2*t + t + 3*o + 26 = 0, t + 3*o - k = 0. Is t a multiple of 18?
False
Let k(p) = 11*p - 6. Is k(9) a multiple of 18?
False
Let v = -22 + 64. Is v a multiple of 21?
True
Let h = 20 + -17. Is h even?
False
Is 25 a factor of (-4)/(-8)*-2 - -76?
True
Suppose 2*l - 6 = 3*m, -2*l + 2*m = 2*l + 4. Let o(z) = 0 + 2*z - 3 - 9*z + 0. Is 9 a factor of o(l)?
True
Let x(f) = 119*f**2 - 7*f + 3. Let t(l) = 40*l**2 - 2*l + 1. Let o(w) = 7*t(w) - 2*x(w). Is 24 a factor of o(1)?
False
Suppose 12*x = 2*x + 560. Does 13 divide x?
False
Let s(h) = 0*h**3 + 1 + 4*h - h**3 + 0 + 5*h**2 - 4. Let j be s(4). Let r = j + -21. Is r a multiple of 8?
True
Let k be 28 + 1 + 1 + -2. Suppose -21 = o + k. Let h = -9 - o. Is 20 a factor of h?
True
Suppose 2*l - 179 = -37. Let r = l - 44. Does 9 divide r?
True
Suppose -2*w + 0 + 10 = 0. Suppose -2*l - w*v = -70, 5*l = -4*v - 0*v + 141. Suppose -4*o = o - l. Is o a multiple of 5?
True
Let s(c) = 35*c - 3. Is s(5) a multiple of 43?
True
Let n be 0 - (-5 + 4) - -56. Suppose 3*f - n = -l + 2*f, -5*f = -4*l + 228. Is l a multiple of 21?
False
Is 5 a factor of (-2)/4 - (-2674)/28?
True
Suppose -3*y = -2*y - 7. Suppose -k = -1 + y. Does 9 divide (-4 - -2)/(k/45)?
False
Let x(z) = -z**3 + 10*z**2 - 11*z. Let a be x(8). Suppose -35*v + a*v - 40 = 0. Is 8 a factor of v?
True
Suppose 0 = -n - 8 + 3. Let p(x) = -4*x - 6*x**2 - 2*x + 5*x**2 + 3 + 0*x. Is 8 a factor of p(n)?
True
Is (0 - 0)/3 - -29 a multiple of 29?
True
Let w(u) = u**3 + 10*u**2 + 8*u + 6. Does 15 divide w(-9)?
True
Let r(b) = b**2 - 12*b + 2. Suppose 3*x = 2*x + 12. Let q be r(x). Let y(u) = 8*u. Is y(q) a multiple of 16?
True
Let i(c) = -c**2 - 9*c - 7. Let y be i(-7). Suppose -2*p = -y*p + 70. Is (p + 1/1)*4 a multiple of 21?
False
Let y(z) = -4*z**3 + 2*z**2 + 3*z - 4. Is 19 a factor of y(-3)?
False
Suppose 0 = -3*x - 6 - 3, 3*s - 48 = -5*x. Does 3 divide s?
True
Suppose -3*u + 2*x + 0*x + 46 = 0, -2*x = u - 10. Is u a multiple of 4?
False
Is (12/4 + 21)*6/3 a multiple of 23?
False
Let n(p) = -2*p**2 + 0*p**2 + p**2 - p**3 + 2*p + 6*p**2 - 6. Let b be n(5). Does 9 divide (-1)/b - (-90)/8?
False
Let a(y) = 5*y - 2. Let s(w) = -w**3 + 8*w**2 + 4. Let p = 5 + 3. Let h be s(p). Is a(h) a multiple of 18?
True
Let l be (109/2)/((-2)/(-4)). Suppose -r = -3*f + l, r - 119 = -4*f + f. Is 19 a factor of f?
True
Does 24 divide (15/(-1))/5 + 258 + -1?
False
Let i be (-10)/(32/(-12) - -2). Is 9 a factor of 340/i + (-1)/(-3)?
False
Let c(b) = -b**2 + 3*b + 6. Let r(n) = 6*n**2 - 14*n - 31. Let w(u) = -11*c(u) - 2*r(u). Let f be w(-3). Suppose 20 = -k + f*k. Is k a multiple of 20?
True
Let f(l) = -7*l + 9. Does 16 divide f(-11)?
False
Suppose -2*c + 14 = 4*r, -2*c - c - 3*r = -21. Is c a multiple of 2?
False
Let m be (9/(-27))/((-2)/102). Suppose 5*a = -d - 0*a + 8, d - 4*a - m = 0. Is 13 a factor of d?
True
Let m(n) = n**2 + 12*n - 6. Let v be m(-12). Let h = v - -22. Is 8 a factor of h?
True
Let h(t) be the third derivative of -t**5/60 - t**4/4 - t**3/2 + 5*t**2. Is h(-3) a multiple of 3?
True
Let w be (-1 + 30)/(2/10). Suppose -5*u = 5*y - w, 4*y - 40 = 4*u + 36. Let x = -10 + y. Is 14 a factor of x?
True
Let r(f) = -f**2 + 7*f + 3. Let v be r(4). Let y(w) = w**3 - 16*w**2 + 18*w + 22. Is y(v) a multiple of 16?
False
Suppose -3*t + 10 = 2*t. Suppose 0*k = -t*p + 2*k + 12, -10 = 5*k. Let y(q) = q**3 + q**2 - 5*q + 4. Is y(p) a multiple of 26?
False
Let t = -87 + 127. Is 9 a factor of t?
False
Does 22 divide (29 - 1) + (8 - 6)?
False
Suppose 0 = 4*b + 2*t - 0*t - 10, -2*t = -b - 5. Let d(q) = 38*q**2. Does 20 divide d(b)?
False
Let h = 321 + -127. Does 10 divide h?
False
Suppose 0*r - d = -3*r - 2, -4*r + 4*d = 8. Suppose 61 = 4*k + 21. Suppose r*o + 2*o = -3*l + k, o - 2*l - 5 = 0. Is o a multiple of 3?
False
Let w(a) = -a**3 - a + 60. Does 10 divide w(0)?