of 10?
True
Suppose -7*i + 2*i = -4*h + 5, 5*i = h - 5. Suppose 12 = -h*t + 3*t. Is t a multiple of 2?
True
Suppose -3*w + 337 + 86 = 0. Let c = -73 + w. Suppose c + 60 = 4*s. Is s a multiple of 11?
False
Suppose -5*t = 4*n - 51, -3*n = -4*t - 1 - 14. Is 2 a factor of n?
False
Suppose -3*f - 16 = -4. Let v = 31 + -45. Let k = f - v. Is k a multiple of 5?
True
Let q be -1 + 2 - (1 + -4). Let d be 6/(-4)*(-16)/6. Is 3 a factor of 11/q - d/(-16)?
True
Suppose -135 = -10*u + 9*u. Does 15 divide u?
True
Let c(w) = -w + 6. Let q be c(6). Let a = 0 + -41. Is (q + 1)/((-1)/a) a multiple of 12?
False
Suppose 7*t + 4*g - 148 = 2*t, -g - 99 = -3*t. Let l = t - 19. Suppose -q + 7 = -l. Does 8 divide q?
False
Suppose 6*l - 2*l - 3*d - 1 = 0, 0 = -2*l + 5*d + 11. Let o be (-224)/(-24) - l/(-6). Suppose -4*i + 33 - o = 0. Does 6 divide i?
True
Suppose 6*l = 3*l + 6. Suppose -l*u = -6*u + o + 33, o = -1. Is 4 a factor of u?
True
Suppose -3*q + 138 = 4*j, 7*j = 4*j + 4*q + 91. Is j a multiple of 33?
True
Suppose -7*n + 74 - 4 = 0. Is n a multiple of 3?
False
Let k be -8*(-3 + 5 + -1). Let s(d) = d**2 + 5*d + 2. Let h be s(k). Let j = h + 6. Is j a multiple of 11?
False
Let f(h) be the first derivative of h**3/3 + 7*h**2/2 - h - 2. Let q(x) = -x**2 - 6*x - 1. Let g be q(-7). Is f(g) a multiple of 5?
False
Suppose -2*m + 49 = 13. Is m a multiple of 5?
False
Suppose 3*u - g - 63 = 0, -4*g - 33 = -3*u + 21. Let x = -13 + u. Suppose 3*v = 30 - x. Does 6 divide v?
False
Suppose -3*a + 0*a + 12 = 0. Suppose 5*o - 172 = o + a*p, 0 = p + 5. Is 18 a factor of o?
False
Let k = 15 + -5. Let w be 5/k + (-50)/(-4). Suppose 3*y = p + 2*p - 21, 4*y + w = p. Is p even?
False
Let m(v) = -5*v + 4 + 1 - 4. Is m(-1) a multiple of 5?
False
Let o(r) = -50*r + 8. Let t be o(-5). Suppose 5*k + 4*j = t, 3*j + 44 = 3*k - 2*k. Is 11 a factor of k?
False
Suppose -19 = -5*d + 6. Suppose z + 2*j - 32 = 0, 4*z - d*j + 71 = 199. Does 12 divide z?
False
Let i = -58 - -24. Let n = i - 30. Let o = -2 - n. Does 24 divide o?
False
Suppose -6*b = -2*b + 20, -2*q + 47 = -5*b. Let r = 110 - 42. Suppose 4*a - 12 = -3*o + q, 4*a = 4*o - r. Is o a multiple of 10?
False
Let u(d) = d**3 - 8*d**2 - d + 11. Let p be u(8). Let w be ((-12)/1)/(p/(-4)). Suppose -5*x = -44 - w. Is 6 a factor of x?
True
Let q(n) = -13. Let w(x) = x + 14. Let y(b) = 6*q(b) + 5*w(b). Let z(p) = p**2 - 3. Let d be z(3). Does 11 divide y(d)?
True
Does 9 divide (2 - (0 - -3)) + 64?
True
Suppose -204 + 80 = -2*z. Does 7 divide 7/21 - z/(-3)?
True
Suppose -4*w = 4*d - 48, 3*d - 60 = -8*w + 3*w. Let b be w/18*9/1. Suppose b = -2*m + 44. Does 13 divide m?
False
Let f be -1*8/(-2) - -1. Suppose -4*z + 3*a - 4 = a, 0 = 5*z + f*a - 25. Let j(m) = 5*m**2. Does 5 divide j(z)?
True
Suppose 7*h = -7*h + 336. Does 8 divide h?
True
Let h(p) = p**3 - 3*p**2 - 5*p + 1. Let i be h(4). Let t be 2/i + (-29)/(-3). Let r = 21 - t. Is 12 a factor of r?
True
Let o(q) = q**2 - 10*q. Let u be o(8). Let d be 1/3 - u/(-12). Is 20*(0 - d - 0) a multiple of 7?
False
Let r = 76 - -24. Does 10 divide r?
True
Let g(c) be the third derivative of 1/6*c**3 - 1/24*c**4 + 0 + 0*c + 2*c**2. Does 9 divide g(-8)?
True
Let k(b) = -b**3 + 8*b**2 - 4*b - 5. Suppose 2*r + g + 1 = 3, -3*r - g + 5 = 0. Suppose t = r*w + 2*w + 27, -5*w - 20 = 0. Is 16 a factor of k(t)?
True
Let u be 34 + 0/(-3 + 5). Suppose 4*l = 3*l - u. Let j = 47 + l. Does 7 divide j?
False
Let m = -81 - -119. Is 8 a factor of m?
False
Suppose -3*c = l - 3, c - 15 = -5*l + 4*c. Suppose -128 = v + l*v + b, -4*v - 116 = 4*b. Is 9 a factor of (v/(-3))/((-1)/(-2))?
False
Let d(o) = -o**3 + 5*o**2 + 7*o - 1. Let w be d(6). Suppose 0 = w*j - 4*j - 20. Is 20 a factor of j?
True
Let n = -187 + 134. Let d = n + -21. Is 14 a factor of (1 - 0)*d/(-2)?
False
Let q = 38 + -14. Is q a multiple of 22?
False
Let y(q) = 2*q + 6. Suppose -4*x - 4*s - 4 + 40 = 0, -2*x + 4*s = 0. Let j be y(x). Does 6 divide j/(-8)*32/(-6)?
True
Let s(n) = 53*n**3 - 2*n**2 - 2*n. Does 12 divide s(2)?
False
Let u(d) be the second derivative of -d**3/3 - 2*d**2 - 2*d. Let q be u(5). Let f = 4 - q. Is 5 a factor of f?
False
Let y = -1 + 5. Suppose -44 = -y*u - 4. Is u a multiple of 4?
False
Let o(n) = 56*n - 1. Is o(1) a multiple of 13?
False
Let o(g) = -g**3 - 7*g**2 + 12*g + 16. Is o(-9) a multiple of 35?
True
Suppose -2*k + 3*d - 5 = 5, k - 13 = -3*d. Let p(y) = 2*y - y - 2*y - k. Is p(-3) a multiple of 2?
True
Suppose 2*i = 2, 4*r + 3*i - 1 = 2*i. Suppose -2*m - k + 11 = r, -3*m = -2*k + 6*k - 24. Suppose -3*c = -2*c + m*x - 27, 5*c - 4*x = 39. Is 4 a factor of c?
False
Let h be 3/5 + 3288/20. Suppose 0 = -a - 2*s + 8, -5*a - 4*s = -10 - 12. Suppose a*x - h = -3*x. Is 11 a factor of x?
True
Let n = -10 - 13. Is 5 a factor of -3*(n/3 + 2)?
False
Let z(u) = 2*u + 1. Let f be z(1). Suppose 0 = -3*q + 2*o + 53, -2*q + o + 37 = f. Is q a multiple of 10?
False
Let z = -22 - -32. Suppose r = 2*r - z. Does 17 divide 174/r - 6/15?
True
Suppose 0 = y + 4*w - 4, -4*y + 20 = y - w. Suppose -251 = -y*a - 3*u, 0 = -2*a + u - 11 + 124. Is 11 a factor of a?
False
Let i be (-1)/3*-9*5. Let l be 293/4 - i/(-20). Is 5 a factor of l/5 + (-3)/(-15)?
True
Suppose 0 = v - 4*r + 3, -7 = 4*v - 3*r + 18. Suppose -o + 7 + 8 = 0. Let b = o - v. Does 12 divide b?
False
Suppose 2*c = h + 55 + 34, -5*c + 205 = h. Does 6 divide c?
True
Let z be (-14)/6*3/(-1). Let s = -10 + z. Let x(w) = w**3 + 5*w**2 - 3*w - 4. Is x(s) a multiple of 11?
False
Let n(h) = 11*h - 8. Let y be n(6). Suppose -2*g = 4 - y. Let x = 43 - g. Is x a multiple of 11?
False
Suppose -2*a - 11 = 49. Let p = a + 14. Let k = p + 25. Is 6 a factor of k?
False
Let n(h) = 11*h**3 - 3*h + 3. Does 17 divide n(2)?
True
Let c be (6 - 2) + 1 + -1. Suppose 0*j - j - 5*p = 16, 36 = 5*j - c*p. Suppose -j*n - 54 = -3*q - 6*n, 2*q - 52 = 4*n. Is q a multiple of 16?
False
Let q be 498/9 + 2/(-6). Let w = q + 2. Is w a multiple of 30?
False
Suppose o + 10 = 6*o. Let f(l) = l - 2 + l**3 + l + l**3 - 1. Does 17 divide f(o)?
True
Is 24 a factor of (-36)/((-3 + 18/4)/(-3))?
True
Let h be (924/(-20) - 3)*-5. Suppose h = -k + 4*k. Is 28 a factor of k?
False
Let o be (162/15)/((-1)/(-5)). Suppose 0 = 2*k - 0*k + 5*t - o, 2*t = 4. Is k a multiple of 11?
True
Suppose 5*h - 8*h = -180. Is 20 a factor of h?
True
Let h(f) = f**2 + 6*f + 6. Let l be h(-6). Let y be l/3 - (3 - 2). Does 9 divide (-2 + 40)/(1 + y)?
False
Let n(s) = s**3 - s**2 - s + 6. Is 6 a factor of n(0)?
True
Let k = -3 - -8. Let u(t) = -t**3 + 8*t**2 - 5*t + 7. Does 19 divide u(k)?
True
Let s(d) = -10*d + 8. Does 9 divide s(-2)?
False
Suppose 3*p + 4*x = x + 27, -3*x + 12 = 0. Suppose p = 2*g - 11. Does 8 divide g?
True
Let v(d) = -d + 7. Let m be v(8). Let b = m - 2. Is 1/((-3)/b) + 4 even?
False
Let s(z) = -z**3 + 3*z**2 + 5*z. Let o be s(4). Suppose 9*f = o*f + 170. Does 9 divide f?
False
Let b(k) = -k**3 + 3*k**2 + 6*k - 6. Let h be b(4). Suppose h*o = o. Suppose -5*c - r + 6 + 9 = o, 4*r = 0. Is c even?
False
Suppose -2*y + 67 = -2*n + n, 5*n = 5*y - 175. Let p = y + -5. Let a = p - 11. Is 8 a factor of a?
True
Suppose 713 = -5*j - 147. Suppose -5*c + 10 = 0, -d - 14 = -c - 3*c. Is 13 a factor of j/d*(-3)/(-2)?
False
Let w be 56/((-4)/60*-6). Suppose -3*l + w = 4*k - 8, 5*k - 212 = 3*l. Is 10 a factor of k?
True
Let c(f) = 2*f - 2. Let d be c(3). Suppose -3*a = -2*h - 109, 3*a + 2*h - 93 = -d. Let n = -8 + a. Does 20 divide n?
False
Let m = 77 - 44. Is m a multiple of 15?
False
Let b(l) = -l**2 + 11*l - 3. Does 9 divide b(6)?
True
Is 4 a factor of (-2*(2 - 0))/((-80)/1120)?
True
Let q(m) = 2*m - 3. Does 13 divide q(9)?
False
Suppose -47 = 9*p - 524. Does 6 divide p?
False
Let g(a) = 6*a. Suppose 2*s - 5*m = -36, 2*m + 0*m = -s. Let q(v) = -2*v - 11. Let i be q(s). Is g(i) a multiple of 9?
False
Does 40 divide 5/15*45*76/6?
False
Let w(b) = b + 5. Let v be w(0). Suppose v*l - 222 = -42. Is l a multiple of 12?
True
Let r(n) = n**3 - 7*n**2 + 2*n + 28. Is r(7) a multiple of 42?
True
Let g be ((-3)/(-3))/3*9. Suppose -k + g = -9. Does 6 divide k?
True
Suppose 0 = 7*y - 15*y + 248. Does 7 divide y?
False
Let l = 11 + -7. Suppose -8*h = -l*h - 128. Is h a multiple of 16?
True
Does 3 divide 50/4 + (-5)/10?
True
Suppose 4 = u, -3*c + 0*c - 3*u = -108. Is 16 a factor