= 3*k + 187. Suppose o - 103 = -5*z, -3*o + j = 2*z - 11. Does 10 divide z?
True
Suppose 5*s = -5*z + 30 + 30, -5*z - 20 = 0. Is 3 a factor of s?
False
Let g(u) = 3*u + 24. Let f(z) = -z - 8. Let i(v) = 8*f(v) + 3*g(v). Is 8 a factor of i(0)?
True
Let j = -7 - -14. Suppose -6 = -4*z - 2. Let n = z + j. Does 7 divide n?
False
Suppose 15 = -3*m, 5*m + 25 = k - 78. Let n(p) = 119*p**2 - 2*p + 1. Let i be n(1). Let g = i - k. Is g a multiple of 17?
False
Let o(i) = -i**2 + 13*i - 14. Let j be o(8). Does 12 divide 0 - ((-12)/4 - j)?
False
Let n = 9 + -3. Let i = 10 - n. Is i even?
True
Let p(y) = -42*y**3 - 2*y**2 + 1. Let u be p(1). Let w = u + 82. Is 9 a factor of w/(-2)*(-2)/3?
False
Suppose 4*b - b = 21. Is 5 a factor of b?
False
Suppose 0 = -5*s + 3*s + 4. Let j(t) = 11*t**3 - 2*t**2. Let x be j(s). Suppose 2*z - x + 16 = 0. Is 11 a factor of z?
False
Suppose -4*g - 311 = -91. Let u be g/(-4)*(-2 - -6). Suppose 0*k = 5*k - u. Does 6 divide k?
False
Let y = -1 - -1. Suppose -3*b + 51 = q - 5, 3*b - 12 = y. Suppose -h + q = h. Is 13 a factor of h?
False
Suppose g - 114 = -42. Is 8 a factor of g?
True
Let n(v) = -23*v - 4. Let c be n(-3). Suppose -11*h = -6*h - c. Is 3 a factor of h?
False
Is 15 a factor of (0/1 + 9)/((-21)/(-315))?
True
Let l(y) = 13*y**2 - 4. Does 24 divide l(3)?
False
Suppose -7*l + 3*l = 0. Suppose 0 = -5*p + 3*i - 51, 0 = 3*p - l*p + 2*i + 42. Does 9 divide (p + 6)*(-26)/6?
False
Suppose 0 = 5*k + 3*f - 26 - 29, 5*k = 3*f + 55. Let i(l) = l**2 - 15*l + 15. Let p be i(k). Let a = 40 + p. Is a a multiple of 11?
True
Suppose 1 = -2*l - v, -4 = -5*v + 11. Let o = l + 8. Does 6 divide o?
True
Let g = -14 - -151. Is g a multiple of 14?
False
Let q = 2 + 0. Suppose 0 = -5*j - 3*s + 166, 5*j + 0*s = -q*s + 164. Is j a multiple of 10?
False
Suppose -2*v + 4*u - 2*u + 118 = 0, -5*u - 10 = 0. Does 6 divide v?
False
Let u(c) = c**3 + 9*c**2. Let s(p) = p**2 + p. Let f(n) = 4*s(n) - u(n). Does 12 divide f(-6)?
True
Let h be 6/(-21) - 368/(-14). Let g = 52 - h. Is 8 a factor of g?
False
Suppose -25 - 113 = 2*f. Let q = -39 - f. Is 10 a factor of q?
True
Let r be ((-33)/(-2))/(3/18). Suppose -2*v = -r + 13. Is v a multiple of 13?
False
Suppose 5*v + 3*j = 989, 6 = -2*j + 4*j. Suppose 2*s + 178 = 3*i, 5*i + 2*s - 74 = v. Is 14 a factor of i?
True
Suppose -4*v - 3*l + 14 = -5*l, 5*l + 21 = 3*v. Let y(o) = 4*o - 3*o**2 - 10*o + 4 + v*o**2. Does 12 divide y(-3)?
False
Suppose 3*y = 3*w, -2*w - w + 4*y - 3 = 0. Let g(i) = 0*i + 14*i**3 + w*i**3 - i. Is 8 a factor of g(1)?
True
Let x(i) be the third derivative of 2*i**5/15 - i**4/12 + 4*i**2. Does 18 divide x(3)?
False
Let s(r) = -4*r**2 + r + 2*r - 2 + 5*r**2 + 2*r. Does 9 divide s(-9)?
False
Let f = 1 - -2. Suppose -a = f*a - 8. Suppose -a*d + 57 = -9. Does 11 divide d?
True
Suppose 0 = 2*j + 3*j. Is 2*(j + (-10)/(-4)) a multiple of 5?
True
Let m(j) = -j**2 - 13*j + 11. Does 18 divide m(-10)?
False
Let b be ((-1)/2)/((-6)/(-12)). Is 6 a factor of ((-324)/(-12))/(2 + b)?
False
Suppose x = 2*l - 29, 5 = l - 4*x - 6. Does 4 divide (-10)/l - (-14)/3?
True
Let l be (6/5)/((-14)/(-35)). Suppose l*c - 7 - 32 = 0. Does 6 divide c?
False
Let c = 61 + -31. Is c a multiple of 30?
True
Let v(r) = -6 + 3*r + 8*r - 3 + 0*r. Is 15 a factor of v(6)?
False
Is 12/8 + (-3339)/(-14) a multiple of 13?
False
Let j(f) = f**3 - 4*f**2 + 6*f - 2. Let c = 10 + -6. Is j(c) a multiple of 17?
False
Let i(m) = m + 5. Let z be i(-5). Suppose -5*x = -10 - z. Does 11 divide x/(-8) - 178/(-8)?
True
Let n be -3 - (-5)/(5/24). Is ((-28)/n)/((-2)/48) a multiple of 13?
False
Is -1 + (-2)/(-1) + 140 a multiple of 47?
True
Let w(i) be the third derivative of -i**6/120 - i**5/12 - i**4/12 - i**2. Does 10 divide w(-5)?
True
Suppose 5*q - 235 = -5*a, 0*a = a - 5*q - 53. Suppose x - a = 12. Is x a multiple of 15?
True
Suppose 2*a - 32 = o, -2 = -a - 0*a. Let h = 50 + o. Is h a multiple of 6?
False
Let c(g) = -g**3 + 4*g**2 - g - 1. Let w(n) = -n**3 + 3*n**2 - n - 1. Let r(h) = 3*c(h) - 4*w(h). Let d be r(0). Does 18 divide d + (-17)/((-1)/1)?
True
Let c(q) = -q**2 - 12*q + 4. Let o(a) = a**3 - 9*a**2 + 6*a + 8. Let u be o(8). Is c(u) a multiple of 18?
True
Let c(a) = a**3 - 7*a**2 - 9*a + 11. Let b be -4*(-1)/(2/4). Let q be c(b). Suppose 5*o + 5*m = -0*o + 90, -59 = -q*o - 2*m. Is 10 a factor of o?
False
Let w(n) = 1 + 6*n**2 + 3 - 2*n + 0*n - 5. Suppose 5*s + 1 = 4*s. Does 7 divide w(s)?
True
Let r(j) = j**2 + 2*j - 5. Suppose 5 = 3*m + 17. Let y be r(m). Suppose y*h - 9 = 18. Does 8 divide h?
False
Let n be (-98)/(-6) + (-3)/9. Suppose 4*c = 5*s - 20, -3*s - s + n = 3*c. Suppose 5*b - 33 = -4*y, 24 = -c*b + 3*b + y. Does 4 divide b?
False
Let y = 56 + -24. Does 16 divide y?
True
Suppose 0*u + u = -2*z + 177, -z + 61 = -5*u. Is z/30 - (-2)/15 even?
False
Let m = 0 + 0. Suppose -3*g - 7 - 5 = m. Let d(n) = 2*n**2 + 2*n - 2. Does 11 divide d(g)?
True
Suppose 0 = -u - u. Suppose a + u - 1 = -5*r, -3*r = -a + 1. Suppose r = 3*k - d - 25, -3*d - d = -4*k + 20. Is 10 a factor of k?
True
Suppose -16 = v - 4. Does 33 divide 2/(-6) - 892/v?
False
Suppose 18*p = 10*p + 1408. Is p a multiple of 11?
True
Let w = -23 + 182. Does 28 divide w?
False
Suppose g - 6*g = -135. Is 10 a factor of g?
False
Let k(g) = -g + 10. Let w be k(0). Suppose 0*x - 5*x + w = 0. Suppose p + 11 = x*p. Does 11 divide p?
True
Let a(q) = 39*q - 6. Let g be a(4). Does 25 divide 44/(-33)*g/(-4)?
True
Let d(j) = 18 - 4*j - 12 + 5*j + 17. Is d(0) a multiple of 17?
False
Let g(c) = c**3 + 4 - 2*c + 5*c + 3*c**2 - 3*c**2 - c**2. Is 12 a factor of g(3)?
False
Let o be (-2 - -1) + (-6)/(-2). Suppose 5*z + r = 18, z + o*z - 3*r - 18 = 0. Does 4 divide z?
True
Let g = 0 + -3. Let d be g/(3/(-1)) + 1. Suppose -5*t = 3*z - 65, -d*t + 6*t + 16 = z. Is 10 a factor of z?
True
Let w(y) = y**3 - 4*y**2 - 5*y + 2. Let v be w(5). Suppose v*g = g - 28. Is 7 a factor of g/(-2) - 0/2?
True
Let r(f) be the third derivative of -f**6/36 - f**5/120 - f**4/8 - 2*f**2. Let b(n) be the second derivative of r(n). Is b(-2) a multiple of 13?
True
Let p = -105 - -197. Is 23 a factor of p?
True
Let v = -3 - -9. Suppose 5*z - 19 = v. Suppose -5*i + 0*i + 175 = 2*x, -x + 170 = z*i. Does 14 divide i?
False
Let o(r) = -1. Let g(k) = -2*k + 8. Let i(n) = g(n) + 6*o(n). Is 8 a factor of i(-7)?
True
Let p(y) = 2*y + 2. Does 8 divide p(7)?
True
Let k(v) be the second derivative of v**6/36 + v**5/120 + v**4/24 - v**3/6 - 2*v. Let q(t) be the second derivative of k(t). Does 14 divide q(-2)?
False
Does 20 divide 5/(0 - 3/(-33))?
False
Let a = 10 + -3. Let d(g) be the third derivative of g**6/120 - 2*g**5/15 + 7*g**4/24 + 5*g**3/3 - g**2. Is d(a) a multiple of 8?
False
Does 15 divide (27/21 + (-10)/35)*237?
False
Is 5 a factor of 4/(-10)*(-60)/4?
False
Let b(g) = g + 4. Let n be b(-2). Suppose 0*h - 8 = -2*h + 4*x, -h + x + 8 = 0. Is 4 a factor of (n + 9/h)*4?
False
Let b(w) = 13*w. Is 33 a factor of b(4)?
False
Let x(m) = 4*m - 11. Is 6 a factor of x(11)?
False
Let k = 39 - 15. Is 6 a factor of k?
True
Is 32 a factor of 2/5 + 3498/55?
True
Suppose 4*t - 58 = 66. Is t a multiple of 31?
True
Suppose -5*l = -5*u + 30, 2*u = -5*l - 2*u + 15. Let z(c) = -6*c - 1. Let t be z(l). Let r = -3 + t. Is r even?
True
Let t(c) = -c**3 - 4*c**2 - c - 5. Let z be t(-4). Let o = z - -7. Does 3 divide o?
True
Suppose -3*f - 140 = -5*t, -2*f - 146 = f - 2*t. Let j = f + 82. Is 14 a factor of j?
False
Suppose 0 = -4*w + 6*w + 10, 0 = 5*l + 5*w - 200. Suppose -5*a + 25 = 0, -2*a = 2*t - l - 3. Is 9 a factor of t?
False
Suppose 5*b - 11 = 9. Suppose -5*s = 2*v - 126, -b*s - 2*v + 7*v = -81. Does 4 divide s?
True
Let n be -1 + (-2)/(-4)*4. Let a be n - -3*2/(-6). Let i(t) = t**2 + t + 6. Is 4 a factor of i(a)?
False
Let o = -196 - -199. Is 2 a factor of o?
False
Let f(m) = 3*m**2 - 7*m - 10. Is 20 a factor of f(-6)?
True
Let s(j) = 80*j**2 + j + 2. Does 27 divide s(-1)?
True
Suppose -5*z = -46 - 44. Let x = z + 7. Is x a multiple of 14?
False
Let s(a) = a + 10. Let q be s(-8). Suppose -2*d - 8*p + 47 = -3*p, q*d + p - 67 = 0. Does 12 divide d?
True
Suppose -5*n = 0, 0*n - 620 = -5*a + 5*n. Is a a multiple of 62?
True
Let i(b) = 2*b**2 - 3*b - 1. Let d be i(3). Let q = 4 + d. Is 4 a factor of q?
True
Let v = 3 - 1. Suppose 200 = 7*a -