s a multiple of 7?
False
Suppose -6 = -b - 3*k, -4*b + 2*b - 5*k = -8. Let d = b + 52. Does 21 divide d?
False
Suppose -5*w = -10, w + 85 = g + 6*w. Suppose 2*u + g = -3*u. Let f = 61 + u. Is 9 a factor of f?
False
Suppose 4*t + 796 = -79*r + 81*r, 410 = r - 5*t. Is 15 a factor of r?
True
Let i be ((-4)/(-12))/(3/18). Suppose 0 = -13*y - 0*y + 39. Suppose 0 = -i*p + 3*j + 117, y*p - 164 - 18 = -2*j. Is p a multiple of 12?
True
Let y be 16/7 - 12/42. Suppose -y*p - 2 = 0, -10 = 3*j + 4*p - 6. Suppose j = -3*w - 5*n + 52, 4*n - 26 = -3*w + 27. Is w a multiple of 4?
False
Suppose r + 3*m = m + 1, 0 = 5*r - 3*m - 31. Suppose -84 = -r*v + v - 4*j, 36 = v + 4*j. Is v a multiple of 9?
False
Suppose -5*h = 5*y - 126 - 34, 2*h - 2*y - 64 = 0. Suppose 4*a + h + 20 = 0. Let b = -1 - a. Does 12 divide b?
True
Let l = -357 + 1132. Is 55 a factor of l?
False
Let m be (-124)/(-30) - 4/30. Suppose -m*l - 2*q = -10, 8*l - 3*l - 2*q = 8. Suppose 0 = l*y - 5*x - 53, -5*x = 21 + 4. Is 7 a factor of y?
True
Let t = -188 - -311. Let z = t + -86. Is 12 a factor of z?
False
Let y(z) = -12*z - 6. Let l be y(-5). Suppose -108 = -3*d + l. Let t = d + -33. Is t a multiple of 6?
False
Let j = 57 - -143. Is j a multiple of 18?
False
Suppose -q + 2 + 3 = 0. Suppose -q*j + j + 16 = -4*c, -c + 38 = 5*j. Suppose 55 - j = 3*p. Does 4 divide p?
True
Let a = -67 - -69. Suppose -3*h = -0*h - 93. Suppose 0 = -a*x + x + h. Does 31 divide x?
True
Let n(b) = -4*b**2 - 11*b - 15. Let f be n(-3). Let o = 133 - 43. Let q = o + f. Is 12 a factor of q?
True
Suppose j + 2 = 5. Suppose -9 = -j*s - 0*s. Suppose s*v + 0*v + 24 = w, 5*w - 5*v - 130 = 0. Is w a multiple of 9?
True
Suppose -3*a - 14 = -5*l, 2*l + 3*l = 20. Let r be ((-12)/(-18))/(a/3). Let k = 9 + r. Does 5 divide k?
True
Let g(h) = -h**3 - 7*h**2 + 3*h + 15. Let t be g(-7). Let c = t + 11. Is c a multiple of 5?
True
Let f = 264 + -135. Suppose -o = -3*o + y + 81, 0 = -3*o + 4*y + f. Is o a multiple of 13?
True
Let o be -3 + (-28)/(-2)*1. Suppose -2*x + 3 = o. Is 17 a factor of x/((-3)/48 - 0)?
False
Let j be 5 + (2 - 5) + 0. Suppose -751 = -4*v - 5*c, j*v - 2*c = 610 - 230. Suppose 5*n - v = 2*w, 0*w - 2*w + 6 = 0. Is n a multiple of 13?
True
Suppose 6*r - 2583 = 387. Is 35 a factor of r?
False
Suppose k - 1300 = -3*n, 39*n + 3918 = 3*k + 42*n. Does 26 divide k?
False
Let p(t) = t**3 - 8*t**2 + 7*t + 10. Let r be p(7). Suppose 0 = r*f - 6*f - 24. Is f even?
True
Suppose 0 = -5*t - v - 2*v + 19, 5*t = 4*v + 33. Let a be ((-10)/t)/((-2)/4). Suppose 0 = a*w + n - 5*n - 92, 30 = 2*w + 2*n. Does 9 divide w?
False
Let b(w) be the second derivative of w**5/20 - 3*w**4/2 - 3*w**3 - 3*w**2/2 + 3*w. Is b(19) a multiple of 8?
True
Let s = 302 - 35. Is s a multiple of 7?
False
Suppose 4*k = -3*w - 2*w - 12, 0 = -4*k - 12. Suppose w = 4*l + o - 438, 3*l + 3*o = 199 + 134. Does 17 divide l?
False
Let o = -39 + -7. Let v = -20 - o. Is v a multiple of 13?
True
Let s = 11 - -23. Let r = s - -90. Is 24 a factor of r?
False
Let h(m) = -6 + 17*m - 34*m + 22*m. Let o be (-4)/(4/(-5)) + -1. Does 14 divide h(o)?
True
Suppose 4*t - 1670 = -2*r, 0 = r + 5*t - 712 - 126. Does 73 divide r?
False
Let m(r) = r**2 + 7*r + 2. Let x be m(-7). Let l be (x - 3)/(2/102). Does 17 divide l/(-34)*(-296)/(-6)?
False
Suppose 0 = -45*b - 17*b + 1116. Does 3 divide b?
True
Let a = 19 - 17. Let x be a + -2 + -1 - -3. Is 9 a factor of ((-59)/x)/((-13)/26)?
False
Suppose 3*o = d - 0*o + 58, o - 134 = 3*d. Let y = d + 87. Is y a multiple of 22?
True
Suppose 20*o + 5338 - 21618 = 0. Does 22 divide o?
True
Let b(w) = w**3 + 11*w**2 + 8*w - 6. Suppose -2*r + 7*r + 35 = 0. Is 13 a factor of b(r)?
False
Let k(l) = l**3 + 8*l**2 + 6*l - 5. Let b be k(-7). Let z = -21 + 37. Suppose v - z = -5*r + b, 4 = -r - 4*v. Is 3 a factor of r?
False
Suppose y - 58 = -5*n, 5*y + 5*n = 120 + 90. Let s = -12 + y. Suppose -6*d + 16 + s = 0. Does 4 divide d?
False
Let c = 10 - 6. Suppose c*h - 48 = -0*h. Does 6 divide (9/h)/((-5)/(-120))?
True
Let g(n) = 5*n**2 - 3*n - 18. Does 86 divide g(-26)?
True
Suppose x + 2*m = 15, -9 = x - 2*x + m. Suppose 68 + 64 = x*g. Is 6 a factor of g?
True
Does 20 divide 29/(-377) + 3642/26?
True
Is 12 a factor of (-18)/(5/2910*-9)?
True
Let d = -3581 + 5217. Is 36 a factor of d?
False
Let d(w) = -35*w**3 - 7*w - 6. Let a(f) = 69*f**3 + 13*f + 11. Let o(y) = 6*a(y) + 11*d(y). Is o(1) a multiple of 10?
True
Let d be 5 + (-1 - 2) + 1. Suppose -w = -d*w + 10. Does 4 divide w?
False
Let t = -25 - -30. Suppose 2*j = -t*b - 2*j - 2, j = 3*b + 8. Does 22 divide 21 + (-3)/(b + -1)?
True
Let r = 747 - 603. Is r a multiple of 4?
True
Let f(n) = -48*n**3 - 8*n - 42. Does 62 divide f(-3)?
False
Suppose 4*h = 673 + 559. Does 11 divide h?
True
Let g(s) = 2*s**2 - 30*s - 6. Let q be g(17). Suppose 226 = 3*i - q. Is 16 a factor of i?
True
Let z = -690 + 1046. Is 7 a factor of z?
False
Suppose -2529 = -4*i - 5*a, 0 = 5*i + 4*a - 1550 - 1600. Let m = i + -402. Is m a multiple of 29?
False
Does 24 divide (-15)/(-35) - 7047/(-21)?
True
Does 43 divide 216/4*126/27?
False
Let w(k) = -12*k - 192. Is 10 a factor of w(-40)?
False
Let i be (-4)/(-5) + (-901)/(-5). Let q = -113 + i. Does 17 divide q?
True
Let u = -168 + 367. Is 4 a factor of u?
False
Suppose 0 = -3*g - 0*g + 48. Let m be 246/(-22) - ((-62)/(-22) - 3). Let k = m + g. Is 2 a factor of k?
False
Suppose -w - 1439 = -3*i, i + w + 127 = 612. Does 37 divide i?
True
Let k be 3/6 + (-35)/(-10). Suppose -3*y + 38 = -k*p, 4*y - 22 = -2*p + 36. Is 14 a factor of y?
True
Let j(y) = 2*y**2 - 5*y - 3. Let l be j(5). Suppose -2*z + l = -0. Let t = -8 + z. Is t even?
False
Let i(s) be the first derivative of -s**6/5 - s**4/24 - s**3/6 + 3*s**2 - 6. Let x(n) be the second derivative of i(n). Does 8 divide x(-1)?
True
Let i(l) = 2*l**2 - 47*l + 433. Does 4 divide i(9)?
True
Let d(y) = y + 1. Let c be d(4). Suppose -176 = -c*s + 89. Does 21 divide s?
False
Let f be ((-12)/10)/(4/10). Is (1/f)/((-8)/1632) a multiple of 13?
False
Let w(d) = -12*d - 36. Does 12 divide w(-30)?
True
Does 11 divide (-1897)/(-7)*(5 - (-1 - -3))?
False
Let m = -997 - -558. Let j = m - -650. Does 12 divide j?
False
Let y = -12 - -18. Let i be -1*(-16)/(-4) + y. Suppose k = -4*k - 3*z + 35, -i*z = k - 14. Does 4 divide k?
True
Suppose -4*i - 2662 = -2*y + 2462, 4*i = y - 2568. Does 71 divide y?
True
Let b be (12/9)/((-6)/(-9)). Let v be 80 - (0 + 2/b). Let l = -36 + v. Is 14 a factor of l?
False
Suppose 2336 = 2*g + 1962. Is 3 a factor of g?
False
Let l = -28 - -44. Suppose 6*r = 3*r + 5*k + l, -2*k - 2 = r. Suppose -24 = r*t - 68. Is 13 a factor of t?
False
Suppose -2 = -0*p - p. Let w(z) = z**3 - 4*z**2 - 4*z - 5. Let m be w(5). Suppose 5*j + 13 = p*v + 190, -5*v + 20 = m. Does 12 divide j?
False
Suppose -5*i + 550 = 5*w, i - 4*w + 2*w - 107 = 0. Let x = i - 59. Is 7 a factor of x?
False
Let l(k) = -2*k + 9. Let r be l(4). Suppose -13*x = -12*x - r. Let d = 31 + x. Is 14 a factor of d?
False
Suppose 0 = 5*y - 16 + 1, -4*a = 2*y - 78. Suppose -5*f + a = -3*n + 2*n, 0 = -2*f + 5*n + 21. Is 12 a factor of (19 - -3) + f + -2?
False
Let s(u) be the third derivative of u**5/30 + u**4/24 - u**3 + 15*u**2. Is 30 a factor of s(-6)?
True
Is 60 a factor of (-20)/6*(47 + -1145)?
True
Is 21 a factor of 64/(-5)*((-505)/10 + -2)?
True
Let h(l) = -l**3 - l**2 - 3*l - 5. Let o be h(-2). Suppose 3*q - 177 = o*m, 0 = -5*m + 2*m. Is 8 a factor of q?
False
Let a = 108 + -3. Let c be -1 + 57 - 2/(-2). Let j = a - c. Is j a multiple of 16?
True
Suppose 4*t + 4*j = 2604, 3*j + 2*j - 2609 = -4*t. Is t a multiple of 21?
False
Suppose -7*y + 6144 = 2*r - 3*y, -9256 = -3*r + 4*y. Does 20 divide r?
True
Let q(y) = y**3 - 15*y**2 + 7*y + 35. Is q(15) even?
True
Let w = -37 + 89. Suppose 0 = -j - w + 14. Let c = j + 97. Is c a multiple of 16?
False
Let d = 1415 + -1288. Does 5 divide d?
False
Is (-1)/(((-1)/(-6))/((-4997)/57)) a multiple of 24?
False
Let d(x) = -x**3 - 6*x**2 + 3*x + 5. Let q be d(-6). Suppose -4*w = 3*i + i - 132, -151 = -5*i + 2*w. Let a = q + i. Is a a multiple of 10?
False
Is 6 a factor of (3960/(-25))/6*20/(-8)?
True
Let r = 14 + -19. Let c be (-2)/r - (-20)/(-50). Suppose 4*b + c*b - 60 = 0. Does 4 divide b?
False
Suppose 4*s - 2*k - 4 = 0, s + s - 2 = -k. Let v be s/2*19*