-90)/j)/(-3) a multiple of 5?
False
Let d(t) = t + 11. Let y be d(-9). Suppose -44 + 18 = -z + 5*r, y*r + 107 = 5*z. Is z a multiple of 21?
True
Suppose 5*j + 6 - 26 = 0. Let o = j - -5. Does 4 divide o?
False
Suppose b = -2*b + 207. Suppose 0 = -4*a + 5*s + b, -a - 2*s + 3 = -11. Let j = a + 6. Is 11 a factor of j?
True
Let q = -5 - -11. Suppose 3*l + 120 = q*l. Does 10 divide l?
True
Suppose -4*c + q = c - 91, c = -2*q + 16. Does 6 divide c?
True
Suppose 2*s - 2*h + 4 = 0, -4*h = -5*s + 2 - 8. Suppose -2*x = -2*z + 12, 5*z - 4*x - s = -6*x. Is z a multiple of 2?
True
Let o be 1*10*2/4. Suppose u - 4*u + 4*h + 53 = 0, -65 = -5*u - o*h. Is u a multiple of 11?
False
Let q(y) = -16*y + 2. Let i be q(-2). Suppose i = w - 4. Is w a multiple of 31?
False
Let g be 2/((-6)/3) - -2. Does 25 divide -6*g/2 - -53?
True
Let m = -11 + 16. Suppose -m*t - 241 - 109 = 0. Does 6 divide t/(-4) - 3/(-6)?
True
Let n(i) = -24*i + 12. Is n(-10) a multiple of 14?
True
Let k(f) = f**2 - 6*f + 2. Let i be k(8). Suppose -9*q + i = -6*q. Is q a multiple of 5?
False
Let f(z) = 45*z**2 + 2*z + 1. Is 11 a factor of f(-1)?
True
Suppose r + r = 8. Let w = 8 - r. Suppose -n + 23 = w. Is 9 a factor of n?
False
Let p be (2 + -6)/(1 + -3). Suppose -4*s + p*s = -90. Does 15 divide s?
True
Let n = 4 + -6. Let t = 6 + n. Does 4 divide t?
True
Let j be 57 - (5 + -2 + -2). Let a = j - 40. Is 8 a factor of a?
True
Let f(n) = n**2 + 4*n - 2. Let l be f(-5). Suppose l*v = 2*y - 92, 216 = 6*y - y - 4*v. Is 10 a factor of y?
True
Let y(j) = 2*j**2 - 4*j - 6*j + 10*j + 4*j - 4. Let f = -1 + 4. Is 9 a factor of y(f)?
False
Let v be 0/(2 + 1) - -30. Suppose 2*n = -3*n + v. Does 20 divide ((-80)/n)/((-2)/6)?
True
Let j(a) = a**2 - a + 34. Let c be j(0). Suppose b - c = -z - 4*b, 0 = -2*z + b + 46. Does 12 divide z?
True
Suppose 0 = -0*g + g - 3. Let x(t) = 2*t**g - t**3 - 4 + 2 + 9*t**2 - 5*t**2. Is x(-3) a multiple of 3?
False
Suppose -m + 5*o = -12, m + o - 6 = 3*o. Suppose 5*q - 245 = 95. Suppose q = i + m. Is i a multiple of 21?
False
Suppose -m + 10 = -3*x, 3*m + 12 = -9*x + 4*x. Is ((-88)/16)/(m/(-2)) a multiple of 11?
True
Let i(y) = y**2 + 3*y + 1. Let z be i(-4). Let c(g) be the second derivative of 5*g**3/3 - 2*g**2 - g. Is c(z) a multiple of 23?
True
Does 9 divide 2 + (-3)/6*-50?
True
Suppose 0 = c + 3, 8*c = -3*m + 3*c - 9. Is 4 a factor of 1 + ((-10)/(-2) - m)?
True
Is ((-20)/(-8) + -3)*-90 a multiple of 15?
True
Let i be 2/8 + (-3)/12. Suppose i*y - 17 = -y. Suppose -l - 64 = -5*o, -o + 4*l + y + 11 = 0. Does 6 divide o?
True
Suppose 2*u - 1 - 5 = 0. Suppose u*l = 28 + 14. Is 7 a factor of l?
True
Let u(n) = n**3 + 3*n**2 + 3*n. Let d(k) = -k**2 - k - 1. Let z(b) = -2*d(b) - u(b). Is 3 a factor of z(-2)?
False
Let r = 22 - 15. Does 7 divide r?
True
Suppose -p - 4 - 24 = 0. Suppose 72 - 4 = -4*o. Let g = o - p. Is 6 a factor of g?
False
Let x(t) = -8*t + 3. Let h(p) = -9*p + 4. Let z(m) = 5*h(m) - 6*x(m). Let r be z(4). Is (0 - -1) + (r - 2) a multiple of 11?
False
Is 15 a factor of -1 - 0 - 276/(-6)?
True
Suppose 0*s = -2*s. Suppose s = k - 37 + 13. Suppose -3*g = 3*j, -5*g + 2*j + k = -j. Is 3 a factor of g?
True
Let b = 135 + -60. Suppose 0 = 3*n - 105 - b. Is 20 a factor of n?
True
Let f(c) be the first derivative of -11*c**4/4 - c**3/3 + c - 2. Let v be 4/(-10) - 3/5. Is 6 a factor of f(v)?
False
Let k = 7 - 10. Let t = k - 0. Does 3 divide 2 + (t + 1)/(-2)?
True
Does 39 divide (-1)/(-2)*0 + 115?
False
Suppose 5*w - 3*n - 131 = 0, -3*n + 46 = 4*w - 48. Is w a multiple of 5?
True
Let l be 44/12 - (-4)/(-6). Suppose -l*s - 3 = -4*s + 3*i, -2*i = -3*s + 2. Suppose s = -a - 2*a + 45. Is a a multiple of 15?
True
Let u = 8 - 8. Suppose -3*n + 7 - 22 = u. Is ((-2)/(-6))/(n/(-210)) a multiple of 9?
False
Suppose -3*o = -4*p - 527 + 73, 10 = 5*p. Is o a multiple of 6?
False
Suppose u + 525 = 3*o, -o = 4*o + 3*u - 889. Does 18 divide o?
False
Let r = 20 - 13. Is 7 a factor of r?
True
Suppose p + 9 = -0. Let z be ((-4)/(-6))/((-2)/p). Suppose 0*q + z*q = 33. Is 7 a factor of q?
False
Let p(q) = 87*q**3 + 2*q - 3. Is p(1) a multiple of 6?
False
Let i = -72 - -122. Is i a multiple of 8?
False
Let i = -7 - -9. Let y(f) = 3*f**2 - 2*f - 1. Does 7 divide y(i)?
True
Let l(p) = p**2 - p + 1. Let t be l(2). Suppose -2*f + 13 + t = 0. Does 3 divide f?
False
Let t(p) = 25*p - 7. Is 34 a factor of t(3)?
True
Let g = 144 + -218. Let s = g + 104. Is s a multiple of 10?
True
Suppose -2 + 0 = -i. Let w(z) = 1 + 4 - 4 + 4*z**i. Is w(1) a multiple of 4?
False
Suppose 5*t + 14 - 369 = 0. Let z = t - 45. Is 18 a factor of z?
False
Does 41 divide ((-82)/6)/(21/(-63))?
True
Let h be (-138)/15 - (-1)/5. Is (-3)/(30/h + 3) a multiple of 7?
False
Suppose -2*i + 9 = 5*u - 50, 0 = 4*i - u - 107. Let n = 62 - i. Is 26 a factor of n?
False
Let w(g) = -g**3 + g**2 - g - 3. Let t be w(-4). Suppose -5*c = -3*x + 41, -5*x + 5*c + t = 3*c. Is 17 a factor of x?
True
Suppose -5*g - 4*r + 1711 = 307, 0 = 3*r + 12. Is 41 a factor of g?
False
Is (1/(-3))/(1/(-12)) a multiple of 2?
True
Suppose 0*s = -3*s + 9. Suppose -2*j = s*y + j - 33, y = j + 7. Is 5 a factor of y?
False
Suppose a - 147 = -3*j - 2*a, -4*a = -12. Is j a multiple of 22?
False
Suppose -3*c + 23 = 4*i, -72 = -5*c + c + 5*i. Is c a multiple of 6?
False
Let w be ((-25)/15)/(3/36). Is 30 a factor of w*(18/4)/(-1)?
True
Let h(d) = -5*d**2 - 11*d - 10. Let g(k) = -k**2 - 2*k - 2. Let b(u) = -11*g(u) + 2*h(u). Does 6 divide b(-4)?
True
Suppose 2*v + 2*q - 2 = 0, -3*q + 6*q + 17 = 2*v. Suppose 0*m = -v*m. Suppose m = -2*j - 8, 3*j = 3*u - j - 70. Does 9 divide u?
True
Suppose -86 = -3*y - 2*t, -4*t = -6*y + 4*y + 36. Does 13 divide y?
True
Let z(b) = -7*b + 20. Does 8 divide z(-5)?
False
Let i(u) = u + 27. Does 28 divide i(11)?
False
Let p = 78 + -55. Let l be (6/(-4))/(4/24). Let o = p + l. Is 5 a factor of o?
False
Let l = 432 - 294. Does 5 divide l?
False
Suppose 0 = -5*q - 3*i + 25, -15 = -3*q + 4*i - 0. Let s(j) = 6*j**2 - 1 - 4*j + 2*j - j**3 + 6. Does 18 divide s(q)?
False
Suppose -5*r + a - 6*a = -15, 3 = -r + a. Suppose 4*v + r*j - 5*j - 56 = 0, -5*j = -2*v + 38. Is 8 a factor of v?
False
Suppose 2*d = -c + 101, -3*d + 56 = -5*c - 63. Suppose 0 = 5*z - d + 13. Is 3 a factor of z?
False
Let m = 49 - 30. Is 11 a factor of m?
False
Suppose 0 = o - 6*o + 2*c + 79, 2*c = -4. Suppose -o*m = -10*m - 120. Does 8 divide m?
True
Let m be 1 + -1 + 25 + 1. Suppose w = 3*w - m. Does 13 divide w?
True
Suppose -17 = -u + 13. Suppose 5*b - 100 = -u. Does 7 divide b?
True
Suppose -108 = -2*x - 4*x. Is 6 a factor of x?
True
Let d(o) = o**3 + o**2 - o + 2. Let p be d(-2). Suppose p = c - n - 6, 2*c - 3*n = -4*n. Suppose 3*g - c*g = i + 45, -30 = -g - 2*i. Is 20 a factor of g?
True
Suppose 0 = -3*i - 5*z - 133, i + 5*z + 55 - 14 = 0. Let r = -27 - i. Is r a multiple of 19?
True
Let c be (-4)/(-6)*99/22. Suppose -2*u - d = -u - 60, -c*u + 5*d + 180 = 0. Does 30 divide u?
True
Let z be 11 + 2 + -2 + 1. Suppose 3*n - z = 6. Suppose n*f - 2*f - 3*u = 41, -3*f + 4*u = -36. Is f a multiple of 3?
False
Let w be (6/(-4))/((-3)/8). Suppose 4*y + 4 = -0, 2*s - w*y - 2 = 0. Let d(i) = -22*i. Is 11 a factor of d(s)?
True
Let o = -1 + 6. Suppose o*l = 3*l + 42. Let q = 31 - l. Does 5 divide q?
True
Let s be 14/(-4)*(-20)/7. Let i = 15 - s. Is 2 a factor of i?
False
Suppose r - 32 = -3*r. Is r a multiple of 8?
True
Suppose q - 6*q - 5 = 0. Let p(x) = 34*x**3 + x. Let m be p(-1). Let l = q - m. Is l a multiple of 17?
True
Let j = -1 - -5. Let p(u) = -j*u**2 - 11*u - 2*u**2 + 5*u**2 - 3 + 4. Is 6 a factor of p(-10)?
False
Let a = 6 - 4. Let f be 1*(-4 + 3)*-2. Suppose -q = 3*b - 87, 3*b - f*b = a*q + 22. Is 14 a factor of b?
True
Let u(n) = 7*n**2 - n. Let b be u(4). Suppose -w - 39 = -b. Is 21 a factor of w?
False
Let z(l) be the first derivative of l**3/3 + 3*l**2/2 - 13*l + 1. Does 21 divide z(-9)?
False
Suppose 4*j - 4 = 3*t, -2*t - 24 = -3*t - 5*j. Let z(n) be the second derivative of n**5/20 - 5*n**4/12 + n**3 + 9*n. Does 8 divide z(t)?
True
Suppose -11 = 6*d - 2*d - q, 0 = -5*d - 5*q - 20. Let l be 2/d*(-1 - -4). Does 11 divide l/(-10) + 216/20?
True
Suppose 72 = -4*g - 0*g. Does 4 divide (1 - 2)/(3/g)?
False
Let x = 43 + 0. Suppose -o + x = 3*r - r, r - 27 = 5*o. Is 11 a factor