Suppose -2*q = q - 15. Suppose -q*z = 59 - 174. Does 20 divide z?
False
Let r = 16 - 11. Suppose -r*c + 0*n - n + 28 = 0, 3*c - 8 = -5*n. Is c a multiple of 6?
True
Suppose -5*l = 4*o - 0*l + 45, 0 = -5*o - 5*l - 50. Let f = o - -10. Suppose -5*n - r + 41 = 0, n = -0*n - f*r + 13. Is n a multiple of 4?
True
Suppose -5*b - 27 = 2*c, -2*c + 2*b + 8 = -0. Let p = c - -3. Suppose p*z + 0*z = 28. Is 14 a factor of z?
True
Suppose -25*m = -22*m - 27. Does 9 divide m?
True
Let x(z) = -15*z + 9. Is 15 a factor of x(-4)?
False
Let r = -126 - -244. Is 22 a factor of r?
False
Suppose -393 + 25 = -4*f. Let y = f - 50. Does 21 divide y?
True
Suppose 3*c - 8*c = -z - 270, -5*c - z + 270 = 0. Does 14 divide c?
False
Let u be -2 + 51*(-2)/(-3). Let m(l) = 4*l + 4. Let s be m(-4). Is 8 a factor of -1*3*u/s?
True
Let x(i) = 7*i + 15. Is 17 a factor of x(6)?
False
Let t be (-6)/4*(-2 - 16). Suppose 22 = i - t. Does 13 divide i?
False
Let g be 3 + 2/((-2)/1). Let d be 122/12 - g/12. Let v = 21 + d. Is 12 a factor of v?
False
Suppose 0 = 4*g - 2*g - w - 85, 2*g - 81 = -3*w. Is 7 a factor of g?
True
Let h(q) be the second derivative of q**5/60 + 2*q**3/3 - q**2/2 - 4*q. Let t(c) be the first derivative of h(c). Is t(5) a multiple of 18?
False
Let t(y) = y**2 + 6*y + 15. Does 11 divide t(-7)?
True
Suppose 566 = 4*n + 150. Is 17 a factor of n?
False
Suppose 2*r - 34 = 6. Let c be (0 - r/2) + 2. Let n = -5 - c. Does 2 divide n?
False
Let f be (3 + (-16)/6)*471. Suppose 2*z - 6*l - f = -l, 3*l = 9. Is 26 a factor of z?
False
Suppose -3*z = 3*m - 270, -180 = -2*z - m + 5*m. Suppose -2*g + 53 = -g. Suppose -5*i = -c - z, 0*i - 4*i - 3*c + g = 0. Is 6 a factor of i?
False
Suppose -5*i + 2*i = 3*s - 15, 4*s + 5*i - 21 = 0. Let c = s - 0. Suppose 4*u = 2*l + 36, -49 = -c*u - 3*l + 7. Is 11 a factor of u?
True
Suppose -2*p - 5 = -h, -5*h + 3*p = -0*p - 60. Is 15 a factor of h?
True
Let f = 29 - -21. Does 22 divide f?
False
Let y be 39/9 + (-1)/3. Suppose -65 = -z - y*z. Suppose 4*l - 4*m - 11 - z = 0, -l + 4*m + 12 = 0. Is 4 a factor of l?
True
Let n(b) = 6*b - 2. Suppose 0 = 4*g - 7 + 3, g + 9 = o. Let v = o + -6. Is 11 a factor of n(v)?
True
Let o be ((-5)/(-2))/((-4)/(-8)). Suppose -q = -o*q + 8. Suppose -5*p = -0*p + 2*n - 42, -4*n - 36 = -q*p. Does 10 divide p?
True
Suppose 0 = 3*s - 9, f - 4*s - 5 - 67 = 0. Is f a multiple of 21?
True
Let x(v) = 3*v**2 - v + 6. Is x(5) a multiple of 18?
False
Suppose r + 197 = 2*n, -2*r + 5 = -3*r. Suppose 5*i - 5*k = 155, 0*k - n = -3*i + 2*k. Is 17 a factor of i?
True
Let z be 91/3 + (-2)/(-3). Suppose -z*r + 165 = -26*r. Does 11 divide r?
True
Let p(z) = z**2 - 9*z + 8. Let d be p(8). Suppose -5*r - 2*j - 766 = d, r + 3*j - j + 158 = 0. Does 19 divide (r/10)/(8/(-20))?
True
Let j be 2 + (24 - (1 + 2)). Let i = 11 + j. Is i a multiple of 17?
True
Suppose -5*u + 2*y = y + 15, -2*y + 2 = 4*u. Is 12 a factor of -1*(-24 + (-2)/u)?
False
Suppose 0*q = 2*q - 364. Is q a multiple of 12?
False
Suppose -3*x - 15 = 0, 4*p + x + 4*x - 23 = 0. Let o = p - 5. Is o a multiple of 7?
True
Suppose -8*p + 906 = -462. Is 19 a factor of p?
True
Let w(f) = 2*f**2 - 12*f - 2. Let y be (-55)/(-6) + 1/(-6). Let j be w(y). Suppose -q = q - j. Is q a multiple of 14?
False
Let i = -164 + 326. Does 19 divide i?
False
Let i = 15 + -9. Is i a multiple of 6?
True
Let f = -3 - -8. Suppose -f*q - 21 = 2*z - 156, -81 = -3*q + 3*z. Is 13 a factor of q?
False
Let k = 2 + -2. Suppose 3*h - 18 = -k*h. Is 17 a factor of (-243)/(-7) + h/21?
False
Let w(k) = k**3 + k - k + 0*k**3 + 8 + 6*k**2 - 9*k. Is w(-7) a multiple of 12?
False
Let g(t) = 2*t**2 + 9*t + 11. Does 21 divide g(-6)?
False
Let z(b) be the third derivative of 7*b**4/12 + b**3/6 + 8*b**2. Is z(4) a multiple of 12?
False
Let g(h) = h**2 + 4*h + 3. Let z be g(-4). Does 15 divide 2 - (z + 7)*-2?
False
Let g(b) = -21*b - 2. Let h(l) = 589*l + 57. Let x(w) = 57*g(w) + 2*h(w). Is 19 a factor of x(-1)?
True
Let g(l) = 5*l**2 + 19*l - 12. Is g(-6) a multiple of 27?
True
Let d be (-2)/6 - 183/(-9). Let o = 1 + d. Is 13 a factor of o?
False
Suppose -u = 3*u - 276. Is 8 a factor of u?
False
Suppose 2*o = 3 + 1. Suppose 2*a - 136 = -o*a. Does 9 divide a?
False
Suppose 345 = 3*t + 4*c - c, -2*c = -6. Is 28 a factor of t?
True
Let j be (0/(-2))/3 - -5. Suppose -j*a + 75 = -45. Suppose 3*w = 6*w - a. Is 7 a factor of w?
False
Let f = 57 + -40. Let p = 29 - f. Is p a multiple of 12?
True
Let y(d) = d**2 + 1. Let x be y(-4). Let t be (-1)/2 - x/(-2). Let k = 1 + t. Is 9 a factor of k?
True
Suppose 0 = 4*k - 0*k - 32. Suppose 2*t - k = 64. Suppose 4*l + t = 2*w, -2*w - 2*w = l - 54. Is 14 a factor of w?
True
Let f(d) be the first derivative of d**3/3 + 6*d**2 - d - 6. Is f(-13) a multiple of 4?
True
Let f = 16 - -8. Is f a multiple of 15?
False
Suppose -2*h + 8 = 0, -4*h - 2 - 6 = -4*g. Suppose -a + g*a = 140. Does 13 divide a?
False
Let u(z) = -z**2 - z + 2. Let d be u(-2). Suppose d = -5*l + 9 + 6. Suppose l = -5*y + 43. Is 4 a factor of y?
True
Suppose -d - 14 = -4*h - 89, -3*h = 3*d - 270. Does 29 divide d?
True
Let j(m) = m**3 + 8*m**2 - 12*m + 7. Does 16 divide j(-9)?
False
Let r be 2 - ((3 - 2) + -1). Suppose -w + 4*y = r*y - 13, 2*y - 17 = -w. Does 15 divide w?
True
Suppose 17 = 2*j + 3*r, -j - 3*r + 8 = -2*r. Suppose h = 4*p + j, -h + 0*p + p = -1. Is (2 + h)*(4 - -1) a multiple of 2?
False
Let w(v) = v - 11. Let a be w(11). Suppose a*p - 8 = -2*p. Suppose 0*s + p*s - 28 = 0. Is 2 a factor of s?
False
Let i(z) be the first derivative of z**4/4 - 7*z**3/3 + 3*z**2/2 + 3*z - 2. Let f = 18 - 11. Does 15 divide i(f)?
False
Suppose 2 = -4*f + 6*f. Suppose -3*c = -0*c - 15. Is f/c - (-24)/5 even?
False
Suppose -2*p - z + 21 = 0, 2*p - 2*z = -0*p + 24. Is 8 a factor of p?
False
Let z = 3 - 3. Let x(t) = 3*t**3 + t - 1. Let y be x(1). Suppose -y*f + 96 = 3*i - 4*f, -5*f = z. Is 16 a factor of i?
True
Let g = -59 - -141. Does 16 divide g?
False
Let k be 1/((4/83)/4). Suppose -5*z + k = 3. Is z a multiple of 8?
True
Suppose 12 = 3*m, -264 = -4*c - 3*m - 2*m. Is 12 a factor of c?
False
Suppose 3*c = -c. Suppose 3*o = 4*l - 0*o - 80, c = 5*o. Does 10 divide l?
True
Suppose 6 = -2*r - 4*a - 4, 0 = 5*a + 20. Does 3 divide r?
True
Let q = 9 + -7. Let f(h) = 2*h**2 - h**2 - 4*h**q - 2*h**3. Is 3 a factor of f(-2)?
False
Is 938/14 - (1 + -1) a multiple of 12?
False
Let n = 9 - 5. Suppose -2*w + 28 = -n*r, 25 = 2*w - 5*r + 4*r. Does 10 divide w?
False
Let w(o) = -o**2 - 6*o - 9. Let r be w(-6). Let m(g) = -g**2 - 10*g - 9. Let t be m(r). Suppose -2*i + 22 + 44 = t. Does 12 divide i?
False
Let g = 2 - 0. Let h be (3 - 3)*g/4. Suppose 5*q - 100 - 45 = h. Is 10 a factor of q?
False
Let m = -7 + 10. Suppose 3*s - 6 - m = 0. Does 3 divide s?
True
Let g(l) = l - 1. Let n be g(7). Let u be (1 - 2)*n/(-2). Let v(q) = 4*q**2 + q - 4. Is v(u) a multiple of 12?
False
Suppose -6 - 27 = -z. Does 11 divide z?
True
Is (84/49)/((-4)/(-882)) a multiple of 9?
True
Let v be 2086/21*(-3)/(-2). Suppose -115 - v = -4*d. Does 29 divide d?
False
Let k = 0 + -4. Let b = k + 4. Suppose 0 = -x - b*x + 17. Is 10 a factor of x?
False
Let v = -21 + 41. Suppose s - v = -4*s. Is s a multiple of 2?
True
Let z be (3/(9/(-6)))/(-1). Suppose -286 = -z*u - 102. Suppose -2*l = 2*l - u. Is l a multiple of 11?
False
Let c(j) = -13*j**3 + 2*j**2 + j. Let r(b) = -2*b + 9. Let x be r(5). Is 4 a factor of c(x)?
False
Suppose 2*o - 5*o + 69 = 0. Let l = o + -10. Let w = 21 - l. Does 8 divide w?
True
Suppose 3*d - 5*j = 179, -d + 61 = -4*j + j. Does 29 divide d?
True
Let l(q) = q - 80. Let a be l(0). Let y = 46 + a. Is 15 a factor of y*(0 + -2 + 1)?
False
Let c(b) = 12*b**3 - b**2 - b + 1. Suppose -2*r = -w - 3*r + 4, w - r = -2. Does 3 divide c(w)?
False
Is 8 a factor of 5/((-7)/(-3) - 2)?
False
Let s = -25 - -46. Let t = s + 2. Is 8 a factor of t?
False
Let r(i) = -i**2 + 9*i + 1. Suppose 1 - 17 = -4*p. Does 10 divide r(p)?
False
Let x = -33 + 70. Let z = -12 + x. Suppose -q - z = 4*q, q + 41 = 2*v. Is 6 a factor of v?
True
Let b be (-2)/(-10)*-53*-5. Let i = -30 + b. Does 8 divide i?
False
Let r(n) = -3*n**3 - 22*n**2 - 22*n - 32. Let c(m) = -m**3 - 7*m**2 - 7*m - 11. Let a(p) = -11*c(p) + 4*r(p). Let b be a(-10). Let w = 33 + b. Does 18 divide w?
True
Suppose -g + 54 = g. 