8)*86/3. Let x = q - -75. Is x a multiple of 8?
True
Let t(v) = 59*v - 68. Is 15 a factor of t(7)?
True
Let m(p) = -p**2 + 2. Let f(a) = -a**2 + 3. Let r(v) = -4*f(v) + 3*m(v). Suppose -3*q = -0*q + 4*j + 27, -j = 3. Does 10 divide r(q)?
False
Let k be ((-171)/8)/(-9) + 6/(-16). Suppose k*p + 2*z - 4 = -2*z, 2*z - 34 = -5*p. Is p a multiple of 8?
True
Suppose 0 = 2*i - 5 + 1. Suppose -s + i + 9 = 0. Let n = s + 6. Does 11 divide n?
False
Let f be -4*(175/(-10))/(-1*2). Is 17 a factor of (34/6)/((f/(-75))/7)?
True
Suppose 0 = -3*g - 25 + 46. Let r(x) = 10*x + 35. Is r(g) a multiple of 15?
True
Let r(d) = -31*d + 1. Let j(h) = 280*h - 10. Let v(n) = 6*j(n) + 55*r(n). Let l be v(-4). Suppose -3*y + l = -49. Is y a multiple of 16?
True
Let z = -727 - -3194. Is z a multiple of 20?
False
Let k be (50/(-5) + 3)*21. Let s = -87 - k. Does 30 divide s?
True
Let p(x) = 58*x**2 - 1. Suppose 0 = -5*m + 5*q - 10, 2*q + 1 = 3. Does 19 divide p(m)?
True
Suppose -25 = -41*s + 36*s. Suppose 3*m - s = 22. Does 3 divide m?
True
Suppose 2447 = 3*d + 503. Is 18 a factor of d?
True
Let a(f) = -3*f**2 + f - 2. Let t(z) = 1. Let q(p) = -2*a(p) - 4*t(p). Let w be q(-1). Is 31 a factor of ((-18)/w)/((-4)/208)?
False
Let q be -10*(2 + 10/4). Suppose m + 2*v - 75 = 2*m, 4*m - v = -321. Let g = q - m. Does 11 divide g?
False
Suppose 4*p + 0*p + 2*q = 2968, 3*q = -p + 752. Is 74 a factor of p?
True
Let a(n) = 9*n + 183. Is 11 a factor of a(-12)?
False
Let p(l) = l**2 - 3*l + 3. Let a be p(3). Let y(n) = 3*n**3 + n - 3*n**2 - 3 + 0*n**2 + 1 + n**a. Is y(3) a multiple of 25?
False
Let t be 2 - ((-4)/2)/(-1). Let c = 81 - 76. Suppose 5*n - c*l = 70, -4*n + 3*n - l + 20 = t. Does 16 divide n?
False
Let t be ((2 - -7) + 3)*(-3)/(-6). Is t/(-2) - ((-324)/(-1))/(-4) a multiple of 14?
False
Let r(o) = -o**2 - 39*o - 29. Is 9 a factor of r(-34)?
False
Let z(q) = 9*q**2 - 3*q + 1. Let w(v) = -10*v**2 + 4*v - 1. Let b(h) = -3*w(h) - 2*z(h). Is b(3) a multiple of 13?
True
Let z be (-4)/(-14) + 206/14. Let d = -495 - -486. Let j = d + z. Is j a multiple of 3?
True
Suppose -22 = -4*j + 14. Let y(p) = 6*p - 13. Let m be y(j). Suppose -f + 3*b + m = 0, -4*b + 2*b = -3*f + 95. Is f a multiple of 29?
True
Let s be 5*(18/15)/3. Is -8*2*(s - 3) a multiple of 4?
True
Suppose 0 = 3*d + 5*n - 151, 38 = -3*d + n + 159. Does 11 divide d?
False
Does 20 divide (9 + (-581)/49)*-49?
True
Let u(b) = -2*b**2 - 10*b + 25. Let q be u(-6). Let z be (-1 - 1)*(-1 + -1). Let i = q - z. Is i a multiple of 3?
True
Let f = 58 + -36. Suppose -30*w = -28*w - f. Suppose 3*s + w = -2*m + 29, -3*m + 38 = -s. Is 3 a factor of m?
True
Let h = 15 + -14. Suppose h = 4*q + 41. Is 14 a factor of (35/q)/((-1)/18)?
False
Let n(b) = 345*b**2 + 10*b - 11. Does 70 divide n(1)?
False
Suppose 8 = -4*h, -2*h + 1 = 2*n - 21. Suppose w + 2 = n. Is 10 a factor of w?
False
Let n = 14 + -9. Let k(b) = -7*b**3 - b**3 + 2*b + 9*b**3 - n - 3*b. Is k(3) a multiple of 10?
False
Let k be 704/12 - (-4)/(-6). Suppose 4*u + 37 = c - u, -4*c + 2*u = -k. Does 4 divide c?
True
Suppose 5*q + 13 = f, -6*f - 3*q + 6 = -2*f. Suppose -2*d = -f*d - 4*w + 18, 2*d - 4*w = 0. Suppose -3*n + d = -15. Is n a multiple of 7?
True
Suppose -2*a + 159 = -7. Suppose b + 4*y - a = -y, -b = -5*y - 33. Suppose v = -4*v - c + 101, 2*c + b = 3*v. Is 19 a factor of v?
False
Suppose -371*y - 170 = -376*y. Is y a multiple of 23?
False
Suppose 4*c - 12*c = -624. Suppose -5*j - c = -478. Is j a multiple of 16?
True
Let g(q) = q**3 - 8*q**2 + 5*q + 2. Let w be g(7). Let m(i) = i**3 + 12*i**2 - i - 10. Let z be m(w). Suppose -z*n - 18 + 66 = 0. Does 7 divide n?
False
Let l = 7 + -11. Let f = -2 - l. Suppose f*a + 188 = 4*p, 0 = -0*a + 3*a. Is p a multiple of 19?
False
Let d(n) = -5*n**3. Let x be d(-1). Suppose -w + 2*q + 89 = q, 0 = q - x. Is w a multiple of 36?
False
Suppose 7*b - 16 = 26. Let o(m) = 9*m + 11. Is 13 a factor of o(b)?
True
Let b(m) = 32*m - 1. Suppose -30 = -5*u - 20. Is 9 a factor of b(u)?
True
Does 7 divide ((77/14)/(-11) - 261)*-14?
True
Suppose 0 = 5*n - 443 - 1207. Is n a multiple of 15?
True
Let q(m) = -m**3 - 12*m**2 + 11. Let g = 19 + -32. Let p be q(g). Let x = -127 + p. Is x a multiple of 13?
False
Let v(g) = 3*g**2 - 10*g - 12. Let y(z) = 7*z**2 - 21*z - 25. Let c(t) = -13*v(t) + 6*y(t). Is c(-5) a multiple of 6?
False
Suppose 2*d + 2*m + 36 = -0*d, 3*d + m + 60 = 0. Does 8 divide (-6)/((-60)/d - 3)?
False
Suppose 0 = 4*c + j - 21, 2*c - j - 4 - 5 = 0. Let r(l) = -l**2 + 9*l + 2. Let i(x) = 2*x**2 - 18*x - 5. Let g(b) = c*r(b) + 2*i(b). Is 3 a factor of g(7)?
False
Let z be 481/4 - (-1)/(-4). Let d be (-5)/(-15) + (-5)/(-3) + -6. Is 7 a factor of (d/8)/((-3)/z)?
False
Let p be 3 + -4*(-9)/(-6) + 2. Does 5 divide 21 - (p/6 + 33/(-18))?
False
Suppose 40768 = 97*f - 83*f. Is f a multiple of 16?
True
Let t be (-8)/(-8) + 3/(-1). Let c be -3 + (-153)/(t + -1). Does 16 divide c + (-5)/(20/12)?
False
Let h(c) = -c**2 - 38*c - 32. Let m(u) = u**2 + 10*u - 17. Let n be m(-9). Is h(n) a multiple of 10?
True
Suppose 5*o - 4*y + 6 = 0, -2*o = -3*o - y + 6. Suppose -k = 1, 2*r - k = o*k + 63. Suppose 3*u - 150 = r. Does 17 divide u?
False
Let g = 50 + -18. Suppose -3 + g = v. Suppose 0 = 4*x - 5 + 1, -2*k + v = 5*x. Does 3 divide k?
True
Let u be (-7)/((-21)/222) - (3 + -1). Let f = u + 60. Does 33 divide f?
True
Let u be -1 - 3 - (-664)/(7 - -1). Suppose u*s - 390 = 76*s. Is s a multiple of 13?
True
Suppose 2*d = -5*k + 137, 4*d + k - 322 = -3. Let y = -44 + d. Is y a multiple of 37?
True
Let c = 67 + -39. Suppose 4*r - 2*h = 6, -r - 60 = -2*h - 66. Suppose r = 4*y - c - 12. Is y a multiple of 2?
True
Let v be 2/(-10) + 306/5. Let d = v - 166. Is 5 a factor of ((-42)/d)/((-2)/(-50))?
True
Does 30 divide (-12237)/(-8) - 150/(-400)?
True
Let p be ((-2308)/16)/1 - (-3)/(-4). Let c = -85 - p. Is 15 a factor of c?
True
Suppose -2*u + 8 + 4 = 2*s, 0 = 3*s - 4*u + 10. Suppose 2*l = l + s. Is 4 a factor of 160/12 - l/6?
False
Let k(u) = -u**2 + 4. Let c be k(0). Is (63/36)/(1/c) a multiple of 2?
False
Let l(p) = -p**3 + p**2 + 8*p + 4. Let q be l(-3). Let w(r) = r**2 - 17*r + 20. Let c be w(q). Suppose -c*i = d - 0*i - 74, d = i + 59. Is d a multiple of 7?
False
Suppose 6*v - v = 5*l + 55, -v + 41 = 5*l. Suppose -v = -3*s + 2*j, -4*j + 27 = s + 3. Is s a multiple of 8?
True
Let o(c) be the third derivative of c**5/60 + 5*c**4/24 + 5*c**3/6 - c**2. Let s be o(-4). Is 8 a factor of (-120)/(-5) - (-3)/s?
False
Is 22 a factor of 2022/(-8)*(-292)/219?
False
Let h = 246 + -180. Does 11 divide h?
True
Let v = 689 - 663. Is v a multiple of 13?
True
Suppose o = 2*q, -o - o - 4*q - 32 = 0. Let y = o + -21. Let l = 70 + y. Is l a multiple of 13?
False
Suppose 16 = 3*o - 2. Let n = -3 - o. Is (-2)/n - (-352)/36 a multiple of 5?
True
Let a(i) = 2*i**2 + 18*i + 16. Is a(-10) a multiple of 4?
True
Let g = 2595 - 417. Does 32 divide g?
False
Let l be (2/3)/((-8)/(-864)). Let b be 2*(57/(-2))/3. Let a = b + l. Is 15 a factor of a?
False
Suppose -4*r = -3*n - 4490, -4488 = -4*r + 3*n + n. Is r a multiple of 8?
False
Let f(a) = -2*a. Let b be f(-2). Suppose 0 = -3*g - b*v + 12, g - 3 - 1 = -4*v. Suppose 0 = 2*w + g*o - 24, -3*w - 4*o - 96 = -7*w. Is w a multiple of 5?
True
Let g(h) = 3*h**3 - 19*h**2 + 7*h - 4. Let d(c) = -c**3 + 9*c**2 - 4*c + 2. Let f(y) = 5*d(y) + 2*g(y). Does 18 divide f(-7)?
False
Let u(b) = 6*b**3 - b**2 - 2. Suppose 2 = -2*m + 12, d = -3*m + 17. Suppose -3*j + d = 4*n - j, -2*n + 2*j = -10. Is 8 a factor of u(n)?
False
Suppose 4*m = i - 1886, -13*i + 8*i + m + 9430 = 0. Is 18 a factor of i?
False
Suppose 3*d + 2 = 8. Let r(l) = 6*l**3 + 13*l**2 - 5*l + 2. Let k(p) = -2*p**3 - 4*p**2 + 2*p - 1. Let z(t) = -7*k(t) - 2*r(t). Is 4 a factor of z(d)?
False
Let i(w) be the second derivative of w**5/10 + w**4/4 - 4*w**3/3 + 3*w**2 - 17*w. Does 33 divide i(5)?
False
Let c(u) = -4*u + 1. Suppose -s + 7 = -0*s. Suppose s*i + 9 = 4*i. Does 4 divide c(i)?
False
Suppose -755 = -i - 5*h, -5*i + h - 1316 = -4987. Is 15 a factor of i?
True
Let u(y) = -2*y**2 - y + 3. Let a be u(3). Is 14 a factor of a*5/(15/(-18))?
False
Suppose -3*s + 145 = -203. Does 3 divide s?
False
Let m(o) = -17*o + 3. Let h(i) = -69*i + 13. Let b(p) = -2*h(p) + 9*m(p). Is b(-3) a multiple of 10?
False