 11 a factor of m?
False
Let m(c) = -2*c + 11. Does 8 divide m(-7)?
False
Let o(r) = -22*r**3 - 4*r**2 - 2*r + 1. Is o(-2) a multiple of 33?
True
Suppose 4*x + 1 = -3*l + 2, 0 = 5*l - 3*x + 37. Let m(b) = b**3 + 8*b**2 + 5*b + 6. Does 20 divide m(l)?
False
Does 14 divide 45 + 1 - (-9 - -13)?
True
Is (-2)/2*-11*1 a multiple of 11?
True
Is 4 a factor of ((-16)/5)/((-2)/5)?
True
Suppose 2*f - 2 = f. Suppose m + f*a + 17 = 2*m, -56 = -4*m + 2*a. Does 9 divide m?
False
Let b be ((-6)/(-4))/((-6)/32). Is 3 a factor of 12/b*-2*1?
True
Suppose 0 = 2*p - 7 - 3. Suppose -202 = -p*y + 128. Is 22 a factor of y?
True
Let k(z) = 70*z**3 - 2*z + 1. Let x be k(1). Let h = x - 41. Does 14 divide h?
True
Let w(n) = -13*n + 3. Let c be w(-6). Let j = -18 + 27. Suppose -5*v = -c - j. Is v a multiple of 9?
True
Let f(g) = 3*g**2 + 7*g + 2. Let q be f(-7). Let p = q - 69. Is 17 a factor of p?
False
Suppose 30 = t + 2*t. Is 5 a factor of t?
True
Suppose 5 = v + 3. Suppose -3*i - 2*g = -6*g - 76, -3*i + 52 = v*g. Is 10 a factor of i?
True
Let s(o) be the second derivative of -o**4/12 - 11*o**3/6 - 9*o**2/2 + o. Does 21 divide s(-6)?
True
Suppose -5*y = -5 - 20. Does 2 divide y?
False
Let m(r) = -96*r + 30. Let o(t) = 19*t - 6. Let c(g) = 4*m(g) + 21*o(g). Is c(3) a multiple of 13?
True
Let s(c) = 7*c**2 - 3*c - 4. Let r(x) = -15*x**2 + 6*x + 9. Let j(w) = 4*r(w) + 9*s(w). Let i = -10 - -12. Is 4 a factor of j(i)?
False
Let x(u) = u**3 - 3*u**2 + 4*u - 10. Is 41 a factor of x(6)?
False
Suppose 3*k + o = 520, -k + 4*o = 2*k - 545. Is 35 a factor of k?
True
Suppose 0 = -5*j - 20, 3*j = -z - j - 22. Let r = -4 - z. Is (4/6)/(r/15) a multiple of 5?
True
Suppose -9*w + 4*w - 75 = 0. Does 3 divide (-3)/(-5) - 81/w?
True
Let u = 549 - 353. Does 14 divide u?
True
Let y(o) = -o**2 - 2*o + 3. Let n be y(-8). Let r = 69 + n. Does 11 divide r?
False
Suppose -k - 10 = -0*k - 3*a, -5*k = -2*a + 11. Let y = k - -6. Is 4 a factor of y?
False
Let s(b) = b**2 + 14*b + 12. Let x(i) = 3*i**2 + 29*i + 25. Let r(m) = -5*s(m) + 2*x(m). Is r(14) a multiple of 6?
True
Let u = 693 + -459. Does 39 divide u?
True
Suppose -6*k + 3*k = -675. Is k a multiple of 9?
True
Let g(s) = -8*s**2 + 12*s**3 + 14 - 13*s**3 - 4*s**2 - 12*s. Is 11 a factor of g(-11)?
False
Is 16/32 + 139/2 a multiple of 14?
True
Let p(i) = -11*i**3 - 2*i**2 - 2*i - 1. Is 3 a factor of p(-1)?
False
Let x be 97 + 0 + 0 + 3. Suppose -4*k - x = -24. Let p = k + 29. Is 5 a factor of p?
True
Let g(m) = m - 10. Let j be g(8). Let s be 2 - (4 + j) - -7. Is 7*-3*s/(-3) a multiple of 18?
False
Suppose -4*o + 2*i = o - 420, -5*o - 3*i + 420 = 0. Suppose -4*f - 8 = 0, -p = -5*f + 12 - o. Is 11 a factor of p?
False
Let d = -68 - -116. Is d a multiple of 16?
True
Let f = 106 - 54. Does 13 divide f?
True
Suppose -60 - 36 = -3*v. Does 16 divide v?
True
Let w = 24 + 48. Does 12 divide w?
True
Suppose -4*g + 17 = q, 5*g = -5*q + 2*q + 23. Suppose g*t + 0*t = 40. Is 5 a factor of t?
True
Let g(h) = h**2. Let b be g(-2). Is 21 a factor of (-92)/(b/4 - 3)?
False
Suppose -12*o = -480 + 36. Is o a multiple of 3?
False
Suppose 5*i + z = 12, z = -2*i + 4*z + 15. Suppose -p - i*a = 3*p - 99, 3*a = 3. Is 6 a factor of (p/18)/(2/9)?
True
Let f(i) = -i**3 + 8*i**2 + 5*i - 2. Let k be f(8). Let p = -42 + 64. Let s = k - p. Does 11 divide s?
False
Let a(k) = 26*k - 1. Is a(6) a multiple of 27?
False
Let y be 7/(-42) + 50/12. Suppose -b + 29 = y. Is 5 a factor of b?
True
Let p = -185 - -261. Is 24 a factor of p?
False
Let a be (-3)/(-2)*80/(-6). Let h be (-2)/(-6) + a/6. Is 12 a factor of h/(-15) - (-447)/15?
False
Let w(k) = -k**3 + 10*k**2 + 2*k**3 - 3 + 8*k + 0*k**3. Let u be w(-9). Suppose u*t = t + 100. Does 10 divide t?
True
Let k(q) = q - 2. Let m be 16*(1/(-4) - -1). Suppose 0 = y + y - m. Is k(y) a multiple of 3?
False
Let l(i) = -i**2 - 6*i - 3. Let x be l(-2). Suppose -x*h = -w - 179, -2*h + 3*w + 52 + 17 = 0. Is h a multiple of 8?
False
Let m(u) = 4*u - 8. Let a be m(9). Suppose t - a = -t. Is 9 a factor of t?
False
Let j(g) = 18*g + 1. Let h be j(2). Let z = 55 - h. Is 12 a factor of z?
False
Let h = -96 + 147. Does 17 divide h?
True
Suppose 5*p - 20 = 400. Does 29 divide p?
False
Let d = 5 + 0. Let s(b) = b**2 - 4*b - 3. Let x be s(d). Suppose x*o - 4*r - 30 = -r, 5*r + 70 = 5*o. Does 7 divide o?
False
Let f = -107 - -192. Suppose 4*p - f = -p. Is p a multiple of 5?
False
Let q = -11 + 122. Is q a multiple of 11?
False
Suppose 3*o - 5*q = 173, 2*q = -0*o + 3*o - 179. Suppose 2*z - 22 - 22 = 0. Suppose g = -z + o. Is g a multiple of 15?
False
Is 11 a factor of 1068/8 - 1/2?
False
Suppose -6*n + 5 = -5*n. Suppose n*b + t - 97 = 3*t, 5*b - 109 = -t. Does 8 divide b?
False
Let n(z) = -z**3 - 6*z**2 - 4*z + 8. Let w(g) = -2*g + 2. Let c be w(4). Let d be n(c). Suppose -5*k = 3*p - 0*p - 76, 0 = -p - 3*k + d. Is 10 a factor of p?
False
Let z(s) = s**2 - 7*s + 6. Suppose -21 = -5*u + 2*u. Does 3 divide z(u)?
True
Is (1 - 3) + 12 + 44 a multiple of 18?
True
Let w be -2*(-3)/((-12)/22). Let z = w + 79. Suppose -4*q + z = -0*q. Is q a multiple of 17?
True
Let b = 15 + -7. Suppose -7 = -5*x + b. Suppose -w - x*y + 63 = 2*w, -5*w + 126 = -2*y. Is w a multiple of 12?
True
Let v(y) = 33*y + 4. Let g be v(4). Suppose 0 = 6*i - i - 20, 0 = 4*a + 2*i - g. Does 16 divide a?
True
Let s(j) = 10*j**2 + 4*j - 1. Is 13 a factor of s(-3)?
False
Suppose -n = n - 18. Is 6/27 - (-349)/n a multiple of 13?
True
Let t be 1 + 0 + 2 + -1. Let a be 1/((-10)/(-4) - t). Is a + ((-1)/1 - -38) a multiple of 17?
False
Let a(b) = b**2 - 12*b + 4. Does 16 divide a(14)?
True
Let c be 40/(13/(-4) - -3). Let f = -114 - c. Is f a multiple of 16?
False
Let c = 5 - -7. Let w = -7 + c. Let l = 1 + w. Is 6 a factor of l?
True
Let d = -2 + -1. Let g = d - -5. Suppose -g*y + 13 + 21 = 0. Is y a multiple of 16?
False
Let i(g) = 6*g + 3. Is i(2) a multiple of 3?
True
Let m(i) = -30*i**3 + i**2 - i. Let w be m(1). Let u = w + 57. Is 6 a factor of u?
False
Suppose 1651 = 20*b - 3069. Does 15 divide b?
False
Let j(l) be the third derivative of 7*l**5/60 + l**4/12 + l**3/2 - l**2. Let x be j(-2). Suppose 17 = 2*i - x. Is 11 a factor of i?
True
Let v be ((-16)/(-6))/((-2)/6). Does 3 divide 4 + 0 - v/1?
True
Suppose 0 = 3*z - 0 + 9. Is 3*(1/z - -2) a multiple of 4?
False
Let a = 8 + -6. Suppose 0 = -z - u + 1, a*z = 4*u + 3 + 17. Suppose -55 = -z*f - 3. Is 13 a factor of f?
True
Suppose -2*w + 4 = -2*q - 6, 4*w = q + 20. Is 27 a factor of q - 4/((-16)/332)?
False
Let f be 10/4 - 1/(-2). Suppose -6*q + 18 = -f*q. Suppose -90 = k - q*k. Is k a multiple of 9?
True
Let b(g) be the third derivative of -g**3 + 0*g + 0 - g**2 - 7/24*g**4. Is b(-7) a multiple of 15?
False
Let v = 50 - 17. Does 11 divide v?
True
Does 3 divide 0 - 5 - (3 - 13)?
False
Let p be 30/25*10/3. Let o = 7 - 4. Suppose -2*x + 77 = -5*a, -p*a - 117 + 12 = -o*x. Is x a multiple of 14?
False
Let q = 63 - 30. Is q a multiple of 8?
False
Let j = 11 + -7. Is 245/7 - (j + -1) a multiple of 8?
True
Suppose -x + 5*a = -47, x = 5*x + 2*a - 78. Is 11 a factor of x?
True
Let w = -6 + 1. Let p be w*(384/15)/(-4). Suppose p = 2*i - z, 2*i = 3*z + 21 + 19. Is i a multiple of 7?
True
Suppose 0 = -2*n + 4*n - 32. Let w = n - 9. Does 4 divide w?
False
Let f(n) = -7 + 2*n**2 + n**2 - 2*n**2 + n + 2*n. Let j be f(6). Let r = j + -33. Does 8 divide r?
False
Let d = -2 - -5. Suppose 3*p = -2*o + 25, -o - d*p + 10 = -p. Does 7 divide o?
False
Let a(b) = b**3 - 9*b**2 + 8*b - 4. Let c be a(8). Let k = 11 + c. Does 4 divide k?
False
Suppose 2*d - 5*g = -3*d + 75, 4*g - 31 = -3*d. Let m = d - -18. Does 24 divide m?
False
Let u(l) = -87*l**3 - 2*l**2 + 5*l - 4. Let a be u(2). Is 7 a factor of 2/13 - a/26?
False
Suppose 5*r = r + 20. Suppose 2*f = -4*l + 38, f - r*l + 0*l = 40. Is 335/f - 2/5 a multiple of 9?
False
Let x = -5 - -19. Is x a multiple of 4?
False
Let u(z) = -8*z - 2. Let c(s) = s**2 - 9*s + 4. Let o = 12 + -4. Let r be c(o). Is u(r) a multiple of 17?
False
Suppose 5*u - 7*o - 200 = -2*o, -3*u + 128 = 5*o. Is 15 a factor of u?
False
Let a(r) = -r**2 + 9*r - 4. Let o be 1 + 1 + (-12)/(-3). Is a(o) a multiple of 7?
True
Suppose 0 = -m - 6*m + 210. Is m a multiple of 9?
False
Suppose 204 + 20 = 4*z. Suppose -4*o = -48 - z. Does 13 divide o?
True
Supp