et x = -7 + 9. Suppose -x*b - 3*b = -290. Suppose -b = -4*k + 114. Does 12 divide k?
False
Let t(r) = -4 + r**2 + 3*r - 4*r + 0*r + 2. Is t(7) a multiple of 14?
False
Suppose -583 = -5*o + 602. Is 15 a factor of o?
False
Let y = 237 + -57. Suppose -5*r + y = -5*p, 3*r + p = 6*p + 108. Is 8 a factor of r?
False
Suppose l = 4*g + 10, -3*l - 1 = -7. Let h = 0 - g. Suppose c = 2*c + 5, -h*f - 4*c + 12 = 0. Is f a multiple of 16?
True
Suppose -8*x - 72 = -10*x. Does 12 divide x?
True
Let k(p) be the first derivative of p**6/15 - p**4/24 - 2*p**3/3 - 1. Let x(j) be the third derivative of k(j). Is x(-1) a multiple of 12?
False
Suppose -2*y + 7*y - 120 = -c, -48 = -2*y - 3*c. Is 15 a factor of y?
False
Let q be 7 - 2 - (1 + 2). Suppose 140 = 3*l + q*l. Does 7 divide l?
True
Suppose 4*n + 20 = -0*n. Let j(b) = b + 5. Let c be j(n). Suppose 0*l - l + 25 = c. Is l a multiple of 9?
False
Let m(n) = -50*n + 7. Let i be m(6). Let v = -176 - i. Let g = v - 62. Is g a multiple of 15?
False
Let u(w) = 3*w**2 + 5*w - 4. Is 10 a factor of u(3)?
False
Suppose -3*z = -3*b - 0*z - 135, -45 = b - 5*z. Let y = b + 22. Is 11 a factor of 3/(-2 - 1) - y?
True
Suppose 7*c - 188 = 22. Does 15 divide c?
True
Let w(r) = -2*r + 38. Is 10 a factor of w(0)?
False
Suppose h - 45 = -33. Does 4 divide h?
True
Let p(y) = y + 11. Let d be p(-7). Suppose -o + 0*z - z = -16, -d*z = -3*o + 20. Is 12 a factor of o?
True
Let m(k) = -k**2 + 7*k - 2. Let r be m(9). Suppose -3*v = v - 20, 0 = s + 4*v - 59. Let p = r + s. Is p a multiple of 19?
True
Let d(q) = -q - 8. Let x be d(-8). Suppose x = 2*n - 14 - 36. Does 8 divide n?
False
Suppose -2*k = 10, -3*k + 4 = -4*q + k. Suppose -3*g = -0*g + 3*u + 33, 2*g + 57 = 5*u. Let z = q - g. Is z a multiple of 10?
True
Suppose 691 = 4*c - 5*u, c + 4*u - 202 = -45. Is 31 a factor of c?
False
Suppose -154 = -3*s + 5*b + 9, -8 = -2*b. Does 16 divide s?
False
Let l(s) = s**3 - 1. Let g(j) = -21*j**3 + 2*j**2 + j - 3. Let y(q) = g(q) - 3*l(q). Is 13 a factor of y(-1)?
False
Suppose -2*n + 7 = 33. Let t = 23 + n. Does 10 divide t?
True
Let j(p) = -p**3 - 7*p**2 - p - 5. Let w be j(-7). Suppose w*q = -3 + 1. Is (-1 + q)*1 + 20 a multiple of 18?
True
Suppose -5*h + 150 = -210. Is h a multiple of 3?
True
Let f(i) = i. Let a(y) = 8. Let k(b) = a(b) + f(b). Let w = 2 + -7. Does 2 divide k(w)?
False
Let r(q) = 93*q**2 - q + 1. Is 27 a factor of r(-1)?
False
Let a = -121 + 160. Is a a multiple of 3?
True
Suppose 134 + 130 = 6*u. Is 12 a factor of u?
False
Let n(s) = 4*s**2 + 0 + 5 + 4*s - 1. Let j = -2 + -1. Does 15 divide n(j)?
False
Suppose 2*m - 3*j = -6*j - 271, 25 = -5*j. Let o = 193 + m. Is o a multiple of 19?
False
Let w = 17 - 29. Let f(o) = -2*o - 3. Let x be f(-2). Is (w/(-16))/(x/16) a multiple of 9?
False
Suppose 0*f = 3*f - 5*j - 34, -5*f - 4*j - 5 = 0. Is f even?
False
Suppose -3 - 5 = -4*a. Suppose 0 = -3*h - 3, -7*x - 3*h = -a*x - 327. Is x a multiple of 17?
False
Let x = -18 - -12. Let q be 45/x*4/2. Let u = q + 29. Does 14 divide u?
True
Suppose 4*j - 138 = -5*f + 170, -2*f = 3*j - 126. Is f a multiple of 12?
True
Suppose 0 = 2*a - 2, 0 = 4*n - n - 2*a - 559. Does 17 divide n?
True
Suppose -5 = -a - 3*r, 14 = -3*r - 1. Let g = 9 - 15. Is (a/g)/(7/(-21)) a multiple of 6?
False
Is 102/2 + (-3)/(-6)*8 a multiple of 11?
True
Let r(a) be the first derivative of -2*a**2 + a - 1. Let b(k) = k**3 - 4*k**2 - 3*k + 6. Let f be b(4). Is r(f) a multiple of 14?
False
Let w(k) = -k**2 - k. Let c be w(0). Suppose 2*p - 4*p + 22 = c. Is 11 a factor of p?
True
Let j be -1 + 3 - 0 - -1. Suppose 2*f - 4 = 0, -2*f = j*a - f - 59. Is a a multiple of 13?
False
Suppose -2*g - 64 = -f, 3*f - g - 245 + 73 = 0. Suppose -4*k - r = -f, 46 = k + k + 5*r. Is 6 a factor of k?
False
Let r(v) = -11*v + 1. Let m be (-2)/(-5) - 21/15. Is r(m) a multiple of 6?
True
Let b be (-2 - 0)*(-10 + -124). Does 17 divide (b/(-8))/((-3)/6)?
False
Let y = -9 + 19. Suppose -5*s - 2*j + y = -32, 5*j + 3 = s. Is s a multiple of 4?
True
Let y = 159 + -62. Is 25 a factor of y?
False
Suppose -2*t = q + 7, -2*t - 3*q = 4 - 3. Let j(p) = -8*p - 6. Is j(t) a multiple of 9?
False
Let j(y) = 19*y**3 + 2*y**2 - y - 2. Does 18 divide j(1)?
True
Suppose -a - 11 = -0*t + 3*t, -2*t + 2*a = -6. Let s(u) = u**2 + 11*u + 8. Let j be s(-9). Is 20 a factor of (-85)/t - (-15)/j?
False
Is 19 a factor of 537/3 + (-4 - (-1 - 1))?
False
Suppose y - 3*y = -2. Suppose 2*u - 5 + y = 0. Is u a multiple of 2?
True
Let v be (-6 + -1)/((-2)/6). Let z = -6 - -24. Is 56/v*z/4 a multiple of 6?
True
Suppose -7*t = -3*t. Suppose -5*y + y + 16 = t. Is y a multiple of 3?
False
Let n be (-61)/(-2) + (-3)/(-6). Let h = -11 + n. Does 12 divide h?
False
Let v(x) = x**3 + 7*x**2 + 2*x. Is v(-6) a multiple of 4?
True
Suppose -2*r + 14 = -r. Does 7 divide r?
True
Suppose 4*v = g + 3*v - 24, -2*g + 24 = 4*v. Does 10 divide g?
True
Let c(f) = 6*f**2 - 3*f - 2. Is 7 a factor of c(-2)?
True
Let f(d) = -12*d - 62. Is f(-16) a multiple of 10?
True
Suppose -2*z + 6*z - 112 = 0. Is z a multiple of 14?
True
Let j = -37 - -57. Is 7 a factor of j?
False
Let h = -14 - -58. Is h a multiple of 7?
False
Suppose -40 = -4*n - 3*t + t, 0 = 3*t - 6. Let y be n/((-3)/1) - -6. Suppose -3*g + 5*g - y*c = 73, -g - 3*c + 23 = 0. Is 16 a factor of g?
True
Let g be -1*1*-6 - 2. Let z = 6 - g. Suppose -h + 6*h - 92 = -z*a, 4*a = -3*h + 58. Does 10 divide h?
False
Let u(d) = 13*d + 11. Let g be u(6). Let z = -53 + g. Is 18 a factor of z?
True
Let b = -29 - -99. Is 10 a factor of b?
True
Let v(a) = a**2 - 2*a - 3. Let p be v(6). Suppose -189 = -5*c + p. Is 15 a factor of c?
False
Let l = 66 + -9. Is 19 a factor of l?
True
Let f(q) = -q**2 + 3 - q - 4 + 2 - 7. Let b be f(0). Let t = 26 + b. Is t a multiple of 10?
True
Suppose -2*l = 3*p - 0*p - 45, -p - 65 = -2*l. Is l a multiple of 10?
True
Let q = -153 - -352. Does 20 divide q?
False
Let q(v) = v**3 + 9*v**2 - 1. Let k(m) = m + 1. Let i be k(-11). Let g be q(i). Is 15 a factor of g/(-4) - (-9)/12?
False
Suppose 6 + 9 = 3*m. Suppose -4*f = -m - 15. Let h(c) = c**3 - 3*c**2 - c - 6. Is 12 a factor of h(f)?
False
Let i(d) = -2*d**3 - 2*d**2 + d. Let f be i(-2). Let g(x) = 7*x - 6. Is g(f) a multiple of 18?
True
Let u be (0 + 0)*1/(-2). Suppose w + 2*t - 14 = -w, -w - 4*t - 8 = u. Is w a multiple of 10?
False
Let n(g) = -g**2 + 3*g + 4. Let k be n(4). Let f = k - -20. Is 13 a factor of f?
False
Is (64/24)/(2/30) a multiple of 5?
True
Let c(i) = 3*i**2 + 2 - i - 8 + 4. Suppose 5*o + 3*b = -22 + 1, 4*o - b + 10 = 0. Is c(o) a multiple of 14?
True
Is ((-38)/4)/((-3)/90) a multiple of 47?
False
Suppose 118 = 4*y + 30. Is 22 a factor of y?
True
Suppose h = -2*h - 9. Let n = 6 + h. Suppose n*p + 2*r = 70, -92 = -2*p - 2*p - 4*r. Is 10 a factor of p?
False
Let b be (-4 + 1)*(-4)/6. Let r(z) = -4*z**3 + 5*z**2 - 2*z - 1. Let v(p) = 9*p**3 - 11*p**2 + 4*p + 3. Let i(k) = -5*r(k) - 2*v(k). Is 4 a factor of i(b)?
False
Let k(t) = 3*t**2 + 14*t - 16. Let r be k(-13). Suppose 4*f + g - 2*g = r, -3*f + 5*g = -219. Is 39 a factor of f?
True
Suppose -2*m + 22 = b, -19 = 3*b + 5*m - 86. Does 3 divide b?
True
Let w = -16 + 35. Let y = -5 + w. Does 14 divide y?
True
Let w(t) = 3*t - 1 + 4*t - 2*t. Is 19 a factor of w(4)?
True
Suppose 277 - 19 = -3*c. Let p = -59 - c. Is 9 a factor of p?
True
Let r = 4 + 0. Suppose 3*v + r + 2 = 0. Does 7 divide (1/v)/(2/(-56))?
True
Let z(u) = -4*u**3 - u**2 + 3*u + 2. Let y(l) = 0*l**2 + l**3 - 2*l**2 - l + 3*l**2. Let r be y(-2). Is z(r) a multiple of 12?
True
Suppose -2*q + 33 = -5*u, 3*q = q - 2*u - 2. Suppose -3*m + 2*g = -132, 3*m - g - 123 - 6 = 0. Suppose m = q*y - y. Is 7 a factor of y?
True
Let r = 2721 - 1161. Does 14 divide (-8)/(-28) + r/28?
True
Let b be 1*(-20)/4 - 0. Let m = b - -10. Does 2 divide m?
False
Let c = 40 - 28. Suppose 0 = -4*t + 3*r + c, 3*r - 3 = -t. Suppose 6*n - n - 120 = -3*s, n = -t*s + 24. Is n a multiple of 9?
False
Let p = 2 - 0. Is (62/(-4))/(p/(-4)) a multiple of 13?
False
Let x = 2 + 31. Does 5 divide x?
False
Let v be (-14)/(-4) - 4/8. Let d be (-4 + v - -3) + -1. Suppose -d = -t + 2. Does 2 divide t?
False
Let g be (28/(-6) + 3)*-3. Let f = g - 4. Let s(i) = 13*i. Does 8 divide s(f)?
False
Let g(q) = q + 11. Let w be g(-10). Let s be w/(1/2)*1. Suppose s*y