4 = r*j for j.
-4
Suppose -10 = -g - 5. Suppose g*n + 3 = 6*n. Let p(z) = -z + 1. Let u be p(-3). Solve u*i + 1 = n*i for i.
-1
Let z be -1*16*(1 + -2). Let m be (1 + 1 + 5)*1. Suppose 0 = g - 3*q - 9, -q = -5*g - 0*q + 17. Solve -m*w + g*w - z = 0 for w.
-4
Suppose 4*q - q = 6. Suppose -2 = -4*v - q*b + 4*b, 2*v + 3 = 5*b. Solve -3*f + 2*f + v = 0 for f.
1
Let o be (56/35)/((-2)/(-10)). Suppose -o*q + 4 = -6*q. Solve 0 = -4*z + q*z for z.
0
Suppose z = 6*z. Solve 0 = -z*o - 3*o + 15 for o.
5
Let a = 71 + -59. Solve -a = 2*w - 2 for w.
-5
Let r(q) = q**2 - q + 4. Let u be r(0). Suppose 4*a = 3*j + u - 14, 0 = j - 3*a - 5. Let k(n) = 2*n + 1. Let m be k(2). Solve -j*i + 9 = -m*i for i.
-3
Suppose 19 = 5*m - 1. Solve m*v - 12 = v for v.
4
Let l(w) = -w. Suppose 7*g = 2*g - 85. Let j = 10 + g. Let d be l(j). Solve -4*f = -d*f - 6 for f.
-2
Let r = 1 + 3. Let b = 6 - r. Let v be -12*b*2/(-8). Solve v*j = j + 5 for j.
1
Let d(m) be the second derivative of m**4/12 + 3*m**3/2 + 6*m**2 - 3*m. Let u be d(-8). Solve u*z = -0*z for z.
0
Let k be (3/(-3) + 0)*-3. Suppose 4*z - k*z = 0. Let w be (4 - 0) + (-1 - z). Solve -3*i + w + 0 = 0 for i.
1
Let m(y) = y**3 - 3*y**2 - 2*y. Let r be m(4). Suppose 0 = -2*b + 4*b - r. Suppose 0*f - b*f = 0. Solve f = -4*l + 2 - 6 for l.
-1
Suppose 0 = 4*g + g + 10. Let h(q) = -q**3 + q**2. Let i(n) = n**3 - 2*n**2 - n - 1. Let s(k) = 4*h(k) + 3*i(k). Let w be s(g). Solve o = -w*o for o.
0
Suppose 8 = 4*p, -3*q = -8*q - 3*p + 26. Suppose q = l - 9. Solve -2*a = -l + 3 for a.
5
Let s(b) = -2*b + 5. Let o = 0 + 0. Let h be s(o). Solve -h - 5 = -2*j for j.
5
Suppose -4 = -p + 8. Suppose 11*r = p*r - 2. Solve r*v + 3 = 5*v for v.
1
Let w(g) = -g**3 + 5*g**2 + 4. Let m = -2 + 7. Let q be w(m). Solve q = 2*a - a for a.
4
Let u(i) = 4*i - 3. Let d be u(2). Suppose 12 = -b + d*b. Solve 2*g - 9 = -b for g.
3
Suppose -x = -4*t + 16, -3*x = -2*t - 2*t + 24. Solve 4*r = r + t for r.
1
Let m = -11 - -11. Suppose 4*t - 40 + 4 = m. Solve -t = 4*o - 1 for o.
-2
Suppose 3*h = -2*h. Suppose 0*f + 5*f - 20 = h. Solve 0*p - f = p for p.
-4
Let p be 18/(-4)*(-8)/6. Let y = p + -2. Suppose -6*j = -y*j. Solve 0 = 3*b - j - 3 for b.
1
Let j(r) = 2*r**2 + 20. Let m be j(0). Solve -h = -5*h - m for h.
-5
Suppose 0 = -3*g - 2*g - 10. Let h be (3 + 2 - -2) + g. Solve -b + 6*b + h = 0 for b.
-1
Let y be 1*2 + (-42)/(-14). Solve y*c - 10 = 15 for c.
5
Suppose 5*n - 2*n = 3. Suppose x = 4*d - 6, 2*x + 13 - 1 = 3*d. Let t be (0 - 2)*x/6. Solve 7 = -t*i - n for i.
-4
Let x(u) = u**3 + 10*u**2 + 10*u + 11. Let g be x(-9). Solve -g*z = 2*z for z.
0
Let i = 20 - 20. Suppose -j - 4 = -3, -18 = -4*v - 2*j. Suppose -v*f + f = -12. Solve 3 = -f*o - i for o.
-1
Suppose 0 = -5*o + 4*b + 48, -2*o + b - 5 = -23. Let g(p) = -2*p**2 - 5*p + 3. Let j be g(-4). Let d be (-2)/(-9) - (-2)/j. Solve d = -4*x - 12 - o for x.
-5
Suppose -5 = 2*v - 19. Suppose 5*x - 4*x - 7 = 0. Suppose -4*u = s - 14, 2*s - x = 5*u - 18. Solve -s*c - 1 = v for c.
-4
Suppose -12 = -6*w + 3*w. Suppose -2*v - 5 = i, i - v - 16 = w*v. Suppose -3*y + 7 = i. Solve d - 3 = -y for d.
1
Suppose 2*m = -0*m + 14. Solve 3*j - m = -22 for j.
-5
Let c = 12 + -10. Suppose -2*a + c*t + 20 = 0, -8*a + 3*a = 5*t. Solve k = -a + 1 for k.
-4
Suppose 0*n - 25 = 5*n, 5*k - 2*n = 80. Suppose -o = -3*o + k. Let g = -1 + o. Solve 9 = -g*q + 3*q for q.
-3
Let n(p) = p**3 - 4*p**2 + 2*p - 6. Let f be n(4). Let j(t) = 9*t - 3. Let i be j(2). Suppose 3*v = a + i, -2*v - a = -v - 1. Solve -f*z + 0*z = -v for z.
2
Let a(w) = -w**2 + 5*w + 5. Let m be a(5). Suppose 2*d - 2*x + 12 = 0, -d - 4*x = -3*d - 22. Let g = d - -5. Solve -m = -g*t + 11 for t.
4
Let h(x) = -5*x + 17. Let t be h(3). Solve u + 0 = t for u.
2
Let t be 1/(-2 + (-357)/(-180)). Let h be ((-12)/(-15))/((-8)/t). Let j be (h/(-3))/(4/(-10)). Solve -4*l - 1 = -j for l.
1
Let b = 1 + 4. Suppose 3*x = b*x. Solve -p - 4*p + 10 = x for p.
2
Let b = 13 + -8. Suppose -5*w + 20 - b = 0. Solve -h = w*h for h.
0
Let q(y) = -2*y + 2. Let b be q(3). Let h be 4/b - -6 - 2. Solve o = h*o for o.
0
Suppose 0 = -6*y + y - 95. Let d = y - -34. Solve 3*o - 3 = -d for o.
-4
Suppose 6*y = 3 + 57. Solve -2*l + 0*l = y for l.
-5
Suppose 2*q = 5*s - 16 - 15, q = s - 8. Suppose 0 = -s*l + 1 + 4. Solve l = 2*a - 1 for a.
1
Suppose o = 2*o. Suppose -x - 4*a - 15 = o, -3*a + 2*a - 5 = -x. Let c be 39/9 + x/(-3). Solve 0*l - c = -l for l.
4
Let r(f) = -2*f + 21. Let d be r(9). Solve -d*w = -4*w - 1 for w.
-1
Suppose 30 = 4*h - 3*g + 5*g, 0 = -2*h + 3*g + 27. Let b be (1 - 6/h)*12. Solve 0 = 3*o - b - 8 for o.
4
Let o be ((-27)/(-12))/((-6)/16). Let i be (-4)/o*(-24)/(-16). Let s(w) = 3*w**3. Let p be s(i). Solve -7 = -l - p for l.
4
Let o be 2/(-2*2/4). Let a be (-1)/4 + o/(-8). Solve -5*t - 2 + 22 = a for t.
4
Suppose -16 = -i - i. Solve -i - 4 = -4*j for j.
3
Let w be 3/(6/8) - 0. Suppose -i = -w*m + 34, m + 3*i + 0*i = 2. Solve -6*q + 2*q + m = 0 for q.
2
Let k = 14 - 7. Let x = k - 6. Suppose -3*d + 4 = -8. Solve 5*m + d = -x for m.
-1
Suppose 0 = -7*s + 11*s - 8. Let t = -5 - -8. Suppose -3*h - 115 = -5*z, -5*z + 90 = 2*h - 0*h. Solve -z = t*a + s*a for a.
-4
Suppose -5*y = -0*y - 20. Let g = -1 + y. Suppose -3 = -4*x + i + 3, -4*i + 14 = g*x. Solve x*s + 2 = 10 for s.
4
Let t = 3 - -17. Solve 3*u - t = -2*u for u.
4
Suppose -7*g = 5*g - 2*g. Solve -2*c = -g*c for c.
0
Let g(w) be the first derivative of w**3/3 - w**2 + 3*w + 3. Let c be g(2). Solve c*b = 8*b for b.
0
Let l = -7 - -7. Let b(z) = z**2 - z + 12. Let v be b(l). Solve -4*q + 7*q = v for q.
4
Let j(w) = -2*w**3 - 3*w**2 - w. Let g be j(-2). Solve -o = -g*o + 10 for o.
2
Let z(h) = h + 2. Let t be z(-3). Let n be (t + 2)*7*-1. Let b(y) = y**3 + 6*y**2 - 8*y - 5. Let a be b(n). Solve a*f - 3 = 5 for f.
4
Suppose 5*z - 39 - 16 = 0. Let w = z + -11. Solve w*v - 8 = -2*v for v.
4
Suppose -3*w + 2*v - 23 = 0, 47 = w - 6*w - v. Let b be 12/w*(1 + -4). Solve 0 = b*i - 7*i + 6 for i.
2
Suppose 2*h + 0*h = -4*r + 14, -4 = -4*r. Solve 9*m = h*m for m.
0
Let d(c) = 5*c. Let h be d(4). Suppose i - 5 = 5*q, -6*q + q - h = -2*i. Solve 2*g - 5 = -i for g.
-5
Let o(y) = -7*y + 24. Let z be o(0). Solve -5*l + 4 = z for l.
-4
Suppose -n - 5 + 14 = 0. Suppose -n - 6 = -c. Solve 5*x - c = -0*x for x.
3
Let c(i) = i**3 - 4*i**2 + 2*i - 3. Let k = 8 - 4. Let j be c(k). Solve v - j + 0 = 0 for v.
5
Suppose -5*w - 2*x + 14 = -0*x, -x - 23 = -5*w. Let s be (w/2 - -2)*1. Solve 0 = n + s*n - 25 for n.
5
Let v(k) = 2*k**2 + k + 1. Let u = -6 + 5. Let x be v(u). Solve 0*r - x*r = -2 for r.
1
Suppose 0 = -4*j + 45 + 3. Suppose 9*p = j*p - 6. Let y = 6 - 3. Solve 0 = t + y - p for t.
-1
Let z = 1 - -2. Solve -r - z*r - 20 = 0 for r.
-5
Let w = -1 - 1. Let z(n) = n**2 - 2. Let v be z(w). Solve -v*l = -4*l - 10 for l.
-5
Let k = -70 - -72. Solve -6*h + k*h = 16 for h.
-4
Let t be 1 + -1 - (4 - 25). Suppose 6 + 6 = -4*x, 0 = -4*z - x + t. Suppose 0 = -s + 14 + z. Solve -l - s = -6*l for l.
4
Let s(a) = 14*a**2 - a. Let c(k) = -5*k**2. Let u(d) = 11*c(d) + 4*s(d). Let v be u(4). Solve 3*n + 8 + 4 = v for n.
-4
Let n = 5 + -4. Let v = n - -8. Solve v*w - 4*w = 0 for w.
0
Let z be ((-2)/2)/(-1)*1. Solve 3*c + z = -5 for c.
-2
Suppose -1 - 43 = -4*t. Solve 9 = 4*m - t for m.
5
Suppose -4*d + 25 = d. Solve -d*k = 21 - 1 for k.
-4
Let j be (48/(-108))/((-2)/9). Solve 4 = j*l - 0*l for l.
2
Suppose -2*g + 2 + 2 = 0. Let c be (-1 - 3/(-3))/g. Let q be -1 + 1 + -1 - -11. Solve q = -5*v - c*v for v.
-2
Let g(v) = -2*v**2 + 8*v + 2*v**2 - v**2 - 1. Let w be g(6). Suppose w = 4*t - 13. Solve t = f + 2 for f.
4
Let d be 12*(-1)/(1 - 3). Let t = 6 - d. Solve t*c - 2*c - 2 = 0 for c.
-1
Let k be (2 - 1)/(4 - 5). Let v be (12 - 4 - k) + -3. Suppose 4*x - 3*x - 21 = 3*a, -22 = -2*x - 4*a. Solve 3*q - x = v*q for q.
-5
Let m = 2 + -2. Let d(p) = -p**3 + 8*p**2 + 9*p + 4. Let i be d(9). Solve i = -n - m*n for n.
-4
Let q = 16 + -12. Let t(r) = -r**3 + 3*r**2 + 4*r. Let k be t(q). Solve k*b = 4*b + 4 for b.
-1
Suppose -2*c + 0 = -4. Solve c*h - 6 = -2 for h.
2
Let f = 9 - 7. Suppose 0 = -2*i + 4*i - 4*m - 16, 0 = 2*m + 6. Let r be (2/i)/((-1)/(-6)). Solve f*t + 0*t = r for t.
3
Let w(a) = a**3 + 13*a**2 - a - 13. Let j be w(-13). Solve j = 4*x - x - 15 for x.
5
Let h = 