(-84)/9)?
True
Suppose 2*s + 3*j = s + 5, 5*s - j = 41. Let f(k) = -3*k + 7*k - 4 + k. Is 18 a factor of f(s)?
True
Suppose 2*i = 6 - 0. Let n = -1 + i. Suppose 4*o - 3*d = 124, -o = -3*d - n*d - 14. Does 19 divide o?
False
Suppose -5*u = 9 + 6. Let w = u - -4. Is 5 a factor of 8*w - (4 - 2)?
False
Let x(n) = -5*n + 48. Is 3 a factor of x(9)?
True
Suppose -g - 4*h = -17, 0 = -4*g + 5*g + 2*h - 13. Let w be -14*((-6)/28 - 6/21). Suppose g = z - w. Does 8 divide z?
True
Suppose 0 = -2*d - 2*p + 80, 2*d = 3*d - 4*p - 40. Suppose 0 = -10*w + 5*w + d. Is w a multiple of 4?
True
Let f be (1 + -1)/((-1)/(-1)). Let h(a) = -a**2 + 5*a - 3. Let s be h(3). Suppose -s*n + f*n + 36 = 0. Is n a multiple of 6?
True
Let y(c) be the second derivative of -c**7/840 - c**6/72 + c**5/24 - c**4/24 - c**3/3 - 3*c. Let s(r) be the second derivative of y(r). Is 23 a factor of s(-7)?
False
Let f be 6/3 - (1 + 1). Let t = 5 - f. Does 5 divide t?
True
Let g = 128 - 62. Is 22 a factor of g?
True
Suppose 0 = -j + 3*j - 8. Is 15 a factor of j + -1 + -3 - -44?
False
Suppose -56 = -4*i + 4*c, -2*c = -4*i - i + 76. Suppose -o = -i - 2. Does 9 divide o?
True
Let u = -2 + -8. Let b(p) = p**2 + 5*p + 2. Let k be b(-7). Let d = k + u. Is 6 a factor of d?
True
Let l(t) = -t**2 - 6*t - 1. Let u be l(-5). Let r = 10 - u. Is r a multiple of 6?
True
Let q(v) = 2*v**3 - 4*v**2 + 2*v + 2. Let f be q(2). Let h(d) = -9*d + 5. Let m be h(f). Let c = 70 + m. Does 15 divide c?
False
Let s = -27 + 64. Does 37 divide s?
True
Let n(w) = 2*w**2 - 11*w - 3. Is n(9) a multiple of 4?
True
Suppose -2*x - 74 = -2. Let p = x - -106. Is p a multiple of 12?
False
Let j be 1 - -36 - (-2 - -4). Let a = j + -9. Does 13 divide a?
True
Let l(j) = -2*j**2 + 6*j + 3*j**2 - 2*j**2. Is l(5) a multiple of 2?
False
Suppose 5*j - 284 = -4*a, 4*a = -2*j - 0*a + 116. Is 7 a factor of j?
True
Suppose 2*z - 4 = 4. Suppose -z = -2*a, -v + 5*a - 7 + 36 = 0. Does 13 divide v?
True
Suppose 3*m = -2*m + 65. Suppose 113 = 2*g + 3. Suppose -2*h = -g + m. Does 18 divide h?
False
Let v(c) = c + 1. Is 2 a factor of v(6)?
False
Suppose -14*u = -13*u - 15. Is u a multiple of 5?
True
Let s be 16/(2 - -2) + 49. Is 38 a factor of 5 + -3 + 2*s?
False
Suppose y = 35 + 184. Does 42 divide y?
False
Let m(h) = h**2 + 3. Suppose -d - 3*d = 12. Let q be m(d). Does 11 divide (-1)/(-4) - (-261)/q?
True
Let r = -1 + -2. Let m be r*(0/3 - -1). Is 64/5 + m/(-15) a multiple of 9?
False
Let b(v) = 24*v**2 - v + 1. Let z be b(1). Let x = z - 8. Is 6 a factor of x?
False
Let t(z) = -z**3 - 4*z**2 + 3*z. Let d be t(-4). Is 14 a factor of -21*(1 - (-20)/d)?
True
Let w(d) = -3*d**3 + 2*d**3 + 0*d + 4 + 3*d + 4*d**2. Is 12 a factor of w(-3)?
False
Let q(c) = -c**2 + 4*c. Let z(f) = f**2 - 3*f + 1. Suppose -5*i = g + 16, 5*g + i - 28 = 3*i. Let m(j) = g*z(j) + 3*q(j). Is m(0) even?
True
Is 9 a factor of ((-36)/16)/(1/(-12))?
True
Is (-794)/(-10) + 4/(-10) a multiple of 9?
False
Suppose -2*i = w + 2*w - 28, i = 5*w - 12. Let l = i + 13. Is 8 a factor of l?
False
Suppose -v = v - 4. Suppose 5 = s - v*j + 4*j, -5*s = j - 16. Suppose 50 = o + 2*r, -s*r = -10*o + 5*o + 185. Is o a multiple of 20?
True
Let n(g) = -14*g - 3. Is 9 a factor of n(-5)?
False
Let j be 24/((-2)/4*-3). Suppose 0 = -v - v + j. Is 6 a factor of v?
False
Is 6 a factor of -24 - -26 - (-70 - (0 - 1))?
False
Let w = 6 - -34. Is 10 a factor of w?
True
Does 6 divide (-152)/10*(-45)/6?
True
Suppose -2*b - 2*g + 15 = -5*g, 5*b + 2*g = 28. Suppose -3*a = -2*a + b. Let w = -3 - a. Does 2 divide w?
False
Let n be (-17)/(25/13 - 2). Suppose x = 5*s + 59, -46 = 5*x - s - n. Is x a multiple of 8?
False
Suppose 4*f - 6 = 2. Suppose -f*p - 3*p + 457 = 2*y, -4*p + 366 = 2*y. Does 23 divide p?
False
Let q be (-11)/(-2)*6/(-3). Is (-3)/6 - q/2 a multiple of 2?
False
Suppose 0 = h - 2*l - 29, 2*h - 2*l = 13 + 37. Suppose -3*r - h = -4*r. Suppose -r = -0*o - 3*o. Does 3 divide o?
False
Suppose 3*k = k - 26. Let y = 41 + k. Does 14 divide y?
True
Suppose 47 + 193 = 2*t + 4*g, -g = 0. Is 30 a factor of t?
True
Suppose g - 5 = 0, 2*n + 0*g = -4*g + 26. Suppose 26 + 22 = n*m. Is 8 a factor of m?
True
Let t(f) = 2*f**3 - 7*f**2 + 7*f - 10. Is t(4) a multiple of 17?
True
Suppose 0 = -3*x - 7 - 5. Does 15 divide ((-2)/x)/(3/90)?
True
Let j = 65 - 36. Does 10 divide (3 - 5) + j - 1?
False
Suppose 0*h - 6 = -u + 2*h, -u + 7 = -3*h. Let m = 6 - -1. Let i = m - u. Is 2 a factor of i?
False
Let s(m) = 5*m**3 + m**2 + 3*m - 2. Is s(2) a multiple of 8?
True
Suppose 4*k - 10 = 14. Let z(x) = -x**2 + 6*x - 8. Let m be z(k). Let j = m + 16. Is 6 a factor of j?
False
Let h(m) = m - 4. Let y be h(7). Let u = -2 + 4. Suppose u*z = -y*z + 90. Is 7 a factor of z?
False
Let b = 21 + 4. Let i = -1 + b. Is 8 a factor of i?
True
Suppose 0 = -2*z - 19 + 5. Let a(o) = o**2 + 5*o + 10. Is a(z) a multiple of 18?
False
Suppose -5 = 5*q - 0*q. Let k be q/(-2*(-3)/(-60)). Suppose -3*x = -x - k. Is x a multiple of 3?
False
Suppose -105 = -4*r - 33. Suppose 0 = -0*k - 2*k + r. Is 5 a factor of k?
False
Let u(n) = -n**2 - 18*n - 13. Is 8 a factor of u(-15)?
True
Suppose -3*m - 69 = -5*a + 142, 0 = m - 3. Is a a multiple of 21?
False
Suppose -93 = 2*g + 3*l, -4*l - 210 = 5*g - l. Let s = -23 - g. Is s a multiple of 8?
True
Let f(m) be the second derivative of -m**4/12 + 15*m**2 + m. Let a be f(0). Suppose -4*z + a = -z. Is z a multiple of 10?
True
Suppose -4*n - 2 + 10 = 0. Suppose 180 = 5*m + 4*v, -n*v - v - 17 = -m. Suppose 0 = 2*y + m - 74. Does 9 divide y?
False
Let k(w) = 4*w - 3. Let c(t) = t. Let i(s) = -5*c(s) + k(s). Let d be i(-5). Suppose 0 = d*r - 3*r + 13. Does 13 divide r?
True
Let j be (1/(-2))/(2/(-24)). Suppose 0 + j = n. Is 11 a factor of (-21)/n*-4 + 2?
False
Suppose -99 = -2*k + 127. Is k a multiple of 15?
False
Suppose 20 = 9*g - 142. Does 6 divide g?
True
Let n = 474 - 327. Is 21 a factor of n?
True
Suppose -6*b + 325 = -1103. Is 34 a factor of b?
True
Suppose 0 = 3*c + 3*n - 75, 0 = c + c + n - 46. Is c a multiple of 7?
True
Does 25 divide -3 + -406*5/(-10)?
True
Let i(q) = 26*q**2 + 1. Let r(u) = u + 5. Let l be r(-4). Is i(l) a multiple of 11?
False
Is ((-16 - -1) + -2)/(-1) a multiple of 7?
False
Suppose -156 - 33 = -9*p. Is 21 a factor of p?
True
Suppose -5*c = -6*c + 2. Suppose i = 0, 2*i - 6*i - 24 = -c*j. Is j a multiple of 4?
True
Suppose 5*k = -3 + 8. Suppose -3*d - 135 = -4*o, -2*o = 3*d - 44 - k. Suppose 0 = -4*b + 4*r + 88, -4*b = r + o - 123. Does 7 divide b?
False
Does 9 divide 3*4*24/16?
True
Let d be 1*4*(-3)/(-12). Let j = d + 17. Is j a multiple of 11?
False
Suppose -252 = -4*b - 3*b. Is 18 a factor of b?
True
Suppose 15*g = 20*g - 130. Is g a multiple of 5?
False
Let w be (1/(-2))/((-3)/24). Suppose -2*p + 17 = s + 2*p, w*s + 4*p - 44 = 0. Suppose 2*m + s = 35. Is 13 a factor of m?
True
Suppose 0*x - 59 = x. Let p = -182 - -99. Let o = x - p. Is 11 a factor of o?
False
Let t(g) = 2*g**2 - 2*g - 4. Let s(w) = w**2 + 1. Let y(i) = -s(i) + t(i). Is y(5) a multiple of 3?
False
Suppose -3*i - 15 = 0, -7*f - 95 = -2*f - 3*i. Let c = f - -44. Does 11 divide c?
True
Let u(a) = a**3 - 4 - 2 + 2*a - 4*a**2 + 0*a**2 + 0*a**2. Does 13 divide u(5)?
False
Let z(y) = y**2 + 2*y + 10. Is 8 a factor of z(-6)?
False
Suppose -8*c = -3*c + 50. Let m = -10 - -24. Let n = m + c. Does 2 divide n?
True
Suppose -l = -6*l + q + 1321, 4*l - 1076 = -4*q. Suppose 10*t - l = 5*t. Does 19 divide t?
False
Let p be (6/4)/(10/40). Let i = p + -2. Does 4 divide i?
True
Is 12 a factor of (-76)/8*-4 - 2?
True
Let r be (-8)/(-12) + 68/(-3). Does 12 divide 0 + (r + -2)*-1?
True
Suppose 34 = 5*k - 36. Let t = k + -10. Suppose -3*b = t*r - 58, b = 5*r + 10 + 3. Is 9 a factor of b?
True
Suppose 3*k - 33 + 6 = 0. Is (-51)/2*(-6)/k a multiple of 9?
False
Let d = 11 - 9. Suppose -d*q + 20 + 0 = 0. Is q a multiple of 10?
True
Let j = -31 - -65. Is 7 a factor of j?
False
Let f = -8 + 16. Suppose -5*a - o = -2, -2*a - 6*o = -2*o - f. Suppose 4*w - 1 - 105 = 5*q, a = 5*w + 3*q - 151. Is w a multiple of 8?
False
Let r be (1 + -8)*30/(-35). Suppose r*y - 2*y = 8. Suppose 3*h + y*h - 50 = 0. Is 5 a factor of h?
True
Let s(x) = -x**2 + 2*x + 1. Let d be s(-2). Let o = d - -12. Is (-3)/15 + 71/o a multiple of 5?
False
Suppose 3*q = -q + 8. Suppose q*g