(-32)/v + 740/9. Suppose -6*u = -b - 68. Does 12 divide u?
False
Is 81 a factor of -1026*(1 + -6 + 2)?
True
Is ((-1455)/20)/(9/(-96)) a multiple of 57?
False
Suppose g + 15 = 4*g. Let r be (8 + -5)/(6/(-15) + 1). Suppose 3*l = l + s + 85, r = -g*s. Is l a multiple of 21?
True
Let z be ((-2)/(-3))/((-4)/186). Let h = z + 37. Is h a multiple of 6?
True
Let o be (-8)/(-52) + (-160)/26. Let v be 0 - o*4/8. Suppose 0 = 3*w + v*c - 84, 0*w = -w + c + 24. Is 6 a factor of w?
False
Suppose -3*j + 23 = 4*l - 8*j, -4*l = 3*j + 1. Suppose -l*n = 3*n - 25. Is n - (-2 - (-2)/(-2)) a multiple of 5?
False
Does 8 divide (-8 - -5) + 252 + 7?
True
Let a(h) = h**2 - h - 62. Let c be a(0). Let f = 121 + c. Is 16 a factor of f?
False
Suppose -43 = -y - 10. Suppose -5*l - 5 = 0, 2*s + 4*l - 27 = y. Is 3 a factor of s?
False
Let p(i) = i - 5. Let q be p(5). Is 1/(q - 1/(-10)) even?
True
Let g(v) = -3*v**3 + 19*v**2 + 3*v - 24. Let k(x) = -2*x**3 + 10*x**2 + x - 12. Let j(o) = 3*g(o) - 5*k(o). Let h be j(-6). Is (h - 33)*6/(-9) a multiple of 15?
False
Suppose 4*j - 1718 = -314. Is 26 a factor of j?
False
Is 16 a factor of (1*71)/(13*(-14)/(-2912))?
True
Let z = -1 + 6. Let y = -2 + 3. Let b = z + y. Does 4 divide b?
False
Let d = -59 + 60. Is (-4)/d + 100 + -1 a multiple of 19?
True
Does 21 divide (29 + 9)/((-2)/(-7))?
False
Let g(o) = o - 9. Suppose 4*s + 8 = 0, -h + 3*s + 21 = -2*s. Let i be g(h). Is 10 a factor of i*10/(-4)*-2?
True
Let t be (-60)/24*4/(-5). Suppose -t*b + 1 + 13 = 0. Is 7 a factor of b?
True
Does 27 divide 307 - (-27)/(243/(-90))?
True
Suppose -4*i + 223 = 4*l - 693, 4*i + 5*l - 912 = 0. Is i a multiple of 22?
False
Suppose -25*c + 29*c - 16 = 0, -c = -2*n + 3492. Does 46 divide n?
True
Let h(y) = y. Let v be h(-5). Let u = v - -11. Suppose -2*c - 2*l = -28, -3*c + 14 = 2*l - u*l. Is 10 a factor of c?
True
Let u = -17 + 22. Suppose -2*m = -0*m + 3*q - 32, 3*q - 80 = -u*m. Let w = m - -17. Is w a multiple of 11?
True
Let m = 189 - -7. Is 12 a factor of m?
False
Is 4 + 0 + -1 + -2 + 334 a multiple of 49?
False
Does 5 divide 10/30 + 1788/(-54)*-15?
False
Suppose 0 = 3*x - 4*q - 3002 - 556, 0 = -4*x - 5*q + 4713. Does 6 divide x?
True
Let o = 37 + 27. Let u = o - -23. Is u a multiple of 29?
True
Suppose 5*v = -5*l + 1090, 2*l + 2*l - 5*v - 854 = 0. Suppose 5*t - l = t. Is t a multiple of 7?
False
Let b(j) be the third derivative of -j**5/8 + j**4/24 - j**3 + 5*j**2. Let w(l) be the first derivative of b(l). Is 16 a factor of w(-1)?
True
Let o(r) = 17*r - 3 + 53*r**2 + 32 - 54*r**2. Is o(16) a multiple of 11?
False
Let h = 211 + -56. Does 5 divide h?
True
Let v(h) = h + 9. Let g be v(7). Suppose -3*y = -3*t + 2*t + 15, t + 1 = -y. Let d = y + g. Is d a multiple of 5?
False
Suppose 97 = z - l, 4*z - 5*l = 5*z - 73. Suppose 3*w = z - 15. Is 13 a factor of w?
True
Suppose -39*s + 10461 = -6*s. Does 21 divide s?
False
Let z = 8 + -10. Let l be ((-2)/3)/(z/6). Suppose -l*u - 5*q = -35, 0 = 4*u + u - 3*q - 10. Does 4 divide u?
False
Suppose 258*b = 252*b + 8448. Is 86 a factor of b?
False
Suppose -39 = 5*k + 11. Let x(u) = u**2 - 3*u - 19. Is 25 a factor of x(k)?
False
Let r be ((-18)/(-63) + 2/42)*9. Let l(j) = 4*j**2 + 2*j - 10. Does 6 divide l(r)?
False
Let v be 0*1/(-5) - 6. Let z = 39 - v. Is 10 a factor of z?
False
Is 549 + (0 - 5 - 1) a multiple of 11?
False
Suppose -68 = -5*y + 42. Let o = -22 + y. Suppose o = -3*a + 3*n - n + 356, 0 = a - 3*n - 128. Is a a multiple of 15?
False
Let p be (-2 - 28/(-12)) + 28/6. Suppose 5*a + 73 = 3*k - 15, p*k - 126 = -2*a. Is k a multiple of 4?
False
Let b be (-16)/(-10)*(-4)/(-16)*10. Suppose 0 = 5*i - b*g - 220, i + 0*i - 3*g - 55 = 0. Is i a multiple of 10?
True
Is 10 a factor of (5690/(-50) - -5)/(3/(-15))?
False
Let l = -110 - -20. Let a = 1 - l. Is 6 a factor of a?
False
Let v be 148/10 + 1/5. Suppose -4*b - 37 - v = 3*g, 0 = 3*b + 12. Is 7 a factor of 2/(-6) + (-256)/g?
True
Suppose s = -3*s. Suppose s = -6*k + k + 250. Suppose -y = -a + k, y + 23 - 198 = -4*a. Does 15 divide a?
True
Let k(d) = -d. Let t be k(4). Let j = t - -6. Suppose 117 - 33 = j*b. Is 14 a factor of b?
True
Suppose -30458 - 16738 = -23*f. Is 114 a factor of f?
True
Suppose -k + 515 = 3*b, 2*b + 3*b - k = 869. Suppose 247 + b = 5*u. Is 21 a factor of u?
True
Let n be ((-342)/(-15))/(1/((-70)/3)). Let o = 806 + n. Is o a multiple of 40?
False
Suppose -5*o = -4 - 11. Suppose -6*i = -o*i - 228. Is i a multiple of 19?
True
Let j = 1 + -1. Is 27 a factor of (j - 1)/(3/(-168))?
False
Let v(u) = 7*u - 4*u**3 + u**3 + 4*u**3 + 15 + 7*u**2. Let j be v(-7). Let a = -14 - j. Is 7 a factor of a?
False
Let q(g) be the third derivative of -g**6/120 - g**5/30 + 40*g**3/3 + 6*g**2. Is 16 a factor of q(0)?
True
Let t = -79 + 184. Let n = t - 45. Is n a multiple of 20?
True
Let r(d) = 14*d**3 + 4*d**2 - 3*d - 2. Is r(2) a multiple of 12?
True
Let w = 85 - 79. Suppose 2*m = -0*m + 4*d + 4, 0 = 5*d - 5. Suppose -187 = -5*n - a, w = -m*a + 2*a. Is 19 a factor of n?
True
Suppose 260 = -7*w + 2101. Does 7 divide w?
False
Let u(a) = a**3 - 12*a**2 + 11*a - 1. Let i be u(11). Is ((-16)/3)/(i/36 - 0) a multiple of 40?
False
Suppose 0 = -j + 2, 0 = f + 3*f + j - 646. Let o = f - 51. Is 11 a factor of o?
True
Let h = 41 + -69. Let k = 97 - h. Is 25 a factor of k?
True
Let i(s) be the third derivative of s**6/120 - s**5/10 + s**4/24 - s**3/3 + 2*s**2. Let d be i(6). Suppose d*k = -0 + 8. Does 2 divide k?
True
Let m(z) = 2*z**3 - 6*z**2 - 5*z - 13. Is m(6) a multiple of 16?
False
Let w(k) = -3*k - 2. Let c be w(4). Let i = -101 - -59. Is 22 a factor of (22 - 0) + i/c?
False
Let k = -63 - -67. Does 15 divide k/8*2*31?
False
Let f be (-410)/(-8) + (-21)/(-28). Suppose -2*g = -f - 42. Let h = g - 29. Is 8 a factor of h?
False
Suppose -3*o + 5712 = -4*r, -4*r + 2414 = 2*o - 1394. Is 28 a factor of o?
True
Let a(l) = 6*l + 48. Let u be a(-9). Does 16 divide (2 - -1)*(-448)/u?
True
Let l(w) = -w**3 - 7*w**2 - 8*w - 8. Let u be l(-6). Suppose -5*p + 210 = -0*c + 5*c, -3*c = -2*p - 106. Suppose -u*m + 34 = -c. Does 9 divide m?
True
Suppose 0 = -o - 4*o + 15. Suppose 0 = -4*a - 2*s + 166, -4*s + 209 = 8*a - o*a. Does 4 divide a?
False
Suppose -7 = 3*r - 19. Suppose 404 = r*b - 52. Does 19 divide b?
True
Let b(k) = -4*k**2 - 22*k - 7. Let a be b(-5). Suppose 4*i + 10*p - 774 = 12*p, -3*i - a*p = -603. Is 10 a factor of i?
False
Suppose -24*v + 22*v = -306. Is v a multiple of 11?
False
Let s(z) = z**2 + 4*z + 2. Let h be s(-5). Let k = h + -3. Suppose y = -k*q + 57, -2*y + 20 = 3*q - 24. Does 14 divide q?
True
Let m(i) = i**3 + 13*i**2 - 26*i - 20. Is m(10) a multiple of 30?
False
Let u = 9 - 10. Let f be -2 + 2 + u - -4. Suppose f*r + 17 = 71. Is 9 a factor of r?
True
Let b(r) = 5*r**3 - 7*r**2 - 17*r + 106. Does 4 divide b(5)?
False
Suppose 3*z = -8 + 26. Let f be (-1315)/(-15) + 2/z. Suppose -4*y = -5*y + f. Is 10 a factor of y?
False
Suppose 0 = v + 1, -v = 4*y + 4*v + 5. Suppose 11*i - 426 - 685 = y. Is i a multiple of 9?
False
Suppose -5*w = -s - 12805, 119*w + 4*s = 115*w + 10220. Is w a multiple of 16?
True
Let j = 582 + -260. Does 47 divide j - 2 - (-3 + -1 + 2)?
False
Suppose -v - b = 0, -v + 20 = -0*v - 4*b. Suppose 2*l - 2*x = 54, -3*x = -v*l - 25 + 133. Does 27 divide l?
True
Let s(i) = -43*i - 26. Let y(r) = -14*r - 9. Let n = -1 + 5. Let f(m) = n*s(m) - 11*y(m). Does 15 divide f(-4)?
False
Let u(a) = -2*a**3 - 3*a**2 - a + 2. Suppose 3*h - 6*h - 6 = 0. Is u(h) even?
True
Let v = 130 - 0. Is v a multiple of 26?
True
Does 12 divide ((-476)/(-20))/(-4*(-3)/60)?
False
Let d be ((-4)/(-5))/((-10)/(-25)). Let a be (d/4)/((-2)/20). Does 5 divide a/20 - 45/(-4)?
False
Let q(y) = -2*y**3 - y**2 - y. Let k be q(-1). Let m(s) = 2*s**k - 3*s**2 - s**2 + s**2 - 3 - 8*s. Is 4 a factor of m(-6)?
False
Let i(s) = -4*s + 1. Let p(c) = c + 1. Let j(x) = 2*i(x) - 10*p(x). Does 21 divide j(-7)?
False
Is 20 a factor of 3 + 113/(1 - (1 + -1))?
False
Suppose 2*u + 0*p + p = 475, 708 = 3*u + 3*p. Is 9 a factor of u?
False
Let g be (-1 + 0)/(-1 + 0). Let f(k) be the second derivative of k**4/3 - k**2/2 - 40*k. Is f(g) even?
False
Is ((-6)/(-5))/(4/1300) a multiple of 43?
False
Let w(q) = -q + 26. Let y(f) = f - 25. Let s(v) = -5*w(v) - 6*y(v). Does 3 divide s(0)?
False
Suppose -5*q =