of g?
False
Suppose -4*o - 4 = 0, -d - o = -31 - 4. Is 14 a factor of d?
False
Let i = 120 - 36. Is 26 a factor of i?
False
Let y = 1 - -1. Suppose -3*x + 60 = y*x. Is 6 a factor of x?
True
Let n = -41 - -60. Does 19 divide n?
True
Suppose 0 = -4*t - 1 + 173. Let k(y) = -y + 15. Let p be k(0). Let m = t - p. Is m a multiple of 14?
True
Suppose -2*n + 67 - 21 = 0. Is n a multiple of 3?
False
Is (-3558)/(-26) + 6/39 a multiple of 7?
False
Let g = 14 + -4. Let p = 7 - g. Let t = p + 11. Is t a multiple of 4?
True
Suppose 4*m = 3*m. Suppose 2*a = -m*a - 2*x - 34, 2*x - 51 = 3*a. Is -2*(-1 + a)/2 a multiple of 9?
True
Let f be ((-4)/(-6) + 0)/((-2)/(-9)). Let j(o) be the third derivative of o**5/12 - o**4/6 - o**3/6 - o**2. Does 16 divide j(f)?
True
Suppose -q + 182 = -5*d + q, -d + 4*q - 22 = 0. Let u = -8 - d. Does 13 divide u?
False
Let d = -88 - -144. Suppose -2*a + 33 = -19. Let t = d - a. Does 15 divide t?
True
Suppose 0 = 5*f - 3*j, 0*j = f + 3*j. Suppose -2*m - 2*v + 43 + 55 = f, 2*m = -3*v + 101. Is m a multiple of 12?
False
Let r = -55 - -120. Does 5 divide r?
True
Let p be 243/36 + 6/(-8). Does 14 divide (p/(-4))/(9/(-84))?
True
Let r = -5 - -11. Suppose 2*o = -r*t + 4*t + 68, -t = -2*o - 46. Is 13 a factor of t?
False
Let j(h) = 44*h - 3. Suppose p + 4 = d - 1, -11 = -d + 3*p. Is 17 a factor of j(d)?
True
Suppose -10 = i - 5*z - 53, 3*z = -2*i + 47. Is i a multiple of 17?
False
Let c(r) = 12*r**2. Let j be c(1). Let s = 6 - j. Is 6 a factor of (44/s)/(2/(-3))?
False
Let s(h) = 3*h**2 + 7*h - 5. Does 4 divide s(3)?
False
Let i(c) = 24*c**3 + 2*c**2 - 1. Is 24 a factor of i(2)?
False
Let u(r) = r**3 - 4*r**2 - 1. Suppose -1 + 10 = 3*j. Let f be u(j). Let s = -7 - f. Is s even?
False
Let z = -88 + 174. Is z a multiple of 13?
False
Suppose 0 = 22*t - 17*t - 130. Is t a multiple of 3?
False
Suppose -3*p = -8*p + 15. Let g(b) = -b**3 + 5*b**2 - 4*b. Let n be g(p). Is (-36)/((-27)/n - -3) a multiple of 12?
True
Is ((-9)/(-3))/(3/74) + 0 a multiple of 20?
False
Is 24 a factor of (-4)/(24/27)*-26?
False
Suppose -5*h + 345 = -0*h. Does 23 divide h?
True
Let l be (-4)/(-22) - (-4)/(-22). Suppose 1 = 5*u - 3*m, l*m = u + 2*m - 8. Suppose -60 = -4*j - 4*w, -7*j + 68 = -2*j - u*w. Does 11 divide j?
False
Let v(z) be the first derivative of -z**4/4 + 7*z**3/3 + z**2 - 4*z + 7. Is v(6) a multiple of 9?
False
Suppose -4*f - 4 = -0. Is (f + 3)/(6/87) a multiple of 11?
False
Let a(r) = 13*r**2 - 3*r - 4. Is a(-2) a multiple of 11?
False
Let t = 19 - 14. Let p = 5 - -44. Suppose -t*g + 2*y + 95 = 0, -2*g + 0 = -3*y - p. Is g a multiple of 17?
True
Suppose -4*d - 2*o = -164, 2*o = d - 0*d - 36. Does 17 divide d?
False
Let q(l) be the first derivative of l**3/3 + 23*l - 2. Is q(0) a multiple of 8?
False
Let l = 0 + 5. Suppose -4*s + y + 88 = -32, -l*s = 2*y - 150. Suppose -4*w + 9*w - 5*f - s = 0, -5*f - 10 = 5*w. Is w even?
True
Suppose u + 18 = -2*u. Let x(l) = -8*l - 1. Is x(u) a multiple of 18?
False
Suppose 10 + 2 = -4*w. Let f = -1 - w. Let l = f + 5. Is l a multiple of 6?
False
Suppose 3*r = 5*l + 54 - 8, -4*l - r = 30. Let b(c) = -3*c - 11. Is 8 a factor of b(l)?
False
Let d(m) = -m**3 + 4*m**2 - 2*m + 2. Let g(i) = 2*i - 5. Let y be g(5). Suppose -9 = 2*k - y*k. Does 5 divide d(k)?
True
Let o = 34 - -2. Is 12 a factor of o?
True
Let a(b) = 25*b - 1. Is a(1) a multiple of 6?
True
Suppose 0 = 2*t + j - 8, 4*t = 2*j + j + 36. Does 6 divide t?
True
Let t = -480 - -244. Let v = t + 356. Suppose 7*h - v = 2*h. Is h a multiple of 13?
False
Let k = -56 - -89. Suppose -k = -h - 9. Is 12 a factor of h?
True
Let r = 2 + 1. Is 18 a factor of 0/(-4) - -6*r?
True
Suppose 3*c + 8 = 23. Suppose c*z + 6 = 26. Is 139/z + (-4)/(-16) a multiple of 15?
False
Let j = -91 - -62. Let o = -16 - j. Is 5 a factor of o?
False
Let d(a) be the third derivative of 1/15*a**5 + 1/2*a**3 - a**2 + 0 + 0*a + 1/120*a**6 + 1/8*a**4. Is d(-2) a multiple of 3?
False
Let v be (0 + (21 - 1))/1. Suppose 5*b + 2*m - v = 5*m, -4 = -b + 4*m. Suppose d + 2*d + 20 = h, 12 = b*d. Is h a multiple of 15?
False
Let r(m) = m**2 + 2*m + 4. Let j(a) = -6*a - 1. Let i be j(-1). Is 13 a factor of r(i)?
True
Suppose -2*q + 6*q + 5*b + 3 = 0, -4*q = -5*b - 27. Suppose 3*o - q*i + 8 = 8*o, 40 = 5*o - 5*i. Suppose -66 = n - o*n. Does 11 divide n?
True
Let n(i) = 2*i - 10*i - 1 - 10*i + 3*i. Is n(-1) a multiple of 7?
True
Suppose -5*d - 17 = -q, -3*d - 17 = -0*q - 4*q. Suppose -35 = -q*o + 9. Does 11 divide o?
True
Let j(t) = t**2 + 7*t - 14. Is j(-11) a multiple of 30?
True
Let t be 2 + (-1)/2*-2. Suppose t*y = y + 6. Suppose -19 - 119 = -y*x. Is 15 a factor of x?
False
Is -3 + 2/1*312/12 a multiple of 23?
False
Suppose 28 = 8*m - 100. Let n(l) = -l + 1. Let g be n(-3). Suppose 0*r - 5*r + m = -v, -3*r = -2*v - g. Is 4 a factor of r?
True
Let o(r) be the second derivative of -r + 0 + 0*r**2 + 1/6*r**4 + r**3. Is o(-4) a multiple of 4?
True
Let p(j) = 4*j - 8. Suppose 8 + 7 = -3*v. Let c = 11 + v. Does 16 divide p(c)?
True
Let z = -8 + 27. Does 12 divide z?
False
Let u be (2/(-5))/(1/20). Let c(x) = x + 11. Does 2 divide c(u)?
False
Suppose -2*n = -r + 66, 3*r - 55 = 2*n + 135. Is r a multiple of 9?
False
Let w(u) = 6*u - 2. Let m be w(4). Suppose -3*d - m = 5*q, d + 3 = q + 1. Is 8 a factor of (-62)/d - 1/2?
False
Suppose -b + 0 = -14. Does 6 divide b?
False
Let r(s) = s**3 - 3*s**2 + s + 4. Let p be r(2). Suppose -3*h = -2*t + 7 - 195, -4*h = p*t - 232. Is 20 a factor of h?
True
Let y(n) = n**3 + n**2 - 3*n - 3. Does 4 divide y(3)?
True
Suppose 0 = 5*h - 6 - 9. Suppose z = 2*j + h, -2*z - 2 + 3 = j. Does 6 divide (2/(-2))/(z/(-18))?
True
Let t(y) be the first derivative of -y**3 + y**2/2 - 2*y + 3. Let f be t(5). Does 13 divide (-30)/(-9)*f/(-15)?
False
Let y(g) = -g**3 - g + 17. Suppose -4*w + 4*s = -0 - 8, -10 = 5*s. Is 13 a factor of y(w)?
False
Suppose -h + 41 = s - 2*h, -2*s = -3*h - 80. Is s a multiple of 9?
False
Let y = 10 - 7. Is 344/24 - (-2)/y a multiple of 15?
True
Let b be ((-41)/(-3))/(1/(-3)). Let m = b - -18. Let d = m + 35. Does 6 divide d?
True
Let h = -10 + 18. Suppose -2*j = -4*p - 22, 0 = -3*j + h*j + 2*p - 19. Suppose 18 = z + j. Does 5 divide z?
False
Let h(r) = r**3 + 5*r**2 + 3*r + 3. Let u be h(-4). Let a = 10 - u. Suppose a*g - 19 - 7 = -q, -4*g + 48 = -2*q. Is g a multiple of 10?
True
Suppose j = 0, -5*j - 4 = 3*i - i. Let l be (8/(-6))/(i/6). Suppose 2*y = -3*k + 31, 3*y = l*y - 5*k - 22. Is 9 a factor of y?
False
Let g = 7 - 11. Let l be g/(-6) - 26/(-6). Suppose l*a - 7 - 3 = -5*q, 4*a - 5*q = 26. Is a a multiple of 4?
True
Let a = 27 + 33. Is 13 a factor of a?
False
Suppose 4*n = 5*m + 2*n - 19, 3*n = 3*m - 6. Suppose g + 204 = m*g. Is g a multiple of 13?
False
Let y(u) = u**2 - 8. Let s be y(0). Let h(d) = d**3 - 10*d**2 + 11*d - 11. Let i be h(9). Let r = i - s. Does 15 divide r?
True
Does 30 divide (-2)/(-20)*6 + (-2034)/(-10)?
False
Suppose -12 = -2*u - 4*b + 8, -16 = -4*u - 2*b. Suppose 3*s + 18 = 5*s - 5*i, -u*i + 27 = 3*s. Is 3 a factor of s + 2/1 - 2?
True
Suppose -165 = -5*c - 5*w, -3*c - 5*w - 150 = -7*c. Does 7 divide c?
True
Suppose 5*q = z + 290, 3*z = 5*q - 4*q - 72. Is q a multiple of 5?
False
Suppose 2*f = 2*h - 224, 2*h + 4*f - 129 - 125 = 0. Let k = h - 72. Is 14 a factor of k?
False
Let j(i) be the second derivative of 11*i**3/6 + i**2/2 + i. Is 18 a factor of j(4)?
False
Let u(s) = -s**2 - 39. Let v be u(0). Let d = -26 - v. Is 8 a factor of d?
False
Let g be 1 + (-6 - -2) - -7. Suppose j - s + 4*s - 22 = 0, 0 = -5*j + g*s + 110. Let t = j + -12. Is 10 a factor of t?
True
Suppose 4*t + 80 = b, -5*b = -t - 142 - 277. Does 23 divide b?
False
Suppose -7*w + 8*w - 135 = 0. Is 15 a factor of w?
True
Suppose -2*s - 566 = -4*z, 4*s + 569 = 4*z + s. Let x = 263 - z. Suppose 4*q = 37 + x. Is 20 a factor of q?
True
Let g(k) = 8*k**2 - k + 2. Does 6 divide g(1)?
False
Let l = 2 + -1. Suppose 0 = 3*i + 4*v - l - 1, -2*i - 8 = -2*v. Does 9 divide ((-1)/3)/(i/54)?
True
Suppose 112 = -0*l + l. Suppose -2*o - 2*w - 118 = 0, -2*w = -o + 2*w - 64. Let n = l + o. Is 19 a factor of n?
False
Let j(y) = 5*y + 2. Does 23 divide j(18)?
True
Let a be (-3 - -1)*(-2)/4. Let y(t) = 16*t**2 - 1. Let c be y(a). Let b = c + 2. Does 14 divide b?
False
Let s(v) = v**3 - 8*v**2 - 10*v 