= t + x*t. Suppose -12 = -5*f - 0*f + o, -5*o - 2 = 4*f. Solve 2 = f*m - t*m for m.
1
Let a(f) be the first derivative of f**3/3 - 3*f**2/2 - 2*f + 1. Let j be a(4). Let y = 32 - 32. Solve -3*q + q - j = y for q.
-1
Suppose -3*m = 4 - 13. Solve -m*k = -5 + 2 for k.
1
Let m(d) = 5*d - 22. Let i be m(5). Solve i*t = -2*t - 20 for t.
-4
Let v(k) = k**2 - 5*k - 3. Let z(i) = -i + 1. Let q(g) = -v(g) - z(g). Let x be q(6). Solve x*p = 4*p for p.
0
Let i(t) = -t**2 + 9*t + 5. Let s be i(9). Solve 1 = -4*d + s for d.
1
Let u be 8/36 + (-4)/18. Suppose 3*v = -u*v. Solve -q + 6*q - 10 = v for q.
2
Let t = 60 - 53. Solve -4*r = -t*r + 6 for r.
2
Suppose 5*o = 3*o. Solve o = 3*p + 5 - 11 for p.
2
Suppose -4*p = 4*d - 16, -4*d - p + 5*p + 48 = 0. Solve -2*x + d = -6*x for x.
-2
Suppose -4*n + 7 = 3*n. Solve 0 = -5*l - n - 4 for l.
-1
Let t = -1 + 1. Suppose i + 7 = 2*i. Let v = i - 4. Solve t = -o - 1 - v for o.
-4
Let h = -20 - 1. Let p be h/(-6)*(-16)/(-28). Solve p*x - 3*x - 2 = 0 for x.
-2
Suppose 0 = 4*p - 4*f + 8, -4*p - 8 = 5*f - 4*f. Let t be (-1)/(8/12)*p. Solve -n = t*n for n.
0
Let h = 4 - 1. Suppose -h*w - 8 = -7*w. Solve -w*p + 16 = 6 for p.
5
Let r be (-1)/(14/8 + -2). Let n be 3/9*(-24)/(-4). Solve -r = -4*f + n*f for f.
2
Let a(o) = o**3 - 3*o**2 + 4. Let v be a(2). Solve v = -3*i + i - 6 for i.
-3
Let n(x) = -x**3 + 10*x**2 - 8*x - 11. Let s be n(9). Let q be (1*(1 + -1))/s. Solve 0 = -q*t + t for t.
0
Suppose -4 = -10*b + 8*b. Suppose -5 = i, l + b*i + 2 = -8. Let y(w) = w**2 + 4*w + 4. Let p be y(-4). Solve -4*f - 4 - p = l for f.
-2
Let f = -30 - -30. Solve f*a = -3*a - 9 for a.
-3
Let f be ((-3)/2)/(2/(-8)). Suppose f*v - 2*v - 12 = 0. Solve -4*q + v*q = 4 for q.
-4
Let w = -7 - -11. Solve 0 = -2*y - 2*y - w for y.
-1
Suppose -44 = -5*o + 6. Solve 5*t - 5 = o for t.
3
Suppose -1 = 3*j + 14. Let u = 0 - j. Solve b + u + 0 = 0 for b.
-5
Let t be ((-1)/2)/((-2)/12). Suppose t*f - 2 - 4 = 0. Solve 4*k = f*k - 8 for k.
-4
Let y be (-69)/(-21) + 2/(-7). Suppose -3*i = 5*l - 19, 5*l + y - 4 = 3*i. Let c = -1 + 7. Solve -c*v + l*v - 16 = 0 for v.
-4
Let t = -10 + 15. Solve -2*l = -t*l for l.
0
Let u be (-117)/(-6) + (-3)/(-6). Solve 7*a + u = 2*a for a.
-4
Suppose -5*q + 16 = -q. Solve 3*f - 5 = q for f.
3
Let k = 3 - 1. Let y be (1 - k)/1 - -3. Let f = 1 + -1. Solve b + f = -y for b.
-2
Let o = -72 + 126. Let u be (o/4)/(3/12). Suppose -4*l + 2 = -u. Solve 4*s - l = 2 for s.
4
Suppose -4*l - 4 = -5*l, -c + 4*l - 4 = 0. Let z be (27/(-12))/((-2)/8). Let m(y) = -y**3 + 9*y**2 + 5. Let x be m(z). Solve s = x*s + c for s.
-3
Suppose -7*d = -8*d + 6. Let v(q) = -q**3 + q + 13. Let w be v(0). Suppose 37 = 2*f - w. Solve f = t - d*t for t.
-5
Let v(w) = 3*w - 2. Let i be v(3). Let o(r) = -4*r + 12. Let q be o(2). Solve i = q*l - 13 for l.
5
Let f(y) = -y**3 + 6*y**2 - 6*y + 5. Suppose -25 = -8*i + 3*i. Let g be f(i). Let l be (g - -1)*(1 + 2). Solve 0 = -l*j + 9 - 0 for j.
3
Suppose 2*n = 4 + 28. Solve 0 = 4*y - 0*y - n for y.
4
Let w be (-8)/(-5) - (-2)/5. Let c = -5 - -11. Suppose 5*h - c = 4*h. Solve -h = -2*p + w for p.
4
Let f(w) = 6*w**2 + w. Let g be f(-1). Solve n + 0 = -g for n.
-5
Let c = -34 + 34. Let n(l) be the first derivative of -l**4/4 - l**3/3 - l**2/2 + 2*l + 1. Let m be n(0). Solve c = -m*s + s for s.
0
Let m be 0/(1/(3/6)). Suppose 0 = -m*q + 4*q - 16. Let j be 6/q*(-20)/(-6). Solve j*g + 1 = -4 for g.
-1
Let c(j) = -3*j + 4*j + 4 - 2*j. Let k be c(4). Solve 3 = -k*o - 3*o for o.
-1
Let t be -2 + (-3)/(-6)*4. Suppose -4*w = -3 - 9. Solve -w*q = -t*q - 6 for q.
2
Suppose 5*a - 12 = -4*n + 16, 5*a - 24 = -2*n. Suppose -2 = 2*f - 3*f. Solve f*u = -0 - a for u.
-2
Let b be -10*((-5)/2 + 2). Let d be b*(0 + 3 - 2). Let a = 160 - 158. Solve -a = d*x + 13 for x.
-3
Suppose 3*l - 4*l - 1 = 0. Let d = 3 - l. Suppose -3*o + d + 5 = 0. Solve o*m = -2*m - 25 for m.
-5
Let z = 87 - 85. Solve -2*j - 16 = z*j for j.
-4
Suppose 5*r - 10*r = 0. Let i = -3 + 3. Solve r*u + 3*u - 3 = i for u.
1
Let c(x) = -x - 4. Let u(r) = 4*r + 17. Let k(f) = 9*c(f) + 2*u(f). Let a be k(-4). Solve -a + 0 = -z for z.
2
Let r = 72 + -67. Solve -r*s + 20 = -s for s.
5
Let f be (-77)/(-35) - 2/10. Suppose -k + 2 = -4*k - 2*l, 2*k = -2*l - 4. Solve 6 - f = -k*q for q.
-2
Let u = -10 + 6. Let g be (-10)/35 - u/14. Solve 3*j = -g*j - 6 for j.
-2
Suppose 3*w = 2*w. Suppose -5*f = -3*f - 4*x - 10, f - x = 3. Solve -3*j + f - 7 = w for j.
-2
Suppose a - 1 = -p, -p + 3 = 3*a - 2*p. Solve 0 = -4*k - 5 + a for k.
-1
Suppose 0 = -3*k + 6*k - 24. Suppose k = f + f. Solve -a = -f*a for a.
0
Suppose -5 = -4*y + 3. Suppose 17 = y*s - 1. Solve 5*z + 4 - s = 0 for z.
1
Suppose -2*h = -0*h - 34. Let k(s) = 9*s**2 - 2*s + 1. Let x be k(1). Let b = h - x. Solve 1 + b = 2*p for p.
5
Let v be ((-3)/3)/1*0. Suppose v = -f - 2 - 3. Let t = f + 6. Solve 3*r + t = -2 for r.
-1
Suppose 2*c = -3*c. Suppose 15 = -5*x - c*x. Let m be 0 - (15/x + 2). Solve -m*v = -v for v.
0
Suppose 2*b + 4*y - 20 = 0, 5*b + 3 + 2 = y. Suppose -z + 5 = -0*m + m, -z + 5*m - 1 = b. Solve -z*t - 1 = 3 for t.
-1
Suppose 3*r + 2*n + 3*n = -11, n = 4*r - 16. Suppose -15 = -r*x - 3. Solve 0*q + 12 = -x*q for q.
-3
Suppose 2*k = 2*d + 2*d + 8, 2*k = -d + 23. Solve -k - 2 = 4*a for a.
-3
Suppose 0 = -3*d - 2 + 14. Solve t + 12 = d*t for t.
4
Suppose -4*n = -5*n + 1. Solve -c + 1 = -n for c.
2
Suppose -15 = -j + 2*y, 3*y - 7 = -5*j + 16. Let v = 5 + -1. Solve -v = -j*b + 3*b for b.
1
Let c be (1 + -7)/12 - (-9)/2. Solve 14 = -2*k + c for k.
-5
Let o = 41 - 36. Solve 4*n = 3*n + o for n.
5
Let w(u) = u**2 - 6*u - 4. Let r be w(7). Solve 5*o + 7 + r = 0 for o.
-2
Suppose 1 = j + 9. Let t = j + 13. Suppose -y - y + 4*g = -18, 5*y + t*g - 15 = 0. Solve 0 = -a + y*a + 12 for a.
-3
Let y be 1 - (-3 - 0) - 1. Solve 2*s = y*s for s.
0
Let g = 12 + -9. Solve -3*j = -0*j - g for j.
1
Let h(b) = b**3 + 5*b**2 - 6*b. Let y be h(-6). Suppose 0 = -2*f + 26 - 12. Solve y = 2*o + f + 1 for o.
-4
Suppose -7*b - 10 = -2*b. Let r(p) = 3*p**2 - 2. Let v be r(b). Solve 3*g = v + 2 for g.
4
Suppose -f + 0 = 3. Let q(s) = -s**3 - 2*s**2 - s - 4. Let m be q(f). Suppose a = 5*a - m. Solve 0 = -a*g + 6*g + 16 for g.
-4
Let q(k) = 4*k**2 - k + 1. Let c be q(1). Let f = 10 + -6. Let n = f - c. Solve -3 = 3*m - n*m for m.
-1
Let q be (2 + -4 + 2)/(-1). Solve q = 2*w + 8 - 2 for w.
-3
Suppose f = -2*f - 4*y + 36, 2*f - 24 = y. Suppose 3*t = 3*l - f, 0 = -0*t + t + 5*l - 26. Let w be 3*(2 - (-8)/(-6)). Solve w*j = -3 - t for j.
-2
Suppose 0 = -4*o - 2 + 14. Solve 20 = 2*p + o*p for p.
4
Let y = -6 - -15. Let c = y + -5. Suppose -2*g + 4 = -b, 0*b + 17 = 5*g + b. Solve v - c = -g*v for v.
1
Suppose -s - s + 4 = 0. Suppose 2 = 2*u + u + s*l, -4*u + l = -21. Solve 0 = -2*q + u*q - 2 for q.
1
Let l = 29 - 26. Solve 7*i = l*i for i.
0
Let y = 8 - 14. Let s be (-1)/((-4)/y - 1). Suppose -s*a + 21 = -0*a. Solve -a = -2*l + 3 for l.
5
Let s(g) = -g + 7. Let u be s(6). Let l be (-3)/6*u*-4. Solve -4 = l*n - n for n.
-4
Let x be 1*(-2)/(-1)*-1. Let l be (-2)/((0 - x)*1). Let k = l - -4. Solve 0 = k*c - 8*c + 10 for c.
2
Let b(z) be the second derivative of -z**4/12 + z**3/2 - z**2/2 - 2*z. Let c be b(3). Let o = c - -3. Solve 1 = v + o for v.
-1
Suppose 5*r - 3*r = -6. Let u be 384/5 + r/(-15). Suppose 4*c - p - u = 0, -2*c = -4*c - 3*p + 49. Solve 0 = -4*k - k - c for k.
-4
Let a(z) = z**3 + z**2 + z + 4. Let y(h) = h**3 + h**2 - h - 1. Let v be y(-1). Let g be a(v). Let n be (-1)/(1/5)*-1. Solve -g*f - n = 3 for f.
-2
Let f be (-6)/(-12)*(-2 - -4). Solve -7*x + 8*x = f for x.
1
Let q = 1 + 19. Let m be (-4)/(-6) + (-8)/(-6). Solve q = -m*g - 2*g for g.
-5
Let d(w) = -3*w**3 - 6*w**2 - 4*w + 5. Let u(k) = 2*k**3 + 6*k**2 + 4*k - 6. Let f(v) = 3*d(v) + 4*u(v). Let t be f(6). Solve -2*b - 3*b = t for b.
-3
Let j = -4 - -4. Solve 2*h = -2 - j for h.
-1
Suppose 0 = -o + 15 - 6. Let r = -5 + o. Solve -r*i + 3*i + 2 = 0 for i.
2
Suppose 0 = 3*v - 3 - 3. Let a be (0 - v)*(-4 - -3). Solve a = -g - 3 for g.
-5
Suppose -2*s + 8 = 5*m, 0 = -0*m - 3*m - 2*s + 4. Solve -2 = m*n + 4 for n.
-3
Suppose s - 70 = -4*s. Suppose 0*p + s = 2*p. Solve -3*b = p + 5 for b.
-4
Suppose -3*q = -4*q + 3. Suppose 2*p - 1 = q. Solve 4*v + 14 = -p for v.
-4
Let m be (-2)/13 - (-848)/104