 + 8 = -2*x for x.
-4
Let q be 8/60 - 140/(-75). Solve 0 = q*y + 5 - 1 for y.
-2
Let o be 24/15 - (3 - 34/10). Solve o*g + 4 = 3*g for g.
4
Let h be 19/3 - (-24)/(-18). Solve 0*y - y - h = 0 for y.
-5
Let v(o) = -o + 6. Let i be (-4)/6 + (-80)/(-12). Let w be v(i). Suppose w = -l + 5*l. Solve 4 = y - l for y.
4
Suppose 4*p + 4*c - 20 = 0, 0 = -5*p - c + 4*c + 1. Solve 3*s - 4 = p*s for s.
4
Suppose -h + 166 = -3*h. Let u = -56 - h. Suppose 2*x - j - 18 = 0, 0 = -3*x - 0*x - 5*j + u. Solve -x*s + 10 = -4*s for s.
2
Suppose 2*c - 14 = -10. Solve s = -s - c for s.
-1
Suppose -3*q + 8 = -10. Let l(x) = x**2 + 21*x + 20. Let f be l(-20). Solve 2*i = -f*i + q for i.
3
Suppose -2*v + 7 = -27. Let w = v + -14. Solve t + 0*t + w = 0 for t.
-3
Let w be 2 + 1/1 + 0. Let c be ((-6)/3 - -5) + -4. Let o be 2/(-1) + w + c. Solve 0*b - 5*b - 15 = o for b.
-3
Suppose -5 = -5*g + 30. Let k = g + -7. Solve -4*q + 16 = -k*q for q.
4
Let s = -38 + 42. Solve 20 = s*y + y for y.
4
Let g(d) = 2*d**2 + 15*d - 3. Let b be g(-8). Solve -o - 8 = -b*o for o.
2
Let i be 7 - 11 - (-9 - -2). Solve 0 = -i*s + 4*s + 4 for s.
-4
Suppose 0 = 4*p - 0 - 8. Suppose -n + 4*h = -6, 2*h = -0*h - p. Solve -g = -n*g + 4 for g.
4
Let y = -36 + 45. Solve -11*l + y*l + 2 = 0 for l.
1
Let o(t) = t - 1. Let l be o(3). Let f(s) = -3*s**3 - s**2 - s. Let h be f(-1). Solve 0 = -h*x - l*x + 10 for x.
2
Suppose j - 1 = 2. Solve -j*y - y - 16 = 0 for y.
-4
Let w(o) = -o**2 + 6*o + 10. Let t be w(7). Suppose 3*l + 2*p = 11, -1 - 5 = -l - t*p. Suppose -l*m + m = -16. Solve q - 3*q - m = 0 for q.
-4
Suppose -3 = 3*i - 15. Suppose -4*g = -i - 44. Suppose -5*l + l + g = 0. Solve -l*p - 7 + 1 = 0 for p.
-2
Suppose -4*v + v = -4*l + 15, 0 = l - 5*v - 8. Solve l*j + 9 = 6*j for j.
3
Let p be 3 - ((-3)/(-5))/((-11)/(-55)). Solve p = 3*o - 2 + 5 for o.
-1
Let s = 9 - 3. Solve 5*b = s - 1 for b.
1
Let o = 45 - 42. Let w = 11 + -8. Solve 0 + o = w*r for r.
1
Suppose 7 = -4*m + 5*m. Let c be (-12)/16 + m/4. Solve 4*l = -7 - c for l.
-2
Let i(z) = 3*z - 4. Let o be i(3). Let v(f) = -f + 0*f + 2 - o. Let x be v(-7). Solve -x*c = -c + 6 for c.
-2
Suppose -o - z = -18, 0 = -o - 3*o + 2*z + 48. Let l = o + -8. Solve 0 = -2*b - l for b.
-3
Let p(q) = q**3 - 5*q**2 + 6*q - 4. Let n be p(4). Suppose -2*r = -r - n. Solve -r*c + 2*c - 6 = 0 for c.
-3
Let p = 11 - 7. Suppose 3*b = p*t - 25, -2*t = -t - 5*b - 19. Solve 12 = -t*q - 0*q for q.
-3
Suppose 2*u - 6 - 2 = 0. Let j(a) = -3*a**2 + 0*a + u + 4*a**2 + 4*a. Let i be j(-4). Solve 0 = 5*d - i - 16 for d.
4
Suppose 0 = 2*w - 4 - 2. Suppose w*j + 0*i + 17 = -5*i, -j + 5*i + 21 = 0. Let b = j - -4. Solve -4*h = -b*h - 4 for h.
-4
Let d(a) = a**2 + 3*a + 3. Let s be d(-2). Suppose -l - 4*j + 32 = 2*l, 3*l + 13 = 5*j. Let n = s + l. Solve n*v = v for v.
0
Let a = -45 - -50. Solve -20 = -10*i + a*i for i.
4
Let h(l) = 0 + 2 - 1 - 3*l. Let z be h(-9). Suppose -4*u = j - z, -3*j = -2*u - 6*j + 24. Solve 3*f + 0*f = -u for f.
-2
Suppose 1 = -3*j + 4, 3*j - 11 = -4*h. Solve -5*g + h = 12 for g.
-2
Suppose 0*f = 3*f + 5*m + 9, 3*f + 6 = -4*m. Suppose -f*c = -d - 1 - 0, -4*c - 4*d = -32. Solve 7 = u + c for u.
4
Let g(i) = -i**3 - 9*i**2 - i - 9. Let q be (24/20)/((-4)/30). Let o be g(q). Solve -5*l + 0*l + 5 = o for l.
1
Let o(y) = -y**3 - 13*y**2 + 13*y - 14. Let i be o(-14). Solve -1 = a - i*a for a.
-1
Let l = 9 - 4. Suppose -l*z = 10, g = 3*z - 0*z + 8. Solve g*n - 4*n = 6 for n.
-3
Let b = 0 + 2. Let a be 2 + -2 + b + 0. Suppose 5*m - 5*h = 40, 4*h + 8 = 3*m + 5*h. Solve a*l = m*l for l.
0
Let m(o) = 8*o**2 + o**3 - 2*o**2 + 9*o - 7 + 4*o**2. Let u be m(-9). Let x = u - -11. Solve -x*v + 4 = -3*v for v.
4
Let f be 1*(3 - 0) - 0. Let y(n) = 5 + n**2 - 4 + 4 - f - 5*n. Let p be y(5). Solve p*l + 0*l - 8 = 0 for l.
4
Let y = 5 + -2. Let f = 13 + -19. Let s be 2/f*15/(-5). Solve s + 8 = y*j for j.
3
Let i = -4 - 2. Let f be (-16)/6 - (-2)/i. Let h = 1 - f. Solve h*r - 3 - 9 = 0 for r.
3
Let h be -5 + 2 - 1/((-1)/4). Solve 3*j + 8 + h = 0 for j.
-3
Let x(w) = w - 13. Let a be x(18). Solve -11 = -a*g + 4 for g.
3
Let y(q) = -q**3 - q**2 - 2*q + 1. Let g be y(-2). Solve n + 2*n - g = 0 for n.
3
Let o(z) = z + 10. Let a be o(-8). Suppose 0 = a*r - r. Let d(l) = -l**3 - 3*l**2 + 4*l + 5. Let u be d(-4). Solve q + r = -u for q.
-5
Let t be 0/(9/((-45)/(-10))). Solve 4*h + 10 + 6 = t for h.
-4
Let v be (-78)/26 + 1 + (-4)/(-2). Solve v = -3*k + k + 4 for k.
2
Let k = -5 - -1. Let i be 1/3 - k/6. Suppose y - i = 1. Solve y*r = -2*r for r.
0
Let g(j) = 0 - 1 + j - 2. Let r be g(5). Solve 0 = 3*b + r*b for b.
0
Suppose -2*f + f + 6 = 4*n, 0 = 5*n + 5*f. Let x = 2 + n. Solve x*h + 11 = 3 for h.
-2
Let m be ((-40)/(-30))/((-4)/(-6)). Suppose 8 - m = 2*h. Solve -o + 2*o + h = 0 for o.
-3
Suppose -5*t - 18 = -3*n - 0*n, 5*n - 30 = 4*t. Solve n = 4*m - m for m.
2
Let s(q) be the third derivative of q**4/12 + 17*q**3/6 + q**2. Let k be s(-6). Solve 0 = -k*y - 18 - 2 for y.
-4
Suppose 5*o - 4*c = -0*c + 3, -2*o - 3*c = -15. Let i = o - 2. Solve 5*q - 11 = -i for q.
2
Let l = -14 - -28. Solve 2*b = l - 4 for b.
5
Let l be -1*(2 + -1) + 1. Let h = 0 - l. Suppose -6*w - 5*i + 10 = -2*w, -3*w - 5*i = -10. Solve w = -h*q - 2*q for q.
0
Let z be 2/(-6) + (-21)/(-9). Suppose z*l - 12 = -5*j, -l - 2 = -2*j + l. Solve -3 = -j*o + 5 for o.
4
Suppose 28 = -2*f + 34. Solve x = -2 + f for x.
1
Let i(u) = u**3 + 7*u**2 + 8*u + 8. Let n be i(-6). Let g be (-11)/(-3) - (-1)/3. Let j = g + n. Solve j = 5*f + 6 + 4 for f.
-2
Let c = 49 - 47. Solve -3*s = -c - 4 for s.
2
Let r(p) = -p**3 - p. Let i be r(-1). Let l be (5 - (-7 + 3)) + -6. Solve -i*o = -1 - l for o.
2
Let m be 6 - 6 - (-16)/2. Let p be (0 - 0)/1*1. Let g = 14 + -12. Solve p*v - g*v = -m for v.
4
Suppose -2*i = -17 + 13. Solve i = 2*d - 0 for d.
1
Suppose 3*u = 1 + 2. Solve -9 = 2*o + u for o.
-5
Suppose -5*q + 14 = 2*i, 4*q = q + 3*i. Let r(f) = -2*f - 4. Let c be r(-3). Let u(w) = w**3 - 3*w**2 - 2*w. Let t be u(4). Solve -t = q*g + c*g for g.
-2
Let v = 8 - 4. Let a be 0/((0 + -6)/(-2)). Let b(u) = -u. Let y be b(a). Solve 4*h - v + 0 = y for h.
1
Suppose 2*b - 6*b + 12 = 4*t, 4*b - 6 = 2*t. Let w be (t - 1)*4/(-8). Solve w = 5*q - q + 8 for q.
-2
Suppose 0*y = y - 7. Suppose -6*l + l + 75 = 0. Let g = -7 + l. Solve g*o - y*o = -1 for o.
-1
Let q = 47 - 33. Let v = -10 + q. Solve -f + v*f - 12 = 0 for f.
4
Suppose 0 = -2*v + 2, -p + 2*v - 4 + 2 = 0. Solve p = -2*x - 3 - 3 for x.
-3
Suppose q = -2*s - 4, -s - 2 = -q - 0*s. Suppose q = 7*j - 3*j. Solve j*l - 3*l = 3 for l.
-1
Let l be 1*2/(-3 + 1). Let i = l + 1. Solve 2*a + 1 + 7 = i for a.
-4
Let x(s) = -4*s**2 + s**2 + s + 2 + 2*s**2. Let v be x(0). Suppose v = 5*a - 3*r - 2, a = r. Solve -a = -f - 0 for f.
2
Suppose 12 = 3*o + r, 2*o = 4*r - 2*r. Solve -4*y = -o*y for y.
0
Suppose -4*m = -4*q + 8, 3*m - 4*q + 18 = 4*m. Suppose -5 = -p + m*p. Let h = p + 10. Solve h*k + 12 = k for k.
-3
Let o = 21 + -14. Suppose -2*l = -5*v + 4 + 3, 0 = -4*v - 3*l + 24. Solve v*j - o*j = 0 for j.
0
Suppose -43 + 153 = 5*o. Let y = 38 - o. Solve 5*c = -4 - y for c.
-4
Suppose -2*v + 3*n + 15 = -2*n, 3*v = 3*n + 18. Suppose -r = -v + 4. Solve 0 = t + 4 + r for t.
-5
Let o(m) = 2*m - 4. Let q be o(-4). Let s be (-3 - 0)*64/(-6). Let h = s + q. Solve 2*u = -3*u + h for u.
4
Suppose -15 = 5*h - 5*d, d - 15 = -5*h - 0. Suppose -3*m = -4*j + 3, 0 = -5*m + h - 7. Solve j*w + 5*w = -20 for w.
-4
Suppose -47 = -5*j + 33. Suppose -4*a - a = -35. Suppose 3*v - a = -2*p + 3, 3*v + 4*p - 20 = 0. Solve v*r - j = -4*r for r.
4
Let k = 7 - 5. Suppose 0 = -2*y + 4*y - 18. Suppose -2*g = -5*o + y, -3*o + 4 = -4*g + 7. Solve 0 = -g*s + k*s for s.
0
Let x(f) = 9*f. Let o be x(1). Let q = o + -9. Solve 0 = -4*u - q - 4 for u.
-1
Suppose -7*p = -16*p + 45. Solve -3*x - 2*x = -p for x.
1
Suppose j = -5*w - 11 + 37, 0 = -5*w + 4*j + 21. Solve -w*y + 3*y + 2 = 0 for y.
1
Let m be -1 + (-1 - 0)/1. Let l be 1 + m/2*1. Suppose 2*a - 4*f = l, 0 = 2*a + 6*f - 3*f. Solve a = -2*k + 5*k for k.
0
Let k(q) = q + 12. Let i be k(-9). Suppose 2*f + 2*x = -i*f + 19, -11 = -3*f - x. Let t be 3 - (-3 + (f - 0)). Solve 0 = -l + t*l for l.
0
Let u = -96 - -99. Solve 0 = -3*a - u - 3 for a.
-2
Suppose u - 6*u + 10 = 0. Let j(w) = -u*w - 2*w + 3*w - 1