z(-2). Suppose -5*s - 3*u + 87 = 0, 0 = -4*s - 0*s + 2*u + n. Is s a multiple of 9?
True
Let d(s) = s**2 + s - 3. Let o be d(-3). Suppose -o*u = -6, 0 = 3*j - 4*j - 3*u + 27. Does 15 divide j?
False
Suppose 3*o = 4*d - 4, -o - d - 4 = -5*d. Let c = -82 - -121. Suppose -4*l + 4*f + 36 = o, f = -l - 4*l + c. Is 4 a factor of l?
True
Let q(a) = 7*a + 1. Let t be q(1). Let b = -3 + t. Suppose -g + 3*u + 11 = 0, 0 = -4*g + b*u + 3 + 41. Does 5 divide g?
False
Let p(u) = -u**3 - 11*u**2 - 13*u - 10. Does 10 divide p(-10)?
True
Suppose 179 = 2*g - 1. Is 38 a factor of g?
False
Let l(j) = j + 7. Let b be l(-8). Let f be (0/(-1) + 0)/b. Suppose 4*w + 22 - 118 = f. Is w a multiple of 12?
True
Let k = 0 - 8. Let s(b) = -b - 22. Let x be s(0). Let c = k - x. Is 7 a factor of c?
True
Suppose 0 = w - h - 9, 4*w - h - 41 = 2*h. Is w a multiple of 7?
True
Is ((-5)/((-60)/(-8)))/(1/(-60)) a multiple of 18?
False
Let p = 4 - 20. Let z = 29 + p. Is 5 a factor of z?
False
Suppose -u = 2*u - 828. Let x(f) = f**3 + 7*f**2 - f - 9. Let c be x(-7). Is 14 a factor of c/(-5) + u/10?
True
Suppose 10 = 2*t - 6. Let q be (-15)/2*t/6. Is 16 a factor of q/(-3)*96/20?
True
Suppose 2*m = -2*m. Let r be (1 - m)/(1/3). Suppose -r*j - 42 = -3*u, 2*u - 37 = 2*j + 3*j. Is u a multiple of 11?
True
Suppose -3*d = -2*d - 3. Suppose 0 = d*h + h - 32. Is h a multiple of 5?
False
Let f be (-2)/3 - 20/6. Let m be (80/6)/f*-3. Does 5 divide (-10 - -2)*m/(-8)?
True
Suppose -2*b + 171 = 55. Does 12 divide b?
False
Let x(t) be the first derivative of -1 - 5/2*t**2 + 1/3*t**3 - 11*t. Is x(8) a multiple of 13?
True
Suppose -4*u + 55 = u. Let g = -7 + u. Suppose 5*s = -k + 101, -2*s - g*k = 6 - 50. Is 7 a factor of s?
False
Let q(g) = 17*g**2 - 2*g + 3. Suppose k - 4*b - 12 = 0, -5*k + 4*b + 15 = -b. Suppose k = -4*t + 7 + 1. Is 23 a factor of q(t)?
False
Suppose x - 2*x - 4 = 0, -2*v = x - 72. Let t(l) = -3*l - 3. Let p be t(-2). Suppose 4*s = 2*r + v, -s + 3*r = -p*s - 1. Does 7 divide s?
True
Let u(p) = 2*p**2 - 11*p + 4. Let w be u(7). Suppose -5*c = 5*g - 230, 3*c = g - w - 21. Does 23 divide g?
True
Suppose 7*u - 864 = u. Is 9 a factor of u?
True
Suppose 2*m - 3*m = 0. Suppose m = 4*h + 8 - 44. Does 2 divide h?
False
Let m(s) = -s + 9. Let l be m(7). Suppose 0 = l*n + 3*n - 320. Suppose -3*v - 5*c - 62 = -6*v, -4*c = -3*v + n. Does 13 divide v?
False
Let t(k) = 6*k - 6. Does 10 divide t(6)?
True
Let c(i) = -i**2 + 8*i - 8. Let d be c(6). Suppose 0 = -d*f - 4*h + 2*h + 80, 4*h = 4*f - 56. Suppose -2*r + f = 6. Is r a multiple of 4?
False
Let u be (12/(-6))/((-2)/3). Suppose 4*g = u*g + 15. Is g a multiple of 15?
True
Let v = -77 - -164. Suppose x = 3*n + 5, -5 = -x + n + n. Suppose -4*t + x*d = -v, -4*t + 2*t + 51 = 5*d. Is t a multiple of 11?
False
Let o = 82 + -5. Is o a multiple of 14?
False
Let z(y) = -y - 5. Let a be z(-8). Suppose -2*d = 2*p - 3*p + 1, -d + a*p = 3. Suppose d = v + 3*v - 3*s - 71, -4*v - 4*s + 64 = 0. Is v a multiple of 17?
True
Let c(i) = -i**3 + i**2 - i + 38. Let r be c(0). Suppose 3*q - r = 37. Does 9 divide q?
False
Let x = -1 - -5. Does 4 divide x?
True
Suppose 10 = -2*c - o, -c = 4*c - 3*o + 36. Let s = c + 19. Is s a multiple of 9?
False
Let v = -20 + -2. Let t = -3 - v. Is t a multiple of 9?
False
Suppose -156 = -3*a - 0*a - 3*w, 64 = a + 4*w. Is 16 a factor of a?
True
Let o(z) = 1. Let w(i) = 2*i**2 + 6*i + 11. Let x(l) = -5*o(l) + w(l). Let j = 62 - 67. Is x(j) a multiple of 11?
False
Let b = -21 - -31. Is 10 a factor of b?
True
Let p(m) = -8*m + 2. Let w be p(-8). Let h = -40 + w. Is 13 a factor of h?
True
Suppose 3*g - 4 = 8. Suppose 0 = 2*q - 26 - g. Is q a multiple of 6?
False
Let x be (-4 + 1)*3/(-9). Let n(f) = 4*f**3 - f**2 + f. Let k be n(x). Suppose 4*a + k*o = -a + 24, -2*a - o + 12 = 0. Is 8 a factor of a?
True
Suppose -27 = 4*m - m. Let p(t) = t**2 + 4*t - 12. Is p(m) a multiple of 11?
True
Suppose 3*u = -4*w + 236, 4*w - 114 = -u - 38. Is u a multiple of 24?
False
Let u = 7 - -37. Does 11 divide u?
True
Suppose 5*i + 1124 = 5*u + 4*i, 5*i = 4*u - 916. Is 32 a factor of u?
True
Let f = 9 + -7. Let b = -9 - -16. Suppose b = f*v - 5. Is v a multiple of 6?
True
Let h = -46 + 58. Is 4 a factor of h?
True
Let s(r) = r**3 + 6*r**2 - 3*r - 4. Let h be s(-5). Suppose -y = 3*c - h, 2*c - 260 = -5*y + 7*c. Is y a multiple of 16?
True
Suppose 5*q + 4 - 27 = -3*f, -3*q + 10 = -2*f. Suppose o + q*y - 64 = 0, 0 = -5*y + 4 + 16. Suppose 116 = -3*u + 7*u - j, o = 2*u + 2*j. Is u a multiple of 14?
True
Suppose 5*b + 4*n = -20, n - 1 - 3 = b. Does 5 divide (b/(-10) + 2)*5?
False
Let d(v) = -v**2 - 8*v + 8. Let k be d(-9). Let h = 1 - k. Let z(m) = 4*m**2 + 2*m. Does 9 divide z(h)?
False
Let d(f) = 3*f**3 - 7*f**2 - 13*f - 1. Let n(l) = -16*l**3 + 34*l**2 + 65*l + 4. Let y(t) = -11*d(t) - 2*n(t). Does 11 divide y(10)?
True
Suppose 2*r + 34 = 3*r. Is 17 a factor of r?
True
Let b be (-3)/2*2*-25. Suppose -b = -5*u + 2*u. Is u a multiple of 18?
False
Suppose 29*z - 25*z - 128 = 0. Does 16 divide z?
True
Let g be 2/11 - (-124)/44. Suppose -3*c = 5*u - 109, -3*c + g*u - 117 = -6*c. Is c a multiple of 20?
False
Does 13 divide (-1395)/(-27) - (-2)/6?
True
Suppose -2*s = -2*a + 130, -4*s = 3*a - 337 + 135. Let g = a - 34. Is g a multiple of 8?
True
Is 6 a factor of 16/(-4) - (-32 - 2)?
True
Suppose -5*z + 72 = -4*z. Suppose 5*n = 3*q - 153, 2*n + 30 = 2*q - z. Does 12 divide q?
False
Let i(j) = 3*j + 4*j + 1 - 7. Let y(r) = r**3 + 4*r**2 - 16*r - 18. Let k be y(-6). Is 18 a factor of i(k)?
True
Let o = 9 + -4. Suppose 0 = 4*p - o - 3. Suppose 0 = 4*l + p*h - 14, -2*l + 2*h = -9 - 13. Does 4 divide l?
False
Suppose 3*q + 120 = 3*l, -l + 3*q + 42 = -0*l. Let g = l + -27. Suppose 3*f - g = 4*f - 5*d, -57 = -4*f - d. Is f a multiple of 8?
False
Let w(k) = 36*k - 74. Is w(7) a multiple of 15?
False
Is (-1 - 10/5)*(-26 + 1) a multiple of 15?
True
Let l be (-12)/54 + ((-200)/18)/(-5). Suppose 0*i + 380 = 5*i. Suppose l*m - i = -2*m. Does 5 divide m?
False
Let b = -185 + 267. Is 19 a factor of b?
False
Let g(v) = -v + 11. Let w(f) = -f + 11. Let i(y) = -3*g(y) + 4*w(y). Let p be i(8). Suppose -p*l + l = -22. Does 6 divide l?
False
Let g(l) = 2*l**2 + 5*l + 3. Let w be g(-3). Suppose t - 15 = w*t, 3*c + 4*t = 78. Is c a multiple of 18?
False
Let w(m) = m**3 + 15*m**2 + m + 21. Let x be w(-15). Does 10 divide 2/(-4) - (-195)/x?
False
Let u = -585 + 843. Suppose -2*a + 5*l + u = 0, 0 = 2*a + l - 5*l - 256. Suppose 3*m - a = -m. Is m a multiple of 19?
False
Let f = 23 - 9. Suppose y + f = 41. Does 6 divide y?
False
Suppose 0 = -3*w - 5*u + 531, -2*w + 919 = 3*w - 3*u. Is 13 a factor of w?
True
Let a be ((-5)/10)/((-1)/(-2)). Let o be (-2)/((a - -3)/(-12)). Let v = o - 9. Does 2 divide v?
False
Suppose -r + 3 = -2*r. Let w be -2*((-3)/(-2) + r). Is 17 a factor of (-370)/15*w/(-2)?
False
Suppose 3*w = -4*m - m + 18, -3*w = -5*m + 12. Let i = 5 - m. Does 11 divide 31*(-1)/i*-2?
False
Suppose 15 = -3*b + 51. Does 4 divide b?
True
Let r(n) = 3*n - 9. Does 4 divide r(11)?
True
Let p(y) = 8*y**2 - 4*y - 4. Let u(n) = 7*n**2 - 3*n - 3. Let f(j) = -2*p(j) + 3*u(j). Is f(-2) a multiple of 21?
True
Suppose 3*c - c + u + 431 = 0, -4*c + 4*u - 832 = 0. Let h = -98 - c. Is h a multiple of 32?
False
Let s(d) = 35*d - 20. Is 13 a factor of s(8)?
True
Suppose -s - s = 0. Let r = 18 + s. Is r a multiple of 14?
False
Suppose 0 = -4*d - 0*d + 32. Suppose 3*n + 30 = d*n. Does 3 divide n?
True
Suppose 2*t = -3*s + 23, 2*t + 3 + 30 = 5*s. Suppose -u + 32 + s = 0. Does 13 divide u?
True
Suppose 349 + 59 = 6*x. Is 34 a factor of x?
True
Suppose 0 = -h + 3*h - 4. Let t(g) = -3*g**h + 4*g**2 - 11 + 10*g - 6*g. Is t(-8) a multiple of 18?
False
Is 20 a factor of 260 - (8 - -1)/(-3)?
False
Let w(p) = -3*p - 3*p - 9 + 2*p**2 - p**2. Is 3 a factor of w(8)?
False
Let q(s) = -s**2 - 11. Let a be 1 - 3*(-2)/(-6). Let w be q(a). Let p = 19 + w. Does 4 divide p?
True
Let y(p) = -13*p**3 - p. Does 11 divide y(-1)?
False
Suppose 38 = j + 3*x, 4*j - x - 165 = -0*x. Does 19 divide j?
False
Let i = 0 + 3. Suppose 4*r = 6*r - 4. Suppose -r*u - i*u + 25 = 0. Does 3 divide u?
False
Suppose -4*g + 78 = 3*k, -k + g = -27 - 6. Is 30 a factor of k?
True
Suppose -2*l - 43 + 199 = 0. Let m(c) = c**2 - c + 2. Let t be m(0). Supp