*x - s. Is 11 a factor of x?
False
Let t(j) = -j**2 - 6*j + 7. Let m be t(-7). Suppose n + m = 7. Is (n - 4)*(-10)/(-2) a multiple of 15?
True
Let r = -36 - -68. Does 16 divide r?
True
Let f(z) = z**2 + 17. Is 6 a factor of f(0)?
False
Suppose -3*g + 259 + 263 = 0. Let t = -111 + g. Suppose 2*l + 2*r = 7*r + 55, -3*l = -r - t. Does 11 divide l?
False
Let q(z) = 9*z - 1. Let v be q(-1). Let r be 4/v - (-74)/10. Suppose -3*m = p - 30 - r, p - 27 = -m. Does 11 divide p?
True
Suppose 5*s = 4*s + 70. Let k = 4 + 1. Suppose s = -3*p + k*p. Does 12 divide p?
False
Let d be 4*1 - (-3 + 2). Let c be ((-8)/d)/((-4)/50). Let t = c + -10. Does 10 divide t?
True
Let x(v) = v**3 - 4*v**2 - 5*v + 5. Let a be x(5). Let c be 6/(-15) + 12/a. Is (28/(-16))/(c/(-8)) a multiple of 7?
True
Let x = -15 - 9. Let p = x - -38. Does 9 divide p?
False
Let f = -34 + 56. Is f a multiple of 11?
True
Let l(z) = z**3 + 4*z**2 - 5*z - 2. Let u be l(-4). Let q be (-30)/4 - (-3)/2. Does 7 divide (9/(-3))/q*u?
False
Suppose -4*a = -9*a + 460. Does 13 divide a?
False
Let g(x) = x**3 - 8*x**2 + 8*x - 6. Let w be g(7). Is -4*(-57)/6*w a multiple of 10?
False
Let f(t) = 15*t + 13. Does 25 divide f(6)?
False
Let s(z) = 2*z**2 + 16*z + 63. Is 17 a factor of s(-16)?
False
Is 7 a factor of (-264)/(-4) + 0 + 4?
True
Let u(g) = 22*g**3 - 3*g**2 + 2*g. Does 7 divide u(1)?
True
Let n(j) = j**2 - 1. Let l(h) = -h**3 - 6*h**2 - h - 8. Let q be l(-6). Let f be n(q). Suppose f*s = 4*s - t - 16, -2*t + 53 = 3*s. Is 14 a factor of s?
False
Let f(k) = 7*k**2 - k + 1. Let m be f(1). Let h(g) = 9 + 2*g - m + 0*g. Is h(3) a multiple of 3?
False
Suppose 4*c - 17 = -3*w, 5*c - 4*w + 2 = -0*c. Is 9 a factor of 2 - 11/(c/(-2))?
False
Let v(n) be the second derivative of n**4/12 + n**3/6 + 3*n**2 - n. Does 15 divide v(-6)?
False
Suppose 3*k + 5*z = -6, 0 = -3*z + 9. Let w be -1*(k + (-6)/(-3)). Suppose 0 = -w*c - 4*t + 111, -4*c = -c + 5*t - 77. Is c a multiple of 11?
False
Suppose 0 = 5*d + 4*x + 4, -4*x - 3 = -x. Suppose -4*n + d*p = p - 22, -3*n - p = -17. Suppose -61 = -n*m + 49. Is m a multiple of 11?
True
Let b be 0/(3*-1) + 3. Suppose -b*c - c = 0. Is 14 a factor of (c - 1) + (-45)/(-3)?
True
Suppose 2*q + 3*k - 132 = 8*k, 5*q + k = 276. Let l(r) = -r**3 + 3. Let p be l(0). Does 3 divide q/21 + 1/p?
True
Suppose 0 = -3*z + 6, 5*d - 4 = 3*d - 2*z. Suppose 0 = -5*u - p + 264, d*p + 204 = 4*u - p. Does 26 divide u?
True
Suppose -3*o + 85 = -203. Does 32 divide o?
True
Is (-157 - 2)/((-7)/7) + 4 a multiple of 13?
False
Let v = 64 + -40. Does 8 divide v?
True
Let b(j) = 119*j**3 - j**2 - 2*j + 3. Does 17 divide b(1)?
True
Let u = -62 - -161. Is u a multiple of 9?
True
Let j = 0 + -7. Let p = j + 27. Is p a multiple of 14?
False
Let f = 4 + 3. Is 7 a factor of f?
True
Suppose -2*x = 3*x - 400. Does 50 divide x?
False
Let p be 3*(-3)/((-9)/78). Let c = -44 + p. Is c a multiple of 17?
True
Let l(o) = -5*o + 1 + 3*o - 4 + 7. Let p(q) = q**3 + 5*q**2 + 4*q - 3. Let y be p(-4). Is l(y) a multiple of 9?
False
Suppose -51 - 1 = -4*i. Suppose -4*o - 40 = -5*g, -g - 4 = o - 3. Suppose -5*x + 5*j = i - 38, 0 = -g*j. Is x a multiple of 2?
False
Suppose -m + 3*m + 5*j - 41 = 0, 3*m + 5*j - 74 = 0. Does 11 divide m + 1 - (-9)/(-3)?
False
Is 22 a factor of (-3)/3 - 90/(-2)?
True
Suppose 2*p + o = 7, 0 = -4*p + 5*o + 22 + 13. Let c(l) = -5*l + 15 + p*l + l + 0*l. Does 10 divide c(0)?
False
Let b(f) = f - 5 - 3*f + 4*f. Does 13 divide b(9)?
True
Let q(g) = -7*g - 6 - g**2 - 2*g**2 + 2*g**2. Let m be q(-6). Suppose 4*p - 15 - 5 = m. Is 5 a factor of p?
True
Is (-4)/(-6) + (-140)/(-6) a multiple of 6?
True
Let n be (-15)/5 + (-80)/2. Let h = -28 - n. Is h a multiple of 10?
False
Let d(m) = m**3 - 4*m + 3. Let w be 0 + -4 - -2 - -4. Let a be d(w). Suppose -a*h + 47 = -2*h. Does 16 divide h?
False
Let f = 7 - -13. Does 8 divide f?
False
Let d be -70*(7/2 + -3). Let r = d + 94. Does 20 divide r?
False
Let s(n) be the second derivative of n**4/12 + n**3/3 + n**2/2 - n. Suppose 3*u = 12, -2*u = 4*r - u + 8. Is s(r) a multiple of 3?
False
Is 47 a factor of (-4)/6 + ((-2002)/6)/(-7)?
True
Let r be -2*((-9)/2)/3. Suppose 8*v - r*v - 5 = 0, -2*a + 77 = -3*v. Is 8 a factor of a?
True
Suppose 5 + 1 = -3*d. Let m = 1 - d. Let z = m - -17. Is z a multiple of 20?
True
Suppose 0*o - 273 = -3*o. Suppose 0 = -d + 4*m + 76, 5*d - o = 5*m + 259. Is 17 a factor of d?
True
Suppose 1 = -q - 2. Is 12*(-1)/q*11 a multiple of 22?
True
Let k = 20 + -3. Suppose -2*o = -3*w + k, 6*o = o - 5*w - 5. Let i = o + 7. Is i even?
False
Let k = 18 - 55. Let p = 5 - k. Is 12 a factor of p?
False
Suppose 4*x - 528 = -0*x. Suppose 4*v = -3*u + 201, 3*v + 0*u = 4*u + x. Does 17 divide v?
False
Let k(v) = -v - 2. Let r be k(-6). Suppose -74 = r*p - 222. Does 11 divide p?
False
Suppose -2*t + 5 = -0*t - j, -2*j + 8 = 2*t. Suppose c + t = -0. Does 5 divide 8/c*15/(-4)?
True
Suppose 0 = -l - 3*o + 20, 7*o = 2*o + 25. Suppose -l*z + 208 = -122. Is z a multiple of 22?
True
Let n = -59 + -53. Let y = n - -171. Is y a multiple of 12?
False
Suppose 2*w = 1 - 3. Let z be 734/18 + 4/18. Is z + (w + 1 - -3) a multiple of 13?
False
Let b(y) = -42*y + 1 - 1. Is b(-1) a multiple of 14?
True
Suppose 12*n - 17*n + 20 = 0. Does 2 divide n?
True
Let k = 6 - -141. Does 34 divide k?
False
Suppose -c - 1 = -48. Does 19 divide c?
False
Suppose 3*r = -l - 10, -2 - 2 = -l + 4*r. Let p be -3*(48/9)/l. Suppose p*a + 18 = 6*a. Does 9 divide a?
True
Let c = 44 + -26. Is 8 a factor of c?
False
Let z(a) = -a + 2. Let w be z(4). Let x = w - -16. Is x a multiple of 14?
True
Let w = -8 + 10. Suppose -w*s = -4 - 72. Does 11 divide s?
False
Is ((-25)/2)/(15/(-90)) a multiple of 5?
True
Suppose 0 = 13*d - 18*d + 60. Is 12 a factor of d?
True
Let y be ((-64)/3 - -2)*-3. Let g = -26 + y. Is g a multiple of 12?
False
Let o(h) = -h**3 + 5*h**2 - 3*h + 1. Let f be o(4). Suppose -m - d = -3*d - 14, -2*m = -f*d - 33. Does 2 divide 4/2 - (3 - m)?
False
Suppose 0 = -b + 22 + 17. Does 18 divide b?
False
Let l = 168 + -157. Does 11 divide l?
True
Let l be 1/(2/4)*2. Suppose 3*w - 95 = t - 2*t, -l*w + 5*t = -152. Let f = w - 11. Is f a multiple of 6?
False
Let g = 11 - 7. Let k(d) be the third derivative of d**5/60 - d**4/12 - d**3/2 - d**2. Is 4 a factor of k(g)?
False
Let b be ((-3)/1)/((-6)/10). Suppose 6*s = s + 490. Suppose -82 = -b*p + s. Does 12 divide p?
True
Let m(o) = 3*o - 3. Let h be 2/(-7) - 23/(-7). Does 6 divide m(h)?
True
Suppose 3*w - 177 = 3*i, -w - w - 4*i + 124 = 0. Suppose -6*c + w = -c. Is 7 a factor of c?
False
Let x(n) = 3*n**2 + 4*n + 7. Does 23 divide x(6)?
False
Let a(t) = -t**3 - 7*t**2 + 7*t + 6. Does 11 divide a(-8)?
False
Suppose 7*g + 288 = 10*g. Is g a multiple of 10?
False
Let i(o) = 7*o + 1. Suppose z = -3*r - 0*z + 38, -3*z + 66 = 5*r. Suppose 0 = -0*k - k - 3*j + 14, 4*k - 5*j + r = 0. Does 9 divide i(k)?
False
Let c = 27 + 6. Suppose x = -2*f + 130, c = f + 2*x - 38. Is 21 a factor of f?
True
Let p be -2 + 3 - (-1 - 2). Let w(k) = -k**3 + 7*k**2 - 4*k - 1. Let x be w(p). Let o = -10 + x. Is o a multiple of 21?
True
Suppose 0 = -5*j - 6 + 261. Is 22 a factor of j?
False
Let f = 0 + 2. Is 70/f - 5/(-5) a multiple of 8?
False
Let b = 58 + -24. Let p = -13 + b. Does 7 divide p?
True
Is (-2 - (-9 - -4))*(-80)/(-3) a multiple of 10?
True
Suppose 0 = -2*d - 3*m + 480, 8*d - 3*d + m = 1174. Does 13 divide d?
True
Let t = 6 - 0. Suppose -r + j = -43, 2*r = -t*j + 2*j + 62. Is 21 a factor of r?
False
Let v be 30/(-4) - 9/(-6). Does 5 divide 54/v*(-8)/6?
False
Let f(y) = y**2 - 10*y - 9. Let u be f(11). Suppose -2*d + 4*z + 10 = -u, 3*d + 2*z - 10 = 0. Suppose d*c - 72 = c. Is 11 a factor of c?
False
Let y = 217 + -153. Is y a multiple of 4?
True
Suppose c - 18 = g, 0 = c - 0*g + 5*g + 12. Does 3 divide c?
False
Does 13 divide 4/32 + (4 - (-9435)/40)?
False
Suppose 70 = 2*v + 3*v. Is v a multiple of 7?
True
Let y = 3 - -8. Is y a multiple of 11?
True
Let g = -9 + 18. Suppose 16 - 2 = 2*v. Let c = g + v. Is 8 a factor of c?
True
Suppose 0 = -3*x + 2*x. Suppose x*m = m - 22. Is 9 a factor of m?
False
Suppose 3*o + 26 = -16. Let h = -2 - o. Suppose 3*g - h - 30 = 0. Does 7 divide g?
True
Suppose 2*t - 2*s - 8 = -2*t, -t - 4*s + 11 = 0. Suppose -2*n - t*n = -120. Does 15 divide n?
F