 = -6*b - 46 for b.
-1
Suppose 181*v + 252 = 188*v. Suppose y + 31 - v = 0. Solve -10 = -y*p + 5 for p.
3
Let x be 1/(5 + -3)*0 - -2. Suppose 3*p + x*p - 2 = -w, 4*w - 128 = 4*p. Solve 3*c + w = -6*c for c.
-3
Suppose 3*t + 5*g - 26 = 6*t, 0 = 5*t - 5*g + 30. Let v be t/(-4) + -3 + (-7)/(-2). Let c be v - (-8)/(-4)*-1. Solve c*q + 10 - 1 = 0 for q.
-3
Let g(s) = 592*s - 2 - 6*s**2 + 3*s**3 - 591*s + 4. Let c be g(2). Solve c*r = -r for r.
0
Suppose -3*c = -27, -4*i + 87 + 119 = 5*c + 49. Suppose -4*g - 4*j = 9 - 41, -3*g - 5*j + 30 = 0. Solve -g*r - i = -8 for r.
-4
Suppose z - 1008 = 15*z. Let v = -74 - z. Let r be 1 - ((2 - v)/(-4) - 3). Solve 0*h = -r*h for h.
0
Let t(z) = -z. Let j be t(0). Suppose j = i - 9 + 12. Let g be (1 + -3)*i/6. Solve -p = 2 - g for p.
-1
Let n(w) = 3*w - 11. Let m be n(7). Suppose -4*a = -3*a, -2*c - a = m. Let s = -5 - c. Solve 0 = -l - 5 - s for l.
-5
Suppose 0 = 4*v - 5*v + 12. Let c = -2 + v. Suppose 0 = c*n + 3*n - 39. Solve -2*t + n = -t for t.
3
Suppose -89 = 3*m + 2*j + 165, -3*j = -m - 70. Let p = -80 - m. Let k be p - (-4 - (0 + -1)). Solve -k*u - 9 = 11 for u.
-4
Let o be 1 - 0 - 36/(-12). Let r be (o - -6 - -1) + -4. Suppose -w + r*m = 2*m + 8, -3*m = -4*w + 2. Solve 0 = -2*y + 3*y - w for y.
2
Let m(d) = 16*d + 32. Let f be m(-2). Suppose -10*u + 82 + 228 = f. Solve 2*l - u = -33 for l.
-1
Let n(q) = q**3 + 3*q**2 - 9. Let b be n(-5). Let x = b + 50. Let y be 33/x - -4 - (-42)/9. Solve y*k - 9 = 1 for k.
2
Let w = -140 + 142. Suppose -w = -57*y + 56*y. Let u be (5 + 3)/4*y. Solve 0 = u*v - 31 + 11 for v.
5
Suppose -3*z - 4*x = -429, -4*z - 4*x = -443 - 129. Let i = -134 + z. Solve -i = -3*u - 12 for u.
-1
Let l = 4 - -11. Suppose 0 = 22*i - l*i. Solve -2*j - 8 + 2 = i for j.
-3
Let s = -1227 - -1227. Solve 6*a + 74 - 62 = s for a.
-2
Let z(x) be the first derivative of 7*x**2/2 - 247*x + 41. Let c be z(36). Solve 17 - 7 = -c*r for r.
-2
Let l = -604 - -608. Let a be (37 + -29)*2/4. Solve l*n = -a*n for n.
0
Let r(z) = -z**2 + 5*z + 26. Let j be r(-3). Suppose 0 = -3*u - 5*p - 3, 23 = 4*u - 3*p - j. Solve -19 = u*l - 3 for l.
-4
Suppose 5*f + 5*t = 30, 2*f - 5*t = f - 12. Let y be (-15)/(-20) - (-55)/20*f. Solve 4*b = b + y for b.
3
Suppose p = 27 + 4. Suppose 0*u - 17 = r + 5*u, -2*r - 5*u - 34 = 0. Let i = r + p. Solve 4 - i = -5*z for z.
2
Let j be 1007/95 + 119/35 + -3. Solve 1 = -5*x + j for x.
2
Let q = -35 - -43. Suppose 0 = z + 2*z - q*z. Solve z = 15*x - 10*x + 20 for x.
-4
Let d = 99 + -97. Suppose -d*m - 3*m = -295. Suppose 0 = 64*f - m*f - 35. Solve -4*h = -f*h - 6 for h.
-2
Suppose 0 = -3*c + 4*q + 29, -3*q = 5*c - 0*q. Suppose 0 = -11*k - c + 91. Solve -k = -3*u - u for u.
2
Suppose 4*b - g + 15 = 6*b, g = 2*b - 9. Suppose 5*j - b = -1. Solve 13 = -4*h + j for h.
-3
Let s = -10 + 13. Suppose d = -s*y + 6, 3*y + 0*y = -15. Let v = d + -11. Solve v = -0*c + 2*c for c.
5
Suppose -4*b + 0*b + 3*r = -11, 0 = 4*b - 2*r - 10. Let d be (-16)/(-5) - b/10. Let g = 5680 - 5675. Solve g*m = 8*m + d for m.
-1
Let i(p) = -48 + 55 - 79 - p**2 - 22*p. Let n be i(-18). Solve n = 2*g + 2 - 0 for g.
-1
Let c(f) = -73*f + 1430. Let x be c(19). Solve -x*p - 36 = -55*p for p.
3
Suppose -4*y - v = -176, 0*v = 2*y + 2*v - 82. Suppose 0 = 3*q + 4*r - y, -4*q + 8*q - 60 = -r. Solve -23 = 4*s - q for s.
-2
Let x = 5670 + -5662. Solve 457 = x*c + 473 for c.
-2
Let p(m) = m**2 - 8*m - 4. Suppose 28 + 17 = 5*a. Let u be p(a). Suppose -j - 4*i = 12, 0 = -5*j - 3*i + 8 - 17. Solve 2*t + 3*t - u = j for t.
1
Let c(b) = 2*b**2 - 152*b + 780. Let m be c(5). Solve 54 = -8*x + m for x.
2
Let c be -18*(-1 - 7/(-5))*(-7705)/92. Solve 599*z - 16 = c*z for z.
-4
Suppose 0 = -2*n + w + 23, -3*w + 3 = 6. Solve n*p - 26 = -26 for p.
0
Suppose -17*s + 93*s = 988. Solve -s*c = -4 - 35 for c.
3
Let p be -6 - 37/(-6) - 5487/(-18). Let t = p - 193. Solve t*v = 107*v - 5 for v.
-1
Let y = -26 + 42. Let r(c) = -c + 18. Let u be r(y). Suppose 61 + 16 = 7*s. Solve -s + 3 = -u*n for n.
4
Let j = -295 + 736. Let d = j - 441. Solve d = a - 27 + 30 for a.
-3
Suppose -4*j = -4*x - 600, 0 = -5*x - 3 - 7. Let u(g) = 3*g**2 - g - 146. Let b be u(0). Let v = j + b. Solve -q - v*q = 0 for q.
0
Let y be 12/(-144)*12 + 61. Solve -28*w + y*w - 256 = 0 for w.
8
Let c(w) be the third derivative of w**4/24 - 11*w**3/6 - 70*w**2. Let g be c(13). Solve 7 + g = -3*b for b.
-3
Suppose 10*l - 39*l + 10854 = -2*l. Solve -15*p - 447 = -l for p.
-3
Let d(o) = o**3 + 11*o**2 + 5*o - 25. Let r(h) = h**3 + 26*h**2 - 2*h - 62. Let i be r(-26). Let y be d(i). Solve -3*s - 2*s = -y for s.
5
Let y(d) = -35 - 5*d - 29 + 47. Let p be y(-4). Solve -p*j = -0 - 9 for j.
3
Suppose 2*b - 20 = -2*r, -2*r = b + 76 - 99. Solve -r*f + 44 = 9*f for f.
2
Let m(k) = k**2 - 4. Let a be m(-4). Suppose 5*l + 3*j = -a, j = 3*l - 1 - 3. Let q be (8/(-16)*4)/((-82)/164). Solve l = 5*v - 1 - q for v.
1
Suppose 9*x = 439 + 236. Suppose x*d - 54 = 72*d. Solve -8*i = -2 + d for i.
-2
Suppose 0 = 4*f - 23*f + 10*f + 657. Solve 0 = -3*g + f - 55 for g.
6
Suppose 4*d = -5*k + 19 + 15, -k - 2*d = -2. Solve k*h + 4 = 54 for h.
5
Let x(g) = -10*g**2 - 10*g + 1. Let o be x(-1). Let r(u) = u**3 + 3*u**2 - 3*u + 1. Let m be r(o). Solve -m*v = -3*v - 2 for v.
-2
Suppose 1 + 5 = 2*s. Let i(l) = -l**2 - 2*l - 14. Let q be i(8). Let g = 96 + q. Solve g*v - 4 = s*v for v.
-4
Let l(t) = 2*t - 8. Let k be l(7). Let i = -17936 - -17943. Solve 19 = k*y + i for y.
2
Suppose 409 + 1379 = 29*y + 193. Solve -y*k = -57*k - 14 for k.
-7
Suppose -2*f - 131 = -141. Solve f*b - 3 = 4*b for b.
3
Suppose -185*t + 186*t = 5*a - 748, 5*t + 116 = a. Solve -148*w + a*w = 15 for w.
5
Suppose -y - 3 = -9. Suppose -9*c + y = -4*c - 4*z, z - 1 = 0. Solve 2*r = c - 0 for r.
1
Let i = -3528 + 3722. Solve 49*j + i = -100 for j.
-6
Let m = 717 + -710. Suppose 2*l - m = 119. Solve -l*o + 8 = -59*o for o.
2
Suppose -412 - 218 = -210*d. Solve -157 + 136 = -d*v for v.
7
Let r(u) = 59*u + 60*u - 239*u + 53*u + 62*u. Let n = -2 + 1. Let t be r(n). Solve 5*m - t = 5 for m.
2
Let z = 172 - 179. Let r(y) = y**3 + 9*y**2 + 12*y + 6. Let p be r(z). Solve t - p = 6*t for t.
-4
Let a = 28 + -25. Let j be 1*(-12)/15*-5*1. Suppose 2*i = -2*v - 0*i - 2, j*v = 3*i + 31. Solve -m = -a*m - v for m.
-2
Suppose 0*f + 71*f = 3976. Solve -64*l + f*l = 56 for l.
-7
Suppose -10*j = -4393 - 2437. Let x = 691 - j. Solve 4*z - 16 = x*z for z.
-4
Let y(i) = i**3 + 11*i**2 + 18*i - 5. Let w be y(-9). Let j be -2 + 152/40 + (-1)/w. Solve 0 = -j*l + 2 + 4 for l.
3
Let a be -3 + (2 - (-9 - -4) - 4). Solve a = -5*o - 2 + 22 for o.
4
Let c be 6/12*(-2 - -2). Suppose c = f - 5*f + 20. Let k = 21 - f. Solve 0 = 2*l - 6*l - k for l.
-4
Let c(n) be the second derivative of -n**4/6 - 5*n**3/3 - 4*n**2 - 90*n. Let o be c(-3). Solve 8*r = o*r - 16 for r.
-4
Let w = -374 + 577. Let m = -203 + w. Solve 0 = -m*g - 3*g + 12 for g.
4
Let w = 171 + -391. Let h = w + 220. Solve 3*j + 2 - 14 = h for j.
4
Let l = 1 + -1. Suppose l = -198*f + 200*f - 4. Solve f - 6 = -d for d.
4
Let v(x) = -3*x + 14. Let d be v(-9). Let s = d + -37. Let b be (-4)/3*(s - 7). Solve -i - b*i = 20 for i.
-4
Let j = -19483 + 19551. Solve 236 + 240 = j*m for m.
7
Let f = 8 - 11. Let p be (-4)/(48/15)*(f + -1). Let t be 7 - (-1 + p + -1). Solve 0 = 4*d - 4 - t for d.
2
Let o be 48 - (1/2)/(20/280). Solve -25 = -o*r + 36*r for r.
5
Suppose 73*j - 74*j + 24 = 0. Suppose 0 = -2*i + 2*d + 2, 3*i + 0*d = -4*d + j. Solve 2 = 2*x - i for x.
3
Suppose 0*t + 4*t - 2*z = 20, 2*z = -3*t + 1. Suppose -y = 3*q - 155 + 135, -3*y - 12 = -t*q. Solve 0 = -q*r + 38 - 56 for r.
-3
Let n be (1110/(-2220))/((-2)/288). Solve -24*w = n - 0 for w.
-3
Suppose 0 = -z - z + 72. Suppose -z = 5*p + 39. Let v be 10/p - 20/(-12). Solve 3*b - v = -10 for b.
-3
Let m(h) = -5*h - 15 + 13 + h**3 + 6*h - 5*h**2. Let x be m(5). Solve x*u - 1 - 8 = 0 for u.
3
Suppose -3*p + 0*p = -18*p + 525. Solve 0 = -19*m + 24*m + p for m.
-7
Suppose 72 = 5*d + p, p + 2*p = -4*d + 62. Suppose -70*h = -91*h. Solve h = -3*o - d + 5 for o.
-3
Let m(q) be the first derivative of q**3/3 - 13*q**2/2 + 30*q - 18. Let b be m(12). Suppose -5*y = -b - 2. Solve -y*d - 25 = d for d.
-5
Suppose -2*d + 1003 = 897. Solve d*m = -10*m - 441 for m.
-7
Let u be (-171)/(-12)