 Suppose -4*i = -g*i. Solve i*h = 5*h - 5 for h.
1
Suppose 0 = 4*l - 6 - 14. Suppose 0 = 5*b - 50 + l. Solve 3 = -2*x + b for x.
3
Let i(d) = -2*d - 6. Let o(a) = -6*a**3 + 2*a**2 - 2*a + 1. Let q be o(1). Let u be i(q). Suppose -3*r + u = -r. Solve t = r*t + 4 for t.
-4
Let z = 13 + -12. Let w = 2 + -2. Solve c + w = -z for c.
-1
Let n(a) = 4*a**2 - 15*a + 1. Let w(l) = -l**2 + 5*l. Let x(s) = -2*n(s) - 7*w(s). Let q be x(-4). Solve 3*r = q*r + 2 for r.
2
Let h(k) = -k**3 - 10*k**2 + 5*k - 1. Let l(t) = -t**3 - 10*t**2 + 6*t. Let o(s) = -6*h(s) + 5*l(s). Let r be o(-10). Solve r = -z + 1 for z.
-5
Let q be 8/6 + 4/6. Solve q*g = -0*g - 10 for g.
-5
Let i be (-4)/(-12) + (-88)/(-6). Suppose -4*t + 25 = 5*h, 0*t - 15 = -3*h - t. Solve 0*u = -h*u - i for u.
-3
Suppose 3*a + a - 2*w - 86 = 0, -4*a - 4*w + 56 = 0. Suppose -5*f - r = -15, f - 3*r = -0*r + a. Solve 0 = 3*b - f*b - 3 for b.
-3
Let i be 3 - -6*(-2)/(-4). Suppose -3*a - 6 = -4*b - 5*a, a + 11 = 5*b. Solve -i*h - 16 = -b*h for h.
-4
Let f be (-1 - 0)/((-4)/16). Suppose f*m - 7 = 5. Solve m = -g - 1 for g.
-4
Let o be ((-36)/45)/(4/10). Let v be (o - 36/2)/(-1). Let c = -1 + 1. Solve 5*s - 5 - v = c for s.
5
Suppose -5*r - 10 = 0, 5*t = -0*r + 4*r + 8. Solve t*u + 2 = -u for u.
-2
Let g = 6 - 3. Solve 9 = g*i - 0 for i.
3
Let b(m) = -m**3 + 4*m**2 + 6*m - 3. Let x be b(5). Let h = x + 2. Solve -3*k + h*k - 2 = 0 for k.
2
Let g = -6 + 8. Solve 4*v + g = -2 for v.
-1
Let k(i) = -5*i**2 - 10 + 5 + 4*i**3 - 3*i**3 + 6*i. Let n be k(4). Solve 0 + 3 = n*d for d.
1
Let y(t) = -2*t + 25. Let f be y(11). Solve -f*h = -h - 2 for h.
1
Let y be 286/10 - 18/(-45). Suppose -y = -5*n + a, 3*n + 2*n + 4*a = 9. Solve -n + 0 = t for t.
-5
Let d(g) = 14*g**3 - g**2. Let c be d(1). Suppose 4*t - 5*r = -0*t - c, t + 2*r = 13. Solve -4*f = -t*f for f.
0
Let b(t) be the third derivative of t**5/60 + t**4/3 + t**3/3 - 3*t**2. Let z be b(-8). Solve -x + 1 = -z for x.
3
Let c be (-1)/(-4) + (-31)/(-4). Suppose 2*j + 5 + 1 = 0, -5*j = 5*d - 10. Suppose -6*p + p = 4*m - 21, -p + d*m = -10. Solve p*b - c = -33 for b.
-5
Let z = -16 - -26. Let m = -6 + z. Let f be (7 - m)/(3/4). Solve -f*v = v - 5 for v.
1
Let o(q) = -8*q. Let n be o(-1). Let p(x) = -x**2 + 8*x + 1. Let r be p(n). Solve r - 7 = 3*h for h.
-2
Let f be 16/(-6)*(-9)/6. Suppose -4*g - o + f*o = -17, -4*g - 4*o = 4. Solve 4 = -3*u - g for u.
-2
Suppose -3*z + 13 = 3*h - z, h - z = 6. Let u(n) = -2 + 0*n - 4*n + 2*n**2 - 2*n**2 + n**2. Let t be u(h). Solve r + t = 8 for r.
5
Let d be 2*2*(-55)/(-44). Suppose d*u - 2 = 18. Solve 0 = -2*c + u*c for c.
0
Let r(u) = u - 2. Let a(p) = p**2 - 10*p + 9. Let o be a(9). Suppose 3*f - 5*g - 2 = 1, o = -3*f - 5*g + 33. Let v be r(f). Solve -b = v*b for b.
0
Let z(p) = p**2 - 5*p - 6. Suppose -4*c + 24 = -5*a, c + 4*a - 6 = a. Let f be z(c). Let v(t) = -2*t + 7. Let u be v(3). Solve u = -o - f for o.
-1
Let f(i) = -i**3 - 7*i**2 - 4*i - 3. Let r be f(-6). Let n be r/(-4) + 1/4. Solve 10 + 2 = n*z for z.
3
Let u be (-14)/(-42) + -3*(-4)/18. Solve -3*n = -2*n + u for n.
-1
Let m = 223 - 217. Solve m = -3*b - 9 for b.
-5
Suppose -2*h + 20 = 4*v, 3*v + 0*v + 4*h - 5 = 0. Let g = 10 - v. Solve 0 = -3*y + 3 + g for y.
2
Let q be (2 + -2)/(-10 - -12). Solve 4*i + 0*i + 8 = q for i.
-2
Let t(k) = 2*k - 28. Let m be t(18). Suppose -o = -2*i + 1, -4*i = -3*o - 0*i + 3. Solve -m = -s + o*s for s.
-2
Let m be (-3)/2*50/(-15). Solve 2*y = m*y - 3 for y.
1
Let f(u) = -2*u**3 + 2*u + 1. Let t be f(-1). Suppose -4 = -a - t. Let x be 3 - a/9*0. Solve -x*q = -q for q.
0
Let n = 4 + -4. Solve n*c - c = -2 for c.
2
Let p = -6 - -9. Suppose -c = p*c - 16. Solve -5 = -3*l + c for l.
3
Let o be 1 - -20 - 0/(-1). Suppose -20 = 2*d - 6*d. Solve -o + 6 = -d*c for c.
3
Let v be -1 - -5*(-2 - -3). Suppose -2*y - 1 = -9. Suppose 120 = 4*c - 5*n - 0, -y*c = 2*n - 92. Solve -r = v*r + c for r.
-5
Let p = 5 + -1. Suppose -p*d = -0*d. Let x = 16 - 6. Solve d = -9*t + 4*t + x for t.
2
Let m = -17 - -9. Let f = -5 - m. Suppose 2*j - k = 1, -k - 2 = -f*j - 1. Solve -2*y + 10 = -j*y for y.
5
Let i(s) = -6*s**3 - 45*s**2 + 34*s - 61. Let b(l) = l**3 + 9*l**2 - 7*l + 12. Let f(c) = 11*b(c) + 2*i(c). Let r be f(8). Solve -r*p = -0*p - 6 for p.
3
Suppose -5*p + 32 + 48 = 0. Let c = -12 + p. Solve -2*r + r = -c for r.
4
Let k(h) = 2*h**3 - 7*h**2 + 4*h. Let y be k(3). Solve u = y*u + 8 for u.
-4
Suppose 4*r = -q - 4*q + 32, -16 = -4*r - q. Solve p + 16 = -r*p for p.
-4
Let j(s) = s**2 + 5*s - 4. Let v be j(3). Suppose -2*r + 12 = -0. Let p = r + -2. Solve v = -p*g - g for g.
-4
Let o(w) = w**3 - 7*w**2 + w - 3. Let l = -8 - -15. Let q be o(l). Solve x + 12 = q*x for x.
4
Let u(c) be the third derivative of 4/3*c**3 + 0 + 3*c**2 + 0*c + 1/24*c**4. Let i be u(-6). Solve -o + 5 = i for o.
3
Let o(a) = -a + 9. Let q be o(5). Solve -q*t = -0*t + 12 for t.
-3
Let a = -2 + 6. Let m(j) = 4 - 5 + j + a + 5. Let f be m(-8). Solve n + n = f for n.
0
Let q be (-1)/(5/30*-3). Solve 12 = o + q*o for o.
4
Let w(z) = 4*z - 16. Let q(r) = -3*r + 15. Let a(j) = 3*q(j) + 2*w(j). Let f be a(11). Solve -3*t = -1 - f for t.
1
Let m(s) = 2*s - 33. Let o be m(17). Solve 3*w - 4 = -o for w.
1
Let k be 8/(-8) + (1 - -2). Suppose -k*a + 60 = 4*n, -60 = -n - 3*n + 2*a. Solve 7*j - 4*j = n for j.
5
Let p(v) = -5*v**2 - 8*v + 6. Let d(k) = 11*k**2 + 17*k - 13. Let x(f) = 4*d(f) + 9*p(f). Let q be 6/(-5)*30/9. Let z be x(q). Solve z*c = c - 2 for c.
-2
Suppose 0 = -169*q + 165*q + 16. Solve 0 = -q*c - 0*c + 20 for c.
5
Suppose 0 = 4*t - 12 - 4. Solve 0 = 4*a + t + 4 for a.
-2
Let q be (-2)/4 - 1/(-2). Solve j - 2*j = q for j.
0
Suppose t - 7 = 8. Let v = -9 + t. Suppose 5*q - 139 + 14 = 0. Solve -p + q = -v*p for p.
-5
Let h(u) = 2*u - 4. Let o be h(6). Let k(v) = -2*v - 11*v**2 + 3*v**2 - v**3 - 2 - 5*v + 4. Let c be k(-7). Solve o = -4*i + c*i for i.
-4
Let u(i) = -i**2 - 4*i + 0*i**2 + 2 + 3*i**2 + i**2. Let t be u(2). Let a be 1*-3*(-7 + t). Solve 3 - 6 = -a*x for x.
1
Suppose 4*j + 30 = 9*j. Let z(l) = -8*l**2 + 3*l + 5. Let p(b) = -7*b**2 + 2*b + 4. Let g(s) = -4*p(s) + 3*z(s). Let h be g(1). Solve -h*y = -j - 14 for y.
5
Suppose -14 = -5*a + 6. Let t = 14 - -1. Let x be -1*(-2 + 1)*t. Solve -a*j = 7 - x for j.
2
Suppose 0 = 4*z - 6 - 2, 5*h = 4*z - 8. Suppose -2*p + 6 = -h*p - 4*u, -2*p + 5 = -5*u. Solve -9 = p*t + 16 for t.
-5
Let d(r) = -r**2 + 10*r - 18. Let m be d(6). Solve -m + 2 = f for f.
-4
Let p(s) = -s + 7. Let l be p(-5). Suppose -2*j = 2*j - l. Solve -8 = -j*i - i for i.
2
Let h(x) = x**2 + 37*x + 143. Let k be h(-33). Suppose 3*a = -2*s + a, -5*a = 4*s + 1. Suppose -3*m - 13 - 1 = -q, 5*m = 3*q - 26. Solve 0 = q*u - k + s for u.
5
Let l = 4 + 1. Suppose -8*k + l*k - 3 = 0. Let i be 0 + -3 - (-2 + k). Solve -5*n = -i*n for n.
0
Let h = -56 + 60. Solve -16 = 8*q - h*q for q.
-4
Suppose d + 0*d + 3 = 4*k, -5*d + 25 = 0. Suppose -4*x = 3*j - 21 + 1, -x + 5*j = 18. Let a be x + 1*12/2. Solve -4*t = -k*t - a for t.
4
Let s be (1 - 0)/((-5)/50). Let i(o) = -o**3 - 11*o**2 - 10*o + 3. Let w be i(s). Suppose -w = -0*k - k. Solve -k*j + j - 10 = 0 for j.
-5
Suppose -2*j + 14 = -3*l + 7*l, 2*l - 27 = 3*j. Suppose 4*d - 13 = g, -3*d + 3*g = -5*d - 11. Suppose d*m - l = -0. Solve -c + m*c = 6 for c.
3
Let n(z) = -2*z + 8. Let r be n(-6). Let i be ((-3)/(-5))/(4/r). Solve i*f = 1 - 7 for f.
-2
Let m(a) = a**3 + 5*a**2 + 2*a + 2. Let j be m(-4). Let k = 15 - j. Solve -6 = k*u - 2*u for u.
-2
Let f(x) = -x**2 + 22*x + 28. Let h be f(23). Solve 0 = -3*s + h + 7 for s.
4
Let t be 1*((-47)/(-5) + (-10)/25). Solve 5*n + 16 = -t for n.
-5
Let q = 11 + -11. Solve q*n = -n - 1 for n.
-1
Let k be ((-128)/12)/8*-3. Solve -2*w - k = 2 for w.
-3
Let q(m) = -3*m + 7. Let a be q(8). Let p = -9 - a. Solve -w + 3*w = p for w.
4
Suppose -4*z = -z - 12. Let v = 6 - z. Solve 0 = -v*m + 4*m for m.
0
Let b = 10 + -8. Let n be 4/b*-1 + 5. Solve x = -n*x for x.
0
Suppose 10 = 4*y - 10. Let x = y + -3. Solve x*z = -2*z for z.
0
Let x(g) = -2*g**3 + g**2 - g - 2. Let w be x(-1). Suppose 0 = -3*j - 2*d + d + 16, w*d = 2. Solve 0 - 10 = j*l for l.
-2
Let d be (-1*8)/4*-1. Let i be 94*(1/(-1) - -2). Suppose -i = -4*l - 14. Solve l = d*u - 6*u for u.
-5
Let u be 1/2 + (-93)/2. Let t be u/(-12) + (-11)/(-66).