 - l = -x for x.
4
Let g(c) = -3*c**3 + 2*c**2 - 1. Let x be g(-1). Let r be -1*(1 - -1) + 15. Solve -1 + r = x*a for a.
3
Suppose -8*s - 12 = -12*s. Solve -s*c = -16 + 1 for c.
5
Let n(c) = -c + 1. Let j be n(-2). Suppose 0 = -6*g + 9*g. Solve h + j = -g*h for h.
-3
Let z(o) = -o**3 + 5*o**2 - 3*o + 15. Let x be z(5). Solve -4*b - b - 15 = x for b.
-3
Suppose -4*w - w + 40 = x, 2*x + w - 62 = 0. Let q be (-12)/x - 44/(-10). Solve -q*m - 7 - 9 = 0 for m.
-4
Let g(o) = o**2 + 4*o - 3. Let t be g(-5). Suppose -2*d - 4*n + 7 = -n, t*n = 2. Suppose 5*h + 20 = 5*z, -d*h + 8 = 4*z - 8. Solve -2*m + m - 1 = h for m.
-1
Let b(a) = a**3 - a**2 - 2*a + 1. Let p be b(3). Let r = 18 - p. Let q be (-6)/21 + (-4)/(-14). Solve q = -r*g + 7 - 2 for g.
1
Let n = 9 + -6. Suppose o - 3*r - 6 - 16 = 0, -2*o + 38 = -n*r. Solve 4*k + 0 - o = 0 for k.
4
Let d = -62 - -35. Let f = d - -30. Solve 4*j = f*j for j.
0
Suppose 0 = 4*v - 5*v. Solve 0*p - 2*p = v for p.
0
Suppose -3*s - d + 4*d = 0, 0 = -3*d + 6. Solve j = s*j + 5 for j.
-5
Suppose 0*z = 2*z - 6. Solve z*s = 13 - 1 for s.
4
Let z(o) = -o**3 - 7*o**2 - 8*o - 8. Let x be z(-6). Let q be (-2)/6 + 38/6. Let u = q - x. Solve -u*l - 2 = -12 for l.
5
Suppose 4*g + t = -0*t - 4, 3*t + 12 = 2*g. Solve g + 5 = m for m.
5
Let h(f) = f**3 - 3*f**2 + 1. Let d be h(3). Let r = -4 + -3. Let x be 2/r + 6/21. Solve t + x*t = d for t.
1
Suppose r + 3*r = 12. Suppose 6 = 3*z - r. Solve 0*u + u - z = 0 for u.
3
Suppose 3*h + 3*d = 33, -6*h - 4*d = -h - 50. Solve -4*m = -h*m - 2 for m.
-1
Let c(r) = -2*r + 11. Let z be c(5). Solve -z - 7 = -4*g for g.
2
Let l(a) = -a**3 - a**2 - 1. Let g be l(-2). Suppose -2*v = -5*r + 7, -g*v + 21 = 4*r - 3. Solve -f = v - 1 for f.
-3
Suppose 0 = 4*f - w - 17, 2*w = w - 1. Suppose f*x - 78 = 50. Suppose -5*a = 3*s - x, -2*s = -a - s + 8. Solve 2*v = a*v + 5 for v.
-1
Let v be (15/(-5))/((-2)/(-2)). Let k be (-3 - v - 0)/1. Suppose 0 = 4*i + 2*j - 28, k = 2*i - i - 3*j - 7. Solve -i = 2*s + 1 for s.
-4
Suppose x - 2*x = -10. Let n = -4 + x. Solve -n + 1 = -5*k for k.
1
Let x(y) = -3*y - 4*y**3 + 2 - 6*y**2 + 3*y**3 - 2*y + 0*y. Let p be x(-5). Solve -p = 3*t + 1 for t.
-1
Let m(d) = d**2 - 3*d + 8. Let t be m(3). Solve -4 = -i - t for i.
-4
Suppose 5*s - 18 = -13. Solve 2*b = s + 9 for b.
5
Suppose x = 4 - 1. Let g(h) = h**3 - 8*h**2 + 6*h + 1. Let w be g(7). Let t = w - -6. Solve t = l + x*l for l.
0
Let c(w) = -w**3 + w**2 + 20. Let k be c(0). Solve 0*h + k = 5*h for h.
4
Let g be (-30)/(-9)*(-6)/(-5). Let i = -3 - -3. Solve i = k + 7 - g for k.
-3
Let u be (-1)/(((-4)/8)/1). Solve -u*g - 3 = 1 for g.
-2
Let h = 28 + -26. Solve 18 = 4*f - h for f.
5
Let d be (-1)/(6/7 - 1). Let g be -5 + d + 4*1. Solve 0 + g = -3*o for o.
-2
Let i(o) = o**2 + 1. Let s be i(-1). Let z be (-2 - -1 - 0) + 1. Suppose 6*p - 5*p - 3 = -l, -2*p - 3*l + 7 = z. Solve -4*d + p = -s for d.
1
Suppose 0 = 14*f - 2*f. Solve f = -0*h - h - 2 for h.
-2
Suppose 3*z - 20 - 46 = 0. Solve 2 = 5*w + z for w.
-4
Suppose 0 = 5*o - 1 - 14. Suppose 2*m + 4*u - 92 = 0, o*m - 2*u - 135 = -5*u. Suppose -22 - m = -3*n. Solve 3*v + n = 10 for v.
-4
Suppose 8 = -5*h - 2. Let l = 6 + h. Solve -l*s = -7*s - 15 for s.
-5
Suppose -4*o + 3*i = -22, 3*o - 6*i - 20 = -2*i. Solve o*j = -0*j - 8 for j.
-2
Let h be 8/28 - 57/(-21). Let v = 7 - h. Solve b - 20 = -v*b for b.
4
Let s(l) = -l**3 - 2*l**2 + l - 3. Let i be s(-3). Let g = -21 + 41. Solve 2*x + i*x - g = 0 for x.
4
Let s be ((-2)/(-10)*0)/1. Solve -1 + s = b for b.
-1
Suppose -18 = 22*q - 28*q. Solve q*f = -2*f for f.
0
Suppose s - 1 = 5*u - 175, 3*s + 182 = 5*u. Suppose -l + 3*l - u = 0. Suppose -47 + l = -5*w. Solve w = -4*y - 6 for y.
-3
Let f(r) = r**2 + 5*r + 3. Let w be f(-9). Let i = 56 - w. Solve -3*g - 2 + i = 0 for g.
5
Let w(u) = u + 8. Let l be w(2). Solve -25 + l = 3*j for j.
-5
Let z be (5/(-25))/((-2)/30). Suppose 2*r + 0 = -5*y - 9, -3*r - 2*y = -z. Solve -1 = -2*l + r for l.
2
Let f(k) = -k + 10. Let z be f(3). Solve z = -j + 2 for j.
-5
Let i = 32 - 30. Solve -18 = -4*j + i for j.
5
Let x be 1/(0 + 2)*6. Suppose t - 2 - 1 = 0. Let v be (-3 - t/(-1))/(-2). Solve -x = 3*u - v for u.
-1
Suppose 0 = 2*s - 2 - 0. Let c be 3 + -2 + s + -1. Solve 2*z + 9 + c = 0 for z.
-5
Suppose 3 = l - 1. Solve l*a = a for a.
0
Let t be (6 - 3) + -4 + 1. Let s be 3 + (t + -2 - -3). Solve 2 = 2*p - s*p for p.
-1
Let y = 14 + -7. Suppose 0*w + 3*u = -w + 47, w - y = 5*u. Suppose -2*a = 2 - w. Solve -4*x = x + a for x.
-3
Let i be -1*3*6/(-1 - 5). Solve 0 = -j - i for j.
-3
Let o = 8 + -3. Suppose -2 = -2*p - 6*f + 3*f, -2*f + o = 5*p. Solve 3*i = 4*i + p for i.
-1
Suppose 4 = -3*h - k - 5, 0 = 5*k. Let r = h - -3. Let s(x) = -x**2 + 5*x - 4. Let g be s(4). Solve g = -a + 5 - r for a.
5
Let k(q) = 2*q - 6. Suppose 10 - 26 = -4*t. Let g be k(t). Suppose 2*d = -g*w + 10, 3*w + 3*d - 7*d = -6. Solve w*i - 2 = -0 for i.
1
Let i = 8 - 5. Suppose 0 = -i*y - y + 16. Let v be (-2)/4*(-31 + -3). Solve v = -y*k + 5 for k.
-3
Let o = 2 + 3. Suppose 0 = u - 1 + 4. Let n = o + u. Solve -9 - 1 = -n*g for g.
5
Let h be (0 + 2)/((-4)/(-26)). Let b = h + -12. Let t(p) = -p + 8. Let a be t(6). Solve a*o = 3*o + b for o.
-1
Suppose 4*a - 41 = -25. Solve 3*k + a = -8 for k.
-4
Suppose -4*c + 20 = 0, 3*t = -3*c - 23 + 83. Solve t = 7*w - 2*w for w.
3
Let p = 8 + -8. Suppose p = -j - 0*j. Suppose 5*n - 3*z = 18, 10 = 5*n + z - 6*z. Solve -n*v + 4*v - 4 = j for v.
-2
Suppose 8 = -22*i + 74. Solve 5*k - 2*k - i = 0 for k.
1
Let i = -15 - -15. Solve -d + i = 4 for d.
-4
Let z(m) = m**3 + 6*m**2 + 3*m + 4. Let x be z(-4). Let t be ((-1)/(-2))/(4/x). Solve -5*u + 8 = -t*u for u.
4
Suppose 5*n + 0 - 10 = 0. Solve -5 + n = -3*s for s.
1
Let n(p) = -2*p - 8. Let k be n(-11). Suppose -5*x + k = -11. Suppose 0 = 5*r - 37 + 2. Solve -x = -4*t + r for t.
3
Suppose 2*l - 3*l = -4. Let r be 1 - 0/(2 + -5). Suppose -g = 3*p - 1, 3*p + r + 0 = -2*g. Solve -5*n = l + p for n.
-1
Suppose -2*s = 0, -8*s = -c - 3*s. Solve c*m + 4 = -m for m.
-4
Suppose -2*f - 5 = -2*n + 17, 4*n + f - 19 = 0. Let o be (-8)/(-6) + (-2)/(-3). Solve -n = o*v + v for v.
-2
Let s(a) = -3*a - 12. Let z(d) = 5*d - 1. Let b be z(-1). Let t be s(b). Solve 3*u = -t - 3 for u.
-3
Let c(h) = h**3 - 15*h**2 - h + 20 - 1 - 2. Let m be c(15). Solve 3 + 1 = -m*o for o.
-2
Let s be 3*(-2)/(-3) + 1. Let w be 0 - (-1 + -1 + 1). Let j be 1/(-3) + w/3. Solve -4*m + s - 7 = j for m.
-1
Suppose 0 = 4*m + 4. Let q be (m/3 + 1)*6. Suppose -k + q - 2 = 0. Solve 0*o - 10 = -k*o for o.
5
Let p be 48/4*3/9. Suppose a - 1 = -4. Let l = a + p. Solve -m - 2 = l for m.
-3
Suppose 4*p - p = d - 19, -3*p - 2*d - 16 = 0. Let t(j) = j - 6. Let l be t(7). Let q be (l - p) + 2/(-1). Solve 2 = q*u - 3*u for u.
1
Suppose -x - 10 = -2*u, 2 = u - 2*x - 0*x. Let o = u + -5. Let z be (-4)/6 - (-2)/3. Solve z = 3*a + 2 + o for a.
-1
Let w = 1 - 2. Let a(r) = 3*r - 10. Let m be a(6). Let s = w + m. Solve -s + 3 = 4*t for t.
-1
Suppose -5*k - 2*q = -k + 22, -14 = 5*k - 2*q. Let d(g) = g**2 + 2*g - 4. Let s be d(k). Suppose -3*a + s*a = 0. Solve 2*v = -a*v for v.
0
Suppose -56 = -4*u + 4*m, -5*m + m + 49 = 3*u. Solve -2*h + u = 3*h for h.
3
Suppose -50 - 170 = -4*x. Suppose 4*s = j + 38, 66 = -0*j - 2*j - 2*s. Let i = j + x. Solve 1 = -5*w + i for w.
4
Suppose 0 = -2*f - 3*m - 3, -2*f - m - 3*m = 6. Solve -2 = 5*p - f*p for p.
-1
Let n be -10*3*(-2)/3. Suppose 3 = 4*i - 2*v + 9, 5*i - n = -3*v. Solve -4*h - 13 + i = 0 for h.
-3
Let n be (-125)/(-15) - 4/12. Solve -4*f = -0*f - n for f.
2
Let l(i) = -4*i. Let s be (-15)/20 + (-5)/4. Let q = 1 + s. Let a be l(q). Solve -u + 25 = a*u for u.
5
Let n = 6 + -2. Let l = n - 3. Suppose -r + l = -2. Solve -a + r*a = -4 for a.
-2
Let h be 4/10 + 13/5. Suppose x - 3*x = -2*r + 8, 0 = -2*x + 4*r + 2. Let a be 14/6 + x/27. Solve -h*s + 1 = -a*s for s.
1
Let a be 4/5 - (-264)/120. Solve a*d + 1 = 4 for d.
1
Let u be (-10 - 2)*4/8. Let n = 5 - u. Solve -5*x + n = -4 for x.
3
Suppose -2*z - 8 = 5*q, -2*z + 2*q + 2*q = -10. Solve -z = 2*g + 3 for g.
-2
Let l = 2 + -2. Suppose 18 = 3*q - l*q. Solve 4*p = q + 14 for p.
5
Let f = -1 - -6. Let z be -6 - (209/(-23) - (-2)/23). Solve -4*m - f = z for m.
-2
Suppose 0 = a - 21 + 17. Solve p + a - 6 = 0 for p.
2
Let f be 3*