 6. Suppose -6*l = l + 21. Does 33 divide j(l)?
True
Let r(d) = 27*d**2 - 2*d - 3. Let t be r(-2). Suppose -3*a + 441 = 3*p, -p - 3*a = -44 - t. Let w = p - 76. Does 21 divide w?
False
Let m(r) = 2*r**2 + 47*r - 6. Is m(-25) a multiple of 3?
True
Suppose -3*p + 660 = 3*x, 4*p + 389 + 299 = 3*x. Does 19 divide x?
False
Let i(p) = p**3 + 9*p**2 + 14*p - 52. Is i(8) a multiple of 61?
False
Suppose 33*s - 673 - 350 = 0. Does 7 divide s?
False
Let t be (-54)/(-45)*10/3. Suppose -4*l + 16 = 0, t*l - 2*l - 68 = 5*j. Does 26 divide 1052/22 + j/(-66)?
False
Let w(t) be the third derivative of 7*t**5/12 - t**4/24 - t**3/3 + 3*t**2. Let v be w(2). Suppose -v = -4*i - 0*i. Does 17 divide i?
True
Suppose -k - 2*k + 9 = 0. Suppose -5 - 163 = -k*n + 3*x, -2*n = -4*x - 112. Is n a multiple of 14?
True
Suppose -308*s = -302*s - 3600. Is s a multiple of 15?
True
Suppose -572 = -17*s + 788. Does 11 divide s?
False
Suppose 3*o = 2*z + 167, 5*z = o + 27 - 100. Is 43 a factor of o?
False
Does 27 divide (-134)/(-2)*(2 - -1)?
False
Let z be -2*(1/2 + 0). Is 36 a factor of 143 - (0 - z) - -2?
True
Suppose 4*k = 5*b - 7, 0*k + 10 = 5*k. Let t = b + 66. Suppose -2*g = -5*g + t. Does 10 divide g?
False
Let m be 2/((-3)/((-36)/8)). Suppose m = f - 4. Suppose f = x - 3. Is x a multiple of 6?
False
Let a be 3/(-1) + -6 + 12. Let z = a - 0. Suppose 35 = z*t - 2*t. Is 9 a factor of t?
False
Let u(b) = -b**3 - 2*b**2 - 4*b - 3. Let h be u(-2). Suppose 6*k - 26 = p + 2*k, p = h*k - 28. Is 4 a factor of 9/2 - (-9)/p?
True
Suppose 0 = 6*b - 17*b + 66. Suppose -b*g + 344 = -4*g. Is 25 a factor of g?
False
Let c be 24/18 + 476/(-6) + -2. Let q(j) = 5*j**2 + 9*j - 10. Let u be q(-7). Let i = c + u. Is i a multiple of 23?
True
Let y = 43 - 40. Suppose -31 = -3*l + 5*z, 3*l + y*z = z + 17. Does 2 divide l?
False
Let u be 20*7/(-14)*(-46)/(-5). Let o = -55 - u. Does 23 divide o?
False
Suppose -9*v + 167 = -8*v + 5*w, -5*w + 815 = 5*v. Is 6 a factor of v?
True
Let r be 36/9 + 8/(-2). Suppose 4*t = 2*d - r*t - 152, 404 = 5*d + 2*t. Is 16 a factor of d?
True
Let b(k) = -k**3 - k**2 + 82. Let q be b(0). Let u = q - 55. Is u a multiple of 9?
True
Suppose 0*l + 4*l = 12, 5*l = -4*v + 135. Suppose 3*h - 5*h + v = 0. Is 700/h + (-1)/(-3) a multiple of 14?
False
Let d(z) = -6*z + 20. Let k(o) = o - 5. Let f be k(5). Does 2 divide d(f)?
True
Suppose -3099 = -24*b - 315. Does 29 divide b?
True
Suppose 0 = -j, u - 3*j - 3249 = 2*j. Is 65 a factor of u?
False
Let f = -171 + 431. Is f a multiple of 25?
False
Let g = -57 - -223. Is g a multiple of 28?
False
Let d(b) be the first derivative of -2*b**2 + 16*b + 9. Does 10 divide d(-4)?
False
Suppose -4*l + 7*l = -15, 3*f = -4*l + 175. Suppose 4*d = -d + f. Does 13 divide d?
True
Suppose -4*c - 3 = -5*j - 19, 12 = 3*c + 5*j. Suppose -c*w + 49 = -15. Does 11 divide w?
False
Let h = -24 - -24. Suppose h = -3*r - r + 172. Is r a multiple of 11?
False
Let r = -8 - -18. Let u(q) = -q**3 + 6*q**2 - 3*q + 7. Let y be u(5). Let j = y - r. Is j a multiple of 2?
False
Let q(i) = -28*i. Is 8 a factor of q(-2)?
True
Let h(t) = 65*t**2 - 11*t - 30. Is h(-2) a multiple of 6?
True
Let n(x) be the second derivative of x**7/1260 - x**5/120 + 7*x**4/12 - 7*x. Let w(u) be the third derivative of n(u). Is w(2) even?
False
Let f = -45 + 101. Let u be f/7*9/6. Is 16 a factor of 183/u + 6/8?
True
Let x(u) = -2 + 0 + 1 + 0 - 868*u. Let k be x(-1). Does 12 divide (-6)/48 + k/24?
True
Is (-180)/(-32) + -6 + 819/8 a multiple of 48?
False
Suppose -68*y - 10426 + 67954 = 0. Is 18 a factor of y?
True
Let w = -9 - -8. Does 3 divide 8 + -3 + 0 + w?
False
Let y(t) = -t**3 - 3 + 5*t**2 - 3 - t + 4. Does 5 divide y(4)?
True
Suppose y - i + 2 = 0, -2*y = 3*i + i - 26. Suppose 23 + 1 = y*g + 2*o, -o = -g + 8. Suppose g = -4*j, -2*j - 4 = -2*f + 48. Does 12 divide f?
True
Suppose 3*r = -2*w - 35, -r - 2*r - 57 = 3*w. Let x = 48 + w. Does 9 divide x?
False
Let i = 168 - 173. Is 5 a factor of 1 + 47 + 0 + i?
False
Let z(m) = -68*m + 34*m + 32*m. Let i(j) = -16*j + 2. Let o be i(1). Does 8 divide z(o)?
False
Suppose -4*k - 2*g = 20, 0*g - 5 = k + 4*g. Let f(c) = -5*c - 11. Is f(k) a multiple of 4?
False
Is (-6)/(-4) - 11244/(-8) a multiple of 24?
False
Suppose 0*r + r = 0, 2*r - 18 = -g. Suppose -7*t = -66 - 270. Let l = t - g. Is l a multiple of 8?
False
Let l = 994 - 452. Let m = l + -346. Does 14 divide m?
True
Suppose n = -5*o + 7844, 0 = n - 3 - 1. Is 112 a factor of o?
True
Let q be -4 - 204 - (0 - 0). Let z be q/(-80) - (-2)/5. Suppose 2*p - p + 58 = z*f, -10 = -5*p. Is 10 a factor of f?
True
Let d = 56 + -45. Let p(r) = -r**3 + 13*r**2 - 17*r + 14. Does 23 divide p(d)?
True
Suppose -5*t = 4*r - 10, -r + t = -4*r + 2. Suppose 6*u - 2*u - 384 = r. Is 40 a factor of u?
False
Suppose 5*w + 2*x - 152 = 0, w + 5*x = 11 + 24. Suppose -243 = -7*c + w. Is 13 a factor of c?
True
Suppose -2*h = 4*c + 6, -5*h + 0 + 9 = 4*c. Suppose -4*x + 227 = 3*o, -5*o = -h*x + x - 389. Does 11 divide o?
True
Suppose v + 53 = 57, -2*v - 17620 = -4*d. Is d a multiple of 113?
True
Suppose 15*u = 10*u + 20. Suppose 3*s + n = 356, 0*s - 4*s = u*n - 464. Is s a multiple of 17?
False
Let y(h) = 4*h - 54. Let w be y(15). Does 18 divide 1279/w - (-4 - (-50)/12)?
False
Suppose -6*l = 11 - 29. Let b(d) = 4*d**3 - 3*d**2 + 2*d - 3. Is b(l) a multiple of 6?
True
Let w(n) = 7*n - 36. Let t be w(6). Let m(l) = 0*l + 3*l**3 - 4*l**3 + 6 - 8*l + 8*l**2. Is m(t) a multiple of 15?
True
Let j(m) = -m**3 + 12*m**2 + 7*m + 5. Is j(10) a multiple of 25?
True
Let t = 44 + -28. Is 8 a factor of 87 + (t/(-4))/(-4)?
True
Suppose 5*s + 3*b - 225 = 6*b, 3*b = 4*s - 180. Is 5 a factor of s?
True
Suppose -v + q + 43 = 0, 2*v - 5*v + 5*q = -119. Let s be 2*(1 + (-13 - 2)). Let o = s + v. Does 20 divide o?
True
Let i(t) be the second derivative of -t**4/12 - 3*t**3/2 + 13*t**2/2 + 4*t. Let k be i(-10). Suppose -45 - 18 = -k*m. Is 5 a factor of m?
False
Suppose -2*f = -16 + 56. Let z be 1*-664 - -1 - 1. Is z/(-10) + 8/f a multiple of 22?
True
Suppose u = -4*r + 2358, -22*u + 26*u + 1188 = 2*r. Does 10 divide r?
True
Let c = -16 - -18. Let t be 5 + 4 + -9 + c. Suppose -m + 3*v = -40 - 84, 456 = 4*m - t*v. Is 20 a factor of m?
False
Let p(y) = 3*y - 8. Suppose 0 = 3*j + 2*j + o - 40, -2*j + 5*o = 11. Is 5 a factor of p(j)?
False
Suppose -x = -0*x - 14. Suppose x*d = 15*d + 110. Does 8 divide d/(-3) - (-18)/(-27)?
False
Suppose 17*u + 322 = 19*u. Is u a multiple of 7?
True
Let c(l) = -l - 1. Let f be c(-16). Suppose 0 = -v - 2*v + f. Suppose v*h = t - 56, -2*t + 2*h + 88 = -2*h. Does 12 divide t?
True
Let f = -2 - -4. Suppose 0 = -4*w, f*w = -5*o + 2*o - 105. Is 7 a factor of ((-24)/(-15))/(-4)*o?
True
Let j be 3/(-4)*2*-2. Suppose 2*r = -2*k + 271 - j, -5*k = -20. Is r a multiple of 29?
False
Let a = -12 - -14. Suppose 2*h - 94 = -a*x, 3*x + 4*h - 128 = 13. Is x a multiple of 15?
False
Let v(h) = 2 - h + 2 - 1 - 3*h + 2*h**2. Let s be v(5). Suppose -2*a + s = 7. Is 8 a factor of a?
False
Suppose -5*q + c + 0*c + 801 = 0, -5*c = -20. Is 4 a factor of q?
False
Let k be ((-1)/(-2)*-2)/(2/8). Does 9 divide (-6 + 1)*k/(40/126)?
True
Does 6 divide (2052/126)/(((-6)/(-28))/3)?
True
Let h(t) = -3*t**2 + 33*t - 2. Let q be h(11). Suppose 4*u + 4 = 4*l, -9 = 3*l - 0. Is 9 a factor of q/(-4) + (-82)/u?
False
Let q(f) = -5*f + 2. Let o(v) = -v + 1. Let d(j) = -4*j + 17. Let x(p) = -d(p) + 2*o(p). Let k be x(0). Does 8 divide q(k)?
False
Suppose 665 = -73*x + 80*x. Does 11 divide x?
False
Suppose 1445 = 9*x - 5845. Is 54 a factor of x?
True
Suppose -3*u + 3420 - 1008 = 0. Does 67 divide u?
True
Let o be (4 - -2)*-2*(-3)/4. Suppose 500 = o*m - 4*m. Is m a multiple of 20?
True
Let s be (-3)/(-3) - 2/1. Let f(h) be the third derivative of h**5/5 - 20*h**2. Is f(s) a multiple of 3?
True
Let s be -6*2*(-11)/(-4). Suppose 0 = 2*f + 4 + 106. Let p = s - f. Is p a multiple of 7?
False
Let m be 1 - (-4 - (-5 - 2)). Does 7 divide 63/6*(16/(-3))/m?
True
Suppose 0 = -5*n + 7*k - 3*k - 6, -4*k = 2*n - 20. Let y be ((-28)/(-8) + -2)*n. Suppose -y*b + 112 = b. Is 7 a factor of b?
True
Suppose 4*w + 20 = 32. Suppose 4*v - 368 = -3*d, -4*d + 2*v = w*v - 482. Is 30 a factor of d?
True
Suppose u + 9218 = 3*g, -9222 = 84*g - 87*g + 3*u. Does 12 divide g?
True
Let m(h) = -h*