-3*r - 15 for r.
-3
Suppose -4*i + b + 12 + 6 = 0, b = i - 6. Solve i*h - 5 = -h for h.
1
Let o be (1/(-4))/((-8)/64). Solve -o*r + 1 = -r for r.
1
Suppose 2*y + 1 + 5 = 0. Let i be 8/(-2) - (-6)/y. Let z(x) = -x**3 - 5*x**2 + 7*x + 9. Let b be z(i). Solve -b*j + 6 = -j for j.
3
Suppose -1 = -4*d + 3. Let w be 5/3 - (-8)/(-12). Let b = d + w. Solve -b*i = 3*i - 5 for i.
1
Suppose 4*h - 26 = -2*a, 0 = 2*a - 5*a - 2*h + 31. Suppose -4*d - d = -2*s - 41, -3*s = a. Solve -f - 2 + d = 0 for f.
5
Let t = 21 - 17. Solve -2*r + t = -6*r for r.
-1
Let n = -42 + 46. Solve q + q = -n for q.
-2
Suppose 0 = -2*s + 18 + 2. Let u be 0 - (-4 + (0 - -2)). Let g be (u/(-4))/(2/(-12)). Solve -g*t = 2*t + s for t.
-2
Let s(p) = p**3 + 14*p**2 + 12*p - 9. Let d be s(-13). Solve -q + 6 = -d*q for q.
-2
Let a = -8 - -14. Solve 0 - a = 2*o for o.
-3
Suppose -3*c + 19 = -a, -8 = 4*a - 2*a. Let j(b) = -b**3 + b - 3. Let v be j(-2). Solve -4 - c = v*g for g.
-3
Suppose 0 = -5*r, -5*z = -3*z - 5*r + 8. Let t(l) = -l**3 - 4*l + l + l - 4*l**2. Let x be t(z). Solve x = -2*c - 2 for c.
-5
Let a be 3*(-1)/((-3)/2). Suppose a*s - 46 = 6. Solve -s = -5*c - 1 for c.
5
Let b(m) be the third derivative of 1/24*m**4 - 2/3*m**3 + 0 + 0*m + 4*m**2. Let x be b(5). Solve 1 = 2*z - x for z.
1
Let p = 7 - 5. Let i be p/(-6) - 16/(-3). Suppose i*k = f + 4*f + 55, -5*f - 15 = 0. Solve -v + k = -3*v for v.
-4
Suppose -5*d + 25 = -2*k, 2*d + d = -4*k + 15. Solve d*l + 12 = 2*l for l.
-4
Let r be (-3)/(10/(-4) + 1). Solve 0 = -r*g + 3*g for g.
0
Let k be (-4)/(-2) + -1 - -1. Suppose 0*a - 2*z = -k*a + 4, -2*z = 5*a - 17. Suppose c = -u, c - a*c = -u. Solve -2*n = -u*n for n.
0
Let y = 137 + -137. Let g = 7 + -4. Let o = y + g. Solve -3 = -2*a + o*a for a.
-3
Suppose -2*d + 46 = -4*q, 4*q - 7 = -3*d + 12. Let l = d - 13. Solve l = -4*j - 2 + 18 for j.
4
Suppose 2 = -2*l - 6. Let x = -3 - l. Suppose -5*j + 21 = 2*j. Solve h + x = j for h.
2
Let l be ((-5)/(-4))/(4/16). Suppose -2*f - 5*o = -l, 5*f = 2*o + 46 + 10. Solve -3*d + f = 2*d for d.
2
Let c(u) = u**2 + 14*u + 29. Let h be c(-12). Solve -4*s - 11 = h for s.
-4
Let v = -48 + 50. Solve -18 = v*s - 10 for s.
-4
Let b = 52 - 27. Let r(l) = l + 2. Let x be r(-2). Solve -3*w - 2*w - b = x for w.
-5
Let k = 5 - 7. Let p be 2/4 + (-3)/k. Solve -3*f - p*f = -25 for f.
5
Let l be (-3)/12 - (-2 + (-4)/16). Solve 5*a + l = 6*a for a.
2
Suppose -12 = -6*j + 5*j. Solve 0 = -3*m + 6 - j for m.
-2
Let z(v) be the second derivative of v**4/12 - v**2 + v. Let w be z(-2). Suppose 0*q + w = q. Solve q*f = f for f.
0
Suppose g = -2*t + 2 - 1, -4 = 3*t - 4*g. Solve t*k + 4 = -k for k.
-4
Suppose -4*a + 2*x = -4, -3*a = -2*x - 2 + 1. Suppose -3*g + 48 = 5*q, 17 - 59 = -3*g - a*q. Solve 5*r + 9 = -g for r.
-4
Suppose 0 = -4*b + 2*v + 2, 0 = 2*b - 2*v - v + 5. Solve b*h + 5 = h for h.
-5
Suppose -5*c + 5*k + 3 = -4*c, 3*c - 2*k - 9 = 0. Solve -c*f - 2*f = 0 for f.
0
Suppose 4*a = 2*x + 18, -2*x = -0*a - 2*a + 14. Let n be 3 + 0 - (x - -4). Let t(q) = q**2 - 2*q - 4. Let d be t(4). Solve d*l = -20 + n for l.
-4
Let t(x) = -7*x**3 + 2*x**2 + x. Suppose 8*r = 4*r - 4. Let w be t(r). Solve s = 3*s - w for s.
4
Suppose -4*b = 2*z - 28, z - 3*b - 9 = -0*z. Suppose -d = -5*d + z. Solve -d*q + 3 + 3 = 0 for q.
2
Suppose 2*w = 6*w. Suppose w = 6*q - q - 15. Solve 1 = -2*r + q for r.
1
Let h be (2/(-3))/((-3)/(-9)). Let u be 12/(-9)*3/h. Suppose 3*v + 5*i - i = -8, 0 = -3*v - 2*i + u. Solve -15 = b + v*b for b.
-3
Let h(n) = n + 11. Let c be h(-8). Suppose 0 = -3*i - 0*o + c*o - 12, -5*i + 2*o = 5. Suppose -w = -i - 2. Solve 6*r = 3*r + w for r.
1
Let n be ((-2)/4)/(-1)*0. Let o = 9 + n. Let k = o + -7. Solve k*g + 3 = g for g.
-3
Let p = -5 - -8. Solve 0 = p*h - 13 + 1 for h.
4
Let u = -2 - -8. Solve 0 = 5*x - 1 + u for x.
-1
Let h(a) = a**2 + a - 4. Let i be (-2)/(-4) + (-49)/14. Let j be h(i). Solve -3*p - 1 = -j*p for p.
-1
Let y = -9 + 17. Solve y = -3*n + 2 for n.
-2
Let a = 15 + -30. Let k = 22 + a. Suppose 3*t - 16 = t. Solve -3*l + k + t = 0 for l.
5
Let k = -29 + 69. Suppose -k = 7*u - 3*u. Let z(o) = o**2 + 10*o + 5. Let w be z(u). Solve 5*t = w - 0 for t.
1
Let d(f) = -f**2 - 7*f + 9. Let i be 4/(-10)*(-1 - 4). Let u be ((-18)/i + 1)*1. Let o be d(u). Solve 0*c - c - o = 0 for c.
-1
Let w(x) = -x - 6. Let r be w(0). Let f be (-5)/(-15) + (-16)/r. Let c be 3/9 - 28/(-6). Solve 18 = -c*n + f for n.
-3
Suppose 0 = 2*j - 4*n + 1 - 31, -j + 19 = -3*n. Suppose j = -5*q + 47. Solve -12 = -4*b + q for b.
5
Let z(w) = w - 2. Let l be z(8). Solve 2*y - l + 4 = 0 for y.
1
Let i be (-7)/((-175)/60) + 3/5. Suppose -5*c + 21 = -2*c. Let n = c - i. Solve 7*p = n*p for p.
0
Suppose 0*b - 2*b = 0. Let q(s) = s**3 - 4*s**2 - 5*s + 4. Let c be q(5). Let g = c - 1. Solve b = 2*z + g*z - 20 for z.
4
Suppose 0 = 5*p, -5*p + 9 = 3*r - p. Solve 0 = -r*q - 15 - 0 for q.
-5
Let w be (1/3 + 120/(-9))/(-1). Solve 0 = -5*u + 7 + w for u.
4
Let r(z) = -z**3 - z**2. Let d be r(0). Let m be 2/4 + (-14)/(-4). Solve 2*v = -d*v + m for v.
2
Suppose -4 = 3*i + s - 0*s, 2*s = -2*i - 8. Solve 4*d + 2 + 14 = i for d.
-4
Let k(m) = -m + 3. Let l(a) = 2*a - 4. Let c(q) = -3*k(q) - 2*l(q). Let t be c(-6). Solve -o + t*o - 12 = 0 for o.
3
Suppose 5*a = -5*s - 25, -a + 15 = s - 4*a. Solve s = -t - 3*t + 20 for t.
5
Let x be 2/7 - (-246)/21. Suppose x = -0*b + 3*b. Solve f + b = -f for f.
-2
Let v be (1 - 0)/(-1) + 9. Solve r - v = -3*r for r.
2
Let x = -2 - -4. Suppose 4 = -w, -4*f + 2*w - 8 = -w. Let c(d) = -d**3 - 5*d**2 + 3. Let m be c(f). Solve -x*b - m = -b for b.
-3
Suppose 0 = 2*c - c. Suppose -k + 4 - 1 = c. Solve k*i = 7*i - 20 for i.
5
Let q be (-8)/(-12) - 80/(-6). Suppose -4*j = -2*j - q. Let p = j - 6. Solve 0 = 2*b - p - 1 for b.
1
Suppose -4*o + 16 = 0, -6*p + p - 5*o = 0. Let j = 113 - 122. Let n = p - j. Solve -1 - 4 = -n*y for y.
1
Let j(c) = -c - 4. Let q(y) = -2*y - 8. Let n(i) = -7*j(i) + 4*q(i). Let d be n(-6). Solve d*s - 8 = -0 for s.
4
Suppose -4*d + 2*d = 0. Solve g = -d*g for g.
0
Let x(y) = y**3 + y**2 - y - 1. Let i be x(0). Let f be (-6)/(4/2*i). Let b(u) = -u + 5. Let m be b(f). Solve -3*z + 4*z = -m for z.
-2
Suppose -38 + 13 = -5*y. Solve y*n = 29 - 4 for n.
5
Suppose m + 4 = 2*m, 4*x + 5*m - 12 = 0. Let c be -1 + 3 - (0 - x). Suppose 0 = -c*p + 3*p. Solve -y - 1 + 5 = p for y.
4
Let n = -14 - -16. Let v be (-4)/(-10) + (-38)/(-5). Suppose v = 4*p - n*p. Solve -p*a - a = -10 for a.
2
Suppose 0 = -2*c + 4 + 10. Solve -c*o + 12*o = 0 for o.
0
Suppose 3*s - 6 = o + 2, -32 = -4*o - 4*s. Solve o = 4*z - 12 for z.
4
Suppose b + 12 = 3*b. Suppose -2*c = 3*c + 25. Let n = c + 9. Solve -n*a - 26 = -b for a.
-5
Let l(n) = n + 9. Let x be l(-7). Let k = -5 - -10. Suppose k*v - 47 = -3*b - b, -b = -3. Solve -x = 5*i - v for i.
1
Let q be 1/3 - (-20)/12. Solve r = -q*r for r.
0
Suppose -m = 3*a - 9, 4*m - 3*a + 1 = -8. Solve m = -2*l + 4 + 4 for l.
4
Suppose -c = -0*c - 3*n + 6, c + n - 2 = 0. Suppose -4*j + 24 = 4*p, 0*j = 4*j - 16. Solve 10 = p*b - c for b.
5
Suppose -f = -n - 2, -2*f = -3*n - 2 - 1. Solve -f*r = -2*r - 3 for r.
3
Suppose 11*w = 10*w. Suppose 9 = d - 4*d. Let m(y) = -y. Let l be m(d). Solve w = -x + l*x - 6 for x.
3
Let n = 9 - 14. Let m be n*(0 + (-63)/15). Solve 4*b + m = 5 for b.
-4
Let q(g) = g**2 - 9*g. Suppose -25 = -5*h + 20. Suppose -3*r + 2*r = -h. Let n be q(r). Solve -5*i + n*i = -5 for i.
1
Let w be (14/28)/((-1)/6*-1). Solve 0 = w*j + 1 + 2 for j.
-1
Suppose 0 = -4*z - 10 - 10. Let i(d) = d**2 + 5*d + 2. Let w be i(z). Solve -h = w*h - 9 for h.
3
Let m be 13 - (-4)/(-5)*(0 - -5). Solve 5*v = 6 + m for v.
3
Let c(h) = -h**2 - 11*h + 6. Let x(v) = v**3 - 6*v**2 + 2*v - 6. Let j be x(4). Let t = 20 + j. Let u be c(t). Solve w - 5*w + u = 0 for w.
4
Let v = 22 - 15. Let r = 12 - v. Solve 0*n = -r*n + 20 for n.
4
Let w(s) = 3*s**2 + 2*s + 1. Let t be w(-1). Suppose -t*d + 20 = 2*d. Solve -6 = d*p + 4 for p.
-2
Suppose -15 = -3*p - 4*y, -2*y - 6 = -4*y. Solve p = -d + 4 for d.
3
Suppose -5*z + 20 = -55. Solve z = 4*v - v for v.
5
Let o = -2 - 4. Let b be 3 + o/3 + 1. Solve 0 = b*c + 2 + 4 for c.
-3
Let g = -4 - -6. Suppose g*f = 7*f - 20. Suppose 7 = -3*d + 4*p - 0, d = -f*p + 19. Solve -12 = d*m + m for m.
-3
Suppose -3 = -5*x + 4*x. Suppose -x*p + 4