= d**3 - 7*d**2 + 7*d. Let v be u(6). Let b = -1 + v. Is b a multiple of 5?
True
Let a(x) = 4*x**3 - x**2 - 3*x + 1. Let n be a(2). Suppose 0*t - t + n = 5*m, 4*m - 76 = -2*t. Does 12 divide t?
True
Let v(s) = -2 + 0 + 3*s + 0*s - 5. Is 14 a factor of v(10)?
False
Let j be (-2)/10 - (-56)/(-20). Does 13 divide 5*-7*(-4 - j)?
False
Let c(g) = -g**2 + 15*g + 26. Does 10 divide c(16)?
True
Suppose -3*i = 2*i - 25. Suppose -5*r + 22 + 18 = i*t, 15 = -3*r. Is 13 a factor of t?
True
Suppose -99 = 4*f - y, 2*y - 5*y + 89 = -4*f. Is 0 + 3 + -1 - f a multiple of 12?
False
Let w(h) = 2*h - 2 - 4*h - 6*h. Let p be w(2). Let m = 48 + p. Does 10 divide m?
True
Let i(q) = -q - 3. Is i(-14) a multiple of 2?
False
Suppose 3*n - 56 = 3*x + n, -2*n = 5*x + 72. Suppose 5*d = -2*g + 3*d + 98, 3*d = 5*g - 261. Let o = g + x. Is 17 a factor of o?
False
Let c(s) = -s**3 + 7*s**2 + 2. Suppose 3*b = -4*a + 24, -2*a + 3*b + 2 = -10. Does 10 divide c(a)?
False
Suppose c + 27 = 4*y, 2*y - 2*c - 24 = -y. Is y a multiple of 3?
True
Suppose -4*m = 4, -2*m + m + 5 = 2*d. Suppose -160 = d*g - 49. Let v = g - -63. Is 13 a factor of v?
True
Let c(n) = n**2 + n + 4. Let o be c(0). Let m = o + -4. Does 14 divide 56/2 + m/(-1)?
True
Suppose -2*l - 10 = 0, 3*l + 1 = -3*s + 76. Does 2 divide 1/3 - s/(-18)?
True
Let z = 173 - 117. Does 4 divide z?
True
Let s be -1 + (3 - -55) - 2. Does 20 divide (-6)/(-2) - (1 - s)?
False
Suppose 5*g + 5 = 0, 0 = -3*m + 3*g + 81 + 6. Let s = -7 + m. Does 7 divide s?
True
Suppose -5*r = -4*t - 26, -1 - 1 = -5*r - 2*t. Let j(k) = -k + 0*k**2 + k**3 + k**r - 3*k**2 - 2. Is 15 a factor of j(4)?
False
Let s = 340 + -225. Does 17 divide s?
False
Suppose -5*j = 20, 0 = 4*c - 3*j + j + 224. Let u = -32 - c. Is 9 a factor of 828/u + 8/52?
False
Let n(w) be the third derivative of w**6/120 - w**5/12 + w**4/12 + w**3/3 - w**2. Let j be n(4). Does 13 divide ((-39)/(-1))/((-9)/j)?
True
Let g = -72 + 111. Is 13 a factor of g?
True
Let j(x) = -19*x - 78. Is 25 a factor of j(-12)?
True
Suppose 3*k = 7*k + 88. Is 8 a factor of (-334)/k + (-8)/44?
False
Let p be (1 + -3)*85/(-10). Suppose 4*a - 3 = p. Suppose 2*m - 72 = -2*v, 0 = a*m + v - 2*v - 156. Does 17 divide m?
False
Does 18 divide (-180)/8*24/(-10)?
True
Let t = -37 + 97. Suppose -12*b = -8*b - t. Is 8 a factor of b?
False
Let b(k) = -8*k - 2. Does 9 divide b(-7)?
True
Suppose 4*c - 8*c - 8 = 0. Is 3 a factor of 6*(c - (-7)/2)?
True
Let j(l) = -11*l - 4. Suppose 0 = 4*x - 0*x + 12. Is j(x) a multiple of 29?
True
Let a = 90 + -18. Does 4 divide a?
True
Suppose t = 3*h + 8, -4*t = h + 22 + 11. Let r = t + 31. Does 8 divide r?
True
Let f = 1 + 3. Suppose -3*w + f*v + 16 - 4 = 0, 0 = 4*v. Suppose 4*g - 2 = 5*r + 71, -r + 91 = w*g. Does 11 divide g?
True
Let q(j) = j**3 - 13*j**2 + 14*j + 11. Let s be -15*4/15*-3. Is q(s) a multiple of 10?
False
Let m(f) = -4*f. Let a(p) = -5*p. Let l(g) = 3*a(g) - 4*m(g). Does 4 divide l(4)?
True
Suppose -5*q = 4*c - 31, 5*c = 3*c - 5*q + 23. Suppose -c*r + 110 = r. Is r a multiple of 22?
True
Let s = 1 - -2. Suppose 6*t - 138 = s*t. Does 23 divide t?
True
Does 17 divide ((-10)/(-15))/(4/102)?
True
Let l be 2*(-3 - (-258)/4). Suppose 0 = -3*o + 3*d + d + l, 0 = 2*d - 6. Is 13 a factor of o?
False
Let q be 2 + (-6 - 1) + -2. Let v = q + 11. Suppose 0 = v*k - 1 - 43. Does 11 divide k?
True
Let s = 63 - -58. Is 32 a factor of s?
False
Let b(m) = -2 + 3*m**2 + 0*m + 2*m**2 + m**3 - m. Let l be b(-5). Suppose 2*d = 3*d - l. Is d a multiple of 2?
False
Let q = 0 + 3. Suppose -q*t = -7*t + 16, b = -4*t + 41. Is b a multiple of 7?
False
Suppose 4*g + 4*b - 120 = 0, -2*b = -3*g - 3*b + 100. Is 11 a factor of ((-154)/g)/((-1)/5)?
True
Let w(q) be the second derivative of -q**4/12 + 7*q**3/6 + 3*q**2 + q. Let s be w(7). Is 14 a factor of (-2)/6 - (-194)/s?
False
Let w(n) = -n - 2. Let t = 19 + -13. Let k = -13 + t. Does 3 divide w(k)?
False
Suppose 0 = -5*k - 5, 3 = -5*d + 5*k + 8. Suppose -2*f + d = -54. Is 10 a factor of f?
False
Suppose -2*x = x. Suppose -5*a = -x*a. Let o(i) = -i + 25. Does 12 divide o(a)?
False
Suppose a - 52 = 3*y + 17, 168 = 2*a + 4*y. Is 13 a factor of a?
True
Suppose s + f = -3*f + 7, 11 = 2*s + 5*f. Let l be s*-1*8/(-12). Suppose -q + 223 = 5*u, -l*q - 2*q = -4*u + 164. Does 15 divide u?
False
Let o(n) = n**3 - n + 14. Let a be o(0). Suppose 5*u = -a - 6. Let w = u + 31. Is w a multiple of 25?
False
Let q(d) = -d + 9. Let t be q(7). Suppose -4*k = 1 - 5, 27 = 5*x + t*k. Is x a multiple of 4?
False
Suppose 0 = g - 3 + 5. Is 15 a factor of (-3 - -20) + 1*g?
True
Let i be 291/12 + 2/(-8). Suppose -y = -0*y - i. Is 8 a factor of y?
True
Let f(j) = -2*j - 8. Let c be f(-6). Suppose -g + 10 = 5*y, -3*g + c*y + 14 = 3*y. Is g even?
False
Let v be -4 - -3 - -1*37. Suppose -2*g = 4*w - 84, 3*g - 78 - v = -3*w. Does 12 divide g?
False
Suppose 0*v = 3*v + 66. Let f = 37 - v. Is 25 a factor of f?
False
Let f(p) = -242*p + 3. Does 36 divide f(-1)?
False
Suppose 1 = 3*b - 44. Suppose 3*c = b, -70 = 5*h - c - 3*c. Let n = h - -16. Is 6 a factor of n?
True
Let m(r) = r**3 + 12*r**2 + 10*r - 11. Let s be m(-11). Suppose s*i - 3*i = -39. Is 7 a factor of i?
False
Let i(j) = 2*j - 2 + 9 - 1 + 3. Does 17 divide i(4)?
True
Let v(z) be the third derivative of -53*z**6/120 - z**5/60 - z**4/24 - z**3/6 - 5*z**2. Does 15 divide v(-1)?
False
Let r be 9/1 - (-1)/(-1). Let f(k) = k**2 - 2*k + 4. Let v be f(6). Let d = v - r. Is 13 a factor of d?
False
Let p = 144 + -100. Suppose 0*c = 2*c - p. Is c a multiple of 11?
True
Suppose 0 = -4*n - 5*c + 17 - 1, 0 = 5*n + 5*c - 20. Suppose -5*u - n*w + 76 = 0, 0*u = -2*u - 3*w + 36. Suppose 5*p = 57 - u. Is p a multiple of 9?
True
Is (-8 + 0)/((-6)/33) a multiple of 22?
True
Let y(i) = -9*i**3 - 27*i**2 - 31*i - 20. Let l(q) = -4*q**3 - 13*q**2 - 15*q - 10. Let v(w) = -7*l(w) + 3*y(w). Does 14 divide v(-8)?
True
Let t be -2 + -5*(0 - 1). Suppose -l + 5*l - 20 = 0, -t*l = -4*s + 81. Is 9 a factor of s?
False
Let a(q) = q**3 - 3*q**2 - 4*q + 3. Let k = -2 - -4. Suppose -18 + k = -4*h. Is 3 a factor of a(h)?
True
Suppose -3*x - 2*x + 4*q + 98 = 0, 4*q = -x + 34. Is 5 a factor of x?
False
Let a be 1 + -5*1/(-1). Is 4 a factor of (8/a)/((-5)/(-15))?
True
Let a(j) = -13*j - 13. Does 27 divide a(-7)?
False
Let y(l) = l**2 + 11*l + 24. Is 2 a factor of y(-10)?
True
Let q(h) = 7*h + 1. Let z be q(2). Is 105/z*48/14 a multiple of 8?
True
Let v(j) = j + 5. Let f(c) be the third derivative of -c**5/60 - 7*c**4/24 - c**3/6 - c**2. Let a be f(-6). Does 5 divide v(a)?
True
Suppose 3*y + 120 - 129 = 0. Is 2 a factor of y?
False
Let p be (63/12 + 3)*4. Suppose 0 = -2*j - 3*u + 14 + 12, -3*j - 3*u + p = 0. Does 2 divide j?
False
Let x(t) = 70*t**2 + 4*t + 5. Does 12 divide x(-1)?
False
Suppose 0 = q - 3*l + 1 - 7, 4*q + 4 = -2*l. Let b = 0 - q. Suppose -3*y + 8 + 126 = 2*m, b = y + 2*m - 38. Does 13 divide y?
False
Let n(k) = -52*k**3 - k**2 + k + 1. Suppose -y + 3 = 4. Does 18 divide n(y)?
False
Let a(l) = l - 4. Let h be a(2). Let c be -3*(h - (-1 + -2)). Does 3 divide c/(-1 + (-2)/(-4))?
True
Suppose 0 = 5*v - 2*a - 422, -2*a - 164 = -2*v - 6*a. Is 14 a factor of v?
True
Suppose -6*r = -r + 5, r = -y + 2. Let n = y + 2. Is n even?
False
Is 24 a factor of 32*(84/16)/7?
True
Let i(z) = z**3 - 5*z**2 - 6*z. Let y be i(6). Suppose 2*r + y*r = 50. Does 7 divide r?
False
Suppose t + 0*t = f - 4, -2*t - f = -4. Suppose t = -4*n + 3*c + 1, c + 14 = -n - 3*c. Does 9 divide -2 + 3 + 12 + n?
False
Suppose -h + 1 = -2*h. Let c be (1/((-3)/12))/h. Suppose 106 = 2*d + 5*i, 0 = -2*d + c*i - 7 + 95. Is d a multiple of 19?
False
Suppose 3*d = 3*k - 0*d - 279, -2*k - 2*d + 174 = 0. Is k a multiple of 9?
True
Let w be 6/(-15) - (-66)/15. Suppose -w*c - 33 = -3*c. Let h = -8 - c. Does 14 divide h?
False
Let m(a) = -2*a**3 - 35*a**2 + 4*a + 15. Does 36 divide m(-18)?
False
Suppose 552 + 24 = 4*u. Does 16 divide u?
True
Let y(f) = -11*f + 2. Let r be y(-5). Suppose -3*j + 2*n = -143, n = -j - 3*n + r. Is j a multiple of 15?
False
Suppose -4*i + 308 = -0*i + 4*v, 0 = 5*i - 2*v - 392. Does 13 divide i?
True
Suppose 352 = 2*u - 6*u. Let p = -50 - u. Does 22 divide p?
False
Let r(k) = -k + 7. Let f be r(3). Suppose -2*d + f = -6. Does 5 divide d?
True
Let k be 4/6 + 91/21. Suppose 135 =