 - 166. Is r a multiple of 7?
False
Suppose -8*q - 72 = -10*q. Is 6 a factor of q?
True
Let u = 20 - 12. Suppose 4*a - 2*c - 76 = 0, 4*c + u + 11 = a. Is 17 a factor of a?
False
Let w = 38 - 12. Is 5 a factor of w?
False
Suppose -5 = -2*s + 3. Suppose -3*t = x - t - 36, 144 = s*x + 2*t. Is x a multiple of 20?
False
Suppose -2*k - 4 + 12 = 0. Suppose -35 - 93 = -k*y. Is 9 a factor of y?
False
Is 16 a factor of (3 + -29)/(5/(85/(-2)))?
False
Let i be (-4)/(-22) - 873/(-99). Let n = i + 1. Is 6 a factor of n?
False
Suppose 0 = -5*a + 28 - 13. Suppose -c = a*c - 16. Suppose c*w - w = 21. Is 6 a factor of w?
False
Let l(x) = 4*x + 3. Let b = 16 - 10. Let h be l(b). Let n = 22 + h. Does 24 divide n?
False
Let r(g) be the first derivative of g**3/3 + g**2 - 4*g - 3. Let v be r(-3). Let o(k) = -5*k. Is 4 a factor of o(v)?
False
Let p = -16 - -10. Let m(g) = g + 6. Let a be m(p). Is 2*(a - (-22)/4) a multiple of 8?
False
Let o = -34 - -109. Is 14 a factor of o?
False
Suppose 0 = -c + 3*c - 82. Suppose -4*x + g - 4*g + 63 = 0, 3*x - 4*g = c. Is 5 a factor of x?
True
Suppose 2*u - 46 - 54 = -2*b, -3*b = -u - 170. Does 11 divide b?
True
Let d(t) = t**3 + 6*t**2 - 8*t - 6. Is 14 a factor of d(-6)?
True
Suppose -4*l + 4 = 4*b, 5*b - 2*b - 3*l = -3. Suppose b*m - 35 = -m. Is 19 a factor of m?
False
Let f be (1/(-2) - -1)*40. Suppose f - 65 = -5*p. Is p a multiple of 6?
False
Let s(r) = r**3 + 3*r**2 - 2*r - 3. Let w be s(-3). Suppose 0*t + 21 = w*t. Is t a multiple of 7?
True
Let h be (-95)/(-4) + (-6)/(-24). Let w = 49 - h. Is 10 a factor of w?
False
Let i = -41 - -77. Suppose -3*l = -2*l - i. Is 9 a factor of l?
True
Let j(i) = -i**2 + i - 10. Let l be j(7). Let z = l - -76. Does 8 divide z?
True
Suppose f + 3*f = -84. Let j = -9 - f. Does 5 divide j?
False
Suppose 3*i - 13 = x - 3, -5*i + 35 = 2*x. Suppose -5*a + 58 = 3*z - 2*z, 18 = 3*a - i*z. Is a a multiple of 7?
False
Does 9 divide (-28)/(-3)*(1 + 2)?
False
Suppose 3*s - 11 = 136. Let w(p) = -55*p - 1. Let r be w(-1). Suppose o + s = l, -l + r = o + 3*o. Is l a multiple of 17?
False
Suppose 0 = 4*r + 278 - 826. Does 19 divide r?
False
Suppose -10*f = -358 + 78. Is f a multiple of 14?
True
Suppose 0 = -4*m + d + 41, -m + 4*d = 4*m - 65. Does 2 divide m?
False
Let a(l) = 3*l + 8. Is a(6) a multiple of 5?
False
Suppose 3*c = -f + 406, 4*f + 403 = 3*c + 2*f. Suppose 5*v - 5*b - 115 = 0, -6*b + c = 5*v - b. Is 14 a factor of v?
False
Let v be (-3)/6 + (-27)/6. Let g = 8 - v. Is g a multiple of 5?
False
Let h = -32 + 72. Does 8 divide h?
True
Let c(n) = 10*n - 3. Does 6 divide c(2)?
False
Suppose i + y = 94, -i - 5*y + 0*y + 102 = 0. Is 23 a factor of i?
True
Suppose 6*n - n + i - 10 = 0, -4*i = -4*n + 32. Is ((-9)/n + 22)*1 a multiple of 19?
True
Suppose -5*g + 101 = 2*m, 0 = -0*m - m - 5*g + 38. Does 10 divide m?
False
Suppose -4*f - 7*a + 2*a - 37 = 0, -2*a = -3*f - 22. Is f/(-60) + 596/30 a multiple of 13?
False
Let h be -6*9/(-6) + 2. Suppose -n + 48 = 5*c, -2*n - 13 = -2*c + h. Is c a multiple of 10?
True
Suppose -3*c + 532 - 172 = 0. Is c a multiple of 26?
False
Let n(b) = 4*b**2 + 1. Suppose 4*c = 3*w - 2*w - 4, -4*w = 0. Is n(c) a multiple of 5?
True
Let z(q) = -q + 59. Let a be z(0). Let b = a + -36. Is 23 a factor of b?
True
Does 7 divide (0 - -1)/((-1)/(-11))?
False
Let r(f) = -16*f**3 - 7*f**3 + 4*f**2 - 2*f**2 - 3*f**2. Is r(-1) a multiple of 22?
True
Let j be (0/(-1))/((-6)/(-3)). Suppose j = -5*b + 10, 21 = r - 3*b - 11. Is r a multiple of 10?
False
Let g(s) = s**3 + 6*s**2 + 5*s + 7. Let p be g(-5). Let r(t) = 2*t**3 + 11*t**2 + 5 - 7*t - 3*t**2 - 3*t**3. Is r(p) a multiple of 2?
False
Let d = -1 - -3. Suppose 12 = d*c - p + 3*p, 5*p = 3*c - 34. Is 4 a factor of c?
True
Suppose -2*i - 17 = -59. Suppose -19 - i = -5*q. Does 8 divide q?
True
Suppose 3*o = -2*a - 14, -a + 0*o + 4*o = 18. Let k = a + 34. Does 8 divide k?
True
Let c = -25 + 37. Is 6 a factor of c?
True
Let s(z) = -z**2 - 15*z + 21. Does 35 divide s(-14)?
True
Let v be 2/(-5) - (-47)/5. Suppose 3*w + 3 = -3*m, -7*m - 16 = -3*m. Let l = v - w. Is l a multiple of 4?
False
Is 21 a factor of (-1)/(-8) + (-4028)/(-32)?
True
Let a be (72/(-15))/((-4)/50). Suppose -231 + a = -3*x. Is x a multiple of 19?
True
Suppose -3*r + 15 = -3*u, -4*r - 5 + 0 = u. Suppose 145 = -r*x + 5*x + 5*b, 3*b = -x + 39. Is 8 a factor of x?
True
Let d(b) = 2*b + 1. Let r be d(4). Suppose -p + 3*c - 1 + r = 0, -3*p + 4*c = -49. Does 23 divide p?
True
Let w = 9 - -3. Is 6 a factor of w?
True
Let d = -52 - -62. Is d a multiple of 2?
True
Does 9 divide (-4)/2*(-1)/(-2) + 17?
False
Let g = -116 + 166. Is g a multiple of 9?
False
Let y(c) = -8*c - 5. Let r be y(-4). Let m = r + -19. Suppose -4 = -n + m. Is 9 a factor of n?
False
Suppose 26 + 23 = j. Let a = j + -33. Is 5 a factor of a?
False
Suppose -n = -54 - 0. Does 4 divide n?
False
Is (127/(-2))/((-21)/14 + 1) a multiple of 14?
False
Suppose a = 5*v + 6, 3*v - 4*a + 8 = a. Does 12 divide (-3 - -1) + 15 + v?
True
Suppose 5*n + 35 - 5 = 0. Does 8 divide (-4)/n*(18 - 0)?
False
Suppose -3*i - 2 = -17. Let f = i + -3. Suppose 3*p - 145 = -f*p. Is 8 a factor of p?
False
Let k(p) = 2*p**2 + 2*p + 8. Does 17 divide k(-6)?
True
Let y = 8 - 6. Suppose 37 = 4*s - 11. Let l = s + y. Is 3 a factor of l?
False
Suppose 0 = -5*w - 5*u - 5, 5*u + 12 = 3*w - 9. Suppose 4*m = 5*m - w. Suppose -5*g = -m*y - 125, -g - y + 100 = 3*g. Is 18 a factor of g?
False
Suppose 0 = -3*m - 0*m + 18. Let j(x) be the third derivative of x**4/12 - 3*x**3/2 + x**2. Is 3 a factor of j(m)?
True
Suppose g = -5*v + 6*g + 20, -6 = -v + 3*g. Does 13 divide 33*2*v/6?
False
Is 7 a factor of 0 - (1 + -18) - 1?
False
Let z(k) = k**3 + 7*k**2 + 3*k - 3. Suppose -3*y - 3*n - 9 = 0, 2*y + 5 = -0*y - 3*n. Does 11 divide z(y)?
True
Suppose -2*k = 3*k - 10. Suppose 5*d = q + 4, 0*d - 4*q = k*d + 16. Suppose d*o + 10 = 2*o. Does 5 divide o?
True
Let o(p) = -37*p + 2. Let q be o(-2). Let g = -114 - -160. Let n = q - g. Is n a multiple of 16?
False
Suppose 0*d + 2*d = l - 30, -4*l - 5*d = -120. Suppose y - l = -y. Does 15 divide y?
True
Let m(z) = -z + 6. Does 9 divide m(-7)?
False
Suppose -53 = 4*h - 4*i + 47, 2*i + 97 = -5*h. Let v be (-3)/(-2 + h/(-15)). Suppose v = -n, -5*n - 23 + 67 = 3*c. Is 8 a factor of c?
False
Is (88/(-2))/(1*-2) a multiple of 6?
False
Let t(z) = z + 9. Let i be t(-9). Suppose -n + 18 + 6 = -4*q, 5*n = 2*q + 30. Suppose -n*d + 120 + 0 = i. Is 13 a factor of d?
False
Suppose -p - 2*t = -4*p + 108, t + 71 = 2*p. Suppose 0 = -3*x + 2*c + 5, 5*x + 4*c + 11 = p. Suppose x*h + 2*h = 110. Does 22 divide h?
True
Let h(l) = l**2 - 3*l - 4. Let p be h(4). Does 7 divide (p + 1)*(-4 - -27)?
False
Suppose -4*o + 3*p + 91 = 0, 4*o + 5*p - 21 = 94. Suppose -3*v + o = -47. Is 14 a factor of v?
False
Let w(a) = a**3 + 126. Is 14 a factor of w(0)?
True
Let z = -9 + 13. Suppose -4*v + 4 = j, j + 3*j + z*v = -8. Let c = 2 - j. Is 3 a factor of c?
True
Let k be 3*(-2)/(-3) - -3. Let l(h) = 10*h + 2. Is l(k) a multiple of 20?
False
Suppose k - 2*k = -2*j + 4, -k + 5*j - 19 = 0. Is k a multiple of 6?
True
Let n(z) = -z**2 - 6*z + 5. Let h be n(-6). Suppose -4*g = h*i - 266, 3*i - 2*g = -g + 146. Does 8 divide 820/i - (-4)/(-10)?
True
Suppose 0*j = -3*j + 126. Is j a multiple of 14?
True
Suppose 2*x - 2*d - 23 = 27, 2*d = -4*x + 106. Is 26 a factor of x?
True
Let r(k) = 28*k - 6. Let c(l) = -l + 1. Let t(v) = 8*c(v) + r(v). Does 14 divide t(2)?
True
Suppose -l = -3*l - 4. Let d = 5 + l. Suppose 4 = -d*t + 37. Is 7 a factor of t?
False
Let f be ((-1)/3)/((-1)/6). Suppose 1 = -w, -f*w = -4*u + 68 - 22. Is 3 a factor of u?
False
Let b = -16 + 26. Suppose -4*d + 6 = -b. Is 4 a factor of d?
True
Suppose i - 3 = 0, 5*x = -4*i + 492 - 5. Suppose 2*m + 3*m - x = -3*s, 4*s - 5*m = 80. Is s a multiple of 7?
False
Let g(q) = 3*q**2 - 7*q - 6. Does 11 divide g(6)?
False
Let q = 77 - 24. Is 18 a factor of q?
False
Let s be (-2)/4 - 2/(-4). Let m be 15 + (s - 2) + 1. Suppose 0 = 5*p + 3*d - m, 24 = 3*p - 4*d + 4. Is 4 a factor of p?
True
Let f(w) = -w**2 - 6*w - 5. Let d be f(-4). Suppose -d*z - 2*x + 24 = 8, 0 = 4*z - 3*x - 44. Let g = z - 1. Is g a multiple of 7?
True
Let p be 3/(6*2/8). Suppose -2*x = p*x - 192. Suppose 2*s = -4*y - 0*y + x, 2*s + 50 = 3*y. Is 14 a fact