39). Let c = x + l. Does 14 divide c?
True
Suppose -24 = -10*g + 7*g. Suppose 2*v + 2*k - 14 = -0*v, 4*k - 12 = 4*v. Suppose g + 6 = v*f. Does 4 divide f?
False
Suppose 4*q + 2*l + 3*l + 7 = 0, 4*q = l + 11. Let k(y) = 3*y**2 - 3 - y**q + 3*y + y**2. Is k(-3) a multiple of 9?
False
Let b be (-4)/(-3*(-6)/(-9)). Suppose b*d + 148 = 3*t + d, -4*d - 16 = 0. Is t a multiple of 9?
False
Suppose 5*m - 113 = -3*p + 77, -3*p + 114 = 3*m. Let n = 4 + 0. Suppose -m - 14 = -n*x. Is 13 a factor of x?
True
Let a = 1 - 7. Let c be a*(15/(-2))/3. Does 7 divide 33/c*(4 + 1)?
False
Let o(u) = u**3 + 16*u**2 - 10*u - 15. Let z be o(-17). Let a = -81 - z. Is a a multiple of 11?
False
Suppose -5*v + 20 = 0, d - 42 = -3*v + v. Suppose 5*a - 96 = 3*t, -t + 3 = -0*t. Let w = d - a. Is 12 a factor of w?
False
Suppose -3*j - 3*o + 285 = 0, j - 386 = -3*j + 2*o. Does 16 divide j?
True
Let v(l) = 11*l + 13. Let h be v(7). Suppose r - 34 = -0*r - 3*j, 5*r = 5*j + h. Is 5 a factor of r?
False
Suppose 4*k - 41 = 23. Is 20 a factor of ((-150)/(-40))/(1/k)?
True
Let s be 0*(-2)/(2 + -4). Does 5 divide (-3 + 8)*(1 - s)?
True
Suppose -5*m - 3*q + 2*q + 268 = 0, 154 = 3*m + 4*q. Is m a multiple of 18?
True
Let i = -53 - -163. Is i a multiple of 10?
True
Suppose 5*z - c = -3*c + 488, -5*z + 3*c = -493. Is 49 a factor of z?
True
Suppose 3*k = 2*w - 107, -w + 4*k = 4*w - 257. Is w a multiple of 7?
True
Let c(q) = 7*q**3 - 7*q - 5. Let y(a) = 3*a**3 - 4*a - 3. Let v(l) = 3*c(l) - 5*y(l). Let h be v(1). Suppose h*m - m - 20 = 0. Is m a multiple of 2?
False
Suppose 3*b + 95 = u - 2*b, -4*u - 4*b + 356 = 0. Does 15 divide u?
True
Let h be (-164)/(-3) - 6/9. Suppose -180 = -f - f. Let g = f - h. Is g a multiple of 12?
True
Suppose -4*r = 5*j - 32, 5*j = -5*r - 0*j + 40. Let w(t) = -t**2 + 12*t + 9. Is 15 a factor of w(r)?
False
Suppose -4*a = -2*x - 249 - 321, -2*a - x = -291. Is 8 a factor of a?
True
Let n = 13 + 63. Does 19 divide n?
True
Let g = -16 + 6. Let u = g - -21. Is u a multiple of 11?
True
Let r(k) = 4*k**2 - 3. Let g be r(-6). Suppose -94 - g = -5*f. Is f a multiple of 19?
False
Suppose 2*u - 33 = -u. Does 11 divide u?
True
Let a = 265 - 148. Does 13 divide a?
True
Suppose h + 80 = 2*h. Is h a multiple of 16?
True
Let s(b) = -1 + 2 + 2*b - 2. Let y(n) = -n**3 - 8*n**2 - 6*n + 10. Let h be y(-7). Does 2 divide s(h)?
False
Suppose g - 9 = -3*y, -3*g - g - 15 = -5*y. Suppose 0 = -4*x + y*s + 220, 3*x - 2*s + 3*s - 178 = 0. Is x a multiple of 27?
False
Let z(v) = -v**2 + 3*v. Let d be z(3). Suppose d*y + y - 30 = 0. Suppose y = r + 2*r. Is r a multiple of 9?
False
Let c(a) = -5*a - 1. Let p be (-11)/9 - (-12)/54. Let h be c(p). Suppose -w = 2*w - 5*i - 32, -4*w + h*i + 40 = 0. Does 9 divide w?
True
Let t = 7 + 180. Let n = t + -92. Suppose -4*k + n = 19. Is k a multiple of 7?
False
Let f(d) be the third derivative of 17*d**4/24 + d**3/3 - 9*d**2. Does 18 divide f(2)?
True
Let h(m) = -13*m**2 - 4*m - 5. Let d(u) = 3*u**2 + u + 1. Let t(p) = 9*d(p) + 2*h(p). Let v be t(2). Suppose 71 = 3*b - 5*z + 3*z, v = z. Is 9 a factor of b?
True
Let b = -32 - -43. Is 11 a factor of b?
True
Let b(i) = -26*i + 8. Let g be b(-7). Suppose -3*l = 2*l - g. Is 14 a factor of l?
False
Does 13 divide 1/2*(1 + 25)?
True
Let f = -26 - -376. Is 25 a factor of f?
True
Let y(q) be the first derivative of -q**2/2 + 2*q + 1. Let k be 0 + 0 + 5/(-1). Is y(k) a multiple of 7?
True
Let l = 24 + 1. Is l a multiple of 20?
False
Let k = 113 + -90. Is 23 a factor of k?
True
Is 6 a factor of (228/4)/(9/6)?
False
Let c = -1 - -4. Suppose -2*h - c*t = -99, -h - 1 = -2*t - 40. Is 15 a factor of h?
True
Let r(j) = -3*j - 16. Let q(h) = 3*h + 15. Let l(p) = -5*q(p) - 4*r(p). Is 3 a factor of l(-6)?
False
Suppose 0 = -0*p - 11*p + 990. Is 10 a factor of p?
True
Suppose 5*o - 26 - 19 = 0. Let k(h) = h - 6. Let s be k(8). Is 5 a factor of (-2)/s*-1 + o?
True
Suppose -3*f + 4 = -5. Let i be (-2)/(-2) + (6 - f). Suppose -4*c + 32 = i*g, 5*g + 0*g + 4*c = 38. Is 6 a factor of g?
True
Let n(x) = 3*x**3. Let o be n(2). Is 15 a factor of (o/(-10))/((-2)/35)?
False
Let j(a) = -2*a**2 + 3*a + 17. Let x(y) = -y**2 + y + 8. Let q(z) = -2*j(z) + 5*x(z). Is 6 a factor of q(0)?
True
Suppose -2*h - h - 21 = 0. Let o(x) = -x**3 - 6*x**2 + 6*x - 5. Is o(h) even?
True
Suppose q - c = 4*q - 14, -3*q - 5*c + 34 = 0. Let k = 1 + 2. Suppose -5*t = -3*z + 85, 8*z - k*z = -q*t + 153. Is z a multiple of 15?
True
Let m = -6 - -8. Suppose 0 = -6*t + m*t + 80. Is 20 a factor of t?
True
Let c(w) = -6*w - 4. Let r(g) = -5*g - 3. Let m(j) = 3*c(j) - 2*r(j). Is 34 a factor of m(-5)?
True
Let g(y) = 2*y**2 + 11*y - 4. Let x be g(-6). Suppose 3*s = -2*h - x, 3*h + s = 6*h - 19. Is 5 a factor of h?
True
Suppose 0*w + 8 = -4*w. Does 19 divide 189/5 + w/(-10)?
True
Let w be -1*(-22 - (-4)/2). Let h = w - -17. Is 10 a factor of h?
False
Let p be (52/39)/((-2)/(-117)). Is (4/(-8))/((-3)/p) a multiple of 10?
False
Let o be (4 - (-7 + 4)) + -4. Suppose -2*c = 5*a - 49, o*c + 22 = 5*a - 17. Is 9 a factor of a?
True
Is 16 a factor of (-7612)/(-28) + 7/49?
True
Is 27 a factor of (8 + -4 - -23) + 0?
True
Let h(n) = -2*n + 11. Let m be h(6). Let c(v) = -4*v**3 + v**2. Is 4 a factor of c(m)?
False
Let f(p) = 8*p**2 + p. Let h be f(-1). Suppose -h*t - 2*b = -3*t - 210, -5*t + 279 = -3*b. Does 19 divide t?
False
Suppose 5*u - 15 + 40 = 0, 4*q - 71 = 3*u. Let j = 24 - q. Is 3 a factor of j?
False
Let t = 6 - -4. Is 2 a factor of t?
True
Let z = 0 + 5. Suppose 5*m - 80 = 2*a, -m = -z*m - a + 77. Is 9 a factor of m?
True
Let h(m) = -m**3 + 7*m**2 - 5*m - 4. Let j be h(6). Let o(c) = -12*c**3 + 2*c**2 + 3*c - 3. Let b be o(j). Is 12 a factor of 3/(-12) - b/4?
False
Let q = 93 - 16. Let i = 115 - q. Does 19 divide i?
True
Suppose -3*z + 24 + 36 = 0. Is z a multiple of 11?
False
Let n(o) = -3*o**3 + o**2 + 3*o + 3. Let a(l) = l**3 - l. Let b(i) = 4*a(i) + n(i). Does 2 divide b(0)?
False
Does 13 divide (12/(-16))/(4/(-304))?
False
Let m(y) = 5*y - 1. Let t be m(-3). Let c = t + 41. Is c a multiple of 8?
False
Let w(b) = b**2 + 3*b - 2. Let n(v) = -v**2 - 3*v - 2. Let j be n(-2). Suppose o + q = j, -4*q - 31 = -5*o - 4. Does 8 divide w(o)?
True
Suppose 0 = 17*y - 22*y + 1595. Does 29 divide y?
True
Suppose -167 = -2*y + 6*r - 3*r, 3*y = -5*r + 279. Suppose t = 3*t - y. Is 17 a factor of t?
False
Suppose 6*t = 9*t - 432. Suppose -m + 4*m = t. Is m a multiple of 12?
True
Let v(y) = y**2 - 5*y + 12. Let x be -4*2/6*-6. Let c be v(x). Suppose -5*n - 6*a + 2*a = -c, 3*a = -5*n + 37. Is n a multiple of 8?
True
Suppose 9 = 5*i + 3*h, i - h = 2*i - 1. Suppose -t - 15 = -5*d, i*d + t - 22 = -t. Suppose -d*z = z - 85. Is z a multiple of 11?
False
Suppose 4*f - 2*c = -3*c + 110, -4*c = -4*f + 120. Is 14 a factor of f?
True
Suppose -2*g = b - 26 - 10, -4*b + 5*g = -92. Is b a multiple of 14?
True
Let g(t) = -t**2 - 7*t + 1. Suppose 0 = j - 3*l + 16 + 3, 0 = -4*j - 2*l - 20. Let a be g(j). Is ((-2)/(-4)*38)/a a multiple of 8?
False
Let i be 2/(-10) - 211/(-5). Let a = i - 18. Is a a multiple of 12?
True
Let p be 428/(-6) - (-2)/6. Let m = p + 113. Is 3/(-12) + m/8 a multiple of 5?
True
Let q be (1 + -2 - -4) + 0. Let b(w) = w**3 - w**2 + 2*w - 3. Let g be b(q). Suppose -s + g = -12. Does 11 divide s?
True
Suppose 2*b + 3*b = -a + 9, 0 = b - 4*a - 6. Suppose 0 = b*d + d - 123. Suppose 23 + d = 4*l. Is l a multiple of 8?
True
Suppose 0 = -s + 1, -5*s - 335 = -4*r + 140. Is 30 a factor of r?
True
Suppose -3*i + 2 = 8. Let j = i + 6. Is 2 a factor of j?
True
Let o(h) = -h**2 - 10*h - 3. Let a = -4 + 9. Suppose -a = f - x, -f - 8 = f - 4*x. Does 7 divide o(f)?
True
Let d = 0 + 5. Suppose -f = d*w, -14 = -4*f + 2*w + 74. Is 13 a factor of (-232)/f*(-5)/2?
False
Suppose 0 = -17*z + 15*z + 32. Does 8 divide z?
True
Suppose -3*d - 3*b = -5*b + 222, 4*b - 296 = 4*d. Let i = d - 12. Let o = -50 - i. Does 12 divide o?
True
Let u(t) = -t**3 - 7*t**2 - 8*t - 8. Let v be u(-6). Is 9 a factor of 6/(-4) - (-78)/v?
True
Suppose s = 6*s - 75. Suppose -4*o + 16 = -7*m + 2*m, 5*m = 5*o - s. Let h = m + 30. Does 13 divide h?
True
Let r = 1303 - 851. Is r a multiple of 28?
False
Suppose 4*l - 92 = 4*t - 32, -4*t = 4*l - 68. Suppose -l + 0 = -4*w. Suppose 4*k - 48 = -w*q, -3*q + 64 = q - 4*k. Is 11 a factor 