for v.
4
Let k(x) = -x**3 + x**2 - x + 1. Let a be k(0). Let q be (a/2)/(3/90). Suppose y = -5 + q. Solve 6 + y = -4*s for s.
-4
Let x = -79 + 76. Let s be 2*-4*(10/4 + x). Solve n - s*n = 12 for n.
-4
Let k = -195 + 202. Solve 2 - 9 = k*v for v.
-1
Let i be 1/(-2) + 378/(-12). Let t = i - -36. Solve -t = -0*f - f for f.
4
Let u(d) = -5*d - 31. Let p(f) = -f - 6. Let n(r) = 11*p(r) - 2*u(r). Let s be n(-9). Let v = s + 0. Solve 0 = -v*a + 4 + 1 for a.
1
Let t be 16/40 - (-2)/(-5). Suppose t = -3*u + 54 + 3. Let f = -11 + u. Solve -4*n + 2*n = f for n.
-4
Let n(r) = r**2 - 14*r - 11. Let b be n(15). Suppose -b*t + 3 = g - 5, 2*t - 4 = -g. Solve v = -g*v for v.
0
Let l(g) = -g + 15. Let f be l(5). Suppose f = c + c. Solve c*o + 8 = -12 for o.
-4
Let y = -14 + 19. Solve -y = j - 6 for j.
1
Let s = -2814 - -2825. Solve 16 = -9*u - s for u.
-3
Let j(i) = i**3 - 3*i + 1. Let a be j(2). Suppose -169*n = -174*n - 20, 4*n + 11 = -5*c. Solve -a*d = -4 + c for d.
1
Suppose -2*v - 2*d = -16 - 4, 22 = v - 3*d. Solve 12 = -v*a - 1 for a.
-1
Suppose 3*x + 2 = 4*y - 4, -2 = 2*y + x. Let r(j) = -2*j - 12. Let k be r(10). Let a = k - -57. Solve 5*f = -y*f + a for f.
5
Suppose 6*x = 2*x + 240. Let k be ((-2)/(-5))/(12/x). Let t be (1 + -7)*(-1 - 0). Solve u - k = -t for u.
-4
Let w = 60 + -38. Suppose 3*n - w = -1. Solve -n*a + 4*a + 9 = 0 for a.
3
Let t(x) = 5*x**2 + 4*x + 2. Let o be t(-3). Let z be 104/10 + (-14)/o. Suppose -4*v - z + 18 = 0. Solve -3 + 13 = v*u for u.
5
Let n be -3 + 0/2 - -7. Suppose -4*y + n*r - 24 = 0, 0 = -2*y - 3*y - r - 54. Let k = y - -10. Solve i - 5 = -k*i for i.
5
Suppose 0 = m + 4*v + 18, 103*v = 99*v - 20. Let s be 4/(-10) + 4/10. Solve s = k - 2*k - m for k.
-2
Let l be -1 - (((-15)/5)/3 + -4). Solve 3*i - i = -l for i.
-2
Let n(m) = 21*m - 11. Let a(w) = -200*w + 104. Let k(l) = 5*a(l) + 48*n(l). Let y be k(5). Suppose 0 = -b - b + y. Solve 3*d = 1 - b for d.
-5
Suppose 2 - 212 = -14*c. Solve 3 = 6*f - c for f.
3
Let p(m) = -2*m**3 - 43*m**2 - 18*m + 72. Let t be p(-21). Solve -t*g + 0 = 9 for g.
-1
Let y be -6 + (-9)/(-3) + -2. Let b be 20 - 0*(-1)/y. Solve -b = -5*l - 0*l for l.
4
Suppose -5*w - 4*u + 7 = -1, 0 = 2*u - 4. Suppose 4*z + q - 17 = -w*q, 3*q = 4*z - 13. Solve r - z = 3*r for r.
-2
Suppose -4*j = 6 + 14. Let t be j/10 - 1/(-2). Solve t = -y + 2*y - 3 for y.
3
Suppose 7*u + 40 - 250 = 0. Solve 6*x = -0*x + u for x.
5
Let z(g) = -g**2 - 8*g - 13. Let p be z(-4). Suppose 3*j + 5*r = 4, 2*j - p*j - 2*r = 0. Solve 4*m = j*m for m.
0
Let z(u) = 2 + 8*u - 4 - 6*u**2 + 12*u**2 - u**3. Let p be -2 + (-12)/(-2) + 3. Let d be z(p). Solve 0*v - v = d for v.
-5
Let u(v) = 2*v**2 + 44*v + 49. Let d be u(-21). Let z(p) = p + 10. Let x be z(-7). Solve x*c - 5 = d for c.
4
Let b be (23 + -24)*0/2. Solve b = -14*h + 12*h + 2 for h.
1
Let w(c) = -c + 4. Let k be w(-1). Suppose -3*r + 13 = -t, -k*r = -2*r + t - 11. Solve 2*p = -2 + r for p.
1
Suppose 9*p = -0*p + 27. Let w be 16/(-5) + p + (-81)/(-5). Solve 2*l = -2*l - w for l.
-4
Let n be 4/12 + (-48)/(-18). Let b be (21/14)/(n/6). Solve b = -4*h - 1 for h.
-1
Let z = 80 + -74. Let x be ((-6)/6)/(z/4 - 2). Let j = -4 - -7. Solve h + j = x for h.
-1
Suppose -2 = 4*x - 46. Solve -7 = -g - x for g.
-4
Suppose 1938 = -17*z + 119. Let i = -104 - z. Solve -3*a + 4*a = -i for a.
-3
Let w(b) = b**2 - 2*b - 9. Let z be w(5). Let h be (6/(-9))/(z/9). Let y be -6*(-3 - -4)*h. Solve -3*f - y = -0 for f.
-2
Let y(b) = 2*b**2 - 13*b + 26. Let v be (12/8)/((-1)/(-2)). Let w be y(v). Solve 5*a - w = -0*a for a.
1
Let y be 2/(-4) + 10/(-4). Let v(r) be the second derivative of -r**5/10 - 5*r**4/12 - r**3/2 - r**2 - 172*r. Let b be v(y). Solve 0*j - 4*j + b = 0 for j.
4
Suppose -140 = -22*u - 6*u. Solve -6 = -u*g - 1 for g.
1
Suppose 7*s - 5*s + 2*p = 18, 2*s = -3*p + 22. Solve 5*d - s = -0*d for d.
1
Let o(k) = -k**2 + 5*k - 3. Let b be o(3). Suppose 5*w + 2*y - 5 = b*y, 4*y - 30 = -5*w. Suppose 5*s + 23 = w*t, -2*t + 3*s = 2*s - 11. Solve 2*v + t = 6 for v.
1
Suppose 0 = 7*x + 15 - 36. Suppose 0 = -i + 4*i + y - 5, 0 = 5*y + 20. Suppose -2*w = -i*w. Solve w = -2*r - x*r for r.
0
Suppose 7*g = 12*g + 60. Let f = g + 14. Solve -4*s = -f*s + 10 for s.
-5
Suppose 4*f - 4*h - 20 = 0, 5*f + 4*h + 5 = 6*f. Let z(i) be the first derivative of -i**2/2 + 6*i - 1. Let s be z(f). Solve -2*d + s = 5 for d.
-2
Let g(p) = -p - 8. Let u be g(-19). Solve u*v = 7*v for v.
0
Let j = 11 + -10. Let w be j/(((-2)/8)/(3/(-6))). Solve -w*n - 4 = 2 for n.
-3
Let v be (6/2)/(2 - 1). Let s be 43/11 - 15/(-165). Solve 0 = -5*k + v*k + s for k.
2
Let k(y) = -y**3 - 3*y**2 - 3*y + 2. Let l be k(-4). Let r = -30 + l. Solve 0 = -i - r - 2 for i.
-2
Let l(y) = 2*y**2 - y - 2. Let f be l(2). Suppose f*k - 5 - 11 = 0. Suppose k*v - 19 = u - 2*u, 2*v - 5*u = -7. Solve 6 = v*g - 14 for g.
5
Suppose 8*x - 12*x = -3*b + 22, 5*b - 22 = 3*x. Solve -17 = -b*w - 27 for w.
-5
Suppose 5*a - 3*k = 220, -46 = -a + 3*k - 2*k. Let b = 50 - a. Solve i + 2*i = -b for i.
-3
Suppose -20 = -4*u, 9*f + u = 4*f + 20. Solve f + 3 = -2*x for x.
-3
Suppose 5*s - 2*x - 519 = 0, -2*x = 3*x - 15. Let i = -100 + s. Solve 5*m = -0 - i for m.
-1
Let l(m) = -m**3 + 17*m + 20. Let k be l(-4). Solve 0 = 2*n - 18 + k for n.
1
Suppose 2*g = 4*m - 14, 0 = -4*g - g + 5*m - 35. Let i be (-4)/(-3)*(-4 - g). Solve -w = i*w for w.
0
Suppose 40*o + 25 = 45*o. Suppose -o*b = -7*b. Solve -n + b + 4 = 0 for n.
4
Suppose -34*h = -33*h - 32. Solve -4*z - 20 = -h for z.
3
Let u be 0/1 - 803/(-22)*2. Solve u*c = 72*c - 2 for c.
-2
Suppose 101*u + 5*c = 102*u - 12, 5*c = 4*u - 48. Solve -10 - 2 = -u*z for z.
1
Let x(r) = -8*r + 8. Let i be x(-4). Let w = i + -38. Solve 0 = -w*h - 3*h for h.
0
Let m(b) = -2*b**2 + 8*b + 2. Let w be (24/(-21))/((-2)/7). Let n be m(w). Suppose -2*v - n*c + 5 = -3*v, -4*v - 3*c = -24. Solve -5*q + v*q = 8 for q.
-4
Let h = -93 + 107. Solve 9*u - 15 = h*u for u.
-3
Let p(x) = 16*x**2 + 22*x + 21. Let n be p(-1). Solve -27*u + n = -24*u for u.
5
Suppose 2*n = 2*g - 42, 5*g + 29 = -5*n + 124. Solve g = 8*w + 52 for w.
-4
Let d be ((-10)/(-4) + 0)*2. Suppose -d = 2*n + 5. Let q = -3 - n. Solve -5*v = -q*v + 12 for v.
-4
Let f(i) = 24*i + 80. Let z be f(-3). Solve -k = -z*k + 14 for k.
2
Let f(o) = -3*o + 78. Let z be f(26). Solve i = -z*i - 2 for i.
-2
Let d be 25/(-15) - 100/(-15). Solve 2*r = -d*r - 14 for r.
-2
Let g = -24 - -24. Suppose 5*j = -2*h + 10, g = -h + 2*j - 4 - 0. Solve -4*n + 20 = -h*n for n.
5
Let a = 129 + -259. Let s = -124 - a. Solve -1 = -d - s for d.
-5
Let g be (-15)/12*-2*2. Suppose -g*n + 215 = -5. Suppose -n = -3*r - 2. Solve 5*s - r = -4 for s.
2
Let k(l) = l**2 - 10*l + 20. Let s be k(8). Suppose -3*x + 19 = s*z, -3*x - 6 = -2*z - 1. Solve -4*b - z = -5*b for b.
4
Let a(n) be the first derivative of -1/2*n**2 + 5 + 5/3*n**3 - n. Let l be a(-1). Solve -l*w = 16 + 4 for w.
-4
Let l = -1 + 4. Let v be (l - 2)*(4 - -3). Let u be (-8)/(-28) - (-26)/v. Solve u*m - 2*m - 10 = 0 for m.
5
Let g be (1 - (0 + 1))/1. Suppose -4*o = -19 + 3. Solve g = -j - o*j for j.
0
Let m be (-5 + 14/3)*(-36)/3. Solve 68*t = 64*t - m for t.
-1
Suppose -6*s + 3 = -39. Solve s*z = 21 - 7 for z.
2
Let m(x) = -x**2 - 9*x - 5. Let h be m(-8). Suppose 5*k - 2 = h. Suppose -k = -3*a + 8. Solve -a*r = -8*r for r.
0
Let y be (-8 + 11)/((-2)/(-8)). Suppose 5*q = p + 24, -4*q + 2*p = 3*p - y. Solve -l = q*l for l.
0
Let r be 0/(3 + -3 - 2). Suppose -5*o + r*o = -10. Solve m - o*m = -4 for m.
4
Let o be 9*((-1)/(-2))/(43/86). Solve 2*j - o = 5*j for j.
-3
Suppose -4*d + 265 = -y, -4*d = 2*y + d + 465. Let s be y/(-10) + (-6)/(-4). Solve -5*p = s - 6 for p.
-4
Let d = 3 + 0. Let y(h) = -h**2 - 5*h + 10. Let b(g) = g**2. Let o(i) = 2*b(i) + y(i). Let n be o(4). Solve -3 = d*w - n*w for w.
1
Let l be 6/(-21) - (-19)/(-7). Let z be (-2 - 1)/l - -1. Solve -z*q = -0*q for q.
0
Let z(g) = -4*g - 2. Let n be z(-2). Suppose x + n = 4*x. Solve x*c + 2 + 0 = 0 for c.
-1
Let m be 75/27 + 4/18. Solve -20 = m*p + p for p.
-5
Suppose 2*k + 15 = -4*d + 53, -4*k + 128 = -5*d. Solve -2 = k*o - 28*o for o.
2
Suppose 4*n - 20 = -2*l, 0 = 4*l - n + 4*n - 35. Suppose 0 = -4*f + 15 + 1. Solve f*m = 2*m - l for m.
-4
Let a = -450 - -455. Solve 4*r = 9*r - a for r.
1
Let g(y) = -122*y 