n a multiple of 4?
True
Suppose -g - 3*y + 176 = 0, -31*g - 170 = -32*g - 5*y. Does 9 divide g?
False
Suppose 3*c + f - 5 + 1 = 0, -2*c + 8 = -2*f. Suppose -i = -c*s - 56, 2*i - 156 + 34 = -s. Is 20 a factor of i?
True
Suppose 2*g + 232 = -5*w, -3*g = -2*w - 2*g - 100. Let q be (-12)/10*(w + -7). Is 8 a factor of (-1)/(-2)*q - 1?
True
Suppose -v - 81 + 211 = 0. Is 26 a factor of v?
True
Let l(s) = 10*s**3 - 8*s**2 - 14*s - 14. Let d(q) = -7*q**3 + 5*q**2 + 9*q + 9. Let g(v) = 7*d(v) + 5*l(v). Let i be -3 + 5 + -7 - -12. Is 20 a factor of g(i)?
False
Suppose 0*w + 9*w = 1350. Suppose 0 = -152*s + w*s + 92. Is s a multiple of 4?
False
Does 85 divide (4/4 - -11)*(-1524)/(-18)?
False
Let p(g) = -798*g + 2. Let c be p(-1). Suppose 4*q = -16*q + c. Is q a multiple of 17?
False
Let u(x) = 4*x - 32. Let s be u(9). Suppose 3*r = -3*j + 10 - 1, 0 = -r - s*j. Does 2 divide r?
True
Suppose 0 = -41*y + 43*y - 548. Suppose 8*b - 54 - y = 0. Does 8 divide b?
False
Suppose 9*k - 8196 = 18471. Does 17 divide k?
False
Suppose -4*k + 7 = -3*i, 3*k + 3*i = -k + 25. Suppose 7*q = -k*q + 2618. Is q a multiple of 14?
True
Suppose 6744 = -60*h + 106104. Does 138 divide h?
True
Let y(o) = 8*o - 10 - 3*o + 3*o. Let a = 11 - 4. Does 23 divide y(a)?
True
Let q be (-6)/(-10) - (-231)/15. Let j be 1156/q - (-5)/(-20). Let k = j - 34. Is 19 a factor of k?
True
Let x(b) = -2*b**2 + 6*b - 33. Let j(l) = 3*l**2 - 9*l + 49. Let v(s) = 5*j(s) + 7*x(s). Is v(-5) a multiple of 3?
True
Let d(m) = m**3 + 18*m**2 - 23*m - 8. Suppose -5 - 52 = 3*h. Is 17 a factor of d(h)?
True
Let a(n) = n + 1. Let b(s) = -14*s - 1. Let i(v) = -3*a(v) - b(v). Let l(o) = 12*o - 2. Let d(c) = -4*i(c) + 3*l(c). Is d(-1) a multiple of 2?
True
Let v(z) = -z - 3. Let m be v(-7). Let g be 3 - (m + -5 + 1). Suppose -l - g*k = k - 5, 2*l = 5*k + 62. Is l a multiple of 7?
True
Suppose -2*q - 108 = -6*q - 4*p, 3*q = -4*p + 83. Let h = q - 21. Suppose -i + h*v = -5, 3*v = -2*v + 20. Is i a multiple of 21?
True
Suppose 3*u - 71 = -2*s, -79 = -3*s - 3*u + 20. Suppose 131 - 3 = 2*l. Let x = l - s. Does 12 divide x?
True
Let m(p) = p**2 + 10*p + 8. Let q = -37 - -27. Does 3 divide m(q)?
False
Let y(c) = -51*c + 39. Is 16 a factor of y(-11)?
False
Suppose 0 = 3*r, 51*w - r = 47*w + 832. Is 8 a factor of w?
True
Let t(j) = 58*j**2 + 2*j - 4. Let k = -47 - -49. Does 18 divide t(k)?
False
Suppose m + 2*m = 6. Suppose m*o - 52 = 156. Suppose -3*u - u + o = 0. Does 9 divide u?
False
Does 6 divide 41 + (4 - (-1 + -2))?
True
Suppose -5*o = 0, -4*f - 37*o = -35*o - 820. Is 11 a factor of f?
False
Let p = 96 - -33. Let h = p - 59. Is h a multiple of 10?
True
Suppose 320 = -21*m + 37*m. Does 2 divide m?
True
Let c = 335 + 39. Is c a multiple of 17?
True
Let t be 40/10*55/4*1. Suppose t + 35 = 10*w. Does 2 divide w?
False
Let u = 83 - 69. Suppose -1478 = -u*h + 1140. Is h a multiple of 52?
False
Let h(q) = 6*q**3 + 49*q**2 - 6*q - 1. Is 37 a factor of h(-8)?
True
Suppose -t - 4*t - 5 = 0. Let i(m) = -41*m**2 - m + 4. Let g(z) = 36*z**2 + z - 3. Let u(c) = 5*g(c) + 4*i(c). Does 8 divide u(t)?
True
Is 91*(1/3)/((-7)/(-21)) a multiple of 28?
False
Suppose 2*q = 250 + 14. Let o = -209 + 133. Let c = q + o. Is 14 a factor of c?
True
Suppose -2*t + 7*t = 10. Suppose -i - 13 + 91 = t*k, k = -2*i + 42. Does 11 divide k?
False
Let w = 41 + -23. Let m = w + 3. Is 11 a factor of m?
False
Let v(u) = -4*u**2 + 4 - 5*u - 12*u**3 + 11*u**3 - 13. Let k be v(-4). Let z(j) = 4*j + 4. Does 24 divide z(k)?
True
Suppose g + 25 = -2*a, -47 = 3*a + 2*g - 7. Does 11 divide (-14)/(28/(-30))*(-12)/a?
False
Let y be (26/(-39))/((-1)/(-9)). Let t(l) be the first derivative of -4*l**2 - 7*l - 1. Does 16 divide t(y)?
False
Let o(k) = -k**3 + 3*k**2 - k + 1. Let q be o(2). Suppose -6860 = 4*r - q*p + 5*p, -3434 = 2*r - p. Is 9 a factor of (-1)/(-4) - r/48?
True
Suppose 0 = 3*s + c - 459, -5*s - c - 189 = -956. Let p be (222/(-2) - -2)*1. Let h = s + p. Is h a multiple of 15?
True
Let r(t) = -t**3 - 7*t**2 - 7*t + 18. Let y be r(-5). Does 28 divide (21/14)/(y/434)?
False
Suppose 7*k = 2*k - 35. Let x(p) = p**3 + 7*p**2 + 10. Is x(k) a multiple of 10?
True
Let g = -1 + -11. Let i = g + 17. Suppose 2*q - 66 = -i*a, a = 3*a - 5*q - 38. Is 9 a factor of a?
False
Let u(o) = -2*o**2 - 9*o + 11. Let j be u(-9). Let x = -46 - j. Does 24 divide x?
True
Let c(z) = -z**3 + 3*z**2 + 2*z. Let r be c(3). Let g be (-134)/r*24/8. Let p = 138 + g. Is 13 a factor of p?
False
Let h(n) = 28*n**3 + n**2 - n. Suppose 6*t - 7*t = -7. Let f = t + -6. Does 8 divide h(f)?
False
Let r be (-2)/(-7) - 18/63. Suppose r = 5*o + 2*g - 149, 4*g + 81 = 3*o + 8*g. Does 4 divide o?
False
Is 7 a factor of 14 - 3 - (9 - 2045)?
False
Let y(c) = c**3 + 7*c - 9. Let d be y(4). Let l = 379 - d. Is l a multiple of 37?
True
Suppose -2*h - 1011 = -3*h + 5*b, 3*b - 3015 = -3*h. Is 21 a factor of h?
False
Suppose 3*m + 3*j = 594, 3*m - m - 393 = j. Does 10 divide m?
False
Suppose 6*b + 13 - 1 = 0. Let u be (95*-3)/(-3 - b). Suppose -3*v + 8*v = u. Is 19 a factor of v?
True
Is (-3056)/(-6) - (2 + 24/(-9)) a multiple of 51?
True
Suppose 2*q - a = 30 - 5, 2*q = 3*a + 31. Let r(u) be the second derivative of -u**4/12 + 13*u**3/6 + u. Is 14 a factor of r(q)?
False
Let v(j) = 9 + 4 + j + 3*j**2 + j + 4*j. Let m be v(-6). Suppose -m = -2*d - s - 0*s, -3*s = 2*d - 75. Is 15 a factor of d?
True
Suppose 2*t - 24 = 4*t. Let y = -9 - t. Suppose -k = 2, y*v = -0*v - k + 64. Does 7 divide v?
False
Suppose -5*f + f + 3*b + 11 = 0, -2*f + 4*b = 2. Suppose f*m = -p + 29, m - 4*p = 2*m - 2. Does 3 divide m?
True
Suppose -5*x + 64 = -86. Let l be ((-36)/x)/(6/(-20)). Is 18 a factor of (69 + 2 - l) + -2?
False
Let d(r) = -5*r**3 - 3*r**2 + 7*r**3 + 0*r - 2 - 2*r - r**3. Let a be d(4). Does 10 divide ((-10)/(-15))/(a/189)?
False
Let w(i) = i**3 + 11*i**2 - 15*i - 21. Let z be -6*(6/(-15))/((-2)/10). Is w(z) a multiple of 15?
True
Let z(w) = -w + 8. Let g be z(6). Let q = 85 - 85. Suppose 4*x - g*x - 6 = q, -5*y - 5*x + 35 = 0. Is 2 a factor of y?
True
Let q(c) = c**2 + 4*c - 6. Let u = 2 + -10. Let o be q(u). Let r = 43 - o. Is 7 a factor of r?
False
Suppose -196*u + 189*u = -4389. Is 23 a factor of u?
False
Let x(j) be the third derivative of j**6/120 - j**5/30 - j**4/24 + 3*j**2. Let y be x(2). Does 17 divide (-2 - -5) + 19 - y?
False
Suppose -2*b + f - 9 = -6*b, -b + 5*f + 18 = 0. Let m = 4 - b. Let g = 36 - m. Is g a multiple of 9?
False
Let s be 14*68/16*2. Let a = s - -1. Suppose 0 = -4*g + 36 + a. Is g a multiple of 13?
True
Let x(k) be the third derivative of -k**6/120 + 2*k**5/15 - k**4/3 + 7*k**3/2 + k**2. Is 6 a factor of x(5)?
False
Suppose 11*o - 17*o = -4026. Suppose -4*w + 15*w - o = 0. Does 7 divide w?
False
Let s(b) = 10*b**2 - 26*b + 132. Is s(11) a multiple of 22?
True
Let x = -96 + 194. Does 3 divide (8/3)/((x/(-63))/(-7))?
True
Let r = 80 + -78. Suppose 4*t + 3*h - 89 = 0, -2*h - 37 = -r*t + 11. Is t a multiple of 10?
False
Let q = 3 + -3. Does 11 divide -2 + 76/4 + q?
False
Suppose 4*p - 192 = -2*p. Let l(q) = q**2 - 7*q + 3. Let u be l(7). Suppose c - p = -u*c. Is c a multiple of 4?
True
Is 46 - 44 - 1/((-2)/12) a multiple of 3?
False
Let v be 30/12 - (-6)/(-4). Suppose 0 = -0*r - r - v. Let p = r - -5. Is 4 a factor of p?
True
Suppose -3*f = -r + 464, 8*r - 11*r + 1353 = 4*f. Does 13 divide r?
True
Is 44 a factor of -48*(0 - 10) + 4?
True
Let d(p) = p + 12 + 11 - 2*p. Let l be d(-11). Suppose -k - 5*j = -35, -2*j + l = 2*k - 36. Is 7 a factor of k?
True
Does 103 divide 65952/64 + 3/(-6)?
True
Suppose -4*l + 0*l + 3*x + 14 = 0, -4*x = 5*l - 2. Suppose 5 = l*k - 13. Is k a multiple of 5?
False
Let h(b) = b - 10. Let x be h(6). Let a be (-1)/(-2)*(x - -38). Suppose -3*v - 5*r - a = -229, -r - 400 = -5*v. Does 20 divide v?
False
Let n = 26 - 23. Suppose 2*q - q + 15 = 5*x, n*q + 3 = x. Suppose -3*t - 3 = -5*m - 58, -x*m = 5*t - 69. Does 11 divide t?
False
Suppose -3*m - 13 = -1, -2*m = 5*k - 452. Is 24 a factor of k - 0/(-1) - -4?
True
Let o = 10 + 14. Let i = o - 21. Suppose -i*m + 32 = -2*m. Does 32 divide m?
True
Suppose 3*f + 35 = -0*f + 2*t, -5*f - 70 = -t. Let v = f + 12. Does 8 divide 3*(v + (-52)/(-3))?
False
Let k(b) = 14*b + 57. Let n(u) = 13*u + 56. Let l(v) = -4*k(v) + 3*n(v). Is 10 a facto