h = -6*h for h.
0
Suppose -18 - 3 = -3*x. Suppose -n + 5*p = -2*n + 23, x = -3*n + 4*p. Let j = n - -1. Solve -j*b + 0 = -12 for b.
3
Let s be (-10 + 7)/(6/(-8)). Solve s*w = 3*w for w.
0
Suppose 5*i - 5*m + 11 = 4*i, 0 = 5*i - 5*m + 15. Let p be 1/(-3)*(-5 + i). Suppose 3 + 1 = 2*b. Solve 4*a + p = -b for a.
-1
Suppose 4*p - q - 9 = -2*q, -2*p - 3*q = -17. Solve -a - p = -4 for a.
3
Suppose -3*f + 2*f = -4*h - 4, 20 = -5*f. Let y be (4/(-8))/(h/28). Let q = 11 - y. Solve 0*z = -q*z for z.
0
Suppose -2*w + 2 = -2*j, -3*j + 3 + 0 = 0. Solve -n = -1 - w for n.
3
Suppose 2*v - 3*x = 3 + 5, 4*x - 8 = 0. Let t = v - 7. Solve 3*g + 12 + t = 0 for g.
-4
Let y = -9 - -11. Solve -y + 3 = m for m.
1
Let r = 9 - 5. Suppose 2*s = 3*s - 2. Let j(w) = 4*w - 3. Let y be j(s). Solve -3*v = -y - r for v.
3
Let v(r) = -r + 3. Let w be v(1). Solve -3*k + 20 = w*k for k.
4
Let n = -15 + 26. Let f = -16 + 34. Let b = f - n. Solve -10 = -2*z + b*z for z.
-2
Let x(i) = -i**3 + 4*i**2 - 1. Let y be x(3). Let r = -7 + y. Solve -3*j - 2 = r for j.
-1
Let v be 4/2*9/6. Solve n = -v*n + 8 for n.
2
Let c = -5 + 8. Solve 0 = c*d - 7*d + 16 for d.
4
Let d be 23 + -16 + 1*-1. Solve v = d*v for v.
0
Let q = 49 - 30. Let w be -6*(2 + (-8)/3). Solve -5*p + q = w for p.
3
Let p be (-4 - (-102)/27) + (-168)/(-27). Solve -5*i + 5 = -p*i for i.
-5
Let s be 6/(-2) + 2 - -4. Solve 15 = -s*t - 0*t for t.
-5
Suppose -5 = -0*c - c. Suppose -6*t = -t + c*g - 10, -28 = -5*t + g. Suppose t*a - 12 = a. Solve -a*f + f = -10 for f.
5
Let b = 16 + -4. Solve -d = 3*d + b for d.
-3
Suppose -4*p = 0, 5*j - 30 = -2*p + 6*p. Solve -j*c - 4 = -2*c for c.
-1
Let t be 0/(-1*1/(-1)). Suppose -5*f - 47 = -3*n, -4*n + 2*f = -63 + 19. Solve 3*v + t = n for v.
3
Let r(n) be the third derivative of n**4/24 + n**3/3 + n**2. Let v be r(-6). Let m be (8/3)/(v/(-6)). Solve -3*q + 2 + m = 0 for q.
2
Let z be (-32)/(-32) + ((-28)/(-2) - -1). Solve 12*h - 8*h + z = 0 for h.
-4
Let a(y) = -y + 2. Let q be a(-2). Suppose 3 = 3*n - 2*b - 2, n = 3*b + q. Solve 1 = j - n for j.
2
Suppose 0 = -4*a + 4*u + 68, a + 3*u + 4 = 33. Solve 5*j - a = j for j.
5
Let q(x) = x**2 - 4*x + 3. Let v be q(4). Suppose 3*d - v*o = 9, -3*d + 7 + 0 = -o. Solve -2*m + 16 = d*m for m.
4
Let y = -82 + 86. Solve 0 = y*j + 1 + 3 for j.
-1
Let k = -5 - -10. Let t = k - 4. Solve -5 + t = 2*j for j.
-2
Let n(w) = w + 7. Let x be n(-4). Solve 0 = x*y + 1 - 13 for y.
4
Suppose -5*b + r + 15 = 0, 4*b = 5*b - 5*r - 27. Solve -b*o + 2 + 4 = 0 for o.
3
Let k(r) = r**2 - r - 1. Let n(l) = -l**3 + 2*l**2 + 8*l - 3. Let y(q) = 4*k(q) + n(q). Let j be y(6). Let g = j - 7. Solve g = -5*z + 3*z for z.
-5
Suppose -z - 13 + 14 = 0. Solve 0 = 3*q - 2*q + z for q.
-1
Suppose z = -3*z - 3*a + 31, 0 = -5*a + 25. Let h(i) = -i - 2. Let b(f) = f**2 - 6*f - 2. Let p be b(6). Let o be h(p). Solve o = -7*x + z*x for x.
0
Let m(h) = -1 + 3 - h - 13 - 3. Let i be m(-14). Solve 0 = -4*d - 4 - i for d.
-1
Suppose -2*m + 6*m + 17 = 3*h, 0 = 5*h + 2*m - 11. Solve 0 = h*r + 2*r - 15 for r.
3
Let h = -5 + 8. Suppose m - h*m = -4. Suppose 3*j - 4*b + 17 = 0, -j + 16 = -0*j + 3*b. Solve -m*q - j = 3 for q.
-2
Suppose -2*d - 4*c + 2 = 0, 0*c + 4 = 4*d + 4*c. Solve 0 = -4*o + 19 + d for o.
5
Suppose -2 = 4*p - 18. Let n = 8 - p. Solve u - n = 5*u for u.
-1
Let q = -25 + 13. Let t = -12 - q. Solve t = -3*l + 12 - 0 for l.
4
Let q(j) = -j + 7. Let k be q(7). Suppose 5*o - 2 - 3 = k. Solve w + o = -4 for w.
-5
Let g be 40/(-220) - 92/(-22). Solve g*m = 2*m + 8 for m.
4
Suppose 0 = y - 4*y + 12. Suppose 0 = -0*d + y*d - 12. Solve -16 = -d*k - 7 for k.
3
Let y be (2*2)/(-5 - (-11 - -4)). Solve 0 = -3*j + y*j for j.
0
Let c(h) = -11*h. Let b be c(-4). Suppose -4*z - b = -4*r, -2*r - 2*r + 49 = z. Solve n = 5*n - r for n.
3
Let j(p) = p + 4. Suppose r + 3 = -1. Let l be j(r). Suppose -6*x + x + 15 = l. Solve 5*i + 7 + x = 0 for i.
-2
Let z = -35 - -51. Suppose 0 = -n + 5*n - z. Solve -n*q = -3 + 23 for q.
-5
Let c be (2/(-3))/((-1)/21). Let k = 20 - c. Solve 4 + k = 2*p for p.
5
Let t(w) = w**3 - w - 2. Let q be t(2). Solve k - q = -1 for k.
3
Let t(n) = n**2 + 4*n + 4. Let o be t(-5). Suppose -5*k + 2*f - 6*f + 39 = 0, o = k + 2*f. Solve 0 = 4*c + k + 5 for c.
-3
Let v = -8 + 8. Suppose -3*r = -v*r. Solve -h + 3*h + 10 = r for h.
-5
Let o(z) = -z + 7. Let b be o(0). Suppose -m - 19 = -5*k, 5*m = k - 28 + 5. Let w = m + b. Solve 0 = -w*a - 2*a + 5 for a.
1
Suppose 3*j = 19 + 20. Let n = -13 + j. Let y(u) = -u + 1. Let w be y(1). Solve n = 5*p - w*p for p.
0
Suppose 2*x - 5 = x. Let w(t) = -t**3 + 5*t**2 - t + 2. Let k be w(4). Solve -x*m - 6 - k = 0 for m.
-4
Let o be (2 + 2)*(-2)/(-4). Suppose -3*u = -r - 12, 21 = 4*u - 5*r + o*r. Let y(h) = -h**3 - 2*h**2 + 2*h. Let a be y(-3). Solve -u = -a*b - 15 for b.
-4
Let d be (-3 - -2) + (-1 - -4). Let i be d - 4 - (-5 + -2). Solve -3 = i*a - 28 for a.
5
Let u = 36 + -21. Solve 0 = -c - 2*c - u for c.
-5
Let d(k) = -k**2 + 3*k + 1. Let r be d(3). Let u be -5*((-24)/15 + r). Suppose -8 = c - 4*i, -2 = -5*i + 8. Solve 0*l - l - u = c for l.
-3
Let o = 8 - 5. Suppose -4*b - 20 = 0, -2*d + 2*b + 32 + 4 = 0. Solve d = o*i + 4 for i.
3
Let p = -26 - -18. Let c = 0 - p. Let a be (c/5)/((-14)/(-105)). Solve -a = 5*g - 2*g for g.
-4
Suppose 63*g = 58*g + 20. Solve -g*b - 11 = 5 for b.
-4
Let h(p) = 3*p**3 + 2*p - 1. Let t be h(1). Let w(o) = -3 + 3*o**2 - o + 6*o - 4*o**2 + 2. Let s be w(t). Solve s*v = 2*v for v.
0
Suppose -9 = -2*p + 39. Suppose 3*g = -9 + p. Solve 4*v + g = -7 for v.
-3
Let x(a) = a**2 + 2*a + 2. Let k be x(-2). Solve k*i - 9 = -i for i.
3
Let l(g) = -g**3 - 6*g**2 + 4. Suppose -3*w + 2*w - 6 = 0. Let c be l(w). Solve 0 = -c*y + 3*y - 3 for y.
-3
Let y = 6 + -6. Suppose 2*t - 2 = 0, 3*c = 4*t - y + 2. Solve -5*q - 3 = c for q.
-1
Let d be 13/2 + 9/18. Suppose 0 = 4*v - 13 - d. Solve 0 = -v*j + 26 - 1 for j.
5
Suppose 2*b + 4*w - 24 = b, -2*b + 18 = 2*w. Suppose 0 = b*h - h + 12. Let a = 6 + h. Solve 2*x - a - 4 = 0 for x.
3
Suppose 15*n - 4*n = 33. Solve 0 = n*f - f - 4 for f.
2
Let m be ((-3)/3 - 0)/1. Let t = m + 1. Solve 4*u + u = t for u.
0
Let r be 1*(8 + 2)/2. Let o = 35 - 33. Solve -r*d = -3 - o for d.
1
Let a = 27 + -23. Let s be -1*(-3 + (a - 3)). Solve 0 = s*q - 5*q for q.
0
Let j(v) = -v**3 + 14*v**2 - 14*v + 9. Let q be j(13). Let y = -1 - q. Solve y*t - 11 = -2 for t.
3
Suppose -6*o = -o - 20. Solve -b = -5*b + o for b.
1
Let b(n) = -10*n + n - n**2 - 12 - n. Let m be b(-8). Solve g - m = 2*g for g.
-4
Let y(h) = -7*h - 6. Let k = -12 + 9. Let g be y(k). Solve -l + g = -4*l for l.
-5
Let h(r) = r**3 + 5*r**2 - 4. Let z be h(-5). Let v be (z + 4)*1/(-3). Solve v = 4*c - 2*c - 4 for c.
2
Suppose 4*a - 33 = 67. Suppose -2*d = 3*d - a. Solve -2*m - d + 3 = 0 for m.
-1
Suppose 2*r = -2*n - 0*n - 6, -3*n + 5*r - 1 = 0. Let y be (-4)/(-14) - n/(-7). Let x = -5 + 7. Solve y = -2*l + x for l.
1
Let p be -11*(0/(-3) + -1). Suppose 3*r - 16 = -0*k - k, -k = 2*r - p. Let x = r + -2. Solve 10 = -x*g + g for g.
-5
Let l = 1 + 0. Let o be -2 + (l + 0)*5. Suppose 2*u + u = -o*w + 27, 4*u - 2*w = 6. Solve u*d = d + 12 for d.
4
Suppose 0 = -q + 4*j - 4, -j = -2*j + 1. Suppose 4 = 4*d - q*d. Let a be 1 - d - -2 - -4. Solve u + 10 = a*u for u.
2
Let s be (-4)/(-16) - (-14)/8. Suppose 2*r - s = 2. Suppose 5 + 5 = 5*a - 5*t, 5*t - 2 = a. Solve r*v + 1 = a for v.
1
Let i(m) be the first derivative of -m**3/3 + m + 9. Let n be i(1). Solve n = 2*x - 4*x - 4 for x.
-2
Let m(f) = f**3 - 8*f**2 + 12*f + 4. Let c be m(6). Solve -c*n = n for n.
0
Suppose -4*l - 32 = -2*w, -w + 57 = w + l. Let r = -23 + w. Solve 0 = -r*y + 12 for y.
4
Let d be 0 + 34/6 + (-6)/9. Solve 4*a - d*a = -4 for a.
4
Let v(x) = x**3 + 5*x**2 + x + 7. Let q be v(-5). Solve -8 = q*u + 2 for u.
-5
Suppose -9 + 1 = 4*y. Let r be (4/y)/(0 + -1). Solve 0 = 3*z + 13 + r for z.
-5
Let y(j) = j**3 - 9*j**2 + 10*j - 12. Let k be y(8). Suppose k*w - 1 = 7. Solve w = 4*o - 10 for o.
3
Let q(c) = -c**3 - 8*c**2 + 9*c + 8. Let h be (-4)/2 + 0 + -7. Let g be q(h). Suppose 18 = 5*m + 3. Solve -m = i - g for i.
5
Suppose -6 = -5*g - 1. Solve 2*j - 3 = g for j.
2
Let o(x) = -2*x - 9. Suppose 0 = -3*f - 12, a = 6*a - f - 14. Suppose -a*l - 3 = 9. Let p be o(l). Solve -2*z + 1 + p = 0 for z.