factor of g?
True
Let k(r) = -r**2 - 23*r - 2. Is 5 a factor of k(-22)?
True
Let d be (-1)/(-4) - (-3)/(-12). Let k = -24 + 45. Suppose u + 4*n - k = -3, 3*u + n - 65 = d. Is 11 a factor of u?
True
Let s(a) = a**2 - 7*a + 37. Is s(9) a multiple of 5?
True
Let h(y) = y**3 + 6*y**2 - 5*y + 4. Does 18 divide h(4)?
True
Suppose -4*u + 5*v = -71, 3*u - 52 = -0*v + 4*v. Suppose -w - 3 = z, 0*w - z = 2*w + 1. Suppose 4*l - 23 = 3*f + 5, 4*l - w*f = u. Does 4 divide l?
True
Suppose 0 = g - 1 - 14. Suppose -5*j = 5 - g. Does 3 divide (12/30)/(j/20)?
False
Suppose 5*i = -a - 10, -5*i - 2*a + 5 - 10 = 0. Let p be (-3)/(i*1)*8. Suppose p*g - 16 = 4*g. Does 4 divide g?
True
Let y be (-2)/(-6) - (-10)/6. Let x = -37 - -126. Suppose -4*q + 118 = y*b, 0*q + 2*b - x = -3*q. Does 20 divide q?
False
Suppose -2*l + 4*l = -28. Let c = -10 - l. Does 7 divide (-19*(c - 3))/(-1)?
False
Let l(p) = 2*p**2 - 36*p + 24. Is 25 a factor of l(21)?
True
Let q = -3 - -8. Suppose 0 = q*o - 61 + 1. Does 12 divide o?
True
Let s(j) be the third derivative of -j**5/60 - 7*j**4/24 - j**3 - 2*j**2. Let x be s(-6). Suppose -3*d + 22 = -d - 4*c, x = -d + 3*c + 14. Is d a multiple of 3?
False
Let u(a) be the second derivative of -a**5/20 + a**4/2 + 2*a**3/3 - 3*a**2/2 - 3*a. Is u(6) a multiple of 7?
True
Let t = 47 - 30. Let n = 22 - t. Is n a multiple of 4?
False
Does 13 divide (-308)/(-6) + 12/18?
True
Suppose 0 = 4*i + i - 20. Suppose q + i*o - 5*o - 70 = 0, 3*o = q - 80. Does 13 divide q?
True
Let v be 12/18 + (-40)/(-3). Suppose -4*q - 5*p + 2*p + 49 = 0, -2*q + v = -2*p. Does 4 divide q?
False
Suppose -3*v = -0*v - 5*o - 45, -5*v + 5*o = -75. Is v a multiple of 15?
True
Suppose -5*x = w - 3, -5*w + 3*x - 125 = -0*x. Let y = w - -55. Is 27 a factor of y?
False
Let s(d) = -d**2 + 30*d - 66. Does 13 divide s(24)?
True
Is 17 a factor of 1 + -213*(-4)/12?
False
Suppose -2*t - 5*p - 235 = -5*t, -120 = -2*t - 4*p. Suppose -h - t = -6*h. Suppose z - h = -3. Is z a multiple of 5?
False
Suppose -3*z = -5*c - 0*c - 12, z - 5*c - 4 = 0. Suppose -30 = z*k - 162. Does 15 divide k?
False
Let f = -12 + 48. Is f a multiple of 11?
False
Suppose -361 = -5*b + 1219. Does 33 divide b?
False
Suppose 0 = -4*l - 74 + 554. Does 16 divide l?
False
Let d(o) be the third derivative of 11*o**5/60 - o**4/6 + o**3/2 - 2*o**2. Is d(2) a multiple of 17?
False
Let h be (14/35)/((-1)/(-35)). Let c(a) = 2*a - 9. Let i be c(7). Suppose h = -i*q + 79. Is q a multiple of 13?
True
Suppose -628 = -4*o - 4*q, 0 = -5*o - 2*q - 293 + 1078. Let r = o - 89. Does 12 divide r?
False
Let d = 2 - 2. Let k(c) = c**3 - 1. Let i be k(d). Is -1 + i - (-24 - -4) a multiple of 9?
True
Let f(n) be the second derivative of n**7/840 - n**6/120 - n**5/24 - 5*n**4/24 + n**3/6 - n. Let t(r) be the second derivative of f(r). Is 10 a factor of t(5)?
True
Let k(b) = -6*b - 6. Let c(g) = -4*g + 9. Let u be c(5). Is k(u) a multiple of 15?
True
Suppose -12*y + 11*y = -144. Is y a multiple of 23?
False
Let s = 3 + -1. Suppose s*p + 3 - 1 = 0. Let b = 24 - p. Is 16 a factor of b?
False
Let x(l) = l**2 - 5*l + 4. Let k be x(4). Suppose -5*d = 5*a, 2*d = -2*d + 5*a. Suppose k = 2*j - d*j - 26. Does 7 divide j?
False
Is 13 + (2 - 1) + -3 a multiple of 2?
False
Does 12 divide ((-16)/(-3))/(-4)*-9?
True
Let k(a) = 10*a - 2. Suppose 3*w + 25 = -2*w, -2*u + 9 = -w. Is 9 a factor of k(u)?
True
Let p(n) = -40*n - 4 + 7 + 5*n**2 + 38*n. Is p(3) a multiple of 21?
True
Let r(c) = -2*c + 11. Does 7 divide r(-5)?
True
Let q(v) = v**3 - 6*v**2 - 4*v - 9. Let b be q(7). Let d = b + -7. Suppose 8*n + 8 = 2*t + 3*n, d*n = 4*t - 16. Is 2 a factor of t?
True
Let k be (-4 + -8)/(1/(-3)). Let y = 50 - k. Does 10 divide y?
False
Let g(j) = 41*j**3 - 3*j**2 + j + 1. Is 55 a factor of g(2)?
False
Is 21 a factor of (-126)/(-2*(-5)/(-10))?
True
Suppose 4*d = -8 + 24. Suppose -4*u - d*s = -348, -2*s = -3*u + u + 162. Is u a multiple of 28?
True
Suppose -2*g = -5*k + 412, k + k - 2*g - 166 = 0. Is k a multiple of 9?
False
Let d(l) = 18*l**3 + 3*l**2 - 2*l. Let q be d(2). Suppose 2*a - 6*a + q = 0. Is a a multiple of 11?
False
Let l(g) = -g**2 - 3*g - 2. Let v(c) = 1. Let q(p) = -l(p) - 3*v(p). Is q(-8) a multiple of 21?
False
Let f(l) = -2*l**2 + 47*l + 11. Is f(23) a multiple of 5?
False
Let j be 2 - ((-15)/3 + 3). Let m = 6 - j. Is 2 a factor of m?
True
Let q be -15*(-1 + 0 - 0). Suppose l - 21 + 6 = 5*s, -2*l + 4*s + 12 = 0. Is 7 a factor of 2 + -3 + l + q?
True
Suppose o + u + 61 = 2*o, -o = 5*u - 85. Is 12 a factor of o?
False
Let t = 97 - 59. Is t a multiple of 19?
True
Let c(x) be the second derivative of x**5/20 - x**4/3 - 4*x**3/3 + 3*x**2 + x. Let g = 12 - 6. Is c(g) a multiple of 15?
True
Let s be 0/(-2*(-1)/(-2)). Suppose s = -0*j + j - 38. Is j a multiple of 13?
False
Suppose 4*c = -c + t + 456, -5*c = -2*t - 452. Does 9 divide c?
False
Suppose -4*i + 2 = 5*w, -w + i + 4 = -0*i. Suppose -w*c - 2*s + 130 = 0, -5*s = -c + 13 + 34. Does 24 divide c?
False
Does 7 divide -3 - -42 - (-1 - -5)?
True
Suppose 4*l + 94 = 654. Does 10 divide l?
True
Let p(d) = d**2 + d - 1. Let a be p(2). Suppose 4*q + 4*l - 24 = 0, l + 17 = 5*q + a. Suppose -2*o + 101 = -3*b + 2*b, -q*b = -5*o + 255. Is o a multiple of 18?
False
Let c be (4/(-6))/(4/6). Is (40/(-3))/(c/3) a multiple of 11?
False
Suppose -9 = -j - 3*b, 3*j = -4*b + 6 + 31. Does 14 divide j?
False
Let y be ((-2)/(-4))/(5/60). Let t(s) = s**3 - 6*s**2 - 1. Let f be t(y). Is 61/4 - f/(-4) a multiple of 5?
True
Let q(c) = c**3 + 9*c**2 + 10*c + 4. Is 6 a factor of q(-5)?
True
Suppose 4*r - 14 = -6. Suppose -v + r*v = 18. Does 6 divide v?
True
Let w = -260 - -369. Is w a multiple of 29?
False
Let i = -9 - -17. Suppose -i = 4*l, 4*l = 4*g - 9 + 1. Suppose 64 = 3*p - 4*x, 3*p + 6*x - 2*x - 104 = g. Does 14 divide p?
True
Suppose o - 64 = -3*g - 0*o, 5*g - 80 = 5*o. Does 6 divide g?
False
Suppose -p = 3*p - 20. Suppose 0*y - 145 = -p*y. Is 8 a factor of y?
False
Suppose 4*l - 112 = -5*f, -2*f - 2*f - l + 94 = 0. Is 4 a factor of f?
True
Let q(n) = n**2 - 4*n + 4. Let d be 4 + -2*(-1)/(-2). Let o be q(d). Does 2 divide o/(-3) + 80/15?
False
Let g be 4/(-10) - (-132)/30. Suppose -5*y = -g*x - 32, 0 = 4*y + 5*x - 0*x - 1. Is 2 a factor of y?
True
Let b = 15 + -21. Is 9 a factor of 6/(-8)*(b - 18)?
True
Suppose 8 = 2*w, 0 = -0*i + 2*i + 5*w - 124. Is i a multiple of 9?
False
Let j(r) = -r**3 - 3*r - 12. Is j(-4) a multiple of 11?
False
Let z(d) = -d**2 - 14*d + 5. Let j be z(-11). Let y = 25 + j. Is y a multiple of 12?
False
Let s(z) be the third derivative of -1/3*z**4 - 2*z**2 + 0*z + 0 - 1/2*z**3 - 1/60*z**5. Does 3 divide s(-7)?
False
Let u(v) be the second derivative of v**3/6 - 5*v**2/2 + 2*v. Let r be u(4). Does 16 divide ((-28)/8)/(r/10)?
False
Let h(f) = -f**3 - f**2 + f + 2. Let y(o) = o**3 + 3*o**2 - 3*o - 4. Let u(g) = -5*h(g) - 2*y(g). Does 10 divide u(2)?
True
Let x(b) = 3*b - 5. Let q be x(11). Suppose -8*h + 10*h - q = 0. Does 7 divide h?
True
Let l(u) = u**3 - 3*u**2 + 2*u - 1. Let d be l(1). Is (d - 0)*(3 + -16) a multiple of 13?
True
Suppose -4*l + 26 = 70. Let c = l + 24. Does 8 divide c?
False
Let d = 3 + 3. Let p(m) be the third derivative of m**4/6 + m**3/3 + 2*m**2. Is p(d) a multiple of 10?
False
Let q be 4/(-22) - (-6)/33. Suppose q = 4*s + 12 - 72. Does 15 divide s?
True
Let z be ((-3)/1)/(3/(-15)). Let k = z - 6. Is 9 a factor of k?
True
Let f = -3 + 8. Suppose -b = 5*h - 288, -2*h + f*h - 177 = -2*b. Is 22 a factor of h?
False
Suppose 51 = 2*b + b. Is b a multiple of 17?
True
Let d be (-57)/(-21) + 2/7. Let n = 3 - d. Suppose 0 = -n*y - 5*y + 100. Is y a multiple of 10?
True
Suppose 3*d + 27 = 4*d - 5*c, -3*d + 91 = -5*c. Is d a multiple of 16?
True
Suppose 4*t + 44 = -4*v, t + 38 + 1 = -5*v. Let f(o) = -o**3 + 6*o**2 - 2*o + 6. Let h be f(5). Let m = h + v. Does 7 divide m?
True
Suppose -26 = -4*t + 30. Let n = 56 - t. Is 14 a factor of n?
True
Let x = 5 + -44. Let w = -4 - x. Suppose 0 = 3*r - w - 19. Is 6 a factor of r?
True
Let p be 3 + -3 + 5 + 26. Let u = 90 - p. Does 17 divide u?
False
Let f be 10 + (-3 + 4 - -1). Is ((-124)/(-16))/(3/f) a multiple of 31?
True
Suppose 12*x - 135 = 17*x. Let v = 45 + x. Is 6 a factor of v?
True
Suppose 4*j - 5 = 3. Let m(y) = 18*y - 1. Let p be m(j). Suppose -n + 