m = t*m + g for m.
-5
Suppose 15 = w + 4*w. Suppose -4*v + 1 = b, 13 = b - 5*v + w. Suppose s - 14 = -5*o, 1665*o - 2 = 1670*o - 3*s. Solve 3*r + b = -o*r for r.
-1
Suppose -3*k = 3*n - 402, -10*k = -14*k - 5*n + 540. Solve 12*j - 154 = -k for j.
2
Let v be (-3)/(63/(-1346)) + (-24)/252. Suppose v - 1 = 9*f. Solve -2*b + 1 = -f for b.
4
Suppose -24*q = -12*q - 2688. Suppose 223*d + 4 = q*d. Solve 0 = 7*t - d + 18 for t.
-2
Let v(y) = -y + 17. Let c(x) = -3*x - 18. Let j(t) = 5*t + 37. Let g(h) = 5*c(h) + 2*j(h). Let k be g(-6). Let n be v(k). Solve 0*s + 6 = -n*s for s.
-2
Let s = -214 + 222. Let v be s*2 - (-23 + 19). Solve 5*m = m + v for m.
5
Suppose -4*i - 11 = -23. Let y be 2*(-36)/((-3)/1). Suppose -y = -i*x - 12. Solve -t = -x*t for t.
0
Suppose -2*c - 3*l + 84 = 0, -2*l + 174 = 4*c + l. Let y be 36/c*10/4. Solve -2*v + y = -0 for v.
1
Suppose 0 = t + 2*o - 18, -3*t + 5*t + 2*o - 28 = 0. Suppose -w - t = -3*w. Suppose 11*x = w*x + 18. Solve -1 - x = 4*s for s.
-1
Let v(a) = 3*a + 43. Let c be v(-13). Suppose 6 = -p + c*r, 16 = 3*p - 7*r + 12*r. Solve -p*l - 2*l = -16 for l.
4
Suppose -18*i + 336 = -17*i - n, -378 = -i - 6*n. Solve 0 = -318*x + i*x + 192 for x.
-8
Let w be (-5)/(-10) - (-3)/2. Suppose t = 3*p - 8, -p + w*t - t = -4. Suppose 2*c = 2*a - 6, p*c + 8 = 3*a - 0*a. Solve 8 = 2*z + a for z.
3
Suppose 13 = -h + 9*t - 4*t, h - 23 = -4*t. Suppose -4*c + h*c = 0. Let o = 12 - 7. Solve o*z + 25 = -c for z.
-5
Let n(z) = z**3 + z**2 + 3*z + 3. Let r be n(0). Let a(l) = -l + 1. Let b be a(-4). Let o(q) = -199*q + 599. Let g be o(3). Solve r = -b*s - g for s.
-1
Let i be 3/((-45)/(-330)*11). Solve 8*v - i - 46 = 0 for v.
6
Let x(c) = -3*c**3 + 4*c**2 - 7*c. Let d be x(-4). Let y = 297 - d. Solve 0 = -7*r + 8 + y for r.
3
Suppose 3*m - 617 = -41*o + 37*o, 4*o = -4*m + 828. Solve m = -2*q + 223 for q.
6
Suppose -57 = -20*r + 303. Let u be 28/r + (-152)/(-342). Solve -u*k = 2 - 10 for k.
4
Suppose -l + 5*l - 8 = 0. Suppose -508*q = 226*q + 46*q - 27300. Solve -5*w + q = l*w for w.
5
Suppose 3*m + 5*z = 25, m + 0 = -2*z + 9. Suppose -9*j + 49 + m = 0. Solve j*q - 17 = 7 for q.
4
Let j(m) = 5*m + 20. Let l be j(9). Let g = -61 + l. Solve g + 0 = -b for b.
-4
Suppose 9*h - 11*h = -50. Let w be h/10 - 1/((-2)/1). Suppose -22 = -4*o + 2*s, 2*s + w*s + 19 = 4*o. Solve 0 = o*r - 3*r for r.
0
Let z = 14337 + -14269. Solve -z*r - 40 = -60*r for r.
-5
Suppose 56*u - 76*u + 5080 = 0. Solve -246 = -2*n - u for n.
-4
Suppose 4*g - 2*g + 2 = 0, 0 = 3*v + g + 1117. Let j = 374 + v. Solve j*r + 4 = 4*r for r.
2
Suppose 40*m = 7*m + 505 - 208. Solve -101 + 155 = m*i for i.
6
Let x(n) = -59*n**2 + 119*n + 7. Let r be x(2). Solve r*q = 17*q - 13*q for q.
0
Let i be (-1*30/(-4) - 2)*2. Let p(s) = 35*s + 425. Let z be p(-12). Solve z*m + 1 - i = 0 for m.
2
Suppose 171 = 28*j - 19*j. Let d = -9 + j. Solve -7*u - d - 25 = 0 for u.
-5
Let i(j) = 2*j - 24. Let u be -6*((-4)/(-16))/((-3)/28). Let l be i(u). Suppose -d = -3*d + l. Solve d*a - 5 = a for a.
5
Let k(b) = 71*b**2 + 3*b - 11. Let m be k(1). Solve -100*g + m = -109*g for g.
-7
Suppose 0 = 5*y + 2*p - 31, y + p - 139 + 128 = 0. Solve -y*o = 1218 - 1212 for o.
-2
Suppose -o = 2*w - 139, o + 3*o - w = 565. Let l = 153 - o. Solve -l*r + 2*r = 0 for r.
0
Let c(o) = o**2 + 7*o + 15. Suppose -66*v + 60*v = 12. Let n be c(v). Solve -6*k - n = -5 for k.
0
Suppose -5*g = -11*x + 15*x + 649, 0 = 5*g - 4*x + 681. Let y = g - -137. Solve 9*d - 5 = y*d for d.
1
Suppose p + 69 = 8*y - 3*y, -5*p = -y + 9. Suppose 0 = -4*k + 2*g - 2, -4*g + 4 = -7*k + 2*k. Solve y = -7*s - k for s.
-2
Suppose -3*v + 21 = 3*m, 5*m + 1 = -v - 0. Suppose -z = 7 - v. Let q(u) = 4*u - 5. Let l be q(z). Solve l*w + 12 = 27 for w.
5
Let p = -5355 + 5479. Solve 16*u = -15*u - p for u.
-4
Let t(x) = -x**2 - 92*x + 402. Let f be t(4). Solve 25*g + 43 - f = 0 for g.
-1
Let g = -11 - -31. Let n(k) = -2*k**2 - 30*k - 46. Suppose 25 = 4*q + 5, -12 = -j - 5*q. Let a be n(j). Solve a*o - 2*o = g for o.
5
Suppose -m + 76 = -1323*j + 1320*j, 0 = -5*m + 3*j + 356. Solve -m + 4 = -33*v for v.
2
Let j be 25040/70*(-259)/(-148). Solve 80*n = -66 + j for n.
7
Suppose 10*f = -36*f - f. Suppose 3*k + n - 10 = -f*n, 2*k + 4*n = 20. Solve 3 - 1 = -k*a for a.
-1
Let t = -41535 - -41546. Solve -8*c = t*c - 0*c for c.
0
Suppose -76*a = 61*a - 150*a + 156. Solve -8 = 4*m - a for m.
1
Suppose -2*j + 7*j = 5*m + 3615, 3630 = 5*j - 2*m. Let z = -720 + j. Solve 0 = -w - 7*w - z for w.
-1
Let y(h) = -h**3 + 12*h**2 - 9*h - 18. Let z be y(11). Suppose 2*f - s - s - 34 = 0, 0 = z*f + 3*s - 47. Solve -7*l + 7 = -f*l for l.
-1
Suppose 3 = 3*g - 6. Suppose 0 = d + 4*o - 103, g*o = 3*d - 1 - 338. Let f be (12/10)/(d/(-30) - -4). Solve 0 = -f*w - 0*w + 4 for w.
1
Let q(n) = 24*n**2 + 2 - 7*n**2 - 15*n - 6 - n**3 + 3. Let s be q(16). Let c(f) = -f**3 + 15*f**2 + f - 13. Let p be c(s). Solve 2*v = -p*v + 20 for v.
5
Suppose -42 = -5*l + 2*j + 169, -132 = -4*l - 3*j. Solve 0 = -l*w - 153 - 42 for w.
-5
Let s = 5162 + -5157. Let h be 3 + -3*(-10 - -4). Solve h - 6 = -s*g for g.
-3
Let r = -27 - -30. Suppose 2 = r*l - 10. Suppose 0 = -5*q - 3*v + 21, -4 = -l*q + 3*v + 2. Solve 2 = q*z - 5*z for z.
-1
Let a be (-1)/(27/(-12) - -2). Let c = 349 + -224. Suppose -c = -164*d + 159*d. Solve -l - a*l + d = 0 for l.
5
Suppose -2*y - 12 = 0, -22 + 34 = -4*o - 2*y. Solve o = -7*l + 1 + 6 for l.
1
Let t(a) = 62*a + 571. Let p be t(-9). Solve -8*r + 10 = -p*r for r.
-2
Let y be ((-8)/12)/(7/(84/(-8))). Let k be (y/(-2))/1*0. Solve l + 5*l = k for l.
0
Suppose -12 = 4*x - 5*x. Let y = -11 + x. Suppose 0*s + 5*s + 3*r = 3, 0 = s + 3*r + 9. Solve s*f = -y - 8 for f.
-3
Suppose -32*r + 37*r = 20. Suppose 2*v - 9 = -3*u, r*v + u - 2*u - 11 = 0. Suppose 5*c + 3 = v*d + d, 0 = -5*d - c + 11. Solve d*i + 3*i = 0 for i.
0
Suppose 0 = -13566*v + 13512*v + 486. Solve 710 - 674 = -v*m for m.
-4
Let z be 240/56*14/3. Let x be (8/z)/(11/10 + -1). Let h be (-18)/(-45)*5/2. Solve x = 3*a + h for a.
1
Let x be 150 - -5 - 0*(-3)/3. Solve -130 = -5*u - x for u.
-5
Let g(o) = 13*o - 63. Let l be g(6). Let m be 0 + 20 + (-4)/((-16)/(-12)). Solve m*k - 22*k - l = 0 for k.
-3
Let g(d) = 2*d**3 - 3*d**2 - 10*d + 35. Let i be g(4). Suppose 13*p - i = 81. Solve 0 = 3*l + p - 15 for l.
1
Let v = -4 + 10. Suppose 2*c - 6 = 2. Solve c*o - 6 = v*o for o.
-3
Let m be 42/8 + -5 - (-11)/4. Suppose 5 = m*s + 11. Let v be -3 - (-11 + (-6)/s). Solve 5*q + v = -5 for q.
-2
Let g(j) = j**2 - 36*j - 1179. Let c be g(-21). Solve y = 4*y + c for y.
-6
Suppose 3*u + s = 155, 3*u + 0*s - s = 163. Suppose 0 = -m + u - 58. Let z be (3 - 5) + 5 + m/5. Solve 4 = -6*p + z*p for p.
-1
Suppose -2*m + 6 = -5*n, 564 - 567 = 5*n - m. Solve 15*p + 2 - 47 = n for p.
3
Let m(c) = -3*c**3 - 3*c**2 + 45*c + 45. Let u be m(-1). Solve u = 655*g - 654*g - 2 for g.
2
Let x be 2 + (-2)/10 + (-89170)/(-1850). Solve 0 = 16*b - x*b - 34 for b.
-1
Let f(t) = -4*t**2 - 50*t - 18. Let l = 532 - 544. Let r be f(l). Solve r*b + 4 = 4*b for b.
-2
Let f be (8/(-5))/(86/559 - 72/130). Solve 0 = -f*k - 3 - 13 for k.
-4
Suppose -i = -5*u + 573, 993*u = 991*u - 4*i + 216. Solve -u - 31 = 29*c for c.
-5
Let k be ((-271)/542)/(122/124 - 1). Solve 15*b = k*b for b.
0
Let p(m) be the third derivative of -3*m**2 + 0*m - 1/60*m**6 + 0 - 11/6*m**3 + 17/60*m**5 - 1/4*m**4. Let x be p(8). Solve -v = -x*v - 12 for v.
-3
Suppose -11*z + 26*z = 0. Suppose z = -4*a - 6 + 2, 3*p = 2*a + 32. Solve c + p = -c for c.
-5
Let t(v) = -3*v**2 - 192*v - 326. Let k be t(-62). Solve 0 = -k*n - 11*n - 114 for n.
-2
Let i(x) = -2*x**2 + 44*x + 51. Let v be i(23). Let n(l) = -l**3 + 8*l**2 - l + 10. Let u be n(8). Let z be u/(-4) + 6/12. Solve v = -j - z*j for j.
-5
Let q(u) = -4*u**2 - 26*u + 8. Let b be q(-7). Let z(d) = -d**2 - 12*d - 36. Let t be z(b). Solve 0 = -t*g + g + 1 for g.
-1
Let k = -2878 - -2964. Solve 44 = 26*t - k for t.
5
Suppose 6*i - 79 + 13 = -6. Solve -i*p + 33 = 13 for p.
2
Let h(v) = -v**2 + 136*v + 1950. Let k be h(-13). Solve 175 = -12*j - k*j for j.
-7
Let f be ((-3)/(-10))/((-18)/(-285))*8. Suppose -f*w = -24*w - 126. Solve -3*r + w = 18 for r.
-3
Suppose 1 = 8*z - 23. Let v be -3 - (z - 31) - 3/(-1). Suppose -24*k + v*k - 8 = 0. Solve k*y - 5*y = -12 for y.
4
Let c