or t.
-4
Suppose s - 24 = -4*u, 3*u + s - 18 = -s. Solve -4*d = -2*d + u for d.
-3
Suppose 30 = 3*g + 2*g. Let t = g - 5. Solve 2*s + t = 5 for s.
2
Let p(q) = -q**3 - 8*q**2 + 21*q + 13. Let h be p(-10). Solve 8 = -h*o + 23 for o.
5
Suppose -21 - 4 = -5*o. Suppose -o = -t + 2. Let i(a) = a + 1. Let h be i(t). Solve 0 = -2*n - 2 - h for n.
-5
Suppose -3*n + 0*n - n = 0. Solve t + 0 - 2 = n for t.
2
Let c(v) = 8*v. Let d be c(1). Let r = -7 + 5. Let a be (4/(-6)*6)/r. Solve 2*o = -a*o - d for o.
-2
Let v = 12 - 6. Let o be 3/(9/v) - 1. Solve q + 0*q = -o for q.
-1
Let l(n) = n**3 + 3*n**2 - 5*n + 1. Let t be l(-4). Let p = 22 - 19. Solve 0 = -p*m - t + 2 for m.
-1
Let m(d) = -2*d**2 + 3*d + 2. Let w be m(3). Let u(z) = -z**2 - 8*z - 1. Let g be u(w). Let l = -3 + g. Solve 0 = -l*a - 2*a - 10 for a.
-2
Let y(o) = o**2 + 8*o + 3. Let x be y(-8). Let d be x*(6/3)/6. Let w be 0/(-6)*d/2. Solve -4*t + w = 8 for t.
-2
Let m(p) = p**2 + 2*p + 2. Let n(s) = s**2 - 4*s + 2. Suppose c - 4 = -2. Let b be n(c). Let y be m(b). Solve 0*i = -2*i + y for i.
1
Suppose -2*a - 3*b = 1, -3*b + b = -a - 4. Let t be 8 + -2 + 0 + a. Solve t = -k + 3*k for k.
2
Suppose l + 9 = -4*f - 2*l, 3*f + 3 = -l. Suppose -10*z = -61 - 89. Solve f = -3*t - 2*t - z for t.
-3
Suppose 3*a - 15 = 4*d - 0*a, 0 = 2*a - 10. Solve d = -2*x + 6 - 0 for x.
3
Let q = 31 - 27. Solve -8 = -4*h + q for h.
3
Let a = 9 - 9. Suppose 2*h + 2*h - 4 = a. Solve 2*i - h = -3 for i.
-1
Suppose -4*z - 2*a + 2 = 0, -2*z - 6 = 3*a - 1. Solve -5*q = -18 - z for q.
4
Let g = -5 - 3. Let u = -6 - g. Solve -2 = 3*j - u*j for j.
-2
Let d(q) = -q**2 + q + 1. Let r be d(2). Let y(o) = 3*o**2 + o. Let f be y(1). Let z = f + r. Solve 3*j - z - 3 = 0 for j.
2
Let a be (32/(-5))/(14/(-35)). Suppose 0 = 3*z - a + 1. Solve z*m - 5 = 20 for m.
5
Suppose a + 1 = -9. Let y = a + 10. Suppose 5*w - 7*w + 22 = y. Solve -w = 3*j + 4 for j.
-5
Let w(q) = -q**3 + q + 4. Suppose -4*k = -k. Let z be w(k). Let b(x) = x**3 - 5*x**2 + 6*x - 3. Let p be b(z). Solve 2*a - a = p for a.
5
Suppose 5*t = -2 + 17. Suppose -i = -t*i + 6. Solve 0 = -2*b - i*b for b.
0
Suppose -2*t - 5*z - 2 = 0, -2*t + t - 3*z = 2. Suppose -t*u + 0*u = -8. Solve -p + u = -1 for p.
3
Let y = 11 - -13. Solve y = -5*f - 1 for f.
-5
Let x be (-6)/((-21)/6 + 2). Let u(b) = -b**2 - 1 - x + 2*b**2 + 4*b. Let h be u(-5). Solve h*k + 1 = k for k.
1
Let p(w) = 2*w**2 - 4*w - 6. Let j(z) = 1. Let x(n) = 5*j(n) + p(n). Let k be x(3). Solve -k = -3*c + 7 for c.
4
Let u be 268/(-7) + 14/49. Let a = u - -63. Solve b - a = 6*b for b.
-5
Let o be (12/(-4)*-1 + -3)/2. Solve 2 = -o*x - x for x.
-2
Let y be (-4)/(-10) - (-24)/(-10). Let m(r) = r**2 + 3*r + 2*r**2 - r**2 + 1. Let j be m(y). Solve -j*n - 3 = -0*n for n.
-1
Suppose r - 57 = -3*r - 5*y, -2*r = y - 21. Let b be 6 + 0 + (-4)/2. Let s be b/1*5/4. Solve r*o - s*o = -6 for o.
-2
Let h be ((-5)/(15/(-9)))/1. Suppose 0 = h*m - 0*m - 9. Solve -4*o + o = m for o.
-1
Suppose 0*n + 3 = n, 3*z - 3*n = -3. Solve y - z = -5 for y.
-3
Suppose -15 = 5*l, 2*q + 3*q + 2*l + 6 = 0. Solve -5*p + q*p + 10 = 0 for p.
2
Let b(c) = -c**2 + c + 3. Let j be b(0). Suppose -6 = -j*m + 9. Solve 20 = -5*i + m for i.
-3
Let y = -10 - -12. Suppose -y*m + u = 3, -4*u + 3*u = -5. Solve -i - m = -5 for i.
4
Let w(l) = l**2 + 13*l - 27. Let b be w(-15). Solve -3 = b*x - 0 for x.
-1
Let h = 5 - 0. Suppose -5*a + 100 = -60. Solve 0 = h*x - a + 12 for x.
4
Suppose -2*l - 3*l = -5*v - 5, 2*v - 3*l + 6 = 0. Solve 0 = -2*m - v*m + 10 for m.
2
Suppose 3*t - 8 = -2. Let f(n) = n**3 - 2*n**2 + 3*n - 3. Let j be f(t). Suppose -j*c = c - 76. Solve -c = -5*k + 1 for k.
4
Suppose 15 = -4*v + 3. Let o = 1 - v. Solve -w - o*w = -25 for w.
5
Let t(q) = -q + 7. Let c(i) = -i**2 - 16*i + 24. Let x be c(-17). Let o be t(x). Solve n + 3 + 1 = o for n.
-4
Let t = 95 + -93. Solve -o + t = o for o.
1
Let g = 6 + -6. Suppose g*t + 5*t - 10 = 0. Suppose 6 = 4*k - t. Solve k*l = -l + 6 for l.
2
Let y(s) = s**2 - s - 2. Let i = 10 - 5. Let k be y(i). Solve 0 = -4*x - k + 2 for x.
-4
Let j be 2/4 + 273/14. Suppose 0 = -2*o, -2*w - o + j = 2*w. Solve -7*n = -2*n - w for n.
1
Suppose -2*d - 5*a - 9 = 0, 8*d = 3*d - 2*a + 9. Solve 0 = -p + d*p - 2 for p.
1
Let h(r) = r + 16. Let g be h(-12). Solve g*v + 14 + 6 = 0 for v.
-5
Suppose -15 = 3*w, 3*g + w - 3 = 1. Suppose -g*h = -h - 8. Suppose -h*f + 9*f = 35. Solve 2*c + f - 1 = 0 for c.
-3
Let f(y) = 7*y - 3. Let z be f(4). Let p(j) = 2*j - 9. Let d be p(7). Solve -d + z = 5*c for c.
4
Let x(d) = d + 8. Let r be -3 + -3 + (7 - 1). Let z be x(r). Solve -5*f = -f - z for f.
2
Let x be 34/(-3) + 12/(-18). Let g be ((-3)/9)/(1/x). Solve -g = u - 2 for u.
-2
Let w be ((-1)/(-2))/((-4)/(-56)). Solve -3*b = w + 8 for b.
-5
Suppose 3*u + 2*u - 5 = 0. Suppose -5 + 0 = -y + 3*j, 0 = y + 4*j - 5. Let o = y - u. Solve -o*b = -b + 6 for b.
-2
Let p = -2 - -6. Solve -l = p*l + 20 for l.
-4
Suppose -4*u + 12 = 28, 5*d - 3*u = 22. Solve d*o - 7 = 3 for o.
5
Let w = 29 - 22. Solve 0 = -2*k + w*k + 25 for k.
-5
Suppose -9 = -3*d - 6*d. Solve 3 = l + d for l.
2
Let m(b) = -b**2 + b. Suppose 0 = p + 3*p. Let g be m(p). Solve 0 = -g*a - 2*a + 10 for a.
5
Let r be -1 + 10 + -3 + -3. Suppose -4*b = 2*w - 40, r*b = 5*w - b - 44. Solve t = -2*t + w for t.
4
Let z(p) = -p - 4. Let l be z(-4). Let y(x) = 2*x**2 - x + 4. Let q be y(0). Solve v - q*v = l for v.
0
Suppose 5*v = 8*v - 9. Solve f = v*f - 10 for f.
5
Let g = 24 + -19. Suppose -3*s - 4*a = -a + 6, 2*a = -4*s + 2. Solve -g*m - 2 - s = 0 for m.
-1
Let w be -2*21/(-24)*8/2. Solve -w = -3*z - 1 for z.
2
Let r(m) = -m**2 - 5 + 5*m + 3 + 5 - 5. Let t be r(3). Solve -s + t*s = -3 for s.
-1
Let g = 0 + 5. Suppose -4*t = 2*t - t. Solve t = -4*f - f + g for f.
1
Let c(a) = -a**2 + 2*a + 2. Let d be c(-2). Let v be d/(-21) + 304/14. Suppose -2*s + 4*o + v - 4 = 0, 3*s - 27 = -o. Solve -2*w + s = 3 for w.
3
Suppose -14*h + 24 = -8*h. Solve 3*s - 4*s = h for s.
-4
Suppose 4*q = -i + 20, -17 = -3*i - 4*q + 19. Solve i*u + 15 = 3*u for u.
-3
Suppose -2*c + 4*i = -c + 3, 3*i + 2 = 5*c. Suppose 6*m = 4*m + 8. Solve -3*w = m - c for w.
-1
Let j = -1 - -3. Let p be (j + -2)/(3/1). Solve 2 = -o - p for o.
-2
Let f = 0 - -3. Solve f*q = -2*q - 15 for q.
-3
Suppose 0 = -3*q + 5*g - 7, -21 = -q + g - 4*g. Solve -6 = 4*x + q for x.
-3
Let l = -20 - -20. Let t = 4 + l. Solve -t*q - 9 = -q for q.
-3
Suppose 0 = -20*p + 16*p + 12. Solve -p*w + 10 = -5*w for w.
-5
Suppose 0*i = -v + 2*i + 3, -3*v - i = -9. Solve v*s = 2*s + 5 for s.
5
Let z = -1 - -3. Suppose 2 - 8 = -z*w. Suppose 0 = -b - 5*d - 1 + 24, 0 = -2*d + 8. Solve 15 = w*h + b for h.
4
Let y be (0 + 3 - 3)/(-1). Suppose y = 2*l + n - 15, -1 = -l - 5*n - 7. Solve -3*f = -3 - l for f.
4
Let m = 17 + -9. Suppose 0*o + m = o. Solve 4*r = -o - 12 for r.
-5
Suppose -1 = 3*n - 7. Let t be (2 - n)/(1/1). Solve -4*b - b - 20 = t for b.
-4
Suppose 0*b - 2*b = w - 5, 4*w = 5*b - 6. Solve -12*a + b = -11*a for a.
2
Let b = 2 + 6. Let a be (1 - 2)/1 + 3. Solve a*l - 6*l - b = 0 for l.
-2
Suppose 3*p = 5*p - 4. Solve 9 = p*z + z for z.
3
Let q = 16 + -14. Solve 0 = q*p - 4 for p.
2
Let v = -7 - -11. Suppose -2*p + v*n + 0 = 10, -3*p + 4*n - 5 = 0. Solve -12 = p*y + 8 for y.
-4
Let t = -1 - -6. Suppose -2*p + t = 3. Suppose 16 = 3*h + p, 35 = 2*y + 3*h. Solve 4*q = -y - 6 for q.
-4
Let y be 22*(-2)/(-4) - 3. Let g = 5 - 2. Solve y + 7 = g*n for n.
5
Let n(y) = -8*y**2 - 5*y**2 + 18*y + 22 + 12*y**2. Let s be n(19). Suppose -2*o = -3*k + 23, 3*k + 2*o = -0*k + 7. Solve s*r + k + 7 = 0 for r.
-4
Let j = 10 - 7. Suppose 0 = 2*v + j*v - 25. Solve s = v*s for s.
0
Suppose -3*l - 2*h + 6 + 11 = 0, 5*h = -2*l + 15. Let s = l + 1. Let y = 8 - s. Solve y*c = c - 5 for c.
-5
Let y be (-32)/(-18) + 10/45. Suppose -3 - 5 = y*t, -t + 32 = 4*q. Solve 1 = -5*w - q for w.
-2
Suppose -3*x + 2*x = 4*u - 2, 0 = 4*u - 4*x + 8. Solve u = -c + 6 - 4 for c.
2
Let a be (-8)/(-28) - (-12)/(-42). Solve -5*y = -a*y for y.
0
Suppose g = u - 3, -g - 3*u + 0*u = -17. Solve -g*n + n = 0 for n.
0
Suppose 9 = -h + 5*g, 5*h = -0*h + 5*g + 15. Suppose h*u = u + 10. Solve -u*t = -3 + 1 for t.
1
Suppose -3*o = -2*o + 4*c - 12, 0 = 4*c - 4. Solve 0*x = -2*x + o for x.
4
Let j = -5 + 7. Let d(v) = v**2 - 2*v + 2. L