(-12)*(-8)/6*-117?
False
Suppose -380 = -8*x + 4*x. Is x a multiple of 29?
False
Suppose 4*j = -3*s + 5*s - 28, 3*s + 5*j + 13 = 0. Let z = 10 - -5. Let f = z - s. Is f a multiple of 10?
False
Let g(k) be the first derivative of 11*k**3 - k**2 + 3*k - 1. Let s be g(2). Suppose -29 = -5*f + s. Does 17 divide f?
False
Suppose 3*h + 7 = 2*x - 10, -5*x + 3*h + 38 = 0. Suppose -116 = 3*w - x*w. Is w a multiple of 9?
False
Let d be 235/(-2)*(-18)/15. Suppose -5*l = -d - 24. Is l a multiple of 11?
True
Let r(s) = -s + 1. Let z = -6 + 3. Let v be r(z). Suppose 33 = v*q - 39. Does 8 divide q?
False
Suppose 5*n - 8*n = -180. Is 12 a factor of n?
True
Does 2 divide 5 + ((-1)/3)/(13/39)?
True
Let b be 3/((-3)/(1*-3)). Let g be (-22)/(-2)*(-2 - -3). Suppose -3*a + 5*a = b*q - g, 2*q - 39 = -5*a. Is q a multiple of 3?
False
Let p = 21 + -31. Let o = 15 + p. Is o a multiple of 5?
True
Suppose -p + 3*s - 4 = 0, -s + 4 = 5*p - 24. Does 2 divide 3 + -4 + (p - -1)?
False
Suppose -5*k + 4*l + 0*l = 26, -2*k - l = 0. Let s = k + 6. Suppose b - 6*b + 3*q + 101 = 0, 4*b + s*q = 100. Is 22 a factor of b?
True
Suppose -35 - 83 = -k. Is k a multiple of 39?
False
Let k(j) = -j - 1. Let v be k(-3). Suppose -3*z + 64 = 3*l + 2*l, 6 = v*z - 4*l. Is 8 a factor of z?
False
Let p(c) = 2*c**2 - 14*c + 9. Let r be p(9). Let q = r + -15. Is q a multiple of 10?
True
Let n(p) = p**3 - 4*p**2 - 6*p + 5. Let v be 1/((-1 + 0)/(-5)). Let t be n(v). Suppose q - 2 = 0, -q - 62 = -4*z - t*q. Is 16 a factor of z?
True
Let o(d) = d**3 - 4*d**2 - 5*d. Let y be o(4). Let a = y - -32. Is a a multiple of 6?
True
Let y be 3/(1 - 1/(-2)). Suppose 206 = y*g + 2*d, 3*g + 4 = d + 325. Does 14 divide g/5 + (-1)/5?
False
Suppose 3*z = z + 4. Let p = z + 0. Is p even?
True
Let c(z) = z**3 - 3*z**2 - 2*z. Let i(p) = -p**2 + 8*p - 9. Let t be i(6). Let u = 7 - t. Is c(u) a multiple of 4?
True
Let l be ((-4)/10)/((-16)/40). Suppose 57 = m + 12. Is 21 a factor of m - (0 + -2)*l?
False
Suppose 10 = -4*n + 4*x + 50, -5*n + 42 = -3*x. Suppose 3*q + 5*z = 11, -4*z + 10 - 4 = q. Let v = n + q. Does 8 divide v?
True
Let f(t) be the third derivative of -t**5/60 + 5*t**4/24 + t**3 - 2*t**2. Let o be f(5). Suppose o*q - 30 = 3*q. Is q a multiple of 5?
True
Let v(c) = 0 + 4 - c**2 - 3*c**3 - 2 + 2*c**3. Let s be v(-2). Suppose -3*a = f - s, a + 37 = -0*f + 4*f. Is 6 a factor of f?
False
Suppose 16*d - 17*d + 3*y + 80 = 0, -2*d = -5*y - 155. Is 12 a factor of d?
False
Suppose 2*u - u - 5*b = -15, b + 13 = -3*u. Let n(k) = k**3 + 6*k**2 - 4*k - 7. Is n(u) a multiple of 14?
False
Suppose -3*x = -2*x - 161. Let k = -111 + x. Suppose k = z + z. Is z a multiple of 12?
False
Let k(c) = c**2 - 5*c - 1. Let d be k(5). Is 8 a factor of d - 9*(-3)/3?
True
Suppose 0 = -7*g + 4*g. Let a = 11 + g. Is a a multiple of 6?
False
Suppose 48 = v - 30. Is 26 a factor of v?
True
Suppose 0 = 7*g - 20 - 260. Is 10 a factor of g?
True
Let n(f) be the third derivative of -f**4/24 + 5*f**3/6 + f**2. Let t be n(5). Does 2 divide 4/10*(5 - t)?
True
Let n(c) = c**3 - 4*c**2 - c. Let y be n(5). Suppose 0*d + 4*d = y. Suppose 8*j - 51 = d*j. Does 17 divide j?
True
Suppose 4*i = 2*g - 5*g + 546, 2*i - 274 = -2*g. Let o = -86 + i. Suppose -17 + o = 2*s. Does 5 divide s?
False
Let h(n) = -34*n - 11. Let l(j) be the first derivative of -51*j**2/2 - 16*j + 1. Let p(x) = -7*h(x) + 5*l(x). Is p(-2) a multiple of 20?
False
Let y = 58 - 27. Is y a multiple of 11?
False
Let b = 18 - -18. Suppose 2*n - n - b = 0. Does 18 divide n?
True
Suppose -5*g - 3*r - r + 212 = 0, -5*g + 210 = 5*r. Suppose 3*s - k = s + 8, k - 7 = -3*s. Suppose -h = -s*h + g. Does 13 divide h?
False
Let v be (16/(-6))/(3/9). Let a be v/(-5) + 4/10. Is 1*-27*a/(-3) a multiple of 15?
False
Let d(s) = s**2 + s + 18. Let f(k) = 2*k + 1. Let n be f(1). Suppose -n*h - h = 0. Is d(h) a multiple of 9?
True
Let c(j) = -24*j - 20. Is c(-9) a multiple of 14?
True
Let c(s) = 12*s + 7. Is 14 a factor of c(4)?
False
Let m(q) = -20*q - 12. Is 17 a factor of m(-4)?
True
Suppose 2*x + 3*c + 36 = 0, -x + 3*c + 2 = 11. Let t be (0 + 8)/((-6)/x). Suppose -135 + t = -5*a. Is a a multiple of 11?
False
Let o(c) = -18*c. Let b be o(2). Let l = b - -59. Is l a multiple of 23?
True
Let f = 85 - 35. Is 20 a factor of f?
False
Let l(p) = 2*p**3 - 13*p**2 + 7*p + 11. Is l(6) a multiple of 6?
False
Suppose 6 = 5*p + 3*z, -z - 6 = -3*p + 6. Suppose 0 = 7*d - p*d - 16. Is d a multiple of 2?
True
Let f(m) = -27*m - 34. Does 37 divide f(-14)?
False
Let x be (-3 + 3 - -3)/1. Is 6*(52/12 + x) a multiple of 14?
False
Let f(r) = 2*r + 2. Let u(o) = 3*o - 4*o + 0*o. Let v(g) = -f(g) + 2*u(g). Is 9 a factor of v(-5)?
True
Let d be ((-180)/(-21))/((-2)/(-21)). Suppose 0*v + d = 3*v. Does 15 divide (10/(-3))/((-4)/v)?
False
Is 14 a factor of 84*(16/3 - 0)?
True
Does 12 divide (-333)/(-6) - (-9)/6?
False
Let u = 11 - 19. Let p(n) = -14*n**3 - n**2 + 1. Let v be p(-1). Let o = u + v. Is o a multiple of 3?
True
Let d be (-8 - 1)/((-2)/(-4)). Let u = -11 - d. Is u a multiple of 2?
False
Suppose -4 = -b - 0. Suppose -2 = -b*o + 10. Suppose 0 = 2*y + o - 27. Is y a multiple of 12?
True
Let c(n) = n**2 - 5*n - 4. Let d be c(6). Suppose -d*l + 7 = 1. Suppose -46 = -2*r - 2*q, -5*r - l*q = -78 - 43. Is 8 a factor of r?
False
Let l be 1*(-2 + 7 + -2). Suppose -20 = l*y - 95. Is y a multiple of 25?
True
Let x(n) = 4*n**3 - 2*n**2 + n. Let a be x(2). Let h be 10*a*2/(-8). Let z = -8 - h. Does 19 divide z?
True
Suppose 3*q + 415 = s + 6*q, -q + 4 = 0. Does 50 divide s?
False
Let a(p) = -p - 2. Let m(u) = -3 + 4 + 3 + 6*u - 4*u. Let q(t) = 15*a(t) + 6*m(t). Is q(-4) a multiple of 4?
False
Let l = 26 - 16. Does 5 divide l?
True
Let x = 45 - 22. Let y = x - -1. Is 12 a factor of y?
True
Suppose 2*o + 4 = 6*o. Let x = o - 0. Is 6 a factor of (13 + 1)*(0 + x)?
False
Suppose 4*o + 4*l = -224 - 180, 4*l = 2*o + 190. Let d = 141 + o. Does 21 divide d?
True
Let j = 15 + -11. Suppose -j*t = -7*t + 21. Let c = t + -5. Is c even?
True
Let k(h) be the third derivative of 3*h**5/20 - h**3/6 + 4*h**2. Does 7 divide k(-2)?
True
Suppose 2 = 3*p + 35. Let h = -5 - p. Is h a multiple of 3?
True
Let d = 201 + -121. Is 8 a factor of d?
True
Let v = -5 - -24. Does 4 divide v?
False
Suppose 6 = 4*z - z. Let b(k) = z*k - 7*k + 2 - 3*k**2 + 2*k**2. Is b(-4) a multiple of 3?
True
Let k = 0 - -4. Let u(b) = 7*b - 1. Does 9 divide u(k)?
True
Suppose 0 = -3*z + 8 + 1. Let x(d) = 5*d**3 + 2*d**2 - d + 2. Let y be x(z). Suppose 0*m - 4*m = -y. Is 14 a factor of m?
False
Let l = 84 + -48. Is l a multiple of 6?
True
Let k = 8 - 3. Suppose k*j - 22 - 43 = 0. Is 9 a factor of j?
False
Is (-285)/(-10) + (-3)/(-2) a multiple of 15?
True
Does 5 divide (4 - -19) + (-7 - -4)?
True
Let m(q) = -q - 2. Let u be m(-3). Suppose 13 + u = 2*z. Is z a multiple of 7?
True
Let z = -7 + -3. Is (-54)/(-15) + 6/z even?
False
Let y(g) = g**2 + g - 3. Does 9 divide y(3)?
True
Let d be (-7 + 0 + 1)/(-2). Is 23/d + (-10)/15 a multiple of 6?
False
Is 18 a factor of 18/27 - 112/(-3)?
False
Suppose 0 = -y + 6 + 6. Suppose 0 = -3*j + j + y. Is j a multiple of 6?
True
Let u = 11 + 11. Does 11 divide u?
True
Let k = -46 - -87. Suppose -k - 41 = -2*l. Suppose -l - 139 = -5*i. Is 18 a factor of i?
True
Suppose 1 = i - 1. Is 18 a factor of (-153)/(-15)*10/i?
False
Let q = 30 - -14. Suppose -2*n - 10 = -q. Is 6 a factor of n?
False
Let o = 25 - 10. Suppose m + c = -c + o, 3*m - 20 = -c. Is 5 a factor of m?
True
Let f(w) = w - 2*w + 1 + 2*w. Let v(a) = -a - 2. Let k(c) = 4*f(c) + v(c). Is 8 a factor of k(2)?
True
Suppose 18 + 138 = 4*s. Suppose -3*a + 30 = -s. Is a a multiple of 6?
False
Let k be -2*(-2)/6*36. Suppose -22 - k = -2*a. Does 13 divide a?
False
Let a(n) = -n**2 + 7*n + 2. Let p = 2 - -2. Is a(p) a multiple of 3?
False
Let h(l) = 3*l**2 - 2*l + 1. Let g be h(1). Is ((-98)/(-35))/(g/30) a multiple of 14?
True
Let u(g) = g**3 - 12*g**2 + g - 1. Is 2 a factor of u(12)?
False
Does 14 divide 1326/24 - 3/(-4)?
True
Let g(l) = 8*l - 7*l - 20*l + 5. Let y be g(-5). Suppose 4*i = 76 + y. Is i a multiple of 17?
False
Is 9 a factor of (680/16)/17*(-18)/(-5)?
True
Let w = -111 + 206. Is 8 a factor of w?
False
Let n(g) = -g**3 - 4*g**2 - g + 1. Let u = -6 - -2. Does 5 divide n(u)?
True
Let t(a) = 2*a +