 45 + y. Let d = -38 - v. Does 18 divide d?
True
Let r(f) = -12*f - 20. Is 10 a factor of r(-23)?
False
Let b(f) = 21*f**3 - f**2 - f + 1. Let z(u) = -u + 6. Let q be z(5). Let j be b(q). Does 9 divide 24/j*(-45)/(-2)?
True
Let g = 8 + -7. Let w be 2 + 1/((-2)/2). Is 19 a factor of (10 + 0)*(w + g)?
False
Let i(j) = -j**3 + 6*j**2 - 4*j - 3. Let w be i(5). Suppose 5*s + 68 = 3*t, -w*t = -4*s - 25 - 23. Does 7 divide t?
False
Suppose -x - 108 = -3*x + w, 4*w - 8 = 0. Suppose 4*k - 53 - x = 0. Is 9 a factor of k?
True
Suppose -f + 0*f = -4*s + 117, 0 = 5*s + f - 153. Is 29 a factor of s?
False
Suppose 1 = -2*i + 9. Does 13 divide (1 + 51)*i/8?
True
Does 2 divide 6/24*2*4?
True
Let p(t) = 22*t**2 + 3*t + 2. Let z be p(-2). Suppose z = w + 16. Is 23 a factor of w?
False
Does 8 divide (11 + -7)/(3*(-3)/(-108))?
True
Suppose 5*y = -w + 599, -5*w + 510 - 155 = 3*y. Suppose 4*a - 2*o = 120, -2*a + 5*o = 2*a - y. Is a a multiple of 23?
False
Let z(m) = m**2 - 1. Let f be z(3). Let w = 0 + f. Is w a multiple of 8?
True
Suppose -n - 8*n = -297. Does 3 divide n?
True
Suppose -8 = -0*f - 4*f. Suppose 0 = 2*q + 3*i - 11, 4*q - 9 = q - f*i. Let y(w) = 32*w**2 - w. Is y(q) a multiple of 11?
False
Let x be (0 - 1/1) + 0. Let o be (11 + x)/((-1)/(-1)). Suppose 7*q + 138 = o*q. Does 28 divide q?
False
Suppose 3*o = -3*f + 33, 0 = -5*f + 3*f + 2*o + 10. Let r(g) = 8*g - 7. Let q(j) = -7*j + 7. Let i(u) = -6*q(u) - 5*r(u). Is i(f) a multiple of 9?
True
Does 8 divide 30/((-27)/(-6) - 3)?
False
Suppose 16*o - 12*o = 220. Does 11 divide o?
True
Let f be 41*3 - 0/2. Suppose q = 4*q - f. Suppose -7 = -2*d + q. Does 13 divide d?
False
Let b = -8 - -29. Let v = b - -3. Does 24 divide v?
True
Suppose -3*o = 26 - 68. Does 8 divide o?
False
Let u(d) = -d**2 + 20*d - 14. Is 5 a factor of u(18)?
False
Let d(b) = 15*b - 4. Does 25 divide d(6)?
False
Suppose -8*j + 4*j = -28. Suppose -2*b - 13 = -3*l + 3, 10 = 3*b + 4*l. Does 8 divide (-15)/b + j/14?
True
Suppose 2*o = o + 4. Let g(n) = 7*n + o + 5*n - 2. Is g(2) a multiple of 12?
False
Let q(d) = d**2 - 5*d + 4. Let w be q(5). Suppose -6*u = -w*u + 2*v + 4, 5*v + 25 = 0. Suppose 2*x = 2, -5*x = u*c - 7 - 22. Is 4 a factor of c?
True
Let w(m) = -7*m**2 - 2*m + 3. Let z be w(2). Let h = 18 - z. Does 12 divide h?
False
Let a be 1 + 3 - 2 - -2. Let x = 0 + 0. Suppose a*v - 63 - 5 = x. Does 17 divide v?
True
Let i(y) = -y + y**2 - y**2 - 2 + 2*y**2 + 4*y - y**3. Does 18 divide i(-3)?
False
Let l = -1 - -22. Is 5 a factor of (48/(-14))/((-3)/l)?
False
Suppose -5*l - 5*h + 3 = 43, 0 = -2*l - h - 13. Let x = 5 - l. Suppose -x = -m + 4. Is m a multiple of 7?
True
Let j = -4 + 5. Let r be 1 + 0 - j - -6. Does 7 divide 2*3*14/r?
True
Suppose 386 = 4*i + 62. Does 27 divide i?
True
Let a(i) be the first derivative of i**6/180 - i**5/24 - i**4/6 + 2*i**3/3 - 1. Let x(u) be the third derivative of a(u). Is 11 a factor of x(-3)?
False
Suppose -4*d - 5 = -1. Does 10 divide (-2 - d) + (-11)/(-1)?
True
Is 21 a factor of ((-63)/6 + -1)*-4?
False
Let y(o) = 16*o. Is y(2) a multiple of 14?
False
Suppose -5*l = -6*l + 3*n + 29, 4*n - 100 = -4*l. Is l a multiple of 13?
True
Suppose 5*s = -0*a - a + 10, -50 = -5*a + 2*s. Let k = a + -6. Suppose 2*l - 6 - k = 0. Does 2 divide l?
False
Let b = 5 + -5. Let x(h) = h**3 + h**2 - h + 28. Let f be x(b). Let p = 46 - f. Is 9 a factor of p?
True
Let f(n) = n**2 - n - 2. Let u be f(-2). Suppose 204 = 3*t - u*z + 5*z, -2*z - 340 = -5*t. Suppose 4*a + 8 = 2*i - t, -5*i = 4*a - 176. Is i a multiple of 14?
False
Let o(z) = z**3 - 9*z**2 + 2*z - 11. Let q be o(9). Let m = q - -33. Let w = 76 - m. Is w a multiple of 22?
False
Let d(m) = -2*m + 2. Suppose -3*c = -2*q + 25, 3*c - 10 = -3*q - 40. Does 6 divide d(c)?
False
Let t = -8 + 2. Let u be (-2)/t - 1/3. Suppose u = r + r - 72. Does 12 divide r?
True
Let d be (-10)/5 - (2 + -5). Suppose 0 = -2*l + 9 + d. Is l a multiple of 5?
True
Suppose 4*f - 4*v - 64 = 0, 0*f + 3*f - 5*v = 50. Let b = 26 - f. Is 9 a factor of b?
False
Let h = -8 - -13. Suppose -3*c + 15 = 0, h*t + c = t + 17. Suppose -t*p + 88 + 83 = 5*w, 5*w - p = 183. Is w a multiple of 18?
True
Let k = 97 - 63. Is 17 a factor of k?
True
Suppose -4*w - 12 = -32. Suppose 2*o = -w + 1. Is 15 a factor of ((-24)/(-18))/(o/(-45))?
True
Let t = 77 + -36. Does 13 divide t?
False
Let h(b) = -b**3 - 7*b**2 + 10*b + 10. Let i be h(-8). Let a(j) = j**2 - 5. Is 15 a factor of a(i)?
False
Suppose 2*j - 5 = 5*u - 0, 2*u + 2 = 0. Suppose 2*q + 2*s - 50 = j, -3*q = -5*q + 3*s + 65. Does 14 divide q?
True
Suppose -9*t + 51 = 15. Is t a multiple of 4?
True
Let m be (1 + 4/(-2))*-3. Suppose -m*g = -t + 3*t + 8, -t - 4 = g. Suppose 4*a - 5 = -3*h + 15, -2*a - 2 = g. Is h a multiple of 8?
True
Let d be -4*2/4 + 1. Let a be -1*1/d*53. Suppose -277 + a = -4*y. Does 16 divide y?
False
Let n(a) = a**3 + 9*a**2 + 9*a - 9. Let m be n(-7). Suppose -3*v = 5*q - 5*v - 17, 2*q - m = -4*v. Suppose -154 = -q*c - 54. Does 10 divide c?
True
Let q(o) = o + 7. Suppose 10 = -k + 2. Let t be q(k). Let d = t - -9. Is 3 a factor of d?
False
Let u = -56 + 78. Let h = -8 + u. Suppose 4*g - 14 = h. Is 7 a factor of g?
True
Suppose h = 5*h + 3*s - 26, 22 = 4*h + s. Suppose 51 = h*a - 14. Does 13 divide a?
True
Let l = 0 + 0. Suppose 5*z = -l + 5. Suppose -3*f - z - 5 = 0, -57 = -3*x - 3*f. Is 13 a factor of x?
False
Let j(q) = -8*q**2 + q + 1. Let g be j(-1). Suppose -4*s = -7*s + 39. Let r = s + g. Is 2 a factor of r?
False
Suppose 0 = x - 3 - 8. Is 2 a factor of x?
False
Let j be 5/15 - (-10)/(-3). Let t be -2 + j + (27 - -2). Suppose 4*m + 2*w + 2*w - 60 = 0, m = 2*w + t. Is m a multiple of 8?
False
Let f(b) = b**3 + b**2. Let l be f(0). Suppose 4*k + k - 260 = l. Suppose 2*c = 4*g + k, 5*c - 3*g - 87 - 15 = 0. Is c a multiple of 18?
True
Suppose 4*t + 1440 = 12*t. Is 30 a factor of t?
True
Let g = 67 + 8. Suppose -4*i + g = -85. Does 20 divide i?
True
Let r be (-3)/2*(-4)/3. Suppose -r = j - 1. Is j - -11 - (3 - 1) a multiple of 8?
True
Let m = 18 - -90. Is m a multiple of 15?
False
Let s be 36/(-5 - -3) - 2. Let j = s + 30. Does 6 divide j?
False
Let s(z) = -z**2 - 13*z - 4. Let q = -15 + 8. Is s(q) a multiple of 19?
True
Is (-19)/(-1*(-2)/(-2)) a multiple of 4?
False
Let x = 13 - 4. Does 3 divide x?
True
Suppose 4*k + 1077 = -j, 3*k - 4*k + 5*j - 285 = 0. Is k/(-14) - 2/7 a multiple of 7?
False
Suppose -4*o + 5*n - 3 - 8 = 0, 2*o + 4*n = 14. Suppose -o - 4 = -t. Let y(c) = 5*c - 3. Is y(t) a multiple of 19?
False
Suppose 8 = -g + 5*x, -g + 5*x - 80 = -6*g. Suppose 0 = -5*c - 5. Let b = c + g. Does 11 divide b?
True
Suppose n - w - 50 = -3*w, -4*w - 164 = -4*n. Is 22 a factor of n?
True
Let x = -136 + 209. Suppose 5*v = -c + 29, -x = 2*c - 4*c + 5*v. Is 17 a factor of c?
True
Is 25 - (-2)/((-2)/3) a multiple of 11?
True
Let g(a) = -2*a**2 - 2 + 8 + 8*a**2 - 1 + a. Let b be g(4). Suppose 0*j = 5*j - b. Is 21 a factor of j?
True
Suppose 5*s - 45 = -2*m + 34, 4*m + 5*s - 133 = 0. Does 24 divide m?
False
Let t(b) = b**3 - 4*b**2 - 6*b + 24. Does 14 divide t(8)?
False
Suppose 3*x = -7 + 13. Does 3 divide 0 - (x + -58)/4?
False
Let m(v) = 11*v**2. Let t be m(1). Let r = t - -13. Is 12 a factor of r?
True
Let h = -4 + 9. Let i(o) = -1 + 8 + h - o - 1. Is 5 a factor of i(-8)?
False
Suppose w + 2*g - 11 = 0, -3*w + w + 4*g - 2 = 0. Suppose -2*o + 5*r = -15, -r + 72 = w*o - 2*r. Does 11 divide o?
False
Suppose -5*s - 5*m = -225, 2*s + 4*m = 4*s - 102. Is s a multiple of 20?
False
Suppose p = 13 + 101. Does 29 divide p?
False
Suppose 3*x - 144 = 78. Is 17 a factor of x?
False
Let l = 9 + -7. Suppose 4*d - 124 = 4*n, 4*d - 55 - 39 = -l*n. Is 13 a factor of d?
True
Let m(k) = k**3 - 4*k**2 + 2*k - 1. Let n be m(3). Let p(q) = q**3 + 5*q**2 - 3*q - 1. Let v be p(-5). Let h = v + n. Is h a multiple of 4?
False
Let c be 0*(-1 + -2 + 2). Suppose c = 4*j - 3*j - 24. Is j a multiple of 8?
True
Let q = 3 - 1. Let l = q - 10. Let o = 14 + l. Does 5 divide o?
False
Let b = 543 + -307. Is b a multiple of 21?
False
Is 8 a factor of -5 - (2 + -7) - (-102)/2?
False
Suppose 2*w + 30 = 5*b, 0 = -2*w - 7 - 3. Suppose 2*n + 6 = -y, -b*y = -4*n + 5*n + 3. Is 2 a factor of (n + 11/4)*-8?
True
Suppose -u - 3*z = -7*z - 293, 287 = u + 2*z. Does 17 divide u?
True
Let y(w) = -w*