4 = 0. Suppose -y*l + l + 40 = 0. Solve 5*t + l + 0 = 0 for t.
-2
Let i(o) = 6*o**2 + o - 1. Let a be i(-1). Solve -a*s = -0*s + 4 for s.
-1
Suppose k + 57 = 6*k - 2*t, -t = -4. Let d be 1 - (3 - 0 - k). Let c = d - 8. Solve 2*h = c*h + 4 for h.
-4
Let q be 0*2*(-1)/4. Let f = q + 5. Solve -u = 4*u - f for u.
1
Suppose t - 5*q = 20, -4*t + 3*q + 44 = q. Suppose w = -5*n + 36, 0*w = 3*w - 3*n - 18. Let k = w + -8. Solve -t = k*x - 4 for x.
-2
Suppose -q = -4*u, 2*q - 11 = -q + u. Suppose 0 = q*x - 2*x + 30. Let p be (x/(-4))/(3/12). Solve -p = 8*k - 3*k for k.
-3
Let c be (0/(-1))/(2 + -1). Let l(n) = -n + 2. Let u be l(c). Let m(a) = a**2 + a - 1. Let o be m(2). Solve -u*b + 3 = -o*b for b.
-1
Let j(f) = -11*f. Let a be j(1). Let m = -8 - a. Solve m*z - 2 = 4*z for z.
-2
Suppose 13 = 4*u + 1. Solve -m + u*m = 4 for m.
2
Suppose -2*l - l = -15. Solve l*z - 23 = -3 for z.
4
Suppose -2*y + 4 = -3*d - 11, -4*y - 5*d + 19 = 0. Suppose -r + y - 4 = 0. Suppose -6*j - 2*p = -2*j - 22, 0 = -r*p + 2. Solve b - 20 = j*b for b.
-5
Let r = 10 + -4. Let a = -5 + r. Solve -a = p - 5 for p.
4
Suppose 0 = 3*b - 5 - 4. Solve -b*c = -6*c - 6 for c.
-2
Suppose 0 = -4*t + 21 + 159. Let n be -3*(-5)/(t/6). Solve -2*v = n*v + 12 for v.
-3
Suppose 5*p - 35 = 4*i, 0 = 5*p + 2*i + 3*i + 10. Let t = 10 - p. Solve t*o - 15 = 2*o for o.
3
Let z(d) = d**2 - 11*d - 24. Let b be z(13). Solve 3*v = v + b for v.
1
Suppose 5*t - t - 32 = -3*p, t = -4*p + 34. Suppose 3*r = -2 + p. Solve -r*c + 5 = -3*c for c.
-5
Suppose 18 - 58 = -8*w. Solve -w*o - 4 = 1 for o.
-1
Let b(z) = -z**2 + 11*z - 12. Let h be b(9). Let f = 8 - h. Solve -y = y - f for y.
1
Suppose 0 = -5*c - 5*d + 5, 3*c = -d + 2*d + 7. Let s(w) = -2 + 5 + 4*w**3 + 4*w**2 - 3*w**3 + 4*w. Let l be s(-2). Solve -c*v = v + l for v.
-1
Let a be (-1)/3 - (-34)/3. Suppose 2*q = -0 - 8. Let o = -1 - q. Solve o*x = a - 2 for x.
3
Let f(r) = 6*r + 2. Let w(m) = -5*m - 2. Let z be (-24)/9*9/6. Let y(p) = z*f(p) - 5*w(p). Let d be y(-2). Solve d = n - 4*n for n.
0
Let d be (-58)/(-12) + (-1)/(-6). Solve 0*w = d*w for w.
0
Suppose -7*g + 3*g - 19 = -3*b, 0 = -4*b - 2*g + 40. Let k = b - 37. Let o be (-4)/14 + (-176)/k. Solve o*d - d + 25 = 0 for d.
-5
Suppose -4*s = -s. Suppose -3*j = -1 - 20. Suppose -127 = -7*l - 106. Solve s = l*v - j*v + 20 for v.
5
Let s be (-2)/3*-3*3. Solve -3*a + s*a - 15 = 0 for a.
5
Suppose 3*m + 72 = 9*m. Solve -m = 3*t + t for t.
-3
Suppose -y = 2*y - 12. Suppose -s = s - y. Suppose 3*k + 35 = 2*i + s*k, 4*k + 80 = 5*i. Solve -4*o - i = o for o.
-4
Let v = 8 + 6. Solve 5*h = -34 + v for h.
-4
Suppose 3*g + 1 = u, -g - 7 = -u - u. Suppose 0 = -u*o - 15 + 47. Solve 4*h + 0*h + o = 0 for h.
-2
Suppose 15*i = 5*i + 20. Solve -i*c - 2*c + 16 = 0 for c.
4
Suppose -26 + 38 = 6*j. Let v be 1/((-2 + 1)/(-6)). Solve -j*a = a - v for a.
2
Suppose 0 = -2*u + 8. Suppose 4 = -3*f + 2*m, 0*f + u*f - 13 = -m. Solve -q = -3*q + f for q.
1
Let k(t) = 9*t**2 + t. Let w be k(1). Suppose w*n - 8*n = 0. Let p be (3/6*n)/2. Solve p*x = 3*x - 3 for x.
1
Suppose 2*c = -5 + 3. Let z be c + (-1)/1 + 3. Suppose -5*v - 2*d + 4*d + 30 = 0, 3*v - 37 = 5*d. Solve l + z = v for l.
3
Let n = 5 + 1. Suppose 4*c = -n + 22. Suppose 0*f = 2*k - 2*f - c, -5*k + f = -22. Solve k*y - y + 12 = 0 for y.
-3
Suppose 5*z = -2*t + 6, z = -2*t + 3*z - 8. Let q be -1 - 6/t - -12. Let u(v) = -v**2 - 5*v + 2. Let s be u(-5). Solve -s*h + q = 4 for h.
5
Let b(a) = -a - 2. Let j be b(-3). Let n be -1 - (-1 + (1 - j)). Solve n = r + 2*r - 9 for r.
3
Suppose 0 = -6*t + 14 - 2. Solve 4*w = t*w - 6 for w.
-3
Suppose 53*p - 50*p - 21 = 0. Solve a = p - 3 for a.
4
Let k = -242 + 86. Let j be k/(-18) - (-2)/(-3). Solve -3*p - p = j for p.
-2
Let j be 12/6 + 0/(-1). Let n be ((2 - j)*-1)/(-2). Solve n = -b - b + 2 for b.
1
Let h(i) = -i**2 - 4*i + 5. Let z be h(-5). Let w be (3 - -3)/2 - z. Solve -2*d - 15 = w*d for d.
-3
Let r be (2/2)/(-1) + 1. Let p be (-1 - -3) + 1 + -8. Let l = 7 + p. Solve -l*g - 2 = -r for g.
-1
Suppose 0 = 15*u - u - 28. Suppose 3*y - 4 = 4*j - 5*j, -3*j + 5*y = -12. Suppose 0 = 4*s - 5*t + 7, -5*s + u*s = j*t - 18. Solve -s*c = c + 12 for c.
-4
Let m(b) = 5*b**2 + 0*b - 2*b - b**3 + 0 - 3 + 4*b. Let x be m(5). Suppose -5 = -4*h + x. Solve h*c + 0*c = 0 for c.
0
Let y be 6*-1*(-16)/12. Solve -y = -0*u + 4*u for u.
-2
Let o be 28/21*(44/16 - -1). Let k = 1 + -1. Solve k = -o*x + 32 - 7 for x.
5
Suppose -5*s = -2*z - 0*z - 19, 2*s - 12 = 3*z. Solve 7 = 4*b + s for b.
1
Let x(n) = 11*n. Let a be x(-2). Let b be (-2)/(-4) - 11/a. Solve 0*l + l - b = 0 for l.
1
Suppose y = -0 + 2. Let o(q) = q - 4. Let x be o(6). Let r be 0 - (-3 - x - 0). Solve -r*f = 18 + y for f.
-4
Let p = -26 + 37. Solve 5*x - 4 = p for x.
3
Suppose -4*s + 55 = 3*t, 0 = t - 0 - 5. Let k(g) = g**2 - 10*g + 9. Let f be k(s). Solve 3*j = -0*j - f for j.
-3
Let p = -13 - -7. Let j = p - -10. Solve -8*m + j*m = 16 for m.
-4
Let f(s) = s + 6. Let v = -5 - -1. Let i be f(v). Solve -r - i = -0*r for r.
-2
Let y be (-3)/2*(4 + -10). Let g(p) = 7*p - y*p - 3*p. Let k be g(-5). Solve -2*i - k = 3*i for i.
-5
Let t be ((-1)/2)/((-2)/8). Let a = -2 + 8. Suppose -a = -u - t. Solve 8 = u*y - 12 for y.
5
Let l(k) = k**3 + 12*k**2 - 13*k + 2. Let q be l(-13). Let u(b) = b**2 + 3*b - 7. Let t be u(-5). Solve q*i + t = i for i.
-3
Let u = -3 - -8. Let x be (0/1)/(u + -4). Solve -4*v + 3*v + 4 = x for v.
4
Let n be 0 - -1 - -1 - -2. Solve 0 = -n*j + 3*j for j.
0
Suppose -8 = 3*j - 4*j. Let v be j/(-28) + 88/14. Let u = -5 - -11. Solve 3*i = v*i - u for i.
2
Let q = -3 + -14. Let v = -27 - q. Let i be v/(-4) + (-4)/8. Solve 4 = -i*o + 10 for o.
3
Let z(s) = s**2 + 7*s. Let c be z(-8). Solve 5*f - f = c for f.
2
Suppose 2*y + 4*w = 10, 5*y + 0*y - w = 47. Let b = y - 15. Let g be 47/3 - 2/b. Solve -4*k + 0*k - g = 0 for k.
-4
Suppose 0 = -4*v - 2*z + 18, -5*v - 4*z + 21 = -2*v. Solve 0 = -v*a + 20 - 5 for a.
5
Let d be 4 - 2 - (0 - -2). Solve 0 = 3*m - d*m + 6 for m.
-2
Suppose -4*p + 36 = -8. Let s = p - 5. Let x be (-14)/(-5) + 2/10. Solve x*z = -s - 3 for z.
-3
Let u = 30 - 17. Let y = 20 - u. Solve -1 = -2*o + y for o.
4
Let i(h) = -h**2 + 2*h + 3. Let c be (2 - (-3)/(-6))*2. Let n be i(c). Solve 0*t + 4*t = n for t.
0
Let m(z) = -z + 10. Let c be m(8). Suppose -3*t + 4 = -c. Suppose -q = -2*q + t. Solve v - 4 = q*v for v.
-4
Let p be (-12)/(-42) + (-2)/7. Solve p*c + 2*c = 0 for c.
0
Let p = 1 - -1. Let c = -3 - -7. Suppose 0 = -c*v + 10 - p. Solve 6 = -0*l - v*l for l.
-3
Suppose -k + u + 0*u = -2, -5*u - 8 = -4*k. Suppose 4*q = 5*i - 25, -4*q - 2 = 3*i - 17. Suppose 0*r + 4*r = q. Solve 2 = k*f - r for f.
1
Suppose 4*y - 4 - 6 = 3*r, 3*r = -2*y - 4. Let c = 1 + y. Solve -20 = 3*s + c*s for s.
-4
Suppose -2 = 2*v - 8. Suppose v*k - 6 = 3. Solve 2*q - 1 = k*q for q.
-1
Let y be (0*(-1)/2)/2. Solve 5*k = -y + 20 for k.
4
Let c(q) = q**2 - 6*q + 5. Let b be c(5). Let v be (3/(-2))/((-6)/(-8)). Let l = 6 + v. Solve b*d = l*d - 12 for d.
3
Let o = -13 + 14. Solve -2*d + d + o = 0 for d.
1
Suppose -2*x - 5 - 5 = -4*q, 0 = -4*x + 3*q. Suppose 0 = 8*h - x*h. Suppose 4*u - 6 - 2 = h. Solve -u*b = b for b.
0
Let a(h) = 2*h - 28. Let n be a(15). Solve -n*q = -q for q.
0
Suppose -3*j = j. Suppose j = -2*c - 2*c. Solve c*r = -2*r + 6 for r.
3
Let c be 2/4*(-3 + 3). Suppose c = -3*n + 2*n + 17. Let d be (-4 + -1)/(0 + -1). Solve 3*y = d - n for y.
-4
Suppose -2*u + 2*j - 2 = -42, 4*j - 10 = -2*u. Solve -u = -3*m - 3 for m.
4
Suppose 2*a - 4*a = -4*p - 10, 5*p - a = -17. Let r be (3/p)/((-2)/(-8)). Let k be 7 + r/(9/3). Solve k = -g + 2 for g.
-4
Let i = 2 - 2. Suppose -3 = -o - i*o. Solve o = -g - 2*g for g.
-1
Let p(u) = -u**2 - 1 - 2*u**3 - u**3 + 4*u**3 + u. Let n(g) = -g**2 - 10*g + 1. Let s be n(-10). Let f be p(s). Solve w - 7 + 3 = f for w.
4
Let q(y) = -y + 3. Suppose -3*b - 4*p = -2*p - 6, 3*b + 6 = 2*p. Suppose b = -2*j + z + 7, -4 = -4*j + j - 5*z. Let d be q(j). Solve -4*g + g = d for g.
0
Suppose 2*f + 4*g = 4, -3*f + 0*f + 6 = -4*g. Solve f*l = -0*l - 8 for l.
-4
Suppose -3*r = 9, -3*m = 2*r + 3*r + 9. Solve m*i - 6*i = 0 for i.
0
Suppose -2*h - 8 = -3*h. Let o = h - 6. Solve -2 = o*t - 0 for t.
-1
Let j be -10*2/4*-1. Suppose -j*r + 52 = -8. Let l = -7 + r. Solve -l*u + 12 = 2 for 