 - 17. Let m = 2 + r. Does 11 divide (-53)/m + 2/5?
True
Suppose 4*r - 28 = 3*r. Is r a multiple of 4?
True
Suppose 0 = f + 3*f + 136. Let j = f + 62. Does 14 divide j?
True
Let s be (-15)/(-6) - (-3)/(-6). Is 3 a factor of s/(-3 + 87/27)?
True
Suppose -3*j + x = 4*x + 18, -18 = j + 4*x. Let k be (j + 6)*2/4. Suppose 4*g + 27 = l, -k*g = l + 3*l - 18. Does 7 divide l?
True
Let y = 20 - -15. Is 8 a factor of y?
False
Suppose -j = 4*q + 15, 2*q + 30 = 4*j - 0*j. Let h be ((-32)/(-10))/((-1)/(-45)). Suppose -5*b = -4*i + h, -165 = -3*i - j*b - 22. Is i a multiple of 19?
False
Let v(m) = -26*m. Is v(-3) a multiple of 13?
True
Let q = 12 + -7. Suppose 0 = -q*t - 118 + 313. Is t a multiple of 13?
True
Let f be (-3)/(-12) - 46/(-8). Is 10 a factor of (27 - f)/(0 + 1)?
False
Suppose 6*i + 54 - 12 = 0. Does 5 divide ((-20)/i)/(2/7)?
True
Let z(i) = -i**2 + 3*i. Let c be z(3). Let p(u) = -u + 52. Is p(c) a multiple of 26?
True
Suppose 0 = 5*y - 0*y - 20. Let f(p) = 0*p**3 - 6*p + 4 - 8*p**2 - p - y*p**3 + 3*p**3. Is f(-7) a multiple of 4?
True
Suppose -5*j + 14 + 1 = 0. Suppose -j = -0*o - o. Is o even?
False
Let d(w) = 5*w - 11. Let t(z) = -26*z + 56. Let p(m) = 11*d(m) + 2*t(m). Let b = 8 - 2. Is p(b) a multiple of 4?
False
Let k = 134 - 53. Does 21 divide k?
False
Let k be (-4 + 0)*(-3)/2. Let q = -5 - -14. Suppose -11 = -3*h - r, h - k*h + 3*r = -q. Is 3 a factor of h?
True
Is 24 a factor of 2248/22 + (-4)/22?
False
Does 3 divide 366/15 + (-4)/10?
True
Suppose -5*q = -y - 25 - 8, 4*y = 2*q - 6. Does 2 divide q?
False
Let u(g) = 3*g**3 - g**2 + g + 4. Is 22 a factor of u(4)?
False
Let m(c) be the second derivative of c**3 - c**2 + c. Does 9 divide m(6)?
False
Suppose -4*k + 76 = 2*x, 4*k - 5*k - 26 = -x. Is x a multiple of 10?
True
Suppose 12*o - 350 = 5*o. Does 9 divide o?
False
Let d(j) = 6*j**2 + 5*j - 7. Let x be d(5). Suppose 0 = -5*k + k + x. Is 14 a factor of k?
True
Suppose -2*v = -2*s + 206, 4*v = 3*s + 3*v - 307. Does 35 divide s?
False
Let c = 243 + -171. Is 12 a factor of c?
True
Let g(d) = 10*d**2 - d - 1. Let s(u) = u + 12. Let c be s(-9). Is g(c) a multiple of 33?
False
Suppose 0 = -2*z - 3*t + 515, -5*t - 1006 = -4*z - 3*t. Is z a multiple of 37?
False
Let a = 7 + -4. Suppose 3*d + 84 = 3*p - 2*d, 2*p + a*d - 37 = 0. Is 10 a factor of p?
False
Let q(k) = 2*k**3 - 3*k**2 - 11*k + 7. Is 12 a factor of q(4)?
False
Suppose 0 = v - 5*m + 1 - 46, 4*m = 2*v - 108. Is v a multiple of 27?
False
Let v = -19 - -21. Suppose -v*j = y + 1, -j - 29 = -y + 3*j. Is 2 a factor of y?
False
Is 10 a factor of 1/2*((61 - 3) + 2)?
True
Let s = 3 + -3. Suppose 5 = v - s*v. Suppose o + 71 = v*q, -8*q + 3*o + 59 = -4*q. Is q a multiple of 14?
True
Let l(z) = 18*z + 15. Is l(6) a multiple of 13?
False
Let o(f) be the second derivative of f**5/20 - f**4/2 + f**2 - f. Let w be o(6). Suppose -p + 42 = w*p. Does 9 divide p?
False
Is ((-960)/18 + (-1)/(-3))*-2 a multiple of 24?
False
Let y = -16 + 4. Is 14 a factor of 69*(-3 - 44/y)?
False
Let y = 13 + -18. Let o(m) = -m**2 - 11*m. Is 15 a factor of o(y)?
True
Let u(c) be the second derivative of -c**3/6 - c**2 + c. Let o be u(-4). Let k = 10 - o. Is k a multiple of 8?
True
Suppose 14 = 3*g - 1. Suppose -a + 0 = 4*o - 20, 0 = 5*a + o - g. Suppose d + 4*c - 37 = a, 0*c = -4*d + 3*c + 129. Is 15 a factor of d?
False
Suppose -2*o - 138 = -4*z, 36 = 2*z - 2*o - 36. Does 11 divide z?
True
Let d be (-3)/(3/(-2)) + -3. Let n = 5 + d. Suppose 0*x = -x + n. Is 4 a factor of x?
True
Let t(m) be the third derivative of -m**5/30 + m**4/4 + m**3/6 + 3*m**2. Let c be t(6). Is 10/c - 760/(-14) a multiple of 19?
False
Let d(b) = -b + 27. Is 2 a factor of d(7)?
True
Let p(a) = 6*a**2 - 8*a + 10. Does 19 divide p(4)?
False
Suppose 0 = 2*o, -148 = -k - 3*k + 5*o. Is k a multiple of 7?
False
Let p = 14 + -3. Does 3 divide p?
False
Let l(d) = 11*d**3 + d - 1. Let b be l(1). Let y be (-2)/1 - (1 - 0). Let s = y + b. Is s a multiple of 3?
False
Let v(z) = 10*z**2 - z. Is v(2) a multiple of 19?
True
Let i(t) = 64*t**2 + t + 1. Is i(-1) a multiple of 28?
False
Let g(z) = -z + 6. Let h be g(6). Let s = h + 4. Does 4 divide s?
True
Let g be 4/(-2)*22/(-4). Let y = 7 - g. Is ((-140)/(-16))/((-1)/y) a multiple of 13?
False
Suppose -w = -5*w. Suppose 37 = 5*y - 2*h, -y - 3*y + 3*h + 24 = w. Is y a multiple of 3?
True
Let j(x) = -2*x**2 - x. Let w be j(-1). Is 1/((-4)/212)*w a multiple of 18?
False
Let s(g) = 5*g**2 + 3*g + 3. Let t(v) = 6*v**2 + 4*v + 3. Let c(x) = 5*s(x) - 4*t(x). Let p(k) = -k**2 - 2*k. Let d be p(-2). Does 3 divide c(d)?
True
Suppose a - 25 = -4*a. Let x = a - 7. Let r(u) = -6*u + 2. Is 7 a factor of r(x)?
True
Let u(p) = 3*p**2 - 10*p - 1. Is u(-7) a multiple of 36?
True
Let x = 12 + -8. Let i = x - -6. Is 10 a factor of i?
True
Let g be 2/6 - 222/(-9). Let v = -5 + g. Does 10 divide v?
True
Let v(k) = -k**2 + 9*k + 6. Let n(o) = o + 5. Let j be n(0). Suppose 19 = j*r - 26. Is v(r) a multiple of 5?
False
Does 5 divide -1 + 4 + (42 - 1)?
False
Suppose -4*s + 216 = 2*s. Is s a multiple of 15?
False
Let c(d) = 10*d**3 - 2*d**2 + 3*d - 5. Does 36 divide c(2)?
False
Suppose 0 = 3*s - 8*s - 245. Let m = s + 73. Is m a multiple of 12?
True
Suppose 461 - 21 = 5*j. Is j a multiple of 21?
False
Let h(b) = 1 + 5*b + b - b - 6*b. Does 9 divide h(-8)?
True
Let g be -8 - -2*(-1)/2. Let w be ((-30)/3)/(-2) + -1. Does 10 divide (g/w)/((-3)/32)?
False
Suppose 3*r + 192 = 9*r. Does 8 divide r?
True
Suppose 0*b + 5*b + 24 = -2*a, -5*b - 60 = 5*a. Suppose 0 = -v + 3*l + 52, -22 = -v + l - 4*l. Let u = v + a. Does 15 divide u?
False
Let p(c) = c**2 - c + 4. Suppose 5*q - q = 0. Let m be p(q). Suppose -4*l + 56 = -5*y + 5, m*l + 2*y - 58 = 0. Does 7 divide l?
True
Let t = 210 + -74. Does 29 divide t?
False
Let j(v) = v**2 - 76. Let o be j(0). Let l = o + 136. Does 22 divide l?
False
Let j(h) = 5*h + 44. Is 27 a factor of j(5)?
False
Let f = -30 - -66. Suppose 5*p - f = 2*p. Is p a multiple of 4?
True
Is (24/(-28))/((-5)/350) a multiple of 6?
True
Suppose -3*z + l + 8 = 0, 0 = z + 3*l - 6*l - 8. Suppose -2*m + 47 = 5*o, -z*o + 2*m + 13 + 3 = 0. Is o a multiple of 9?
True
Let b(z) = z**2 - 6*z + 7. Let f be b(5). Suppose -f*j + 0*j = 0. Suppose -m - m + 10 = j. Is 5 a factor of m?
True
Suppose -5*m + 0*m + 5*b = 0, -2*b = 0. Suppose m = c + 1 - 5. Suppose -r - c = -26. Is r a multiple of 22?
True
Let c = 16 + -8. Let h(k) = 56*k. Let o be h(1). Suppose 4*r + o = c*r. Is 7 a factor of r?
True
Suppose 5*y - 320 = 3*l, -2*y - 2*l + 107 = l. Is y a multiple of 27?
False
Let s = -35 - -74. Is 32 a factor of s?
False
Let a be 5*(3 - (-34)/(-10)). Is 5 a factor of (-62)/(-6) - a/(-6)?
True
Let r be (-128)/6*(-6)/4. Let w = r - 11. Is 21 a factor of w?
True
Let r = -7 - -7. Suppose r = 3*p - p - 18. Is 7 a factor of p?
False
Suppose g + 11 = t, 0 = -g + 4*g - 4*t + 38. Let z(i) = -i - 3. Let v be z(g). Suppose 3*u - 4*c - 20 - 31 = 0, -51 = -v*u - 2*c. Is 13 a factor of u?
False
Let j(x) = x**3 + 11*x**2 - 3*x + 9. Let w be 3 + -11 + (-3 - 0). Is 14 a factor of j(w)?
True
Suppose 0 = -a + 2*a - 72. Let x = a - 138. Let v = -38 - x. Does 13 divide v?
False
Let j be (0 - -3 - 2)*0. Suppose 5*s + u - 88 = j, s + 5*u + 53 = 5*s. Is s a multiple of 17?
True
Let u(v) = 1 + 3*v**2 + 0 + 5*v - 2 + 4. Does 13 divide u(-4)?
False
Let x = 117 + -62. Is 9 a factor of x?
False
Let o(a) = 4*a + 3*a + 2*a**2 + 2 - 8. Suppose 4*q + 15 = -3*l, -6*l = -l - 15. Is 10 a factor of o(q)?
False
Suppose z + w - 1 = 0, -4*z - 2*w + 11 = -3. Let m be (-1)/((-1)/(z/3)). Is ((-5)/5)/(m/(-36)) a multiple of 18?
True
Does 9 divide 24/(-4 + 8) - -300?
True
Let a = 14 + -11. Suppose -a*d - 12 = 0, 3*p + 27 - 75 = -3*d. Is p a multiple of 4?
True
Suppose 0 = -5*n + 221 - 61. Does 16 divide n?
True
Let g(c) = 8*c**3 + 4*c**2 - 2*c - 3. Does 11 divide g(2)?
False
Suppose -g - g = -6. Suppose g*t + 2*t - 40 = 0. Is t even?
True
Let i(u) = 2*u**2 + 3*u - 4. Let j be i(-6). Let w = 76 - j. Is 13 a factor of w?
True
Suppose -5*c + 35 = -5*s, c + 2*s = -2*c + 26. Does 2 divide c?
True
Suppose 0 = 4*o + 5*z + 4, 0 = -2*o + 2*z + 3*z - 32. Let m(p) = -p**3 - 5*p**2 + 10*p + 8. Let k be m(o). Does 5 divide (k/10)/(4/(-20))?
False
Let b(v) = v**3 + 12*v**2 - 13*v + 8. Let y(t) = -3*t + 11. Let 