 11?
False
Let l(w) = w - 9. Let o be l(13). Suppose o*b - b - 42 = 0. Is 5 a factor of b?
False
Let o(i) be the first derivative of -i**2/2 - 4*i + 2. Let g(a) = a + 3. Let x(c) = -3*g(c) - 2*o(c). Does 3 divide x(-4)?
True
Suppose -m = 2*y - 56, 5*m - 7*y + 5*y - 328 = 0. Is 7 a factor of m?
False
Let i(p) = 24*p**2 - 2*p - 2. Does 20 divide i(-2)?
False
Suppose 0 = -4*l + 4 + 16, 5*n - 1470 = l. Is 11 a factor of n?
False
Is (10 - 8) + 13*3 a multiple of 9?
False
Let m = -8 + 10. Is (-28)/(m/(-7) - 0) a multiple of 33?
False
Let n = -7 - -112. Let g = -65 + n. Does 18 divide g?
False
Suppose -4*t - 637 = -3*g, 1040 = 5*g + 4*t - 75. Is 6 a factor of g?
False
Let j be 21 - (-3 + 0 + 3). Let w = j + -12. Is w a multiple of 3?
True
Let d(h) = 1. Suppose 5*w = -25, 5*i + 3*w + 8 + 12 = 0. Let v(j) = -3*j + 1. Let t(q) = i*v(q) + 2*d(q). Is t(4) a multiple of 13?
True
Let p(u) = -13*u + 1. Suppose -5*i = 3*j - 2*j - 26, -5*j - 4*i = -25. Let o be p(j). Is (-3)/o*10*12 a multiple of 13?
False
Let h(p) = p**2 + 31*p + 3. Is h(8) a multiple of 9?
True
Let o = -10 - -21. Let s = o - 6. Let c(m) = -m**3 + 7*m**2 - 3*m + 2. Is c(s) a multiple of 15?
False
Suppose -147 = -3*v + 3*z, -2*v - 51 = -3*v + 3*z. Is 8 a factor of v?
True
Suppose -q + 6*q = 15. Let a = 136 + -76. Suppose l - q*l + a = 0. Is l a multiple of 14?
False
Is 2 a factor of (-3)/(-9) - (-50)/30?
True
Let t(d) = -4*d**2 + 4*d + 2. Let n(l) = -3*l**2 + 5*l + 2. Let i(h) = 3*n(h) - 2*t(h). Does 7 divide i(6)?
False
Suppose -3*d - 11 = 1. Let r be (-1 - 22/(-10))*-5. Does 4 divide d/r*(7 - 1)?
True
Suppose 8*g - 16*g + 424 = 0. Does 9 divide g?
False
Suppose -y = 2*o + o - 60, -5*o = y - 64. Suppose -26 = -2*v + y. Is v a multiple of 12?
False
Let r = 67 - 47. Does 8 divide r?
False
Suppose -126 = 3*p + 9. Let j be -1 + 0 + 58/(-2). Let s = j - p. Is 15 a factor of s?
True
Suppose -5*g = -5*t, 0 = -0*t + 4*t - g + 3. Let z(p) = p**3 + p**2 - 3*p - 1. Let x be z(-2). Is t/(x/(-15) + 0) a multiple of 6?
False
Let i(h) = -73*h + 5. Let k(z) = 36*z - 3. Let o(m) = -4*i(m) - 7*k(m). Is o(1) a multiple of 12?
False
Let s = 148 + -126. Is 2 a factor of s?
True
Suppose 5*x = 3*t - 645, -310 = -3*t - 3*x + 311. Suppose -8*r + t = -3*r. Is 16 a factor of r?
False
Is (-2)/3 - (-161)/21 a multiple of 7?
True
Let o(l) = -l**3 - 12*l**2 - 11*l + 4. Let g be o(-11). Is 14 a factor of (-3 + (-18)/g)*-4?
False
Let z(b) = -b**2 + 1. Let r(c) = 5*c**2 - 6*c - 9. Let q(d) = r(d) + 6*z(d). Is q(-2) a multiple of 3?
False
Suppose -2*g - 3*s = -18, 0*g + 5*s = g + 4. Let o be g - (0 + -2 + 2). Suppose -2*p - o + 28 = 0. Is 11 a factor of p?
True
Let g = 19 + -11. Let q(s) = -s**3 + 7*s**2 + 10*s - 7. Is q(g) a multiple of 3?
True
Let d be (-2)/(-3)*(-20 + -1). Let q = d + 38. Suppose -2*s = -2*x - q, -2*s + 2*x + 12 = 3*x. Does 4 divide s?
True
Does 5 divide 5/10 - ((-115)/10 + -4)?
False
Let w = 6 + 5. Suppose w - 104 = -c. Is 31 a factor of c?
True
Is ((-270)/24)/((-2)/24) a multiple of 27?
True
Let r(k) = k**2 - 4*k - 5. Let d be r(5). Suppose d*f - 60 = -5*f. Is 6 a factor of f?
True
Suppose 6*x - 3*x = 33. Is 11 a factor of x?
True
Let j(x) = x**2 - 19*x - 36. Is j(22) even?
True
Suppose -18 - 18 = -3*u. Suppose 3*q - 12 = 3*z, 0 = 3*z - 2*q + 8 - 0. Suppose z = b - 5*b + u. Is b a multiple of 3?
True
Let g = 0 - -2. Suppose -g*v + 80 = 2*v. Does 10 divide v?
True
Suppose 4*t + 5*x - 265 = 74, -5*t + x = -402. Is 33 a factor of t?
False
Does 27 divide -4*(363/(-12) + 4)?
False
Suppose 0 = -4*g + 7 + 5. Suppose -g = 5*s - 6*s. Does 3 divide s?
True
Suppose -5*r - 2*c + 70 = 0, 0*c + 68 = 4*r + 4*c. Does 4 divide r?
True
Let t be (-1)/3 - (-261)/(-27). Does 12 divide ((-18)/15 + 0)*t?
True
Is (4/1)/(-4) - -99 a multiple of 14?
True
Suppose -w = 3*i - 10, -i - 4*i - 10 = -5*w. Suppose -4 = -4*m, m + 33 = i*o - o. Is 17 a factor of o?
True
Let n = 7 - 7. Suppose -6*w + w + 15 = n. Does 14 divide (17/w + -1)*6?
True
Let m = -3 - -3. Let q(x) = x**2 - x + 1. Let a be q(m). Is 16 a factor of (36 - (-1)/1)*a?
False
Let i(c) = c**3 - 5*c**2 - c + 5. Let u be i(5). Suppose s = -u*s + 17. Does 7 divide s?
False
Suppose 20*m - 877 = -217. Does 26 divide m?
False
Let k(p) = -25*p + 11. Is 5 a factor of k(-2)?
False
Let g = -21 - -31. Does 15 divide (-504)/(-15) - 6/g?
False
Suppose 5*x = -5*b + 675, 145 = b - 5*x - 20. Does 14 divide b?
True
Let l(k) = -1 + 0 - 1 - 6*k - 6*k. Is 10 a factor of l(-2)?
False
Let w(s) = -s**2 + 10*s + 3. Let y be w(10). Suppose 2*k = 5*k - 2*z - 56, 0 = -y*k - 2*z + 52. Is k a multiple of 9?
True
Suppose 5*j + y = 689, j - 62 = 2*y + 67. Is 11 a factor of j?
False
Suppose 2*l - 3 = 3. Let p be 1/(-2)*(-3 + l). Suppose j - 20 + 8 = p. Is 6 a factor of j?
True
Let a(n) = n**2 + 210. Is 21 a factor of a(0)?
True
Let d be (-17)/(-5) + (-4)/10. Let k be 1*(0/3)/3. Suppose n = k, -5*x + d*n = -n - 85. Is 13 a factor of x?
False
Suppose 0*g + 5*g + 2*b - 74 = 0, b + 54 = 4*g. Is 206/g - 10/(-35) a multiple of 5?
True
Suppose -3*k - 38 = 5*c, 0 = 4*c + 3*k + k + 32. Is c + 6 + 93/1 a multiple of 24?
False
Does 50 divide (-598)/(-6) - 9/(-27)?
True
Suppose 44 - 12 = c. Is 4 a factor of c?
True
Suppose f - 200 = -3*f. Let c be (f/(-3))/((-2)/6). Let d = -24 + c. Is 13 a factor of d?
True
Suppose 6*p = 7*p - 8. Is 3 a factor of p?
False
Is 8 a factor of (-9)/(-1) - (-3 + 3)?
False
Suppose 0 = 2*n - n - 13. Suppose 0 = 2*g - n - 11. Is g a multiple of 9?
False
Let v = -3 + -5. Let d = v + 14. Is 2 a factor of d?
True
Suppose -2*k - l = 1, 0*k - 5 = 2*k + 5*l. Suppose k = -o + 2 + 27. Is o a multiple of 13?
False
Let s = -336 - -490. Does 14 divide s?
True
Suppose -4*y - 4*h = -8, 4*h = -5*y + h + 4. Let f be (1 - (y + 0)) + -1. Suppose -95 = -4*s + f. Does 15 divide s?
False
Let o = -22 + 7. Let j = o - -54. Is j a multiple of 13?
True
Suppose 3*c = c - 10. Let o be (2 + -3)*(c + 1). Is 8 a factor of (o + -2)/((-1)/(-8))?
True
Suppose -4*o = -7*o + 15. Suppose -3*v + 4*v - 54 = 3*z, 2*v = o*z + 112. Suppose 5*b - 79 = v. Does 10 divide b?
False
Let o(t) = -17*t**2 - t. Let u(r) = r**2 + 12*r + 1. Let m be u(-12). Let b be o(m). Let h = -13 - b. Does 3 divide h?
False
Suppose -2*j = -3*j + 1, -5 = 2*k - j. Let w = k + 1. Let t = w + 21. Is 11 a factor of t?
False
Suppose o = -2*o + 36. Suppose -9 - o = -s. Is s a multiple of 9?
False
Let x = -15 - -31. Does 16 divide x?
True
Let m be (-2)/(-9) + 13090/63. Suppose 2*k = 2*r + m, r = -4*k + 6*k - 212. Let l = -63 + k. Is l a multiple of 12?
False
Let i(x) = 3*x + 4. Let z be i(3). Suppose 5*r = 6 - 31. Let h = r + z. Is h a multiple of 3?
False
Let q = 84 - 19. Let c be 30 + (-3)/(-2)*-2. Let i = q - c. Is 19 a factor of i?
True
Suppose 2*d + 5*w = 17, 3*w + 35 = 3*d + w. Let j = 0 + d. Is j a multiple of 11?
True
Suppose 5*x = -0*x + 25. Is x a multiple of 5?
True
Let z(l) be the third derivative of -l**4/24 + 4*l**3/3 - 2*l**2. Is 9 a factor of z(-8)?
False
Is 18 a factor of (-341)/(-7) - (-4)/14?
False
Suppose -q - 166 = -4*z, 0 = -3*z + 3*q + 2*q + 133. Is 21 a factor of z?
False
Let i(v) = -2*v**3 + v. Let h be i(-2). Let d be ((-75)/6)/(-5)*h. Does 12 divide d/(-10)*10/(-1)?
False
Let j = 2 - 0. Let g = 6 - j. Does 4 divide g?
True
Suppose 2*t = s, -6 = s + 2*s. Does 12 divide 1 - (-2 - t) - -10?
True
Let o(j) = -j**2 - 8*j + 12. Let m be o(-9). Let n(c) = 12 - 6*c + 2*c - m*c + c**2. Is 15 a factor of n(9)?
True
Suppose 2*q - 18 = -4*q. Is (-1 - 23)*q/(-3) a multiple of 6?
True
Let l(j) = -3*j - 22. Let f be l(-8). Suppose 0 = 2*i - 24 - 4. Let q = i + f. Is 8 a factor of q?
True
Suppose 2*l - 4 - 2 = 0. Suppose p - 18 = -5*v, l = -2*p + p + 2*v. Suppose -5*u + p*y + 55 = 0, -2*u - 2*u + 71 = 3*y. Does 14 divide u?
True
Let s = 19 + 0. Is 19 a factor of s?
True
Suppose -4*u + 2*u = 0. Suppose -4*r + 3*r - 5*l = -20, 3*l = u. Does 8 divide r?
False
Let s(a) = -4*a - 18. Let z = 13 - 21. Does 14 divide s(z)?
True
Let o be (-3352)/(-16) + (-3)/2. Is (o/40)/(1/5) a multiple of 7?
False
Suppose 2*z - 12 = 2*o - 88, 2*z = 3*o - 117. Is o a multiple of 7?
False
Let f be 2 + ((-2)/1 - 0). Suppose -2*m - 4*p + 9 + 45 = f, -3*m + 116 = -p. Suppose 0 = -5*j - 5*z + 95, -z = -2*j - 2*z + m. Does 13 divide j?
False
Let j = 63 - 39. Is 12 a factor of j?
T