4*x - s for x.
-4
Suppose -c + 5*g + 7 = -5, -5*c + 5*g = -20. Let a = 0 + 2. Solve 0 = 4*k + c + a for k.
-1
Suppose 0 = -0*a + 4*a - 16. Suppose x - 1 = -a*j - 15, 5*x + 2*j = 2. Solve 0 = -6*h + x*h for h.
0
Let w(p) = p**2 + 3*p + 3. Let c be w(-4). Let r(u) = -u. Let v be r(-3). Let i = 9 + -8. Solve -i = -v*j - c for j.
-2
Suppose 3*f - 4 - 11 = 0. Solve f + 10 = 3*z for z.
5
Suppose 20*n = 11*n + 18. Solve n*j = -2 - 4 for j.
-3
Let l(o) = -o**2 + 4*o - 3. Let w be l(2). Let m = 0 + w. Suppose -q - 5*s + s = -12, -4*s = -8. Solve 0 = -q*h + m - 9 for h.
-2
Let b = -6 + 12. Let m be (-12)/2*(-8)/b. Suppose j - m - 4 = 0. Solve 2*p = -2 + j for p.
5
Let f = -11 - -27. Suppose v - 5 = 0, 7*s - 5*v + f = 4*s. Let k(r) = -r + 4. Let l be k(4). Solve l = s*j - 6*j for j.
0
Let m(r) be the first derivative of 5*r**4/2 - r**3/3 + r + 1. Let q be m(1). Let z = q - 2. Solve z = a - 3*a for a.
-4
Let i = -6 - -6. Let l = i + 0. Let w be (l - -1) + (-18)/(-6). Solve -15 - 1 = w*x for x.
-4
Let b(g) = -g**3 - 3*g**2 - 4*g - 2. Let r be b(-2). Solve -r*h - 2*h + 8 = 0 for h.
2
Suppose 2*q + 3*q + 3*j + 2 = 0, 4*j = -5*q - 6. Suppose 6 = 4*k - 4*y + q, -k - 3 = -3*y. Let s = 6 - k. Solve 6 = -s*p - 6 for p.
-4
Suppose 2*k = -0*k + 20. Let l be (-3)/(-9) - (-20)/12. Suppose -l*g = -g - 4. Solve 0 = -g*w + k + 6 for w.
4
Let l = 87 - 87. Let f = 2 + -2. Solve f = -4*v - l*v for v.
0
Let v(o) = -o**3 - o**2 + o. Let u(x) = -6*x**3 - 13*x**2 + 15*x + 12. Let y(s) = -u(s) + 5*v(s). Let k be y(-9). Let l = -1 - k. Solve -2 = -2*j + l for j.
2
Let k(h) = h**3 + 12*h**2 + 18*h - 9. Let i be k(-10). Let r = -7 - -11. Suppose -p = 3*l - 18, -r*p = -p - 5*l + 16. Solve 2*o + i = p for o.
-4
Suppose w - 2 = -2*o, 7 = -5*o - 2*w + 14. Suppose -o*x + 3*s = -3, -x + 3*s = -4*x + 21. Solve 3*m = 1 - x for m.
-1
Suppose -2*s = -s. Solve s = 2*m - m for m.
0
Suppose -4*i - 4*c + 24 = 0, -4*i - 5*c - 10 + 38 = 0. Suppose -4*l = 27 - 95. Let s = l + -15. Solve -2*m + i = -s for m.
2
Suppose 54 = -4*b - 6. Let x = 19 + b. Solve -x*c - 4 = -3*c for c.
-4
Let k be ((-6)/9)/(4/(-18)). Suppose 2*p + 2*p = -5*c + 25, -28 = -3*c - 5*p. Suppose 5*v - z - 23 = 0, 0*z - 19 = -5*v + 3*z. Solve k*h - c = v for h.
2
Suppose -5*g - 5 = -5*b, 18 = 5*b - 2*g + 10. Solve 4 + 2 = -b*a for a.
-3
Let v(s) = -s**2 + 1. Let k be v(-2). Let z be (k - -3)/(0 + -2). Solve 5*u - 33 + 13 = z for u.
4
Suppose 5*g = -20 + 5, -b = -g - 3. Let z = 147 + -123. Solve b = 4*y + z - 8 for y.
-4
Suppose -2*k + 39 = -4*q + 153, 2*q + 5*k - 27 = 0. Suppose -5 = -u - d + 3*d, 4*u - 2*d = q. Let s be 4/14 + (-4)/14. Solve s = 2*x - u*x - 20 for x.
-4
Let y be 0/((-3)/(-3)) - -1. Suppose -2*m + 5*m = f + 6, -m + 2 = -2*f. Solve f = 5*b + 14 + y for b.
-3
Let a(w) = 2*w - 4. Let j be a(3). Suppose j*s + i = 4, 4*s = 2*i + 1 + 7. Solve 5*l = s + 8 for l.
2
Let b be (4 - 0)/1 - -1. Solve p = -b - 0 for p.
-5
Suppose -2*j = j + 6. Let v be 2/(-4)*j*1. Suppose 0 = 2*l + l + 5*n - v, -5*l = -n - 11. Solve l*g = -g for g.
0
Let u be 0 - (7 - 1)/(-3). Suppose u*p + 5 = 35. Let k = 10 + -7. Solve -4*c - p = -k for c.
-3
Suppose -4*m = 3*n - 9, -3*m + m + 6 = 2*n. Solve m*k + 5 = k for k.
5
Let f = 15 + -8. Solve -f*x + 6 = -4*x for x.
2
Let m(w) be the first derivative of w**4/4 + 5*w**3/3 - w**2/2 + w + 2. Let v be m(-5). Let x(o) = -o**2 + 6*o + 4. Let d be x(6). Solve -d = 5*h + v for h.
-2
Suppose 4*t + 7 = 3*g + 19, -3*g - 12 = 0. Suppose t*h = 5*h. Suppose -4*s = 5*m - 41, h = -3*m + 4*s - 2 + 1. Solve -m*j = -0*j for j.
0
Let r be (-2)/(-4)*(5 - 5). Solve r = -2*z + 6*z for z.
0
Suppose 0 = 2*b + 2*f - 5*f - 57, 2*f = 6. Suppose -2*s = -2*h - s + 19, 4*h - 3*s = b. Solve h = -7*y + 3*y for y.
-3
Suppose 3*h + 17 = d, -5*d - 6 = -3*d + 4*h. Solve 0 = -d*m + 4 + 6 for m.
2
Let u(v) = 3*v - 8. Let m be u(4). Solve m = 3*r - 5*r for r.
-2
Suppose 5*p - s = -59, -5*p - 34 - 24 = -2*s. Suppose 0*q + q = -5*u + 5, -2*u + 4*q + 2 = 0. Let c be p*(-1)/3*u. Solve -3*z + c - 1 = 0 for z.
1
Suppose -h + 2*x = 4, 0 = -4*h + 3*x - 5 - 1. Suppose w + 11 = 2*i, -4*i = 2*w - h*w - 10. Suppose 3*r = i*r - 8. Solve 3*b = 5*b + r for b.
-4
Let q(h) = -h**3 - 13*h**2 + 14*h + 3. Let c be q(-14). Suppose -5*x + 12 = 4*y, -5*y + c = 3*x - 12. Solve 0 - y = o for o.
-3
Suppose u = 6*u - 15. Solve -f + 8 = u*f for f.
2
Let f(j) = -j. Let d(t) = -4*t + 7. Let w(r) = -d(r) + 2*f(r). Let h be w(6). Solve h*g + 26 = 1 for g.
-5
Suppose 0 = 4*t - 9 - 107. Solve -4*w - t = -9 for w.
-5
Let u(g) = g**3 - 3*g**2 + g. Let b be u(3). Suppose b = -2*f + 9. Solve 0 = 2*x - f + 9 for x.
-3
Suppose -2*i = -5*c + 2 + 1, 2*i = 4*c + 2. Suppose -3*l = -4*t - 25, -3*t - 3 + 0 = 0. Let y = i - l. Solve y = -w + 9 for w.
5
Let n be (-15)/(-9) + (-1)/(-3). Let t be 3/(n - -1 - 2). Suppose t*j = -g + 23, 3*j - 5*g = -0*g + 11. Solve -2*c = -j*c - 10 for c.
-2
Suppose 39 = 5*b - 5*r + 4, -2*b - 7 = 5*r. Solve -8 - 8 = -b*q for q.
4
Let t be 0/8*(-2)/6. Suppose -3*s = q + 6, t = -q + 2*s + 5 - 1. Solve q = -5*y - 8 - 7 for y.
-3
Let j(d) = d**2 + 3*d + 1. Let v be j(-3). Solve -2 = i + v for i.
-3
Suppose -2*k - k + 34 = -4*d, 0 = 4*k + 3*d - 12. Solve 3*t - k = 5*t for t.
-3
Let v(p) = -22*p**3 - p**2 - 2*p - 1. Let z be v(-1). Suppose -n - t + z = 0, 0*n - t = 2*n - 42. Solve -3*m + n = 2*m for m.
4
Suppose n + w = 2, 5*n + 3*w = -0*n + 10. Solve d = -n*d for d.
0
Let t(u) = -4*u**2 + 24*u + 6. Let z be t(6). Solve 3*v = -z - 0 for v.
-2
Suppose -2*o + 7 = -3*o + 5*a, -4*o + 2*a + 8 = 0. Suppose 0 = -s + 2*u + 3 + 9, -4*u = -3*s + 26. Solve x = s*x + o for x.
-3
Let y be 2/16 - (-135)/72. Solve -y*p - 3 = -13 for p.
5
Suppose -3*c = -4*q + 3*q + 3, -3*q + 9 = -c. Solve h + q*h + 12 = 0 for h.
-3
Suppose 2*w - 7*w = -25. Let h(m) = 2*m - 2. Let i(b) = -b + 3. Let y(k) = -2*h(k) - 3*i(k). Let j be y(-8). Solve w*g = -j + 18 for g.
3
Suppose 2*d - 25 = -3*d. Solve 0 = d*g + 12 + 13 for g.
-5
Suppose -2*h + 27 = 5*a, -3*a + 8 + 5 = -2*h. Let r = -8 + 12. Suppose -4*k + 12 = -0*k. Solve k = r*x - h for x.
1
Suppose -6*b = -9*b + 18. Solve -b + 1 = 5*r for r.
-1
Let r(a) = a**2. Let f(d) = -d - 6. Let x be f(-8). Let p be r(x). Suppose 0 = g - 0*s - 5*s - 29, 3*s = p*g - 31. Solve 0 - g = -4*l for l.
1
Let v be (-1)/2*24/(-3). Suppose c - o = 0, c = -o - 2*o - 4. Let m = v + c. Solve -f - 2 = m for f.
-5
Suppose -60 = -u - 5*u. Solve 3*t - t + u = 0 for t.
-5
Let g = -24 - -28. Solve 2*v = g*v for v.
0
Let i(q) = q**2 + 2*q. Let j be i(-3). Solve j = -l - 2*l for l.
-1
Suppose -5*c = -3*c - 24. Suppose 6 = -3*q + c. Solve -4 = -r + q*r for r.
-4
Suppose 0 = 3*d + 2*d - 15. Suppose 3 = d*g - 9. Suppose 11 - g = k. Solve -2*n + k + 1 = 0 for n.
4
Let w = 7 + -6. Suppose 2*b = -6, 4*x + 5*b = -0*b + 49. Solve 3*g = -w + x for g.
5
Let r = 13 - 5. Let i = -18 + r. Let n be (-28)/i + (-1)/(-5). Solve n*d - d = 8 for d.
4
Suppose -2*t + 2*m - 5*m = -17, 0 = -3*t + 4*m. Solve -t*a - 10 = a for a.
-2
Suppose 5*a = 0, 4*u - 5*a + 12 = u. Let o be 0 - u - 1/(-1). Let g be 1*5/(o/3). Solve -4 = g*i - 4*i for i.
4
Let g(o) = 2*o + 1. Let b be g(1). Let s be b - 1 - 8/(-1). Solve 0*l + s = -2*l for l.
-5
Let d be -2 - -3 - (-1 - -1). Let r(h) = -h + 5. Let a be r(4). Suppose -w = -a - d. Solve -8 = -2*f - w for f.
3
Let d(c) = -c**3 + 3*c**2 + 4*c - 3. Let a be d(4). Let o be (1/a)/((-2)/24). Solve o = -2*m - 6 for m.
-5
Let x(q) = q + 2. Let t(a) = -a. Let n(b) = 2*t(b) + x(b). Let p be n(1). Solve -14 - p = -5*m for m.
3
Suppose s + 2*f = 6, -4 - 12 = -5*s - 3*f. Solve 0 = -s*l - 10 - 0 for l.
-5
Suppose 4*o - 13 - 3 = 0. Suppose -4*p = -3*s - 17, 2*p - 5*s = 8 + 11. Solve -p*u - o = 6 for u.
-5
Suppose 2*u + 4 = -2*l - 0*l, -3*u - 12 = 0. Solve -6*d - 20 = -l*d for d.
-5
Suppose -5 = -3*g + 7*g - k, 5*g - 3*k = -15. Solve g = 3*f + f + 12 for f.
-3
Let u = 73 - 72. Solve u - 5 = -r for r.
4
Suppose -q - 32 = -3*q. Let j = 39 + -35. Solve 4 = j*w + q for w.
-3
Let z(f) = -f**2 - 3*f + 2. Let a be z(-3). Suppose 3*n - 18 = 3*u, a*u + 10 = -2*n - 2. Let r = u + 8. Solve v = r + 2 for v.
4
Suppose 2*n = 4, -3*i + 0*i + n + 4 = 0. Solve -2*y = i*y + 12 for y.
-3
Let m(s) = -s**3 + 6*s**2. Let h be m(6). Let v be (24/(-42))/((-1)/7). Suppose 2*t - 6 = v. Solve -2*j - 3 - t = 