*i, 5*i - 92 = i + 5*p. Is i a multiple of 4?
False
Suppose x + 0*x = -12. Let r be x/(0 + (-6)/9). Is 5 a factor of (r/(-12))/(6/(-40))?
True
Let p(f) = -f**2 - 7*f - 1. Let x be p(-6). Suppose 0 = x*w - t, -4*w + 0*t + 6 = -2*t. Does 2 divide w/((-1)/6*1)?
True
Let y be (0 + 0)/(5 - 3). Suppose y = -4*b - j + 3, j + 1 = -2*b + 4. Suppose -2*f - f + 116 = 4*i, b = i + 3*f - 20. Does 11 divide i?
False
Let g be (-9)/(-6) - (-1)/2. Suppose -p = g*u + 3*p + 230, -4*u - 465 = 3*p. Does 12 divide (-2)/(-3)*u/(-6)?
False
Suppose 0*g = -g, 3*g + 12 = 2*j. Suppose -4 - j = -5*x, 2*m = -2*x + 2. Is 0 + (-2 - m) + 19 a multiple of 6?
True
Let n = -9 - -2. Let x(w) be the third derivative of w**6/120 + 7*w**5/60 - w**4/12 - w**3/6 - w**2. Is x(n) a multiple of 13?
True
Suppose 5*t - b + 97 = 477, -4*t + 283 = -5*b. Let j = t - -28. Suppose 0 = 4*l + l - j. Does 12 divide l?
False
Let l = 41 + 22. Let j = l - 42. Is 11 a factor of j?
False
Let a(c) = c**2 + 6*c - 7. Does 16 divide a(5)?
True
Let d(v) = v + 5. Let j(z) = -4*z - 24. Let m(a) = 28*d(a) + 6*j(a). Is m(3) a multiple of 5?
False
Let p be 897/9 + (-1)/(-3). Let n(z) = 2*z + 2. Let q be n(1). Suppose -3 = -5*a - 13, -p = -4*l - q*a. Is 16 a factor of l?
False
Suppose 7*q - 4*q = i - 16, 4*q - 4 = -5*i. Is 2/i - (-49)/2 a multiple of 7?
False
Let k be 4 - -7 - (3 + -2). Does 13 divide k + 2 - (1 - 2)?
True
Let j = 244 - 98. Is 6 a factor of j?
False
Suppose 0*g = -2*p - 3*g + 12, 0 = -4*p + 3*g - 12. Is ((-1 + p)*16)/(-1) a multiple of 9?
False
Let z = -9 - -9. Let s(i) = z*i - i + 7*i - 6 - 3*i. Is s(5) a multiple of 3?
True
Suppose -6*v = -9*v + 72. Is v a multiple of 12?
True
Suppose c + 2*c = -2*o + 4, -4*c + 36 = -5*o. Suppose 0 = c*k - 40 + 16. Suppose 104 = 5*l - k. Is 11 a factor of l?
True
Let h = 58 - -17. Is 24 a factor of h?
False
Does 36 divide ((-119)/(-51))/(1/165)?
False
Suppose 0 = 3*b - 4*c - 14, 2*b - 8 = -b + c. Let v = b - -8. Is 5 a factor of v?
True
Let a = 15 + 0. Is 15 a factor of a?
True
Let c(v) = -v**2 - 3*v - 3. Let w be c(-5). Let y(n) = -4*n - 18. Does 17 divide y(w)?
True
Let o(f) = -2*f - 14. Let q be o(-10). Suppose 0 = -u + 3*u - q. Is u/(3/58) - 3 a multiple of 21?
False
Let c(z) = z**2 + 8*z + 42. Does 15 divide c(-11)?
True
Suppose 2*o = 4*d + 5*o - 6, -5*o + 10 = 2*d. Suppose 45 = 2*m - v, 3*m - 3 = 5*v + 47. Suppose 0*a - a + m = d. Is 8 a factor of a?
False
Let l = 183 + -103. Is l a multiple of 16?
True
Suppose g - z + 466 = 4*g, 0 = 4*z + 8. Is 39 a factor of g?
True
Let r = 67 + 17. Is 7 a factor of r?
True
Let r(g) = -g**3 - g**2 + 6*g + 6. Does 14 divide r(-4)?
False
Suppose -c + 4*d + 50 = 0, 5*c + 0*d + 2*d - 228 = 0. Is 10 a factor of c?
False
Let q = 7 - 3. Let l(v) = 9*v - 10 + 4 + 3. Is 23 a factor of l(q)?
False
Let a(y) = -7*y + 1. Let h be a(1). Let p(u) = -u**3 - 7*u**2 - 10*u - 7. Is p(h) a multiple of 17?
True
Let r = -10 + 13. Does 3 divide r?
True
Suppose 0 = 2*a - 10, 5*j + 9*a - 55 = 6*a. Is j a multiple of 2?
True
Let p(y) = 3*y. Let i be p(1). Suppose -d - i = -2*n, 0*d - 4*n = 2*d - 18. Is d a multiple of 3?
True
Let a(j) be the third derivative of j**6/90 - j**5/60 + j**4/8 + j**2. Let s(w) be the second derivative of a(w). Does 12 divide s(2)?
False
Suppose 5*r - 151 - 504 = 0. Does 11 divide r/4 - 3/(-12)?
True
Let v = 173 + -64. Is 14 a factor of v?
False
Suppose 0 + 19 = 3*v + 4*b, 0 = -b - 2. Suppose -3*h - v = -30. Is 6 a factor of h?
False
Does 3 divide 12 - (4 - 0 - 2)?
False
Let x(q) = 13*q**2 + 4*q + 2. Let k(m) = 14*m**2 + 5*m + 3. Let u(h) = -3*k(h) + 4*x(h). Does 5 divide u(1)?
True
Let i(z) be the second derivative of -4*z**3/3 + z**2/2 - z. Let k(l) = l - 1. Let n(a) = i(a) + 6*k(a). Does 3 divide n(-4)?
True
Suppose -2*f + 125 = -35. Suppose -4*d + f = 4*o, 2*o + 2*o = -5*d + 76. Is 5 a factor of o?
False
Suppose 0 = -3*m - 2*m + 120. Is m a multiple of 6?
True
Let g = 69 + -39. Is g a multiple of 15?
True
Let v be (-4)/18 - (-368)/36. Suppose v = 2*j + 5*f + 3, -j = -2*f - 8. Does 2 divide j?
True
Let f(h) = -4*h**3 - 4*h**2 - 2. Is f(-3) a multiple of 10?
True
Let n(b) = -14*b - 4. Suppose 4*k = 16, 3*u - 4*k + 12 + 25 = 0. Is 30 a factor of n(u)?
False
Suppose 3*k - 3 = 9. Suppose -d = k - 20. Is 16 a factor of d?
True
Suppose 5*z + 5*w + 5 = 0, -5*w + 0*w = -4*z - 22. Let j be z/(-4) + (-8)/(-32). Let g = 17 - j. Does 8 divide g?
True
Let d(i) be the third derivative of 0*i**4 + 1/2*i**3 + 0*i + 0 - 2*i**2 + 1/60*i**5. Is 12 a factor of d(3)?
True
Let z = 21 + -5. Is z a multiple of 3?
False
Let p(i) be the first derivative of i**2/2 + 9*i - 1. Let w be p(7). Suppose -r = -0*r - w. Does 8 divide r?
True
Suppose -1274 = -7*l + 3*l + 2*h, 5*l + 5*h = 1615. Is 16 a factor of l?
True
Let v = -4 + 8. Suppose 5*l - 223 = -2*g, -4*g + 2*g = -v*l + 182. Suppose -2*t + l = -31. Is 18 a factor of t?
False
Let s(q) be the third derivative of q**6/20 - q**5/30 - q**4/24 - q**3/3 + 3*q**2. Does 18 divide s(2)?
True
Suppose -4*n - 84 = -3*b - 2*n, -3*b + 93 = -5*n. Is 13 a factor of b?
True
Suppose 6*x = 9*x - 93. Is 13 a factor of x?
False
Let h(s) = s**3 + 5*s**2 - s. Let a = -10 + 5. Let f be h(a). Suppose f*k - 120 = k. Is 15 a factor of k?
True
Let u(m) = -m**3 + 10*m**2 - 7*m + 9. Does 16 divide u(8)?
False
Suppose 179 + 21 = 2*a. Does 17 divide a?
False
Suppose -g + 2 = -13. Is 15 a factor of g?
True
Let a(i) be the first derivative of -3*i**4/4 + i**3/3 - i**2/2 + 2*i - 4. Does 16 divide a(-2)?
True
Suppose 15*n = 20*n - 40. Does 8 divide n?
True
Let c = -81 + 151. Is c a multiple of 14?
True
Suppose 0 = y - 206 + 146. Is 5 a factor of y?
True
Let l = -48 - -52. Does 2 divide l?
True
Let y = -2 + 2. Suppose y = -5*j + 10. Let i = j + 13. Does 15 divide i?
True
Suppose 4*g + 3 = -d, 4*g + 0 = 5*d - 9. Let y be (6/(-4))/(g/(-2)). Is 7 a factor of 2 + -1 + (-18)/y?
True
Is 18 + -13 - (-2)/2 a multiple of 5?
False
Let f(b) = 2*b - 3*b**2 - 7 + 3 - 5*b + b**3. Let h be f(4). Suppose -51 = -m - 4*r, h*r + 198 = 5*m + r. Is 13 a factor of m?
True
Suppose b = 5*x + 40, -2*b + 11 = 5*x - 39. Is 10 a factor of b?
True
Let n(y) = -3*y + 23. Is n(-10) a multiple of 7?
False
Let o(b) = -b**3 + 8*b**2 - 9*b - 12. Does 5 divide o(6)?
False
Let c(b) = 21*b. Let p be c(4). Suppose 2*n + 5*h - h = 4, 2*n - 5*h + 5 = 0. Suppose n = -5*x + 3*x + p. Is 21 a factor of x?
True
Let f = 48 - -42. Is 5 a factor of f?
True
Let x = 8 + -6. Does 12 divide (x + -6)/((-1)/6)?
True
Let l = 120 + -85. Does 11 divide l?
False
Suppose 2*v - 5*r = -2*r + 15, -r - 35 = -4*v. Suppose 1 = -i + v. Does 18 divide (54/i)/(3/16)?
True
Let g(j) = j**3 + 7*j**2 - 12*j - 12. Is g(-7) a multiple of 8?
True
Let a be (-32)/5 + (-2)/(-5). Is 11 a factor of (a/(-4))/(3/66)?
True
Let h(m) = -108*m - 1. Let o be h(-1). Suppose 8*c - 7*c = 72. Let z = o - c. Is z a multiple of 13?
False
Suppose 2*y = -4, 4*y + 1623 - 505 = 5*t. Does 12 divide t?
False
Let r(k) = -k**2 + 11*k + 9. Is r(5) a multiple of 19?
False
Let l = 60 - 45. Is 15 a factor of l?
True
Suppose 3*w + 54 = 3. Let f = -7 + w. Is ((-6)/(-4))/(f/(-160)) a multiple of 10?
True
Let g = -23 - -63. Does 5 divide g?
True
Let j be 1 + (0 - -1) + 42. Suppose 0*p + 2*p = j. Does 8 divide p?
False
Suppose h = -0*h - 81. Is 8 a factor of (-18)/h - (-142)/9?
True
Suppose 3*b - 4 - 2 = 0. Suppose x + b*x = -12, -2*k + 84 = 4*x. Suppose 5*d = k - 15. Does 3 divide d?
False
Let p = -333 + 562. Let l = p + -139. Does 23 divide l?
False
Let o(i) = -i**3 - 7*i**2. Let k be o(-7). Suppose 3*t = 3*w - 102 - 72, 2*t + 8 = k. Is 18 a factor of w?
True
Let p = 5 - 6. Let j be 10*((-1)/2)/p. Does 15 divide 173/j + 4/10?
False
Let w(r) = -r**3 + r**2 + 135. Let a be w(0). Suppose -4*l = -65 - a. Suppose b = 1, -2*b + l = t + 3*t. Is 6 a factor of t?
True
Suppose 4*p - 166 = -2*u, -4*u = 2*p + 2*p - 164. Is p a multiple of 6?
True
Suppose 317 - 1007 = -5*c. Is 20 a factor of c?
False
Suppose -4*f + 1656 = 4*f. Is f a multiple of 20?
False
Let b(t) = 39*t - 2. Suppose 3*k - 2*l - 10 = 0, -5*k + 12 = -0*k - l. Does 19 divide b(k)?
True
Suppose 3*w = -5*x + 4 + 4, -x + w = -8. Let j(g) = -g**2 + 5*g - 4. Let z be j(3). Is (38/4)/(z/x) a multiple of 8?
False
Let i be 14/63 + 34/9. Suppose -2*a + q + 220 = 0, 0 = -2*a + 5*q - 97 + 3