- a = -4*i. Solve 6 = i*m - 6*m for m.
-2
Let v(d) be the first derivative of -d**2/2 + 5*d - 1. Let g be v(0). Solve 0 = -2*h + 1 + g for h.
3
Let a(q) = 2*q - 8. Let s be a(10). Let w = 20 - s. Let g = w - 5. Solve -g*l + 3 = -4*l for l.
-3
Let t = -12 + 1. Let n = 14 + t. Solve n*q - 15 = -2*q for q.
3
Let b(n) = n**2 + 5*n - 3. Let q be b(-6). Suppose -a - q*z + 0 + 20 = 0, 5*z = -a + 20. Solve 0 = 4*m + m - a for m.
4
Let k be (3 - 0) + 0/1. Solve 2*r - k - 1 = 0 for r.
2
Suppose 6*d - 2*d = 0. Let v = -26 - -18. Let j = -6 - v. Solve -x + 0*x - j = d for x.
-2
Suppose 2*i - 17 = -9. Solve -i*u + u = -3 for u.
1
Let t(q) = -2*q - 10. Let z be t(-8). Suppose -15 = z*j - j. Let x be (3 + j)/(1 + 0). Solve x = -5*b + 3*b + 4 for b.
2
Suppose -3*a = -a + 32. Let b = a + 19. Solve 0 = 3*f - 0 - b for f.
1
Suppose -2 = 4*o + i - 3*i, 2*i = 10. Solve -3*f + o = -4*f for f.
-2
Let n(g) = g - 3. Let t(l) = 1 + 3*l - 4*l + 0*l. Let y be t(-4). Let x be n(y). Solve a - 2*a = x for a.
-2
Let o be (-2)/1 - (-11 - -7). Solve 0 = -o*w + 4 for w.
2
Let d(n) = -n - 3. Let z be d(-5). Let a = 6 - 4. Let k = a - z. Solve k*l = -4*l + 4 for l.
1
Let g(i) = -i**2 + 5*i - 5. Let f be g(3). Suppose -2*p = -13 + f. Solve -p = 2*o + 4 for o.
-5
Let q = 32 - 32. Solve q = -4*g - 20 + 8 for g.
-3
Suppose -4*o = 2*n + 4, 4*o + 30 = 3*n + o. Suppose z + 2*z - n = 0. Let i = 2 + 3. Solve -3*c + z*c = i for c.
-5
Let w(p) be the second derivative of 0 + 1/3*p**3 - p - 3*p**2. Let r be w(5). Solve -z = -r + 7 for z.
-3
Let a(d) = -d**3 - 4*d**2 - 3*d + 3. Let w be a(-3). Let p(g) = 5*g**2 - g. Let m be p(-1). Suppose 5*q - m = 14. Solve -q*x = -w*x - 1 for x.
1
Suppose -f + 4*f = -6*f. Solve f = -4*y + y for y.
0
Suppose 6*a = 13 + 11. Solve -w - a = -3*w for w.
2
Let o = 1 - -2. Solve -o*x + 1 = 7 for x.
-2
Suppose -8 = -0*j - 4*j. Suppose -3*c + 5*u + 10 + 15 = 0, -c - 3*u = 15. Solve -j*k + c*k + 2 = 0 for k.
1
Let w be 14 + (-4 - (-1 + -4)). Let n be 1*(0 + 12/2). Solve 0 = s - n*s - w for s.
-3
Suppose 0*v = -4*v. Suppose 2*z - 5*z + 21 = v. Solve -5*s + 32 = z for s.
5
Let a(h) = -h - 1. Let i(j) = -4*j - 5. Let v(g) = -6*a(g) + i(g). Let c be v(2). Solve -26 = c*k - 1 for k.
-5
Let a(f) = f**2 - 5*f - 2. Let n be a(6). Let r(g) = -g**2 + 26*g - 155. Let k be r(16). Let j be 3/((-3)/(-7)) + 0. Solve -j - k = -n*o for o.
3
Suppose 4*p - 15 = -5*i + 23, -4*p + 20 = -4*i. Solve -4*r - 19 = -p for r.
-3
Suppose 0 = 4*y + 2*c + 14, 5*c = -2*y - 20 - 7. Let w(x) = -4*x - 1. Let j be w(y). Solve j*p = -p - 4 for p.
-1
Suppose -4*d = -20 - 4. Solve -d = -5*a - 1 for a.
1
Let c(d) = d**2 + 3*d + 2. Let f be c(-2). Let q be (0 - f) + 1 + 1. Suppose q*o + 3*o - 15 = 0. Solve o*l = 9 - 0 for l.
3
Let g = 3 - 1. Let w(x) = -x**2 - 6*x - 5. Suppose 15 + 10 = -5*c. Let h be w(c). Solve g*p = -h - 2 for p.
-1
Suppose -2*x + 8 = -0. Suppose -2*z - 12 = z - 3*q, -3*q = x*z - 12. Suppose z = -4*y + y. Solve p + y = -4 for p.
-4
Suppose 3*i - 1 = 4*i. Let h be (1 - 1 - i) + 2. Solve y + h = -0*y for y.
-3
Let u be 6/((0 + 2)*1). Let a = -3 + u. Suppose a = 2*f - 1 - 3. Solve l = -1 + f for l.
1
Suppose -4*z = -5*u + 3 + 4, -4*u + 10 = -z. Solve -4*c + u = -c for c.
1
Let x(w) = w**3 + 3*w**2 + w - 10. Let n be x(2). Suppose -4*p + 0*f - 5*f = -8, 4 = 2*p - 2*f. Solve n = 2*b + p*b for b.
3
Let v(d) = 2*d**3 - 2*d**2 - 2*d + 3. Let u be v(2). Let k = u + -5. Let a be 0/((-1)/(-1)*1). Solve -c = -a*c + k for c.
-2
Let f be (-2)/(-1) - -6*1. Let i = -1 + f. Let l = i - 2. Solve -z = -2*z + l for z.
5
Let y = 5 - 3. Let s be y - (2 + 2) - -4. Suppose 6 = 3*m - 0. Solve -s*v - 4 = m for v.
-3
Let v = 31 - 28. Solve 0 = -3*p + v for p.
1
Let o = 7 + -6. Let b be 0/(o - 0) - -2. Solve 0 = -b*p - 3 - 3 for p.
-3
Let r = 4 - 7. Let d(u) = -u**3 - 3*u**2 - u - 1. Let b be d(r). Suppose 0 = m - 2*k - 13, b*m - 7*k - 30 = -2*k. Solve -4*j + 2 = -m*j for j.
-2
Suppose 2*w - 3*o = -5 + 11, -17 = -w - 2*o. Solve 10*k - w*k = -3 for k.
-3
Let l(s) = 3*s - 2. Let y be l(1). Solve o + 2 = y for o.
-1
Suppose 0 = s - 6*s + 20. Suppose 2*o + s = 3*o. Solve 2*f - 4 = o for f.
4
Suppose 0 = -j + 6*j - 10. Suppose -5*g + 5 = -j*r, 3*r + g - 23 = -r. Solve r*u - u = 12 for u.
3
Suppose 8*f = 3*f - 75. Let o be 5*(-9)/f*1. Solve -o*j - 8 = j for j.
-2
Let v(l) = l - 10. Let f be v(12). Suppose 4 = f*k - 4. Solve -k*h + 2*h = -10 for h.
5
Let p be 0/5*2/(-2). Suppose 4*h = 5*h - 20. Suppose h + 20 = 5*f. Solve 3*m + m - f = p for m.
2
Suppose 2*d - 7*d + 21 = -2*o, -5*d = 3*o - 31. Solve 0 = -d*u + 2*u + 12 for u.
4
Suppose o - 16 = -3*o. Let i(a) be the second derivative of -a**4/12 + a**3 - a**2 - 5*a. Let k be i(o). Solve -3*f = 3 - k for f.
1
Suppose -5*z + 20 = 0, -2*z + 13 = -0*q + q. Suppose 2*r + 2*r - 40 = 0. Let n be (3/(-2))/(2/(-4)). Solve -n*v + r = -q*v for v.
-5
Let m(u) = u - 1. Let i be m(1). Solve i*y = -2*y + 6 for y.
3
Let k be (2 - -1)/((-3)/(-2)). Solve -d - k*d + 6 = 0 for d.
2
Let y be 5/(-25) - 21/(-5). Let i = 5 + y. Solve -5*z + 2*z - i = 0 for z.
-3
Let z(d) = d**3 - d**2 - 2. Let o be z(2). Suppose -4 = -o*x - m - 4*m, -3*x = -4*m - 6. Solve c = x*c + 5 for c.
-5
Let k(x) = -3*x**2 - 11*x + 12. Let s(h) = -5*h**2 - 17*h + 18. Let y(n) = 8*k(n) - 5*s(n). Let m be y(4). Solve -4*c = c + m for c.
-2
Let j(l) = l + 3. Let x be j(8). Suppose -x + 35 = 4*c. Suppose -3*o + 4*d = 5, d - c*d + 12 = 2*o. Solve 2*i + o = 3 for i.
1
Suppose 5*l + 6*l - 33 = 0. Solve -2*t = t + l for t.
-1
Let z be 6/9*-3 + 4. Let j be 8*z - (1 - 3). Suppose -j = -w + 7. Solve 5*d = -0*d - w for d.
-5
Suppose 3*i + 5*x = 25, 2*i + 0*x + 5*x - 25 = 0. Solve i = t - 3*t + 6 for t.
3
Let z = 3 - 4. Let h be 6*z*2*-1. Suppose 0 = -5*d + d + h. Solve 0 = -y + d - 1 for y.
2
Suppose 15 = -2*l + 7*l. Suppose 2*j + 0 = l*f - 13, 2*f - 4*j = 6. Suppose s - f*g = -s + 25, -5*s + 16 = 3*g. Solve -s*u - 1 = -21 for u.
4
Suppose 9*o = 6*o + 54. Let u be (2/6)/(2/o). Solve -u*g = -6*g for g.
0
Let w(b) be the first derivative of b**4/4 - b**3 - 3*b**2 - b + 1. Let j be w(5). Suppose -3*r + r = -5*f + j, 0 = f + 2*r + 1. Solve f = -x - 0*x for x.
-3
Let j(t) = -7 + 2 + 2*t + 4*t - t**2. Let c be (-36)/(-10) - 4/(-10). Let u be j(c). Solve -m + u*m = 0 for m.
0
Let p = 2 - 2. Let j be 7/(-14)*p/(-2). Solve -3*v + j*v = 9 for v.
-3
Let u = 26 - 11. Solve 3*t = -2*t + u for t.
3
Let n(w) = -w + 3. Suppose 0 = -2*h - 3*j + 3 - 15, 5*h - j = 4. Let b be n(h). Solve -2 = 5*c + b for c.
-1
Suppose -q + 5*d - 3*d = 6, 0 = -4*q + d - 3. Suppose q = 4*n - 2 - 2. Let h be 8/(-6)*(-3)/n. Solve h*w = w - 9 for w.
-3
Let t = 22 - 21. Let j be ((-8)/(-10))/(t/20). Solve 6*r - 2*r = j for r.
4
Let z(g) = -g**2 + 6*g. Let f be z(6). Suppose f = -5*l + 4*l. Solve 5*b + l = -15 for b.
-3
Let v = -6 - -12. Suppose -2*m + 6 = m. Suppose 7*w + 14 - 49 = 0. Solve -m*k + w*k = v for k.
2
Suppose -4*w + 4 = -8. Suppose -w*b = -b. Suppose b = 6*n - 2*n. Solve p + p + 2 = n for p.
-1
Suppose -h = -0*h - 4. Solve -14 = h*t + 2 for t.
-4
Let i(a) = -2. Let p(k) = -k + 1. Let z(g) = 3*i(g) + 2*p(g). Let b be z(-7). Solve -4 = 2*v - b for v.
3
Let b be 2/(-5)*250/2. Let w = -35 - b. Solve -a + 4*a = w for a.
5
Let q be (-3)/(-12) - (-26)/(-8). Let f = q - -5. Suppose -2*w = -j + 10, f*j - 3*j - w = -7. Solve j = -4*z - 4 for z.
-3
Let q = 10 + -5. Suppose 0 = q*k - 10 - 5. Solve 0 = d + k*d + 20 for d.
-5
Let n(s) = s**2 + 6*s + 6. Let f be n(-4). Let q be f/(-2*3/6). Solve -q*g - 3 = g for g.
-1
Let l be ((-14)/8 - 0)*-4. Suppose -45 = 4*d - l*d. Solve d = 4*n - n for n.
5
Suppose -v - 5*x = 18, -2*v - 5*x - 16 = -0*v. Solve 3*m - 5 = -v for m.
1
Suppose -19*c + 9 = -16*c. Solve 0 = -c*f + f - 8 for f.
-4
Suppose 5*f = 4*f. Suppose 3*v + 13 + 7 = 5*y, f = 2*y - 5*v - 8. Solve 5*q + y = 9 for q.
1
Suppose -5*c = 37 + 63. Let u = -12 - c. Solve -a - a = -u for a.
4
Suppose -6 = -r - 0. Suppose 3*z - r = -0*z. Solve 3*d + z = 2*d for d.
-2
Let y(h) = -2*h + 6. Let c(l) = 1. Let a(o) = 2. Let j(u) = 3*a(u) - 5*c(u). Let d(p) = 6*j(p) - y(p). Let i be d(5). Solve 10 = -i*t + 5*t for t.
-2
Suppose -3*v + 4 = -2*v. Suppose -v*k = -3*r - 23, 4*r = -4*k - 0*r - 12. Solve -k*b + 6 - 2 = 0 for b.
2
Let w be 0 + ((-28)/(-16) - 3/4). Solve -w = 3*h - 2*h for h.
