3 - 2*m**2 + m - 1. Is a(-9) a multiple of 19?
False
Let b = 567 - 391. Does 16 divide b?
True
Let z(g) = 5*g**2 + 2*g + 4. Let k be z(-4). Suppose -224 = -5*v + k. Suppose -2*d + v = d. Does 10 divide d?
True
Let i(f) = f**3 - 7*f**2 + 4*f + 11. Let z be i(6). Does 7 divide -7 + 38 + z*1?
False
Suppose 7*m - 3*n - 262 = 3*m, 61 = m - 3*n. Is 14 a factor of m?
False
Let t be (-2)/(-15) + (-2)/15. Let p(o) = o + 49. Is 14 a factor of p(t)?
False
Suppose -4*s + h + 47 = -2*h, -2*h = s + 2. Suppose 2*v = s - 0. Suppose 0 = 2*u + v - 28. Is u a multiple of 4?
True
Let z(i) = 16*i - 1. Let g be z(1). Suppose 16*d = g*d + 31. Does 6 divide d?
False
Let p = -1 + 3. Suppose 80 = 4*f - k - 1, -4*k = -p*f + 44. Is 10 a factor of f?
True
Suppose 3*k - 17 = -2. Suppose k + 7 = -4*d. Is 10 a factor of (22 - 0) + 1 + d?
True
Suppose -j = 3*j + 4*n - 200, -2*j + 3*n + 95 = 0. Is j a multiple of 18?
False
Let f be 686/9 + 2/(-9). Suppose 124 = 4*c + 5*l, -l = -4*c + 24 + f. Is 13 a factor of c?
True
Let m = 71 - 34. Suppose -2*a - a = 5*u - 105, -4*u = -3*a - 84. Let s = m - u. Is s a multiple of 9?
False
Let w(m) = -m - 3 + 0 + 0*m. Let r be w(0). Is ((-16)/r)/(7/42) a multiple of 17?
False
Let o = 18 + -11. Let v(h) = 2*h + 7. Let i be v(o). Suppose n - i = -4. Is n a multiple of 9?
False
Let h(w) be the third derivative of w**4/6 - 17*w**3/6 - 6*w**2. Does 10 divide h(10)?
False
Let c(p) = -p**3 - 11*p**2 + 12*p - 4. Let k be c(-12). Let b = k - -16. Does 6 divide b?
True
Suppose -8*i + 13*i = 150. Is i a multiple of 4?
False
Suppose 0 = 5*k + 2*z - 636, 4*k = -4*z + 400 + 116. Is k a multiple of 21?
True
Let c(l) = -11*l**3 + l + 1. Let h be c(-1). Let v = -5 + h. Does 5 divide v?
False
Suppose 3*w - 8 = 4. Let c = w - -1. Is 3 a factor of c?
False
Let b be 3/9 + 7/(-3). Let i be b/(-5)*180/3. Suppose 0*m - m = -i. Is m a multiple of 12?
True
Let b(i) = 2*i**2 + i - 44. Let q(n) = 5*n**2 + 3*n - 132. Let v(l) = 8*b(l) - 3*q(l). Does 22 divide v(0)?
True
Let p be (-10)/(-25) - (-18)/5. Suppose t = -3*w - 2*w + 118, 3*w - 80 = p*t. Is w a multiple of 11?
False
Suppose -3*l = 4*b - 20, 0 = -b - 3*b + 2*l. Suppose 5*r + b*h - 11 = 6, 0 = -4*r - 2*h + 14. Suppose -2*x + 130 = r*x. Does 9 divide x?
False
Let i = -126 - -239. Let h(x) = 57*x + 2. Let g be h(1). Let j = i - g. Does 18 divide j?
True
Is (-52)/3*(-126)/56 a multiple of 5?
False
Let k(t) = t**2 + 1. Let s be k(-6). Suppose -d + 11 = i - s, 2*d = -4*i + 190. Is 18 a factor of i?
False
Let c(q) = -q. Let b be c(-4). Suppose x - 2*s - 4 = -0, 0 = x + 2*s - b. Is x even?
True
Suppose 17 = -g + 5*m, g + 3*g + 3*m - 47 = 0. Let o(w) = w + 4. Does 5 divide o(g)?
False
Suppose -2*f - 15 = f. Let i be ((-2 - -2) + -1)*f. Suppose -4*h + i*x + 76 = x, 12 = 3*x. Is h a multiple of 11?
False
Suppose 0*i = 4*i. Let s be (i - (1 + -2))*89. Suppose -2*c = -9 - s. Is c a multiple of 13?
False
Let w(l) = -l**2 + 15*l - 14. Does 3 divide w(13)?
True
Suppose -1 - 3 = 3*b + 2*p, -4*p - 26 = -3*b. Suppose 2*o - 4*s - 80 = 0, 80 = 3*o - o - b*s. Is o a multiple of 14?
False
Let z(t) = -t**3 + 3*t**3 - t - t**3 + 24 + t**2. Is 9 a factor of z(0)?
False
Let y = 152 + -75. Is y a multiple of 25?
False
Let l be (-35)/10 + 6/(-4). Let o(q) = q + 12. Is 3 a factor of o(l)?
False
Suppose 4*i - 1 = 4*y - 5, -y = 5*i - 13. Let n = y - 1. Does 2 divide n?
True
Let v = 105 + 80. Is v a multiple of 17?
False
Let v(l) = -3*l + 6. Let s be v(4). Let r = 11 + s. Suppose -r*y = -a - 115, 2*a = 2*y - y - 23. Does 6 divide y?
False
Let f(y) = y**3 - 1. Let w be f(1). Let o = w - 0. Is 27*(1 - (-1 - o)) a multiple of 19?
False
Let t(x) = -x**2 + 5*x + 4. Let w(j) = -3 - 3*j**2 + 4*j**2 - 4*j - 3*j. Let d be w(8). Is t(d) a multiple of 2?
True
Let c be (-2 + -1 - -3)/(-2). Suppose c = 4*s - 5*j - 45, 2*s - j = -2*j + 33. Is s a multiple of 9?
False
Suppose s + 11 = 26. Suppose -2*r - 1 = -s. Is r a multiple of 7?
True
Let z = 47 - 23. Is z a multiple of 12?
True
Let d be 2 + -4 - (-39)/(-1). Suppose -3*s + 2*s = 69. Let a = d - s. Is 14 a factor of a?
True
Let v be (-4)/(-6) - 7/(-3). Let a(d) = d + 3. Is 3 a factor of a(v)?
True
Suppose 0 = d + 4*a - a - 1, 2*d - 2*a = 2. Let z = 4 - d. Suppose 25 = p - z*y, -3*y + 142 = 5*p - 19. Is p a multiple of 13?
False
Let m = 8 - 4. Suppose -3*v + 21 = m*o - 10, 4*o - 27 = v. Let a(w) = 2*w + 10. Is a(o) a multiple of 19?
False
Suppose -d = -2*s - 7, 3*d + 5*s + 25 = 8*d. Suppose 0 = 2*m - d*v + 21 - 88, 0 = -3*m + v + 104. Does 12 divide m?
False
Suppose q = 33 + 12. Is 15 a factor of q?
True
Suppose -44 = 3*y - 5*y. Is 13 a factor of y?
False
Suppose -a - 4*g = -16, -5*a = -a - 3*g - 7. Suppose -4*u + 8 = -a*q, -4*u = u + 4*q - 46. Does 9 divide 3/u + (-17)/(-2)?
True
Let w be 119/28 - (-1)/(-4). Suppose -2*q - 22 = -w*s, s + 5*q - 1 = 3*s. Is s a multiple of 7?
True
Let o = 84 + -56. Is 16 a factor of o?
False
Let w = -73 + 119. Suppose h + 5*m - 4 = -h, -h - 3*m = -2. Suppose j - 33 = -2*p, -4*j - w = -3*p - h*j. Is p a multiple of 12?
False
Let v(l) be the second derivative of -l**4/12 + 4*l**3/3 + 2*l**2 - 2*l. Is 4 a factor of v(8)?
True
Let m = 111 + -76. Is m a multiple of 17?
False
Suppose -2*u - 6 = f, -2*f + 2 = f + 2*u. Suppose 12 = f*l + 4. Suppose -23 = -2*r - t, 2*r - 25 = l*t - t. Is r a multiple of 5?
False
Suppose -h - 525 = -6*h. Is 5 a factor of h?
True
Let m be (20/3)/(-5)*27. Let t = 78 + m. Does 21 divide t?
True
Is 93 + (-12)/3 + 1 a multiple of 27?
False
Let y be (5/(-4))/((-1)/40). Is y/15*(-48)/(-5) a multiple of 16?
True
Let o(j) = -4*j**2 - j - 3. Let k(z) = -6*z**2 - z - 5. Let v(u) = 5*k(u) - 8*o(u). Let g be v(-3). Does 12 divide 2/8 + 150/g?
False
Is 8 a factor of 10/(-1 - (-15)/12)?
True
Let p(s) = s**2 + 14*s. Let u(l) = -l + 1. Let a(v) = -p(v) - 5*u(v). Is 4 a factor of a(-4)?
False
Let j(r) = 2*r + 27. Is j(5) a multiple of 14?
False
Suppose 3*f + 2*l - 35 = 0, 4*f - 41 = -2*l + 5. Let z = f + -52. Does 7 divide (-3)/(-18) - z/6?
True
Suppose -w - 25 = w - 3*v, -3*w + 5*v = 39. Let l be (15/(-10))/(2/w). Suppose 4*u - 4*i = 44, -2*u + 2*i = -u - l. Is 8 a factor of u?
True
Let o(v) = -v**3 + 4. Let w be o(3). Let a = -4 - w. Does 5 divide a?
False
Let i(v) = -v**2 - 9*v - 2. Does 8 divide i(-5)?
False
Let c(i) = -i**3 - 4*i**2 - 5*i - 9. Is 3 a factor of c(-4)?
False
Let r(t) be the second derivative of t**4/12 - 2*t**3/3 + 3*t**2/2 - 2*t. Does 16 divide r(-5)?
True
Does 20 divide ((-140)/3)/((-2)/6)?
True
Let r(x) = x. Let j be r(-3). Let d = 4 + j. Is (-1 + 43)*(0 + d) a multiple of 14?
True
Suppose 0 = t - 6*t - i + 12, -2*t + 2 = -i. Suppose -t*v = -w - 92, -2*w + 4*w + 94 = 2*v. Suppose -2*y + 3*d = -37, d + v = 3*y - 0*d. Does 14 divide y?
True
Let t(d) = d**2 + 5*d + 6. Let g(n) = n. Let k be g(-4). Let z be t(k). Suppose -i + 3*i = z*s - 52, 0 = -5*s - i + 118. Is s a multiple of 10?
False
Let u(r) = -r**3 + 3*r**2 - r + 1. Let v be 1 + 1 - 4/2. Suppose -5*o + 2*i = v, 5*o = -8*i + 3*i + 35. Does 3 divide u(o)?
True
Let p(d) = d - 10. Let h(v) = 2*v - 11. Let l = 2 + 3. Let q(k) = l*p(k) - 4*h(k). Is q(-4) a multiple of 5?
False
Let m(n) = 22*n - 42. Does 30 divide m(6)?
True
Suppose 6*u - 120 = -9*u. Is u even?
True
Suppose 0 = -h - h + 14. Let r = 22 - h. Is r a multiple of 4?
False
Does 26 divide -52*(-4 + 8)/(-4)?
True
Suppose 2*w - 23 = -15. Is 4 a factor of w?
True
Let j(h) = 7*h + 19. Is 8 a factor of j(3)?
True
Suppose 4*v + o + 103 = 5*v, 2*o - 109 = -v. Is v a multiple of 21?
True
Suppose 2*j = -3*g + 12, -j + 5*g = j + 20. Suppose 0 = -5*t + q + 12, 2*q - q - 3 = 0. Suppose j = t*s + 2*s - 100. Is 17 a factor of s?
False
Let k = -8 - -11. Is ((k - -2) + 4)/1 a multiple of 3?
True
Suppose 3*i - 2*i = 0. Suppose c - j = 26, i*c = -c - 4*j + 11. Is 9 a factor of c?
False
Let h = -360 - -520. Does 40 divide h?
True
Let s be 3/6*2*3. Is 9 a factor of 44*1/2 - s?
False
Let v(l) = -4*l. Let a be v(-1). Let u = a - 0. Suppose 18 = 2*s - u*t, -4*s + 5*t = 4*t - 15. Is 2 a factor of s?
False
Suppose 2*x - 57 = -x. Does 19 divide x?
True
Let i = -7 + 3. Let g = 2 - i. Suppose -d + 72 = d - 2*f, 3*f = -g. Does 17 divide d?
True
Let o = 9 - 3. Let u be o/(-18)*(-1 + 1). Is (-2 - u) + 4*4 a multiple of 7?
True
Let u(z) = z**3 - 15*z**2 + 14*z. Let q b