be j(4). Solve i - u*i = -12 for i.
4
Let i be 0*((-5)/3)/5. Suppose 4*r - 12 = -i. Solve r = -4*v - 5 for v.
-2
Let i = 7 - 2. Solve -15 - 10 = i*o for o.
-5
Let h = 19 + -15. Suppose 0*j = -h*j + 12. Solve j*f = 4*f for f.
0
Let l = 7 + -7. Let k be (-1 - -1)/(-3 - -4). Solve k = -5*c - l*c + 5 for c.
1
Let a be -2*(0 - (-1 - -2)). Let k = 1 + 1. Let s = 0 + k. Solve a*w - w = -s for w.
-2
Let p = -8 - -12. Let n = -26 + 27. Solve -i - p = -n for i.
-3
Let t be 2/(-2) - 2 - -8. Suppose -3*o - 3 + 0 = 0. Let j be (8 - 2) + o + -1. Solve -t*n + 5 = -j*n for n.
5
Let c = 30 + -6. Solve -9*w + c = -3*w for w.
4
Suppose z - 6 = -2. Let h be ((-8)/10)/(z/(-10)). Solve 0 = -4*y - 10 + h for y.
-2
Suppose 0*f = -2*f + 64. Suppose -4*n + f = 3*g, n - 2*n = g - 9. Solve -4*s = -n*s + 2 for s.
2
Let w be (7 + -4 - 0)*1. Let f be 2 + w/(-6)*4. Solve 3 = y - f*y for y.
3
Suppose 0*m = -m. Let c be 2/1 + m + -1. Solve 0 = -o + 3 + c for o.
4
Let u be (-24)/4 - 2*1. Let l = u + 16. Solve 4*t - 4 = l for t.
3
Let m be 0/1 - (-21 + -11). Solve -5*b + m = 7 for b.
5
Suppose 1 = -2*m + 5. Suppose 8*a + 16 = 10*a. Suppose a = -m*u + 6*u. Solve -u*c + 10 = -0*c for c.
5
Let q be ((-39)/(-65))/((-1)/(-5)). Solve -1 + q = 2*y for y.
1
Let m = 13 + -8. Suppose 2*g = -0*o - m*o + 80, -o + 16 = g. Suppose 0*j - o = -2*j - 4*x, -j + 3*x = 2. Solve j*p - 12 = p for p.
4
Let g = 5 + -1. Suppose -g*x = -9*x - 2*r + 2, 0 = -5*x + 5*r - 5. Solve -2*y + 6 + 0 = x for y.
3
Suppose -4*g - 22 = -w + g, g + 4 = 0. Suppose 0 = -w*q - 5*z + 16, 8*q = 6*q + 2*z + 2. Suppose q*p - 1 = 29. Solve p = 2*y + 3*y for y.
2
Let u(o) = -o**3 + o**2 - o + 1. Let z be u(0). Let k = z + -1. Let h(t) = t**3 - 5*t**2 + 6*t - 4. Let w be h(4). Solve 12 + k = w*m for m.
3
Let a be (1 - 4)*4/(-3). Let m be (4/(-2))/2 - -3. Solve -a*x = -m*x for x.
0
Let x be (-4920)/(-420) - (-3)/(21/2). Solve 0*g - x = 6*g for g.
-2
Let i be 0 + (-8)/(-20)*5. Solve -i*f + 8 = -2 for f.
5
Let o(w) = -2*w**3 + 2*w**2 + 2*w + 1. Let j be o(-1). Let u be (-3)/(-4)*(-3 + -5). Let n be (8/u)/((-3)/45). Solve -d - j*d - n = 0 for d.
-5
Suppose -2*d - 8 = -3*d + 2*a, -16 = -5*d + 2*a. Let x be 2/(d - 10/4). Let p = -2 - x. Solve -3*w - p = -4*w for w.
2
Suppose 2*m + 2 = 8. Let f(q) = q**3 - 2*q**2 + q. Let y be f(m). Suppose 4*a = -y, 2*p - p + a - 5 = 0. Solve -4*g = 8 + p for g.
-4
Let u(x) = 6*x**2 - 1. Let a be u(-1). Suppose -2*j - a*n = -23, -3*n = -j - 5 - 0. Solve -3 = -j*l - 11 for l.
-2
Let j(o) = -o + 11. Let z be j(11). Suppose 2*r + 2*l - 28 - 6 = 0, z = 4*r + l - 59. Solve -5*s - r - 6 = 0 for s.
-4
Suppose -5*n + 8 = -n. Suppose -r + n = -2. Suppose 9 = 5*l + r. Solve -3 - l = 2*u for u.
-2
Let n(q) = -q + 15. Let v be n(5). Suppose -2*s + 3 = -3. Solve -r = -s*r - v for r.
-5
Let y = -3 + 3. Solve y = -u + 4 - 0 for u.
4
Let c = -13 + 18. Solve 0 - 5 = c*h for h.
-1
Suppose 2*d + 4*h - 2 = 0, -3*d + 0*h = h - 8. Let y be 69/15 - d/5. Let w = 4 - y. Solve w = -f - f + 6 for f.
3
Let l be (54/6)/3*4/6. Solve 3*d = 4*d + l for d.
-2
Let t(m) = m**3 + 9*m**2 + m + 12. Let i be t(-9). Solve -i*o = -o - 2 for o.
1
Let l(h) = -h**3 - h**2 + h + 2. Let j be l(0). Let b(o) = o**3 + 2*o**2 + 3*o**3 - 5*o**3 + o. Let v be b(j). Solve -2 = r - v*r for r.
2
Suppose -2*a - 30 = -5*y + 3*a, -4*a - 12 = 0. Let n = -5 + 3. Let j be y/1 + n/1. Solve 1 = 2*h - j for h.
1
Let p(q) = -q**3 + 5*q**2 + 6*q + 4. Let z be p(6). Solve -z*a + 3*a + 1 = 0 for a.
1
Suppose 0 = 3*y + 4*y - 14. Suppose -4 = -4*r - y*m, r - 2*r + 5*m - 10 = 0. Solve -4*s = -r*s + 20 for s.
-5
Let v(c) = -3*c - 10. Let r be v(-5). Let h be (-76)/(-18) - (-2)/(-9). Suppose -h*p = -2*p - 18. Solve p*l + r = 4*l for l.
-1
Suppose h = -0*h + 2, 2*h + 2 = -3*z. Let f = 0 - z. Suppose 2*y = f + 2. Solve y*n = 6*n for n.
0
Suppose 7*r - 2*r = 10. Solve 0 = u - r for u.
2
Suppose 3*m = -8 + 14. Solve -m*s = s for s.
0
Suppose 5*m - 9 = 21. Suppose -2 = g + 2. Let l = m + g. Solve 2*n + 0*n = l for n.
1
Suppose 6*l = 4*d + l - 5, 0 = d + 4*l + 4. Solve 4*s - 3 - 13 = d for s.
4
Let k = 1 - -2. Suppose 4 = 5*q - 1. Suppose q = v + 2*n - 3, -85 = -5*v + k*n. Solve 5*d - 11 = v for d.
5
Let m = 61 + -20. Suppose m = 4*q + q + 2*a, a = -5*q + 38. Suppose 0 = -q*b + 4*b + 15. Solve 4*k = -k + b for k.
1
Let i = -93 + 94. Solve -b - 2 = -i for b.
-1
Let w(c) = 2*c - c - 3*c + 2 + c. Let u be w(-2). Solve i = u - 0 for i.
4
Let i = -59 - -64. Solve -i*l + 3*l + 2 = 0 for l.
1
Suppose -5*n + 25 = 3*m, -4*m + 2 = n - 3. Let q = 3 - m. Suppose -q*x - x = -8. Solve 0 = l + x*l - 3 for l.
1
Suppose n + 3*a - 15 = 0, -5*n = -3*a - 66 - 9. Solve -7*f + 2*f - n = 0 for f.
-3
Suppose 14 = -3*l + 4*v, 0 = -5*v - 3 + 13. Let b = 3 - l. Solve -7 = -b*j + 18 for j.
5
Suppose 0*d + 3*t + 10 = -d, -d + 3*t = -14. Solve -d*u + 6*u - 4 = 0 for u.
1
Let s = -19 + 24. Solve s*d - 1 = 14 for d.
3
Let s(b) = 2*b**3 + b**2 + b - 1. Suppose -3 = -w + 4*w. Let z(t) = -2*t - 1. Let i be z(w). Let f be s(i). Solve -5*p = -7 - f for p.
2
Suppose -x + 4*x = 6. Solve 16 = -2*y - x*y for y.
-4
Suppose -12 - 8 = -3*m + 4*h, 4*m - 4*h - 20 = 0. Suppose m*n - 2*y + 6 = n, 4*y - 30 = -5*n. Solve -n*u + 15 = -3*u for u.
5
Let l(y) = -y. Let g be l(1). Suppose 2 = 2*o - 0. Let d = o - g. Solve 6 = -d*n - n for n.
-2
Let d be (16/12)/((-1)/(-3)). Suppose -3*t + 5*c = 0, 3*c = -2*t + 2*c. Solve -2*y + t = d for y.
-2
Let i = 34 + -19. Let q = -11 + i. Solve w + q - 1 = 0 for w.
-3
Let q(n) = -n**2 + 6*n - 2. Let t be q(7). Let r = t + 5. Let b be (-6)/(-24) - 7/r. Solve 2*z = -b - 2 for z.
-2
Suppose 5*v - 10 = a, 0 = 5*a - 2*v - 0*v - 19. Suppose -3 + 13 = 2*q. Suppose 0 = -q*n + 2*n + 27. Solve -a*p = 16 + n for p.
-5
Let c = -2 - -6. Suppose 7 = -c*h + 27. Solve 0 = 8*p - h*p for p.
0
Suppose o - 3*d + 16 = 0, -3*o + d - 3*d = 26. Let c = o - -6. Let s = 5 + c. Solve -5 = -r - s for r.
4
Suppose -3*r - 5*j + 38 = 0, 0*r + 2 = r - j. Solve 3*i + r = -0*i for i.
-2
Let y be 0 + (3 - -1) + 0. Solve -4*h + 0 = y for h.
-1
Let v(f) = -6*f**3 - f**2. Let z be v(-1). Let a be 5 - 1/(0 + -1). Let c = 12 - a. Solve -z*n - c + 31 = 0 for n.
5
Let x = 25 + -18. Solve -10 = 2*a - x*a for a.
2
Let p be -3 - (4 + -7) - 10/(-2). Solve p*h = -2 - 3 for h.
-1
Suppose 12*r - 118 = 74. Solve -5*n - 4 = r for n.
-4
Suppose 5*u + b - 39 = 0, -3*b = -b + 2. Solve -4*a = u - 0 for a.
-2
Let y = 32 + -12. Suppose -4*r - 4 - 24 = 0. Let g = r + 12. Solve g*t - y = t for t.
5
Suppose -z + d + 20 = 5*d, 16 = 2*z + 2*d. Solve 0 = b + b - z for b.
2
Let b be -4*(-2 + (-9)/(-2)). Let s(i) = i**2 + 9*i. Let m be s(b). Let q be 116/m + (-2)/(-5). Solve 3*p = -0*p + q for p.
4
Let n(m) = 2*m + 24*m**2 - m**3 - 24*m**2. Let s be n(-2). Solve c = -s - 0 for c.
-4
Let u = 30 + -24. Solve 5*c - u + 21 = 0 for c.
-3
Let a(s) = s**2 + 6*s + 7. Let u be a(-6). Let t = -4 + 6. Suppose -t*v + 1 + u = 0. Solve -7 = -v*q + 9 for q.
4
Let g(m) = -m + 2. Let n be g(2). Solve -k - 5 = -n*k for k.
-5
Let v(z) = z**2 - 7. Let d be v(3). Solve 0 = g + d*g for g.
0
Suppose b = -2*b + 6. Let n be (b + -4)/((-2)/3). Solve 0 = -g - n*g - 4 for g.
-1
Suppose 4*d = -3*w + 11, 2*w + 9 = w + 5*d. Solve l - w = 2*l for l.
-1
Let q be 2/(-9) + (-244)/36. Let v = -13 - q. Let h = -5 - v. Solve 0 = -3*j - h - 8 for j.
-3
Suppose -d = 2*m + 5, 0 = 3*m + 6*d - 2*d + 15. Let r = 3 - m. Let c = -15 - -24. Solve 0 = r*l - l - c for l.
3
Let s be (-1)/2 + 7/2. Suppose -10*r = -5*r - 10. Solve 3*x = r*x + s for x.
3
Suppose 3*r + 15 = 6*r. Solve 1 = 3*i - r for i.
2
Suppose -2*s + 6 = 2*i - 6, -3*i = -5*s - 10. Solve 1 = i*l + 6 for l.
-1
Let g(b) = b + 12. Let c be g(-8). Suppose c*q - 20 = -q. Suppose -5 - q = -3*n. Solve 15 = -2*a - n*a for a.
-3
Let d be 10/45 + 48/27. Suppose -k - d*k = -5*f + 23, -5*f - 2*k = -18. Solve 0*u = 2*u - f for u.
2
Suppose 5*x + z = 46, -5*x + z + z + 43 = 0. Solve 3*o + x + 0 = 0 for o.
-3
Suppose 0 = -16*o + 4*o + 36. Solve -5*r = -2*r - o for r.
1
Let o = -120 + 121. Solve 0 = -2*y - 7 - o for y.
-4
Suppose -13 = -j - j + r, 3 = r. Suppose j = n + 4. Suppose 0 = -7*d + 5*d - 2*z + n, 3*z = -d + 2. Solve 0 = -0*o - d*o + 10 for o.
5
Let z be 2/((-1)/(-1)) - -2. Let c = 5 - z. Let p be (-3)/(-9)*(7 - c). Solve p*m + 5 + 3 = 0 for m