*q**2 - 2*q. Let h be k(-1). Solve 3*r - 16 = h*r for r.
-4
Let x = 22 - 10. Solve 0 = -2*v - v - x for v.
-4
Suppose 4 = -3*k - 5*u + 32, -2*u + 4 = 0. Solve 2*x = -x + k for x.
2
Suppose 3*u + 0 = 6. Let t(d) = -d + 6. Let x be t(5). Let z = x + u. Solve 12 = -z*y - 0 for y.
-4
Let n be -1 + (-6)/(-4)*6/9. Solve 9 = -3*o - n for o.
-3
Suppose -29 + 43 = 2*h. Solve 5*s - h = -22 for s.
-3
Let t = 0 - 0. Suppose -2*y + 6 = -t. Suppose 5*j + y*z = 46, -z = j - 3 - 7. Solve q - j = -3*q for q.
2
Suppose -t + 30 = 2*m, -t - 3 = -m + 12. Suppose -6 = 4*x - 5*x. Solve -x*i + m = -i for i.
3
Let o = 4 + 1. Suppose -2*g + 2*d + 51 = 13, -5*g - 2*d = -81. Solve g = -3*t + o for t.
-4
Suppose -4*i + 8*a = 3*a - 38, -5*i + 37 = -a. Let x be i/((-1)/(-3)*3). Let w = 8 - x. Solve w = -5*j - 4 for j.
-1
Let j = 13 - 9. Let g = j - 3. Solve g = s - 0 for s.
1
Suppose 2*i - 6 = -2*v, 2*i - 6*i = -v - 7. Solve -4 = -a - i for a.
2
Let x(g) = g - 1. Let c(n) = 12*n - 8. Let j(v) = -2*c(v) + 28*x(v). Let h be j(5). Solve h*r - 4*r - 4 = 0 for r.
1
Let z(q) = -q**3 - 6*q**2 - 6*q + 2. Let d(v) = 4*v + 3. Let y be (0/3 + -2)*1. Let f be d(y). Let c be z(f). Solve -c*x = -3*x - 16 for x.
4
Suppose -5*k - 13 = 12. Let v be 4/10 - 18/k. Solve 0*p - 16 = v*p for p.
-4
Suppose m - 3*h + 15 = -4*h, -3*m + 2*h = 30. Let l = -7 - m. Suppose -l*c + 15 = -2*c. Solve -c*q - 8 = 12 for q.
-4
Let x(f) = f**2 - 5*f - 6. Let g be x(6). Suppose -3*i = 3*h - 3, 0 = -h + 3*i - 15. Let y(s) = -s + 2. Let o be y(h). Solve g + o = -n for n.
-5
Suppose -4 = -r - 0. Suppose 0 = 5*g + 113 + 7. Let m = -16 - g. Solve 4*p - r = m for p.
3
Suppose -j - 1 + 26 = u, -3*j + 35 = u. Solve 5*z = z - u for z.
-5
Suppose -3*c + 3 = -9. Let g(w) = 9*w**3 + w**2 + w + 1. Let p be g(-1). Let y be 1*2*(-20)/p. Solve -c*d = -y*d - 4 for d.
-4
Let s = 67 + -39. Let a = s + -26. Solve -l = l - a for l.
1
Let j be (-1 + 1)/(1/1). Let m be 3/(-6)*2*j. Solve 3*l = -m*l for l.
0
Suppose -3*d + 0 = -6. Solve 2 + d = -4*k for k.
-1
Let c be (-3 + 186/30)*(-10)/(-4). Solve c = p + 3 for p.
5
Let k(a) = a**2 - 8*a + 8. Let s be k(7). Solve -3*r = -2*r + s for r.
-1
Suppose -10 = 7*p - 31. Solve p*k = -5 - 7 for k.
-4
Let d = -14 + 29. Let h(x) = x**2 + 12*x + 8. Let f be h(-11). Let k be (-14)/(-3) + 2/f. Solve d = p + k*p for p.
3
Let z(p) = 2*p**2 - 21*p + 42. Let w be z(8). Solve 0*k - 4 = w*k for k.
-2
Let g be 5*(-6)/(-10) - 3*1. Solve g = -3*u + 4 - 1 for u.
1
Suppose 2 = -5*l + 27. Suppose 5*g + l*x - 25 = 0, -5*g + 3*x = 2*x - 31. Solve 0 = -d - g + 2 for d.
-4
Let d = -4 + 12. Let a be -3 - (-28)/d*2. Solve 0 = 4*u + 8 + a for u.
-3
Suppose 26*c + 4 = 27*c. Suppose 0*m = 3*m - p - 11, -33 = -4*m + 5*p. Let r be (0 + 0)/(0 - m). Solve r*z = -c*z - 8 for z.
-2
Suppose -2*f = 2*f + a - 19, 3*f - 9 = a. Solve f*h + 8 = 2*h for h.
-4
Suppose -5 - 13 = -3*u. Let s = 0 + 3. Solve -s = -f - u for f.
-3
Suppose -3*t - 10 = -5*v, 0 = -3*t + 2*v - 3*v + 2. Let p = t - -3. Suppose 9 = w + 4*u - 6, -5*w + 75 = -3*u. Solve -w = -p*z - 2*z for z.
3
Suppose -3*b = -b - 6. Let s be 0/((-9)/b) - -2. Solve -s*n = n for n.
0
Suppose 0 = 3*g + g - 160. Suppose -6*h + g = -4*h. Solve -4*q - q = -h for q.
4
Suppose -12 - 6 = -3*x. Suppose -20 = 2*k - x*k. Solve 0*u = k*u - 20 for u.
4
Let a = 1 - -9. Solve -5*l - 25 + a = 0 for l.
-3
Suppose o - 2*o = p, -2*p = 5*o. Solve 6*g - 5*g = o for g.
0
Let y be ((-49)/3)/(2/(-6)). Let t be 16/7 + (-14)/y. Solve 0 = -s + t*s + 2 for s.
-2
Suppose -4*x + 2 = -5*v, -3*x + x - 5*v + 16 = 0. Solve -x = b - 4*b for b.
1
Let d = -2 + 2. Solve d = -3*c + c for c.
0
Let w(a) = -a**3 - 5*a**2 - 10*a - 9. Let b be w(-4). Solve 0 = -2*c - c - b for c.
-5
Let o(y) = -3*y**3 - y**2 - y - 1. Let z be o(-1). Let b(r) = -r - 7. Let g be b(-5). Let p = g - -2. Solve 0 = -p*i - z*i for i.
0
Let f be ((-1)/3)/((-2)/12). Suppose 0*w = j - f*w - 9, 4*j + 5*w - 10 = 0. Solve -5*c + 4*c - j = 0 for c.
-5
Let f = -1 - -2. Let x be (-3)/(1/2*-2). Suppose -5*a + 13 = 5*o - 4*o, 0 = -x*a + o + 11. Solve y - f = a for y.
4
Let y = 50 - 30. Suppose -5*d + y = 0, 2*d + 2*d - 10 = n. Solve 0*g + n = -2*g for g.
-3
Let r(b) = b**3 + 6*b**2 - 3*b - 2. Let n be r(-6). Solve -4*t - n = -0 for t.
-4
Let z(f) = -f**2 + 4*f. Let g be z(2). Let a be 1*(2 - 1) + -1. Suppose 2*y - g*s = -4, a*y - 2*y + s + 8 = 0. Solve 0*t + y = 3*t for t.
2
Suppose -20 = -m - 0*m. Solve 5*c - c = m for c.
5
Let l(x) = 3*x**2 + 2*x - 1. Let u be l(1). Solve u*o + 16 + 0 = 0 for o.
-4
Let l(b) = -1 - 12*b**2 + b - 3 + 2 + 13*b**2. Let g be l(-3). Solve v = -g - 1 for v.
-5
Let r(i) = -2*i + i + 0*i**3 - i**3. Let l be r(0). Solve l*f - 3 = -f for f.
3
Suppose 2*n + 3 - 5 = 0. Let w be n/2 - 3/(-6). Solve -o - 4 = -w for o.
-3
Suppose -2*y - y - 3*g + 27 = 0, -2*g = -4. Suppose -y + 4 = -l. Suppose 3*v - 3*s = -5*s + 2, -v + 4 = 4*s. Solve v = -l*x + 4*x - 4 for x.
4
Let n(k) = -7*k + 2. Let b be n(-4). Suppose 5*j - b = -4*z, -19 = -2*j - 0*j - 3*z. Solve -j*x + 7*x + 15 = 0 for x.
-3
Let p = 58 - 40. Solve -p = 5*j + 2 for j.
-4
Let b(i) = -i + 2. Let j be b(-3). Let m = j + -2. Let a be m*2/(-6)*-10. Solve -3*q - a = 2*q for q.
-2
Let c = 16 + -8. Suppose -2*d = -0*d - c. Let u(x) = -x**2 + 6*x + 2. Let n be u(d). Solve g = -g - n for g.
-5
Let n(x) = x + 2. Let i be n(-6). Suppose 20 = 3*u - 7*u. Let g be -5*i*(-1)/u. Solve c - g = 2*c for c.
-4
Let a = -1 - -2. Let i(h) = -h**3 + 2*h**2 + 5*h - 4. Let s be i(3). Suppose 21 = k - d, 0*k + 15 = k + s*d. Solve 5*w - a = k for w.
4
Suppose -6 = -10*n + 4*n. Solve -3*c = n - 7 for c.
2
Suppose -4*z - 4*m + 52 = 0, z + 3*m = -0*m + 23. Solve -j - z = j for j.
-4
Let z(b) = -b**3 - 6*b**2 - b - 5. Let v be z(-6). Solve -4*n = -v - 15 for n.
4
Let f(w) be the third derivative of w**5/60 + w**4/6 - w**3/2 - 2*w**2. Let h be f(-5). Let k = 27 + -7. Solve -k = 3*q + h*q for q.
-4
Let o be (-27)/(-4) + (-6)/8. Let w be (-5)/((8/o)/(-4)). Solve -w = 2*y + y for y.
-5
Suppose 0 = -2*o - o - 36. Let r be (-16)/6*o/(-8). Let f = -1 - r. Solve -f = -3*c - 18 for c.
-5
Suppose -2*r + 2*a = -12, -20 = -4*r + 7*a - 4*a. Solve 0 = r*p + 2*p + 12 for p.
-3
Suppose i = 3, 3*u - 21 = -3*i - i. Let x = 11 - u. Solve 4*h = -0*h - x for h.
-2
Suppose 3*n = -n + 24. Suppose n*u = 2*u. Suppose u = 3*r + 3 - 15. Solve -r*l = -4 + 12 for l.
-2
Suppose k + 14 = -4*g, 1 = 2*k - 3. Let q = 4 + g. Suppose q*n = 4*n - 12. Solve -n - 9 = 3*s for s.
-4
Suppose -2*v + 2*h = 1 + 3, -2*v = -h - 1. Solve v*g = -4 + 19 for g.
5
Let i(d) be the third derivative of d**5/60 - d**4/8 - d**3 + 3*d**2. Let t be i(5). Solve -4*w = t + 8 for w.
-3
Let t be (-1 - 0)*(7 + -8). Solve j - 2 = t for j.
3
Suppose 13*v - 8 = 12*v. Solve 2*c + v + 0 = 0 for c.
-4
Let j = -164 + 166. Solve -j*x - 4 = -12 for x.
4
Let g = 43 - 65. Let x be (-230)/(-55) - (-4)/g. Solve -x*t + 22 - 6 = 0 for t.
4
Suppose 0*d - d + 9 = 0. Let s = d - 5. Suppose 3*v = 7 + 2. Solve -v*w + s = 19 for w.
-5
Let t(m) = -m**3 + 10*m**2 + 13*m - 13. Let b be t(11). Solve 0*p - 3*p = -b for p.
3
Suppose 0*m + 3*m - 4*p - 9 = 0, 5*m = 2*p + 29. Let r be m + -2 + 0 + 0. Suppose -5 = -3*h - 0*h + 2*z, 1 = r*h + 4*z. Solve c + 0*c - h = 0 for c.
1
Let s(a) = 5*a + 20. Let m(z) = -3*z - 10. Let d(u) = -1. Let b(n) = -3*d(n) - m(n). Let c(g) = -8*b(g) + 5*s(g). Let v be c(6). Solve v*y - 6 = 5*y for y.
-2
Let u(t) = 4*t + 10. Let s(c) = -c - 1. Let f(n) = 5*s(n) + u(n). Let a = -1 - -6. Let o be f(a). Solve -i + o = 1 for i.
-1
Suppose 12 + 4 = 4*u. Suppose -12 = 2*m - 4*y, 0*m + 14 = -m + u*y. Suppose 0 = -v + 4*t + 8, 10 = v + 2*v + m*t. Solve v*q = 2*q for q.
0
Let m(r) = 5*r + r**2 + 2 - 2*r**2 - 14*r. Let d be m(-9). Suppose 0*k = -d*k + 20. Solve -2*f - 4 = -k for f.
3
Suppose -2*p + 4 = -0. Solve s = -p*s for s.
0
Let n be (-2)/(-1 + 21/24). Let v = -2 - -2. Suppose -5*j + 14 = 4. Solve -6*l + j*l + n = v for l.
4
Suppose 13 = -5*x + 48. Suppose 0*d + i + 5 = 3*d, -i = -4*d + x. Suppose -2*a + 8 + d = 0. Solve 8*h - a*h = 0 for h.
0
Let u(f) be the third derivative of f**3 + 0*f + 1/24*f**4 - f**2 + 0. Let y be u(-3). Solve -5*q - 17 = y for q.
-4
Suppose 3*i = 2 - 14. Let g be (-1 - -3) + i/(-2). Solve g*r - 6 = 2 for r.
2
Let c(z) = -z**3 + 3*z**2 - 4*z + 2. Let g be