*t - f = -27 for t.
-5
Suppose -3*c = -35 + 5. Solve d - c = -d for d.
5
Let m(b) = b + 1. Let i be m(8). Let u be (i/(-5) - -3)*5. Let g(c) = -c + 6. Let h be g(u). Solve -r = -h*r + 1 for r.
-1
Suppose 0 = -4*l - 4*z + 24, 0*l + 22 = 2*l + 4*z. Solve -3*y + 2 = -l for y.
1
Let a(h) = 3*h**3 + 7*h**2 - 4 + 2*h**3 + 0*h**3 - 9*h - 4*h**3. Let k be a(-8). Solve -k*b + 8 = 4 for b.
1
Let d = 2 + -1. Solve 2*h - d = h for h.
1
Let f = 51 + -47. Solve 3*c = 2*c + f for c.
4
Suppose -2*b + 2 = -b, -4*g + 26 = 3*b. Solve g = -3*a - 4 for a.
-3
Suppose -12 = 4*s, 1 + 0 = 2*b + s. Suppose 0 = 2*f + b*f. Solve 5*l - 2*l - 6 = f for l.
2
Let l(k) = -k**2 - 3*k + 1. Suppose 5*v - 2*x = -2, -3*x = 3*v + 8 + 10. Let b be l(v). Solve -b*t = 2*t for t.
0
Suppose -v + 11 = n, 2*n + 4 - 11 = -v. Suppose 2*b - 4*t - 16 = -b, t = -4*b + v. Solve b*a = 16 + 4 for a.
5
Let z(j) = -j**3 + 8*j**2 + 11*j - 6. Let k be z(9). Solve -4*o = -o - k for o.
4
Let q(o) = 4*o - 2. Let a be q(1). Solve -3 + 13 = a*v for v.
5
Let z(r) = -r**3 + 4*r**2 - 4*r + 3. Suppose 2*o - 2 - 4 = 0. Let d be z(o). Solve d*v + 8 = -2*v for v.
-4
Suppose -3*p + 9 = -3. Let s = 16 + -7. Solve -11 = p*q + s for q.
-5
Let o(a) = 2*a**2 + 4*a + 3. Let m be o(-2). Suppose -m*u = -4*u + 2. Let z be 1/(-4) + 75/12. Solve -u*w = -z*w for w.
0
Let f be 3/2*(-10)/(-3). Let a(t) = -7*t + 3 + 4*t**3 + 8*t**2 + 0*t**3 - f*t**3. Let g be a(7). Solve 0 = 3*j - 0 + g for j.
-1
Suppose i - 6*i = -20. Suppose -3*s = 5*v - 12, 3*v - 4*v - 16 = -i*s. Solve j = -s*j - 15 for j.
-3
Let j be (-3)/3 + 0 + 3. Let b(s) = s**2 + 1. Let t be b(j). Solve -t*a + 7 = -13 for a.
4
Let m(f) = f**3 - 4*f + 4. Let q be m(2). Suppose 0*k = -k + q. Solve -o + 5*o = k for o.
1
Let j = -10 + 10. Let d be (6/15)/((-4)/(-20)). Solve -8 = d*x - j*x for x.
-4
Suppose -80 = 5*v + 5*y, -3*v - 2*y - 32 = -3*y. Let d = v + 6. Let z = d + 7. Solve -5*l - 6 + z = 0 for l.
-1
Let z(j) = -2*j**2 - 2*j + 2. Let r be z(-3). Let w = r + 13. Solve -k + 4*k + w = 0 for k.
-1
Let y be 3/2*8/(-6). Let g = 7 + y. Solve -g*f + 1 = 11 for f.
-2
Let m(x) = x**3 + 5*x**2 + 3*x - 4. Let f be m(-4). Solve f = -4*n - 12 - 4 for n.
-4
Let j = -1 + 1. Suppose 4*n + j*n + 16 = 0. Let u be 9*n/(-6) - -2. Solve u = -c - c for c.
-4
Suppose -8 = -f + 12. Suppose 0*y = -5*y - f. Let k(o) = o**2 + 5*o + 4. Let s be k(y). Solve 2 + s = -d for d.
-2
Let l(w) = -3 + 45*w + 3*w**2 - 47*w - w**2 - w**2. Let a be l(3). Solve -2*v + 0*v + 6 = a for v.
3
Suppose 7*a = 4*a. Solve 2*o - o - 3 = a for o.
3
Let o be ((-5)/10)/(2/(-8)). Solve 2*v + o = 8 for v.
3
Suppose 0*w - w = 5. Let s = -3 - w. Solve s + 3 = -a for a.
-5
Let r = -14 + -1. Let z = r - -21. Let i = 8 - z. Solve 3*g - 11 = -i for g.
3
Suppose 2*t = 4*t - 26. Let r = t - 8. Let j = r + -1. Solve -j*p - p - 10 = 0 for p.
-2
Let t(l) = l + 9. Let f be t(-10). Let u be (-1)/f*(3 - 1). Solve -2 - 4 = -u*g for g.
3
Suppose 0 = 2*q + q + 15, q = 3*m - 11. Let n = 9 - 7. Suppose -n*w - 2 = -3*w. Solve -2 = m*o + w for o.
-2
Let t be (-1)/(-7) + (-120)/(-42). Solve -t = 3*g - 2*g for g.
-3
Let f = -20 - -42. Suppose 0 = -2*i - 14 + f. Solve y = i*y for y.
0
Suppose -3*a + 2*g + 16 = 0, -3*a - 14 = g + 3*g. Let d(x) = x**3 - 3*x**2 - 4*x**a - 2 - 2*x**3 - 2*x. Let u be d(-7). Solve 3*s + s + u = 0 for s.
-3
Let j = 10 - -11. Suppose 3*b + 4*k = -6, -3*b - 5*k + j = -10*k. Solve p = 2*p + b for p.
-2
Let l be 18 + 3/1 + -2. Suppose 5*y - l = t - 3*t, -5*t + 55 = 5*y. Suppose -j + 4*j - t = 0. Solve -5*g + g = j for g.
-1
Let k(w) = w**3 + 10*w**2 - 2*w - 14. Let c be k(-10). Solve -c = -3*y + 3 for y.
3
Let q be ((-4)/2 - -16) + -2. Suppose o + 0*o = -3*y - 12, 5*o - 3*y - q = 0. Suppose 5*p - h + 3 = 2*h, o = -3*h + 3. Solve p*t - 2*t = 0 for t.
0
Let w be (-4)/(-14) - 494/(-133). Suppose -6 = -w*v - 2. Solve -k = -4 + v for k.
3
Let x = 16 + -13. Solve x*l + 20 = -l for l.
-5
Suppose -5*w + 2*y - 14 = -2*y, 0 = -5*w + y - 26. Let x = -4 - w. Solve -x*f + 15 = f for f.
5
Let r be (-4)/(-16) - (-30)/8. Solve -n - 20 = r*n for n.
-4
Let p(s) = -2*s - 8. Suppose 2*n - 6 = 3*n. Let y be p(n). Solve -5*j - y = 11 for j.
-3
Let g(h) = -2*h**2 + 16*h + 8. Let w be g(8). Solve d = -d + w for d.
4
Suppose 21 = 4*n + n + 3*l, -n + 21 = -5*l. Let u be -2*(-9)/n + 0. Let r = 2 + u. Solve 0 = -o + r*o + 4 for o.
-1
Let u = -58 + 85. Solve 5*t = u - 2 for t.
5
Let d = -5 + 6. Let c be -3 + 2*(-1)/(-2). Let y be (-15)/(-6) + d/c. Solve -2 - 2 = y*v for v.
-2
Let d be -1*(10/(-2) + -5). Solve 0 = d*s - 11*s - 4 for s.
-4
Let u = -17 + 26. Suppose -u = -2*v - 1. Solve -v*s + 0*s = -8 for s.
2
Let v = 11 - 11. Solve 2 = 2*n - v for n.
1
Suppose -13 = -2*z + 3*g, -g + 6 = -4*z + 27. Solve 1 + z = 3*k for k.
2
Let s(k) = k**3 + 4*k**2 - k + 2. Let h be s(-4). Suppose 0 = -3*q - h + 18. Suppose -3*x + 19 = q. Solve 16 = -z + x*z for z.
4
Suppose -2*a + 10 = 3*a. Let w be a/4 - (-5)/10. Solve -x - w = -0 for x.
-1
Let t = 13 - 8. Solve t*d = d for d.
0
Let g(b) = b**3 + b**2 + b + 1. Suppose 5*f + 10 = -3*i, -2*i - 5*f = -i. Let u = i + 4. Let k be g(u). Solve -5 + k = y for y.
-5
Suppose -3*t - 1 + 28 = 0. Let r be (-3 - (3 + -6))/(-1). Solve -3*g = -r*g - t for g.
3
Let w(o) = o**3 + 13*o**2 + 11*o - 6. Let k be w(-12). Suppose d = k*d. Solve z + 4*z + 5 = d for z.
-1
Let g = -7 - -11. Let r(f) = -f**3 - 3*f**2 - 2*f. Let b be r(-2). Suppose -g*h + 0*h + 12 = b. Solve 0*k = -h*k + 3 for k.
1
Let v(a) = a + 11. Let m be v(-8). Solve -m*t + 2*t - 3 = 0 for t.
-3
Suppose 4*p - 6 = 2*p + 2*m, p - 4 = 2*m. Let f be (7 - 0) + 3 + -4. Suppose -j = -2*c - 3*j + 4, -4*j - f = -3*c. Solve c*x = -p*x for x.
0
Let w be 2 + (-3 - 3*-3). Let v = w + -6. Suppose -v*o + 1 = -3. Solve l = -o*l for l.
0
Let o(h) = h**2 + 8*h + 6. Let i be o(-6). Let f = 10 + i. Suppose 0 = -f*b + b. Solve 3*n + 2*n - 10 = b for n.
2
Let q = 14 - 3. Suppose 0*m = m - q. Suppose 4*x - 5*l = 10, -x - l + m = 2*l. Solve 0 = -2*p - 3*p + x for p.
1
Suppose 22 = 5*x + 2*y, x + 5 = 2*y + 19. Solve -3*h = -x*h for h.
0
Suppose -1 = -5*r + 4*r. Solve 0*f = -f + r for f.
1
Let n be 16/(-12)*(-6)/2. Suppose -3*z = n*t - 35 + 6, -2*t = -2*z - 4. Solve 0*m = m + z for m.
-3
Suppose 0 = 17*k - 5*k - 48. Solve -k*p - 8 = -8*p for p.
2
Suppose -5*v + 25 = -0*v. Solve v*t + 13 + 12 = 0 for t.
-5
Let y = 9 - 9. Solve -h - 3*h = y for h.
0
Let p be (1/1)/(3/15). Suppose 3*k = 8*k + p*l - 20, 4 = 2*l. Suppose 0 = -3*w - 5*c + 36, 1 = w - 0*c - k*c. Solve -a + w = 3 for a.
4
Let b(w) = -w + 5. Let r be b(0). Let d be ((-3)/r)/((-2)/20). Suppose -3*j = -d*j. Solve j - 4 = -2*f for f.
2
Suppose -c - p + 22 = 3*p, 0 = -5*c + 2*p. Let h = -33 - -33. Suppose -2*v = -10 - 10. Solve c*n + h = -v for n.
-5
Suppose 0 = 17*r - 22*r + 25. Solve 0 = -3*o - 10 - r for o.
-5
Let c(o) = -3*o**3 - 4*o**2 + o - 2. Let k be c(-2). Solve -6 = -5*t + k for t.
2
Suppose -3*m + 6 = 4*v, m + 5*v - 2 = 3*v. Suppose -2*g = 3*g + 20. Let u be (-51)/(-12) - (-1)/g. Solve m = u*k - 6 for k.
2
Let y = -134 - -134. Solve -7*f + 5*f + 6 = y for f.
3
Suppose 3*q = -j + 19, 2*q + 6 = 3*j - 18. Let g = -8 + j. Solve -g*b + 4*b - 8 = 0 for b.
4
Suppose 3*s = 4*s + 4*k + 16, -3*s + 4*k = -32. Solve -6*w = -s*w + 6 for w.
-3
Suppose x + 0*c = -2*c + 3, 5*c = 2*x - 6. Let q = 8 + -5. Let k = x - q. Solve k = 4*v - 12 for v.
3
Suppose 4*y - 28 = 4*w, -w + 18 = 4*y - 0. Let k = -2 - y. Let x = 11 + k. Solve -x*f + 5 = f for f.
1
Suppose 0 = 7*v - 6*v - 3. Solve v*l - 5 = 1 for l.
2
Let f be 10/(-9)*3*-6. Let q = -7 + 11. Suppose -q*m + m = 0. Solve m = d + 4*d - f for d.
4
Let k(g) = -g**2 + 4*g + 8. Let b be k(5). Suppose -4*j - 3*n + 25 = -b*j, -28 = -j - 4*n. Solve 0*h - j = -4*h for h.
4
Let z be (-3)/((63/150)/(-7)). Suppose 0 = -r - r + z. Suppose -5*i + 3*h = -r, 0*i + 5*i + 4*h - 25 = 0. Solve 6*v - 3 = i*v for v.
3
Let f be ((-4)/10)/((-2)/20). Solve -p - 7 = -f for p.
-3
Let c = -1 + 0. Let r be (1 - c) + (-2 - 0). Solve r = h - 2*h - 2 for h.
-2
Suppose 0 = 28*h - 33*h. Solve -n = -h*n for n.
0
Suppose 2*y - 3*b - 52 = -0*b, -y + 32 = -3*b. Let d be -1 + 1/(3 + -2). Solve 5*z + 0*z + y = d for z.
-4
Let f(p) = -p**2 + 8*p + 3. Let d be f(6). Let q = d - 14. Solve -2*a - q + 5 = 0 for a.
2
Let t(k) = k**3 - 4*k**2 - 7