5*p = -4*w + 32. Suppose -3*c - 174 = -p*f + f, -2*f + 122 = c. Is 20 a factor of f?
True
Suppose -k + 8 = -10. Suppose 0 = -4*g + b + 38, 2*g + b - k = 2*b. Is g a multiple of 2?
True
Let f(n) = n + 8. Does 4 divide f(0)?
True
Suppose -2*o - 3*o + 30 = 0. Let i be (-8)/o*(-12)/2. Suppose 0 = 2*a - 8 - i. Does 8 divide a?
True
Suppose 5 = 2*y - 21. Let x be (-2 + 1)/((-1)/(-7)). Let h = y + x. Is 6 a factor of h?
True
Let l(f) = -f + 7. Suppose -5*s - 6*a + 2*a = 12, 15 = -5*a. Suppose -5*r - 2*h - 35 = 0, h = r - s*h. Is l(r) a multiple of 6?
True
Let c be 76/(-28) - (-2)/(-7). Is c - -3 - -24 - 0 a multiple of 7?
False
Let f = 2 - -3. Suppose -f - 10 = -5*y. Is y even?
False
Let y(v) = v**2 + 3*v - 32. Is 14 a factor of y(-18)?
True
Suppose -40 - 194 = -6*h. Is h a multiple of 14?
False
Let q = 79 + -49. Does 6 divide q?
True
Let f = 5 - 6. Let p(z) = -3*z**3 + 3*z + 1. Let x(b) = b**3 + b**2. Let n(q) = f*p(q) - 4*x(q). Is n(-5) a multiple of 13?
True
Let r be 2 + -4 + (7 - -1). Let p(l) = l**2 - 5*l + 4. Let j be p(r). Suppose 4*m = j + 34. Is m a multiple of 3?
False
Let i = 2 - 8. Let j be i/(-27) + 97/9. Let c = 5 + j. Does 8 divide c?
True
Suppose -2*p + 2*l + l + 64 = 0, 160 = 5*p - 4*l. Suppose -2*z = -6*z + p. Is 4 a factor of z?
True
Suppose -3*g + 7 = 4*z, -3*z - 1 = -z - 3*g. Let t(v) = v**3 + 3*v**2 - 5*v + 2. Let d be t(-4). Let h = d + z. Does 7 divide h?
True
Let m = -22 - -413. Is m a multiple of 39?
False
Suppose 2*d - d + 7 = 5*y, 4*y = -2*d + 28. Let u = 25 - d. Does 10 divide u?
False
Let s = 11 - 3. Let n(v) = 7*v - 14. Does 7 divide n(s)?
True
Suppose -4*v + 231 = -17. Is v a multiple of 31?
True
Let c = -22 + 45. Is c a multiple of 7?
False
Let n be (-6)/(-4)*4/2. Suppose -b + n*b = 0. Suppose b = 3*r - 0*r - 69. Is 13 a factor of r?
False
Let c = 15 - 17. Is c + 14 + 1 - -2 a multiple of 5?
True
Let f be 5*1 + 2 + -2. Suppose -5*o + 12 = -3*q + 1, -o = f*q + 9. Does 15 divide q - (-1 + -35 - -2)?
False
Suppose -2*r = -3*r. Suppose 0*h + 4*h - 168 = r. Is 23 a factor of h?
False
Suppose 0*t - 4*r = 3*t - 486, 3*r + 9 = 0. Let f be 2/(-6) + t/3. Suppose -3*p = -8*p + f. Is p a multiple of 4?
False
Let g = -1 + 6. Let o(m) = m**2 - 1 + g - 4. Is o(2) a multiple of 3?
False
Let c = 76 + 89. Suppose -3*w = -c + 66. Suppose -4*h = -5*h + w. Is 14 a factor of h?
False
Let l(y) = y**2 + y + 4. Let b be l(-3). Suppose b = 5*x - 55. Does 8 divide x?
False
Is 4 a factor of 12 - (3 + 1 - 2)?
False
Suppose -181 = -4*n + 91. Is 17 a factor of n?
True
Suppose -10 = -2*o - 2. Let j(i) = i + 3. Let a be j(3). Suppose -4*m - m + 3 = 4*l, a = l - o*m. Is 2 a factor of l?
True
Let k(p) = p**3 + p**2 + 2*p + 21. Let n(a) = a**3 + a**2 + a + 20. Let g(h) = -2*k(h) + 3*n(h). Is 5 a factor of g(0)?
False
Let o(a) be the second derivative of a**5/20 - 2*a**4/3 + a**3/6 + 2*a**2 - 8*a. Suppose 2*m = 18 - 2. Does 12 divide o(m)?
True
Suppose 264 = 11*c - 9*c. Is 27 a factor of c?
False
Let l = -3 - -24. Does 8 divide l?
False
Let x be (2 - 0) + (1 - 1). Suppose 6*a - 2*b = 3*a + 156, -x*b = 5*a - 260. Is 31 a factor of a?
False
Let u = 80 - -46. Is u a multiple of 21?
True
Let m(r) = r**3 + 10*r**2 + 3*r - 1. Suppose 0 = o + 4*q - 12, q + 3 - 7 = 0. Is m(o) a multiple of 30?
False
Suppose -4*a - 3*b + 15 = 0, -5*b + 6 = 4*a - 11. Suppose -a*s = 4*g - 4*s - 49, -s - 1 = 0. Is g a multiple of 6?
True
Suppose -g + 4*v = 26, -4*v + v = -9. Is 14 a factor of (-396)/(-14) + 4/g?
True
Let r = -18 - -47. Does 10 divide r?
False
Suppose -4*t - 2*o - 16 = 0, -o + 22 = -3*t - 5*o. Is (-12)/(-8)*(0 - t) a multiple of 2?
False
Suppose 0 = 5*d - 6*d + 49. Does 17 divide d?
False
Is 6 a factor of 178/5 - 22/(-55)?
True
Let s(q) = 2*q**2 - q + 2. Is 2 a factor of s(2)?
True
Suppose 4*w - 4 = 2*w. Is (33 - -1) + (-2)/w a multiple of 11?
True
Suppose -9*r = -14*r + 10. Is 2 a factor of r?
True
Suppose -c - 142 = -u + 4*c, -c - 284 = -2*u. Is u a multiple of 29?
False
Let o be (8/(-6))/((-7)/21). Suppose -o*x + 32 = -4*h, 2*x + 3*x + 2*h = 12. Does 4 divide x?
True
Let h be (14 + 0)*(-36)/(-21). Suppose -5*k - h = -3*k. Let c = 28 + k. Does 13 divide c?
False
Suppose l = -l + 72. Is 18 a factor of l?
True
Suppose 2*c = 2*g - 282, 2*g - g - 3*c - 149 = 0. Is 12 a factor of g?
False
Let v = -4 + 30. Does 13 divide v?
True
Let u = -8 + 16. Suppose -12 = u*f - 9*f. Is f a multiple of 12?
True
Let k(x) = 263*x + 2. Let c(d) = 131*d + 1. Let o(f) = -13*c(f) + 6*k(f). Let y be o(-1). Suppose -3*q = q - y. Is 20 a factor of q?
False
Let m(x) = x**3 + x**2 + x + 3. Let v be m(0). Suppose 8 = v*l - l. Suppose l*p + 106 = 5*a, 0 = -4*a - 0*p - p + 68. Does 9 divide a?
True
Let n(j) be the first derivative of j**5/60 - j**3/3 - j**2/2 - 2. Let h(p) be the second derivative of n(p). Is h(4) a multiple of 14?
True
Let o be (-2 - -1)/((-7)/581). Let a = -38 + o. Suppose 0*i = -2*b + 3*i + a, -10 = 2*i. Is b a multiple of 15?
True
Let g be (8/(-32))/(2/(-8)). Suppose -2*c + g = -67. Does 17 divide c?
True
Suppose 4*q = q + 279. Suppose -4*u = 8, -88 - q = -5*h - 2*u. Suppose 3*w = -5*p + 27, 2*w - 2*p - p - h = 0. Does 14 divide w?
True
Let w(d) = 2*d**3 - 2*d**2 + 6*d + 4. Let h(n) = -n**3 + n**2 - 3*n - 2. Let y(f) = -7*h(f) - 4*w(f). Is y(-3) a multiple of 22?
False
Let r = -12 + 8. Let o(p) = -12*p - 6. Let w be o(r). Suppose -5*g + w = 4*b, 2 + 18 = 3*g + 5*b. Is 6 a factor of g?
False
Let h(w) = -76*w - 7. Does 9 divide h(-2)?
False
Let o be (-14)/2*10/(-7). Suppose -4*b + o = 3*z, -4*z + b = -0*z - 7. Suppose -2*v = -4*k + z*v + 100, 0 = -v - 4. Is k a multiple of 7?
True
Suppose -3*r + 5*r + 2*k = 68, 2*r = 2*k + 80. Let h = 53 - r. Does 7 divide h?
False
Suppose 0 = -3*j - 0*r - 4*r - 11, 0 = -2*j + 5*r + 31. Suppose j*t - 9 = -3*o, -2*t = -o + 5 + 1. Suppose 0 = h - o + 1. Does 3 divide h?
True
Is 3 + 0 + -2 + 131 a multiple of 33?
True
Is 4/6 + (-78)/(-18) a multiple of 3?
False
Suppose 0*v + 5*v + 6 = -3*h, -h + 6 = -v. Suppose h*j - 26 = 37. Is 7 a factor of j?
True
Let v(c) = 8*c - 15. Is 2 a factor of v(3)?
False
Let y = 208 + 164. Is 62 a factor of y?
True
Suppose 8*s + 184 = 4*g + 6*s, -228 = -5*g + 2*s. Does 13 divide g?
False
Let y(m) = m. Let b be y(1). Let w(h) = 47*h**2 + h. Let a be w(b). Suppose 3*q + a = 5*q. Is 12 a factor of q?
True
Suppose -108 = -3*s + 2*s. Is 15 a factor of s?
False
Let z(r) be the second derivative of r**5/20 + 5*r**4/12 - 2*r**3/3 + 7*r**2/2 - 5*r. Is z(-5) a multiple of 9?
True
Let t be 4/6 - (-176)/24. Let m(n) = n**2 - n - 3 - 6*n - 1. Does 2 divide m(t)?
True
Let k(l) be the first derivative of -2*l**2 - 6*l - 1. Is k(-8) a multiple of 13?
True
Let c = 5 - 6. Let h be (c + -3)*34/(-8). Suppose -5*o + h = -13. Is 6 a factor of o?
True
Suppose 0 = 3*p - 6*p + 222. Is p a multiple of 27?
False
Let x = -38 + 59. Is 7 a factor of x?
True
Let j = 3 - 9. Let d be (2 - 63/j)*6. Suppose 2*q - 70 = -4*y, -4*y + 2*q = -q - d. Is y a multiple of 18?
True
Let j = 32 - -34. Is 15 a factor of j?
False
Let z(l) = 4*l**2 + 7*l + 7*l**2 - 3*l + 3. Suppose 4*u + 3 + 5 = 0. Is 20 a factor of z(u)?
False
Let u = -34 - -66. Does 8 divide u?
True
Let v = 0 + 5. Let i(u) = -u**3 + 6*u**2 - 2*u - 5. Does 5 divide i(v)?
True
Let o = 127 - 103. Is 8 a factor of o?
True
Let y(p) = -20*p**2 + 20*p - 80. Let i(x) = -7*x**2 + 7*x - 27. Let l(a) = 17*i(a) - 6*y(a). Is l(0) a multiple of 12?
False
Suppose -4*x + 265 = x. Suppose -2*q + 5*b = 31, -4*q + b = -0*q + x. Let i = q + 24. Is 7 a factor of i?
False
Let d(a) = a**3 - 2*a**2 - 4. Suppose -8*f = -3*f. Suppose 4*m - o = 9 + 6, 2*m + 5*o + 9 = f. Is d(m) even?
False
Is 19 a factor of (-6)/9*(-459)/6?
False
Let n(b) = -b**2 - b + 22. Let a be n(0). Let d = a - 11. Is 4 a factor of d?
False
Let k(t) = 4*t - 7. Is k(8) a multiple of 18?
False
Let z be (6 + -8)/(2/(-5)). Let p be -4*1/(0 + -2). Let a = z - p. Is a a multiple of 2?
False
Suppose 4*c + 5*f = 300, 4*f = 2*c - c - 96. Let i be 1/(-2)*(-60 + 6). Suppose 3*y = l - i, 0 = -5*l + l + 5*y + c. Is 7 a factor of l?
False
Suppose p + 27 = 4*p. Is -2 + 1 - (-423)/p a multiple of 23?
True
Let v(g) = g**3 + 6*g**2 - 5*g - 9. Let w be v(-6). Let o = w + 1. Suppose 0 = -5*b - o - 3, -2*x = 2*b - 32. Is x a multiple of 7?
True
Let u(y) = -y**3 + 10*y**2 