i = a + o. Does 6 divide i?
True
Let x = 122 + -31. Is 44 a factor of x?
False
Let r be (4/(-3) - 3)*-6. Is (r/8)/(2/24) a multiple of 15?
False
Suppose 3*h - 2 = c + 13, c + 10 = 2*h. Is h a multiple of 3?
False
Let t = -23 - 3. Let v = t - -58. Is 8 a factor of v?
True
Let j be ((-9)/(-18))/(1/(-16)). Let h = j + 30. Is 11 a factor of h?
True
Is 2*-3*-17*1 a multiple of 23?
False
Suppose 3 = -u + 2*u. Let g = u - -3. Suppose 4*n - g = 2*n. Is 2 a factor of n?
False
Let y(x) = x**2 + x + 9. Let i(f) = f**2 + 4*f. Let l be i(-5). Suppose 5*p - 2*p + 2*s = -4, 5*p + l*s = -10. Is y(p) a multiple of 9?
True
Suppose 5*g - 17 = -5*h + 3*h, 5*g = 4*h + 11. Suppose 2*a + 2*a = 12, -4*c + 3 = -g*a. Suppose 7*l = -q + 2*l + 22, 3*q - 78 = -c*l. Is q a multiple of 18?
False
Let l = -48 - -138. Is l a multiple of 18?
True
Let d be (-5)/(15/5334) - -2. Is 20 a factor of (-2)/(-9) + d/(-27)?
False
Suppose -2*l + 30 = -2. Suppose -20 + 16 = -2*w. Suppose -w*a = -2 - l. Does 9 divide a?
True
Suppose 2*h - 11 = -5. Suppose n + 4*n - 263 = -m, -3*n = -h*m - 147. Is n a multiple of 12?
False
Let s(m) = -2*m. Let z be s(4). Let l = 23 + z. Does 15 divide l?
True
Let c = -7 + 13. Let b be (c/7)/(4/(-28)). Is 20 a factor of (-620)/(-30) - (-4)/b?
True
Let j(p) = -p - 1. Let f(u) = -7*u - 1. Let c(d) = f(d) - 6*j(d). Is 7 a factor of c(-4)?
False
Let l(z) be the third derivative of z**5/60 + z**4/6 + z**3/2 + 5*z**2. Let w = -4 - 3. Is 12 a factor of l(w)?
True
Does 6 divide 2 - -1*(-4 - -8)?
True
Suppose -4*k = -0*k + 20. Is 6 a factor of k + 23 - 0/3?
True
Let u(j) = 1 + 6 + j**2 - 5 - 2*j. Let b = -3 + 9. Is 20 a factor of u(b)?
False
Suppose -40 = y - 3*y. Is 4 a factor of y?
True
Let n = -89 - -173. Is 27 a factor of n?
False
Suppose 4*s - 162 = -5*z, 0*s + 166 = 5*z + 2*s. Let l = z - 20. Is 7 a factor of l?
True
Let t = -121 + 176. Suppose 5*f - t = -5*d, 5*f - 22 = 2*d - 9. Does 3 divide d?
True
Let c(z) = -4*z - 6. Suppose -u + 3*u - 4 = 0. Suppose -47 = 5*g + 4*v, -g - 3*v - u = -2*g. Is c(g) a multiple of 18?
False
Suppose -3*l = -5*l + 12. Let p = l + 0. Does 4 divide p?
False
Suppose 4*w - 4*g = 880, -3*w - 4*g + 660 = -g. Is w a multiple of 20?
True
Let z(i) be the second derivative of -i**4/12 + i**3 + 11*i**2/2 - 3*i. Let w be z(8). Does 8 divide (100/w)/((-2)/2)?
False
Suppose 0 = -0*n + 5*n. Suppose 24 = -4*b - 0*b. Let w = n - b. Does 5 divide w?
False
Let b(v) be the second derivative of -v**5/20 + v**3/6 + 13*v**2 + 5*v. Is 13 a factor of b(0)?
True
Let s(v) = -v + 14. Let y be s(0). Suppose 2*x + 5*r = 3*r - y, 2*x - 3*r - 11 = 0. Does 12 divide -1 + (x/2 - -26)?
True
Let x(p) = -2*p**3 - 4*p**2 - 2*p + 1. Does 25 divide x(-3)?
True
Suppose 4*j = l - 5, -5*l - 3*j + 2*j + 25 = 0. Let t = l + -3. Suppose -t*n = -3 - 25. Is n a multiple of 7?
True
Let d(n) = 6*n + 2. Let h be (-2)/1 - (0 + -20). Suppose 3*x - a + 0*a - h = 0, 0 = 4*x - 4*a - 32. Is d(x) a multiple of 12?
False
Let u(p) be the third derivative of p**4/8 + p**3 - p**2. Is 8 a factor of u(6)?
True
Suppose -y = -33 + 5. Suppose 4*d - 5*n - 67 = 0, 2*d - 11 - y = -3*n. Is 18 a factor of d?
True
Suppose 0*g - 84 = -2*g. Suppose 2*i + c = -2, 0 = -5*i + c + 3*c - 5. Is 1 - (-1 + g/i) a multiple of 14?
False
Let n(s) = 22*s - 3. Let x(w) = w - 1. Let d(u) = -n(u) + x(u). Let g be d(-2). Suppose -2*t + g = 2*t. Is 3 a factor of t?
False
Let g(v) = v**2 + 13*v + 34. Does 6 divide g(-14)?
True
Let j = 26 - 15. Is 3 a factor of j?
False
Let x(p) = 2*p**2 - 9*p + 10. Is x(8) a multiple of 22?
True
Let r(y) = -y**2 - 12*y + 5. Is r(-7) a multiple of 5?
True
Suppose j - 13 = 5*m + 8, -2*j + 60 = -4*m. Suppose 18 + j = 3*i. Is 11 a factor of i?
False
Let v be (-20)/(-6)*36/30. Suppose 2*x - 4*x = 4*g - 54, -v*x + 2*g + 108 = 0. Does 27 divide x?
True
Let l = -2 - -6. Let k(t) = t**3 - 4*t**2 + 5*t - 3. Does 5 divide k(l)?
False
Let k = 4 + -2. Suppose k*o + 112 = -4*h - 0*o, -91 = 3*h + 5*o. Let n = -1 - h. Does 19 divide n?
False
Is 6 a factor of (-74)/(-6) + (-4)/12?
True
Let v(q) = -2*q - 2. Let f(g) = g + 4 - 2 - 1. Let t be f(-4). Is v(t) a multiple of 4?
True
Let a = 8 - -22. Does 30 divide a?
True
Suppose 0*c + 5*c + 405 = 0. Is 12 a factor of (c/6)/(1/(-2))?
False
Let a = -104 - -120. Is a a multiple of 7?
False
Is (6/(-18))/(2/(-1692)) a multiple of 28?
False
Let v = -29 + 11. Is 23 a factor of 3/v + 601/6?
False
Suppose 0 = 3*i - t + 4*t + 129, 0 = -3*i + t - 145. Let o be (1 - -1)/1 + -1. Does 16 divide o/(-2 - i/23)?
False
Suppose 3*q + 5*n - 72 = 0, 3*q + 0*n - 72 = -2*n. Is q a multiple of 4?
True
Suppose 2*c - 172 = -5*m, 0 = 2*c + 4*m - m - 180. Does 19 divide c?
False
Let l be (-16)/104 - (-171)/13. Suppose -2*v + 3 = -l. Is 3 a factor of v?
False
Suppose 0*y = 2*y + 2*f - 16, 4*y = 4*f + 8. Is y a multiple of 5?
True
Suppose 0 = 42*n - 48*n + 282. Is 5 a factor of n?
False
Suppose 2*p - 22 = 2*h + 6*p, 0 = 5*h - 5*p + 85. Is (-10)/25 - 726/h a multiple of 16?
True
Suppose 0 = -2*h - 3*m + 51, -4*m + 0*m + 52 = 2*h. Is h a multiple of 12?
True
Let l(b) = b**3 - 6*b**2 - b + 2. Is l(7) a multiple of 20?
False
Let a(g) = -2*g - 25. Let v(i) = -3*i - 24. Let b(m) = -2*a(m) + 3*v(m). Is b(-9) a multiple of 22?
False
Let o be (-12)/3 + 2 + -16. Is -1 - (o - (-3)/(-3)) a multiple of 18?
True
Suppose 402 = 4*n + 50. Does 18 divide n?
False
Let n = 69 - 21. Does 48 divide n?
True
Suppose 1 - 40 = s. Let d be (-8)/(4/32 - 0). Let t = s - d. Is t a multiple of 18?
False
Let u = 10 + 20. Is 1/(61/u + -2) a multiple of 15?
True
Suppose -4 = 2*w - 10. Suppose w*b + 2 = 5. Does 5 divide (-30)/9*-3*b?
True
Suppose 2*o = -2, -3*o + 24 = 2*c - o. Is 2 a factor of c?
False
Let y(b) = b**2 + 5*b - 6. Is y(3) a multiple of 18?
True
Suppose 2*v = -4*z + 110, -5*v + 3*v = -3*z - 89. Is v a multiple of 15?
False
Let d be (-3 + 5)/2*60. Let j = d - 43. Is j a multiple of 17?
True
Let y(a) = -18*a - 6. Let r be y(-4). Suppose -r = -5*z + 2*z. Let d = z + -8. Does 7 divide d?
True
Suppose -2*u + 159 = -3*o, -2*o + 3*o = 5*u - 417. Is u a multiple of 16?
False
Let d = -75 - -117. Is 8 a factor of d?
False
Suppose -45 = -9*s + 396. Is s a multiple of 18?
False
Let z = -4 - -3. Is 13 a factor of 44/1 + 0/z?
False
Let w = 108 - 28. Is w a multiple of 10?
True
Let x(z) = -z**3 - z**2 + 2*z + 2. Is x(-4) a multiple of 7?
True
Let z(d) = -d**3 - 8*d**2 + 6*d - 13. Does 3 divide z(-9)?
False
Let s(h) be the third derivative of -h**6/120 - 7*h**5/60 - 7*h**4/24 - 3*h**2. Is s(-6) a multiple of 6?
True
Let n(f) = -f**2 + 2*f + 49. Is 26 a factor of n(0)?
False
Let s = 17 - 16. Suppose -5*l - 5*y + 3*y - 1 = 0, 3*y = l + 7. Let t = s - l. Is t a multiple of 2?
True
Let y(k) = -k - 4. Let t be y(-7). Suppose 2*z - 9 - 1 = -4*g, -12 = -2*z - t*g. Suppose 5*q - 4*q = z. Does 9 divide q?
True
Suppose 60 = -3*s - 27. Let a = s + 40. Is a a multiple of 11?
True
Suppose -5*h - 4*p + 463 = 73, 0 = h + 3*p - 89. Suppose 0 = -4*o + 6 + h. Let i = -2 + o. Is i a multiple of 12?
False
Let f(q) = 6*q - 9. Suppose 5*t - 29 = 6. Let m be f(t). Let i = m - 17. Does 6 divide i?
False
Let s be 31/3 + (-2)/(-3). Let m = 0 + -3. Let x = s + m. Is 3 a factor of x?
False
Let u(c) = -2*c + 23. Let h(o) = o - 12. Let w(b) = 5*h(b) + 3*u(b). Let f be w(7). Suppose 4*a = -2*j + 3*j + 42, -a - 4*j = -f. Is a a multiple of 4?
False
Let z(r) = r**3 + 4*r**2 + 2*r - 1. Let s be z(-3). Suppose -2*c - 5*p + 140 = 3*c, s*c + p - 52 = 0. Is 16 a factor of c?
False
Suppose 4*u - 6 = 2. Suppose 0*a - 10 = u*a. Is (-20)/a*14/4 a multiple of 10?
False
Suppose -4*b + 6*b = -4*n + 182, 4*b + 3*n = 349. Does 39 divide b?
False
Let y(s) = -3*s - 15. Let z be y(-12). Let m = -13 + z. Is 6 a factor of m?
False
Let g = 2 + 10. Is g a multiple of 4?
True
Let l be 3 + -1 + (-2)/(-2). Suppose 25 = -5*f, -l*w = 4*f - 0*f + 38. Is 10 a factor of ((-20)/6)/(1/w)?
True
Let b = -19 - -23. Let f be 3/(-12) + 34/8. Suppose 168 = 4*m + f*q, 2*m = -2*q + b*q + 92. Does 22 divide m?
True
Suppose 5*v + 5*r = -2 - 3, -5*r = -5*v + 35. Let h = v - -2. Is h a multiple of 5?
True
Let z = 3 + 13. Is 6*(-2 - z/(-6)) a multiple of 2?
True
Suppose -t + 4 = -3. Suppose -3*g = 4*m - 2, 4*m - 2*m + 2 = -3*g. Let u = t - g. Is 9 a factor of u?
True
Let g be 64/6 + (-26)/39. Is 