18, 24 = 5*f + t. Is v(f) a multiple of 17?
True
Suppose -2*x + 0*x = -38. Let j = -2 + x. Is 8 a factor of j?
False
Suppose 0*o + 3*o + 4*w = 36, -7 = o - 5*w. Does 2 divide (-32)/(-6) - o/(-12)?
True
Let d(r) = -r**2 + 28*r - 3. Is d(21) a multiple of 48?
True
Suppose 0 = 3*k - 5 - 91. Is 32 a factor of k?
True
Let t(n) = 8*n**3 - n**2 - n + 1. Suppose 0 = -2*o + 4*z + 6, 1 = -3*o + 2*o - 2*z. Does 4 divide t(o)?
False
Suppose 7*z + 17 = 73. Is z a multiple of 3?
False
Is 14 a factor of (-9)/45 + (-251)/5*-1?
False
Let d(p) = 2*p**2 - 6*p - 8. Is 12 a factor of d(-4)?
True
Let c(s) = -s**3 + 6*s**2 + 7*s + 6. Let w be c(7). Is 3 a factor of (-156)/(-10) + w/(-10)?
True
Let m(w) be the third derivative of -1/120*w**6 + 1/12*w**4 + 0 + 0*w + 1/15*w**5 + 1/2*w**3 - 3*w**2. Is m(4) a multiple of 11?
True
Let u be 2/(-11) + 522/(-33). Let t = u + 43. Is 9 a factor of t?
True
Let k be ((-276)/(-5))/((-2)/(-15)). Suppose 3*c = -3*v + k, 25 = 4*v + c - 515. Suppose 4*d - v = -o, 0 = -2*d - d + o + 97. Does 15 divide d?
False
Suppose 59 = 5*k + 2*g, -4*g = k - 9 - 10. Suppose -5*q + 1 = k, -3*q - 14 = -4*l. Is (-92)/(-6) - l/6 a multiple of 12?
False
Suppose 4*x + 4 = -20. Let f(u) = u**2 - u - 6. Is f(x) a multiple of 12?
True
Does 22 divide 99*(1 + 2/(-6))?
True
Let m(x) = -14*x**2 - x - 1. Let r be m(-1). Let h = 2 + r. Is 10 a factor of (-12)/9*h + 1?
False
Let c = 11 - 8. Let r(x) = -c + 3*x - 3*x**2 + 3*x**3 + 0 + 2 - 5*x**3. Is r(-3) a multiple of 6?
False
Let r be ((-12)/8)/(2/(-12)). Is 3 a factor of r/(-63) + 43/7?
True
Let h(k) = -10*k**2 - 2 + 11*k**2 - 3*k + 8*k. Is h(-6) a multiple of 2?
True
Let x = 48 - 15. Suppose -2*r + x + 151 = 0. Suppose r = 5*f - 13. Is 12 a factor of f?
False
Let t(q) = -q**2 - q**3 + 0*q**3 + 1 + 26*q**3. Let k(f) = -f - 4. Let i be k(-5). Does 25 divide t(i)?
True
Let g = -6 + 11. Suppose 5*u = -5*s + 70, -2*s - g*u + 2*u = -30. Let a = s + -3. Is 6 a factor of a?
False
Let t(k) = 8*k**2 + 3*k + 1. Does 14 divide t(-2)?
False
Let t(c) = c + 4*c**2 - 3*c**2 + 14 + 2 + 0. Is t(0) a multiple of 7?
False
Let h = -4 - 1. Let p = h + -11. Let g = 30 + p. Is g a multiple of 13?
False
Let c = -79 + 136. Is c a multiple of 19?
True
Let w = -26 + 44. Suppose w = -5*p + 188. Is p a multiple of 15?
False
Suppose 0*l = -g - 5*l - 20, 0 = 5*g - 4*l - 16. Suppose 3*p + 3*z - 54 - 114 = 0, g = 5*p - z - 304. Is p a multiple of 30?
True
Let g(b) = 3*b**2 - 3*b + 40. Let s(a) = a**2 - a + 13. Let z(o) = 6*g(o) - 17*s(o). Suppose -2*v = -3*v. Is z(v) a multiple of 19?
True
Let o = 10 + -5. Let r(a) = -3*a**3 - 7*a**2 - 7*a - 35. Let z(b) = b**3 + 3*b**2 + 3*b + 17. Let f(n) = o*z(n) + 2*r(n). Does 6 divide f(0)?
False
Let t be (-1)/((-5)/2 + 2). Let w be (-1 + 2)*t - -1. Suppose -49 = -w*s + r, 0*r - 4*r = 2*s - 56. Is s a multiple of 8?
False
Let t = 585 - 375. Does 14 divide t?
True
Let f be (-56)/8 - (-1)/(-1). Let w = f - -31. Is 6 a factor of w?
False
Suppose -5*c + 0*c + 20 = 0. Suppose -2*a - c*o + 88 = 0, o = 3 + 1. Does 12 divide a?
True
Suppose -w + 33 = -5*a, -25 = -5*w + 2*a - 5*a. Let s = w - 4. Does 3 divide (1 - s/3)*-9?
True
Suppose -4*k + 1 + 11 = 0. Suppose -2*q = -k*q - 2, -q + 73 = p. Is p a multiple of 17?
False
Let b = -129 + 192. Does 18 divide b?
False
Suppose -z + 219 = 5*k - 441, -4*z + 528 = 4*k. Does 33 divide k?
True
Let s(q) = -q**3 - 5*q**2 - 2*q - 4. Let b be s(-5). Suppose 0 = 5*g + 4 + b. Does 13 divide (g/4)/(1/(-52))?
True
Let d be (-6)/(-9) - 2/(-6). Let q(g) = 3*g**2 + g. Let c be q(d). Is 10/(-15)*(-174)/c a multiple of 14?
False
Suppose 2*j + m = 12, -2*m + 0*m - 11 = -j. Suppose j*v - 135 = 2*v. Let w = v + -17. Is w a multiple of 5?
True
Let r(j) = 3*j - 7. Is 6 a factor of r(10)?
False
Let m = 129 + -27. Is 29 a factor of m?
False
Does 11 divide (-17)/(1 + (-3)/2)?
False
Let r(h) be the third derivative of -1/3*h**3 - 4*h**2 + 0*h + 1/60*h**5 + 0 - 1/8*h**4. Is r(8) a multiple of 22?
False
Let m = 9 + -5. Suppose m*h - 93 = -5. Is 16 a factor of h?
False
Let s(z) = z**2 - 5*z - 3. Suppose 0*o - 15 = 5*o. Let v be 24/o*-1 - 2. Is 3 a factor of s(v)?
True
Let i(y) = y**3 - 8*y**2 + 6*y + 2. Let l(z) = -z**2 + 9*z - 7. Let d be l(7). Let k be i(d). Is 9 a factor of 8/(-20) + (-92)/k?
True
Let b = -5 + 14. Suppose b = 6*a - 3*a. Suppose a*z - 9 = 2*s, -2*z = -2*s - 2*s + 2. Is s a multiple of 2?
False
Let a(j) = -7*j**3 - j**2 + j + 1. Let v be a(-1). Let g(r) = -6*r + 4 + v*r**2 + 4*r**3 - 5*r**3 - r. Is 4 a factor of g(4)?
True
Suppose -109 = -5*w + 4*d, 0 - 4 = 4*d. Let t = w + 10. Is t a multiple of 5?
False
Suppose -5*y + 26 = -29. Is 3 a factor of y?
False
Suppose 2*j + 3*b + 7 = j, 4*b = -2*j - 8. Suppose 5 = j*p - 5. Let l = 21 - p. Does 7 divide l?
False
Suppose -z - 19 = -2*t, 3*t - 2*z - 14 = 2*t. Suppose -5*h - 6 = -16. Let l = t - h. Does 6 divide l?
True
Let q = -11 - -14. Suppose 0 = -q*i + 152 - 32. Is i a multiple of 12?
False
Suppose -15*b + 4*b + 1617 = 0. Is 21 a factor of b?
True
Let f(l) = l**3 - 5*l + 1. Let w be (-1 + -9)*(-2)/5. Is 15 a factor of f(w)?
True
Let k(l) = 5*l**3 - 7*l**2 + 8*l - 2. Let o(z) = z**3 + z + 1. Let i(f) = -k(f) + 4*o(f). Is i(6) a multiple of 6?
True
Is 24/(12/3)*1 a multiple of 3?
True
Let j = 86 + 139. Is j a multiple of 31?
False
Suppose -5*i + 642 = 2*x, 0 = 2*i - 5*i - 2*x + 386. Is 27 a factor of i?
False
Suppose 2*n - 3*b = -6*b + 676, -4*b - 8 = 0. Suppose s = q - 4*q + 253, -4*q = 5*s - n. Suppose -x - x - q = -5*l, 5*l - 74 = -3*x. Does 16 divide l?
True
Suppose 5*m + 770 = 10*m. Is 31 a factor of m?
False
Suppose -3*q + 28 + 23 = 0. Let z be ((-8)/5)/(5/(75/(-2))). Let f = z + q. Is f a multiple of 23?
False
Let r = -2 - -5. Suppose 8*p = r*p + 90. Is 9 a factor of p?
True
Suppose 0 = -4*s - 2*s + 42. Let v = s + 3. Is 5 a factor of v?
True
Let t = -145 - -94. Let a = t - -90. Is 13 a factor of a?
True
Let l(i) = i - 5. Let o be l(9). Suppose 3*v - 4*q - 17 = 0, 0*v - o*q - 11 = -v. Suppose 6 = v*x + 3*p - 3, -11 = -2*x - p. Is 8 a factor of x?
True
Let v = -1 + 3. Suppose 0*r = -4*d + v*r - 38, 16 = -2*d + 2*r. Let x = 7 - d. Does 9 divide x?
True
Let v = 0 - -2. Suppose 0 = -v*r - r + 60. Does 8 divide r?
False
Suppose 2*u = -2*h + 18, 3*h + 0*u - 3*u - 51 = 0. Suppose -w - 1 + h = 0. Does 12 divide w?
True
Let v(n) = n**3 - 13*n**2 + 10*n - 9. Let g be v(12). Let f = 49 + g. Is 3 a factor of f?
False
Suppose -2*c - 10 = 2*h + 2*c, -5*h - 3*c + 3 = 0. Let s = 2 + 1. Suppose s*x + 2*x - p - 193 = 0, 0 = 3*x + h*p - 105. Is 19 a factor of x?
True
Let s(z) = 8*z**3 + 5*z**2 - 6*z. Does 14 divide s(2)?
False
Let h be (-2)/5 - (-54)/10. Let r = h - 8. Is 3 - (-6)/(-3) - r a multiple of 2?
True
Suppose 0*b = 2*d - 4*b - 64, -4*d + 2*b = -122. Suppose 0 = r - d - 7. Does 11 divide r?
False
Suppose 2*d + 2*j = 156, -4*d - 5*j = -17 - 293. Suppose b - d = -3*b. Is 8 a factor of b?
False
Let j(s) = -s**3 + 13*s**2 - 5*s + 11. Is 19 a factor of j(12)?
True
Let v(x) = x**3 - 14*x**2 + 19*x - 2. Does 19 divide v(13)?
True
Let n = -42 - -59. Let r = 29 - n. Is r a multiple of 12?
True
Let l(v) = v**3 + 6*v**2 - 7*v + 4. Suppose -4*n + 12 = -n. Suppose -4*f = x + 27, 3*x + 7 + 18 = -n*f. Does 3 divide l(f)?
False
Let i(w) = w**2 + 5*w + 4. Does 9 divide i(-6)?
False
Suppose -f - 2*l = 0, -2 = -3*l - 8. Suppose -22 = f*j - 286. Is j a multiple of 23?
False
Let d = -657 + 968. Suppose 5*i = 2*u + 533, 3*i - u + 2*u - d = 0. Does 21 divide i?
True
Let x be 37 - (4/1 - 1). Let v = x - 12. Does 8 divide v?
False
Suppose 5*n - 25 = 0, -2*k - 2*n + 70 = -0*n. Is k a multiple of 6?
True
Is -2 + 34 + (6 - 3) + -2 a multiple of 11?
True
Suppose -4*j = j - 10. Let t be (-2)/j*(-1 + 1). Suppose 0 = -2*g + f + 21, t = -5*g + 2*f - 3*f + 35. Does 8 divide g?
True
Let w(t) = t**2 - 3*t + 7. Is w(11) a multiple of 16?
False
Let g = 16 + 72. Suppose y - g = -y. Does 17 divide y?
False
Suppose 0 = q - 4, 0 = 4*w - 3*q + 4*q - 12. Suppose -2 - 4 = -w*k. Does 3 divide k?
True
Let w(s) = s + 7*s**2 - 1 + 0*s - s + 2*s. Let m be w(1). Suppose 3*n + c = 107 + m, -3*n + 111 = 3*c. Is 13 a factor of n?
True
Suppose -90 = -2*x + 3*b, -3*x - x = -2*b - 172. Is 7 a factor of x?
True
Suppose -g - 22 = -5*c, 0 = -5*g - 4*c - 2 + 8. Let y(f) = 3*f**2 - 2*f - 2. Is y(g