 6. Let t be 5/15 - 22/(-6). Let o be 0*(2/t)/(-1). Solve o = -x*i + 2 + 4 for i.
2
Let x = -14 - -23. Let r be 4/(-18) + 2/x. Solve r*t = -t - 3 for t.
-3
Suppose -t = -d + 6 + 12, d + 5*t - 30 = 0. Let i = 23 - d. Solve -i*r = 3 + 12 for r.
-5
Suppose y = -5*c - 6, 3*y + 4*c - 12 = -2*y. Let t be (-1)/4 - (-1)/4. Suppose -5*g + 8 = h - 2, t = -y*h. Solve -m + g + 3 = 0 for m.
5
Let a(i) = 2*i - 2. Let u be a(3). Suppose -4*f + 0*n - 2*n + 72 = 0, n - 2 = 0. Suppose 5*z = -4*h + 96, 4*h = -z + 15 + f. Solve -8*m = -u*m - z for m.
4
Let r be 4/3 - 4/(-6). Suppose 3*o - 14 = -5. Suppose f - r = o. Solve f*s = 2*s + 12 for s.
4
Let d(h) = h**2 + 5*h - 2. Let z = 0 + -6. Let b be d(z). Let p be (1 - 5)*2/(-4). Solve p*t - b = 6*t for t.
-1
Suppose 0 = u - 2*q - 10, -u = -5*q - 14 - 11. Solve a + 0*a + 5 = u for a.
-5
Let y be 1*2*(-88)/16. Let x = -6 - y. Solve x*i - 2 = 23 for i.
5
Let x be (-1)/(1/(-2))*-1. Let z = 2 + x. Suppose -3*l + 2*l + 2 = z. Solve 4*m + 6 = -l for m.
-2
Let d(u) = 3*u + 5. Let k be d(5). Suppose -4*g = g - k. Suppose -3*q + 8 = q + 2*f, 1 = 3*q - f. Solve 15 = -g*c - q for c.
-4
Let a(n) = n + 2. Let z(c) = -c**2 - 7*c. Let l be z(-7). Let m be a(l). Let u be (8/2)/(4 - 3). Solve 0 = -m*s + s + u for s.
4
Let y(x) = -7*x + 7. Let g be y(1). Solve z + 2*z - 12 = g for z.
4
Let y = 2 - -1. Solve 3*s - 6 = -y for s.
1
Let b be ((-3)/6 - 0)*-28. Suppose 5*t + 2*x = 44, 3*t - 7*x - b = -2*x. Solve q = -q + t for q.
4
Let w be 10/45 - (-50)/18. Suppose -v = -f + 5, -w*v = 2*f + f - 21. Solve -x = 2*x + f for x.
-2
Let q be 4 + 5/(5/(-4)). Solve -2*i - 6 - 4 = q for i.
-5
Suppose 3*l - 14 + 2 = 0. Solve 0 = -b - 1 - l for b.
-5
Let z(u) = u - 8. Let q be z(8). Let g be (-8)/(-2) + (-2 - q). Solve g*d = -d + 12 for d.
4
Suppose -28 - 4 = -4*q. Solve 3*n + q - 2 = 0 for n.
-2
Let k be 12/(-24) - (-13)/2. Solve k - 5 = -w for w.
-1
Let n = -1 + 3. Let f = -70 - -71. Solve f = -g + n*g for g.
1
Let c(t) = -5 + 8*t + 2*t**2 + t - 4*t. Let i be c(-5). Let d be ((-4)/(-5))/(4/i). Solve -d*g + 0*g = -8 for g.
2
Suppose 16 - 6 = -5*u. Let d be 6/(-9) - u/3. Solve d = v + 2*v for v.
0
Suppose -2*y + 3*s + 47 = 0, 4*y + 0*s = -3*s + 103. Solve -4*h - 5 = -y for h.
5
Let y = 32 + -24. Suppose 5*w - 4*t + 10 = 0, 1 - y = 4*w - 3*t. Solve -6 = w*l - 0 for l.
-3
Let t be ((-8)/(-22))/((-50)/(-275)). Solve t*c - 1 = 9 for c.
5
Suppose -5*j + 49 = -31. Solve -5*g = -g + j for g.
-4
Let w = 15 - 11. Suppose -4*t + 2*t = 6. Let g = t + 7. Solve g = -w*h + 8 for h.
1
Suppose 3*d - 4 = 11. Suppose -b - 2*s - 4 = -d*s, 3*b = 4*s + 3. Solve -2*q = -q - b for q.
5
Let z be 8/3 + (-12)/18. Suppose 2 = -u + 2*u. Solve u*o = -z*o - 16 for o.
-4
Let t(j) = j**3 - 4*j**2 + 2*j + 3. Let u be t(3). Suppose -4*a + a + 3 = u. Solve -a = -h - 0 for h.
1
Suppose 5*u + 12 = 2*w + 40, 5*u - 33 = -3*w. Solve u*a + 12 = 2*a for a.
-3
Suppose 0 = -3*o + 2*o. Solve 5*z + 2 + 3 = o for z.
-1
Suppose 2*p - d = 15, -2*p - 2*d = 3*d + 15. Solve p*i - i + 4 = 0 for i.
-1
Let h(i) = -i**2 + 5*i + 7. Let m be h(5). Solve 3 - m = -g for g.
4
Suppose -s - 3*s - 3*k = -7, -4*s + 2 = -2*k. Suppose x = 2*x. Suppose x*y - 70 = -5*y. Solve -y = -5*p + s for p.
3
Let u be -1 - -4 - 6/6. Solve u*g = 4 + 2 for g.
3
Let g be 24 + (0 - (-1 + 0)). Suppose 5*v = g - 0. Suppose -1 = v*c - 11. Solve -c*n = n for n.
0
Let c(l) = l**2 + l + 5. Let u be c(0). Solve u*d + 17 = 42 for d.
5
Suppose c + 2 = o, -5*c - 5*o + 7 + 3 = 0. Let g be (c + 10)*1/2. Solve -g*p - 4 = -p for p.
-1
Let b(x) be the third derivative of -x**4/24 + x**3 + x**2. Let z be b(5). Suppose -4*h + 24 = -3*m + 10, 3*h = -3*m. Solve -h = q + z for q.
-3
Let u = -7 - -12. Solve -u*v - 7 = 8 for v.
-3
Let k be (-2)/6 + (-1 - (-21)/9). Let v = -2 + 3. Let h be (v - 2)*(-1 - k). Solve h*d = 5*d - 15 for d.
5
Let o = 24 + -24. Solve -z = 5 - o for z.
-5
Let t = 6 - 4. Let i be (-1)/(-4) + 60/16. Suppose -i*p = -3*p - 7. Solve t*c + 1 + p = 0 for c.
-4
Suppose -2*g = 19 - 7. Let n be 2/g - 5/(-15). Solve 0 = -n*s - 3*s for s.
0
Let r(n) = n + 6. Let i(m) = m - 1. Let z(f) = i(f) + r(f). Let t be z(-5). Let o be (-2)/5 + (-2)/t. Solve 2*p - 5*p + 3 = o for p.
1
Let r be (-2)/1 + (-3 - -2). Let n = -1 - r. Solve -s - n + 4 = 0 for s.
2
Let w be (-12)/(-15)*(-20)/(-8). Suppose -w*n = -2*l - 0*n, -n = -5*l. Suppose 3*x + l*x = 9. Solve -x*k = 5 + 4 for k.
-3
Let u be 16/6*6/4. Solve 0*q = -q - u for q.
-4
Suppose 0 = -5*m + m + 20. Solve m*i - 5 = 4*i for i.
5
Suppose 17*d = 19*d - 4. Solve -2*s = d*s - 20 for s.
5
Suppose -5*i = -2*h - 10 - 2, 4*i - 5*h = 13. Solve -b + i = b for b.
1
Let q(j) = j**2 + j - 1. Let t be q(1). Let w be 22*2*(-2)/(-8). Solve -3*i - t = w for i.
-4
Suppose -5*b + 6*b - 2 = 0. Solve b*t + 13 = 5 for t.
-4
Suppose 0 = 5*s + 3*d - 18, 0 = -4*s - 6*d + 7*d + 28. Suppose -5*w + s*w - 4 = 0. Solve 0*h + w = -4*h for h.
-1
Suppose -6 = -m - 2*m. Let p be (0 - 0/m) + 3. Let x = 11 - 6. Solve x*b + p = 18 for b.
3
Let n(i) = i**2 + 12*i - 1. Let u be n(-12). Let p be (-2 + 1 + 0)*u. Solve -2*r = -r - p for r.
1
Let b = 14 - 12. Solve 0 = -0*j - b*j for j.
0
Let l(h) = 4*h - 1. Let q = 6 - 6. Let y = q - -1. Let c be l(y). Solve -2*t = c*t + 10 for t.
-2
Let j(x) be the first derivative of -x**3/3 - 5*x**2/2 + 8*x + 3. Let z be j(-6). Suppose s + 4 = 5*s. Solve 3*r - s - z = 0 for r.
1
Suppose -8 = 3*x + x. Let n(p) = -6*p. Let m be n(x). Solve 0*z = -3*z + m for z.
4
Let q(j) = -j**3 + 6*j**2 + 5*j + 7. Let v be q(7). Let m(k) = k**2 + 7*k + 2. Let b be m(v). Suppose -b*t = -t - 3. Solve t = -d + 2*d for d.
3
Let j(p) be the third derivative of p**5/60 - p**3/2 - 2*p**2. Let a be j(3). Solve a*h = 2*h for h.
0
Let c = -11 - -7. Let h = c + 6. Solve 0 = h*t + 6 - 2 for t.
-2
Let f(b) = b**2 - 4*b - 19. Let j be f(7). Solve j*h = 4 - 0 for h.
2
Suppose 5*f = f + 8. Suppose -q = -0*q - z - 5, f*q = -5*z + 38. Let w be 26/7 - (-4)/14. Solve w*d = d - q for d.
-3
Let g(m) be the third derivative of -m**4/12 - m**3/3 - m**2. Let y be g(-4). Solve -y*s + 9*s = 12 for s.
4
Let x be 144/(-10) - (-4)/10. Let p = x - -18. Let m be (-4)/6 + 14/3. Solve 0*v - m*v = p for v.
-1
Let u(f) = f**2 - 8*f + 7. Let h be u(1). Solve -x + 5 = -h*x for x.
5
Let q be ((-11)/(-2))/(1/2). Let g(r) = r**3 - 12*r**2 + 11*r + 4. Let a be g(q). Suppose 0 = 4*y + 3*s - 30, s + 36 = 5*y + a*s. Solve n - y*n = 0 for n.
0
Suppose -4 = -2*t + 18. Suppose -3*y - t = -47. Solve 0 = 3*z - 3 + y for z.
-3
Suppose 3*z - 12 = 3*j, -2*z - z - 5*j - 12 = 0. Suppose 9 - z = -f. Let l = f - -20. Solve 0*u = 4*u + l for u.
-3
Suppose 0 = 2*t - 5*t + 12. Let y(u) = 3*u - 6. Let h be y(t). Solve h = 4*n - 10 for n.
4
Suppose -r + 23 = 4*j, -3*r = -5*r + j + 1. Suppose 0 = -r*o + 14 + 4. Solve 2*q - o = -q for q.
2
Let p = -199 + 203. Solve -7*w + p*w = -9 for w.
3
Suppose 4*j - 17 = 7. Suppose -4*d - 3*p + 5 = 0, -2*p - 2 = -2*d + 4. Suppose -5*o + j = -d*o. Solve 2 = o*l - 8 for l.
5
Let z(u) = u + 13. Let d be z(-4). Solve h = -2*h - d for h.
-3
Let s = -15 - -17. Solve -7*q + s*q = -15 for q.
3
Let q = 23 - 21. Solve -q - 2 = -2*p for p.
2
Suppose 24 = -b + 4*b. Let k = b - 6. Solve s + k = 2*s for s.
2
Let z be (1 - 1) + 2/(-1). Let t be ((-5)/(-1))/((-1)/z). Solve -t = -l + 6*l for l.
-2
Let c = 0 + 0. Let a = 12 - 8. Solve c*d = a*d - 12 for d.
3
Suppose 2*a - 10 = -6. Solve -3 = -a*h + 7 for h.
5
Let l be (-214)/(-14) + 2/(-7). Let z(d) = d**2 + d - 2. Let a be z(-4). Suppose 2*u + a = 30. Solve -5*c + u = -l for c.
5
Let y = 27 + -23. Solve 0 = 2*l - y for l.
2
Let k be (2/5)/(12/(-60)). Let s be (-3)/k + 4/(-8). Solve t = 4 - s for t.
3
Suppose -5*i - 2 = h, h + 0*i - i + 2 = 0. Let y be (14/12)/(h/(-12)). Solve 6 = 4*p - y*p for p.
-2
Suppose v + 2*d - 11 = 0, d - 7 + 0 = -v. Let f be (2 - v)/(1/(-5)). Solve 1 - f = -2*o for o.
2
Suppose -g + 6 = -0*g + 4*l, -2*l + 2 = 0. Suppose 8*m + f = 3*m + 19, -3*f = 2*m - 5. Suppose -2 = -m*v + 3*v. Solve v*k + g*k = 8 for k.
2
Suppose 5*l + 4*i = -9, 5*i - 25 = l - 0*i. Let n = l - -7. Suppose 5 = n*g - 1. Solve -g*h - 2*h = 0 for h.
0
Suppose -2*m + 3*i + 37 = 0, m = 4*i - 0*i + 31. Let r = m - 3. Suppose 4*c - 20 = -r. Solve -v = c*v for v.
0
Suppose 5*b + 0*b - 25 = 0. Suppose 1 = -b*y + 16. Suppose 