 multiple of 9?
True
Let x = 14 - -123. Is x a multiple of 16?
False
Suppose 0 = 5*d - 3*d. Suppose -128 = -4*b - 5*z + 22, -5*b - 5*z + 190 = d. Does 22 divide b?
False
Suppose 0 = 2*k - 2 - 0. Let x = 23 + k. Suppose h - 2*h + x = 0. Is 24 a factor of h?
True
Suppose -2*y + 4*y + 8 = 0. Is 14 a factor of (-1)/y - 1340/(-16)?
True
Let y = 21 + -13. Suppose -392 = -y*a + 4*a. Is 28 a factor of a?
False
Let w(n) = -n + 1. Let b(z) = -12*z + 6. Let t(u) = b(u) - 4*w(u). Does 15 divide t(-3)?
False
Suppose -104 = -6*n + 2*n. Suppose 3*g - 4*a + n = -2*a, 0 = -g + 2*a - 6. Let d = -7 - g. Is d a multiple of 2?
False
Let z(n) = -2*n - 25. Let s be z(-11). Let q(f) = -6*f**3 + 2*f + 1. Let a be q(-1). Let t = s + a. Is t even?
True
Let l(p) be the third derivative of p**5/60 + 7*p**4/24 - 2*p**3 - 3*p**2. Does 3 divide l(-9)?
True
Let i = 25 + -20. Suppose 400 = i*d - 0*d. Is d a multiple of 20?
True
Let f = 9 + -7. Suppose -f*x + 12 + 4 = 0. Is x a multiple of 8?
True
Suppose -45 = 6*x - 207. Is 10 a factor of x?
False
Suppose 214 = 2*o + r + r, 0 = -5*r + 20. Is 19 a factor of o?
False
Let n = 7 + 7. Suppose 3 = 3*s + 6. Let z = s + n. Is z a multiple of 13?
True
Suppose 0 = -3*d + d + o + 3, 0 = -d - 4*o - 21. Does 9 divide 11 + 3 + -4 + d?
True
Suppose 0 = -g - 5, -2*r = -3*r - 3*g + 35. Does 12 divide r?
False
Suppose -235 = -4*j - 27. Is j a multiple of 13?
True
Let g(c) = -c**3 - 6*c**2 + 4*c + 10. Is 14 a factor of g(-7)?
False
Let j be (-2)/(-3) + 96/(-9). Suppose 3*o + 0*x - 3 = -4*x, -2*o - 3*x = -1. Is (-286)/j - (-2)/o a multiple of 12?
False
Suppose -9 = -5*v + 16. Suppose r + 3*r = -v*a + 232, -3*r + 234 = 5*a. Let b = a - 24. Does 12 divide b?
True
Let v = -98 + 42. Let n be 1/(-3) - v/(-12). Let s = 17 - n. Is 11 a factor of s?
True
Suppose 9*i = 5*i + 16. Suppose 2*s - 98 = i*j - j, 4*s + 2*j - 164 = 0. Does 10 divide s?
False
Let h = 36 - 5. Is 15 a factor of h?
False
Suppose -2*v - 4 = -0*v. Let w(m) = -m**3 + m - 2*m**2 + 0 + 2 - 3*m**3. Is 12 a factor of w(v)?
True
Let z = 64 + -35. Is 26 a factor of z?
False
Let l = 25 - 9. Suppose -2*d = -4 - l. Let x = d - -16. Does 13 divide x?
True
Let m be 1/(-3) - 66/(-9). Let z(f) be the second derivative of f**3/2 + f**2/2 + 4*f. Is 8 a factor of z(m)?
False
Let n = -8 + 10. Suppose -5*s + 12 = -n*s. Is 4 a factor of s?
True
Let h = -8 - 4. Let g = -7 - h. Suppose -g = -5*t, -5*k + 71 = -k + 3*t. Is 17 a factor of k?
True
Suppose -15 = -2*z + 5. Suppose j - z = -j. Let s(k) = -k**3 + 7*k**2 - 4*k - 5. Does 12 divide s(j)?
False
Let b(w) = w**3 + 14*w**2 + 23*w + 8. Is 6 a factor of b(-11)?
False
Suppose 2*i + 5*d = -2*i + 323, 2*d - 251 = -3*i. Let u be i/3 - (3 + -6). Let v = u + -18. Does 7 divide v?
True
Let i = 15 + -9. Let v be (-122)/6 + 2/i. Let o = v - -42. Is 11 a factor of o?
True
Let s(k) = 0 + k + 5 + 0. Is s(0) a multiple of 5?
True
Let y = -5 + 12. Suppose 1 = -z, 2 = -2*f - z + y. Suppose 0 = -f*l + 3, s - 3 = -0*s + 4*l. Is s a multiple of 7?
True
Let w(m) = -7*m - 9. Let r(x) = 4*x + 5. Let n(u) = -11*r(u) - 6*w(u). Let s be n(-2). Suppose s*d + 112 = 5*z, 5*z = z - 4*d + 96. Does 9 divide z?
False
Suppose -p + 0*p = -4. Suppose -70 = p*m + 3*g + 32, 0 = 4*m - g + 94. Let o = -15 - m. Is 5 a factor of o?
False
Let x be 6 + 1*(-1 - 0). Suppose -x*k + 19 = 4. Suppose -136 = j - k*j. Is j a multiple of 25?
False
Is (10 - 0) + (-10)/(-5) a multiple of 12?
True
Let h(y) = y**2 + 4 - 11*y + 4*y - 7. Is 15 a factor of h(9)?
True
Let x(a) = a**2 - 5*a + 6. Let j be x(4). Suppose j*k = -4*l + 6, -3*l + 7 = -4*k - 14. Let c(h) = -h**3 - h**2 + 3*h - 2. Is c(k) a multiple of 3?
False
Let q(x) = -2*x + 1. Let r be 2/(4*(-1)/6). Is q(r) even?
False
Suppose 5*l - 2 = -17, -3*k - 4*l = 6. Suppose -3*j - 4*n = 134, j + 170 = -k*j + 5*n. Let f = 82 + j. Does 9 divide f?
False
Let i be ((-12)/10)/((-9)/(-30)). Let l = i - -7. Suppose 0 = c + l*c - 108. Is 12 a factor of c?
False
Suppose -12 = -p - 4*a, 2*p + 4*a - 24 = -0*a. Does 10 divide p + (2 - (-12)/(-3))?
True
Suppose 78 = 5*t + u, -3*t - 2*u + 44 = -7. Let o(y) = 5*y + 4. Let m be o(6). Let n = m - t. Is 7 a factor of n?
False
Suppose -5*p + 142 = 4*c, -3*p + 4*c = -c - 63. Let y = 13 - p. Let a = y + 33. Does 19 divide a?
False
Suppose -4*z + 4*q = -340, 7 = 3*q + 19. Is z a multiple of 27?
True
Let x be (-8 + 1 + 0)*-17. Suppose c - 2 = 0, -t + x = 2*t + 4*c. Does 8 divide t?
False
Suppose 2*r = -2*r - 76. Let i = 52 + r. Does 11 divide i?
True
Let y(m) = -134*m + 1. Let j be y(-1). Suppose 5*d - 4*x = x + j, 5*x = -3*d + 65. Does 13 divide d?
False
Suppose 5*k + 12 = 2*k. Is 6 a factor of (-2)/(-4) - 82/k?
False
Let q(s) be the first derivative of s**3/3 - s**2 + s + 1. Let v be q(1). Suppose n - 1 - 31 = v. Is 14 a factor of n?
False
Suppose 0 = -l - 4*l. Suppose l = -s + 3*s - 132. Is 22 a factor of s?
True
Let d(g) be the third derivative of g**4/24 + 2*g**3 + 4*g**2. Does 12 divide d(0)?
True
Suppose -d - 4*p - 14 = 0, 2*d + p = -3*p - 12. Let k(s) = 4*s**3 - 2*s**2 + 2*s - 3. Is k(d) a multiple of 15?
False
Let x = 3 + -3. Suppose x*v = -3*v + 171. Is 19 a factor of v?
True
Let h(o) = -3*o - 3. Let b be h(-3). Let k be (70/6)/(2/b). Is (-1)/(-4) - k/(-4) a multiple of 5?
False
Let l be 1/2 + (-1285)/(-2). Suppose 0 = -3*b - 2*j + j + l, 3*j = -6. Suppose 4*q = -5*i + b + 30, 205 = 5*i - 4*q. Is 19 a factor of i?
False
Let d = 57 - -35. Is 23 a factor of d?
True
Let x be (39/(-9) - 3)*-3. Let s = -4 + x. Is s a multiple of 6?
True
Let l(m) = m**2 - 2*m - 4. Suppose 10 + 2 = 2*y. Is l(y) a multiple of 10?
True
Let t(s) = 4*s**3 - s**2 - 4*s + 3. Let x be t(3). Let p = -54 + x. Let h = -23 + p. Is h a multiple of 13?
True
Let f(u) = -3*u**2 + 6*u - 5. Let m(p) = -10*p**2 + 17*p - 14. Let q(x) = 11*f(x) - 4*m(x). Is q(2) a multiple of 21?
False
Let x be 23/((-2)/(0 + 2)). Let k = 57 + x. Does 17 divide k?
True
Let t(n) = -n. Let s be t(-2). Let m be (0*(-1)/3)/s. Let o = m - -14. Is 14 a factor of o?
True
Suppose -5*l + 4 + 26 = 0. Suppose u = 2*u - l. Let x(a) = a**3 - 6*a**2 + 3*a - 3. Does 10 divide x(u)?
False
Let u(k) = -2*k**2 - 16*k - 15 + k**2 + 0*k**2. Does 20 divide u(-12)?
False
Let x = -128 - -147. Does 18 divide x?
False
Suppose 7*f - 5*f - 42 = 0. Is f a multiple of 2?
False
Is 1055/10 + 1/2 a multiple of 25?
False
Suppose 0 = -5*i + 10, 2*i - 36 = -4*n - 12. Suppose -5*x + 35 = n*w, 0 = 3*x - 8*x. Does 2 divide w?
False
Suppose 5*b - 48 = -5*v - 3, -4*v + 54 = -2*b. Does 6 divide v?
True
Suppose 46 = 5*f - 4*k, -f = 3*k - 4 - 9. Is f a multiple of 6?
False
Let d(a) be the second derivative of a**5/40 + a**4/12 + a**3/2 + a. Let b(f) be the second derivative of d(f). Does 3 divide b(3)?
False
Let t be 2 - (-3 + 4 + -3). Does 9 divide (t/6)/((-1)/(-60))?
False
Let o(j) = 9*j + 3. Let n be o(7). Suppose 3*m - 4*p - n = 0, -5*m + p + 101 + 9 = 0. Is m a multiple of 13?
False
Suppose -2*i - 4 = -4*i. Let v be (2/(-5))/(i/(-10)). Suppose 0 = -5*a + 3*y + 71, 43 = 3*a - v*y - 0*y. Is 13 a factor of a?
True
Suppose 3*u - 3*d = -4*d - 18, u + d + 6 = 0. Let v(s) = -2*s + 4. Is v(u) a multiple of 8?
True
Let k be (-4)/18 - 152/(-36). Suppose -3*c = -k*c. Suppose -4*h + 48 = g, -5*h - g + 48 + 11 = c. Is h a multiple of 11?
True
Suppose -u - 165 = -3*m - 19, 5*u = 3*m - 142. Suppose -m = -i - 3*p, i + 2*p = 6*p + 35. Is 20 a factor of i?
False
Is 30 a factor of 48/(-14)*175/(-10)?
True
Let g be -5*(-1)/(-5)*-2. Suppose 4 = -2*z + z - g*y, -5*z + 3*y - 85 = 0. Is 17 a factor of (-480)/z + 8/(-28)?
True
Suppose 2*r + 32 = 3*r. Does 8 divide r?
True
Suppose j + 44 = -4*q, 7 = -4*q + 4*j - 17. Let d = q + 11. Suppose 0 = -2*w + 1 + d, 3*y - w - 221 = 0. Is 19 a factor of y?
False
Let g(f) = -f + 18. Let l be (22/3)/(4/6). Let w be g(l). Suppose 4*s - 67 = -q, s + 0*s + w = -5*q. Is s a multiple of 10?
False
Suppose 3*m - 5*p = -10*p + 458, 5*m - 782 = p. Suppose q = -q + m. Does 20 divide q?
False
Let i(s) be the third derivative of -s**6/120 + s**5/60 + s**4/24 + 2*s**2. Let c be i(-2). Suppose 0 = 3*q - 2 - c. Is 4 a factor of q?
True
Let k(f) = -5*f + 2. Let j be 24/(-10) - 2/(-5). Let i be j/(-7) - (-64)/(-28). Is 4 a factor of k(i)?
True
Is (-2)/(-2)*192 + -5 a multiple of 17?
True
Let i = 361 - -98. Is 4/10 - i/(-1