v for b.
4
Let s be ((-2)/(-6))/(15/(-90)). Let q be 63/(-12) + (-18)/(-8) + s. Let j be ((-27)/15 - -1)/(1/q). Solve 2*f + 0*f = j for f.
2
Let b = 98 + -155. Let i(r) = -5*r**2 - 2*r - 1. Let x be i(-3). Let j = x - b. Solve j = -5*h - 3 for h.
-4
Let r(i) = -i. Let c(n) = n**2 - 6*n + 1. Let a(w) = c(w) - 5*r(w). Let t be a(1). Suppose v - 5*v = 0. Solve v = 3*x - t - 2 for x.
1
Suppose -1 = -r - 0, -h = -5*r + 5. Suppose -4*s + 49 - 29 = h. Solve -s*c = -8*c + 9 for c.
3
Let k be (-3)/18*3544 + 6/9. Let u = k + 602. Solve -u*i - 16 = -16*i for i.
4
Suppose 125 = 106*h - 30*h - 179. Solve h*p = -22 + 14 for p.
-2
Suppose -631 = -11*a - 521. Solve 5*q = 5*q - a*q for q.
0
Let t(z) = z**3 + 3*z**2 - z - 2. Let n be t(1). Let o = 85 - 78. Suppose -o*s = 2*s - 81. Solve -5*f - n = s for f.
-2
Let r(v) = -v + 17. Let q = 27 + -27. Suppose -7*u + 89 + 2 = q. Let p be r(u). Solve -p*i - i = 5 for i.
-1
Let f be (1*-1)/((-15)/(-45)). Let j(z) = 9*z**3 + 2*z - 2. Let v be j(1). Let m = v + f. Solve m = -n + 2 for n.
-4
Let r be ((-188)/(-10))/(3/(-15)). Let i = r + 99. Suppose 3*t = i - 14, -2*q + 6 = 2*t. Solve 5*u - q = 4 for u.
2
Let b(m) = m**2 + 42*m - 50. Let y be b(-44). Let n = y - 29. Solve -2*z = -5*z - n for z.
-3
Let y be (1551/(-12) + -2)*(-16)/(-6). Let u = y - -352. Solve 3*m + u = m for m.
-1
Let i(w) = -18*w + 280. Let a(k) = 7*k + 134. Let l be a(-17). Let x be i(l). Solve -4*t + x = -10 for t.
5
Suppose 5*s - 4*f = 222 + 100, 4*f = -12. Solve 58*t + 8 = s*t for t.
2
Let b(j) = -2*j**3 - 22*j**2 - 51*j - 6. Let a be b(-3). Solve -a*d - 15 = -21 for d.
2
Let y(w) = 3*w + 10. Let h be y(9). Let b = 33 - h. Let n(k) = -k - 4. Let v be n(b). Solve v*x = -x + 5 for x.
5
Let c(f) = -49*f - 3201. Let a be c(-66). Solve h = a*h - 192 for h.
6
Suppose 25 - 39 = -2*h - 4*b, 3*h - 3*b - 3 = 0. Suppose 5*v - 91 = h*u, 16*v - 14*v = 2*u + 34. Solve 9*o - v = -o for o.
2
Let f(y) = -883*y - 4411. Let b be f(-5). Let c = 7 + -1. Solve -m = -b*m - c for m.
-2
Let w(d) = d**3 - 50*d**2 + 97*d - 42. Let v be w(48). Suppose 8*b = 9*b + v*b. Solve b = -0*o - 8*o - 32 for o.
-4
Suppose 406*h - 360 = -359 + 6089. Solve -h*i = -2 - 58 for i.
4
Let c(j) be the second derivative of j**5/20 + 7*j**3/6 + 2*j**2 + 4*j - 8. Let q be c(0). Solve 0 = q*g - 7*g + 3 for g.
1
Suppose 0 = -2*n - 3*p - 1650, 2*n + 28 = 3*p - 1634. Let a be n/(-966)*(42/4 - 0). Solve a - 23 = -7*s for s.
2
Let b(i) = -i**3 + 2*i**2 + 17*i - 8. Let s be (-3*30/18)/(-1). Let h be b(s). Solve h*x = -3*x + 10 for x.
2
Let b be ((14 - 22) + 6)*-13. Solve b = -15*j - 4 for j.
-2
Let w be ((5/(-4))/(55/(-66)))/(63/378). Solve -21*p - w = -24*p for p.
3
Let o be 35/(420/(-24)) + (9 - 0). Solve -o*j - 347 = -333 for j.
-2
Suppose 0 = -2*u - 2*h + 8, 3*u - 1 = 2*h - 9. Let w = 8 - 16. Let b be (6/w)/(4/(-16)). Solve u = b*f + 9 - 3 for f.
-2
Let p = -197 - -275. Suppose 0 = -4*h - 66 + p. Solve 0 = 3*y + h*y for y.
0
Let a = 14893 + -14879. Solve a*f - 343 = -35*f for f.
7
Let d be 1*8/4 - 4. Let f be (-7)/7*2/d. Let a = 28 - 24. Solve -f + a = 3*k for k.
1
Suppose 0 = 4*m + t - 32, 12*t - 60 + 12 = 0. Let y be (-6)/(-8)*32/4. Solve m + 5 = y*s for s.
2
Let a(m) be the first derivative of -3*m**2 - 114*m - 22. Let q be a(-19). Solve b - 5 + q = 0 for b.
5
Let v(u) = -111 + 7*u**2 - 2*u + 7*u**2 - 15*u**2 + 35*u. Let s be v(29). Solve 0 = s*c - 5 for c.
1
Suppose 9*n - 13*n + 4 = 0. Suppose 2*w = -3*y - n, -4*w + 23 = w - y. Solve 0 = -i + w*i + 12 for i.
-4
Suppose 239 = -11*c - 25. Let v be ((-14)/(-42))/((-2)/c). Solve 2*h = -12 + v for h.
-4
Let y be 3 + -60 + 5 - (-4 - -6). Let n = 58 + y. Solve n + 16 = 5*u for u.
4
Suppose -t - 4*p - 772 = 0, -5*t + 14*p = 10*p + 3980. Let v = t + 806. Solve 2 = 3*i + v for i.
-4
Suppose -867*w - 2511 = -1146*w. Suppose -5*o - x = 4*x + 45, 5*o = -3*x - 43. Let l(p) = p + 8. Let u be l(o). Solve u = 2*t + t - w for t.
3
Suppose 25 = h - 71*i + 82*i, 5*h + 4*i - 176 = 0. Solve 19*a - h*a + 102 = 0 for a.
6
Let b be (-7)/((-84)/(-128))*(-39)/26. Suppose s - 64 = -3*s. Suppose s = 2*h + 2*h. Solve h = -3*l + b for l.
4
Let r be 4 + -33*8/(-12). Suppose -r = -2*u - 40. Let b(c) = -3*c - 18. Let h be b(u). Solve 6*q - h*q = -3 for q.
-1
Let q = 72 - 105. Let i be 3/5*(-110)/q. Suppose g = 2*v + 4*g + i, -g - 2 = 0. Solve 0 = -v*j + 5 + 3 for j.
4
Suppose -198*a = -5604 - 3702. Solve -44*o = -a*o + 12 for o.
4
Let x(w) = w**2 - 38*w - 70. Let y be x(-2). Solve y*b - 2*b = -8 for b.
-1
Suppose 5*q = -2*u + 47, q = -65*u + 69*u - 105. Suppose a + 17 - u = 0. Solve a - 15 = -6*p for p.
1
Suppose 5215 = -192*z + 18655. Solve -72*d + 2 = -z*d for d.
1
Let c be 57/38*-15*(-2)/9. Solve 0 = c*q + 2571 - 2601 for q.
6
Let t = -7124 + 7353. Solve t - 309 = -10*n for n.
8
Let j(p) be the first derivative of -p**3/3 + 6*p**2 - 23*p - 13. Let g be j(7). Solve -4*n - g = -4 for n.
-2
Let z be (12/(-18))/((-1)/(-2))*-60. Solve 12*o = -4*o - z for o.
-5
Suppose 0*y = -3*y, 3*l = 4*y + 15. Let n be 12*2 - (-2 + (0 - -1)). Suppose -5*r = n, 0 = l*o + r + 2*r. Solve x - o = -2 for x.
1
Let h be (-5 - (-19616)/144) + (-2)/9 + 6. Solve -h + 109 = 4*r for r.
-7
Suppose -5*q - g + 0*g + 28 = 0, 5*g = 15. Suppose i + q = 0, -4*t - 3*i - 10 = -i. Let k = t + 10. Solve -5*w = -k - 15 for w.
5
Let y = -366 + 401. Suppose 0 = -2*c + 2*q + 12 + 14, 2*q = 3*c - y. Solve 0 = -2*r + 5*r + c for r.
-3
Let z = 31 + -147. Let n = -112 - z. Let o be (-40)/(-6) - (-2)/(-3). Solve 0 = n*h + o + 2 for h.
-2
Let o be -7 - 4/(-1) - 0. Let d be 2*(0 + o)/(-3). Suppose 24 = 4*i + d*i. Solve 0 = i*p + p for p.
0
Let o(c) = c**3 - 15*c**2 + 1. Let p be o(15). Suppose 0 = -6*q + 3*q. Suppose q = y + 3*y - 64. Solve -3*u = -y + p for u.
5
Let u(j) = j**3 - 15*j**2 - 33*j + 22. Suppose 0 = 3*n - c - 56, -32 = -24*n + 23*n + 3*c. Let o be u(n). Solve 10*k - o = -9 for k.
3
Suppose -4810*o = -4920*o + 220. Let h(d) = -6*d**3 + d. Let b be h(-1). Solve -o = b*s - 7 for s.
1
Let l(g) = -2*g**2 + 51*g - 175. Let u be l(21). Solve 114 - u = -25*k for k.
-4
Let q be (-42)/3 - (-29)/((-87)/(-72)). Suppose -9 = 5*o - 44. Solve o*b - q = 9*b for b.
-5
Suppose -g = -x - 8 - 20, 2*g - 5*x - 59 = 0. Suppose 11*p = 28 + g. Suppose 2*h = 6*h. Solve -n = -h*n + p for n.
-5
Let d = 92 + -159. Let m = d + 49. Let g = -4 - m. Solve 3*n - g = -2 for n.
4
Let x = 176 + -173. Suppose 10*c - 97 - x = 0. Solve c*u + 5 = 11*u for u.
5
Let m be 8 + (-2)/1*1. Let f = 78 - 147. Let n = -67 - f. Solve n*o = -0*o + m for o.
3
Let x(c) = c**3 - 8*c**2 + 14*c - 8. Let v be x(6). Let b(k) = 2*k - 4. Let r be b(5). Let l(i) = -20*i + 162. Let s be l(8). Solve -s*q + r = -v for q.
5
Let p(f) = -20*f**2 - 88*f + 241. Let a be p(-6). Suppose 0 = -5*s + 2*s + 6. Solve s*d = -a + 45 for d.
-2
Let m(d) be the first derivative of 2*d**3/3 - d**2 - 2*d + 8335. Let b(s) = -s**3 + 5*s**2 - 5*s + 6. Let v be b(4). Let l be m(v). Solve -7 - l = -3*t for t.
3
Let u(h) = -9*h**3 - 8*h**2 - 14*h - 34. Let o be u(-3). Solve 0 = -o*p + 171*p + 32 for p.
4
Suppose 11 = 9*j + 2*j. Let b(r) = 2*r + 27. Let h be b(-8). Suppose 4*a - j - h = 0. Solve c = -a*c - 4 for c.
-1
Let q be 21 + 2553/(-184) - (-1)/(-8). Solve 3*a = -q*a + 40 for a.
4
Let c(x) = 46*x + 252. Let z(w) = 21*w + 125. Let f(t) = -4*c(t) + 9*z(t). Let r be f(-20). Solve 8*s - r = 15 for s.
4
Suppose -516 = -6*a - 114. Suppose 0 = -3*h + 48 + 162. Solve a*w + 15 = h*w for w.
5
Suppose -201*u = 204*u - 408*u. Solve u = -25*c + 17*c + 40 for c.
5
Suppose -5*k + 27 = 4*k. Let h be ((-20)/5)/(-2*k/15). Solve -h*f - 8 = -6*f for f.
-2
Let p = 232 + 158. Let z = p + -386. Solve -27 = z*c - 15 for c.
-3
Suppose 2*n = -r + 20, 4*r - 5*n - 15 = 13. Let u be (156/42)/13 + (-24)/(-14). Suppose 0*w - 2*p = -5*w + 12, 7 = 4*w + p. Solve r = -w*d - u*d for d.
-3
Let w = -354 + 358. Let c be 1 + 1 - (-5)/5. Suppose -w*g = -3*a + 6, g - c*g - 5*a + 10 = 0. Solve g*r = -r - 5 for r.
-5
Let o(r) = 2*r**2 + 7*r - 2. Let t = -93 + 87. Let q be o(t). Let b = 29 - q. Solve b = 3*g - 5 for g.
2
Let s be ((-244)/732)/(2/(-630)). Solve o + s = -14*o for o.
-7
Let j = -4244 + 4261. Solve j*l = -7*l for l.
0
Let j = -45 - -48. Suppose o - 18 = -4*l + j*o, 5*o = -l - 12. Suppose l*i - 15 = i + q, -i - 2*q - 5 = 0. Solv