+ 12/9. Solve 4*z + v = -6 for z.
-2
Suppose 5*k + 12 = 4*h - 0, 5*k + 9 = 3*h. Solve t - h = -2*t for t.
1
Let m(z) = z**2 + z + 5. Let b be m(4). Suppose -4*x + b = -123. Suppose -3*s = -3*p + 12, p - 4*p = 2*s - x. Solve 2*y + y = p for y.
3
Let s = -9 + 21. Solve 0*f + s = -3*f for f.
-4
Let o(g) = -9 - 12*g - g**3 + 2*g**3 + 10*g**2 + 0*g**3. Let a be o(-11). Solve -a*b + 9 = -1 for b.
5
Let u(n) = n**3 + n**2 - 2*n. Let t = -1 - 1. Let b be u(t). Let m = 2 - b. Solve 0 = -m*o + 4 - 2 for o.
1
Suppose -5 - 1 = -3*k. Suppose 5*j - 40 = -5*r, 4*r + k*j - 25 = -r. Suppose m = 2*m. Solve m = -p - r for p.
-3
Let c(q) = 2*q**2 - q. Let r be 12/(-16) - 2/8. Let i be c(r). Solve 2*m + i = m for m.
-3
Let a be (1/(-2) + 2)*2. Let p be -1 + a + 1 + 1. Suppose 4*c = 12 - p. Solve -5*k = -13 - c for k.
3
Let p(u) = -u + 0*u**3 + 1 - 2 - u**3 - 3*u**2. Let v be p(-3). Let i be (1 - -2) + -2 + v. Solve i*y - 6 = 5*y for y.
-3
Let w(l) be the first derivative of -l**3/3 - l**2 + 2*l + 3. Let a be w(-2). Solve o - 1 - a = 0 for o.
3
Let f(x) = x + 13. Let n be f(-9). Let j(b) = -b + 10. Let s be j(n). Solve t = -t - s for t.
-3
Let i be (27/6)/((-6)/16). Let r = 16 + i. Solve r*v - 20 = -0*v for v.
5
Let k(h) = 4*h - 2. Let d be k(1). Solve -6 = 2*r - d for r.
-2
Let p = 63 - 63. Solve p = -j - 4 + 9 for j.
5
Let z be (-4 - -3)/2*-4. Solve 4 = z*t + 2 for t.
1
Let n be (-1 + -3)*(-1)/2. Suppose n*t = -3*l + 16, -3*l = 2*l - 2*t - 16. Solve -l*w - 1 = -21 for w.
5
Let p(s) = -s**3 + 6*s**2 - 3*s + 6. Let i be p(5). Suppose 3*a - 2 - i = 0. Solve 3*b = 3 - a for b.
-1
Let s = 31 + -30. Solve -c = 3 + s for c.
-4
Let j(a) = -a**3 + 4*a**2 + a - 5. Let i be j(3). Suppose i*n - 3*n - 8 = 0. Solve -5*z + n*z + 12 = 0 for z.
4
Let z(c) = c + 4*c - 2*c - 4*c. Let g be z(-2). Solve -g*j = 3*j + 25 for j.
-5
Let u(c) = -c**3 - 7*c**2 - c + 10. Let o be u(-7). Let w(g) = -g**2 - 16*g - 10. Let j be w(-15). Solve j*v + 3 = -o for v.
-4
Suppose 3*a - 19 = -4. Suppose 10 + 10 = a*v. Let c be -1 - 9/(-4 - -1). Solve v = c*l - 3*l for l.
-4
Let t = 3 + 0. Suppose -t = 4*b - 5*b. Suppose -b*u + 8 = -u. Solve -2 = -a - u for a.
-2
Let o(p) = -p**2 - 11*p - 5. Let x be o(-10). Solve 0*j + 5*j - x = 0 for j.
1
Let t be 24/16*20/3. Solve 4*d + t = 2*d for d.
-5
Let f(z) = 5*z. Let s be f(-1). Let x(r) = -r**2 - 8*r - 3. Let j be x(s). Suppose -3*t = -0*t - j. Solve o - 5*o + t = 0 for o.
1
Suppose p = 4*p - 4*a - 58, 2*p = -a + 46. Suppose u - 6 + 16 = 3*v, -5*v + p = -3*u. Solve x = -v*x - 3 for x.
-1
Let m = 10 + -8. Let j(y) = y**3 - 3*y + 1. Let i be j(m). Solve -9 = 6*x - i*x for x.
-3
Suppose 0 = -5*a + 4*y + 73 - 7, -5*a - 3*y = -38. Solve h + a = 3*h for h.
5
Suppose -4*a - 3*k + 20 = 8, 0 = 2*a + 3*k - 12. Let p = -3 - -4. Solve -p = -g - a*g for g.
1
Let x be (3 + -4)*1 - -13. Solve -4*b + x = -0*b for b.
3
Suppose -4*d - d + 10 = 0. Suppose -2*r + 10 = c, -80 = -c - d*c + 4*r. Solve c = -w - 3*w for w.
-5
Let i be 18/12 - 4/8. Solve 4 + i = 5*h for h.
1
Suppose -3*j - 14 = 4*j. Let a = 3 - j. Solve t = -0*t + a for t.
5
Suppose 6*m - 52 + 4 = 0. Solve 10*a - m*a = -2 for a.
-1
Suppose 0 = 2*d - 0*d - 34. Suppose d = 5*q - 28. Suppose -2*c + 5*c = q. Solve c*o + 6 + 3 = 0 for o.
-3
Let l = -36 + 38. Let t(o) = o**3 + 6*o**2 - 2*o - 4. Let a be t(-6). Solve -2*s = -a + l for s.
3
Suppose 11*k - 35 = 53. Solve 9 = -5*m + k*m for m.
3
Let l(f) = -6*f - 6. Let k be l(-4). Suppose -2*h + k = h. Solve 0 = -2*w + h - 2 for w.
2
Suppose -3*u + 2*u + 10 = 0. Solve v - u = -v for v.
5
Let u = -13 - -15. Solve j + u = 5 for j.
3
Let z(t) = t**2 - 15*t - 20. Let n be z(17). Solve 9*g = n*g for g.
0
Let z be ((-2)/(-5))/(2/60). Suppose 5*h + z = 2*h. Let v(w) = -2*w - 5. Let i be v(h). Solve -s - i*s = 4 for s.
-1
Suppose 20 = 2*z + 2*z. Suppose 2*n + 28 = 6*n - 4*h, -5*n - h = -z. Solve n*w - 2 = 3*w for w.
-2
Let j = 44 - 40. Solve -1 + 21 = j*r for r.
5
Suppose 1 = a + 4. Let v = 0 - a. Let j be (-6 + v)/(3/(-2)). Solve -15 = j*n + 3*n for n.
-3
Suppose 0 = -2*q + 4*q - 3*y - 6, -4*q + 5*y = -10. Let x(c) = c + 4. Let v be x(0). Solve -v*r - 12 = -q*r for r.
-3
Let j = -100 + 100. Solve -3*z + 0 - 12 = j for z.
-4
Let z(p) = p + 20. Let m be z(0). Suppose 2*y + 0*y = m. Solve 0*h + y = -2*h for h.
-5
Let q be (-24)/(-36) - 2/(-6). Suppose -q = -2*k + 3. Solve -3*i + k = 8 for i.
-2
Let t be (-2)/(-4) - 9/6 - -1. Let f be -1*0/(-1 - 1). Suppose t*o + 4*o = f. Solve 5 + o = -5*z for z.
-1
Let l = 2 + -4. Let w = 1 - l. Solve 0*v + w*v = -9 for v.
-3
Suppose -4*k - j = -27, -3*k + j - 3 = -18. Let w be ((-16)/(-24))/(4/k). Solve -3 = 4*h + w for h.
-1
Let i(v) = v + 3. Let l be i(-3). Suppose -5*h - n + 12 = l, -3*n = -4*n + 2. Suppose 4*s - h*s - 4 = 0. Solve p + 3 = -s*p for p.
-1
Let w(f) = -f**3 - 2*f**2 + 5*f + 4. Let o be -1 - (-1 + 4 - 1). Let y be w(o). Let l be (4 + y)*2 + -1. Solve l*u + u = 0 for u.
0
Suppose -2*o + g + 16 = 2*o, o - 2*g + 3 = 0. Solve q = o*q for q.
0
Suppose -4*z = 2*m + 18, -3*z - 5*m - 30 = 1. Let p = z + 5. Solve -n - p*n = 0 for n.
0
Suppose 0 = -0*f - f. Solve f = -5*p + p for p.
0
Suppose 0 = 32*v - 27*v - h - 35, 0 = -2*v - 3*h - 3. Let n(i) = i**2 + 7*i + 6. Let u be n(-6). Solve u*y = -3*y + v for y.
2
Let l(x) = -x. Let p be l(-1). Suppose -10 = -3*v - 0*v - 4*s, -5 = -5*s. Solve -p = v*c + 3 for c.
-2
Suppose -3*x + 8 = 2. Suppose f - 4*a = 28, x*a = 2*f + 2*f - 56. Solve 0*c + f = 3*c for c.
4
Suppose -4*f - 2*x = -x - 26, 4*f + 5*x = 34. Solve 5*g - f = 14 for g.
4
Suppose 5*o + 4*j - 62 = 0, 0 = 2*o - j - 27 - 3. Solve 1 + o = -5*p for p.
-3
Let q(c) = -c**2 + c + 4. Let z be q(0). Solve -z*u = 3 + 1 for u.
-1
Let a = 20 + -16. Let q be (-110)/(-15)*6/a. Solve -5*m - q = -1 for m.
-2
Let y be 2 + -1 - (-1 - -2). Suppose d - 1 - 1 = y. Solve m - d*m - 3 = 0 for m.
-3
Suppose -5*t + 10 = -0*t. Solve -5*p = -t*p for p.
0
Let j be 16/7 - (-2)/(-7). Let v = 1 + j. Solve v*t = -0 - 12 for t.
-4
Suppose 3*k = -2*o - o - 9, 2*o = k - 12. Solve 0 = k*i + 2*i + 16 for i.
-4
Let o be (8/10)/(8/20). Solve -4 = o*b - 0 for b.
-2
Let o(t) = -t**2 + 9*t - 9. Let g be o(7). Solve -g*j + j = 0 for j.
0
Let n(o) = -3*o - 2. Let q be n(-19). Suppose 0 = -y - 3*y - 4. Let i be y/(q/(-27) - -2). Solve -4*d + 7 = i for d.
-5
Let o be ((-10)/(1 + -3))/1. Suppose o*a = a. Solve a*r = 4*r for r.
0
Let z(f) = -f + 22. Let v be z(7). Solve -4*s = -7*s - v for s.
-5
Let k(y) = -y + 4. Let p be k(2). Solve 4*l - p*l - 10 = 0 for l.
5
Let a = -2 - -5. Solve -2*s = s + a for s.
-1
Suppose 15 = 2*m + 1. Suppose b = -2*b - 4*c - m, 3*b - 5*c = 29. Solve -4*q - 9 = b for q.
-3
Let k(q) = -q**2 - 6*q - 5. Let z be k(-5). Solve z*y = y + 5 for y.
-5
Suppose -2*s + s = -6. Suppose -4*p = -s - 6. Solve -p*y - 3 = -12 for y.
3
Suppose 6*w = 8*w - 40. Solve 0 = 4*m + m - w for m.
4
Suppose -2*h + 6 = -0*h. Solve h*a - 5 = -2*a for a.
1
Let p(r) = -1 - r + 5*r**3 + r**3 - 3*r**3 + 2*r. Let i be p(1). Suppose 3*l = 12 + 27. Solve -i*s + 1 = l for s.
-4
Suppose 2*b - 2*v = 3*v - 9, -12 = -2*b - 2*v. Suppose u + 10 = b*u. Suppose 5*d - u*m = -0*d + 35, 5*d = 2*m + 38. Solve 3*j + 1 = -d for j.
-3
Let c(u) = -u**2 + u - 1. Let z be c(1). Let r(p) = -2*p**2 - p. Let q be r(z). Let l be 6 + -3*(0 - q). Solve a + 2*a = -l for a.
-1
Let x(k) = 14*k**2 + 9*k + 29. Let c(y) = -5*y**2 - 3*y - 10. Let d(z) = -17*c(z) - 6*x(z). Let t be d(-5). Suppose 2*q + q = t. Solve 2*a + q = -a for a.
-4
Let p(m) = -m**2 + 5*m - 3. Let w(s) = -s + 9. Let x be w(5). Let q be p(x). Let v be (0/(-1))/(1 - -1). Solve 0 = -v*t - t + q for t.
1
Suppose 3 = 3*g - 0. Let x be 2/(2 + 0) - g. Suppose f + 4*f = x. Solve f*z + 8 = -2*z for z.
-4
Let q(v) = -v**3 + 5*v**2 - 2*v - 4. Let t be q(4). Suppose -4*g = 6*m - 2*m + 48, 2*m = -t*g - 48. Let o = -7 - g. Solve -10 = o*p - 5 for p.
-1
Suppose 2 = 2*w, 2*d + 3*w - 3 = -2*d. Solve d = -2*p - 2 + 12 for p.
5
Let r be (5 - 6) + 8*2. Suppose 0 = 2*o + 3*o - r. Let x be 2 - -1 - (1 - o). Solve -x*u - 16 = -u for u.
-4
Let j(g) = g + 5. Let t be j(-5). Let h be (1 + t)*(10 + -2). Let s be (-20)/h*8/(-5). Solve 0 = s*v + 1 + 11 for v.
-3
Let f = -4 - 1. Let t = 18 + f. Suppose 11 = -0*z + 4*z - p, -5*z + t = -2*p. Solve -5*y + z = -2 for y.
1
Let w(v) = 2*v -