7. Does 6 divide r(m)?
False
Let o be (1 + 4)/(1/(-2)). Let k be (-1 - (-7)/5)*o. Does 10 divide (2 + k/5)*20?
False
Suppose 0 = -2*q - 4*g + 118, -6*g = 5*q - g - 320. Is q a multiple of 16?
False
Suppose 3*c - 2*n - 514 = -n, 2*c - 320 = -5*n. Is c a multiple of 34?
True
Let s = 67 - -150. Does 12 divide s?
False
Let o = 72 - 30. Does 21 divide o?
True
Let p(n) be the second derivative of 9*n**5/10 - n**4/6 + n**3/6 + 2*n. Is 7 a factor of p(1)?
False
Let m(p) = -p**2 + 13*p - 8. Let x(i) = i**2 - 3*i + 1. Let h be x(4). Suppose -4*z - 16 = -3*j - h*z, 18 = -j - 5*z. Is 17 a factor of m(j)?
True
Let l(x) = x**2 - 5*x + 5. Suppose m - 17 - 8 = -5*a, -4*a = -3*m - 20. Suppose -d + 6 - 1 = m. Is l(d) a multiple of 3?
False
Suppose -3*n - 4 = n. Let q = n - -2. Is ((-1)/(-3))/(q/39) a multiple of 9?
False
Let m = 178 + -104. Does 10 divide m?
False
Let b(y) = 5 + y + 0*y - 8. Let o be b(8). Suppose -5*j - 19 - 11 = -2*x, o*j + 5 = -3*x. Does 3 divide x?
False
Let g = 6 - 8. Let k be ((-4)/1)/(g*1). Suppose -4*n = -5*q + 199, -n = -2*q + k*n + 74. Is 16 a factor of q?
False
Let y = 3 - 8. Let z = -5 - y. Suppose -u + 5*u - 132 = z. Is 13 a factor of u?
False
Suppose -158 - 97 = -5*n. Is n a multiple of 9?
False
Let y be 2 + 0/(-2) + 16. Suppose 2*g = 5*g - y. Is g a multiple of 6?
True
Let o(q) = q**3 - 7*q**2 + 8*q - 3. Let t be 6/27 - (-104)/18. Does 3 divide o(t)?
True
Let k(t) = t**3 + 10*t**2 - 5*t + 4. Is k(-10) a multiple of 4?
False
Suppose -z = 3*a + 7, 3*a - z = -3*z - 5. Let l(k) = -2*k**3 - 3*k**2 + 4*k + 4. Does 16 divide l(a)?
False
Let w(n) = n**2 + n - 1. Let j be w(-3). Suppose j*a - 88 = 12. Is 4 a factor of (12/(-8))/((-6)/a)?
False
Suppose -2*n + 5*h = -7*n + 15, 4*h + 8 = 0. Suppose -11 - 52 = -n*g - 3*b, -2*b + 38 = 3*g. Is g a multiple of 10?
False
Suppose -l = 3*l + 24. Let x be (-92)/l*(3 + 0). Suppose -4*g - 3*f = -119, 2*g - 21 = f + x. Is g a multiple of 15?
False
Let z = -116 - -56. Is 12 a factor of -1 + (3 - z/2)?
False
Let w(s) = -2*s**3 - s + 2. Let h(i) = 2 - 4*i - i**2 + 3*i + i. Let j be h(-2). Is w(j) a multiple of 12?
False
Suppose 3*b = -0*b - 96. Let k = b + 19. Does 17 divide k*(-1 - -3 - 5)?
False
Let z = -130 + 182. Suppose -3*o + 3*u + 2 = -z, 0 = -u. Is 5 a factor of o?
False
Let x(w) = w**2 + 11*w - 21. Let s(g) = g**2 - 7*g - 5. Let o be s(5). Is 10 a factor of x(o)?
False
Suppose -12*c + 11*c + 211 = 0. Is 40 a factor of c?
False
Does 27 divide (-2184)/(-20) + (-2)/10?
False
Is 7 a factor of 1/6 - (-1837)/66?
True
Let w(j) = -4*j**3 - 13*j**2 - 5*j + 3. Let x(h) = -5*h**3 - 14*h**2 - 5*h + 4. Let a(d) = 4*w(d) - 3*x(d). Is 15 a factor of a(-10)?
False
Suppose -4*x - 33 = f - 900, -5*f + 212 = x. Is 31 a factor of x?
True
Let j = 88 - 32. Does 10 divide j?
False
Suppose -4*p + 0*b + 2*b + 230 = 0, 4*b = -3*p + 178. Suppose -p = -o - 10. Does 16 divide o?
True
Let y(z) = 3*z**2 + 2*z - 1. Let c be y(1). Suppose 0 = -o - c. Does 5 divide ((-18)/4)/(2/o)?
False
Suppose 0 = 3*q + 3*j, 4 = -3*q + j - 2*j. Let d(p) = -p**3 + 7*p**2 - 3*p - 4. Let x be d(3). Let o = q + x. Does 18 divide o?
False
Suppose -2*x + 13 = -19. Does 8 divide x?
True
Let p(x) = -x**2 - 3*x + 2. Let u be p(-3). Suppose -v - 14 = -0*c - 2*c, 2*c + 5*v = u. Is 4 a factor of c?
False
Let g be 1/(-2)*24/(-6). Does 34 divide (2 - 3)*(-142)/g?
False
Let q(u) = -2*u + 5. Suppose 3*p + 12 = 3*i, -3*p + i - 12 = -i. Let v = -8 - p. Is 11 a factor of q(v)?
False
Let u(j) = -j**2 + 11*j - 12. Let z(v) = -v**2 + 10*v - 12. Let x(f) = 3*u(f) - 2*z(f). Suppose -5*d + 21 + 19 = 0. Does 11 divide x(d)?
False
Let r(z) = 9*z + 8. Let q be r(6). Let k = q + -15. Does 11 divide k?
False
Suppose 0 = -k + 4*n + 52, n + n = -k + 34. Does 11 divide k?
False
Suppose 5*c = 23 - 68. Let v = c + 27. Does 8 divide v?
False
Let r = -208 - -302. Suppose 8 = 3*l + 2*b, 3*l - 2 = l + 2*b. Suppose -4*w + r = -l*w. Is w a multiple of 13?
False
Let g = 2 + 0. Suppose -g*z = 3*z - 200. Is z a multiple of 11?
False
Suppose 3*x - 28 = 2*x. Is x a multiple of 14?
True
Let d(l) = l**3 - 5*l**2 + 4*l + 3. Let m be d(4). Suppose 3*k = -1 - 2, m*f - 28 = -2*k. Does 3 divide f?
False
Suppose -4*a = 3*o, o - 13 = -0*a + 3*a. Let c = -1 + o. Suppose -5 + 2 = 3*l, j = l + c. Is j a multiple of 2?
True
Is 14 a factor of ((-1)/(-2))/((-16)/(-448))?
True
Suppose 2*r = 5 + 1. Suppose 0 = -r*j - 1 + 10. Does 3 divide j?
True
Suppose 3*d - 150 - 156 = -3*t, 0 = 2*t + 4*d - 208. Let o = t - 40. Is 15 a factor of o?
True
Let h = 6 - 2. Is h a multiple of 2?
True
Let z(j) = j - 1. Let g be z(12). Does 11 divide 5/15*3*g?
True
Let u(k) = -13*k + 17. Is u(-2) a multiple of 13?
False
Is 10 a factor of 1/(-4) - 9432/(-96)?
False
Is 2 a factor of (-2)/(-20) - (-529)/10?
False
Let s(q) = -35*q - 1. Let w be s(1). Let a be ((-10)/8)/(3/w). Is (10/3)/(10/a) a multiple of 5?
True
Let i = -4 - -7. Suppose 0 = -5*x + 5*n + 315, i*x - 168 = 5*n + 25. Does 18 divide x?
False
Let c be 4/6 - (-1)/3. Let g be ((-1)/c)/((-5)/15). Suppose g*r = -4*o + 2*r + 167, -r + 41 = o. Is o a multiple of 21?
True
Let m(c) be the second derivative of -2*c**3/3 - 2*c**2 + 3*c. Is m(-4) a multiple of 12?
True
Let o(b) = 26*b**2 - 2*b - 1. Is 7 a factor of o(-1)?
False
Is 3 a factor of (-2 + 3)*19 - 1?
True
Does 51 divide (2/2)/(2*(-2)/(-408))?
True
Let q(r) = r**2 + 5*r + 7. Let k be q(5). Let t = k + -36. Does 5 divide t?
False
Let n = 24 - -88. Does 32 divide n?
False
Let v(y) be the second derivative of -3*y**3/2 + 7*y**2/2 - 4*y. Is v(-5) a multiple of 15?
False
Is 41 a factor of (-20)/(1 + 52/(-48))?
False
Let v(o) = -o**3 - 5*o**2 - o - 5. Let r be v(-5). Suppose r*x - 4*x = -120. Is 10 a factor of x?
True
Let k be (-94)/(-4)*(-4)/(-2). Suppose 3*f + 2*r - 95 = -2*r, -2*f - 5*r + 75 = 0. Let d = k - f. Does 10 divide d?
False
Let n(s) = -6*s + 3. Let k be n(-6). Suppose -5*p - 12 = -2*j + k, p - 69 = -4*j. Is 13 a factor of j?
False
Let m(g) = -g + g**2 + 9*g + 2 - 7*g. Is m(-2) even?
True
Suppose -3*l + 0*l + 4*c + 123 = 0, 3*l - c - 132 = 0. Is 9 a factor of l?
True
Suppose -17 = -3*w + 2*w. Is 3 a factor of w?
False
Let r be 84/12 - 4*1. Suppose 3*g - 131 = r*t - 8*t, -5*t = g - 137. Does 14 divide t?
True
Suppose -4*u + 5*g + 0*g + 3 = 0, 0 = -2*u + 4*g - 6. Suppose -u = m - 19. Is 7 a factor of m?
False
Suppose -h = 7*p - 2*p - 44, 2*p - 24 = -2*h. Is p a multiple of 4?
True
Let q(b) = -b**2 + 5*b - 2. Let w be q(5). Is (9/(-6))/(1/w) a multiple of 2?
False
Suppose 10 = -2*k + 86. Is k a multiple of 5?
False
Let r be ((-3)/(-4))/(2/(-8)). Let l = r + 5. Is 4/(-2) - -9*l a multiple of 16?
True
Let p be (-409)/(-3) - (-4)/(-3). Suppose -2*q + p = -45. Is q a multiple of 30?
True
Let y(l) = l**2 - 2*l + 2. Let w be y(-6). Is 5 a factor of 2/(-8) - w/(-8)?
False
Let k = 16 + -11. Suppose -55 = -5*q + k*i, -i + 12 = 3*i. Does 7 divide q?
True
Let q be (1/2*26)/1. Suppose 5*v + 2 = -28. Let a = v + q. Is 3 a factor of a?
False
Let n = 42 - -24. Is 21 a factor of n?
False
Let n be ((-32)/20)/((-2)/85). Suppose -12 = -5*t + n. Does 6 divide t?
False
Suppose -5*v - 252 = -14*v. Is v a multiple of 7?
True
Let g(v) = 9*v**2 - v + 3. Let k be g(3). Suppose -27 = 3*u - k. Let p = u - 10. Is p a multiple of 7?
False
Suppose n + 3*n + 3*w + 5 = 0, -3*n = 4*w + 9. Let a(f) = -2*f + 7*f**2 + 3*f + 1 - 2*f. Is 7 a factor of a(n)?
True
Suppose -5*x + 0*x + 1100 = 0. Suppose 0 = -0*v - 4*v + x. Let m = v - 35. Is 10 a factor of m?
True
Suppose -3*l + 21 = 2*g + 5, 2 = 5*g - 2*l. Let b be g/(-4) + (-9)/2. Let n = b + 19. Is 7 a factor of n?
True
Let k(z) = z**3 + 9*z**2 - 4*z - 7. Is 16 a factor of k(-8)?
False
Let b = 8 + -5. Does 10 divide (-1)/(((-9)/141)/b)?
False
Suppose 17*b + 296 = 21*b. Does 30 divide b?
False
Let d(p) = -p**3 + 6*p**2 - 6*p + 2. Let f be d(4). Let g be ((-26)/f + 1)*10. Let x = g - -26. Is x a multiple of 10?
True
Suppose -3*a - 2*a = 0. Let p be a*(-1 - (-6)/4). Is 42 + (p/(-1))/(-1) a multiple of 21?
True
Suppose -5*c - 37 = 2*o, 5*c - o = 2*o - 32. Is (-2)/c + (-2256)/(-42) a multiple of 14?
False
Suppose -1046 = 6*h - 2966. Is h a multiple of 8?
True
Let l be (23/4)/((-2)/(-16)). Suppose -u + l - 4 = 0. Is 21 a factor of u?
True
Let q = 10 + 5. Let x = 16 + q. Is 7 a factor of x?
False
Suppose 2