for v.
-3
Let f(l) = 3*l + 1. Let o be f(1). Solve -o*r + r = 15 for r.
-5
Let w(x) = -x**3 - 6*x**2 - 9*x - 13. Let l be w(-5). Solve -l = 4*z + 5 for z.
-3
Let j = -1325 - -1378. Solve 57*f = j*f - 12 for f.
-3
Let g(b) = 2*b + 2. Let x be 6/(-9)*(-9)/6. Let i(y) = -y**2 + 1. Let n be i(x). Let c be g(n). Solve -f = -c*f - 2 for f.
-2
Suppose -2*h = 2*b - 206, b - 6*h = -4*h + 94. Let n = 105 - b. Solve -n*w + 5 = -4*w for w.
5
Let q = 2 + 2. Let w = 9 - q. Let v be 10/4*500/625. Solve -w*o - 6 = -v*o for o.
-2
Let r(u) = -2 + 0*u + u - 1 - 6. Let i be r(13). Suppose -i*o + 1 = -3. Solve 2 = v - o for v.
3
Let w = -49 - -70. Let l be ((-51)/w + 2)*-7. Solve 0 = -l*f + 8*f + 10 for f.
-2
Suppose 4*d + 0*d = -2*z - 142, 2*d + 229 = -3*z. Let l = z + 94. Solve -4*g = g + l for g.
-3
Let o = 31 - -11. Let g be ((-4)/6)/((-4)/o). Suppose 0 = 3*u - g - 5. Solve -5 = -u*i - 1 for i.
1
Let i be (-7 - -4)*(-14 - -3). Suppose -i = -2*r + 3*z, 7*r - 50 = 2*r + z. Solve 5*x - 29 = -r for x.
4
Let i(u) = 2*u**2 - 43*u + 65. Let f be i(20). Solve f + 0 = q for q.
5
Let p = -1 - 0. Let q = p - -3. Suppose 0 = -v + f + 9, -v = -q*v - f - 1. Solve -v*b + 5 = -7 for b.
3
Suppose 0 = -4*g - 5 + 13. Solve -g*x = -8*x + 6 for x.
1
Suppose x = 4*p + 14, -4 + 46 = 2*x - p. Let f(k) = k**2 - 22*k + 8. Let g be f(x). Solve i = 3 - g for i.
-5
Let r be (-2 + 2)/1 + 0/(-9). Suppose -3*o + 11 + 4 = 0. Solve -c + r*c = o for c.
-5
Suppose 4*s - 56 = -16. Suppose 6 = s*t - 7*t. Let q be 24/15 + (-2)/(-5). Solve -q*y = -0*y - t for y.
1
Suppose -12*z = 5*l - 9*z - 132, -84 = -3*l - 3*z. Solve i - l = -7*i for i.
3
Let l(t) be the second derivative of t**5/20 + 7*t**4/6 + 7*t**3/3 + 15*t**2/2 + 26*t. Let f be l(-13). Solve f*d = 7*d for d.
0
Let x be -2 + (22/33 - (-4)/3). Let i be (-5 + x)*4*1/(-10). Solve -6*d + i*d = 8 for d.
-2
Let j(b) = 3*b + 0*b + 0*b + 16. Let i be j(-7). Let h = i - -8. Solve -h = -0*s + s for s.
-3
Let o be 1 - (36/20)/(21/(-70)). Solve -o*v + 24 - 38 = 0 for v.
-2
Let h be 3*(-52)/(-28) - (-4)/(-7). Solve -h*k = -12 + 32 for k.
-4
Let o = -155 - -158. Let u = 2 - 2. Solve -5*n - 18 + o = u for n.
-3
Let f be ((-675)/(-1575))/(6/56*1). Let a be (1 - -4) + (-1 - 0). Solve 0 = 2*g - f*g + a for g.
2
Let o be (26/(-8) - -2)*-8. Suppose -2*z + 2 - o = 0. Let a = 1 - z. Solve a*b + 6 = 2*b for b.
-2
Let s be 5/((-20)/(-32)) + -2. Suppose 5*i + 4 = 5*x - s, 0 = 5*i - x + 2. Solve -m + 0 + 1 = i for m.
1
Suppose -4*a - 11 = -h, a + 0 + 8 = 2*h. Suppose -f + h = -5*x, 3*x + 0*f - 2*f + 6 = 0. Solve x*l = -l for l.
0
Let j = -9 + 5. Let z = j + 13. Solve 4*w - w - z = 0 for w.
3
Suppose -67*f + 64*f = -42. Solve -11 = h - f for h.
3
Let o(h) = h**2 - 19*h - 60. Let w be o(22). Solve -w*f + f = 0 for f.
0
Suppose 7*f = -78 + 92. Solve 16 - 8 = f*n for n.
4
Let v(b) = b**3 + 14*b**2 + 17*b - 16. Let f be v(-12). Solve 84 = -4*a + f for a.
-4
Let n(f) = 2*f**2 - 14*f - 18. Let v be n(8). Let x be (v/(-4))/(4/24). Solve 0*b - x*b - 15 = 0 for b.
-5
Let v be 2 - (-1 + (3 - 2)). Let q be 0/(-1 + (-2 - -1)). Suppose q - 6 = -v*o. Solve -4 = n - o for n.
-1
Let n = -27 - -30. Solve 6 = -n*f + f for f.
-3
Let j be ((-8)/20)/((-13)/130). Let s(m) = -2*m**3 - 5*m**2 - 4*m - 1. Let k be s(-3). Solve 0*f - k = j*f for f.
-5
Suppose 0 = a - 3, -34*n + 2*a = -36*n + 52. Solve -5*q = 3 - n for q.
4
Let w = -10 - -59. Suppose -2 = -3*q + w. Suppose -4*r - 9 + q = 0. Solve -2*f = r*f for f.
0
Let r be ((-4 - 0) + 5)*0. Let t be 1*(-4)/(-16)*r. Solve 3*f + t = -3 for f.
-1
Suppose -328 = -2*f - 6*f. Let w = f + -39. Solve 0 = -z - w*z + 3 for z.
1
Let a(f) = -f**3 - 16*f**2 - 17*f - 31. Let h be a(-15). Let u be (-2 - h)/(-7 - 52/(-8)). Solve u = -2*i - 4 for i.
-3
Suppose 2573 = 213*b - 130*b. Solve b = -6*t + 19 for t.
-2
Let v = 6 + -4. Suppose 3 + 5 = 2*p. Suppose -5*t + p = -11. Solve x + t = v*x for x.
3
Let d be (-12)/(-15)*100/24*3. Suppose -d = 6*c - 100. Solve 0 = 4*w + w - c for w.
3
Let b = 662 - 657. Solve b*p + 3 = 4*p for p.
-3
Let r = -76 - -191. Let k be 2/9 - r/(-9) - 3. Solve 2*s = 7*s + k for s.
-2
Let t be 4 - (-35)/(-10) - (-565)/10. Solve -t = 10*l - 17 for l.
-4
Let p(w) = w**3 + 6*w**2 + 6. Let x be p(-6). Let j be (10/x)/((-20)/(-60)). Solve -3*i + 2 - j = 0 for i.
-1
Suppose 11 = 5*g - 14. Solve 0*t = g*t - 5 for t.
1
Let w(k) = k**2 - 26*k. Let c be w(26). Solve c = -61*p + 67*p - 12 for p.
2
Suppose -4*k - 2*y + 11 = -13, 0 = -3*k + 5*y + 44. Suppose -k*p = p - 18. Solve 2*h = -p*h + 4 for h.
1
Let y(c) be the third derivative of c**6/120 - c**5/20 + c**3/2 - 2*c**2. Let m be y(3). Solve 2 = -5*r - m for r.
-1
Let i = 231 - 230. Solve 4*d + i = -19 for d.
-5
Let h be (-8)/(-1) - (-336)/(-42). Solve -j + 3 - 1 = h for j.
2
Let z(y) = 3*y**2 - 17*y + 3. Let w be z(0). Solve 5*u + w*u = 0 for u.
0
Let x(h) = 22*h + 2. Let a be x(1). Let t be (2 + (-22)/8)*a. Let b = -14 - t. Solve 3*f - 5*f = b for f.
-2
Let i = -17 + 32. Suppose -i - 25 = 4*f. Let k be (f - -4)/(-3) + 13. Solve 0*r = -3*r + k for r.
5
Let d(y) = -1 - 1 - 59*y**3 + 3*y + 34*y**3 + 26*y**3. Let g be d(2). Solve s + g = 5*s for s.
3
Let p = -1303 - -1305. Solve 4*u - p*u = 4 for u.
2
Suppose 2*l + 4*j + j = 36, -3*l - j = -28. Solve -4*a = -l + 16 for a.
-2
Let t be (-4)/14 + 1254/(-21). Let q = 60 + t. Solve q = u + 5 for u.
-5
Let k be 144/10 - 18/(-30). Suppose -i = 2*i - k. Suppose 2*v - 11 = -i. Solve -v*x = 2*x + 10 for x.
-2
Suppose 3*w = -15, 2*y + 2*y - 11 = -w. Solve r = y*r + 9 for r.
-3
Suppose -5*l + 5*w = -25, -4*w = -3*l - 3*w + 7. Solve -l = 3*z - 4*z for z.
1
Suppose 0 = n - 4*n + 30. Suppose n*k - 7*k - 9 = 0. Solve 0*f - k*f = -3 for f.
1
Let i(a) be the third derivative of a**6/120 - a**5/30 + a**4/24 - 5*a**2. Let t be i(2). Suppose 0*n = t*n - 12. Solve 0 = -q + n*q + 15 for q.
-3
Let a(b) = -b**3 + 13*b**2 + 2*b - 16. Let w be a(13). Solve 8*g - w = -2 for g.
1
Let o be 11 + -13 + 1/(2/12). Let s be (4 - (3 + -1)) + o + -1. Let b(h) = -h**3 - 7*h**2 - 5*h + 8. Let y be b(-6). Solve y = s*n - 13 for n.
3
Suppose 16*u = 9*u + 56. Suppose -11*v - 2*v = -u*v. Solve -3*m + v = -3 for m.
1
Suppose -46*j + 48*j = -90. Let z be (-15)/j + 1/(-3). Solve y + 3 = -z*y for y.
-3
Suppose -8*y - 18 + 946 = 0. Suppose 113*o = y*o. Solve -s + 8 - 4 = o for s.
4
Suppose 0 = -11*u + 6*u + 110. Suppose 0 = -5*g + 27 - u. Solve -g = -2*l + 1 for l.
1
Let q(y) = -y**3 + 37*y**2 + 81*y - 107. Let k be q(39). Solve 0 = k*o - o - 36 for o.
4
Let j be 8*-2*3/(-6). Let f(z) be the third derivative of z**6/120 - 3*z**5/20 + 3*z**4/8 - z**3/3 + 20*z**2 - z. Let p be f(j). Solve q = -2*q + p for q.
2
Suppose -326 = -5*b - 31. Let a = b - 58. Solve -11 = 5*f - a for f.
-2
Let i(p) = p**3 - 15*p**2 + 25*p + 13. Let v be i(13). Solve v = 3*f - 6 + 3 for f.
1
Let p(f) = -f**3 + 16*f**2 - 2*f + 83. Let a be p(16). Solve -2*h = a - 59 for h.
4
Let s be 5 - (8 + (-5 - 3)). Solve 9 + s = 7*j for j.
2
Let t = 13 - 16. Let x be t + (60/(-3))/(-4). Solve x*g - 4 = g for g.
4
Let y be (-1 - 86/(-14))/((-11)/(-77)). Solve -20 = 4*s - y for s.
4
Suppose 1 = -2*q + q, 2*q = 4*o - 326. Let n = o - 79. Solve 0 = n*v - 2 for v.
1
Suppose -5*h - 34 = -9. Let u = -1 - h. Suppose u*z = -0*d - d + 5, -2*z + 2*d = -10. Solve 3*i = z*i - 1 for i.
-1
Let i be (-1)/(3/150*-2). Suppose -n + i - 20 = 0. Solve 3*a + 2 = n for a.
1
Let h(x) = -x**3 + 5*x**2 + 4*x - 8. Let b(k) = -k**3 + 5*k**2 + 5*k - 8. Let m(s) = -5*b(s) + 6*h(s). Let w be m(4). Solve -w - 11 = 5*o for o.
-3
Let a be (15/45)/(2/12). Let r be 1/((-3)/(-36)*2). Suppose -3*t + r*t = 9. Solve t*b - a*b = 5 for b.
5
Let p(n) = 71*n**3 + n**2 - 2. Let a be p(1). Let r = a - 66. Solve -r = g + g for g.
-2
Let t = 11 - 7. Let w(p) = -11*p + 35. Let a be w(1). Solve t*s = 4 - a for s.
-5
Suppose 3*s - 43 = q + 2, -5*q + s - 267 = 0. Let w be (-1230)/q + 2/9. Let g = w + -21. Solve -g*x - 4 = -6*x for x.
1
Suppose 2*f - f + 2*c + 107 = 0, -f = c + 103. Let d = f - -101. Solve v - 7 = -d for v.
5
Suppose -4*y = -u + 26 - 8, u = y + 15. Solve -g - u = -15 for g.
1
Let c = 19 - 17. Suppose -4*n - 2*r + c = 0, n - 5 = -2*r - 3. Suppose -11*u + 9*u = n. Solve u*m = -2*m - 10 for m.
-5
Let c(s) be the third derivative of 0*s**4 + 1/3*s**3 + 0 + 1/120*s**6 + 0*s 