- j. Let n = 52 - c. Does 8 divide n?
False
Suppose -4*j = -196 - 492. Suppose 0 = u + 3*u - j. Is u a multiple of 14?
False
Let f(t) = 25*t**2 + 12*t - 13. Let p be f(-9). Is 18 a factor of p/20 + 3/(-15)?
False
Let u = -10 - -37. Is 8 a factor of u?
False
Suppose -4 = b - 2*b, -3*w - 4*b = -13. Let z = w - -6. Is z a multiple of 5?
True
Let w = -47 + 121. Suppose -w = 5*q - 6*q. Does 24 divide q?
False
Let h(y) = y**3 + 2*y**2 - 3*y - 3. Let z be h(-2). Suppose -2*l - l + w + z = 0, -3*l - 3*w = -15. Let n = l - -17. Is 6 a factor of n?
False
Let w(o) = -4*o**3 + 5*o**2 - 7*o - 7. Let r(u) = 8*u**3 - 11*u**2 + 15*u + 15. Let m(n) = 6*r(n) + 13*w(n). Let k = -5 - -4. Is m(k) a multiple of 2?
False
Let b = 107 - 39. Does 23 divide b?
False
Is 9 a factor of 2 - (104/(-4) + -3)?
False
Suppose 19 + 69 = 4*k. Suppose 3*l = 2 + k. Is 8 a factor of l?
True
Suppose 0 = -4*y + 6*y - 40. Does 10 divide y?
True
Does 4 divide 224/12 + (-1)/(-3)?
False
Let x(c) = c**2 - 3. Let j be x(-6). Suppose 3*q - 2*q = j. Is q a multiple of 11?
True
Let d = -84 + 185. Does 19 divide d?
False
Let a = 1079 - 749. Does 33 divide a?
True
Let n be (-8)/5*(-20)/8. Suppose 5*m = 2*z + 2, 30 = -n*z - 2*m + 2. Is 925/30 + (-1)/z a multiple of 16?
False
Suppose -5*n = 3*y - 711, y - 2*n = 2*n + 254. Is y a multiple of 11?
True
Let t = 383 - 206. Suppose t = -2*z + 5*z. Let c = 82 - z. Is c a multiple of 16?
False
Let x = -5 + 7. Suppose -30 = -x*b + 22. Does 13 divide b?
True
Let o = 4 - 3. Let j(b) = b**2 - 10 - 5*b + o + 2*b. Is j(8) a multiple of 11?
False
Does 35 divide 53 - (2 - (3 - (-3 - -5)))?
False
Let g be 2/(-2)*(2 + -5). Let w(h) = -g*h + h + 3 + 0*h. Is w(-7) a multiple of 14?
False
Let h = -60 + 112. Does 6 divide h?
False
Let x(k) = 2*k**3 + 0*k**3 + k + k**2 - 3*k**2. Is 10 a factor of x(2)?
True
Let p(m) = -m**3 - 11*m**2 + 13*m + 17. Let n be p(-12). Suppose 260 = n*s - s. Is 11 a factor of s?
False
Suppose 0*o - o = 6. Is (3/o)/((-2)/12) a multiple of 3?
True
Let g(o) = -o**3 + 11*o**2 + 6*o - 9. Let y(r) = 6*r**3 - 56*r**2 - 31*r + 45. Let w(b) = 11*g(b) + 2*y(b). Is w(-8) a multiple of 6?
False
Let q = -282 - -574. Suppose -4*i + 0*k + 312 = -k, 4*i + 4*k - q = 0. Is 24 a factor of i?
False
Let n(z) = -6*z + 3. Let w(y) = -y + 1. Let b(l) = -n(l) + 5*w(l). Let u be b(-2). Suppose -2*h - 31 + 93 = u. Is 21 a factor of h?
False
Let s(j) = 5 - j - 1 + 5*j**2 - j**2 - j**3. Suppose 4*a - 4 - 8 = 0. Is s(a) a multiple of 5?
True
Let s(t) = t**2 + t. Suppose -2*l = -5*l - 15. Is 8 a factor of s(l)?
False
Let x(t) = t**2 + 11*t + 5. Let b = 23 + -34. Does 5 divide x(b)?
True
Let v(f) = 15*f. Let p(m) = -m - 10. Let w be p(-14). Is 15 a factor of v(w)?
True
Suppose 0 = 2*l - 0*l - 14. Suppose l = -5*t + 157. Is t a multiple of 11?
False
Does 12 divide (-655)/(-9) + (-4)/(-18)?
False
Suppose 272 = 5*d - 58. Suppose -4*u + d = 10. Is 7 a factor of u?
True
Let t = -2 - -7. Suppose p - 32 - 32 = -5*f, t*f + 152 = 3*p. Does 18 divide p?
True
Suppose -5*m + 45 = 5*i, -2*i + 9 = -3*m - 9. Is i a multiple of 9?
True
Suppose -4*l + 98 = w, 15*w - 102 = 14*w - 5*l. Is w a multiple of 4?
False
Let p = -27 + 91. Is 13 a factor of p?
False
Does 5 divide (-4)/8 - 267/(-6)?
False
Suppose -4*j = 4*m - 0*m - 28, -5*j + 3*m = -11. Suppose -5*k + 30 = -u, -4*u - 75 = -9*k + j*k. Let c = 48 + u. Is c a multiple of 12?
False
Let r(g) = 2*g**3 + g**2 - 5*g + 2. Does 19 divide r(3)?
False
Let q = -16 + 31. Is 11 a factor of q?
False
Let r(j) be the third derivative of -j**6/144 + j**5/60 + j**4/24 + j**2. Let t(c) be the second derivative of r(c). Is t(-5) a multiple of 13?
False
Suppose -1664 = -16*o + 3*o. Is 32 a factor of o?
True
Let y(m) = 3*m**2 + 0*m**3 - 1 - 2*m + 4*m**3 - 2*m**3 - 3*m**3. Let w be y(3). Let q = -2 - w. Is q a multiple of 5?
True
Suppose 8 = -4*p, 0 = -5*c + 2*c - 4*p + 34. Is c a multiple of 3?
False
Suppose 282 = 5*o + o. Is o a multiple of 5?
False
Does 6 divide 2/(-7) + (-836)/(-133)?
True
Let y = 1 - 5. Let o be (0 - -5)/((-2)/y). Suppose 2*h = 42 - o. Is 13 a factor of h?
False
Suppose 18*m - 22*m + 136 = 0. Is 6 a factor of m?
False
Let u = 34 - 14. Let f = u - 0. Suppose 2*t = 16 + f. Does 18 divide t?
True
Let v = 0 + 2. Suppose v*y + 2 - 4 = 0. Suppose -17 = -3*w + y. Is 4 a factor of w?
False
Let c(a) = -6*a + 21. Is 8 a factor of c(-11)?
False
Suppose r + 82 - 301 = 0. Is 13 a factor of r?
False
Let r = -70 - -98. Is 9 a factor of r?
False
Is 37/2 + 9/6 a multiple of 2?
True
Suppose 0 = -5*l + 2*q + 438, -l + 85 = 4*q - 7*q. Is l a multiple of 22?
True
Suppose 0 = 3*r - r + d - 53, d = -5*r + 128. Suppose r = -4*s - 39. Let w = 30 + s. Is 5 a factor of w?
False
Suppose 4*u + 0*u + 16 = 0. Let s = u + 7. Suppose -q + s*q = 84. Is q a multiple of 21?
True
Suppose -s - 15 = s - 5*g, -5*g + 15 = -3*s. Let o = s - -5. Suppose k = o*k - 60. Does 7 divide k?
False
Let q(n) be the third derivative of n**6/120 + n**5/12 - n**4/6 - 2*n**3/3 + n**2. Does 10 divide q(-5)?
False
Suppose -y - 58 = -19. Let f = 78 + y. Does 23 divide f?
False
Suppose 3*v = 4*v + 4. Let m = v + 9. Is 2 a factor of m?
False
Let v be 2 + (1 - (0 - -3)). Suppose v*h = 3*h. Suppose -4*w + h*w = -104. Is w a multiple of 12?
False
Let f(n) = -n**2 - 13*n - 14. Let i be f(-10). Let a = -10 + i. Does 3 divide a?
True
Let u be (-4)/((35/(-40))/7). Let a(d) = -2*d**3 - 2*d**2 + 3*d + 3. Let o be a(-2). Suppose -3*y + u = -o*w - 12, -4*w - 64 = -4*y. Is 9 a factor of y?
True
Suppose -6 = 3*a - 5*a. Suppose 20 = -a*w + 110. Is w a multiple of 15?
True
Let y = 195 - 105. Is 9 a factor of y?
True
Suppose 5*z + u = 36, -4*z + 7 = 2*u - 23. Suppose -4*s - 12 = -z*s. Suppose x - 27 = -2*x - 3*q, 0 = 2*x - s*q - 12. Is 3 a factor of x?
False
Suppose -z + 5*z = 3*m + 889, -6 = 2*m. Is 18 a factor of z?
False
Let j = 1 - -17. Is j a multiple of 7?
False
Suppose -7*a + 2*a = -60. Does 9 divide a?
False
Let k be (-18)/15*10/(-4). Suppose k*c - 3*i - 43 = 2*i, 5*c = i + 57. Is 11 a factor of c?
True
Suppose -4*h + 5 = 21. Is 2 - -1*h/(-4) a multiple of 3?
True
Suppose 4*v = -v + 150. Suppose -4*f + 3*x = -v, -x + 4*x = f - 3. Is f a multiple of 7?
False
Suppose 7 + 25 = 4*o. Let h(c) = 21*c - 17. Let k(j) = -32*j + 26. Let l(p) = o*h(p) + 5*k(p). Is 13 a factor of l(4)?
True
Suppose -2*u + 22 = 4*i + 2, 4*u - i = 13. Let t(j) = j**2 - 3*j + 5. Let p be t(u). Let r = p - -9. Is 18 a factor of r?
True
Let v = -15 + 83. Is 5 a factor of (-4)/(-14) + v/7?
True
Let n(u) = 8*u**2 - u. Is 22 a factor of n(-3)?
False
Let v(t) = t**2 + t. Does 3 divide v(3)?
True
Let f be (-2)/(-3) + 8/(-12). Suppose -4*v - 1 + 11 = -3*q, 5*v + q - 22 = f. Suppose v*r - 31 = -3*o, 3*r - 2 = r. Is o a multiple of 9?
True
Let f be ((-4)/3)/(6/(-9)). Suppose 19 = 5*b + 3*i, -5*b + 22 = f*i + 2*i. Suppose -5*l + 36 + 57 = -2*o, b*l - 39 = -o. Does 10 divide l?
False
Let y be 4/(-18) - 43/9. Let x(i) = -i - 9. Let b be x(y). Let a(u) = u**2 + 4*u + 4. Is 4 a factor of a(b)?
True
Suppose 0 = -4*d + 3*d. Is 13 a factor of 14 - (d - -3)/3?
True
Let h(p) = 2*p**2 - 3*p. Let k(f) = -f**3 - 9*f**2 - 8*f + 3. Let j be k(-8). Does 9 divide h(j)?
True
Suppose -3*d = -15, 10 = -2*f - 0*f + 2*d. Suppose m + m + 20 = f. Let r = 22 + m. Is 8 a factor of r?
False
Let g = -18 + 11. Let t = 47 + g. Suppose -2*i + t - 4 = 0. Is i a multiple of 9?
True
Let n = 201 + -119. Let s = -40 + n. Is 6 a factor of s?
True
Let y(u) = 9*u**2 - u - 2. Let l be y(2). Let n(h) = -h**2 + 13*h - 4. Let v be n(6). Suppose -3*a + v = -4*o, -a - a = -o - l. Is a a multiple of 12?
False
Is (-14)/(-21) + (-452)/(-6) a multiple of 38?
True
Let j = -30 + 17. Let w(a) = -5*a + 31. Does 24 divide w(j)?
True
Let c(s) = -s**3 - 7*s**2 + 7*s + 8. Suppose -5*b + 0*b - 6 = 2*p, 2*b + 6 = p. Suppose t = p*t + 8. Does 7 divide c(t)?
False
Let f(r) = -5*r**2 + 2*r - 1. Let m be f(1). Let c = -8 - m. Does 7 divide 84/(-8)*c/6?
True
Let k be (-10)/(-3) + (-1)/3. Let t = k + 0. Suppose -t*d + 3 = -48. Is d a multiple of 8?
False
Suppose 2*c = -j + 5, 3*c + 0*c - 11 = -5*j. Let z(i) = -i**3 - i**2 + i. Let s be z(j). Does 20 divide (0 + 1)/(s/(-46))?
False
Suppose -20 = w - 56. Does 36 divide w?
True
Let v = -59 - -83. Does 8 divide v?
True
Let u be -1 + 4 - 3/3. Suppose -u*w - 120 =