se 0 = u - h + 1. Is 5 a factor of u?
False
Let v be 2/6 - (-632)/12. Let c = v - 23. Let d = 62 - c. Is d a multiple of 11?
False
Suppose -5*g + 125 = -0*u + 5*u, 5*u - 5*g = 175. Suppose 50 = -2*o + 5*o - 5*i, -5*o = 5*i - u. Is 12 a factor of 10/25 - (-276)/o?
False
Let a = 6 - -49. Does 11 divide a?
True
Let t(y) = -y**3 - 9*y**2 - 12*y - 10. Does 8 divide t(-8)?
False
Let u(x) = -5*x**3 - 4*x**2 + 6*x + 9. Is 27 a factor of u(-4)?
False
Let g(o) = o**3 + 6*o**2 - 7*o + 5. Let d be -2 - (-1)/2*-10. Does 2 divide g(d)?
False
Suppose 3*m = 45 - 9. Is 4 a factor of m?
True
Let v = 0 + 2. Suppose -3*s = 3*z - 12, 6*z = v*z. Suppose 19 = s*x - 5. Is 3 a factor of x?
True
Let j(f) be the first derivative of 8*f**3/3 - 4*f - 5. Is j(3) a multiple of 17?
True
Let a = 7 - 7. Let t(h) = h**2 - 6*h + 4. Let g be t(6). Let l = a + g. Does 4 divide l?
True
Let v be 3/(-2)*20/(-15). Suppose v*a = -0*a + 50. Is 12 a factor of a?
False
Let m be (-16)/20*250/(-4). Suppose 3*f - 1 = m. Is f a multiple of 9?
False
Let f be (-28)/(-8)*(0 + 18). Suppose -2*o = i - 11 - f, -3*o = 2*i - 109. Does 13 divide o?
True
Let m = -103 - -15. Does 9 divide 27*1 + m/(-22)?
False
Suppose -3*n = -12 - 0, d - 53 = -5*n. Let h = d - 19. Is 7 a factor of h?
True
Suppose -2*d + 34 = -138. Let b = d + -56. Is b a multiple of 15?
True
Suppose -5*z = -3*t + 3, -z + 5 = 5*t - 3*z. Let s be (-1)/(-1) - (0 - t). Suppose 50 = 5*n - 5*a, 0*n + s*n = 4*a + 30. Does 3 divide n?
False
Suppose 0 = -5*o - 10, -7*y - 4*o = -2*y - 272. Suppose -3*j - 5*r + y = 0, -2*j + 3*r - 6*r + 36 = 0. Is j a multiple of 4?
True
Suppose -k - 81 = -2*t - 18, -3*k = 15. Does 5 divide t?
False
Suppose 0 = -4*z - g + 78 + 171, -2*z = 4*g - 114. Is z a multiple of 24?
False
Let c = 183 + -27. Is c a multiple of 19?
False
Suppose 0 = 5*t - 4*i - 527, -3*i = 2*t - 4*t + 208. Is t a multiple of 18?
False
Suppose -16 = -4*u, -2*i + 0*i = -2*u + 4. Suppose -4*z + i*z - 48 = 0. Is 10 a factor of 121/6 + 4/z?
True
Let m = -16 + 31. Is m a multiple of 7?
False
Suppose -5*t + 3*t = 4. Let g be t + 14 - (-1)/1. Is 5 a factor of 1*-1 + -2 + g?
True
Let l = 31 - 7. Suppose 4*j = 4*b - l, 2*j + 5 = -1. Suppose 0 = -b*o + 44 - 8. Is 4 a factor of o?
True
Let p be 0 - (-1)/((-3)/(-6)). Suppose p*a - 54 = -6. Suppose l + 3 = -4*c, 4*c + a = 4. Does 6 divide l?
False
Suppose -5*m + 339 = 114. Does 8 divide m?
False
Suppose 3*c + 2*b + 10 = -4, 0 = -5*c + 5*b - 40. Let z = -3 - c. Suppose u = 4*f - 119, z*f = -2*u + 6*u + 86. Is f a multiple of 15?
True
Suppose 20 = t - 3*u - 0, t + 3*u + 10 = 0. Suppose 3 = -3*c - 4*b + 12, -t*b - 43 = -4*c. Is 6 a factor of c?
False
Let z(r) be the third derivative of 0*r - 1/30*r**5 - 2/3*r**3 - 1/60*r**6 - 3*r**2 + 0 + 1/8*r**4. Is 11 a factor of z(-3)?
False
Suppose 4*o = 5*o + 5*t + 13, 0 = 3*o - t - 25. Suppose q = -4*q + 4*u - o, -q - 13 = 5*u. Is 7 a factor of (-140)/(-6) - 2/q?
False
Let w(y) = y**3 + 8*y**2 + 2*y + 3. Let o(l) = -5*l - 5. Let r be o(-5). Let a = 13 - r. Is w(a) a multiple of 17?
False
Suppose -2*b - 3*y - 13 = 0, 0 = -4*b + 2*b + 3*y - 7. Let u be (0 - 0)/(2 + b). Suppose -d = 3*v + 4 - 16, -3*v - 3 = u. Is 15 a factor of d?
True
Let s = -36 + 41. Does 5 divide s?
True
Let s = 117 - 75. Does 8 divide s?
False
Let b(u) = -2*u**3 + 23*u**2 - 26*u + 29. Let g(o) = o**3 - 11*o**2 + 13*o - 14. Let p(k) = 2*b(k) + 5*g(k). Does 14 divide p(8)?
True
Is 16/2 + (-15)/(-15) a multiple of 5?
False
Does 3 divide (1 - -2)/(9/42)?
False
Let j be ((-9)/6)/((-3)/4). Is 6 + -1*2 + j a multiple of 3?
True
Suppose 3*v + 6 + 9 = 0. Let w be (-40)/(-15)*(-3)/1. Let c = v - w. Does 3 divide c?
True
Let q = -11 - -20. Does 7 divide q?
False
Let w(q) = -q**3 - 4*q**2 + q + 2. Let l be w(-3). Let m = 29 + l. Does 19 divide m?
True
Suppose 5*v = 3*v + 62. Is 4 a factor of v?
False
Let m be (-11)/33 + (-52)/(-3). Let c = 41 + m. Does 29 divide c?
True
Suppose 0 = 3*v - 187 - 38. Does 32 divide v?
False
Let n(o) = 12*o - 2. Let q be (6/(-3))/(-1*1). Let a be n(q). Suppose -3*g = -a + 4. Is g a multiple of 6?
True
Suppose 3*c = -4*s + 167, -2*c + 7*c = -2*s + 87. Suppose -w + 21 = -g, 2*g = -4*w - g + 112. Let q = s - w. Is 9 a factor of q?
False
Suppose -2*f = 3 + 7. Let o = 9 + f. Does 5 divide (-18)/(1 - o)*2?
False
Let k(t) = t**3 - 2*t**2 + t - 2. Is 2 a factor of k(3)?
True
Suppose 58 = -2*d + 3*d. Suppose -6*a + 4*a = -d. Does 14 divide a?
False
Let p(k) = 13*k + 4. Does 10 divide p(2)?
True
Let q(l) = -l**3 + 9*l**2 - 8*l + 1. Let t be q(8). Let a be (-1)/(2/84*t). Is 2 a factor of ((-6)/9)/(4/a)?
False
Suppose -4*d - 18 = 14. Let t be (-2)/d - (-358)/8. Let u = t + -27. Is 18 a factor of u?
True
Let g(t) be the first derivative of t**2/2 + 6*t - 1. Is g(7) a multiple of 6?
False
Let r(y) = 3*y**2 + 11. Let i be r(8). Is 29 a factor of (4/(-7))/((-2)/i)?
True
Let o(i) = -i + 1. Let z be o(-5). Let x(k) = 12*k. Let j be x(z). Suppose 2*t = -4*p + 2*p + j, -4*p + 4*t + 144 = 0. Does 18 divide p?
True
Let u(f) = 4*f - 6. Let w be u(7). Let y = -10 + w. Does 5 divide y?
False
Suppose 3*t - 5*b = 77, -31 = -t - 2*b + b. Is t a multiple of 15?
False
Is 2 a factor of (-234)/(-15) - 9/15?
False
Let f(c) = c**3 + 10*c**2 + 3*c + 4. Let k be f(-10). Let x = k - -68. Does 21 divide x?
True
Suppose l + 43 = -0*l. Let u = 17 - l. Is 15 a factor of u?
True
Suppose -p + 6 - 17 = 0. Let q = -7 - p. Suppose -q*k + 16 = -40. Is k a multiple of 7?
True
Let r = 343 + -163. Suppose 0 = 2*t + t - r. Does 20 divide t?
True
Let u(s) = -s**3 - 10*s**2 + 5*s + 2. Let y be u(-9). Let v = 190 + y. Suppose 6*k - 3*k = -b + 83, -2*k + v = -2*b. Is 14 a factor of k?
False
Is 32 + 0 - 2 - -2 a multiple of 18?
False
Let r = 26 + -3. Let b = r - 15. Does 3 divide b?
False
Let j be (-9)/(0 + 3) + -13. Does 2 divide (2 - 1)*j/(-2)?
True
Let c(h) = -h**3 - 5*h**2 - 6*h + 6. Is 17 a factor of c(-5)?
False
Let r(a) = -a**3 - 19*a**2 - 23*a - 33. Is r(-18) a multiple of 4?
False
Let p be 37/7 - 6/21. Suppose 5*m - 37 + 14 = -4*u, -36 = -3*m + p*u. Is m even?
False
Suppose 10 + 10 = 5*x, 0 = 5*r - 5*x - 120. Does 5 divide r?
False
Let z be ((-4)/3)/(8/(-36)). Is ((-12)/(-15))/(z/15) even?
True
Suppose 4*u - 2*u = o - 23, -3*u + 74 = 2*o. Does 17 divide o?
False
Let v(z) = 3*z**2 + 1. Let x be v(-1). Let i = 22 + x. Is i a multiple of 26?
True
Let a = 15 - 21. Is -24*(0 + 2/a) a multiple of 7?
False
Let r(j) = -j**2 + 18*j - 9. Is r(13) a multiple of 8?
True
Let u be (-1)/(-2) - (-2)/4. Is 16 a factor of -15*(-1 + -2) - u?
False
Suppose 0*u + 5*u - 70 = 0. Let p = 30 - u. Is 16 a factor of p?
True
Suppose 2*g - 195 = 305. Suppose 0*l + g = 2*l. Suppose -l = -5*t - 0*t. Is t a multiple of 17?
False
Let z(x) = 2*x - 6. Let o be z(4). Suppose 11 = o*p + 3, -2*k + 144 = 4*p. Does 32 divide k?
True
Let t = 117 + -79. Does 2 divide t?
True
Let c(f) = -12*f - 1. Suppose 35 = -2*b - i, 5*i + 0*i + 25 = 0. Let v be (-2)/5 - (-9)/b. Is c(v) a multiple of 5?
False
Suppose u - 2*v - 134 = 0, -5*v = -3*u - 170 + 572. Does 17 divide u/8 + 1/4?
True
Let v(q) = 7*q + 3. Suppose -4*u + 4*o = -4, 0 = u + o - 13 + 2. Is 11 a factor of v(u)?
False
Let f = -4 + 2. Suppose 28 - 82 = 3*l. Does 11 divide l/((f - 1) + 2)?
False
Let m = -12 - 164. Let s = -101 - m. Is s a multiple of 24?
False
Suppose 0 = 4*m + 2*f + 27 - 119, -4*f + 64 = 3*m. Is m a multiple of 12?
True
Let v(h) = 8*h - 3. Let c be v(-6). Let r = c - -72. Is 11 a factor of r?
False
Suppose -4*c + 60 = c. Is 5 a factor of 164/14 - c/(-42)?
False
Suppose u - 25 = 47. Is u a multiple of 18?
True
Let v be (2 - -1)*-1*5. Let f = 24 + v. Suppose 3*s - f = -0. Is s a multiple of 2?
False
Suppose o + 0*o - 10 = 0. Is 7 a factor of (-10)/(-2)*28/o?
True
Let w = -159 + 307. Is w a multiple of 52?
False
Let t(q) = -q**3 - 5*q**2 + 6*q + 4. Let w be t(-6). Suppose -5*h = -2*g + 3, -g - 3*g = 3*h - 19. Let d = w - h. Is d a multiple of 3?
True
Let u be ((-67)/2)/(8/(-16)). Let j = u - 39. Is j a multiple of 14?
True
Suppose -5*a + 236 = 4*c, c - 5*a = 3*c - 118. Is c a multiple of 31?
False
Let k(b) = -b**3 + 7*b**2 - 6*b + 9. Let c be k(6). Suppose -3*u - u = -x + c, 4*x = u + 81. Is 7 a factor of x?
True
Suppose -5*x - 108 = -3*p, -4*x + 9 + 3 = 0. Is 6 a factor of p?
False
Suppose -3 = 3*n - 