*z = 6*z - 195. Is z a multiple of 13?
True
Is 41 a factor of ((-3)/3)/((-2)/82)?
True
Let k(v) = -v**2 + 7*v - 2. Let l be k(8). Let y(c) = c**3 + 11*c**2 - 4. Is y(l) a multiple of 32?
True
Suppose -3*h - 5*x = -206 + 77, -4*x = 3*h - 126. Is 38 a factor of h?
True
Let m(h) = 3*h - 3. Let k be m(2). Suppose -k*u = -x - 230, -x = -2*u + 4*x + 149. Does 28 divide u?
False
Let h(j) = 0*j - 6 + 0*j - j + 2*j. Let f be h(10). Suppose -o = 2*t - 16, -6*t + 2*t - f*o = -24. Is 10 a factor of t?
True
Suppose -u - 175 = -2*q, 2*q - 47 = 5*u + 148. Is 17 a factor of q?
True
Suppose -5*h + 5 = 0, 10 = 3*r - 2*r + h. Does 9 divide r?
True
Suppose 3*c - 4*p = 323, 7 = -2*p - 3. Is 22 a factor of c?
False
Let k be 2/(-7) + (-19)/7. Let n be (k/(-2))/((-3)/8). Is 2/n + 106/4 a multiple of 11?
False
Let s(v) be the first derivative of -v**3 - v**2 + 3*v - 2. Let q be s(3). Let k = 60 + q. Does 15 divide k?
True
Let g(h) = -13*h + 13. Does 26 divide g(-3)?
True
Let o(s) be the first derivative of -39*s**2/2 - 4*s - 7. Does 30 divide o(-3)?
False
Suppose -9*k + 5*k = 0. Suppose 0 = 3*u + 2*t - 64, k = -0*u + 2*u - 3*t - 21. Is u a multiple of 9?
True
Let m = 132 + -67. Suppose r - 81 = 2*z, -3*r = -2*z - 52 - 31. Let k = m + z. Is k a multiple of 25?
True
Let w(b) = -3*b - 14. Let z be w(-6). Suppose -5*a - 2*v + 189 = 0, 2*v + 142 = z*a - v. Is a a multiple of 23?
False
Let h = -1 - -5. Suppose -l + h*l = 3, 4*z + 3*l = 139. Is z a multiple of 11?
False
Suppose j - 42 = 5*q + 81, -5*j = 2*q - 588. Suppose -4*w - j = -5*l, -2*l + 28 + 30 = 2*w. Is l a multiple of 14?
False
Let p = 5 - 4. Suppose r - 2*r - 5*n = p, -n = 5*r - 43. Is 5 a factor of r?
False
Let s(r) = r**3 - 8*r**2 - 2*r + 12. Let a be s(8). Is -6*(0 - 3) - a a multiple of 21?
False
Let x be (6/3)/(2/2). Suppose -x = a - 12. Is a a multiple of 7?
False
Let o be 2 - 5*(1 + -2). Let u = o - -1. Is 8 a factor of u?
True
Let j be 6/4*(-24)/9. Let o(u) = u**2 - u - 1. Does 7 divide o(j)?
False
Let r(b) = -2*b**3 + 22*b**2 - 7*b + 4. Is r(10) a multiple of 17?
False
Let d(l) = 3*l**2 + 2*l - 25. Is d(-5) a multiple of 8?
True
Let m be (1 - 0)/((-1)/(-131)). Suppose 4*b + 3*y - 344 = 0, -4*y + 357 = 3*b + 92. Let r = m - b. Is r a multiple of 24?
True
Let m be -3 + 1/((-2)/12). Let b = -9 - m. Suppose -j + b*j + 12 = 0. Is 4 a factor of j?
True
Let n(k) = k**3 + 9*k**2 + 13. Let v be n(-9). Suppose -v = -2*z + 13. Does 6 divide z?
False
Let z = -7 + 47. Suppose -s = s - z. Is 16 a factor of s?
False
Let t = -18 + 1. Let c = t - -45. Is c a multiple of 12?
False
Suppose 0 = 5*b - m - 145, -b - 1 = 4*m - 51. Does 5 divide b?
True
Does 14 divide (-3)/6*2 + -1 - -41?
False
Let u(d) = -11*d**3 - 5*d**2 - 3*d - 2. Is 18 a factor of u(-2)?
True
Is 46/14 - (-8)/(-28) a multiple of 2?
False
Does 3 divide (-9)/(-2)*20/15?
True
Let j be (-2)/8 - 20/(-16). Suppose d + k = 1, -2*d + 2*k = -3*d + j. Is 378/8 - d/4 a multiple of 19?
False
Suppose 12 = -0*a - a. Let j = 22 + a. Is 10 a factor of j?
True
Let o be 0/(5/((-5)/2)). Suppose 3 = p - o, 2*f - p = 35. Does 11 divide f?
False
Suppose -114 = -y - 16. Does 14 divide y?
True
Is 42/(-70) + (-1)/(10/(-2206)) a multiple of 44?
True
Let y = -3 - -10. Does 4 divide y?
False
Let g(a) = a**2 + 22*a + 6. Does 9 divide g(-24)?
True
Let r be 4/6 + (-2576)/(-24). Suppose -302 - r = -5*i. Does 28 divide i?
False
Let j be (-5 + 1)*(-3)/(-4). Let a = j - -6. Suppose a*c + 2*h - 67 = 0, 0 = -4*c + c - 3*h + 72. Is c a multiple of 9?
False
Let f be (-2)/(-3) - (-35)/(-21). Is 4 a factor of ((-40)/(-15))/(f/(-3))?
True
Suppose -9 = y - 4*y. Suppose x = y*r + 22, -x = -0*x - 2*r - 18. Is x a multiple of 10?
True
Let n(m) be the third derivative of -m**5/60 + m**4/24 - 3*m**3/2 - 2*m**2. Let f be n(0). Let g = 11 + f. Does 2 divide g?
True
Let l(h) = h**3 - 4*h**2 + h. Let d be l(4). Suppose -2*u - 2*n = 8, -5*n + 10*n = d*u + 25. Does 8 divide (-160)/12*6/u?
True
Let y(s) = 7*s**2 + 3. Let g be y(3). Suppose 3*j - 6 = g. Suppose m - 4*m = -j. Is 8 a factor of m?
True
Let x(i) = -i**2 - 11*i - 8. Let u be x(-10). Suppose u*p + 3*h - 2*h - 23 = 0, 36 = 3*p + h. Is 6 a factor of p?
False
Suppose -8*g = -7*g - 8. Does 3 divide (g/6)/(8/36)?
True
Let y(a) be the second derivative of -a**3/6 + 26*a**2 + a. Let r be y(0). Let t = r + -37. Is 15 a factor of t?
True
Is 23 a factor of 32 + -6 - (-6)/(-2)?
True
Is 2 a factor of ((44/(-6))/(-1))/(2/3)?
False
Let x(w) = w**2 - 2. Let r(h) = h - 7. Let z be r(3). Does 7 divide x(z)?
True
Let j be 4 - (-3 - (0 + -1)). Is 5 a factor of 80/6*j/5?
False
Suppose 2*u + 9 = 39. Is u a multiple of 15?
True
Let c = -27 + 66. Let k = c - 66. Does 14 divide (-6)/k - (-151)/9?
False
Let y(w) = w + 15. Is 8 a factor of y(8)?
False
Does 42 divide (3/9 + -1)*-126?
True
Suppose -9*r + 8*r = -57. Is r a multiple of 18?
False
Let m = 61 + -20. Let o = m - 25. Suppose 0 = -y + 2*y - o. Is y a multiple of 8?
True
Let y = 0 + 5. Suppose 2*f = y*f + 5*h - 22, f - 4 = -5*h. Is 9 a factor of f?
True
Let k be 3*(-2 - 5/(-3)). Let o(n) = -23*n**3 + 2*n**2 - 5*n - 7. Let p(d) = 12*d**3 - d**2 + 2*d + 3. Let t(f) = -4*o(f) - 9*p(f). Is t(k) a multiple of 16?
True
Suppose w + 2*n = 39, 0*w = -4*w + 3*n + 101. Is w a multiple of 16?
False
Suppose -2*h + 4*g + 100 = 0, 3*h - 104 = -5*g + 57. Is 26 a factor of h?
True
Suppose -5*w - 10 = 0, 0 = -5*k - 5*w - 1806 + 136. Let o(c) = c**2 + 4*c - 2. Let s be o(-4). Is k/(-12) - s/(-3) a multiple of 8?
False
Does 8 divide 3 + -2 + (33 - 2)?
True
Let d = 125 + -20. Suppose 0 = -j - 4*j + d. Is j a multiple of 12?
False
Let b(g) = 2*g**3 - 7*g**2 + 2*g + 9. Is 16 a factor of b(4)?
False
Suppose -3*w + 6*w + 109 = 4*a, -w = 5*a - 160. Let z be 2/(-3*(-4)/78). Let h = a - z. Does 10 divide h?
False
Is 15 a factor of ((-55)/(-10) + 4)/((-1)/(-30))?
True
Suppose -6*m - 152 = -10*m. Is 19 a factor of m?
True
Suppose -5*p + 2*f = f + 39, 4*p - 2*f + 36 = 0. Let l be 31/5 - p/(-35). Is (-3 + 1)/(l/(-87)) a multiple of 16?
False
Let z(t) = t**3 - 5*t**2 - 7*t + 8. Let k be z(6). Let o be k/3 + (-140)/21. Let c = 5 - o. Is 11 a factor of c?
True
Suppose 5*w = 6*w + 2. Let z(x) = 23*x**2 - 4*x - 5. Is 24 a factor of z(w)?
False
Let i(z) be the third derivative of -3*z**4/4 + z**3/3 - 2*z**2. Is i(-2) a multiple of 15?
False
Let r(n) = n**2 + n + 22. Is 15 a factor of r(0)?
False
Is 28 a factor of ((-2)/4)/(21/(-9576))?
False
Let w = -15 + 10. Let i = 9 + w. Suppose i*f + 48 = 6*f + 2*b, 0 = b - 4. Does 10 divide f?
True
Let t be (-2)/(-3) - (-516)/36. Suppose -2*m + 165 = t. Is 25 a factor of m?
True
Suppose g + 3*k = 15, 4*k = 3*g - 11 - 21. Is 12 a factor of g?
True
Let g be (-12)/18*6/4. Let q = 11 + g. Does 5 divide (2 + -1)/(2/q)?
True
Suppose -19 + 107 = 2*k. Does 12 divide k?
False
Let s(b) = -b**3 - b + 5. Let p(z) = -z - 1. Let o be p(-1). Let j be s(o). Suppose -d + 30 = g, -j*g = d - 25 - 125. Is 10 a factor of g?
True
Suppose -m + 30 = -3*f, 2*m - 3*m - 5*f = -30. Is m a multiple of 10?
True
Let m(g) = -4*g + 2. Let t(d) = 9*d - 2. Let q(x) = -9*x + 1. Let k(c) = -2*q(c) - 3*t(c). Let u(l) = -3*k(l) + 7*m(l). Is 3 a factor of u(-4)?
True
Suppose c - 7*c = -1386. Is c a multiple of 33?
True
Suppose 5*s = -0*d - 2*d + 5, 0 = 2*d - 3*s + 19. Let o = d - -9. Is 4 a factor of o?
True
Let l = 17 + -13. Let z be 3/(1/(-1 + 2)). Suppose l*v + 50 = 3*b, b + v - 38 = -z*v. Is 11 a factor of b?
True
Let q(c) = 4*c - 5. Let j be q(4). Suppose -35 = -2*b - j. Does 8 divide b?
False
Let q(s) = -6*s**2 - 4*s + 3. Let a be q(2). Let p be (-1 + -2)*a/(-3). Is 15 a factor of 1*(2 - p) + -1?
True
Suppose -13*c + 284 = -9*c. Is c a multiple of 28?
False
Let t = 9 - -10. Is t a multiple of 3?
False
Let g(y) = -y**3 - 6*y**2 - 5*y - 9. Let s be g(-6). Let o = 57 + s. Is 22 a factor of 3*(o/9 - 0)?
False
Let v(w) = -w + 7. Let t be v(8). Let n be (6/9)/(t/(-12)). Let i(l) = l + 2. Is i(n) a multiple of 10?
True
Is 11 a factor of (-8)/((0 + 1)/((-310)/20))?
False
Suppose -2*b = -5*b - 18. Let t(c) = c**3 + 7*c**2 + 6*c + 6. Is 6 a factor of t(b)?
True
Let h be (9 - 1)*1/2. Suppose q - 9 = 2*q - 4*f, -13 = -3*q + h*f. Suppose -2*z = 5*r + 3, 0 = 2*z + 2*r - 1 - q. Is 7 a factor of z?
False
Suppose -5 = 2*k + 3*z, k + 2*k + 14 = 2*z. Let c(y) = -y - 1