et v = 129 - 19. Suppose -i = 5*u - 5, 0 = -4*i - u - u + v. Does 4 divide i?
False
Let b = 245 + -114. Suppose b - 49 = 2*s. Is 4 a factor of s?
False
Let p = -44 - -108. Is 16 a factor of p?
True
Let g(b) = 5*b + 5. Let i be g(9). Let l = i - 17. Does 3 divide l?
True
Suppose -4 = -3*m + 47. Let n = 18 - m. Let o = n - -3. Does 3 divide o?
False
Suppose 7*r - 120 - 468 = 0. Is r a multiple of 28?
True
Let d be 2 + (3 - 3) + 27. Let g = d - 1. Is 13 a factor of g?
False
Let j(f) = 165*f + 94. Is 26 a factor of j(4)?
True
Let h(w) = 8*w + 10. Let i(j) = -j + 1. Let m(c) = h(c) + 10*i(c). Is m(7) a multiple of 3?
True
Let n be 32 + 8/(0 + 2). Suppose -6*o + 0*o = -n. Does 2 divide o?
True
Suppose -14*j + 10*j + 5*n + 889 = 0, -5*j + 5*n + 1105 = 0. Does 21 divide j?
False
Let q = -1499 - -2507. Is 63 a factor of q?
True
Suppose 2*z - 2 = -5*j, -3*z = -2*j + 2*z - 5. Suppose j = -2*y - y + 153. Is 12 a factor of y?
False
Suppose -54 = -6*l + 18. Is 37 a factor of (0 - (-4)/l)*222?
True
Suppose r - 460 = -5*o - 4*r, 4*o + 5*r - 371 = 0. Suppose -4*a + o = -147. Does 12 divide a?
False
Suppose 3*m + 24 = -3*m. Let c = 5 - m. Let p(u) = u**3 - 9*u**2 + 8*u + 19. Is 13 a factor of p(c)?
True
Suppose -9*a + 378 = -0*a. Suppose -a - 10 = -2*b. Does 8 divide b?
False
Suppose 2516 = 4*k + 384. Is k a multiple of 31?
False
Let u = 3 + -5. Let c(s) = -15*s + 2. Let h be c(u). Suppose 3*m = -5*z + 61, -4*m + 160 = -5*z + h. Does 27 divide m?
True
Let j = 1185 + -925. Does 4 divide j?
True
Let q(t) = -t**3 + 4*t**2 - 3*t + 11. Let v be q(7). Let n = -100 - v. Is n a multiple of 25?
False
Let d(w) = w + 14. Let l be 51/(-6) - 3/6. Let y be d(l). Suppose 11 = 2*x - y. Does 4 divide x?
True
Let p be 0 + 0 + 0 - (72 + -88). Is 11 a factor of 90 - (12/p)/(9/24)?
True
Suppose -26 = -5*s - 4*z, -5*s - 3*z + 23 = -4. Suppose -s*i + 3*i = -12. Suppose 69 = 4*h - 2*h - k, -12 = i*k. Does 30 divide h?
False
Let z be 2*206/8*-2. Let g = 175 + z. Does 14 divide g?
False
Is 11 a factor of (-67 - -1)*(11/2 - 6)?
True
Let b be -1 + -3*12/(-9). Suppose 202 = -2*o + i, -o - b*i = -2*i + 98. Let z = o - -196. Is z a multiple of 24?
True
Suppose 448 = 3*o - 4*s, -4*s = -3*o - o + 600. Let q = o - 84. Suppose 3*y - 12 = -0*y, 3*r + 2*y - q = 0. Does 10 divide r?
True
Let q(a) = -3*a**2 + 9*a - 3. Let t be q(4). Is -3*2/(-3) + (111 - t) a multiple of 12?
False
Let z be (-4)/(-10) - 23/(-5). Suppose -j = -g + 2*j + 18, -4*g + 44 = -z*j. Let v(o) = o**2 - 2*o + 8. Is 14 a factor of v(g)?
False
Let i(c) = -151*c**2 + 6*c - 1. Let a(z) = 4*z - 3*z - 3*z + 101*z**2 - 2*z + 1. Let t(r) = -7*a(r) - 5*i(r). Does 10 divide t(-1)?
False
Let r = 78 - 6. Suppose -i - i = -r. Suppose -2*w + 18 = -i. Is w a multiple of 9?
True
Let l = 296 + -90. Suppose 0 = -5*r + 3*r - 4*k + l, 199 = 2*r - 3*k. Does 27 divide r?
False
Suppose 5*d - 4*q - 24 = 27, 44 = 4*d - 4*q. Let b(i) = -2*i**2 + 16*i. Is b(d) a multiple of 14?
True
Let v = -1182 - -2011. Is 18 a factor of v?
False
Let z(q) = q**3 + 12*q**2 + q - 14. Let u = 65 + -73. Is 18 a factor of z(u)?
True
Suppose -5*y + 15 - 78 = -2*l, -5*l = -y - 31. Let s(a) = -a**2 - 11*a + 4. Let b be s(y). Suppose 3*f - 4*g + 6 = 124, -b*f + 148 = 4*g. Is 19 a factor of f?
True
Let t be 1/3*(17 + -2). Let g(n) be the third derivative of n**6/120 - n**5/20 + 5*n**4/24 - n**3/6 + 3*n**2. Does 15 divide g(t)?
False
Is (-169776)/(-112) - (1 + (-2)/14) a multiple of 13?
False
Suppose -4*q = -2*b - 1524, -3*q - 3*b = -6*q + 1137. Is q even?
False
Let y(i) = 2*i - 27. Let f(q) = q - 13. Let x(u) = -7*f(u) + 4*y(u). Let p(a) = -8. Let d(r) = -9*p(r) + 4*x(r). Does 26 divide d(12)?
True
Let s(i) = 14*i + 8. Let h = -22 + 30. Is 26 a factor of s(h)?
False
Let w(l) = l**2 - 17*l + 36. Is 14 a factor of w(-19)?
False
Suppose 2*q - 3 = x - 2*x, 5*q - 13 = 3*x. Suppose 5*k = 2*r - 37, 3*k - 108 = -q*r - r. Does 19 divide r?
False
Suppose 11 = 2*u + w, 0*u + 2*w = -2*u + 12. Suppose 0*c + 4*c = k - 88, -u*k + c = -535. Is 14 a factor of k?
False
Let s(c) = -3*c - 3. Let k be s(-2). Suppose -k*p + 27 = -18. Is 2 a factor of p?
False
Let h = -102 - -105. Suppose 38 = 2*f - i, -5*i = -3*f + 5*f - 14. Suppose h*l + f = 125. Is 18 a factor of l?
True
Does 55 divide ((-477)/18 - 1)*-66?
True
Suppose -6*v + 4*v = -432. Is v a multiple of 24?
True
Let g(x) = -27*x - 57. Does 42 divide g(-13)?
True
Suppose 4*l - 323 = -z, 4*z = 5*z + l - 335. Is z a multiple of 30?
False
Let m(d) = d**3 + 5*d**2 + 4*d + 5. Let s be m(-4). Suppose 0 = 2*w - s*q + 13 + 7, -20 = -5*q. Suppose 4*b = -w*b + 28. Is b a multiple of 2?
False
Let o(b) = 2*b**3 - 3*b**2 + 16*b - 12. Does 12 divide o(8)?
True
Let g(d) = d - 6. Suppose -18 = -11*x + 8*x. Let q be g(x). Suppose 5*s = 4*o + 93, q*o - 5*o + 36 = s. Is 7 a factor of s?
True
Let j be (-58)/(-14) - -6 - 2/14. Suppose 3*x + h - 8 = 0, -j - 22 = -4*x + 4*h. Is 2 a factor of x?
True
Let z be (-10)/(-3)*15/10. Let s be (-65 - 0)*(-4)/10. Suppose 2*r - 5*u = 29, r + z*u - s = -4. Is 17 a factor of r?
True
Let x be 1253/21 + (-4)/6. Let a be (-2)/(-4)*(5 - -5). Suppose 0 = -a*j + 3*q + x - 17, j + 4*q - 13 = 0. Does 4 divide j?
False
Is 54 a factor of 200/50*189/2?
True
Is 18 a factor of 25/(-5) + (-5 - -389)?
False
Suppose 8*h - 12*h + 20 = 0. Suppose h*j - 3*j = -4*s + 100, 0 = -4*j + s + 200. Is j a multiple of 25?
True
Let r(g) = -36 + 6*g + 40 + 2*g**2 - g**2. Let m be r(-4). Is (-129)/(-15) - m/10 a multiple of 9?
True
Let r(q) = -q**3 + 19*q**2 + 120*q + 33. Is 2 a factor of r(24)?
False
Is ((-36)/(-8))/9 - (-1382)/4 a multiple of 14?
False
Let k(d) = -d**3 - d**2 + d + 405. Is k(0) a multiple of 9?
True
Suppose 0*f + 45 = -2*f + 3*b, 4*f - 3*b + 81 = 0. Let k = f + 18. Suppose k = -2*u + 8, 4*i - 6*i + 4*u = -30. Is 5 a factor of i?
False
Suppose -15*s = -20*s + 5. Does 2 divide -2*s*20/(-10)?
True
Let x be 200/12 + (-2)/(-6). Suppose -x*w + 7 = -16*w. Is w a multiple of 4?
False
Suppose 2*x + g - 1450 = -4*g, 2*x - 1436 = 2*g. Is x a multiple of 18?
True
Suppose 8 - 2 = 3*y. Suppose -2*w + d + 254 = 2*w, 0 = -d - y. Does 22 divide w?
False
Let a(n) = -171*n + 394. Does 71 divide a(-6)?
True
Let u = -86 + 87. Is 2/3*8*9*u a multiple of 16?
True
Suppose 0 = -21*j + j + 10560. Is 88 a factor of j?
True
Suppose 0 = -6*n + 2*n + 12. Let y = 8 - n. Suppose -110 = -y*d + 110. Is 22 a factor of d?
True
Suppose -u + 16 = 4*y - 23, -5*u = 5. Suppose -y*h = -3*h - 126. Is h a multiple of 9?
True
Let y(h) = h**3 + 12*h**2 - 2*h - 4. Let a be y(-12). Suppose 21*n = 26*n - a. Suppose -v + n*v = -2*u + 147, -3*u + 98 = 2*v. Does 11 divide v?
False
Suppose -4*n + 3*f = n - 2887, 2*n = -2*f + 1158. Is 34 a factor of n?
True
Let x(c) = 81*c**3 - c**2 - 4*c + 4. Is 7 a factor of x(1)?
False
Suppose -795 = 2*n - 6*n - u, 0 = -2*n + 2*u + 390. Is n a multiple of 15?
False
Let m = -154 - -157. Suppose -m*g - g + 672 = -4*h, 3*g - 505 = 2*h. Is g a multiple of 13?
True
Let n = 88 + -146. Let g = n + 145. Does 29 divide g?
True
Suppose -99 = -3*f + 3. Suppose f = -t + 107. Does 18 divide t?
False
Suppose b = -4*w + 75, -5*w + 6 = 5*b - 69. Let f = 75 + w. Is 8 a factor of f?
False
Let y = 13 - 9. Suppose -4 = y*t - 0. Is 6 a factor of (t - -2)*(3 + 9)?
True
Let a be 99*-1 - (11 - 8). Let w = 193 + a. Does 13 divide w?
True
Suppose -3*w = -4*b + 73, 0*w = 4*w - 4*b + 92. Let y = w - -67. Does 5 divide y?
False
Let d be 3/4*4 - -5. Is d/(-20) - (-392)/5 a multiple of 22?
False
Suppose -h = -v + 706, 4*h + 302 = v - 410. Is v a multiple of 44?
True
Suppose g - 17 = 35. Is g a multiple of 4?
True
Suppose -25*f + 20*f = -4*w - 3325, 4*f - 2660 = 4*w. Does 59 divide f?
False
Suppose 74*a = -4*h + 69*a + 2086, -2*a - 2072 = -4*h. Is h a multiple of 3?
True
Let c = 643 + -438. Is 72 a factor of c?
False
Let s(v) be the second derivative of v**5/20 + v**4/2 - 4*v**3/3 + v**2/2 + 21*v. Let c be (8/(-6))/((-14)/(-63)). Does 11 divide s(c)?
False
Let w be (-8)/(-8) - (1 - 6). Suppose -w*o = -5*o - 109. Suppose -3*z - 25 + o = 0. Does 9 divide z?
False
Let q(x) = 10*x**2 + 3*x + 4. Let n be q(-3). Let u be 4/1 - (-1 - 2). Suppose -2*k = -u*k + n. Is 17 a factor of k?
True
Let x(t) = t**3 - 16*t**2 - t + 40. Suppose 5*q - 3*z - 85 = -2*z, -q = z - 11. Does 4 divide x(q)?
True
Let