se -4*u = -2*u - 2*n - 186, 0 = -2*u + n + 189. Does 12 divide u?
True
Let q(j) = 3*j**2 - 10*j - 1. Does 16 divide q(6)?
False
Suppose 0*p + 52 = 2*p. Suppose -5*c = 2*b - 32, c - 16 = -0*c + 2*b. Let i = p - c. Is 9 a factor of i?
True
Let j(s) = s**3 + 2*s**2 + s. Let l be j(-1). Suppose l = o - 3*o + 44. Is o a multiple of 8?
False
Let t = -205 - -305. Is 39 a factor of t?
False
Let s(b) = b**3 - 2*b**2 + 3*b - 2. Let d be s(3). Suppose -5*z + 5*t - 3*t + 76 = 0, -2*z - 4*t + d = 0. Is 9 a factor of z?
False
Let n(j) = -3*j**2 + 4*j + 1. Suppose -5*w - 12 = -4*q, -9 = -4*q + w + 3. Let l be n(q). Let a = 20 + l. Is 2 a factor of a?
True
Suppose 0 = -0*h - 3*h + 48. Let x = 23 - h. Is 7 a factor of x?
True
Let q(f) = 108*f**3 + f**2 + 5*f. Let g(t) = -27*t**3 - t. Let k(u) = 9*g(u) + 2*q(u). Does 14 divide k(-1)?
True
Is 26 a factor of 2046/12 - 6 - 2/(-4)?
False
Does 8 divide (-488)/(-60) + 6/(-45)?
True
Suppose -4*u + 0 = -84. Suppose -2*q = -51 - u. Is q a multiple of 18?
True
Suppose 3*c = 4*f - 2 - 12, 2*f = c + 8. Let h(g) = 8*g - 2. Does 5 divide h(c)?
False
Let r be (-56)/(-9) - (-2)/(-9). Suppose 2*h - r = 10. Suppose k - 2 = p + 14, -h = -k - 3*p. Does 6 divide k?
False
Let k(y) = -8*y - 3. Is k(-8) a multiple of 16?
False
Suppose 6*j + 198 = 12*j. Is j a multiple of 11?
True
Suppose 0*n + 5*c = -n + 4, -3*c = 2*n - 8. Suppose -t = n*w - 213, 2*w - 5*t + 6 - 107 = 0. Is 16 a factor of w?
False
Let n(b) = -b**2 - 6*b + 9. Suppose 2*w - 31 = 3*s, 8 = -s - 5*w + 26. Let o be n(s). Is 12 a factor of (0 + -15)*(o + -3)?
False
Suppose 3*a = -2*j - 6, 4*a + 30 = 5*j - 1. Is (-2)/(-1) - 2*a a multiple of 9?
False
Let z = -2 - -2. Suppose 4*o - 7*o + 378 = z. Suppose -t + 168 = 4*k, -3*t = -3*k - 5*t + o. Is k a multiple of 21?
True
Let j(n) = -4*n + 15. Does 15 divide j(-9)?
False
Is ((-165)/(-5))/1 + 2 a multiple of 9?
False
Let s(n) = 7*n**2 - n - 1. Suppose 4*p + 0 - 8 = 0. Let g be s(p). Suppose j - 2*b + 1 - g = 0, 0 = j + 4*b + 6. Is 8 a factor of j?
False
Suppose 0 = m - 3*b + 2*b + 2, 4*m = 3*b - 3. Let v(n) = -n**m + 0*n**3 + 2*n**3. Is 6 a factor of v(2)?
False
Let w = -4 - -7. Suppose 0 = 2*k + w*k - 35. Does 3 divide 0 - k/(-2)*2?
False
Does 18 divide (-4 - 6)*(-3 + -1)?
False
Suppose -4*z = -0*z - 216. Is z a multiple of 16?
False
Suppose -4*x + 8*y + 446 = 3*y, 218 = 2*x - 5*y. Is 19 a factor of x?
True
Let a be (2/(-1))/((-18)/27). Suppose a*s - 95 = -5*h, 2*s - 5*h - 38 = 17. Is 14 a factor of s?
False
Let n be 1/(-5) - (-2)/10. Suppose 3*h - 12 = i, 4*h - 3*i - i - 24 = n. Is h a multiple of 3?
True
Let l(b) = -b**3 - b**2 + b. Let p be l(-5). Suppose -u = -3*t - 11, -t = u - 6*t - 17. Suppose -p = u*f - 7*f. Is 7 a factor of f?
False
Suppose 2*g - 381 = -3*f, 2*f + 3*g - 7*g - 238 = 0. Suppose 0 = 4*y - f + 37. Is 11 a factor of y?
True
Is 18/(-63) - 352/(-7) a multiple of 26?
False
Let u(o) = -3 + o**2 + 2*o - 7*o - 1. Does 11 divide u(9)?
False
Let t = 96 + -79. Does 4 divide t?
False
Suppose -5*k + 122 + 108 = 0. Is k a multiple of 14?
False
Suppose 5*w + 3 = -7, -5*w + 30 = 5*t. Let j = -18 + t. Let s = 5 - j. Is 5 a factor of s?
True
Let b = 11 + -6. Suppose 19 = b*t - 6. Does 5 divide t?
True
Suppose 400 - 124 = 3*x. Suppose -4*a = -8*a + x. Is a a multiple of 10?
False
Let o = 10 - -10. Does 9 divide o?
False
Suppose -3*n + 29 = 4*j, 3*n + 2 = j + 6. Suppose k - 2*k - 233 = -n*x, -5*x + 3*k + 395 = 0. Is 22 a factor of x?
False
Let z(j) = -j**3 - 6*j**2 + 8*j - 3. Let h be z(-7). Let f = h - -24. Does 7 divide f?
True
Suppose 0 = -0*y + 6*y - 264. Does 11 divide y?
True
Is 7/(-28) + (-339)/(-12) a multiple of 28?
True
Suppose -13*h = -7*h - 360. Is 12 a factor of h?
True
Suppose -l + 1717 = -17*y + 22*y, 349 = y + 3*l. Is y a multiple of 18?
False
Suppose 4*d - 5 = g + 16, -g - 26 = -5*d. Suppose -d*i + i = -40. Is i a multiple of 7?
False
Let k = 1 - 0. Suppose y = 1 + k. Suppose y*w + w = 3*f + 63, 3*f + 25 = w. Does 19 divide w?
True
Let x = 5 + -1. Let k be (42 + -1)/(x/(-16)). Is 8/28 - k/14 a multiple of 11?
False
Let b = -3 - -3. Suppose -3*i + 19 + 23 = b. Does 13 divide i?
False
Let d(h) = h**2 + 6*h - 4. Let x be d(-11). Suppose 5*f + x = 5*a - 104, a - 3*f = 23. Suppose 3*k = -w - k + a, 0 = -5*k + 10. Is 9 a factor of w?
True
Suppose -111 = -6*p + 3*p. Does 25 divide p?
False
Let l be 0 + -3*6/9. Let k be (1 - 4/l)*12. Let x = -12 + k. Is 12 a factor of x?
True
Let r = -8 + 11. Suppose 87 = r*p - j, -3*p + 7*p + 3*j = 129. Is 14 a factor of p?
False
Let k = 24 - 9. Let y = k - -19. Is 9 a factor of y?
False
Let n = -33 + 60. Is 9 a factor of n?
True
Suppose -q = q + 8. Suppose -t - 24 = 2*u + 2*u, -12 = 2*u + 5*t. Let p = q - u. Does 2 divide p?
True
Let o = 72 - 46. Suppose 0 = -i + o + 7. Is 16 a factor of i?
False
Suppose -4*k - 36 = 4*p, 2 = -2*k + p + p. Let a(o) = -7*o - 5. Let x(v) = v + 1. Let g(i) = a(i) + 6*x(i). Does 4 divide g(k)?
False
Let s(z) = 22*z + 1. Let h be s(1). Suppose -3*l + 53 = -4*t + 221, -8 = 2*l. Let j = t - h. Is 8 a factor of j?
True
Let s be 0 + (-1 + 0 - -41). Suppose -s = -5*y - 0*y. Suppose -y - 3 = -v. Is 11 a factor of v?
True
Suppose 5*c = -4*y + 158, 0*y - 146 = -5*c + 2*y. Is 6 a factor of c?
True
Let j = -16 - -10. Let d be (52/(-6))/(j/9). Suppose f = d + 6. Is f a multiple of 12?
False
Let z(n) = 3*n - 9. Does 3 divide z(5)?
True
Suppose -4*u + 31 = -3*z, -3*z = -2*z - u + 11. Let h = 18 + z. Is 2 a factor of h?
False
Suppose 2*x + 3 = -5, 0 = 3*j - 5*x - 38. Let q(d) be the third derivative of 7*d**4/24 - 7*d**3/6 - 2*d**2. Does 14 divide q(j)?
False
Let v be (3/4)/((-3)/12). Let n = 23 + -23. Let m = n - v. Is m a multiple of 3?
True
Let h be 18/4*48/18. Suppose -4*m = -3*m + h. Is 15 a factor of 10*(-1 + m/(-3))?
True
Let f(z) = -24*z + 1. Suppose 4*q + 4*y - 4 = -0*y, 5*q = 5*y - 25. Let r be 3/2*-2 - q. Does 17 divide f(r)?
False
Let v be 4/(-18) - 68/18. Let k be (-30)/3 - (3 + v). Let p(g) = -g**2 - 11*g - 5. Is 4 a factor of p(k)?
False
Suppose -42 = -3*g + g. Is 7 a factor of g?
True
Let s(u) = u + 3. Let y(z) = z + 1. Let p be y(4). Does 3 divide s(p)?
False
Let a(t) = -6*t - 10. Is a(-8) a multiple of 12?
False
Suppose -o + 2*b = -15, -5*b = -2*o - 0*o + 25. Suppose o = q - 20. Is 15 a factor of q?
True
Suppose -2*n + 2*l = 7*l - 1, 3*l = 4*n + 11. Is 8 a factor of 93/12 + n/(-8)?
True
Suppose 2*l - 4*l + 2 = 0, 19 = 5*b - l. Suppose -b*z - i = -88, 2*i = -i. Is 8 a factor of z?
False
Does 23 divide (45/(-36))/(-2 + 367/184)?
True
Let l(f) = -5*f - 18. Let t be l(9). Let q(k) = -110*k**2 + k. Let b be q(-1). Let o = t - b. Does 24 divide o?
True
Suppose -j = -2*j + 2. Suppose 10 - j = 2*r. Suppose 0 = -5*a - 5, -a = -r*v + 9 + 88. Is 12 a factor of v?
True
Is 12 a factor of 109 - (-2 + 0*1/4)?
False
Let f = -6 - -6. Suppose f = 9*h - 5*h - 96. Is 9 a factor of h?
False
Let m(j) = -j**3 - 10*j**2 + 10*j + 9. Let q = -10 + 9. Let a(d) = 10*d - 1. Let u be a(q). Is 9 a factor of m(u)?
False
Suppose 0 = -2*c + c + 14. Suppose 0 = 2*b + c + 10. Is (b + 0)*(-9)/12 a multiple of 9?
True
Suppose -4*d + 3*d + 84 = 0. Is 12 a factor of d?
True
Is 13/(-52) - (-1602)/8 a multiple of 20?
True
Let o(x) = -x**3 + 17*x**2 + x - 28. Does 33 divide o(16)?
False
Let a(f) = -7*f + 2. Let q be a(-6). Let y be 20/(3 - 4) - 0. Let x = y + q. Is x a multiple of 12?
True
Let j be ((-8)/(-3))/(2/6). Suppose -5*b + 6 = -4*b. Let z = j - b. Does 2 divide z?
True
Let t be ((-56)/70)/(4/70). Let x(y) = -y**3 - 14*y**2 + 16. Is 9 a factor of x(t)?
False
Let a = -1 - -7. Suppose 345 = a*t + 3. Is 15 a factor of t?
False
Let b = -187 + 335. Is b a multiple of 44?
False
Let a(n) = 3*n**2 - 4*n - 4. Let y(f) = -f + 1. Let b be y(-4). Does 27 divide a(b)?
False
Suppose 4*c = -c. Suppose 3*t - t - 2 = c. Let p = 4 + t. Is p a multiple of 5?
True
Let o(w) = 1. Let g(k) = 2*k - 1. Let a(j) = g(j) + 3*o(j). Suppose 2*c + c = 21. Is 8 a factor of a(c)?
True
Let v(g) = 7*g**3 - 4*g**2 + 3*g - 1. Does 15 divide v(3)?
False
Suppose h - 5*v + 0*v = 10, 2 = -2*h - v. Suppose q - 45 = -h*q. Is 18 a factor of q?
False
Suppose -4*f + 49 = -2*l + 3*l, 4*f = -3*l + 115. Let q = l + 69. Is q a multiple of 22?
False
Let n = 40 + -19. Is n a multiple of 7?
True
Let x be 0/(1/(2/(-2))). Suppose 25 