t s be 4/8*(-8 - x). Let w be (-10)/s + (-2)/4. Solve -2*j = w*j for j.
0
Let v = -10 - -10. Solve v = -w - 4*w + 25 for w.
5
Let u = -28 + 43. Solve 0 = 2*k + k + u for k.
-5
Let x = 7 + -10. Let n(p) = -2*p - 2. Let b be n(x). Solve -3 = -b*d + 1 for d.
1
Let l(v) = 2*v - 6. Let h be l(7). Let o(f) = -f - 4. Let d be o(0). Let m = h + d. Solve 0 = m*j - 4 for j.
1
Suppose 2*i + 4 = 20. Suppose -3*j - 16 = z, 2*z = 4*j + 3*z + 21. Let w = j + i. Solve 0*n = w*n + 6 for n.
-2
Let n = 57 + -57. Suppose x + 4*j - 12 = 9, 5*j - 20 = 0. Solve n = -2*d - 1 - x for d.
-3
Let f = 3 + -1. Let o be (-14)/(-18) + f/9. Let s be o*(6 + -1 + 1). Solve -s*z - 12 = -3*z for z.
-4
Let s = 4 + 1. Let o be (-1 - (-1)/s)*-5. Suppose 2*t + 2 = -2*n, -3*n + 5*t + 11 = -2*n. Solve n = o*r + 13 for r.
-3
Let a = 41 + -38. Solve 2*b = b + a for b.
3
Let z(h) = h**3 + 4*h**2 - 8*h - 8. Let t be z(-5). Solve -3*i + 2 + t = 0 for i.
3
Let d be (-135)/(-18) - 2/(-4). Suppose -3*v + 11 = -r, -r = -3*r + d. Solve v*q + 11 + 9 = 0 for q.
-4
Let r(f) = -f**3 - 5*f**2 + 6*f + 2. Let v = 5 - 11. Let p be r(v). Solve 0 = p*u + 3*u for u.
0
Let l(g) = 2*g**2 - 4*g + 1. Let h be l(3). Solve 2*b = 1 - h for b.
-3
Suppose -d - 5 = 4*t, -5 - 1 = -4*d - 3*t. Solve d = -3*b + 15 for b.
4
Let h = -26 + 46. Solve -h = 4*m - 8*m for m.
5
Let u be (-42)/(-4)*(-4)/6. Let d = 0 - u. Solve -19 = -4*r - d for r.
3
Let o(f) = -f**3 + 3*f**2 - f + 1. Let k = -3 + 5. Let j be o(k). Let y(h) = h**3 + 2*h**2 - h. Let q be y(-2). Solve j*r - q = -5 for r.
-1
Suppose 2*w + 9*h = 11*h + 2, 4*w = 5*h. Solve w*l = -3 - 7 for l.
-2
Suppose -c + 44 = -5*c. Let x = -9 - c. Solve -a = 2 + x for a.
-4
Suppose -78 = -o - 2*o. Suppose -g + o = g. Suppose -2*f + 3 = -1. Solve f*h + 3 = g for h.
5
Let k = -38 + 39. Solve m = -4 + k for m.
-3
Suppose 5*d - 25 = -10. Solve d*y = -3 - 3 for y.
-2
Let g = 19 + -17. Solve -g*a + 5 = 3*a for a.
1
Let i = 5 + -6. Let d = 4 + i. Solve -d*k - k = 0 for k.
0
Let w = -2 + 4. Let o(r) = -r**2 - 14*r - 19. Let b be o(-12). Suppose -6*x = -b*x - w. Solve 6*l - 4 = x*l for l.
1
Let m be (18/27)/(1/3). Let r(n) = 3*n**m + 2*n**3 + 2*n - n**3 - 9*n**2 + 8. Let a be r(6). Solve 4*j = -j - a for j.
-4
Let h(z) = -3*z + 2*z**2 + 0*z + 0*z. Let f(b) = -b + 11. Let k be f(9). Let s be h(k). Solve s*u = -5 + 13 for u.
4
Let b = -5 - -8. Suppose -b*x = -16 - 11. Suppose -h + 1 = m, 4*h + 15 = 3*m - x. Solve -m*j - 10 - 6 = 0 for j.
-4
Let s = 7 + -7. Solve 4 = -s*n + 4*n for n.
1
Let f(r) = -4*r + 53. Let j be f(12). Solve j*k + 21 + 4 = 0 for k.
-5
Suppose 0 = -2*t - 0*t + 20. Solve -4*u - t = u for u.
-2
Let m be (6/4)/(8/32) - 1. Solve m = -v - 0 for v.
-5
Let g be 4 - (-5)/(-2 + -3). Solve 12 - 3 = -g*l for l.
-3
Let n(t) = 2*t - 4. Let x be n(2). Suppose -c + 4*o - 3 = x, -3*c + 3*o = -2*c + 1. Solve 1 + 24 = -c*s for s.
-5
Let u(p) = p**3 - p - 2. Let a(w) = -w**3 + 3*w**2 + 5*w - 5. Let f be a(4). Let c be -1 + 3*(f - -2). Let j be u(c). Solve -l = -j*l - 9 for l.
-3
Let n(r) = r**2 + 6*r + 6. Let a be n(-5). Let t(j) = -4*j + 2. Let b be t(3). Let q = b - -23. Solve q = 4*l + a for l.
3
Let j(c) = c**2 - c. Let w be j(1). Solve w = 3*q - 2 - 7 for q.
3
Let k be (-1)/2 - 5/(-10). Let o be k/(2/(1 - -1)). Solve o = -7*x + 2*x - 25 for x.
-5
Suppose -18 = -4*x + 34. Suppose 2*w - 2*y + 0 = -4, -w - 2*y + x = 0. Solve -2*b = -5*b + w for b.
1
Let y = 16 + -14. Solve y*u = -u for u.
0
Suppose -4*l + 37 = 5*v, 5*l - 32 = 4*v + 4. Suppose -l = 3*a + 2*a + 2*x, 0 = 5*x + 20. Solve 5*o - 4*o + 5 = a for o.
-5
Suppose -8 - 88 = -12*t. Solve -5*c + 3*c = t for c.
-4
Suppose 2*d - 4*q = 4, 4 = 2*d + 6*q - 3*q. Let n be 0*(d + 9/(-6)). Solve -4*p = -8 - n for p.
2
Let q(p) = -3*p + 6. Let i be q(4). Let x be ((-8)/3)/(i/9). Solve x*j = -j + 15 for j.
3
Let k = 94 + -87. Solve f = k*f for f.
0
Let a = -15 - -9. Let p(w) = -w - 6. Let h be p(a). Solve h = -j + 2*j for j.
0
Let h = 3 + 1. Let r be 46/12 - (-2)/12. Let z = h - r. Solve -i = -z*i for i.
0
Let g be 26/((-2 - -1)*2). Let v = g - -10. Let h be 1/v + 10/3. Solve -2*i = i + h for i.
-1
Suppose 12*k = 7*k + 10. Solve 6*c - k*c = 4 for c.
1
Suppose 4*f = c + 24, 4*c - c = -5*f + 13. Solve -2 = f*d - 7 for d.
1
Let r be -8 - (0/(-1) + -2). Let y = -3 + r. Let k be ((-3)/y)/((-3)/(-45)). Solve -10 - 5 = k*t for t.
-3
Suppose -h + 2*g = 5*g - 1, -3*h + 7 = 5*g. Solve -h*z - 19 + 3 = 0 for z.
-4
Let y(o) = o**2 - 3*o. Let m be 3/(-2)*(-10)/3. Let s(t) = -t**2 + 5*t + 3. Let z be s(m). Let h be y(z). Solve -4 = -h*k + 2*k for k.
-2
Suppose m = l - 4*l + 6, 2*l - 5*m + 13 = 0. Let b be 0 + (l + 8 - 3). Solve -u = -b + 3 for u.
3
Let h = 15 + -8. Let p(l) = l**2 - 7*l + 3. Let m be p(h). Suppose 2*q + 15 = m*q. Solve 3*k + q = -2*k for k.
-3
Let m = 3 - 0. Suppose v + 5 = 2*n + 1, 4*v - 20 = -n. Let j be (-3)/(-4)*(v + 0). Solve 0 = m*w - j + 6 for w.
-1
Let h be 12/(-8) - 5/((-10)/3). Solve -c - c = h for c.
0
Let v be (-6)/21 - (-16)/7. Let t be v + (-1 + -1)/(-2). Let c be (7 - 8) + t + 0. Solve -1 = p + c for p.
-3
Let t(p) = p**3 + 5*p**2 + 6*p + 13. Let w be t(-4). Solve 2 = w*k - 23 for k.
5
Let y = 191 + -189. Solve y*s = s + 2 for s.
2
Suppose 2*h - 94 = -5*p, 0*h - 103 = -5*p + h. Suppose -5*j = -p + 5. Solve j = q + 1 for q.
2
Let k(q) = 2*q**2 - 12*q - 6. Let y be k(7). Solve -y*z + 3*z = 0 for z.
0
Let q = 1 - -7. Suppose 0*t = 2*t - q. Solve 5 = -t*x + 1 for x.
-1
Suppose -k - o + 2 = 0, 0 = -5*k + o - 5*o + 10. Solve k*i + 2 = -8 for i.
-5
Suppose 6*d + 9 = -5*p + 2*d, -3*d + 12 = 0. Let z be ((-6)/(-4))/(p/(-10)). Solve 2*r + 15 = -z*r for r.
-3
Suppose -72 = -5*b + 3. Solve b = 3*w + 3 for w.
4
Let h = -3 - -6. Let v(q) = 0*q + 2*q**h - q**3 + 2*q - 4*q**2 - 6. Let f be v(4). Solve f = -n + 2*n for n.
2
Suppose 19 = -2*d - 5*z, 0 = -d - z - 0 - 2. Let p = d - -3. Suppose -3*u - p = -6*u. Solve -7*x = -u*x - 10 for x.
2
Let u(k) = k**2 + 1. Let m be u(-1). Suppose m*s + 2 - 6 = 0. Suppose 2*x = -3*y + 7, y + s*y - 4*x - 13 = 0. Solve -2*h - 1 - y = 0 for h.
-2
Let j(h) = h**3 - 4*h**2 + 4*h. Let k be j(3). Solve -2*p - k = -p for p.
-3
Suppose 0 = 4*g + 4, -2*p = -4*p - g + 29. Solve 2*v = -3*v + p for v.
3
Let k = -7 - -7. Let r be -2 + (k - -3 - 1). Solve u = -r*u - 1 for u.
-1
Let c = 7 - 7. Solve c = -2*i - i for i.
0
Let f(i) = i**2 + 2*i - 3. Let m be f(3). Let t be (-106)/(-8) + m/16. Solve 2 - t = -4*d for d.
3
Let c(v) = -v**2 + 7*v. Let o be c(7). Suppose -4*t + o*t = 0. Suppose -4*b + 4 = 4*j - 32, t = 5*b - 4*j. Solve 2 = b*r - 10 for r.
3
Let u be (10/4)/(2/20). Suppose 2*i - 10 = 0, 39 = m + 5*i + 6. Let z = m + -4. Solve -y = z*y - u for y.
5
Let f = 2 + -2. Suppose 10 = 4*c - 2*c. Solve c = x - f for x.
5
Suppose a = -4*v + 3*v, a - 10 = -3*v. Suppose 0 = i + v*s - 1, -4*i - i = 4*s - 26. Solve i - 2 = -u for u.
-4
Let p be (-3 - (-98)/34) + 106/34. Solve 0 = z - p - 1 for z.
4
Let u(i) = i**2 + 5*i - 1. Suppose -2*h + 6 = -3*h. Let r be u(h). Let z = 1 + 9. Solve -z = r*v + 5 for v.
-3
Suppose -2*q - 3 = 9. Let u = q + 10. Solve -4*m + 4 = -u for m.
2
Let o be (9 - 5)*1/2. Let s = 8 - o. Solve 0 = -7*z + 4*z + s for z.
2
Let t = -7 + 2. Let y be (1 - (-1 + 0))*t. Let h = y + 14. Solve -h*k + 6 = -2 for k.
2
Suppose -4 = -3*f - s - 17, 5*f - 5*s + 55 = 0. Let k(l) = l + 6. Let v be k(f). Solve -4*p = -v + 4 for p.
-1
Let m = -4 - -6. Suppose -20 = -4*i, m*w + 3*i - 15 = w. Let n = 7 + -4. Solve 2*u - n + 9 = w for u.
-3
Suppose -4 = p - 4*x, -2*x = -0*p - 3*p + 18. Solve 3*d + p = -d for d.
-2
Let c be (-1)/((1 + 0)/(-2)). Suppose 6 = k + y, 5*y = k - c - 16. Suppose -4*s = -k*s + 12. Solve -s*j - 1 = 5 for j.
-2
Suppose 5*y = m + 21, -3*m + 3*y - 8 = -y. Suppose -5*q + m + 6 = 0. Solve -16 = -q*d - 2*d for d.
4
Let n(a) = -a + 26. Let r be n(11). Let f = -9 + -1. Let u = r + f. Solve -4*m - 2 = -u*m for m.
2
Suppose -4*o - 12 = -5*o. Solve l = -3*l + o for l.
3
Suppose -5*s - 3*h + 55 = 0, -3*s - 2*h + h + 33 = 0. Solve -1 = -5*u - s for u.
-2
Let x(s) = s**3 - 3*s**2 - 2*s - 4. Let d be x(4). Let i(n) = -2*n + 4*n**2 + d*n + 0*n. Let y be i(2). Solve c - 6*c = -y for c.
4
Suppose 0 = -5*q + 3*c - 7, 4*q - 3*c = -8*c + 24. Let m be 3/15 + q/(-5). Solve m = -g + 3 + 1 for g.
4
Suppose -f - 1 = -3*b, -2*f 