6/(-7)). Let z be (1 + 0)/1*-1. Does 9 divide (-2 + 2 + z)*a?
True
Suppose -3*l - 17 = -d, l + 28 = 4*d - 3*l. Let x(t) = -t**3 + t**2 + t - 1. Let b be x(d). Let s(z) = -10*z - 3. Is s(b) a multiple of 10?
False
Let p(i) = i**2 + 3*i - 21. Let g be p(3). Does 16 divide g/((-12)/(-124))*-4?
False
Let s = 14 - 28. Let n = -34 - s. Let w = -14 - n. Is w even?
True
Let y(n) = -40*n**2 + 2*n - 1. Let c be y(1). Let r = -23 - c. Does 6 divide r?
False
Let d = -293 + 352. Is 11 a factor of d?
False
Suppose 0 = 2*p + 3*n - 486, 4*n + 932 = -2*p + 6*p. Is 10 a factor of p?
False
Let g = 147 + -145. Suppose g*q + 844 = 3*p, 4*p + 0*q = -3*q + 1114. Does 40 divide p?
True
Let w(x) = x**3 + x**2 - x - 10. Suppose -m = 4*m. Let y be w(m). Does 3 divide (-5)/(20/16) - y?
True
Suppose 0 = -5*m + 2*m - 9. Let b(q) = 9*q**2 - 11*q. Is 19 a factor of b(m)?
True
Suppose 0 = -p + 2*d + 3*d + 37, 0 = -2*p + 4*d + 44. Suppose 4*h + 9 + 5 = -n, 0 = 2*n - 2*h - p. Suppose n*o = 5*o - 18. Is o a multiple of 3?
True
Let d = -19 + 25. Suppose 2*s - d = 5*s. Is 26/(s - -4) + 4 a multiple of 11?
False
Suppose -f + 42 = 3*y, 6*f - f - 4*y = 191. Suppose s + f = 5*v - 17, 4*s - 40 = -4*v. Does 7 divide 2/(24/v + -2)?
False
Suppose -9*b + 2640 = 4*w - 11*b, 2*b - 3300 = -5*w. Does 60 divide w?
True
Does 45 divide 42/(-126) - (-7606)/3?
False
Let g = -230 - -241. Does 8 divide g?
False
Let o be (4 + 669/(-9))/(6/(-18)). Suppose 4*h = -377 - 131. Let x = o + h. Is 12 a factor of x?
True
Let f(v) be the first derivative of -v**6/360 + v**5/15 - v**4/4 - 4*v**3/3 + 5. Let t(s) be the third derivative of f(s). Is 6 a factor of t(6)?
True
Does 10 divide (-22)/(-253) - 162144/(-69)?
True
Let l be -1 + -1 + 4 + 0. Suppose -h + 377 = -5*t, -l*h + 374 = -4*t - t. Does 19 divide (t/8)/(3/(-6))?
True
Let s = 162 - 36. Is 6 a factor of s?
True
Let a(o) be the first derivative of -o**4/4 - 11*o**3/6 + 5*o**2/2 - 6. Let w(i) be the second derivative of a(i). Is 11 a factor of w(-5)?
False
Let j(v) = 1 + 3*v**2 - 10 - 4 + 13*v. Let b(m) = m**2 + 4*m - 4. Let w(u) = 8*b(u) - 3*j(u). Is w(-5) a multiple of 12?
False
Suppose -5*r = t - 5620, -5*r - 4*t + 2020 + 3615 = 0. Does 30 divide r?
False
Suppose 415 = 2*k - 4*u - 5751, 4*k - u - 12332 = 0. Does 16 divide k?
False
Let l = 75 + 706. Is l a multiple of 52?
False
Suppose 0 = 2*s - 7*s - 465. Let d = s - -12. Let m = d - -113. Is 16 a factor of m?
True
Suppose 4*a = 4*j - 1300, 3*j - a + 329 = 1310. Suppose 9*i - 50 = j. Does 14 divide i?
True
Let y(g) = -g**3 + 4*g**2 + 4*g + 5. Suppose -u - 2*u = -5*m + 8, -16 = -2*m - 2*u. Is 7 a factor of y(m)?
True
Let u be (-9)/(-3) - (-1 - -3). Let g(f) = 103*f**2 - 1. Does 14 divide g(u)?
False
Suppose -2*i - 18 = -4*x, 5*x - 3*i + 2*i - 18 = 0. Suppose z + 4*t + 8 = 0, 5*z - 35 = 4*t + t. Suppose -z*y + x*y + 39 = 0. Is 11 a factor of y?
False
Suppose 5*a - 22 = 4*n, -2*a + 16 = -n - 3*n. Suppose 4*y = -k + 278, -a*y + 556 = 2*k + y. Suppose -4*s + 86 = -k. Does 17 divide s?
False
Suppose 164*u - 159*u - 2980 = 0. Does 16 divide u?
False
Let g be (-2 - (-3 - -1)) + -3. Let m be (-2)/g + 102/9. Is 5 a factor of (8/m)/((-4)/(-90))?
True
Suppose 5*x - 2*x = -x. Suppose x = 5*v - 2*a - 821, 4*a - 56 = 4*v - 708. Does 33 divide v?
True
Let x be 37 - (2/(-13) + 22/(-26)). Let k = -27 + x. Is k a multiple of 11?
True
Suppose 2*r + 13*i - 130 = 15*i, 0 = -5*r - 5*i + 325. Does 5 divide r?
True
Is (-13 - -5 - -9) + (3 - -574) a multiple of 17?
True
Suppose 0 = -5*q + 7*q - 10. Suppose 5*o + 36 = 4*j - 105, -o - q = 0. Let f = -17 + j. Does 6 divide f?
True
Let k(t) = -t**2 - 8*t + 7. Let f be k(-9). Let d be f - (-5 - (-3 - -4)). Suppose 2*b = d*b - 28. Is b a multiple of 7?
True
Suppose 0 = -2*j - 3*d + 185, -d - 104 = -j - 14. Is 13 a factor of j?
True
Suppose -8 - 16 = 3*f. Let h(j) = -j**2 - 7*j + 11. Let d be h(f). Suppose -x + d = -7. Is x a multiple of 5?
True
Suppose -2*m + 868 = -0*m - 4*h, -1295 = -3*m - h. Does 12 divide m?
True
Let j be -2 + (14/((-6)/(-3)) - -4). Suppose -16 = -3*b + b. Does 4 divide b - j - -1*13?
True
Let t(r) = -2*r**2 + 14*r - 8. Let n be t(6). Suppose -4*i - 20 = 5*d, -3*i + 12 = -n*d + d. Does 20 divide -27*(0 + -1 + i)?
False
Let y be 0*((-21)/6)/7. Suppose -2*h + y*u - 40 = -5*u, -6 = -h - 4*u. Is 16 a factor of (-4)/2 - (h - 52)?
False
Let u be 3 - (4 + (-12)/4). Let m be u/4*48/2. Is (-36)/(-5)*30/m a multiple of 18?
True
Is 14 a factor of (11/(-88)*8)/((-1)/841)?
False
Let s(c) = -68*c - 88. Is s(-10) a multiple of 16?
True
Let q(f) = 3*f - 8. Let d be q(4). Let u = d + 31. Is 7 a factor of u?
True
Suppose 0 = -2*m - 3*l + 376, -3*m + 930 = 2*m + 5*l. Does 26 divide m?
True
Let b be ((-10)/(-55) - (-268)/(-22))/(-2). Is 15 a factor of ((-45)/20)/(b/(-40))?
True
Let g(j) = -3*j + 2*j + 2 + 8 - 6. Let z be g(10). Is 39*(-16)/z - -1 a multiple of 24?
False
Let c be 2/(-2) - -2 - (-27 - 632). Suppose -r - c = -4*r. Is r a multiple of 44?
True
Does 57 divide (-1563)/(3 - (0 + -1)*-4)?
False
Let u = -1117 - -1634. Does 15 divide u?
False
Does 15 divide (-68)/102*(-810)/4?
True
Suppose 4 - 1 = 3*h - 4*o, 12 = 4*o. Suppose z = -2*l + 253, 2*z + 1 = -h. Is l a multiple of 32?
True
Let m = 158 + 12. Does 3 divide m?
False
Let j(g) = 3*g - 9. Let h be j(7). Suppose h*c = -413 + 3101. Does 32 divide c?
True
Let t be 3/(-5) - (-546)/(-15). Let w = -14 - t. Suppose -3*o + w + 28 = 0. Is o a multiple of 17?
True
Let c be (3 - 0)*7327/(-51). Does 32 divide (-1)/5 - c/5?
False
Suppose 18 = 5*y - 0*y - 3*o, 0 = -4*y + 5*o + 4. Suppose 4*l - 313 = v, -2*v - v + 3*l = 984. Is 27 a factor of (v/y)/((-4)/8)?
False
Suppose i = 2*l + 279, 2*i + l - 423 = 145. Suppose -14*v + 152 + 898 = 0. Suppose v = -4*o + i. Is 11 a factor of o?
False
Suppose 3*k + 6 - 24 = 0. Let d(v) = 11 - 6 + 12 - 2 + 7*v. Is d(k) a multiple of 13?
False
Suppose 0 = -6*b + 4 + 2. Suppose 16 = -4*j, j = 3*s - 12 - b. Is s even?
False
Let k(a) = a**3 - a**2 + 7*a - 54. Does 30 divide k(8)?
True
Let q(x) = 5*x**3 + 3*x**2 - 7*x + 56. Does 52 divide q(5)?
False
Is -6*7/140 - (-20806)/20 a multiple of 13?
True
Let l(u) = -13*u - 42. Does 18 divide l(-6)?
True
Suppose -22 = -i - 87. Let d = i - -11. Let z = -31 - d. Does 8 divide z?
False
Is 10 a factor of (3 - 5)/1 - (-31 + 1)?
False
Suppose 0*x + 3 = x. Suppose 0 = 2*g - 8, 8*g - x*g + 152 = 4*s. Does 16 divide s?
False
Let n be (4/(-3))/((-4)/30). Let b = 362 - 337. Let t = b - n. Is 3 a factor of t?
True
Let u = -81 + 120. Let c be 4/3*(-8 + -1). Let r = c + u. Is 17 a factor of r?
False
Let f = -63 - -69. Suppose f*k = 7*k - 60. Is k a multiple of 6?
True
Let m(w) = 3*w**2 - 31*w - 238. Does 2 divide m(-8)?
True
Let h = 186 + -120. Let k = -18 + h. Is 7 a factor of k?
False
Let k(j) = -j**2 - 9*j + 2. Let v be k(-9). Suppose x - l - 3*l - 321 = 0, -v*x + 2*l + 672 = 0. Suppose 5*h - x = 4. Does 14 divide h?
False
Suppose 0 = 3*z - 2*q - 1753, -684 = 5*z + 4*q - 3635. Is z a multiple of 61?
False
Suppose v + 3*g = 7, -2*g + 13 = -v - g. Let f = -3 - v. Suppose -f*p = -187 - 53. Is p a multiple of 10?
False
Suppose 48*h - 31510 = -6070. Is 54 a factor of h?
False
Suppose -5*q + 1012 = -2*w, 2*q - 5*q + 602 = 4*w. Suppose 2*t - 2*z - 145 + 49 = 0, q = 4*t - 2*z. Suppose 0 = -4*c + o + t, 9 = c - 3*o - 7. Does 3 divide c?
False
Suppose -2*d - 2*d = 0. Let z = 2 + d. Is 21 a factor of 9/(-6)*(-28)/z?
True
Let a be ((-13)/(-3) + 0)*3. Let y = -231 - -242. Suppose z + 5*k = a, -z + y = z - 5*k. Does 5 divide z?
False
Let f(z) = z**3 + 2*z + 4. Let c be f(0). Suppose x - c*x = -120. Is x a multiple of 10?
True
Let h = -97 - -92. Is (h*(-5)/10)/((-3)/(-108)) a multiple of 30?
True
Is 1154/12 + 3/(-18) a multiple of 8?
True
Suppose -2*p = -7*p + 15. Suppose 4*s - 22 = 2*b, -s + b + 17 = p*s. Suppose -x = -s*x + 46. Does 11 divide x?
False
Let d be 1 - 5/(5/6). Let o(w) be the third derivative of w**5/30 + 7*w**4/24 - w**3/3 - 5*w**2. Is 13 a factor of o(d)?
True
Let d be -1 + 3 + 40/8. Suppose -4*z + 4*v = -136, -2*z = -3*v + 7*v - 38. Suppose -2*r = -z + d. Is r a multiple of 5?
False
Let h(v) = -58*v + 32. Let q = 12 - 15. Is h(q) a multiple of 21?
False
Suppose 4*r = 4 + 4. Suppose -3*o - r*o = c + 268, -5*o + 3*c - 276 = 0. Let m = o - -84. Does 23 divide m?
False
Supp