f be z(c). Solve 2*u = 2 + f for u.
4
Suppose -7 = m - 5*w, 6*m - 2*m - 5*w = 2. Let p be 2 + 3/1 + -1. Suppose -5*a = -m*a - p. Solve a*u + u = 0 for u.
0
Suppose 4*r - 2*r = 0. Suppose 5*j = 5*i + 35, -13 = -j - 15*i + 19*i. Solve -c = -r*c + j for c.
-5
Let i(k) = k + 9. Let z be i(-9). Suppose -3*a - 1 = -4*b, 5*b + a = -0*a + 25. Solve 0*f - 2*f + b = z for f.
2
Let q be 15*1/(-3)*-1. Solve 0 = -o + q - 2 for o.
3
Suppose -2*c = 4, 5*x + 6*c - 98 = 5*c. Solve x = -v - 3*v for v.
-5
Suppose 1 + 23 = 2*u. Solve 5*t + u = 8*t for t.
4
Let z(a) = -a**2 - 4*a - 4. Let j(d) = -1. Let h(p) = -3*j(p) - z(p). Let i be h(-5). Solve 0 = v + 2*v + i for v.
-4
Let z be ((-1)/(-2))/(1/8). Suppose 2*d - 18 - 2 = -4*p, -2*p - 10 = -4*d. Suppose -z*o + 32 = d*v, 3*v - v = 2*o - 24. Solve -2*k = 4 - o for k.
3
Suppose -5*x - b + 39 = 0, -x + 8 = 3*x - 5*b. Suppose 3*l - 2*l - x = -3*c, 5*c = 3*l + 21. Solve -3*y + 0*y = c for y.
-1
Suppose 4*z + 15 = 7*z. Let y = z - 5. Solve -j + y - 3 = 0 for j.
-3
Suppose 0 = 5*x - 3*u - 12, 3*x + 5*u = x - 20. Solve -9*z + 6*z = x for z.
0
Suppose -z = -3*z + 4*w - 2, -3*w + 9 = 0. Suppose 2*c - 5*c = 0, -c = -5*s - z. Let j(p) = -8*p**3 - p - 1. Let r be j(s). Solve -5*k - 28 = -r for k.
-4
Let a(w) = -w + 3. Suppose 1 = -4*b + 17. Suppose -b*r = r. Let f be a(r). Solve -f*n - 6 - 3 = 0 for n.
-3
Suppose 0 = -2*g - 4 + 10. Suppose -2*c = d + 3*c + 8, 2*d - g*c = 10. Solve -4*y - 18 = -d for y.
-4
Let u = 1 - -1. Let i be (-6)/(-2)*2/u. Suppose -z + 1 - 14 = -5*k, 0 = -i*k + 4*z + 18. Solve 0 = k*w - 4*w + 8 for w.
4
Let z = 24 + -22. Solve 1 - 9 = -z*k for k.
4
Let z be 2*(0 + 8*2). Suppose 3*f = 3*q + 4*f - z, -4*f = 3*q - 47. Let g be (3 - 1 - 0) + 1. Solve 6*c + q = g*c for c.
-3
Suppose -6 + 16 = -2*d. Let f(z) = -z**2 - 6*z + 1. Let c be f(d). Solve -2*q - c = -0 for q.
-3
Suppose 43 - 1 = 7*n. Solve 0 = 4*y - n - 6 for y.
3
Suppose 5*z = 5 + 50. Let c be 2*(-2)/((-8)/(-62)). Let f = c - -57. Solve z = -3*w + f for w.
5
Let u be 5 - (0 + 3 - 0). Solve -u*p = -1 + 9 for p.
-4
Let o be (-9 - -17)/(1/(-2)). Let x = o + 18. Solve -2 = -0*b - x*b for b.
1
Let p = 4 - 8. Suppose -5*d + 17 = -r, -2*r + 5*r - 5*d + 61 = 0. Let k be (2 + r)*2/p. Solve -m - m = k for m.
-5
Suppose n - 10 = -8. Solve 0 = -n*t - 2*t - 8 for t.
-2
Let n be (1 - 1)*1/(-3). Solve 2*i - 10 = -n for i.
5
Suppose 2*q = -3*x + 8*x - 12, 0 = 4*x - 5*q - 13. Suppose -x*u = 3*u - 15. Solve -u*a = -a for a.
0
Let g = 21 - 14. Let n = g + -2. Solve 2*j - n*j + 9 = 0 for j.
3
Let c = -10 + 14. Suppose 2*k - 2*a - 8 = 0, -1 = 3*k + a - 5. Solve 0 = -k*u + c*u for u.
0
Suppose -12 = -5*x + 8. Solve -8 - 8 = x*r for r.
-4
Let s = 37 - 35. Solve -4 = -s*q - 10 for q.
-3
Let m = 160 - 154. Solve 11*i + 25 = m*i for i.
-5
Let s be 2/13 + (-462)/(-39). Suppose -c - 19 = -5*l, 0 = -2*l - 2*l + 5*c + 11. Solve s = -l*j + j for j.
-4
Let f(z) = -z**2 + 9*z - 9. Let u be f(8). Let r be u/((-9)/6 + 1). Solve 2*x - r = -0 for x.
1
Let u = 12 - 6. Let k = u - 5. Solve -n - 1 = k for n.
-2
Let x(q) = q**3 - 17*q**2 + 2*q - 23. Let p be x(17). Solve p*u + 9 = 8*u for u.
-3
Suppose 0 - 8 = -4*o. Let y = o - 5. Let h be 1 + (-1 - y)/2. Solve -h*b + b - 4 = 0 for b.
-4
Suppose v = -2 + 3. Let n = -8 - -8. Solve x - v = -n for x.
1
Let w be 10/(-2 + 0) - 1. Let v = 10 + w. Let u(n) = n - 2. Let c be u(v). Solve c*x + 2 = -4 for x.
-3
Let w be -1*(-2 - -2)*-1. Suppose 4*y + 1 - 9 = 0, w = -4*d + y + 30. Solve 3*l = d*l - 20 for l.
4
Let g(q) = -5*q - 11. Let y(s) = -2*s - 4. Let r(m) = 4*g(m) - 11*y(m). Let b be r(-1). Let h be 0*(b + (-7)/(-3)). Solve -2*v + 7*v = h for v.
0
Suppose -6 = -2*o - 4*x, 0*x + 2*x = -2*o. Let d be o/((-1 - 0) + 0). Solve d*f + 16 = 7*f for f.
4
Suppose -22 = -2*f - 2. Solve -7*q = -f*q for q.
0
Let o(s) = -2*s - 9. Let r be (-92)/5 - (-6)/15. Let x = 12 + r. Let t be o(x). Solve 2*l = 9 - t for l.
3
Let n(w) be the first derivative of -2*w**3 + 3*w**2 - 2*w + 2 + 1/4*w**4. Let z be n(5). Solve -z*b - 2*b = 20 for b.
-4
Suppose 2*o = 6 - 0. Suppose -4*l - 3*t + 5 = -0*l, -o*t - 7 = -2*l. Solve l = 3*b + 8 for b.
-2
Let h = 42 - 29. Suppose -b + 10 = b. Suppose 6 = -v + 3*v, -t + b*v - h = 0. Solve -t*m - 2*m - 16 = 0 for m.
-4
Suppose 7*a = -2*a + 27. Solve -a*y + y = 0 for y.
0
Suppose 5*z = a + 3, 0 = 2*z - 0*z. Let l be a*3/9*-6. Solve 8 = 2*p - l*p for p.
-2
Suppose -20 = -2*c + 2*o, -5*o = -o + 16. Let k(y) = y - 4. Let g be k(c). Suppose 0 = g*i - 0*i - v - 3, 0 = -3*i - v + 17. Solve m = 3*m + i for m.
-2
Let r be ((-2)/1 - -4) + 26. Suppose m - 2*c = 16, -3*m - 2*c + 3*c + r = 0. Let b be (-4)/m + 31/2. Solve -3*j = -0 - b for j.
5
Let f(k) = k - 4. Let g be f(3). Let n be (-6)/(-3 + (-3 - -7)). Let i = g - n. Solve -i*p = -p + 20 for p.
-5
Let k(n) = n**2 + 11*n + 13. Let q be k(-10). Solve -20 = 2*y + q*y for y.
-4
Suppose -2*g + g + 9 = 0. Let o be 51/g + 2/6. Solve -o*j = -j for j.
0
Let c(u) = 5*u + 17. Let f be c(-3). Solve 6 = 4*q + f for q.
1
Suppose 2*m + 2*m - 32 = 0. Solve -12 = 5*t + m for t.
-4
Let n = 1 - 3. Let u be (50/n)/(4/(-8)). Suppose -m - u = -6*m. Solve 10 + m = -5*r for r.
-4
Let f(o) = o. Let q be f(3). Suppose 3*d = -5*u + 37, -q*d = d + 3*u - 31. Let a(r) = r - 2. Let s be a(d). Solve -l = -s - 0 for l.
2
Suppose -4*h + 41 = -39. Suppose 3*w + h = 7*w. Solve 5*j - 4*j = -w for j.
-5
Let g be 3*-1*(9 + -4). Let y = g - -22. Let m be (y/3 - 3)*-12. Solve 3*z = m*z - 5 for z.
1
Let b(z) = -z + 1. Suppose -2*c + 4*o + 12 = 3*c, 8 = c + 2*o. Suppose 0 = c*v + 3 + 1. Let k be b(v). Solve k*n - 2 = -0 for n.
1
Let h be (12/15)/((-2)/(-5)). Suppose -116 = -4*s + 4*w, -37 = -s + 3*w + h. Let c be 1*2/(-2)*-1. Solve -c = 5*u + s for u.
-5
Let c(p) = p**2 + 3*p + 4. Let g be c(-3). Suppose 5*x - 4*x - 12 = 0. Solve -x = -g*l - 0*l for l.
3
Let u be (0 + -1 + 2)*6. Solve u = -0*h - 3*h for h.
-2
Suppose 2 = p - 2*t, -p + 0 = -3*t - 2. Solve p*s = 6*s - 12 for s.
3
Let f(i) = 3*i**2 + i - 3*i**2 + 2*i**2 - 3*i**2. Let u be f(2). Let g be u*9/(-6)*1. Solve -g = 2*c - c for c.
-3
Let c = 4 + -4. Suppose 2 = k - c*k. Suppose r - 1 - k = 0. Solve 0 + 12 = -r*y for y.
-4
Let y be 8/6*(-5 + 8). Solve -5 - y = 3*o for o.
-3
Suppose -5*p + 5*z = -45, 2*p - 5*z = -0 + 27. Solve k + 2*k + p = 0 for k.
-2
Suppose 0 = -5*z + 7 + 23. Solve 2*i - z - 2 = 0 for i.
4
Let j be 2/2*1*4. Let f be (2 - 1)/(2/j). Solve 0 = -f*w + w for w.
0
Suppose 0*h = -2*h. Let v(o) = -o**3 - o**2 + o + 3. Let f be v(h). Suppose -20 = -3*m - 2*m. Solve m*w - 1 = f for w.
1
Let t = 13 - 16. Let p = t + 5. Solve -2*b = -4 + p for b.
1
Let m be (13 - -3) + (2 - 1). Suppose -7 = 2*t - m. Suppose -t*p + 61 = 1. Solve -r = 2*r + p for r.
-4
Let o = 4 + -2. Solve 0 = -0*w + w - o for w.
2
Suppose -4*b = -9*b + 50. Solve -u + 3*u = b for u.
5
Let x be -1 + 5 + 0 + -3. Let h(q) = 6*q**3 + q**2 - q + 1. Let j be h(x). Let s = 3 + -1. Solve -j*d = -s*d + 25 for d.
-5
Let c(f) = -3*f - 1. Suppose 2 = 3*v + 8. Let y be c(v). Solve y*z + 3 = -7 for z.
-2
Let n be -1 - (3 - 6) - -2. Solve 7 = -n*g - 13 for g.
-5
Let k = -6 - -14. Solve -4*l + k = -12 for l.
5
Let i = 18 + 4. Suppose 5*n - 17 - 3 = 0. Let g = -3 + 9. Solve -n*y + g = i for y.
-4
Let h(y) = 5*y + 1 - 7*y - 4 + 3*y. Let p be h(3). Solve -a + 2*a = p for a.
0
Let b be (-12)/18 - (-34)/6. Suppose 2 - b = -3*u. Solve u = x - 4 for x.
5
Let q(t) be the first derivative of -t**4/4 + 10*t**3/3 - 5*t**2 + 3*t + 3. Let w be q(9). Let c = 11 + w. Solve c*n + 1 = 6 for n.
1
Let t = 53 + -37. Let y be -2 - (4*-1)/2. Solve y*d - t = -4*d for d.
4
Let w be 1/(2 - 0 - 1). Solve -5*k = -6*k - w for k.
-1
Let w be 4/14 + 32/(-14). Let q(j) = -2*j**2 + 4*j + 3. Let b(s) = -s**2 + 4*s + 3. Let v(g) = 4*b(g) - 3*q(g). Let f be v(w). Solve -f*k - k = -12 for k.
3
Let t = 12 - 20. Let z = t + 8. Solve 1 = -z*u + u for u.
1
Let v be ((-3)/(-18))/((-3)/(-18)) - -2. Solve -v = 4*x - 19 for x.
4
Let z(b) = -5*b + 10*b - 2*b - 5. Let u be z(5). Solve u + 2 = 4*m for m.
3
Let u = -5 + 7. Let n(c) = 4*c - c - 5*c + c + 9. Let x be n(6). Solve x*v - u + 11 = 0 for v.
-3
Let w = 25 - 20. Solve r = -0*r - w for r.
-5
Let y be ((-1)/(-5))/((-6)/(-60)). Solve x + x = -y for x.
-1
Let l(s) = s**2 + 10*s + 9. Let x be l(-9). Solve 5*h = -x