 for z.
-1
Let o be 1/5 - 38/(-10). Let g(a) = 3*a - 4. Let z be g(2). Suppose -z*d + 2 = -d. Solve -8 = -o*r + d*r for r.
4
Let y = 2 - 0. Solve 15 = -y*c - 3*c for c.
-3
Let h be 35/11 + (-1)/(-44)*-8. Let j = 11 + -7. Solve -j = -h*y - y for y.
1
Let x be ((-14)/(-3) - 8)*3/(-2). Solve -4 + 24 = -x*s for s.
-4
Let x(q) = q**2 + 6*q - 23. Let m be x(-9). Solve -5 = m*s - 1 for s.
-1
Let k(s) = 4*s**2 - s + 2. Let h be k(1). Let d(y) = y**3 - 6*y**2 + 6*y - 3. Let v be d(5). Solve h*j - v - 3 = 0 for j.
1
Let r be (-4 + -3 + 6)/(2 + -3). Solve 0*w = w - r for w.
1
Let n(l) = -l**3 + 12*l**2. Let p be n(12). Suppose -3*s + b + 13 = p, 2 + 22 = 4*s - 3*b. Let i = s - 3. Solve -5*z + 3 - 18 = i for z.
-3
Let o = -62 - -99. Let t = o + -22. Solve -1 - t = -4*s for s.
4
Suppose 0 = -f + 3*n + 12, 2*f - 3*n - 37 = -22. Let k = -2 + 13. Solve -k = f*v + 4 for v.
-5
Suppose -113*y + 87*y = -26. Solve 0 = -10*p + y + 49 for p.
5
Let a be -1 + 1632/(-28) - (-6)/21. Let l = a - -61. Solve 4 = -l*k - 2 for k.
-3
Let d be (-1 - -38) + 0 + 3. Let i = d + -57. Let s = 20 + i. Solve 4*j - 7 = -s for j.
1
Let c = -372 - -373. Solve -3*j = -2 - c for j.
1
Let s = -1575 + 1579. Suppose -b + t - 23 = -0*b, 0 = 4*t - 20. Let w be 4/b - (-47)/9. Solve w*k - 3*k = s for k.
2
Suppose -12*q = -7*q + 15. Let b = q - -5. Suppose 0 = 2*v - 0 - b. Solve -4 + v = -t for t.
3
Let q be (-42)/(-8) + (-2)/8. Suppose 0 = -3*w - 4*m + 3*m - 35, -4*m - 10 = 2*w. Let g = w + 14. Solve 9 = -q*p - g for p.
-2
Suppose 2 = -5*u + 27. Suppose b + u = 1. Let c = 8 + b. Solve v - c*v = 3 for v.
-1
Let s be ((-2 + 36)/(-2))/(-1). Suppose -2*w + 4*w - 4 = 0. Suppose -a + 3 = -w. Solve -a*f + 7 = s for f.
-2
Let k be (-10*6/2)/(350/(-175)). Solve -k*g + 8*g - 14 = 0 for g.
-2
Let o(a) = -5*a - 52. Let j be o(-11). Solve -7 = -5*u + j for u.
2
Suppose -13*a + 28*a = 105. Solve a*m = 5*m - 6 for m.
-3
Let y be ((-40)/(-16))/(4/8). Let v(i) = i**2 + 11*i + 11. Let f = 5 + -15. Let w be v(f). Solve w - y = -4*p for p.
1
Let r = 55 - 112. Let y = -57 - r. Solve y = 2*f - 4*f for f.
0
Let t = -3 - -7. Let z be (-1)/t - 3050/(-40). Let q = z - 51. Solve 3*o = -2*o + q for o.
5
Let k = 21 - 51. Let s = k + 33. Solve 4*h = s*h for h.
0
Suppose 0 = 3*r - 8*r + 105. Suppose 0 = -2*h - t + 15, 3*h + 3*t - 9 = r. Let d be 6/15 + (-2)/h. Solve -3*w = -9 - d for w.
3
Let k(z) = 3*z**2 + z - 17. Let j be k(-3). Solve 6 = j*y - 4*y for y.
2
Suppose 7*d - 5*d = 4. Suppose 0 = -2*v + 3*s + 1, 2*v - 5*s - 7 = -8*s. Let m be (-7)/(((-6)/3)/v). Solve -d*z + m*z = -5 for z.
-1
Let g be -5*1/(-2) - (-11)/22. Let n(m) = 2*m**2 + 3*m + 3. Let o be n(-2). Solve -g*s + o = -7 for s.
4
Suppose 8 = -5*s + 7*s. Let t(p) = 4*p - 9 + 16 - 9 + 2*p**2 - 2*p. Let j be t(-2). Solve j*a = s - 10 for a.
-3
Suppose -14*d + 9*d = -25. Suppose 0*k - g - 44 = -2*k, d*g = -10. Let i = k + -20. Solve -i - 2 = -s for s.
3
Suppose -5*a + 16*a = 0. Solve a = 2*w - 0*w - 6 for w.
3
Let q = 30 + -26. Suppose -v + q*u + 6 = -3*v, 5*v + 3*u - 6 = 0. Solve 0 = o - v*o - 6 for o.
-3
Suppose f = 4*u + 38, 2*f = -u - 3*f - 20. Let p(s) = -7*s + 21. Let w be p(5). Let m = u - w. Solve -m*q + 6 = 2 for q.
1
Let j be 0/2 + (3 - 1). Let l be (-8)/(-8) - 2/(-2). Let m = 21 - 19. Solve l*u - j = m for u.
2
Suppose 0 = -8*f + 158 - 118. Solve 0 = -i + f*i - 16 for i.
4
Let l = -32 + 32. Solve -q + 0 - 1 = l for q.
-1
Let h(y) = 48*y + 195. Let z be h(-4). Solve z*l + 7*l = 40 for l.
4
Let z be -10 - -11 - (-131 - 0). Suppose 2*v + 2*n = -3*v + 137, 5*v - 3*n = z. Suppose -2*u = -v + 11. Solve -10 = 3*p - u*p for p.
2
Let f = 85 + -52. Suppose -4*t = -2*a - f - 163, -3*a = -4*t + 200. Suppose t = 3*k + 11. Solve -5*d - k = -d for d.
-3
Let x(l) = 5*l**3 + l. Let u be x(1). Let w(t) = 5*t - 20. Let n be w(u). Solve 4*d + 6 + n = 0 for d.
-4
Suppose -3*b = -39 + 12. Let i(h) = 3 + 0*h + 3*h + 1 - 16. Let z be i(b). Solve -a = 4*a + z for a.
-3
Suppose 2*w - 4 = l, -4 = -118*w + 116*w + 5*l. Let m be (-2)/10 + (-66)/(-5). Suppose 2*z + 3*t = m, -t - 37 = -5*z - 4*t. Solve 0 = 2*b + w*b - z for b.
2
Let g = -22 - -26. Suppose 4*z = -m + 8 + 9, -2*m = -g*z + 26. Suppose 12 = -z*j + 17. Solve -5*h - j + 11 = 0 for h.
2
Let z be (-2 - 5/(-1)) + -1. Solve -z*y = -y for y.
0
Let d be (-33 + 31)*6/(-4). Solve 0*q + 7*q = d*q for q.
0
Let t be 1/((28/16)/7). Suppose -70 = t*b - 166. Suppose -3*m + b = m. Solve o - m*o = 20 for o.
-4
Let b(u) = -3*u + 0*u**3 - 5*u**2 - 3*u**3 + 2*u**3 - 2*u - 2. Let m be b(-4). Solve -m*c + c = -4 for c.
4
Let s be -3 + -3 + (-1 - -4). Let a(r) = -r**3 + 6*r - 4. Let f be a(s). Solve -20 = -0*p + f*p for p.
-4
Let l be (-39)/156*5/((-10)/8). Let z(f) = 3*f - 2. Let k be z(3). Solve 3*b = l - k for b.
-2
Let l be (-66)/((-66)/6) + -4. Solve -10*i = l*i + 24 for i.
-2
Let l be 9 + 18 + (0 - -11). Solve -l = 13*h + 1 for h.
-3
Let x be ((-2)/12)/(20/(-360)). Solve x*m - 78 + 90 = 0 for m.
-4
Let y = -7 + 7. Let c be 2/6 - (y - (-32)/(-12)). Solve 4*t + c = -1 for t.
-1
Let n(x) = -x**3 + 4*x**2 + x - 3. Let q be n(3). Suppose 5*m - 19 = -q. Solve -3*a - m = 13 for a.
-5
Let n(v) = -6*v + 40. Let l be n(6). Solve -5*y = -l*y + 4 for y.
-4
Let f(v) = 10*v + 46. Let r(y) be the third derivative of -7*y**4/24 - 31*y**3/6 - 2*y**2. Let m(w) = 5*f(w) + 7*r(w). Let o be m(-8). Solve -o = -i - 0 for i.
5
Let r(b) = -b + 12. Suppose 0 = 4*g + n - 34, 0*g + g - 7 = -n. Let y be r(g). Suppose -y = -3*d + 9. Solve 0*u + d = -2*u for u.
-2
Suppose 0 = -60*t + 51*t + 63. Suppose q + 12 - 3 = -2*s, 0 = s + 3. Let b = q + t. Solve 5 - 1 = b*f for f.
1
Suppose 3*o - u - 5*u - 36 = 0, -22 = -o + 4*u. Solve -43 = -o*z - 47 for z.
-2
Let a be (6/(-12))/(1 + 11/(-10)). Solve 2*f = -a*f + 35 for f.
5
Let i = -17 - -18. Suppose -a = -1 - i. Let f be 0 - (-36)/a - 3. Solve k - 4*k = f for k.
-5
Suppose 5*c + 8 = -4*m - 4, -m = -2*c - 10. Let k be (1 + -1)/(c - -7). Solve k*b + 4 = -b for b.
-4
Let r be ((-10)/8)/((-1)/4). Let a = -2834 + 2834. Solve a = r*c - 27 + 2 for c.
5
Let g(s) = s**3 + 4*s**2 - 26*s + 6. Let o be g(-7). Solve o = 2*u + 45 for u.
-2
Let x = -15 - -9. Let j = 3 - 13. Let y = x - j. Solve y*r = 2*r for r.
0
Suppose d = j, 5*j + 0*j - 4 = 3*d. Suppose -5*l = 4*w - 72, -j*l + 30 = w - 0*w. Suppose 0*s + 6 = 3*i - 3*s, s = -5*i + l. Solve 0*u + i = u for u.
3
Let c = 390 + -383. Solve c*j + 5 - 12 = 0 for j.
1
Let a(d) = -9*d. Let o be a(-5). Solve -40*z = -o*z + 5 for z.
1
Suppose -6*w = 335 - 335. Solve -r - 1 = -w for r.
-1
Let d(o) = o**3 + 4*o**2 - o - 2. Let c be d(-4). Suppose -u = 4, r - 5*u - 26 = -c*r. Suppose n = -5*p - r - 14, -2*n - p = -4. Solve -n*t = t for t.
0
Let d(a) = a**3 + 6 - 1 + 28*a**2 - 11*a**2 + 11*a - 10*a**2. Let x be d(-5). Solve 0 = -s - x*s for s.
0
Let g(j) = -j**2 - 7*j + 10. Let u be g(-7). Suppose -3*w + 2*k - 30 = -k, -w = -5*k + u. Let d = w - -10. Solve 3*y - 7*y = d for y.
0
Let q be 16 + -14 - 1/(-1). Suppose -4*b + 20 = 0, 0 = 5*g - 6*b + q*b. Solve z = -1 - g for z.
-4
Let n(f) = 2*f + 16. Let t(s) = s**3 - 4*s**2 - 2*s + 1. Suppose 4*c - 4 = 12. Let h be t(c). Let o be n(h). Solve j = -j + o for j.
1
Let v be 3/(-2) + (-21)/(-14). Suppose v = -2*k + m + 4018, 2*m + 0*m + 2015 = k. Let x be (-4)/(-18) - k/(-81). Solve -4*z = z - x for z.
5
Suppose -o = -4*q - 0 + 6, 0 = 5*o + 2*q + 30. Let x(n) = -9*n - 53. Let s be x(o). Solve 4*z + 3 = -s for z.
-1
Let l = 84 + -112. Let j = l - -41. Solve -5*o - j - 2 = 0 for o.
-3
Let u(b) = b**2 - 5*b. Let i be 3 - 1*3/3. Suppose -3*v + i - 6 = -2*o, -2*o + v + 8 = 0. Let x be u(o). Solve -3*h = -x*h + 3 for h.
-1
Let y(s) = -3*s + 7. Let j(x) = 4*x - 8. Let w(h) = -2*j(h) - 3*y(h). Suppose 41 = 4*k - 5*u - 0*u, -4*k + 32 = 4*u. Let a be w(k). Solve a*z = 2*z - 10 for z.
-5
Suppose 4*h = -4*o + 8, 3*h + 2*o - 5*o - 30 = 0. Solve 7*u = h*u - 3 for u.
-3
Let i = 38 - 35. Suppose 0 = 11*d - i*d - 48. Solve 0 = -a + d*a for a.
0
Let a = -31 - -59. Suppose -30*q + 10 = -a*q. Solve -2*p + q = 15 for p.
-5
Let g = 654 - 647. Solve -u = g*u - 24 for u.
3
Suppose 105 - 1 = 26*w. Solve -w*c = 4 + 4 for c.
-2
Let s = -49 + 87. Let z = 40 - s. Solve 0*j = -z*j for j.
0
Let o(k) = -k**3 + k**2 + 4*k - 2. Let u be o(3). Let j be (-2)/4*(-4 + u). Let b = -2 + j. Solve 