 = 5*c - 22. Is c a multiple of 4?
True
Let n(q) = -5*q**2 - 8*q + 7. Let f(a) = -4*a**2 - 7*a + 8. Let j(g) = -4*f(g) + 3*n(g). Let w be j(-9). Let k = 73 - w. Does 16 divide k?
False
Let t = 56 + -32. Suppose 2*s = 3*s + 5. Let h = t - s. Is 16 a factor of h?
False
Let a = -3 - -2. Let q be (11*a - 0) + 1. Does 20 divide -20*5/(q/4)?
True
Let n be 2*1 - (10 + 6). Let s be -1*2*n/4. Let w = 31 - s. Does 12 divide w?
True
Suppose h + h + 121 = 3*a, 3*h = -6. Is 4 a factor of a?
False
Let l(w) be the second derivative of -11*w**5/20 - w**3/3 - w**2/2 - 11*w. Let c(z) = z - 3. Let i be c(2). Is l(i) a multiple of 5?
False
Suppose -t - 2*c = -5*c + 7, -3*t = 2*c + 21. Let b(u) be the first derivative of -u**4/4 - 7*u**3/3 - 7*u**2/2 - 5*u - 1. Is 16 a factor of b(t)?
False
Let x be 6/(-12)*(13 + -1). Let p be 2/x*2*-3. Suppose 0 = 3*s - p*k - 160, -4*k + 2*k + 2 = 0. Is 18 a factor of s?
True
Let n(u) = -10*u - 91. Is n(-14) a multiple of 9?
False
Suppose 848 = -5*v + 2288. Is 12 a factor of v?
True
Let g(k) = 2*k**3 + 3*k**2 - 4*k**2 - 3*k + 7 - 6 + 2*k**2. Is g(2) a multiple of 15?
True
Let n(k) = -18*k + 12. Let t be n(-6). Does 27 divide ((-9)/(-5))/(8/t)?
True
Is ((-65)/(-10) - 3)*(-16)/(-1) a multiple of 4?
True
Suppose 4*m - 120 = -m. Suppose -7*g + m = -3*g. Is g a multiple of 6?
True
Let k be 1*(51 - 0 - -2). Let r = k + -26. Is 9 a factor of r?
True
Suppose 0 = l - 3*o - 39, -3*l + 105 = -5*o. Does 7 divide l?
False
Let h be 0 - 0 - -1 - -17. Suppose 0 = 5*i + 24 + 36. Is i/h*75/(-2) a multiple of 17?
False
Suppose 3*x + 2*x - 50 = 0. Let v be 5/x - 174/(-4). Suppose -v = -2*i + 6. Is i a multiple of 25?
True
Let q = 3 - 4. Let n = 13 + q. Does 12 divide n?
True
Let w = 7 - 10. Is 15 a factor of (w - 9*-6)*1?
False
Suppose -2*v + 329 = -5*a, 5*v + 4*a - 644 = v. Does 44 divide v?
False
Let h = 6 - 3. Let u(q) = 0 - 4 - 3*q**3 + h*q**2 - 1 + 7*q + 2*q**3. Is 7 a factor of u(4)?
True
Suppose 0 = 3*o + o - 324. Is o a multiple of 9?
True
Suppose -11 = 2*b - 2*j - 53, -2*b + 5*j + 51 = 0. Suppose 5*p = 3*p + b. Is 11 a factor of 3*22*3/p?
True
Let b(h) = h**3 - 5*h**2 - 2*h - 1. Suppose 0 = -4*r + 20 + 4. Does 15 divide b(r)?
False
Suppose -3 + 0 = -z. Suppose 3*d - z*y = 63, -5*d = -0*y + y - 111. Does 8 divide d?
False
Suppose 3*t - t - 2*p - 10 = 0, 4*t + 2*p - 26 = 0. Let r = 2 - t. Let m(i) = i**3 + 4*i**2 - i + 4. Is 4 a factor of m(r)?
True
Let w(d) = d + 17. Let c be w(-14). Suppose 0 = c*o + 92 - 266. Does 15 divide o?
False
Suppose 2*j - 56 = 24. Let r be j/15 + 2/(-3). Suppose 0 = 3*l - 5*h - 47, -r*l + 0*h = h - 27. Does 9 divide l?
False
Let l(k) = k**3 + 5*k**2 - k + 6. Let x(g) = -2*g**2 + 3*g + 4. Let i be x(3). Does 8 divide l(i)?
False
Suppose -3*z - 1 = -10. Suppose 2*x = -l - z*l + 364, 3*x - 590 = 5*l. Suppose -52 = 3*b - x. Is 23 a factor of b?
True
Suppose 5*v - 343 = -63. Is v a multiple of 14?
True
Let o(p) = 4*p. Is o(3) a multiple of 5?
False
Does 8 divide 10/(-15) - (-14)/3 - -157?
False
Suppose 4*t - 84 = 24. Does 3 divide t?
True
Let x(c) = 2*c**2 + 9*c - 7. Let l = 1 - 9. Does 18 divide x(l)?
False
Let i(k) = 2*k - 12. Let v be i(11). Let n(d) = d**3 - 10*d**2 + 2*d - 6. Is n(v) a multiple of 12?
False
Let b(v) = 51*v + 3. Is 18 a factor of b(1)?
True
Let o be 0*2/(-4)*-2. Suppose o*h = h - 31. Does 14 divide h?
False
Suppose x + 5*d + 155 = 4*x, 5*x - 4*d = 254. Suppose -2*g = 3*g - x. Is 10 a factor of g?
True
Suppose -5*x = 15 + 5. Let g(d) = d**2 + 5*d + 5. Let w be g(x). Is 1 - (w - 42) - 0 a multiple of 16?
False
Suppose -161 = -3*n - 0*n + 2*a, -5*a = -2*n + 111. Let u(i) = i**3 + 7*i**2 - 6*i - 4. Let q be u(-7). Let m = n - q. Does 15 divide m?
True
Suppose -6*v - 28 = -7*v. Does 7 divide v?
True
Let p(t) = -10*t - 2. Let s(h) be the second derivative of h**3/6 + h**2/2 + h. Let f(w) = p(w) + 5*s(w). Is f(-3) a multiple of 9?
True
Suppose 10*b = 15*b - 595. Is b a multiple of 29?
False
Let y(d) = -d - 2. Let j(o) = -2*o - 5. Let r(g) = -3*j(g) + 7*y(g). Let a be r(1). Suppose -s = -4*v - 25, a = -2*s - 5*v - 10 + 34. Is 6 a factor of s?
False
Let u(m) = 4*m**2 + 10*m + 4. Let b be u(-7). Let f = -4 - -4. Suppose 4*n = -f*n - 4, -2*n = 3*x - b. Does 17 divide x?
False
Let q(w) = -3*w**3 - w**2 + 4. Does 20 divide q(-3)?
False
Suppose -2*c + 24 = -60. Does 21 divide c?
True
Suppose -2*x - 4*a = -504, 3*x - 37 = 2*a + 719. Is x a multiple of 14?
True
Suppose 4*v + 54 = 302. Is v a multiple of 10?
False
Suppose 5*f - 2*u = 81, -f + u + 18 = -0*f. Let o = f + -9. Suppose o*s - 51 = 3*s. Does 14 divide s?
False
Let c(m) = m**2 + 7*m + 5. Let z be c(-7). Suppose t - 65 = -z*r, -74 = -3*t - 2*r + 69. Is 190/t - (-4)/(-18) a multiple of 3?
False
Let h(a) = -8*a**2 - 4*a + 1. Let j be h(-3). Let r = -39 - j. Is 12 a factor of r?
False
Let b = -92 + 177. Let s = b - 60. Is 12 a factor of s?
False
Is 34 a factor of (-3788)/(-20) - (-2)/(-5)?
False
Let x be 2/(-8) - (-679)/28. Suppose x = 3*q - 60. Is 14 a factor of q?
True
Let k(u) = -u**3 - 3*u**2 - 3. Let g(f) = -5*f**3 - 11*f**2 - 12. Let j(y) = 2*g(y) - 9*k(y). Is 5 a factor of j(4)?
False
Let l = -118 - -189. Is 29 a factor of l?
False
Let j(h) = h**3 - 4*h**2 + 3*h. Let l be j(3). Is -48*(3/(-4) + l) a multiple of 12?
True
Let l(q) = q - 2 + 4*q**2 - q**3 - q - 2*q. Let n be l(3). Does 11 divide (-33)/((-3)/2*n)?
True
Is 7 a factor of (3 - -1)/(3/27) + -1?
True
Suppose -4*z = 2*p - 320, -2*z + 7*z + 2*p - 400 = 0. Is 8 a factor of z?
True
Suppose 0 = 4*f, 0 = k + 2*f - 5*f - 26. Is k a multiple of 13?
True
Let d(y) = -y**3 + 3*y**2 + 2. Let o be d(3). Does 11 divide ((-1)/o)/(4/(-88))?
True
Let f = 55 - 39. Does 5 divide f?
False
Suppose -6*u = -3*u - 15. Let p = u + -3. Does 2 divide p?
True
Suppose -22*b + 24*b - 64 = 0. Is 16 a factor of b?
True
Suppose -5*s + 2 = -13. Suppose -2*b = -5*d, -5*b - 8 = -s*d + 11. Does 11 divide 44/5*(-5)/d?
True
Let b(l) = 12*l + 9. Is b(8) a multiple of 13?
False
Suppose 4*g + 27 = 5*j, -j + g + 3 + 3 = 0. Suppose 1 + 2 = 3*n - j*d, d = -4*n + 29. Is 6 a factor of n?
True
Let w(s) = -4*s**2 - 7*s. Let q be w(-5). Let p = q - -98. Is p a multiple of 11?
True
Let k be 3/(-3 - 0) - -6. Suppose -3*r + 10 = x, x - k*r = -r - 4. Is 3 a factor of x?
False
Suppose -30 = 3*w - 5*w. Is w - ((-4)/(-1) + -3) a multiple of 14?
True
Is 336/40 + (8/5 - 1) a multiple of 2?
False
Let l(w) = -2*w**3 + 4*w**2 + 6*w + 8. Is 10 a factor of l(-3)?
True
Let n(y) = -y**3 - y**2 + 24. Let f be n(0). Suppose -2*h + f = -h. Is h a multiple of 17?
False
Does 12 divide ((-17)/(-4))/((57/(-36))/(-19))?
False
Let d(t) = t**3 + 7*t**2 + 6*t + 1. Let c be d(-4). Let f(x) = -x + 3. Let q be f(4). Let r = c + q. Is 10 a factor of r?
False
Does 3 divide 3 + (5 - 3)*26?
False
Suppose 5*a = -24 + 294. Is a a multiple of 27?
True
Suppose 20 = -2*w + 3*w. Is w a multiple of 5?
True
Let u(j) = 4*j**3 - 9*j**2 + 6*j - 2. Let b(m) = 11*m**3 - 26*m**2 + 17*m - 5. Let z(c) = -3*b(c) + 8*u(c). Does 9 divide z(5)?
True
Suppose 0 = 4*x + 4*o - 108, -3*x + o + 133 = x. Let b = -2 + x. Is b a multiple of 15?
True
Let l = 10 - 5. Let y(a) = -2*a + 18. Let f be y(-6). Suppose 0 = 4*k - l*k + f. Does 18 divide k?
False
Let p(h) = -9*h + 7. Let c(a) = 45*a - 35. Let n(q) = 2*c(q) + 11*p(q). Let y be n(-7). Suppose -g + y = 2*l + 4*g, -5*g = 3*l - 95. Is 10 a factor of l?
False
Let l be (-48)/(-1) + (-1 - 0). Let z = -15 + l. Does 8 divide z?
True
Let t(d) = d**2 - 11*d + 4. Is 16 a factor of t(12)?
True
Is 10 a factor of 0/1 + (0 - -11)?
False
Let u(m) = 5*m - 2*m + 4*m - 1. Suppose 0 = -2*n - 8, -8 = 2*b - 0*b + 4*n. Is u(b) a multiple of 9?
True
Suppose 2*l - 4 = 0, r - 13 = -0*r - 3*l. Let d(a) = -1 + 8*a**3 - r*a**3 - 5*a + 5*a**2 - 4*a. Is d(-6) a multiple of 7?
False
Let q(i) = 3*i**3 - 7*i**2 + 3*i + 2. Let a(k) = 2*k**3 - 3*k**2 + 2*k + 1. Let s(t) = -5*a(t) + 3*q(t). Let f be s(-6). Let c = f + 15. Is 11 a factor of c?
True
Let q(k) = k**2 - 4. Suppose 2*d = -5 - 5. Let h = d - -2. Does 5 divide q(h)?
True
Suppose 0 = -2*x - 5*j + 81, 4*x - 139 = 4*j + 93. Is x a multiple of 33?
False
Let g = 13 - 25. Is (-519)/g + (-1)/4 a multiple of 11?
False
Suppose -5*h + 6 = -19. Suppose -2*p - 48 = -h*p. Does 8 divide p?
True
Suppose 0 = -2*k + 18 - 4. Suppose 2*u - k*u 