 3*t, w = -3*w - t - 129. Let v be (-2)/3 + w/(-3). Let z be (-4*v)/(-2) + 0. Solve 3*l - z = -2*l for l.
4
Let m be 4*(-7 - -8) + 3*3. Solve 18 = -d + m for d.
-5
Let v be -1 + 1 - (-1 - 1). Solve -v*a = -1 + 3 for a.
-1
Let s be (8 + -9)*1*-3. Suppose -s*b = 2*b - 10. Solve 7*m - b*m + 5 = 0 for m.
-1
Let q = -1 + 2. Let o be 1/((q - -2)/15). Suppose x = o*f - 9, -5*x + 9 = 3*f - 2*x. Solve f*s = -2*s + 4 for s.
1
Suppose -3*p + 4*p = 4. Solve z + p = -z for z.
-2
Suppose -31 + 1 = -2*p. Let r be 1/(-3) + (-70)/p. Let c = r + 9. Solve c + 8 = 3*a for a.
4
Suppose 3*i - 42 = -11*i. Suppose 5 + 7 = 3*d. Solve d*n = i*n for n.
0
Suppose 4*i + 16 = 4*b, 5*b = -i + 7 + 7. Solve 4*a + b = a for a.
-1
Let y(x) = x**2 + 4*x - 3. Let i be y(-5). Solve -i*d + 5*d = -6 for d.
-2
Let o be (25/(-4))/(6/(-24)). Let d = -12 + 17. Suppose -d*z = -3*g, o = 9*g - 4*g. Solve -2 = 2*y - z*y for y.
2
Let c be 1 + (-124)/(-44) + 2/11. Solve 4*d = 3*d - c for d.
-4
Let b = -6 + 3. Let k be -2 - b - (-5 + 4). Solve d + 12 = -k*d for d.
-4
Let p = 3 + -4. Let r be p - -1 - (-9 - -4). Solve -r - 5 = -2*z for z.
5
Suppose -2*x = -3*x + k + 13, -2*k + 18 = 2*x. Let r = x - 1. Solve -4*v - r = -2*v for v.
-5
Let r = -11 + 7. Let a be 0/(2/r*-4). Solve a = c - 3*c + 8 for c.
4
Let z be 1 + -3 + -3 + 1. Let k = -2 - z. Solve 6 = x + k for x.
4
Let z = -4 + 12. Suppose 3 = -5*v + 13. Suppose -v*a = -a. Solve 4*b - z - 4 = a for b.
3
Let m be -2 + 1 - (-48)/8. Solve m*u = -18 - 2 for u.
-4
Let v(c) = -c**2 - 19*c - 13. Let i be v(-18). Let u(r) = r**3 - 6*r**2 + 5*r + 2. Let m be u(i). Solve m*y + 4 = -4 for y.
-4
Suppose -14*d + 3*d = -22. Solve 0 = d*n - 3*n - 4 for n.
-4
Let a = 3 - -3. Let z = a + 0. Solve 2 + z = -2*g for g.
-4
Suppose 0 = -3*b + 12 - 3. Suppose x = 2*w - 11, -b*w + 5 + 8 = 2*x. Suppose 2*v + w = k, -4*k = 2*v - 0 - 10. Solve 0 = k*g - g for g.
0
Suppose 0 = 5*z - 33 + 8. Suppose 19 = z*m - 11. Solve -i = -m*i for i.
0
Let i(z) = z**3 - 16*z**2 - 2*z + 34. Let x be i(16). Solve -x*w + 1 = 7 for w.
-3
Suppose -5*t - 15 = -0*c - 2*c, -2*t = -4*c + 22. Solve -8 = -3*x + c*x for x.
-4
Let n = 10 - 7. Let f(o) = -o**2 - 4*o + 7. Let c be f(-5). Suppose 4*v + c*z - 3 = 1, -n*v = -2*z - 17. Solve 5 = 4*t - v for t.
2
Suppose -3*v + 39 = 5*j, -4*j + 10*v + 9 = 5*v. Let s(h) = -h**2 + 5*h + 6. Let u be s(j). Suppose u*b - 20 = -2*b. Solve 7*q = 2*q + b for q.
2
Suppose -22 = -3*d - 1. Let b(r) = -3*r + 45. Let q(a) = -a + 22. Let v(u) = -3*b(u) + 7*q(u). Let t be v(-8). Solve 0 = t*k - d*k - 20 for k.
-5
Let g be (-3)/9 + 14/6. Solve 3*w = 4*w + g for w.
-2
Suppose -3*q + 15 = 0, -5*o + 4*q - 10 = q. Let v(u) = u + 3. Let j be v(1). Solve 5*w - j*w = o for w.
1
Let w be 3/(((-84)/(-16))/(-7)). Let k be (-3)/12 - 17/w. Solve 1 = k*j + 5 for j.
-1
Let t be ((-4)/(-18) + 2/18)*15. Solve -t*i - 7 = 3 for i.
-2
Suppose -d = -4*d + 18. Let v = d + -4. Solve -v*z = 2*z - 8 for z.
2
Let u(a) = a**3 + 6*a**2 + 3*a - 7. Let o be u(-5). Solve -o*i - 2*i = -20 for i.
4
Suppose -4*a = 2*h + 8, -5*a + a - 14 = 5*h. Let w be (-5 - -3)*(h + 1). Solve w*o + 4 = 4*o for o.
2
Suppose 3*v - k = -5*k + 5, v - 5*k - 8 = 0. Solve x + 4 = v for x.
-1
Suppose -4*o = j - 4, 16 = 2*o - 0*o + 4*j. Solve o*g - g = 3 for g.
-3
Let c be 30/4*(-104)/(-65). Suppose c = -s + 5*s. Solve 0 = -4*m + s*m - 2 for m.
-2
Suppose 2*x - 4*x = -10. Suppose x*j + 0 = 60. Suppose j = -4*l, -k = -4*l - 9 - 4. Solve r = -k + 3 for r.
2
Let v = 80 + -78. Solve x = v*x for x.
0
Suppose 17*y - 6 = 14*y. Solve -m + 3*m = -y for m.
-1
Let m(u) = u. Let v be m(3). Suppose v*x = -2*x + 60. Suppose 2*g = -4 + x. Solve 5*f = f - g for f.
-1
Suppose 0 = 3*z + u + u - 13, 2*u + 22 = 4*z. Solve -z*l - 10 = -3*l for l.
-5
Let o be (-2)/5 - (-27)/5. Suppose 3*x - 14 = -u, -o*x + 29 = 2*u - 6*u. Let b(s) = 3*s - 1. Let i be b(1). Solve -13 = x*m + i for m.
-3
Suppose 0 = -0*t + 2*t - 8. Solve -c - 9 = -t*c for c.
3
Suppose -c + k = -4*c + 6, -3*c = -5*k - 6. Suppose -2*p = -p - 4*a - 2, -4*p = 2*a - 26. Solve c*b - 14 = -p for b.
4
Let q(s) = s**3 - 6*s**2 - 7*s + 4. Let v be q(7). Let a = -2 - -4. Let k = 0 + a. Solve v*i - 6 = k for i.
2
Let y(o) = o + 3. Let q be y(-2). Let m be q*0*1/4. Solve m*j = -j + 2 for j.
2
Let w = -8 + 24. Let t be w/(-10)*(-5)/1. Let v be t/6*9/6. Solve v = -4*r - 14 for r.
-4
Suppose g = -4*f + 12, -f + 0*f = 2*g - 3. Suppose 0*j - 4*j + 48 = g. Solve -3 - j = -5*y for y.
3
Let z = -19 - -32. Solve z*h - 6 = 11*h for h.
3
Let v be 2/((18/(-8))/(-9)). Solve -g = -3*g - v for g.
-4
Let i be 3*(3 - 24/9). Suppose -2*k + 5 = -i. Solve -8*g + k*g = 10 for g.
-2
Let c(p) be the second derivative of p**5/20 - 11*p**4/12 - 2*p**3 + 5*p**2/2 + 4*p. Let k be c(12). Solve k*t = 15 + 5 for t.
4
Let s be 51/(-7) + 4/14. Suppose -3*v + 0*v = 12, 4 = -2*q + v. Let n = q - s. Solve n*w = -14 - 1 for w.
-5
Let b(t) = -t. Let c(r) = r**3 - 4*r**2 - 6*r + 2. Let p be c(5). Let a be b(p). Suppose u + 0*u - a = 0. Solve -4*l = -u*l for l.
0
Suppose 2*c - 6 = -c. Suppose -c*y + 25 = 3*y. Suppose 1 = -x + 2*x, 29 = y*i + 4*x. Solve i*t - 11 + 1 = 0 for t.
2
Let q = 0 - -1. Suppose -7*d = -11*d. Solve b = -d*b - q for b.
-1
Let h be 54/36 + (-6)/4. Solve 0 = -h*w + 5*w - 20 for w.
4
Suppose 2 = 4*l - 6*l. Let r(z) = -7*z + 1. Let a be r(l). Let b(o) = -o**2 + 8*o + 2. Let q be b(a). Solve -q*i + i = 0 for i.
0
Let g(z) = -z**3 + z**2 - z + 2. Let j be g(0). Solve 1 = -p + j for p.
1
Let r be -8 - -5 - (-20 - -1). Let b be (2 - 2) + r - 4. Solve 5*w - w = b for w.
3
Let p be 14 + (2 - -1 - 2). Solve -p = -3*y - 2*y for y.
3
Suppose 0 = t + t - 8. Let p be 2/((-1)/3*-2). Suppose 0 = 3*x + p, 6 = 2*h - x - x. Solve t*v - h*v = -2 for v.
-1
Let o(x) = -2*x + 6. Let i be o(0). Solve 5*y + i = -4 for y.
-2
Let f be (-1)/(-3) + 20/12. Let d = 80 - -40. Suppose -2*x - 3*x + d = -5*q, -4*x + 60 = 5*q. Solve -f*l + x = 2*l for l.
5
Let f = 5 + -3. Let u(l) = 3*l**3 - l**2 - l + 1. Let i be u(f). Let q = -4 - -5. Solve -4*c - i - q = 0 for c.
-5
Let n = 2 - 0. Let i(j) = 4*j**2 + j + 2. Let c be i(n). Suppose -3*o - o = -c. Solve 3*v - o*v = 0 for v.
0
Let g be 27 - 1/((-2)/(-4)). Suppose 5*u - 2*u - 9 = 0. Let h be u/3*3*2. Solve -h*r + g = -r for r.
5
Suppose 17 - 53 = -4*v. Let k be (-18)/(-4)*12/v. Solve j + k = 3*j for j.
3
Let a = -2 + 4. Let y be 2 - ((-6)/a + 3). Solve y*x = x - 3 for x.
-3
Suppose 10 = 2*u - 2*j - 2, -3*j = 2*u - 12. Let l = u + -2. Suppose -l*v + 65 = 5*i, 12 + 3 = -5*i. Solve -5*h = -h - v for h.
5
Let u = -71 - -73. Solve 6*b = 4*b + u for b.
1
Let x(a) = 3*a**2. Let c be x(-1). Suppose c = 2*r + 1. Let l be (-2)/r*(3 + -5). Solve -l*p - p + 5 = 0 for p.
1
Suppose 4*z - m = 29, -3*z - 11 = 3*m - 44. Suppose -1 = k - 3. Suppose q = -4*q. Solve q*i = -k*i - z for i.
-4
Let m = -1 - -141. Suppose -m = -5*l - 0*l. Let n be (-2 + l)*1/2. Solve n = 3*a - 2 for a.
5
Suppose -6*a = -74 + 2. Let m(x) = -x. Let k be m(0). Solve -3*s - a = -k*s for s.
-4
Let o(s) = s**3 + 15*s**2 + 14*s + 2. Let v be o(-14). Solve v*z + 3 = 1 for z.
-1
Let q(m) = m**2 - 1. Let y be q(1). Let c = 6 + y. Let k be (1 + -1)/(24/(-12)). Solve k = -2*w + c + 4 for w.
5
Let u(i) = i**3 - 3*i**2 + i + 1. Let x be u(3). Let r be x/4 + (0 - -1). Solve -3*j + 1 = -r for j.
1
Let q = -43 - -61. Let i(a) = 4*a + 1. Let z be i(1). Solve z*y + q = 3 for y.
-3
Let s(f) be the first derivative of f**4/4 + 5*f**3/3 - f**2/2 - f + 2. Let c be s(-5). Let q be 0 + (c - 1) + 0. Solve u - q - 2 = 0 for u.
5
Let y(m) = -m**2 + 5*m - 4. Let t = 1 - -2. Let u be y(t). Let o be 2/4*10*1. Solve -12 = o*s - u for s.
-2
Let i be 5 + -1 + 0/1. Solve -o = -i*o + 6 for o.
2
Let o(l) = l**3 - 4*l**2 + 2*l + 3. Let s = -5 - -8. Let k be o(s). Suppose 2*d - 4 = -k. Solve -6*q + d*q - 16 = 0 for q.
-4
Let x(k) = 2*k - 3. Let l be x(5). Let y = l + -7. Solve 4*u - u = y for u.
0
Let x be (0/(-1))/((-7)/7). Suppose -2*i = -x*i - 4. Solve c + 2 = i*c for c.
2
Suppose 2*c + 5*g - 33 = 4, 0 = -3*c - 4*g + 52. Solve -c = -4*w - 0 for w.
4
Let o be 21/4*(-16)/(-6). Suppose 2*y = -2*y + 5*t - o, 4*y = -4*t + 4. Let g = 6 + y. Solve 4*x + g - 1 = 0 for x.
-1
Let f(s) = s**3 - 3*s**2 + 3*s. Let k be f(2). Suppose -5*j + 34 = 4. Solve -k*o + 0*o + j = 0 for o.
3
Let h