u) = -2*u - 12. Let b be s(o). Is 4 a factor of -6*b/(-3)*1?
True
Let n(x) = -14*x**3 + 5*x + 3. Let m be n(-3). Let l = -1 + 11. Is 12 a factor of 12/(-20) + m/l?
True
Suppose 0*h - 2*q + 80 = 2*h, 5*h + 2*q - 209 = 0. Is 8 a factor of h?
False
Suppose -135 = -14*s + 11*s. Does 9 divide s?
True
Suppose -52 = 2*b - 172. Is b a multiple of 15?
True
Suppose -16 = -3*v - v. Let j(q) = -q**2 + 5*q - 2. Is 2 a factor of j(v)?
True
Suppose -3*v + 24 = -5*r, -v - 3 = -5*r - 11. Suppose 1 = -5*i + 3*u, -4*i - 2*u + 0 = -v. Does 10 divide (40 + -2)/2 - i?
False
Let l be (-2 + 1 - 1) + 3. Let d be (l/(-2))/((-1)/(-112)). Let s = d + 88. Is 16 a factor of s?
True
Suppose 3*u + 8 = -70. Let l be u/(-12) + (-1)/6. Suppose 0 = s + l*w - 2, -s + 26 = -2*w - 2*w. Is 5 a factor of s?
True
Suppose -4*p + 649 = -3*a, 471 = 3*p - 0*p + 3*a. Is p a multiple of 20?
True
Let q(x) = x**3 + 9*x**2 + 8*x + 9. Let o be q(-7). Suppose -3*f = -2*i - o, -f + 3*f - 4*i - 34 = 0. Does 17 divide f?
True
Suppose 11 + 9 = 4*r, 0 = 2*o - 3*r - 33. Is o a multiple of 24?
True
Suppose 7*s + 47 - 705 = 0. Is s a multiple of 22?
False
Let s be (-2 + 2 - 3) + 46. Let w = s - 28. Does 15 divide w?
True
Let i be (8/(-6) - -2)*-30. Let f be 28/i - (-2)/5. Let c = 3 + f. Does 2 divide c?
True
Suppose 2 + 6 = 2*g. Suppose -3*k + k + 2*d = 4, 17 = -k + g*d. Let a(p) = 25*p + 2. Does 21 divide a(k)?
False
Let w(x) = x**3 + 4*x**2 + 3*x + 1. Let k be w(-2). Let j = -15 + 14. Let o = j + k. Is 2 a factor of o?
True
Does 29 divide (-3)/6*58*-3?
True
Suppose -2 = -t + r - 12, -3 = -3*r. Let p = 10 - -6. Let v = p + t. Is 7 a factor of v?
True
Let n = 112 - 28. Suppose 16 = 4*z, -a - 2*a + 3*z = -n. Is a a multiple of 13?
False
Suppose 2*m + i - 494 = -m, 4*i + 4 = 0. Suppose -4*y + m = -y. Is 21 a factor of y?
False
Let x(d) = d - 4. Let o be x(3). Let f(s) = 23*s**2 - s - 1. Is 23 a factor of f(o)?
True
Let o(a) = -4*a + 5*a + a - 2 - a**3 + 0*a + 2*a**2. Let x be o(2). Suppose -3*u + 131 = 4*l, x*l - 79 = -2*u + 5*u. Does 12 divide l?
False
Let f(l) = l**2 + 2. Let m be f(-2). Let r be m*(-3)/(-24)*-4. Let x = r - -13. Is 4 a factor of x?
False
Let r(w) = -2*w**2 - 6*w + 1. Let s(v) = 2*v**2 + 7*v - 1. Let l(q) = 2*r(q) + 3*s(q). Let c be l(-7). Let i = c - 20. Is 10 a factor of i?
False
Let b = -81 + 114. Let z = b + -13. Is 8 a factor of z?
False
Suppose -5*u - 47 = -5*d - 237, -2*u = 3*d - 71. Does 37 divide u?
True
Suppose -7*f + 4*f = -15. Suppose 0*i = -5*w + i + 53, 5*i = -2*w + f. Is 4 a factor of w?
False
Let n(q) = q + 17. Is 7 a factor of n(0)?
False
Is 74/10 - 6/15 a multiple of 2?
False
Let m(s) = 12*s**3 - 3*s**2 + 2*s + 2. Let y be m(2). Suppose 3*a + 2*c + 242 = 0, 5*c + 305 = -5*a - y. Let u = 125 + a. Does 20 divide u?
False
Let f(b) = -8*b - 30. Is f(-6) a multiple of 3?
True
Suppose -9*r + 15*r = 252. Is r a multiple of 21?
True
Suppose 12 + 4 = -4*s, -2*v - 3*s = 20. Let g = v + 25. Is 11 a factor of g/14*2*11?
True
Let g = -9 - -6. Let o(m) = -m**3 - m**2 + 4*m + 3. Does 3 divide o(g)?
True
Let s = 72 + -45. Does 9 divide s?
True
Suppose -79 + 19 = -3*o. Does 5 divide o?
True
Let u = -18 - -47. Is u a multiple of 7?
False
Does 26 divide (10/(-4) - -2)*-150?
False
Let g be -2 - (2/(-2) + 23). Let w = 62 + g. Is 9 a factor of w?
False
Let d be 14/4*14/7. Let h = d + 45. Does 26 divide h?
True
Suppose q - 4 = -q, 2*c - 30 = -5*q. Let u(r) = -r**2 + 13*r. Is u(c) a multiple of 12?
False
Is 12 a factor of ((-2)/((-8)/27))/(12/128)?
True
Suppose -2*i = -7*i - 10. Is 3 a factor of -4*(3 + 9/i)?
True
Let m(q) = -q**2 - 9*q - 4. Let w be m(-8). Suppose 15 = 2*a - 3*j, j = -w*a + 3 + 6. Is (15/(-4))/(a/(-8)) a multiple of 5?
True
Let o(x) = -x**2 - 6*x + 2. Let k be o(-6). Let b = k - -4. Is b a multiple of 6?
True
Let u(q) = 3*q**3 - 5*q**2 - 11*q - 1. Let w(x) = 0*x**2 - 32*x - x**2 - x**3 - 2 + 9*x**3 - 15*x**2. Let m(j) = 11*u(j) - 4*w(j). Is 15 a factor of m(-7)?
False
Let v(w) = -w**3 - 4*w**2 - 11*w - 18. Does 15 divide v(-6)?
True
Let w(b) = 3*b**3 - 2*b**2 + 1. Let j be w(1). Suppose -c = 3*y - y - 12, -2*y = j*c - 30. Does 6 divide c?
True
Let w = -11 - -15. Let k = -148 - -260. Suppose 5*r - 140 = w*x, 4*r - x - k = x. Is 14 a factor of r?
True
Let q(b) = 6*b**3 + 17*b**2 + 8*b + 6. Let c(m) = 2*m**3 + 6*m**2 + 3*m + 2. Let r(i) = 11*c(i) - 4*q(i). Does 4 divide r(-2)?
True
Suppose 2*h = h + 37. Suppose 61 + h = -r. Is r/(-3) + 4/(-6) a multiple of 16?
True
Let n(j) = 6*j**2 + j. Let f be n(-1). Suppose 2*p = f*d - 112, 28 = 2*d - 4*p - p. Does 12 divide d?
True
Let k(x) = 3*x**3 - x**2 - x + 1. Let s be k(-2). Is (9/5)/((-5)/s) even?
False
Let b(s) = s**3 - 4*s**2 + 4*s + 7. Let n be b(5). Suppose -4*r - n = -0*r. Let i = 25 + r. Is 6 a factor of i?
True
Suppose -7*p - 2*x = -3*p - 94, -5*p - 2*x + 117 = 0. Suppose 0 = 2*w + 2, 5*f - 4*w = 257 - p. Is 23 a factor of f?
True
Suppose c - 6*c + 135 = 0. Let x = 45 - c. Is 9 a factor of x?
True
Is 9 a factor of (-196)/(-6) + 3/9?
False
Suppose -48 = -2*i + 5*t, 24 = 3*i + 3*t - 6. Is 14 a factor of i?
True
Suppose c + 4*c = 370. Let q = 22 - 14. Suppose q = -2*x, -3*a + c = -4*x - 38. Is a a multiple of 14?
False
Let t be 2/(-11) - 399/(-77). Let g = t - -3. Is g a multiple of 8?
True
Is 14/3 - (-3)/9 even?
False
Suppose 0 = 4*m - 3*u + 98 + 57, m - u = -40. Let j = -21 - m. Does 14 divide j?
True
Let i be ((-5)/4)/((-2)/88). Suppose 5*x + 3*d - 80 = -0*d, 0 = -5*x + 2*d + i. Let c = x + -3. Does 5 divide c?
True
Let y(m) = m**2 - 2. Let r be y(-2). Is (28 + r)/((-6)/(-3)) a multiple of 9?
False
Is 5 a factor of ((-1)/1)/(1/(-20))?
True
Suppose -5*y - 18 = -0*q - 2*q, 16 = 3*q - 2*y. Suppose 3 = -d + s, 3*d - q*s + 8 = d. Does 10 divide (d - 21)/(0 + -1)?
False
Let h = 85 - 42. Does 42 divide h?
False
Suppose 599 + 2341 = 10*m. Is m a multiple of 42?
True
Let r(y) = y**2 + 6*y. Let z = -7 - -24. Let l = 9 - z. Is 16 a factor of r(l)?
True
Let d = -207 + 348. Does 10 divide d?
False
Suppose 5*z = -13 - 7. Let g be 7/(-14) + (-362)/z. Suppose -6*p = 4*x - 4*p - g, -x + p = -15. Is x a multiple of 13?
False
Does 12 divide 1422/21 - 2/(-7)?
False
Let b(l) = 2*l - 4. Is 14 a factor of b(13)?
False
Suppose -63 = -3*v + d, -2*v - 2*d + d + 37 = 0. Is v a multiple of 5?
True
Let c(s) = -s**2 + s + 3. Let z be c(-4). Let d = z + 25. Suppose -3*y - 150 = -d*y. Does 16 divide y?
False
Let k(b) = -b**2 - 7*b - 1. Suppose 2*w + 3*w + n - 105 = 0, 0 = 5*w + 2*n - 110. Suppose 0 = -4*i - 4 - w. Does 2 divide k(i)?
False
Let m = -13 + 23. Is m a multiple of 2?
True
Let c = 5 + 4. Let y = -3 + 1. Does 16 divide y*c/(-6) - -29?
True
Suppose 0 = -4*w + 3*j + 41, 0*w - 5*j + 25 = 5*w. Let x = 6 - w. Let q = x - -13. Is 11 a factor of q?
True
Let q(z) = 3*z**3 + 3*z**2 - 4*z + 3. Does 29 divide q(2)?
False
Is 323/6 + 1/6 a multiple of 18?
True
Let v(x) = 8*x + 4. Suppose 0 = -0*l - 4*l - 24. Let f be v(l). Let u = -29 - f. Does 8 divide u?
False
Is ((-2)/(-2))/((-4)/(-56)) a multiple of 6?
False
Let u = 7 + -3. Let i = u + -1. Suppose -5*r = -i*r - 20. Does 5 divide r?
True
Suppose 0 = -5*a + 3 - 18. Let v be (-2)/(a/3) - -46. Suppose 0 = -3*q + h + v, -2*h = -0*h. Does 13 divide q?
False
Let w(s) = -s**2 + 3*s + 2. Let c be w(3). Suppose 67 = 2*h + 3*r + 13, -c*h = -4*r - 40. Is h a multiple of 12?
True
Let a = 123 + 161. Does 35 divide a?
False
Let j = -17 - -27. Is 10 a factor of j?
True
Let u be 0 - 5/((-15)/6). Suppose -n = -o - 15, 0*n = 3*n - u*o - 40. Is n a multiple of 5?
True
Let c(f) = 3*f**3 - f**2 + f + 2. Let p be c(-2). Let r = -22 + p. Let u = -30 - r. Is u a multiple of 7?
False
Let k be 1 - 2 - 5/1. Suppose 19 - 1 = o. Let j = o + k. Is j a multiple of 12?
True
Let n be (-1)/(-3) + 34/(-3). Let p = n - -5. Is (-78)/(-4)*(-8)/p a multiple of 13?
True
Suppose -16 = 3*y - 7*y. Let p(d) be the first derivative of d**4/4 - 2*d**3/3 - 3*d**2 + d - 1. Is 3 a factor of p(y)?
True
Let g(f) be the third derivative of -f**5/60 - 7*f**4/24 + 7*f**3/6 + f**2. Does 4 divide g(-7)?
False
Let o(b) = -4*b**3 - 3*b**2 - 2*b - 1. Is 33 a factor of o(-3)?
False
Suppose 9 - 5 = n. Suppose n*p - 47 = 89. Is p a multiple of 29?
False
Let b be 6/(-3) + 2 + 4. Let o be 1/2*b + -31. Let x = -13 - o. Is x a multiple of 8?
True
Suppose 2*a + 60 = -