ppose 3*r = 6 + n. Does 7 divide r?
False
Let f = -26 - -62. Is 9 a factor of f?
True
Suppose 3*y = 4*r + 322, 4*r + 61 = y - 57. Suppose -2*n = 2*j - 96, -2*n + j + y = -0*n. Does 14 divide n?
False
Let t(f) = -13*f - 8. Is 9 a factor of t(-4)?
False
Suppose -4*y - y = -285. Let s be ((-61)/3)/((-2)/6). Suppose -13 = 4*m + 4*f - s, 5*m + 2*f = y. Does 6 divide m?
False
Suppose 4*u + 3 = -x + 19, 3*u - 21 = -3*x. Let n = -13 + 24. Suppose -u*q = 2 - n. Is 3 a factor of q?
True
Suppose 3*c + 39 = 2*r, 3*c + 39 = -6*r + 4*r. Let m = c + -5. Let j = 32 + m. Is 7 a factor of j?
True
Let p = 283 - 85. Is p a multiple of 11?
True
Is (1 + -8)/(1/(-2)) a multiple of 3?
False
Suppose 0*t + 3*t - 15 = 0. Suppose f - 3*n = 24, 4*n - 8 = -t*f + 17. Is 3 a factor of f?
True
Let k(m) be the third derivative of 31*m**7/5040 + m**6/720 + m**5/60 - m**2. Let h(q) be the third derivative of k(q). Is 15 a factor of h(1)?
False
Suppose -a - 2*a + 19 = 2*k, 2*k = -2*a + 16. Is k a multiple of 5?
True
Let h = 1 - -1. Suppose 141 = -h*j - 3*y - 2*y, 4*y = 5*j + 270. Is 14 a factor of j/4*(2 - 4)?
False
Suppose -3*c = 3*v - 5*c - 328, 0 = 3*v + 4*c - 316. Does 18 divide v?
True
Let l(b) = -b**3 + 8*b**2 - 8*b - 6. Let m be l(6). Let h = 31 - m. Does 13 divide h?
True
Let x(i) = -2*i**3 + 2*i**2 - 8*i - 14. Is x(-4) a multiple of 14?
False
Suppose 18 = 2*g + 4. Let x(n) = 3*n - n**3 + n - 2*n - g - 6*n**2. Is 14 a factor of x(-7)?
True
Suppose 2*q = -3 + 7. Suppose -q*b + 1 + 19 = 0. Is b a multiple of 5?
True
Let h be (-15)/(-10) + 5/2. Suppose -4*k = h*m + 43 + 25, 3*k - 5*m + 27 = 0. Is (-4)/k + (-725)/(-35) a multiple of 13?
False
Suppose 0 = 5*o - 410 - 460. Is 29 a factor of o?
True
Let n(v) = 24*v + 3. Let f(a) = -47*a - 7. Let i(q) = 6*f(q) + 11*n(q). Does 18 divide i(-4)?
False
Let d = 7 - 2. Suppose 2*x - 3*x - i - 6 = 0, 0 = -4*x - d*i - 24. Is 2 a factor of (-8)/(-6)*(-9)/x?
True
Does 8 divide 16/(-1 + 3) - 0?
True
Suppose -4*n - 34 - 92 = 2*a, a - 3 = 0. Suppose -h = -78 + 5. Let i = h + n. Does 20 divide i?
True
Let l(g) = g**3 - 2*g**2 - 5*g + 3. Let t(f) = f**2. Let h be t(-2). Let q be l(h). Suppose -q = -r + 1. Does 16 divide r?
True
Let h = -43 - -73. Let b = h + -20. Is 10 a factor of b?
True
Let m = -14 + 8. Let o be (-4)/m + 44/(-12). Let x(d) = -d**3 + 3*d + 3. Is x(o) a multiple of 6?
False
Suppose -3*j + 120 = j + 2*d, 3*d + 23 = j. Suppose 0 = -2*m + j + 85. Is 19 a factor of m?
True
Let u = 339 - 195. Is 24 a factor of u?
True
Let y(a) be the second derivative of -a**3/2 + a**2/2 + 2*a. Let s be y(-2). Let o(p) = -p**3 + 9*p**2 - 10*p + 8. Does 14 divide o(s)?
False
Suppose -193 = -2*a - 77. Does 8 divide a?
False
Is 27 a factor of (15/4)/((-4)/(-112))?
False
Let b = 7 - 2. Is 3 a factor of 8/b*60/8?
True
Does 5 divide (-34)/(-1*6/12)?
False
Does 12 divide 540/15*7/4?
False
Let j be (-1)/(3/(-30)*2). Suppose -5*v = -5*g + 15, g - j*v = -3 + 22. Let u(l) = 39*l**2 + l + 1. Is u(g) a multiple of 13?
True
Let p(w) = w**3 + 4*w**2 - 5*w + 2. Let o be p(-5). Suppose -2 = -2*s + 4*z + 18, -o*s + 3*z + 23 = 0. Is 16 a factor of s?
True
Let k be 6/8 + (-51)/4. Let r = k + 5. Let i = r + 11. Is 2 a factor of i?
True
Let o = -14 - -22. Does 4 divide o?
True
Let q = 58 - 45. Is q a multiple of 7?
False
Let v = -163 + 101. Let t = 145 + v. Suppose -3*g - 3*c = -5*g + t, -4*g + 126 = 2*c. Is g a multiple of 17?
True
Let u = -42 - -13. Let n(z) = z**2 + 4*z - 2. Let i be n(5). Let q = i + u. Does 9 divide q?
False
Let b be (-1 - (2 + -1))*-1. Let m(j) = -j**3 + j**2 + j - 2. Let r be m(b). Is 4 a factor of (16/(-10))/(r/20)?
True
Suppose -6 = -r - 2*r. Does 6 divide 10/6*18/r?
False
Suppose v = -3*z + 8, 0 = -2*v + z + 2*z - 2. Suppose -9 = -2*g - 2*c + 9, v*c - 7 = -g. Is g a multiple of 5?
False
Suppose -4*v + 11 = 3. Suppose 3*y - q = 140 - 33, v*y = -2*q + 66. Is 11 a factor of y?
False
Is (-6)/(-9) + 3988/12 a multiple of 60?
False
Does 20 divide (4 + -266)*1/(-2)?
False
Let y be (3/5)/((-2)/(-10)). Suppose -y*l - 2*l + 95 = 0. Let x = -2 + l. Does 6 divide x?
False
Suppose 0 = 4*t + t - 40. Is 4 a factor of t?
True
Let u(j) = -j - 2. Let a be u(-7). Let r = -3 + a. Suppose q + r = 8. Does 6 divide q?
True
Suppose 14*k - 18*k = -240. Is k a multiple of 9?
False
Let w(b) = -b**3 + b**2 + b - 1. Let h(k) = 2*k**3 + 2*k**2 - k + 3. Let z(d) = h(d) + 3*w(d). Does 12 divide z(4)?
True
Let n(d) = 13*d - 2. Let q(a) = 1. Suppose 6*h - 3*h + 3 = 0. Let i(w) = h*n(w) - q(w). Is 7 a factor of i(-1)?
True
Suppose -4*g = -196 + 20. Is g a multiple of 22?
True
Does 7 divide ((-7)/(-3))/((-6)/(-54))?
True
Let n(m) = m**3 + m**2 + 16. Does 16 divide n(0)?
True
Let b = -7 + 39. Is 32 a factor of b?
True
Is -4 + (3 + -6 - -35) a multiple of 10?
False
Suppose 4*h - h = 0. Suppose -2*l - 3*d - 6 = -d, -3*l - 2*d - 6 = h. Suppose l = -t + 4, -7*t = -2*b - 3*t + 18. Is b a multiple of 6?
False
Let q(f) = 12*f**3. Let r(b) = -2*b**3 - b**2 - 17*b - 6. Let t(m) = -m**3 - m**2 - 9*m - 3. Let c(s) = 6*r(s) - 11*t(s). Let p be c(4). Is 4 a factor of q(p)?
True
Let f = -293 + 419. Does 19 divide f?
False
Let h = 10 + -3. Let p(q) = q - 2. Let z be p(h). Let n = z - 2. Is 2 a factor of n?
False
Suppose 4 = -c + 2*c. Is 25 a factor of (10/c)/(5/110)?
False
Suppose -3 = 3*v - 78. Let f = -18 + v. Let q = 1 + f. Does 8 divide q?
True
Is 13 a factor of 2/6 + 1/(15/1750)?
True
Suppose 2*q - 193 = -5*w - 17, -4*q - 116 = -3*w. Let u = 18 - w. Is 4/5*(-135)/u a multiple of 3?
True
Suppose 2*r + 15 = 7*r. Let a be 3/(-9) - (-10)/r. Let y(u) = 7*u - 2. Does 9 divide y(a)?
False
Let z(f) = -f - 3. Let b be z(-3). Let j(q) = q**3 - q**2 - q + 12. Does 12 divide j(b)?
True
Suppose 2 = d, 4*l - d - 44 - 38 = 0. Is l a multiple of 6?
False
Suppose -r + 86 = 3*q - 3*r, 0 = -4*q - 2*r + 124. Does 15 divide q?
True
Suppose -4*b + 2*f = 7*f - 107, -f = -b + 20. Does 6 divide b - (-2 - -2)/4?
False
Let y = 57 + -46. Is y even?
False
Let n(u) = u**3 + 5*u**2 + u + 7. Let d be n(-5). Let s(z) = -2*z**2 - 5*z**3 - 4*z + 2*z**3 - 4*z**d + z**3. Is 16 a factor of s(-4)?
True
Suppose 4*q + 2*x - 7 = 11, -2*q + x + 3 = 0. Suppose 2*j - 3*v - 43 - 34 = 0, 0 = q*j - v - 119. Does 17 divide j?
False
Let p(g) be the first derivative of -g**4/4 - g**3/3 + 5*g**2/2 + 4*g + 1. Let x be p(-3). Suppose -w + 2 + x = 0. Is w a multiple of 3?
True
Let g = -39 - -55. Is g/(-24)*102/(-4) a multiple of 15?
False
Suppose b = -0*b. Let d be (-3 - -2 - 1) + 21. Suppose b = 2*m - d + 7. Is 3 a factor of m?
True
Does 4 divide 12 - (0 - -2) - (9 + -8)?
False
Let y(q) = q**2 - 9*q - 20. Let m be y(14). Let j be (0 - 1/1)*29. Let n = j + m. Is 19 a factor of n?
False
Let x(z) be the third derivative of -z**5/60 - 7*z**4/24 - 7*z**3/6 + 3*z**2. Let v be x(-5). Suppose -2*u = -v*u + 24. Does 8 divide u?
True
Let w(o) = -o**2 - 12*o + 2. Let c be w(-12). Suppose -52 + 21 = -5*u - c*a, 2*a = -4. Does 7 divide u?
True
Suppose -2*i + 8 + 4 = 0. Suppose 6 + i = 4*w. Suppose w*x - 91 = -5*d, -2*d - 2*x + 35 - 1 = 0. Is 10 a factor of d?
True
Let b(y) be the second derivative of y**5/20 - 5*y**4/12 - y**3/3 - 3*y**2 + y. Let r be b(6). Let o = -2 + r. Does 10 divide o?
False
Suppose -f + 5*p - 3 = -2*f, -2*p = 0. Let c = f + 2. Is 3 a factor of c?
False
Suppose -4*y + 188 - 51 = 3*j, -3*y + 4*j + 134 = 0. Does 17 divide y?
False
Let b = -10 + 130. Is 24 a factor of b?
True
Let k = -74 - -35. Let r = 56 + k. Does 8 divide r?
False
Suppose -i + d - 5*d = 24, -2*d = 5*i + 30. Is 7 a factor of (39/(-12) + -2)*i?
True
Let g(j) = 18*j - 2. Does 8 divide g(1)?
True
Let n(l) = l**3 - 4 + 6*l**2 + 0*l**2 + 0*l**2 + 5*l. Let x be n(-5). Is (x/(-6))/((-2)/(-42)) a multiple of 10?
False
Let b(f) = f**2 - 3*f - 13. Let y be b(-6). Let m = 58 + y. Is m a multiple of 27?
False
Let t(k) be the first derivative of -k**2/2 - 13*k - 3. Let l be t(-11). Let x(w) = w**3 + 6*w**2 + 3*w + 1. Is x(l) a multiple of 11?
True
Let r be 4 - (1/(-1) - 1). Suppose r*u - 5*u = 33. Is 33 a factor of u?
True
Let d(i) = 31*i**2 + i - 2. Let z be d(2). Suppose 5*r + 31 = 2*f + z, -5*f = 4*r - 48. Is r a multiple of 9?
False
Let c be ((-1)/(-5))/(3/15). Is (66 + -2 + 3)*c a multiple of 18?
False
Suppose -2*q + q + 2 = 0. Let s(i) = 3*i**3 + i**2 - i + 2. Is s(q) a m