+ 23. Solve -p = a - 3*a for a.
5
Let b = -126 + 131. Solve b*c + 13 = 3 for c.
-2
Suppose -23*d + 18*d = -5. Solve 4*g + 7 = -d for g.
-2
Let j be (-2)/(-2) + -1*3. Let w be -20*(12/8 + j). Solve 3*f = -2*f + w for f.
2
Let j(z) = z + 3. Let o be j(-6). Let v(a) = -a - 1. Let t be v(o). Solve -t = q - 0*q for q.
-2
Let x(v) = -v**2 - 8*v + 12. Let n be x(-9). Suppose n*z = -z + 72. Suppose z = 2*j + j. Solve -j*l + 5 = -l for l.
1
Let r(f) = -f + 1. Let w be r(4). Let v = w - -6. Solve a - v*a = 0 for a.
0
Let m(s) = -s**2 + 4*s + 7. Let c be m(5). Solve i + c = -i for i.
-1
Let v be 0/((2 - 3)/((-1)/(-2))). Solve -a + v*a = -2 for a.
2
Suppose -m + 0*m = 0. Solve 0 = 5*p - m*p - 10 for p.
2
Suppose -4*a + 15 = a. Solve -a*x = x for x.
0
Suppose 3*o = 3*s + 36, o + 36 = -3*s - 3*o. Let d = s - -14. Solve 17 - d = -5*z for z.
-3
Suppose -4*x + 15 = 39. Let q be -9 - -8 - (x - 1). Solve 3*m = -9 - q for m.
-5
Let z = 14 + -12. Solve 4*o + 4 = z*o for o.
-2
Suppose h - 1 = 2. Let o(q) = q - 1. Let c be o(h). Solve -3*s + c*s = 3 for s.
-3
Let i(g) = g + 5. Let l be i(-3). Solve 0 = l*m - 4*m - 6 for m.
-3
Let k = 5 - 2. Suppose 0 = -4*h + 3*c - 96, h + 24 = 4*c + c. Let z be 1/(-1 + (-26)/h). Solve y + k*y = -z for y.
-3
Let g(n) = 98*n. Let m be g(1). Suppose 3*v + 5*s - m = -0*s, 32 = v + s. Let h(o) = 3*o. Let y be h(2). Solve -5*u + v - y = 0 for u.
5
Let q(v) = v**3 + 5*v**2 - 7*v - 4. Let w be q(-6). Suppose -5*r + g + 15 = 0, -3*g - 2*g = -w*r + 29. Solve -9 + 3 = r*p for p.
-3
Let j be -1 - -2 - (8 - 2). Let w = -2 - j. Suppose 0 = -f - w*f. Solve v + f = -2 for v.
-2
Let x(i) = -6*i**2 + 4*i - 3. Let m(w) = w**2 - w + 1. Let r(b) = -5*m(b) - x(b). Let k be r(-2). Suppose -2 - 2 = -a. Solve k = -j + a*j for j.
0
Suppose 8 = 3*m + m. Let h be (m - 2)/3 + 1. Solve -i = -0*i + h for i.
-1
Suppose -b = 4*o - 12, 3*b + 5*o - 18 = 2*o. Suppose 0 = 4*v + 9 + 3. Let p be (4/v + 1)*-9. Solve 0 = -p*f + b*f + 2 for f.
-2
Suppose u + 55 = 2*u. Suppose 39 = 3*n - 0*n + 3*k, 5*n - 5*k - u = 0. Solve n = -3*g - 0 for g.
-4
Let i = -6 + 12. Solve -i = u - 3 for u.
-3
Let w be (-17)/(-4) - 5/20. Suppose -d = -6*d + 4*o + 41, w = d - 5*o. Suppose 0 = -5*u - 3*f - 0*f + d, -4*u = -4*f + 12. Solve u = 2*b + 3 + 3 for b.
-3
Let j(i) = 0 - 3*i - 1 + 2*i. Let o(b) = -b**2 - 4*b - 1. Let m be o(-4). Let y be j(m). Solve -g + 5 + y = 0 for g.
5
Suppose 4 = 2*t + r, 5*t = 4*r - 7*r + 8. Solve 0 = 4*i + t - 24 for i.
5
Suppose w = -h + 2, -27 = -5*h - 2*w - 8. Solve h*p = -11 - 9 for p.
-4
Let p(i) = i**2 + 1. Let q be p(0). Let n(m) = m - 2. Let j be n(4). Let h(r) = 2*r**3 - 2*r**2 - 1. Let u be h(j). Solve 3*t + q = u for t.
2
Let l be 36/(-84) + 48/14. Solve 3 = -l*g - 0 for g.
-1
Suppose 0 = 2*a - a + 3, w - 2*a = 11. Suppose w*g = g + 12. Solve 0*p = p + g for p.
-3
Let u(s) = 14*s**3 + 2*s**2 - s. Let n be u(1). Let l be 0 + 20*n/6. Suppose 7 = -0*w + w + 2*r, -2*w = -5*r - l. Solve -v + w = -6*v for v.
-3
Suppose -j - 4*o + 17 = -0*j, -21 = -5*j - 4*o. Let r be (-1)/(-2) - (-14)/4. Solve r*q + j = -7 for q.
-2
Let j(o) = o**3 - 6*o**2 + 5*o + 2. Let n be j(5). Let l be 1 - (-4)/(1 + 0). Suppose -n = -l*r + 3. Solve 2*z - z - r = 0 for z.
1
Let r be -3*1*(-6)/9. Suppose -t + f + 19 = r*t, -25 = -4*t + f. Solve -x - t = 2*x for x.
-2
Let m = 2 - -1. Let j(x) = x**3 - x**2 + 9. Let f be j(0). Suppose 2*v - 4 = -5*g, -2*g + 0*g - 3*v = 5. Solve g*a = -f + m for a.
-3
Let t(m) = -m**3 + 5*m**2 + 2*m - 7. Let s be t(5). Let b(o) = o**2 + 2*o - 2. Let i be b(2). Let p be 3*1 + i/(-3). Solve -2*l = -s - p for l.
2
Suppose -5*i + 3*q - 26 - 3 = 0, 0 = 5*q + 10. Let g = 24 + i. Solve 2 - g = 5*v for v.
-3
Suppose 6*q = q. Solve q*l = 2*l for l.
0
Suppose -3*q + 3 = -6. Suppose -2*u + q = -3*j, -u + 3*u - 9 = -3*j. Solve -u*x + 2 = -10 for x.
4
Suppose 4*o - 2*p - 4 = 0, p = -2 - 2. Suppose 4*j = 36 - 4. Let c = o + j. Solve 0 = 3*r - c*r + 16 for r.
4
Let u = -17 - -22. Solve x + 0 = -u for x.
-5
Let w = -4 - -16. Solve -g - w = -4*g for g.
4
Let b be 8/12 + 26/6. Suppose -b*g + 12 = -4*x, g + 2 = -4*x + 14. Solve d + g*d - 15 = 0 for d.
3
Let q(u) = u**2 + 2. Let i be q(2). Solve -5*h + 14 = -i for h.
4
Let y = 5 + -1. Let u be (6/y)/((-3)/(-8)). Solve -d - d + u = 0 for d.
2
Let f(m) = -m**2 + 5*m + 6. Let n be f(6). Suppose v - 3 = 2. Solve 10 = -n*a + v*a for a.
2
Let a be ((-1)/2 - (0 - -1))*-2. Solve 0 = -p + 6 - a for p.
3
Suppose 0 = 3*h + 2*o + 2*o + 164, 0 = -o + 4. Let d = -43 - h. Suppose -2*x = g + 5, -g - 4*x - d = x. Solve -g*k = k - 20 for k.
5
Let w(h) = 3*h + 2. Let q be w(0). Solve 0 = -q*p + 6 for p.
3
Suppose 2*f + 3*f - 32 = -4*v, 0 = -5*f + 3*v + 11. Suppose 0 = q + 2*r, 2*q - f = -q - 2*r. Solve -q*h + h + 3 = 0 for h.
3
Let k = 2 - -2. Suppose 0*b - 51 = -3*b. Suppose 11 = 4*s - b. Solve k*r - s*r = 15 for r.
-5
Let i = -16 + 27. Let h = i - 11. Let z(g) = g**3 - 5*g**2 - 6*g + 6. Let y be z(6). Solve h = -l + 4*l - y for l.
2
Let z(p) = 2*p**2 + 5*p + 2. Let d be z(-3). Solve 10 + 0 = -d*h for h.
-2
Suppose -t + 10 = b, 3*b - 2*t - 10 = -b. Solve 5 = b*i - 20 for i.
5
Let u be 4 - (6 + 4/(-2)). Solve 6*c - 4*c - 6 = u for c.
3
Let s(p) = p**3 - p**2 - 1. Let x(j) = -3*j**3 + 4*j**2 - j + 4. Let m(i) = 5*s(i) + x(i). Let c be m(2). Solve -r - c = 2*r for r.
-3
Let p be 2/(-3)*((4 - 9) + 2). Solve -2 - 4 = p*y for y.
-3
Let x = 15 + 15. Suppose -x + 6 = -4*p. Let t be p + (-1)/(1 - 0). Solve -9 = t*n - 4 for n.
-1
Let a be ((-5)/(-10))/(2/4). Suppose -t = -a - 2. Let f be 2/t*(-45)/(-6). Solve -6 = f*m - 3*m for m.
-3
Let w = 2 + 1. Suppose -4*c + 1 = -w*b - 3, -2*c = -8. Solve 0*a + b*a = 4 for a.
1
Let s be 0/(3*3/9). Let z = -5 + 8. Let a(r) = -r**2 + 3*r + 3. Let g be a(z). Solve s = g*i + i for i.
0
Let d = 56 + -54. Solve -2 = -d*r + 2 for r.
2
Let a be ((-5)/1 + 3)*-1. Suppose -3*y = a*y. Solve -b = -y*b - 3 for b.
3
Let o = 15 - 29. Suppose p - 1 = -3. Let x = p - o. Solve x = 5*l - l for l.
3
Suppose -3*q - 6*b + 12 = -3*b, 3*q = -5*b + 6. Let k = q + -7. Suppose 0 = -4*z + 4, 4*w = z + 5 + 2. Solve -3*m + w + 4 = k for m.
2
Let l be -1 + 4/6 - 91/(-21). Solve -9 = -l*m + 3 for m.
3
Let l = 1 - 7. Let a = 8 + l. Solve 2*b - 2 = a for b.
2
Suppose 2*s - 11 = -1. Solve s*v - 1 = -11 for v.
-2
Suppose 84 = 3*s + 3*f, 5*f + 116 = 5*s + 2*f. Solve l + 4*l = -s for l.
-5
Suppose 0 = 2*a + a - 6. Solve 0 = -a*i - 4 - 2 for i.
-3
Suppose 0 = -3*o + 7 + 8. Solve o*j - 1 - 4 = 0 for j.
1
Suppose 5*k - 83 = 4*t - 13, 5*k + 4*t - 30 = 0. Solve -k = -5*n + 15 for n.
5
Let c = 6 + -6. Suppose 3*v + 2 + 7 = 0, 4*g - v - 15 = c. Solve 0 = g*k + 2*k - 15 for k.
3
Let k = -13 + 13. Solve -3*r + 5*r + 2 = k for r.
-1
Suppose -4*c - 52 = -6*i + 2*i, -53 = 4*c - 5*i. Let b be 4/c + 74/6. Suppose b = 5*u - 2*u. Solve 5*w = u*w - 2 for w.
-2
Suppose 5*q = -12*q + 51. Solve q*m - 3 = 4*m for m.
-3
Let i(f) = -f + 6. Let a be i(0). Solve -2*c = -0*c - a for c.
3
Let q be ((-5)/(-5))/(2/6). Let p be (16/(-6) + q)*6. Solve -m = -p*m + 1 for m.
1
Let b be ((-2)/8)/(2/(-32)). Solve -5*k + b = -11 for k.
3
Suppose 2*r - 6 = -r + 3*h, 3*r - 2*h - 9 = 0. Solve r*l - 3 = 2*l for l.
1
Suppose 5*f + 79 = -3*d + 2, -d = -1. Let b = f - -24. Solve 0 = 3*c + c - b for c.
2
Let u be 22/55 + 23/5. Suppose 3*f - 24 = -u*z, z = -2*f - 5 + 14. Suppose -k - 1 = -2*k. Solve f*s = 7 - k for s.
2
Suppose -4*z = -11 - 5. Suppose 0 = -z*i + y + 44, 0*i + 2*i - 5*y - 4 = 0. Let a be (-13 + -2)*(-4)/i. Solve n = -1 + a for n.
4
Suppose -3*x = -27 + 3. Let w = 12 - x. Solve h = w*h for h.
0
Suppose 4*b - 8 = -0*b. Suppose 0 = 4*d + 4*u - 72, 2*d + 2*d - 5*u = 54. Suppose -d = -0*i - b*i. Solve -i + 33 = -5*s for s.
-5
Suppose -7*t + 15*t = -7*t. Solve t*p + p = -2 for p.
-2
Suppose -3*p + 10 + 8 = 0. Solve 2*y - p = -14 for y.
-4
Let o(l) = -l**3 + 4*l**2 - 2*l - 2. Let u be o(2). Solve -3*n - 5 = -u*n for n.
-5
Suppose 0*y + 125 = 5*y. Suppose -2*b = f - y, 2*b - 67 = -4*f + f. Solve 1 = -4*l + f for l.
5
Let h be (2 - (1 + 2))*-13. Suppose 3*y - 3 = -3*w, y + w - h = 4*y. Let a be (4/y)/((-8)/36). Solve -a = -3*d + d for d.
3
Let d = 0 - 5. Let a = d - -5. Solve a = x - 5*x + 8 for x.
2
Let u(q) = q**3 + 2*q**2 - q + 1. Let r be u(-2). Let b(j) = j - r - 1 + j**3 + 2 - 4*j**2.