ve 2 = 3*d - v for d.
1
Suppose -4*m + 0 - 8 = 0. Let v be m - (1 + 45/(-3)). Solve -3*w - v = -0 for w.
-4
Suppose 3*q - 11 + 5 = 0. Suppose 2*i + i = -30. Let v be (-8)/(-20) - (-4)/i. Solve -q*d - 3*d = v for d.
0
Suppose -3*z + 96 = 5*l, -3*l + 4*l = 0. Suppose -4*g = 4*h - z, -5*g + 22 = 4*h - 3*g. Suppose 2*o - h*b - 2 = 14, 24 = 4*o - 4*b. Solve 2*x = -o*x + 12 for x.
3
Suppose -2*l - 10 = -5*j, 3*j - 2*j - 4*l - 20 = 0. Solve 5*a = -j*a for a.
0
Suppose 2*a = 34 + 34. Suppose -2*v = -2*u - 0*v + a, -5*u + 85 = -2*v. Solve 5*y - 3 = u for y.
4
Let i(q) = -7 - 6*q**2 + 0*q**2 + 1 - q**3 - 7*q. Let v be i(-5). Solve -2 - 14 = v*z for z.
-4
Let u(s) = s**2 - 11*s + 12. Let f be u(10). Suppose 7*m - f*m = 25. Suppose j - m*y - 22 = 0, -38 = -5*j - 3*y - 12. Solve -3*o - 5 - j = 0 for o.
-4
Let a(f) = 2*f - 10. Let i be a(5). Solve i*o = -o for o.
0
Let t(m) = 4*m - 5. Let l be t(5). Suppose -34*q = -179 + 43. Solve l = q*y - y for y.
5
Let s = 8 + -6. Suppose -w + 12 = 2*w. Solve s + 6 = w*j for j.
2
Suppose 2*s = 3*u - 8, 0 = -4*u - u + 4*s + 16. Suppose 5*o + 4*v - 6 = u, -5 = -3*o + 3*v + 4. Let k be o/(-13) + (-108)/(-26). Solve 0*w - k = 4*w for w.
-1
Let i = -27 + 31. Solve 0*a = i*a + 12 for a.
-3
Suppose 5*r + 151 - 176 = 0. Solve r*a + 0*a = 5 for a.
1
Let x = 6 - 3. Suppose -2*m = 2*m - 12, m = -h + 4. Let c = h + x. Solve -1 + c = -s for s.
-3
Suppose y = 3*y - 10. Suppose 17 = y*k + h, -k + 9 = h + 2*h. Solve k*v - v = 0 for v.
0
Suppose t - 5*c = 7, 5*t - 3*c = -5*c + 8. Suppose 0 = -2*l + 5*l - 33. Suppose 0 = -2*h + 3*w + 29 - l, 2*w = h - 10. Solve 0*b + h = t*b for b.
3
Let o be ((-60)/(-16))/(6/16). Let d = o - 5. Solve 0*n = n + d for n.
-5
Let j = -41 + 41. Solve -c + 4*c + 3 = j for c.
-1
Suppose 8*c = 7*c + 4. Solve f = -c*f for f.
0
Let w(o) = -o + 3. Let c be w(1). Solve -x + c*x = 4 for x.
4
Suppose -4*d + 21 - 1 = 0. Suppose -v + 3*i = -2*v, 5*i + 14 = 3*v. Solve 2*w = -d + v for w.
-1
Let g be (1/(40/96))/((-2)/(-5)). Solve 3 = b + g for b.
-3
Suppose -20*s + 119 = -121. Solve -4*l - 8 = s for l.
-5
Let s = 3 + -5. Let d be 6/s*(-48)/18. Solve -y - d = y for y.
-4
Suppose 3*v + 6*v - 9 = 0. Solve -u + 0 = -v for u.
1
Let m(d) = -d**3 + d**2 + d + 10. Let q be m(0). Let u be (-4)/(-18) + 124/9. Suppose u = 2*c + 3*b - b, 0 = 5*b - q. Solve -40 + 15 = -c*z for z.
5
Suppose 4*q = -5*h - 2, -5*h - 3*q + 4 = 3. Let g(y) = y**2 + 4*y - 5. Let m be g(-5). Let d = h - m. Solve -2*v + d = -0*v for v.
1
Suppose -x + 14 = u, 5*u + 29 = 3*x + 3. Solve -x = 2*m - 5*m for m.
4
Suppose y - 3*b - 37 = 2*b, 3*y - 5*b = 61. Solve c + y = -2*c for c.
-4
Suppose -9 = -2*w - w. Suppose 2*v - 5*p = 25, 0 = -4*v - 3*p + 8 + 3. Suppose -w*d + d = -v*b + 10, -8 = -4*b - 4*d. Solve -2*s + 8 = b for s.
3
Suppose 3*k = 4*t - 3, 0 = k + 3*t - 4 - 8. Suppose 4*d + 2*m = 16, -d + k*d + 5*m = 16. Solve -20 = d*h - 5 for h.
-5
Let u(q) = q - 21. Let h be u(9). Let g be (-3)/(-9) - 56/h. Solve 4 = -g*x - 11 for x.
-3
Let d be 0 - (-77)/15 - 2/15. Solve 4*a + d = 3*a for a.
-5
Let r(t) = -25*t**3 - t**2 - t. Let f be r(-1). Suppose 0*c - 5*c = -4*x, 4*x + 4*c + 36 = 0. Let l be (x - 0)*(-10)/f. Solve -l*q = q for q.
0
Suppose 2*l - 17 = -5*p, 2*l = p + 6*l + 11. Solve -4*x + p*x - 5 = 0 for x.
5
Let y be 0/1*(-7)/14. Suppose y*n - k = 3*n - 4, -n - 3*k = 4. Suppose 4*a - n*l = -3*l + 3, 3*l = -4*a - 7. Solve -3*w - a*w = -5 for w.
1
Suppose -3*z + 0 + 6 = 0. Solve g = z*g for g.
0
Suppose -2 = q - 5. Solve -q*d + 15 = -0*d for d.
5
Let r(x) = -2*x**3 + 6*x**2 + 2*x - 5. Let s be r(3). Solve -s = 3*c - 4*c for c.
1
Let k(n) = -n**3 - 4*n**2 + 3*n + 3. Let p be k(-5). Let j = p + -7. Let f(q) = q**2 - 4*q - 6. Let a be f(j). Solve -y - 20 = -a*y for y.
4
Let o(q) = -q**2 + 5*q - 2. Let u be o(4). Suppose 4*p - 12 = u*p. Solve p*t - 15 = 3*t for t.
5
Let w be 144/14 - (-2)/(-7). Let g be ((-12)/w)/((-4)/10). Suppose 3*m = -12, g = -2*x - 2*m - 1. Solve 0 = -c + x*c + 2 for c.
-2
Suppose 9*u - 24 = 12. Solve u*q = 2*q + 10 for q.
5
Let r be (2 + 1 + -2)*4. Let x = -6 + r. Let z be 2 + 1 + x + 1. Solve 2*j = z + 2 for j.
2
Let v be 465/165 + (-4)/(-22). Solve -v*k + 8 + 1 = 0 for k.
3
Suppose 4*v - 8 - 16 = 0. Suppose -4*n + 2*n = -v. Solve 2*b = -1 - n for b.
-2
Let g(r) = -r - 10. Let l be g(-7). Let t(j) = -j. Let c be t(l). Suppose 2*v + 0*v + 3 = x, 2*v = 4*x - 18. Solve 2*w - c = x*w for w.
-1
Let d be 18/5 + 16/40. Solve 7 + 5 = d*h for h.
3
Let o(r) = r**3 + 3*r**2 + r. Let b be o(-2). Let m = -1 + b. Solve 0 = -g - 0 - m for g.
-1
Let q be 6/(-15) + 12/5. Suppose 0*l - l + 4 = 0. Suppose 0 = w + n - q, 0*n - n - l = -5*w. Solve -u - 1 - w = 0 for u.
-2
Suppose z = 2*z - 4. Suppose 4 = 2*o + c + 3, z*c = -3*o - 1. Solve 0 = p + o - 0 for p.
-1
Let b = 15 - 9. Suppose 2 = -5*a - 3*l + b, 4*a = -3*l + 2. Suppose -y + 29 + 3 = a*n, -5*y = 4*n - 64. Solve n = -3*x - x for x.
-4
Suppose 3*r - 26 = -14. Solve -r*u = u for u.
0
Let o be ((-8)/(-6))/(2/3). Let y be 8 + (3 - o - -1). Suppose 0 = -2*c + 3*j + y, -5*c + 20 = -0*c - 5*j. Solve c*n - n = -1 for n.
-1
Let q be (-3 - -9) + -2 + -1. Solve p = q*p for p.
0
Let c = -8 + 17. Let i(f) = 3*f + 2. Let r be i(1). Let t be (-1)/((-1)/r + 0). Solve c = -t*o + 2*o for o.
-3
Suppose 0 = -3*s - 2*s + 25. Suppose 0 = u - s*z - 30, 5*u + 0*z = -5*z. Solve 4*o - u = 3 for o.
2
Let u be (21/14)/(3/40). Let a be (-2 - (-48)/u)*20. Solve a - 2 = -3*t for t.
-2
Suppose -26*q + 10 = -21*q. Solve 5*x - q*x = -12 for x.
-4
Suppose -5*a + 2*a = -4*p + 17, -2*p = -2*a - 8. Solve -p*n + 1 + 9 = 0 for n.
2
Let r be 60/8*(-24)/(-10). Suppose 20*l - r*l - 44 = 0. Solve 5*p + 3 = -l for p.
-5
Let x = -6 + 10. Suppose -4*q - x = -12. Solve -q = 3*m + 10 for m.
-4
Let u be 1/((-3)/3)*-1. Let h be 1*u/(1/12). Solve 3*i + 0*i + h = 0 for i.
-4
Suppose 0 = -5*z - z + 48. Solve z*a = 5*a + 12 for a.
4
Let f = 4 - 6. Let g be 2/8 + f/8. Solve g*d + 4 = -2*d for d.
-2
Let n(a) = -a + 6. Let c(o) = 2*o**2 + 17*o - 2. Let b(p) = -p**2 - 9*p + 1. Let z(k) = -7*b(k) - 4*c(k). Let t be z(-4). Let s be n(t). Solve w + s = -2 for w.
-3
Let s(g) = -g**2 + 5*g + 2. Let p = 4 + 1. Suppose t + 0*t - 2*u + 6 = 0, t + p*u = 29. Let a be s(t). Solve -4*n = a - 2 for n.
-1
Suppose 8 = -0*t + 2*t. Suppose t - 14 = 5*z. Let v be (3 + z)*0/1. Solve u + 2*u - 15 = v for u.
5
Let a = 8 - 5. Let z(f) = f + 1. Let i(p) = -8*p - 2. Let w(h) = -i(h) - 6*z(h). Let c be w(a). Solve x = -0 - c for x.
-2
Suppose 2*j - 5 = -5*k - 2, 0 = 2*k - 2. Let s be -1 - -2 - (j - -1). Let v be 0 + s + 2 - 1. Solve -x + v = -2*x for x.
-2
Suppose -t + 4 - 3 = 2*s, 2*s - 3 = -3*t. Solve 2 = -w - s*w for w.
-2
Let g = 21 + -16. Solve -g*u = -u for u.
0
Let p = -16 + 31. Let w be (-10)/4*(-24)/p. Suppose -3 + 19 = 5*i + 3*y, 0 = -w*i - 3*y + 11. Solve -2*j + 12 = -i*j for j.
-4
Let z(v) = -v - 1. Let s be z(-3). Let f(x) = 4*x**2 - 3*x + 2. Let n be f(s). Suppose 3 = 5*t - n. Solve -t*y - 11 = 1 for y.
-4
Let w be (1/2)/((-9)/(-54)). Solve 0 = -4*j + w*j for j.
0
Let h = -18 - -18. Solve -3*b + 5 - 2 = h for b.
1
Suppose 0 = o - 3*y + 1, 0 = o + 4*y + y - 23. Let x(c) = -c**2 + 10*c - 12. Let i be x(o). Solve 4*p + 4 = -i for p.
-2
Let r be 14/35 - (-13)/5. Suppose 0 = -h - r, b - 2*h = 3*b + 2. Solve -1 = -m + b for m.
3
Suppose 0 = -2*t + l + l + 16, 2*l = 4*t - 22. Let j(b) = b**3 + 7*b**2 + 6*b. Let h be j(-5). Let i be h/(-6)*6/(-4). Solve -i*z + t = -2*z for z.
1
Let v be (-4)/(-14) + 540/21. Let c be 1*(2 + v/2). Solve -4*t + c = -t for t.
5
Let h be (-12)/(-30) - (-2)/(-5). Solve -f - 1 = -h for f.
-1
Let r(s) = -s**2 - 4 + 2 + 4 - 13*s. Let y be r(-13). Solve 0 = -6*w + y*w for w.
0
Let p(g) be the first derivative of g**2/2 + g - 1. Let i be p(4). Let n be 28/i + 2/5. Solve 2*o + n = 4 for o.
-1
Suppose 0 = 3*j + 5*i - 22, -4*i - 12 + 4 = -4*j. Solve -j*p = -p + 12 for p.
-4
Let y be (4 + -3 + -1)/3. Solve 6*h - 2*h = y for h.
0
Let z(f) = -f**3 - 4*f**2 - 3*f + 2. Let l be z(-3). Solve 4*w + l = -6 for w.
-2
Suppose 3*c + 5*h - h = 90, 0 = -5*h. Suppose -d - 1 = -c. Let i = d + -20. Solve -3*b = -0*b - i for b.
3
Let g be -4 - -3*(5 + -2). Solve -5 - g = 2*l for l.
-5
Suppose 0 = -5*d + 5*a + 3 + 17, -8 = -2*d - 2*a. Suppose -d*r = b - 17, 3*b - 2*b = -3. So