*u - 46 = -2*r + 145. Suppose -5*l - 5*h = 167 + 163, 2 = 2*h. Let t = u - l. Does 14 divide t?
True
Suppose 0*a + 2416 = 8*a. Is a a multiple of 13?
False
Let l = -5 - -17. Let q(h) = h**3 - 13*h**2 + 13*h + 2. Is 14 a factor of q(l)?
True
Suppose 2*j - 1125 = -5*v, 5*v + 3*j = 7*j + 1155. Is 16 a factor of v?
False
Let r(g) = g**3 - 4*g**2 - g + 2. Let t be r(4). Let y = t + 2. Suppose -2*k + 14 = -y*k. Is 7 a factor of k?
True
Let z(x) = -4*x**3 + 4*x**2 + 5*x - 6. Let g(h) = -5*h**3 + 4*h**2 + 6*h - 5. Let i(o) = 5*g(o) - 6*z(o). Does 8 divide i(-5)?
False
Let z(t) = 5*t + 9. Is z(5) a multiple of 5?
False
Suppose 0 = -2*f, 4*f = -2*m + 2*f + 4. Suppose k - 1 = -m*c - 2, 0 = 2*k + c - 10. Is 1/(-3)*-3*k a multiple of 2?
False
Is 26 a factor of 16/(-120) - (-1294)/30?
False
Suppose -3*f - 5*s = -7*s - 510, 510 = 3*f + 3*s. Is f a multiple of 34?
True
Let r = -26 + 44. Let m = 33 - r. Does 11 divide m?
False
Let u be -2 + 2/3*3. Suppose u*o - 20 = -5*o. Is o a multiple of 3?
False
Let d(r) be the first derivative of r**3/3 - 4*r**2 - 6*r + 1. Let c be (-4)/(-4)*5 - -5. Is d(c) a multiple of 5?
False
Let a = 67 - 11. Suppose 2*y = -2*y + a. Let s = -3 + y. Does 11 divide s?
True
Let y(s) = -s**2 - 4*s + 3. Let b be y(-3). Let v = 9 + b. Does 8 divide v?
False
Let m be 4/10 + 21/(-15). Suppose 5*s - 56 = 14. Does 11 divide (-3 - (0 + s))*m?
False
Is 4 a factor of (-13)/(-39) + (-41)/(-3)?
False
Let t be ((-2)/3)/(5/15). Does 11 divide (-26)/3*3/t?
False
Let p(a) = -a**2 + 4*a + 5. Let x be p(5). Suppose x*b - 107 = -3*b - j, 5*j - 59 = -b. Suppose 4*o - b = -2*q, -o + 5*q = 2*q + 9. Is 3 a factor of o?
True
Let h(b) = -2*b - 2. Is 3 a factor of h(-4)?
True
Let p = 4 - 1. Suppose -p*x + 40 = x. Is x/(-3)*12/(-8) a multiple of 5?
True
Let q(k) = -k**2 - 9*k + 5. Let z(h) = -3*h - 2. Let t be z(2). Is q(t) a multiple of 13?
True
Let h(v) = -v**3 - 5*v**2 + 5*v - 4. Let t be h(-6). Let u be (-1 - (12 + t)) + 2. Let i = u - -29. Is 6 a factor of i?
False
Suppose 0 = -x - 2*a - 3 + 12, 5*x + 3*a - 24 = 0. Is x even?
False
Suppose -5*y = -y + 36. Is 33 + (-3)/y*0 a multiple of 11?
True
Let t(x) = -x**3 + 5*x**2 - x + 7. Does 3 divide t(4)?
False
Let h = -451 - -788. Is h a multiple of 35?
False
Let b = 66 + -50. Does 16 divide b?
True
Suppose 0 = a + 2*x - 56 - 5, -177 = -3*a - 3*x. Suppose 5*f - i - a = i, 0 = -2*f + 2*i + 18. Is 11 a factor of f?
False
Suppose -5*a - 3*v - 15 = 0, -3*v + 45 = -10*a + 5*a. Is 17 a factor of a/4*130/(-3)?
False
Let b(y) = 2*y**2 - 9*y + 6. Let u be b(6). Let d be -1*48/9*u. Is d/(-12) + (-2)/(-6) a multiple of 9?
False
Let b be 600/18 + (-2)/6. Suppose -b = -f - 0*f. Is 14 a factor of f?
False
Let u(g) = 11*g**2 - g - 3. Is 43 a factor of u(6)?
True
Let x(g) = g**3 - 11*g**2 + 3*g - 12. Let y be x(11). Let t = -3 + y. Does 9 divide t?
True
Let x(n) = -22*n**3 - 2*n**2 + n**2 + n**2. Let a be x(-1). Suppose 3*k - 2*u = a, -2*u - 5 = -k + u. Does 7 divide k?
False
Suppose -154 = -5*w - 5*x + 2*x, 15 = 5*x. Does 4 divide w?
False
Let t be 0 + 1 + 1 + -2. Let u(d) = -d + 20. Is u(t) a multiple of 9?
False
Let s(b) = 56*b**2 + 3*b - 2. Does 19 divide s(1)?
True
Let j = -2 - -5. Suppose j = 3*i - 0. Let z(r) = 6*r**3 + r**2. Is z(i) a multiple of 7?
True
Suppose 0 = -9*d + 38 + 52. Is d a multiple of 3?
False
Suppose 12 = -2*b + 68. Suppose -b + 6 = -2*o. Is o a multiple of 9?
False
Let m be (-117)/(-26) + (-2)/4. Let x = 25 - m. Is 15 a factor of x?
False
Let d = 7 + -4. Suppose d*b - 61 = -0*b + n, 0 = -5*b + 2*n + 102. Is 9 a factor of b?
False
Let i = -1 - -3. Suppose -i*n + 24 = -38. Is n/((3*-1)/(-3)) a multiple of 12?
False
Suppose 0 = -2*c - 0*c + 3*w + 689, -4*c - w + 1413 = 0. Suppose -3*v = 32 + c. Is v/(-4) + (-1)/(-1) a multiple of 15?
False
Let m(w) = w**2 - 4*w - 2. Suppose -4*x = -5*v + 5 - 0, -3*x + 30 = 3*v. Is m(x) even?
False
Let d = 24 - 12. Suppose 4*r + 5*m + d = 0, 2*r = -0*r + m + 8. Does 2 divide r?
True
Let t = -6 - -28. Does 6 divide t?
False
Suppose o - 7 = -3*f + 1, -3*f = -4*o + 17. Suppose 0 = 3*j - 4 - o. Is j a multiple of 3?
True
Let x(t) = t**3 - t**2 - 4*t + 3. Let g(p) = -p**3 - 6*p**2 - 5*p + 3. Let d be g(-5). Let m be x(d). Suppose s - 3 = m. Is s a multiple of 6?
True
Is 20 a factor of (-45)/2*144/(-27)?
True
Suppose 7*s = 2*s. Let b be (-3 - -2) + 16 + s. Suppose 0*l - l + b = 0. Does 11 divide l?
False
Let k(z) = 3*z**3 + 3*z**2 - 2*z + 2. Let n be (8/14)/((-14)/(-49)). Is 17 a factor of k(n)?
True
Suppose -3*i + 1 = -14. Suppose 0*f - i*f = -115. Does 14 divide f?
False
Let f(k) = -k - 7. Let i be f(-9). Is 12 a factor of -18*1/(-1)*i?
True
Suppose -3*y - 1 = -13. Suppose -2*d + 4*d + 2 = 0, 0 = 2*j + y*d - 48. Does 22 divide j?
False
Let n(k) = 64*k**2 + 8*k + 15. Does 51 divide n(-2)?
True
Let i(f) = -3*f**3 + 8*f**2 - f - 8. Let t(q) = -2*q**3 + 7*q**2 - q - 7. Let m(y) = -3*i(y) + 4*t(y). Is m(3) a multiple of 14?
True
Let s(b) = -b**3 + 2*b - 2. Let j be s(4). Let i = -38 - j. Does 8 divide i?
False
Let u = 162 - 60. Suppose -4*l + 4*k + u - 34 = 0, -5*l + 83 = -3*k. Does 8 divide l?
True
Let v(w) = -15*w - 2. Suppose 8 = 5*n - 9*n. Is 14 a factor of v(n)?
True
Suppose 4*k = 5 + 3. Suppose -y = -2*g + y - 4, k*g = -4*y - 10. Let t(u) = -7*u + 2. Does 14 divide t(g)?
False
Let b = -10 + 8. Does 6 divide (-4 - b - -11) + 3?
True
Suppose 0 = -4*a - p + 197, 3*a = 2*p - 5*p + 159. Let k = -26 + a. Does 7 divide k?
False
Let r = 9 - 7. Suppose 4*f = -0*q + 2*q + r, -2*f - 2*q = 8. Let l = f - -16. Is l a multiple of 12?
False
Let q(c) be the second derivative of -c**5/10 - c**4/4 + c**2/2 + 2*c. Let s be (-2)/2*(8 + -6). Is 5 a factor of q(s)?
True
Suppose s - 5*g = 20, 5*s + 5*g = 4*s - 30. Let n(b) be the second derivative of -3*b**3/2 - 7*b**2/2 - b. Is 19 a factor of n(s)?
True
Suppose 0*r = -r + 11. Let o(u) = u**2 + 3*u - 3. Let g be o(-3). Let z = r + g. Does 8 divide z?
True
Let k(v) = -35*v**3 + v. Suppose 0 = 3*y - 2*a - 0*a + 13, -5*y - 20 = -3*a. Does 17 divide k(y)?
True
Let k = 2 + -4. Let w be (9 + -4)/(k/18). Does 15 divide (w/12)/((-1)/4)?
True
Let c(o) = 1 - 4*o**3 + 9*o**3 + 6*o**3. Suppose 3*k + 1 - 2 = 5*f, 4 = 2*k. Does 12 divide c(f)?
True
Let j = 0 - -3. Let o = -14 + 18. Suppose -2*a + 48 = a + 2*x, 0 = -o*a + j*x + 47. Is 13 a factor of a?
False
Suppose -2 = -d + 3. Suppose -57 - 88 = -d*m. Is 12 a factor of m?
False
Let o(v) = -v**2 - 6*v + 4. Let w be o(-8). Let l = w + 27. Is l a multiple of 8?
False
Suppose 38 = 2*u - 66. Is u a multiple of 13?
True
Suppose 3*r = -2*r. Suppose -5*m + 44 = -3*m + 5*d, r = m + 4*d - 28. Is m a multiple of 12?
True
Let z(o) = 4*o**2 - 2*o - 4. Is 13 a factor of z(4)?
True
Is 12/(-66) - 794/(-11) a multiple of 12?
True
Suppose 39 = 4*g - 3*n, -g = 4*n - 3*n - 8. Let l(a) = -a**2 - a - 5. Let y be l(g). Let p = 133 + y. Is p a multiple of 13?
False
Let b(q) = -16*q + 2. Let z be b(5). Let h = z - -46. Does 12 divide (3/4)/((-2)/h)?
True
Suppose 5*l = z - 0*z + 136, 3*z + 57 = 2*l. Is 18 a factor of l?
False
Let l(w) = 2*w**2 + 5*w + 7. Does 4 divide l(-3)?
False
Let v = 45 + -43. Suppose a + 18 = 2*k - k, 4*k + 2*a - 78 = 0. Let d = k - v. Does 9 divide d?
False
Let g(s) = 3*s**2 - 3*s - 2. Suppose 3*v = -0*v - 6. Does 16 divide g(v)?
True
Let w(m) = m**2 + 4*m + 5. Let r be w(-7). Let j = 48 - r. Does 8 divide j?
False
Suppose 3*z = 4*z. Suppose -3*q + 74 + 13 = z. Does 8 divide q?
False
Suppose -5*d = 5*w - 115, w - 67 - 48 = -5*d. Is 8 a factor of d?
False
Let a(b) = -40*b + 1. Let i(n) = -n**3 - 6*n**2 - 4*n + 4. Let j be i(-5). Does 20 divide a(j)?
False
Suppose 3*c = -2*y - 192, -2*c + 5*c = 4*y + 348. Let h = y - -135. Is 12 a factor of h?
False
Let v = 27 + -13. Let u be v/49 + 4/(-14). Let a(c) = -c**2 + c + 27. Does 8 divide a(u)?
False
Let z = 64 - 39. Does 5 divide z?
True
Suppose 5*x = c + 36, -c - 4*c = -2*x - 4. Suppose 5*r - 27 - x = 0. Let s = r - -14. Is s a multiple of 19?
False
Suppose -18 = -4*z - 58. Let d = -7 - 18. Does 20 divide 204/10 - z/d?
True
Let n be (3/(-3) + 0)*-35. Suppose 3*q + 2 = -g + n, -3*g + 3*q + 39 = 0. Is 9 a factor of g?
True
Let c(v) = 5*v - 14. Is 8 a factor of c(6)?
True
Suppose 3*j - 28 = 3*s + s, -3*j + 3*s = -27. Does 3 divide j?
False
Does 26 divide 6 + -5 - -1*103?