j(12). Does 14 divide 1 + (-81)/(x - 2)?
True
Let v be 0 - (-3 + 2) - -52. Let j be v/(-3) - 4/12. Is 16 a factor of (96/j)/(2/(-6))?
True
Suppose 3*f = 5*f - 16. Let k be f/6*(-9)/(-6). Suppose -k*j = -8 - 40. Is j a multiple of 9?
False
Let h(f) = -f**2 - 10*f - 6. Let w be h(-9). Suppose -6 = -s + w. Does 6 divide s?
False
Let g = -5 + -11. Let z = 32 - 24. Does 23 divide 366/z - 4/g?
True
Suppose -4*u - 114 = -6*u. Is 10 a factor of u?
False
Suppose -34 = -5*w + 16. Suppose 2*l + 3*l + w = 0. Is 13 a factor of 1/(-2)*13*l?
True
Let i(h) = h**2 + 4*h - 16. Is i(-7) even?
False
Let f = 0 - -10. Is f a multiple of 5?
True
Suppose -1 = -2*f + 3. Let l be (-5 + 1)*(1 - f). Suppose -29 = -g - 3*y - 12, -y - 16 = -l*g. Is g a multiple of 3?
False
Suppose -2*c + 18 = 56. Let b = -13 - c. Let y(x) = -x**3 + 5*x**2 + 10*x - 9. Is 14 a factor of y(b)?
False
Let u = 5 + -3. Does 13 divide (-2)/u - (-2 + -31)?
False
Let j(b) = -b**2 + 6*b + 4. Let d be j(6). Suppose u = -d*i - 4*u, 0 = -4*i - u. Is 7 a factor of 16 + (i - 2)*1?
True
Suppose 0 = -q - k + 45, 3*q = 5*q + 5*k - 102. Is 6 a factor of q?
False
Let m(l) = -2*l - 3. Let z be m(-3). Let s be 6 - z/(9/6). Suppose x + 3*x + 3*t = 43, s*t + 51 = 3*x. Is x a multiple of 13?
True
Let p(z) = -3*z + 30. Is p(7) a multiple of 9?
True
Suppose 2*h + 2*l = 22, 2*h - 5*l = -0*h + 22. Let z = h - 6. Is 4 a factor of z?
False
Let n be ((-1)/(-3))/(3/27). Suppose n*b - 11 = 22. Does 11 divide b?
True
Let z(l) = 2*l**3 - 21*l**2 - 7*l - 8. Let m(p) = p**3 - 10*p**2 - 3*p - 4. Let x(d) = 9*m(d) - 4*z(d). Let u be x(6). Does 15 divide 61/u - 6/12?
True
Let d(n) = 4*n**3 - n + 1. Suppose 17 = o - 7*u + 3*u, -2*o = -3*u - 14. Let q be d(o). Suppose -q*i = 23 - 107. Is i a multiple of 6?
False
Suppose -t + 7 = 4*g, g + 2*t - 4 = -2*g. Suppose -2*s = -4*u + 228, -2*u = -u + s - 51. Suppose -3*r + u = 2*w, -6 = -4*r - g. Is 13 a factor of w?
True
Let g(m) = -m**3 - 5*m**2 + 9*m. Does 15 divide g(-8)?
True
Let v be 147/12 + (-1)/4. Is (v/10)/((-3)/(-120)) a multiple of 17?
False
Suppose -103*x - 104 = -105*x. Is x a multiple of 13?
True
Let x = 1 - -2. Let n be ((-15)/(-9))/(1/x). Suppose -i + v + 19 = 0, -2*v + 1 + n = 0. Is 11 a factor of i?
True
Let a(r) = 2*r**2 - 8*r + 1. Let d be a(-7). Suppose -c - 227 = -3*v, 3*v - 5*v + d = 3*c. Is 12 a factor of 1*2 + v/4?
False
Let s(p) = 10 - 5*p + 16*p - 13*p. Does 17 divide s(-12)?
True
Let z(o) = -o**3 + 13*o**2 + 7*o - 3. Is z(13) a multiple of 11?
True
Suppose g + 0*g - 203 = 0. Does 18 divide g?
False
Let j = 86 - 29. Is j a multiple of 9?
False
Suppose 3*o = 5*z + 9, o + 3*z = 4*z + 3. Is o/(-9) - (-16)/3 a multiple of 5?
True
Suppose x = -x - 16. Let k(a) = a**2 + 12*a - 7. Let l be k(x). Let v = -19 - l. Does 7 divide v?
False
Suppose 3*n - 161 = 2*n. Is n a multiple of 23?
True
Let u(n) = -56*n**2 - n - 2. Let k(g) = g**2 + 1. Let q(b) = -2*k(b) - u(b). Suppose -m = -0*m + 1. Is q(m) a multiple of 15?
False
Suppose -83*r = -86*r + 39. Is 13 a factor of r?
True
Let h(o) = o**2 - 10*o + 3. Let k be h(10). Suppose 5*i + k = c + 2*i, 5*c + i - 95 = 0. Does 8 divide c?
False
Suppose 3*p = 8*p - 225. Does 9 divide p?
True
Suppose f + f = -n + 31, 2 = -2*f. Is 11 a factor of n?
True
Let t(i) = 66*i**2 + 3*i + 3. Let s be t(-2). Suppose -2*b + s = 2*b - n, n - 69 = -b. Does 19 divide b?
False
Let d(z) = 23*z**2 - z. Let m be d(-1). Suppose 4*a - m = a. Is a a multiple of 7?
False
Suppose -5*i + 700 = 5*g, -4*g + 4*i = -516 - 4. Does 27 divide g?
True
Is 26 a factor of 344/4 - (2 - -1)?
False
Let s = 263 + -174. Suppose b + s = 4*n, 5*b - 3*n = -6*n - 422. Let l = b + 143. Is 18 a factor of l?
False
Let w(c) = -c**3 - 15*c**2 - 18*c - 17. Is w(-14) a multiple of 21?
False
Let b be (-2)/(-3) - (-40)/12. Suppose 0*c - b*c + 8 = 0. Suppose 0*z + z + 3*o = -10, c*z - 30 = 4*o. Is 2 a factor of z?
False
Let s(j) = 23*j - 3. Let v be s(2). Suppose -v + 10 = -3*g. Is 11 a factor of g?
True
Let k be (4/5)/(2/10). Suppose 0 = k*p - 12, 3*p - 4 = 4*s - p. Does 9 divide (22 + s)*(-9)/(-12)?
True
Suppose 5*p = 4*k + 63, k = -k - 4. Suppose r - p = 15. Suppose -3*s - 2*h + r = 3*h, -10 = 5*h. Does 4 divide s?
True
Let g = -1 - -3. Let x(f) = -2*f**3 + f**2 + f + 2. Let k be x(2). Does 5 divide 2/(k/5 + g)?
True
Let r(h) = 6*h + 4. Let o be r(-4). Let i = 0 - o. Does 4 divide i?
True
Suppose 0 = -5*q + 131 - 16. Is q a multiple of 11?
False
Suppose 14*g + 0*g - 588 = 0. Does 5 divide g?
False
Suppose 3*x + p = 262, 459 = 4*x + 3*p + 103. Suppose 3*w - 491 = -x. Suppose -6*o = -o - w. Is o a multiple of 11?
False
Suppose -4*c - 3*f = -5*c - 20, -3*c - 5*f - 74 = 0. Let v be 861/15 - 6/15. Let i = c + v. Is i a multiple of 9?
False
Let p(m) = m**3 + m**2 - m + 3. Let b be p(-3). Does 4 divide (-88)/b + (-2)/6?
False
Suppose -13*t - 16 = -9*t, 0 = -3*n - 2*t + 157. Is 11 a factor of n?
True
Suppose -5 = -2*r + r. Suppose -5*a + r = -5. Is 2 a factor of a?
True
Let s(x) = 39*x**2 - 3*x - 7. Let b(o) = -58*o**2 + 4*o + 10. Let g(d) = -5*b(d) - 7*s(d). Is 9 a factor of g(1)?
False
Is (-1)/(-3)*67 - 10/(-15) a multiple of 4?
False
Suppose -5*u + 3*k = -73, 4*k - 24 = u - 3*u. Does 7 divide u?
True
Let s be 0 - 0*(-2)/6. Suppose -5*n + 12 - 2 = s. Suppose 0 = 4*g + 3*i - 72, -2*i - n*i = 5*g - 90. Is 9 a factor of g?
True
Let x be (-8)/(2/(-2) - 0). Suppose 0 = 3*h - 4*h + x. Is 3 a factor of h?
False
Let l = -348 + 510. Suppose -2*t - 85 = -3*t + 2*y, -2*t + l = 4*y. Does 22 divide t?
False
Suppose -4*l + 26 = 5*u, -4*u + 5*l + 0 - 12 = 0. Let f be ((-1)/u)/(3/(-42)). Suppose -36 = 3*r - f*r. Is 3 a factor of r?
True
Let z = 30 + 16. Is z a multiple of 8?
False
Let a = 37 + -21. Is 6 a factor of a/(-56) + (-270)/(-14)?
False
Let x = -157 + 278. Is 4 a factor of (-57)/(-11) + (-22)/x?
False
Let i = 24 + 57. Is 33 a factor of i?
False
Does 6 divide 1434/36 - (-2)/12?
False
Let a = -23 + 68. Is a a multiple of 5?
True
Let j = 233 + -95. Is 23 a factor of j?
True
Let w = -9 + 33. Is 16 a factor of w?
False
Let w be ((-12)/20)/((-2)/(-10)). Let y(v) = -1 - 3*v**2 - v**3 + 6 - 1. Is 2 a factor of y(w)?
True
Suppose 2*m + 5*j - 59 = 0, -30 = -2*m - j + 33. Does 32 divide m?
True
Let h = -13 - -11. Let a = h + 8. Is a a multiple of 2?
True
Let o = 10 - 2. Does 4 divide ((-48)/(-15))/(o/60)?
True
Let x(k) = 2*k**2 - 6*k - 2. Is x(5) a multiple of 5?
False
Suppose -l + 2 = -5. Let q(f) = -f**3 + 7*f**2 - 8*f - 6. Let x be q(l). Is 14 a factor of 1*(x/(-2) - -2)?
False
Let o(g) = -g**3 + 13*g**2 - 20*g + 2. Is 10 a factor of o(11)?
False
Suppose -2*h = -10, -4*h - 2 - 13 = -f. Let i = f - 17. Is 6 a factor of i?
True
Let h(i) = 2*i**2 + 12*i**2 - 2 - 8*i**2. Is 8 a factor of h(2)?
False
Suppose q - 101 = -q + 3*b, -3*q = -3*b - 144. Is 13 a factor of q?
False
Suppose 3*i + 5 = 14. Suppose w - 5*p = 10, p - 6 = i*w + 4*p. Suppose 5*d = -j + 3*j + 26, w = d - 3*j. Is d a multiple of 6?
True
Suppose 2*g - 3*g - 5*r + 5 = 0, 4*r = 5*g - 25. Is 5 a factor of g?
True
Suppose -5*k - 55 = -4*i, -3*k + 4*k - 5 = 0. Is i a multiple of 12?
False
Suppose 0 = 5*b - b - 5*v - 764, -v = 4. Is b a multiple of 14?
False
Suppose -121 = -5*q + 359. Is 16 a factor of q?
True
Let c(t) = 21*t**2 - 2*t + 3. Let q be c(2). Let h = q + -43. Is h a multiple of 18?
False
Let d(o) = -11*o + 2. Let f be d(-1). Let p = -8 + f. Is p a multiple of 5?
True
Let c(o) = 3*o + 3. Let u be c(-2). Let t(m) = -4*m**2 + 2*m - 2. Let p be t(u). Let v = -31 - p. Is 13 a factor of v?
True
Suppose -3 = 4*v - 23. Let p be 4*(-1)/(-10)*v. Suppose -4*b = -2*r + 30, -2*r + p*b - 29 = -5*r. Is 3 a factor of r?
False
Let q be (1 - (-10)/(-6))*-9. Let j(a) = 6*a - 4. Does 8 divide j(q)?
True
Suppose 0 = 8*i - 251 + 27. Is i a multiple of 4?
True
Suppose -5*t + h + 5 = 0, 0 = -h - 2 - 3. Let g = -18 - -17. Is 4 a factor of g/(-3)*(12 - t)?
True
Let u = 41 - 14. Is u a multiple of 14?
False
Suppose 0*z = 6*z - 468. Does 21 divide z?
False
Suppose 5*w + 66 = 4*b + 3*w, 2*b = -4*w + 48. Is 5 a factor of b?
False
Let j(c) = -c + 0*c**2 + 7*c**2 + 4 + 8*c**2 - 6. Let b be j(-2). Suppose b = -0*s + 4*s. Is 6 a factor of s?
False
Let t be ((-20)/(-6))/((-12)/(-18)). Suppose -138 = -t*h + 62. Is 10 a factor of h?
True
Let c(x) = -14*x + 2 + 2 - 39*x. Let v 