 359 = -5*i. Is 48 a factor of z?
True
Let x = -238 + 308. Is x a multiple of 3?
False
Let m be (-7)/14*(2 - 180). Suppose -m = -i + 13. Is i a multiple of 27?
False
Suppose 3*v + 52 = -2*w + 457, 4*w + 540 = 4*v. Is v a multiple of 4?
False
Let j(l) be the third derivative of l**6/120 - l**5/20 - l**4/8 - 7*l**3/6 - l**2. Let g(v) = v. Let d be g(5). Is 14 a factor of j(d)?
True
Is 37 a factor of (63 + -26)/(0 - (-1)/13)?
True
Let a(j) = j**2 - 2*j - 3. Let m = -6 - -3. Is 4 a factor of a(m)?
True
Is 3 a factor of 15/(-6)*(916/(-20) + 3)?
False
Let u be 0 + 3/(9/6). Suppose u*y = y + 196. Suppose 2*i - y = -2*i. Is i a multiple of 22?
False
Suppose 3*z - 3*v = -8 - 1, 0 = 4*v - 20. Let q(w) = w**3 - 3*w**2 - 4. Let t be q(2). Does 8 divide -1 - t/z - -31?
False
Does 28 divide (((-1680)/(-25))/(-6))/((-1)/15)?
True
Let v(t) = -5*t**3 + t**2 + 3*t - 1. Let i(f) = 6*f**3 - f**2 - 3*f + 1. Let x(m) = -4*i(m) - 5*v(m). Does 7 divide x(4)?
False
Does 15 divide 2/15 - (-97164)/270?
True
Suppose -8*s + 5*s + 114 = 0. Let a = s - 12. Is 13 a factor of a?
True
Suppose -3*k + 2 = -k. Suppose -3*x = 71 + 28. Is x/6*k*-14 a multiple of 13?
False
Suppose -11331 = -44*i + 13309. Is 7 a factor of i?
True
Suppose -2*o = u - 10607 + 2708, 11841 = 3*o + 3*u. Is 38 a factor of o?
True
Suppose 5*r - 731 = 1489. Suppose 0 = 19*u - 25*u + r. Is u a multiple of 15?
False
Let h(i) = -2*i + 15. Let u be h(6). Suppose -u*o - 90 = -8*o. Does 6 divide o?
True
Is (-4590)/63*2*(-1 + -6) a multiple of 15?
True
Let f = 16 + -3. Suppose f*g - 208 = 9*g. Does 26 divide g?
True
Let i be (5/(-10))/(1/(-8)). Suppose 3*o = i + 5. Suppose o*w - 8 - 70 = 0. Is 13 a factor of w?
True
Let m(i) = -5*i**2 - 2 - i**3 + 0*i**3 + 4*i**2 + 0*i**3. Let t be m(-2). Suppose -2*s + 36 = t*s. Does 9 divide s?
True
Let z(x) = x**2 - 17*x - 12. Let g be z(17). Let p(c) = c + 19. Is p(g) even?
False
Let h = 870 - 417. Does 8 divide h?
False
Let c = 47 - 47. Suppose -2*u - 2*u + 348 = c. Does 46 divide u?
False
Let q(l) be the second derivative of -l**3/3 - 3*l**2 + 6*l. Is q(-6) a multiple of 3?
True
Suppose 0 = -c - 2*b + 730, -2*c - 3*b + 2895 = 2*c. Is 48 a factor of c?
True
Let h = 0 + 3. Suppose -h*g + 5*v + 11 = v, 5*v + 15 = 4*g. Suppose g*w = 8*w - 15. Does 2 divide w?
False
Suppose 2*l = -4*t + 597 + 509, 0 = 3*l - 2*t - 1699. Does 29 divide l?
False
Suppose 9*m - 1675 - 11276 = 0. Is 26 a factor of m?
False
Suppose -38*y = 1152 - 8258. Is 43 a factor of y?
False
Does 8 divide (864/(-45))/(3/(-10))?
True
Suppose -5464 + 51748 = 12*n. Does 133 divide n?
True
Let b(m) be the third derivative of -m**6/120 - 9*m**5/20 - m**4/3 - m**3 + 5*m**2 + 1. Does 15 divide b(-27)?
True
Let v = -35 - -53. Suppose -v*r + 9*r = -225. Does 5 divide r?
True
Does 11 divide 1/4 - 47139/(-228)?
False
Let p(v) = 1 - v**2 + 1 - 2*v**2 - 2*v - v**3. Let c be p(-3). Suppose -c + 124 = 4*d - 4*i, -14 = -d - 4*i. Is d a multiple of 9?
False
Suppose p = -p - 2*q + 6, -4*p - 3*q + 13 = 0. Suppose -b - p*b = -545. Does 9 divide b?
False
Suppose 238*t = 231*t + 9464. Is t a multiple of 42?
False
Let m = -183 + 489. Is m a multiple of 18?
True
Let h = 1609 + -1069. Is 21 a factor of h?
False
Let h = 19 + -10. Let t(r) = -3*r**3 - 13*r**2 - 3*r + 12. Let z(i) = 2*i**3 + 12*i**2 + 3*i - 11. Let a(p) = 3*t(p) + 4*z(p). Is a(h) a multiple of 12?
False
Suppose 0 = -0*z + 3*z + 120. Is 40 a factor of (z - -2)/(20/15 + -2)?
False
Is 5 - ((-4)/(-1) - 42) a multiple of 43?
True
Let x(u) = u**3 - 14*u**2 + 12*u + 18. Let f(d) = -14*d - 1. Let y be f(-1). Let c be x(y). Let a = 17 + c. Does 9 divide a?
False
Let t = 10 + 5. Let h = t - 29. Is 19 a factor of (19 + -4)*h/(-3)?
False
Suppose -3*q - 4*l - 10 = -3, 4*q - 20 = 2*l. Suppose -36 = -q*p - 5*o, 0 = p - 2*p + o + 12. Does 4 divide p?
True
Suppose 0 = 5*j - 7644 + 2079. Is 53 a factor of j?
True
Suppose h + 4*h + 25 = 0. Let q(k) = -k - 2. Let b be q(h). Suppose -b*s = 5*c - 18, -2*c - 6 + 0 = 0. Is s a multiple of 5?
False
Suppose -7*h + 3*h = 0. Suppose h = 4*l - 4*v - 228, 4*l + v - 228 = -4*v. Does 11 divide l?
False
Let c(n) be the third derivative of n**5/60 + n**4/6 - 5*n**3/6 - 20*n**2. Is 19 a factor of c(4)?
False
Suppose -35*u = -5682 - 2018. Does 11 divide u?
True
Let c be (-20)/8*(-28)/(-35). Is 66 a factor of -22*c/8*(-6 + 30)?
True
Let p = -50 + 36. Let x(l) = 2*l - 8. Let f(u) = 2*u - 8. Let a(m) = -6*f(m) + 5*x(m). Is a(p) a multiple of 12?
True
Let o(u) be the first derivative of 3*u - u**3 + 1/4*u**4 + 3/2*u**2 - 5. Does 8 divide o(3)?
False
Let z = 125 + -12. Let o = z - 72. Let u = 71 - o. Is u a multiple of 15?
True
Suppose 0*o = -o + 63. Does 12 divide o + (-4 - -6 - 5)?
True
Let c be (4428/(-8))/(-3) - (-2)/(-4). Suppose -3*d + c = 46. Is 10 a factor of d?
False
Suppose 0 = 5*j - 0*j. Let g = j + 3. Suppose -g*u + 0*u = -33. Does 4 divide u?
False
Let o be 6/((3/(-10))/(1/(-5))). Suppose 2*z - 33 = -o*u + 9, z - 3*u = 26. Is z a multiple of 3?
False
Suppose -p + 936 = m, -5*m = p + 447 - 1375. Is 15 a factor of p?
False
Let c = 5348 + -1567. Is 19 a factor of c?
True
Suppose -48 + 19 = -2*y + 5*d, -101 = -3*y - 4*d. Is (-6)/y - (-1808)/36 a multiple of 25?
True
Suppose -4*v + u = -1438 - 8741, -3*u + 3 = 0. Is v a multiple of 105?
False
Let q = 61 - 139. Let m be 4/22 + 4296/(-33). Let o = q - m. Is o a multiple of 26?
True
Suppose -5*o = 3*z + 2 - 28, -2*z + 4 = 0. Suppose -3*j + y = -o*j + 310, 2*j - 4*y - 620 = 0. Does 31 divide j?
True
Let l = 23 + -21. Suppose 6*n - 308 = l*n. Suppose -2*b + 4*r + 44 = -r, -4*r + n = 5*b. Does 9 divide b?
False
Let q = 46 - 43. Suppose 0 = -2*b, 2*b - b - 225 = -q*v. Is v a multiple of 15?
True
Let u(b) = 249*b**2 - 4*b - 5. Is 13 a factor of u(-3)?
False
Let h be 1 - 24/18 - 2184/9. Let x = -140 - h. Does 8 divide x?
False
Let v = 10 + -7. Let x(m) = m**2 - 8*m - 4. Let j be x(9). Suppose -v*r - 209 = -5*b, 5*b + 0*r - 185 = -j*r. Is 10 a factor of b?
True
Is (8 + (4 - 7))*(-4456)/(-20) a multiple of 16?
False
Let d(j) = 9*j. Let u(h) = -h + 1. Let v(q) = 14*q - 3. Let z(r) = -4*u(r) - v(r). Let n(g) = 5*d(g) + 4*z(g). Is n(2) a multiple of 2?
True
Let l(p) = p**3 - 2*p**2 - 4*p + 3. Let c be l(3). Suppose -m = 5*i - 287, c = 4*m - 3*m - 2. Is 7 a factor of i?
False
Let g(c) = -c**3 - 18*c**2 - 15*c + 35. Let d be g(-17). Let t(n) be the first derivative of 19*n**4/4 + 2*n**3/3 - n**2/2 - 1. Does 20 divide t(d)?
True
Suppose 0 = 14*r + 3673 - 10533. Does 14 divide r?
True
Suppose f = -3*w + 5*f - 11, 4*w + f = 17. Is 14 a factor of (w - 0) + (3 - 0 - -44)?
False
Let l be (-1128)/(-1 - 2 - -2). Let n be (-4)/(-18) - l/(-27). Suppose 0*g - n = -g. Does 14 divide g?
True
Let w = -394 + 634. Suppose -25*g + w = -20*g. Is g a multiple of 11?
False
Let v(k) = 7*k - 5. Let c be v(2). Let r = 41 - c. Suppose -6*z + r = 2*z. Is 4 a factor of z?
True
Suppose -36*x + 3640 = -57956. Is 22 a factor of x?
False
Let q = -48 - -53. Does 16 divide 65 + (1*q - (-3 + 6))?
False
Let f = 144 + -113. Suppose -2020 = -f*r + 11*r. Does 8 divide r?
False
Let d(x) = -23*x - 19 + 5*x - 5 + 13. Is d(-6) a multiple of 9?
False
Let i be 1/(1/(-13)*1). Is (-30 - i)*(-3 - 0) a multiple of 17?
True
Suppose 25 = 4*x + x. Suppose -x*k = 0, -2*b - k + 50 = 4*k. Let c = 48 - b. Does 7 divide c?
False
Suppose -25 = 5*j + 15. Let h be 4/(j/6)*-2. Suppose -3*r - 2*t = -145, -h = 5*t + 14. Does 16 divide r?
False
Suppose 7*l - 348 = 3*l. Let p = l - 6. Is 27 a factor of p?
True
Let k be ((-2)/(-4))/((-7)/(-518)). Suppose -3*s + 1 = -2*p + k, 68 = 3*p - s. Does 14 divide p?
False
Let g be 1*(-7)/(14/(-6)). Is (g/3 - -12) + 3/(-1) a multiple of 10?
True
Let m(f) = 787*f**3 + 3*f**2 - f - 1. Let j be m(1). Suppose 0 = -5*y - l + 858, 68 + j = 5*y + 2*l. Is 47 a factor of y?
False
Suppose 7 + 9 = -2*t. Let h(i) = -2*i + 6. Does 11 divide h(t)?
True
Let m = 897 - 599. Does 9 divide m?
False
Suppose -4*d = 0, v - 3*d = -3*v + 12. Let o = -1 + v. Suppose -o*g + 85 = -69. Is 28 a factor of g?
False
Suppose 29 = -4*j - 11. Is 16 a factor of 2*-1*(-4)/j*-160?
True
Suppose -14*v - 1530 = -20*v. Does 21 divide v?
False
Let h = -37 - -32. Is (-1406)/(-6) + (48/(-9) - h) a multiple of 39?
True
Suppose -6*m + v - 2 = -3*m, 4 = m - 5*v. Let w be 4 - 2 - (3 + m). Let 