z*h for h.
4
Let b = -14 - 2. Let o be (-188)/b + 2/8. Solve -o = -v + 4*v for v.
-4
Let o(l) = 4*l + 7. Let b(q) = 11*q + 22. Let n(c) = 3*b(c) - 8*o(c). Let z be n(-6). Solve z*u = 3*u + 2 for u.
2
Suppose 1 = -l - 9. Suppose -3*k = -4*y - 22, -5*k + y + 58 = 5*y. Let d = k + l. Solve -2*c + d*c = 8 for c.
-4
Let u(o) = o**2 - 5*o + 4. Let z be 3/(1/8*4). Let l be u(z). Solve 3*h = h + l for h.
5
Let l be -1 + 0 - (-7)/((-42)/(-18)). Solve l*r - 5*r + 15 = 0 for r.
5
Let u = -67 + 67. Suppose 2*q + 16 = t - 3*t, 0 = -3*t + 4*q + 11. Let a = t + 6. Solve u = -2*r + r + a for r.
3
Let a be (-20)/8*12/(-10). Suppose a = -i + 1. Let u be 2/4 + (-15)/i. Solve -5*y = -y + u for y.
-2
Suppose -6*n + 588 = 22*n. Let j(z) = -z - 2. Let i be j(-2). Solve i = -5*v - n - 4 for v.
-5
Let h(d) = d**2 - 3*d + 4. Let q be h(2). Let i = -3 + 13. Let m be 4/(-10) - (-4)/i. Solve m = q*n - n + 1 for n.
-1
Suppose 2*k - 3*p = 27, 3*p + 21 = 2*k + 2*p. Solve 0 = x - 4*x - k for x.
-3
Suppose v - 3*v - 22 = 3*c, 0 = -5*c - v - 46. Let r = c - -14. Solve -2 = -r*m + 2 for m.
1
Let l(y) = -y**2 - 7*y + 11. Let n be l(-8). Suppose -n*a = a. Solve 3*c - 6 = -a*c for c.
2
Suppose -4*h + 2*h + 24 = 4*r, -2*r + 2 = -4*h. Solve w - h*w = 2 for w.
-2
Let v = 7 + 9. Suppose -4*q + v = -t, 5*q - 8 = 3*q. Solve t = -2*l + l - 4 for l.
-4
Let m be (1 - (2 - 2))/1. Solve u + m = -0*u for u.
-1
Let x = -13 + 8. Let u = x - -8. Let g be u/2*(-4)/(-3). Solve z + g = 2*z for z.
2
Suppose -4*y = -3 + 3. Solve y = -w - 3 - 1 for w.
-4
Suppose 7 + 1 = 2*q. Suppose 2*d - q*a = 8 + 6, -5*a - 1 = 3*d. Suppose 0*l = -d*l + 24. Solve -2*x + 0 + l = 0 for x.
4
Suppose -11*v + 7*v = -16. Let c = 5 + -5. Solve c = -4*s - 0*s + v for s.
1
Suppose -2*i - 3*i = 0. Let o = i - 0. Suppose o = -j + 3 - 1. Solve 0*p + 10 = -j*p for p.
-5
Suppose -2*f - 4 = y, 5*y - 2*f - 4 = -0. Suppose y = -5*i + 3*q + 47, -4*q - 59 = -5*i - 13. Let x = -6 + i. Solve x = 2*a - 6*a for a.
-1
Let f = -6 + 22. Let c = -10 + f. Solve r = c*r for r.
0
Suppose 3*w - 2 = 13. Let b be w + (2 + 0)*-1. Let p be ((-2)/(-3))/(8/204). Solve 4*v + b = -p for v.
-5
Let h be 2/(-7) + (-23)/(-7). Suppose h*r = r. Suppose 0 = 5*o - r*o. Solve o*i + 16 = -4*i for i.
-4
Suppose -6*f = -2*f - 36. Solve o - 4*o = f for o.
-3
Suppose -l + 0*p + 13 = -3*p, -3*p - 15 = -3*l. Let y be 6/(-2) + l + 2. Let z be (-3 - -14) + y + -3. Solve -4*o + 0*o + z = 0 for o.
2
Let y = 33 + -32. Solve -13 = 4*p - y for p.
-3
Let p(r) = -r**2 + 4*r + 14. Let i be p(6). Solve i*k - 9 = -k for k.
3
Suppose 0 = -0*j - 3*j + 51. Let l be 0 + 2 + 0 + 3. Solve j - l = -3*b for b.
-4
Let z be (9 + -1 + -2)*-1. Suppose 39 = -3*f - 2*t, -4*f + 3*t - 69 = -0*f. Let w be f/z*16/10. Solve w*r = -0*r - 12 for r.
-3
Suppose v + 8 = -2*b, -5*v + 23 = -5*b - 12. Solve v*j - 9 = -j for j.
3
Let g = 12 - 8. Let f = 2 - 3. Let z = f + 4. Solve z = g*x - x for x.
1
Let n be ((-4)/6)/(42/(-189)). Solve 0 = n*k - 5*k for k.
0
Suppose 3*a + 2*b = 12, 9 + 1 = -a + 4*b. Suppose -4*z + 21 + 19 = 0. Solve 2*o + z = a for o.
-4
Suppose 0 = l + 2*l. Suppose l = 10*q - 5*q. Solve q*x + 2*x + 6 = 0 for x.
-3
Suppose -2*h = h - 15. Solve h*d - d = 8 for d.
2
Let w(s) be the second derivative of -2*s**3/3 - 5*s**2/2 + 7*s. Let d be w(-2). Solve d*t + t = 12 for t.
3
Suppose 0 = -4*z + 5*h + 10, -14 = -2*z - 5*h + 3*h. Suppose -4*f - 6 = 2*t, f + 4*t - 3 + 15 = 0. Let o be 2 + (-3 - -1) + f. Solve o = -r - z for r.
-5
Let i = -101 + 147. Suppose -c + 31 = 3*o, -5*o + i + 5 = c. Solve -5*m + 0 = -o for m.
2
Let j be ((-2)/4)/(4/32). Let a = -1 - j. Let v(q) = q**2 - 2. Let i be v(2). Solve -i*s = -a*s - 2 for s.
-2
Suppose 25 = -3*q + 7. Let s(v) = v**2 + 5*v + 2. Let t be s(q). Let g = t - 5. Solve -3*r - g = 6 for r.
-3
Let u = 12 + -9. Solve 0 = u*n - n for n.
0
Let t(b) = -b - 4. Let z(h) = -2*h - 9. Let p(w) = -7*t(w) + 3*z(w). Let a be p(4). Solve -4 = a*l + 16 for l.
-4
Suppose -v + 4*y + 30 = 0, 5*y - 15 = -4*v - 0*y. Let u be 12/v*(-20)/(-4). Solve u*n = n + 25 for n.
5
Let i(v) = -v**2 - 8*v - 3. Let q be i(-7). Suppose -3*t + t = -q. Suppose -n + 6*n = 10. Solve 0 = n*o + t - 12 for o.
5
Let m be -3*(-5)/(-15) + 9. Solve 6*c = 2*c + m for c.
2
Suppose -4*k + 10 = k. Suppose y - 9 = -2*q + k*y, 2*q + y - 15 = 0. Suppose 2*p = q*p - 20. Solve -p*j = -3*j + 8 for j.
-4
Suppose 4*q + 4 = 3*q. Let g = q + 4. Solve 2*k - 6 = -g*k for k.
3
Let i be 6*(15/(-9) - -2). Let h(b) = -2*b - 5 - i + 3*b - 2*b. Let p be h(-8). Solve p = 4*m - 3*m for m.
1
Let q(c) = -c + 7. Let o be q(9). Let d = 0 - o. Let k be 1*-9*d/(-6). Solve -6 = k*t - 0 for t.
-2
Suppose -4*j = -0*j. Suppose 0*i + i = -y - 2, j = 4*i - 4*y - 24. Let r(u) = u**2 + u - 2. Let c be r(i). Solve -5 - 11 = c*p for p.
-4
Let h be -2 + 5 + 1*-1. Suppose 0 = -3*j - 2*j. Suppose -4*i + 9 = -l, l + 0*l = -1. Solve 0*b + h*b + i = j for b.
-1
Let c be (3 + -23)*(-2)/4. Suppose 4*i - 36 = -2*i. Solve i*d - c = d for d.
2
Let j be (0 + 0)*(-4)/12. Solve 2*w + 4 + 6 = j for w.
-5
Suppose 144 = p - 2*p. Let w = p + 39. Let i be (-10)/(-3)*w/(-14). Solve 0 = -d + 6*d - i for d.
5
Suppose 16*k - 14*k = 10. Solve 18 + 7 = -k*r for r.
-5
Suppose 0 = -3*m + w + 15, 3*w = -2*w - 15. Suppose 0 = -8*l + m*l. Solve l = p + 2*p for p.
0
Let h(i) = -i**3 - 7*i**2 - 9*i - 1. Let y be h(-6). Suppose -4*v - 5 = -y. Let c be 4 + (-2)/4*0. Solve -8 - c = -v*m for m.
4
Let b = 37 + -27. Solve -l - b = -3*l for l.
5
Suppose a = 2*a - 2. Let b be 4 + 1 + (-1 - -2). Suppose b = a*v - 0*v. Solve v*l = 5*l + 8 for l.
-4
Suppose 2*z - 7*z + 20 = 0. Suppose -z*l + 3*r = -6, 2*r = l + 2*l - 5. Let c = 8 - 4. Solve -l*w = -c - 11 for w.
5
Let q be (-1 + -1 + 1)*(68 + -76). Solve q = -3*t + t for t.
-4
Let r be -1*(-6 + 3 + -2). Solve 0 = -r*w - 2 - 23 for w.
-5
Let r be 0/(-6)*(-3)/6. Solve r*x = -x for x.
0
Suppose -4*g + 43 + 41 = 0. Suppose -5*x - 2*n = -18, -5 - g = -3*x - 5*n. Solve 3 = -v + x*v for v.
3
Let f = 14 - 14. Suppose f = g + 4*g. Solve 3*v + 3 + 0 = g for v.
-1
Suppose 0 = -4*q - 0*q + 16. Let i be (-2)/(2 - 32/12). Suppose -n - 3*n + 27 = -5*c, i*c = -3*n. Solve -q*m + m = -n for m.
1
Suppose 5 = b - 15. Solve 3*t + b = 8*t for t.
4
Suppose 4*z - 19 = -67. Let b = -8 - z. Suppose 2*s - 6 = -b. Solve -s = 3*x - 10 for x.
3
Let a = 52 + -7. Suppose -4*h = -p + 2*p + 30, -a = 3*p + 3*h. Let u be 4/p + (-68)/(-20). Solve -4 = -u*k + 5*k for k.
-2
Let n(s) = s**2 - 3*s. Let m be n(6). Suppose 6 = -2*x + m. Solve 0 = -x*l + l + 15 for l.
3
Let n be 15*(4/3 + -1). Suppose 0 = -n*o - 10 - 0, p + 3*o + 1 = 0. Solve -p*q - 6 - 14 = 0 for q.
-4
Suppose 1 + 4 = y - 3*j, -3*y - 13 = -2*j. Let g = y - -7. Suppose g = 4*r + r. Solve r = -0*w - 2*w - 2 for w.
-1
Let u = -2 - -2. Let q(o) = 0*o**3 - o**3 + o**2 + 5 + 0*o**3. Let i be q(u). Solve -4*m + 7 = -i for m.
3
Let g(k) = k**3 - 5*k**2 - k + 5. Let d be 57/11 + 8/(-44). Let p be g(d). Solve p = -2*b + b + 3 for b.
3
Let b be (-278)/(-6) + (-4)/12. Suppose -f - a = -12, f - 4*a = b - 14. Solve 4*g + 0*g - f = 0 for g.
4
Let z(c) = -c**3 + 19*c**2 + c + 6. Let r be z(19). Solve 0*m = 5*m - r for m.
5
Let l = 12 + -10. Let w(t) = 11*t - 1. Let o be w(1). Solve -4*x + l*x = o for x.
-5
Let t(k) = k**3 + 10*k**2 + 9*k + 5. Let f be t(-9). Solve 2*c - f = c for c.
5
Let t be 19 + -15 - (3 + 1). Solve t = -5*u + 3 + 2 for u.
1
Let g = 27 + -20. Solve -k + 5 = g for k.
-2
Let q(m) = m**3 + 7*m**2 + 6*m + 2. Let h be q(-6). Let z be (h/5)/(1/5). Let a = z + 1. Solve -4 = -u + a*u for u.
-2
Let f be (3 + (-9)/(-6))*30/9. Solve 2*v + f = 5*v for v.
5
Suppose 3*q = -q. Let b = -160 - -163. Solve 2*u - b*u + 4 = q for u.
4
Let l = 167 - 163. Solve 4*z - 2*z = l for z.
2
Suppose 5*c - 1 = 4. Let a be -2 + (0 + -2)*-1. Solve q - c + 0 = a for q.
1
Suppose c = 4*c + 2*n - 23, 6 = c - n. Let b = 12 - c. Suppose -4*h - 5*d + 1 = 0, -b*h - d + 21 - 4 = 0. Solve 15 = h*y - 7*y for y.
-5
Suppose -5*r + 3*h + 30 = -2*h, r + 6 = 4*h. Let z = r + -9. Solve b - 3 = z for b.
4
Suppose -5 = -3*l + 1. Suppose -9 = -l*w - 1. Let u be 12/9*6/w. Solve -x = -0*x + u for x.
-2
Let h(u) = u**2 - 6*u - 7. Let s be h(-1). Solve -o - 1 = -s for o.
-1
Let j(v) = v**3 + 6*v**2 + 3. Let r be j(-6). Solve r*f = 3 - 15 for f.
-4
Let z(k) = 