f + 356. Does 14 divide f?
False
Let k(y) be the first derivative of 4/3*y**3 + 2*y**2 + 1 - y - 1/4*y**4. Is k(4) a multiple of 9?
False
Let a = 5 - 1. Suppose 4*c = -a*i + c + 236, 2*i = 5*c + 118. Let g = i + -39. Does 20 divide g?
True
Suppose 0 = -p - 5*q - 57 - 55, 5*p - 5*q = -680. Let o = 55 + p. Is 5 a factor of (-1)/2 - o/14?
True
Suppose 4*z + 206 = 3*x, x - 70 = 5*z - 3*z. Is x a multiple of 22?
True
Suppose -5*z = c - 10*z - 77, -z = 1. Is 24 a factor of c?
True
Let q = -9 + 13. Is -2 - -1*q - -17 a multiple of 7?
False
Is -124*(-3 - (-5)/2) a multiple of 5?
False
Suppose 0 = -2*o + 3 + 5. Suppose 0 = -x + o*t - 1, 2*x - 3*t + 9 = 4*x. Let n = 9 + x. Is n a multiple of 10?
False
Let b be -1*(0 + 1) - -105. Let z(j) = j**3 - 8*j**2 + 2*j - 9. Let m be z(6). Let o = m + b. Is 14 a factor of o?
False
Suppose 2*f = -2, 0*j + j = -4*f + 5. Is 2 a factor of j?
False
Suppose -52 = -3*x + x - 3*y, -3*x - 2*y + 68 = 0. Suppose -x + 9 = -a. Let i = 21 - a. Is i a multiple of 5?
True
Let y(a) = 4*a - 3. Let q(u) = u**2 - 4*u + 4. Let m be (-2)/3 - (-14)/3. Let f be q(m). Is 5 a factor of y(f)?
False
Let z = -2 + 3. Let y be 2 - (3 + z) - -67. Let h = -33 + y. Is h a multiple of 16?
True
Suppose -118 - 206 = -2*z. Does 37 divide z?
False
Let d = -9 + 15. Suppose 2*z = d + 6. Does 3 divide -3*(0 + (-16)/z)?
False
Suppose 34 + 215 = 3*q. Let y = -38 + q. Does 15 divide y?
True
Let x(t) = t**3 + 8*t**2 + 8*t + 6. Let o be x(-7). Let v(k) = 11*k + 1. Let m(q) = q - 1. Let n(b) = o*v(b) + 5*m(b). Does 18 divide n(-4)?
True
Let r = 18 - 8. Let m = 16 + r. Is m a multiple of 18?
False
Suppose 4*c + c = -10, 0 = 3*p - 3*c - 21. Suppose -p*i - 15 = -8*i. Suppose r = -3*f + 147, -f - i*r + 20 = -15. Is 20 a factor of f?
False
Suppose -5*l + 51 = -19. Is l a multiple of 4?
False
Suppose -9 = 6*b - 9*b. Suppose -4*j + b*w - 1037 = 0, -3*j + 784 = -6*j - 4*w. Does 13 divide (4/10)/((-4)/j)?
True
Let m = -5 + 9. Let n = 2 - -2. Suppose -n*w = -16 - m. Is 4 a factor of w?
False
Is 56 a factor of 4*6*(-14)/(-3)?
True
Suppose -3*j - 2 = -8. Suppose -37 = b - j*b. Does 10 divide b?
False
Let d(v) be the second derivative of v**4/6 + 7*v**3/6 - 3*v**2/2 - 3*v. Is d(-7) a multiple of 23?
True
Let j(t) = 30*t + 1. Is 7 a factor of j(1)?
False
Let m(o) = o**3 + o + 28. Let v be 2/5 - 4/10. Let l be m(v). Suppose -p - l = -2*p. Is 14 a factor of p?
True
Let t(v) = -33*v - 1. Suppose 3*w = 6*w + 6. Is t(w) a multiple of 24?
False
Let b = -11 + 30. Let f = b + -12. Is f a multiple of 5?
False
Suppose 0 = -4*o - 4*b + 2*b + 16, 3*o + 4*b = 12. Suppose -o*i = -48 - 48. Is 24 a factor of i?
True
Suppose 0 = 3*y + 6 - 39. Is 11 a factor of y?
True
Let w(g) = -6*g - 1. Let p be w(-2). Let h = p + 1. Does 4 divide h?
True
Is 19 a factor of 20/60 - (-262)/6?
False
Is 90 - (1 - (-1 - 0)) a multiple of 14?
False
Suppose -t - 4*t + 165 = 0. Is t a multiple of 33?
True
Let y be 8/(-3)*9/4. Is 16/y*9/(-1) a multiple of 8?
True
Let x = -83 - -127. Is x a multiple of 11?
True
Does 16 divide (-1542)/(-24) + -2*(-2)/(-16)?
True
Let n = 53 - -16. Is n a multiple of 31?
False
Let q(j) = -j**3 - j**2 - 2*j + 15. Is 4 a factor of q(0)?
False
Let f be (12/2)/(9/6). Let y(p) = 4*p**2 + 2. Does 28 divide y(f)?
False
Let k(x) be the third derivative of -1/60*x**5 - 2*x**2 - 13/24*x**4 + 0*x + 0 - 1/6*x**3. Is 11 a factor of k(-9)?
False
Let t(x) = -x**3 + 2*x**2 + 4*x. Let m be t(3). Suppose -z - m*z = 3*c, 4*c + 10 = -2*z. Suppose 0*n - z*n = -51. Is n a multiple of 6?
False
Let l = 120 - -110. Does 9 divide l?
False
Suppose 0 = 3*o + o - 640. Let n = 241 - o. Is 29 a factor of n?
False
Let r be (0*(-1)/(-1))/(-1). Suppose 3*h - 2 - 1 = r. Does 12 divide (h/(-3))/((-2)/174)?
False
Let v = -1 - -4. Suppose 3*x + 5*l = 2*x + 49, v*l + 81 = 4*x. Is 7 a factor of x?
False
Let d = 4 - -1. Suppose f - 16 = -3*f + 2*y, 6 = -d*f - 4*y. Does 10 divide 25 + -2 - (f + -5)?
False
Suppose 2*c - 3*c = -2*v - 18, -4*c + 3*v = -77. Does 13 divide c?
False
Let v = -14 - -4. Let c(u) = -u**3 - 11*u**2 - 11*u - 13. Let z be c(v). Is 9 a factor of -2 + 1/(z/(-39))?
False
Is 22 - (-3 - (-2 - -1)) a multiple of 8?
True
Suppose -l + 4*l - 111 = 0. Is 15 a factor of l?
False
Let w(d) = -d**3 + 6*d**2 - 6*d + 4. Let v be -2 - (-1)/((-2)/(-14)). Suppose 3*c - 17 = -3*z + 1, c + 18 = v*z. Is 9 a factor of w(z)?
False
Suppose 6*x + 221 = 1553. Is x a multiple of 46?
False
Suppose -13 = -3*u + 5. Suppose 2 = -f - u. Is 8 a factor of (f/5)/((-1)/10)?
True
Let x = 3 + 0. Does 3 divide 16 + 1 + x + -3?
False
Let d = 186 - 119. Is d a multiple of 36?
False
Let a(d) = 15*d**3 + d + 1. Let m be a(-1). Is 9 a factor of (-6)/m - 68/(-5)?
False
Let i(n) = 27*n - 32. Does 10 divide i(6)?
True
Is (684/(-90))/((-2)/10) a multiple of 36?
False
Suppose 7*m = 2*g + 3*m - 56, 4*g + m - 139 = 0. Is 12 a factor of g?
False
Is 285/(-6)*8/(-10) a multiple of 19?
True
Suppose l + 0*l + 4*u - 15 = 0, -5*l - 3*u = -160. Does 9 divide l?
False
Let v be (-3)/3*-2 + 4. Let p(t) = t + 2. Let y be p(v). Suppose -y*c + 145 = -3*c. Does 16 divide c?
False
Let l(g) = g**3 + 19*g**2 + 19*g + 19. Let x be l(-18). Suppose 0 = -5*z - 4*k + 41, -3*k - 3 - 5 = -4*z. Does 10 divide 36/x - (z + -3)?
False
Suppose j = -4, -2 = 4*v + j - 14. Suppose u - v = 17. Is u a multiple of 21?
True
Does 3 divide -2 + (-16)/(-6) - 710/(-15)?
True
Suppose -6*p + 30 = -p. Let c(u) = -4*u - 2. Let t(y) = 12*y + 6. Let a(x) = 11*c(x) + 4*t(x). Does 10 divide a(p)?
False
Suppose 11*k - 908 = -325. Does 5 divide k?
False
Let t(c) = 5*c**2. Let k be t(1). Does 23 divide (-464)/(-6) - k/15?
False
Suppose 5*o - k - 43 = 0, -5*o + 59 - 10 = -3*k. Is o/12 - (-352)/12 a multiple of 11?
False
Does 3 divide (-18)/(-1 - -1 - -1 - 2)?
True
Let m = 281 - 137. Is m a multiple of 24?
True
Does 35 divide (63 + 7)*(-1)/(-1)?
True
Let b be 36/10 + (-2)/(-5). Suppose 3*y + 3 = -b*g - 2*y, -21 = -3*g + 4*y. Suppose -z = -g*n + 94, 4*n - 4*z + z - 127 = 0. Does 12 divide n?
False
Let g(u) = 2*u**2 + 5*u - 4. Let n be g(-5). Let a = n + 12. Is a a multiple of 15?
False
Let t(g) = -g**3 + g**2 - g + 4. Let j be t(0). Let p(d) = d - j + 5 - 3. Is p(8) a multiple of 3?
True
Suppose 4*a - 172 = -52. Does 10 divide a?
True
Suppose -a + 24 = 2*a. Suppose -h + a = -3*h. Is 6/12 + (-162)/h a multiple of 12?
False
Let a(s) = -6*s + 12. Let t be a(-11). Is 3 a factor of (-2)/(-8) + t/8?
False
Let i be -2 + (-4)/(-6)*3. Suppose i = l + 5*k, 4*l + 2*k = 2*l + 32. Is l a multiple of 9?
False
Let b be (-2)/(-1)*18/4. Let v = b - 4. Suppose -5*w + 8 = 2*r + 1, v*r - 65 = -3*w. Is 8 a factor of r?
True
Suppose -343 = 15*i - 22*i. Is 9 a factor of i?
False
Let x = -9 + 66. Does 31 divide x?
False
Let o = -8 + 12. Suppose o*g = -29 + 81. Is 8 a factor of g?
False
Suppose -4*i - 2 = -6. Let g = 9 + i. Is 5 a factor of g?
True
Let h(i) be the second derivative of i**5/20 - i**4/4 + i**2 - i. Let n be h(2). Let m = n + 18. Is m a multiple of 13?
False
Let g(l) = l**3 - 2*l**2 - 5*l + 7. Let v be g(-5). Does 16 divide (-7)/(-21) + v/(-3)?
True
Let j(p) = -6*p**3 + 41*p**2 + 26*p - 4. Let m(l) = l**3 - 8*l**2 - 5*l + 1. Let v(k) = -2*j(k) - 11*m(k). Is 2 a factor of v(-5)?
False
Suppose 3*l - 2*l - 1 = 0. Let o be 7*l/3*3. Does 10 divide 237/21 + (-2)/o?
False
Let r = 2 - -21. Let a = r - 14. Suppose -4*p + 3*p + a = 0. Is 6 a factor of p?
False
Let h(c) = c**3 + 3*c**2 - 3*c + 1. Let g = -4 + 8. Suppose -g*l - 11 = 1. Is h(l) a multiple of 10?
True
Suppose 0 = -4*c + 6 + 2. Suppose c*h - 234 - 2 = 0. Suppose 0 = -q - q + h. Is q a multiple of 21?
False
Does 13 divide (0/(-1) - 3) + 29?
True
Is 4/(-1 + 3) + 35 a multiple of 15?
False
Let y(m) = m**3 + 5*m**2 - 6*m + 2. Let r(b) = -b**3 + b**2 - b - 1. Let h be r(-1). Suppose h*k = -k - 15. Does 15 divide y(k)?
False
Suppose 0*k - 5*k = 15, -4*o = -3*k - 13. Let n be o/3 + 10/(-3). Does 20 divide 5*(12 - 2) - n?
False
Suppose 2*p - 12 = -p. Is 4 a factor of p?
True
Suppose 5*m - 25 = -3*n, 3*m - 19 = -3*n + 2. Suppose m*z + 4*r = -0*z + 38, 0 = -2*z - 5*r + 39. Is z a multiple of 12?
False
Suppose -r = -5*r + 16. Is 3 a factor of r?
False
Suppose 5*j - 35 = -5*i, -2*i + j = 4*j - 16. Suppose 0 = 5*m + 2*o - 96, m + i*o = -4*m + 105. Does 18 divide m?
True
Suppose