Solve i - 1 = -4*v for v.
-2
Suppose -2*q = -0*q + 4. Let y be ((3 + -3)/q)/(-2). Solve 7*t + 0*t = y for t.
0
Let b(c) be the first derivative of -c**4/4 + 3*c**3 - 6*c**2 - 12*c + 6. Let p be b(7). Suppose z + 20 = -p*z + 5*a, -8 = -2*a. Solve -h = -z*h - 1 for h.
1
Let t(v) = 311*v**3 - v**2 + 2*v + 4. Let h be t(-1). Let k = -298 - h. Solve k + 0 = -3*s for s.
-4
Let p(i) = -i**2 + 87*i + 662. Let f be p(-7). Let h(d) = -5*d - 10. Let w be h(-11). Solve -f*t - w = -49 for t.
1
Suppose 5*h = -2*c - 47, 4*h + 3 = -1. Let m = 24 + c. Suppose m*l - 9 = -w, 3*w = w. Solve -l*s = 2*s for s.
0
Let p be (-1236)/515*(10 + 0)/(-2). Solve -392*y + 386*y = p for y.
-2
Suppose -175 = 9*i - 16*i. Let y = 25 - i. Solve y = b + 4*b for b.
0
Suppose 16*n + 3 = 3*n + 3. Solve -26*g + 21*g = n for g.
0
Let a = 55 + -17. Let o = a + -30. Suppose o*r - 42 = -10. Solve -c = -r*c - 6 for c.
-2
Let c be (-2 + -4 + 4*(-3)/(-2))/(-4). Solve -49*q - 558 + 166 = c for q.
-8
Let y(r) = r**3 + 9*r**2 + 4*r + 16. Let k be y(-8). Suppose 45*d - 12 = k*d. Let l be d/(-1) - 1*(-3 - -3). Solve -b - l = -3*b for b.
2
Let r(z) = 9*z - 23. Let q be r(-8). Let n = 96 + q. Solve -7*j = -6*j - n for j.
1
Suppose -62 = v - 134. Suppose -19*o = -11*o - v. Solve -5*q + o + 1 = 0 for q.
2
Let d be (2/(-4))/((-7)/28). Solve d*s + 82 = 76 for s.
-3
Let p(s) = 108*s**2 + s - 2. Let c be p(1). Let q = c + -103. Solve -q*i = -i - 15 for i.
5
Let i be (-228)/(-108) - (-3)/(-27). Let h be (15/(-35))/(i/(-28)). Solve -5*q + h = 1 for q.
1
Let x = 57 - 56. Let k be ((-14)/35)/(x/(-35)). Solve 11*n = k*n - 12 for n.
4
Let s(h) = -h**2 - 76*h + 9189. Let n be s(65). Solve 0 = -n*g + 155 + 13 for g.
7
Suppose 66*l = -552 + 2862. Solve 0 = 12*s - l*s + 23 for s.
1
Suppose -2*l - v = -5*v - 96, 0 = -3*v. Let q = l + -45. Solve -q*n + 9*n = -18 for n.
-3
Suppose 0 = 24*w - 20*w - 476. Solve -19 = 23*m + w for m.
-6
Let y be (-204)/2*345/207*(-6)/20. Solve y*g - 161 = 196 for g.
7
Let u = -24 - -23. Let r be -6*u/(-4)*(-52)/39. Solve r*j - 17 = -13 for j.
2
Let n(t) = t**2 - 9*t - 18. Let d(q) = -3*q**3 - 3*q**2 - 1. Let m be d(-2). Let a be n(m). Solve a = -4*s - 0 for s.
-1
Suppose -44 - 109 = -51*p. Let q(w) = w**2 - 8*w + 23. Let f be q(p). Solve f*x - 2*x + 0*x = 0 for x.
0
Let h = -286 - -303. Solve h*d + 33*d - 50 = 0 for d.
1
Let q(p) = 11*p - 165. Let x be q(15). Let a be (-22 - -22)/((x + 1)/(-1)). Solve a*o = -12*o - 12 for o.
-1
Let g = 38531 - 38499. Solve -g = 6*u + 10 for u.
-7
Let g = -278 - -300. Solve -g*t = 10*t for t.
0
Suppose 4*i - 132 = 5*g, -4*i + 2*i + 40 = 4*g. Let j = i - 20. Suppose -2*r + j = 3*z, 0 = 3*r - 2*z - 2*z - 12. Solve 0*p + 16 = -r*p for p.
-4
Let q(b) be the third derivative of b**6/120 - b**5/4 + b**4 + 13*b**3/3 + 13*b**2. Let x be q(13). Solve x*u = -3*u for u.
0
Suppose d - 4*c = c - 7, 5*d - 25 = -5*c. Suppose -2*z + 4*z = 0. Solve -l - d + 6 = z for l.
3
Let y(q) = q - 6. Let t be y(8). Suppose v = -0*v + t. Suppose 27*o - 21*o = 0. Solve o = d - 1 + v for d.
-1
Let f = 3549 - 3542. Suppose 0 = 3*j - u - 29, -4*j - 5*u - 2 + 9 = 0. Solve -d + f = j for d.
-1
Suppose 328 = -3*j + 331. Let l be (-5)/j - (-6 + -6). Solve -l*v = 8*v for v.
0
Let h be (-9 - (-317 + -16)) + 2 + 6. Solve -12*x + 332 = h for x.
0
Suppose -2*l + 12 = -18*k + 17*k, 0 = -4*l + 5*k + 24. Solve l = a + 3 for a.
3
Let a(f) be the second derivative of 1/3*f**3 - 12*f + 1/12*f**4 - 1/2*f**2 + 0. Let h be a(-4). Solve 8 = 3*y - h*y for y.
-2
Let b be (-205)/82*(-108)/10. Solve b*d - 85 = 77 for d.
6
Suppose -7*g + 2035 - 691 = 0. Let m = g + -188. Solve -t + m*t + 9 = 0 for t.
-3
Let z = 2332 + -2261. Solve -z*h = -65*h - 6 for h.
1
Let z = 2174 - 2171. Solve -z = 355*s - 352*s for s.
-1
Suppose -26*s + 9424 = 6*s - 13968. Solve 72*w - 155 = -s for w.
-8
Let b = 18 + -19. Let u be (-7)/21*6*b/2. Solve 5 = -w + u for w.
-4
Let g(v) = 16*v**2 + v - 2. Let r = -146 - -147. Let u be g(r). Solve -6*y + u = -3*y for y.
5
Let u = -177 - -323. Suppose -137*k = -u*k + 72. Solve 13*z + 10 = k*z for z.
-2
Let m(v) = 6*v**2 + 80*v + 243. Let q be m(-9). Solve -140 = 19*s + q*s for s.
-5
Suppose -22*p + 25*p - 33 = -2*g, -2*p = -2*g + 18. Suppose g*u - 11*u - 2 = 0. Let x = 6 - 2. Solve u = -n + x for n.
2
Let l(s) = 4*s + 272. Let c be l(-66). Solve -123 + 91 = -c*w for w.
4
Let w = -1 + 1. Let u(d) = 35*d - 1744. Let c be u(50). Solve -3*k + w*k + c = 0 for k.
2
Let h be 18/(-7)*(-105)/15. Suppose 4*x = -i - h - 2, -i - 2*x = 10. Solve i = -c - 2 + 5 for c.
3
Let x = 181 - 147. Let t = -31 + x. Let n(f) = 11*f - 1. Let b be n(1). Solve -b = t*l - 1 for l.
-3
Let j be (152/(-12) + 13)*(-18)/(-1). Let h be 26 - (j/(-21) - 5/7). Solve -5 = -8*w + h for w.
4
Suppose 37*l = 32*l - s + 7, 0 = 4*l + 5*s + 28. Let a be (2 - 0)/((-6)/(-12)). Let m be 30/8 - 2/(-8). Solve l*k = m*k + a for k.
-4
Let u = 970 + -648. Suppose -u*i + 16 = -318*i. Solve i = -2*d + 10 for d.
3
Let a(c) = -c**3 + 8*c**2 + 10. Let q(v) be the third derivative of -v**4/8 - 8*v**3/3 - 10*v**2. Let i be q(-8). Let x be a(i). Solve x = -l + 3*l for l.
5
Let y(p) = p**3 - 5*p**2 - 4*p + 9. Let a be y(6). Suppose -2*f - 7 = 3*j - 23, 4*j + 3*f = a. Solve 1 = j*k - 5 for k.
1
Suppose 3*b + 14 - 143 = 0. Let c be (57/(-4))/((-24)/(-64)). Let v = c + b. Solve 7*y - v = 2*y for y.
1
Let y(x) = -2*x**3 + 3*x**2 + 2*x. Let d(i) = i**3 - 6*i**2 - i + 5. Let z be d(6). Let o be y(z). Suppose 27 = -o*r + 102. Solve r = 8*q - 3*q for q.
5
Let h(t) = 4 - 20*t + 0 + 1. Let c be h(5). Let f = 95 + c. Solve f*u + 5 = u for u.
5
Let n(t) = 2*t + 91 - 96 + 0*t + 7*t. Let d be (1 + -2)*0 + 1. Let p be n(d). Solve -p*w - 9 = -1 for w.
-2
Suppose 4*v - 4*b - 8 = 0, -4*b + 43 - 23 = 3*v. Let y = -14 - -28. Suppose -y - 6 = -5*s. Solve -s*z = -3*z - v for z.
4
Let q = 212 - 207. Suppose 6*r + 27 = q*u + 8*r, 0 = -r + 1. Solve -u*v - 22 = -7 for v.
-3
Let h(z) = 3*z. Suppose 3*o = 30 - 27. Let m be h(o). Suppose -2*w = m - 39. Solve -5*f + w = -2 for f.
4
Suppose -389 = 3*x + 2*w, -504 = 4*x - 0*w - w. Let u = -107 - x. Solve 0 = -2*q + 6*q + u for q.
-5
Let m(f) = -f**2 - 97*f + 731. Let n be m(-104). Solve 27*q - 24*q = -n for q.
-1
Let b be (7/(-28))/((-3)/48). Suppose -i = 2*q + b, 5*q + 2 + 18 = -5*i. Solve -6*c = -q*c - 24 for c.
4
Let j(w) be the first derivative of -w**4/2 - 25*w**3/3 - 5*w**2 + 29*w - 64. Let u be j(-12). Solve -c + 4 = u for c.
-1
Let p(h) = -39*h - 666. Let u be p(-18). Solve 9 + u = -9*b for b.
-5
Suppose 14*q - 32*q - 382 + 1282 = 0. Solve -q = 6898*h - 6908*h for h.
5
Let a be (13376/(-120))/(-11) - 2/15. Solve -17*x + a = -41 for x.
3
Suppose 12*y = 89 + 55. Suppose -16 = -y*b + 20. Suppose -5*k - b*c + 24 = -0*k, 4*c - 12 = 0. Solve a - 2 + k = 0 for a.
-1
Let r = -200 + 200. Suppose -48*f + 46*f + 4*b = r, 4*f - 12 = 4*b. Solve 18*n - 15*n = -f for n.
-2
Let a(b) = -b**2 - 2*b + 21. Let v be a(-9). Let z = v - -36. Let s be 5 - (3 + z/3). Solve -m - s = -0 for m.
-4
Let l(a) = -4*a**2 - 19*a - 6. Let z be l(-4). Suppose -12*r + 156 = -z*r. Let c be (((-80)/3)/(-2))/(r/39). Solve 0*s = -5*s + c for s.
4
Suppose 0 + 4 = -4*n. Let q = 4791 - 4773. Let l be n + 5/6 - (-57)/q. Solve 0 = -l*i - 12 + 3 for i.
-3
Let b(i) = -i**2 + 15*i + 12. Let t be b(-10). Let h = t + 242. Solve -3*w + 4 = -h*w for w.
-4
Let v = -31 + 49. Let t be v*(-4)/(-8) + -4. Suppose -t*c = -c - 2*a - 10, -5*c = 3*a + 15. Solve c = -0*x - 5*x for x.
0
Let b(y) = -2*y - 18. Let w be b(-11). Suppose -5*a = -174 + w. Let v = 34 - a. Solve v*s = s for s.
0
Let a(j) = -j**2 + 5*j + 35. Let g be a(-4). Let y be g*(0 + -2)/2. Solve -3*i - 2 - y = 0 for i.
-1
Let q = -4222 + 4242. Solve -q = 11*k + 13 for k.
-3
Let u(y) be the second derivative of y**5/20 + 5*y**4/12 - 7*y**3/2 - 45*y**2/2 + y - 25. Let s be u(-7). Solve -s*l = l + 10 for l.
-2
Suppose -355*a + 2654 + 921 = -80*a. Solve 37*w - a*w = -72 for w.
-3
Let d = 461 + -461. Solve d = 263*k - 259*k for k.
0
Let z = -71 - -77. Let c(t) = 11*t - 37. Let s be c(z). Suppose 5*w - k - 28 = 0, -4*w + 0*k + 3*k + s = 0. Solve o - 8 = w*o for o.
-2
Suppose -v = -35 + 32. Suppose i + i + 5*u = 23, 2*i + 17 = v*u. Let r be (0 + 0/1)/i. Solve r = c + 1 for c.
-1
Let j be (2*(-5)/55 - (-18)/99)/1. Let y be 4/(-10)*