s 23 divide u(-5)?
False
Suppose -b + 3*b - 24 = 0. Suppose -4*m + b = 0, -2*z - 21 = -4*z - 5*m. Suppose -2*l - 58 = -5*x, -l + 52 = 4*x + z*l. Does 6 divide x?
True
Suppose -3*i + 61 = -2. Suppose -y + 4*g = -61, y - 3*g - 35 = i. Is y a multiple of 12?
False
Does 11 divide (-1)/((-6)/15 + (-114)/(-310))?
False
Let m = -2 - -18. Suppose -4*p = -3*i + 57, 2*i - m = -5*p - 1. Is 11 a factor of i?
False
Let m be ((-8)/(-12))/(2/(-126)). Let p be (-233)/3 + (-10)/(-15). Let r = m - p. Is r a multiple of 15?
False
Let y(h) = h + 12. Let b be y(9). Let u be -12*b/(-4)*2. Suppose u = -n + 4*n. Does 14 divide n?
True
Let n(a) = 2*a + 6. Let w be n(-5). Is 14 a factor of w/(-18) + 496/36?
True
Suppose -24 = -3*m - 3*k, -2*m - m - 2*k = -19. Let f be 1 - -49 - (m + -5). Suppose -2*q = 2*q - f. Is q a multiple of 13?
True
Suppose -555 = y - 4*y. Does 18 divide y?
False
Suppose 0 = r + 2*s + 18, 2*s + 39 = -2*r - s. Let k = -12 - r. Is 3 a factor of k?
True
Let y(l) = -10*l - 8. Let i be y(-6). Suppose 0 = -3*u + 2*a + 2*a + i, 2*u - 4*a - 36 = 0. Is 5 a factor of u?
False
Let f be 94 + 0*(-1)/(-3). Suppose 2*q = -l - 108, -2*q + 2 = 5*l + f. Let p = -5 - q. Is 17 a factor of p?
True
Suppose -h = 2*h + 12, 5*y + h - 1 = 0. Let l be 3 + -2 - (-1 - 15). Suppose -y = -r + l. Is 9 a factor of r?
True
Let l = 52 - 7. Does 5 divide l?
True
Suppose 5*x + 1430 = 18*x. Is 10 a factor of x?
True
Let p = 7 - 5. Suppose p*g + 26 = 3*g. Does 13 divide g?
True
Let x(m) = 18*m**2 + 1. Let g be x(1). Suppose d - 3 = -2*d. Is 9 a factor of (2 - 4) + g + d?
True
Let r be 15*(-3)/((-9)/2). Is (48/(-10))/((-2)/r) a multiple of 8?
True
Let d(v) = -4*v**2 + 5*v + 0 - 4*v**3 + 2*v**3 + v**3 + 2. Let y = 6 - 11. Is 2 a factor of d(y)?
True
Suppose 4*j = -3*l + l + 36, -2*l - 3*j = -35. Is l a multiple of 16?
True
Let n = -200 + 82. Suppose 0 = 2*s + 3*s - 5*f + 390, -4*f = -3*s - 231. Let h = s - n. Is 15 a factor of h?
False
Let t be -1 + 1 - (-3 - -1). Suppose -t*m = m - 54. Is m a multiple of 9?
True
Suppose 2*t + 4*t + 48 = 0. Let f(x) = 10*x + 2 + x**2 + 4 + x**2. Is f(t) a multiple of 22?
False
Let u(a) = a**3 + 7*a**2 + 9*a - 9. Let i be u(-7). Let t = i - -122. Is t a multiple of 25?
True
Suppose 0 = 2*q + q. Suppose 5*n - 2*n - 39 = q. Is 13 a factor of n?
True
Let b(a) = a + 16. Let s be b(-11). Suppose 30 + 50 = s*l. Let w = l + 7. Is w a multiple of 8?
False
Let w(g) = -g**3 + 9*g**2 - 8*g - 1. Let c be w(8). Does 20 divide 77 - (c - (-1 + 3))?
True
Let r(d) = d. Suppose -q = -3*q + 8. Let b be r(q). Let v = 11 - b. Is 7 a factor of v?
True
Let c(l) = -l**3 - 6*l**2 - l - 17. Is c(-8) a multiple of 7?
True
Let w(y) = -y**2 - 5*y + 2. Let i be w(-5). Suppose 3*k = i*k + 6. Does 9 divide k/(-3) - -1 - -10?
True
Let j(i) = i - 10. Let u be j(7). Let r(w) = -2*w**3 - 2*w**2 - w + 1. Is r(u) a multiple of 13?
False
Suppose -5*l + k + 10 = -k, -3*l + 10 = -2*k. Suppose l = -3*g - g - 32. Is 21 a factor of 9/12 + (-330)/g?
True
Let q(j) = j**3 + 10*j**2 + 6*j. Does 21 divide q(-7)?
True
Let h(v) = 2*v - 8. Let a be h(10). Let l = a - 8. Suppose 5*u - 1 + 6 = 0, 3*j = -l*u + 68. Does 12 divide j?
True
Suppose 235 = 3*n + 61. Is 11 a factor of n?
False
Let k = -130 - -190. Is k a multiple of 12?
True
Suppose 12*j = 9*j + 4*s + 293, -5*j + 5*s + 490 = 0. Is j a multiple of 16?
False
Let n(i) be the third derivative of i**5/30 - i**4/8 - 2*i**3/3 - 5*i**2. Is 16 a factor of n(4)?
True
Suppose 39 = 2*s - 5. Suppose -n = -3*b + 4*b + 19, -b - s = 2*n. Let o = b - -34. Is 7 a factor of o?
False
Let h = 21 - 11. Is 4 a factor of h?
False
Suppose -36*o + 37*o = 369. Is 11 a factor of o?
False
Let z be (-2 + (-6)/(-4))*-72. Suppose 0*k - z = -6*k. Is 2 a factor of k?
True
Let p(y) = -y + 8. Let g be p(7). Let c(n) = 70*n**3 + n - 1. Let r be c(g). Is 8 a factor of r/8 - (-5)/20?
False
Let x = 14 + 0. Is 14 a factor of x?
True
Let s(q) = 5*q + 2. Let m = -8 + 6. Let t be -2*4*2/m. Does 16 divide s(t)?
False
Let y be 2 + -1 + -1 - 24. Let f = y + 17. Does 9 divide (-1)/((-2)/4) - f?
True
Suppose 0*h - 3*h + 714 = 0. Is 34 a factor of h?
True
Suppose 0 = 3*h + 5*z - 1149, -4*h - z + 1876 = 361. Is 13 a factor of h?
False
Let j = -21 + 120. Is 28 a factor of j?
False
Let i = -754 + 1100. Is 11 a factor of 2/(-9) - i/(-18)?
False
Suppose 0 = 4*l + 3 - 23. Suppose 4 = l*k - 11. Is 2 a factor of k?
False
Suppose 0 = -4*l - 4 + 16. Let v(m) = 4*m. Is 6 a factor of v(l)?
True
Let c be -30 + 0/(4/2). Let l be 1576/36 - (-4)/18. Let h = c + l. Does 7 divide h?
True
Suppose 41 = 3*c - y, 3*c + y = 66 - 23. Is 5 a factor of (3 - 5)/((-4)/c)?
False
Let v(t) = -t**3 + 7*t**2 - 7*t + 8. Let d be v(6). Suppose 3*z = -2*k + 41, -3*z + 3*k = d*z - 81. Does 15 divide z?
True
Let x = -29 - -13. Let p = 24 - x. Is p a multiple of 16?
False
Let x = 7 - 2. Suppose -z + 10 = 3*d, -d + x = 3*z - 1. Suppose 1 = -p + d. Does 2 divide p?
True
Suppose 4*c = 7 + 13. Suppose -c*z = -z + 4. Does 5 divide z*(-2 - -1) + 4?
True
Let y = 2 - -3. Suppose -y - 45 = -u. Is u a multiple of 18?
False
Let s(u) = u**2 - 3*u + 22. Is s(11) a multiple of 24?
False
Suppose 0*l - 5*l = -25. Suppose -n + 5*s + 31 = 0, 0*n = l*n + 5*s - 65. Does 8 divide n?
True
Suppose -y + 133 = -5*s + 31, 3*s = -4*y + 316. Let z = 124 - y. Suppose 0 = 2*x - 0*x - z. Is 11 a factor of x?
False
Is 1138/8 - 0 - 12/48 a multiple of 21?
False
Let a be (-51)/(1 - 4) - 1. Let m = a + -8. Is m a multiple of 4?
True
Suppose 0 = -2*l + 2 - 8. Let w be l/12 - 530/(-8). Suppose -w + 6 = -5*c. Does 5 divide c?
False
Does 9 divide 1/((2/90)/1)?
True
Is ((-12)/10)/((-28)/490) a multiple of 13?
False
Let i = -18 + 32. Is 4 a factor of i?
False
Suppose 6*t - 12 = 2*t. Let j be 7*(38/(-14) - -3). Suppose -2*o = 3*u + t*o - 51, -j*u = -o - 47. Is 11 a factor of u?
True
Let t(w) = w**3 - 4*w**2 + 3*w. Is t(4) a multiple of 6?
True
Suppose -2*m + 21 + 1 = 0. Is 3 a factor of m?
False
Does 33 divide 1276/7 + (-6)/21?
False
Suppose 2*h = 24 + 2. Let k = h - 6. Does 4 divide k?
False
Let q be (4/6)/((-1)/3). Suppose p - w = -6*w, -21 = -p + 2*w. Is 19 a factor of p*(q + 84/15)?
False
Let d(v) be the first derivative of v**3/3 - 4*v - 3. Does 11 divide d(6)?
False
Suppose -3*v = i - 11, -i - 4*v + 4 = -10. Suppose -p + 2*g + 53 = 0, 6*g - i*g + 196 = 4*p. Does 28 divide p?
False
Let i(h) = -h**2 + 8*h - 6. Let t be i(6). Let s(j) = -1. Let x(b) = -2*b - 12. Let f(d) = t*s(d) - x(d). Is f(7) a multiple of 10?
True
Suppose -3 = g - 4. Let r = g + 54. Is r a multiple of 14?
False
Suppose 3*n - 49 = 155. Suppose 0 = -5*f + f + n. Does 14 divide f?
False
Let q(m) = 73*m**3 - 2*m**2 - 7*m - 3. Let x(s) = 37*s**3 - s**2 - 4*s - 2. Let d(j) = 3*q(j) - 5*x(j). Is d(1) a multiple of 22?
False
Let f(r) = -r**2 - 7*r - 3. Let a be f(-5). Let b = 87 - a. Is b a multiple of 22?
False
Let b(y) = 8*y**3 + y**2 - y. Suppose -5*k - a = -24, -3*k - 4*a + 11 = -0. Suppose -q = 4*q - k. Is b(q) a multiple of 4?
True
Let s(o) = -o**3 + 5*o**2 - 2*o - 4. Let w be s(4). Does 15 divide (6/w)/(1/20)?
True
Let q(k) = -k**2 - 10*k - 6. Let h = 0 - 9. Does 3 divide q(h)?
True
Is 47 a factor of (372 - -2) + (-5)/((-15)/9)?
False
Let s(m) = 48*m - 1. Let r(p) = -48*p + 1. Let o(q) = 4*r(q) + 5*s(q). Is 15 a factor of o(1)?
False
Let c(n) = -6*n + 32. Does 8 divide c(-19)?
False
Let i(d) be the first derivative of -d**3/3 - d**2 + d - 2. Let f be i(-7). Is 17 a factor of (-2 + 1)*f/2?
True
Let x(o) = -o**2 + 5*o - 2. Let r be x(4). Let q be (-1)/r - 1/2. Is 40*q*3/(-6) a multiple of 8?
False
Suppose 0 = 2*z + 10, w + 25 = -4*w - 4*z. Let i be -1 + (1 - 1) - w. Suppose 3*o - 22 - 68 = i. Is 15 a factor of o?
True
Suppose 6*j - 96 = 2*j. Is 8 a factor of j?
True
Suppose 0 = -0*r - r + 18. Let w = r - 12. Does 6 divide w?
True
Suppose 3*r - r + 2 = 0. Let i(y) = 2*y + 6*y**2 + 8*y**2 - y. Is 13 a factor of i(r)?
True
Suppose -2*t + 3 + 7 = 0. Let z be -3 + (t - (-1 - -2)). Is 2 - (z + (-8 - 2)) a multiple of 11?
True
Suppose 5*v = 3*j - 26, -2*v - 9 = v - 4*j. Let c(u) = 6*u**3 + 9*u - 10. Let t(a) = 5*a**3 - a**2 + 8*a - 9. Let f(k) = 6*c(k) - 7*t(k). Is 8 a factor of f(v)?
False
Let a(m) = m**3 - 6*m**2 + 2*m - 7. Let z be a(6). Suppose 5 = -2*x - 5*u - 9, 35 = 5*x - z*u. Suppose -d + 64 = x*d. I