 15 for v.
-2
Let b(v) = 5*v**3 + 3*v**2 - 2*v. Let p be b(1). Solve 2*i - 4 = p*i for i.
-1
Suppose -y + 174 - 166 = s, -2*y + 2 = -5*s. Solve r - y + 9 = 0 for r.
-3
Let h = -2531 - -2538. Let o be (1 - 1) + 1 + 1. Solve 0 = o*q - h*q + 25 for q.
5
Let i(h) = -h**3 - 6*h**2 - 5*h. Let r be i(-5). Let k = -4 + 16. Suppose -2*w = -r*w - k. Solve 2*u = -w + 14 for u.
4
Let y(v) be the first derivative of v**3/3 - 3*v**2 - v - 3. Let n be y(5). Let a be (-11)/(-3) - 2/n. Solve a*x = -x for x.
0
Let j be 5*(7 + (-48)/8). Solve t - 8 = j*t for t.
-2
Suppose 25*g - 480 = -7*g. Solve 0 = -2*q + g - 7 for q.
4
Let n = 133 + -132. Suppose 0 = 5*p - 2*t - 14, -5*t + 2*t + 13 = p. Let y = n + p. Solve y*b + 5 + 0 = 0 for b.
-1
Suppose -2*a + 6 = 0, -6*a + 2*a = 3*w - 12. Solve -43*i + 38*i - 10 = w for i.
-2
Suppose 2*g - 10*f = -6*f + 26, 5*f = 0. Let k be (0 + 0)/((-4)/(-2)). Solve k = 3*z + 2 + g for z.
-5
Let v(w) = -w + 6. Suppose -11*k + 10 = -6*k. Suppose -k*c + 0*r - 5*r = -13, 4*c - r - 15 = 0. Let q be v(c). Solve z = -z + q for z.
1
Suppose -l = l + 4*n - 66, -5*n + 24 = l. Let s = l + -36. Solve 4*h = -s + 7 for h.
1
Suppose -8*a + 4*y = -5*a - 23, 4*a - 18 = -y. Suppose u - 2 = 4. Solve -a*j + u*j = 1 for j.
1
Let b be 6/(-9)*(14 - 65). Solve -4*w = b - 18 for w.
-4
Let l(n) = 28*n - 28. Let v be l(1). Solve 8*x + 7*x = v for x.
0
Suppose 0 = 6*p + 13 - 49. Solve 0 = p*f - 28 + 10 for f.
3
Let b(v) = 75*v + 2. Let l be b(-1). Let f = -66 - l. Solve -f*n = -3*n for n.
0
Suppose 3*j - 5*j + 20 = 0. Let m = -7 + j. Let z(w) = -w**2 - 16*w - 24. Let x be z(-14). Solve -m*p - x = 5 for p.
-3
Let k be (0 - 0) + 2 + -4. Let v be (1 + k - 11) + -2. Let y = 17 + v. Solve 0 = -6*a + y*a + 6 for a.
2
Suppose 0 = x - 21 + 5. Solve -3*v - x + 1 = 0 for v.
-5
Let k be (0 - 3)*(-380)/20*1. Solve -5 = k*q - 56*q for q.
-5
Let c(f) = -3*f - 1. Let n be c(-3). Let a(x) = -43*x - 428. Let d be a(-10). Solve 6*k - n*k - d = 0 for k.
-1
Suppose 5*p = 3*v - 383, 6*p + 8 = 4*p. Solve 0 = s + v - 120 for s.
-1
Suppose 14 = -p + 18. Suppose -2*y - p = -i, 0*y - 6 = -i + 3*y. Solve i = -2*q + q for q.
0
Suppose 8*x = -j + 3*x - 14, 5*x + 47 = 2*j. Solve 2*g + j = 1 for g.
-5
Let d = -37 - -49. Suppose 3*y - 53 = 5*g, 4*g + 52 = 2*y + y. Let a = y - d. Solve -3*h = -a - 5 for h.
3
Let l be 6*((-3)/6 + 1). Suppose 2 = -5*h + 2*u, 7*h + l = 2*h + 3*u. Suppose h = -4*z - 4 + 12. Solve z*o = -o - 15 for o.
-5
Let t(c) = 32*c - 128. Let s be t(4). Solve s + 24 = 6*b for b.
4
Let b = -5 - -3. Let d(n) = 8*n**3 + n**2. Let r be d(1). Let w be b/r + 4/18. Solve w = 2*g + 4 for g.
-2
Let o(n) = -n**3 + 5*n**2 + 2*n - 7. Let k be -5 + (-5)/5 + 11. Let g be o(k). Solve -5 - g = 2*p for p.
-4
Let b = 56 - 45. Solve 9*y + 4 = b*y for y.
2
Let b be 0 + -2 + (4 - 3). Let y be (1 - 5)*b/2. Solve y*i = i for i.
0
Let r = 79 - 79. Solve -4*f - 12 + r = 0 for f.
-3
Let h be (300/8)/5*(3 + -1). Let p(t) = -t**3 + 17*t**2 - 32*t + 35. Let i be p(h). Solve 0 = -i*c + c + 12 for c.
3
Suppose 80*i - 21 = 73*i. Solve -i*w - w - 20 = 0 for w.
-5
Let l be ((-16)/1 - -1)*(-346)/865. Let f = 0 + 0. Solve f = 3*a - l for a.
2
Let c(o) = o**2 - 2*o - 7. Let x be c(8). Let a = x - 36. Solve -3*s = -14 + a for s.
3
Let x(f) = -2*f - 2. Let v(y) = -y**2 + 9*y - 12. Let b be v(8). Let i be b*(0/1 + 1). Let g be x(i). Solve g = -2*t + 4*t for t.
3
Suppose 4*z + 4 = 0, -5*a + 3*z - 4 = -6*a. Solve 14 = a*g - 21 for g.
5
Let r(i) = -i**3 - 5*i**2 - 9*i - 11. Let b be r(-4). Solve b*d + 12 = -3*d for d.
-1
Let p = 1 - -7. Let w = 9 + -13. Let g(k) = -2*k - 6. Let j be g(w). Solve j*y = 4*y + p for y.
-4
Suppose 4*l = -22 + 6. Let k be (0 - 4)/(2 + l). Solve 0*v - v = k for v.
-2
Suppose u = 0, -7*g + 3*g + 4*u = -36. Solve -g*x = -16 + 43 for x.
-3
Let n = -589 + 593. Solve -2*o + 14 = n for o.
5
Let o(d) = -12*d - 8. Let k be o(-1). Suppose 4*l - k - 8 = 0. Solve 0 = p - 1 + l for p.
-2
Suppose 20*r - 23*r - 3*c = -12, 0 = -4*c + 16. Solve r = -5*t - 29 + 9 for t.
-4
Let c(p) = p**2 + 4*p - 4. Let h be c(-5). Suppose -2 = -2*q, 0*x + 2*x + 5*q = -h. Let l be (-1 - x) + 0 + 1. Solve -l + 5 = -2*b for b.
-1
Suppose 4*x - 6 = -2*o, 39*x - 36*x + o = 6. Suppose 0 = 3*h + h + 48. Let c be (2/6)/((-1)/h). Solve -x*q + c*q = -5 for q.
-5
Suppose 0 = -v + 61*v - 780. Solve -z = -v + 8 for z.
5
Let f(r) = 4*r - 43. Let k be f(11). Suppose -6*b - k = -91. Solve -4*s + s = -b for s.
5
Suppose -19*n + 40 - 2 = 0. Solve 0 = 5*v + n + 3 for v.
-1
Let f(d) be the first derivative of d**4/4 + 8*d**3/3 - 10*d**2 + 7*d - 16. Let q be f(-10). Solve -4*j + q = -1 for j.
2
Let p = -2040 - -2083. Solve p + 2 = -15*k for k.
-3
Let b(c) = 2*c**2 + 3*c - 30. Let p be b(5). Solve -9*x - 8 + p = 0 for x.
3
Let m = 153 - 142. Suppose -m*c + 3*c = -32. Solve 0 = t + t + c for t.
-2
Let w(u) = -86*u + 777. Let j be w(9). Suppose 3*z + 16 = 7*z. Solve -1 = -j*q - z for q.
-1
Suppose 122 = -108*s + 446. Let w = -3 - -7. Suppose 2*j = -0*j + w*u + 16, 5*j - 10 = -5*u. Solve c + j = -s*c for c.
-1
Let y(w) = -w**3 - 21*w**2 + 23*w + 31. Let z be y(-22). Solve 0 = -14*u + z*u - 20 for u.
-4
Let w = 0 - 14. Let q = w + 18. Suppose 5*z - 2 + 23 = q*b, 0 = -3*b - 4*z + 8. Solve -19 + b = 3*p for p.
-5
Suppose 0 = -2*o - 20 + 30. Let w be ((-2)/o)/((-4)/20). Solve w*n = -3*n for n.
0
Let k(l) = 3*l - 10. Let n be k(9). Solve 16 = -h + n for h.
1
Suppose 10*s = 24 - 14. Solve 0 = 3*h + 2 + s for h.
-1
Let m(x) = x**3 + 5*x**2 - 13*x - 14. Let a be m(-6). Solve 3*q + 4*q + a = 0 for q.
-4
Let z(k) be the first derivative of -k**3/3 - 5*k**2 + 2*k - 2. Let h be z(-10). Solve h = -3*c + 5*c for c.
1
Suppose -50 = 5*a + 4*f, 2 = 4*a - a - 4*f. Let z be a/(-8) - (-1)/4. Solve -3*n - 2 - z = 0 for n.
-1
Let u(k) = 8*k**3 - k**2 - 3*k + 2. Let d be u(1). Let v be (2/d)/(26/6 - 4). Solve -3*c + 7 = v for c.
2
Let d be (2 - 3 - -90)/(24 + -23). Solve -89 = 2*o - d for o.
0
Let g(w) = w + 6. Let v(f) = 1. Let h(y) = g(y) + 2*v(y). Let o be h(-5). Suppose 5*r + 18 = -4*m + 3*m, -4 = 4*m + o*r. Solve 4*q - 10 = m for q.
3
Let j(h) = -h**2 + 18*h + 46. Let v be j(20). Suppose 5*q = -4*n + 12, 3*q - 3 = n - v. Solve n*b = 2*b - 2 for b.
-2
Suppose 0 = 49*m - 279 + 83. Solve 0 = 3*y - 5*y + m*y for y.
0
Suppose -4*k = -b - 24, 5*k - 3*b - 24 + 1 = 0. Suppose k*g - 3 = 11. Solve g*u + 3 = 5*u for u.
1
Let n be -4*((-7)/28 - 1). Let t(p) = p**2 + 9*p + 2. Let j be t(-9). Suppose -j*l + 7 = 3. Solve n*g + l = -8 for g.
-2
Let z(b) = -b**3 + 5*b**2 + 9*b - 11. Let h(s) = -5*s**3 - 2*s - 1. Let f be h(-1). Let y be z(f). Solve 3*l = y*l + 16 for l.
-4
Suppose 0*n = -n - 10. Let h = 18 + n. Suppose h*d = 6*d + 8. Solve -4 = -0*z - d*z for z.
1
Let l = -199 + 208. Solve 0 = 8*m - 11*m + l for m.
3
Let n(q) = -q**2 - 10*q - 19. Let u be n(-4). Suppose 0*i = -u*i. Solve 0 = -i*g - g + 5 for g.
5
Let n be (1 - -1)*1 + 1. Suppose c = -0*c + 2. Let x be 1/(-1 + n/c). Solve x*j = j for j.
0
Let l(w) = 5*w + 33. Let n be l(-6). Solve m = n*m + 4 for m.
-2
Let y = -26 - -16. Let z = -2 - y. Suppose -5*f = -f - z. Solve -f*b + 12 = -5*b for b.
-4
Suppose o - 3*u = -0*u, -2*o = 3*u. Suppose -3*a = -3*p - 9 - 33, -30 = -3*a - p. Let n = a - o. Solve -n = -2*i - 3 for i.
4
Suppose 57*l - 48 = 54*l. Solve -12*p = -16*p - l for p.
-4
Suppose -3*h + 24 = 3*g, 0 = h - 2*g - 0 - 2. Let t = -4 + h. Let f be (-4)/(-7)*7/t. Solve -5*q - f = -7 for q.
1
Let p(u) = -5*u + 66. Let q be p(13). Let k(g) = 19*g - 11. Let c be k(q). Solve -5*m + c*m - 12 = 0 for m.
4
Suppose 22*a - 20*a - 20 = 0. Suppose 4*f = -2*b + 6*f + 16, -5*f = 5*b + a. Solve 3*g - 6*g + b = 0 for g.
1
Let f be -4*(14/4)/(-7). Suppose -2*g = 5*r - 12, 3*g = -2*g - 4*r + 30. Solve -f*y + 5*y - g = 0 for y.
2
Let q(u) = -12*u - 72. Let p be q(-6). Suppose 0 = 5*x - 2*l, 2*l - 4 = 2*x + x. Solve p = 2*m + x + 2 for m.
-2
Suppose -2*a - o = -92, 172 = 14*a - 10*a - o. Solve 8*m - 4 + a = 0 for m.
-5
Let t(x) = 2*x**3 - x**2 - x + 1. Let n be t(1). Let w(l) = -2*l**2 + 2*l + 1. Let s be w(3). Let r(i) = i + 13. Let o be r(s). Solve -o*p - n + 3 = 0 for p.
1
Suppose 3*s + 5*c - 66 = 19, -2*s = 5*c - 55. Suppose -3*i + i + 48 = 0. Let t = s - i. Solve 0 = t*v - v for v.
0
Let r(v) = -v**3 - 3*v**2 + 4*v. Suppose -3*w - 1