de h?
False
Let a be (-5 + 6)/(1 - 0). Is a*2 - (11 + -54) a multiple of 18?
False
Suppose -2*l - 3*p = 2*l - 84, 2*l = -3*p + 36. Does 8 divide l?
True
Let h = 58 + -30. Is 11 a factor of h?
False
Let d(k) = 10*k**2 - 2*k - 9. Does 29 divide d(-3)?
True
Let k be 1/(-1 + 36/33). Suppose 0 = k*m - 14*m + 135. Is m a multiple of 29?
False
Let c = -1 + 2. Let o be (3 - 4) + 6/c. Suppose o*m = 24 + 81. Is m a multiple of 13?
False
Let d(g) be the third derivative of 5*g**4/8 - 7*g**3/6 - 3*g**2. Let s(m) = -16*m + 8. Let h(b) = 6*d(b) + 5*s(b). Is h(3) a multiple of 14?
True
Let l = -2 - -12. Suppose o = -3*g - 3*o + 22, -4*o + 16 = 0. Let k = l + g. Does 12 divide k?
True
Suppose 0 = 6*w - 2*w - 12. Suppose w*k = -q + 2*q - 2, 8 = -k + 4*q. Let h(s) = -s**2 + 11. Does 11 divide h(k)?
True
Let d be (1 + 0)*(0 + 4). Suppose -3*r + 0*z = 2*z - 122, -d*z = 5*r - 202. Is 10 a factor of (r/(-18))/(2/(-24))?
False
Let s(p) = -3*p + 6*p + 2 - p**2 + 5*p. Does 12 divide s(4)?
False
Let h = 888 - 543. Does 9 divide h?
False
Suppose -3*b + 0*b = -18. Let v = 6 - b. Suppose 0 = -v*g - 2*g + 150. Does 28 divide g?
False
Suppose -13*k + 317 = -12*k. Does 40 divide k?
False
Let n be 1 + 0 - (1 - 44). Let x = n + -30. Suppose z - x = -z. Does 4 divide z?
False
Let r be 1592/48 - 2/12. Let s = r + 25. Is s a multiple of 29?
True
Let y(v) = -3*v**2 - 5*v. Let r be y(-4). Let p = 43 + r. Is 6 a factor of p?
False
Suppose 3*q + 2*d - 2 = 0, -1 = -3*d - 7. Suppose 5 + 11 = q*c. Does 4 divide c?
True
Let p(j) = 3*j**2 - 3*j - 17. Is p(-6) a multiple of 23?
False
Suppose 4*k = -0*k + 304. Is 23 a factor of k?
False
Let y be (-3 + 28/12)*-3. Let b = 10 - y. Is 8 a factor of b?
True
Let j = -9 + 12. Is 21 a factor of 1*-28*j/(-4)?
True
Let o(y) = -y**2 - 16*y - 10. Let q be 158/(-22) - (-10)/55. Is 20 a factor of o(q)?
False
Suppose 4*d + 1216 = 8*d. Does 19 divide d?
True
Let s = -31 - -28. Let b = s - -10. Does 7 divide b?
True
Does 15 divide (-27)/(-2) - (-12)/8?
True
Let c = -158 - -320. Is c a multiple of 27?
True
Suppose 18 = -q + 3*m, -2*q - 2*m = -0*q + 20. Let v(i) = -2*i + 24. Let f be v(-6). Let w = q + f. Is 24 a factor of w?
True
Is (36/3)/(57/(-20) + 3) a multiple of 16?
True
Suppose 0 = d + 10 - 4. Let i = d + 14. Is i a multiple of 8?
True
Suppose 2*l + 1 = 3*u, 5*l + u = -4*u - 15. Let i be (l*3 - -3) + 65. Let c = -43 + i. Is 19 a factor of c?
True
Suppose 4*n = 5*n. Suppose 2*j + 3*y = 6, j + 4*y = 6*y - 11. Does 18 divide (n + -141)/j + 0?
False
Suppose -3*d = -2*j + 86, -7*j - 5*d + 190 = -2*j. Is 5 a factor of j?
True
Let p(u) = -39*u + 1. Is 23 a factor of p(-1)?
False
Let g(q) = -7*q. Let s(f) = -8*f - 1. Let m(x) = 7*g(x) - 6*s(x). Does 2 divide m(0)?
True
Let l = -21 - -15. Let k(a) = -a**3 - 8*a**2 - 5*a - 1. Let p be k(l). Let i = p + 61. Is 9 a factor of i?
True
Suppose 18 = -a - 2*a. Is 48/(-20)*20/a even?
True
Let y(p) = -5*p - 1. Let k be y(-3). Suppose 0*l + 4*l = -28. Let n = k + l. Is 3 a factor of n?
False
Let q = 7 + -4. Is (20/((-6)/q))/(-2) a multiple of 2?
False
Suppose -t + 81 = -4*u, -u = -2*t - 2*u + 189. Is t a multiple of 31?
True
Suppose m - 53 = n, 0 = -3*m + 2*m - 3*n + 65. Is m a multiple of 28?
True
Suppose 0 = -5*a - 0*a + 5. Does 3 divide (a - 42/9)*-3?
False
Is 12/30 - (-746)/10 a multiple of 20?
False
Is 16/(-20)*190/(-4) a multiple of 15?
False
Is 16 a factor of (3*4)/((-27)/(-144))?
True
Is 21 - (-5)/(5/(-2)) a multiple of 7?
False
Suppose -49 + 19 = -2*i. Does 9 divide i?
False
Let j be 4/(-14) - (-1905)/(-21). Let d = -65 - j. Suppose 0*a + d = 2*a. Does 5 divide a?
False
Suppose 4*g = 4*i - 2*i + 16, 4*i = -2*g + 18. Let r be 11*8 + (-4)/i. Does 11 divide (-4)/(-16) - r/(-8)?
True
Let x be (-9)/12 + (-81)/(-12). Let c = x + -4. Is 1/c - 25/(-2) a multiple of 13?
True
Let h(j) = 9*j**2 - j + 1. Is 14 a factor of h(-2)?
False
Let s be (32/(-2))/((-10)/(-25)). Is ((-6)/4)/(4/s) a multiple of 15?
True
Suppose 3*o + 6 = -0*o. Is 15 a factor of (60/o)/(-2 - -1)?
True
Suppose 90 = -2*a + 5*a. Suppose 5*q + 4*h - 15 = a, 35 = 2*q + 5*h. Suppose -2*w = q*x - 182, 4*x = -3*w + 8*w + 139. Does 12 divide x?
True
Let y(z) = -3*z + 2. Let n be y(4). Suppose 3*b + 2*b = -5*v - 150, 5*b + 10 = 0. Let p = n - v. Is p a multiple of 9?
True
Suppose 0 = 3*x - 2*x - 25. Let y be 7 - (-3 + 8 + -3). Let h = x - y. Is 10 a factor of h?
True
Let o(t) = t**3 - 5*t**2 + 2*t. Suppose 0 = -b - 2*b + 12. Let q be (-42)/(-8) - b/16. Is o(q) a multiple of 8?
False
Let y(o) = o**3 + 3*o**2 - 2. Let l be (1 + -1)/2 - 2. Let u be y(l). Suppose 4*x - u*g = 68, 4*x + 5*g = -x + 115. Is 6 a factor of x?
False
Let o(n) = -33*n - 3. Does 26 divide o(-4)?
False
Let d = 127 - -3. Is 26 a factor of d?
True
Let f(c) = -5*c**2 + 6*c - 11. Let o be f(9). Let r = 215 + o. Is 9 a factor of (-2)/(-4) + r/(-6)?
False
Suppose 0 = 3*v + 3*r + 2*r - 124, 4*r + 90 = 2*v. Is v a multiple of 11?
False
Let t = -29 + 129. Suppose 0*b = 5*b - t. Is 6 a factor of b?
False
Suppose 5*a + 341 = 4*p, 3*p - 5*p + 3*a + 169 = 0. Does 8 divide p?
False
Let p be (-1)/2*(-4 + -6). Suppose 0 = -4*a + p*z + 31, -a - 4*z + 30 + 4 = 0. Is a a multiple of 14?
True
Let f be (-24)/(-14) - 4/(-14). Suppose 3*y + 1 = -f, -2*d = -y - 33. Suppose -6*n = -2*n - d. Does 4 divide n?
True
Suppose -3 + 12 = -3*h. Let j(v) = v**3 + 3*v**2 + v + 4. Let q be j(h). Does 11 divide (1 - 2)/(q/(-11))?
True
Suppose -3*l + 17 + 4 = 0. Does 17 divide (105/(-2))/l*-6?
False
Suppose 0 = 3*u - 3 - 0. Let j be 6*(23/2 + u). Suppose j = 6*n - n. Does 15 divide n?
True
Let w(d) = -3*d**2. Let m be w(1). Let x = m + 9. Is x a multiple of 5?
False
Suppose 0*n = n - 3. Let y(l) = -l**3 + 6*l**2 + 2*l - 1. Let p be y(n). Let m = p - 15. Is m a multiple of 6?
False
Suppose 3*g - 235 = 53. Does 32 divide g?
True
Let m = -5 + 10. Is -3*(0 - m/3) a multiple of 3?
False
Let y(g) be the first derivative of g**4/4 + 2*g**3 + 7*g**2/2 + 4*g + 4. Is 7 a factor of y(-4)?
False
Suppose -2*c = -0*c + 2*s - 16, 0 = 2*s - 2. Let y = 32 + c. Does 13 divide y?
True
Suppose -2*b + 3 = m, m + 0*b - 3*b + 17 = 0. Let x(g) = -14*g - 5. Let i be x(m). Let k = i + -11. Is k a multiple of 27?
True
Let n = 501 - 287. Is n a multiple of 30?
False
Suppose 100 = n - l, 502 = 5*n - 2*l - l. Is n a multiple of 6?
False
Suppose 2*b + 49 = 161. Does 8 divide b?
True
Is (-6 + 3)/((-1)/7) a multiple of 15?
False
Suppose -3*r + 105 = a, 3*r + 175 = 8*r + 3*a. Does 7 divide r?
True
Let m(u) = -30*u + 28. Let x(g) = 15*g - 14. Let k(d) = 3*m(d) + 7*x(d). Is k(5) a multiple of 8?
False
Let j = 79 - -5. Does 21 divide j?
True
Suppose 2*y - 12 = -h, 0*y - h - 8 = -3*y. Suppose -34 = 2*i - y*i. Does 17 divide i?
True
Let h(b) = -3*b**2 - b. Let d be h(-1). Is (-1)/(d*2/28) a multiple of 6?
False
Let w(h) = h**3 - 3*h**2 - h + 5. Let l be (-165)/35 - 4/14. Let m(r) = -r**2 - 6*r - 1. Let v be m(l). Is w(v) a multiple of 11?
False
Let m be (-1)/(2 - 325/163). Let x = -113 - m. Suppose -l = a - 17, -5*a + x = -a - 5*l. Is a a multiple of 6?
False
Let w(k) = -k**2 - 8*k - 6. Let l(x) = 7*x. Let b(n) = -8*n. Let p(v) = 6*b(v) + 7*l(v). Let t be p(-6). Is w(t) a multiple of 4?
False
Let p be 7/((-28)/(-16)) - -1. Suppose -p*n - 3*c + 175 = 0, -c = -2*n - 0*n + 70. Does 10 divide n?
False
Is 24/9*105/4 a multiple of 17?
False
Suppose -f = -0*z + 3*z - 95, -165 = -5*z - 3*f. Suppose 4*v = 3*i - z, -2*i + 5*v + 12 + 1 = 0. Is 12 a factor of i?
False
Let j = 50 + -35. Does 11 divide j?
False
Does 9 divide (1 + 10/(-6))*2*-12?
False
Let t(i) = 8*i. Let k(l) = 78*l + 2. Let r(q) = 117*q + 3. Let u(x) = -8*k(x) + 5*r(x). Let o(a) = 11*t(a) + 2*u(a). Is o(3) a multiple of 14?
True
Let l be 2/(1/20*-2). Is 321/12 + (-5)/l a multiple of 9?
True
Let s = 11 + -6. Let y(z) = -z**2 + 5*z + 1. Let w be y(s). Suppose c + w = 3. Is 2 a factor of c?
True
Let w(f) = -2*f - 4. Let v be w(-3). Let a(j) = 1 - 2*j - v*j**3 - 2*j**2 - 4*j**2 + 2*j**2. Is a(-3) a multiple of 11?
False
Does 13 divide 0 + -38*(21/(-3) + 3)?
False
Let h = 30 + -21. Is 3 a factor of h?
True
Suppose 2 = -3*l + 11. Suppose 3*z = 4*c + 17, 0 = -z + l*c - c + 7. Suppose 3*q = k + 31, 2*q + 0*k - 9 = z*k. Is q a multiple of 12?
True
Let i = 223 + -115. Is 4 a factor of i/14 + 10/35?
True
Let d(g) = -6*g - 