 -2*z + 33 = 5*m - 6*z. Let g = m - 6. Is g even?
False
Suppose -38 + 419 = 3*z. Does 26 divide z?
False
Let m = 17 + -16. Let q = 3 + -4. Is 6 a factor of (q/2*-18)/m?
False
Let w(p) = -p**3 - 4*p**2 + p - 2. Let d be w(-4). Is 19 a factor of ((-207)/d)/((-1)/(-2))?
False
Suppose 2*m + 120 = 5*b - 206, -b - 5*m + 76 = 0. Is 33 a factor of b?
True
Suppose 0 = -5*x - y - 16, -2*x - 14 = 2*x + 2*y. Is ((-4)/(-6))/(x/(-54)) a multiple of 6?
True
Let j = 13 - 6. Suppose -j*t - 17 = -8*t. Is t a multiple of 10?
False
Let p be 19/(2/2) - 2. Let o = p - 5. Is 6 a factor of o?
True
Let p be (99/(-22))/((-6)/4). Let r(q) = -4 + 3 - q + 3*q. Does 5 divide r(p)?
True
Let w be (2/(-4))/((-3)/(-30)). Let f = w - -17. Let i = f + 0. Is i a multiple of 5?
False
Let h be (-16)/(-10)*(-15)/(-6). Suppose h*k - 42 = k. Suppose -2*m - l + 43 - k = 0, -3*m = -5*l - 37. Is 10 a factor of m?
False
Let n(o) = -2*o + 2. Let l(f) = 9*f - 9. Let q(h) = -5*l(h) - 24*n(h). Is q(2) a multiple of 2?
False
Let r(u) = 0*u - 2*u + 7 - 5*u. Does 7 divide r(-4)?
True
Let g = -49 - -119. Is 37 a factor of g?
False
Is (0 + 0)*3/3 + 53 a multiple of 11?
False
Suppose -6*b = 2*w - b + 6, -5*b - 13 = w. Let l(x) = 0 - 4*x + 9*x - 3. Does 13 divide l(w)?
False
Let j(p) = -p + 11. Let k(a) = -a + 4. Let g be k(-3). Suppose 3*u = g*u. Is 6 a factor of j(u)?
False
Let b(p) = 68*p**2 + 4*p - 5. Is b(1) a multiple of 7?
False
Is 16 a factor of 5/((-25)/(-40))*10?
True
Suppose -4*b = -2*g - 22, -3*g + 0 = b - 9. Let l(c) = c**3 - 4*c**2 - 2*c + 6. Let v be l(4). Let t = v + b. Is t a multiple of 4?
True
Let d(f) = f**2 - f - 2. Let i be 1/(2/2)*-1. Let s be ((-1)/i)/(1/(-4)). Is d(s) a multiple of 14?
False
Let a = 133 - 37. Does 24 divide a?
True
Let d(c) = 0*c - 2*c + 0*c - 1 - 3*c. Let y be d(-1). Suppose -3*s + y*v = -71, 5*s - 4*v + 3*v - 90 = 0. Is 17 a factor of s?
True
Let x(g) = -7*g - 3. Is 8 a factor of x(-4)?
False
Let t be -8*(-1 - 7/(-4)). Let x(p) = 0 - 4 + 2*p - 11*p - p**2. Is x(t) a multiple of 6?
False
Suppose 27*w - 136 = 23*w. Is w a multiple of 34?
True
Let w = 68 + 4. Is w a multiple of 12?
True
Suppose 16*n = 15*n - 5*v + 167, -10 = -5*v. Is n a multiple of 16?
False
Let c(w) = w**2 - 2*w - 3. Let q be c(3). Suppose -6 = m - q*m. Is 2/m + 62/6 a multiple of 6?
False
Suppose -5*t - 3*y + 11 = 0, -4*t - 5*y = -y - 12. Let p = t - -9. Is 1*53 - 0/p a multiple of 25?
False
Let r(q) be the third derivative of q**6/120 + q**4/12 + 3*q**2. Let w = -3 - -5. Does 12 divide r(w)?
True
Suppose -8*z = -9*z + 15. Is z a multiple of 6?
False
Let g = 40 - -32. Does 36 divide g?
True
Let p = 4 + -8. Let d = p + 8. Suppose 3*j + 2*t - 18 = 0, 0 = -d*t + 4 - 16. Is 8 a factor of j?
True
Suppose -126 = 5*k + l + 121, 2*l = -4. Is 14 a factor of k*(-3 + 4 - 2)?
False
Suppose 79 = v - 27. Is v a multiple of 16?
False
Suppose 3*j = 2*l - 90 + 11, -5*l - 4*j + 140 = 0. Does 3 divide l?
False
Let z = -44 - -30. Let r = -10 - z. Suppose -81 = -r*x + 23. Does 15 divide x?
False
Suppose 3*i = 2*t - t + 10, -t = 4*i - 25. Suppose -5*l + d + 97 - 23 = 0, -6 = l + t*d. Is l a multiple of 7?
True
Let u(k) = k - 5. Let v be u(3). Is 11 a factor of ((-4)/6)/v*33?
True
Let h(j) = -j**2 + 4*j + 2. Let v be h(4). Let n be -4*(-1*v - -4). Let p = n + 13. Does 5 divide p?
True
Suppose -24 = 3*r - 6*r. Is r a multiple of 8?
True
Suppose -n = n - 24. Is n a multiple of 11?
False
Suppose 3*d + 4 = -29. Let t be 3 + (d - -3)*-3. Let l = t - 0. Does 27 divide l?
True
Let n = 242 + -170. Does 18 divide n?
True
Suppose -9 = -3*l, 4*l + 0*l = -2*i + 28. Is 3 a factor of i?
False
Let o(i) be the third derivative of -i**5/15 - i**4/12 - 7*i**3/6 - 2*i**2. Let t(s) = 12*s**2 + 7*s + 20. Let g(x) = 8*o(x) + 3*t(x). Does 10 divide g(-3)?
False
Is 13 a factor of (30/1)/(6/8)?
False
Let s = 5 - 8. Let p = 0 + s. Let h(w) = -6*w - 2. Does 8 divide h(p)?
True
Let h = 12 - 4. Is h a multiple of 8?
True
Let c = 2 + -5. Does 20 divide -2 - (c - -1) - -40?
True
Let u be (10*1)/(2/1). Let o be (7 - u)/((-2)/(-27)). Let m = o - -3. Is m a multiple of 14?
False
Suppose 2*j + 3*x = 41, j + 9 = 2*x + 26. Let v = -10 + j. Does 2 divide v?
False
Let x = 37 - 15. Is 16 a factor of x?
False
Let f = 19 - 17. Suppose -6*j = -5*a - f*j + 322, -2*j + 70 = a. Is 22 a factor of a?
True
Suppose 4*q = 2*b - b + 140, 4*q - 2*b - 140 = 0. Is 5 a factor of q?
True
Let d be 11 - (0 - -1 - 3). Let t be d/(-2)*(-6)/(-1). Is (2/3)/((-1)/t) a multiple of 11?
False
Let z be (-2 + 0)/(12/(-30)). Suppose -z*b - 3*m = -27, b = 2*b + m - 5. Is b a multiple of 5?
False
Is (185 - 2) + 1 + 0 + 1 a multiple of 17?
False
Let g(x) = -x**2 - 6*x - 3. Let y be g(-5). Suppose t + y = 10. Is 4 a factor of t?
True
Let u(r) = -r**2 + 9*r. Let g be u(9). Let p(n) = g*n + 3 - 5*n + 5*n - 5*n. Is 11 a factor of p(-6)?
True
Is 17 a factor of 9/24 + 1629/8?
True
Suppose 5*a - 5 = 5. Is 14 a factor of a/(-6) + (-316)/(-12)?
False
Let g be 2/((-2)/(-4)*-2). Is 18 a factor of (33/g)/((-15)/20)?
False
Suppose 0*r = 3*r - 48. Suppose -u + 19 = m, 3*u + 15 = m - r. Is 14 a factor of m?
False
Suppose 5*l - 3*y + 241 - 1426 = 0, -4*y = 20. Does 39 divide l?
True
Suppose 0 = 4*h + 3*g - 70 - 19, 4*g + 4 = 0. Let y = 33 - h. Does 5 divide y?
True
Suppose -34 = -4*l + 5*d + 55, 2*l + 5*d - 37 = 0. Suppose -5*q = -39 - l. Let o = q - 3. Is o a multiple of 4?
False
Let x be (1 - 1)*(-7)/(-7). Suppose 2*b - 58 = -x. Is 17 a factor of b?
False
Suppose 3*v - k - 104 = 3*k, 5*v = -3*k + 183. Is 9 a factor of v?
True
Suppose -4*v + 9*v = 20. Suppose v*b = 2*b. Suppose 4*g - 46 - 10 = b. Is g a multiple of 7?
True
Suppose -r = 3*o - 781, o - r = 156 + 103. Suppose 96 - o = -4*n. Is n a multiple of 11?
False
Suppose 3*o = -2 + 17. Suppose 65 - 225 = -o*c. Does 17 divide c?
False
Let d(c) = 3*c**2 + 3*c + 1. Let g be d(-2). Suppose -27 = 5*o - g. Let h(w) = 2*w**2 + 5*w + 2. Does 7 divide h(o)?
True
Let t = 7 - -1. Is t a multiple of 8?
True
Is 16 a factor of (-1018)/(-7) - (-8)/14?
False
Suppose 158 = g - 2*n, -49 = -g - 3*n + 104. Is g a multiple of 38?
False
Let t = -46 + 65. Does 5 divide t?
False
Suppose 3*p + 5*s - 529 = -p, p = -4*s + 146. Suppose 0 = 4*l - 4, 48 = 2*u - l - 3*l. Suppose 2*c - p = -u. Does 15 divide c?
False
Let f = -46 + 74. Is 4 a factor of f?
True
Does 40 divide (-116 - 4)/(6/(-4))?
True
Let i be (2/5)/((-1)/5). Let u(p) = 7 + 0*p + 2*p - 5 + 5*p**2. Is u(i) a multiple of 13?
False
Suppose -2 = 3*a + 1, -5*x = 4*a - 11. Suppose -z + 3*u - 1 = -13, x*z + 5*u = 92. Does 20 divide (0/(-1) + z)*1?
False
Suppose 0*c - c + 35 = 0. Is c a multiple of 9?
False
Let x(j) = 2*j**2 - 10*j + 6 - j**2 - 5*j**2 + 6*j**2. Is x(6) a multiple of 7?
False
Suppose -3*l = 2*o - 2*l - 93, 0 = 4*o + l - 183. Does 45 divide o?
True
Let d = 12 - 10. Is 2 a factor of d?
True
Let h(t) = -3*t**3 + 4*t**2 - 4*t + 3. Let v be h(2). Let s = 28 + v. Does 11 divide s?
False
Suppose 0 = -3*g + 2*d + 4 + 12, -35 = -5*g + 5*d. Suppose -5*s = l - 38, -s = -2*l - l + g. Suppose -3*o = s - 70. Is 11 a factor of o?
False
Let b(x) = -x - 15. Let h(t) = -4*t - 44. Let k(n) = -7*b(n) + 2*h(n). Let p be k(9). Let q = 10 + p. Does 12 divide q?
False
Let q = -86 + 119. Is q a multiple of 14?
False
Suppose -5*j + 890 = 4*x, 4*j - 712 = 3*x + 2*x. Is 42 a factor of j?
False
Let g be (-6)/(-9)*6 + 0. Suppose c + 16 = -g. Is (-55)/(-4) - 5/c a multiple of 14?
True
Let k = -19 + 40. Does 9 divide k?
False
Let j(p) be the first derivative of -4*p**2 - 16*p + 2. Is 16 a factor of j(-14)?
True
Suppose -2 = 2*n - 4*n. Let c = 8 - n. Is c a multiple of 7?
True
Does 12 divide 4/(-18) - 2*(-182)/18?
False
Let h(p) = p**2 - 9*p + 1. Let k be h(8). Let o(s) = -4*s + 13. Is 12 a factor of o(k)?
False
Suppose 0 = -3*f + 71 - 11. Suppose 0*q - f = -q. Suppose 7*h = 3*h + q. Does 2 divide h?
False
Let j be (2/(-8))/(5/(-20)). Let f(o) = 3*o. Let g be f(j). Is g*2 - 0 - 2 even?
True
Let g(a) = a**2 - 4*a - 7. Is g(7) a multiple of 14?
True
Suppose -2*q + 9 = 3*o, 0*q - 4*o = 2*q - 8. Is 8 a factor of 2 + (-3*q)/(-3)?
True
Let j(x) = -104*x**2 - 1. Let l be j(1). Does 12 divide 1 + l/(-3) + -1?
False
Suppose -9*n + 882 = -0*n. Is 7 a factor of n?
True
Suppose -2*o - o = -12. Suppose 6*b - b = -o*z - 21, 2*b = -2. Is 2/(-4)*(