e 0 = 4*y - l - 26 - 40, -j*y + l + 50 = 0. Does 7 divide y?
False
Suppose 0*u + 2*m = -2*u + 4, 14 = -u - 5*m. Suppose 0 = u*x - 18. Is x a multiple of 3?
True
Let f(h) = -h**3 + 9*h**2 - 9*h + 2. Let k be f(8). Let j = k - -9. Suppose -19 = -j*q + 62. Is q a multiple of 11?
False
Let u = 87 + -35. Does 13 divide u?
True
Suppose 5*l + 0*l = 20. Suppose 0 = -4*m - 3*z + 12 + 21, 42 = 5*m + l*z. Is m a multiple of 4?
False
Does 21 divide (14*(-7)/(-8))/(12/144)?
True
Suppose -18 = -4*z + 2. Is 12 a factor of ((-26)/(-5))/(1/z)?
False
Let o = -11 + -11. Is (-1 + 1 - o) + -3 a multiple of 19?
True
Suppose 2*j + j = 6. Suppose j*g - 2 = 8. Suppose 0 = z - g - 5. Is z a multiple of 10?
True
Let v be 2*(3 - (-2 - -4)). Is 7 a factor of (-184)/(-7) - v/7?
False
Suppose 562 - 32 = -5*n. Suppose 5*r - 478 - 302 = 5*k, -3*r = -k - 166. Let j = n - k. Is 16 a factor of j?
False
Suppose -5*g + 2*u + 104 = -u, 3*g + 5*u = 76. Does 5 divide g?
False
Suppose 3*o - 3 = 3*z, -z - 25 = -5*o - 0*z. Suppose 2*x - o = -0. Suppose -x*p + 14 = -31. Is p a multiple of 15?
True
Let u be -2 - (2 + -4*1). Let t(d) = d + 35. Is t(u) a multiple of 27?
False
Let w be (-5 - -4)/(3/(-375)). Suppose 3*v - 124 = -v + 2*b, 5*b = -5*v + w. Is v a multiple of 29?
True
Let k(x) = x**2 - x. Let h be k(3). Does 17 divide (1 - (-45)/h)*4?
True
Let o(d) = -d**2 - 11*d + 17. Is o(-12) a multiple of 5?
True
Let f = 8 - 3. Suppose 0*t + 5*t + 33 = -4*x, 4*t - f*x = -10. Let q = t - -51. Does 16 divide q?
False
Suppose 0 = 3*o - 2*q - 77, 2*q = 3*o - 2*o - 19. Is 7 a factor of o?
False
Suppose -2 = 5*f - 0*f + 4*l, -3*l = -5*f + 19. Suppose -3*j + 25 = -2*j + 2*t, 5*j - f*t - 149 = 0. Does 16 divide j?
False
Let r(l) = -l**2 - 9*l - 1. Let k(j) = 7*j**3 + j**2 + 2*j + 1. Let v be k(-1). Does 5 divide r(v)?
False
Suppose 0*m + 3*m = 3*u - 402, 4*u = 3*m + 532. Does 12 divide u?
False
Let f(m) = -m**2 - 6*m + 4. Let c(j) = 2*j - 6. Let o be c(7). Suppose 5*i + 12 + o = 0. Is 12 a factor of f(i)?
True
Suppose 3*a + 12 = 0, 3*a + 28 - 8 = -j. Let z be ((-15)/2)/((-4)/j). Let o = -6 - z. Is 9 a factor of o?
True
Suppose -4*t = -34 + 14. Let w(k) = 3*k + 1. Is w(t) a multiple of 16?
True
Let d = 20 + 24. Is d a multiple of 5?
False
Let a(r) = 4*r + 6*r**2 - 3*r + r**2. Is 6 a factor of a(-1)?
True
Let w(s) = -26*s. Let q be w(-4). Suppose 2*a + f = 43, -3*a + f = 2*a - q. Is 13 a factor of a?
False
Suppose -136 = -5*o - 3*r, 6*r = -2*o + r + 62. Is 13 a factor of o?
True
Suppose 0*c - 105 = -5*c. Is 21 a factor of c?
True
Let p(v) = -v + 11. Let u be p(8). Does 12 divide 18*2 - (0 + u)?
False
Suppose 4*j - 4*i = 76, 26 = 2*j + 5*i - 19. Is j a multiple of 4?
True
Let m(b) = 2 - 3 + 2*b + 0*b - 3*b. Is 2 a factor of m(-10)?
False
Suppose -3 = 3*r + 3*v, -8 = 3*r - v + 7. Let u be 42*(-1 + 3)/r. Is 6 a factor of u*(-2)/9*3?
False
Suppose -2*l = 4*h - 18, 5*l - 21 = -0*l - 2*h. Does 6 divide 6/(-9)*l + 14?
True
Let p(g) = 16*g - 1. Is p(5) a multiple of 24?
False
Suppose -2*l - 111 = -5*k + 2*l, 0 = 5*k - l - 99. Let f = k - 0. Does 19 divide f?
True
Suppose 3*d - 5*a - 105 = 0, 188 = 4*d + 2*a + 22. Is d a multiple of 8?
True
Suppose -5*y = -4*k + 24, -2*k - 2*y + 12 = 2*y. Is k a multiple of 5?
False
Let q(o) be the second derivative of o**4/12 - o**3/6 + 8*o**2 - o. Suppose h + 4*h = 0. Does 6 divide q(h)?
False
Let j(i) = 38*i + 3. Let r be j(4). Suppose 19 = -4*g + r. Suppose 0*p + g = 2*p. Does 11 divide p?
False
Let r = 9 + -4. Suppose -2*w + c - r*c - 4 = 0, -3*w - 4*c = 2. Suppose -5 + 27 = w*m. Is 11 a factor of m?
True
Suppose 5 = -2*v + 3. Let c(m) = 9*m**2 + m + 1. Is 3 a factor of c(v)?
True
Let t(a) = a**2 + 3*a - 4. Let o be t(-3). Let n(z) = -11*z - 9. Is n(o) a multiple of 7?
True
Suppose 3*d - 26 = 118. Suppose 6*l + d = 10*l. Does 6 divide l?
True
Let p = -5 - 0. Let y = 8 + p. Suppose -y*s + 32 = 2*h, 0 = s + 4*h - 8*h - 20. Is 6 a factor of s?
True
Suppose -2*d = -2*u + 12, 5*d + 12 = 5*u - 6*u. Suppose -w - u*w + 100 = 0. Does 25 divide w?
True
Let x = 77 - -48. Is x a multiple of 15?
False
Let g = 22 - -17. Is g a multiple of 13?
True
Suppose 4*h - 3 - 13 = 0. Suppose h*n - 54 = -w - 23, -2*w + n = -98. Does 12 divide w?
False
Let h(o) = o**2 + o + 40. Let l(q) = -q - 1. Let n(w) = w**2 + 3*w + 2. Let p(u) = 3*l(u) - n(u). Let v be p(-5). Is h(v) a multiple of 20?
True
Suppose -4*g = 20, 0*l - 69 = -2*l + 3*g. Does 9 divide l?
True
Let i = 70 - 22. Suppose -c = c - i. Suppose 3*l - 2*l - 2*t - c = 0, 0 = -4*l - 4*t + 96. Is l a multiple of 11?
False
Suppose 0 = -4*u - u - 5*c + 135, 2*u = -4*c + 46. Does 6 divide u?
False
Let q = 4 - 4. Let m(j) = 2*j + q*j - j. Is 5 a factor of m(5)?
True
Suppose -2*y = -4*y. Suppose -r + y + 9 = 0. Is r a multiple of 2?
False
Does 9 divide 6/2 - (-69)/3?
False
Let r(t) = -4*t - 3. Let n be r(-2). Suppose -n*c + 5*b = -125, -4*c + 2*b + 37 = -61. Is 8 a factor of c?
True
Let y(l) = 10*l**2 - 2*l + 2. Is y(1) a multiple of 3?
False
Let q(a) = -6*a**2 + 3*a - 2. Let d(r) = -18*r**2 + 8*r - 6. Let o(y) = -4*d(y) + 11*q(y). Is o(-2) a multiple of 12?
True
Let d = 12 + -7. Suppose d*v + 0*v = 110. Is v a multiple of 5?
False
Suppose 0 = -i + 133 + 1499. Let y be i/21 - (-4)/14. Suppose 2*l = -6, -5*z + 0*l + y = -l. Is z a multiple of 5?
True
Let j(x) = 2*x**2 - 22*x + 1. Let c(v) = 2*v**2 - 23*v + 1. Let r(h) = 4*c(h) - 5*j(h). Is r(8) a multiple of 15?
True
Suppose -4 = -2*b - 0*b. Suppose -2*r + 48 = r. Suppose -p + b*p = r. Is p a multiple of 8?
True
Let h be (3/(-3))/(-1) + 66. Let q be 2/(((-8)/(-42))/(-4)). Let j = h + q. Is j a multiple of 10?
False
Let v be 33 + 5 - (1 - -1). Suppose 2*f - 30 = v. Is 10 a factor of f?
False
Let t = 15 - -7. Is -1 + t/2 + -1 a multiple of 7?
False
Suppose 0 = -d - 3*r, -d - 6*r + 1 = -4*r. Let t be (2/d)/((-1)/(-3)). Suppose -5*j = 3*o - t, 4*o - j = j + 46. Does 5 divide o?
False
Suppose 77 + 3 = 4*m. Is m a multiple of 6?
False
Is 16 a factor of (-7 + 16)*(-16)/(-3)?
True
Let t = -28 + 51. Is 5 a factor of t?
False
Suppose -2*m - m = -96. Suppose 5*t = 5*s - 50, -t = 3*t + 4*s + m. Let a = t + 17. Is a a multiple of 6?
False
Let w(g) = 29*g - 2. Does 9 divide w(1)?
True
Let r = 10 - 14. Let w be 10*((-24)/15)/r. Suppose 5*t = 5*g - w*g + 135, -3*t - 4*g + 58 = 0. Does 13 divide t?
True
Let w(v) = -v**2 - 8*v - 3. Suppose 3*g - o = -23, g + 2*g + 2*o + 8 = 0. Is w(g) a multiple of 2?
False
Let d = -36 + 21. Let n = 42 + d. Is n a multiple of 6?
False
Suppose 4*t - 108 = 2*p + 2*t, -2*t = 5*p + 298. Is 7 a factor of (-27)/(-18) + p/(-4)?
False
Suppose -2*w = -105 + 9. Let p = w - 12. Is p a multiple of 12?
True
Suppose 2 = -v + x, -4*v + 2 = -3*x + 5. Let w(z) = 3*z**3 - 5*z**2 + 2*z + 2. Is w(v) a multiple of 12?
False
Let m(i) = i**2 + 6*i - 5. Let w be m(-6). Let b = w + 5. Suppose -2*f + 2 + 38 = b. Does 10 divide f?
True
Suppose 0 = 4*y + 5*h - 501, -2*y + 0*y - 2*h + 250 = 0. Is y a multiple of 31?
True
Let c(d) = d**2 - 3*d + 27. Is c(0) a multiple of 6?
False
Suppose -2*d - d = 4*p - 284, -p - d + 72 = 0. Is 17 a factor of p?
True
Let z(x) = -x**3 + 4*x**2 - 3*x + 1. Let i be z(2). Suppose 10 = -2*s - 4*m, i*s - 4*m + m = 21. Is s even?
False
Let s(v) be the second derivative of v**5/20 + 2*v**4/3 - 5*v**3/3 + 2*v**2 + 2*v. Does 13 divide s(-9)?
True
Let z(q) = -2*q - 2. Let h(n) = n**2 + 2*n + 2. Let m(b) = 4*h(b) + 5*z(b). Let p(c) be the first derivative of m(c). Does 11 divide p(3)?
True
Suppose 0 = 2*c + 3*r - 15, r + 5 = 6. Let o(z) = z**2 - 6*z + 3. Let x be o(c). Suppose 0*h - 3*h + 6 = -x*a, -12 = -h - a. Is h a multiple of 3?
False
Let n be (21/9 + -1)*-3. Let c(d) = -d**3 - 2*d**2 + 5*d. Does 12 divide c(n)?
True
Let f(j) = -j**3 - 7*j**2 - 2*j + 8. Let y be f(-6). Let k = y + 6. Is (2/(-2) - k) + -1 a multiple of 3?
False
Suppose -4*k - 12 = -4*i, -i = 2*k - 6*k - 24. Let b(g) = -g**3 + 2*g**2 + 5*g - 2. Let w be b(3). Let n = w - k. Does 7 divide n?
False
Let a(g) = g**3 - 7*g**2 + 8*g - 7. Let s be a(6). Suppose s*c = -5 - 25. Is (-40)/c*(-6)/(-4) a multiple of 10?
True
Let o be 11*2 - (-1 - -3). Suppose 0*n = 4*n - o. Suppose -4*m - 2 = -g + 3*g, -4*g + n*m = -48. Is g a multiple of 7?
True
Let z be ((-32)/(-5))/(3/30). Let g = z + -22. Is 17 a factor of g?
False
Suppose 0 = 