d + a = 3*d for d.
-4
Let u be (-20)/1*2/(-4).  Suppose 2*s - u = 2*k, -3*k - 6 = -0*k.  Suppose s*n - 21 = -0*n.  Solve 0 = b + n - 3 for b.
-4
Let u be 8 + 1 - 15/5.  Let x = 1 + u. Let y = x + -3.  Solve y*b + 22 = 6 for b.
-4
Let l be (-10)/(-5)*(-3)/(-3).  Solve l*g - 6 + 0 = 0 for g.
3
Suppose 5*r - 10 - 3 = -4*s, 5*s - 7 = 3*r.  Suppose 4*k - 5*m - 26 - 1 = 0, -4*k + 18 = -2*m.  Solve y = -k + r for y.
-2
Let h(q) = -8*q**2 + 5*q - 19*q + q**3 + q**2 - 5*q**2 + 18.  Let o be h(13).  Solve -s - 4*s = -o for s.
1
Suppose -3*d = 3*q - 15, 3*q - 18 = -4*d - 2.  Suppose t - 2 = -3.  Let w(k) = -2*k**3 + 2*k**2 - 1.  Let o be w(t).  Solve o*y - 10 = -q for y.
2
Suppose -4*k = 4*n + 12, -2*k + 3*n = k - 9.  Solve k = o + 2*o - 3 for o.
1
Let l be 70/4 - (-1)/2.  Suppose 0 = -4*g - t + 15, 0 = -3*g - t + 2*t + 6.  Solve -3*o + l = g for o.
5
Suppose -8*r = -6*r - 8.  Solve -r*c = -6 - 14 for c.
5
Let t(w) = -7*w**2 - 5*w - 5.  Let d(i) = 4*i**2 + 2*i + 3.  Let g(n) = -5*d(n) - 3*t(n).  Let y be g(-4).  Let o = -2 - y. Solve 0*s + o*s - 8 = 0 for s.
4
Suppose -2*y = -4*y + 2.  Let v be (-5 - y)*3/(-6).  Solve f - v + 2 = 0 for f.
1
Let i(j) = j**3 - j + 3.  Let v(p) = -p + 1.  Let y be v(-2).  Suppose -2*b = -y*b.  Let u be i(b).  Solve 5*h = -u - 7 for h.
-2
Suppose 2*s + 0*s = 0.  Solve s*z - 2*z = 10 for z.
-5
Suppose z = 4*z - 6.  Let f be 3 + (-1 - -1)/(-1 - 0).  Solve 5 = -f*m - z*m for m.
-1
Let x = 53 - 50.  Solve x = -d + 5 for d.
2
Suppose 5*v = 8*v - 12.  Suppose -v*l - 5*q + 5 = -8, 8 = 3*l + 2*q.  Solve -5*d = 3 + l for d.
-1
Suppose 0 = -2*x + 64 - 24.  Suppose -2 = -3*m - 2*u, 0*u - x = -5*m + 5*u.  Suppose l - m*a - 26 = -l, -2*l - 3*a + 41 = 0.  Solve 6*j + l = 2*j for j.
-4
Suppose -8*s + 32 = -88.  Solve f = 4*f + s for f.
-5
Suppose 2*q - 5*x - 9 = 0, 2*x + 4 = -2*x.  Solve 2*s + q = 4*s for s.
1
Suppose -4*k - 5*m + 5 = 0, 5*m - 4 = -19.  Suppose 0*t - k*t = -50.  Suppose 3*h = -2*h + t. Solve h*y - 15 = -y for y.
5
Let w(x) = x**3 + 9*x**2 - 10*x + 6.  Let o be w(-10).  Solve 0 = -5*t + o*t for t.
0
Let z be 4/14 - (-4)/(-14).  Solve z = a + 4*a for a.
0
Let w(u) = -2*u**3 - u**2 - 2*u - 1.  Let v be w(-1).  Let a be 4 - (-4 + v)/2.  Suppose 14 = a*y - 1.  Solve 7 = -y*o - 2 for o.
-3
Suppose -2*h + 15 = -5*k, -k + 0*k = 3*h + 3.  Solve h*y = 5*y - 15 for y.
3
Suppose -3*y = 4 - 13.  Suppose d + 0 = y. Solve 8*o = d*o + 20 for o.
4
Let a(i) = -i**2 - i + 15.  Let k be a(0).  Solve -1 = -16*w + k*w for w.
1
Let n = 1 - 1.  Solve -7*b + 2*b + 25 = n for b.
5
Suppose 5*j = 16 + 14.  Let u = 33 - 13.  Solve -h + u = -j*h for h.
-4
Let c = -44 - -81.  Let r = -25 + c. Let t be (-6)/(-4)*r/9.  Solve -4*b + t*b = 0 for b.
0
Suppose 0*i = -i - 3*r - 15, 5 = 2*i - r. Suppose 5*p - 3 = -d - i*d, -2*d + 6 = -3*p.  Solve d*w + 0*w + 3 = 0 for w.
-1
Suppose 3*t = 2*i + i + 18, 0 = -2*t - 3*i - 8.  Let b = -3 + 3.  Solve b*z + 4 = -t*z for z.
-2
Let k(v) = 3*v**2 - 26*v - 6.  Let g be k(9).  Suppose 4*t + 8 = 40.  Solve n + t = -g*n for n.
-2
Suppose -5*x + 27 - 2 = 0.  Let j be -24*(-1 + 1/(-3)).  Suppose -2*b - 2 = 2*a - j, -2*b = -4*a - 12.  Solve -b = t - x*t for t.
3
Let a(u) = u**2 + u + 9.  Suppose d + 4*d = -5*r, -3*d = 5*r.  Let t be a(r).  Solve 0 = 3*j - 0*j + t for j.
-3
Suppose -5*o = -3*o.  Solve 0*s - s - 3 = o for s.
-3
Let d(o) = -o**2 + 4*o + 5.  Let b be d(5).  Suppose -3*r = 4*q - 16, 3*q = r - 6*r + 12.  Let c = q + b. Solve -3*s - 1 + c = 0 for s.
1
Let v = 8 + 22.  Suppose 5*o - 5*s - v = 0, o - 4*s - 23 = -5.  Solve o*y + 3*y = -10 for y.
-2
Let d be ((-14)/(-3))/((-16)/(-24)).  Let b = 15 - d. Let i(p) = 2*p**2 + 1.  Let j be i(-1).  Solve -2 + b = j*k for k.
2
Suppose 4*h - 5 = -4*u - 9, -4*h + 4*u = -36.  Solve -w - h*w = 0 for w.
0
Let u(r) = -r**3 - 5*r**2 + r + 5.  Let x(j) = j**2 - 6*j - 5.  Let w be x(6).  Let g be u(w).  Let k(b) = b + 8.  Let m be k(-4).  Solve g = -5*c - m - 6 for c.
-2
Suppose -2 - 4 = -2*f.  Suppose 2*z = -3*r + 1, 4*z + r = -4*r + f. Solve -t = -2*t - z for t.
-2
Suppose -3*c = -65 - 1.  Let v = 24 - c. Solve -3*w = v*w - 5 for w.
1
Let d = -9 - -14.  Let m be (-2)/d + (-141)/(-15).  Solve -m - 11 = 4*p for p.
-5
Let n(z) = -3*z + 3.  Let g be n(3).  Let i(y) = y**3 + 7*y**2 + 6*y.  Let h be i(g).  Solve 5*d + h*d + 5 = 0 for d.
-1
Let u be 6*(3 + 16/(-6)).  Solve -3*b = -2*b - u for b.
2
Let h(n) = 3*n.  Let w(u) = 4*u - 1.  Let c(r) = 5*h(r) - 4*w(r).  Let l be c(0).  Solve -6*k + l = -2*k for k.
1
Suppose 3*g + 20 = 4*f, 5*g - 3*g + 4*f = 20.  Suppose -46 = -4*l + 2*j, 4*j + 1 + 13 = 2*l.  Suppose 4*v - l - 23 = g. Solve -2*p + v = p for p.
3
Let k be 0/((-6)/(-3) - 0).  Suppose 5*f + 3*s - 22 = k, -2*f + 4*s + 6 - 18 = 0.  Solve -f = -m - 1 for m.
1
Suppose g - 5*m + 13 = 4*g, -3*g + 17 = m. Let h be -5*(1 - (-14)/(-10)).  Solve g*n - h*n = 16 for n.
4
Let p(q) = q + 11.  Let v be p(-8).  Suppose 0 = -b + 4 - 0.  Solve -b*g - 13 = v for g.
-4
Suppose 3*s - t - 13 = 2, -s = 5*t + 11.  Let d = 4 - -16.  Suppose -6*v = -2*v - d. Solve -s*y + 5 = -v*y for y.
-5
Suppose -2*b + 1 + 3 = 2*k, 4*b = -16.  Solve 2 + k = -2*h for h.
-4
Let k(t) = 2*t + 7.  Let i be k(0).  Solve -i*c - 3 = -8*c for c.
3
Suppose 26*l - 41 - 89 = 0.  Let g = 0 - -6.  Solve 0 = -3*h + l*h - g for h.
3
Let y be ((-12)/15)/(4/(-10)).  Let k(w) = -5*w**3 - 2*w**2 + 1.  Let m be k(-2).  Let u = m + -23.  Solve -u = 4*f + y for f.
-3
Let o = -11 - -16.  Suppose 3*s + 10 = -o*j + 56, -5*s + 3*j = -20.  Solve s*h - 20 = 2*h for h.
4
Suppose 3*h - 68 = -17.  Suppose -4*c = 4*d - 3*c - h, 0 = 2*d + 3*c - 1.  Solve -d*b - 12 = -b for b.
-3
Let q(r) = -3*r - 13.  Let g be q(-8).  Solve -2*z - 1 = -g for z.
5
Let m(q) = -2*q**2 - 10*q - 4.  Let y be m(-4).  Solve -f + y = 7 for f.
-3
Let p = 9 - 6.  Let h be (0 + -1)/(1/p).  Let y be 0/((3 - 2) + h).  Solve y - 2 = -u for u.
2
Let u = -27 - 0.  Let a = -15 - u. Suppose a = -j + 5*w, 0*j + w = -3*j + 28.  Solve -3*r - j - 7 = 0 for r.
-5
Let t be (-2)/9 + 2/9.  Let m be 2 - (-1 - -1)/3.  Suppose t = m*r - r. Solve r = -6*d + 3*d + 9 for d.
3
Suppose 28 = -0*i + 4*i.  Solve 0 = 3*k - i + 1 for k.
2
Let z = 10 + -14.  Let x = z + 8.  Solve 25 - 9 = x*u for u.
4
Let l = 48 + -40.  Solve 4*j + 16 = l*j for j.
4
Let u be (-2 - -5) + 0 + -1.  Solve -7*i = -u*i for i.
0
Suppose 0 = -q - 0 + 2.  Let p(j) = 2*j**2 - j + 2.  Let z be p(q).  Let c = 8 - z. Solve -l - 4 = -c*l for l.
-4
Let r(t) = -t**2 + 11*t - 10.  Let v be r(10).  Let p(f) = f**3 - 6*f**2 + 5*f + 5.  Let k be p(5).  Solve v*w + 10 = -k*w for w.
-2
Suppose 6 = 3*g - g. Suppose g*u = 7*u.  Let h(x) = 2*x + 7.  Let r be h(-3).  Solve u = -5*z + 6*z + r for z.
-1
Let z be -2 + -2 + 28*1.  Suppose -6 + z = 2*h.  Suppose -4*d + 20 = 4*v, -2*d - 4*v + 7 + h = 0.  Solve 0 = -p - d*p for p.
0
Let r = -18 + 2.  Let s be 34/8 + 4/r. Solve b = s*b for b.
0
Suppose -v - 3*w + 11 = 0, -w + 4*w = 6.  Solve 6*y - v = y for y.
1
Suppose 18*v - 16*v - 2*m = -8, 28 = 3*v + 5*m.  Solve -13 = 4*u - v for u.
-3
Let n(r) = -1 + 6*r**2 - 6*r**2 - r + r**3 + 7*r**2.  Let w be n(-7).  Solve 3*j - 15 = -w for j.
3
Suppose 4*a = 2*a + 2.  Suppose 0 = 4*v + v - y - 10, 3*v - 2*y + a = 0.  Solve 18 = -5*r + v for r.
-3
Suppose -18 - 42 = -5*p.  Solve s - p = 5*s for s.
-3
Suppose -2*y = 2*y - 32.  Suppose a - y = -a.  Solve -18 = a*d + 2 for d.
-5
Suppose 2*u - u + 16 = 0.  Let a be 15/6*u/(-10).  Solve d - a*d = 0 for d.
0
Suppose -4*d + 16 = -n, 0 = -4*d - d - 2*n + 7.  Solve q + 20 = -d*q for q.
-5
Let b be 1 + 80*(-5 + 0).  Let r be 2/5 - b/15.  Suppose -o = 2 - r. Solve 5*v + 0*v = o for v.
5
Let m(z) = -z + 1.  Let x(v) = -v**2 - 5*v + 1.  Let g(k) = 3*m(k) - x(k).  Let l = -14 + 12.  Let i be g(l).  Solve a = i - 4 for a.
-2
Suppose 11*z = 6*z.  Solve z = -0*y - 4*y + 20 for y.
5
Let z be 2*(-2 - 5/(-2)).  Let n be (-3*z)/(-9)*15.  Suppose n*h + 1 - 10 = 3*v, v = 2*h - 4.  Solve i = h*i for i.
0
Suppose 0 = -4*t + 10 + 2.  Suppose 28 = 4*p - 2*z + 4, 0 = 3*p - z - 20.  Solve 7 + p = t*y for y.
5
Let n = 7 + -7.  Solve 0 = -j + 3 - n for j.
3
Let z = 14 - 8.  Let q(u) = z + u + 0 - 2 + u. Let n be q(7).  Solve n = -4*l + 2 for l.
-4
Let h = -10 + 11.  Solve 0 = l - h + 5 for l.
-4
Suppose y - 2*q + 4 = 0, 0*q + q - 2 = 5*y.  Solve -b + 3*b - 6 = y for b.
3
Suppose -3 = 3*p - 27.  Let k = 26 - p. Suppose -k = 4*a - 7*a.  Solve -3*t + t - a = 0 for t.
-3
Let g be (-2 - (-1 + -6))*1.  Let v(b) = 2*b**2 - b - 5.  Let x b