-o + t = 4*o. Is o a multiple of 6?
True
Suppose -6*s + s - 4*f = -460, 278 = 3*s + 2*f. Does 6 divide s?
True
Let b = -132 + 372. Does 6 divide b?
True
Let k be (2/6)/((-4)/(-300)). Let s = -60 - -86. Let p = s + k. Is p a multiple of 17?
True
Let u = -321 - -41. Let o = u - -506. Does 37 divide o?
False
Suppose -4*n + n = -9. Suppose -j = h + 5, -2*j - n*j + 4*h = -11. Is -3 - (j - -2)*-47 a multiple of 11?
True
Let k = 1 - -2. Suppose 4*x - k*i + 5*i = 122, 4*i + 26 = x. Is 10 a factor of x?
True
Let p be (0 - 0)/((-18)/(-9)). Let b = p + 3. Suppose 5*w - 149 = -b*r, 4*r = 2*r + 3*w + 93. Does 16 divide r?
True
Suppose 0 = 2*x + f + 34 - 234, -x + 100 = -4*f. Let t = -15 + x. Is t a multiple of 13?
False
Let y = -36 - -51. Let c = y + -23. Let h(d) = -2*d + 14. Does 6 divide h(c)?
True
Suppose w = 5, -5*t + 2*t = -5*w - 734. Does 12 divide t?
False
Let n = 92 - 89. Suppose 0*h + 3*t - 30 = -h, h - n*t = 60. Does 9 divide h?
True
Suppose -u + 9 = 2*i - 1, 4*u - 12 = -i. Suppose 60 - 252 = -2*v + 4*d, i*d - 508 = -5*v. Is v a multiple of 20?
True
Suppose -d + 132 = -k - 332, 0 = -3*d + 2*k + 1390. Is 14 a factor of d?
True
Suppose 2*c - c - 4 = 0. Let m = 4 - c. Suppose h + m*h = 17. Is h a multiple of 8?
False
Suppose 3*m + 3*a + 12 = 0, -3*a + 16 = -5*m - 4*a. Let c(s) = -5*s**3 - 5*s**2 - 3*s + 1. Is 10 a factor of c(m)?
True
Suppose -3*s - 6 = -0*s. Let d = 1 + 6. Does 26 divide s/d + (-552)/(-21)?
True
Let b be (-5 + -2 + 1)*-2. Let j(r) = r - 19. Let u be j(b). Let v = 39 + u. Is v a multiple of 16?
True
Let l = 29 - 11. Suppose 21*u = l*u + 42. Does 7 divide u?
True
Suppose -g - 4*g + 100 = 0. Is 40 a factor of (-7216)/(-20) + g/(-25)?
True
Let c = -1507 + 2322. Does 11 divide c?
False
Let o be 19/57 + (-1)/(6/(-2200)). Suppose -3*s + o = 37. Is s a multiple of 9?
False
Suppose 0*u = 2*m - 2*u - 94, -3*u - 49 = -m. Is 46 a factor of m?
True
Suppose 0*h = 4*g + 4*h - 136, 4*h + 206 = 5*g. Let k = -20 + g. Let i = k + 5. Is i a multiple of 10?
False
Let c(a) = 5*a**2 + 17*a + 6. Is c(8) a multiple of 12?
False
Let a = -196 + 220. Does 24 divide a?
True
Let o = 131 - -391. Does 34 divide o?
False
Suppose 853 + 1991 = 12*t. Does 14 divide t?
False
Let f = 191 + -35. Let j(b) = -b**2 + 2*b. Let i be j(2). Suppose -4*g - 28 + f = i. Does 22 divide g?
False
Suppose -16 = 2*m - 6*m. Let k(v) = v + 1. Let z be k(m). Suppose -o + z*o = 100. Does 7 divide o?
False
Let s = -12 - -10. Does 37 divide 1 - (4/s - 57)?
False
Suppose t + 24 = 3*t. Does 39 divide 2/t + 353/6?
False
Suppose 8*t = 3*t + 120. Let d be -2 - (-3 + (3 + 4 - -4)). Let i = t + d. Is i a multiple of 14?
True
Let x(u) be the second derivative of u**5/4 + u**4/6 - 5*u**3/6 + u**2 - 6*u. Does 8 divide x(2)?
True
Suppose 5*b + 2*z - 9 = 10, 5*z + 10 = -b. Suppose -b*h + 0*h + 70 = 0. Is h a multiple of 7?
True
Suppose -8 = -n - 6. Suppose 3*p - n*w - 86 = -0*w, w = p - 27. Is 16 a factor of p?
True
Let w(z) = -z**3 - z**2 - 4*z - 3. Let g be w(-2). Let d(x) be the third derivative of x**5/30 - 13*x**4/24 + x**3/6 + x**2. Is d(g) a multiple of 21?
False
Let i(d) = -4*d**3 - 12*d**2 - 5*d - 3. Let w(p) = -5*p**3 - 11*p**2 - 6*p - 3. Let v(l) = 4*i(l) - 3*w(l). Let j be (-4 + -5)*(-10)/(-6). Does 27 divide v(j)?
True
Suppose 6*q - 2822 = 2200. Does 18 divide q?
False
Let w(l) be the third derivative of -97*l**4/24 - l**3/3 - 15*l**2. Is w(-1) a multiple of 7?
False
Let s(h) = 154*h**3 + 20*h**2 - 43*h - 4. Does 8 divide s(2)?
False
Let r(p) = 12*p**2 + 4*p + 5. Let h(c) = -18*c**2 - 6*c - 7. Let v(s) = -5*h(s) - 7*r(s). Let t be v(-2). Let i = -13 + t. Is 2 a factor of i?
False
Let t = 307 - 139. Is t a multiple of 4?
True
Let j(y) = y**2 - 9*y + 2. Suppose -4*c = -f - 41, f + 3 = -2. Let m be j(c). Is (m - -1)*4/6 a multiple of 2?
True
Suppose -19*u - 127 + 317 = 0. Is 10 a factor of u?
True
Let v be (-7)/((-64)/(-60) + -1). Does 12 divide v/(-2) + 21/14?
False
Let i = -774 + 1394. Is 62 a factor of i?
True
Let m(l) = 17*l**2 + 17*l + 15. Suppose 0 = 2*j - 5*z - 0*z - 2, 2*j + 18 = -5*z. Let a(k) = 8*k**2 + 8*k + 7. Let s(f) = j*m(f) + 9*a(f). Does 7 divide s(-3)?
False
Let l be ((-9)/6)/((-5)/10). Suppose -3*y - l*c - 168 = -8*y, 4*y = -5*c + 164. Is 36 a factor of y?
True
Let h(m) = -169*m - 31. Is 22 a factor of h(-10)?
False
Is 3 a factor of (-8)/(-12) - (-4 - 466/3)?
False
Suppose -l + 1 - 4 = 3*a, 0 = -3*l + 5*a + 33. Let m be (2 - -1)/(l/(-4)). Does 2 divide 10 + m + 4 + -7?
False
Let g(p) = p**3 + 5*p**2 - 5*p + 6. Let y be g(-6). Suppose 4*m + y*v - 13 = -v, v = -5*m + 16. Is ((-2)/4)/(m/(-66)) a multiple of 4?
False
Let w = -4 + 4. Suppose 4*n + 5*b = -6 - 2, 2*n - 4*b - 22 = w. Does 13 divide (-6)/(-4)*58/n?
False
Suppose -342 + 34 = -y - 2*c, -4*y + 5*c = -1180. Is y a multiple of 30?
True
Suppose -2*f + 2 + 6 = 0. Suppose 130 + 518 = f*r. Suppose s + r = 3*s. Is s a multiple of 23?
False
Suppose 3*s - 37 = 38. Let y = 42 - s. Let r = y - 9. Is 2 a factor of r?
True
Suppose 4 = 14*h - 10*h. Is 8 a factor of -8*h/(5/(-5))?
True
Let n(a) = 13*a**2 + a - 2. Let c be (2 - -23)/(-5 + 4). Let h = 23 + c. Is 8 a factor of n(h)?
True
Let l be 53/(26/8 - 3). Suppose 0 = 4*b - 20, 5*r + b - l + 2 = 0. Does 13 divide r?
False
Let i(p) = -3 + 7 + 17*p - 4. Let n be ((-2)/4)/(2/(-4)). Does 6 divide i(n)?
False
Let y(f) = -2*f + 5. Let k be y(3). Let m be (k - 1) + -4 + 18. Let i(u) = 4*u - 12. Does 11 divide i(m)?
False
Let u(t) = -t**2 + 13*t + 5. Let q be u(6). Suppose 0 = 6*l + q - 323. Is 23 a factor of l?
True
Suppose 18*d - 2433 = 807. Is d a multiple of 9?
True
Let n be ((-18)/12)/((-2)/(-8)). Let b(j) = -5*j - 18. Let w be b(-3). Is 12 a factor of ((-27)/n)/(w/(-16))?
True
Does 25 divide (-137*(-2)/(-3))/(29/(-87))?
False
Suppose 2 = -2*u - 10. Does 30 divide 2/u - (-3430)/21?
False
Let g = 281 + 90. Is g a multiple of 25?
False
Let f(j) = -j**3 - 11*j**2 + 19*j + 28. Is f(-13) a multiple of 17?
True
Suppose -6*r + 5*c = -r - 110, -2*c + 28 = 2*r. Let h = r + -26. Let p = 13 - h. Is 8 a factor of p?
False
Suppose 15*i = 19*i - 4. Let n be (-31)/(i/12*4). Let g = -57 - n. Does 12 divide g?
True
Let l be (-5)/(25/(-15)) - -2. Suppose y + 5*v = 146, l*y = v - 5*v + 646. Does 14 divide y?
True
Let y(o) = -o**3 - 4*o**2 + 0*o**2 - 3 + o**2 - 6*o. Let f be y(-5). Let v = 129 - f. Is v a multiple of 24?
False
Suppose 4*r = -12 - 24. Let p = 11 + r. Suppose -4*i = 4*c - 68, -5*i = c - p - 11. Is 14 a factor of c?
False
Suppose -119*u - 14*u = -90440. Is 6 a factor of u?
False
Suppose -3*x + 1299 = c, 3*x + 0*x - c = 1305. Is 7 a factor of x?
True
Let y(p) = -p**3 + 7*p**2 + 9*p + 4. Let w be y(8). Let q be (-8)/w - 75/9. Let o = 15 + q. Is o a multiple of 3?
True
Let t(u) = 2*u + 4. Let p be t(8). Suppose 2*d - p = -3*d. Suppose -3*h + 4*h + 5*k = 31, 0 = -h + d*k - 14. Does 6 divide h?
True
Suppose 3*k - 6 = -0*k. Suppose k*o + 2*o = -8. Does 12 divide ((-3)/4 + o)*-12?
False
Let k(b) = -b**2 + 6*b + 10. Let g be k(7). Suppose -34 = g*w - 199. Does 11 divide w?
True
Suppose -5*d + 5*z + 155 = 0, -z - 127 = -6*d + 2*d. Suppose -5*r = -d - 133. Is 11 a factor of r?
True
Let s = 22 + -23. Let h(f) = -6*f**2 - 3*f - 1. Let t be h(s). Is 25 + 3 + t - 0 a multiple of 14?
False
Let u(x) = x - 3. Let r be u(3). Suppose 7*c - c + 90 = r. Let l = -12 - c. Is 2 a factor of l?
False
Suppose 0*j + 10 = 5*y + 5*j, 5*y - 2*j - 10 = 0. Suppose -g + y + 2 = 0. Suppose 3*z + 0*z - 57 = -3*i, 3*i + g*z = 59. Does 17 divide i?
True
Let k be (-4)/18 - ((-58)/(-9))/(-2). Let v(d) = -90*d - 3. Let b be v(-3). Suppose k*f - 5*n - b = -f, -3*f = 5*n - 244. Is 10 a factor of f?
False
Suppose 2*s = 3*g + 2679, -9*s + 13*s + 2*g - 5382 = 0. Is s a multiple of 42?
True
Let q be 2/3 - 14/(-6). Is 8/2 + (q - (-5 + 8)) a multiple of 4?
True
Does 10 divide (-17 + 248/16)*-1*1814?
False
Let c(n) = 10*n + 1. Let x(b) = b - 1. Let w(p) = -c(p) + 3*x(p). Is w(-6) a multiple of 6?
False
Let c(a) = a**2 + 12*a + 13. Let b be c(-11). Suppose 5*z - 387 = -u, 3*z - b*u - 318 = -z. Let v = 120 - z. Is 12 a factor of v?
False
Let l(f) = f**2 + 9*f + 11. Let h be 42/9 - 2/3. Suppose 3*n - 4*c + 48 = -n, 53 = -h*n - c. Is l(n) a multiple of 21?
True
Does 38 divide (-28)/(-35) + 105/25 - -1312?
False
Let t(d) be the third deri