 f**3 - f**2 - f + 1. Suppose 7*i - 15 = 2*i. Is 16 a factor of t(i)?
True
Suppose 3*w = 5*x - 29, -4*x - w + 33 = 3. Suppose -x*h + 3*h = -44. Is 11 a factor of h?
True
Suppose 0 = -2*r + 1 + 5. Suppose r*z - 21 = 4*g, -z + 3*g + 35 = 3*z. Is (-222)/(-11) - 2/z a multiple of 20?
True
Let f(n) = -14*n. Does 14 divide f(-4)?
True
Suppose -4 = 4*g + 4. Is 24 a factor of (26/4)/(g/(-8))?
False
Suppose 678 = 15*x - 13*x. Is x a multiple of 14?
False
Is 2 a factor of (-48)/(-14) - (-12)/(-28) - -7?
True
Let b be 32/12*(-3)/(-2). Suppose 0 = b*d + d - 3*m - 105, -76 = -4*d + 4*m. Is 8 a factor of d?
True
Is 6/3*(20 + 0 + 0) a multiple of 5?
True
Suppose -3 = -3*p - 12. Let d be p/((-2)/(12/9)). Does 22 divide ((-5)/15)/(d/(-210))?
False
Let n be 4 + -1*(1 + -2). Suppose 15 = -2*k + 7*k. Suppose -d + 2*d - 8 = -n*g, -d + 8 = k*g. Does 8 divide d?
True
Suppose 2*d - 85 = -3*d + 5*n, n + 69 = 5*d. Is d a multiple of 2?
False
Suppose -5*r - 29 = -109. Let a = r - -2. Is 10 a factor of a?
False
Let t(q) = -6*q - q + 3*q**2 - 4*q**2 + 2*q**2. Does 15 divide t(-5)?
True
Suppose -5*z - 3 - 19 = -3*o, 7 = -2*z + 3*o. Let n = 9 - z. Is n a multiple of 4?
False
Let t = -96 + 158. Does 21 divide t?
False
Is (2652/24)/((-2)/(-4)) a multiple of 12?
False
Let o(q) = 8*q**2 - 6*q + 4. Does 4 divide o(2)?
True
Is (11 - 1)/((-4)/(-10)) a multiple of 18?
False
Suppose 4*g = -3*g + 728. Is 13 a factor of g?
True
Suppose 4*f = -4*n + 4, -f - f = n - 1. Does 24 divide (-4)/(8/(-50)) - n?
True
Let s(n) = -n - 2. Let v be s(-5). Suppose -d + 184 = v*d. Suppose 5*g = -2*c + d, c + 5*g - 26 = g. Does 9 divide c?
True
Suppose 0 = -2*n + 6*n. Suppose 0 = -3*g - n*g + 9. Suppose g*k = k + 22. Does 5 divide k?
False
Let v(o) = 12*o**2 + o. Let y be v(1). Let k = y + -8. Suppose 0 = -k*g + 5*w + 75, 2*w + 3*w = -5*g + 105. Does 18 divide g?
True
Let t = -14 + 30. Is 16 a factor of t?
True
Suppose 5*t + 4*s = 143 + 1, 0 = 3*t - s - 100. Is 32 a factor of t?
True
Let v = 9 + -10. Does 3 divide -9 + 10 - v*2?
True
Suppose -2*o - 801 = -3*u, -3*o = u + 1439 - 221. Let s be 2/(-4) - o/10. Let f = 56 - s. Is 15 a factor of f?
False
Suppose n = 79 + 6. Does 17 divide n?
True
Suppose -15 = -n - 3. Is 4 a factor of n?
True
Let x be (-9 - 2)*-1 + 0. Suppose -h = -3*g - 0*h + 18, 0 = g - 2*h - x. Suppose 0 = -r - 4*d + 21, -2*d = -g*r - 0*d + 17. Is r even?
False
Let h be 24/12*(-1 + 2). Suppose h*v - 5*v = -123. Is 7 a factor of v?
False
Let i(c) = 25*c - 1. Let z be i(1). Suppose -3*w + z = -0. Is 4 a factor of w?
True
Let c(y) = y - 1. Let s(j) = -j**3 - 3*j**2 + 3*j + 3. Let q(k) = -3*c(k) - s(k). Is 4 a factor of q(-3)?
False
Let t(q) = q**2 - 2*q - 6. Let m be t(0). Let w(b) = 3*b**2 + 15*b + 1. Does 15 divide w(m)?
False
Let g = -55 + 93. Is g a multiple of 8?
False
Suppose 0 = -2*r + 4*w + 76, 7*r + w = 2*r + 234. Is r a multiple of 5?
False
Suppose 2*n - 47 = -3*f, -4*n - 4 = -5*f - 43. Is n a multiple of 8?
True
Suppose a = -4*z + 8 + 5, 2*z + 2*a - 2 = 0. Suppose 0 = -2*u - z + 16. Is u a multiple of 6?
True
Let y(i) = -i**2 + 6*i + 9. Let z be y(7). Let n(f) = 0*f**2 + f**z - 7*f + 3*f + f. Does 14 divide n(7)?
True
Let a be (-18)/(-3)*4/8. Suppose -2*l = a - 27. Is l a multiple of 12?
True
Suppose 5*s = t + 4*t - 520, -4*t = -5*s - 412. Is 12 a factor of t?
True
Is 13 a factor of 66 - -5 - 0/1?
False
Suppose -3*z = -2*z. Does 15 divide (-7)/(21/(-90)) + z?
True
Let y(g) = g - 4. Suppose 0 = 2*q - 2 - 4. Let k be y(q). Is 12 a factor of 3 - -14 - (k - 0)?
False
Is 2/3*12*8 a multiple of 8?
True
Suppose -2*d + 42 = -30. Is 23 a factor of d?
False
Suppose 0 = 2*d + 2 - 8. Does 3 divide d?
True
Let l(v) = 2*v**3 - 11*v**2 + 13*v - 29. Let u be (4/(-6))/(6/(-63)). Let g(b) = -b**3 + 5*b**2 - 7*b + 15. Let y(p) = u*g(p) + 4*l(p). Does 6 divide y(9)?
False
Let w = -21 - -25. Let k(y) = 31*y - 14. Does 30 divide k(w)?
False
Let x(z) = z - 19. Let b be x(9). Let p be (b/6)/(4/84). Let s = p - -49. Does 14 divide s?
True
Let h(s) = -1 + 28*s**3 + 2 + 52*s**3 - s + 7*s**3. Let w be h(1). Let y = -39 + w. Does 16 divide y?
True
Let p be (1 - 2)/((-3)/30). Let d = p - -3. Does 6 divide d?
False
Let r(j) = -j**2 - 8*j + 9. Is 3 a factor of r(-8)?
True
Let v(t) = t**3 - 4*t**2 + 5*t - 1. Suppose f + 10 = 3*f. Is 14 a factor of v(f)?
False
Suppose -10*i + 297 = -i. Is 12 a factor of i?
False
Let k be (2 - 24)*(-1 + 0). Does 16 divide (k - 3) + 6/(-2)?
True
Suppose 6*h - 2*h = 64. Suppose -3*v = v - h. Suppose -v*o + 0*i - 4*i = -12, 0 = -4*o - 3*i + 13. Does 2 divide o?
True
Let c(d) be the second derivative of 0*d**2 + 0 + 2*d - 1/2*d**3. Is c(-2) a multiple of 4?
False
Suppose 5*c + q = 15, 2*c + 10 + 7 = -5*q. Suppose -p - c*p + 58 = -x, -2*p + 37 = -5*x. Is 11 a factor of p?
True
Does 7 divide 170/6 - (-4)/6?
False
Let r be (-4 + 0 + 31)*1. Suppose -207 - r = -3*m. Is 22 a factor of m?
False
Let d(l) = 2*l**3 - 11*l**2 - 5*l + 8. Is 3 a factor of d(6)?
False
Suppose 3*n - 2*g = 14, 0 = -g - 4*g - 5. Let m = 13 - n. Is 3 a factor of m?
True
Let d be (-1)/(-3) + 51/9. Let o be 4/d + (-328)/6. Does 12 divide 8/(-3)*o/12?
True
Let x(c) = 13*c - 49. Does 55 divide x(8)?
True
Suppose -t + 0*t - 3*s = -26, -s = 5*t - 60. Does 4 divide t?
False
Let f(h) = -45*h - 10. Let s be f(-5). Suppose s = 5*m - 45. Is 13 a factor of m?
True
Suppose -5*q + 45 = 2*r, -3*q + 16 = -4*r - 11. Let v = q - -15. Does 8 divide v?
True
Let r(o) = 20*o - 1. Suppose -a - 3*a + 12 = 0. Suppose a*v - 4*m = -9*m - 17, 25 = 5*v - 5*m. Is r(v) a multiple of 8?
False
Let v = 7 - -106. Let f = -58 + v. Is f a multiple of 20?
False
Suppose 5 = u, 2*z + 3*z + 5*u - 35 = 0. Suppose -z*o - 13 = -3*o. Suppose -3*y - 12 = 0, -3*d - 2*y - 3*y = -o. Is 9 a factor of d?
False
Let w be 13/7 + 1/7. Suppose -10 = -2*v, -2*v = -w*y - 0*v + 74. Is 14 a factor of y?
True
Is 10 a factor of 2*-1 + (5 - -126) + 0?
False
Let m be 68/18 + 10/45. Suppose 2*y - 26 = -2*i, -y - m*y = -2*i + 26. Is 13 a factor of i?
True
Let l(v) = 2*v - 2. Let y be 18/27*9/2. Is 2 a factor of l(y)?
True
Suppose 5*d - 415 = 170. Is 23 a factor of d?
False
Let l = -6 + 11. Let n(p) = p**2 + p - 22. Let z be n(-10). Suppose l*x = x + z. Is 10 a factor of x?
False
Let r(q) = q**3 + 3*q**2 - 4*q - 6. Let j be r(-4). Let v = 11 + j. Suppose -11 = -w - 2*p, 3*w + v*p = -0*p + 31. Is 3 a factor of w?
False
Let y be (14/3)/(4/(-24)). Let d = 13 + y. Let q = 30 + d. Does 5 divide q?
True
Let c = 0 + 1. Let i = 0 + c. Is (i + 18/(-4))*-6 a multiple of 11?
False
Suppose -10 = 2*s, -s - 4 = 2*b - 25. Suppose 3*u + 0*u - b = g, -5*u + 31 = -4*g. Is (24/(-10))/(g/10) a multiple of 3?
True
Let i(v) = -v + 3. Let u be i(7). Let c = u + 7. Suppose c*a = 28 + 14. Does 7 divide a?
True
Let g(h) be the second derivative of h**5/10 + h**4/6 + h**3/3 - 3*h**2/2 - 6*h. Does 13 divide g(2)?
False
Let o = -366 - -569. Suppose -3*a + o = -l, 0 = -5*a - 4*l + 268 + 42. Is 25 a factor of a?
False
Suppose 5*q + 2 - 12 = 0. Suppose 4*c - 3*c - 24 = -3*k, q*c + 2*k - 56 = 0. Is 9 a factor of c?
False
Let h(u) = 1 - 2*u - 2 + 4*u + 3*u**2. Let t be h(3). Suppose 2*q + 3*k = 3, 3*q - k = -0*q + t. Is q a multiple of 9?
True
Let a(u) be the third derivative of -u**4/24 + 5*u**3/6 - u**2. Does 8 divide a(-7)?
False
Let i(r) be the first derivative of 1/3*r**3 + 3*r + 4 - r**2. Is i(5) a multiple of 9?
True
Suppose -202 = 2*b - 4*b. Suppose 3*g - 33 = -5*i + b, -4*i = -3*g + 98. Is 15 a factor of g?
False
Does 13 divide (243/(-6))/((-7)/14)?
False
Let s be (-129)/15 - 4/10. Is 730/45 + 2/s a multiple of 6?
False
Let k(l) be the second derivative of -l**4/12 - 5*l**3/3 - l**2/2 - 2*l. Let a(p) be the first derivative of k(p). Is 4 a factor of a(-7)?
True
Let b = 4 - 2. Let c(p) = -p**3 - 3 - b*p + 3*p**3 + 7*p**2 + 1 - p**3. Is 6 a factor of c(-7)?
True
Let g(m) = 6*m. Is 18 a factor of g(11)?
False
Let r(v) = -84*v. Let s be r(-1). Let b = s - 60. Does 24 divide b?
True
Let i(q) = 5*q**2 + 17*q + 15. Let s(u) = 2*u**2 + 8*u + 7. Let n(y) = 4*i(y) - 9*s(y). Does 9 divide n(5)?
True
Let s = -15 - -15. Suppose x = 5*l + 50 + 7, s = x - 2*l - 54. Does 26 divide x?
True
Suppose 5 = 3*h - 7. Let w be 1/(-2) + 1/2. Suppose w = -h*v + 19 + 9. Does 6 divide v?
False
Let k(g) = -g - 17. Is k(-23) a multiple