 m(z). Let l be t(2). Let c = l + 0. Is c a multiple of 3?
False
Suppose 19 + 27 = -2*n. Let g = n + 63. Is 10 a factor of g?
True
Let v(z) = -14*z**3 + 14*z**2 + 39*z - 7. Is v(-4) a multiple of 11?
True
Let c = -24 - 133. Let b = c - -222. Is 13 a factor of b?
True
Let d(m) = 246*m**2 - 24*m - 23. Does 19 divide d(-1)?
True
Suppose 7*u = 3*u. Suppose u*m = -5*m - 20. Let c(i) = -2*i**3 - 4*i**2 - 7*i - 4. Is c(m) a multiple of 22?
True
Let p = -1 - -1. Suppose p = -3*k + 4*z + 77, -2*k + 0*z + 48 = -z. Suppose 3*t - 25 = k. Is t a multiple of 16?
True
Let d = 749 + -77. Does 84 divide d?
True
Is (-12)/5 + 2 + (-14010)/(-25) a multiple of 20?
True
Suppose 18*o - 26*o = -32. Suppose 3*x - 79 = -o*h, 0 = x + 8*h - 3*h - 30. Is 25 a factor of x?
True
Let y = 40 + -135. Let t = y + 183. Is t a multiple of 8?
True
Let g(w) = 69*w**3 + 7*w**2 - 23*w + 42. Is 9 a factor of g(3)?
True
Suppose 2*y + 13 = 3, y - 175 = -3*i. Does 10 divide i?
True
Let v(m) = 7*m + 26. Let q be ((-77)/55)/((-1)/5). Is v(q) a multiple of 15?
True
Let r(j) = 2*j + 7. Let s be r(6). Suppose 3*h + 3 = -n - 2, -4*n + h = -s. Suppose n*u - 11 = -f, f = 4*f + u - 77. Does 10 divide f?
False
Suppose 0 = 7*h + 1754 - 4918. Is 29 a factor of h?
False
Suppose h - 2*z = 246, -132*h + 127*h + 1185 = -z. Is h a multiple of 10?
False
Suppose c = -2*d + 992, -19*d = -20*d - c + 494. Does 13 divide d?
False
Does 22 divide 563 + (-10)/2*(-12)/20?
False
Let a = 482 + -428. Let u = 3 - -1. Suppose u*s = 82 + a. Is 14 a factor of s?
False
Let h(i) = i**3 - 16*i**2 + 45*i + 131. Is 26 a factor of h(22)?
False
Let g(i) = 48 - 55*i**2 + 5*i + 26*i**2 + 30*i**2. Is g(-12) a multiple of 24?
False
Let y(x) = x**3 + x**2 - 5*x + 3. Let r be y(-4). Let p = 28 + r. Suppose 0 = -3*a - 2*a + p*i + 195, 0 = a - i - 37. Does 21 divide a?
True
Suppose -4*g + 8 = 0, 12*z - 2*g = 10*z + 3682. Is z a multiple of 18?
False
Let b = 93 - 35. Let f = -37 + b. Is f a multiple of 7?
True
Let t(v) = 3*v + 140 + 25 - v. Does 15 divide t(0)?
True
Suppose -94 = -3*w - 4. Is 3 a factor of w?
True
Let v(l) = 14*l + 133. Is v(16) a multiple of 113?
False
Suppose 0 = 10*i + 3*i - 26. Suppose -q = -i*q + 55. Does 11 divide q?
True
Let c = -33 + 51. Does 6 divide 24 - (c/(-3) - -2)?
False
Let s = -516 - -861. Is s a multiple of 28?
False
Let c(b) = 9*b**3 - 5*b + 2. Let g be c(2). Let v = g - 47. Is v a multiple of 17?
True
Let a be 3*(8/2 + -3). Suppose -a*w = w - 596. Does 30 divide w?
False
Suppose 7 - 52 = -5*k. Suppose k*c - 170 = 478. Is c a multiple of 18?
True
Suppose -48 + 18 = -3*j. Let m be ((-54)/j)/(6/(-20)). Let c = m + 62. Does 20 divide c?
True
Suppose 2*z + 38 = 46. Suppose 4*v + 2*q = 72, 0*v - z*q + 49 = 3*v. Does 4 divide v?
False
Let w = -13 - -17. Suppose w = -3*s - 2. Is 16 a factor of 67 - 1/s*-6?
True
Let b(q) = -8*q**3 + 2*q**2 - q - 4. Is 10 a factor of b(-2)?
True
Let y(u) = u**3 - 24*u**2 + 48*u - 46. Is y(22) a multiple of 21?
True
Suppose -2*d + 2 = -2. Suppose 20 = 2*z + d*t, 2*z + 2*t = 3*t + 8. Does 25 divide 556/z - 6/9?
False
Let l = 58 + -25. Suppose 154 = 5*h - n, -13 - l = -h + 4*n. Does 4 divide h?
False
Let w = 10 + -52. Is 16 a factor of (w/12)/(2/(-60))?
False
Is (-32)/(-12)*(-330)/(-40)*26 a multiple of 26?
True
Let g(m) = 4*m**3 + 5*m**2 + 1. Let p(k) = 5*k**3 + 5*k**2 - k + 2. Let z(h) = 6*g(h) - 5*p(h). Let n be z(6). Let t(u) = -4*u - 20. Is t(n) a multiple of 16?
False
Is 59 a factor of (-4)/(-12) + (-6 - 1768/(-6))?
False
Suppose 5*l + c = -21, 0 = -3*l - l + 4*c - 36. Let h be ((-10)/l - 1)/(-1). Is (-69)/(-2) - h/2 a multiple of 5?
True
Suppose 5*z - 6*z + 5 = 0. Suppose 5*y = -z*u + 755, -5*y = -2*y - 9. Suppose -5*c = -9*c + u. Is 8 a factor of c?
False
Suppose 111 = 2*i + 15. Suppose -2 = -2*d, 2*a + 2*d + 62 = -0*d. Let h = i + a. Does 8 divide h?
True
Let o(k) = -k. Let j(w) = 2*w**2 - 9*w - 27. Let p(n) = j(n) - 3*o(n). Does 21 divide p(-8)?
False
Suppose 4*y - 11*y = -1596. Is 6 a factor of y?
True
Suppose -2*x - 3 = q + 15, -27 = 3*x + 3*q. Let f be -1*(-4)/((-12)/x). Is (1 + 16/f)*3 a multiple of 5?
False
Let c = 821 + -562. Is 37 a factor of c?
True
Is 60 a factor of 45*4/(-9)*-15?
True
Let s(h) = h**2 + 8*h + 2. Let o be s(-8). Suppose w - o = 1. Suppose 120 = w*l + 12. Is l a multiple of 15?
False
Let n(c) = -c**3 - 9*c**2 - 2*c - 18. Let k be n(-9). Suppose 13*z - 725 - 1641 = k. Is z a multiple of 14?
True
Let z(b) = 11*b**2 - 78*b + 44. Is z(16) a multiple of 124?
True
Suppose -5*a + 16 = -t - 1, 2*t = a - 7. Suppose 0 = -a*w + 50 + 40. Suppose -4*g + w = -g. Does 5 divide g?
True
Let g(k) = -3*k**2 - 5*k - 12. Let j be g(-8). Let i = -88 - j. Let w = 127 - i. Is 17 a factor of w?
True
Let b be 4/(-18) + 642/(-27). Let d = b - -48. Is d a multiple of 9?
False
Let g(l) = 18*l + 1. Let h be g(1). Suppose -1 - h = -2*k. Suppose -u + 30 - k = 0. Is u a multiple of 18?
False
Suppose -3*g = 5*z - 50, z = -3*z - g + 33. Suppose -19 = -2*m - z. Does 4 divide m?
False
Suppose -1204 = 19*s - 8120. Is s a multiple of 26?
True
Suppose 4*v - 85 = -65. Suppose 3*g - 5*t - 83 = 0, -5*g = v*t - 7*t - 170. Is 2 a factor of g?
True
Let j be -1*4*3/6. Let x(r) = -32*r. Does 8 divide x(j)?
True
Let k be ((-55)/10)/(2/8). Let h = k + -16. Let w = h + 66. Is w a multiple of 14?
True
Is 6 a factor of (-10)/(-2) + 364 + 10?
False
Let l be (-12)/(-14)*70/15. Suppose 2*f = -3*n + 476, 5*f + l*n - 1177 = 3*n. Is 43 a factor of f?
False
Let z(o) = -11*o - 15. Let v be z(-9). Let t = 120 - v. Is t a multiple of 7?
False
Suppose 22 = 2*d - 3*i + 5*i, 4*d + 2*i = 34. Does 26 divide (9 - d) + (-250)/(-2)?
False
Is 24 a factor of 63504/78 - (-16)/(-104)?
False
Let g(x) = x**3 - 23*x**2 + 25*x. Suppose 75 = 7*r - 79. Is 33 a factor of g(r)?
True
Let v(r) = -55*r + 75. Is v(-8) a multiple of 17?
False
Is 83 a factor of 10/(-2 - 157/(-78))?
False
Let d = -18 + 34. Let y = d - 10. Suppose -4*m = -3*h - y - 52, -m = 3*h - 22. Does 16 divide m?
True
Suppose 5*z = 12*z - 770. Suppose -2*o - 2*g = -6*g - z, 165 = 4*o + 3*g. Is o a multiple of 7?
False
Let k(c) be the third derivative of 11*c**6/30 + c**5/60 + 13*c**2. Does 5 divide k(1)?
True
Let c(x) = -x + 3. Let v be c(-4). Suppose -196 = -4*q - v*o + 3*o, 46 = q - 2*o. Does 12 divide q?
True
Let r be -62 + (-10)/(-2) + -3. Let p = r - -104. Is p a multiple of 15?
False
Let o(f) = 2*f**2 - 14*f + 60. Does 20 divide o(15)?
True
Let j(p) = p**2 - 21*p + 20. Let f be j(14). Let o = f - -186. Is 12 a factor of o?
True
Suppose -z + 74 = -v, 4*z + 2*v = -3*v + 260. Suppose 3*l + 2*l = z. Is l a multiple of 14?
True
Let s = -915 - -1523. Suppose s = 4*o - o + 2*x, 0 = -4*o + 4*x + 804. Does 14 divide o?
False
Let w be 2/9 - 154/126. Let a(d) = 4*d**2 - d. Let q be a(w). Suppose 3*j = -3*b + 69, -5*j + 3*j = -q*b + 87. Is 19 a factor of b?
True
Let h(j) = 2*j**2. Let o be h(1). Let i(y) = y**3 - 3*y**2 + 15*y - 11. Let f be i(5). Suppose f = o*a - 12. Does 21 divide a?
True
Suppose -4*f - 12*s = -9*s - 1653, -3*f - 3*s + 1239 = 0. Is 10 a factor of f?
False
Suppose -12*o + 8*o = 0. Let w = o - 0. Suppose w = -0*y - 4*y + 4*u + 152, -4*u + 4 = 0. Is y a multiple of 10?
False
Let n(m) = -m - 10. Let w be n(0). Let v = 23 + w. Does 7 divide v?
False
Let w(m) = 9*m - m + m**2 - 41 + 2*m. Is 5 a factor of w(-15)?
False
Let n(p) = -38*p + 489. Is n(-9) a multiple of 29?
False
Is (-44*8/(-24))/((-2)/(-54)) a multiple of 33?
True
Suppose -3*n = -20 - 55. Suppose -w = 4*w - n. Suppose -3*z + w*l = -85, 2*z + 5*l - 14 - 1 = 0. Does 10 divide z?
True
Suppose 0 = s - 2*u - 1, 2 + 0 = 2*s + 4*u. Does 6 divide 0 - s - -22 - (0 + -2)?
False
Let g(h) = -8*h**2 + 2. Let w(x) = 4*x**2 - 1. Let k(q) = -4*g(q) - 7*w(q). Let z be k(1). Does 11 divide 15/10*22/z?
True
Let c(w) = -w**3 - 12*w**2 - 4*w + 6. Let a(g) = -g**3 - 11*g**2 - 4*g + 5. Let y(i) = 4*a(i) - 3*c(i). Is y(-8) a multiple of 7?
False
Let m = -20 + 34. Suppose -10*t + m*t = 72. Is t a multiple of 18?
True
Suppose -n + 4 = 3*n, -21 = -5*w + 4*n. Let p be -3 + w + 0/(-2). Suppose 0 = -5*i - 2*v + 175, 33 - 122 = -p*i + 3*v. Is 19 a factor of i?
False
Let c = -6 + 31. Does 22 divide 5/(c/230) - 2?
True
Let d(z) = 372*z**2 + 20*z - 21. Is d(1) a multiple of 33?
False
Let p = -26 + 14. Let v be p/6 + -1 + 97