 8. Suppose -4*j - 11 = -3*l + 19, 0 = -v*l - 5*j + 57. Does 14 divide l?
True
Let l(y) = y**2 - 3*y + 5. Let r be l(5). Is 6 a factor of r/(-1)*2/(-2)?
False
Suppose 0 = 2*a - 0*a - 2, 5*s - 2*a + 17 = 0. Is 13 a factor of -14*(22/(-4) - s)?
False
Suppose -i - 80 = 4*i. Let s = i + 33. Suppose 28 = 5*j - 3*l, s + 35 = 5*j + 3*l. Is j a multiple of 4?
True
Suppose 0 = 2*a + 166 - 352. Is 19 a factor of a?
False
Let a(v) = v**2 + 2*v + 3. Let o be a(-2). Suppose -d - 28 = o*d. Let l = d + 19. Is 4 a factor of l?
True
Let v(d) = -d**3 + 6*d**2 + 7*d + 6. Is v(7) a multiple of 6?
True
Let h(f) = f**2 - 4*f - 8. Let x be h(6). Let u = x + -11. Let i = u - -10. Is 3 a factor of i?
True
Let o(n) = n + n**2 - 5*n**2 + 5*n**2 - 7*n - 4. Does 3 divide o(8)?
True
Let f(p) = -2*p + 1 - 4*p + 1 - p**2. Let b be f(-6). Suppose -5*m - 6 = 3*y, -b*m - 1 = 5. Does 2 divide y?
False
Suppose 0 = w - 72 - 3. Does 15 divide w?
True
Let x be (2 + 10)*2/(-4). Does 19 divide x/(-2)*(-19)/(-3)?
True
Let f(v) = -32*v + 3. Does 4 divide f(-1)?
False
Let z(l) = -3*l**3 - 4*l**2 - l + 2. Let c be z(-2). Suppose 4*q = 40 + c. Let i = 5 + q. Is 9 a factor of i?
True
Suppose 4*q - q - 2*m = 5, -10 = -2*m. Let w(y) = -y**2 + 3*y. Let c be w(q). Let o = c + 18. Is 4 a factor of o?
True
Suppose -2 - 1 = -t. Suppose 4*v + 2*y - 18 = 0, -3 = 2*v + t*y - 14. Does 4 divide v?
True
Suppose 4*t + 52 = 5*t + 3*j, 0 = -4*t + 5*j + 140. Does 16 divide t?
False
Let d(q) = -20*q + 1. Let b be d(-1). Suppose -4*a - z + b = 0, -5*a + z + 4 = -11. Suppose -5 = -a*w - 1, 3*w = 2*i - 25. Is i a multiple of 14?
True
Suppose 0 = 5*i + 4*q - 90, -3*q - 38 = -5*i + 52. Is 9 a factor of i?
True
Suppose -30 = -4*f - 2*l, -5*f - 2*l + 32 = -5. Does 20 divide (f - 6)/(2/148)?
False
Suppose -2*n - 256 = -6*n. Is n a multiple of 15?
False
Let x(i) = 10*i**2 - i - 4. Is 22 a factor of x(3)?
False
Let a = 60 - 24. Let x = 0 + a. Suppose 3*v = 2*z - 43, -5*v - 59 = -5*z + x. Is 7 a factor of z?
True
Suppose -2*a - r = -2*r - 11, 5*r + 7 = 2*a. Does 7 divide (56/a)/(8/24)?
True
Let d = 177 - 122. Is 8 a factor of d?
False
Let q(l) = l**3 - 13*l**2 + 11*l + 15. Let a be q(12). Suppose 2*w + 10 - 28 = 2*d, 0 = a*d. Does 6 divide w?
False
Suppose 3*t + 2*t - 3*a - 150 = 0, -150 = -5*t - 3*a. Suppose -10 = -2*c + t. Suppose 4*q - c = 4. Is 3 a factor of q?
True
Suppose 3*p - 5*x + 11 = 6*p, -4*p = -x - 7. Is 11 a factor of ((-62)/(-4))/(p/4)?
False
Is 12 a factor of (-4 + 3 + 16)*(-15)/(-3)?
False
Is (-12)/9 + 168/18 a multiple of 6?
False
Suppose -3*p + 37 = -g, 0*p + 4*g - 39 = -5*p. Suppose -p = -3*z + 1. Is z a multiple of 2?
True
Let k = 70 + -40. Is k a multiple of 22?
False
Let x(u) = 23*u + 5. Let r be x(-6). Is r/(-3) - 1/3 a multiple of 14?
False
Let d be 2 + 1 + -5 - -4. Let g(t) = 3*t. Does 6 divide g(d)?
True
Let s(p) = p**3 + 5*p**2 - 8*p - 8. Suppose -5*c - 15 - 13 = 3*v, -4*c = 8. Let x be s(v). Suppose -2*a + y = -x*y - 64, -104 = -4*a + 4*y. Is 8 a factor of a?
False
Let a(r) = -2*r + 4*r - 4*r**2 - 4 + 5*r**2 + 3*r. Let z be a(-6). Does 14 divide 3/(9/42)*z?
True
Let j = 17 - 25. Let h = j + 12. Suppose d + h*s = -s + 11, -s - 65 = -4*d. Is 6 a factor of d?
False
Let f(x) = -x**2 - x + 1. Let b(s) = -s**2 + 10*s - 4. Let m(d) = -b(d) - f(d). Is 16 a factor of m(7)?
False
Let d = 5 - 1. Let p(j) = -j**2 + 2*j + 2. Let s be p(d). Is (-8)/s*6*6 a multiple of 24?
True
Suppose -q + 2*d = 35, -3*q - q - 3*d = 118. Let a = -18 - q. Does 13 divide a?
True
Suppose 45 = 5*h - 135. Does 13 divide h?
False
Suppose -3*b - 405 = -3*m, 2*m - 5*m = -5*b - 397. Is 9 a factor of m?
False
Let u(l) = -3*l**2 + 3*l - 2. Let z(h) = -7*h**2 + 7*h - 5. Let d(a) = -5*u(a) + 2*z(a). Let s be d(0). Suppose 5*p = s, 2*q = p - 12 + 52. Is 20 a factor of q?
True
Suppose 5*v = 7*v - 294. Does 49 divide v?
True
Is 11 a factor of ((-35)/2)/((-7)/14)?
False
Let u = 83 + -32. Does 18 divide u?
False
Let i be (-9)/7 + 6/21. Let y = 6 + i. Does 4 divide y?
False
Let b(t) = t**3 - 6*t**2 - 2*t + 5. Suppose 3*k - 15 = 2*q + 3, 0 = -5*k + 5*q + 30. Let u be b(k). Let g = u - -16. Is g a multiple of 5?
False
Let g(o) = 5*o**2 + o - 2. Let j be g(-3). Suppose -3*b + j + 62 = 0. Does 17 divide b?
True
Let g = 216 - 106. Is 10 a factor of g?
True
Suppose 2*c + 19 = t, 2*c = -0*c + 4*t - 22. Let r = c - -38. Is 14 a factor of r?
False
Let i be 1/(-2) - (-275)/(-2). Let j(z) = z**2 + 3*z + 4. Let r be j(-5). Is 10 a factor of i/(-7) + 4/r?
True
Suppose -1 - 3 = -2*v. Suppose 30 + 0 = v*s. Is s a multiple of 8?
False
Let x(u) be the second derivative of -u**4/12 + 3*u**3/2 - 4*u**2 - u. Let a be x(7). Does 9 divide 16/6*45/a?
False
Let z(x) = -x + 22 + 0*x + 0*x. Suppose -2*m + 12 + 8 = 0. Is 6 a factor of z(m)?
True
Does 15 divide (-105)/(-3)*(-24)/(-14)?
True
Let r be 1/(1/(-92)*-2). Let w = 36 + -20. Suppose w = -3*g + r. Is 10 a factor of g?
True
Let y = -7 + 13. Suppose -8 = l - 2*g, 2*l - 4*g = y*l - 28. Is 6 a factor of (l/(-3))/(1/(-9))?
True
Let c(l) = 6 + 5*l - 2*l**2 + 3*l + 2*l**3 - 11*l. Does 30 divide c(4)?
True
Suppose 4*h - 2*h = -6. Let z = h + 21. Is 14 a factor of z?
False
Let x = -220 - -26. Let a be 3/(-12) - x/8. Suppose -2*d + a = -d. Does 12 divide d?
True
Let y = 0 - 0. Suppose 17 = i - y*i. Does 12 divide 6/(-9)*(-1 - i)?
True
Suppose 8*t + 300 = 11*t. Is t a multiple of 20?
True
Suppose -4*c + 16 = -4. Suppose -c*u = -86 + 1. Is u a multiple of 8?
False
Suppose 1 = -x - 0*x. Let z be 3 + 0/(x - -3). Let r = 2 + z. Is r a multiple of 2?
False
Suppose 0 = -2*o - 10, -q = 3*q - 3*o - 263. Is q a multiple of 12?
False
Let i = 10 - 6. Suppose k = 5*d - 429, d - 4*d - 2*k + 247 = 0. Suppose i*s - d = -s. Does 5 divide s?
False
Let l = -164 + 111. Let g = 30 + l. Let o = 7 - g. Is 15 a factor of o?
True
Let h(q) = q**3 - 12*q**2 + 10*q + 11. Let v be h(11). Suppose -3*o - o + 20 = v. Is o a multiple of 5?
True
Let f(w) = -9*w - w - 5*w**2 + 3*w + 13*w**2 - w**3 - 4. Is f(6) a multiple of 13?
True
Suppose 3*r - 5*r = 2. Let i(h) = -4*h - 1. Let a be i(r). Suppose 4*x - 68 = -4*u, -a*x - 2*u + 4 + 44 = 0. Is x a multiple of 8?
False
Suppose 0 = 2*u + u + 39. Let z = u - -19. Suppose 0*j + j = z. Is j a multiple of 6?
True
Let s(c) = c**3 + 3*c. Let p be s(4). Suppose -4*z + p = -56. Suppose -3*u = 9 - z. Is 5 a factor of u?
False
Suppose -4*l + 153 = -3*g - 91, -4*g - 5*l = 284. Let c = 52 + g. Is -3 + c/(-2 + 0) a multiple of 7?
False
Suppose 0 = o - 3*o. Suppose o*m - 2*c - 24 = -2*m, 0 = -5*m - 4*c + 60. Is m a multiple of 6?
True
Let c be (4/(-3))/(18/(-81)). Suppose 0 = -3*a + 9, -3*r - 2*a + c = 15. Let u = 41 + r. Does 18 divide u?
True
Suppose 0*f - 4 = -f. Is 15 a factor of (88/20 - f)*100?
False
Let d = 7 + -11. Does 8 divide 33/3 + (d - -1)?
True
Let v(p) = 2*p**2 - 7*p - 2. Is 14 a factor of v(6)?
True
Suppose 216 = 4*m + 4*q - 88, 0 = -5*q. Suppose -2*o = -4*o + m. Does 18 divide o - (1 + 0)*2?
True
Let h = 435 - 127. Is 22 a factor of h?
True
Let m(b) = 2*b**2 + 2. Let r be m(-2). Let k = r - 5. Suppose -k*d + 95 = -0*d. Is d a multiple of 19?
True
Suppose -3*h = -c, 3*h + c + c = 0. Suppose 2 = -x - h. Let a(t) = -20*t - 2. Is a(x) a multiple of 19?
True
Suppose 2*p - 4 = 4. Suppose -3*q = -11 - p. Is ((-32)/(-5) + -2)*q a multiple of 22?
True
Let l(x) = x**3 + 6*x**2 + 3*x + 6. Let u be l(-6). Is 16 a factor of (-388)/u + (-3)/9?
True
Is 2 - 1/(2/(-388)) a multiple of 30?
False
Let w = 2 + 2. Suppose -2*u - 7 = k, 4*k + w*u + 29 = -k. Is 9 a factor of 6/(-4)*(k - 1)?
True
Let k(w) = 19*w**2 + 6*w + 15. Is 3 a factor of k(-2)?
False
Let a be (-2)/6 + (-66)/18. Let m = a - -6. Is (-41)/(-2) + 1/m a multiple of 17?
False
Let o = -10 - -35. Does 5 divide o?
True
Suppose 8*w = 3*w + 270. Is w a multiple of 18?
True
Is 6 a factor of (3/6)/((-2)/(-24))?
True
Suppose 0 = 3*p - 66 - 213. Is 15 a factor of p?
False
Suppose -o + 1 = f - 2*o, -3*o = -f + 3. Is 6 + (f + -3 - 0) even?
False
Let p(u) = -3*u + 2. Does 7 divide p(-4)?
True
Suppose 0 = 2*f - 4. Let m be (-96)/(-20) + f/10. Suppose -5*v = m*j - 105, 2*j - 59 = -4*v + 3*j. Does 5 divide v?
False
Let n(z) = -15*z**2 + 1. Let g be n(1). Suppose -3*d - 30 = -6. Let m = d - g. Does 3 divide m?
True
Suppose g - 3*c = -8*c - 11, 65 = 5*g - 5*c. Is 3 a factor