4*k + 212 = -2*n. Is 12 a factor of n?
True
Suppose -5399 = -8*b + 1729. Is b a multiple of 7?
False
Suppose -z - z = -l + 13, -4*l + 32 = -3*z. Suppose -l*i = 136 - 1001. Is 22 a factor of i?
False
Suppose -17*s = -341 - 186. Is 12 a factor of s?
False
Let u(a) be the third derivative of a**5/60 + 5*a**4/24 + 19*a**3/6 - 33*a**2. Is u(-6) a multiple of 25?
True
Suppose -3*p + 4008 = 13*l - 10*l, -5*l = -20. Does 36 divide p?
True
Suppose -29*c + 17*c + 600 = 0. Is 10 a factor of c?
True
Let q(p) = p**3 - 28*p**2 - 29*p + 72. Let n be q(29). Let y = 5 + n. Is y a multiple of 7?
True
Let j(t) = -t**2 + 11*t - 19. Let x be j(8). Let g(m) = 3*m**2 + 2*m + 5. Does 10 divide g(x)?
True
Let n(s) = -s**2 - 22*s - 30. Let p be n(-16). Suppose 11*z = 14*z - p. Does 14 divide z?
False
Suppose -16 = 2*c - 4*c - 2*i, -4*c + 2*i + 14 = 0. Suppose -5*u = -c, -4*u = -v - u + 89. Does 26 divide v?
False
Suppose -18555 = -8*i + 1173. Is i a multiple of 137?
True
Suppose -31*l + 760 = -26*l. Does 19 divide l?
True
Let v(n) be the first derivative of -23*n**2/2 - 10*n + 6. Let x be v(-6). Suppose -x = -4*d + 192. Is 24 a factor of d?
False
Does 14 divide (28 + -27)*5/(10/172)?
False
Suppose 0 = a + k - 5*k - 424, -3*k = 2*a - 826. Is 16 a factor of a?
True
Let l(w) = w**3 + 5*w**2 + 9*w - 5. Let s(a) = -3*a**3 - 10*a**2 - 18*a + 11. Let b(z) = -5*l(z) - 2*s(z). Let k be b(6). Is 4 + -2 - 4 - k a multiple of 4?
False
Let n = 2007 - 1395. Is n a multiple of 102?
True
Suppose t = 8*f - 6*f - 279, -3*f + 2*t = -416. Does 12 divide f?
False
Suppose -q + 3*w + 28 = 0, 3*q = -2*q - w + 60. Let l(o) = o**2 - 12*o - 11. Let f be l(q). Does 12 divide f/(-13) - (-632)/52?
True
Suppose 0 = -143*t + 156*t - 8918. Is 49 a factor of t?
True
Let f = 182 + 1108. Does 30 divide f?
True
Let q = 12 - 4. Let f(o) = -3*o - 1 - 6*o + q + 8*o. Does 2 divide f(3)?
True
Suppose -4*d + 559 = -401. Is d a multiple of 30?
True
Let q = -21 - -11. Does 4 divide -1 + 5 - 2/(q/105)?
False
Suppose 0 = 4*v - 2*s - 640, -v = 20*s - 15*s - 149. Does 7 divide v?
False
Let w(v) = -v**3 - 19*v**2 - 20*v + 33. Let a be w(-18). Let n = -29 + a. Does 4 divide n?
True
Suppose -t - 4*c = -1312, 1948 + 3287 = 4*t + 3*c. Does 12 divide t?
True
Suppose 3*y + 11 + 4 = 0. Is (-1 + 2)*27 - (1 + y) a multiple of 3?
False
Let v = -618 - -1045. Let j = v + -256. Is 19 a factor of j?
True
Let p(a) = -5*a**3 - 2*a**2 - 2*a - 1. Let w be p(-1). Let c = 6 - w. Is 4 a factor of (8 - c)/((-6)/(-4))?
True
Let i = 459 + -181. Is i a multiple of 14?
False
Let f(x) = -3*x - 3. Suppose -5*j = 5*s + 15, 2*s - 8 = j - 2*s. Is f(j) a multiple of 5?
False
Let g be 91/(-5) - (-15)/75. Let j = -14 - g. Is 7 a factor of (-71)/(-4) - (-1)/j?
False
Suppose 2045 = 2*i + 3*r, -10*r - 4094 = -4*i - 12*r. Does 64 divide i?
True
Suppose 2*r - r = -21. Let g be (-9)/r - (-3)/(-7). Suppose 4*j + 2*h - 244 = g, -2*j + h + 120 = 3*h. Is j a multiple of 31?
True
Let w(t) = -5*t + 167. Does 4 divide w(0)?
False
Does 6 divide (-3*2/21)/((-16)/13216)?
False
Let v(t) = -t + 1. Let u be v(2). Let f = 3 + u. Suppose -20 = -2*h - f. Is h a multiple of 9?
True
Suppose 0 = 4*m + 3*y - 1550 - 4499, -2*m = -y - 3017. Does 14 divide m?
False
Does 56 divide ((-16)/20*-126)/(27/450)?
True
Suppose 0 = 4*o + 3*y - 18, o - y - 3*y - 14 = 0. Suppose 3*w = -5*u + 180, o*u - w = 3*u + 108. Is u a multiple of 9?
True
Let z be ((-4)/(-3))/(4/(-72)). Is 9 a factor of 2 + z/9 + (-490)/(-6)?
True
Let q(f) = 7*f**2 + 5*f - 11. Let o(k) = -3*k**2 - 2*k + 5. Suppose -17*v = -18*v + 6. Let l(i) = v*q(i) + 13*o(i). Is 14 a factor of l(-3)?
True
Suppose 0 = 7*t + 14 - 35. Is 10 a factor of (6/(-10)*2)/(t/(-350))?
True
Suppose -3*d + 4*k + 759 = 0, -d + 8*k - 5*k = -248. Is 42 a factor of (d - (-5 - -8)) + -2?
True
Let b(y) = 10*y + 8. Let a(d) = -9*d - 7. Let m(t) = 7*a(t) + 6*b(t). Is m(-7) a multiple of 5?
True
Suppose 15 = 5*q, 5*u - 3*u - 3*q = 65. Suppose -9*t = 224 - 71. Let o = t + u. Does 10 divide o?
True
Let c be 39/(-5)*(7 + (-72)/6). Suppose j - 4*b - 15 = 0, -5*j + 123 = -3*b - b. Let g = c - j. Does 12 divide g?
True
Suppose k = l - 2, -3*k + 2*k - 2 = 2*l. Let n be (4 - 2) + k + 5. Does 12 divide 54/(-21)*(n + -26)?
False
Let g = -57 + 227. Suppose -2*t + g = -4*w, t - 53 = w + 34. Suppose 3*o - t = 91. Does 20 divide o?
True
Let h(m) = m**3 + 10*m**2 - 11*m + 22. Suppose -20 - 24 = 4*r. Does 22 divide h(r)?
True
Let k(x) = -x**2 - 10*x - 13. Let m be k(-8). Suppose d - m*g - 183 = -g, -g - 960 = -5*d. Does 33 divide d?
False
Let p(i) = -i**2 + i + 1. Let r(v) = -v**3 - 9*v**2 + 4*v - 2. Let s(g) = g**2 - 5*g + 2. Let c be s(5). Let x(l) = c*p(l) - r(l). Is x(-4) a multiple of 25?
False
Let r(k) = k + 5. Let z be r(-8). Let f = z + -3. Is 8 a factor of f/(-15) + 118/5?
True
Suppose -k = k - 8, 2*m + 5*k = 30. Suppose -36 = -2*s - m*q, -52 = -4*s - 3*q + 48. Is s a multiple of 4?
True
Let u = -815 - -2559. Is 8 a factor of u?
True
Suppose -3*o + 459 = 2*d, 5*o + 342 = 3*d - 299. Is 21 a factor of d?
False
Let d(p) = 4*p - 66. Is d(27) a multiple of 7?
True
Let m(x) be the second derivative of 7*x**3/6 + 7*x**2 - 21*x + 1. Is 7 a factor of m(1)?
True
Suppose p = -5*n + 122, 2*n - 14 - 36 = -p. Does 12 divide n?
True
Let g be 10/(-55) + 1020/44. Suppose 0 = -27*m + g*m + 480. Is 12 a factor of m?
True
Let z be 4/(-6)*3/(-4)*6. Suppose z*w - 20 = 4. Is 2 a factor of w?
True
Let v(f) = 2*f**2 - 13*f - 2. Let b be v(8). Suppose -8*a + 82 = -b. Is 9 a factor of a?
False
Suppose -w - 4 = -12. Does 6 divide (-2 - (-44)/w)/((-3)/(-42))?
False
Let g(j) = -524*j**3 + 6*j**2 + 9*j + 8. Is 65 a factor of g(-2)?
False
Let y(n) = -8*n**2 - 4 - 3 - n**3 - n + 8*n - 3*n**2. Suppose 47 = -4*k - 1. Is 7 a factor of y(k)?
False
Let x(t) = -t**3 + 3*t**2 + 8. Let z be x(-9). Let l = 629 - z. Is l/(-15) - 2/5 a multiple of 10?
False
Let d(b) = 5*b + 16. Let a(q) = 1. Let v(k) = k**2 + 4*k + 4. Let z be v(-3). Let w(i) = z*d(i) - 4*a(i). Is w(4) a multiple of 5?
False
Suppose -8*i = -9*i - 100. Let a = 20 - i. Suppose -a = -5*u + k, -3*u + 50 = -4*k - 22. Is 7 a factor of u?
False
Suppose 12*n - 523 = 39113. Is n a multiple of 13?
False
Let h(l) = 2*l - 20. Let t be h(5). Is 7 a factor of 4 + 0 + (-170)/t?
True
Suppose 0*k - 4*s = -3*k + 142, -5*k - 5*s = -225. Let c = k - 22. Is c a multiple of 5?
False
Let q(c) = 11*c - 24. Let a(l) = -11*l + 24. Let o(u) = 5*a(u) + 6*q(u). Is 13 a factor of o(14)?
True
Suppose -y = -4*i + 23, 0*i + i + 4 = -3*y. Let m = -17 - -15. Is 16 a factor of m - (-52 + (i - 3))?
True
Suppose 50 = -2*x - 0*x. Let l = x - -35. Is l even?
True
Suppose 62*t + 132 = 64*t. Is t a multiple of 9?
False
Let j = -15 - -10. Let m = j + 7. Suppose f + m*f - 192 = 3*u, -5*u = 0. Does 28 divide f?
False
Let t(u) = -u**3 + u**2 - 5*u - 3. Is 14 a factor of t(-6)?
False
Let p be (-4 - 22/(-4))*2. Let b(z) = -z. Let r(v) = 2*v + 9. Let k(l) = p*b(l) + r(l). Is k(5) a multiple of 3?
False
Let z(g) = g + 14. Let x be z(-2). Let i = -8 + x. Is i a multiple of 4?
True
Let d(s) = -11 + 2*s + 3*s + 18. Is 21 a factor of d(3)?
False
Suppose 468 = 2*l - 88. Does 28 divide l?
False
Suppose y = 2*j + 6*y - 7911, j = -4*y + 3963. Is 65 a factor of j?
False
Let i = 37 + -31. Let u = 6 - i. Suppose -117 = -3*k - 3*s - s, u = -k - 3*s + 34. Does 8 divide k?
False
Is (-62 + 6)/((-3)/6) a multiple of 14?
True
Let r(p) = 13*p**2 + 41*p - 10. Does 10 divide r(-8)?
False
Suppose 0 = -t + 2*d + 14, 4*d + 42 + 10 = 3*t. Is t even?
True
Let s be 2/4*(-20)/2. Let r = s - -1. Is 16 a factor of ((-69)/r)/(9/24)?
False
Let g = 51 - 46. Let v(d) = d**2 - 6*d + 11. Does 6 divide v(g)?
True
Let u(b) = b**3 - 5*b**2 + 5*b - 2. Let l be u(4). Suppose 3*h = 4*r + 869 + 95, -h + 320 = -l*r. Does 11 divide h/8 + (-9)/(-6)?
False
Let r be (-2)/6*(-8 - -14). Let h(l) = -2*l**3 - 3*l**2 + l + 2. Let j be h(r). Suppose 3*v - 58 = j*t, 0 = 4*t - 2*t + 2. Does 5 divide v?
False
Let g(p) = 92*p**2. Let u be g(1). Let f be (-1)/(2/6) + u. Does 22 divide f/4 + (-2)/8?
True
Suppose 4*b = -4*p - 10 + 38, 22 = p + 4*b. Let g(s) = -7*s + 2 - 12 + p*s + 1. Does 11 divide g(-7)?
False
Let t = -5 - -8. Suppose 0 - t = -3*w. Is 25 a factor of 30/15 + 23*w?
True
Suppose -n = -4*q - 1820, 1529 + 5799 = 4*n - 4*q. Is 36 a