= 5*o. Is (-14)/o*(2 - 4) a multiple of 6?
False
Is 36/((-27)/3) - -152 a multiple of 37?
True
Suppose -1919 = 3*d - 4*z - 5658, 0 = d + 3*z - 1268. Does 48 divide d?
False
Let z(y) be the third derivative of -y**6/120 + y**5/30 + y**4/2 + y**3/2 + 5*y**2. Is 8 a factor of z(4)?
False
Let n(b) be the first derivative of -b**5/24 - b**4/12 + 8*b**3/3 + 7. Let i(r) be the third derivative of n(r). Is i(-1) a multiple of 3?
True
Let l = -1531 - -2121. Is 59 a factor of l?
True
Let f = 3 - -11. Let n(r) = 37 - 5*r + f*r - 8*r. Is n(-16) a multiple of 7?
True
Let w = 15 - 8. Suppose o - 4*f = 46, 5*f = -2*o + w*f + 62. Is o a multiple of 4?
False
Suppose 4*z - 21 = -b, -2*z + 27 = 3*z + 2*b. Suppose -v = z*a - 69, -v = a + 3*v - 29. Is a a multiple of 4?
False
Suppose 2*o - 25 = -5*n, 0*n - 4*o = -n - 17. Suppose n*x - 2*c - 211 = 0, -c = -2*x + c + 142. Is x a multiple of 16?
False
Let g(z) = -4*z**3 - z + 10. Let x(p) = -p**3 - p**2 + p + 1. Let q(d) = g(d) - 5*x(d). Is q(-5) a multiple of 4?
False
Suppose 0 = -2*m - 13 - 5. Let q(p) be the first derivative of -p**3/3 - 5*p**2 + 7*p + 5. Does 10 divide q(m)?
False
Suppose 2*l - 1628 = -y, 5*l = y + 744 - 2407. Is 117 a factor of y?
True
Let z(o) = o**3 - 5*o**2 - 3*o + 19. Let y be z(5). Suppose -5*q + 247 = -3*a, 3*q - 153 + y = a. Is 12 a factor of q?
False
Suppose h + 234 = 4*h. Suppose -2*m + h - 2 = -4*y, 2*y - 8 = 0. Suppose -m = -3*k + 17. Does 8 divide k?
False
Let v(n) = -3*n + 6. Let i(p) = -p + 2. Let r(l) = 21*i(l) - 6*v(l). Is 3 a factor of r(-5)?
True
Let v be ((-17)/3)/(7/42). Let b be 8/(-3 - 103/v). Suppose 52 + b = 4*z. Is 23 a factor of z?
False
Suppose 0 = -4*j - 5*q + 31, 2 = -3*j + q + 11. Let b be (-1)/j + (-17)/(-68). Suppose 4*w - w - 228 = b. Does 19 divide w?
True
Suppose -992 + 302 = -6*h. Does 3 divide h?
False
Let t = -447 - -773. Is 11 a factor of t?
False
Suppose -297*y + 28152 = -288*y. Is y a multiple of 83?
False
Let m(l) = 11*l**2 - 5*l + 1. Let y(t) = 21*t**2 - 11*t + 2. Suppose 15 = 2*b - 3. Let h(r) = b*m(r) - 4*y(r). Does 16 divide h(-2)?
False
Let q(z) = -3*z + 6. Let u(o) = -10*o + 17. Let p(h) = -7*q(h) + 2*u(h). Let d be p(10). Suppose 5*r - 2*y - 165 = 0, 3*r - d*y - 30 = 65. Does 16 divide r?
False
Let f = 1 - -2. Suppose -3*k + f = -2*k. Suppose -2*b = -c - k*b + 25, b = 1. Does 8 divide c?
True
Let i = 142 + -152. Is 14 a factor of 982/10 + (1 + 1)/i?
True
Is 20 a factor of (20/14)/(2/84)?
True
Suppose 16 = -4*p, 29*p - 26*p + 1440 = 3*y. Is y a multiple of 68?
True
Let f(t) = 2*t + 25. Suppose 3*a = 2*q + 11 - 44, -a = 3*q - 33. Does 14 divide f(q)?
False
Is 14 a factor of -18*(19/(-76))/(2/148)?
False
Suppose -a + 5*g - 32 = -0*a, 5*a = -2*g - 52. Let k = a - -14. Suppose 36 = k*c - 84. Does 15 divide c?
True
Let j = 2392 - 1657. Is j a multiple of 105?
True
Does 4 divide 72*11/(33/2)?
True
Suppose 4*g - 2*l = -6, 0*g - 4*l = -5*g - 15. Let s be g/(-2)*1062/9. Let j = 6 - s. Is j a multiple of 17?
False
Let u(h) = 41*h + 11. Let a(z) = 165*z + 45. Let w(q) = -2*a(q) + 9*u(q). Is w(2) a multiple of 29?
True
Let w = 142 - 114. Does 2 divide w?
True
Let x(v) = 2*v - 6. Suppose -n + 5*n = 16. Let i be x(n). Suppose i*h - 4*q - 24 = 0, h - 10 = -q + 2*q. Is h a multiple of 8?
True
Let m be -2 + -1 - (-15 - -6). Let v(s) = -s**3 + 8*s**2 - 2*s - 3. Does 8 divide v(m)?
False
Let v(r) = -r**2 - 17*r - 24. Does 12 divide v(-9)?
True
Let k(a) = 2*a**3 - 5*a - 6. Let d be k(5). Suppose -2*p = -v - 0*v - 107, -4*p + d = -v. Does 8 divide p?
True
Suppose 0*q = q - 5, -206 = -4*o + 2*q. Does 54 divide o?
True
Let y = 865 - -493. Is 26 a factor of y?
False
Is (-9160)/(-30)*((-28)/(-8) - 2) a multiple of 22?
False
Suppose -4*t = -8*t + 8. Suppose -2*n - 164 = -t*g, 2*n - 88 = -5*g + 336. Is 10 a factor of g?
False
Suppose 0 = -0*l - 0*l - 3*l. Suppose l = 4*a - 11*a + 1750. Is 50 a factor of a?
True
Let l(b) = b**3 + 14*b**2 + 16*b - 12. Let p be (-9 - -15)*1/2. Suppose 45 = -4*a - p. Does 28 divide l(a)?
True
Let l(n) = -n + 8 - 27 + 172. Is l(0) a multiple of 32?
False
Let x(b) be the third derivative of -b**6/120 + 13*b**5/60 - 5*b**4/12 + b**3/3 - 3*b**2. Is x(12) a multiple of 13?
True
Let a = 1068 - 825. Is 27 a factor of a?
True
Let y(w) = 72*w - 72. Does 40 divide y(6)?
True
Suppose -3*t = 5*d - 29, 6*d + 97 = 4*t + d. Is 3 a factor of t?
True
Suppose 5*b = -2*v + 32, b - 4*v = 2 - 0. Let y be ((-55)/10)/(4/(-24)). Is 3 a factor of (3 + (-16)/b)*y?
False
Suppose -19*z - 5837 = -32*z. Is 9 a factor of z?
False
Is 55 a factor of (-120)/24 - 3/((-6)/2942)?
False
Let p(f) = -4*f + 3 - 9 - 3. Suppose 5 = -5*i - 5*k, -4*k + 26 = 34*i - 35*i. Does 7 divide p(i)?
False
Let h(f) = f + 6. Let q be h(-4). Is q + (3 - 3 - -191) a multiple of 52?
False
Suppose -3 = 4*q - 3. Suppose 2*r + 3*r - 5*v = 540, 5*r + 2*v - 568 = q. Is 11 a factor of r?
False
Let f(v) = 42*v**2 - 31*v + 220. Is f(7) a multiple of 62?
False
Suppose -12 = -4*g, 0 = 9*q - 10*q - 2*g + 526. Is q a multiple of 40?
True
Let j(x) = 15*x**2 - 4*x - 7. Let t be j(6). Suppose 3*y = -5*d - 540, 3*d - t - 211 = 4*y. Is (2/6)/((-4)/y) a multiple of 15?
True
Let w(h) = -h**3 - 20*h**2 + 3*h - 12. Let p be w(-20). Is 6 a factor of -3 + p/(-20) + (-981)/(-15)?
True
Let m(v) = v**3 + 8*v**2 - 2*v - 5. Let a be m(-8). Let n be ((-21)/(-6) - 4)*(-35 - -1). Let q = n - a. Is 6 a factor of q?
True
Let v(b) = b**3 - 6*b**2 - 7*b + 6. Let q be v(5). Let a = q + 108. Suppose 3*m = 6*m - a. Is 6 a factor of m?
True
Let g = -7 + 12. Suppose 5 = -3*s + 2*i, 3*s = s + 3*i - g. Is 1 + (-16)/(2/s) a multiple of 5?
False
Let a be 17/2 - 3/(-2). Suppose s + 3 = -5*j - 24, 17 = -s - 3*j. Is 11 a factor of a*(55/10 - s)?
False
Let k = 1394 + -555. Is 89 a factor of k?
False
Suppose -4*j = -23 - 33. Let l be 68/6 + j/21. Does 17 divide (1 - 8/l)*102?
True
Let p = -3466 + 5058. Is p a multiple of 66?
False
Suppose -5*o = 2*a - 928, -4*o + 0*o = 2*a - 932. Is a a multiple of 8?
False
Let y = 1104 - -295. Does 75 divide y?
False
Suppose -w = 8*v - 7*v - 124, -344 = -3*w + 4*v. Does 5 divide w?
True
Let m(z) = -z**2 + 9*z - 3. Let j be m(8). Let x(k) = 2*k - 12. Let y be x(23). Suppose j*v + l = y, 1 + 3 = -4*l. Does 7 divide v?
True
Suppose -t - t + 4 = x, 5*x - 20 = 5*t. Suppose x*y = 0, -2*k + 2*y = -3*k + 5. Is k a multiple of 3?
False
Does 13 divide 0 + ((-9354)/(-24) - 2/(-8))?
True
Let c = 134 - 126. Suppose 0 = -c*t + 12*t - 632. Is 25 a factor of t?
False
Let b be 93/(-31) + 17 + 1. Let c = -22 + 13. Let n = c + b. Is n a multiple of 5?
False
Let g be 0 + -2 + (1 - -2). Let m be 3 - ((-4)/(-12) - 4/3). Suppose a - m = -g. Is a even?
False
Let z = -608 - -950. Does 57 divide z?
True
Suppose 0 = 37*s - 48091 - 18213. Is 112 a factor of s?
True
Let g be ((-4)/(-6))/2*3. Does 20 divide g/(-2)*-46 - (-18)/(-6)?
True
Let p(t) = t. Let x(i) = 7*i + 1. Let w(v) = 15*p(v) - 3*x(v). Let u be w(-2). Does 4 divide (-119)/(-9) + (-2)/u?
False
Let x = 7 - 3. Let q(p) = x*p + 8 + 5*p**2 + 4*p**2 - p - p**3 - p**2. Does 9 divide q(8)?
False
Let l be (-1)/(-2 + 52/24). Let m = l + 6. Suppose m = -4*v + v + 159. Is 17 a factor of v?
False
Suppose 7*h - 5458 - 3866 = 0. Does 74 divide h?
True
Let i(m) = m**2 - m + 1. Let c(b) = 5*b**2 - 22*b - 8. Let w(h) = -c(h) + 6*i(h). Let n be w(-15). Does 4 divide 15/10*(n + 7)?
False
Let u(n) be the third derivative of n**6/20 - n**5/60 - n**4/24 - n**3/3 + 10*n**2. Let y be (-1 - -2)*4/2. Does 21 divide u(y)?
False
Let a be (64/(-12))/(2/(-3)). Let l = a - 8. Let x = l + 32. Is x a multiple of 9?
False
Suppose 0 = -5*j + 2*r - 49, -24 = -0*j + 2*j - 3*r. Let l(g) = -5 - g**3 + 1 - 9*g**2 - 8 + 1 - 3 - 6*g. Is l(j) a multiple of 20?
True
Let d = 3 - 1. Suppose 4*c - 360 = -5*b, 3*b + 66 = 4*b + d*c. Does 11 divide b?
False
Does 2 divide (-11)/(1859/(-702)) + 4/(-26)?
True
Let m(z) = -34*z**3 - 2*z - 1. Suppose -3*o = -0*o + 3. Let h be m(o). Suppose -g = -1 - h. Is 12 a factor of g?
True
Suppose -b + 132 = -5*q, -3*b - 6*q + 5*q = -444. Is 49 a factor of b?
True
Let x(g) = -g + 1. Let k be x(-4). Let l(p) = -3*p - 3 + 3*p**3 + 4*p - 5*p**2 + 7*p - 2*p**3. Is l(k) a multiple of 10?
False
Let o(x) = 7*x**3 - 9*x**2 + 6*x. Is 17 a factor of o(5)?
True
Let n be 3 - (2 - 6/2). Let j be -2 + (n - 1) +