tor of c?
False
Suppose 0 = -8*a + 6*a + 482. Does 41 divide a?
False
Suppose 0 = r - 26 - 32. Is 29 a factor of r?
True
Suppose 0*x = 3*x - 3. Let g be (-1 + 1 - -4)*x. Let v = 1 + g. Is v a multiple of 4?
False
Let i be (4 - -2) + -2 - -1. Suppose -o - 5*j - 2 + 56 = 0, i*o - 4*j - 154 = 0. Does 17 divide o?
True
Suppose -836 - 320 = -4*r - 3*w, -3*w = 5*r - 1448. Is 33 a factor of r?
False
Suppose -2*y + 20 = -20. Is y a multiple of 10?
True
Suppose z - 6 = -0*z. Is z even?
True
Suppose -3*s - 3*b = -42, 3*s - 3*b = 4*s - 16. Does 5 divide s?
False
Suppose 3*b - 244 - 23 = 0. Is b a multiple of 16?
False
Suppose 0 = -4*y + 2*n - n + 200, 4*n = 3*y - 150. Is y a multiple of 8?
False
Suppose w = 6*w + 25. Let k(n) = n**3 + 7*n**2 + 6*n - 2. Is 4 a factor of k(w)?
False
Let m be ((-10)/5)/(-1 + 0). Suppose -2*q + 44 = z, -196 = -8*z + 3*z + m*q. Is 10 a factor of z?
True
Let l = 173 + -116. Is 19 a factor of l?
True
Suppose p + 28 = 106. Is 13 a factor of p?
True
Let o(q) = -4 + 2*q + 4. Let k be o(3). Let b = k - -34. Is 20 a factor of b?
True
Let q = 0 - -6. Is 2 a factor of 3*q/9 - -5?
False
Let z(b) = -27*b - 1 + 2 + 26*b. Let k = -18 - -11. Is z(k) a multiple of 4?
True
Suppose 2 = -2*w - i + 8, 2*w - 26 = 4*i. Suppose -3*t + 278 = w*y, -y + 4*t + 27 = -24. Is y a multiple of 13?
False
Let c(i) = i**2 + i + 30. Let m(b) = b**2 - 4*b - 5. Let f be m(5). Is c(f) a multiple of 10?
True
Let u = -31 - -59. Is u a multiple of 8?
False
Suppose 4*k - 2*k - 34 = 0. Suppose 37 = -2*u - u - s, -3*u - k = 5*s. Does 13 divide 4/u - (-279)/21?
True
Let h = 24 - -2. Is 7 a factor of h?
False
Let d = 16 + -8. Does 8 divide d?
True
Suppose -4*m - 9 = -201. Suppose -m = -0*h - 4*h. Is h a multiple of 4?
True
Suppose -9 = -3*c, -4*c = -2*a - 2*a + 44. Suppose u - 2*u = -a. Is 7 a factor of u?
True
Suppose -33*j + 38*j - 390 = 0. Is 8 a factor of j?
False
Let n(s) = 25*s**3 - s. Suppose 0 = -2*t + 5*t + 3. Let q be n(t). Let p = 58 + q. Is 22 a factor of p?
False
Let b(c) = 41*c - 13. Let w(f) = 62*f - 19. Let m(t) = 7*b(t) - 5*w(t). Let s be m(-4). Suppose 3*h + 0*h = s. Does 12 divide h?
False
Is 12 a factor of -1 + 34 + 2/((-14)/(-21))?
True
Let v = -78 + 123. Is 9 a factor of v?
True
Suppose -3*z + 8 = -r, 0 = -r - 0*r + 4. Suppose -q + 46 = 5*i - 7*i, 0 = -5*q - z*i + 160. Is 16 a factor of q?
False
Is 20 a factor of (-171 - 1)/((-12)/6)?
False
Suppose 0 = 3*m + 18 - 3, 0 = -2*s - 2*m - 382. Let t be s/(-14) + 4/(-14). Let f = t + -6. Does 5 divide f?
False
Let u(z) = -3*z**2 + 3*z - 1. Let x be u(2). Let v = x + 5. Is 4 a factor of (3/v)/(6/(-16))?
True
Let q(k) = -k**2 + 4*k - 2. Let d be q(3). Suppose -1 = 2*c + d. Is 11 a factor of (-1 - -2)/(c/(-17))?
False
Suppose p + 20 = 2*b, 4*p + 4*b + b + 80 = 0. Let c = p + 33. Let g = 6 + c. Does 9 divide g?
False
Suppose 5*f = 3*f. Suppose -5*c + 2*q + 69 = f, 5*c + 6*q - q - 90 = 0. Let p = c - -9. Does 24 divide p?
True
Let c be (-2)/(-6 + 0)*39. Suppose -3*o - 4 = -c. Suppose -2*b = 4*q - 42, o*q - 3*b - 35 = -b. Is 5 a factor of q?
False
Let q(f) = f**2. Let u(k) = -7*k**2 + k + 6. Let r(g) = -6*q(g) - u(g). Does 3 divide r(-4)?
False
Let r(w) = 4*w**3 - w**2 - 2*w + 2. Is 4 a factor of r(2)?
False
Suppose -2*n + 3 = -21. Suppose -4*t + 27 = -5*d - 1, -2*t + n = -2*d. Suppose 16 = t*f + 2*f. Is 2 a factor of f?
True
Suppose -x = -2*x + 14. Is 3 a factor of (-48)/(-28)*x/4?
True
Let j be (-7)/(-5) - (-10)/(-25). Is (1 - (-24)/2)/j a multiple of 13?
True
Let v be 8*((-2 - -1) + 2). Suppose 2*o - 14 = -5*x + v, o = -5*x + 21. Suppose 0 = -f + 2*f - x, -2*n + 26 = 2*f. Is n a multiple of 8?
False
Let w(t) = -28*t + 4. Let a be w(-7). Suppose 2*y = 5*q + 4*y - 200, 5*q - y - a = 0. Is 10 a factor of q?
True
Let o(z) = 3*z**2 + 3*z + 2. Does 14 divide o(-7)?
False
Let y(f) = f**3 + 5*f**2 + f - 3. Let w be y(-3). Is 9 a factor of 1/(-4) - (-135)/w?
False
Let p be (-10)/(8/5 - 2). Suppose -h = 4 - p. Does 5 divide h?
False
Let v = 0 + 2. Is 9 a factor of v/(-4 - 152/(-36))?
True
Let j(h) = -2*h + 4. Let i = -29 - -16. Is j(i) a multiple of 10?
True
Suppose 2*g - 86 = d, 6*g + 5*d - 129 = 3*g. Let z(s) = 18*s**2 - 4*s + 3. Let c be z(2). Let x = c - g. Is x a multiple of 12?
True
Let b be ((-6)/4)/(-3)*54. Suppose 2*l + b = 91. Is 11 a factor of l?
False
Let h(x) = -x**2 - 4*x + 7. Let t be h(-8). Suppose -2*d - 93 + 19 = 0. Let q = t - d. Does 12 divide q?
True
Let a be (-1)/(-4) + (-35)/(-20). Let n(d) = 4 + a*d**2 - 12*d + d + 5 - 2. Does 14 divide n(7)?
True
Suppose -12 = -4*b + b. Suppose 2*h + 4*j = 40, -3*h + b*j + 44 = 2*h. Is h a multiple of 6?
True
Let y be -1 + 1 - (5 + -1). Let k(d) = -7*d + 4. Is k(y) a multiple of 12?
False
Let w be 20/(-6) - (-3)/9. Let h = w + 9. Let a = 6 + h. Is 9 a factor of a?
False
Let m(x) = 19*x - 74. Is m(11) a multiple of 9?
True
Let a(f) = -f + 4. Let r be a(2). Suppose -3*d + r*j + 19 = j, -4*d = -5*j - 29. Is d a multiple of 6?
True
Let n be (-1)/(-2)*(-1 - -21). Let p = n - -1. Is 11 a factor of p?
True
Suppose -5*i - 3*u = -592, -2*i - u = -6*u - 243. Is i a multiple of 11?
False
Suppose 3*j = 2*j - 4*x + 3, -4*x + 12 = 4*j. Let w be 1/(j/(-12)*-1). Suppose -3*m = -3*i + i, -w*i = m - 28. Does 3 divide i?
True
Let f(u) = u + 7. Let y be f(4). Is 29 a factor of (y - 5)/((-2)/(-11))?
False
Let d(f) be the second derivative of f**4/4 - 2*f**3/3 + 3*f**2/2 + f. Does 7 divide d(2)?
True
Let s be -5*-4*(-9)/(-30). Let n(i) = 2*i**2 - 6*i + 1. Is 17 a factor of n(s)?
False
Let f be 1/((-1)/(0 + -2)). Suppose -f*h = -0*h - 12. Suppose h*p - 130 = p - 5*u, 2*p - 5*u = 38. Is p a multiple of 11?
False
Let n(x) be the first derivative of 2*x**3/3 + 2*x + 8. Is n(2) a multiple of 3?
False
Suppose -1723 = -13*b + 2502. Does 65 divide b?
True
Suppose 0 = 3*d + 2*d + 5. Let o = d + 3. Suppose 3*r - 1 = o, 4*r + 36 = 4*q. Is 5 a factor of q?
True
Let m = -100 - -216. Suppose -m = -3*d + 58. Suppose -3*x + 11 = -d. Is x a multiple of 19?
False
Let z = 112 - 26. Is 10 a factor of z?
False
Let t = -95 + 161. Is t a multiple of 6?
True
Is 9 a factor of 1*(26 + -1 - -2 - 0)?
True
Let p be (3/(-4))/((-3)/8). Suppose 5*w + 5*d = p*d + 285, 4*w - d = 228. Is w a multiple of 13?
False
Suppose s + 104 = 5*s. Is 8 a factor of s?
False
Let t = -33 + 90. Does 18 divide t?
False
Let k(v) be the second derivative of v**2 - 1/6*v**3 + 0 - 2*v. Is k(-2) a multiple of 4?
True
Does 34 divide (111 + -7)/((-4)/(-6))?
False
Let q = -71 + 36. Let x be 165/q - (-2)/(-7). Let g(y) = -y**3 - 5*y**2 - 5*y + 2. Is g(x) a multiple of 9?
True
Suppose -4*o + 0*o + 16 = 0. Suppose o*k - 79 = 5. Is k a multiple of 7?
True
Let a be ((-18)/15)/((-3)/10). Suppose 5*i + 56 = 4*z, -a*z - 3*i + 88 = -0*i. Is 9 a factor of z?
False
Suppose l = 70 + 11. Suppose 4*r = l - 9. Suppose 3*c - 2*c - r = 0. Is c a multiple of 9?
True
Let q = -3 + -2. Let o = -3 - q. Is 7 a factor of (-6)/(-3) + 6*o?
True
Suppose -4*x = -3*m - 6*x + 262, -4*m - x = -356. Is 18 a factor of m?
True
Let d(v) = v**3 - 10*v**2 - 10*v - 14. Suppose -o - 4*a - 9 = 0, -2*o - 6 = 5*a - 3. Let q be d(o). Is 40 - q*4/(-6) a multiple of 15?
False
Let f(k) = -k - 3. Let g be f(-6). Suppose g*n + 1 = -2. Is 15 a factor of n/(-4) + (-118)/(-8)?
True
Suppose -m - 6 = -3*m. Suppose 0 = 3*x - 4*x + m. Suppose 5*b - 5*g = 10, -6*b - x*g + 36 = -3*b. Is b a multiple of 4?
False
Let q(u) = u + 11. Suppose 0 = -2*z - 5 - 11. Does 3 divide q(z)?
True
Let x(j) = 3*j + 1. Let q be x(1). Does 2 divide (-30)/4*q/(-6)?
False
Suppose q - 20 - 28 = 0. Suppose -2*l = -q - 14. Does 15 divide l?
False
Suppose -5*t - 2*y = -38, 2*t - 50 = -3*t - 5*y. Let j(r) = r - 2. Let b be j(t). Suppose -2*a + 2*v = -14, 2 = 3*a - 2*a + b*v. Does 4 divide a?
False
Is 7 a factor of (-4)/(-6) + (-1160)/(-24)?
True
Let g be ((-24)/(-10))/((-8)/(-20)). Let f(q) = 6*q**2 - 2*q - 2. Let a be f(2). Let b = a - g. Does 12 divide b?
True
Suppose x = -3 + 13. Does 10 divide x?
True
Suppose x + 2*x = 0. Suppose x = p + 3*m - 31, 5*p - 3*m = m + 117. Let b = p + 11. Is b a multiple of 18?
True
Suppose -7*q = -2*q - 5*f - 175, -3*q = -2*f - 100. Is 6 a factor of q?
True
Is 19 a factor of -10*21*(-4)/10?
False
Suppose 5*z = -3*x + 110, -3*x - 2*z = -0*z - 116. Does 8 divide x?
True
Suppose 5*d = 5*s