ppose 0 = -0*b + b - 2. Solve -f = -y + b*y for y.
-1
Let z(x) = -x**2 - 4*x + 2. Let w be z(-4). Let y(n) = 7 + 2 + 5 - 4 + n. Let a be y(-7). Solve -h = -w - a for h.
5
Let n(t) = t**3 + 12*t**2 + 3*t + 14. Let r be n(-12). Let z = 55 + r. Suppose h + 0*y - 21 = 5*y, 0 = 4*h - 3*y - z. Solve -4*s + 6 = -h for s.
3
Let s(m) = -3*m - 6. Let x(j) = 9*j + 18. Let i(f) = 7*s(f) + 2*x(f). Let v be i(-11). Suppose 0 = -5*z - v + 107. Solve z = 4*h - 0*h for h.
4
Let i be -2 - -4 - (34 + 2). Suppose -17*w + 415 = -197. Let t = w + i. Solve 0 = -c - t*c - 9 for c.
-3
Let r(l) = l**2 + 4*l - 134. Let i be r(-14). Solve -31*h - i = -33*h for h.
3
Let i = 7 - -2. Let x = 15 - i. Let r = 6 - x. Solve 0 = -r*l - 2*l - 6 for l.
-3
Let g(w) = w**3 - 19*w**2 + 2*w - 38. Let j = 57 - 38. Let v be g(j). Solve v = -0*l + 2*l - 8 for l.
4
Let z(g) = -2*g - 1. Let o(v) = v**3 - 2*v - 3. Let n be o(-2). Let x = -9 - n. Let j be z(x). Solve -3*p + 6*p = -j for p.
-1
Suppose 18 = -2*g + 8*g. Suppose -3*k = 0, 9 = 3*q + g*k + 2*k. Solve -q = -x + 2 for x.
5
Suppose -5*m + 147 + 3 = 0. Let v = m + -50. Let z be (-105)/v - (-6)/8. Solve 4*y + 2 = -z for y.
-2
Let n = -1 - -1. Suppose -37 - 33 = 5*a. Let f = -9 - a. Solve n*u - 20 = f*u for u.
-4
Let h(f) = f**3 - 9*f**2 - 12*f + 10. Let r(s) = -s**2 + 6*s + 10. Let g be r(6). Let n be h(g). Let t = -1 - n. Solve -3*k + t = -3 for k.
4
Suppose -2*u = 3*u - t - 73, t = -u + 17. Solve 18*k = 13*k - u for k.
-3
Suppose 0 = -389*n + 397*n - 16. Solve -22*w - n = -24*w for w.
1
Let l(i) = 4*i**3 + 1. Let b(x) = x**2 - 6*x + 9. Let n be b(4). Let q be l(n). Solve q = -4*f - 7 for f.
-3
Suppose -8*c + 0*c = 0. Solve 5*y + c*y = 20 for y.
4
Let z be (65/15 - 4)*15. Let v(j) = j - 2. Let i be v(z). Solve -i*u - 9 = 3 for u.
-4
Suppose -4*w - 10 = -5*w. Suppose k + 2*x - 30 = 7*x, -2*x + 10 = 0. Let p be (-48)/w*k/(-22). Solve -a - 2*a = p for a.
-4
Let d be (-16)/(-6)*1 + 2/(-3). Suppose -16 + 10 = -d*p. Solve 5*h + 2 = -p for h.
-1
Let a(u) = -u**3 + 7*u**2 - 6*u + 1. Let q be a(6). Let z(g) = -28*g**3 - g**2 + 2*g - 1. Let f be z(q). Let b = f + 47. Solve 3 = 4*k + b for k.
-4
Suppose 3*x + 0*x - 12 = 0. Let y(t) = -12*t**3 - 182*t**2 - 30*t + 12. Let p be y(-15). Solve -4*c - x = -p for c.
2
Suppose -4*j - w + 11 = 0, 3*j = 2*j - 3*w. Solve 4*c = j*c for c.
0
Let i be ((6 + -7)*6)/(-2). Solve -i*q + 30 = 3*q for q.
5
Let z(f) = 5*f**2 - 9*f + 3. Let c = 81 - 79. Let g be z(c). Solve 0*l + g*l = 15 for l.
3
Suppose -10 = -2*w + 2*t + 24, -4*w + 60 = 4*t. Suppose -f + 3 - 2 = 0. Suppose 5*h + f = w. Solve 0 = -2*y - h*y + 25 for y.
5
Let q be (256/160)/((-2)/(-5)). Solve 0 = 9*c - 5*c + q for c.
-1
Let p(r) = -r - 3. Let t be p(-4). Let u be (-1 + t)/(-22 + 24). Suppose u = -5*f + 2*f. Solve f*o - 6 = 2*o for o.
-3
Let o be (-4 - 6)*2/(-5). Let g be (-15)/(-2) - (-2)/o. Let c be 12/8*g/2. Solve 5*u = 1 - c for u.
-1
Suppose -f = -2*f. Suppose 15*u - 17*u = f. Solve 0 = -u*b - 2*b for b.
0
Suppose 8*m + 12 = 5*m. Let t be ((-2)/m*0)/1. Solve t = -3*r + 2*r for r.
0
Suppose -o + 15 = 4*o, -o + 23 = 4*t. Suppose 0 = -t*n + 9 + 6. Suppose 0 = n*a + 2 - 11. Solve -a*f - 7 = -1 for f.
-2
Let q be ((-24)/(-10))/(22/(-55)). Let k be 0 + -5 - 126/q. Solve -c = 3*c - k for c.
4
Let d(l) = -l**2 - 4*l. Suppose f = 4*f + 72. Let s be (-8)/20 - f/(-15). Let q be d(s). Solve -q*x + 14 + 6 = 0 for x.
5
Suppose -5*d + 60 - 45 = 0. Solve -q + 10 = -d*q for q.
-5
Suppose -7*p - 533 + 582 = 0. Solve 0 = -p*n - 5 - 2 for n.
-1
Let l be (-2)/3 + (-22)/(-6). Let a(r) = -r**3 + 2*r**2 + 4*r. Let n be a(l). Let d be (-4)/(-1) + (2 - 3). Solve -6 = -d*k - n for k.
1
Suppose 2*z - 23 + 7 = 0. Suppose 4*w = 2*w - 5*i + 24, 0 = -4*i + z. Solve 2*g - 20 = w*g for g.
-4
Suppose -1488 = 6*q - 18*q. Let j = 132 - q. Solve j = -2*t - 0*t for t.
-4
Let u = -1234 + 1244. Solve 5*z - 3*z = -u for z.
-5
Let a be (-2)/(-3)*108/8. Let u = 1 - a. Let r = u - -11. Solve -r*m = m + 20 for m.
-5
Let r be (-5)/2 - (-3)/6. Suppose 4*o - 18 = -o + 2*i, o = -4*i - 14. Let v = o - r. Solve c = -2 + v for c.
2
Let z(p) = -p**2 + 1. Suppose -3*n + 15 = -0*n, -k + 4*n - 15 = 0. Let b be z(k). Let m be b/32 + (-30)/(-8). Solve 3*d - 6 = m for d.
3
Suppose 177 = 3*s - 15. Solve -61*b - 9 = -s*b for b.
3
Let i be (0 + 1)/(11/44). Let o be 24/(0 + -4) + 6. Solve -2*g + 6*g - i = o for g.
1
Let w = -13 - -5. Let p be (10/3)/(w/(-12)). Solve -p*a + 2*a + 6 = 0 for a.
2
Let y be (-12)/(-5) + (-2)/5. Let x(j) = -12*j + 19*j**y - 8 - 20*j**2 + 4*j. Let c be x(-6). Solve 3*v = -v - c for v.
-1
Let g = 12 + -6. Let y = 11 - g. Solve -3 - y = 4*s for s.
-2
Let m = 61 + -59. Let p be 4 - ((-6)/m - -3). Let x(n) = -n**2 + 5*n + 8. Let t be x(6). Solve 0 = -t*i - p - 6 for i.
-5
Suppose 10*k = 23*k - 104. Solve 11*n - 15 = k*n for n.
5
Suppose 15 - 25 = 5*h. Let g be 5 + (-5 - 6/h). Solve 0 = g*a - 5*a + 6 for a.
3
Suppose 0*c = -3*x - 2*c + 191, 0 = -5*c - 25. Suppose -5*o + x = 42. Solve 2*t = t - o for t.
-5
Suppose -4*p = -6*p + 6. Suppose 0 = j + v - 6, 3*v - 8 = p*j - 4*j. Solve 0 = 3*x - 1 - j for x.
2
Suppose 0*l - 14 = t - 4*l, 0 = 2*t - 3*l + 8. Let n(u) = 7*u**2 - 6 - 13*u**t + 7*u + 5*u**2. Let w be n(5). Solve w*c = 3*c + 2 for c.
2
Suppose -g = -6*g. Suppose -n - 2*a - 2 - 5 = g, -4*n + 12 = -2*a. Solve q = 3 + n for q.
4
Let w(s) = -s**3 + s**2 + 3*s - 5. Let h = -4 + 2. Let l(q) = q**3 - 2*q**2 - 4*q + 6. Let d(y) = h*l(y) - 3*w(y). Let g be d(0). Solve -v + 0 = -g for v.
3
Let g be -1*(1 + 3) + 3. Let x be (2 + 1)*g*1. Let a be (x/(-2) - 3)*-8. Solve -a = -0*o - 4*o for o.
3
Let i = -226 + 155. Let g = i + 74. Solve g*r + 9 = -0*r for r.
-3
Let r(g) = -g**3 - 8*g**2 - 14*g - 10. Let i be r(-6). Solve 8 = -i*o + 2 for o.
-3
Let s(g) = -g**3 + 3*g**2 + 5*g - 2. Let m be (-22)/6 - (-4)/6. Let y = 7 + m. Let u be s(y). Solve 0 = -k - u for k.
-2
Let w be 123/15 + (-1)/5. Suppose 4*o - 4 - 8 = 0. Let d = 0 + o. Solve d*l = -l + w for l.
2
Let g(o) = 7*o - 72. Let u be g(12). Suppose -3*x - 2*p = -4*p - 1, 4*p = 16. Solve -x*z - u = -0*z for z.
-4
Suppose 15*z = 10*z + 10. Suppose 5*p = 25, -z*b - 2*b + 63 = 3*p. Solve b = -x + 5*x for x.
3
Let q = -58 + 58. Suppose -5*f - 3*r + 17 + 27 = q, 3*r - 9 = 0. Solve -f*l = -3*l + 4 for l.
-1
Suppose -32 = -m - 4*j, m - 3*j - 8 = -j. Suppose -165 = 9*g - 42*g. Solve -h + m = -g*h for h.
-4
Let p = 14 - 26. Let b(a) = -a**2 - 15*a - 7. Let y be b(p). Let l = y + -20. Solve l = -3*d + 21 for d.
4
Suppose 2*c + 3*x = 20, 5*x - 8 = 12. Let k(o) = -o**3 + 11*o**2 - 12*o + 20. Let b be k(10). Solve b*y = -y + c for y.
4
Suppose 8 = 4*a, 2*z - 5*z = 3*a - 24. Let d(v) = -v. Let f be d(-7). Suppose -f + 9 = i. Solve -i*q + z = -5*q for q.
-2
Let m(c) = c**3 - 12*c - 10*c**2 + 25 + 37*c - 18*c. Let f be m(9). Solve f*w = 8*w + 2 for w.
-2
Suppose -3 = -4*r + 5. Suppose -2*t + r = -t. Suppose t*j = 6*j. Solve j*a + 1 = a for a.
1
Suppose -1045 - 197 = -23*l. Solve -56*k + l*k - 4 = 0 for k.
-2
Let t be (-2)/(-1 + -1)*(5 - -2). Let v be 31 + -28 - t*(-2 - -1). Solve -v = 6*p - p for p.
-2
Suppose 2*y - 163 = -115. Solve 3*v = -24 + y for v.
0
Let s = 29 - 17. Suppose -s = i + y - 4*y, -5*i + 10 = -y. Solve 1 - 4 = -i*k for k.
1
Let x(z) = z**3 + 2*z**2 + 3*z + 16. Let u be x(0). Solve -2*w - u = -10 for w.
-3
Let p be 0*(1 - 0/2). Let c be ((-132)/(-16))/(6*2/32). Suppose -4*r - 5*l = -c, -r + 2*l - 1 = -0. Solve p = a + r*a + 12 for a.
-3
Suppose -4*p + 0 + 32 = 0. Let t = 28 - 26. Suppose 3*j + 3*a - 21 = 0, p - 34 = -t*j - 5*a. Solve 0 = -5*r - j - 2 for r.
-1
Let d(y) = -10*y - 1. Let z be d(2). Let k be (-8)/28 + (-69)/z. Solve 0 = -0*o - k*o + 9 for o.
3
Suppose 28 = -k + 33. Suppose 0 = -k*v + 6*v. Solve v = -3*l + 7 - 1 for l.
2
Let v be 4/(-3) - 1456/(-39). Suppose o = -2*g + 6 + 4, -v = -4*o - 4*g. Solve 5*u = -o + 3 for u.
-1
Let c = -21 + 20. Let u = c + -9. Let w be ((-18)/(-15))/(u/(-25)). Solve h = -w*h - 12 for h.
-3
Let g(p) = -10*p + 104. Let j be g(10). Solve 2*n + j + 4 = 0 for n.
-4
Suppose -t - 6 = -4*f + 23, -5*f + 3*t + 38 = 0. Solve h + 6 - f = 0 for h.
1
Suppose -5*d - 2*u + 21 = 0, -4*d + 5*u + 10 = 10*u. Solve 5*h + 0 - d = 0 for h.
1
Let o = 39 + -34. Suppose -1 = -3*y + o*q, 5*y + 0*q + 4*q = 14. Solve 4 + y = -3*b