- 8*h + 3. Does 16 divide t(3)?
False
Let i(p) = -57*p**3 + p**2 - p - 1. Let y be i(-1). Let h = 24 + 14. Let z = y - h. Is z a multiple of 11?
False
Let u(t) = -11*t**2 + 14*t + 6. Let h(l) = -7*l**2 + 9*l + 4. Let p(q) = 8*h(q) - 5*u(q). Let g be p(-3). Let b = g + 21. Does 4 divide b?
True
Let x(p) be the second derivative of p**5/20 + 5*p**4/6 + 3*p**3/2 - 5*p**2/2 - 3*p. Let r be x(-9). Is (r - -6)/((-1)/(-14)) a multiple of 14?
True
Let r(n) = n**2 + 7*n - 1. Let g be r(-7). Does 7 divide g - -14 - (-5 - -4)?
True
Does 44 divide (-338)/((-7)/(14/4))?
False
Suppose -7*s + 51 = -4*s. Let r = 9 + s. Is r a multiple of 13?
True
Let g(a) be the third derivative of a**5/30 + a**4/8 - a**3/6 - 2*a**2. Is g(-4) a multiple of 10?
False
Suppose 3*c = 2*g + 4, -2*c = 2*c - 4*g. Suppose -5*j - 3*r + 140 = r, j - 28 = c*r. Does 11 divide j?
False
Let c be -3*(-1)/(6/4). Suppose 2*r + c*m - 127 = -37, -4*r = -3*m - 180. Is r a multiple of 16?
False
Suppose 3*h - 3*b = 24, -5*h + b - 3*b = -68. Let t(w) = w - 2. Let r be t(6). Suppose -j - r = -h. Is j a multiple of 4?
True
Suppose 5*x - 26 = 34. Let o = x + -6. Is o a multiple of 3?
True
Let g(b) = -22*b - 23. Is 24 a factor of g(-10)?
False
Let r = -1 + 2. Is -2*r*(-31)/2 a multiple of 18?
False
Let s = -8 - -8. Suppose -5*w = -s*w. Is 0/(w + -1) + 61 a multiple of 16?
False
Let s be (3/6)/((-1)/(-22)). Is 10 a factor of s/(-2 + 21/9)?
False
Suppose -21*a + 370 = -5909. Does 13 divide a?
True
Let v(a) = -143*a**3 - a**2 - 2*a. Does 24 divide v(-1)?
True
Suppose -20 + 0 = -4*d. Suppose 96 = d*p - j, 4*p - 5*j - 40 = p. Suppose 0*q + 2*q = p. Does 5 divide q?
True
Let w(n) = n**3 - n**2 + n + 9. Let o be w(0). Suppose -2*y + o = 4*h - 3*y, 0 = 3*h - y - 7. Suppose -12 = -3*d - i - 0, 0 = -h*i. Is d even?
True
Let v = -61 + 94. Is 5 a factor of v*(24/(-9) + 3)?
False
Suppose 0 = 2*o - 3*o + 1. Is 72/6 + 3/o a multiple of 14?
False
Suppose 5*f - 115 = -z, 0 = -z + f - 2*f + 107. Is 35 a factor of z?
True
Let r(c) = -2*c + 4. Let w be r(-3). Suppose 29 + w = 3*l. Does 8 divide l?
False
Let l(y) = -y - 1. Let h be l(1). Let t be ((-1)/h)/((-1)/2). Is 11 a factor of (-4 - t)/((-12)/88)?
True
Let c be (3/(-6))/(3/(-12)). Is 14 a factor of 198/7 + c/(-7)?
True
Let q(o) = -o - 8. Let s be q(8). Is (-1 - 2)*(-1 + s) a multiple of 17?
True
Suppose 4*p = -0*v - 5*v - 110, -2*v = -3*p - 94. Let c = 57 + p. Suppose 6*g - 3*g - c = 0. Is g a multiple of 9?
True
Suppose 6*t - t = -100. Let b = 39 + t. Is b a multiple of 8?
False
Does 8 divide (-63)/6*(-8)/6?
False
Suppose -2*p - p = -33. Let w = -7 + p. Is 4 a factor of w?
True
Suppose -2*q + 0*f - f = 10, -5*q - 32 = -f. Let j = q - -11. Suppose o = j*d + 16 + 21, 0 = 2*o + 4*d - 88. Does 20 divide o?
False
Suppose 0 = 4*a + 2*d - 642, 0 = -d + 3 - 2. Is 32 a factor of a?
True
Suppose 3*n + 388 = 5*h, 2*h + 2*n - 15 - 137 = 0. Is h a multiple of 7?
True
Let f(z) be the third derivative of -z**6/120 - z**5/30 + 5*z**4/24 + z**3/6 - 2*z**2. Is f(-4) a multiple of 13?
True
Let c = 84 - 65. Is c a multiple of 4?
False
Suppose -3*o = -6*o - 4*x - 2, 2*x = -o - 4. Is ((-16)/5)/(o/(-60)) a multiple of 16?
True
Suppose w - 3*h + 4*h = 15, -6 = -2*h. Suppose w = 4*b - 60. Does 9 divide b?
True
Suppose -d + 3*d = -40. Does 28 divide 4/(-10) - 1788/d?
False
Let l(b) = b**2 + 7*b - 2. Let h be l(-6). Let y be ((-1)/(-2))/((-2)/h). Let j(g) = 3*g**3 - 3*g**2 + 4*g - 2. Is 18 a factor of j(y)?
True
Let q(t) = -2*t**3 - t**2 - 2*t - 3. Let o(z) = -9*z - 13. Let c(w) = 5*w + 7. Let x(y) = 11*c(y) + 6*o(y). Let m be x(-1). Does 13 divide q(m)?
True
Let u = -82 - -158. Suppose -3*y + 2*s = -u - 110, 2*s = -5*y + 294. Is y a multiple of 10?
True
Is ((-34)/51)/((-1)/174) a multiple of 58?
True
Let y = -5 + 5. Suppose -b + y*b = -3. Let r(c) = 2*c - 1. Is r(b) a multiple of 5?
True
Suppose -2*n - 20 = -g, 2*g + 0*n - 3*n - 37 = 0. Is 7 a factor of g?
True
Let x = 15 - 9. Let c = 5 - x. Is 19 a factor of 1*c + 26 + 5?
False
Let s = 531 + -369. Does 18 divide s?
True
Let x = 33 + -52. Let z = 55 + x. Does 18 divide z?
True
Let w = -17 - -32. Is w a multiple of 11?
False
Let d be (3 + -6 - 1)/(-1). Suppose 0 = -5*i - d*w - 18, -4*i + i - 3 = 5*w. Let s(x) = x**2 + 5*x. Does 3 divide s(i)?
True
Let l = 4 - -65. Let z = -37 + l. Is 16 a factor of z?
True
Let t = 6 + -27. Let k = t - -35. Let j = 31 - k. Does 17 divide j?
True
Let u(n) = -n**3 + 7*n**2 + 10*n - 10. Let s be u(8). Let i(y) = -y**2 + 6*y + 3. Does 3 divide i(s)?
True
Is 12 a factor of -310*(-3 + 25/10)?
False
Let g(p) = -p - 8. Let f be g(-7). Let z = -7 - f. Is (-38)/z + 2/3 a multiple of 3?
False
Suppose 2*k + 615 = 7*k. Suppose -5*u - k = -3*y, -y - 192 = -6*y + 4*u. Is 12 a factor of y?
True
Suppose -2*n + 4 = -0*n. Suppose 4*i = n*k - 4, 3*i - 2*k + 12 = 7*i. Is 0 + 2 - (i - 3) a multiple of 4?
True
Suppose -2*j + 0*c - 54 = 2*c, 4*j - 3*c = -101. Let g = j + 129. Suppose 3*i - g = -34. Does 15 divide i?
False
Suppose 149 - 485 = -8*v. Is v a multiple of 7?
True
Let j = -4 + 7. Suppose 16 - 7 = j*w. Is 3 a factor of w?
True
Suppose 5*c = -2*b, -3*c + 2 = -2*b - 14. Is 13 a factor of 375/10 + 3/c?
True
Let w = 0 - 0. Let g(k) = -k**2 + 20. Let o be g(w). Does 14 divide o/((-3)/(9/(-2)))?
False
Suppose 3*p - 4*i = -0*p - 41, 2*i - 73 = 5*p. Let q = 36 - p. Is q a multiple of 8?
False
Let f(q) be the first derivative of -q**4/4 + 2*q**3 - 7*q**2/2 + 4*q + 2. Let a(n) = -n**2 - 7*n + 4. Let s be a(-7). Is f(s) a multiple of 8?
True
Let r(i) = -27*i**3 + 3*i**2 - 3*i + 3. Let j be r(2). Let a = 7 + 1. Does 9 divide (-2)/a - j/12?
False
Let r = 45 - -32. Let z = r - 44. Is z a multiple of 9?
False
Let o be -6*(-2 - (-12)/8). Suppose -4*s + o*j + 73 = -0*j, -s = 4*j - 23. Does 4 divide s?
False
Let r(f) = 8*f - 1. Let w be r(-3). Is 97/5 + (-15)/w a multiple of 10?
True
Let u = 26 + -3. Is u a multiple of 23?
True
Suppose -4*l + 37 = -3. Is 5 a factor of l?
True
Let q = 174 + 186. Is q a multiple of 12?
True
Let y(u) = u**3 - 3*u**2. Let i be y(4). Let t = 50 - i. Suppose 5*f = 3*f + t. Does 6 divide f?
False
Suppose 6*h - 4*h + 2*w + 10 = 0, 4*w - 36 = 3*h. Let u = h + -22. Let g = -20 - u. Does 5 divide g?
True
Suppose 0 = 3*m - 7*m - 4. Let v(x) = -87*x. Is v(m) a multiple of 34?
False
Let t = 8 + -5. Suppose -v = t*w - 39, 0 = -v + 2*v - w - 43. Is v a multiple of 21?
True
Suppose 7 = -s - 3*a, -4*a + 1 - 2 = 3*s. Let y(k) = 3 + 6*k**2 - s*k**2 + 4*k + 0*k**2. Does 3 divide y(-4)?
True
Let m(f) = -2*f - 1. Let n be m(-5). Suppose s - n = -0. Is 9 a factor of s?
True
Let d(i) = -11*i - 6. Suppose -2*y - 31 = 5*q, 2*y - 7*y = 15. Let h be d(q). Suppose -3*x - 121 = -4*t, -h = -4*t + 3*t - 3*x. Does 17 divide t?
True
Let m(n) = n + 3. Let t be m(0). Suppose 168 = 4*x + 4*p, -t*x = -5*p - 73 - 85. Is 17 a factor of x?
False
Suppose 0 = -2*f - f - 5*r + 924, 0 = -2*f + 4*r + 638. Suppose 4*k = 3*q - 267 + 37, -4*q = k - f. Does 22 divide q?
False
Let m(o) = -55*o + 22. Is m(-2) a multiple of 12?
True
Suppose -3*d + 6 + 0 = 0. Is d/2*1*12 a multiple of 12?
True
Let q(b) = b**3 - b**2 - b. Let f be q(-1). Let u be (-1 - 1) + 1 + f. Does 11 divide (u - (-5)/3)*-87?
False
Suppose b = -3*b. Suppose j + 0 + 6 = b. Let d(g) = g**3 + 8*g**2 + 5*g - 2. Is d(j) a multiple of 20?
True
Suppose 0 = -5*q - 0*q + 80. Suppose -2*r = 2*r, -5*r - q = -n. Is 8 a factor of n?
True
Let o be 7/2 + 9/6. Suppose 603 = -o*p + 68. Let k = -68 - p. Is 13 a factor of k?
True
Suppose -146 = -r - 49. Does 10 divide r?
False
Suppose -4*n - 132 = -n + 4*q, 0 = -n + 4*q - 44. Let c = 62 + n. Does 18 divide c?
True
Let w = 89 - 36. Does 8 divide w?
False
Suppose -7 = -3*b + 2*n, 0 = -n - 4 + 5. Suppose -7*z + 84 = -406. Suppose 2*p - z = -b*p. Is p a multiple of 7?
True
Let b(l) be the second derivative of l**4/12 - l**3 + 7*l**2/2 - 2*l. Let x = -8 - -16. Is 12 a factor of b(x)?
False
Let i(r) = r**2 + 2*r + 1. Let n(h) = h**2 + 2*h - 3. Let z be n(2). Suppose 2*t = -0*t + 3*s - 15, -s = -z*t - 18. Is 4 a factor of i(t)?
True
Suppose 4*k + 142 + 2 = 0. Let u be ((-42)/5 + -2)*-5. Let m = k + u. Does 14 divide m?
False
Let c = -23 + 137. Let j be 4*(-1)/((-8)/c). Suppose 5*i - 5*q - j = 28, 40 = 5*i + 4*q. Is 11 a factor of i?
False
Suppose -5*c = 12 + 43. L