l + 4*k = 10, 0*l + k = -3*l + 20. Suppose 3*u - 5*j + 7 + l = 0, -4*u = 4*j + 48. Does 3 divide u/(-1) - (0 + 2)?
False
Let z(r) = r**3 + 10*r**2 - 4*r - 16. Is 45 a factor of z(-7)?
False
Suppose 0 = q - 0 - 2. Let n be 63/6 + q/(-4). Suppose -3*z = -4*z + n. Does 10 divide z?
True
Let v = 10 + -2. Is 25 a factor of 127/5 - v/20?
True
Suppose 3*l - 3*z = 0, -l = 3*z + 3 - 11. Is l/(-5) - 22/(-5) a multiple of 2?
True
Let d = -1 + 3. Is 8 a factor of d*2/(-4) + 17?
True
Suppose -142 = -6*m + 206. Does 6 divide m?
False
Suppose 0 = s - 5*l, 4*l + 0*l = 0. Suppose j - 9 - 4 = s. Is 13 a factor of j?
True
Suppose -9 = 4*x - 61. Let n = 1 + -10. Let r = x + n. Does 4 divide r?
True
Let r = -58 + 103. Suppose -p = -2*p + r. Does 11 divide p?
False
Let f(t) = -t**3 + 4*t**2 + 16*t - 3. Does 13 divide f(5)?
True
Does 7 divide 361/38*(-1 - -3)?
False
Let l(j) = -j**2 - 7*j + 10. Let d be l(-8). Let g = 6 - d. Is 2 a factor of g?
True
Is 7 a factor of (8/10)/(4/70)?
True
Suppose 2*b - 5*a = -2*b + 199, -15 = -3*a. Suppose 5*j - b = -t, j - 6 = 4*j. Is t a multiple of 22?
True
Suppose 45 = 5*n + 3*y, 2*n + y = -3*n + 35. Does 6 divide n?
True
Let l = 9 - 4. Let y = 18 - l. Let b = y - -6. Is 19 a factor of b?
True
Let g(b) = -b**2 + 2. Let w be g(0). Suppose -3*o = 4*x - 22, 3*o - w*x = -2*o + 2. Is o even?
True
Suppose -42 - 24 = q. Let k = q + 92. Does 8 divide k?
False
Suppose 2*u + 0 = 2, h = -2*u + 26. Is 8 a factor of h?
True
Does 3 divide (-12)/28 - -143*(-3)/(-21)?
False
Suppose -3*q = -5*y - 34, 6*y - 5*y = 3*q - 14. Suppose 5*c - 121 + 0 = -3*b, -3*b - q*c = -111. Is b a multiple of 11?
False
Let v = -61 + 20. Let s = -17 - v. Let u = -10 + s. Is u a multiple of 14?
True
Suppose 2*x = 7*x - 80. Does 16 divide x?
True
Let p(x) = 2*x**3 + 17*x**2 + 14*x - 2. Is 3 a factor of p(-7)?
False
Does 13 divide ((-54)/(-21))/(3/21)?
False
Let q(v) = v**3 + 4*v**2 - 12*v. Is 10 a factor of q(-5)?
False
Suppose 0*x + 7*x - 1540 = 0. Does 24 divide x?
False
Suppose l - 2*j - 56 = 46, -5*l = j - 565. Does 9 divide l?
False
Let z = 15 - 5. Does 5 divide z?
True
Suppose -3*j = -6*j. Suppose j = -l + 16 + 9. Is 19 a factor of l?
False
Let u = -12 + 6. Is 10 a factor of (-244)/u - 12/18?
True
Suppose 4*x - 2*v - 555 = -5*v, 565 = 4*x + 5*v. Does 27 divide x?
True
Suppose 2*p - 27 = -s + 2*s, p = -4*s - 99. Is (-107)/(-5) + 10/s a multiple of 17?
False
Suppose -12*p = -1072 + 232. Does 35 divide p?
True
Suppose -18 = -4*n - 2*l, -5*n = -4*l + 3 + 7. Suppose x - n = -3. Is (-1)/(-2)*(5 - x) a multiple of 2?
False
Let k be (-9)/6*80/3. Let w be (-2)/(-2 - 144/(-69)). Let u = w - k. Is 8 a factor of u?
False
Suppose -5*g = -49 - 106. Let r = g + -3. Is 14 a factor of r?
True
Suppose 6*y = 2*y. Suppose -4*v + 10 = 5*z - 7*v, y = 3*z - 4*v - 6. Suppose 4*h - 26 = 4*i - 2*i, 5*h - 34 = z*i. Is 8 a factor of h?
True
Let g(i) be the third derivative of -9*i**4/8 + i**3/6 + i**2. Does 14 divide g(-1)?
True
Let a = 41 + -8. Suppose 3*s - a = 33. Suppose 0 = -2*h + 5*l + 47, -2*l + s - 76 = -4*h. Is h a multiple of 11?
True
Let c(p) = -p**2 - 6*p + 9. Let o be ((-35)/15)/(1/3). Let u be c(o). Suppose 2*t - 3*z = 28, t - u*z - 13 = -0*t. Is 6 a factor of t?
False
Let a = -59 + 133. Is a a multiple of 20?
False
Is 17 a factor of ((-24)/9)/((-3)/27)?
False
Suppose 2 = -2*z + 2*q, 4 = 2*z + q - 6. Suppose 12 + 30 = z*f. Let k = 31 - f. Is k a multiple of 17?
True
Suppose -j - 49 = 4*y - 361, y = -4*j + 78. Does 16 divide y?
False
Suppose 6 = c + 4. Is (-3038)/(-63) - c/9 a multiple of 20?
False
Let g(d) = d + 3*d + 2*d + 3 - 3*d. Is g(14) a multiple of 15?
True
Suppose -3*t + 5*t = 0. Suppose 9*g = -4*u + 7*g + 112, 4*u - g - 100 = t. Is u a multiple of 9?
False
Suppose 0 = -5*l + 3*w + 130, -4*l + w + 104 = 4*w. Does 19 divide l?
False
Let j = -5 + 10. Suppose b - 23 = -3*w, -j*b + 11 = 2*w - 0. Is 4 a factor of w?
True
Let j(f) = -f**2 + 7*f - 6. Let z be j(5). Is 4 a factor of 16 - (16/(-4))/z?
False
Suppose 2*l - 288 = -2*g, 4*l - 705 = -l - 2*g. Does 14 divide l?
False
Suppose 166 = 5*z + 4*o, -3*z + 4*o + 1 = -73. Is z a multiple of 15?
True
Let p(v) = -9*v - 3. Let q be p(-8). Let j = -37 + q. Is j a multiple of 10?
False
Let x(m) = -m**3 + 8*m**2 + 5*m. Is 9 a factor of x(8)?
False
Let k(v) = -v**2 - 8*v - 1. Let p(o) = o**3 - 4*o**2 - o + 2. Let y be p(2). Let l be k(y). Is (-44)/l*(-1)/(-2) a multiple of 11?
True
Let d = -2 - -2. Suppose -3*g + 4*a + 123 = 0, d = 5*g + a - 121 - 61. Is g a multiple of 10?
False
Let m(a) = -a**2 + 30*a - 24. Is 25 a factor of m(14)?
True
Suppose 15 = 2*i + 39. Let o(p) = -2*p**3 - 4*p**2 - p + 2. Let w be o(-3). Let t = w + i. Is 11 a factor of t?
True
Let l(p) = p**2 + 1. Let t be l(2). Let m(d) = -d**3 + 7*d**2 - 7. Let c be m(t). Suppose c = 4*h - 33. Is 10 a factor of h?
False
Let b(q) = q**3 - 6*q**2 + 4*q - 1. Let s be b(5). Let p(j) = -j**3 - 6*j**2 + j + 4. Let i be p(s). Is 6 a factor of -1 - (i + 22/(-2))?
True
Let u = -4 - -6. Let g = u + -4. Is 14 a factor of (-3 - g) + 63/3?
False
Suppose -2*a + 47 = -3*k, 4*k + 29 = 3*a - 43. Let c = a - 20. Does 6 divide c?
False
Suppose -26 = -2*o + 124. Suppose -4*b = -9*b - o. Let r = 41 + b. Does 13 divide r?
True
Is 1*-1*(-10 + 5) a multiple of 3?
False
Suppose -2 = -4*a + 2, -2*u + 3*a = -1. Suppose 0*z + 66 = -u*z. Is (-1)/1 + (-8 - z) a multiple of 9?
False
Suppose -4*d - 106 = -5*i, i + 82 = -3*d + 12. Is 12 a factor of (-112)/d*(-180)/(-14)?
True
Let c(r) be the second derivative of r**4/12 - r**3/2 + 3*r. Let a be c(3). Is -2 - (24 - a)/(-3) a multiple of 6?
True
Let z = -8 - -4. Let g = z - -46. Does 14 divide g?
True
Suppose 4*y + y = 0. Let i(r) = -5 + 5*r + y*r - r. Is 4 a factor of i(4)?
False
Suppose 0*n - 784 = -4*n + 4*w, 178 = n + 5*w. Suppose -2 = -f, 2*i + 4*f = -3*i + n. Suppose -i - 38 = -5*v. Is 5 a factor of v?
True
Suppose -13 = 2*o - 35. Let s = o + -9. Suppose -s*v = 3*v - 10. Is v even?
True
Let m = -70 - -40. Let s = m + 43. Does 9 divide s?
False
Let g = 9 + -1. Suppose -5*v = -3*v - g. Suppose -v*k - 15 = -9*k. Is 2 a factor of k?
False
Let s = 181 - 5. Does 11 divide s?
True
Let o(t) be the third derivative of t**4/8 + t**3/6 + 3*t**2. Let f be o(-2). Let i = f + 27. Does 11 divide i?
True
Suppose -1 = 3*w + 5*k, -k - 13 + 0 = -w. Is w a multiple of 7?
False
Let v be (2 - -1) + (0 - 0). Let o be (-96)/(-14)*42/4. Suppose -4*d - o = -3*n, -v*n + 88 = 3*d - 5. Is n a multiple of 14?
True
Does 24 divide 1 + 71/3*3?
True
Let z = -5 - -6. Let r be 2 + -1 + (z - 1). Is (r + -2 - 1) + 33 a multiple of 19?
False
Suppose -3*n + 159 = 54. Is n a multiple of 3?
False
Suppose -5*q - 22 = -107. Suppose 0 = -c + 7 + q. Does 4 divide c/9*(-3)/(-2)?
True
Let m(o) = -o + 17. Is 10 a factor of m(7)?
True
Let p(u) be the second derivative of u**5/20 + 7*u**4/12 + u**3/2 + 3*u**2/2 - u. Is p(-5) a multiple of 14?
False
Is 40 a factor of 2/(4*4/1408)?
False
Let m = -66 + 121. Let l = m - 14. Let b = 59 - l. Is 18 a factor of b?
True
Suppose -l + 3*c + 19 = -2*c, 2*l = c + 2. Does 21 divide ((-1)/l)/1 - -37?
False
Suppose 5*w - 37 = 4*c, c = -w + 6*w - 28. Does 2 divide w?
False
Let c(o) = o**2 + 5*o - 7. Let v be c(-6). Let q(s) = -11*s**2 - 2*s - 1. Let r be q(v). Is 17 a factor of (68/r)/((-1)/5)?
True
Let c(z) = -z**2 - z + 6. Let j be c(0). Let u = 2 - -10. Let d = u + j. Does 11 divide d?
False
Let a be 1/(-3) + (-2)/(-6). Suppose 5*w = 7*n - 2*n - 95, -w - 13 = -3*n. Let i = a - w. Is i a multiple of 11?
True
Let v be 2/6 - (-21)/(-9). Let n(x) = 5*x**2 + 2*x + 3. Is n(v) a multiple of 9?
False
Suppose -501 = -8*a - 13. Does 12 divide a?
False
Let w = 21 + 31. Is 13 a factor of w?
True
Let n be 4/(-10) - (-4)/10. Is (-2 + 55 - 1) + n a multiple of 13?
True
Let h(m) = -4*m**3 + m**2 - 1. Suppose y = -2*o - 3, 0*o = 2*o + 2. Is h(y) a multiple of 4?
True
Is (-1 + 5)*(-1 - (-102)/4) a multiple of 14?
True
Suppose -3*f = 18 - 42. Suppose -5*a = -f + 348. Let b = -38 - a. Does 15 divide b?
True
Let x be 14/35 - (-24)/(-10). Is 9 a factor of 76/8*x*-1?
False
Let q be (-27)/(-5) + 2/(-5). Suppose -v - 48 = -q*y + 2*v, 5*v - 32 = -y. Is 7 a factor of y?
False
Let s(b) be the third derivative of b**6/120 + 7*b**5/60 + 5*b**4/24 - 2*b**3/3 - b**2. Does 12 divide s(-4)?
Tru