= 5*m - m. Solve 5*l + 3 + 2 = g for l.
-1
Suppose -5*i + 13 = 108. Let y = -11 - i. Solve -3 = 5*p - y for p.
1
Suppose -x - x = -6. Solve 0*v = 3*v - x for v.
1
Let o(q) = q**2 + 3*q + 3. Let r be o(0). Solve 5 = -r*v + 8*v for v.
1
Suppose -2*v = 16 + 4. Let z be (-4)/v - (-10)/(-25). Solve r = 3 - z for r.
3
Suppose -7 = 2*m - 3*t + 9, 4*m + 16 = -2*t. Let g = -4 - m. Suppose -g - 15 = -2*q. Solve 2*i = -2*i - q for i.
-2
Let r be 48/21 + ((-20)/(-14))/(-5). Solve -2 = r*k - 0*k for k.
-1
Let j = 181 + -181. Let k(p) = -p**2 - 3*p + 4. Let h = 4 + -7. Let s be k(h). Solve j = -z + s*z + 15 for z.
-5
Let t(k) = -9 - 16*k + 3*k**2 + 7*k + 3*k**2 + k**3. Let p be t(-7). Solve p*v - 5 = 4*v for v.
5
Suppose -4 = -2*p - 0. Suppose -15*s + 11 = -4*s. Solve 1 + s = p*d for d.
1
Let o(k) = -4*k. Let s(y) = y**2 - 3*y - 1. Let j be s(3). Let p be o(j). Solve i + p*i + 20 = 0 for i.
-4
Let d(u) be the third derivative of -u**4/24 + 5*u**3/3 + 2*u**2. Let h be d(6). Solve -5 = h*f + 11 for f.
-4
Let q(b) = -b**3 + 5*b**2 - 3*b - 3. Let o be q(3). Let v(j) = j + 2. Let p be v(o). Solve -3*t - p - 4 = 0 for t.
-4
Suppose -3*z + 1 = -2. Let u be z/3 + 20/12. Let p(c) = c**2 + c + 1. Let g be p(-2). Solve 3 = u*t - g for t.
3
Let t(x) = -x**3 + 6*x**2 - 5*x. Let r be t(5). Suppose 2*w + r*w - 8 = 0, -3*z + 16 = 4*w. Solve 3*i + 12 + 3 = z for i.
-5
Let b = 6 - 5. Let m be b - 2 - 6/(-2). Suppose 2*p - 5*t + 11 = 0, m*p + p = -5*t + 21. Solve p*c - c - 1 = 0 for c.
1
Let x = 2 + 0. Suppose 0 = -x*c + 5*s - 3, c - s = -2*c + 2. Let b be (c/((-3)/18))/(-2). Solve 5*y - b = 7 for y.
2
Let g(j) be the first derivative of j**2/2 - 5*j - 1. Let y be g(5). Solve 2*z + 2 = -y*z for z.
-1
Let g be (-1 - 0)*(0 - 3). Suppose -2 = 2*l, -3*j + 2*l + 25 + 1 = 0. Solve -a - g = -j for a.
5
Let d = 1 + 0. Suppose -4*o = d - 5. Suppose w - 6 = -o. Solve -w*i - 27 = -2 for i.
-5
Suppose 2*s - s - 15 = 0. Suppose 3*h + 3 = s. Solve 13 - 5 = h*f for f.
2
Suppose 0 = -v - 4 + 6. Solve 6 = -o - v*o for o.
-2
Let q(m) = -7*m**2 - m - 2. Let j(f) = -3*f**2 - 1. Let w(a) = -9*j(a) + 4*q(a). Let d be w(-4). Solve -3 = 4*s + d for s.
-1
Suppose 3*d = -d. Let o = d - 8. Let l(z) = z + 11. Let h be l(o). Solve u - 2*u - h = 0 for u.
-3
Let n(m) = -2*m - 7. Let u be n(-5). Suppose -4*p + t + 6 = 3*t, 0 = -u*p + 5*t + 37. Solve p*a - 11 = 9 for a.
5
Let x be (-3 + 3 + 1)*1. Suppose 5*u = -3*k + 31, -2*u = -k + x - 9. Solve 0 = -2*l - k*l + 20 for l.
5
Suppose y - 4*d = -6, 10 + 8 = -3*y - 2*d. Let m = 9 + y. Let q be (13 - -8) + 4 + 0. Solve q = 2*h + m*h for h.
5
Suppose -3*r + 6 = -0*r + 3*b, 0 = 3*b. Suppose w - 2*d = 5, -d = -r*w - 2*d + 5. Solve -2*f = w*f for f.
0
Suppose -3*n = 4*j + n + 8, 5*j + 6 = -4*n. Suppose 0 = -c - w + 4, -c - c - w + 8 = 0. Solve -c*h + 6 - j = 0 for h.
1
Suppose -9 = -5*z + 2*z. Let k be z*21/9 - 3. Suppose -4*a + k = -20. Solve -a = 2*q - 0*q for q.
-3
Let w(c) = c**2 + 5*c. Let s be w(-5). Let a(g) = -g**2 - g + 6. Let h be a(s). Suppose 2 + 16 = 4*t + 2*x, t - x - h = 0. Solve v - t*v = 0 for v.
0
Suppose -2*l = -l + 13. Let d = 9 + l. Let f = d - -6. Solve f*m = 12 - 4 for m.
4
Let u(c) = c**3 + 5*c**2 - 2*c - 1. Let g be u(-5). Let l = g + -5. Solve -o = o + l for o.
-2
Let l = -7 + 11. Let b(t) = t**3 - 5*t**2 + 4*t + 1. Let v be b(l). Suppose 10 = y + v. Solve 4*a = a - y for a.
-3
Let y = 11 - 6. Solve 3*w + 2 = y for w.
1
Let n(t) = 2*t**2 + 31*t - 1. Let u be n(-16). Solve x + u = -2*x for x.
-5
Let i(n) be the third derivative of n**5/30 + n**4/6 - n**3/6 - 2*n**2. Let j be i(-3). Solve -j*d - 20 = -d for d.
-5
Let g be (-4)/14 - (-150)/35. Suppose -g*s = 4*z + 4 - 24, -3*s = -3. Let i be (2 + 2)*5/z. Solve -i*p + 0*p = -25 for p.
5
Suppose 4*l = 5*z + 11, z - 2 = -z. Suppose 4 + 16 = l*j. Solve j = -t + 3 for t.
-2
Let y(m) = -m**3 - 6*m**2 - 6*m - 5. Let v be y(-5). Let n = -23 - -35. Suppose 3*j - 33 + n = v. Solve -3*t + 16 = -j*t for t.
-4
Let p be (2 + -1)/((-2)/(-34)). Suppose -5*i + p = 2*s, -4*i = -i - 9. Suppose -5*d - s = -2*v + 25, 5*d + 20 = 0. Solve 0*h - v = 3*h for h.
-1
Suppose 5*x - 30 = -3*n - 13, -5*x = -5*n + 15. Suppose -p - 12 = -n*p. Solve 0 = p*i - i for i.
0
Suppose -3*v = -5*v. Solve -2*f + 2 - 8 = v for f.
-3
Let p(s) = -s**3 + 2*s**2 + 4*s - 1. Let b be p(3). Suppose -3*x = -102 - 48. Suppose 5*a = -5*d + x, -5*d + 38 = -2*a + 6*a. Solve -b*u = u + a for u.
-4
Let f be (-32)/(-24) - 10/(-6). Solve -f*u - 2 = -11 for u.
3
Let q = -6 - -10. Solve 3*o - 2*o + q = 0 for o.
-4
Suppose y - 3*n = -5, 0*y + 2*n = -y + 10. Suppose -u + y*u - g = 17, u - 2*g - 14 = 0. Let l(p) = p**2 + 1. Let v be l(-3). Solve v = -u*s - s for s.
-2
Suppose v - 120 = -4*v. Suppose -4*x + 3*k = -116, x - v = 2*k + 5. Let l = 41 - x. Solve l = -g + 5*g for g.
3
Let n(i) = -i**2 + 17*i - 26. Let r be n(15). Solve -3*y = y + r for y.
-1
Let u be (-28)/21*6/(-4). Solve 4*f = u + 2 for f.
1
Let w = -2 - -5. Suppose -r - 5*o = 13, 0*r = -w*r - 2*o. Solve -3*l = -r - 7 for l.
3
Suppose 58 - 8 = 2*x. Solve -r - x = -6*r for r.
5
Suppose 2*d - 3*h = -d - 21, d - 3*h + 13 = 0. Let l be -3*d/(24/14). Solve -l + 27 = -4*c for c.
-5
Let r(i) = -5*i - 15. Let q be r(-3). Solve q = 3*y - 2 - 7 for y.
3
Let c be -4*(-146)/36 - 18/81. Solve -4*s = -0*s + c for s.
-4
Let h be -8*((-9)/(-4))/(-3). Suppose -2*t - t - 6 = 0, 3*t + h = -p. Suppose -4*a - 12 + 36 = p. Solve 6 = -3*l - a for l.
-4
Suppose -11 = -3*k - 5. Solve k*b + 5 = b for b.
-5
Suppose -l - 4 = 5*v, -2*v - 4*l - 12 = -l. Let d be 7 - 3 - 1 - v. Solve d*s - 6*s + 15 = 0 for s.
5
Let n be (3*(-8)/12)/(2/(-4)). Solve -n*f + f - 9 = 0 for f.
-3
Let u(l) = -l**2 + 5. Let k be u(-4). Let m(f) = f**2 + 9*f - 15. Let a be m(k). Solve 0 = -2*d - a + 3 for d.
-2
Let h = 1 - 2. Let t be -2*(2 + -1)*h. Suppose -2 + 0 = -t*b. Solve b - 7 = 3*d for d.
-2
Let p be 2 - 14/(-6) - (-12)/18. Solve -p*y + 4*y = 5 for y.
-5
Suppose h - 4*q = -1 + 26, 4*h + 2*q - 10 = 0. Let o(y) = -y + 5. Let w be o(h). Solve w = 2*c + 2*c - 12 for c.
3
Let b(f) = f**2 - 7*f + 3. Suppose 0 = 3*u + 2 - 5, -5*u - 19 = -4*h. Let n be b(h). Let g = n + 14. Solve 3*c - 1 - g = 0 for c.
4
Suppose 20 = 5*x, 19 = 5*u - 4*x - 0*x. Let o = u + 1. Solve -2 = -2*q - o for q.
-3
Let n(l) = l**3 - 4*l**2 + 5*l - 4. Let y be n(4). Suppose -5*u + 5 = 3*z, 4*z - 3*z - 2*u - 20 = 0. Let j = z + -6. Solve y = 4*m - j for m.
5
Suppose 12 = 6*d - 2*d. Let j be (5/d)/(3/18). Let r(c) = c**2 - 11*c + 12. Let g be r(j). Solve -p - g*p = -9 for p.
3
Let n(b) = b**3 - 2*b**2 + 3. Let y be n(3). Let f = 1 + 4. Solve f*x = x + y for x.
3
Suppose 3*l + 41 = -5*j, -4*l - 3*j + 0 = 51. Let r be 3/12 + (-45)/l. Suppose -12 = -5*o + 3*u, -4*o + r = -2*u - 6. Solve 2*c = o*c + 2 for c.
-2
Suppose 25 = 2*f + 3*f. Suppose -3*v - 4 = -f*v. Solve -g + 3*g = v for g.
1
Let h = 2 + 4. Suppose h + 12 = 3*g. Let b = 2 - -2. Solve b*j = g*j for j.
0
Let c be 4/(-10) - (-189)/35. Suppose 3*n - 8*n - 2*d = -29, 2*n = c*d. Solve -3*a = -n*a + 10 for a.
5
Let p(t) = -t**2 + 15*t + 3. Let q be p(15). Solve 0 = 4*b - 17 - q for b.
5
Let x = 59 - 55. Suppose 3*k + 5 = 20. Suppose -2*t + 1 = -k*f + 9, 5*f = -t - 4. Solve f = -2*b + x*b for b.
0
Let x = 13 - 9. Solve -2*p - 2 + x = 0 for p.
1
Suppose -2*z = 3*z - 35. Solve z*p - 2*p = 10 for p.
2
Suppose -2*c + 12 = -0*c. Solve -d + c*d = 0 for d.
0
Let p(b) = 2*b + 42. Let f be p(-20). Solve f*q = q for q.
0
Suppose -2*w = -3*f - 794, f - 3*w + 267 = -0*w. Let i = f + 394. Suppose -4*z - i = -9*z. Solve -5*m - 1 + z = 0 for m.
5
Suppose 2*j = -3*z + 1, -5*j + 4*z - 29 = z. Let g be -3*(-4)/6 - j. Suppose 4*r - 28 = -4*k + 4, 0 = -k - 3*r + 14. Solve -k*a = g + 14 for a.
-4
Let n = 33 + -33. Solve n*r + 2*r = 10 for r.
5
Suppose 0 = 2*q - 13 + 3. Solve q*k - 5 = -25 for k.
-4
Suppose 2*a = o + 7, 0 = -3*o + 5*o - 3*a + 11. Suppose -10 - 6 = -4*v. Let f = o + v. Solve 0*z = -f*z + 9 for z.
3
Let c(h) = -h**2 - 8*h + 7. Let a be c(-7). Let f be (-6)/(-21) + 248/a. Solve -5*x + f - 3 = 0 for x.
3
Let v(k) = k - 3. Let q be v(5). Let m be 82/8 + q/(-8). Suppose -o = -2*o. Solve o = -3*r + r + m for r.
5
Suppose 0 + 4 = o. Solve o*t + t = 0 for t.
0
Let h(r) be the first derivative of -6*r + 1/4*r**4 + 1/2*r**2 - 3 - 8/3*r**3. Let 