or s.
2
Let l = 57 - 55. Solve u + 7 - l = 0 for u.
-5
Let d be (-12)/(-15)*(-25)/(-10). Solve 6 - d = 4*w for w.
1
Let r = 19 + -27. Let u = 8 + r. Suppose 2*s + 4 = 4*j - 3*j, 5*s = -j - 10. Solve u = 3*q - j*q + 6 for q.
-2
Let h = -16 - -30. Solve -4*d = -h + 2 for d.
3
Suppose 12 = -3*r, -5*c + 3*r = -27 + 5. Solve 4 + 6 = -c*u for u.
-5
Let c(r) = -r**3 + 2*r**2 + 5*r + 5. Let w be c(5). Let i be w/(-2)*(-4)/(-5). Let h = -7 + 9. Solve -8 = -h*q - i for q.
-5
Let a = -21 + 14. Let r(j) = -3*j + 11. Let c be r(8). Let o = a - c. Solve h = o*h for h.
0
Let f be (-1 - -3)/((-1)/(-4)). Suppose -17 = -5*o + f. Suppose 3*h = -r - 8 + 2, 2*r - h - 9 = 0. Solve r*u + o = 2 for u.
-1
Suppose 19 = -5*n + 29. Suppose 3*a - 5 = 1. Solve n*s + 2 = -a for s.
-2
Suppose m = -0*m. Solve m*u - 2*u = 6 for u.
-3
Let u(z) = 3*z - 54. Let h be u(18). Solve h*c - c - 2 = 0 for c.
-2
Suppose 5*z = 18 - 3. Solve z = -4*n + 7*n for n.
1
Let o(f) = f. Let a(s) = -2*s**2 + 8*s - 1. Let h(c) = a(c) - 6*o(c). Let i be h(-2). Let g(t) = -t**2 - 14*t - 6. Let b be g(i). Solve -2*n + b*n = 5 for n.
1
Suppose -2*x + 32 = -4*n + x, n + 8 = -5*x. Let h be 11/4 + (-2)/n. Suppose 0 = -4*l + l + h. Solve -l = -3*o - 4 for o.
-1
Suppose 9 = 5*r + 3*c, r + 5 + 7 = 4*c. Suppose r = 2*k - 0*k - 6. Solve -1 + k = 2*o for o.
1
Suppose f + 3*f = 20. Suppose -2*h = -5*q + 23, -4*q - 5*h = -0*q + 8. Let j be 3*2/q*1. Solve f - 1 = j*b for b.
2
Let o(g) = g + 11. Let m be o(-6). Suppose 10*z + 4 = 14*z. Let c = m - z. Solve -16 = c*v - 0*v for v.
-4
Let g be -2 - 40/(-1) - 1. Suppose 3*f = -3*a + 30, 6*f - g = 2*f - 3*a. Suppose 0 = -o - 5*m - f, 0 = 3*o + 4*m - 1. Solve o*l + 2*l = 25 for l.
5
Suppose 4*r = 3*v + 33, 0 = -2*v - 0*v - r - 33. Let c = 18 + v. Solve -4*h = -c*h - 4 for h.
4
Let t = 11 + -3. Suppose 0 = 3*x - a - 2*a + 3, 0 = 5*x + a - 7. Let z = x + 2. Solve -t = z*q - 7*q for q.
2
Suppose -8*t - 9 = -11*t. Solve l + t*l - 12 = 0 for l.
3
Let m = -7 - -9. Solve 0 = 5*j - m*j - 3 for j.
1
Suppose 2*x + 2*x = 0. Suppose 4*y + 0*y - 8 = x. Suppose -4 = -2*m - y. Solve 3*k + 2 = -m for k.
-1
Let j be (-5)/(-2)*2/1 + -2. Solve j*a = a for a.
0
Let n = -5 - -8. Suppose 2 = -2*h, -2*r - 2*r + 11 = -n*h. Solve -5*c = 23 + r for c.
-5
Suppose -3*u + 12 = -0*u. Suppose u*k - 6 = 14. Suppose k*i - 4*o + 6 = 0, 7*o - 14 = 3*i + 2*o. Solve i*x = -x for x.
0
Let t(x) = -x**2 - 8*x - 3. Let h be t(-7). Solve 2 = h*d - 2 for d.
1
Suppose -10 + 8 = -w. Let s(v) = -4*v**3 - v**2. Let n be s(-1). Solve n*z - 4 = w*z for z.
4
Suppose 0 = -2*a + a - 3*l + 18, 32 = 3*a - 2*l. Suppose k + 4*d = a, 2*k - k = 4*d - 4. Suppose 3*v + t = -t + 43, v - 11 = -k*t. Solve c + 2*c = -v for c.
-5
Let g = 2 - -3. Let q be (-2)/(-10) - 1/g. Solve q = 2*p + 2 + 4 for p.
-3
Let s(d) = d + 7. Let m be s(-4). Solve -u + m = -4*u for u.
-1
Let h be (-1)/(1/(-2)) + 7. Let n = h - 4. Solve -8 = n*i - 3 for i.
-1
Suppose 3*z + 5*d = 1, 0 = -z - 5*d - 4 + 1. Let a be ((-2)/4)/(2/(-24)). Solve x + z*x + a = 0 for x.
-2
Let j(k) = 3*k**3 + 7*k**2 + 7. Let q(v) = 7*v**3 + 14*v**2 + 15. Let d(b) = 5*j(b) - 2*q(b). Let r be 7/(-1 + 0 + 0). Let y be d(r). Solve -4*i = -3 - y for i.
2
Let z(u) = u**2 + 4*u - 3. Let q be z(-5). Solve s = -q*s - 12 for s.
-4
Suppose -3*r = 5*i - 2*i - 21, 3*i - r = 5. Suppose -3*m + i = -2*m. Solve -m*f - 2 = 1 for f.
-1
Let d = 20 + -11. Suppose 7*w - 4*w = -d. Let f = 9 + w. Solve -4*k - f = -2*k for k.
-3
Let o(x) = -x**2 - 14*x - 10. Let u be o(-13). Solve -2*g - 10 = u*g for g.
-2
Let k be ((-1)/2)/(8/(-16)). Let d be (-1 + k)/(3 + -7). Solve d = 4*r - 0*r for r.
0
Suppose 83 = -2*d + 87. Solve 5*p + d = -13 for p.
-3
Suppose 3*v + 5 - 32 = -2*y, 0 = 5*v + 2*y - 45. Suppose -14*n + v*n + 25 = 0. Solve 3*t = n + 4 for t.
3
Suppose -k - 2*k + 18 = 0. Let u be (8/k - 2)*-3. Solve -5*s - 6 = -u*s for s.
-2
Let a = -136 - -156. Solve -a*z = -21*z for z.
0
Let x = -24 - 3. Let o = 27 + x. Solve 16 = -4*u - o*u for u.
-4
Suppose -4*n + 3*n = -5. Solve -n*d = -4*d for d.
0
Suppose 4*m - 4 = 3*m, -2*p - 3*m + 6 = 0. Let b(o) = o**3 + 2*o**2 - o - 2. Let c be b(p). Let r be (-3)/(-2 + (-10)/c). Solve f + r = -f for f.
-2
Let v be -1 - ((-8)/2 - 2). Solve -y - 4 = -v for y.
1
Let r(n) = n**3 - 2*n**2 - 2*n + 3. Let y be r(2). Let d be -1 + y + 3 + -1. Solve d*i = -i for i.
0
Let f = 16 - 10. Let p = -1 + 1. Let r = p + f. Solve 3*h - h = r for h.
3
Suppose -4*m = -k - m + 7, -m = -2*k + 9. Suppose 0 = -q + 28 - 1. Suppose -4*b + 2*r = -3*r - q, 2*b - 3*r - 15 = 0. Solve 4 = -k*s + b*s for s.
-4
Let t = 8 + -5. Suppose -m = -t*m. Solve 3 = -3*x - m for x.
-1
Let p(i) = 2*i + 1. Suppose d = 2 - 0. Suppose 0 = -d*q + q + 2. Let k be p(q). Solve 0*t - k*t = -10 for t.
2
Let s = 4 + -2. Let h be ((-72)/9)/(0 - s). Solve 3*v = v + h for v.
2
Let x(c) = c**3 - 17*c**2 - 16*c - 36. Let n be x(18). Solve -3*o - 2*o = n for o.
0
Let r be 0/(-2 - (-3 - -5)). Solve r = -3*q + 5*q - 6 for q.
3
Suppose 0 = 5*h + 4*k, 0 = -h - h + 2*k. Let n(c) = c**2 - 6*c + 2. Let v be n(6). Solve -v*d + 3*d - 4 = h for d.
4
Suppose -5*t + 2 = -y, y = t + 9 - 3. Suppose 4 = 4*m - y. Suppose k + 2*k = m. Solve k = 2*i + 3 for i.
-1
Suppose -5*f + 8 = -12. Let j be f/18 + 34/9. Suppose 0*v = -j*v. Solve -o - 3*o = v for o.
0
Let r(t) = -t + 6. Let g be r(5). Suppose a - 59 = -4*l, -3*l = a - 6*a - 50. Let k be (l/(-20))/((-3)/12). Solve -q - g = k for q.
-4
Suppose -3*o + 3 + 3 = 0. Solve -o*a = -4 - 2 for a.
3
Let o be 6/(-33) + (-140)/(-44). Suppose 29 = 2*x + o. Solve 3 = -2*m + x for m.
5
Suppose q - 5*a = 5*q + 146, -185 = 5*q + 5*a. Let o = -14 - q. Solve 0*x = -5*x + o for x.
5
Let b = 11 + -7. Suppose -19 + b = -3*g. Suppose -2*h = g*i - 24, -5*i - 3*h - 2*h + 15 = 0. Solve i*f = 2*f for f.
0
Let z(s) = s**2 - 6*s. Let j be z(6). Let c = j + 2. Solve -13 = -c*y - 5 for y.
4
Let i = -114 + 119. Solve i = 3*t - 7 for t.
4
Let d = -3 - -36. Suppose c = -3*c + 5*i + d, -57 = -4*c - 3*i. Solve -5*f - 3 - c = 0 for f.
-3
Let t(f) = 2*f**2 + f. Let m(q) = q + 3. Let a be m(-4). Let l be t(a). Solve 1 = 2*r - l for r.
1
Suppose 0 = -4*k - 2*c + 18, 3*c = 5*k + 10 - 5. Solve 3*l + k = -7 for l.
-3
Let k(l) = l**3 + 10*l**2 + 9*l + 2. Let v be k(-9). Solve 4*j - 2*j = v for j.
1
Let u(t) = 3*t**3 - 1. Let b be u(1). Solve 0 = b*k + k for k.
0
Let z be 164/20 + (-2)/10. Solve j = -j - z for j.
-4
Suppose 4*r + 0*r = 0. Suppose -12 = -5*k - 0*c + c, -4*k + 3*c = -3. Solve -j + r = k for j.
-3
Let o(g) = 8*g + 72. Let u be o(-9). Solve -5*v - 17 - 3 = u for v.
-4
Let w(k) = 28*k - 3. Let t be w(1). Solve -m = 4*m - t for m.
5
Suppose -c + 3 = 2*c. Let t(a) = a**2 + 4*a + 3. Let k be t(-2). Let z = c + k. Solve 5*h = -5 - z for h.
-1
Suppose -4*q + 0*c + 22 = -2*c, -3*c + 9 = q. Let r be 2/(2/(-4)*2). Let p be r/(-8) - 23/(-4). Solve -q*t + 3*t = p for t.
-2
Let q(m) = -m**2 + 2*m + 5. Let d be q(3). Solve 0 = -0*l - d*l + 4 for l.
2
Suppose 4*s = 3*x - 25, 2*s - 5 = x - 2*s. Let q be x/3 + -4 + 1. Solve -q*j + 4 = -2 for j.
3
Suppose p = 5*p - 4*o, 0 = -3*p - o + 20. Solve 0 = p*w - 0*w + 5 for w.
-1
Suppose 4*i - 12 = 4. Suppose -76 = -i*s + 4*u - 0, -2*u - 10 = 0. Solve 5*b + s = 4 for b.
-2
Let t(w) = -3*w**2 - 9*w - 5 - 3*w**2 - 2*w**2 + w**3 + 12. Let p be t(9). Solve -3*f = -p*f - 8 for f.
-2
Suppose 4*s = -4*q, 5*q - s - 12 = -2*s. Solve 0 = 2*r - 5 + q for r.
1
Let f = 2 + 3. Suppose f*i - 2*i = 9. Solve -n = i*n - 16 for n.
4
Suppose -o = -3*h + 15, o - 3*o = -h + 10. Suppose 4*b = h*t - 0*t, -b + 15 = 2*t. Suppose -8 - b = 3*z - 4*d, -2*z - 3*d + 14 = 0. Solve -2*l = -3*l - z for l.
-1
Let l = 72 + -70. Solve l = -4*a - 2 for a.
-1
Suppose 3*o + 0 = 9. Let g(a) = -6*a + 1. Let k be g(-1). Suppose 3*u - 3*w - 38 = -2, w + 4 = 0. Solve -o*y = k + u for y.
-5
Let t = 18 + -11. Let n(q) = -q + 9. Let w be n(t). Solve r = w*r - 2 for r.
2
Let s be ((-4)/(-10))/((-3)/(-30)). Suppose r = 2*r + 5*t - 34, 4*r = -3*t + 68. Let v be (2/(-4))/((-1)/r). Solve -s*x = -v*x for x.
0
Let d = 5 + -3. Suppose -d*x - 10 = -4*x. Solve c - x*c - 20 = 0 for c.
-5
Suppose -11*v = -16*v. Solve 0*y + 3*y + 15 = v for y.
-5
Let l(k) = 3*k - 3. Let w be l(5). Let n be ((-8)/(-5))/(4/10). Let a be (n/(-12))/(1/(-6)). Solve 2*r + w = a for r.
-5