4
Let o(d) = -7*d + 0*d**2 + 2*d + 0*d + d**2. Let z be o(5). Let j be (z*2/(-2))/(-1). Solve -2*g - 2*g = j for g.
0
Suppose 5*x = -i - 0*i + 27, 2*i - 15 = 3*x. Solve 13 = -5*s - i for s.
-5
Let h be 0 + (-1 - (-1 - 20)). Let n = -28 + 39. Let y = n + -5. Solve -y*i + i - h = 0 for i.
-4
Suppose 0 = -4*z - z + 10. Solve z*p + 8 = -2*p for p.
-2
Let s = -2 - -7. Suppose s*p - 125 = -0*p. Suppose -4*h = 9 - p. Solve h*a + 2 = -2 for a.
-1
Let s be (1 + 3)*(-5)/(-2). Let x = s - 7. Suppose 0 = -y - 0 + 9. Solve -x*c = -0*c + y for c.
-3
Let t(i) = -i + 1. Let f be t(1). Let s be ((f/(-3))/3)/(-2). Solve -2*j + s*j + 10 = 0 for j.
5
Let h be (0 + 2)/1 + 2. Solve -h - 2 = 3*r for r.
-2
Suppose 0 = -3*z + 2*k + 6, 3*z + 35 = 8*z + 5*k. Solve -z = -p - 1 for p.
3
Let h be ((-4)/(2 - 0))/2. Let u be 2*h/2 - -3. Let n = 6 + -2. Solve -2 = n*c - u*c for c.
-1
Suppose -4*m = -2*x - 26, 3*m + 2*m - 31 = x. Suppose -2*d - 5 = 1. Let c(s) = -s**2 - 2*s + 3. Let a be c(d). Solve a = -w + m*w + 10 for w.
-2
Let s = 2 - 5. Suppose 0 + 20 = 2*o - 4*i, 0 = 4*o - 3*i - 35. Let d = s + o. Solve -v = -0*v + d for v.
-5
Let c be (-6)/(-3)*(-70)/(-4). Let h be (-14)/c*-1*15. Let x = h + -3. Solve 0 = -x*t - 6 - 0 for t.
-2
Let p = -2 - -4. Let g(o) = o**2 - o + 2*o + 0*o - 1. Let b be g(p). Solve b*l = -2 + 22 for l.
4
Let l(v) = -8*v + 3 - 2 + 7 + v**2. Let z be l(10). Solve -z = 4*f - 8 for f.
-5
Suppose -z - 2*z + 6 = 0. Suppose 12 = 4*i + 5*j, 0 = z*j + 2*j. Solve -i = 5*d + 7 for d.
-2
Let m(t) = t + 10. Let w be m(8). Let a = w - 13. Solve 2*o + 3 + a = 0 for o.
-4
Suppose 5*g - 7 = g - 5*l, 13 = 4*g - l. Suppose 8 + 7 = g*a. Solve a = n - 0*n for n.
5
Let s(x) = 2*x**3 - 3*x**2. Let l be s(2). Suppose -16 = 4*c, -5*h - l*c = -0 - 9. Solve 0 = -5*b - 15 + h for b.
-2
Let q = -6 + 2. Let o be 1 + q + 2 - -1. Solve o*x + 2*x + 6 = 0 for x.
-3
Let u = -40 + 48. Solve a - 5*a = -u for a.
2
Let u(m) = -m**2 + 11*m - 11. Let w be u(10). Let o = w - -4. Solve o*r = r for r.
0
Suppose -3*l = -0*l + 15. Let t = l + -2. Let p = t + 12. Solve 3*n = p - 20 for n.
-5
Let z = -15 + 21. Let t(g) = -g**3 + 5*g**2 + 6*g + 2. Let c be t(z). Solve 2 + 2 = -c*j for j.
-2
Let f(b) = 2*b**3 + 17*b**2 - 9*b. Let x be f(-9). Solve 3*c + 3 = -x for c.
-1
Let r be 12/54 + 4/(-18). Solve r = -f - 4*f - 15 for f.
-3
Let b be 3/6 - 6/(-4). Suppose 5*w = -5*a + b*a - 12, 2*a + 8 = -2*w. Solve w = -5*y + 7 + 18 for y.
5
Suppose -5*j + 145 = -5*w, -85 = -5*j + 3*w + 52. Solve -2*a - 3*a - j = 0 for a.
-5
Let x = -141 - -152. Solve 2 = 3*o + x for o.
-3
Let t be (1 - 1) + (-3 - 0). Let j = 7 + t. Suppose 0 = -g + 2*c - 3 - 0, j*g = 4*c + 4. Solve -4*v = -17 + g for v.
3
Suppose 6*u = u + 3*f + 72, 4*f = u - 11. Solve -2*i = i - u for i.
5
Let r(a) = 3*a + 11. Let t(b) = -2*b - 6. Let z(g) = -3*r(g) - 5*t(g). Let i be z(5). Solve -4 = -3*m + i for m.
2
Let j(o) = -o**2 - 15*o - 16. Let i be j(-13). Solve -i = -5*u + 15 for u.
5
Let t(d) = 5*d + 3 - 4*d + d**2 - 3*d. Let y be t(2). Let x be 9/5 - (-48)/(-60). Solve y + x = u for u.
4
Suppose 10 = -5*l + 5*x, l - 2*x - x = -10. Let z(p) = 5*p**3 + 2 + 0*p**2 - 3*p**3 - 2*p**l. Let h be z(2). Solve d + d = h for d.
5
Let m be -3*(3 + 42/(-9)). Suppose 2*g + r = 7*g - m, -g + 5 = -r. Solve 0 = -3*p - g - 6 for p.
-2
Let v(y) = y**2 - 5. Let j(b) = -b**2 - 1. Let d(u) = -4*j(u) + v(u). Let h be d(-1). Solve 29 = -5*c + h for c.
-5
Let d = 20 - 11. Let m be 65/9 - 2/d. Let w = m - 3. Solve -f - w*f = 5 for f.
-1
Let q = 59 - 59. Solve 2*j - 2 - 2 = q for j.
2
Let h be (-1)/(3/150*-2). Solve -2*f - 3*f = -h for f.
5
Let m(i) be the third derivative of 0 + 0*i**3 + 1/60*i**5 + i**2 + 0*i + 1/12*i**4. Let l be m(-3). Solve 0 = 3*g + 3 + l for g.
-2
Suppose 4*q = -4*o - 20, -4*o - 2 = -6*o + 2*q. Let g be o/(-2) - (8 - 1). Let p be 23 - (-4 + g/(-3)). Solve t = 6*t - p for t.
5
Let y = 5 - 0. Let t(s) = -2*s**3 - 5*s**2 - s + 4. Let j be t(-3). Solve -n - j = -y*n for n.
4
Let n be 4/(-5)*5*(-2)/4. Solve n*p = -0 + 4 for p.
2
Suppose 0 = 4*f - 7 - 5. Suppose -f*x - x + 8 = 0. Suppose -g = x*g - 6. Solve d - g = -d for d.
1
Let u(m) = m**3 - m**2 + 3*m - 5. Let v be u(2). Solve -v*x + 15 = -0 for x.
3
Let b be (12/(-8))/((-6)/28). Suppose b*d + 4 = 11*d. Solve -4 = -z - d for z.
3
Let k = 28 + -57. Let q = 43 + k. Solve 4*d - 6 = q for d.
5
Suppose 6*r - 10 = r. Solve -r*p = -0 + 2 for p.
-1
Let i = 22 - 19. Solve -i*r = 2*r for r.
0
Let y(q) = -q**3 + 4*q**2 + 2*q - 8. Let b be y(4). Solve -2*r + b = -2 for r.
1
Suppose 0 = b - 3*f + 2, 4*f + 1 = 2*b + 3*b. Suppose 0 = -2*v + 4*v. Suppose v*n = -n. Solve m = b - n for m.
1
Let t(w) = -3 + w**2 + 2*w**2 + 5*w - 4*w + 0. Let l be t(3). Solve 4*s + l = 7 for s.
-5
Let s = 73 + -48. Suppose -r + s = -0*r. Solve -r = -2*z - 3*z for z.
5
Let g = 7 - 3. Suppose 5 = g*j - 3*j. Solve -3*a = -j*a - 4 for a.
-2
Let y be (0 - 20/25)/(2/(-10)). Solve h + y + 0 = 0 for h.
-4
Let k = -1 + 12. Let n be 0 + (-3 - -4) + k. Solve n = 2*m - 6*m for m.
-3
Let y(i) = 3*i - 21. Let z be y(12). Solve 2*j = -j + z for j.
5
Let b(j) = j + 1. Let s(i) = 3*i + 2. Let h(t) = 5*b(t) - 2*s(t). Let v be h(-2). Solve 5*y - v*y - 6 = 0 for y.
3
Let t(i) = i + 7. Let y be t(-8). Let q be (0/(-2 - 0))/y. Let p be 50*(-2 - q)/(-4). Solve 6*h - h = -p for h.
-5
Let x(t) = 10*t**2 + t - 1. Let i be x(1). Let c be 5/i*(-12)/(-3). Solve -2*o + c + 0 = 0 for o.
1
Let p(n) = -n**3 - n**2 + 3. Let z be p(0). Suppose 34 + 20 = -z*o. Let v be 2/(-3) - o/27. Solve v*a - a = 2 for a.
-2
Suppose 5*b - 10 - 50 = 0. Solve -c - 3*c = -b for c.
3
Let m = -7 - -9. Solve -3*w = -4*w + m for w.
2
Let f = 0 + -1. Let i be f/(1*2/(-8)). Solve 3*l - 4*l = -i for l.
4
Suppose -2*i - 10 = -7*i. Let t be -1*(-1 + i)*-18. Solve -7 = 5*w + t for w.
-5
Let a = 2 + 0. Solve 3 = q - a for q.
5
Let h = 6 - 4. Let t = 0 + h. Suppose -6 = -t*l + 10. Solve l*f = 4*f - 8 for f.
-2
Suppose 5*z + 3*b = -12, 3*z - 3*b = -0*z + 12. Solve z*g - 4 = 2*g for g.
-2
Let a(b) = 2*b**2 - 4*b + 2. Let r be a(2). Solve -r*s - 4 - 2 = 0 for s.
-3
Suppose 4*p = z - 0*z - 16, -2*z - 5*p - 20 = 0. Solve z = -q - 5 - 0 for q.
-5
Let a = -36 + 36. Solve a*f + 2*f = -8 for f.
-4
Let s be (-3 + -2 + -1)*-2. Suppose -s = -4*w + 20. Solve 0 = -2*l + w - 0 for l.
4
Suppose -4*x = -4*f - 0*f - 8, -3*x - 2*f + 21 = 0. Let z be 10/(-4)*(1 - 11). Solve x*p + z = -0 for p.
-5
Suppose 4 = 22*r - 21*r. Solve -7*k = -r*k + 15 for k.
-5
Let w(d) = -5*d + 43. Let h be w(8). Solve -6 = h*y - 3 for y.
-1
Suppose -21 = -3*o - 5*j + j, -2*j + 6 = 0. Let r(f) = -f**3 + 13*f**2 + f - 7. Let g be r(13). Solve -o*y + 3 = -g for y.
3
Let x(k) = k**2 + 3*k + 3. Let w be x(-2). Suppose 0 = -4*i + 3 + w. Suppose 0 = 3*z - 2 - 4. Solve 3*f - i = z for f.
1
Let t be (-4)/(-3) + (-527)/(-93). Solve 6 - t = v for v.
-1
Let q be (-28)/(-6) + (-4)/6. Suppose -3*b - 4*u + 6*u = 4, q*u = -4*b + 28. Solve -4*x = -b*x + 4 for x.
-2
Let x = 18 + 0. Solve -8 = 5*f - x for f.
2
Let v be (3/(-3))/(1 + -2). Let m be (v - (-2)/(-4))*0. Let o = 3 - m. Solve -o*u + 3 = -3 for u.
2
Let q = -5 + 21. Suppose 4*v = 2*v + q. Solve v = -u + 3 for u.
-5
Let f = -1 - -3. Suppose 0 = f*k - k - 2. Suppose -k*o + 6*o = 0. Solve o*y + y = -2 for y.
-2
Let p(g) = -g + 2. Let l be p(2). Suppose -32 = -4*u - 5*c, -5*u + 3*c + 2 + 1 = l. Solve -u*d + 0 = -6 for d.
2
Let r = 6 - 3. Suppose r*w = -0 + 9. Suppose -2*g = -w*g + 1. Solve g = -p + 2 for p.
1
Let a be (9/(-6))/((-6)/16). Let l be a + 0 + (-1 - 0). Let i(n) = 2*n - 6. Let s be i(5). Solve r - l = s*r for r.
-1
Let s be (15/20)/((-2)/8). Let b = 7 + s. Solve b - 9 = r for r.
-5
Let w(z) = -z**3 + 23. Let s be w(0). Let u = -11 + s. Solve 4*t = -u - 0 for t.
-3
Let g(u) = u**2 + u - 2. Let h be g(-2). Let t(v) = -v**2 + 5*v - 8. Let f be t(2). Let q be h + f/(-2) + -1. Solve o = -q - 3 for o.
-3
Suppose 0 = -3*x + 8 + 1. Let m be 1/(-2) - (-14)/4. Suppose 0 = -3*k + m*t + 15, t + 0 = -4*k + 5. Solve -k*p - x*p = 0 for p.
0
Let w be 224/6*(-9)/6. Let s be 21/(-35) - w/10. Solve -s*f - 4 + 19 = 0 for f.
3
Let r = 34 - 22. Let v = 18 - r. Solve w - v*w = 5 for w.
-1
Suppose -3*v = -4*v. Suppose v = 5*k - 9*k + 12. Solve k - 6 = -x for x.
3
Let i(o) = o + 2. Let k be i(-7). Let a = -4 - k. Sol