uppose -n - 15 + 0 = 0. Let k = f - n. Is k a multiple of 12?
True
Suppose b - 1 = -2, 3*o - 158 = 2*b. Does 40 divide o?
False
Does 10 divide 2044/(-98)*(-1 - 6)?
False
Suppose -x = o + 3, 2*o = -0*o - 3*x - 11. Let s = 3 - o. Suppose -13 + s = -4*y. Is 3 a factor of y?
True
Let l be 44/3 + 6/18. Suppose -3*h = 2*h - l. Does 3 divide h?
True
Let y(h) = -h**2 + 1. Let o be y(1). Suppose -104 = -5*m + f, o*m - m + 4*f = -17. Is 21 a factor of -3*(-2)/(6/m)?
True
Suppose k + 3*d = 30, 60 = 3*k + d + 2*d. Let i = -15 - -20. Suppose i*t - k = 45. Is t a multiple of 12?
True
Let t = -17 + 71. Is 27 a factor of t?
True
Suppose 38 = -i - 3*g - 0*g, 88 = -4*i + 4*g. Let x = 1 - i. Let v = -7 + x. Does 20 divide v?
True
Let r(j) = 2*j**2 - 10*j + 7. Let l be (-7 - 0)*(0 - 1). Suppose -2*d = -l*d + 30. Does 9 divide r(d)?
False
Let m(y) = -20*y**2 - 6*y - 5. Let v(c) = -19*c**2 - 5*c - 4. Suppose 0 = -4*g + 12, -g = -3*w + w - 15. Let t(o) = w*v(o) + 5*m(o). Is t(-1) a multiple of 13?
True
Is 93/6 - ((-9)/(-2) + -5) a multiple of 8?
True
Let p = 5 + -1. Does 4 divide p?
True
Suppose -m + 16 = -8. Is 12 a factor of m?
True
Let f(j) = j**2 + 10*j - 1. Let z be f(-8). Suppose 0 = 6*n - n. Is n - z - (2 + -3) a multiple of 9?
True
Let f(x) = 5*x**2 + 3*x - 3. Let t be f(-3). Let r = t + -21. Does 4 divide r?
True
Let w(u) = u - 1. Let h be w(7). Let q = -6 + h. Does 10 divide (-4)/(-2) + q + 32?
False
Suppose -w + 12 - 33 = 0. Is 15 a factor of (-6)/w + (-248)/(-14)?
False
Suppose 2*d + d + o = 5, -4*o + 20 = 4*d. Suppose d = -y - y. Let j = y - -12. Is j a multiple of 12?
True
Let x = 33 - 20. Let f = x - 6. Does 2 divide f?
False
Suppose 20 = 2*v - 6*v - 5*m, m = 2*v - 4. Let k = 4 - v. Suppose 42 = k*q - 2*j, 2*q - 3 = q - j. Is q a multiple of 3?
False
Suppose -5*u - 4*m = -2*u + 17, 3*m = 2*u. Let c = u + 47. Is c a multiple of 18?
False
Is (408/17)/((-1)/(-3)) a multiple of 17?
False
Let n(s) = 4*s**2 + 4*s + 7. Does 2 divide n(-2)?
False
Suppose -3*z + 157 = 4*c, -2*c + 87 = -2*z + 19. Let m = c + -21. Let w = -7 + m. Is w a multiple of 9?
True
Let p be 6/(-21) + 66/(-14). Let w(q) = 0*q**3 + 6 - q**3 - 5*q**2 + 0*q**3 + 1. Is 5 a factor of w(p)?
False
Suppose 0 = -2*t + 3*v + 63, -5*t + 3*v + 145 = -2*v. Is 3 a factor of t?
True
Let a be (-3 - 1)/(-1 + 2). Let h = 2 - a. Suppose -34 = -4*q + h. Is q a multiple of 10?
True
Let k be 19/(-2)*(-2)/1. Suppose 5*s - 20 = -5. Suppose -4*t = s - k. Does 4 divide t?
True
Let k(z) = 2*z**2 - 5*z - 11. Let d be 7/2*(-1 - -3). Does 14 divide k(d)?
False
Let d(f) = -f**2 - 6*f - 5. Let c be d(-4). Suppose 4*t + 0*t = -4*j + 36, c*j + 5*t = 37. Does 12 divide 78/j - 1/2?
False
Let s = 13 + -44. Let o = s - -61. Does 9 divide o?
False
Let n = -3 - -11. Suppose 0 = 2*x - 98 + n. Is 15 a factor of x?
True
Suppose 14 = 5*l - 26. Suppose 2*i - l - 10 = 0. Does 4 divide i?
False
Let j(x) = 7*x - 2. Suppose -10 = 3*f - 34. Is j(f) a multiple of 27?
True
Does 13 divide 43 + (6 - (-1 - -3))?
False
Suppose -21 = -2*c - 5*o, -3*c - 7*o + 2*o + 39 = 0. Suppose 4*v = -v. Suppose 6 = -2*j, s + v - c = j. Is 15 a factor of s?
True
Suppose 4*f - 4 = -3*o + 5*o, -1 = -o + f. Suppose -5*p = -o*p - 34. Does 17 divide p?
True
Let s be -144*2*(-3)/(-4). Does 16 divide s/21*(-84)/18?
True
Let g(l) = l**2 + 6*l. Let u be g(-8). Suppose -4 = -p + 5*n - 21, n = -4*p + u. Does 3 divide p?
True
Suppose -230 = -5*c + 4*g, -8*c + 240 = -3*c - 2*g. Does 4 divide c?
False
Let a = 8 + -3. Suppose 80 = a*l - 0*l. Does 8 divide l?
True
Let j = 102 - 12. Does 15 divide j?
True
Suppose 0*d = 3*d + 324. Is 5 a factor of (8/(-6))/(9/d)?
False
Suppose -w = -11 - 4. Is w a multiple of 11?
False
Let k = 1 + 4. Let y(d) = d**2 - 2*d - 2. Does 13 divide y(k)?
True
Let n = 114 + -62. Suppose -2*d - 2*d = -n. Does 4 divide d?
False
Let s(c) = -c**3 + 3*c**2 + 2*c - 4. Is s(-3) a multiple of 28?
False
Let a be (18/12)/(1/(-2)). Let u = a + 18. Does 4 divide u?
False
Let i be (-1)/(-3) + (-11)/(-3). Suppose 48 = i*r - 0*r. Is 196/r - (-2)/(-6) a multiple of 16?
True
Let l(s) = 3*s**2 - 3*s. Is 24 a factor of l(4)?
False
Let j = 16 + -6. Suppose 4*l = 10 + j. Is 5 a factor of l?
True
Suppose 5*p - 15 = 0, 2*z - 48 = -4*p + 2. Is 19 a factor of z?
True
Let v(o) = o - 1. Let j be v(-4). Let l be 5*(-2 - 12/j). Is 12 + 0 + -4 + l a multiple of 5?
True
Let d = 16 + -23. Let y = d - -12. Suppose 4*s = -2*q + 48, y*q - 24 = -3*s + s. Does 7 divide s?
False
Let t = 29 + -15. Does 4 divide t?
False
Let g(a) = 3*a**2 + a - 3. Suppose -3*j - 2*j - 2*u + 7 = 0, 4*j + 4 = -4*u. Let s be g(j). Let c = -13 + s. Does 7 divide c?
True
Let f(v) = v**2 - 4*v - 3. Is 9 a factor of f(-3)?
True
Suppose -48 + 291 = u. Suppose x = 3*q - 233, 3 = 2*q + x - 159. Suppose -4*f = q - u. Is 19 a factor of f?
False
Let z be (0 + 12)*(-3)/(-9). Suppose 0 = -z*l + 28 + 4. Let g(f) = f**2 - 8*f + 8. Does 6 divide g(l)?
False
Suppose -q = 2*q + 54. Let b = q + 13. Let x = b - -16. Is x a multiple of 11?
True
Let v(k) = k**3 - 16*k**2 + 10. Does 2 divide v(16)?
True
Let n(u) = 11*u**2 + 2*u. Is n(-1) a multiple of 9?
True
Let u(b) = 2*b**2 - 4*b + 2. Does 17 divide u(4)?
False
Let t(l) = l**2 + l**2 + 4 - 2. Suppose 2*d - 9 = 5*d. Is t(d) a multiple of 8?
False
Let x(d) = 2*d - 10. Let q be x(7). Let v be (7/q)/((-3)/12). Let y(n) = -n**3 - 5*n**2 + 9*n - 2. Is 13 a factor of y(v)?
False
Let w(s) = 26*s**3 + 2*s**2 - 4*s + 3. Let a be w(2). Suppose -35 = -z - 2*o, -5*z + 5*o = 3*o - a. Suppose -3*j + z - 5 = 0. Does 6 divide j?
True
Let u be 4/6 + (-66)/(-9). Let c = 20 - u. Is 6 a factor of c?
True
Suppose w - 565 = -4*w. Is 13 a factor of w?
False
Let n(x) = -x**3 + 10*x**2 - 4*x - 15. Does 5 divide n(9)?
True
Suppose -2*n = -3*w + 2*w + 15, 15 = -3*n. Suppose -16 = -w*o + 64. Suppose t + o = 2*t. Is t a multiple of 16?
True
Let m = -127 - -216. Is m a multiple of 16?
False
Let v = -25 - -47. Is v a multiple of 11?
True
Is 15 a factor of (-12)/42 - (-527)/7?
True
Let u(x) = x**2 + x - 6. Is u(5) a multiple of 15?
False
Let q = 9 - 11. Does 2 divide (-4)/q - (0 - 1)?
False
Suppose 3*m - 7*x + 2*x = 270, -450 = -5*m + 3*x. Suppose 5*y = -5*q + m, -2*y - 3*y = -4*q - 108. Is 7 a factor of y?
False
Let o = 4 + 77. Does 10 divide o?
False
Suppose -3 - 9 = -4*u, -2*n - u + 115 = 0. Suppose 7*m - n = 3*m. Does 4 divide m?
False
Let w(m) = 3 - 9*m**2 + 7*m**2 - 5 + 3*m + 12*m**2. Is w(2) a multiple of 17?
False
Let h = 144 + -73. Does 4 divide h?
False
Is ((-3120)/(-36))/((-4)/(-6)) a multiple of 13?
True
Let m(l) = -l**2 - 12*l - 10. Let i be (-4)/((-8)/(-14))*1. Is m(i) a multiple of 14?
False
Suppose -2*y + 2*h = -166, -5*y = -h - h - 409. Suppose 0*z + 2*z - y = -5*k, 117 = 3*z + 3*k. Is 22 a factor of z?
False
Suppose -4*h = -4*d, -5*h - 4*d + d = -40. Let v = h - 3. Is 13 a factor of 3 + 30 + v/2?
False
Suppose 2*v = v + 2, -1 = -t + 4*v. Suppose -t*l = -4*l - 45. Is l a multiple of 8?
False
Let c = -4 - 6. Let b be (1 + c/4)*-4. Is (b/8)/(1/16) a multiple of 6?
True
Let d(k) = k**3 - 4*k**2 + 3. Let c be d(4). Does 13 divide 3/((6/34)/c)?
False
Suppose -8 = 2*n - 5*x - 69, -2*n + 4*x + 58 = 0. Does 3 divide n?
False
Suppose 2*l - 22 = 10. Does 16 divide l?
True
Let r(n) = n**3 - n**2 - 4*n + 1. Let w be r(3). Let d(g) = -g**2 + 7*g + 4. Let q be d(w). Let f(t) = 7*t + 1. Is 18 a factor of f(q)?
False
Let u be 10/(4*2/4). Let m be (1 - 1)/(u - 3). Suppose m*f + 20 = 4*f. Is 2 a factor of f?
False
Let s(j) = -24*j + 25. Is 24 a factor of s(-7)?
False
Let k(q) be the first derivative of q**2 - 4*q + 2. Let l be k(3). Suppose 0 = -2*a + h + 30, 0 = -0*a - a + l*h + 12. Is 16 a factor of a?
True
Suppose 3*q + 5*t + 0 = 14, 0 = 5*q - 3*t - 46. Let m = 13 - q. Suppose -3*k = -4*b - 19, 0*k - m*b = -4*k + 25. Is 5 a factor of k?
True
Let t(j) = -4*j**2 - 2*j. Let w be t(-3). Let z = 58 + w. Is z a multiple of 14?
True
Let g be (-1 + 1 + -1)*-82. Suppose s - 222 = -3*k - g, 0 = -3*k + 5*s + 164. Is 16 a factor of k?
True
Suppose -3*u + 15 = -4*s, 2*s = -0*s - 3*u + 15. Suppose -2*q - 2*q = s. Suppose 0 = -q*h - h + 4. Is 4 a factor of h?
True
Let u(g) = -2*g + 16. Let w be u(7). Suppose w*d - 17 - 27 = 0. Does 17 divide d?
False
Suppose a = 2 - 1. Is 8 a factor of 5 + -4 - (-7)/a?
True
Let y = 75 