 divide h?
True
Suppose 342 - 1518 = -4*d. Does 75 divide d?
False
Let i(h) = -h**3 - 4*h**2 - 5*h - 4. Let j be i(-3). Let u(c) = 0*c + 5 + 5 - c - 8*c - c**j. Is u(-9) a multiple of 8?
False
Let m = -6 + 97. Suppose 0 = -2*v - 2 + 8. Suppose 47 + m = v*g. Is 23 a factor of g?
True
Let s = -1692 + 2387. Is 35 a factor of s?
False
Does 16 divide -4 + 2 + (3 - -1101)?
False
Let b(x) = 3*x**2 + x**2 + 27*x - 26*x + x**3. Suppose 5*a = -2*d + 2*a - 10, d + 2*a + 6 = 0. Does 6 divide b(d)?
True
Let u(g) be the first derivative of g**3/3 - 6*g**2 - 5*g - 7. Let i be u(13). Let d = 22 + i. Does 6 divide d?
True
Let g(o) = -88*o - 1. Does 53 divide g(-3)?
False
Let l(u) = u**3 - 17*u**2 + 4*u + 7. Let y be l(17). Let w(b) = -b**3 - b**2 - b + 15. Let r be w(0). Let s = y + r. Is 18 a factor of s?
True
Suppose -9*i - 22 = 14. Is 14 a factor of ((-14)/i)/((-2)/(-32))?
True
Suppose -2*n + 248 = -4*r, 2*r - 3*n + 252 = -2*r. Let a = 145 + r. Suppose 17*h = 12*h + a. Is 4 a factor of h?
False
Let c(p) be the first derivative of 7*p**2 - 49*p + 31. Is c(6) a multiple of 4?
False
Let v(i) = 31*i + 4. Let s be v(2). Suppose 0 = -2*z - 3*l + s, -3*z = -z + 5*l - 70. Does 19 divide z?
False
Suppose 8*p = -130 - 14. Is 25 a factor of 229/2 + 27/p?
False
Suppose 0 = 4*j - z - 35, -j = 4*z - 12 - 1. Let r be (2/(-6))/(3/j). Does 4 divide r + 5 + 13 + -11?
False
Let n = -19 - -405. Suppose 3*q - q = -2, -n = -3*y - 4*q. Is y a multiple of 32?
False
Let w be 3/(-1) - (-1 - 5). Suppose w*u - 7 = 5. Suppose -4*b = g - 167, 2*b + 0*b - 106 = u*g. Is 15 a factor of b?
False
Suppose 1353 - 345 = 9*c. Does 12 divide c?
False
Let o = 759 + -373. Is 46 a factor of o?
False
Let s(u) = 2*u**3 - 6*u**2 + 3*u + 1. Suppose 0 = -2*q - w + 8, -q - q - 4*w + 8 = 0. Is 5 a factor of s(q)?
True
Let d(r) = -5*r**2 - 3*r. Let h be d(-2). Let g(o) = o**3 + 14*o**2 - 11*o - 21. Is 20 a factor of g(h)?
False
Let o be 1*4/((-4)/35). Let g(j) = 2*j**2 + 12*j + 22. Let p be g(-9). Let y = p + o. Is 22 a factor of y?
False
Let f(a) = -7*a**3 + 3*a**2 + 6*a + 14. Does 13 divide f(-6)?
False
Let h = 39 + -36. Let c = h - -11. Suppose 0 = 12*o - c*o + 166. Is 14 a factor of o?
False
Let m(c) = -c**3 + 12*c**2 - 11*c + 2. Let h be (81/(-45))/(2/(-10)). Let k be m(h). Suppose 2*l - k = -4*s, s + 207 = 3*l + 4*s. Is 13 a factor of l?
True
Let i(a) be the second derivative of -a**6/120 - a**5/20 + 7*a**4/24 - a**3 - 5*a**2/2 + 5*a. Let n(v) be the first derivative of i(v). Is 22 a factor of n(-6)?
False
Suppose -59*x + 19040 - 2933 = 0. Is 18 a factor of x?
False
Let q(a) = -12 - 5*a**2 + a**2 + 5*a**2 - 13*a. Let s be q(13). Is 15 a factor of s/(-9)*(-420)/(-8)?
False
Let o(i) = -10*i - 33. Let t = -39 + 32. Does 5 divide o(t)?
False
Suppose a = -4*w + 5775 - 1617, -2*w + 5*a = -2090. Does 52 divide w?
True
Let j(o) = -6*o + 21. Is 3 a factor of j(-2)?
True
Suppose 0 = -5*m + 2*k + 16 - 1, 0 = -5*k. Let i be -3 - (-1 - (-2)/(-1)). Suppose i*p = m*p - 63. Is p a multiple of 19?
False
Suppose -o + 4 = -1. Let u(y) = -8*y - 3. Let r(h) = -44*h - 16. Let m(s) = o*r(s) - 28*u(s). Is m(2) a multiple of 3?
True
Let v(t) = -12*t + 9*t + 2 - 14*t - 4*t. Does 21 divide v(-5)?
False
Suppose 0 = 37*o - 38*o. Suppose o = 14*w - 3*w - 473. Does 43 divide w?
True
Suppose -4*a + 16 = 0, w + 3*w - 8 = -4*a. Let t be 2/8 + (-1027)/(-52). Let z = t + w. Is z a multiple of 7?
False
Let f = -15 + 12. Is 30 a factor of f/(-9) - 886/(-6)?
False
Suppose 0 = 2*z + 5*s - 31, 0*s + 3*s = -4*z + 41. Let u be 6/4 + (-30)/(-12). Is (0 + 54)*u/z a multiple of 27?
True
Suppose -42 = -l - 5*l. Let o be l/((-28)/(-12)) + 0. Suppose 0 = x + 5*p - 29, o*p - 25 = x - 2*x. Does 11 divide x?
False
Let y be 7/((-7)/(-6)) - 5. Let x(q) = 107*q + 3. Does 18 divide x(y)?
False
Suppose 0*j + 2*l + 8 = -j, -5*j + 2*l - 4 = 0. Let i be (-124)/j*(-110)/(-20). Suppose -4*r + i = -n, -n + 1 = r - 78. Is 28 a factor of r?
True
Let o = -10 + 11. Suppose 4 = -k + o. Is 1152/42 + k/7 a multiple of 11?
False
Let a = 10 + 13. Suppose -2*j - a = -199. Is 11 a factor of j?
True
Let f = -13 + -59. Let b be ((-5)/2 + -1)*f. Suppose 0 = 3*j - 0*j - b. Is 29 a factor of j?
False
Suppose 1756 = 3*q + 22. Is 10 a factor of q?
False
Suppose 44 = -8*t + 4. Let s(m) = m**2 + 3*m + 4. Is 7 a factor of s(t)?
True
Suppose -1 - 9 = -2*f + 4*v, 0 = -4*f + v + 13. Is ((-2)/f)/(-1) - (-440)/15 a multiple of 15?
True
Suppose 9*g + 36 = 8*g. Is (1/(-2))/(73/g + 2) a multiple of 18?
True
Let o be -1 - 0 - (14 - 15). Let q(t) = -t**2 - 2*t + 95. Is 12 a factor of q(o)?
False
Suppose 0*n = -4*s - 4*n + 100, -s = -5*n - 19. Let r be (12/(-14))/(s/(-112)). Suppose -171 = -r*k - 5*y, 5*k - 4*y - 311 = -87. Is k a multiple of 11?
True
Let n(r) = -9*r + 5. Let u(p) = 4*p - 2. Let v(m) = -6*n(m) - 15*u(m). Is 9 a factor of v(-8)?
False
Let c(a) = a**3 + 20*a**2 + 51*a + 32. Is c(-16) a multiple of 8?
True
Suppose -2*r = -5*g - 1530, 5*g - 4*r + 1530 = -0*r. Let v = g - -537. Does 20 divide v?
False
Let w = -399 - -1301. Is 132 a factor of w?
False
Suppose 0 = 3*n - 7*n - 12. Let j = -5 - n. Is 65 + -2 + j/2 a multiple of 31?
True
Let j = -241 - -395. Is j a multiple of 5?
False
Suppose 0*v + 2*v = 26. Let q = -11 + v. Suppose 4*b - f - 385 = 0, q*f = 7*f + 5. Does 22 divide b?
False
Let d(a) = -98*a - 30. Is 8 a factor of d(-3)?
True
Suppose 4*n + 25 = 17. Let h be -2*(3 + n)*-1. Let d = 12 - h. Does 10 divide d?
True
Suppose -4*x + 10 = -10. Suppose 66 = x*b - 104. Is 6 a factor of b?
False
Suppose 8912 + 19648 = 34*s. Does 7 divide s?
True
Let x(m) = 9*m + 570. Is x(-29) a multiple of 2?
False
Let m(u) = -9*u - 7. Let l be m(-7). Let n = l + -16. Is 20 a factor of n?
True
Let h = 329 - 185. Is 3 a factor of h?
True
Let a(c) = c - 3. Let f be a(16). Let k = -2 + f. Is k a multiple of 6?
False
Let j(l) = 13*l - 5. Let x be j(3). Suppose 0 = -x*i + 29*i + 165. Does 22 divide i?
False
Suppose f = -60 + 183. Let u = f - -94. Is 51 a factor of u?
False
Let q(w) = w**2 - 8*w + 5. Let k be q(6). Let n be -21*(-3 + k/(-3)). Suppose 6 + n = 4*g. Does 5 divide g?
True
Let d = 5 - 0. Suppose -2*z + d*o = 2*z - 114, -3*o = -5*z + 136. Let w = 43 - z. Does 8 divide w?
False
Is 11 a factor of (0/1)/(-7) + 588/2?
False
Let k(s) = -s**3 + 7*s**2 - 5*s - 1. Let y be k(5). Let o(j) = 9*j - j**3 + 2 + 6 - y*j + 9*j**2. Is o(6) a multiple of 7?
False
Suppose -51 = j - 4*j. Let v be (-2 + 7)*j/5. Does 15 divide v/(-3)*48/(-8)?
False
Let p(w) = -4*w - 11. Let m be p(-5). Is (-8 - -9)*(m + 2) a multiple of 10?
False
Suppose 5*f - 10 = 0, -118 = -d - 0*d - 2*f. Is d a multiple of 6?
True
Let t(f) = 4*f**2 - 12*f - 33. Does 29 divide t(-12)?
False
Let j = 10 + -15. Let u be (2/3)/((-3)/9). Is (-14)/u - (3 + j) a multiple of 9?
True
Let s(n) = -n**3 + 2*n**2 + 3*n + 3. Let l = 6 - 3. Let a be s(l). Suppose -148 + 452 = 4*k - 5*g, -a*g - 380 = -5*k. Is 38 a factor of k?
True
Let k(p) = -78*p - 6. Let q be k(-2). Suppose -5*o = -3*x - 1447, -3*o = x + q - 1007. Is o a multiple of 13?
False
Suppose 4*l = 14 + 14. Suppose -l = 2*i - 73. Suppose 39 = 4*t - i. Is 7 a factor of t?
False
Let t(c) = 16*c**3 - 3*c - 2. Is t(2) a multiple of 15?
True
Suppose 7*t - 12*t = -75. Let m(p) = p**2 - 15*p + 13. Let q be m(t). Let l = q - 1. Is l a multiple of 12?
True
Let k be 6/(((-15)/(-2))/(-5)). Let z(y) = -y**2 - 2*y - 8. Let m(t) = -t**2 - 1. Let l(h) = -2*m(h) + z(h). Does 6 divide l(k)?
True
Suppose -4*d - 348 = 2*b, -135 = -4*d - 4*b - 483. Let y = -9 - d. Is 26 a factor of y?
True
Suppose 3*q - 2*d - 1336 = 317, -2*q - 3*d = -1115. Does 7 divide q?
True
Let y be 8/36 + 16/9. Suppose u - 4 = 3*n, -y*n - 24 = -3*u - 5*n. Let j = u - -74. Is j a multiple of 27?
True
Let v be 4/(-6) - (-3230)/30. Let l = v + -46. Is 20 a factor of l?
False
Let d(k) = -161*k - 18. Does 13 divide d(-1)?
True
Let k = 10 - 9. Let m be -2*k/2 + 1. Suppose m = -5*b - 15, 2*h + b - 29 = -4*b. Is 5 a factor of h?
False
Let j be 1/(-3)*(-11 - -2). Let r be ((-15)/40)/(j/(-24)). Suppose 3*y - 334 = -5*p, r*p - 4*y + 272 = 7*p. Is 13 a factor of p?
True
Let p(g) = 21*g**2 + 7*g + 11. Is p(-8) a multiple of 32?
False
Suppose -5*t + t + 5*y + 155 = 0, 5*t = 3*y + 184. Is (-1)/((-28)/144)*t/2 a multiple of 30?
True
Let i(z) = z + 13. Let n b