 + -1. Is g a multiple of 10?
True
Let f(d) = d**3 - 6*d**2 + 5*d + 6. Let i be f(5). Let a be 51/i*(0 + 8). Let w = -22 + a. Does 23 divide w?
True
Let y = -138 + 245. Is y a multiple of 3?
False
Suppose -21 = 12*s - 13*s. Does 11 divide s?
False
Is ((-3)/6)/((-2)/44) a multiple of 6?
False
Suppose 3*h - 5*i - 20 + 3 = 0, 2*h - i = 23. Is h a multiple of 14?
True
Let f(k) = k**3 + 3*k**2 - 4*k. Let t be f(5). Suppose 3*a - 3 = -9, -t = -2*m - 2*a. Is m a multiple of 31?
False
Let r be 64/(-40)*50/(-4). Let m = 10 - r. Does 4 divide 15/(-6)*16/m?
True
Let o(j) be the second derivative of -j**5/2 - j**4/12 + j. Let g be o(-1). Suppose -n + 6 = -g. Does 15 divide n?
True
Let n(g) = g**2 - 5*g + 9. Let r = -1 - 3. Let c(q) = -3*q - 6. Let t be c(r). Does 4 divide n(t)?
False
Let q = 6 - 10. Let z = 13 + q. Is z a multiple of 3?
True
Suppose -4*t - m + 129 = 0, -3*t + 2*m + 95 = m. Suppose t = 2*y - 40. Is 10 a factor of y?
False
Let b = -2 + 5. Does 2 divide 7/b - (-1)/(-3)?
True
Suppose 4*u - 15 = 33. Does 12 divide u?
True
Let d(m) = -m**3 - 4*m - 6. Is 15 a factor of d(-6)?
False
Let q(m) = m**3 - 8*m**2 - 9*m - 8. Let s be q(9). Let t = s + 22. Is 7 a factor of t?
True
Let h(d) = -2*d + 2. Let r be h(-1). Suppose -q - r*q = -300. Is 20 a factor of q?
True
Let g(w) = -2*w + 1. Let k be g(3). Let y be (-2)/(-5) - 58/k. Let c = 24 - y. Is 12 a factor of c?
True
Suppose -n = 2*b - 165, 3*n + 21 = -b + 96. Suppose -5*k + 107 = -r + 15, -5*k - 3*r = -b. Is k a multiple of 8?
False
Is 10/(-3 + (-262)/(-86)) a multiple of 12?
False
Let t(z) = -z. Let n be t(-2). Suppose n*d - 93 = -0*d - 3*o, 4*d = 4*o + 196. Is 28 a factor of d?
False
Let a = 5 + 1. Let u = a + -4. Is u even?
True
Let y = -7 - 7. Let f be (-2)/7 + 108/y. Let q(k) = k**3 + 8*k**2 - k + 5. Is 13 a factor of q(f)?
True
Suppose 3*k + 3*r + 78 = 0, -2*k + 11 = -3*k + 2*r. Does 6 divide 0 - 0/3 - k?
False
Suppose 10 = -5*v - 5*j, -5*v + 0*j + 11 = -2*j. Let r = 8 + v. Does 9 divide r?
True
Suppose -2*b - p = -79, 3*b - 3*p - 2*p - 125 = 0. Does 20 divide b?
True
Let g(l) be the third derivative of -l**5/60 + 3*l**4/8 - 7*l**3/6 + 3*l**2. Let p be g(6). Let z = p + 0. Is 6 a factor of z?
False
Let y = 6 + -1. Let u(c) be the first derivative of 5*c**2/2 - 5*c + 2. Does 12 divide u(y)?
False
Let m(q) = 17*q**2 + 1. Suppose -18 + 6 = -2*i. Let a be 3*-1*(-2)/i. Is m(a) a multiple of 18?
True
Suppose 5*u - 3*s - 177 - 95 = 0, -2*s = 4*u - 222. Is u a multiple of 18?
False
Let c = -10 + 8. Does 12 divide 29 - (6/c + 3)?
False
Let a = 0 + 2. Suppose -41 = -2*o - 3*k, 7*o = a*o + 2*k + 74. Is o a multiple of 8?
True
Suppose 0 = 3*t + 2*g - 64, 5*t - 130 + 28 = -g. Is 3 a factor of t?
False
Let n = 15 + -10. Suppose 0 = -n*o + r - 26, 0 = -3*r + 2*r - 4. Is 8 a factor of 80/o*3/(-2)?
False
Suppose l = -2*f + 84, 4*l - 350 = -2*f + f. Is l a multiple of 11?
True
Let c = 8 + -14. Is (-6)/(-4)*c*-6 a multiple of 27?
True
Suppose 0 = -4*j - 16, 2*s - 12*j - 24 = -8*j. Is s a multiple of 2?
True
Let j be 1/(3 - 8/3). Suppose -2*i + 56 = 2*u + 22, 0 = j*i + 5*u - 49. Is i a multiple of 6?
True
Let u = 287 - -157. Is u a multiple of 14?
False
Suppose 5*f - o = 1302, -2*f - 2*o = 2*o - 512. Is 65 a factor of f?
True
Suppose 0 = 4*j + 3*p - 1, -4*j + 45 = -3*p + 14. Suppose i - j - 2 = 0. Suppose 5*b = 2*o + 186, -o = b - i*b + 188. Is b a multiple of 19?
True
Let n(c) = c**3 - 8*c**2 - 7*c - 5. Let v be n(9). Suppose -4 = -s + v. Is 9 a factor of s?
False
Suppose 8*k + 0*k = 152. Does 2 divide k?
False
Let g(q) = 2*q**2 + 8*q. Is g(6) a multiple of 33?
False
Suppose -1 = -4*v + 51. Is v a multiple of 13?
True
Let r(o) = 87*o**3 + o**2. Let m be r(1). Let q(v) = v**2 - 4*v - 5. Let b be q(5). Suppose -2*w + m = -b*w. Does 22 divide w?
True
Suppose 4*d - 203 = -3*d. Is d a multiple of 6?
False
Let u(c) = c**3 - 3*c**2 - 3*c + 6. Let y be u(4). Is 10 a factor of (-135)/6*(-12)/y?
False
Let s(b) = 3*b + 4. Let k be s(7). Let q = k - 12. Does 13 divide q?
True
Let u = 5 - -1. Suppose v - u*h - 14 = -h, 3*h - 6 = -3*v. Is 3 a factor of v?
False
Suppose 9*v = 4*v - 170. Let f = v + 82. Is 30 a factor of f?
False
Suppose 3*v + 89 + 10 = 5*c, 5*c - 4*v - 102 = 0. Let m = -10 + 48. Let p = m - c. Does 11 divide p?
False
Let f(b) = -4 + 4*b**2 - 2*b**2 + 5. Let y be f(1). Suppose -2*n = -y*n + 42. Does 16 divide n?
False
Let f = -6 - -10. Suppose 5*c = 4*d + 13, 2*d = f*d + 2*c - 16. Is 3 a factor of d?
True
Is (324/(-10))/(20/(-50)) a multiple of 6?
False
Suppose 3*j - 8 = 7. Suppose 2*c + 4 = -3*i - 0*i, -i + 3*c + 17 = 0. Suppose 0 = -3*l - i*f + 29 + 9, 18 = 2*l + j*f. Is l a multiple of 4?
False
Suppose -2*g + 4*g - 4 = 0. Let v = -4 + g. Is 33/2 - (-1)/v a multiple of 7?
False
Let g be (-2)/(-1 + 375/381). Suppose 5*q + 3*a - g + 47 = 0, -32 = -2*q - 3*a. Suppose 5*z - q - 64 = 0. Is 8 a factor of z?
True
Suppose 5*t = 468 + 342. Does 9 divide t?
True
Suppose -4*p + 15 + 177 = 0. Is p a multiple of 24?
True
Suppose 0 = -3*q + 11 + 7. Let u = q + -4. Suppose u*i - 5*i = -42. Does 7 divide i?
True
Let i be 1 + 7/((-21)/(-6)). Suppose -6 - 39 = -z. Suppose -q = 2*j - 10 - 11, 3*j = i*q - z. Does 12 divide q?
False
Let n be (-6)/4 + (-9)/(-6). Suppose -4*q + 13 + 47 = n. Is q a multiple of 15?
True
Suppose y - 69 = -25. Is 7 a factor of y?
False
Is 6 a factor of (-11 + 2)*10/(-15)?
True
Suppose 2*a = l - 20, 0 = 5*a - 3*l + 4*l + 50. Let v = a - -16. Does 6 divide v?
True
Let a(c) = -4*c - 10. Let x be a(-4). Suppose 290 = x*f - f + 5*m, 3*f + 4*m - 169 = 0. Is 16 a factor of f?
False
Let v = -38 - -6. Let s = v + 50. Is s a multiple of 4?
False
Let g(d) = d**2 - 2*d - 10. Is g(-8) a multiple of 18?
False
Let u = -49 - -70. Suppose r - 6 = u. Does 27 divide r?
True
Suppose p - 4*d = -2*p + 18, 7 = 2*p - d. Suppose 2*w + p = 0, 3*q + 8 = 4*q - 3*w. Is q a multiple of 4?
False
Suppose 5*z + 0 = 10. Suppose z*f = -7 + 35. Is f a multiple of 14?
True
Let g(v) = 9*v + 11. Let y(m) = 8*m + 10. Let s(a) = -5*g(a) + 6*y(a). Does 9 divide s(7)?
False
Suppose 54 = 9*z - 6*z. Does 6 divide z?
True
Let h(s) = 11*s + 7. Let t(o) = -22*o - 13. Let d(b) = -11*h(b) - 6*t(b). Let v be d(4). Suppose 0*w = w - v. Is w a multiple of 13?
False
Let q(h) = 5*h**3 - 3*h**2 + 2*h. Suppose -6*j = -j. Let p be (2 + j)*(2 - 1). Does 16 divide q(p)?
True
Suppose 2*g - 2 = -5*j, 2 - 1 = 2*j + g. Let t be ((-1)/(-1) - j)/(-1). Is t/(-3) - (-95)/3 a multiple of 16?
True
Does 10 divide (1 - 10)*20/(-6)?
True
Let q be (-46)/(-14) - (-2)/(-7). Suppose 2*y + q*z - 11 = 0, -2*y + 0*z + 5*z + 3 = 0. Does 4 divide y?
True
Let z = -76 + -29. Let l = z + 154. Suppose l = 2*r + u + 2*u, -25 = -5*u. Is r a multiple of 8?
False
Suppose 5*i - 25 = 5*g, 0 = -2*i + 5*g - 2*g + 13. Suppose -2*h = i*h - 20. Suppose 3*f - 13 = -5*x, -2*f + 4*x - h*x = -18. Is 11 a factor of f?
True
Let v be (-2 - -1*3)*1. Let c be 0/3 - 25/(-1). Suppose v = -2*i + c. Does 12 divide i?
True
Is 24 a factor of (-3012)/(-42) + (-4)/(-14)?
True
Suppose 0*f + 2*f - 4 = 0. Let h(w) = 3*w + 2. Let a be h(f). Suppose 5*n - n = a. Is 2 a factor of n?
True
Let t = -2 + 24. Does 22 divide t?
True
Suppose -3*p = 2*p + 25. Suppose 5*g - g - 12 = 0. Let c = g - p. Does 4 divide c?
True
Suppose -2*m = 4*z + 18, 0 = 5*z + 5*m + 7 + 18. Let r be 21/7*(-2)/3. Is r/(z/58) - 0 a multiple of 9?
False
Let w be (-6)/(-4)*4/(-3). Let r be w/(-2) - (-3 - 39). Suppose -r = -4*l + 5. Is 9 a factor of l?
False
Suppose -330 = -v - 5*v. Does 11 divide v?
True
Let g = -24 + 2. Does 11 divide g/8*(-8)/2?
True
Let b = 172 - -48. Does 44 divide b?
True
Is 25 a factor of 72/20*80/3?
False
Let d(a) = 7*a**3 + a**2 + 3*a - 3. Does 13 divide d(3)?
False
Let z(c) be the first derivative of -1/3*c**3 - 1 + 5*c**2 + 10*c. Does 13 divide z(8)?
True
Let j(h) be the first derivative of h**3/3 - h**2/2 + 3*h - 1. Suppose -5*i = 12 + 18. Does 15 divide j(i)?
True
Let n(z) = -z**3 - 6*z**2 + z + 8. Let u be n(-6). Suppose u*t + 37 = 3*t. Is 16 a factor of t?
False
Suppose 2*n + 6 = 3*n. Suppose 0 = w - n*w + 15. Let p = 3 + w. Is 6 a factor of p?
True
Let z = -15 - -52. Is z a multiple of 37?
True
Let c be (6/(-10))/(2/(-10)). Let q(a) = -a**3 + 3*a**2 - a + 3. Let v be q(c). Suppose v*l + 5*l + 3*f - 47 = 0, -2*f = l - 