*p - 7*r - 7 = -3*r. Let v be (114/10 - p)*5. Suppose 33 = 3*y + 4*g - g, -4*y + v = -5*g. Is 13 a factor of y?
True
Let o be 2142/10 + (-4)/20. Suppose -o + 46 = 2*n. Is 7 a factor of (-3)/2*n/9?
True
Let l be 2 + -1 + (53 - 4). Suppose -z + 0*z = 2*u - l, 2*u = -5*z + 34. Is u a multiple of 9?
True
Suppose z = -0*x - x, 4*z + 3*x = 0. Let d = -3 - -6. Is 4 a factor of (d - -7) + z + 0?
False
Suppose -2*f = -0*f. Suppose 0 = 5*b - 6*b + 4. Suppose f = 2*d - b*z - 40, 0*d - d = -3*z - 19. Is d a multiple of 11?
True
Suppose 0 = z - 4*z + 30. Let d = z + -7. Is 19 a factor of d - (-38 - 1) - 3?
False
Suppose 1 = -3*w + 22. Let g(j) = -j**2 + 9*j - 9. Does 5 divide g(w)?
True
Suppose 2*v + 0*p - 130 = 4*p, -3*v + 222 = 3*p. Is v a multiple of 16?
False
Let o = -3 + 2. Is (-16*1)/(o/2) a multiple of 9?
False
Let j be 75/(-4)*(-6 + 10). Let h = j - -127. Is 13 a factor of h?
True
Let c(y) = y**3 + 4*y**2 - 4*y + 6. Let q be c(3). Is 9 a factor of (-19)/q*(1 - 28)?
True
Suppose 8 = f + 3*f. Suppose 5 = f*o + 5*m, 5*o - m = -0*m + 26. Suppose 8 = o*g - 3*g. Does 2 divide g?
True
Let p(a) = -a**2 + 8*a - 2. Let r be p(7). Let o = r - 3. Suppose 6*u = 4*s + o*u - 84, s - 5*u - 41 = 0. Is s a multiple of 16?
True
Suppose -28*o + 22*o = -192. Is o a multiple of 9?
False
Let r = 42 + -27. Let m be 3/6*2*r. Suppose 0*w + 2*w = -3*z + 21, w = -3*z + m. Is w a multiple of 3?
True
Let r(z) be the first derivative of 9*z + 1/3*z**3 + 9/2*z**2 - 1. Is r(-11) a multiple of 14?
False
Let d = 12 + -33. Let f = d - -29. Does 6 divide ((-30)/f)/5*-8?
True
Let y(r) = r**2 + 3*r - 4. Let l = -6 + 0. Is 6 a factor of y(l)?
False
Let r = 1 + -1. Let g be -1 - (r + (-14 - 0)). Suppose -2*y + 9 = -g. Is 6 a factor of y?
False
Let t = 9 + -5. Suppose 5*j = -t*q - 1, 0 = -5*q - 0*q + j + 35. Does 3 divide q?
True
Suppose 3*b + 18 = 90. Suppose 3*o - b = -l, -l = -o + 5*o - 33. Let w = o + 4. Is w a multiple of 13?
True
Suppose -2 = -2*d - 6. Let l be 57/(-9) + d/3. Let v(m) = m**2 + 6*m + 2. Does 5 divide v(l)?
False
Let s(o) = -2 - 4*o**2 - 4 + 5*o**2 - 1. Is 14 a factor of s(-7)?
True
Let r(o) = -o**3 + 7*o**2 + 3*o. Is r(6) a multiple of 27?
True
Suppose -4*m + 2*d + d + 38 = 0, m + d - 6 = 0. Suppose 3*y - 2*b - m = 0, 0*y = -y + 4*b - 14. Suppose y*s = 4*s + 8. Is s a multiple of 4?
True
Let v be (30/4)/(4/40). Let g be (-2)/(-9) - v/(-27). Is 17 a factor of ((-51)/4)/(g/(-8))?
True
Let g(o) = -3*o. Let a be 0/(-1) - (1 - -1). Let w be -5*((-24)/15 - a). Is 4 a factor of g(w)?
False
Let u(f) = 16*f**2 + f - 1. Let j be u(3). Suppose -5*b - 526 = -j. Is 14 a factor of (b/10)/(1/(-5))?
False
Let t(m) = 2*m + 1. Suppose 11 = 5*k - 9. Let g = 6 - k. Is t(g) even?
False
Suppose -3*l + 2*i = 17, -2*l = -0*l - 2*i + 8. Let a be (27/(-12))/(l/(-24)). Let d = 10 + a. Is d even?
True
Let x be (-1)/(-4) - (-287)/4. Suppose 3*o + 4*q = x, -5*o + 120 = -0*q + 3*q. Is 12 a factor of o?
True
Suppose 190 = 5*f - a - a, 2*f + a - 67 = 0. Is 26 a factor of f?
False
Is 41 a factor of ((-6)/(-9)*3)/((-6)/(-492))?
True
Let t = 29 + -13. Is t a multiple of 14?
False
Suppose -3*t + 25 = 4*b, -b + 2 + 8 = 2*t. Let y(x) = 3*x**2 - 4*x + 5. Is y(b) a multiple of 13?
False
Let i = -66 + 266. Is i a multiple of 28?
False
Let c be 22*(-1)/2*-1. Let h(q) = -q**3 + 12*q**2 - 11*q + 10. Is h(c) a multiple of 10?
True
Suppose v = -5*g - v + 50, -3*g = 5*v - 49. Suppose -2*i = 3*l - 7, -4*i = -5*i - 1. Suppose -5*f + l*f + g = 0. Is f a multiple of 4?
True
Let k(j) = 2 + 2*j**2 - j**2 + j**3 - 2*j - 4*j**2. Suppose 2*n = 1 + 7. Is k(n) a multiple of 10?
True
Suppose 3*w - 8*w + 137 = -g, 0 = w + g - 25. Does 5 divide w?
False
Suppose 4*g - 5*h = 12, -7*g = -5*g - 3*h - 6. Let b = -9 + g. Does 8 divide (0 - 2)*-1 - b?
True
Suppose 7*o + 178 = 619. Is o a multiple of 21?
True
Suppose 26 = 3*z + 2*t - t, -4*z - t + 35 = 0. Let u(s) = 6*s + 4. Is 20 a factor of u(z)?
False
Let m be (-2)/5 - (-336)/(-10). Suppose -d + 5 - 16 = 4*g, -2*g + 6 = 0. Let p = d - m. Is 5 a factor of p?
False
Suppose 3*w = 12, 0 = 5*f - 3*w - 2*w - 10. Suppose 0*c = -c + 10. Let m = f + c. Does 7 divide m?
False
Let g be (-133)/2 - 10/20. Let m = g + 103. Does 25 divide m?
False
Let i = -39 - -138. Is i a multiple of 33?
True
Let f(h) = h**3 - h + 16. Is 8 a factor of f(0)?
True
Let c(a) = -a**2 - 17*a + 35. Is 7 a factor of c(-14)?
True
Suppose 3*m = 2*m - 3, m = 4*o - 19. Let i = -28 - -45. Let h = i + o. Is 7 a factor of h?
True
Let m = -28 + 200. Does 13 divide m?
False
Let d be 0 - 3 - 1/1. Let x = d + 16. Let k = 18 - x. Is 2 a factor of k?
True
Is (-4)/6 + (-5221)/(-69) a multiple of 25?
True
Let w = 677 - 283. Suppose 67 = -3*q + w. Suppose 4*d = 7 + q. Does 11 divide d?
False
Let w(v) = v**2 + 2. Suppose -2*s = s. Let t be w(s). Suppose -2*h + 44 = t*f, -3*h + 3*f = f - 86. Does 12 divide h?
False
Suppose 14 = h + 2. Does 12 divide h?
True
Suppose -3*d + 13 = -2*d. Suppose 33 - d = 4*k. Is k a multiple of 5?
True
Is (-5)/5 - (-426)/3 a multiple of 31?
False
Suppose 2*o = 3*h + 47 + 52, 0 = 5*h - 15. Is o a multiple of 5?
False
Suppose 0 = -h + 22 - 4. Does 7 divide h + -1 + 1*-3?
True
Let n = -138 + 194. Does 8 divide n?
True
Let c(j) = j - 1. Let u(d) = -3*d - 6. Let f be u(-4). Suppose -3*q - 12 = 0, 0 = 2*t + q + 2*q - f. Is 5 a factor of c(t)?
False
Let f(t) = t**2 - 3*t + 2. Let o be f(4). Suppose 0 = -4*v + x - 6*x + 9, 0 = 2*v + 2*x - o. Is v even?
True
Let c be (-4)/10 + 748/20. Suppose 0*p - 5*k = 2*p - c, k - 23 = -p. Is 13 a factor of p?
True
Suppose -z - 12 = -3*z. Let l = -2 + z. Suppose -l = -4*n + 12. Is n a multiple of 4?
True
Let p(b) = 18*b**2 - b. Is p(1) a multiple of 10?
False
Suppose -5*d = t - 12 + 3, 2*t + 8 = 3*d. Let v = 41 + -10. Suppose -d*s + 85 - v = 0. Is 12 a factor of s?
False
Suppose -56 = s - 5*w - 239, -943 = -5*s - 3*w. Suppose -n + s = n. Suppose -4*l + 26 = -n. Is l a multiple of 16?
False
Let s(c) = c**2 - 3*c + 20. Does 8 divide s(0)?
False
Let v(d) = d**2 + d + 44. Is v(0) a multiple of 16?
False
Let l(n) = n**3 + n. Let q(v) = 3*v**3 + 6*v**2 + 4*v - 3. Let c(a) = -4*l(a) + q(a). Let h be c(6). Does 16 divide ((-31)/h)/((-4)/(-12))?
False
Suppose 4*z = -1 - 3. Let l(d) = -d**2 + 11*d - 11. Let f be l(10). Is 4 - (z - f*2) a multiple of 3?
True
Let s be 4/(-6) + (-252)/27. Let u = s - -15. Is u a multiple of 2?
False
Is (684/(-10))/(-3 - (-108)/40) a multiple of 57?
True
Let d be (-2)/4*40/(-5). Suppose -5*u + 1 = -d*u. Does 7 divide (10/(-6))/(u/(-6))?
False
Suppose -u - u = -4*j, -u - 2 = -3*j. Suppose -j*s + 2 - 24 = -3*n, 0 = -2*n + 2*s + 18. Suppose -35 = n*q - 95. Is 9 a factor of q?
False
Suppose 3*f + 83 = x, -3*f + 5*x + 26 = 117. Suppose 0 = -6*j + 5*j - 16. Let p = j - f. Does 11 divide p?
True
Let a be -1*1*(-1 + 1). Suppose a = -8*s + 9*s - 17. Does 8 divide s?
False
Let n = 26 + 158. Does 8 divide n?
True
Suppose -9*l + 5 = -4*l. Let u be 39/(-2)*(-16)/24. Is 12/4 + (u - l) a multiple of 4?
False
Suppose 2*n - 7 - 5 = 0. Is n a multiple of 3?
True
Let h be -10 + (0 - -2) + 0. Let g(f) = f**2 - 4. Is g(h) a multiple of 24?
False
Let w = -94 + 109. Is 14 a factor of w?
False
Let d = 131 + -76. Is d a multiple of 29?
False
Let s(x) = -x - 3*x**2 + 6 + 3*x**2 + 2*x**2 - 8*x. Is 13 a factor of s(6)?
False
Let g = 93 - 39. Is 11 a factor of g?
False
Suppose y - 5 = -2. Suppose -4*c = 2*a - 57 + 11, y*c = -2*a + 41. Is 13 a factor of a?
True
Suppose 4*t - 13 = -3*y + 10, -4 = -2*t. Suppose -y*v = g - 2*v + 1, -3*v + 15 = 0. Let r = g - -43. Is 9 a factor of r?
True
Let j = 10 - 18. Suppose -3*a + u + 2 = -4, a - 2*u = 7. Is 3 a factor of -1 + j/(-2)*a?
True
Suppose -113 = -p + 76. Is 22 a factor of p?
False
Let h = 61 - 46. Is 10 a factor of h?
False
Does 19 divide 57*(15/12 - 1/4)?
True
Suppose -5*v - 66 = -3*h, -5*v = -3*h + 2*h + 12. Suppose -2*i + h = -69. Is 24 a factor of i?
True
Let y(q) be the second derivative of q**5/20 + 5*q**4/6 - q**3/6 - 2*q**2 + 3*q. Does 3 divide y(-10)?
True
Suppose 2*k - 1 = 33. Is k a multiple of 16?
False
Suppose 3*p - 520 = -17*p. Does 2 divide p?
True
Let g = 10 - 7. Suppose -5 = 2*y - g*y. Suppose n = -0*b + 3*b + 19, -y*n + 55 = 5*b. Does 10 divide n?
False
Let s(r) = -r**2 - 4*r - 1. Let o be s(-4). Let f(i) be the first deriv