95 + -123. Let f(a) = -2*a**2 + a + 7. Let j be f(-5). Let b = h + j. Does 10 divide b?
False
Let c(p) = 1 + 3 - p + 1 + 2. Let q be c(4). Suppose m - 8 + 3 = 0, 0 = -q*j - 2*m + 166. Does 14 divide j?
False
Suppose 2*q + 3*q - 20 = 0. Suppose j - 61 = -q*u - 8, 211 = 3*j - u. Is 23 a factor of j?
True
Let o be (-2)/(-9)*-3*267. Let d = o - -259. Suppose 3*r + 19 = v + 137, -2*r + 3*v + d = 0. Is r a multiple of 18?
False
Suppose q + q + 24 = 0. Let j = q - -44. Is 10 a factor of j?
False
Suppose -d - 5*t = -2 + 20, -2*d + 2*t = -12. Suppose d*a - 5*u - 70 = 0, 2*u + 168 = 4*a - u. Is 16 a factor of a?
False
Let q = 214 + -124. Is 33 a factor of q?
False
Let t be 2/(-2) - 2/2. Let b = t + 4. Suppose -b*g - 3*s + 26 = 0, g = -s + 1 + 12. Is 5 a factor of g?
False
Let v(p) = -19*p + 1. Let k(c) = c. Let q(o) = -5*k(o) - v(o). Is q(1) a multiple of 6?
False
Let h(t) = 17*t**2 - 1. Let s be h(-1). Suppose 4*b - 144 = -s. Suppose -4*a + 108 - b = 0. Does 11 divide a?
False
Suppose 3*y - 10 = 2*y. Let j be (12/(-15))/((-4)/y). Suppose j*g = 4*w - 80, 3*w + g = -2*g + 69. Does 21 divide w?
True
Let v = -169 + 270. Is 16 a factor of v?
False
Let n(x) = 5*x**2 - 2*x + 3. Let u be n(-3). Let k = u - -38. Suppose 5*o - k = 18. Is 10 a factor of o?
False
Let k be (-3)/(-12) - (-31)/4. Suppose -4*m = 2*v + k, 0 = -2*v + 1 + 3. Is 17 a factor of ((-34)/m)/((-2)/(-6))?
True
Let v(u) be the first derivative of 11*u**3/3 - u**2/2 - u - 2. Does 5 divide v(-1)?
False
Suppose p + 291 = 5*z + 4*p, -z + 75 = -5*p. Does 20 divide z?
True
Let m = 13 - 8. Suppose 0 = m*h - h - 132. Is 9 a factor of h?
False
Suppose 3*m = -5*y + 63, 15 = -y + m + 34. Does 15 divide y?
True
Is 45 a factor of (-2)/(2/9 - 20/84)?
False
Suppose 0*p - p - 5 = 0. Let m = 10 + p. Does 2 divide m?
False
Let i(c) = c**2 + 5*c + 8. Let u(j) = j**2 + 6*j + 8. Let k(a) = 4*i(a) - 5*u(a). Does 16 divide k(-6)?
True
Let v = -18 - -39. Does 5 divide v?
False
Let c = -104 + 109. Is c a multiple of 5?
True
Suppose 0 = 3*d + 4*u - 546, 364 = 2*d + u + u. Is d a multiple of 26?
True
Let d = 46 - -2. Is 8 a factor of d?
True
Suppose -2*p + 57 + 3 = 0. Does 10 divide -1*(-1 - 0)*p?
True
Is 9 a factor of 120/(-30) + 79*1?
False
Suppose 0 = c - 0 - 4. Suppose -x - 171 = -3*x + 5*f, c*x - 2*f - 318 = 0. Suppose y - x = -2*y. Does 13 divide y?
True
Suppose -66 = -5*c + 4*c + 3*g, g + 62 = c. Is c a multiple of 12?
True
Let q = 5 - 9. Let m = q + 3. Let b = 5 - m. Is b a multiple of 6?
True
Let z(o) be the first derivative of o**4/4 + 7*o**3/3 + o**2/2 + 7*o + 3. Let h be z(-7). Is (3 - h)/((-3)/(-28)) a multiple of 14?
True
Suppose 0 = -0*r - 5*r + 25. Suppose 6*g + h = g + 42, r*h = -3*g + 12. Is 3 a factor of g?
True
Is (2/(-6)*-5)/(1/213) a multiple of 15?
False
Let d = 192 - 61. Is d a multiple of 16?
False
Suppose -2*y + 0 = -46. Suppose -y = i - 2*i. Is i a multiple of 6?
False
Suppose 0 = -4*x - 5 - 11. Let i = 6 + x. Suppose 116 = 3*j + 5*d, -j - 5*d = -i*j + 52. Is j a multiple of 21?
True
Let r(c) = 2*c - c**2 - 2*c + 10 + 6*c. Let h be r(8). Does 4 divide 2/h + 28/3?
False
Suppose l - 158 = -44. Is l a multiple of 20?
False
Let s be (0 + -1 + 2)*-2. Let o be (-452)/6 - s/(-3). Let j = 110 + o. Does 17 divide j?
True
Let l = 59 + -24. Is l a multiple of 7?
True
Let p(a) = a**2 + 6*a - 4. Suppose -4*x - 5*g + 10 = -x, 0 = 5*x + 4*g - 21. Is p(x) a multiple of 17?
True
Suppose 0 = -3*x - 2*x - o + 52, -4*x - o + 41 = 0. Does 4 divide x?
False
Let q(j) = -j**2 + 8*j - 7. Suppose -4*x + x - 4*r + 31 = 0, -5*x = -3*r - 13. Is 3 a factor of q(x)?
False
Let h = 160 - 49. Let x = h - -1. Suppose 2*m - x = -2*m. Is m a multiple of 11?
False
Suppose -4*t - 3*b = -101, -b - 34 = -0*t - t. Is 5 a factor of t?
False
Let h(x) = x**2 - 5*x + 6. Suppose 5*z = -5*l + 14 - 4, 0 = 3*l + 5*z. Is 5 a factor of h(l)?
False
Suppose -s = -3*s + 18. Let x be ((-8)/(-6))/(3/s). Suppose -24 = -t - 3*j, -4*t - x*j - 18 + 90 = 0. Is t a multiple of 15?
True
Is 13 a factor of 18*((-60)/(-8))/3?
False
Let d be 4/26 + (-492)/(-13). Suppose 0*s = -4*s - 4*o + 48, -4*o = 3*s - d. Is 6 a factor of s?
False
Let d = -3 - -6. Let l be (-5 + 2)*d/9. Is 13 a factor of (l + -1)*(-13 + 1)?
False
Let r = 5 - 5. Suppose -v = -r*v - 24. Is 10 a factor of v?
False
Let i(g) = -2*g**2 + 2*g + 93. Is i(0) a multiple of 8?
False
Let p be (9/6)/((-9)/(-6)). Is 90/3 - (5 - p) a multiple of 9?
False
Is (-561)/(-22) - 6/4 a multiple of 12?
True
Suppose -48 = -r + 5*d + 140, 4*r + 4*d = 800. Is r a multiple of 6?
True
Suppose 0 = 2*b - y - 41, -4*y = -3*b - 0*b + 64. Is 3 a factor of b?
False
Let d(g) = g**2 - 6*g - 10. Let w be d(8). Suppose -w*o - 53 = -233. Is 10 a factor of o?
True
Suppose -4*m + 3*m + 20 = 0. Is m a multiple of 10?
True
Let y(a) = 13*a**2 - 2*a + 5. Is 20 a factor of y(3)?
False
Let m be (-20)/(-4) + 2/(-2). Suppose -3*a + 66 = 4*q, -2*a = -m*q - 22 + 78. Suppose 0 = -5*d + 7*r - 2*r + 5, 5*d + 5*r = q. Is d even?
True
Let s be (9/6)/(9/24). Is ((-24)/(-8))/(3/s) a multiple of 3?
False
Let n = -7 - -10. Suppose l - n*l = -102. Does 14 divide l?
False
Suppose -4*f + 11 = -9. Does 2 divide f?
False
Suppose -4 - 6 = 5*g. Let k(o) = -2*o**3 - 5*o**2 + 3 + 3*o**2 - 2 + 2*o. Does 5 divide k(g)?
True
Suppose -40*f - 46 = -41*f. Is 18 a factor of f?
False
Let l be (-4)/(-30) + (-544)/30. Let y = l + 32. Does 4 divide y?
False
Let c be (0 + -40)/(0 - 1). Let z = -6 + c. Does 17 divide z?
True
Let b(m) = 7*m**3 + 20*m**2 - 27*m - 27. Let u(s) = 11*s**3 + 30*s**2 - 41*s - 40. Let h(w) = -8*b(w) + 5*u(w). Is h(-11) a multiple of 16?
True
Let v(i) = 2*i**2 + 2*i + 3. Let o be v(-2). Let m(c) = -c**2 + c + 2. Let l be m(-2). Let y = o + l. Does 3 divide y?
True
Let f = 28 - 19. Is f even?
False
Suppose -49 = -2*a + 95. Is a a multiple of 24?
True
Suppose 5*o - a - 9 = 0, -5*o + 5*a + 4 = -1. Suppose 5*v + 81 = o*b + 286, -4*v + 5*b = -181. Does 19 divide v?
False
Let g(d) = -d**3 + 1. Let y(p) = 38*p**3 - 2*p**2 + 4. Let z(h) = 3*g(h) - y(h). Is z(-1) a multiple of 15?
False
Suppose -2*p - 2*a + 184 = -0*a, 420 = 5*p - 3*a. Does 29 divide p?
True
Let s(y) = 3*y**3 - 2*y**2 - 2. Let k be s(3). Suppose 4*z = 2*u - z - 122, -5*z + k = u. Let v = 92 - u. Is v a multiple of 9?
False
Suppose -p + 5*v + 39 = 0, -3*p + 79 = -v + 5*v. Is p a multiple of 5?
False
Let n(k) = -k - 1. Let x(g) = 2*g + 18. Let m(y) = 3*n(y) + x(y). Is m(0) a multiple of 15?
True
Suppose 5*r + 170 - 970 = 0. Is 32 a factor of r?
True
Let d(b) = 2*b**2 + 5*b - 7. Is 14 a factor of d(-7)?
True
Let j = 86 + -1. Does 17 divide j?
True
Suppose -4*u = -4*x - 10 - 14, 2*u = -x + 6. Let l = u - 0. Does 3 divide l?
False
Suppose -i = -54 + 3. Suppose 0 = -z - 2*z + i. Is 7 a factor of z?
False
Let i = 150 + -78. Does 15 divide i?
False
Suppose 3*r + 3*j + j - 660 = 0, 4*r + 4*j = 880. Suppose -v = -2*n - 36, 5*v = -n + r - 29. Does 19 divide v?
True
Suppose 0 = 3*x - 7*x + 56. Suppose 14 = 4*u - 3*u + 3*y, -y - x = -2*u. Does 8 divide u?
True
Let n = -87 - -30. Let r = -25 - n. Is 23 a factor of r?
False
Let b(w) = -2*w - 6. Let k(r) = -r**2 + r + 1. Let u(n) = -b(n) - k(n). Is 7 a factor of u(-4)?
False
Suppose 0 = x - 5, 5*t - x = -20 + 5. Let u be (-4)/t + (4 - 16). Is u/25 + (-252)/(-5) a multiple of 15?
False
Suppose 3 - 6 = 3*j. Let a be (0 - 1/j)*0. Suppose a*o = o - 40. Is 22 a factor of o?
False
Let u be 2 + (2 - 1 - 1). Suppose -u*i + 6 + 4 = 0. Is 3 a factor of i?
False
Let l(p) = -2*p - 2. Does 6 divide l(-7)?
True
Is 16 a factor of 40*6/75*5?
True
Suppose -8 - 7 = 3*d. Is 3 a factor of (-8 - -23)*(-2)/d?
True
Suppose -622 = -4*z + 3*v - 85, 2*v = 4*z - 542. Is 23 a factor of z?
True
Let l(c) = -c**2 - 4*c - 2. Let o be l(-3). Let m be 11 - 2*(0 + o). Suppose -2*f + 4*j + 51 + m = 0, 4*j - 108 = -4*f. Is f a multiple of 14?
True
Let i(f) = 2 + 3*f**2 + 3*f**3 + 4*f**3 - 5*f**3 - 5*f**2. Is 19 a factor of i(3)?
True
Let t(d) = 48*d**2 - 6*d. Is 28 a factor of t(2)?
False
Is (4/12 + 8/(-6))*-38 a multiple of 38?
True
Suppose 0 = -3*l - 0*l + 12. Suppose l*r - 1 = -9. Is 14 a factor of r/(-3) - 116/(-6)?
False
Let x = -5 + 9. Suppose -4*s = 4*m - 28, -3*s + 5*m + 41 = x*m. Let f = s - -4. Does 16 divide f?
True
Suppose -3*g = 2*p - 37, 0*p = p - 3*g - 41. Is 13 a factor of