 a(5) a multiple of 7?
True
Let y = 66 - 101. Is 3 a factor of ((-18)/5)/(14/y)?
True
Suppose -3*f - 23 = h + 4*h, 4*f = -4*h - 20. Let u be -1*f*(-3 + 3). Suppose t + u = 5. Is t even?
False
Suppose -2*w + 9 = 3*b - 2, 11 = -2*b - 5*w. Suppose b*d = 705 - 82. Is 9 a factor of d?
False
Let q be (1/(-1))/(1/(-3)). Let p = 3 - q. Suppose 0*n + 4*n - 336 = p. Is n a multiple of 15?
False
Suppose -154 = 5*y - 44. Let o = 100 + y. Is (o - -1) + 3/1 a multiple of 17?
False
Suppose 0 = -q + 4, -5*q + 11 = 3*d - 18. Suppose -3*i = i. Suppose -d*c + 15 = i, -u - 2*u - c = -212. Does 23 divide u?
True
Let m be -3 - (3 + -6)*21. Suppose p + 7 + 8 = -4*c, 0 = -c + 2*p + 3. Let v = c + m. Does 18 divide v?
False
Suppose -715 = 3*a + 2*a. Let y = a + 204. Suppose 5*o = y + 79. Is o a multiple of 28?
True
Let o(h) = h**3 - h + 3. Let s be o(0). Suppose s*k - 1 = 2*k. Is 9 a factor of (1 - k) + 1 + 21?
False
Suppose 0 = -l + u + 27, 0 = 3*l - 8*l - u + 159. Suppose 5*h + l = m, 8*m - 2*h - 28 = 5*m. Suppose -42 = -j - m. Does 12 divide j?
True
Let i = -12 + 19. Is -1*((-1)/i - (-250)/(-14)) a multiple of 9?
True
Let n(b) = 6*b**3 - 2*b. Let z be n(-2). Let x = 95 + z. Is 27 a factor of x?
False
Suppose 0 = 2*d - 4*l - 2, 2*d - 6*d = 3*l - 4. Is 14 a factor of d + (55 - (3 - (1 + 2)))?
True
Suppose 9*n + 2284 = 8368. Is n a multiple of 10?
False
Let p = 7013 - 4831. Does 34 divide p?
False
Let f(h) = 6*h + 2. Let m be f(1). Let t = 6 + m. Does 7 divide t?
True
Let s = 575 + -254. Is s a multiple of 9?
False
Suppose 15 = 3*d - 21. Let i = -18 + d. Let l = i - -18. Is 12 a factor of l?
True
Suppose 2576 = 25*t - 18*t. Is t a multiple of 23?
True
Is 54 a factor of ((-2294)/6)/(-4*(-7)/(-84))?
False
Let t(d) = 4*d**2 + 2*d - 1. Let b be t(-2). Let h = b + -6. Suppose -q = 4*o - 99, -h*o + 6*q - 4*q + 127 = 0. Is o a multiple of 15?
False
Let g be 15 + 1 + (-7 - -4). Let x = -8 + g. Suppose -290 = -5*y + x*v, 0 = -3*y - 0*y - v + 182. Is y a multiple of 18?
False
Suppose -3*i = 4*m + 2, -4*m + 29 = 4*i - 5*m. Suppose 3*c + 22 = 5*g, i = g + 1. Suppose 8 = z + c. Does 2 divide z?
False
Let l(t) = t**3 - 10*t**2 - t - 1. Let o be l(10). Let m(d) = -d**2 - 11*d + 9. Let z be m(o). Let i = 31 - z. Is 9 a factor of i?
False
Is 21 a factor of (140/(-60))/((-1)/54)?
True
Suppose 15*v - 16 = 11*v. Suppose v*n = 5*t - t + 40, 2*n + 4*t - 44 = 0. Does 7 divide n?
True
Suppose 0 = h + 6*f - 10*f - 95, 3*h + f - 350 = 0. Is 5 a factor of h?
True
Suppose -3*n = -5*n + 216. Suppose 0 = -2*w - n + 288. Suppose 5*h - 3*z - w = h, -4*h = 4*z - 104. Is h a multiple of 24?
True
Let p = 14 + -10. Suppose -114 = -p*m + 106. Is m a multiple of 15?
False
Let o(r) = -r**3 - 6*r**2 - 7*r + 5. Let j be o(-5). Suppose -y - 11 = -j. Does 6 divide (14/21)/(y/222)?
False
Let m be 7046/(-338) - (4/13)/2. Is 10 a factor of 7/m + ((-8410)/6)/(-5)?
True
Is 10 a factor of 88/(-10)*1325/(-106)?
True
Let s be 51/(0 - 3) + -3. Let c = s + 16. Let i = c + 10. Is 6 a factor of i?
True
Let k(p) = -33*p - 8. Let y be k(8). Let s = -132 - y. Is s a multiple of 37?
False
Let o be (5 + -9)/((-4)/298). Let q be o/6 - 12/(-36). Suppose -5*x + 270 = q. Is 14 a factor of x?
False
Let w(b) = b - 13. Let l be w(15). Suppose -15 = 3*r, l*r + 69 = -4*m + 179. Is 30 a factor of m?
True
Suppose 2*q - 8 = 0, 23 = o + 4*q - 2. Let x(p) = -p**2 + 12*p + 10. Let n be x(o). Suppose 0*l = 2*l + 6, -l + n = s. Does 20 divide s?
True
Let n = 34 - -21. Suppose 0*z - n = z. Let p = z - -111. Does 14 divide p?
True
Let n(b) = -b**3 + 4*b**2 - b - 4. Suppose 1 = -2*f + 7. Let z be n(f). Suppose -4*p + 61 = w, -z*p + 9*w - 4*w + 25 = 0. Does 5 divide p?
True
Suppose 33*r - 84 = 5*r. Is r a multiple of 3?
True
Let a be ((-30)/20)/((-9)/60). Suppose 6*d - a*d + 96 = 0. Is d a multiple of 6?
True
Let c(g) = 4*g**2 - g + 1. Let t be c(1). Suppose -t*o + 612 = 2*o. Suppose 3*k - k - o = 0. Does 19 divide k?
False
Let l = -18 + 12. Does 30 divide 4/l - -1 - 371/(-3)?
False
Suppose 25 - 31 = -3*m, 2*r + 4*m = 7160. Does 24 divide r?
True
Let j(r) = 112*r - 264. Is 15 a factor of j(12)?
True
Let y be 15*5 - (-2 - 2). Suppose 2*t + 7 = y. Suppose 3*g + 2*p = p + t, 4*p = 0. Is 3 a factor of g?
True
Let a be ((-1)/(-2))/(7/126). Suppose -7*x + a*x = 20. Is 5 a factor of x?
True
Let s be -18*1/(-6)*-4. Let g be (1 - 1)*6/s. Let f(k) = k**3 - k**2 - k + 55. Does 15 divide f(g)?
False
Let n(t) = -13*t - 17. Is 19 a factor of n(-13)?
True
Let f(t) = -6*t - 6. Is f(-8) a multiple of 5?
False
Let y be -2 + -1 + 34/2. Suppose -y*g + 252 = -5*g. Is g a multiple of 7?
True
Suppose -22 - 10 = 4*d. Does 9 divide 388/7 + d/(-14)?
False
Let g be -3 + 3 - 3*-53. Suppose -s = -4*s - g. Does 14 divide -11 - -13 - (s - 1)?
True
Suppose -234 = -0*c - 3*c. Suppose 3*n + 41 = -67. Let g = n + c. Is 21 a factor of g?
True
Suppose -3*o + 2*o = 8. Let z = o - -8. Suppose -3*f - 3*u + 30 = z, -4*f - u + 29 = -8. Is f a multiple of 9?
True
Let z = -17 + 18. Let y(v) = -v**2 - 19*v + 1 - z + 0*v - 2. Is 8 a factor of y(-17)?
True
Let a(s) = 1. Let g(c) = 4*c - 8. Let z(x) = 4*a(x) + 2*g(x). Is 14 a factor of z(5)?
True
Suppose k + k - 4 = 0. Let y(p) = p. Let a be y(3). Suppose z + 172 = j + k*j, -a*z = 3. Is j a multiple of 19?
True
Is 18 a factor of (2/(-6))/((57/4689)/(-19))?
False
Does 11 divide (-385)/70*(1 + -3)?
True
Let y(x) = 2*x**3 - 18*x**2 + 17*x + 12. Is 4 a factor of y(9)?
False
Suppose 3*x + 676 = -2*z, -2*z = 2*z + 20. Let n be x/10 + (-3)/(-15). Let l = 37 + n. Is l a multiple of 15?
True
Suppose -6*f + 258 = -54. Is 2 a factor of f?
True
Let g be ((-24)/16)/((-6)/100). Suppose -45 - g = -j. Does 14 divide j?
True
Let a be 0 - ((-117)/3 + -2). Suppose 0 = 5*z + 3*p - 18, -2*z + 5*p + 2 = p. Suppose z*b = 2*t - 51, 3*t - b = 39 + a. Is 13 a factor of t?
False
Let q be ((-42)/49)/((-4)/14). Suppose 0 = -q*z + 2*f + 171, -4*z + 15 = -f - 208. Does 15 divide z?
False
Let z be 15/(-35) + (-339)/(-7). Suppose -2*v = v - z. Suppose -n = v - 63. Is n a multiple of 15?
False
Let d(y) = 4*y - 10. Let v be d(8). Let g = 57 - v. Is g a multiple of 8?
False
Suppose -4*p + 0*p = -448. Let f = 188 - p. Does 31 divide f?
False
Suppose -y - 12 = -2*y. Suppose s = -s + y. Suppose -s*q + 2*f = -q - 30, 0 = 2*f. Does 6 divide q?
True
Suppose r - 2*w = 256, -1000 = 3*r - 7*r - 4*w. Is 7 a factor of r?
True
Let s be (-6)/(4/6*(-45)/20). Suppose s*f = 5*z + 1423, 0 = -5*f - 5*z + 236 + 1554. Is f a multiple of 17?
True
Let c be 8/2 + (2 - 4). Let x(s) = s**3 - s**2 + s - 2. Let l be x(c). Is 5 a factor of 20*l/(8/2)?
True
Does 26 divide 1704/15 - (-16)/40?
False
Let r(f) = 7*f**2 - 4*f - 26. Does 10 divide r(-6)?
True
Suppose 5*t = -4*m + 104, t - 2*m + 16 = 48. Let r = -49 + t. Let c = r + 38. Does 8 divide c?
False
Let o = -398 - -433. Is 35 a factor of o?
True
Let l = 752 + -516. Is 16 a factor of l?
False
Let i(g) = g**2 - 10*g + 39. Is i(0) a multiple of 6?
False
Suppose -3*t = -5*h + 727, -57 = -2*h + 3*t + 232. Is 3 a factor of h?
False
Suppose 22 - 2 = -4*a. Is 20 a factor of 4*6 - (a - -9)?
True
Suppose 0 = -5*c - 76 + 166. Is 3 a factor of c?
True
Suppose 4*h - 1883 = -5*g, 248 = -5*h + 5*g + 2568. Is h a multiple of 4?
False
Let m(h) be the first derivative of h**7/280 - h**6/72 + h**5/24 - h**4/6 + 4*h**3/3 + 14. Let n(a) be the third derivative of m(a). Does 16 divide n(3)?
False
Let m be (-42)/1 - (-9)/3. Let k = m - -43. Is 3 a factor of k?
False
Let s = -1885 - -2596. Is s a multiple of 9?
True
Let v be (-2)/((-16)/(-12))*-2. Suppose 5*w - 936 = -2*z, 0*z - v*z - 946 = -5*w. Suppose -475 = -7*d - w. Does 41 divide d?
True
Suppose -2*a - 5*s = -2123, -2*a - 4*s + 1987 = -137. Is a a multiple of 67?
False
Suppose -11*d - 376 = -7*d. Let t = 144 + d. Is t a multiple of 10?
True
Let c(f) = f**3 - 6*f**2 - 2*f - 6. Suppose 0*a - 64 = -8*a. Is 22 a factor of c(a)?
False
Let i(m) = 3*m + 3*m**2 + 30 - 30 + 0*m**2. Let l(j) = j. Let o be l(-2). Does 6 divide i(o)?
True
Suppose 2 = -x + 8. Suppose 0*r - x = -3*r. Suppose 4*z - 20 = -r*m, -2*z - 20 = -6*z - 4*m. Is z a multiple of 5?
True
Let s = 39 + -34. Let j(t) = -10*t + 17 - s + 11*t + 0. Is 12 a factor of j(13)?
False
Suppose 4*n - 1258 = 882. Is 22 a factor of n?
False
Let n(c) = -c - 2. Let p(s) = 3. Let