53. Does 21 divide i?
False
Suppose 3*r + 38 = 2*o - 43, -5*r - 15 = 0. Is o a multiple of 9?
True
Suppose -6*y + 2*y = -224. Suppose x - y = 117. Suppose -2*o = -3*g + 3*o + x, -g - 4*o + 35 = 0. Is 23 a factor of g?
False
Suppose -24*l = -20*l - 320. Is l a multiple of 16?
True
Suppose 0 = -8*n + 6*n - 3*i + 176, 4*i - 8 = 0. Is n a multiple of 8?
False
Let r be 0/(-1)*(-1)/1. Suppose r = -7*o + 357 + 7. Is o a multiple of 13?
True
Suppose 4*h + n - 59 = 0, 4*h + 0*n = 2*n + 50. Let r = 36 + 0. Let g = r - h. Is 17 a factor of g?
False
Let s(x) be the first derivative of -x**4/4 - 2*x**3 - x**2 + 2*x + 2. Is 3 a factor of s(-6)?
False
Let s(o) = o**2 + 15*o - 9. Let f be s(-14). Let q = 13 + -8. Let a = q - f. Is 14 a factor of a?
True
Suppose -f = f - 4. Suppose f*j = -j + 5*h - 24, 4*j + 32 = -5*h. Does 9 divide 105/4 + (-6)/j?
True
Suppose 2*r - 5*r = 0, -26 = -2*j - 2*r. Is j a multiple of 13?
True
Let d = -57 - -81. Is 3 a factor of d?
True
Let c be 72/(-32) + 1/4. Let r(k) = 43*k - 2. Let f be r(c). Is 5 a factor of (-1)/(-3) + f/(-6)?
True
Let z(c) = 3*c - 1. Let n be z(1). Suppose -2*i + 0*d - n*d = -26, i + 2 = 2*d. Is i a multiple of 8?
True
Let r be (0 + 2)/((-4)/(-10)). Suppose 5*g - 505 = -0*g - r*b, 2*b = -5*g + 511. Suppose 3*i - 3*q - 2*q = g, 5*q + 25 = 0. Does 13 divide i?
True
Let l be 7*4 - (-3 - -2). Let j be 10/(-45) - l/(-9). Is 4 a factor of ((-2)/(-4))/(j/60)?
False
Suppose 15 + 25 = -5*f + 4*i, 2*f + 2*i = 2. Let o be (-23)/1 - (f - -6). Let g = o + 51. Is 19 a factor of g?
False
Let d(h) = 2*h + 4. Let k(c) be the second derivative of -c**3/6 - 3*c**2/2 + 3*c. Let g(b) = -5*d(b) - 7*k(b). Is g(-2) a multiple of 7?
True
Let d be -7 - 7 - (-4)/2. Let k(m) = -3*m - 15. Is 5 a factor of k(d)?
False
Suppose 2*d + 4*j - 39 = -j, 2*d - 31 = 3*j. Suppose 3*v = c - d, c + 23 = 4*c - 2*v. Suppose -t - 39 = -s + 19, 0 = c*t - 15. Does 27 divide s?
False
Let r(a) = -4*a + 1 + 2*a + a + 0*a. Let s be r(1). Suppose -4*n - 5*m + 3 + 31 = s, -n = -5*m - 21. Is n a multiple of 11?
True
Is 7 a factor of 36 + 0/2 + -1?
True
Suppose 43 + 45 = 4*t. Suppose y - 60 = -t. Is y a multiple of 17?
False
Let k(p) = p**2 - 5*p + 6. Let a be k(4). Suppose 96 = 3*t + t - a*w, -t = -5*w - 24. Does 18 divide t?
False
Is (32 - 0 - 0)/2 a multiple of 16?
True
Let b(u) = u + 7. Let v be b(-5). Suppose v*a = -a + 78. Is 13 a factor of a?
True
Suppose 3*a - 1 + 4 = 0. Is (1 + (a - 1))*-57 a multiple of 19?
True
Let m be -15*(2 - 26/10). Let a(v) = 3*v - 1. Does 13 divide a(m)?
True
Let h be (4/(-8))/(3/(-12)). Suppose -4*a + 31 = r, 0 = -h*a + 6*a - 12. Is 7 a factor of r?
False
Let w(g) = 10*g - 3. Let s be w(-3). Let l = s + 64. Is l a multiple of 16?
False
Let o = 165 - 75. Suppose 0*m = -3*m + o. Does 26 divide m?
False
Suppose c + 1 = -0*c + m, -2*c + 4 = m. Let z be -2 + 9 + 2/c. Does 10 divide ((-20)/(-3))/(3/z)?
True
Let o(p) = -7*p + 4. Let d be o(-7). Is (-2)/(-2)*-1 + d a multiple of 13?
True
Let i(r) be the first derivative of -r**4/12 - 3*r**3/2 - 2*r**2 - 2*r + 1. Let k(l) be the first derivative of i(l). Is 14 a factor of k(-6)?
True
Let t be 86 - (0 + (-3)/(-1)). Is 28 a factor of 3 - ((-4)/(-2) - t)?
True
Let j be 1234/(-14) - 13/(-91). Is 13 a factor of j/(-2) + 4 + 4?
True
Let k(b) = 2*b - 1. Let z be k(2). Suppose 22 = 5*v + 4*j, -4*v + 18 = -0*v + z*j. Is v a multiple of 6?
True
Let n = 8 - 2. Let s = -6 + n. Is 8 a factor of s*(-3)/(-9) + 16?
True
Let o(y) = 31*y**2 - y - 2. Is 12 a factor of o(-1)?
False
Suppose 45*b - 50*b + 1050 = 0. Is 15 a factor of b?
True
Let z(q) = 8*q - 7. Let w be z(11). Let y = -39 + w. Does 11 divide y?
False
Let h(c) = c**2 - 2*c + 3. Let z(d) = -d**2 + 2*d + 5. Let a(x) = -x**2 + 8*x - 8. Let v be a(6). Let y be z(v). Is h(y) a multiple of 9?
True
Suppose -3*r + 353 = -4*u, -4*r - 5*u + 324 = -157. Is 17 a factor of r?
True
Let l = 20 - 14. Is 14 a factor of -2*3*(-52)/l?
False
Suppose -4 = -2*y - 0*y. Suppose y*j + 3*j - 45 = 0. Let m = j - 4. Is m a multiple of 5?
True
Let h(p) = -3*p + 6. Let b = -20 - -11. Does 11 divide h(b)?
True
Does 34 divide 3/(-33) + 8517/33?
False
Suppose 11*s + 3*s = 1540. Is 5 a factor of s?
True
Is (-2 - 0) + (2 - -50) a multiple of 12?
False
Let y be (4/10)/((-2)/(-10)). Suppose -32 = -y*a - 0. Is a a multiple of 8?
True
Let z = 20 + -7. Suppose -z + 2 = -3*b - 5*g, -5*g = 4*b - 18. Let l(f) = 2*f + 8. Is l(b) a multiple of 11?
True
Suppose j - 200 = -3*j. Suppose 157 = 5*b - s - 57, b - j = 2*s. Does 14 divide b?
True
Suppose -j - j + 4 = 0. Suppose j*y = 4*n + 12, 5*y - y - 19 = 3*n. Suppose 2*l = 3*o + 78, -l - 44 = -2*l + y*o. Is l a multiple of 18?
True
Let n(s) = 2*s**2 - 11*s + 1. Let p(b) = b**2 - 6*b. Let j(l) = 3*n(l) - 5*p(l). Let q be j(3). Is 5 a factor of (-1)/q + (-62)/(-6)?
True
Let p(g) = -g**3 + 4*g**2 - 2*g. Let w be p(4). Let t be (-2)/w + 7/4. Suppose 0 = 5*k + t*c - 86, -4*k - 2*c = 17 - 85. Is 7 a factor of k?
False
Suppose 0 = -2*g - 2, 3*z + 44 = -g + 13. Let f = z + 16. Is f a multiple of 6?
True
Let u be 4/(-18) + 56/9. Let m be 1/3 - 38/u. Let c = m + 15. Does 3 divide c?
True
Suppose 0*m + 10 = 5*m. Suppose -3*h - d + 56 = 0, m*d + 68 = -h + 5*h. Does 18 divide h?
True
Let k be 1/2 - 129/(-6). Suppose 5*a = -2*h - 0*a + 38, -h + k = a. Is 22 a factor of h?
False
Suppose 14*o - 29 = 13*o. Is o a multiple of 5?
False
Suppose 2*i = -63 - 337. Let y be (-8)/(-6)*36/(-8). Is y/21 - i/14 a multiple of 7?
True
Suppose 12 = -g + 5*j, 2*g + 3*j = 2 + 13. Let i = -9 + g. Let b = i + 8. Is b a multiple of 2?
True
Let j be 1/(-1 - (-44)/48). Is j/(-10)*(-35)/(-14) a multiple of 2?
False
Let q be (0 + -5)/(6/(-12)). Suppose 75 + q = 5*m. Is 7 a factor of m?
False
Let p be (-6)/(-8)*(-128)/(-4). Suppose c - 3*c = -p. Is c a multiple of 4?
True
Suppose -5*h = -2*x + 3*x - 148, -5*h + 4*x = -158. Is 3 a factor of h?
True
Suppose -3*b - 11 = 10. Let q = -1 - b. Does 11 divide (20/q)/(3/27)?
False
Suppose 17 = -5*y - 43. Does 9 divide (0 - y) + (5 - 8)?
True
Is -1*(1 + -3*11) a multiple of 8?
True
Suppose 2*b - 4 = 162. Is 18 a factor of b?
False
Let l(n) = -4*n**3 + 6*n**2 + 6*n - 1. Let g be l(5). Is 15 a factor of 4/(-14) - g/21?
True
Is 13 a factor of 4/14 + (-1064)/(-49)?
False
Suppose -3*x + 0*x + 45 = 0. Suppose -2*v - x = -3*c, -2*v = -c + 9 - 4. Is c a multiple of 2?
False
Suppose -4*l - 3*b + 124 = 0, -3*l + 8*l - 3*b = 182. Let g = -16 + l. Does 7 divide g?
False
Let q(t) = -12*t - 49. Does 27 divide q(-9)?
False
Let x be ((-1)/(-3))/((-2)/(-24)). Is 13 a factor of (-1)/4 + 69/x?
False
Suppose -3*p = 4*b - 466, 0*p = 2*p - 2*b - 334. Is p a multiple of 27?
True
Let s = 3 + 6. Suppose 4*g - s*g = -75. Is 5 a factor of g?
True
Let d be 0 - 3*(-1)/1. Let o = d - -2. Suppose 2*b - 134 = -3*b - u, 0 = 3*b - o*u - 58. Is 13 a factor of b?
True
Let i = 2 - 0. Suppose i*g - 52 = -2*g. Is 13 a factor of g?
True
Suppose -3*s - 4 = -g - 14, 3*s - 18 = -3*g. Suppose g*z + 16 = 6*z. Is 9 a factor of 8/(0 + 2/z)?
False
Let n = -12 - -92. Is 16 a factor of n?
True
Let p(n) = n**3 - 8*n**2 - n + 3. Let r be p(8). Let u(a) = a**3 + 5*a**2 - 5*a. Is u(r) a multiple of 19?
False
Suppose 0*p - v - 86 = -3*p, -4*p + 88 = 4*v. Suppose 6 = -2*m - 4*g, -m - 3*m + 5*g + p = 0. Suppose 5 = a, m - 12 = 2*h - 3*a. Does 3 divide h?
True
Let o = -17 - -12. Let d be (-24)/(-15)*o/(-2). Let a(l) = 2*l**2 - 4*l + 1. Is a(d) a multiple of 10?
False
Suppose 10 = c - 0*c - 2*r, -3*r + 3 = 0. Is c a multiple of 12?
True
Let c = -6 + 1. Does 2 divide 1/c - 42/(-10)?
True
Suppose 0 = 4*g - 0*g - 12. Suppose -t + 2*t + 4*m - 8 = 0, 3*t + 5*m - 31 = 0. Suppose 3*i - t = 0, 0 = g*q - 5*i - 84 + 20. Is q a multiple of 10?
False
Suppose 0 = 5*f + 3*d - 196 - 407, 4*d = 4. Is f a multiple of 12?
True
Let u(m) = -m**3 + m**2 - m + 1. Let x(d) = -4*d**3 + 10*d**2 - 11*d - 1. Let k(p) = 5*u(p) - x(p). Suppose 0 = 4*y + 16 + 8. Does 2 divide k(y)?
True
Let k(f) = f**2 - f + 2. Let x be k(0). Suppose -x*g = -8 - 34. Is 7 a factor of g?
True
Let n = 10 + 1. Let s = n - 6. Suppose -4*t = j - 0*t - 9, -9 = -j + s*t. Is j a multiple of 8?
False
Let s = 10 - -30. Is 8 a factor of s?
True
Let m(u) = u**3 + 6*u**2 + 4*u - 3. Let q be m(-5). Suppose -2*t + 68 = q*t. Does 14 divide t?
False
Suppose -