1080 = z, -3*z + 3*q + 2864 + 376 = 0. Suppose 9*h = -0*h + z. Is h a multiple of 8?
True
Suppose -60*s - 49419 = -77*s. Does 19 divide s?
True
Let t(k) = k**2 - 20*k + 13. Let j be t(14). Let l = j - -139. Suppose -3*b - m + 111 = 0, 2*b - l = -5*m + 19. Is b a multiple of 8?
False
Suppose 0 = 5*k - 27*k + 638. Is k a multiple of 5?
False
Let v = 389 + 37. Does 28 divide v?
False
Let i = -199 + 421. Is 8 a factor of i?
False
Let z be (-2)/9 - (-1226)/9. Suppose 0*a + z = -4*a. Let g = a - -47. Is g a multiple of 9?
False
Let d be -1*6/(-27) + (-3256)/72. Suppose 0 = 4*n + 79 - 287. Let l = n - d. Is l a multiple of 12?
False
Let f be (12/15)/(194/190 - 1). Let a = f + 51. Is a a multiple of 10?
False
Let x be ((-3)/(-18) + 20/(-8))*816. Is x/(-7)*3/4 a multiple of 34?
True
Let o(r) = 28*r. Let b be o(3). Suppose x = 3*x - b. Is 14 a factor of x?
True
Suppose -725 = -4*u - u. Let x be 1660/8 - (-2)/(-4). Let n = x - u. Does 26 divide n?
False
Let v = 4454 - 2816. Is v a multiple of 63?
True
Is ((-2645)/46)/((-4)/96) a multiple of 12?
True
Suppose -2*z = -5*g - 4*z - 62, -4*g = 2*z + 50. Is 226 - g/(-10)*(-10)/3 a multiple of 9?
False
Let z = -71 + 71. Suppose z = 4*b - p - 321 - 14, 80 = b - p. Does 10 divide b?
False
Suppose q - 152 = -0*u - u, 2*q - 276 = 5*u. Is q a multiple of 37?
True
Suppose 3*k + 2*p - 1 - 29 = 0, 3*k + p - 27 = 0. Suppose 0*m + 2*m = k, 2*h - 80 = -2*m. Is 35 a factor of h?
False
Suppose -3*f - 5*u = -9, -3*f - u + 8 = -1. Suppose 3*d = -4*x - 4, -4*d = -f*x - 0*x + 22. Does 4 divide ((-6)/12)/(x/(-20))?
False
Let b(p) be the second derivative of p**4/12 - 11*p**3/6 + p**2/2 + 11*p. Does 10 divide b(12)?
False
Let l(j) = -8*j. Let w(s) = -65*s - 1. Let v(y) = -51*l(y) + 6*w(y). Suppose -3*q - 2*o = -5, 4*q + 3*o - 7 = -2. Is v(q) a multiple of 12?
True
Let x(i) = i**3 + 7*i**2 - 21*i + 35. Is 9 a factor of x(-8)?
False
Let s(f) = 8*f - 2. Let x be s(4). Suppose 0*u + x = u. Is u a multiple of 6?
True
Let v be (-3 + (-12)/(-2))*-1. Let i = -1 + v. Let r(x) = -2*x**3 - 4*x**2 - 3*x - 4. Is r(i) a multiple of 19?
False
Let v = 234 + 225. Is v a multiple of 17?
True
Let q = 1794 - 1250. Is 38 a factor of q?
False
Let a be 4/(-30) + (-1735)/(-75). Suppose -3*o = -x - 81 + 4, -x = o - a. Does 14 divide o?
False
Suppose 3*p - 8 = 4*p + 3*x, -60 = -5*p + 5*x. Suppose -4*b + 1 = -4*t - 3, -p = 3*t - 4*b. Is t even?
False
Suppose -42 = 2*f + 5*l - 213, -5*f + 3*l = -443. Suppose 0*c + f = 4*c. Does 31 divide (-3 - (-36)/8)*c?
False
Suppose 0 = -2*g - 4*p + 232, -3*g - 2*g + 2*p + 520 = 0. Suppose 5*i + 30 = 2*r, 5*r + 0*r = -3*i + g. Is r a multiple of 5?
True
Let k(c) = 5*c**2 + 4*c - 45. Is 4 a factor of k(5)?
True
Does 20 divide ((-84)/18)/(11/(-693))?
False
Let q = -121 - -607. Is 18 a factor of q?
True
Let o = -172 + 614. Is 34 a factor of o?
True
Let k be (-4)/3*(-897)/46. Let l = -24 + k. Suppose 36 = a + l*a. Is a a multiple of 6?
True
Suppose 20*b - 749 = 1051. Does 15 divide b?
True
Let w be -4 + -3*(-32)/12. Suppose -19 = -w*i + 109. Is 9 a factor of i?
False
Let m be -2 - 166*1/(-2). Let x = m - 36. Is x a multiple of 6?
False
Suppose -4*q + 1152 = -5*w, 0*q + 864 = 3*q + 5*w. Suppose -4*a - q = -4*d, 2*d + 60 = 3*d - 5*a. Is 25 a factor of d?
True
Let x be -937 - (0 - 3 - 0). Let c be x/(-5) - 1/(-5). Suppose -c = -5*r - 27. Is 16 a factor of r?
True
Suppose 0 = 16*o - 413 - 147. Is o a multiple of 5?
True
Suppose 7*g - 3*g - 93 = p, -3*g + 3*p = -72. Suppose g = 4*i - 93. Does 7 divide i?
False
Suppose -842 = -5*q - 4*u, -10*q + 8*q + 347 = 5*u. Let n = q + -75. Does 13 divide n?
True
Let g(b) = -b**2 - b + 1. Let y(v) = -2*v**2 + 19*v + 65. Let k(m) = g(m) - y(m). Does 6 divide k(26)?
False
Is 35 a factor of (1 - 3) + (-57 - -1669)?
True
Let p(n) = -6 + 9*n - 5 - 22 - 12. Is p(23) a multiple of 18?
True
Let b = 2 + 1. Suppose -2*u = 8, 5*n + u + b*u = 4. Is n even?
True
Let r(s) = -15*s - 23. Does 42 divide r(-7)?
False
Suppose 4289 = 23*i - 9235. Is i a multiple of 42?
True
Does 9 divide (49 - (13 + -9))*3?
True
Let i(z) = -135*z**3 - 5*z**2 - 5*z - 5. Let v(s) = -406*s**3 - 14*s**2 - 14*s - 14. Let j(y) = -11*i(y) + 4*v(y). Is j(-1) a multiple of 40?
False
Let j = 154 - -1749. Is j a multiple of 17?
False
Let w(d) = 3*d**3 + 7*d - 8*d - 2*d**3 + 6*d**2 + d**2 + 2. Does 27 divide w(5)?
True
Let o = -16 - -19. Suppose -o*i - 2*i = -w + 19, 0 = 2*i + 6. Suppose -w*m = m - 50. Does 3 divide m?
False
Is 135 a factor of 88/3*(-87)/(-4)?
False
Let d = -20 - -22. Let l be 0/(-1*(1 - d)). Suppose 3*u - 41 - 10 = l. Is u a multiple of 17?
True
Suppose -488 - 151 = 3*j. Let k = 381 + j. Is k a multiple of 42?
True
Suppose 0*g - 3267 = -11*g. Suppose 2*f = -0*f - 4*r + 198, -3*f + 5*r = -g. Is 27 a factor of f?
False
Let j = -7 + 77. Does 3 divide j?
False
Let d(l) be the second derivative of -l**5/20 + l**4/6 + l**3/3 + 3*l**2/2 + 5*l. Let b be d(3). Does 7 divide -2 + 42 + 0 + b?
False
Is 1/(3/50)*21318/935 a multiple of 13?
False
Is ((-3114)/10)/(165/(-1375)) a multiple of 8?
False
Let f = -137 - -796. Is 15 a factor of f?
False
Suppose 0 = -4*m + 20 - 4. Suppose -m*y = -355 + 75. Suppose n - y = -9. Does 21 divide n?
False
Let r = 717 - 634. Is r a multiple of 14?
False
Let d = -16 - -11. Let h(k) = 6*k**3 + 8*k**2 + 3*k + 8. Let t(w) = 7*w**3 + 8*w**2 + 4*w + 9. Let y(l) = d*t(l) + 6*h(l). Is y(-8) a multiple of 14?
False
Let g(j) be the first derivative of -12*j**2 + 10*j + 8. Let t be g(8). Let m = -125 - t. Is 20 a factor of m?
False
Let v = 147 - 84. Suppose 2*g + 5*t - v = 0, 4*g - 4*t - 134 = -6*t. Is 4 a factor of g?
False
Let x(w) = -w**3 - w + 0 - 5*w**2 - 2*w**2 - 5 - 2*w**2. Let n be x(-9). Suppose 5*c = -5*v + 220, 3*c = 2*c + n*v + 54. Is c a multiple of 17?
False
Let l be (7/3)/(4/12). Suppose -4*x + 0*x + 4*s = 0, 2*x + 4*s = 30. Suppose 0 = -l*o + x*o + 40. Is 15 a factor of o?
False
Suppose 172*r = 176*r - 776. Does 2 divide r?
True
Suppose 0 = -2*x - o + 47, 5*o = -x - 2*x + 67. Suppose 0 = x*c - 28*c + 204. Does 20 divide c?
False
Let i = -11 + -4. Let n(f) = -708*f + 1445*f - 722*f + 7 + f**2. Is n(i) a multiple of 4?
False
Suppose -11*a + 441 = -8*a. Is a a multiple of 10?
False
Let w be 1719/(-63) - 2/(-7). Let p be w/45 - (-184)/(-10). Let n = 69 + p. Is n a multiple of 11?
False
Let h(i) = -i**3 - 18*i**2 + 14*i - 31. Let u be (-76)/20*(2 - -3). Is h(u) a multiple of 17?
False
Suppose 3*i - i + 2*d - 490 = 0, 3*d = 6. Suppose 4*v - 216 = -5*c, -5*c = v - i + 24. Is 30 a factor of c?
False
Let u = 32 + -27. Suppose -6*d + 190 = -d. Suppose 5*m + d = 2*t + 3*m, 3*t = u*m + 61. Is t a multiple of 13?
False
Let y = 10 + 17. Suppose b + y = 2*b. Is b a multiple of 18?
False
Does 80 divide -5 + 30636/60 + 6/15?
False
Suppose 7*a = -0*a + 203. Suppose -a = -5*z + 211. Is 12 a factor of z?
True
Let b be (-1658)/(-5) + 4/10. Let z be (-2)/(-4) - (-5)/2. Suppose -631 = -5*o + 4*d - 75, z*o - 2*d = b. Is 27 a factor of o?
True
Let m be (3*10)/(15/(-10)). Let f be ((-72)/20)/((-2)/m). Let q = 61 + f. Is q a multiple of 18?
False
Is ((-3666)/15)/(8/(-20)) a multiple of 32?
False
Suppose -4*b = -0*b - 80. Let y = -19 + b. Let t(k) = 23*k - 1. Does 6 divide t(y)?
False
Let a = -328 + 510. Does 26 divide a?
True
Does 17 divide 51/(((-51)/2)/(-17))?
True
Let p(a) = a**2 - 8*a + 7. Let d be p(8). Let u = d - -8. Suppose -w - 2*g = -4*w + u, 3*g + 10 = 2*w. Is w a multiple of 5?
True
Let g be (-4)/(-4)*-1*(1 - -6). Let b = g + 24. Is 6 a factor of b?
False
Suppose 0 = -0*f + 2*f - 210. Let s = 109 + -54. Let y = f - s. Does 10 divide y?
True
Let q = -7 + 211. Is q a multiple of 12?
True
Suppose -2250 = 7*q - 22*q. Is 15 a factor of q?
True
Let y = -8 - -13. Suppose 3*j = -2*z + 503, -z = 2*z + y*j - 756. Suppose 2*f + z = 5*a, 5*a = a + 5*f + 184. Is a a multiple of 17?
True
Suppose -4*t - 27 = -w - 9, 3*w = -t + 2. Suppose i - 60 = w*i. Let l = i - -120. Is 13 a factor of l?
False
Suppose 11*l - 2725 = -228. Is 75 a factor of l?
False
Does 67 divide (-2)/(6/1569*(-14)/28)?
False
Let s = 145 + -28. Let w be ((-45)/12)/(3/(-12)). Suppose 0 = -3*i + w + s. Is 22 a factor of i?
True
Suppose -3*d = 5*u - 1839 - 6473, -u = -d - 1664. Does 60 divide u?
False
Suppose z + 21 = p + 546, -4*z - 4*p = -2124. Does 11 div