5 - -165. Is i a multiple of 12?
False
Let q(y) = 9*y**3 - 3*y**2 + 2*y. Let h be q(2). Let i be ((-1)/(-2))/(2/12). Suppose 8 = i*c - h. Is 15 a factor of c?
False
Let h be 1 + (-118)/(-2)*1. Suppose -2*p + a + h = 0, p = -2*p - 5*a + 90. Does 15 divide p?
True
Let b be 60*(5/3 - 1). Suppose -3*p = d - 2*d + b, 2*d - 80 = -2*p. Suppose 5*w - w = d. Is 4 a factor of w?
False
Suppose 0*z - z + 6 = 0. Let q(m) = 4*m**2 - 3*m + 7. Let r be q(z). Suppose -8 = 5*x - r. Does 18 divide x?
False
Let h(t) = t**2 - 4*t + 3. Is h(6) a multiple of 5?
True
Does 4 divide (117/6)/(12/16)?
False
Suppose -3*x = 3*c - 2*c - 89, -5*x - 5*c + 145 = 0. Suppose -2*z = -7*z + x. Does 2 divide z?
True
Let p = 4 + 1. Let o = 10 - p. Suppose o*n - 106 = -36. Does 7 divide n?
True
Is 22 a factor of ((-10)/(-4))/(8/176)?
False
Let q = 8 - 2. Suppose q*x - 30 = x. Does 3 divide x?
True
Suppose 3*q + 4*x = 4, 5 = q - 3*x - 5. Suppose -4*l - q*c - 50 = -6*l, 3*l - 2*c - 59 = 0. Is l a multiple of 6?
False
Let u(l) be the second derivative of 0 - l**2 - 1/6*l**3 + 1/12*l**4 + l. Is u(-2) a multiple of 2?
True
Suppose -5*d + 29 = 5*b - b, 0 = 2*d - 3*b - 7. Suppose j + h + 159 = 6*j, -d*h + 135 = 5*j. Does 25 divide j?
False
Let c(y) = -12*y. Suppose -15 = -3*t + 3*s, -25 = 5*t + 8*s - 3*s. Suppose 4 + t = -4*d. Does 6 divide c(d)?
True
Let g be 1/(0 + 2/4). Suppose -k = g*k - 39. Let c = k - 4. Is c a multiple of 8?
False
Suppose 0 = 4*n - 124 - 36. Is 13 a factor of n?
False
Suppose -h - 2*h + 9 = 0. Suppose 0 = -3*o - h*g + 81, -4*o + 76 = -g - 27. Is o a multiple of 26?
True
Let l(a) = -1. Let d(j) be the first derivative of -j**2 + 6*j + 2. Let b(n) = -d(n) + l(n). Is 2 a factor of b(6)?
False
Let q = 13 + -21. Let w = 13 + q. Is w a multiple of 2?
False
Let n = 5 - 8. Let m = n + 6. Suppose 4*b + 2*f = -0*f + 32, -m*f - 29 = -5*b. Does 4 divide b?
False
Let a(p) = p**3 - 2*p + 1. Let o be a(1). Suppose o = -0*i - 2*i - 5*y + 79, y - 203 = -4*i. Is i a multiple of 15?
False
Let q be (8/10)/(6/(-30)). Let r be 1 - (4 + -1) - q. Is 2 a factor of (-1)/(r/2) + 4?
False
Suppose 2*f + 20 = 4*v - 0*f, -2*v = 4*f. Suppose -107 = v*r - 355. Does 14 divide r?
False
Suppose -5*s = -6*s - a + 4, a = 4*s + 4. Suppose 0 = -4*x - s*x + 112. Is x a multiple of 7?
True
Let c be 1/5 + (-2)/10. Suppose -5*y + 0*y + 15 = -t, c = 5*t - 5*y - 5. Suppose r + 4*r + 17 = w, -t*r + 193 = 4*w. Is w a multiple of 21?
True
Let k(r) be the second derivative of r**4/12 + r**3/3 - 4*r**2 - r. Does 8 divide k(-6)?
True
Suppose -k = 3*z - 198, 6*z - 3*z + 387 = 2*k. Let p be ((-1)/(-1))/((-3)/k). Let t = -35 - p. Is t a multiple of 15?
True
Let y(p) be the second derivative of -2*p**5/5 - p**4/12 - p**3/3 - p**2/2 + 3*p. Is y(-1) a multiple of 4?
True
Suppose 0 = 2*o - 9 - 159. Is (-11)/((-22)/o) + 0 a multiple of 21?
True
Let i(u) = u**3 - 7*u**2 - 7*u - 9. Let m be i(8). Let k(p) = -36*p**3 + p + 1. Is k(m) a multiple of 8?
False
Suppose -5*n - 4*v = v, 0 = 2*n + 5*v + 6. Suppose -n*m - 5*a + 132 = -a, -5*m + 330 = 3*a. Is (1 - 0)/(3/m) a multiple of 11?
True
Let v(l) = 5*l**2 + l + 11. Let z(s) = 2*s**2 + s + 5. Let f(u) = -3*v(u) + 7*z(u). Let x be f(4). Suppose x*o + 40 = 6*o. Is 5 a factor of o?
True
Is 46 + 5/((-25)/(-20)) a multiple of 10?
True
Suppose 3*g - 200 = -4*d, 62 = g - 4*d + 3*d. Does 12 divide g?
False
Suppose 4*g - 22 = -3*s - 6, 2 = s - 2*g. Suppose -s*v - p = -0 - 12, -2*p = 3*v - 4. Is v*(0 + (-13)/(-4)) a multiple of 13?
True
Suppose -3*z - z = -20. Let v = 9 - z. Suppose -v*h + 199 = -17. Does 18 divide h?
True
Let x(t) = -t + 60. Is 12 a factor of x(0)?
True
Is (0 + -1)*1*-11 a multiple of 7?
False
Let b be 2*(-2 + (-117)/(-6)). Suppose -5*i = -u - 6 - 16, 4*i = -5*u + b. Is i a multiple of 3?
False
Let f(w) = -3*w**3 - 5*w**2 + 6*w - 1. Let o(l) = -5*l**3 - 11*l**2 + 12*l - 3. Let d(i) = 7*f(i) - 4*o(i). Is 11 a factor of d(8)?
False
Let t(o) = -o + 5. Let y be t(0). Let i = 1 + 80. Suppose -y*h + i - 6 = 0. Does 10 divide h?
False
Let i(k) = -k**2. Let j be i(-1). Suppose 0*t = -3*t + w + 21, -5*w - 9 = t. Let y = t + j. Does 5 divide y?
True
Let r = 5 - 3. Suppose 0 = r*l - l - 13. Does 9 divide l?
False
Suppose o = 3*t + 83, -5*o - 2*t = -7*t - 365. Does 17 divide o?
True
Let o(q) = -2*q**2 - 8*q - 9 + q**2 - q**2 + q**2. Is o(-6) a multiple of 3?
True
Let n = 14 + -9. Let h = n - 3. Suppose -4*t = -5*z + 64, 0 = h*z - 3*t - 19 - 8. Is z a multiple of 6?
True
Suppose 10*u - 16 = 6*u. Let h(d) = 4*d - 4. Is h(u) a multiple of 9?
False
Let j be -2*(-1 - 3/(-2)). Let s = -11 - -23. Let r = s - j. Is 12 a factor of r?
False
Let k(y) = 3*y**2 - 1 - 2 + y - 2*y - 2*y**2. Let b be k(6). Suppose 3*r = b + 102. Is r a multiple of 15?
False
Let r(t) = 5*t**3 - 2*t + 1. Let h be r(1). Let z(w) = w + 5. Let s be z(h). Is 24 a factor of 54*(s/6)/3?
False
Let l = 9 + 0. Let z be (l/(-6))/((-6)/8). Suppose z*b - 27 = -11. Is 6 a factor of b?
False
Let w(c) = c**2 - 7*c + 4. Let s be w(3). Let i(o) = 4*o - 7*o + 8 + 0*o. Is i(s) a multiple of 13?
False
Let d(r) = -r - 2. Let n be d(-6). Suppose -n*i = -5*i. Let z = i + 6. Does 4 divide z?
False
Suppose 0 = 3*t + 132 - 51. Let w = t + 50. Does 11 divide w?
False
Let r(y) = -y + 2. Let z be r(2). Suppose 2*m + 8 = -z*m. Is 11 a factor of m/(-10) - 73/(-5)?
False
Suppose 0 = l - 0*m + 2*m - 214, 0 = -4*l - 3*m + 846. Is l a multiple of 15?
True
Let i(f) = -f + 10. Is i(-6) a multiple of 8?
True
Suppose 5*v = -0*v + 75. Is v a multiple of 5?
True
Let x = 6 + 33. Is 26 a factor of x?
False
Let u(j) = -2*j + 6*j - j + 8 + j + j**2. Let l = -2 + -4. Does 9 divide u(l)?
False
Let k(q) = -q**2 + 10*q - 7. Let g be k(7). Let y = g - 10. Does 4 divide y?
True
Suppose 89 = 3*d - 4*o - 126, 0 = 5*d + 5*o - 405. Is 17 a factor of d?
False
Let k(u) = 2*u + 18. Let n be k(15). Let f = -3 + n. Is 15 a factor of f?
True
Let s = -675 - -972. Is s a multiple of 27?
True
Let j(f) = -f**3 - 9*f**2 - 10*f - 5. Let g be j(-7). Let u = g - -14. Let y = u - -40. Is 9 a factor of y?
False
Suppose h = -4*p + 4, 2*p + 3*h = -p - 6. Suppose -p*x - 1 = 3, -m - 2*x + 173 = 0. Suppose -4*o = -2*y + 19 - m, y = -2*o + 73. Is o a multiple of 19?
True
Let g be (-1)/2*(2 - 2). Suppose 5*x - 19 - 106 = g. Is 25 a factor of x?
True
Suppose 2 = -r + 4*f, 9 = 2*r + 3*r - f. Let o(h) = 5*h**2 + 20*h. Let t(v) = v**2 + 4*v. Let q(x) = r*o(x) - 11*t(x). Is q(-3) a multiple of 2?
False
Let s be (-202)/(-8) + 3/(-12). Suppose 0 = -5*n + 4*n + s. Does 11 divide n?
False
Let y be (-3)/1 - (4 - 11). Suppose -12 = -3*i, -y*g + 4*i = -23 - 57. Is 8 a factor of g?
True
Let b = -3 + 3. Let g(r) = r + 53. Is 14 a factor of g(b)?
False
Suppose -5*n + 0*i = 3*i - 357, 203 = 3*n - i. Is n a multiple of 23?
True
Suppose 2*q + 3*t = -t + 312, -614 = -4*q + 2*t. Is q a multiple of 15?
False
Let o(m) = -53*m**3 + 2*m**2 + 3*m + 1. Is 6 a factor of o(-1)?
False
Suppose 3*b - 47 + 547 = -4*m, 0 = -m + 4*b - 144. Is 8 a factor of ((-2)/4)/(4/m)?
True
Suppose 5*k - 244 = 231. Is 29 a factor of k?
False
Suppose -34 - 6 = -4*r. Let s(z) = z**2 - 9*z + 9. Let l be s(8). Suppose -l = h - r. Is h a multiple of 8?
False
Suppose -5*w + 128 = -4*w. Is 32 a factor of w?
True
Suppose i + 4 = 0, -4*i + 65 = w + i. Is 17 a factor of w?
True
Suppose -4*g - 18 = -5*r - 2*g, 0 = -3*r - 2*g - 2. Does 8 divide 2/((-4)/(-46)) - r?
False
Let o(m) = 16*m - 1. Let y = 2 + -3. Let g be o(y). Let x = g - -37. Does 10 divide x?
True
Suppose -11 - 1 = -4*y. Let q(k) = k**2 + 4*k - 1. Let x be q(-5). Is x*y + 5 + -3 a multiple of 9?
False
Let h = 9 + -19. Is 306/30 - (-2)/h a multiple of 10?
True
Let v(y) = -4*y**2 - 7 + y**2 + 11*y + 5*y**2. Is v(-8) a multiple of 9?
False
Suppose 0 = 3*c - c - 4. Suppose d - c*d = 0. Suppose d = -o + 3*o - 20. Is 10 a factor of o?
True
Suppose 3*a = -2*l + 171, 2*a - l = l + 104. Is 18 a factor of a?
False
Suppose 2*n - 79 = 35. Does 19 divide n?
True
Let v = -61 + 101. Is 8 a factor of v?
True
Let h(f) = -f**3 - 7*f**2 - 12*f - 17. Does 17 divide h(-7)?
False
Let b(q) = 5*q**3 - 2*q**2 + q - 1. Is b(4) a multiple of 43?
False
Suppose -5 - 1 = -2*h. Suppose w + 107 = 3*n, 0*n + 5*w + 115 = h*n. Is n a multiple of 11?
False
Suppose -4*b + 2*l = -l - 41, -b + 20 = -4*l. Suppose b*r - 3*r - 1