 10. Does 3 divide r?
False
Let i = -2 + 4. Let l be (186 - i)/2 - -2. Suppose -4*r = 8, 3*r = -4*u + 84 + l. Is 17 a factor of u?
False
Let d(s) = s**2 + 11*s + 14. Let m be d(-10). Suppose -k - 5*f - 11 = 0, 4*f - 6 = -m*k + 30. Is 5 a factor of k?
False
Let m = 11 - 11. Suppose o = -2*o + 39. Suppose 2*u - 39 + o = m. Is 9 a factor of u?
False
Suppose 2*c + 3 = g, -2*c - 5 = g + 12. Let y = g - -12. Is y a multiple of 5?
True
Let s be 3 + 8*(3 - 4). Let n = s - -47. Does 16 divide n?
False
Suppose 0 = 11*z - 4*z - 1085. Is 27 a factor of z?
False
Let g be 2 + -3*2/3. Suppose g = 3*v - 5*z - 1 - 28, -5*z = 20. Suppose v*y + 44 = 5*y. Is y a multiple of 11?
True
Let b(t) = 2*t - 2. Is 8 a factor of b(13)?
True
Let f be (-80)/12*12/10. Let q(p) = -p - 4. Is 2 a factor of q(f)?
True
Let y be 8*-1 - (2 - 2). Let s = 10 - y. Is 6 a factor of s?
True
Let s = 180 + -6. Is 29 a factor of s?
True
Let x(d) = -d**3 - 5*d**2 - 8*d - 4. Is x(-6) a multiple of 10?
True
Let r(b) = b**3 - b**2 - b - 2. Let w be r(0). Is 13 a factor of w/((2/39)/(-1))?
True
Let c be (-20)/(-6)*(-2 - 1). Does 22 divide 888/20 - (-4)/c?
True
Let t = 5 + -1. Let p(h) = 4*h - 2. Is 7 a factor of p(t)?
True
Suppose -3*s + 7 = -23. Does 5 divide s?
True
Is 23 a factor of 274/4 - (-19)/38?
True
Let f(r) = -r**2 + 7*r + 10. Let t be f(8). Suppose 4 - 2 = -t*b. Is 3 + b + 0 + 15 a multiple of 11?
False
Let i be (-460)/5*(1 - 2). Suppose 5*u + 5*m - 100 = 0, 2*u - 5*m = -u + i. Is 12 a factor of u?
True
Suppose b - 3*g = 2*b - 63, 4*g = -b + 60. Does 12 divide b?
True
Let a(d) = -3*d - 3. Is a(-3) a multiple of 5?
False
Suppose -3 - 16 = k. Let m = k - -31. Does 7 divide m?
False
Let y(i) = -i**3 + 8*i**2 - 3*i - 2. Let t(n) = -n + 11. Let g be t(5). Let f be y(g). Suppose -7*v + f = -3*v. Is 13 a factor of v?
True
Let i be ((-70)/(-3))/(4/(-12)). Let b = i - -100. Does 10 divide b?
True
Let l = 2 + 0. Suppose l*u = -u + 33. Is 4 a factor of u?
False
Suppose m - 8 = t - 0*t, -3*t + 3 = 0. Suppose 5*a = 1 + m. Suppose 3*s - 85 = -a*s. Does 6 divide s?
False
Suppose 60 = -2*o + 10. Let c = o - -38. Let g = -8 + c. Is g even?
False
Let j = -3 - -3. Suppose j = 3*o + 4*p + 150 - 8, o = 4*p - 58. Does 7 divide (6/5)/((-3)/o)?
False
Let o(f) = -f + 4. Suppose 4*r - 5*v - 5 = -20, -9 = -4*r - 3*v. Let a be o(r). Suppose 235 = a*u + 75. Does 18 divide u?
False
Suppose -2*j - 22 = 3*v, 2*v - 3*j = -37 + 5. Let o(g) = 7*g**2 + g - 4. Let u be o(-2). Let r = u + v. Is 9 a factor of r?
False
Let d(z) = 51*z**2 - z + 1. Is 8 a factor of d(1)?
False
Let z(d) = 4*d. Let w be z(3). Suppose -w = -2*h - 2*h. Is 3 a factor of h?
True
Let j(c) = -c**2 - 3*c + 4. Let o be j(-4). Let m be o - 3/((-9)/(-102)). Let s = m + 58. Is s a multiple of 20?
False
Suppose 2*n - 21 = r, -4*r + 9 - 49 = 3*n. Let y = 6 - r. Suppose -5*t + 5 = 0, 2*a - y = 4*t + 1. Is 11 a factor of a?
False
Let b(x) be the first derivative of -x**4/4 - 7*x**3/3 - 5*x**2/2 + 7*x - 2. Is 14 a factor of b(-7)?
True
Let f = 0 - -2. Let r = f + 1. Suppose 14 = -r*l + 35. Is l a multiple of 5?
False
Suppose -v - 5*l = -1, -5*v - 3*l = -5*l - 32. Is (-5)/(-15) + 118/v a multiple of 5?
True
Let u be -4 - 5*(-2)/(-5). Let f(x) = -x**2 - 9*x - 12. Does 6 divide f(u)?
True
Suppose -6*i + 45 = 2*m - i, 3*m + i - 61 = 0. Is 5 a factor of ((-45)/(-6))/(15/m)?
True
Suppose 0 = 5*g + 9 + 1. Is 30 a factor of (-1510)/(-25) + g/5?
True
Suppose 0*b + 2*b = 54. Suppose -v + l = 2*v + 7, -3*l = 3*v + b. Does 8 divide (v/10)/((-3)/75)?
False
Let v(m) = -2*m - 6. Let s(f) = 1. Let o(x) = -6*s(x) - v(x). Is 7 a factor of o(7)?
True
Suppose -4*j + 17 + 3 = 0, 51 = 2*u - j. Is u a multiple of 14?
True
Let f = -13 + 27. Suppose -4*x - 6 = 2*v - f, v - 3*x = 19. Is v a multiple of 5?
True
Suppose -12*m + 622 + 122 = 0. Let c be -52*(-2)/(0 + -4). Let x = c + m. Is x a multiple of 12?
True
Let r = 1 + 4. Suppose u + 106 = 4*u + 2*h, r*h - 153 = -4*u. Is u a multiple of 16?
True
Let v(y) = -4*y**3 + y**2 - y. Is v(-2) a multiple of 17?
False
Suppose -7 = j - 4*y, 2*j = y - 5*y + 22. Let f be j - 13 - 2/1. Let p = 24 + f. Is 7 a factor of p?
True
Let a(r) = -24*r + 3. Let x be a(-3). Suppose f = -f - 8, 3*z = -3*f + x. Is z a multiple of 10?
False
Let m(l) = -10 + 1 - 3*l + 10 + 13. Does 32 divide m(-6)?
True
Suppose -4*k = -7*k + 12. Suppose -k*r + f + 81 = -18, 15 = -5*f. Suppose r = 5*u - 2*u. Is u a multiple of 6?
False
Suppose 9*i - 9 = 6*i. Suppose 5*f = -3*x + 2*f + 72, -i*f + 124 = 5*x. Is x a multiple of 12?
False
Let u(y) = 2*y**2 - 2*y + 3. Suppose 0*w + 8 = 2*w. Suppose 0 = -w*s + 8 - 0. Does 7 divide u(s)?
True
Let c(p) = -6*p + 57. Is c(9) a multiple of 3?
True
Let l = -135 + 192. Is l a multiple of 3?
True
Is 29 a factor of (-4 - -4*19) + 1?
False
Suppose -v - 25 = -3*p, -p = -0*p + 3*v - 15. Suppose 4*m + 3 = -1. Let s = p - m. Is s a multiple of 5?
True
Suppose 20 = 5*p - 50. Suppose -x + 17 = a, 0*a - 2*x = -a + p. Is 16 a factor of a?
True
Does 8 divide ((-4)/(8/34))/(-1)?
False
Suppose -v - 3*v = -8. Suppose -v*f = -3*f + 6. Is 8 a factor of ((-16)/6)/((-2)/f)?
True
Is 21 a factor of (70/(-21) + -2)/(4/(-126))?
True
Suppose 10 = 4*n - x, 12 + 0 = 3*n - 3*x. Let d be (4 + -4)*n/4. Suppose -5*o = 5, 4*z - 5*o + o - 24 = d. Does 5 divide z?
True
Let c = -21 - -35. Is c a multiple of 7?
True
Let l be (-3 + (-6)/(-3))*-18. Suppose l = 2*w - 28. Does 11 divide w?
False
Let x(t) = t**2 + 7*t + 6. Let p be x(-6). Suppose p = m + 52 - 6. Let z = -5 - m. Does 15 divide z?
False
Let r(h) = 9*h - 1. Let q be r(2). Suppose -q = u + i, 4*u + i = -85 + 14. Is 12 a factor of 24/(3/(u/(-4)))?
True
Let v = -37 - -24. Let r = 48 + v. Is r a multiple of 12?
False
Let y = -32 + 46. Let a = -77 - -76. Let f = y - a. Is f a multiple of 15?
True
Let c be (26/(-8) - -2)*-4. Suppose -3*a - a = p - 14, c*a - 78 = -4*p. Let z = p + -5. Does 9 divide z?
False
Suppose 4*q = 2*q. Let v(d) = 0*d**2 + d**2 + 13 + q - 9*d. Does 13 divide v(9)?
True
Suppose -304 = -k + 3*k. Let b be k/(-12)*1*3. Suppose -2*n + b = 5*i, 3*n + n + 3*i - 90 = 0. Does 10 divide n?
False
Let n = 9 - 4. Let l(j) = -j + 11. Is 3 a factor of l(n)?
True
Let y(v) = 3*v - 4*v**3 - 3*v - 3*v - 2. Is y(-2) a multiple of 9?
True
Let p(u) be the third derivative of -u**4/24 + 10*u**3/3 + 5*u**2. Does 11 divide p(7)?
False
Suppose 2*o + 5 = 65. Let n = -18 + o. Is 12 a factor of n?
True
Suppose -13*n - 30 = -16*n. Is n a multiple of 10?
True
Let z(x) = 10*x - 4. Is 7 a factor of z(13)?
True
Suppose -3*k + 3*p = 0, 13 = 4*k + 3*p - 8. Does 7 divide 138/(-9)*k/(-2)?
False
Let s = 3 - 3. Suppose -u + 12 + 5 = s. Suppose -8 = -5*i + u. Is 5 a factor of i?
True
Let u(x) = x + 9. Let b be 1*-12*(-1)/(-2). Let s be u(b). Is 50/s + (-12)/18 a multiple of 8?
True
Let u be ((-3)/(-6))/(1/(-36)). Let f be (-544)/(-18) + 4/u. Suppose -f = -2*x + 2. Is 10 a factor of x?
False
Let j(p) = 0*p - 3 - 9*p + 5. Is j(-3) a multiple of 19?
False
Suppose 35 + 194 = 2*v + 5*i, 4*v - 2*i = 494. Is 16 a factor of v?
False
Let j = -14 + 15. Suppose -13 = -3*m - j. Is 4 a factor of m?
True
Let p(h) be the first derivative of 40*h**3/3 + h**2 - h - 4. Is p(1) a multiple of 17?
False
Let k(m) = m**3 + 4*m**2 - 4*m + 6. Let y be k(-5). Is 12 a factor of (-4 - -1) + y*63?
True
Let h(k) = k + 16. Let w be h(-10). Suppose -3*m = 5*r - 9, 2*m + r + 1 = -0*r. Does 3 divide 3/w*m - -4?
True
Let s = 195 + -97. Does 25 divide s?
False
Suppose 3*h + 6 = 0, 5*b - 148 + 33 = -5*h. Is b a multiple of 5?
True
Let v = 340 - 169. Does 19 divide v?
True
Let i = -155 - -56. Let a = 145 + i. Is 18 a factor of a?
False
Suppose o + 10 - 11 = 0. Is 10 a factor of (o - -2)/(3/40)?
True
Let l = 30 + -21. Is l/(-6) + (-231)/(-6) a multiple of 19?
False
Let q = 87 + -59. Does 14 divide q?
True
Suppose 0*m + 4*m - 77 = 5*w, 72 = 3*m + w. Is m a multiple of 13?
False
Suppose -2*l + 0*l + 280 = 0. Does 24 divide ((-18)/(-15))/(3/l)?
False
Suppose -1 + 3 = w. Suppose -w + 1 = -l. Does 11 divide l - 0 - 14*-2?
False
Let v = 9 - -15. Does 24 divide v?
True
Suppose -o - 4*d + 26 = 0, -5*o + 3*d - 40 = -170. Suppose 88 = 3*g - o. Is g a multiple of 18?
False
Let h be (-23)/7 + (-2)/(-7). Is 15 a factor of 20/h*(-1 - 2)?
False
Let o = 51 - 35. Suppose 3*j - 55 = -2*j. Let