 factor of w?
True
Suppose -8 = -r - 3*r. Suppose i - 2*o = r*i - 50, 3*i = -2*o + 134. Does 12 divide i?
False
Let g(n) = -2*n - 3. Let l be g(3). Suppose q = -q - 34. Let j = l - q. Does 5 divide j?
False
Let n = 215 - 39. Is 44 a factor of n?
True
Is 11 a factor of (-1)/((-3)/4 - (-1589)/2156)?
True
Suppose 3*z + 82 = 3*j + 4*z, 84 = 3*j + 3*z. Does 6 divide j?
False
Let k(u) = -4*u**3 - 1. Let w be k(-1). Let s = w - 6. Is (s/(-2))/(3/44) a multiple of 11?
True
Let y(u) = 7*u + 7. Let m be y(10). Suppose 29 - m = -2*z - 3*n, -94 = -3*z + n. Is 15 a factor of z?
True
Let r(g) = -g - 1. Suppose 0 = -3*h + 3*l - 0*l - 30, -4*h + 5*l - 45 = 0. Does 4 divide r(h)?
True
Let s(g) = -g + 3. Let h(o) = -3*o + 1. Let x be h(4). Does 7 divide s(x)?
True
Let m(n) = n**3 - 4*n**2 - 5*n - 6. Let p be m(5). Let a be (p/(-9))/((-4)/(-42)). Suppose 2*w = -i - 3*w - 19, -a = -2*i - w. Is 3 a factor of i?
True
Let n(q) = 6*q - 4. Let g(y) = y - 1. Let c(z) = -24*g(z) + 3*n(z). Does 13 divide c(-7)?
False
Let m = 5 - 3. Does 11 divide m/(-6) + 136/12?
True
Suppose 2*q - 4*q + 5*y + 215 = 0, y = 1. Suppose 2*z + 3*n = 46, -2*n + 16 = 5*z - q. Is 13 a factor of z?
True
Let b(y) be the second derivative of y**4/2 + y**2 - y. Suppose 0 = -4*s + 8. Is 11 a factor of b(s)?
False
Suppose 19 = -4*p + 3*q - 15, 2*p = -5*q - 30. Let l = -2 - p. Does 8 divide l?
True
Let u = 5 + -6. Let z(o) be the first derivative of -5*o**4/2 - o - 1. Is 4 a factor of z(u)?
False
Let h be ((-8)/(-6) - 2)*-168. Let o be 4 + -3 - 3 - -2. Suppose -2*w = 8, 0 = -4*a - o*w + 2*w + h. Does 8 divide a?
False
Let f(g) = -3*g + 12. Is f(-10) a multiple of 9?
False
Is 18 a factor of 420/8 + (-6)/(-4)?
True
Suppose 3*m + 9 = -3*o, 4*o - 3*m = 3 - 22. Is 5 a factor of 69/6 + o/8?
False
Let d be 6872/18 - (-6)/27. Does 9 divide 20/(-70) - d/(-14)?
True
Suppose -3*d + 0*d - 25 = x, 0 = -3*x - 2*d - 47. Let s = x + 31. Is s a multiple of 9?
True
Suppose 0 = -2*y + 2*x + 20, 4*x = -7*y + 2*y + 50. Suppose y = b + b. Suppose 29 = b*h - 51. Does 14 divide h?
False
Let d = -99 - -406. Is d a multiple of 53?
False
Suppose -m = -5*m + 8. Suppose a = m*a - 2. Suppose -o = -a*d + 47, -d - 2*d + 68 = -4*o. Is d a multiple of 9?
False
Suppose -5*z = -z - 8. Suppose 0*k = 5*f - k + 4, 4 = 3*f + k. Suppose f*u - 2*u = 2*s - 34, -u = -4*s - z. Is u a multiple of 7?
True
Let v(a) = -a - 36. Let p be v(0). Let m be -3 + -3 + 3 + p. Let g = -28 - m. Is g a multiple of 11?
True
Suppose -6 = s - 4*s. Suppose c + 83 = 5*o - s, -o + 3*c + 17 = 0. Does 12 divide o?
False
Suppose h = 13 + 7. Is 7 a factor of h?
False
Let f(g) be the second derivative of g**3/6 - g**2 - 3*g. Does 3 divide f(8)?
True
Suppose 0 = -2*b - 2*b + 80. Is 5 a factor of b?
True
Let d(y) = 6*y + 12. Does 15 divide d(8)?
True
Let t = -1 - -6. Suppose 17 + 29 = -t*n + 4*m, -3*m = -2*n - 24. Let w(f) = f**3 + 7*f**2 + 2*f - 7. Is 6 a factor of w(n)?
False
Suppose -60 = -3*o + 15. Suppose 3*i - 2*i - 5*k = 30, -2 = -2*k. Let d = i - o. Is d a multiple of 5?
True
Let l(w) = -w**2 + 6*w + 9. Let h be l(7). Suppose i + i = h. Is 17 - (-2*i - -4) a multiple of 15?
True
Let l(s) = -s**3 + 7*s**2 - 6*s + 3. Let f be l(6). Suppose 2*t + f*t = 215. Is t a multiple of 15?
False
Suppose 0 = 2*f + 2*i - 72, 3*f + 5*i = 157 - 49. Is 4 a factor of f?
True
Let q be 8/36 + (-32)/(-18). Suppose q*m + 8 = 3*m. Is 7 a factor of m?
False
Suppose 0 = 4*q - q - 27. Suppose -m + 12 - 35 = 0. Let y = q - m. Does 13 divide y?
False
Let n = 11 + -8. Let a be -1 + n + -2 + 2. Suppose -z + 0*z = -a*v + 15, -2*v - 4*z = -10. Does 6 divide v?
False
Suppose -5*a + 5 = -5*m, 6*a - a = -4*m + 41. Suppose -v - 92 = -a*v. Is 5 a factor of v?
False
Suppose 0*s - s = 0. Suppose s*t + 32 = 2*t. Does 6 divide t?
False
Suppose 0*t = 3*t - 126. Is (t/(-5))/((-6)/20) a multiple of 9?
False
Let f = 1 - -2. Suppose 0*b - f = -b. Let l = 11 - b. Is l a multiple of 3?
False
Suppose -f = -3*f. Let h be (f - 0) + (-9)/(-3). Suppose -3*w - h*y = -0*w - 15, -4*w - 5*y = -23. Is w a multiple of 2?
True
Suppose 0 = -3*n + 3*i + 9, 0 = -4*n + 3*i - 0*i + 13. Suppose -n*c - 2*c = -144. Does 6 divide c?
True
Let o = 55 - 42. Does 6 divide o?
False
Let n(u) = u + 13. Does 6 divide n(8)?
False
Let h(g) = -g. Let t be h(-1). Let c(j) = 2*j + 21*j**2 - j - t - 3*j. Is c(-1) a multiple of 11?
True
Let z(u) = -u**3 - u**2 - 3*u - 1. Let r = 6 + -8. Is 4 a factor of z(r)?
False
Suppose 0 = 5*v + 2*a - 2 - 0, -3*v = 4*a - 4. Suppose x - 2*m - 18 = -v*x, -x + m = -18. Is x a multiple of 8?
False
Let b(v) = -v**3 - 8*v**2 + v - 15. Is b(-10) a multiple of 16?
False
Let s be (-2 - 0)*1 + 1. Let y = s - 0. Is y/(-3) - (-105)/9 a multiple of 4?
True
Suppose 0 = -r - 3 + 15. Suppose -4*a - 30 = a. Let z = a + r. Is 3 a factor of z?
True
Does 23 divide (0 - -3) + (1 - -108)?
False
Let j be (9/2)/((-15)/(-20)). Suppose -5*n + 26 = j. Is 4 a factor of n?
True
Let h(q) = q - 1. Let l be h(-8). Let m = l - -39. Is 10 a factor of m?
True
Let o = -4 + -2. Let k(v) = -v**3 - 7*v**2 - 7*v + 8. Does 9 divide k(o)?
False
Let m(d) = -2*d + 1. Let j(h) = 3*h. Let q(r) = 3*j(r) + 4*m(r). Let f(u) = u**2 - 7*u - 1. Let z be f(8). Does 6 divide q(z)?
False
Suppose -4*j = -0*j. Suppose 4*a + 3*w - 53 = j, -3*w = -4*a + 3*a + 32. Is a a multiple of 13?
False
Is 11 - (-9)/(-3) - 3 even?
False
Let u(r) = 10*r**2 + r + 1. Does 2 divide u(-1)?
True
Let w = -277 - 578. Does 3 divide w/(-72) - (-1)/8?
True
Suppose 0*x + 2*d = -x + 376, -1564 = -4*x + 4*d. Does 68 divide x?
False
Suppose 4*p - 37 = 5*v, -3*v + 13 = p - 5*v. Suppose 42 = -w + p*w. Let o = w + -11. Is 5 a factor of o?
True
Let w(f) = f**2 + 1. Let x(n) = -5*n - 5 - 8*n**2 - n + 0*n**2. Let y(c) = -4*w(c) - x(c). Is 16 a factor of y(-4)?
False
Let n(d) = -14*d - 6. Let b be n(-5). Suppose -4*i + 2*x + 0*x + b = 0, i - 2 = 4*x. Is 3 a factor of i?
True
Suppose s - 4 - 16 = 0. Is 10 a factor of s?
True
Let j(p) = p + 4 + 3*p - 5 - 3*p. Let i be j(4). Suppose 0*u = i*u - 30. Does 10 divide u?
True
Let v = 20 + -14. Is v a multiple of 3?
True
Let o(k) = -k**2 - 25*k - 7. Is 31 a factor of o(-17)?
False
Let k(d) = d**2 + 3*d - 4. Let c be k(6). Suppose -3*v + 4 + c = 0. Is v a multiple of 9?
True
Suppose 4*j = j + 120. Is 9 a factor of j?
False
Let t = 33 + 3. Let l = 60 - t. Is l a multiple of 12?
True
Suppose 8*t = 4*t. Suppose y + 13 - 47 = t. Does 17 divide y?
True
Suppose 5*m + 4*n - 60 = 0, n + 53 = m + 2*m. Let z = 28 - m. Does 4 divide z?
True
Let x(p) = -p**2 - 9*p - 5. Let q be 16/(-12)*42/(-4). Suppose 0 = 5*y - 3*y + q. Is 4 a factor of x(y)?
False
Let a = -79 + 134. Is 13 a factor of a?
False
Suppose -104 = -5*b + 16. Does 12 divide b?
True
Let z be -2*(2 - (-15)/(-2)). Let k be 4/20 - 72/10. Let u = k + z. Is u a multiple of 4?
True
Suppose 109 = 5*k - 151. Is k a multiple of 4?
True
Suppose -3*h = -0*h - 3*t - 309, 215 = 2*h - 5*t. Does 25 divide h?
True
Let a = -39 + 67. Suppose -u + 5 = -0*x + x, 5*u + 2*x = a. Is 9 a factor of (-46)/(-3) - (-4)/u?
False
Let m(d) = 3*d**2 - 2*d + 3. Let f = 1 - 1. Let l = 4 - f. Is m(l) a multiple of 15?
False
Suppose -2*k + 7*k - m - 2 = 0, -m - 2 = -3*k. Suppose -2*d = -k*d. Let c = d + 7. Does 2 divide c?
False
Suppose g = 8 - 0. Let b be g/5 + 2/5. Suppose -v = -5, 2*o + b*v - 25 + 5 = 0. Is 2 a factor of o?
False
Let h = 4 + -4. Does 2 divide 2 + (h - (-2 + 1))?
False
Let v(k) = k**3 + 7*k**2 + 6*k + 2. Let d be v(-6). Let u be (3 + d)/((-1)/(-3)). Does 10 divide (-6)/u + (-204)/(-10)?
True
Let l = 5 + -9. Let k = l + 6. Is 10 a factor of (-9)/((-7)/3 + k)?
False
Let r = -1 - -5. Let m be (-2321)/(-44) - (-1)/r. Let k = -27 + m. Does 17 divide k?
False
Suppose 1188 = 3*b + 3*m, 4*b + 0*m + m - 1569 = 0. Is 46 a factor of b?
False
Let k be ((-1)/(-3) - 1)*-6. Suppose -2*i + 69 = 3*j, i = 5*i - k*j - 128. Is 11 a factor of i?
True
Let s = -58 + 29. Let r(c) = -14*c. Let d be r(-3). Let b = s + d. Does 13 divide b?
True
Suppose 2*v = -v. Let d(j) = j - j**3 - 2*j + j**2 - 2*j**2 + 6 + v*j. Is d(0) a multiple of 6?
True
Let b be 2*(14 - 1) - 0. Let d = 3 - 0. Suppose d*s = s + b. Does 7 divide s?
False
Let n(i) = i**2 + 5*i + 1. Let v be n(-7). Suppose j + 0 = -4. Is 36/v*(-30)/j a multiple of 9?
True
Let p = 842 + -587. Suppose