n + 3*n - 10. Suppose 4*k - 106 = w, n*k - k = -2*w + a. Is 26 a factor of k?
True
Let p = 3 - 5. Let n = 5 - p. Suppose -3*w - 108 = -n*w. Is 10 a factor of w?
False
Let g(r) = -r**2 - 4*r + 3. Let o be g(-4). Suppose -4*m - 5*u = -37, -4*m + 3*u - 7 + 4 = 0. Suppose m = 4*j - o*j. Is j even?
False
Let p(d) = 11 - 8*d + 3*d + 4*d. Is p(-11) a multiple of 5?
False
Suppose -4*s = -b - 3*s + 9, b = 5*s + 21. Is 2 a factor of b?
True
Let u(y) = -17*y**2 - 5*y + 2. Let n(o) = 8*o**2 + 2*o - 1. Let q = -5 + 10. Let z(p) = q*n(p) + 2*u(p). Is 8 a factor of z(2)?
False
Let u be ((-2)/(-4))/(9/18). Let o(s) = 28*s**2 - s. Is 9 a factor of o(u)?
True
Let y = -28 + 43. Suppose 0 = b - 0*b + 3*f - 18, 5*b - 3*f = 144. Let c = b - y. Does 5 divide c?
False
Let o(y) = -141*y + 86. Let c(r) = 28*r - 17. Let f(t) = 11*c(t) + 2*o(t). Let k(b) = 13*b - 7. Let l(z) = 6*f(z) - 13*k(z). Does 11 divide l(-2)?
False
Let s = 167 - 89. Does 26 divide s?
True
Is 11 a factor of ((-124)/(-8))/((-1)/(-6))?
False
Let h = -6 - -14. Let q(f) = f**3 - 8*f**2 + 5. Let p be q(h). Suppose -5*s + p*r + 55 = 0, 3*s + r = -r + 43. Does 5 divide s?
False
Suppose -480 = -2*v - 2*v. Suppose -2*x - 2*p + 54 = 0, -2*p + 0*p + v = 5*x. Does 11 divide x?
True
Suppose 0*p - p = -16. Let w = -2 + p. Is w a multiple of 9?
False
Let y(c) = -26*c**3 - c. Let a be y(1). Let j = -12 - a. Is 5 a factor of j?
True
Let r(d) = 15*d + 8. Is r(5) a multiple of 19?
False
Suppose 4*b + 3*q + 8 = 0, 2*b + 0*b - 3*q + 4 = 0. Let w = -5 - b. Does 5 divide 14/6*w/(-1)?
False
Let k = 133 - 59. Suppose -5*a + a - 5*j = -170, -2*a + 3*j = -k. Suppose 4*n + z = 80, n = -n - 3*z + a. Does 10 divide n?
True
Suppose -49 = -2*i - d, -4*d = 3*i - 61 - 0. Is i a multiple of 27?
True
Let b(z) = -5 + 8*z + 9*z - z + z. Is 25 a factor of b(4)?
False
Let z be (-3)/(0 - 9/6). Suppose -4*h + 26 = -z*h. Is 4 a factor of h?
False
Let g = 36 - -62. Suppose -5*p - g = -4*o - 13, 0 = -o - p + 10. Is 5 a factor of o?
True
Suppose 19*r - 24*r + 70 = 0. Does 10 divide r?
False
Let o(a) = -5*a. Let p be o(-1). Suppose -106 = -2*n + 3*t, 0 = p*n - t + 6 - 245. Is 29 a factor of n?
False
Let x(p) = -p**2 + 6*p - 2. Let k be x(4). Suppose -3*r + 6 = -k. Suppose -3*u + 8 = r*t, 4*t - u = -0*u + 24. Does 5 divide t?
True
Let p(t) = t + 15. Let h be p(-11). Suppose h*u - 115 - 25 = 0. Is 18 a factor of u?
False
Let v(s) = -2*s + 173. Is 5 a factor of v(0)?
False
Let i = 8 - 6. Suppose -4*z - 5*g = -180, 0 = 4*z + 2*g + i*g - 180. Does 14 divide z?
False
Let n(z) = -z**3 + z. Let v be n(-2). Is (-44)/(-12)*(-3 + v) a multiple of 10?
False
Let a = -16 + 20. Is 4 a factor of a?
True
Suppose -2*k + 5*y = -360, 7*y - 360 = -2*k + 6*y. Does 12 divide k?
True
Let u(a) = 6*a**2 + 6*a - 6. Let m be u(4). Suppose 0 = 4*c - 2*c - m. Suppose -2*r - c = -5*r. Is 6 a factor of r?
False
Let v(f) = -f**3 + 4*f**2 + f + 5. Suppose -4*l - a - a = -6, 0 = -l - 5*a + 24. Let s be (-2 - l)*(-1 - 3). Does 5 divide v(s)?
False
Let t(i) = -2*i**3 - 10*i**2 - 2*i - 19. Does 18 divide t(-7)?
False
Let p = 9 - 33. Let w = p + 37. Is 12 a factor of w?
False
Suppose 0*y - y + 53 = s, s = 4*y + 48. Does 26 divide s?
True
Let p be 2*(-3)/9*-39. Suppose -2*j - c + 137 = 0, -30 = -j + 2*c + p. Is 16 a factor of j?
False
Is 1035/18 + (-6)/(-4) a multiple of 37?
False
Let y(s) = -s**3 + 8*s**2 + 3. Let i be (1 - 0)/((-6)/(-42)). Is 13 a factor of y(i)?
True
Let t = 5 + -6. Is 21 a factor of 2 + 3*t*-14?
False
Let o(y) = 11*y - 32. Is 37 a factor of o(13)?
True
Let c be 1/((-5)/(-2))*10. Suppose -c*v = 20 - 240. Does 23 divide v?
False
Let q(b) = -b**3 - 14*b**2 + 2*b + 31. Let v be q(-14). Let d be (1 - (0 + 1)) + 160. Suppose c - d = -5*n, -3*n + 84 = -0*c + v*c. Is 14 a factor of n?
False
Suppose -18 = -4*j + p - 1, -2*j + 12 = -4*p. Suppose -24 - 96 = -j*r. Is 10 a factor of r?
True
Let j = -33 - -180. Does 21 divide j?
True
Let s(c) be the first derivative of 15*c**2/2 - c + 1. Is 14 a factor of s(1)?
True
Suppose 2 = d - 7. Let c(v) = v**2 - 6*v - 5. Does 11 divide c(d)?
True
Suppose -6*f = 2 - 14. Suppose f*s - 62 = -0*b + b, -4*s + 124 = 2*b. Is s a multiple of 31?
True
Suppose -32 = -5*o - 4*p, 5*o - 3*p = p + 8. Suppose -4*m - o*a = -m - 110, -37 = -m - a. Is 10 a factor of m?
False
Let a be 104/(-56) - (-1)/(-7). Is 19*-4*3/a a multiple of 34?
False
Suppose -o - 103 = -121. Is 9 a factor of o?
True
Suppose -r + 11 + 22 = 0. Does 22 divide r?
False
Does 27 divide (-241)/(-3) + (-10)/(-15)?
True
Suppose 0 = 5*n - 63 - 117. Let j = n - 17. Let a = -3 + j. Is a a multiple of 6?
False
Let s = 14 + -10. Let y(h) = -4*h**2 - s*h - 4*h - 3*h**2 - h**3. Is y(-6) a multiple of 6?
True
Let y = 145 + -110. Does 3 divide y?
False
Let y(g) = g**2 - 4*g - 1. Let a be y(3). Let q(n) = -n**3 - n**2 - 6*n - 3. Does 23 divide q(a)?
True
Let u = 49 + 19. Does 4 divide u?
True
Let w(x) = -x**2 + x - 10. Let s(j) = j**2 + 9. Let n(m) = 4*s(m) + 3*w(m). Let b(t) = -t. Let d be b(5). Is 16 a factor of n(d)?
True
Suppose 20 = p - 6*p. Let a be (-1 - -19)*(-2)/p. Let c = a - -23. Is c a multiple of 16?
True
Let b(g) be the third derivative of g**5/15 - g**4/24 + g**3/6 - 4*g**2. Let r be b(1). Suppose 5*l = r*t - 0*t - 145, -l = 5. Does 25 divide t?
False
Suppose -46 + 20 = -w. Is w a multiple of 13?
True
Let y be -4 + 4 - (-30)/2. Suppose 4*l - 24 = -0*l. Let p = y - l. Does 7 divide p?
False
Suppose 3*j = 171 - 45. Does 7 divide j?
True
Let c be 1*9*(-1 + 2). Let a = c - -40. Is a a multiple of 16?
False
Let i(b) = -b**2 - 16*b - 8. Does 8 divide i(-14)?
False
Suppose -5*p + 150 = -0*p - 3*s, -p + 4*s + 13 = 0. Is p a multiple of 4?
False
Suppose 19 = -j + 5*r, j = -0*j - 2*r - 5. Let n = -4 - j. Does 5 divide n?
True
Suppose 2*l = -0*l + 2*d + 30, 78 = 5*l - 2*d. Let m = -10 + l. Is 2 a factor of m?
True
Let n(m) = -m**3 + 8*m**2 + 11*m + 2. Let c = -1 - -10. Let w be n(c). Is 13 a factor of 1/(-5) + 784/w?
True
Let m be 1 + (-7)/(-2)*4. Suppose 110 = -x + 6*x. Let j = x - m. Is j a multiple of 3?
False
Let a be -4*((-15)/(-2))/5. Let w = -2 + a. Is 3 a factor of (10 + w)/((-1)/(-3))?
True
Is 26 a factor of 2*(-3)/15 + (-660)/(-25)?
True
Let p(v) = 5*v**2 - 1. Let c be p(-2). Suppose 2*o = 7 + c. Is o a multiple of 9?
False
Suppose 0 = -6*r + 143 + 19. Is r a multiple of 14?
False
Let z(w) = -w**3 - 2*w**2 + 4*w + 5. Let r be z(-3). Does 15 divide r/((-4)/5)*-6?
True
Does 33 divide 136 + (-2 - -2)/1?
False
Let h(z) = -z**3 + 5*z**2 + 2*z - 4. Suppose -6 = 3*c - 18. Does 10 divide h(c)?
True
Suppose -7*a - 80 = -2*a. Suppose 0*z = -z - 1. Does 11 divide z - a - 1/(-1)?
False
Suppose 8 + 2 = 5*c. Let x be (15/(-25))/((-2)/(-20)*-2). Is 18 a factor of (4/x)/(c/27)?
True
Let r be 2 - 2 - (-24)/8. Suppose r*p - 50 = 25. Is 18 a factor of p?
False
Suppose -5*q + 2*a + 251 = 27, 3*a - 38 = -q. Suppose -q = s - 2*s. Is 22 a factor of s?
True
Suppose w + 0*c + 4*c = 9, 0 = -4*w - 2*c + 36. Let f = 23 - w. Suppose 4*h - 18 = f. Does 4 divide h?
True
Suppose 75 = 2*x + 3*b, 0 = -b + 7 - 2. Is x a multiple of 15?
True
Suppose 0 + 10 = 5*k. Let l be 0 + (-1 + -31)/k. Let d = l - -34. Is 9 a factor of d?
True
Let b = -23 + 9. Let p be (-80)/b - (-2)/7. Let f = -2 + p. Is f a multiple of 4?
True
Let f(w) = -w**3 - 9*w**2 - 9*w - 7. Let z be f(-8). Let a be z/(2/12*3). Is (28 - 1) + 0/a a multiple of 11?
False
Is 45 a factor of 4055/15 - (1 - (-2)/(-3))?
True
Suppose -2*q - 3*q + 10 = 0. Suppose -3*c - q*c + 185 = 0. Does 16 divide c?
False
Suppose -2*y - 5*z = -330, -3*z = 7*y - 3*y - 646. Suppose 5*v - y = -5*o, -156 = -5*o - 4*v - 0*v. Is o a multiple of 7?
True
Let b = -7 - -7. Let v = b - -39. Is 13 a factor of v?
True
Suppose 5*q - 5*c + 3*c = -37, 5*c = -q - 29. Does 14 divide 23 - (-3)/q*3?
False
Let n = 19 + -24. Let x(k) = 4*k**2 + 5*k + 5. Does 20 divide x(n)?
True
Let t(g) = -46*g**3 + g**2 - 2. Does 9 divide t(-1)?
True
Let c = -26 + 82. Let j = -16 + c. Does 20 divide j?
True
Suppose -4*w + 34 = c + 10, -18 = -2*c + 2*w. Suppose 24 + c = 2*f. Is f a multiple of 11?
False
Let k(b) = -b**3 - 7*b**2 - 7*b - 2. Let s be k(-6). Suppose 2*v + s = -0*v. Does 15 divide (1 - (2 - v))*-5?
True
Let u(s) = -s - 5. Suppose 5*q + 21 = -4*z - 7, 5*z + 35 = -5*q. Let r be u(z). Suppose -4*h - r*y