ose -g - 21 = -2*r. Does 4 divide r?
True
Suppose -2*k + y + 19 = 0, -14*k + 4*y + 41 = -11*k. Does 2 divide k?
False
Does 15 divide 8/36*21*9?
False
Let z = 23 + -10. Does 5 divide z?
False
Let q(j) = -j**2 + 11*j - 10. Let b be q(10). Let d(t) = t**3 - 6*t**2 + 7*t - 7. Let f be d(5). Suppose b = -f*m + m + 6, -5*m + 43 = n. Is n a multiple of 11?
False
Let c(h) = 23*h - 3. Is c(1) a multiple of 20?
True
Suppose b = -b + 16. Let o(d) = d + 11. Does 10 divide o(b)?
False
Is 11 a factor of 155/9 + (-14)/63?
False
Let x = 44 - -126. Is x a multiple of 29?
False
Let t be (-32)/(1 + 2/(-1)). Suppose q - t = -w - 2, -q - 4*w + 18 = 0. Does 16 divide q?
False
Is 13/(-1)*(-4 + 2) a multiple of 10?
False
Let a(v) = -v**3 + 15*v**2 - 30*v + 8. Is a(11) a multiple of 34?
False
Let z be ((-120)/(-9))/(2/6). Suppose 10*t = 5*t + z. Is t a multiple of 4?
True
Let x = -41 - -80. Suppose 3*d + 0*d = x. Is d a multiple of 4?
False
Let f be ((-70)/6)/((-10)/30). Let m = -22 + f. Is 6 a factor of m?
False
Let c = 5 + -5. Suppose -7 = -c*r - r. Is 7 a factor of r?
True
Suppose 0*s = -2*s + 8. Does 4 divide s?
True
Let h = -87 - -127. Is h a multiple of 10?
True
Let l(n) be the second derivative of n**4/6 + n**3 - n**2 + 4*n. Is l(-6) a multiple of 24?
False
Let p be (6/(-8))/(6/120). Let f = 13 + -23. Is 9 a factor of (-336)/f - 6/p?
False
Does 39 divide 171 - (-18)/12*2?
False
Let p(l) = 5*l - 2. Let z be p(2). Suppose -4*y - z = 4*d, 0 = 5*d + 5*y - 3*y + 4. Suppose d = -3*i + 6*i - 60. Is 10 a factor of i?
True
Let f = -120 + 162. Is f a multiple of 16?
False
Suppose 1 = -4*w + 9. Suppose 5*u = 3*p + 74, -w*p + 1 - 46 = -3*u. Is 5 a factor of u?
False
Is -15*(-4 + (5 - 2)) a multiple of 15?
True
Suppose -2*m + 68 = 2*q, 3*q = -m + 20 + 6. Suppose 0 = -3*a + j + m, -52 = -0*a - 5*a - 4*j. Is 4 a factor of a?
True
Let b = 5 + 8. Suppose -b - 91 = -2*i. Is i a multiple of 16?
False
Let j = 503 + -283. Is j a multiple of 55?
True
Suppose r - 62 = 48. Suppose -d - 4*d = -r. Is d a multiple of 11?
True
Suppose -3*a + 5*j + 30 = -a, j + 4 = 0. Let b(m) = 2*m - 1. Let w(v) = -v. Let r(q) = -b(q) - 6*w(q). Is 11 a factor of r(a)?
False
Let i(n) = n**2 - 6*n - 5. Let o be i(7). Suppose -d - 3 = -v - o, 2 = 5*v - 4*d. Does 7 divide (v + -7)*(-4)/3?
False
Suppose 4*c + 219 = -5*u, -2*c + 0*c + 5*u - 147 = 0. Let z = c + 91. Is 13 a factor of z?
False
Let b(f) = f**3 - 7*f**2 + 9*f - 5. Suppose 5*c - 12 = 2*c. Suppose 0*y + 24 = c*y. Is b(y) a multiple of 11?
False
Suppose -5*o = 3*q + q - 37, 0 = 5*q - o - 10. Does 3 divide q?
True
Let p(d) = -d**3 + 6*d**2 + 3*d + 8. Is 22 a factor of p(6)?
False
Suppose 2*b = 31 + 27. Does 6 divide b?
False
Let j(h) be the second derivative of -h**8/6720 + h**7/360 + h**6/90 - h**5/20 - h**4/4 + h. Let a(n) be the third derivative of j(n). Is a(7) a multiple of 25?
True
Suppose 2*r + 8 = 6*r. Suppose r*k + k = -3*i + 108, i = -3*k + 108. Is 18 a factor of k?
True
Suppose 2*s - 208 - 340 = 0. Suppose -3*n + 2*g = -s, 5*g - 4 - 1 = 0. Is 23 a factor of n?
True
Let o be 9/7 - 16/56. Is 12 a factor of (24/(-32))/(o/(-48))?
True
Let s(q) = q**3 - 2*q**2 - 4*q - 4. Suppose -3*c = 2*c + n - 24, -c - 5*n = 0. Is 14 a factor of s(c)?
False
Let d(a) = -a**3 + 8*a**2 - 6*a - 5. Let j be d(7). Suppose -j*f - 3*f + 70 = 0. Is f a multiple of 14?
True
Suppose 5*m - 4*m = 0. Let k(l) = l**2 + 2*l + 60. Does 16 divide k(m)?
False
Suppose 2*l - 12 = 3*v, -4*l + 5*v + 24 = -0*l. Let z = l - 6. Is z + 1 + -1 + 32 a multiple of 16?
True
Suppose -4*a + a + 5*s + 230 = 0, 0 = -4*a + 3*s + 303. Is a/4 - 3/(-12) a multiple of 8?
False
Let i(h) = 10*h + 8. Is i(4) a multiple of 24?
True
Is 6 a factor of 20/80 - -2*71/8?
True
Let h(c) = -9 + 4*c**2 - 3*c**2 + 10. Is h(-1) a multiple of 2?
True
Let s be (-4)/12 - 22/(-3). Suppose -5 = -b + s. Let o = 0 + b. Is 12 a factor of o?
True
Does 5 divide 4/(-34) - (-29640)/221?
False
Let o = -11 + 8. Let g(d) = -d**2 - 3*d - 3. Let l be g(o). Does 20 divide (2/l)/(1/(-60))?
True
Suppose -297 = -2*o - o. Is 24 a factor of o?
False
Suppose 55 = 4*x + 3. Is x a multiple of 3?
False
Let k(u) = -u**2 - 5*u - 3. Let c be k(-5). Let f = c - -18. Suppose 5*l = -f + 75. Does 12 divide l?
True
Let a be (-6)/15 + (-34)/(-10). Suppose c + 2*m = 6*c - 182, a*m + 75 = 2*c. Is 9 a factor of c?
True
Is -58*(4 - (-18)/(-4)) a multiple of 7?
False
Let m(n) = n**2 - 4*n - 1. Let g = 4 + 2. Suppose 2*h - 3*k - 14 = -g*k, 0 = -3*k. Is m(h) a multiple of 20?
True
Suppose -9 + 4 = 5*w. Let s be 0 + 2 + 108 + w. Suppose -5*v = -5*h + 130, 4*h - 3*v = 2*v + s. Is 9 a factor of h?
False
Suppose 6*t - 1274 = -8*t. Is t a multiple of 7?
True
Suppose -2*q + 0*q = 0. Suppose 0 = -3*m - q*m - 12. Is 8 a factor of 30/m*(-16)/10?
False
Is 2 a factor of (0/(-3))/2 - -3?
False
Let s(d) = 4 - 5 + d + 18. Let t be s(-11). Suppose t + 28 = 2*x. Does 7 divide x?
False
Let f be 5/(-5) + 1*8. Let c(w) be the third derivative of -w**5/60 + w**4/3 + 7*w**3/6 - w**2. Is c(f) a multiple of 5?
False
Is -2 - -2 - (-280)/5 a multiple of 14?
True
Let k(l) = -9*l**2 + 3*l + 2. Let p be k(-2). Let x = 75 + p. Is x a multiple of 6?
False
Let k = -18 + 21. Suppose -k*l - 1 = -13. Is 3 a factor of l?
False
Let k(x) = -x**2 - 9*x - 2. Let c be k(-10). Let r = 12 - c. Does 5 divide r?
False
Suppose -5*l = -125 - 15. Is l a multiple of 14?
True
Is -44*16/20*(6 + -11) a multiple of 22?
True
Let d = 31 - -67. Does 14 divide d?
True
Suppose -3*r + 3*k + 99 = -2*k, 4*r + 5*k - 97 = 0. Does 14 divide r?
True
Suppose -2*r + 9 = -61. Does 7 divide r?
True
Let x = -6 + 4. Is 18 a factor of x + (-2)/((-2)/49)?
False
Suppose 3*z - 11 - 4 = 0. Suppose -7*n + t + 254 = -2*n, z*n + 3*t = 258. Is n a multiple of 17?
True
Suppose 75 + 185 = 5*t. Is 13 a factor of t?
True
Suppose -3*v = -2*v + 132. Is v/(-9) + 1/3 a multiple of 7?
False
Let l(y) = y**2 + 10*y - 3. Let s be l(-5). Let w = 47 + s. Is w a multiple of 19?
True
Let r be 3*-3*(-5)/9. Let w = 5 - r. Is 15/(3 + w) - 2 even?
False
Suppose -p + 4*p - 6 = -5*k, 0 = -3*p + 3*k + 6. Suppose -p*v = -3*r + 46, 20 = -r + 3*r + 4*v. Does 9 divide r?
False
Let t = -9 + 9. Suppose t*g + 145 = 5*g. Is g a multiple of 29?
True
Let b(p) = -3*p**2 + p - 3 - p**3 - 5*p + 0*p. Let x be 2/12 - (-400)/(-96). Is b(x) a multiple of 20?
False
Let g be (1/(-2))/((-2)/140). Let m = 59 - g. Is 726/m - 2/8 a multiple of 15?
True
Suppose 0*h - 4*d = 2*h - 62, 2*d - 85 = -3*h. Is h a multiple of 27?
True
Suppose -f = -5*o - 8, -5*f = -3*o + 6*o + 44. Let w = -5 - f. Suppose -l - w*x - 1 + 9 = 0, 5*x = -10. Does 10 divide l?
False
Suppose -4*s + 32 = -l, 5*s - 31 = -5*l + 34. Let m be 717/s - (-1)/3. Let b = -46 + m. Is 17 a factor of b?
True
Suppose 3*f + 13 = 5*k - 0, f = -5*k + 29. Suppose 3*a + j - 9 - 5 = 0, -k*a = 2*j - 25. Suppose w - 56 = -a*g, -3*g + 66 = 2*w + w. Is g a multiple of 17?
True
Does 15 divide (-378)/(-12)*10/3?
True
Suppose 3 + 13 = 4*m. Suppose -m*l + l = -81. Is 7 a factor of l?
False
Suppose 5*a - 2*a = 4*w + 136, 2*w + 178 = 4*a. Is a a multiple of 5?
False
Let p(f) = -f**2 - 8*f + 10. Is 5 a factor of p(-5)?
True
Let r(o) = o**2 - 8*o + 3. Let d be r(8). Let s = d - 3. Is 31 + (-2)/(-4)*s a multiple of 12?
False
Suppose 2*i = -2*t + i + 306, 5*i = -3*t + 445. Suppose 6*y - y = -t. Let r = y - -58. Is r a multiple of 20?
False
Is 268/6 - 8/12 a multiple of 17?
False
Suppose 0 = -4*f + 7 + 1. Suppose u - 54 = 3*h, -3*h + f*u - 89 = 2*h. Let l = h + 31. Is 12 a factor of l?
True
Let g be (2/4)/(3/(-54)). Let x = g - -23. Is x a multiple of 14?
True
Let i = -8 + 31. Does 5 divide i?
False
Let t(o) = o**3 - 4*o**2 + 4*o. Let b be t(3). Suppose -i + 88 = -0*h + 2*h, -b*h + 2*i = -118. Does 14 divide h?
True
Suppose -r + 3 = 5*c, -5*c = r - c - 8. Is r a multiple of 21?
False
Suppose -37 = -4*z + 3. Does 3 divide z?
False
Suppose -4*c = 90 - 26. Let g = c - -50. Does 13 divide g?
False
Let q(x) = -10*x + 27. Does 15 divide q(-6)?
False
Let n(l) = 3*l**2 - 9*l - 10. Is n(-6) a multiple of 19?
True
Suppose 0 = 3*w - 15, 5*h - 5*w - 610 = -w. Does 34 divide h?
False
Does 10 divide 6*5/15*73/2?
False
Let b(t) = -t**2 - 12*t - 14. Is b(-8) a multiple of 6?
True
Let z(x) be the first derivative of 3*x**2/2 - 13*x + 3. Does 18 divide z(12)?
