for t.
-2
Let f be 0/(15 - 154/14). Solve 28*m + 0*m - 28 = f for m.
1
Let m(l) = -l**3 + 9*l**2 - 10*l + 11. Let k(i) = 3*i**3 - 27*i**2 + 30*i - 32. Let n(j) = 6*k(j) + 17*m(j). Let p be n(8). Solve 5*h = p + 4 for h.
3
Let j be 1 + ((-12)/(-5) - 3)*-10. Let w = 2814 + -2811. Solve -j*v + 40 = w*v for v.
4
Let i(f) = 2*f**3 - 15*f**2 - 14*f + 48. Let n be i(8). Let h be (n/5)/3*3/(-12). Solve h = -5*w - 0*w + 4*w for w.
0
Let w(x) = -8*x + 1. Let v(s) = -s - 7. Let k be v(-6). Let c be w(k). Let a be c*(4 + (-9)/3). Solve -3*o + a = -3 for o.
4
Let t be ((-97)/582)/((-2)/36) - (-155 - -1). Solve 17*i = t - 38 for i.
7
Let v be -2 + 3*(-35)/(-15). Let g be 15/4 + (-5)/(-20). Suppose -3*k + 3*h + 15 = 0, -g*k + 4 = -h - 10. Solve 2*i - k - v = 0 for i.
4
Suppose -24*s - 534 = -649 - 1613. Solve 0 = -15*m + s*m + 171 for m.
-3
Let j(c) = -c**2 - 5*c + 14. Let f be j(-6). Let l be (40/(-5) + 9)/(2/16). Suppose 4*d + 3*d = l*d. Solve d*z - f = -4*z for z.
2
Let b be -42 + 6 + 26 + 26. Solve -b = -36*q + 20 for q.
1
Suppose 0*r - 3 = -3*r, 44 = 4*q - 4*r. Let y be q + -2 + -1 + -2. Suppose -l = -y*l + 18. Solve -s - l = -4*s for s.
1
Suppose 243 = 3*j + 3*i, -i - 816 = -16*j + 327. Solve 2250*b = 2241*b - j for b.
-8
Let m(l) = l**3 - 4*l**2 - 81*l + 6. Let g be m(-7). Solve -g*v = 141 - 73 for v.
-2
Suppose 73*w + 34 = 3*j + 77*w, -3*j = 3*w - 36. Solve -j*x - 12 = 16 for x.
-2
Let c = -503 + 553. Solve -c*n = -38*n + 48 for n.
-4
Suppose 2*y - 2 = -m, 2*y = -y - 4*m + 8. Let n = 10 - -4. Suppose -16*q = -n*q - 4. Solve -q*d - d + 12 = y for d.
4
Suppose 336 = 14*r - 21*r. Let z = -54 - r. Let h be 3*4/((-3)/z*12). Solve 3*t - 1 = h for t.
1
Suppose -11 - 3058 = 93*s. Suppose 0 = -4*w - 8 - 136. Let c = s - w. Solve 0 = c*r - 8*r - 5 for r.
-1
Let x(a) = -3*a - 3. Let d be x(-2). Let i(b) = 6010*b - 60082. Let r be i(10). Solve 9 = d*z + r for z.
-3
Let h = -57 - -38. Let q = h + 27. Suppose 3*j - q = 22. Solve 0 = 5*v - 0 + j for v.
-2
Let p = 83 - 81. Suppose 3*m - 3*h - 6 = 0, -m - 2 - 1 = -p*h. Suppose 0 = -4*j - 3*o + 9, -j + m - 3 = -o. Solve 0 = -j*i + 5 + 7 for i.
4
Let t(z) = z**3 - 8*z**2 + 16*z - 128. Let b be t(8). Solve b = 5*n - 6*n - 4 for n.
-4
Let f(w) = -w**2 + 8*w - 9. Let v be f(6). Let y = 8 - v. Suppose -4*u = 3*o - 3 - y, -2*o - 33 = -5*u. Solve 7 = -u*q - 13 for q.
-4
Suppose -4*i - 5*o + 15 = 0, 2*i - 3*o + 9 = -i. Let w(a) = -2*a**2 + 8. Let k be w(i). Suppose -4*z = k, -18 = -7*x + 2*x - z. Solve -x*t - 15 = t for t.
-3
Suppose 2*h = -2*o + 124, -71*h - 216 = -75*h + 4*o. Solve h*f - 65*f = 35 for f.
-5
Let s(b) = 2*b**3 - 2*b**2 + 16. Let r(u) = u**3 - 15*u**2 + 15*u - 14. Let m be r(14). Let a be s(m). Suppose a*d - 200 = 6*d. Solve x + d = -3*x for x.
-5
Suppose 3*m = -5*o + 1095, -4*o + 1090 = o + 2*m. Suppose -5*w + 2*l = 6*l + o, -3*w + 3*l = 135. Let h = 48 + w. Solve -h + 8 = z for z.
4
Suppose 5*z = 7760 - 7270. Solve 4*r - 82 = -z for r.
-4
Let a be -1 - 2/(-4)*6. Let y(h) be the third derivative of h**5/60 - h**4/8 + h**3 - 92*h**2. Let g be y(a). Solve 0*m = 4*m - g for m.
1
Let s be ((-1 + 1)*1/(-2))/(-2). Suppose s = 9*k - 6*k - 6. Solve -k*c = c for c.
0
Suppose -2*m + 172 = 2*n, -2*m + 2*n + 166 = n. Let q be m*(-3 - 6/(-4)). Let z be (-8)/6*q/28. Solve z*d - 2*d - 12 = 0 for d.
3
Let t(s) = s**3 + 10*s**2 - 24*s - 2. Let k be t(-12). Let d(a) = -12*a**2 - 10*a - 14. Let l be d(k). Let n = -37 - l. Solve c = -n + 1 for c.
-4
Let r be ((-30)/7)/((576/126)/(-16)). Solve 615*i - 610*i - r = 0 for i.
3
Let f(h) = -2*h**3 + 65*h**2 + 40*h - 21. Let d be f(33). Solve 0 = 188*k - d*k - 110 for k.
-5
Let y = -99 - 109. Let a = y - -210. Solve -z + 2*z = -a for z.
-2
Let s(q) = q**3 + 2*q**2 - q + 17. Let a(p) be the first derivative of -p**4/4 + 3*p**3 - 4*p**2 + 9. Let g be a(8). Let i be s(g). Solve -i = -4*h - 1 for h.
4
Let l(q) = 2*q**3 + 138*q**2 + 135*q - 8. Let k be l(-68). Solve 0 = k*i - 55*i - 5 for i.
1
Suppose -61 = -4*a - 13. Let k(t) = t**2 - 10*t - 7. Let q be k(11). Suppose -v = -3*b - 3*v + 30, -2*b + q*v = -4. Solve -b*n = -12*n - a for n.
-3
Suppose -15*y + 12*y - 240 = -9*y. Solve -y*z - 16 = -42*z for z.
8
Let f(y) = -y - 2. Let u be f(-2). Suppose -4*j = -5*p - 34, 3*p - j = -p - 25. Let n be (-2)/(-3)*(u - p). Solve 0 = -0*k - n*k for k.
0
Let o = -296 - -316. Suppose -o*i = -205 + 5. Solve i*v + 25 = 5 for v.
-2
Suppose z = -5*a + 55, 5*a + 32 = -5*z + 107. Solve -2*k - a = -0*k for k.
-5
Let b = 8972 - 8940. Solve -13*s + 21*s = -b for s.
-4
Suppose f - 312 = -5*o, 196 = 2*o + o + 5*f. Let a = 65 - o. Suppose a*t - 2*t + 8 = 2*y, -5*y + 3*t + 21 = 0. Solve -y*q = q - 20 for q.
5
Let k = -8157 - -8165. Solve -k*t + 23 = 71 for t.
-6
Let m = 4720 - 4678. Solve -25*g - m = 58 for g.
-4
Let m = 1342 - 1310. Let f be (-3)/(11/(-8) + 1). Suppose 8*i - m = -f. Solve -i*u + 2*u = 0 for u.
0
Let v be 360/55 - 30/55. Let o be (-104)/(-14) - v/14. Solve 6*l = o*l for l.
0
Suppose 0 = 58*z - 87*z + 174. Solve v + z*v = -3*v for v.
0
Let a be 42/21 - (127 + -1). Let o = 127 + a. Solve -o = 2*w - 1 for w.
-1
Let b = -563 + 610. Suppose 0 = 4*y - 5*u + 7, 4*y = b*u - 43*u - 4. Suppose -t = -w - 2*w - 3, -4*w = -5*t + 4. Solve t = -3*x + 7 + y for x.
3
Let z = 9 + 6. Let u be 1*(1/3 + 40/z). Suppose h + 3*m = 17, u*h + 2*m - 28 = -h. Solve h = -0*w + 5*w for w.
1
Let y = -223 - -220. Let v be (-14)/(-1 + 4 - 5) - y. Solve 5 - v = -b for b.
5
Suppose 162*s - 3392 = 3203 + 47. Solve -f + 48 = s for f.
7
Let t(d) = -d**3 + 12*d**2. Let j be t(12). Suppose q - 6*q - 15 = j, 0 = -2*f + q + 11. Solve 6 - f = s for s.
2
Let m be 44 + (6 - (1 - -5)). Suppose -5*u - 3*b - b = -38, -m = -5*u - 2*b. Solve u*g - 7 = 3*g for g.
1
Let g(k) be the second derivative of k**3/6 - 5*k**2/2 + 4*k. Let m(z) = -1. Let d(l) = -g(l) + 3*m(l). Let b be d(-1). Solve h - 1 + b = 0 for h.
-2
Let w(b) be the third derivative of -b**4/4 - 5*b**3/2 + 6*b**2. Suppose 4*c + 13 = -5*g + 1, 2*g = 5*c - 18. Let h be w(g). Solve h*n = 4*n - 10 for n.
-2
Let d = -8 + 10. Suppose -t = -d*t - 1. Let q be (2/(-3))/(t/3). Solve -7 = i - q for i.
-5
Let d = 1 - 1. Let y(z) = 3*z**2 - 29*z + 36. Let s be y(12). Suppose 55*r - s = 31*r. Solve 25 = -r*m - d*m for m.
-5
Suppose 0 = -11*d + 6 + 82. Let t = 1 + d. Solve -24 = 3*u - t for u.
-5
Let q(u) = -u**2 + 8*u + 20. Let m = 34 - 24. Let l be q(m). Let x be 13 + -12 + 2*(-9)/(-6). Solve -x*w + 19 - 7 = l for w.
3
Let a(r) = 17*r - 24*r + 12 + 34. Let j be a(6). Solve v - 1 + j = 0 for v.
-3
Suppose 5*s + 26 = 2*p + 9, -3*s - 5 = 4*p. Let v be 5/(-3) + ((-2)/6)/p. Let l be -3*(-1)/v*2/(-1). Solve -2*w - 1 = l for w.
-2
Suppose 2*i + 3 + 1 = 4*g, -2*i + 12 = 4*g. Suppose -4*j + 1 + 5 = -i*s, -3*s + 4*j = 3. Solve -117 = -s*y - 108 for y.
3
Suppose 42*f = 54 + 156. Solve -x - f*x = 3*x for x.
0
Suppose 219 = 2*x + 4*j + 703, 4*j = 8. Let g be (x/205)/((-3)/5). Solve g = 5*w - 3 for w.
1
Let m(c) = -115*c - 342. Let v be m(-3). Let s(q) = -q + 10. Let p be s(6). Suppose x + 30 = 5*j, -p*x + 2*x = 4*j - 38. Solve -j*k = -6*k + v for k.
-3
Let z = 11158 + -11138. Solve z*c + 86*c = 0 for c.
0
Suppose 13*u - 13*u + 23*u = 0. Solve 3*d - 4*d + 4*d = u for d.
0
Let g be 14/(-35) + (73/(-5) - -1). Let x = 14 + g. Solve x = -0*k + k for k.
0
Let k(z) = z + 10. Let p be k(-6). Let l(t) = -t**3 + 2*t**2 + 11*t - 9. Suppose 0 = 129*s - 127*s - 8. Let h be l(s). Solve -f - p = h*f for f.
-1
Let v(g) = -g**3 - 11*g**2 - 12*g - 21. Let p(i) = -14*i + 74. Let d be p(6). Let s be v(d). Let y be -2 - (-3 - -1) - (-4 + s). Solve 4 - y = l for l.
-1
Suppose 114*f + 9312 = -98*f + 29664. Solve -f*j + 100*j + 8 = 0 for j.
-2
Suppose -2*m - m - 9 = 0. Let f = 2484 + -2474. Let l = m + f. Solve 2*h = l - 1 for h.
3
Let a be 8/(-12)*3 + 12. Suppose f + 9 - a = 0. Let v be f/(3/37) - 4/12. Solve -y = 3*y + v for y.
-3
Suppose 1 = -0*r + 3*r + 2*g, -2*g = 2*r. Suppose -2*h = -r - 9. Solve -h*d - 18 = -13 for d.
-1
Let y = -2549 + 2549. Solve y = 44*v - 284 + 20 for v.
6
Let k(r) = -81*r + 11. Let p be k(-1). Let a = 95 - p. Solve -17 = 5*u + a for u.
-4
Let b be -2*15/4*296/(-370). Suppose 0 = l - b*l - 4*z, 4*l = -2*z. Solve -2*i - 2 + 4 = l for i.
1
Suppose -103*w - 570 = -122*w. Solve -w*a + 43*a = -13 for a.
-1
Sup