 = -49 + 75. Does 26 divide h?
True
Suppose 5*n + u - 163 = -2*u, -3*n + 93 = 3*u. Does 4 divide n?
False
Let l(b) = b + 11. Does 7 divide l(10)?
True
Let d(u) be the first derivative of u**3/3 - 2*u**2 + 2*u + 1. Let p be d(4). Does 6 divide (-31)/(-4) - p/(-8)?
False
Suppose 0 = -i + 14 + 42. Does 8 divide i?
True
Let x(a) = -a**3 + 7*a**2 + a - 2. Let z be x(7). Suppose -z*t = -123 + 8. Is t a multiple of 23?
True
Let h(k) = -2*k**3 - 5*k**2 - 4*k + 2. Let l be h(-4). Let b(u) = -6*u**2 + 3*u - 3. Let i be b(2). Let q = i + l. Is q a multiple of 15?
True
Suppose -n - n + 114 = 0. Does 28 divide n?
False
Let q = -5 + 8. Suppose 5*p + q*t = 78, -p = 2*p - 2*t - 62. Is 18 a factor of p?
True
Let t be 2 - ((-6)/2 + 3). Suppose 3*m - 3*f = -t*m + 122, -3*f = m - 10. Is m a multiple of 20?
False
Let x = -4 + 26. Does 22 divide x?
True
Let g be (-1)/5 - (-882)/35. Suppose 0 = -3*v + 94 - g. Let d = v - 8. Does 5 divide d?
True
Suppose 0 = -h - 5*p - 3, 5*h - 2*p - 31 = -4*p. Suppose -2*f + 2*j + 127 = h*j, -3*f + 168 = 3*j. Does 21 divide f?
False
Let z(j) be the second derivative of j**3/2 + 3*j**2/2 - 12*j. Let h be ((-4)/(-2))/(-1) + 5. Does 11 divide z(h)?
False
Let b(g) = 2*g**2 + 3*g - 3. Is b(3) a multiple of 6?
True
Let g(a) = 14*a**3 + a**2 + a - 1. Let f be g(1). Suppose -4*q + 37 = -f. Is 4 a factor of q?
False
Let u(x) = -39*x - 26. Does 33 divide u(-4)?
False
Let a(q) = -2*q**3 + 7*q**2 + q - 2. Let k be a(5). Let z be k/2 + 12/(-4). Let x = z + 55. Does 6 divide x?
False
Is ((-3)/(-2))/(4/72) a multiple of 9?
True
Suppose -5*n = -15 - 0. Let a be ((-4)/6)/(8/(-12)). Is 13 a factor of 26*a - (n - 4)?
False
Is (185/(-10))/((-3)/42) a multiple of 29?
False
Let v(p) = p**3 + 7*p**2 + 2*p + 6. Let w be v(-7). Is 9 a factor of (-6)/(-4) - 204/w?
True
Suppose -b = -2 - 3. Let v(n) = -3 - 3 + b - 15*n. Does 15 divide v(-2)?
False
Let n(a) = -16*a - 3. Let p be n(-6). Let w = -56 + 11. Let m = w + p. Is m a multiple of 16?
True
Suppose 2*m = -q - 0*m + 5, -q + 12 = -5*m. Let k = q + 4. Is k a multiple of 3?
False
Let h = 4 + -3. Let v be 46/4*(h - -3). Suppose 0 = -5*x - c + 83, -3*c + 6 = -2*x + v. Is 17 a factor of x?
True
Let g(m) = 3*m**2 - 7*m + 28. Let n(o) = -o**2 + 3*o - 14. Let z(y) = -2*g(y) - 5*n(y). Is z(0) a multiple of 7?
True
Let t(v) = -1. Let o(d) = 2*d - 9. Let r(q) = -o(q) + 6*t(q). Is r(-3) a multiple of 8?
False
Is 9 a factor of 5/(5/2) + 30?
False
Suppose 4*v + 6 = -p + 2*p, 0 = v + 1. Is -70*(p - (-5)/(-2)) a multiple of 9?
False
Let t = -6 + 15. Suppose m - 27 = -t. Is m a multiple of 4?
False
Let b(f) = -f**3 - 5*f**2 + 2*f + 2. Let i(g) = 2*g + 10. Let s be i(-8). Let v be b(s). Suppose 10 = -c + v. Does 16 divide c?
True
Let r = -145 - -154. Does 9 divide r?
True
Let x(t) = 4*t - 10 + 1 - 3*t. Let p be x(9). Suppose 3*k + 0*k - 69 = p. Is k a multiple of 9?
False
Let j(h) = 4*h - 3*h + h**2 + 4 - h. Is j(-3) a multiple of 13?
True
Let j(g) = 7*g - 6. Is j(6) a multiple of 9?
True
Does 5 divide 56/(-70)*50/(-4)?
True
Let o = 146 + -86. Suppose -5*g = -g - o. Is g a multiple of 10?
False
Let p be ((-36)/(-2))/(-3)*-1. Suppose 0 = -4*w + 14 - p. Suppose 0 = w*q + 3*q - 60. Is 12 a factor of q?
True
Let l(p) = -p**3 - p**2 - p + 1. Let o(b) = 3*b**3 + 12*b**2 + 6*b - 9. Let t(v) = 4*l(v) + o(v). Is t(8) a multiple of 11?
True
Suppose 2*b - 2 = b. Suppose 2*s + 2 = -2*l, -4*l = 5*s - b*l - 1. Is 69*s*(-4)/(-6) a multiple of 23?
True
Let o = -148 - -262. Is 14 a factor of o?
False
Suppose -5*v + 25 = 0, -3*v = 5*f + 2*v + 275. Let z be 3*(-2)/2*-1. Does 15 divide ((-6)/8)/(z/f)?
True
Suppose 4*f + 240 = 9*f. Is f a multiple of 13?
False
Suppose 4*u = 5*u - 36. Does 9 divide u?
True
Let y(c) be the third derivative of c**4/12 + c**3/2 - c**2. Is y(11) a multiple of 18?
False
Suppose 5*h - 222 = 5*u - 42, -5*h - 10 = 0. Let r = -56 - u. Is 8 a factor of 0 - (4 - 2) - r?
True
Suppose 5*s + 27 = -28. Let m = 15 + s. Does 8 divide 2/m - 15/(-2)?
True
Let f be (-70)/(-4)*8/10. Suppose 0*o - 3*u = 3*o - 102, 0 = -o - 5*u + f. Is o a multiple of 13?
True
Suppose 5*k - k = 3*c - 34, 4*k + 6 = c. Let j = 7 + -7. Is 13 a factor of j - (2 - (1 + c))?
True
Let k(y) = 50*y**2 - y + 1. Let b be k(1). Let h = 83 - b. Is 14 a factor of h?
False
Suppose 1450 = 2*o + 334. Suppose 5*s - 522 = o. Suppose 3*h = -q + 33, 5*q - h - s = h. Is q a multiple of 12?
False
Suppose -4*o + 2*r = -18, -4*o - 2*r = -0*o - 14. Let j(v) = -3 - v - o*v - 2 + 3. Is j(-4) a multiple of 7?
False
Let i = 2 + -1. Suppose 2*d - 32 = 3*o, 0 = -3*d - 4*o + 13 + i. Suppose -5*w = -5*m + 175, d = -3*m - 2*w + 90. Is m a multiple of 15?
True
Let n(j) = -3*j - 4. Let v(d) = d**2 + d - 4. Suppose 4*s + 12 = 0, g + 3 = s + 6. Let w be v(g). Is n(w) a multiple of 4?
True
Let a(x) = -x**2 - x + 4. Let p be a(0). Does 22 divide 49 - ((p - 2) + -1)?
False
Suppose m + n = -0*n + 6, 0 = -3*m + 5*n + 2. Suppose -2*i + m*i - 124 = 0. Is i/10 - (-2)/(-10) a multiple of 6?
True
Let u(y) = -3*y. Let r be u(-1). Suppose 0*t + 17 = r*f - 5*t, -5*t + 67 = 3*f. Does 14 divide f?
True
Let o(l) = 2*l + 5. Let v be o(-4). Let w = 6 + v. Suppose -2*y = w*y - 80. Is y a multiple of 12?
False
Suppose 0*o + 5*o = s - 117, 0 = 2*o - 6. Does 44 divide s?
True
Suppose -4*x - 34 = -f, -2*x = 2*f - 6*x - 88. Let t = f + -23. Let l = 58 - t. Does 11 divide l?
False
Suppose -24 = -4*y + 28. Let h(l) = 4*l - 16. Is h(y) a multiple of 9?
True
Let b = -8 + 10. Suppose -6*f = -b*f - 8. Suppose 58 = f*c - s, 0*s + 2*s = 5*c - 146. Is 23 a factor of c?
False
Let i(g) = -g - 1. Let y be i(1). Let d = 7 + y. Is 2 a factor of d?
False
Let i(y) = -22*y - 1 + y - 3*y. Let p be 2/3*(-6)/4. Is i(p) a multiple of 15?
False
Suppose -6*h + 4*h + 6 = 0. Suppose -k + 5 = h. Suppose -k*j + 2 + 5 = -d, 0 = -3*j - 5*d - 9. Does 2 divide j?
True
Let c = -1 + 43. Is c a multiple of 11?
False
Let l = -82 - -137. Is 15 a factor of l?
False
Let p = -129 - -275. Suppose 2*v + 0*v = p. Suppose 4*a - 61 = -3*w + 2*w, -5*a + 2*w = -v. Is 7 a factor of a?
False
Suppose 0 = -2*h + 3*d + 392, 0*d = -d + 2. Is 16 a factor of h?
False
Does 25 divide 1 + 2 + 95 - -2?
True
Suppose -3*o = -5*n + 972, 0*o = -n - 3*o + 180. Is 12 a factor of n?
True
Let o(p) be the third derivative of p**5/60 - p**3/2 + 4*p**2. Is 12 a factor of o(-7)?
False
Let a be (-1*2 - -2) + 2. Let x(p) = p + 4 + p + a. Is x(6) a multiple of 9?
True
Let o(w) = -7*w**3 - 8*w**2 - 7*w - 5. Let l(b) = b**3 + b. Let u(s) = 6*l(s) + o(s). Let v be u(-8). Suppose 0 = v*y - 63 + 15. Is y a multiple of 12?
False
Let p = -13 - -31. Is 9 a factor of p?
True
Let o = 29 - 11. Is 6 a factor of o?
True
Let p(h) = h**2 - 6*h. Let b be p(6). Suppose -86 = -b*r - 2*r. Does 14 divide r?
False
Is 22*(-2 - (-2 - (1 + 0))) a multiple of 3?
False
Let m(s) be the third derivative of -1/6*s**3 - s**2 - 4/3*s**4 + 0 + 0*s. Is 12 a factor of m(-1)?
False
Let q(z) = -2*z + 2. Let p be q(2). Let r = 4 + p. Is r a multiple of 2?
True
Let n(c) = c**2 + 6*c - 1. Let b be n(-6). Let k be b + 45 + (4 - 2). Suppose g + 2*t = 2*g - 14, 4*g - k = 3*t. Is 4 a factor of g?
False
Let z be 1/(2*3/12). Suppose -h - 2*h + u = -23, -2*h + z*u = -14. Does 5 divide h?
False
Suppose 2 = -3*r + 14. Let f(u) = 5*u + 2*u**3 + 1 - u**3 + 7*u**2 + r. Is f(-6) a multiple of 11?
True
Suppose -5*a = 2*g - 47, -89 = -2*g - 3*g - 3*a. Does 5 divide g?
False
Suppose -5*k = -235 - 665. Suppose 5*f - 5*q - k = 0, 2*q + 2 = 3*q. Is 19 a factor of f?
True
Suppose 0 = 2*w - w - 59. Let d = w + -87. Let b = 48 + d. Does 10 divide b?
True
Let m(h) = -h**2 - h. Let i(p) = 3*p**2 + 2*p + 2. Let y(o) = i(o) + 2*m(o). Suppose 0*j + 16 = -4*j. Is y(j) a multiple of 16?
False
Suppose 0*n - 2*n = -238. Does 13 divide n?
False
Suppose -2*k = 4*b + 2*k - 8, b - k - 12 = 0. Suppose 4*l - 23 + b = -2*y, 4*y + 2*l - 56 = 0. Is 8 a factor of y?
True
Suppose 0 = -0*k - 4*k + 400. Does 10 divide k?
True
Let w(j) be the third derivative of j**6/120 - j**5/20 - j**4/12 + j**3/6 + 5*j**2. Is 9 a factor of w(4)?
True
Let r(n) = -n - 3. Let o be r(-5). Suppose -4*q - o*k = -2*q - 94, -5*k + 25 = 0. Is q a multiple of 16?
False
Let v be (-2)/(-6) - 6/18. Let s = v - -5. Is s a multiple of 5?
True
Let o be (-21)/6*(-1 - -3). Let t(j) = j**3 + 6*j