 2*g = -20 for g.
5
Let z = 1 + 2. Let k be 0/((2 - 5)/z). Solve -d + 4*d + 15 = k for d.
-5
Suppose 1 + 9 = 5*t. Let y be ((-4)/(-10))/((-2)/(-100)). Solve 0 = -t*f - 2*f - y for f.
-5
Let v = -7 + 12. Let u = v - -2. Let j = 4 + -1. Solve -j + u = -2*t for t.
-2
Let i = -1 + 19. Let o be 12/i - 26/(-6). Solve 10 = -o*g - 0*g for g.
-2
Let v be (-20)/(-3 - 1) + (-1)/(-1). Let d be (32 - 2)*(-2)/(-3). Solve t - d = v*t for t.
-4
Suppose -9*q + 63 = -9. Solve 0 = 2*r - 0 + q for r.
-4
Suppose 0*r - r = 2*j, -5*r + 12 = -2*j. Solve -r - 1 = 3*g for g.
-1
Let n = -4 - -3. Let w = 8 + -7. Let h = w - n. Solve -2 = -h*q + q for q.
2
Let z(p) be the first derivative of -p**3/3 + 11*p**2/2 + 16*p - 1. Suppose -4*h = 5*s - 56, 39 = 3*s - 0*s - 3*h. Let d be z(s). Solve d*x + 3 = -1 for x.
-1
Suppose -k = -1 - 5. Suppose o - 4*o + k = 0. Let r be 0 + -2 + 1*o. Solve 4*j - 3 - 1 = r for j.
1
Let f(i) = i**2 - 17*i + 10. Let b be f(17). Solve -7*l + b = -2*l for l.
2
Suppose -b + 3*b + 3*s = 9, 3*s - 9 = 0. Solve b*z - z = -2 for z.
2
Let s be 3/(63/48) + (-6)/21. Suppose -w - 10 = -3*c + 2*c, 4*w = -5*c + 14. Solve 0 = -s*i - 2 - c for i.
-4
Suppose 2 = -b + 3*f, 3*b + 2*b = 2*f + 42. Suppose -12*g + 15*g = 30. Suppose -5*p - b = 2*i, g + 6 = -4*p. Solve i + 0 = v for v.
5
Let g be (-3)/(-2) + (-63)/(-14). Let p be (9/g)/((-1)/(-10)). Solve -5*c - p = -2*c for c.
-5
Suppose -4*x - 65 = 3*s - 8*s, s + 4*x - 37 = 0. Suppose 5*w = -3*h + s, 3*w + 0*w + 17 = 5*h. Let i be (3*(-2)/(-2))/w. Solve -i = 2*p + 7 for p.
-5
Suppose -3*p + 2*p = 5*i - 2, 3*i = 0. Solve 13 - 3 = p*b for b.
5
Let b(o) = -o**2 - 8*o + 3. Let r be b(-8). Let u = 1 + 1. Solve -u*k + r*k = 4 for k.
4
Suppose 5*g + 2*f = -3*f + 40, -2*g + 4*f = -4. Suppose -r - g + 31 = 0. Solve -5*c + r = -0*c for c.
5
Let o be (-6)/(-27) + 34/9. Solve -9 = y - o for y.
-5
Let j be (1 + 3)/2 + 0. Let o(p) = p**3 - 6*p**2 + 4*p + 4. Let l be o(4). Let v = 14 + l. Solve w + j = v*w for w.
2
Let a = 8 + -7. Suppose -a + 15 = 2*c. Solve f - 2 = -c for f.
-5
Let t be (-4)/20*6*(-40)/6. Solve g - t = 5*g for g.
-2
Let w(i) = i**3 - 4*i**2 - i + 8. Let j be w(4). Solve -t - 15 = j*t for t.
-3
Let f(h) = h + 11. Let t be f(-8). Solve -2*l + 5 = -t for l.
4
Suppose -2 = 3*n + 3*g - 35, 0 = 4*n + 2*g - 44. Solve n = 4*k - 5 for k.
4
Let a(o) be the first derivative of o**3/3 - o**2/2 - 5*o + 2. Let d be a(4). Solve 0 = 2*t - d*t - 20 for t.
-4
Let i be (0 + -4)*(-3)/4. Solve -i*r + 5 + 1 = 0 for r.
2
Let u = -6 - -6. Suppose -4*b = -5*h - u*b + 26, h = -3*b - 10. Solve -3*i = -h*i - 1 for i.
1
Suppose 4*s + 6 = 7*s. Let i(c) = 1 - 3*c**2 - 1 + c**s + 4*c**3 + c. Let p be i(1). Solve 0 = -4*j + p + 1 for j.
1
Let v = 9 + -7. Suppose -5 = -v*j + 1. Let o = 56 - 39. Solve 5*f = o + j for f.
4
Let i(z) = 3*z + 29. Let j be i(-7). Suppose 6*g = g - 5. Let l = j - g. Solve -n = 2*n + l for n.
-3
Let y = -1 - -3. Let t be y + (2 - -6 - 1). Solve -4*n + 5 = -t*n for n.
-1
Let t be (-4)/(2/7 - 0). Let x(y) = -y**2 - 5*y + 7. Let m be x(-5). Let k be (-66)/t + 2/m. Solve -2*i = -1 - k for i.
3
Suppose 4*k = 19 - 7. Suppose k*j - 72 = -0*j. Solve -5*o + 4 - j = 0 for o.
-4
Let s be (-15)/(((-63)/(-6))/(-7)). Solve s = 5*d - 10 for d.
4
Suppose 25 = 4*u - 3. Solve 5*s + 8 = -u for s.
-3
Let p be 1 + 0 + 5*1. Suppose -2*w = 3*i + 2, 0 = 4*i + 5*w + 12. Suppose 3*v = 4*d + i*v - 2, p = 4*d - 3*v. Solve d = a + a for a.
0
Suppose -3*q + 2*q = -3*i + 13, 0 = -3*i + 4*q + 25. Suppose -2 = -i*l + l. Let r(y) = y**2 + 2. Let h be r(0). Solve 0 = -w + h*w - l for w.
1
Suppose 0 = 2*x - 4*x - 18. Let g be (6/x)/(4/(-30)). Suppose g*r = n + 29, r + 28 = 5*r + 4*n. Solve t + 25 = r*t for t.
5
Let a be (4/(-6))/((-4)/18). Solve 0 = -a*y - y + 8 for y.
2
Let i be 2 + 2/(-3)*-3. Let f be (-6)/(-4) - (-58)/i. Let a(r) = r - 3. Let o be a(3). Solve o = 3*c + c - f for c.
4
Suppose -c - 2*c = 0. Suppose -s + 5*u + 5 = -14, c = -3*s - 5*u - 3. Suppose 2*l - l - s*b = 41, -3*l = -5*b - 95. Solve 5*x - 10 + l = 0 for x.
-3
Let l be -2*2/4 - 0. Let a be (l - (-1)/2)*-6. Solve -6 = a*s + 6 for s.
-4
Let f = -26 - -29. Solve 4*m + 15 = f for m.
-3
Suppose 2*z = 9 + 37. Suppose -5*t + z - 59 = -2*p, 5*p = 15. Let w(d) = -2*d - 7. Let j be w(t). Solve 0*h = j*h for h.
0
Suppose 0 = -3*w + 6 + 21. Suppose 5*r = w + 6. Solve -4*x - 1 = -r*x for x.
-1
Let w(v) = -2*v**3 + v**2 + v. Let u be w(-1). Solve -5*b - u - 23 = 0 for b.
-5
Let d be (1 + 0)*2 - 2. Suppose 3*p - 2*p = 3*s - 17, -5*p - 13 = -3*s. Suppose d = -s*q + q + 30. Solve -5*x - q = 19 for x.
-5
Let h(x) = -x**2 + 5*x - 2. Suppose 5*l = a + 11, a = 3*a - 8. Let r be h(l). Solve -3*n + r*n = 3 for n.
3
Suppose 2*q + o = 4 + 7, 5*q + 3*o - 30 = 0. Suppose -q*i = i - 16. Solve -5*l - 14 = -i for l.
-2
Let j be 410/35 + 4/14. Solve 2*s + s - j = 0 for s.
4
Let o(w) = -w + 3. Let s(t) = 7*t - 5 + 2 - 4*t. Let i be s(2). Let l be o(i). Solve u + l*u - 4 = 0 for u.
4
Suppose -6*w + 3*w + 9 = 0. Solve w*p + 2 = 5 for p.
1
Let y be 3 + -4*(-2)/8*0. Suppose 0 = 2*b - 5 - 5. Suppose 5*l - 55 = -0*l + 5*n, -b*n - 15 = 0. Solve y*a + 1 = -l for a.
-3
Let g = 6 + -6. Solve -3*u + g*u = 6 for u.
-2
Let d be 10 - (4 - (0 - -3)). Solve 0 = 2*f + f - d for f.
3
Suppose -4*w + 94 = -2*w. Suppose -5*k + 33 = -w. Solve -k = 5*h - h for h.
-4
Suppose t - 52 = -t. Suppose a - 5*b + 10 = -2*b, t = 3*a + 5*b. Suppose -a*j = j. Solve -3*v - 6 - 9 = j for v.
-5
Let j(n) = n**3 - 14*n**2 + 13*n + 2. Let o be j(13). Suppose -o*t = 6, -3*w - t + 2*t = -6. Solve p + w + 3 = 0 for p.
-4
Let a = 4 + -6. Let s(u) = -u**3 - 2*u**2. Let v be s(a). Let b be (1 - v/(-1)) + 1. Solve -3*c - b*c = 0 for c.
0
Suppose 0*d = -3*d. Solve 2*o + o + 9 = d for o.
-3
Suppose 11 = 5*d - 19. Solve 5*y + d + 19 = 0 for y.
-5
Let o be (-7)/((3/(-2))/3). Let n be 6/21 - (-346)/o. Solve n = -6*g + g for g.
-5
Suppose b = 3*a, -a + 0*a - 42 = -5*b. Let n = -6 + b. Solve -h + 4*h = n for h.
1
Let g(b) = -3*b - 13. Let a be g(-6). Solve a - 1 = 4*l for l.
1
Let t(c) = -c**2 - 3*c + 4. Let j be t(-3). Suppose i + i + 3 = 5*d, j*i + 16 = 0. Let u be d/(-5) + 87/15. Solve -2*s = -0 + u for s.
-3
Suppose 0 = 4*m - 39 + 15. Let i(y) = -y - 3. Let p be i(6). Let h = p + 13. Solve 5*t - h = m for t.
2
Let w(y) = 7*y**2 + 1. Let p be w(-1). Solve 0 = 3*d - p - 7 for d.
5
Let p(l) = -2*l + 10. Let b be p(9). Let g = b - -16. Let q = -8 + 12. Solve -2*s = -q*s - g for s.
-4
Suppose y - 5 = -4. Solve s + 5 - y = 0 for s.
-4
Let o(g) = g**3 - 8*g**2 + 9*g + 2. Let m be o(7). Suppose -8 = -4*x + m. Suppose 3*n + 0 = x. Solve 0*s + n*s - 6 = 0 for s.
3
Suppose -2*l + 4*m - 12 = 0, l + 2*m + m - 14 = 0. Suppose 4*p + l = 6. Solve 0*a = a - p for a.
1
Let k be -8*(-2)/(3 - -5). Suppose 2*z - 21 = -3*b, k*b = 2*z - 2*b. Solve -10 = 4*d + z for d.
-4
Let j = -5 - -5. Solve j = -0*w - w + 3 for w.
3
Let h be (-5 + 5)*1/1. Suppose h*g = -g + 17. Solve -4*o + 1 = g for o.
-4
Suppose 5*q - 6*q = 5. Let v be q/10*0/2. Solve d - 4*d = v for d.
0
Let a be ((-1)/(-3))/(1/3). Let z be 9/(-6)*(a - 3). Let j be (-1)/3 - 5/(-15). Solve -h + j = z for h.
-3
Suppose -20 = -q - 4*q. Suppose -7*z - 3*s + 27 = -3*z, q*z - 37 = -5*s. Suppose 0*n = z*n - 3. Solve 13 = -4*x + n for x.
-3
Let u = 41 - 28. Suppose -3*p = -2*a + 3, a = -a + 2*p. Let n = u + a. Solve 5*q + 5 = -n for q.
-3
Let x be 3*(-3 - (-3 + 1)). Let p be 4*2/(x + 2). Let j = p - -13. Solve j*t - 11 - 4 = 0 for t.
3
Suppose -4*j - 3*b + 24 = 0, -b + 11 + 8 = 5*j. Let p(q) = -q**3 + 5*q**2 - 2*q. Let g be p(3). Solve -j*t - g = -7*t for t.
3
Let n be (3 - -2) + 1*-2. Solve n*k - 4*k - 4 = 0 for k.
-4
Suppose 10 = 6*v - 32. Suppose b + 24 = v*b. Solve p = -0 - b for p.
-4
Let k = 47 + -31. Solve -3*z - k = z for z.
-4
Let z = 19 - 16. Suppose -4 = -b, -j + 3*j + z*b - 12 = 0. Solve j = -4*k - 0*k for k.
0
Let i(z) = z**3 - 9*z**2 + 9*z - 4. Let k be i(8). Solve -y - k = -2 for y.
-2
Let h(c) = c**2 - 7*c + 2. Let d be h(7). Suppose d*b = 5*j + 6 - 38, -22 = b - 4*j. Let n = 11 + b. Solve 2 = -a + n for a.
3
Suppose 3*o + 195 = -2*o. Let i be (-2 + o/3)/(-1). Solve i = -l + 6*l for l.
3
Suppose 3*k - 16 = -k. Suppose 0 = 3*g - r + 22, k*r = -4*g + r - 25. Let q = -3 - g. Solve 0 = -p - q + 2 for p.
-2
Let k(i) = i**2