l - 10. Let x be h(-10). Let b = x + 86. Is b a multiple of 8?
True
Let s(j) = 2*j**2 - 2. Let u be s(3). Suppose 168 = u*l - 12*l. Is 38 a factor of l/147 - 845/(-7)?
False
Let l be 2/6 + 14/3. Let f(g) = -g**2 + 4*g + 10. Let s be f(l). Suppose -s*h + 7*d = 2*d - 300, -2*h + d + 121 = 0. Is 21 a factor of h?
False
Suppose 5*f - 1121 = 204. Is 5 a factor of f?
True
Suppose 0 = 2*o - 2*k + 7*k + 20, 4*o + 5*k + 20 = 0. Suppose o = s + p, 0 = 4*s + 2*p - 8 - 2. Suppose q + 0*q + m - 14 = 0, s*m + 2 = -q. Is 4 a factor of q?
False
Let x(k) = 2*k**2 + 13*k - 14. Let o be x(10). Let b = -225 + o. Let w = b + -33. Does 32 divide w?
False
Suppose 5*h - 4*h = 2. Suppose -2*i - 4*v + 60 = -64, h*i = 3*v + 159. Is i a multiple of 18?
True
Let w(a) = -a**2 - 7*a - 2. Let l be w(-6). Let q be (48 - 2) + l + -4. Suppose y - q = -j, -5*y + 210 = -0*y - 5*j. Is 22 a factor of y?
True
Let m(v) = -193*v - 1. Is 48 a factor of m(-1)?
True
Suppose x + 5*i - 94 = 0, i - 5 = -3. Does 4 divide x?
True
Let r(x) be the third derivative of x**6/360 - x**5/12 + x**4/3 - x**3 + 3*x**2. Let d(q) be the first derivative of r(q). Is 8 a factor of d(10)?
True
Let a be 2/(-8)*(0 + -4). Let y be (4 + a)*(-162)/15. Is ((-38)/(-57))/((-2)/y) a multiple of 6?
True
Let u(v) = -v**3 + 12*v**2 - 11*v - 33. Is u(9) a multiple of 14?
False
Let k be 8/((-8)/2) - -1. Let x be (6 + k)*(0 + 3). Let n(y) = -y**3 + 14*y**2 + 16*y + 12. Is n(x) a multiple of 9?
True
Let t be (26/(-4) + 4)*-2. Let c = t - -3. Suppose 44 = 3*i + c. Is i a multiple of 6?
True
Let p = 4 - -66. Does 10 divide p?
True
Suppose 0 = 2*n - 4*n + 20. Let x = n - 7. Suppose 4*f = x*f + 56. Is 17 a factor of f?
False
Let m be (-4)/6 - (-80)/(-24). Let t be (-103)/7 + m/14. Is 13 a factor of (-9)/t + (-876)/(-15)?
False
Let d(b) = 4*b + 7. Let j be d(-3). Does 8 divide -3 + -62*j/2 - 0?
True
Let q(t) = t**3 - 24*t**2 + 97*t - 27. Is 3 a factor of q(21)?
True
Let b(q) = -5*q - 37. Let c be b(-7). Let n be (-146)/(-5) + (-2)/10. Is n + c + (3 - 4) a multiple of 13?
True
Suppose 2*y + 4*x = 0, -y - 4*y - 4*x = 0. Suppose -8 = -2*v - y*v. Is v a multiple of 4?
True
Let m = -4 - -10. Let o = m + -6. Suppose -5*c - 2*i = i - 6, o = i + 3. Is 3 a factor of c?
True
Let l(z) = -z**3 + z + 544. Does 23 divide l(0)?
False
Let f(b) = b**3 - 10*b**2 - b + 2. Let g(z) = z**2 - z. Let d(q) = f(q) + 2*g(q). Is d(9) a multiple of 8?
True
Suppose 22*c + 630 = 23*c. Suppose -3*s - c = -8*s. Does 18 divide s?
True
Let m(l) = -11*l + 3*l - 3*l + 4*l - 32. Does 24 divide m(-29)?
False
Let h be (-10)/55 - 114/(-22). Suppose -h*p + 4*y = -16 + 2, 3*p + 3*y = 3. Suppose z - 5 = -2*v + p, -z + 12 = v. Is z a multiple of 10?
False
Let s = 16 - 15. Let m be (-392)/(-6) - s/3. Let r = m + -31. Is 17 a factor of r?
True
Let i = 9 + -3. Suppose -20 = -5*z + 3*n, -3*z + n + 18 = 2. Suppose z*u - 4 = i*u. Is 2 a factor of u?
True
Suppose 5*g - 2*v - 104 - 58 = 0, -3*v = -3*g + 99. Suppose 37*k = g*k + 295. Does 13 divide k?
False
Is 6903/26 + 1/2 a multiple of 7?
True
Suppose 26*r - 23*r = 570. Is r a multiple of 4?
False
Does 19 divide (-21)/(-12)*-38*(-24)/14?
True
Let x(f) be the third derivative of f**4/24 + f**3/2 - 6*f**2. Let i be x(4). Suppose i*v - 53 = 45. Does 9 divide v?
False
Let l(x) = x + 31. Let o be l(-27). Suppose -2*v = o*w - 860, -2 = -2*w - 4. Does 48 divide v?
True
Let o(x) = -x**3 + 8*x**2 + 6*x - 5. Let p be o(8). Suppose 0 = -l - c - 24, -2*l - 38 = 2*c + 2*c. Let t = p + l. Does 3 divide t?
False
Let v = -15 - -13. Let z be v + 6/(-8)*-4. Suppose 11 + z = y. Is y a multiple of 12?
True
Suppose 3*n = -3*z + 3, -n + 11 = -4*z - 10. Is (355/10 - -5)*z/(-6) a multiple of 10?
False
Let c be 4/(-3)*(-741)/26. Is 8 a factor of c + 2/(-2) + 3?
True
Let m = -1669 + 1933. Is 3 a factor of m?
True
Let n(c) = -c**3 + 4*c**2 - 4. Suppose a - 3 = -0*a. Let b be n(a). Suppose -220 = -b*v - 5*o, -4*o + 92 = 2*v - 3*o. Is v a multiple of 24?
True
Does 22 divide (16/(-56) - (-52)/84)*465?
False
Let t be 30/(-20)*(-4)/3. Suppose 0 = v - 5*r - 52, -t*r = 3*v + r - 102. Does 2 divide v?
False
Suppose 77*q - 2*b = 82*q - 12321, 3*b - 12319 = -5*q. Is 29 a factor of q?
True
Suppose -3*i = -7*i + 3*m - 49, m - 12 = i. Let v = i - -17. Suppose 0 = 3*z - 5*j - 53 - 18, v*j = 20. Does 8 divide z?
True
Let z be 1*67*1 + (-8)/(-4). Suppose -2*s = 5*i + s - 96, 2*s + z = 3*i. Is i a multiple of 3?
True
Let a(i) = i**3 + 4*i**2 - 16*i - 15. Let w be a(-6). Let k = w + 111. Is 40 a factor of k?
True
Let l(u) = 5*u**3 + 3*u**2 - 4*u + 3. Let j be l(4). Let c = j - 206. Suppose -y - q + 34 = -19, 3*y = -5*q + c. Does 14 divide y?
False
Let m = -20 + 24. Suppose -5*w = -5*j - 560, -m*w + 416 = -3*j - 30. Does 16 divide w?
False
Suppose -5*y + 9*y + 160 = 0. Let d = y + 81. Let v = d + -27. Does 7 divide v?
True
Let f be (-3)/54*-14 + 6/27. Does 21 divide (-2384)/(-16) - (1 + f)?
True
Let p(f) = f**3 + 9*f**2 + 9*f + 11. Let w be p(-8). Let b be -3*45/(-10)*6/(-9). Is 6 a factor of w/(b/(-2) - 4)?
True
Let l = 52 + -31. Suppose 2 + 2 = 4*z, -5*c = 4*z + l. Does 6 divide (19/4)/(c/(-20))?
False
Let m = 0 + 5. Suppose 4 + 6 = m*q. Suppose -2*i + 4*a = -22, -2*a + 31 = 3*i + q*i. Is 7 a factor of i?
True
Let j(y) = -2*y**2 - 17*y - 49. Let x(l) = 3*l**2 + 25*l + 74. Let u(f) = -8*j(f) - 5*x(f). Is 3 a factor of u(-10)?
True
Suppose t = -21 + 21. Suppose 4*k - 18 = 2*k. Suppose -8*v + k*v - 11 = t. Is 11 a factor of v?
True
Let b = 79 + -38. Let a be b/(-1)*(-2 - -1). Let x = a + -21. Does 5 divide x?
True
Let h = 74 + -65. Is 28 - (h/(-3) + 5) a multiple of 13?
True
Suppose 0 = -c - 0*c + 3*q + 466, -4*c - 5*q + 1779 = 0. Does 12 divide c?
False
Let d(b) = 6*b**3 + b**2 - b - 2. Let w = 2 + 2. Suppose 3*n = n + w. Is 12 a factor of d(n)?
True
Let j(t) = -t**2. Let g(z) = 46*z**2 - z. Suppose -3*p - 2*p = 15. Let u(w) = p*j(w) + g(w). Does 10 divide u(-1)?
True
Suppose -3416 - 3406 = -9*y. Is y a multiple of 23?
False
Let r = 5 + 10. Is 22 a factor of (r/10)/((-3)/(-88))?
True
Suppose -64*d = -51*d - 2314. Is d a multiple of 13?
False
Suppose -4*a + 224 = 6*s - 2*s, -4*a = -3*s + 168. Let k = 23 - 34. Let g = k + s. Is 15 a factor of g?
True
Suppose -1414 = 8*i - 10*i. Suppose 4*h + 131 = i. Let u = h + -52. Is 35 a factor of u?
False
Let s(x) = -x**2 + 18*x - 13. Let r be s(17). Suppose -r*z - 60 = -180. Let g = -8 + z. Is 20 a factor of g?
False
Is (-12)/((-12)/352*2) a multiple of 4?
True
Suppose -u - f = -8, 4*u - 18 = -2*f + 24. Suppose 2*l = 61 - u. Is l even?
True
Does 25 divide 360/630 - (-1879)/7?
False
Let s = -12 + -9. Let f = 86 + s. Does 42 divide f?
False
Let c(l) = -3*l**3 - 6*l**2 - l + 20. Let f(y) = -2*y**3 - 7*y**2 + 20. Let v(z) = -3*c(z) + 4*f(z). Does 7 divide v(10)?
False
Let h(z) = z**3 - 5*z**2 + 2*z + 5. Suppose -9 = -4*f + 3. Let m be h(f). Is 6 a factor of (-1302)/(-49) - (-4)/m?
False
Let l = -79 + 82. Suppose l*b = 213 + 147. Is 12 a factor of b?
True
Let x(a) = -10*a**2 - 4*a. Suppose -6*g - 16 = -2*g. Let l be x(g). Let m = -54 - l. Is m a multiple of 25?
False
Let v be (-48)/(-28) + 2/7. Suppose 5*q = 4*k + 18 + v, k = -5. Is 9 a factor of 2 + 52/4 - q?
False
Does 21 divide ((-4704)/40)/7*(0 + -20)?
True
Let q be (-8)/(-2) - 3/(-1). Suppose q*b = 6*b. Suppose 5*g + b*g - 225 = 0. Does 19 divide g?
False
Suppose -3*v + 15 = 5*w, 4*v - 8 = 5*w + 12. Suppose 2*b - 3 = v. Suppose -4*r - b*k + 36 = 0, -r + 5*k + 0*k = -27. Does 12 divide r?
True
Suppose -1125 = -14*n + 19*n. Let g = 575 + n. Is g a multiple of 26?
False
Suppose 0 = t - 10 + 3. Suppose -t*a = -9*a - 34. Let b = 1 - a. Is b a multiple of 9?
True
Let s(n) be the first derivative of 13/2*n**2 + 9*n - 5 + 1/3*n**3. Does 6 divide s(-13)?
False
Let a = 19 + -15. Suppose a*p = 3*p. Suppose v - 68 = -p*v. Does 17 divide v?
True
Suppose 8*v - 5076 = 6324. Is v a multiple of 25?
True
Let a = 10 + 16. Let y = a - 26. Let w = y + 8. Is 5 a factor of w?
False
Suppose 6*k = 9*k + 6. Let l be (k/(-2))/(2/(-4)). Let u = l - -24. Does 5 divide u?
False
Let y = -16 - -21. Suppose -w + 4 = 0, 0 = -y*m - w - 16 - 10. Let v(q) = -8*q + 8. Is 14 a factor of v(m)?
True
Let f = 4457 + -1433. Is f a multiple of 56?
True
Let r be -1*(-7)/((-56)/(-90))*-24. Let z = 506 + r. Is 39 a factor of z?