e
Suppose 2*k - 2*a - 2 = -0*a, 4*k - 18 = -3*a. Suppose 8*c - 143 - 81 = 0. Suppose 0 = 3*y - 4*x - 28, k*x = 2*y + 5*x - c. Is y a multiple of 9?
False
Let i(n) = -n**3 - n**2 - n - 7. Does 6 divide i(-5)?
False
Suppose -3*z - m = -367, -4*m - 11 - 120 = -z. Is 37 a factor of z?
False
Let q(r) = 145*r**3 + r. Is q(1) a multiple of 30?
False
Suppose -4*p = p - 390. Is 39 a factor of p?
True
Let i = -41 - -159. Is 20 a factor of i?
False
Let m(s) = s**2 - 4*s + 11. Is m(5) a multiple of 4?
True
Suppose -5*s - 5*u + 210 = 0, -2*s + 5*u - 2*u + 99 = 0. Suppose q = -2*q + s. Does 8 divide q?
False
Does 7 divide 8/14 + 3165/35?
True
Let y = 17 - 18. Let m(q) = 38*q**2. Is m(y) a multiple of 19?
True
Suppose 4*v - 1 - 27 = 0. Let z = v + -5. Suppose -4*a + 178 = z*s, 5*s + 0 = -5. Is 15 a factor of a?
True
Does 21 divide 2 - (-1 - 15 - 3)?
True
Let k = 29 - -3. Is 3 a factor of k?
False
Suppose -2*a - 102 = -5*a. Let q = a + 21. Does 17 divide q?
False
Let s(a) = -45*a - 1. Let z be 10/(-14) - (-2)/(-7). Does 22 divide s(z)?
True
Let c(u) = -u - 5. Let r be c(-5). Suppose -2*p - 21 = -l - 4*l, -4*l - 4*p + 28 = r. Is l even?
False
Let f(h) = h**2 + h + 8. Let q be f(0). Let m(l) = l**2 + 8*l - 6. Let v be m(-9). Suppose -4 = 2*j, -a - v*j + q = -0. Is a a multiple of 10?
False
Let t(y) = -3*y - 4. Suppose -5*a = -2*j - j + 25, j = 0. Is t(a) a multiple of 5?
False
Let g(o) = -o**3 + 10*o**2 + 3*o + 14. Is 11 a factor of g(7)?
False
Let z = 17 - 14. Is z a multiple of 3?
True
Let o = 15 + -11. Suppose -3*i + 4*i - o = 0, -2*i + 11 = c. Does 3 divide c?
True
Let m(a) = a**3 - 5*a**2 - 4*a + 5. Let l(t) = -t + 12. Let j be l(6). Is 16 a factor of m(j)?
False
Let b be (1/3)/((-1)/(-9)). Suppose 4*f - 96 = -b*v, v = -3*v - f + 141. Is v a multiple of 12?
True
Let q(h) = h**2 + 11*h + 5. Let k be q(-11). Suppose 4*b + 22 = 5*g + 6*b, 0 = 2*g + k*b + 8. Does 4 divide g?
False
Suppose -2*x + 4*x = 20. Is 2 a factor of x?
True
Suppose 3 = 5*m + 13. Let a = 8 + m. Is 3 a factor of a?
True
Let a be 2/(-7) - 16/(-7). Does 3 divide (4/(-4))/(a/(-6))?
True
Let d = 11 + 11. Is 22 a factor of d?
True
Suppose -11 - 9 = 4*t. Let f be ((-2)/t)/(1/55). Let p = -8 + f. Does 14 divide p?
True
Suppose 4*d - 28 = -0. Let n(z) = -2*z**2 + 10*z + 1. Let g be n(d). Let p = -16 - g. Is 11 a factor of p?
True
Suppose 3 = 5*m - 2. Suppose x = -2*w + 4*x + 13, m = 5*w + 3*x. Suppose 0 = -0*v + w*v - 18. Is v a multiple of 5?
False
Suppose -388 = 2*y - 6*y + 4*g, 0 = -y + 4*g + 91. Is 9 a factor of y?
True
Suppose z = -4*f + 72, -3*f - 2*z + 22 = -32. Does 6 divide f?
True
Suppose 27 = d - 24. Is d a multiple of 6?
False
Let l = -23 - -51. Suppose -2*k = 2*s - l, 5*s - k = 3*k + 52. Does 12 divide s?
True
Let i = -8 + 12. Suppose 2*f - 9 - 9 = 4*p, 0 = -i*f + 3*p + 61. Does 18 divide f?
False
Let x(m) = 6*m + 18. Is 28 a factor of x(11)?
True
Suppose -4*l + 8 = 4*d, -5*d = 4*l - 5*l + 2. Suppose -2*w - 2*w + 60 = d. Is 5 a factor of w?
True
Let k(t) = -2*t**3 + 16*t**2 + 4*t**3 - 3*t + 36 - 24 - t**3. Is k(-16) a multiple of 20?
True
Let g(n) be the third derivative of -3/2*n**3 - 13/24*n**4 + 0*n + 3/20*n**5 + 0 + 1/120*n**6 - 3*n**2. Is 14 a factor of g(-10)?
False
Let r(i) = i**3 - 6*i**2 - i + 7. Let p be r(6). Is p/2 + (-183)/(-6) a multiple of 9?
False
Let c(h) = -h**2 - 7*h + 7. Let i = 27 + -34. Is c(i) even?
False
Let l(m) = 6*m - 8. Is 32 a factor of l(12)?
True
Let l(w) = -42*w - 1. Let s be l(-1). Let t = s + -19. Does 11 divide t?
True
Let b(p) = -8*p + 4. Let x be b(3). Let h = x - -30. Let u = h - 2. Does 6 divide u?
False
Let x(r) = r**3 + 6*r**2 + 4*r - 5. Let b be x(-5). Suppose b*n + 2*n - 156 = 0. Is n a multiple of 21?
False
Let f = 12 + 44. Let u = f + -31. Suppose -u - 14 = -r. Is r a multiple of 13?
True
Let d(i) = 0*i + 0*i**2 + 9*i**2 - 2*i. Is d(2) a multiple of 16?
True
Suppose -5*v - 2*j + 350 = 0, -3*v - 5*j = 2*v - 350. Does 6 divide 1008/v + 2/(-5)?
False
Suppose -5*w = -6*w - 120. Is 2/(3/w*-2) a multiple of 10?
True
Let b(a) = -35*a**2 - 6*a + 1. Let i(r) = -34*r**2 - 5*r + 1. Let k(s) = 5*b(s) - 6*i(s). Let v be k(1). Suppose -156 = -4*h - v. Is 16 a factor of h?
True
Let u be (-945)/10*(-8)/6. Suppose -6 = 5*f - u. Does 15 divide f?
False
Let v(p) = p**3 + 4*p**2 - 7*p - 6. Suppose -5*i - 33 = -4*r, r + 3*r = -2*i - 2. Is v(i) a multiple of 4?
True
Let j(f) = -f**2 - 6*f + 2. Let i be j(-6). Let q(s) = 2*s**2 - 2*s**2 - 3*s + 3*s**i - 2. Does 8 divide q(-2)?
True
Suppose 2*j - 137 = 103. Suppose 3*r + 0*r = j. Does 20 divide r?
True
Let o = -8 - -24. Does 8 divide o?
True
Suppose -5*f - x + 11 = 0, 5*f - 4*x - 28 = f. Suppose 0 = 2*b + b + f. Is 6 a factor of -1 - 1 - b - -7?
True
Suppose 3*l - 10 = 20. Does 10 divide l?
True
Suppose 2*j + 3*j = -20, -24 = -5*f + j. Suppose -f*q + q + 36 = 0. Is 6 a factor of q?
True
Let a(j) = -4*j + 18. Let r(x) = -6*x + 27. Let k(w) = -8*a(w) + 5*r(w). Let c be k(7). Suppose 0 = -c*v + 3*s + 75, -2*v + 0*s + 34 = -2*s. Does 10 divide v?
False
Let v(z) = -3*z - 14. Let n be v(0). Let r be ((-3)/((-6)/46))/1. Let f = n + r. Is f a multiple of 4?
False
Does 2 divide -3 + (32 - (-1)/((-2)/(-2)))?
True
Let m(s) = 2*s + 12. Does 17 divide m(11)?
True
Is 8 + 14 - (-2 + -1) a multiple of 20?
False
Suppose 2*j + 3*j = 15. Suppose 0*l - 110 = -j*l - 4*d, 0 = 4*l + 2*d - 160. Is 14 a factor of l?
True
Suppose -l - 123 = -4*l. Is 6 a factor of l?
False
Is 1*5*(-34 - -65) a multiple of 31?
True
Suppose 3 + 5 = 2*s. Suppose x = l + 4*l - 5, s*x = -3*l + 26. Is 2 a factor of x?
False
Let v(p) = 6*p**3 + 12*p**2 + 5*p + 1. Let r be 6/8 - (-6)/24. Let b(n) = n**3 + n**2 - 1. Let s(w) = r*v(w) - 5*b(w). Is s(-6) a multiple of 8?
False
Is 45 a factor of -1 + (-267 + 1)/(0 - 2)?
False
Suppose -170 = -2*h + f - 2*f, -4*h - 3*f = -338. Is 18 a factor of h?
False
Let m = 27 - 22. Does 2 divide m?
False
Suppose 6*v - 12 = 12. Let c be (-96)/(-10) - 4/(-10). Suppose -5*m - 105 = -3*d, -d + c = v*m - 8. Is 12 a factor of d?
False
Let z = 15 + 111. Is 6 a factor of z?
True
Let a be 10*(2 - (-16)/(-10)). Let u = a - 1. Let z = 4 + u. Is 2 a factor of z?
False
Suppose -4*x + 61 = 3*k - 38, 5*x + 4*k = 125. Is x a multiple of 4?
False
Suppose -12 = -2*j - 2*j. Let w(a) = 4 + 4*a**2 - 3*a**3 + 2*a**j + 14*a - 9*a. Is w(5) a multiple of 2?
True
Let m be (-16)/(-24)*(2 - -1). Is m - (-12 - (-4 + 7)) a multiple of 11?
False
Let x(l) = 2*l + 46. Is 6 a factor of x(-15)?
False
Let w(j) = -50*j + 3. Let n be w(-5). Let x = -128 + n. Suppose 160 = 4*r + 4*u, -2*r - 5*u + x - 42 = 0. Does 13 divide r?
True
Suppose 0 = 4*q + q + 5*b + 5, -q + 11 = -3*b. Suppose -52 = -5*c - 2*y, 0 = -5*y + q*y + 3. Is 6 a factor of c?
False
Suppose 8 = -0*b + 4*b. Suppose 18 = -y - 2. Let j = b - y. Does 11 divide j?
True
Let m = 97 + 141. Does 14 divide m?
True
Is 15 a factor of 1239/9 + (-3)/(-9)?
False
Suppose -52*c = -50*c - 144. Does 12 divide c?
True
Suppose -7*o + 20 = -6*o. Is o a multiple of 5?
True
Suppose q - 49 = 15. Is 26 a factor of q?
False
Let x = 166 - 94. Is 18 a factor of x?
True
Let a(s) = s**3 + 5*s**2 - 5*s + 11. Let p be a(-6). Suppose 3*z - 126 = p*w + 20, -z + 5*w = -42. Is z a multiple of 13?
True
Let h be (8 + -3)*(-1)/(-1). Let o(j) = j**2 - 2*j + 3. Does 13 divide o(h)?
False
Suppose 0 = 5*y - 3*y. Let b = y - 5. Let l(x) = x**3 + 6*x**2 - 3. Does 15 divide l(b)?
False
Suppose 0 = -4*s + 3*b + 201, -3*s + 46 = -2*b - 105. Suppose 2*c = n + 27, 0 = 3*c - n - s + 12. Suppose 4*r - 57 = l, -l = r + l - c. Does 9 divide r?
False
Suppose 0*s + 5*s = -m + 16, -5*s + 32 = 2*m. Does 4 divide m?
True
Let b(g) = 1. Let d(s) = -12*s - 6 + 7*s - 22*s. Let z(n) = 5*b(n) + d(n). Is 13 a factor of z(-1)?
True
Let x(w) = 4 + 1 + w + 0*w. Let s be x(7). Suppose -20 = -5*c, 4*o + 2*c - s = 4*c. Does 2 divide o?
False
Let j(p) = -8*p**3 - p**2 + p + 1. Let a be j(-1). Let w = -11 + a. Does 10 divide (-3)/1 - 132/w?
True
Let a(j) be the third derivative of j**4/24 - 7*j**3/2 - j**2. Let v be a(0). Is 2/7 - 498/v a multiple of 8?
True
Let z(q) = -q**2 + 20*q - 6. Is z(18) a multiple of 12?
False
Let q be 8 + (-6)/(-3) + -5. Suppose -2*z + q = -15. Does 10 divide z?
True
Let w be 18/(-2)*2/(-6). Suppose w*d - d = -2. Is 1/d*(-6)/2 a multiple of 3?
True