
Let s = -213 + 221.  Suppose -4*w = -s*w + 8.  Suppose 2*c = 6*c.  Solve m + c = w for m.
2
Suppose 5*v - 20 = v. Let d = 87965 + -87943.  Solve 27*p = d*p + v for p.
1
Let n(j) = j**2 + 7*j - 8.  Let b be n(-8).  Suppose 2*a - 30 = 3*g, b*g - 3*g = 4*a - 42.  Let f be 6/(-4)*(-16)/6.  Solve 0 = -f*h + h + a for h.
4
Let s be (-12)/54 + (-120)/(-54).  Let v be 52/(-6) - 2/(-3).  Let y(b) = b**2 + 7*b - 5.  Let h be y(v).  Solve s*j - 20 = -h*j for j.
4
Let y = -301 - -345.  Suppose -15*j + 31 = -y.  Solve 4 + 11 = j*p for p.
3
Let b(d) = 4*d + 51.  Let f(z) = -z - 40.  Let x be f(-28).  Let h be b(x).  Solve 0 = -3*r - h*r for r.
0
Let a = -2922 - -2922.  Solve a = -32*n + 36*n + 16 for n.
-4
Suppose -18*i + 26*i - 960 = 0.  Let c be 8/3*90/i. Solve c*l = -3*l + 15 for l.
3
Let y(j) = -17*j**2 + 114*j - 134.  Let v be y(5).  Solve -v*h = -493 + 559 for h.
-6
Let r(i) = 9*i + 2.  Let m be r(-3).  Let u = m + 23.  Let a be (-90)/(-9)*(-1)/u.  Solve 0*f - 5*f = a for f.
-1
Let d = 26 + -23.  Let a(g) = 2*g**3 - 3*g**d + 0*g**3 + 9 - 6*g**2 - 4*g + 0*g.  Let j be a(-5).  Solve 6 + 2 = -j*b for b.
-2
Suppose 82*v - 19*v - 62651 = 2932.  Solve v - 1029 = 6*t for t.
2
Let x be 10 + -12 - (-4 - 1).  Suppose 0 = 4*g + 4*a + a - 32, 0 = -x*g + 3*a - 3.  Solve -g*t = t + 4 for t.
-1
Let q = 235 + -206.  Suppose 5*j - q = 4*x, j - 4*x - 14 + 5 = 0.  Solve 0 = -j*l - 10 for l.
-2
Let z(w) = -w**2 - 47*w - 88.  Let d be z(-45).  Suppose -d*s - 5*l = -30, -9*l + 54 = 3*s - 6*l.  Solve -15*m = -s*m for m.
0
Let k be ((-12)/(-9))/4 + (-7654)/(-267).  Solve -43*t - k = -72 for t.
1
Suppose 4 = -3*l + 4*b, b = -3*l - 28 + 29.  Suppose 0 = -4*q - 2*k + 10, l = -2*q + 12*k - 14*k + 8.  Solve -q = 7*m - 8*m for m.
1
Suppose 204*n - 6881 - 4285 = 50238.  Solve -n*r = -304*r + 18 for r.
6
Let i(d) = d**2 - 14*d + 2.  Suppose 2*p = 2*l + 22 + 2, 0 = 5*p + 2*l - 74.  Let k be i(p).  Suppose k*n + 10 = 0, -f - 3*f + 4*n = -60.  Solve -f = q + q for q.
-5
Suppose 72 = 4*y + 5*a, 0 = 3*y - 4*a - 51 + 28.  Solve 0 = -5*r + y*r for r.
0
Let s = -10 - -30.  Let v = s + -14.  Let h(z) = z. Let n be h(3).  Solve 0 = n*c - c + v for c.
-3
Suppose 24 = 3*i, 286*b - 90 = 281*b - 5*i.  Let p = 6 - 4.  Suppose -7 = -o + 4*c, -p*o + 3*c = 2*o - 15.  Solve l - o*l + b = 0 for l.
5
Let n(j) = -22*j + 87.  Let b(l) = 35*l - 131.  Let w(r) = 5*b(r) + 8*n(r).  Let x be w(-16).  Solve 5*u - x + 57 = 0 for u.
0
Let y = -4716 + 4725.  Solve -25 = y*i + 20 for i.
-5
Suppose 3*d - 56 = -4*y, -3*d + y - 18 + 49 = 0.  Solve 0 = 91*m - 89*m + d for m.
-6
Suppose -30*l = -31*l + 80.  Solve -l + 104 = 12*b for b.
2
Let d(n) = n**3 - 54*n**2 - 44*n - 77.  Let l be d(55).  Solve l*q = 522*q - 36 for q.
-6
Suppose -9*y = -21240 + 18540.  Solve 6*m = 294 - y for m.
-1
Let j be (-28)/4 + 100 + -1 + 3.  Suppose -c - 4*q = -2*c + j, -20 = 4*q.  Suppose 3*s + 3*x - 45 = 0, -3*x = 5*s - 6*x - c. Solve -s*n + 12*n - 15 = 0 for n.
-5
Let k = 15103 + -14764.  Solve -43*m + 81 = k for m.
-6
Suppose 80 + 6 = -2*d.  Let k(w) = -w**2 - 3*w - 26.  Let p be k(-6).  Let f = d - p. Solve -7 - f = 2*g for g.
-4
Let k be 2/(-4) - 45/(-6).  Suppose -5*f = 2*u + 3*u - 25, -k = u - 3*f.  Suppose 6*l - 26 = u*l + 2*z, 3*l - 17 = z. Solve -9*s = -l*s for s.
0
Let b(o) = -4 - 5 - 5*o - 47*o**2 - 7*o + 48*o**2.  Let a be b(13).  Let m be 2/a*14/1.  Solve m*g - 6 = 4*g for g.
2
Let y(c) = 4*c**2 + 47*c + 216.  Let t be y(-7).  Solve -t + 83 = -2*i for i.
0
Let h(q) = q**2 + 63*q + 752.  Let x be h(-47).  Solve x = -23*b + 33*b + 60 for b.
-6
Suppose -11*i = 9*i - 3*i - 306.  Solve 44 = 31*v - i for v.
2
Suppose 30*s = -12*s + 168.  Suppose 2*n - 51 = -3*h - 12, 0 = s*n + 12.  Solve -5*b + 5 - h = 0 for b.
-2
Let v(n) be the second derivative of 23*n**3/6 + 57*n**2/2 + 65*n.  Let g be v(-2).  Solve 2*s - g*s = 36 for s.
-4
Suppose 0 = -3*x - 2*x + 825.  Suppose 4*m + 18 = -c - 15, -5*c - x = m. Let h be 11/c - 14/(-6).  Solve i - h*i + 2 = 0 for i.
2
Suppose -4*g = -5*u + 2, u - 3 - 3 = -2*g.  Suppose -2*a = -2*q + 20, -1 = u*q + 3*a - 31.  Solve -i - q = 2*i for i.
-4
Suppose 1911 - 1911 = -12*u.  Solve u = -78*s + 82*s - 20 for s.
5
Let k be -4*(1 + -6 + 8 + (-15 - -11)).  Suppose 25 = 2*s + 5*r, -s = -r + 2 + 3.  Solve 0 = -s*q + q + k for q.
-4
Let z = -2520 - -2520.  Solve z = -73*y + 70*y + 3 for y.
1
Suppose -5*u - 10 = -7*u.  Suppose -3*q - 2*i + 108 = 0, -u*q + 16*i + 180 = 13*i.  Solve 0 = -9*s + q - 9 for s.
3
Suppose -2768 = -q + l, 147*l + 13800 = 5*q + 150*l.  Solve -q*i - 36 = -2769*i for i.
6
Suppose 11*f + 10*f = 546.  Suppose f*g + 8 = 27*g.  Solve -12 = -g*p + 12 for p.
3
Let x be (0 + -1)/(-9) - (-9424)/72.  Suppose 0 = -128*i + x*i - 60.  Solve 14 - i = -2*y for y.
3
Let v(l) = 2*l**2 + 874*l - 8646.  Let n be v(10).  Solve 305*j = n*j + 55 for j.
5
Suppose 8815 = -21*d + 2011.  Let h = 330 + d. Solve -i + 4*i + h = 0 for i.
-2
Let p = -7659 - -7667.  Solve 44*t = 52*t - p for t.
1
Suppose 6*p - 13*p = -24*p + 8143.  Solve -p + 463 = 4*q for q.
-4
Suppose -331*r + 490*r = 2103*r - 3888.  Suppose o - 2*o = 4.  Let q(y) = -y**2 - 5*y - 4.  Let t be q(o).  Solve 2*a - a + r = t for a.
-2
Let f = 90 + -82.  Suppose f*r - 2 = 9*r.  Let h be (1 - -2) + r + 1.  Solve 4 - h = 2*m for m.
1
Let l(u) = -10*u - 32.  Let n be (6/(-3) + 3)/(5/(-20)).  Let g be l(n).  Solve 0 = g*q - 9*q for q.
0
Suppose 2*g - 3*w + 5 = 0, g = -2*g - 3*w + 15.  Let q(u) = -99*u + 199.  Let k be q(2).  Solve 3*j = g + k for j.
1
Suppose 24*j + 0*j = -120.  Let u(t) = -6*t - 20.  Let v be u(j).  Solve v*x - 5*x = -10 for x.
-2
Let u be (-148)/(-3) + 64/(-48).  Solve 6 + u = 6*x for x.
9
Let k(b) = b + 8.  Suppose 14 = -h + 4*y, 4*h = -y - 4 + 16.  Suppose 0 = h*i - 3*x + 17, 5 = x - 0*x.  Let l be k(i).  Solve -5*f + 2 = l for f.
-1
Suppose 9*j = 15*j - 30.  Suppose -3*f = -j*y + 2 - 23, -14 = -f + 4*y.  Suppose 0 = -19*x + 23 + 15.  Solve 10 = -x*p + f for p.
-4
Let g = 4794 + -4759.  Solve 22*n - g + 167 = 0 for n.
-6
Suppose 0 = -34*r + 609 + 445.  Solve -3*z - r = -13 for z.
-6
Suppose 0 = -3*f - 2*z + 40, -3*f = -6*f + 5*z + 68.  Suppose -149*k + 153*k = f. Solve 0 = -7*b + 8*b + k for b.
-4
Let u(o) be the third derivative of o**5/60 - 3*o**4/8 + o**3/2 + o**2 + 54.  Let t be u(0).  Solve 0 = -h - t + 5 for h.
2
Let j(t) = 3*t**2 + 21*t + 6.  Let d(n) = 2*n**2 + 19*n + 7.  Let p(s) = -4*d(s) + 3*j(s).  Let l be p(14).  Solve -5*k + 9*k = -l for k.
-1
Let q be (-2)/(-8) + 14/8.  Let p(h) = -h**3 - 10*h**2 + 9*h - 18.  Let c be p(-11).  Let o(l) = -2*l.  Let v be o(-2).  Solve q*w - c = v for w.
4
Let r(o) be the second derivative of 4*o**3/3 + 3*o**2 + 31*o.  Let k be r(0).  Solve 5 = -k*h - 7 for h.
-2
Suppose 0 = -3*o + o + 20.  Let y be 18 + -50 + (-108)/(-3).  Solve b + y*b = -o for b.
-2
Suppose -5*g + 152 = -g.  Suppose -t + 2 = -5*u, -39*t + 2*u = -g*t - 2.  Solve 6*c = -4 - t for c.
-1
Let q be ((-118)/(-177) - (4/6 - 0)) + 4.  Solve -4*w - 4 + q = 0 for w.
0
Let f(u) = -170*u**2 + u + 77 - u**3 - 25 + 168*u**2 + 22*u + 19.  Let d be f(-5).  Solve -d*p = -34*p + 12 for p.
4
Let o = -15 + 33.  Let h be (-2)/(-6) + 41/3.  Suppose -o = -c - h. Solve c*i = 2*i for i.
0
Let i = 8605 - 8569.  Solve -i*p = -52*p for p.
0
Suppose -2*b - 4*b = -30.  Suppose 0*n + 134 = 5*i - 4*n, 3*i = -3*n + 102.  Let x be 26/i + 12/90.  Solve 9 = b*u - x for u.
2
Let o = 20148 - 19823.  Solve 66*l = l + o for l.
5
Let b(j) = -j**2 + 5*j - 15.  Let p be b(9).  Suppose 5*c + 156 = c. Let w = c - p. Solve 2*k - w + 4 = 0 for k.
4
Let p be 178/(-4)*1/(3/(-6)).  Let s = 103 - p. Solve 0 = -18*h + s*h + 4 for h.
1
Suppose 73*x = -2*d + 75*x + 996, d = -2*x + 489.  Solve -d*o = -488*o - 21 for o.
3
Suppose 19*s - 979 = -64*s - 6*s.  Solve 37 = s*l - 18 for l.
5
Suppose 30*c + 123 + 147 = 0.  Let o be (-15 - -2 - c)*(-10)/8.  Solve -o*w = -3*w - 8 for w.
4
Suppose -154 = 10*w - 694.  Suppose 2*f = 3*c + 2*c + 129, -4*c = -3*f + 183.  Let y = f - w. Solve 3*d = 6 - y for d.
1
Let r be (28/10)/(8/540).  Suppose 245*a = 238*a + r. Solve a - 7 = -5*j for j.
-4
Suppose 0 = -4*g + 2*s + 20, -5*g + g + 20 = 4*s.  Let i be 4/2*46/4.  Let n be -4 + (i + -3)/1.  Solve 0 = -g*z + z + n for z.
4
Suppose -23*v + 21*v = -8.  Suppose v*y - 3 = -j, -9 = 3*j - 6*j + y. Let z be (j/6)/((-6)/(-300)).  Solve 0*w = -5*w + z for w.
5
Suppose 8*x - 4*i - 256 = 3*x, -5*i = -x + 26.  Solve 2*c = -58 + x for c.
-1
Let m = 67 + -64.  Let a(y) = 2*y*