*o - 12. Let d be s(-8). Suppose d = 2*u - 0*u. Is 9 a factor of (38/(-4))/((-3)/u)?
False
Let h be ((-12)/1)/(3 - 2). Is (-82)/(-8) - (-3)/h a multiple of 10?
True
Let p(k) = -k**2 + 5*k + 7. Let h be p(7). Let l(a) = -a**3 - 8*a**2 - 6*a + 7. Let j be l(h). Suppose j = 5*f + 15, 0*b - 35 = -2*b + f. Is b a multiple of 8?
True
Suppose -50 = -3*w + 46. Suppose t = 3*c - w, -c + 39 - 10 = -4*t. Is 9 a factor of c?
True
Let a = 1 + 2. Suppose -11 = a*l - 4*l. Does 11 divide l?
True
Suppose 10*y + 291 = 7*y. Let i = -37 - y. Does 14 divide i?
False
Let r = 33 - -137. Let d be 6 + (-1)/(0 - -1). Suppose 50 - r = -d*k. Is k a multiple of 12?
True
Suppose -5*c - 13 = 7. Let p(v) = v**3 + 5*v**2 - 1. Let u be p(-4). Let f = u + c. Is f a multiple of 6?
False
Is 16 a factor of (-582)/(-9) - (-6)/(-9)?
True
Let q = -47 + 29. Let c = -78 + 116. Let x = c + q. Is x a multiple of 10?
True
Let r(x) = -x**3 + 11*x**2 - 8*x - 11. Is 25 a factor of r(9)?
False
Let o(v) = -v**2 - 3*v + 4. Let k be o(-4). Suppose k = j + 4*j - 70. Is j a multiple of 7?
True
Let w(t) = -19*t**3 - t**2 - t - 1. Let z be (-2 - -4) + -3 - 0. Is w(z) a multiple of 16?
False
Let w = -2 + 1. Let k = w + 11. Does 10 divide k?
True
Let k be ((-9)/(-6))/((-6)/(-16)). Suppose 51 = k*b - 69. Suppose -2*x - 2*i = -20, 5*i = 2*x - 11 - b. Is x a multiple of 13?
True
Suppose 0*d = -3*y - d + 62, 5*y - 110 = -3*d. Suppose y = 5*c - 21. Is 8 a factor of c?
True
Let s = -7 + -2. Is (s/(-5))/(3/10) a multiple of 2?
True
Let o(c) = c**3 - 2*c**2 + 4*c - 3. Let d be o(3). Let j = -3 + d. Is (-5)/(-1)*24/j a multiple of 3?
False
Suppose -j = x - 2*x - 1, -5*j - x = -11. Let w be (24 - 3)*60/14. Suppose -j*y = 3*y - w. Is 6 a factor of y?
True
Suppose -4*g = -g + 18. Is 8 a factor of (-1 - 1)/(g/33)?
False
Let i(h) = 8*h + 1 - 5 + 4*h + 1. Does 12 divide i(2)?
False
Let h(j) = 2*j**2 - 5*j - 1. Let k = 0 - -4. Does 11 divide h(k)?
True
Let h(m) = 2*m**2 + 2*m - 3. Let v be h(2). Suppose -4*j - 3*z = j - 19, -5*j + z = -7. Suppose -5*k + 2*l = -v, j*l = 3*k - 5*k + 12. Does 3 divide k?
True
Let m(y) = y**2 + y + 12. Suppose -10 = 2*k + 5*g - 0*g, -4*k + 10 = -5*g. Let s = k + 0. Is m(s) a multiple of 6?
True
Suppose 0 = -5*g + g + 20. Let v(q) = -2 - 2 + 15*q**2 - 2*q + g. Is 7 a factor of v(1)?
True
Let b be 338/10 + (-2)/(-10). Suppose b = 4*i - 70. Does 15 divide i?
False
Let d(v) = v + 6. Let s be d(-6). Suppose -t + 11 - 1 = s. Suppose 3*q - t = 11. Is q a multiple of 3?
False
Does 9 divide 234/18 - (-8)/(-2)?
True
Suppose -2*u - 2 = -18. Does 2 divide (-5 - 1)/((-6)/u)?
True
Does 18 divide 2456/32 - (-6)/(-8)?
False
Suppose -6*o + 3*o = -9. Is 4/2*(1 + o) a multiple of 4?
True
Let p = -9 + 25. Suppose 0 = -5*w - 4 - p. Is 13 a factor of (104/(-3))/w*3?
True
Let m be -2*(-2)/4 + -84. Let p = 147 + m. Suppose -3*l + p + 2 = 0. Is 11 a factor of l?
True
Let h(b) = -b**2. Let t be h(1). Let k(u) = -4*u + 1. Is 2 a factor of k(t)?
False
Suppose 8 = z - 14. Does 11 divide z?
True
Let y = -26 + 38. Is 20 a factor of 675/y + 2/(-8)?
False
Let o(q) = -q**3 + 6*q**2 - 7*q + 1. Let u be o(5). Let a = u + 5. Does 5 divide 11 + (1 - (-1 - a))?
False
Suppose 2*t - 3*t = -50. Let v = t + -11. Does 13 divide v?
True
Let y be (-2)/8 + 9/4. Let l(g) = 4 + 5 - 4*g**2 - 11*g + 3*g**y. Does 12 divide l(-9)?
False
Suppose -2*u - 46 = -3*u + 4*o, 0 = -3*u + o + 94. Let f = u - 15. Is 15 a factor of f?
True
Let b(s) = s**3 - 4*s**2 + 2. Let k be (-2 - (0 - 1)) + 5. Let m be b(k). Suppose 4*d = 2*w - 100, -m*w - 5*d = w - 95. Does 20 divide w?
True
Let r(c) = -7*c - 10. Is r(-8) a multiple of 23?
True
Suppose 5*p + 164 = 2*v, -282 - 74 = -4*v - 4*p. Does 29 divide v?
True
Suppose 3*f = -2*x - 36, -2*f - 34 = -2*x - 0*x. Is (-2)/f + (-310)/(-35) a multiple of 3?
True
Let k(t) = -5*t**3 - 2*t**2 - 2*t. Let f(l) = l**2 + 5*l - 8. Let h be f(-6). Is k(h) a multiple of 12?
True
Let d = -10 - -10. Suppose 0*b - 6*b + 186 = d. Is b a multiple of 21?
False
Let k(i) = 2*i**2 - 7*i + 12. Is 8 a factor of k(4)?
True
Let h(w) = 7*w**2 + w + 1. Let u(z) = 14*z**2 + 3*z + 3. Let j(c) = 9*h(c) - 4*u(c). Is j(-2) a multiple of 14?
False
Suppose 7*u - 15 = 2*u. Suppose -u*j = -4*j + 15. Does 13 divide j?
False
Suppose 6*z - 9 = 3*z. Suppose -5*y + 2*v = -0*v - 20, -z*y + 12 = v. Is y a multiple of 4?
True
Suppose 5*a = 13*a - 576. Is a a multiple of 6?
True
Let j = 5 + -2. Suppose 0 = 3*r + j, -3*u + 3*r + 75 = -u. Suppose 0*v - u = -3*v. Does 12 divide v?
True
Suppose -34 = 3*a + 227. Is (a - -3)/(-2) + -2 a multiple of 22?
False
Let d = 3 - 3. Suppose -5*f = 2*k - 48, d*f - 24 = -4*f + 2*k. Is 8 a factor of f?
True
Suppose -34 = 5*i - 229. Does 9 divide i?
False
Suppose r + 5*t + 28 = -0*r, 4*r = 5*t - 137. Let q = -20 - r. Is 10 a factor of q?
False
Let m be (2 + -2)/1 - 2. Let i be 2 + m + (1 - -1). Is 8 a factor of ((-1)/i)/((-3)/144)?
True
Suppose -2*t = 3*c - 64, -3*c = -0*t + t - 62. Is c a multiple of 4?
True
Let z(y) = 4 - 1 + 2*y**3 - 3*y**3 + 10*y + 2 + 8*y**2. Let b = -2 + 11. Does 7 divide z(b)?
True
Let t(l) = -l**3 - 6*l**2 + 10*l - 3. Let z(k) = k**2 + 7*k + 3. Let i be z(-5). Let p be t(i). Let c = 8 - p. Is 16 a factor of c?
True
Suppose -2*a - 37 = -5*t, -4*a = 5*t - 0*t - 61. Suppose 0 = b - t - 7. Is b a multiple of 9?
False
Let o(l) = 6*l**2 - 8*l + 6. Is 10 a factor of o(4)?
True
Let z(r) = 2*r + 5 + 0 + 0*r. Let h(o) = 3*o + 9. Let f(p) = 3*h(p) - 5*z(p). Is 3 a factor of f(-3)?
False
Let q(z) = -z**2 - 6*z + 2. Let x be q(-6). Suppose 5*a + 116 = 5*m + a, -x*m - 3*a = -28. Does 10 divide m?
True
Let g(l) = 7*l**2 - 3*l + 6. Let r(p) = 11*p**2 - 4*p + 9. Let m(o) = -8*g(o) + 5*r(o). Let a be m(2). Suppose -f = -10 - a. Is f a multiple of 4?
False
Suppose -4*u = -2*u - 94. Suppose 0 = -4*v + u + 41. Is 8 a factor of v?
False
Let f(v) = 5*v**2 + 3. Let g(r) = -21*r**2 - 13. Let t(a) = 9*f(a) + 2*g(a). Is 9 a factor of t(-3)?
False
Let a(v) be the third derivative of v**5/30 + v**4/4 - v**2. Suppose -4 = y - 0. Is a(y) a multiple of 3?
False
Suppose -3*g = w - 13, w + 4*g - 2*g - 8 = 0. Does 27 divide 936/27 + w/3?
False
Suppose 2*d + 3 = 5. Does 13 divide -3*d*(-544)/24?
False
Let b(c) = -c - 3*c - c**2 + 2 - 4. Let a be b(-3). Is a + 1 - 0/2 a multiple of 2?
True
Let k = 14 + -12. Is k even?
True
Is 3/(2 + 57/(-6))*-40 a multiple of 8?
True
Let k = 47 - -1. Suppose -4*s - k = -7*s. Is 16 a factor of s?
True
Let o = 19 - 9. Suppose -2*p = -5*p + 3*h + 21, 4*h = p - o. Is p a multiple of 4?
False
Let r = 168 + -145. Does 3 divide r?
False
Let b(y) = -y**3 + 4*y**2 - 3*y. Let a be b(3). Let j(m) = m**2 + 16. Does 5 divide j(a)?
False
Let g = 11 + -4. Let t = g - 3. Suppose 3*m - 60 = -2*m - 4*q, m + t*q - 12 = 0. Is 7 a factor of m?
False
Let w = -12 + 8. Does 19 divide (4/w)/(1/(-47))?
False
Suppose -35 + 170 = 5*v. Does 23 divide v?
False
Suppose -d + 0*o = 2*o - 9, 0 = 2*d + 3*o - 15. Suppose 5*a = 15, 72 = d*q - 5*a - 45. Is q a multiple of 16?
False
Let s = 102 - 47. Suppose -3*w - s = -8*w. Does 3 divide w?
False
Let w = -20 - -29. Is 10 a factor of ((-42)/(-9))/(3/w)?
False
Suppose 4*y = y + 135. Is (-4)/(-6)*y/6 a multiple of 5?
True
Suppose -2*z - 2*m + 6*m + 180 = 0, 0 = -4*m. Is 15 a factor of z?
True
Suppose 109*i - 114*i = -375. Does 33 divide i?
False
Let h = 16 + -7. Let n = 16 - 15. Let l = n + h. Is l a multiple of 10?
True
Let d(l) = -2*l - 3. Let i be d(5). Let p = i - -21. Is p a multiple of 4?
True
Let a(g) = -g - 4. Let f be a(-6). Suppose 0 = 2*k + y + 10, 3*k - 2*k + f*y = -11. Let r = k - -13. Does 10 divide r?
True
Suppose b + 278 = 3*b. Let h = b + -375. Does 13 divide h/(-7) - 4/(-14)?
False
Let q(k) = 2*k**2 - 2*k - 1. Is q(4) a multiple of 15?
False
Let l be ((-234)/15)/(8/(-60)). Let s = l - 58. Is s a multiple of 21?
False
Suppose 4*c - 175 - 497 = 5*r, -511 = -3*c + 2*r. Is c a multiple of 14?
False
Let h = 1 + 0. Let x(w) = 4*w + 1. Let n be x(h). Suppose 42 = n*i - 2*t, i + 4 = -2*t + 10. Is i a multiple of 8?
True
Suppose 103 = -6*o + 361. Is 16 a factor of o?
False
Let d = -36 - -43. Does 3 divide d?
False
Let n = 2 + 0. Let r(v) = -v + 0 + 0*v + v**n + 2 + 0*v**2. Does 14 divide r(4)?
True
Let l(f) = 15*f**2. Does 7 divide l(-1)?
False
Suppose 0 = -5*z + 10, 0 = -3*m + 4*z 