/(-2) + (-5)/10). Let t = r + 82. Solve h - t*h = -10 for h.
2
Let i be (-615)/(-65) - (189/(-13) - -15). Solve -i*b = 139 - 175 for b.
4
Suppose 28*a - 3*g + 33 = 31*a, 0 = -a - 2*g + 16. Solve -a*f - 282 = -288 for f.
1
Suppose -3*r - 1572 = -4*h, -4*h + 0*r - 5*r = -1604. Suppose h = -29*v + 73*v. Solve -v*d = 6 + 12 for d.
-2
Let g(j) be the first derivative of j**4/4 - 4*j**3 - 6*j**2 - 14*j + 1. Let d be g(13). Let v be -3 + d/2*-6. Solve -3*f - 8 - 1 = v for f.
-3
Let c(f) = f - 11. Let p = 124 + -108. Let j be c(p). Solve -j*u + 12 = 2 for u.
2
Suppose 6*g + 26*g = -5*g + 161468. Solve -12*b = g - 4460 for b.
8
Suppose -3*g - 2*g - 3*h = -152, 4*g = -3*h + 124. Suppose 2*b - 2 = 0, 0 = 4*f - 4*b - 0*b - g. Suppose -f = -x - x. Solve -2*i - 2*i = -x for i.
1
Suppose -44*g + 2755 = -17*g + 1000. Solve 135 = g*j + 5 for j.
2
Suppose 0 = 13*m - 7*m - 18. Let p be 4*(m - 68/40)*-15. Let h be (-63)/(-13) + (-12)/p. Solve -h*j = -0*j for j.
0
Suppose 2*q - 432 + 419 = -u, -5*q + 3*u = -16. Suppose -4*t = 53 - 1. Let r = -9 - t. Solve -r = q*s - s for s.
-1
Suppose 11 = 3*n - 2*n. Suppose 30 = 4*y - w, -4*y - w = -n - 15. Suppose -16 - y = -3*p + 2*h, p = -3*h + 4. Solve 0 = -2*j + p + 1 for j.
4
Let d = -167 + 181. Solve 26*c - 19*c + d = 0 for c.
-2
Let v = -234 + 275. Let i = 47 - v. Let o = 2 + -2. Solve o = 3*p - i for p.
2
Let d = -50 - -14. Let k be (-16)/(-6)*(-3 - d/8). Let y be (3 - (k + -2)) + 4. Solve 3*h + y = -1 for h.
-2
Let w(g) = -2*g**3 - g**2 + 25*g - 68. Let y be w(0). Let o = 118 + -47. Let s = o + y. Solve -s*b = -0*b + 15 for b.
-5
Let l = 12072 + -12067. Solve -109 = l*t - 104 for t.
-1
Suppose -88*c = -86*c + 5*o - 96, 0 = -22*c - 4*o + 1464. Solve 58 = -10*a + c for a.
1
Suppose 5*a - 3*j = 35, -7*j = 4*a - 2*j + 9. Suppose 12 = 4*x + a*m, 7 = x - m - 2*m. Let z be ((-6*4)/(-3))/(x/10). Solve 3*i - z = -2*i for i.
4
Suppose 0 = -28*v + 27*v. Let d = 3027 + -3026. Solve -p - d = -v for p.
-1
Suppose -2*m - 80 + 82 = 0. Let p = m + 0. Solve -13*o = -12*o + p for o.
-1
Let n(a) = a**2 - 9*a - 7. Let w be n(12). Suppose 0 = -4*c - 2*u + 26, -w = -4*c - 16*u + 13*u. Solve 0 = -i - 8 + c for i.
-3
Let p(h) = h - 4. Let i(a) = 4. Let r(u) = -3*i(u) - 4*p(u). Let d be r(1). Solve d = j + j - 2 for j.
1
Let w(q) = 17*q**3 + 9*q**2 + 5*q + 2. Let k be w(-3). Let i = k + 402. Solve -6*b + 25 = -i*b for b.
-5
Let h = -43 - -48. Suppose 2*q + i + 89 = 0, -3*q - h*i + 56 - 207 = 0. Let u = -42 - q. Solve 2*z + 8 = -u*z for z.
-4
Let u = -393 - -591. Let i be (2/3)/(33/u). Solve 0 = -0*p - 2*p - i for p.
-2
Let p = 1515 + -49. Let a = p + -1464. Let f = -4 + 6. Solve j - f*j = a for j.
-2
Let y(p) = -117*p + 227*p - 112*p + 9. Let z be y(1). Solve z*o + 7 = 28 for o.
3
Let j be 28*-6*(-2)/6. Let s = j + -48. Solve w + w = -s for w.
-4
Suppose 51*d - 48*d = -12*a - 3, -2*d - 2 = 4*a. Let v = 8 + -6. Solve a = v*r + 2 for r.
-1
Let x be (-3)/(-2)*(-20008)/(-492). Solve 0 = -52*j + x*j + 36 for j.
-4
Let o be (-1 - 14/(-10)) + 39/15. Suppose -o*u - 10*u + 39 = 0. Suppose -q + 20 = u*q. Solve -q*r + 4*r - 2 = 0 for r.
-2
Let u(j) = -3*j**3 - j**2 - 7*j - 7. Let b be u(-1). Suppose h + 8 = 2*z, 1 = b*z + 5*h + 5. Suppose -6 = 4*t + 10, -5*v - z*t = 2. Solve -v = r - 3 for r.
1
Let p(r) = r**3 - 4*r**2 + 3*r + 3. Let y be p(4). Suppose 3*g - 29*g = -4550. Let q be ((-150)/g)/((-6)/28). Solve -q*h + h = -y for h.
5
Let t(o) = o**2 - 13*o + 31. Let u be t(3). Suppose -97*g + 98*g - u = 0. Solve 0 = v + 2 + g for v.
-3
Let k = 19 + -7. Let j be (-12 - 2) + 8 + 5 + 15. Let o = j - k. Solve o = a - 2*a for a.
-2
Suppose -l = -3*a + 39, -l - 15 = 4*l. Suppose 3*j = -f + 8, 2*f + a = -f. Suppose -j*d - 14 = y, -5*y - 4 = 3*d - 2. Solve -y*p - 2 = -p for p.
-2
Let g be (2 - 4)/(4/(-130)). Suppose -4 = -l, 4*l - l = m - 55. Let b = m - g. Solve 0*f - b = -f for f.
2
Let g be 118*(-6)/(-12) + 7 + 4. Solve 19*v + 6 + g = 0 for v.
-4
Let n be 45/63 + (-10)/14. Suppose n = 5*g - 3*i - 6, 0 = 3*g + i - 15 + 3. Solve 0 = -g*r + 3*r - 9*r for r.
0
Let n be 10/55*704/16. Solve 32*u - 28*u = n for u.
2
Suppose i = n - 2, -5*n + 14 = -4*i + 2. Suppose 0 = -n*z - 5*d + 50, -5*z - 4*d + 10 + 48 = 0. Let x = -3 - -7. Solve -v + z = x*v for v.
2
Let o = -90 + 95. Suppose 0 = -o*p + 10, 2*q = p + 2*p. Let v = 4 - 4. Solve 0 = q*h - 3 - v for h.
1
Suppose -d + 315 = 6*d. Let b = d + -43. Let j(t) = t**3 + 4*t**2 - 12*t + 4. Let p be j(-6). Solve p*g = b*g - 2 for g.
-1
Suppose 25*f = 14*f. Suppose f = -10*r + 169 - 9. Solve -21 = -5*o - r for o.
1
Suppose 7*h - 49 + 7 = 0. Suppose 0 = -h*k + 9*k - 54. Solve 13*l - k*l - 5 = 0 for l.
-1
Let u be (31/(-155))/(7/(-315)). Solve u = 35*b - 131 for b.
4
Suppose -143*v - 234*v + 2268 = -53*v. Solve -3 = -5*y + v for y.
2
Let n(i) = i**3 + 6*i**2 - 98*i - 81. Let t be n(-13). Solve -26*s + 112 = -t*s for s.
7
Suppose -2336*o + 2316*o + 1720 = 0. Solve o = 13*r - 5 for r.
7
Let h be -6 - ((20 - 8) + -78). Solve h = -a + 62 for a.
2
Let l(x) = -312*x + 4. Let g be l(1). Let p = g + 316. Solve -i = -3*i - p for i.
-4
Let t be 39/13*(8/12 + 75/9). Solve -t*g + 33*g = 19*g for g.
0
Let j be ((-8 - 3)/(-1))/1. Suppose -8*l + 3 = -j*l. Let z be (l/2)/(0 - (-3)/(-18)). Solve z*k - 7*k = 0 for k.
0
Let d = -75 + 49. Let y = 86 + d. Let u = -60 + y. Solve u*b = -5*b + 5 for b.
1
Suppose -z = -2*f - 258 + 934, -3*z + 1342 = 4*f. Solve -241 = -16*n - f for n.
-6
Let z = -2194 - -3107. Let u = z - 905. Solve -u*g - 10 = -13*g for g.
2
Let c be -8 + -2*(121/(-2) - -7). Solve -107*o + c*o - 72 = 0 for o.
-9
Let u be 5/15*-1 - 66/(-9). Suppose -37 = -3*v + 2*p, 2*p + u = -v + 30. Solve 0 = 4*x + x - v for x.
3
Let c be (5 + -98 + 6)*5/(-3). Suppose -5*n + c = w, 0 = -7*w + 31 + 4. Solve 23*t = n*t + 15 for t.
-3
Let y = 186 + -185. Let j be -11 - -13 - (0 + (0 - y)). Solve -j*b + 8 = b for b.
2
Suppose 3*l + 4*f - 541 = 0, 296*l + 3*f = 294*l + 359. Solve -68*z = -85 - l for z.
4
Let x = -3741 - -3747. Solve x*i - 4 = -16 for i.
-2
Let j be (-106)/(-10) + 4 + (-108)/30. Suppose v + 2*c - j = -0*c, -4*v - 16 = -4*c. Let q be 3 + (-12)/4*v. Solve q = 5*x - 8 + 23 for x.
-3
Suppose 4*d + 975 = -5*r, 0 = -9*r + 6*r + d - 585. Let b = -164 - r. Solve b - 11 = -5*f for f.
-4
Let m(u) = -22*u - 2. Let t(k) = k + 1. Let w(v) = m(v) + 5*t(v). Let h be w(-2). Let l = 37 - h. Solve 4*s = -l*s + 8 for s.
2
Let z be 3 + (6 - 8) + 0. Suppose 12*f + 8 = 14*f, -3*w = -5*f - z. Solve -4*k = -w - 1 for k.
2
Let u be ((-138)/(-3))/(-6 + 8). Solve 8*a + u*a + 31 = 0 for a.
-1
Suppose -4*k = -4, -j - 12 = -3*k - 4. Let z = 17 - j. Suppose -2*h = 2*p + h - 17, -z = -3*p - h. Solve 1 = 2*t - p for t.
4
Suppose 267*h + 1141 - 3544 = 0. Solve -7*l = l - h*l for l.
0
Let y = 18982 + -18982. Solve y = 6421*v - 6423*v - 8 for v.
-4
Let y be 8/6*1638/312. Solve -16*q - y = -9*q for q.
-1
Suppose t + 2*d - 163 = -30, t = 3*d + 138. Solve 0 = 27*y + 54 + t for y.
-7
Suppose -2*r = 4*r. Suppose 5*v = -4*d + 44, -111*v + 110*v + 9 = d. Solve g - v*g - 28 = r for g.
-4
Let g be 2/(-4)*8 - 2. Let t(h) = 2*h**2 + h - 17. Let q be t(g). Let j = -47 + q. Solve -j = -3*d - 8 for d.
-2
Suppose 2*k - 80 = f, 0 = 5*k + 16*f - 12*f - 174. Suppose -k - 83 = -11*y. Suppose 5*r = -15, 2*r = -5*s + 23 + 16. Solve -y = 5*m + s for m.
-4
Let l = 10861 - 10861. Solve l = -229*f + 228*f + 2 for f.
2
Let p(t) = -t**3 - 15*t**2 + 12*t + 62. Let z be p(-16). Suppose -z = -16*b - 78. Solve -3*y + 2*y = -b for y.
3
Suppose -19*j - 112 = -26*j. Suppose j - 25 = -3*r. Solve 4*m - r*m = 3 for m.
3
Let w(j) = -j**3 + 6*j**2 - 7*j + 12. Let o(n) = n. Let q(a) = a - 17. Let p(m) = -o(m) - q(m). Let d be p(6). Let h be w(d). Solve -h = -0*z + 2*z for z.
-1
Suppose 2*m + 2 = -2*d, 5*m - 28 = 3*m + 4*d. Let w(x) = 2*x - 30. Let i = 46 + -27. Let o be w(i). Solve m*v + 12 = o*v for v.
3
Suppose 0 = x - 0*t - 2*t - 6, 2 = -2*x - 3*t. Let f be (x + -8)/(6/(-8)). Suppose -3 + 13 = 2*u, -p + 18 = 3*u. Solve p*o = f*o + 20 for o.
-4
Suppose 233*b - 311 - 4116 = 0. Let z(v) = -3*v**3 + v. Let k be z(-2). Solve -k*o + b*o + 9 = 0 for o.
3
Suppose -149*s = 68*s - 0*s. Solve -54*m - 520 + 142 = s for m.
-7
Suppose 16*i - 18*i - 5*v = -20, -3*i + 20 = 5*v. Solve -15*q - 39 + 54 = i for q.
1
Let r(j) = -j +