e -3*z + 9 = -h for z.
3
Let w = -101 - -101. Suppose 1 + 3 = s - 2*j, -2*s + j + 5 = w. Solve -6 = s*o - 5*o for o.
2
Let n(m) = -m - 2. Let l be 2/5 - (-6)/10. Let o be (-4 - -1) + l*-6. Let t be n(o). Solve 3*r = 1 - t for r.
-2
Let f(k) = -2*k - 3. Let s be (-6 - -6)/(2*1). Suppose s = -5*c + c - 16. Let o be f(c). Solve o*q + 12 = -3 for q.
-3
Let f be (2/2)/(26/988). Solve -33*i = -f*i - 5 for i.
-1
Let o(z) = -5*z - 7. Let k be o(-3). Suppose -8*j + 4*j - 30 = f, -2 = -f. Let q = j + k. Solve 0*d + 2*d + 10 = q for d.
-5
Let j(h) = 4*h**2 - 15*h - 5. Let o be j(8). Let z = o - 130. Solve 3*y + z + 14 = 0 for y.
-5
Let q(o) = o**3 - o**2 - 2*o. Let m be q(-1). Suppose 0 = -4*c - m*j - 2*j + 16, 0 = j - 4. Solve -4*s + c*s = 4 for s.
-2
Let q = -57 + 64. Suppose 8*y - q*y = 0. Solve y = 3*b - 0*b - 12 for b.
4
Let p(a) = a**3 - 3*a**2 + a - 8. Let k be p(4). Solve -3*r - 21 = -k for r.
-3
Let s = -181 - -188. Solve 5*h = s + 13 for h.
4
Suppose -4*p - x = 35, 0 = p - 3*x - 1. Let a be (-30)/p - (-1)/4. Suppose -r + 4*r = 3*k + 15, a*r - 2*k - 20 = 0. Solve -r*f = -3*f for f.
0
Let k be 2/4*(2 - 12). Let n be 10/(-20) + ((-35)/2)/k. Solve -n*z = -7*z - 12 for z.
-3
Let f = -649 - -652. Solve -f*k = 5*k + 16 for k.
-2
Let u(b) = 6*b**2. Let t be u(1). Let s(i) = i**3 + 2*i**2 - 4*i - 8. Let l be s(-4). Let h be (l/(-4))/(-2*(-3)/4). Solve -h*m = -t*m - 2 for m.
-1
Let v = 1942 - 1809. Solve -115 + v = 9*q for q.
2
Let t(n) = n**3 + 4*n**2 + n + 4. Let s be t(-2). Suppose s*p = 3*p + 21. Suppose 4*h + p*a = -12, -2*a + 3*a = -4. Solve h = -0*w - 3*w - 3 for w.
-1
Let l(u) = 14*u**3 + 71*u**2 + 4*u + 10. Let y be l(-5). Solve 5*h - 25 + y = 0 for h.
2
Let o be (1/3)/((-20)/(-60)). Suppose h - 1 = 4. Let b = h - o. Solve -7 = b*m + 5 for m.
-3
Let d(r) = 2*r - 4*r + 6*r - 10. Let a(i) = -i. Let n(u) = 2*a(u) + d(u). Let j be n(7). Solve -j*y + 0*y - 12 = 0 for y.
-3
Suppose -2*b + 2*u = 3*u - 69, 5*b + 4*u - 180 = 0. Suppose -b = -p - 27. Solve -z + p*z = -4 for z.
-1
Suppose 2*g - 2*j = -j + 14, -4*j = 16. Let m = 5 - g. Solve m = -4*q - q + 15 for q.
3
Let x be 7 + 231/(-35) - (-23)/5. Suppose 3*k - 248 = k - 2*n, 0 = k + 4*n - 121. Suppose 0 = -6*f + f + k. Solve 0*i + x*i = -f for i.
-5
Suppose 5*r + 2*p = 148, 22*r + 76 = 24*r + 5*p. Solve 0 = -30*f + r*f for f.
0
Suppose -4*v - 7 = -5*v. Solve -v*o - 4 = 3 for o.
-1
Suppose -4*b + b + 9 = 0. Let n = b + -3. Solve -4*t + 2 + 2 = n for t.
1
Suppose 2*l - 3*g - 3 = -6*g, 5*g - 5 = 0. Solve l = -5*q - 10 + 35 for q.
5
Let f = 2 + 0. Let b(j) = -7*j**3 + 11*j**2 + 4*j + 18. Let n(k) = -k**3 + k. Let h(c) = -b(c) + 6*n(c). Let t be h(11). Solve t + 0 = -f*m for m.
-2
Suppose 38 = 22*n - 50. Solve 0 = -a - 1 - n for a.
-5
Suppose 420 = -2*c + 5*c. Let q be ((-6)/(-10))/(4/c). Suppose 5*t = -i + 26, -13 = t - 4*t + 2*i. Solve 1 - q = -t*n for n.
4
Let w(n) = n - 10. Let z be w(11). Let m(d) = 3*d**3 + 1 + d**3 - 3*d**3. Let s be m(z). Solve -5*r = s + 3 for r.
-1
Suppose 0 = -2*z + f + 8, -7*f + 10 = -2*f. Solve 3*m - z = -14 for m.
-3
Let c be 5/2 - 3/6. Let f be (-8)/8*c/(-1). Suppose 15 - 55 = -f*h. Solve -w + h = -5*w for w.
-5
Let b = 45 + -45. Let n(t) = 2*t - 8. Let q be n(6). Solve b = -q*o + o - 6 for o.
-2
Let m(f) = f**2 + 10*f - 9. Let s be m(-11). Let c = 2 - s. Solve c = r - 3 - 0 for r.
3
Let z be (-2)/(1 - 9/6). Suppose 0*t - t + 8 = 2*o, -t = -o + z. Solve t*c = -c for c.
0
Let j(i) = i**3 - 12*i**2 + 4*i - 40. Let l be j(12). Solve -c - 7*c + l = 0 for c.
1
Let q = -1031 - -1035. Solve 6*b - q*b = -4 for b.
-2
Let t be 2/2*(3 + -2 + 16). Let u = 13 - 4. Let n = t - u. Solve -4*z - n = 4 for z.
-3
Suppose 0 = 4*o - 29 + 33. Let k be o + 1 + 8 + (-13 - -9). Solve -5*l - k = 6 for l.
-2
Suppose 0 = -5*w - 12 - 128. Let s = -18 - w. Let b = -7 + 13. Solve -b*c = -c + s for c.
-2
Let k be 2*(0 - 2/(-2)). Let u = 12 + 0. Suppose 0 = 2*h + 8, -2*f = -4*h + h - u. Solve f = -q - k for q.
-2
Suppose -26 = -3*i - 5*x, 3*x = 2 - 8. Solve 0 = -4*y - 0*y - i for y.
-3
Suppose -3*n = -4*n + 60. Suppose n = 11*s - 5*s. Solve -s = -q - q for q.
5
Let f(d) = 4*d - 16. Let g be f(7). Suppose 0*y + 5*y + 5 = 0. Let t be g/(-8)*y*2. Solve -t*h = -2*h for h.
0
Suppose 6*y = 11*y - 40. Let s(t) = 3*t**2 + 18*t + 5. Let u be s(-6). Solve y - u = 3*q for q.
1
Let d = 1 + 8. Suppose 0*g - d = -g. Suppose 13*l + 2*u - 14 = 15*l, 4*u - 28 = 0. Solve 3*x = -l*x + g for x.
3
Suppose 10 = l - 2. Suppose -g = -0 + l. Let w be ((-9)/g)/(1/16). Solve 0*a + w = -4*a for a.
-3
Let d(l) = l**2 + 3*l - 10. Let i be d(-6). Suppose 3*x = i*x. Let s(a) = a**3 + a + 10. Let u be s(0). Solve -2*p + 4*p - u = x for p.
5
Let u(i) = -637*i - 1. Let d be u(-1). Let q = 330 - d. Let f be q/(-24) - (-2)/8. Solve 1 = 3*y + f for y.
-4
Let d(p) = -p**3 + 9*p**2 + 11*p - 5. Let r be d(10). Let h(z) = 2*z + 10. Let q be h(-7). Let w be 0/(1 - (q + 3)). Solve w*m - r*m + 20 = 0 for m.
4
Let q be (-12)/22 - 350/(-77). Solve -15*j = -11*j - q for j.
1
Let c(g) = -g**3 - 4*g**2 + 5*g + 5. Let h be -3 - 21/(-12)*-4. Let q be (h/3)/((-20)/(-30)). Let m be c(q). Solve m*p = p + 4 for p.
1
Suppose k - 28 = 4*f, f - 2*k - 35 = 6*f. Suppose 2*j = -148 + 162. Let q = f + j. Solve q = -3*w + 7*w + 4 for w.
-1
Suppose -70 - 32 = -34*i. Solve -i*j + 3 = 15 for j.
-4
Let z(n) = -3*n + 9. Let i be z(1). Solve w + 2 = i for w.
4
Suppose w - 5*u = 7, 4*w - 4*u - 3 = -9*u. Let s = -57 - -62. Solve -k + w*k = s for k.
5
Let b = 34 + -21. Suppose 9*o - b*o = -8. Suppose -4*d + 20 = 4*i, 2*d + o*d - 25 = i. Solve -2*f = f + d for f.
-2
Suppose u + 1521 - 1536 = 0. Solve 0 = -9*w + u*w - 6 for w.
1
Let n(g) = -g - 4. Let m be n(0). Let f be (m/8)/((-2)/16). Solve 0 = f*c - 15 - 5 for c.
5
Let k = -178 - -179. Solve 7 = 4*a - k for a.
2
Suppose 0 = 3*q - q. Let a(g) = -2 + 2 - 2 + 2*g + q. Let k be a(3). Solve k = z + 2 for z.
2
Let j(w) = -10*w + 37. Let o be j(7). Let a be (5 - 2)*(-44)/o. Solve y - a*y = 0 for y.
0
Suppose 311 - 86 = 75*a. Solve v = -a*v - 4*v for v.
0
Suppose -3*b + 3 = -5*t, -2*t - 3*b - 16 = 2. Let i be (2 - 2)/(1/(-2 - t)). Solve z - 4 + 1 = i for z.
3
Let b = -62 + 47. Let t(p) = p**3 + 15*p**2 + 2*p + 34. Let k be t(b). Solve 0 = i - 0 + k for i.
-4
Suppose -681*x = -674*x - 28. Solve -i = -x*i + 15 for i.
5
Suppose 9*h - 7*h = -8. Let p be (-3)/((-19)/(-4) + h). Let i be p/10 - (-16)/40. Solve 2 = -l - i for l.
-2
Let o(f) = 2*f**2 + 7*f - 21. Let q be o(-6). Solve q + 0 = -3*m for m.
-3
Suppose -22*b = -19*b - 153. Suppose -12*w + 57 + b = 0. Solve -1 = 4*o - w for o.
2
Let x be -2 + 1 - 5/(-1). Let w(j) = -3*j. Let y(r) = 2*r + 2. Let f be y(-2). Let q be w(f). Solve 0 = -x*s + q*s for s.
0
Let r be (-44)/(-4)*(2 - 1). Solve -r*i - 65 = 2*i for i.
-5
Suppose 0 = q + 4*l - 12, 3*q + 5*l + 1 = 37. Solve q*o - 17*o = 5 for o.
-1
Suppose 11*s = 26*s - 360. Solve -19*i + 5 = -s*i for i.
-1
Let k be -6 - (-6 - (-6 + 6)). Suppose -14 = -4*c + 26. Suppose -c*l + 8*l = k. Solve -4*p - 12 = -l*p for p.
-3
Let d(b) = -8*b - 42. Let y be d(-6). Let k be (y/(-10))/(1/(-5)). Solve 0 = -2*v + k + 1 for v.
2
Let l(k) = -k**3 - 12*k**2 + 3*k + 42. Let d be l(-12). Solve 0 = -d*i - 0 - 6 for i.
-1
Let a be (-4)/(10/(-15)*2). Suppose 2*c = 4*i - 10, -2*i + 2 = -a*i - c. Solve 2*g - i = 7 for g.
4
Suppose x = -4*d + 2 + 8, -4*x = -3*d - 2. Solve -x*g = -0*g - 8 for g.
4
Suppose -p = 3*c - 0 + 2, -p + 4 = 0. Let h be -2 - (2*c + 2). Suppose h = -0*z - 4*z + 120. Solve -5 + z = -5*v for v.
-5
Let q = 506 + -392. Solve 111*n - 15 = q*n for n.
-5
Suppose 0 = -5*q - 19 + 249. Let w = q - 41. Suppose -74 = -4*s - 5*z, 2*s + z - 34 = -0*s. Solve -w*p + p - s = 0 for p.
-4
Let f be (-46)/14 - (-4)/14 - 39. Let n = f + 43. Solve -d - 4 - n = 0 for d.
-5
Let p(h) = -h + 2. Let x be p(0). Solve 0 = -3*y + x*y + 3 for y.
3
Let t(w) = w**2 + w - 4. Suppose 10*q - 15 = 5. Let f be t(q). Solve f*j = -j for j.
0
Let r = -238 + 243. Solve r*k + 7 = -8 for k.
-3
Let o = -22 - -27. Solve -16 = -7*w + o for w.
3
Let x = -479 + 485. Solve q + 25 = x*q for q.
5
Suppose 0 = -3*a + 42 - 18. Suppose -a*o + 7*o = -3. Solve o*u + 3 = 18 for u.
5
Suppose -4*f - 1 = -21. Suppose f = -5*n - t - 0*t, 4*n = -4*t - 20. Solve 0 = -h + 3 - n for h.
3
Suppose 4*q + 3*g = 66