 -7. Suppose 4*o = -f*d - 16, -3*d + 2*o = -8*d - 8. Solve d = -5*y - 1 + z for y.
1
Let r(q) = q + 11. Let s = 17 + -24. Let w be r(s). Suppose 30 = 5*b - 5*i, 0*b - w*b + 27 = -5*i. Solve p - b = 2*p for p.
-3
Let q(i) = i**2 - 4*i - 5. Let n be q(6). Suppose -3*u - 9 + 57 = 0. Let b be 4/u + (-22)/(-8). Solve -12 = n*t - b*t for t.
-3
Let t = -29 - -45. Let c be (t/(-6))/(8/(-12)). Solve -p = -c*p + 6 for p.
2
Let g = -2 + -2. Let m be (-6)/(3*2/g). Suppose m*y = 4*p - 40, -5*p + y = -5 - 29. Solve 2 - p = -v for v.
4
Let p(d) = -d**2 - 3*d - 6. Let z(a) = -2*a**2 - 5*a - 12. Let h = 2 + 0. Let i(q) = h*z(q) - 5*p(q). Let n be i(-4). Solve 0 = n*w + w - 12 for w.
4
Let i be 18/(-4) + 1/2. Let r be (i + 0)*3/(-4). Solve 0 = -r*w + 12 for w.
4
Suppose -c + 4 - 9 = 0. Let v be (-3 - 4/(-2))*c. Solve j = 6*j - v for j.
1
Let f be (-1)/(-2)*(4 + 4). Let u be f/14 - 19/(-7). Solve -u*x + 10 - 1 = 0 for x.
3
Let h = -22 + 24. Solve 4*t = 3*t - h for t.
-2
Let x be 7/(-5) + (-6)/(-15). Let i be 1 - 1/(x/4). Suppose -4*q = 5*s - 18, 0 = 2*s - 4*q + 8 - 32. Solve i*z - 4 = s for z.
2
Let x(i) = -2*i**2 - 6*i - 2. Let o be x(-2). Solve o*y = -2*y - 4 for y.
-1
Let v be (3 - -1)/(11/3 - 3). Solve 0 = -3*g - v + 3 for g.
-1
Let z be 0*((-24)/(-80) + 4/(-5)). Solve z = 3*h - 4 - 2 for h.
2
Let d(u) = 2*u - 4. Let y be d(4). Suppose 2*x = -p - 4, 3 + y = -3*p - 5*x. Solve 4*s - p - 2 = 0 for s.
2
Let f = 7 - 5. Suppose -4*a - 2*r + 28 = f*r, -5*r + 21 = -2*a. Suppose 0 = -a*l + 6*l - 8. Solve l*h = -h + 3 for h.
1
Suppose -c = 4*v - v + 5, 0 = -v - 3*c - 15. Suppose -d + 6*d = v. Let x be (-16)/(-6) + (-2)/3. Solve x*z - z - 4 = d for z.
4
Let r = -22 - -26. Suppose -3*s = -4*i + r, 3*i + 0*i - 20 = -2*s. Solve -l - s = -0*l for l.
-4
Let s(i) = -i**3 - 5*i**2 + i - 25. Let k be s(-6). Solve -k = q - 8 for q.
3
Let b be ((-2)/(-3))/((-4)/6). Let x be (-2)/1 - 10/b. Let d = x - 5. Solve -2*m - d = m for m.
-1
Suppose -3*p - 9 = 0, -p = 4*g - 3*p - 86. Suppose 2*n - 2*v - g = 0, -4*n = 2*v - 19 - 27. Solve -4*h + 5 = -n for h.
4
Let y be 0*(-3 + 40/15). Solve y = 2*w + w for w.
0
Let u = -22 - -94. Suppose 4*c + 0 = u. Solve 0 = 5*q + c + 2 for q.
-4
Suppose -5*f + 3*f = -16. Solve 0 = 5*s - f*s - 6 for s.
-2
Let a(x) = x**3 - 8*x**2 + 4. Let d be a(8). Suppose 0 = -d*q + 3*q + 9. Solve -4*z + 1 = q for z.
-2
Let w(j) = 4*j**3 + j**2 - 2*j + 1. Let h be w(1). Suppose -5*q = -6 - 14. Solve 0 + h = -q*t for t.
-1
Let v = -6 + 8. Suppose d - 5 = -3*l, -l - 2*l - 4*d = -20. Solve l = -v*t + 6*t for t.
0
Let y(k) = k + 9. Let i be -9 - (6/(-2) + 0). Let b be y(i). Solve 2*m = -b*m for m.
0
Let w = -31 - -35. Solve -w - 5 = -3*h for h.
3
Let u be (-114)/(-5) + (-4)/(-20). Suppose -4*x = -9 - u. Suppose -4*t = 3*z + 11, -4*z = -4*t - t - 37. Solve -5 = -z*g + x*g for g.
-1
Suppose -2*y + 25 = 3*y. Suppose -y*v - 1 = -11. Solve k - 1 = v for k.
3
Suppose 0*c = -5*c - t + 15, 3*t = -4*c + 23. Let w be (0 - -3 - 1) + 2. Suppose 4*l - w*s - 25 - 19 = 0, -3*s + 57 = 3*l. Solve 5*y - l = c*y for y.
5
Let i = -5 + 9. Let n = -54 + 54. Solve n = 3*o + 2 + i for o.
-2
Suppose -z + 3*z + 12 = 0. Let b be 56/12 - 2/z. Solve b*m + 2 = 22 for m.
4
Suppose 2*z + 2 - 6 = 0. Suppose 3*d = z*a - 4, 4*d - 2 = d - a. Suppose d*q = -q. Solve 4*t - 3 - 9 = q for t.
3
Let d be (5 + 1)*1 + -1. Solve -d*y - 8 = 2 for y.
-2
Let o(y) = -y**3 - 4*y**2 - 3*y + 2. Let v(c) = -c - 1. Let m be v(2). Let k be o(m). Solve 2 + k = -4*z for z.
-1
Let x be (-29)/(-4) - 60/(-80). Solve 4*t = x*t + 4 for t.
-1
Let x(c) = c + 12. Let q be x(-1). Solve -7*m + q*m = 4 for m.
1
Suppose 6*g - g - 56 = 4*q, 5*q + 55 = 5*g. Suppose -f = 4*c + g, -3*f - c - 1 = 2. Let u(o) = o - 2. Let l be u(5). Solve b = l - f for b.
3
Let f = -1 - -3. Suppose -4*j - 6 = f*u, 4*u + j = u + 1. Let s be 2/(1/(-3) - -1). Solve b + s = -u for b.
-4
Let r(q) = -q**3 - 8*q**2 - 9*q - 9. Let h be r(-7). Let z(o) = -2*o - 3*o - 1 + o + h*o. Let f be z(1). Solve -4*i + 3*i + 2 = f for i.
2
Let y(b) = -b**3 - 5*b**2 + 15*b + 10. Let s be y(-7). Solve -7 + 1 = s*a for a.
-2
Suppose 5*h - 5*u - 5 = 0, 5*h - 4*u + 3 = 9. Suppose h*i + 35 = 7*i. Solve -3*g = i + 5 for g.
-4
Let s(r) = r**2 + 4*r. Let v be s(-3). Let y(q) = q + 6. Let l be y(v). Solve l*c = c for c.
0
Let g(p) = 6*p + 1. Let i be g(2). Suppose 4*z + 4*m + 8 = 3*z, 3*m - i = 4*z. Let v be (3 + z)/((-1)/3). Solve 0 = v*n - 11 - 1 for n.
4
Let s be (-2)/3*-3 + 1. Suppose 0 = -3*w + 26 - 11. Suppose -5*u = w, -11 + 1 = -3*t + u. Solve 0*j - t = -s*j for j.
1
Let r(g) = -g**2 + 3*g - 2. Let b be r(3). Let d(h) = h**3 + 3*h**2 + 2*h + 1. Let f be d(b). Solve -q - f = -0 for q.
-1
Let a(i) be the third derivative of -i**5/60 - 7*i**4/12 - 8*i**3/3 - 7*i**2. Let h be a(-12). Solve -b - b - h = 0 for b.
-4
Suppose 13 = -3*z - 5. Let c be (z + -2 + 1)/(-1). Solve -2*u - c = -3 for u.
-2
Let k(q) = q**2 - 3. Let x be k(3). Suppose 4*b - 12 = -4. Let h be (-2)/b*(-1 - 1). Solve -x = -t - h for t.
4
Let o be (-2 + 2)/(0 - -1). Let n be 3/(3/37) + o. Let c be -2 + 0 - (-11 - 3). Solve -5*u + c = n for u.
-5
Let p = 26 - 26. Suppose p*y + 20 = 5*y. Solve 3*d - 2 = y for d.
2
Let r(q) = q**2 - 8*q - 5 - 4 + 5 - 5. Let z be r(9). Suppose 18 = d - 5*n, 0 = d - z*d - n - 6. Solve 7 - d = -4*t for t.
-1
Let l(z) be the second derivative of -z**3/6 + 3*z**2/2 + 4*z. Let h be l(0). Solve 5*u = h*u + 6 for u.
3
Let i(p) = -p - 1. Let u be i(-1). Let z(l) = u*l**3 + l**3 + 0*l**2 - l**2. Let h be z(2). Solve h = 5*v - 11 for v.
3
Let q(s) = 4*s**2 - 2*s + 1. Let j be q(1). Solve a + j*a = 20 for a.
5
Let z be (-2)/(-6)*(-4 + 4). Solve r + z*r = 0 for r.
0
Let l be -8 + 238/21 + 2/(-6). Solve -9 = -0*g + l*g for g.
-3
Suppose -i - 3*z - 3 = -33, i - 25 = -2*z. Solve 0*h = 3*h + i for h.
-5
Let b = -12 - -18. Let l(u) = u**2 + 9*u - 109. Let k be l(-16). Solve k*r - b = r for r.
3
Let y = -20 - -30. Solve j = -4*j + y for j.
2
Let i(l) = 3*l**2 + l. Let m be i(1). Let w be (1*(-2)/2)/(-1). Suppose w = g - m. Solve 2*o - g - 3 = 0 for o.
4
Suppose 3*u - 3 = 3. Solve u*g = g + 2 for g.
2
Suppose -4*v + 3*t = 3, -5 = 2*v + 3*t - 8. Suppose -3*w + 1 + 5 = v. Suppose 24 = 2*n - 5*o - 0, 3*n + o = w. Solve 2 = n*k + 6 for k.
-2
Let g(d) = d - 5. Let y be g(5). Suppose -s + 10 = 3*q - q, -s + 2*q - 6 = y. Solve -s*z + 0*z = 6 for z.
-3
Let s be ((-34)/(-3))/(4/18). Let w = s + -35. Solve -4 = 4*k + w for k.
-5
Let y be 129/15 + 2/5. Suppose y*q - 15 = 4*q. Solve -7 + 4 = -q*z for z.
1
Let k be (14/(-2) + 3)/(-1). Solve 5*a = 6 + k for a.
2
Let q be 12/(-30)*20/(-2). Suppose 0 = 5*z - 6 - q. Solve 7*t - z*t = -5 for t.
-1
Let m be 0/(1 - 3 - -4). Suppose m*a = -4*a - 48. Let z be 13/(-2)*a/6. Solve -7 = -5*q + z for q.
4
Suppose -2*v - 2 = -0. Let y = v + 11. Solve -2*a + y = -7*a for a.
-2
Suppose 0*y - 5 = -5*r - 5*y, -2*r - 5*y = 1. Suppose -3*q + 4 = -2*c, -14*q = -9*q + 3*c + 6. Solve p - r - 2 = q for p.
4
Suppose -2*i + 7 = -1. Solve -2*b + b = i for b.
-4
Suppose -5*t = -68 - 182. Suppose 4*l + 10 - t = 0. Suppose -5*r + l = -0. Solve -15 = -r*m - m for m.
5
Suppose 2*b = 9 - 7. Solve -2*p = -3 - b for p.
2
Suppose -4*u - 3 = -5*f, 4*u - 3*u + 2*f + 17 = 0. Let a = u - -3. Let y = 7 + a. Solve -4*q = -q - y for q.
1
Let s be ((3 - 1) + -3)/(-1)*1. Suppose 3*c - 16 = -4. Suppose c*d = 3*d. Solve 0*v - v - s = d for v.
-1
Let a(k) = -k + 11. Let h be a(7). Solve -h*z + 25 = z for z.
5
Suppose -w = -0*w - 5. Suppose w - 15 = -d. Solve 0 = 2*h - 4*h - d for h.
-5
Suppose -6*f + f - 75 = 0. Let i = f + 15. Solve -20 = 5*r - i*r for r.
-4
Suppose o = -4*z + 15, -z - z + 25 = -3*o. Solve 0*a + 15 = -z*a for a.
-3
Suppose 0 = 3*t - 0*t. Suppose 10 = -t*p + 2*p. Solve p*h + 7 - 32 = 0 for h.
5
Let c be (-14 + 12)*(-2)/2. Solve 10 = -c*o - 0 for o.
-5
Suppose 0 = 2*v - 5*o - 26, o = -v - o + 4. Let q = -5 + v. Solve 5*w - q - 17 = 0 for w.
4
Let s be (3 + 0)/(9/6). Suppose 5*g - 2*l - 16 = -4, -3*l = 4*g - 5. Suppose -8*r = -g*r. Solve r = p + p - s for p.
1
Let u(i) = i**2 + i. Let y be u(1). Solve -y = -4*b + 18 for b.
5
Let v(k) = -k**2 + 4*k + 4. Let w be v(3). Solve -5*j + w = 17 for j.
-2
Let a = -93 + 97. Solve 8*m - 12*m = -a for m.
1
Suppose -5*i + 3*h = -14, 0 = -3*i + 5*h - 10*h + 22. Let m 