e 5*n - 56 - 104 = 0. Is 22 a factor of n?
False
Let y(j) = j**3 - j**2 - 3*j - 1. Is y(4) a multiple of 10?
False
Suppose 0 = -5*x + 4*d + 22, -14 = 5*d + 1. Suppose 2*g - x = 2. Suppose g*i + 2*i - 144 = 0. Is i a multiple of 12?
True
Let z = 37 - 26. Let r(f) = 2*f**2 - 18*f - 6. Does 5 divide r(z)?
False
Let h be 9/6 - 66/(-12). Let q be (0/(-2))/(h - 8). Suppose -9*l + 5*l + 132 = q. Is l a multiple of 11?
True
Let t = -247 + 357. Suppose 2*h = 3*h - t. Is 22 a factor of h?
True
Suppose -o - 18 = -3*u - 2*u, -3*o + 18 = 3*u. Suppose -u*t = -68 - 272. Suppose -3*d = 2*n - 133, 0 = -3*d + 5*n + 55 + t. Does 12 divide d?
False
Suppose 0 = -0*s - 2*s. Suppose s = 9*z - 419 + 23. Does 12 divide z?
False
Let k(d) = 2*d**2 + 4*d + 4. Suppose 3*c = b + 11, 4*b = -c - b + 25. Let j = 1 - c. Does 10 divide k(j)?
True
Let q(m) = 5*m + 128 - 77 + 2*m**2 - 51 - 3*m. Suppose 0 = -0*z + 4*z - 20. Does 15 divide q(z)?
True
Let c = -8 - -13. Suppose -338 = -c*j + 217. Does 7 divide j?
False
Suppose -4*n = -n + 6, -2*v + 3*n + 622 = 0. Is v a multiple of 11?
True
Suppose 14 = 4*h + 2*y, 0 = h - y + 1. Suppose -h*o - g + 258 = 0, 632 = 5*o - 2*g - 2*g. Let f = o - 54. Is 37 a factor of f?
True
Let i be (-699)/(-15) - 4/(-10). Let o = 93 - i. Is o a multiple of 23?
True
Suppose -10061 = -5*i - 4*t, 4*i - 3*t + 6*t = 8049. Is 46 a factor of i?
False
Let c(q) = 1055*q**2 + 10*q - 2. Is 11 a factor of c(1)?
False
Suppose 5*t - 15 = -v - 2*v, 3*t - 3*v = 33. Suppose -2*z = -t*z + 144. Let r = -22 + z. Does 7 divide r?
True
Suppose -4*b - 4 = -2*j - 2*b, b + 2 = 4*j. Suppose j = 2*r - r - 110. Suppose -2*f - 4*y + 128 = 0, -f - f + r = -5*y. Is f a multiple of 16?
False
Let p = -1813 - -1968. Is p even?
False
Let q(h) = 33*h - 1. Let z be q(3). Suppose -z = -5*t + 662. Is 16 a factor of t?
False
Let v = 33 - 24. Suppose -v*w - 7*w = -2352. Does 49 divide w?
True
Let x(n) = -9*n**2 + 7*n - 4. Let l(u) = 5*u**2 - 4*u + 2. Let y(a) = -11*l(a) - 6*x(a). Let i be y(-1). Is (-33)/(-6)*2 - i a multiple of 3?
True
Let j(l) = 2*l**2 - 70*l + 43. Does 33 divide j(-17)?
False
Let o(p) = 3*p**2 - p - 4. Let k be o(2). Suppose -5*n + 11 - 51 = -2*f, k = f + n. Let c = 21 - f. Does 3 divide c?
False
Let m(s) = -9*s + 10. Let p(n) = -4*n + 5. Let x(h) = 6*m(h) - 11*p(h). Is x(-7) a multiple of 7?
False
Let g(h) = -h**3 + 2*h**2 + 6*h - 5. Let b be g(3). Suppose b*x - 745 = -5*f, 0 = 3*x + x + 2*f - 730. Does 28 divide x?
False
Let p = 10 - 7. Let l(d) = d**3 - d**2 - 2*d - 7. Let c be l(p). Suppose 4*b - 75 - 50 = -c*y, 0 = -4*y - b + 100. Is 8 a factor of y?
False
Let p be (6/(-4))/(9/(-12)). Suppose -5*h = p*h - 294. Is h a multiple of 14?
True
Suppose i - 8 = 3. Let l = -5 + i. Suppose q + 175 = l*q. Is 7 a factor of q?
True
Does 34 divide (-635)/2*48/(-60)?
False
Let a(r) = r**2 + r. Let j be a(-2). Let m(p) = 2*p - 1. Does 3 divide m(j)?
True
Let j = -8 + 25. Let d = j - 7. Does 3 divide (d/(-15))/(2/(-57))?
False
Let w be 1505/30 - (-2)/(-12). Suppose 3*v = -2*t + w, 0 = 3*v - 0*v - 4*t - 44. Suppose -v - 23 = -x. Is x a multiple of 13?
True
Let k(p) = p**2 - 5*p - 14. Is k(-5) a multiple of 4?
True
Suppose -2*q = c + 221 - 632, -4*q - 1668 = -4*c. Is 16 a factor of c?
False
Let c(n) = n + 1. Let k(y) = 12*y + 9. Let g(t) = -6*c(t) + k(t). Let z be g(-5). Let j = z - -48. Does 17 divide j?
False
Suppose 0 = -40*m + 43*m - 225. Is 14 a factor of m?
False
Let f(r) be the second derivative of r**5/20 - r**4/12 + 3*r**3/2 - 3*r**2 - 5*r. Is f(4) a multiple of 26?
True
Let g = -182 - -294. Is g a multiple of 7?
True
Let l(v) = 2*v**3 + 7*v**2 + 6*v + 1. Let b be l(-4). Let c = b + 65. Suppose 5*t - c = 194. Is t a multiple of 22?
True
Suppose 0 = -i - 4*p + 30, 2*i - 4*i = -p - 15. Does 3 divide (-9)/(45/i) + 12?
False
Let h(c) = -33*c - 33. Is h(-17) a multiple of 45?
False
Suppose -k - k + 16 = 0. Suppose w - k = -3*w. Is 2 a factor of w?
True
Suppose -34*l - 3*l = -9694. Does 17 divide l?
False
Suppose 2*y + 69*y - 187085 = 0. Is 31 a factor of y?
True
Let g(o) = -2*o**3 + 6*o**2 + 5*o - 1. Does 30 divide g(-6)?
False
Let s = 34 + 110. Is 18 a factor of s?
True
Let c(h) = -h**3 + 6*h**2 + h - 4. Let f be c(6). Suppose -5*d + 24 - 9 = 0. Suppose u + 0*a - 74 = -d*a, -5*u + f*a = -302. Is u a multiple of 33?
False
Let g(f) = -11*f + 8. Let i(b) be the second derivative of -5*b**3/6 + 2*b**2 - 4*b. Let h(m) = -2*g(m) + 5*i(m). Does 22 divide h(-6)?
True
Suppose w = 641 - 609. Is w a multiple of 16?
True
Suppose 0 = 5*o - 15, 0 = 3*f + 5*o - 22 - 2. Let z be 5 + -7 - (-2 + (-9)/3). Suppose -2*j + 20 = z*h - 11, -f*j - 3*h + 45 = 0. Is j a multiple of 3?
False
Let s(w) = w**2 - 7*w - 12. Let j(o) = -o**2 + 8*o + 12. Let p(a) = 6*j(a) + 7*s(a). Is 12 a factor of p(9)?
True
Suppose -18 = -b - 2*b. Suppose 0 = -3*c + b - 0. Suppose 0 = -2*s + 2*z + 92, -c*s + 4*z + 60 = -34. Is 9 a factor of s?
True
Let g be (-32 - -1)/(1/(-1)). Suppose 0 = -4*x - 5*o + g, -4*x + 5*o - 4*o = -61. Suppose -x = -3*v + 16. Is v a multiple of 10?
True
Let l be (1 - (0 - -2)) + 15. Let c = -16 + l. Does 13 divide c/1 - -12 - -3?
True
Let j = 16 - 9. Let z be j/(-28) - 5/(-4). Does 3 divide z/(-3 - -2) + 9?
False
Suppose 0 = 43*d - 136316 - 36888. Is d a multiple of 14?
False
Let k = 581 - 81. Let f = -257 + k. Is 11 a factor of f?
False
Let n(w) = 16*w**2 - 13*w + 16. Is n(-7) a multiple of 24?
False
Suppose 0 = -3*a - 13 - 5. Let w(p) = -4*p - 12 - 4*p - 3*p. Is w(a) a multiple of 10?
False
Suppose 4*o = 2*o - 196. Let z = o + 142. Does 22 divide z?
True
Suppose 6*a - 9485 = 25507. Does 24 divide a?
True
Let w be 2/(-7) - 718/(-14). Suppose 0 = 10*p - 6*p - 32. Suppose w = b + p. Is b a multiple of 8?
False
Suppose -7 = 2*u - 1. Let l be (u + 68/6)*3. Let h = l + -10. Does 5 divide h?
True
Suppose -3*s = -0*i + 3*i + 15, -s + 4*i = 25. Let r(x) = x**3 - 4*x**2 - 8*x + 22. Let j be r(5). Let k = j - s. Is 5 a factor of k?
False
Let v = 144 - 23. Is v a multiple of 15?
False
Suppose -57 = -l + 26. Let a = 80 + l. Let r = -107 + a. Is 14 a factor of r?
True
Let i = -1477 - -816. Let o = i - -1063. Suppose 2*r + o = 8*r. Is r a multiple of 12?
False
Let n(c) = 11*c**2 + 14 - c**3 - 8 - 17 + 38 - 9*c. Does 20 divide n(7)?
True
Suppose -2*x + 30 = -4*j - 330, 3*x - j - 515 = 0. Is x a multiple of 2?
True
Let f be 2/(-6)*-9 - (5 - 2). Let w(k) = -k**2 + 5*k - 5. Let j be w(4). Is 27 a factor of j + f - (-164)/2?
True
Suppose -3*o + x - 4*x = -228, o - 5*x = 64. Let y = o - 14. Does 10 divide y?
True
Is 13*69/21 - 4/(-14) a multiple of 2?
False
Let f(j) be the third derivative of 0 + 0*j + 1/12*j**4 + 1/60*j**5 - 1/6*j**3 + 3*j**2. Is 14 a factor of f(-5)?
True
Let r(w) = -8*w + 22. Suppose -6 + 15 = -4*y + 5*t, -y + 4*t + 6 = 0. Is 7 a factor of r(y)?
True
Let z be (-7 - -3) + (1 - 3). Let k = 4 + z. Does 10 divide (-20)/(-3 + (-5)/k)?
True
Let y(t) = 0*t + t**3 + t + 2*t + 3 - 11*t**2. Suppose 134 = 12*x + 2. Does 17 divide y(x)?
False
Suppose -3*b + 2*b = 3. Let n = b + 10. Does 4 divide n?
False
Let l(u) = u**3 + 10*u**2 - 2*u + 2. Let r be l(-9). Let q be r + (6/1)/(-2). Suppose g - p - 34 = 0, 3*g = 2*p - p + q. Does 8 divide g?
True
Suppose d - 6 = -0*d. Let z(m) = 3*m**3 - 13*m**2 - 9*m + 9. Is 15 a factor of z(d)?
True
Suppose -4*n + 2800 = 4*u, -5*u + 1708 - 314 = 2*n. Does 18 divide n?
True
Let n be (-16)/(-72) + (-25)/(-9). Let r be ((-2)/n)/((-3)/18). Is (1*r)/((-2)/(-15)) a multiple of 15?
True
Suppose 5*y = 0, 1 = 3*c + 4*y - 11. Let b(t) = -t**2 + 6*t - 5. Let r be b(c). Suppose -6 - 33 = -r*a. Does 4 divide a?
False
Let k(v) = 54*v**2 + 9*v - 45. Is k(-4) a multiple of 7?
False
Is (1058/(-4))/(4/(-8)) a multiple of 41?
False
Let k be (8/4 - 1) + 1. Let r be (2 - 5) + k - -3. Suppose p = r*p - 15. Is p a multiple of 5?
True
Let c be (78/3)/(-3 + 5). Suppose 2*f - c = -5*i, -12 = -4*i - i - 3*f. Suppose 17 = -i*g + 71. Does 6 divide g?
True
Suppose 5*j - 23 = 267. Suppose -62*v = -j*v - 332. Does 15 divide v?
False
Let h(d) = -6*d + 4*d + d + 6. Suppose -3*s = -0*s + 27. Is h(s) a multiple of 11?
False
Let p(q) = 1 + q**3 + 22*q - 15*q + 22*q - 15*q**2. Does 6 divide p(13)?
False
Suppose 0 = 3*k - 12, 4*k = -4*t + 201 + 391. Is t a multiple of 48?
True
Suppose -n - 2*n + 2*b = 0, 2*n = 4*b 