e
Suppose 2*n + 0*n = -5*i + 14, 4*n - 10 = -i. Suppose -5*x - v + 7 = 0, 3*x + i*v = 2*x - 4. Suppose x*y - 3*t + 6*t - 26 = 0, 3*y - 5*t = 39. Does 8 divide y?
False
Suppose -15*u + 1400 = -11*u. Is 25 a factor of u?
True
Let a(v) = 3*v - 4*v + 7*v**2 + 3 + 4*v. Let y be (4/(-8))/((-6)/(-24)). Is 25 a factor of a(y)?
True
Let f = -489 + 838. Does 18 divide f?
False
Let b be (0 + (-5)/(-2))*2. Let v(a) = a - 1. Let n(i) = -2*i + 2. Let w(m) = -3*n(m) - 4*v(m). Is 5 a factor of w(b)?
False
Suppose -4*b = -2*c - 30, c + 21 = 3*b - 0*c. Does 6 divide b?
True
Let b = -9 - -22. Let t = 21 - b. Does 3 divide t?
False
Let u(w) = 4*w - 4. Let m be u(3). Let i = 20 - m. Is 5 a factor of i?
False
Suppose -32 = -4*z - 4*m - 0*m, -2*z + 2*m = -32. Suppose -3*u + 6*u = z. Let t(b) = 2*b**3 - 6*b**2 + 2*b + 3. Does 21 divide t(u)?
False
Let n(w) = -30*w. Let f be n(-2). Suppose -x - f = -5*b, -5*b + 0*x - 3*x + 80 = 0. Is b a multiple of 13?
True
Suppose 3*y = -2*o + 5*o - 138, o - 4*y - 43 = 0. Suppose -5*n + o + 48 = 0. Does 19 divide n?
True
Let t(j) = j**3 - 8*j**2 + j - 2. Does 11 divide t(9)?
True
Let q = 10 - 4. Let p(l) = -3*l**2 - l - 2 + 3*l**3 - 2*l**3 + q*l. Is 13 a factor of p(3)?
True
Does 45 divide 5/10 + 351/2?
False
Is 38 a factor of 1995/14*8/10?
True
Suppose -2*x + 8*x - 246 = 0. Is 3 a factor of x?
False
Let y = 50 - -174. Does 27 divide y?
False
Suppose -2*z = -z - 9. Suppose -1 = -2*m + z. Is 5 a factor of m?
True
Does 17 divide -471*(4 + (-52)/12)?
False
Let y = -27 + 19. Let h(i) = i**2 + 2*i - 6. Let j(g) = -1. Let r(m) = h(m) - 2*j(m). Does 22 divide r(y)?
True
Let r = -9 - -16. Suppose 2*k + r - 51 = 0. Is k a multiple of 22?
True
Is 3 a factor of (40/(-15))/((-6)/27)?
True
Let l(s) = s**3 + 5*s**2 + s - 7. Let y be l(-5). Let i be (-8)/y*(3 - 0). Suppose -i*m + 36 = -36. Is 18 a factor of m?
True
Suppose 3*j - 2*j = 89. Let p = j - -92. Suppose 3*t = 2*u + p - 49, 4*u = -2*t + 72. Is t a multiple of 14?
True
Let g = -7 - -13. Let l = g - 3. Suppose -6*k + l*k = -39. Is 13 a factor of k?
True
Suppose -4*p + 4 = -2*p. Suppose p*q - 12 = 2. Let x(g) = 4*g - 8. Does 11 divide x(q)?
False
Let q be (12/3 - 2)*1. Suppose a = -5*p - 2*a + 13, q*a = 5*p - 33. Is p a multiple of 3?
False
Does 43 divide 4 - 4 - -3*49?
False
Let h be (5 - -2)/1 - 2. Let o be 15/(-3)*142/(-5). Suppose -s + o = 4*a - 11, -3*a + h*s = -109. Is a a multiple of 19?
True
Let l = 2 + 10. Let w be 1*((-2)/(-2) - l). Let y = -7 - w. Is 4 a factor of y?
True
Let i(t) = -2*t**3 + 2*t**2 - t. Suppose 4*m = -1 + 5. Let j be i(m). Is (-8)/(-2) - -1 - j a multiple of 3?
True
Let x = -1 - -1. Suppose -6*h + h + 225 = x. Is 12 a factor of h?
False
Suppose -3*n + 3*h + 627 = 0, -5*n + 0*n = 2*h - 1052. Does 35 divide n?
True
Let q be 126/(-15)*20/(-3). Let o = q + -37. Is 8 a factor of o?
False
Suppose 5*o + q - 1196 = -0*q, -2*q - 728 = -3*o. Suppose u + 3*u - o = 0. Is u a multiple of 16?
False
Let y be -3*2*(-44)/6. Suppose -r = -3*w + 7, 3*r + 5*w - w = y. Is 8 a factor of r?
True
Suppose 2*q = 33 + 13. Does 6 divide q?
False
Let q = 89 + -63. Does 8 divide q?
False
Suppose -4*t - 3 + 15 = 0. Suppose -256 = -4*o + l, -t*o - 3*l + 181 = -l. Does 24 divide o?
False
Does 10 divide -3 + 21 + 2 + 0?
True
Let f = -9 - -13. Suppose -4*l = 5*q - 35, 5*q - f*l - 64 = q. Is 11 a factor of q?
True
Let g(h) = -h - 1. Let b be g(-3). Let v be 195/(-9) + b/(-6). Is 8 a factor of (v/5)/(2/(-10))?
False
Let p = 114 - 68. Suppose f + 2*x - 16 = -3, 3*f - x - p = 0. Is 3 a factor of f?
True
Suppose 0*h = 4*d + 5*h + 3, -4*d + 9 = h. Suppose d*o + 5*n = 19, -5*o + 5 = -3*n - 4. Is o a multiple of 2?
False
Let g(l) = -2*l**3 - 2*l**2 - l + 2. Suppose 5*k + 13 = n + 3*k, 0 = -3*n - 5*k - 16. Suppose 3*f + 3 = -n. Does 12 divide g(f)?
True
Let i = -10 - -17. Suppose 0*l - 2*q = -l + 23, q + 71 = 4*l. Suppose 0 = n + 4*x + i, l = -5*n - x + 58. Is 9 a factor of n?
True
Let o(z) = -2*z**3 + 3*z**2 + 3*z - 3. Let x be o(3). Is 14 a factor of (6 + 2)*x/(-6)?
True
Let x(m) = 2*m**2 - 6*m. Let f be x(5). Suppose -4*o = -132 + f. Is 14 a factor of o?
True
Let i(j) = -j - 7. Let x be i(-7). Suppose 0*b - b = x. Suppose b = -4*p - 7 + 51. Does 7 divide p?
False
Let w(o) = -3 + 7*o**2 - 2*o**3 + 5*o + o**3 + 2*o**3. Suppose 3*i = -2*i - 30. Does 3 divide w(i)?
True
Let q = 24 + -5. Suppose 0 = 5*t - 3*o + q + 25, -5*t = -4*o + 42. Is 7 a factor of (-106)/t - 18/30?
False
Suppose 3*d + 105 = 6*d. Does 7 divide d?
True
Let c(h) = h**2 - 3*h + 3. Let l be c(3). Suppose -q = -3*r + 65, -l*q = 2*r - 0*r - 36. Is r a multiple of 21?
True
Let r(t) be the third derivative of t**5/60 - t**3/3 - t**2. Is r(5) a multiple of 8?
False
Suppose 3*q = 2*b - 147, 2*b - q - 142 = -3*q. Is b a multiple of 15?
False
Suppose 5*s - 2*l - 8 = -0*s, -3*s - 5*l - 20 = 0. Suppose -5*v - 2 + 12 = s. Suppose -5*w + v*k - k = -50, w + 2*k = 10. Is w a multiple of 3?
False
Let a = -12 - -16. Suppose -h - 2*u = -24, 5*u = -a*h + 94 + 2. Does 8 divide h?
True
Let u = -18 + 26. Does 5 divide 60/(-8)*u/(-6)?
True
Let n = -10 - -10. Suppose 5*r = -n*r + 100. Is 10 a factor of r?
True
Let u = -24 - 37. Let n = u + 100. Does 11 divide n?
False
Let v = 1 - 0. Suppose -3*u - 2*u = 2*c - 62, 0 = 3*u + 2*c - 38. Suppose -v = -m, u = i - 0*m - 2*m. Is i a multiple of 5?
False
Let t = -1 + -2. Is -19*((0 - t) + -4) a multiple of 19?
True
Let k(h) = 21*h - 43. Is k(10) a multiple of 14?
False
Let x(s) = s**2 + 4*s - s + 1 - 6. Is x(-6) a multiple of 9?
False
Suppose 0*h + v = 4*h - 14, h = -v + 1. Let m = h - 1. Suppose -2*s + 2*k = -8, -4 = 4*s - 5*s - m*k. Is s a multiple of 4?
True
Suppose 5*m = 2*s - 4*s + 1, -4*s - m = 7. Let q be 6 + s - (3 - 1). Let d(l) = 2*l**3 + 2*l**2 - 4*l + 2. Is 14 a factor of d(q)?
False
Let o(n) = -2*n + 3*n - 5*n - 8. Suppose 5*c = 3*y - 18, 5*c - y + 34 = -2*y. Does 7 divide o(c)?
False
Let j(o) = -5*o**2 + 2*o - 6. Let w(c) be the first derivative of 2*c**3 - c**2 + 6*c + 2. Let m(q) = 7*j(q) + 6*w(q). Does 10 divide m(5)?
False
Is 18 a factor of ((-264)/(-55))/(1 + (-43)/45)?
True
Suppose 38 = 4*b - 38. Is 18 a factor of b?
False
Let m(h) = -5*h + 5. Let y(z) = -z. Let n(w) = -m(w) + 6*y(w). Let d be n(-7). Suppose -4*r + 3*q = -75, -d*r - 4*q = -32 - 0. Does 11 divide r?
False
Let l = -5 - -10. Let u = 7 - l. Suppose -5*d + 4*w = -82, -4*d = u*w - 67 + 17. Does 5 divide d?
False
Let h(x) = x**2 + 2*x + 4. Let q be h(9). Suppose 3*w - 2*o + 3*o - 62 = 0, 2*o - q = -5*w. Is 5 a factor of w?
False
Let v(i) = -2*i**3 - 4*i**2 - i - 3. Is v(-3) a multiple of 9?
True
Let h(g) = g + 72. Does 13 divide h(0)?
False
Let x(h) = h**2 + 3*h - 1. Is x(4) a multiple of 13?
False
Suppose 5*b + 5*q - 685 = -0*b, 5*b - 669 = -q. Is 31 a factor of b?
False
Let c be (-3*2)/(8 - 9). Let q be ((-9)/c)/((-3)/8). Suppose q*y - 20 = 64. Is y a multiple of 21?
True
Let o = -57 - -93. Is o a multiple of 10?
False
Suppose -4*n + 0*n = -288. Does 12 divide n?
True
Suppose -4*m - 14 = 26. Is 12 a factor of m/(-8)*(2 + 46)?
True
Let w = 30 - -72. Does 34 divide w?
True
Let f = -2 - 0. Does 22 divide (-7)/(7/(-46)) + f?
True
Suppose 0 = -10*a + 15*a - 725. Is a a multiple of 29?
True
Let z be 176/(-12)*(-4 - -1). Suppose 3*i - i = z. Let b = 44 - i. Does 9 divide b?
False
Let u(v) = 0 - 1 + 1 + v. Let y(g) = 3*g. Let a be y(2). Is 2 a factor of u(a)?
True
Suppose -4*n - 20 = -8*n. Suppose 2*a + 16 - 114 = -n*u, -2*u + 32 = -a. Does 14 divide u?
False
Suppose 3*u + 30 = -0. Let x = u - -34. Is 12 a factor of x?
True
Let o = 141 - 95. Is o a multiple of 26?
False
Suppose 0 = -5*l + 4*b + 10, -2*l - b = 2*b - 27. Let j be 3 + 1 - (0 + 1). Suppose -13 = -j*g - 5*q + 13, 0 = 5*g - q - l. Is 2 a factor of g?
True
Let s = -4 - -7. Is s even?
False
Let x = 19 - 3. Is 12 a factor of x?
False
Let f be (-2*(-3 - -2))/(-1). Suppose 3*a + 1 = 4*a. Let r = a - f. Is 2 a factor of r?
False
Suppose -4*h = 0, k + 3 - 2 = -h. Let a be 17068/(-12) + k/(-3). Does 21 divide 4/14 + a/(-21)?
False
Let g = 48 - 0. Does 24 divide g?
True
Let g(m) = m**3 + 9*m**2 + 2*m - 9. Is 21 a factor of g(-8)?
False
Let o be -6 + 13 - (-1 + 0). Suppose b = 3*x - 24, 3*b + o + 8 = 2*x. Suppose -8*g = -6*g - x. Is g even?
True
Suppose l = -l. Suppose p + 4*i - 3 - 27 = 0, 5