 (1 - 7/(-1)). Suppose 120 = b*o - 2*o. Is o a multiple of 8?
True
Let f = 137 - 39. Is 23 a factor of f?
False
Let c(r) = -r**2 - 7*r. Suppose 5*s - 30 = -0*s. Let d = s - 11. Does 5 divide c(d)?
True
Suppose i = -5*r + 159, -2*r - 4*i + 93 = 33. Is 25 a factor of r + -1 - (-3)/1?
False
Let x(a) be the second derivative of -a**5/20 - a**4/3 - 2*a**3/3 + a. Let v be x(-3). Suppose v*z - 2 = n - 40, -5*n + 4*z = -157. Does 10 divide n?
False
Let m = -209 + 300. Is m a multiple of 23?
False
Let j(n) = -7*n - 4. Suppose 0*m + 6 = -2*m. Let y = -1 + m. Is j(y) a multiple of 9?
False
Let q(y) = -y**3 + 3*y**2 + 3*y + 4. Let f be q(4). Let w(k) = -k**2 + 7*k - 5. Let x be w(5). Suppose -x*j + 56 + 99 = f. Is 11 a factor of j?
False
Let z be (-2 - (-15)/6)*-54. Let o = z - -14. Let w = o + 26. Is 12 a factor of w?
False
Let y = 5 - 2. Does 8 divide 4*8/(6/y)?
True
Suppose i + i = 0. Suppose 0*y - y = 3*g - 16, i = 3*y - 3. Suppose -g*k - 31 = -2*b, 5*k + 43 = b + 15. Is b a multiple of 3?
True
Suppose -3 = n + 5. Is 10 a factor of (5/(-4))/(1/n)?
True
Let v = -13 - -21. Let a = v + -15. Let o = 4 - a. Is 11 a factor of o?
True
Let k(o) be the third derivative of -o**6/360 + o**5/20 + 7*o**4/24 + o**3/2 + 3*o**2. Let l(u) be the first derivative of k(u). Is 4 a factor of l(6)?
False
Let m be 5/(-15) + (-14)/(-6). Let w be (-1 + 2)/(m/34). Suppose 5*q = 13 + w. Is 6 a factor of q?
True
Let q(j) = 3*j + 3. Let c be q(3). Suppose -6*a + 168 = -c. Is 10 a factor of a?
True
Is 17 a factor of 102/21*(-28)/(-4)?
True
Let w be (-3 - 21/(-6))*0. Let h = -2 + w. Is 6*(0 + h/(-4)) a multiple of 2?
False
Let z = -36 + 61. Let l(i) = 2*i**3 - 2*i**2 + 1. Let r be l(1). Let s = z - r. Is s a multiple of 12?
True
Let z(c) = 8*c**2 + 2*c - 16. Is 6 a factor of z(3)?
False
Let b = -14 + 3. Let d = b - -19. Suppose d = -4*a, -x + a = 23 - 65. Does 20 divide x?
True
Let n(u) = -u**2 - 14*u + 19. Does 4 divide n(-14)?
False
Let w be 4*1/(-2)*1. Let q = w + 10. Does 4 divide q?
True
Let o = 2 - 0. Is 4 a factor of o*(-6)/(-4) + 1?
True
Let w(s) = s**3 - 3*s**2 - 8*s + 4. Let c be w(5). Is 8 a factor of c - 0 - (-3 + 1)?
True
Let h(m) = m**3 + 4*m - 4. Suppose -5*o + 5*c + 54 = 14, 5*o - 4*c - 35 = 0. Is h(o) a multiple of 11?
False
Suppose -c + 34 - 4 = 0. Let u be (-9 - -8)/((-2)/10). Suppose -4*w + c = 2*s, u*s - w - 2*w = 36. Does 9 divide s?
True
Suppose j + 8 = 6*t - 2*t, 3*j - 4*t = 0. Suppose b - 5*x = -x - 7, -4*x + 4 = -j*b. Suppose -r + 9 = b. Is r a multiple of 4?
True
Let v be 1370/10 + 3 + 0. Suppose -4*z + v = -0*z. Is z a multiple of 7?
True
Suppose -2*h + 4*k + 146 = 0, 2*h - k = k + 140. Does 21 divide h?
False
Is -2 + (3*-89)/(-3) a multiple of 19?
False
Let d(s) = -10*s. Let u be -1 - (4 - (-2 - -3)). Is 20 a factor of d(u)?
True
Let f(b) = b**2 - 2*b. Let i(n) = -n**2 + 1. Let u(k) = -2*f(k) - 4*i(k). Does 4 divide u(-4)?
True
Let y = -10 + 19. Suppose -y + 81 = 2*x. Is x a multiple of 20?
False
Let v(w) = -w**3 + 8*w**2 + w - 6. Let s be v(8). Let y be (s - 0)/(2/4). Suppose -10 = -t + y*h, 0 = -0*h + h - 2. Does 7 divide t?
False
Let g be (3/(-3) - 2) + 6. Suppose -3*y = -4*q - 7, -y - y = -q - 8. Suppose y*c = -k + 15 + 4, -10 = -g*c - 2*k. Is 2 a factor of c?
True
Suppose -3*x - 2*w = -49, -x = x - 3*w - 24. Let b(f) = 3*f + x*f**3 - 1 + f**2 - 3*f. Is 15 a factor of b(1)?
True
Let l(r) = r**3 - 4*r**2 + 3*r + 2. Let h(m) = -m**3 + 3*m**2 + m + 2. Let i be h(3). Is 21 a factor of l(i)?
True
Suppose -9*s = -14*s + 435. Does 29 divide s?
True
Suppose 6*b = -11*b + 1768. Does 52 divide b?
True
Let o(p) = -2*p**2 + 2*p + 4. Let x be o(3). Let t be ((-7)/(-28))/((-1)/x). Suppose -t*l + 5 + 7 = 0. Does 2 divide l?
True
Suppose 3*d + 4 = -3*n + 1, -5*d + 25 = 0. Let q be 2 - (n/1)/2. Suppose 4*x - 56 = -f, 2*x + q*f + 28 = 4*x. Is x a multiple of 5?
False
Suppose 5*l - 145 - 570 = 0. Is 11 a factor of l?
True
Let k be 1/5 + (-2)/10. Suppose -15 = 5*o - 5*c, 2*o + 0*o - 3*c + 11 = k. Suppose o*w = -w + 48. Is w a multiple of 16?
True
Let b = 7 - 8. Let l = b - -1. Suppose 0 = 4*h + 5*y - 100, 2*h + 2*y + 2*y - 56 = l. Does 12 divide h?
False
Suppose 0 = n - 5*x + 15, 0*x - x - 45 = -5*n. Suppose -3*d - 14 = n. Let a = 6 - d. Is 7 a factor of a?
True
Suppose 0 = 12*m - 7*m + z - 261, 4*z - 196 = -4*m. Is m a multiple of 3?
False
Let k = 9 + -9. Suppose -3*x + 3 = -3*z + 5*z, k = 4*z + 5*x - 7. Suppose -4*s - s = -2*b - 40, -z*s + 5 = -5*b. Is 4 a factor of s?
False
Let d(r) = 2*r**3 + 4*r**2 - 3*r + 4. Let f be d(-4). Is 9 a factor of f*(2 - (-5)/(-2))?
False
Let v be 1179/27 - 2/(-6). Suppose q = v + 23. Is q a multiple of 28?
False
Let t = -13 + 5. Let d = 5 + t. Does 9 divide 25 - d/(4 + -1)?
False
Suppose 0 = 5*s + 4*i - 29, 3*s - 12 = -0*i + 3*i. Let l(y) = y - 7. Let u be l(6). Let w = s + u. Is w a multiple of 2?
True
Suppose k = 6*k - 5. Suppose 5*r + 5*o = 95, -k = -0*o - o. Is 14 a factor of r?
False
Let g = -102 + 162. Let r(o) = -8*o + 4. Let v be r(-3). Suppose 4*m - s + v = 6*m, -4*s + g = 4*m. Is m a multiple of 5?
False
Suppose -3*c + 5 + 1 = 0. Let s(x) = -x + 1. Let f(u) = -u - 2. Let g(v) = -f(v) - 4*s(v). Does 3 divide g(c)?
False
Is (1/(-2))/(9/(-306)) a multiple of 2?
False
Suppose 0*v - 12 = 2*y - 2*v, -14 = 3*y + v. Is (-323)/y + 9/(-15) a multiple of 21?
False
Let n = 4 - 4. Suppose 0 = -n*t - 3*t + 81. Does 7 divide t?
False
Let h(l) = -l**3 - l**3 - 4 - 4*l + l**3 + 0*l**3 - l**2. Does 13 divide h(-3)?
True
Let o(h) = 3*h + 2. Let u be o(4). Suppose q - 10 = u. Does 12 divide q?
True
Suppose 0*d = -4*d + 3*q + 19, -4*d + 4*q + 20 = 0. Suppose 4*i + d = -2*k + 3*k, i - 1 = 0. Is 4 a factor of k?
True
Suppose -1326 = 4*l - 2*l. Let d be l/2 + (-6)/(-4). Is 14 a factor of 1/4 + d/(-24)?
True
Let k(l) be the second derivative of 13*l**7/2520 - l**6/360 - l**5/120 + l**4/12 + 2*l. Let y(p) be the third derivative of k(p). Is y(-1) a multiple of 10?
False
Let r(l) = 37*l + 3. Let x(w) = -12*w - 1. Suppose -2*j + 0*j = 10, 42 = -2*i - 4*j. Let n(h) = i*x(h) - 4*r(h). Does 8 divide n(-1)?
False
Let i(p) = p**2 - 12*p - 18. Is 19 a factor of i(16)?
False
Suppose 3*a - 21 = c - 4*c, -a - 5*c = -19. Suppose -3*n = -a*n + 10. Is n a multiple of 10?
True
Suppose -4*g + g - 5*o + 752 = 0, -3*o - 6 = 0. Is g a multiple of 40?
False
Suppose 5*h = -0*h + 2*q - 7, 0 = -q + 1. Let u be -2*h/4*0. Suppose u = -a - 5*i + 16, a - i - 46 = -0*a. Is a a multiple of 17?
False
Suppose 7*j - 690 = j. Does 22 divide j?
False
Let d(c) be the first derivative of 4*c**2 - 2 - 1/3*c**3 - c. Is d(7) a multiple of 5?
False
Does 9 divide (-232)/(-6) + 16/(-24)?
False
Suppose p - 1 = -3*z - 2, -2*z = 6. Suppose -7*g - 12 = -p*g. Does 12 divide g?
True
Let c(j) = -j**2 + 1. Let s be c(0). Let d = -9 - s. Let g(b) = -b - 7. Is g(d) a multiple of 2?
False
Suppose -2*v + 5*u = 2*v - 41, -4*v = -u - 21. Suppose v*n - 44 - 44 = 0. Is n a multiple of 11?
True
Suppose 10 = -4*f - 3*m, -3*m - 7 - 1 = 2*f. Does 11 divide (-3)/((12/88)/f)?
True
Suppose 0 = 5*y + 496 + 2679. Does 9 divide y/(-25) + 4/(-10)?
False
Is 10 a factor of (12/18)/(4/222)?
False
Let h be 1/(-2)*2/(-1). Let s be h - 57 - 0/3. Let d = s + 87. Does 19 divide d?
False
Suppose 6*h = 2*h + 3*d + 303, 3*h = -3*d + 201. Does 9 divide h?
True
Let o(l) be the third derivative of 1/10*l**5 - 1/120*l**6 + 0 - 1/8*l**4 - 1/6*l**3 + 0*l + 4*l**2. Is o(5) a multiple of 4?
False
Let q(h) = -h**2 + 4*h - 10. Let u(w) = -w**2 + 5*w - 10. Let d(g) = -4*q(g) + 5*u(g). Let r be d(9). Does 10 divide r/7*7/(-1)?
True
Let u be 4/(-14) + 23/7. Suppose o + 138 = 5*t, 0 = u*t - 3*o - 44 - 34. Is t a multiple of 14?
True
Let f(w) = 16*w - 10. Let o be f(5). Suppose j - o = -5. Is j a multiple of 13?
True
Let y = -31 - -27. Is 21 a factor of 105/(11/2 + y)?
False
Let k = 12 + -7. Suppose -3*j + 86 = 3*c + 2*j, k*j + 10 = 0. Does 11 divide c?
False
Suppose 19 = s - 0*d - 5*d, 4*s + 5*d = 1. Let k(p) = 6*p + 5. Does 17 divide k(s)?
False
Suppose 2*o + 3*o = 70. Is 14 a factor of o?
True
Suppose -12*g + 50 + 346 = 0. Does 3 divide g?
True
Suppose 0 = -5*d - 9*c + 4*c + 30, 4*d = -3*c + 23. Suppose 0 = -4*u - 2 - 2. Let j = d + u. Is j even?
True
Let y be (-1)/2*(0 + -22). Let c = -3 + y. Is c a multiple of 3?
False
Is 6 a factor o