3*s for s.
4
Let l be (-2 - (0 + -1) - 3) + 8. Let t = -767 - -772. Solve -l = j - t for j.
1
Suppose 0*y - 22 = -4*y + 2*d, 2*d = 2*y - 16. Let g be 3 - (y - (-4)/(-1)). Let p be (1 + (-2)/1)/(g/(-16)). Solve -6*z = -p*z for z.
0
Let m = -124 + 117. Let n(i) = i**3 + 3*i**2 - 29*i + 1. Let s be n(m). Solve -s*t = -2*t for t.
0
Let w(p) = -2*p**2 - 59*p + 39. Suppose 0 = -4*z - 16, -3*z + 5 = l + 47. Let v be w(l). Solve 0*i + v = -3*i for i.
-3
Suppose 0 = -716*f + 743*f - 1890. Solve -f*g + 77*g = -7 for g.
-1
Let x = -38 - -32. Let p be 2 - 3/x*-22. Let k be 3/p*(-1)/((-1)/(-3)). Solve -2*i = 3 + k for i.
-2
Let y be (-7)/(35/(-2))*195/(-1). Let d = -69 - y. Suppose 2*i = -4*m, -1 - d = 5*m + 5*i. Solve t + 0 = m for t.
2
Suppose k + 12 = -3*k. Let c(l) = -2*l**2 - 5*l + 12. Let m be c(k). Solve 0*o = m*o - 45 for o.
5
Let r = 394 - 380. Let w = r + -1. Solve 3 = 2*o + w for o.
-5
Suppose 0 = 19*m - 17*m - 4. Suppose 14 = -5*h - m*h. Let a be 1 + 2/h + -9 + 13. Solve a*t + 10 + 2 = 0 for t.
-3
Suppose 61*h - 3507 = 5216. Solve 0 = -137*u + h*u - 36 for u.
6
Let h = -24 + 26. Suppose h*s + 3*j = -j + 8, j = -3*s + 7. Let l be (1 + -1)*1/s. Solve l = 2*t - 10 for t.
5
Let o = 97 + -77. Let w be 12/10*o/(-3)*-4. Suppose 0 = -a + 5*l - 22, -2*l - 2*l = 4*a - w. Solve a*j + 1 = -2 for j.
-1
Suppose -4*i = 20, -5*i = -26*p + 30*p - 19. Solve -10*q = p*q for q.
0
Suppose -2*p + 5*c + 38 = 0, -122 = -5*p + 17*c - 18*c. Let s be (-60)/(-24)*p/10. Solve -4 = -2*i - s for i.
-1
Let c(x) = 6*x**2 - 62*x + 20. Let p be -1 + ((2 + 0)*-11)/(-2). Let w be c(p). Solve 6*d + 5 - 17 = w for d.
2
Suppose 36 = -51*s + 129 + 60. Suppose -3*j + 90 = -0*j + 5*z, 131 = 5*j + 2*z. Solve s*y - 8*y = j for y.
-5
Suppose -12*l = -206 + 230. Let y(g) = 3*g**2 + 1. Let m be y(l). Solve -m = -3*f - 16 for f.
-1
Suppose -w + 9 = 2*w + 3*h, -2*h = -5*w - 20. Let m be (46/(-4) + 5)*w. Solve 0 = -m*f + 11*f - 4 for f.
-2
Let b = -6543 - -6591. Solve -b*r = -57*r + 18 for r.
2
Let i be ((-15 - -2 - -17) + -1)/1. Let b be -2*(-2 - -4)*-2. Solve 2 = -i*r + b for r.
2
Let a(x) = -x**3 - 4*x**2 + 14*x + 13. Let p be a(-6). Suppose 14 = 4*i - 3*l, -2*l = i + p + 1. Solve 14 = 4*v - i for v.
4
Let x(v) be the third derivative of -v**6/120 - v**5/20 - v**4/6 - 4*v**3/3 - 22*v**2. Let u be x(-3). Suppose -u*m + 60 + 4 = 0. Solve 3*b + m = -b for b.
-4
Suppose 3*d + 11*d = 1778. Let m = -106 + d. Solve -c + m - 26 = 0 for c.
-5
Let f be (2/(1 + 0) - 7) + 39 + -32. Solve 16 - f = 2*m for m.
7
Let d(i) = -2*i**2 - 5 - 6*i + 6 + 0*i**2 + 2. Let j be d(-3). Let a = 27 - 22. Solve -j*u + a + 4 = 0 for u.
3
Let m(y) be the first derivative of -y**3/3 - 9*y**2 - 61*y + 34. Let k be m(-5). Solve k*c + 24 = 10*c for c.
4
Let g(l) = -37*l**2 - 16 + 20*l + 33*l**2 + 5*l + 6*l. Let x be g(7). Solve c = -x*c for c.
0
Let m(n) = n**3 - 12*n**2 - 13*n + 5. Suppose 6 = -l + 19. Let z be m(l). Let d be (-10)/z + 2 + 3. Solve -2*t = d - 1 for t.
-1
Let o be (-4)/(16/6)*(-16)/6. Suppose -24 = 3*f - 5*f. Let q be (f + 4)*1/2. Solve 0*n = o*n - q for n.
2
Suppose r - 3*i = 21, 5*i - 13 = r - 44. Suppose r - 43 = -4*f + m, f - 4*m - 28 = 0. Let c be (-2)/f + 102/24 - 1. Solve c*x = -2*x for x.
0
Let h = -730 + 732. Let k be ((-24)/(-30))/(h/5). Solve k = -18*y + 16*y for y.
-1
Let o be 1 + 3 - (-5 + 7). Suppose 4*b = p - 16, o*p - 6*p = -2*b - 22. Solve -p*n + 0*n + 8 = 0 for n.
2
Suppose o = 3*a + 4, 0 = -2*a + o - 2*o - 11. Let p be 0/a*1/2. Solve -4*n + 8*n = p for n.
0
Suppose -209*w + 154 = -195*w. Suppose -11 = -16*l - w. Solve l*x + x = 10*x for x.
0
Suppose -2*a = 7*h - 101, 0 = 3*a - 0*a + 6. Solve 13*v + 11 = -h for v.
-2
Let w(a) = a - 27. Let l be w(6). Let q = l - -27. Solve -4*v + q = -v for v.
2
Let j(c) = c**3 + 6*c**2 + 16. Let o be j(-6). Suppose 5*h - 5*a - 30 = 0, o = -5*h + 9*h - 2*a. Solve -p = p - h for p.
1
Let g = 2 + 0. Let z = -314 + 330. Suppose 21*v = z*v. Solve v*n = -n - g for n.
-2
Let w be (-4)/34 - (-42 + (-24208)/(-578)). Solve w = 186*r - 193*r - 7 for r.
-1
Let t(y) = 2*y + 10. Let u be (0/(-1) + -3)*310/6. Let m be 93/u*(-3*3 + -1). Let z be t(m). Solve -2 = 5*v - z for v.
4
Suppose -74*d + 1203 = -71*d. Let q = d - 397. Solve 14 = -5*t + q for t.
-2
Suppose -14*r = -17 - 11. Let a be (r - 2)/2 + (-18)/(-2). Solve 4*y - a*y = 0 for y.
0
Suppose b - t = 2, 2*b = b + 2*t + 4. Suppose -3*z - 36 + 57 = b. Solve 0 = -0*a - z*a - 7 for a.
-1
Let h be (-8 - (-324)/42) + 13/(182/46344). Solve 3304*y - 12 = h*y for y.
-2
Let d(n) = -6*n**3 - 499*n**2 - 82*n + 152. Let v be d(-83). Solve 77*f = v*f - 48 for f.
-6
Let f = 34 + -14. Let v = -91 - -93. Let y be (5/20)/(v/24) - -4. Solve 2*i = y*i + f for i.
-4
Suppose 5*y + 45 = 5*w, 31*y - 10 = 33*y. Solve 0 = -w*i - 8 + 16 for i.
2
Let a(r) = -r**2 + 54*r - 31. Let w(p) = -2*p**2 + 157*p - 92. Let u(g) = 11*a(g) - 4*w(g). Let h be u(-12). Solve 0 = 4*d - h*d + 3 for d.
-3
Let a(l) = -l**2 + 60*l - 249. Let p be a(55). Solve -p*x = -45*x + 20*x for x.
0
Let r(h) = -393*h**3 - h**2 - h + 3. Let t be r(1). Let u = t + 394. Let o = 17 - 2. Solve 3*a + u*a = o for a.
3
Let m(k) = 16*k**3 - 3*k**2 + 2*k - 1. Let a be m(1). Let p be 1/(((-1)/2)/(a/(-4))). Solve -26 = -p*y + 2 for y.
4
Let h(r) be the first derivative of r**3/3 + 4*r**2 + 17*r + 24. Let q be h(-7). Suppose -6 - q = -8*x. Solve -x*a + 0 = 6 for a.
-3
Suppose 0 = 255*k - 250*k - 30. Suppose 8 = k*t - 10. Suppose 0 = 2*g + 5*a - 28, -14 = -t*a - 2. Solve -10 = -g*n - 30 for n.
-5
Let u be (-2)/((-1 + (-26)/(-24))*-3). Solve u = 19*t + 27 for t.
-1
Let t(i) = -729*i - 1451. Let d be t(-2). Solve 0 = 336*s - 343*s + d for s.
1
Let f(j) = -3*j + 16. Let n be f(4). Suppose 4 = n*q - 4. Solve -q + 6 = -2*i for i.
-2
Let r = 28 - -6. Let l(j) = j**3 + 12*j**2 + 4. Let i be l(-12). Suppose 5*z + 10 = 5*b, 4*z = -2*b - 0*b + i. Solve 5*h + 9 - r = z for h.
5
Let s(k) = 2*k**2 - 3*k + 12. Let v be s(-5). Let c = 80 - v. Suppose 0 = 2*m + 6, 3*b - c*m = 2*m + 27. Solve 16 = -5*q - b for q.
-4
Suppose -3 = -7*o + 4. Let w be (0/(1 - -1))/o - 0. Suppose u - 6*s + 2 = -5*s, -s + 5 = w. Solve u*c + 0 = 15 for c.
5
Let y = -23 - -23. Let v be 3 + -1 + y + -22. Let a = v - -26. Solve -5*z - a = -3*z for z.
-3
Let n = -119 - -119. Suppose -5*w - 25 = n, 18 = -i - 5*w - 4. Solve f + 2 + i = 0 for f.
-5
Let n = 1752 + -1611. Solve -26*u = -n + 37 for u.
4
Suppose -71*n + 76*n = 60. Suppose n = 54*w - 51*w. Solve w*k = -3 + 7 for k.
1
Let a be (-21)/15 + (-296)/(-40). Suppose 5*f + 1 = -a*o + 5*o, 21 = 5*o - f. Solve 0 = -7*h + o*h - 15 for h.
-5
Let z be 160/(-1520) - 2/(-19). Solve z = -5*h + 1493 - 1463 for h.
6
Suppose 74*r - 9380 = 4162. Suppose r*g = 192*g. Let u = 8 - 5. Solve -u*h - h = g for h.
0
Let d(a) = -a**3 - 10*a**2 - 2*a + 17. Let z be d(-10). Let b = 37 - z. Solve b = u - 5*u + 4 for u.
1
Let t be (-2100)/(-875)*(-5)/(-4). Let v be 2/((-5)/((-75)/6)). Suppose h + 4*d + 20 = 0, 5*h + v*d + 9 + 16 = 0. Solve -5*x + t*x = h for x.
0
Suppose 6*p - 9*p = -3*d - 45, -3*p = -d - 45. Solve p*g - 22*g = -12*g for g.
0
Suppose -17*j - 14*j = -336 - 4655. Solve -9*l = j - 152 for l.
-1
Suppose 759*w - 762*w = -9. Solve 4*v + w*v = -7 for v.
-1
Let n be (-30)/3 + 8 + 77 + -3 + -1. Solve -21*v + 55 + n = 0 for v.
6
Let u be (0*(3 + 45/(-18)))/(-3). Solve 13*j = -65 - u for j.
-5
Let s = 13640 - 13634. Solve 0 = -1034*y + 1032*y + s for y.
3
Let z be 6042/8 + -2 + (380/(-20))/76. Solve w - 756 = -z for w.
3
Let i(n) be the third derivative of n**4/24 + 8*n**3/3 + 7*n**2 - 4*n. Let l be i(-8). Solve -4*o + 4 = -l*o for o.
-1
Suppose 10*z - 18*z = -128. Suppose 36 = 10*x + z. Solve -x*u = 2*u for u.
0
Let p(a) = -a**3 - 13*a**2 - 21*a + 13. Let t be p(-11). Let d(f) = 2*f**2 - 18*f - 11 - 5*f**t + 2*f**2 - 7. Let o be d(-16). Solve -2 = -3*h - o for h.
-4
Let g = -11 + 15. Let w be 2660/180 + g/18. Let t = -11 + w. Solve t = o - 1 for o.
5
Let r be 90/27*31260/40. Solve -r*n - 42 = -2611*n for n.
7
Let s(i) = -14*i**2 + 1176*i + 37. Let a be s(84). Solve 189 = -16*j + a*j for j.
9
Let h be (-1)/2*(0 - -2). Let q = 399 + -399. Let f be 0/(h + q/(-4)). Solve f = 3*n - 3 for n.
1
Suppose -4*y + 104 + 8 = 2*i, -2*y = 2*i - 52. Suppose 2*z = -3*q + y, 1 = 2*q - 5*z - 0. Solve -l - q = -3 for 