e -12 = -h*u - u for u.
4
Suppose 3*l - 9 = -0*l. Solve -x = l + 2 for x.
-5
Suppose u - 3*o - 3 = 9, 3*u = -5*o - 6. Solve -u*c = -c + 10 for c.
-5
Suppose 3 = -3*n + 15. Let p = n + -1. Solve 2*c - p = -c for c.
1
Suppose -q = -2*w + 19, 4*w = -w + q + 43. Suppose 2*h = 6*h - w. Suppose -6*f + f = -d + 5, -3*f = -h*d + 10. Solve -d*k + 0*k = -10 for k.
2
Let a(f) = 2*f + 29. Let k be a(-4). Solve 4*x - 1 = -k for x.
-5
Suppose -4*t + 21 = -3*t. Solve -4 = -5*f + t for f.
5
Let s be (-202)/(-22) - 2/11. Suppose -n + s - 3 = q, 4*q - 4 = n. Suppose 3*m = 5*h + 21, -2*m - 11 = h + 4*h. Solve -q*g + 16 = m*g for g.
4
Let a be (4 + 9/(-2))*-4. Solve -4 = -2*x - a for x.
1
Let g be (-14)/(-3) - (-4)/12. Suppose -3 = 2*u - g. Let h be 0/(-3 - -2 - u). Solve -8 = 4*f - h*f for f.
-2
Let q be (-12)/10*45/(-18). Suppose -q*u + 7*u = -12. Let i be (-4)/u*9/6. Solve -i = -2*b + 4 for b.
3
Suppose 4*c = -8, d - c = -d + 22. Solve -5*l - 5 = -d*l for l.
1
Let t be 1 - 12/(-4) - 1. Solve -9 = -6*y + t*y for y.
3
Let l = 171 + -169. Suppose -z = 4*z. Let k(b) = b + 6. Let y be k(-6). Solve y = -l*n - z*n + 6 for n.
3
Let m(k) = k**3 - 12*k**2 + 13*k - 16. Let x be m(11). Solve 2 - x = 4*l for l.
-1
Suppose 6*d + 35 = d - 5*f, -2*d = 5*f + 20. Let b = d - -9. Suppose -5 = -q - n, 5*n - 8 = -4*q + 9. Solve 3*i = q + b for i.
4
Let d be 240/25 - 4/(-10). Let b be (4/(-10))/((-2)/d). Suppose -5*u + 2*t + 43 = 0, -3*t = -2*t + 4. Solve -3*h + u + b = 0 for h.
3
Let x = -74 + 79. Solve 1 = -x*g - 14 for g.
-3
Let m(a) = 4*a**2. Let b be m(1). Solve 8 = -b*t - 0 for t.
-2
Suppose 0*t + 5*x = 2*t + 20, -2*x + 8 = -2*t. Let b(r) = -r**2 + 8*r - 8. Let k be b(6). Suppose -3*i + k + 2 = t. Solve -i*y + 6 = -4 for y.
5
Let x = 35 - 33. Solve 4*v - x = 18 for v.
5
Suppose 0*b - 6 = 2*b. Let y be b/(-2)*4/2. Suppose 2*k - y*p = -7, -3 = -5*k - p + 22. Solve 0*v = -v + k for v.
4
Suppose -8*i = -3*i. Solve i - 10 = 2*c for c.
-5
Suppose 52 = -4*w - 5*n, 0*n - 4 = w - n. Let u = 36 + w. Suppose b + 3*b - 5*v - u = 0, 3*b + 3*v = -6. Solve 0*r + b*r = -10 for r.
-5
Suppose 5*b = 5*m - 5, -2*m + 8 = -2*b + 6*b. Let c be 1/2*12/m. Solve c*x - x - 2 = 0 for x.
1
Let j(r) = r + 1. Let o be j(4). Suppose 5*i + a = -2, 2*i + 2*i + o*a = -10. Let p = i - -1. Solve w + p = 4 for w.
3
Let o be (-2)/5 + 72/(-45) + 7. Solve 0 = -7*r + 2*r - o for r.
-1
Let c be 12*(-1 + -2 + 4). Solve 3*j + c = -j for j.
-3
Let p = -32 - -32. Solve -5*d - 2 - 8 = p for d.
-2
Let j be 25/100 + ((-19)/4)/(-1). Solve -10 = -j*t + 10 for t.
4
Suppose -w + 55 = -5*g, -w + 4*g - 17 = -67. Let y be ((-10)/w)/((-1)/15). Solve 0*z - z = y for z.
-5
Let f be 3 - (-3)/3*2. Suppose -u - m + 0 = -5, 2*u = f*m - 4. Suppose q + u = 2*q. Solve 0 = q*l + 2*l for l.
0
Let k be (-2)/(-2 + 4)*-1. Let o be (3 + k)*2/2. Solve -4*v = -0*v - o for v.
1
Let f be 0*(1 + 3 + -3). Let w = 6 + 6. Solve f = -4*c + w - 4 for c.
2
Let f be (4/6)/(3/9). Suppose 0 = 4*x - 3*g - 6, 3*g + 5 = x + 4*g. Let i = f + x. Solve 2*b + i = -3 for b.
-4
Let h = 0 + 2. Suppose -h*a = 2*a + 20. Let y be (-2)/(0 + -2) - a. Solve -4*f = -y*f + 8 for f.
4
Let w(z) = -2*z - 6. Let t = -15 - -11. Let q be w(t). Solve 4*s - q*s + 2 = 0 for s.
-1
Let a be 3 + 1 + (0 - -1). Suppose 2*o + 10 = a*x + 79, 4*o - 99 = -3*x. Solve 4*l = -o + 7 for l.
-5
Suppose 2*a - 10 = 2. Suppose 2 = -2*v - 0. Let q = v - -1. Solve q + a = -2*u for u.
-3
Let m be (-4 - -4)/(-2) - -1. Solve -4*y = -3*y + m for y.
-1
Let a(t) = -t**2 + 7*t + 4. Let w be a(6). Let i = -6 + w. Suppose y - i*l = -8*l + 13, -2*l = -5*y - 1. Solve -5*m + 16 = y for m.
3
Suppose 0 = -2*r - 13 + 17. Suppose 4*n + 4*w - 4 = -0, 2 = 2*n + w. Solve 5 = -r*d - n for d.
-3
Let y(k) = 4*k + 9. Let s be y(-4). Let f = s - -15. Solve 0 = 5*d + 12 + f for d.
-4
Let c(v) = v**2 - 3*v - 6. Let t be c(5). Suppose t*d - d = 9. Suppose -2*x + d = -x. Solve -15 = x*u + 2*u for u.
-3
Suppose 10 - 28 = -2*f. Let v be 2/6 - 44/(-3). Let s(h) = h - 1. Let w be s(5). Solve -w*g = -f*g + v for g.
3
Suppose -3*j + 3*p = -9 - 6, -p = -3*j + 9. Solve 0*z = -j*z for z.
0
Let v(i) = 4*i**2 + 8. Let m(g) = 3*g**2 + 7. Let d(l) = 3*m(l) - 2*v(l). Let w be d(0). Solve -w*y + y = -8 for y.
2
Let n(j) = -j**2 + 6*j - 4. Suppose -5 - 5 = -2*y, y = 5*f - 15. Let c be n(f). Solve c = -3*m + 4*m for m.
4
Suppose 5*r - 45 = -6*w + w, -r - 15 = -5*w. Solve 0 = -w*i + 4 + 16 for i.
5
Let w(c) = 6 - 5*c**2 + 10*c + 6*c**2 - 3*c. Let y be w(-6). Let r = 3 - y. Solve r = d - 0 for d.
3
Let v be 4/8 - (-10)/4. Let d(r) = r**2 + 4*r - 4. Let l be d(-5). Solve -v = y + l for y.
-4
Let c = -11 + 2. Let z(g) = -g**2 - 10*g - 5. Let v be z(c). Solve 0 = v*r - 6*r - 8 for r.
-4
Suppose 5*p + 4*t + 4 = 0, -t + 4 = -2*p - 5*t. Solve p = -s + 4*s for s.
0
Let c = 2 + -2. Suppose -8 = -4*r - c*r. Solve r*o - 4 = o for o.
4
Let m(i) = 4*i. Let a be m(3). Suppose -2*x = x - 12. Suppose -x*v = 12, -a - 4 = -5*b - 3*v. Solve b*z + 3 = 13 for z.
2
Let y = -4 - -10. Suppose 0 = 2*u + 4*z + y, 0*z - 16 = -3*u - z. Solve -1 = -3*c - u for c.
-2
Let l = -3 + 3. Solve l*z - z = -3 for z.
3
Suppose -3*d + 33 = 4*a + 4, -3*a + 5*d = 0. Suppose 4*p - 13 - 7 = -2*c, 0 = -4*p + 3*c + 40. Let h = p + -4. Solve -4*t - h = -a*t for t.
3
Let c = -19 + 21. Let q be ((-9)/(-3) - 6)/(-1). Solve c*z + q*z = -15 for z.
-3
Suppose f = 2*a + 2, -31 = -3*f - 2*a - 9. Solve -l + f = l for l.
3
Suppose 5*d = -4*r - 23 - 2, -15 = 2*r + 3*d. Let n be (-1 + r)/(2/10). Let y = 8 + n. Solve -y*j + 2 = -1 for j.
1
Suppose 2*w - 20 = 10. Solve 0 = 5*z - w - 5 for z.
4
Let j = 3 + -2. Let d(n) = n**2 - 5*n. Let b be d(5). Solve b = -y - j for y.
-1
Let h be (-45)/1 - (-12)/(-4). Let p = -14 - h. Solve -4*n - p + 14 = 0 for n.
-5
Let r = 11 - -7. Solve 4*b = -r + 2 for b.
-4
Let a be 2 + (-2 + -1 - 1). Let s be 34/6 + a/3. Solve -s*x + 8 = -7 for x.
3
Let c be 1/((-1)/44) + 0. Let b be -2 + 3/((-6)/c). Let t be (b + 1)*2/6. Solve -2*y + 25 = -t*y for y.
-5
Suppose -o - 11 = -4*o + d, 3*d = -3*o + 15. Solve -o*w = w for w.
0
Suppose -2*n = -n - 7. Let k(p) = 0 + 2*p - 4*p + n. Let j be k(-9). Solve 6*x = x - j for x.
-5
Suppose -20 = -o - 3*o. Let l(i) = -i - 4. Let f be l(-4). Solve -w - o = -f*w for w.
-5
Let q(r) be the first derivative of -r**3/3 - 2*r**2 + 6*r + 4. Let b be q(-5). Solve b = -5*w - 9 for w.
-2
Let f = -3 - -4. Let d = f + -1. Let m be 54/13 + (24/52)/(-3). Solve 0*w + m*w = d for w.
0
Suppose -3*b = -f, -2*f = f. Solve 4*o + 13 + 7 = b for o.
-5
Let o = -15 + 17. Suppose o*s + y = 11, -12 = -s - 2*y - 2. Solve -12 + 4 = -s*p for p.
2
Suppose 44 = -5*w + 9. Let n(y) = -3*y**2 + 0*y - 8*y - 1 + 2*y**2. Let v be n(w). Solve v = -o + 3 for o.
-3
Suppose b + 12 = -0*b + j, -b - 14 = -3*j. Let v = 15 + b. Suppose 5*c = 4*z + v, -2*c + 5 = -c - 5*z. Solve c*l = l for l.
0
Let x(c) = 1 + 4*c - c - 2*c. Let f be x(2). Suppose h - f = 1. Solve -o + h*o = 15 for o.
5
Let n(t) = -2*t - 2. Let i be n(-2). Solve -i*q - 16 = -6 for q.
-5
Let u = -110 - -118. Solve 6*a + u = 2*a for a.
-2
Let c = 102 + -97. Solve 4*s - c = -25 for s.
-5
Let i be 2/(-1) + 2 + 2. Let v be -3*((-4)/(-6) - 0). Let f = v + i. Solve 2*x + f*x = -2 for x.
-1
Let q(k) = k - 2. Let x be q(-6). Let a = x - -8. Solve a*o - 5*o = -25 for o.
5
Let w(u) = -u**2 + 6*u - 3. Let k be w(4). Let c(j) = j - 5. Let o be c(0). Let x = k + o. Solve -25 = 5*l - x*l for l.
-5
Let o be (-1 - -1)/((-2)/1). Suppose 0*s = -4*f - 2*s, 2*s = -5*f - 2. Let v be f/(-4)*(-2 - -2). Solve -2*u + o*u - 8 = v for u.
-4
Suppose -9 + 24 = -5*f. Let c be ((-33)/(-11))/((-1)/2). Let b be (-3)/c*(-3 - f). Solve b = -5*w + 4*w - 1 for w.
-1
Suppose 5*o - 2*s - 9 = -5*s, 5*o + 5*s - 5 = 0. Let t = 7 - 4. Suppose -13 = -2*g + a, 2*g + o*a - 5 = -t*g. Solve 11 + 9 = -g*c for c.
-5
Let o = -12 + 15. Solve 0 = -2*l + o - 7 for l.
-2
Let n = 7 - -7. Suppose -n = -4*d - 3*r, -2*r + 1 = 5*d - 20. Suppose 0 = -5*l - d*z + 5, -2*z - 4 = l - 2*l. Solve 0*s = l*s for s.
0
Let q(z) = -z**3 - z**2 + 2*z + 3. Let o be q(-2). Let c be 2*1 + o/(-1). Let h be c/(-6) - (-1)/(-6). Solve k - 4 - 1 = h for k.
5
Let o(i) = i**2 + 7*i - 2. Let j be o(-8). Solve -3*v + j = -3 for v.
3
Suppose l = 5*l - 28. Solve -4*z = -l + 3 for z.
1
Let o be 0*((-8)/(-4) + -1). 