et r be v(9). Solve -6*d + 10*d - r = 0 for d.
4
Let y be 6*1/(-2) - -8. Let w = 51 - 63. Let p be (w/4)/((-3)/y). Solve 17 - p = -3*u for u.
-4
Suppose 0 = -5*q - 263 + 323. Solve -7 + q = 5*i for i.
1
Let p = 15 - 15. Suppose -3*y + p*y + 75 = 0. Let c be (-1 + 4)/(15/y). Solve -1 - c = -3*m for m.
2
Let o(t) = -t - 2*t + 5*t - 3*t. Let s be ((-3)/((-6)/10))/(-1). Let q be o(s). Solve q = -5*w - 0 for w.
-1
Suppose -3*y + 13 + 2 = 0, -2*w - 3*y = -53. Suppose 4*v - 5 = w. Solve -n + 3*n + v = 0 for n.
-3
Let z(v) = 3*v**2 - 29*v + 19. Let h be z(9). Solve -h = 5*u - 16 for u.
3
Let d be 6*(-15)/(-108) + 2555/30. Solve 3*o = -74 + d for o.
4
Suppose 3*s + h = 4*s + 1, -4*h = -16. Solve -s + 0 = -r for r.
3
Let p = 91 - 81. Suppose -3*a + p = 5*i, -5*i + 8 = 2*a - 2. Solve a + 12 = 3*y for y.
4
Let g(c) = -134*c + 134. Let r be g(1). Solve r = u + 2*u - 9 for u.
3
Let n be 3/2*(-264)/(-99). Let c be -3 + n + 1 + 1. Solve 0 = c*y - 7*y for y.
0
Let w be ((-50)/4)/(((-9)/(-6))/3). Let b = 30 + w. Solve 8 = -b*l - 2 for l.
-2
Let x(c) = c - 16. Let r(n) = -3*n + 33. Let a(j) = -2*r(j) - 5*x(j). Let v be a(-10). Suppose v*h + h - 15 = 0. Solve 0 = -0*u + h*u + 6 for u.
-2
Let u be 6*7/(-21)*(-6)/4. Suppose 16 = u*l + 4. Solve -l*t = -3*t - 3 for t.
3
Let c be (-2)/((-96)/9 + 10). Solve 33 - c = -6*b for b.
-5
Suppose -5 - 17 = -2*i. Solve -i*r + r + 30 = 0 for r.
3
Let u be -20*((-117)/180 - 4/(-10)). Solve -4*r + u = -3*r for r.
5
Let c(s) = -9*s**2 - s - 1. Let h be c(-2). Let w = h - -40. Solve 0*l - 5*l + w = 0 for l.
1
Suppose -k + 9 = -5*w - 2, -3*k - 2*w + 16 = 0. Let c be (3/1)/((-9)/k). Let z be (c - -3)/1 - -2. Solve 0 = z*i + 2*i for i.
0
Let x(y) = 2*y + 2. Let p be x(-2). Let q = 10 + p. Let g = q + -4. Solve 0 = k + g*k for k.
0
Let k(j) = -j**2 - 11*j - 2. Let s be k(-9). Suppose -2*a - 2*a = -s. Suppose -5*g - a = -9. Solve -x + g = -0 for x.
1
Let o = -2515 - -2524. Solve 0 = 5*g - o*g for g.
0
Let m(w) = 117*w + 628. Let h be m(-5). Solve 0 = -h*r + 40*r - 12 for r.
-4
Let p be 147/24 - 2*(-2)/(-32). Let c(v) = -v**3 + 6*v**2 - 2*v + 12. Let i be c(p). Solve i = 2*f - 4*f - 8 for f.
-4
Let t be 4/(-10) + (-6)/75*-5. Let o be 1/2 - (6/(-4) + t). Solve 4 = 2*c - o for c.
3
Let b(w) be the first derivative of w**2/2 + 9. Let r be b(4). Suppose 0 = -4*v + 3*a + 6, r = -3*v + v - 2*a. Solve -4*n = -v*n for n.
0
Let b(m) = m**2 - 7*m + 6. Let a be b(6). Let x(u) = 8*u - 8. Let t be x(2). Suppose -4*s - 2*z + t = a, -s - z + 2*z = 4. Solve 3*f - 2 - 1 = s for f.
1
Let d(o) = 4*o + 63. Let q be d(-16). Let y be (q*2/4)/(27/(-54)). Solve 4 = 5*x - y for x.
1
Suppose -5*w - 4*o = 71, 0 = 5*w + o + 54 + 20. Let j be w/(-10)*(-4)/(-21)*7. Solve j*b = 3*b + 5 for b.
-5
Let k(w) = -17*w - 3. Let h be k(-2). Suppose 0 = -2*g + 5*m + h, 3*m + 15 = -0*m. Let l be (-108)/(-24)*(-8)/(-6). Solve 6*t = g*t - l for t.
-2
Suppose 3*w + w = 0, a - 8 = 3*w. Let o = a - 5. Suppose -g = -t - 2, 2*g - 9 = -0*g - o*t. Solve 0 = g*n + 2*n + 10 for n.
-2
Suppose -5*a = q + 7, -5*q - 4*a - 49 = -14. Let z = -2 - q. Solve 5 = z*t - 0*t for t.
1
Let x = -1 + 11. Let a = -8 + x. Suppose -u - 5*j - 12 = -7, -2*u + 3*j + 3 = 0. Solve 0 = a*h - u*h + 2 for h.
-1
Let m = -15 - -15. Suppose m = -4*k - 2 + 14. Solve k*n + 8 = 7*n for n.
2
Let f = 47 + -72. Let w = 33 + f. Solve -z - w = z for z.
-4
Let j = -886 - -889. Solve 2*i + 1 = j for i.
1
Suppose 2*n = -0*n - 6. Let v = n + 4. Let h(s) = s**3 + 8*s**2 + 6*s - 7. Let c be h(-7). Solve v + c = -d for d.
-1
Suppose -24 = -17*s + 13*s. Solve -s*z = -0*z - 24 for z.
4
Suppose 9*s - 493 = 47. Let m = 60 - s. Solve -2*f + m*f = -6 for f.
3
Let i be 4 + (-11 - -2)/(-3). Let x(k) = -4*k + 1. Let q be x(-1). Suppose q*n - 4*j - 12 = 3*n, -n = -4*j - 12. Solve n = -3*c + i*c - 4 for c.
1
Suppose 3*y - 4*y + 12 = 0. Suppose 0 = 4*b - 12 - y. Solve -d + b - 4 = 0 for d.
2
Let p(h) = 3*h + 43. Let i be p(-13). Solve 0 = g + i*g - 25 for g.
5
Suppose 0 = -5*s - p + 51, 5*s - 15*p - 67 = -12*p. Solve 16*u = s*u + 25 for u.
5
Let g = -704 + 704. Solve c + 0*c + 4 = g for c.
-4
Suppose -74*n + 62*n = -144. Solve 15*a = n*a + 12 for a.
4
Let y = 6 + -1. Let s = -2422 + 2436. Suppose 5*o - 3*i - 64 = -0*i, 4*o + i = 41. Solve -s = y*f + o for f.
-5
Let n = -37 + 40. Suppose -2*u + 8 = -w, 5*u + 2*w - 18 = 4*w. Suppose 3*g + v - 10 = -1, u*g + v - 7 = 0. Solve -n*t + g*t + 5 = 0 for t.
5
Let f(z) = -z**3 + 46*z**2 + 47*z + 17. Let w be f(47). Let y be 50/15*(-12)/(-10). Solve -y*n - w + 5 = 0 for n.
-3
Let r be (-13 - -12)/(1/(-4)). Let h be (-19)/(16/r + -3). Let g = -14 - h. Solve g*n = -0*n - 10 for n.
-2
Let f = -246 - -266. Let i = -12 + 20. Solve 0 = -i*p + 4*p + f for p.
5
Let k(f) be the second derivative of 3*f**5/10 - f**4/12 - f**3/6 + f**2/2 + 2*f. Let b be k(1). Suppose 0 = -10*p + b*p + 10. Solve v = 4 - p for v.
2
Let v(d) = d**3 - 11*d**2 - 9*d - 37. Let l be v(12). Let z be l/(1*(4 - (-36)/(-8))). Solve -z = -4*y - 18 for y.
-4
Let y(w) = w**2. Let n be y(-2). Suppose 9 - 1 = n*j. Suppose 0 = -6*q + j*q + 40. Solve 3*f = f + q for f.
5
Suppose 4*l + 3 = 7*l, -67 = -2*c + 3*l. Solve c = -0*o + 7*o for o.
5
Let y(q) = 5*q + 3 + 5 - 7*q. Let r be y(4). Suppose -v = -r*v - 4. Solve -v - 1 = -5*d for d.
1
Let k = -7 - -10. Suppose 0 = -k*u + 2 + 4. Suppose -5*q + q + 60 = 0. Solve -p + q = u*p for p.
5
Suppose -h + r + 9 = 0, -5*h = -0*h - 4*r - 42. Let i be 40/h*(-15)/(-10). Let p(c) = -c - 3. Let a be p(-6). Solve -a*t = -8*t - i for t.
-2
Let t = 19 - 12. Suppose -4*o + 2 = -f - 1, 3*f - 4*o - t = 0. Suppose f*m = 4*m + 4. Solve -m*z + 20 = -0*z for z.
5
Suppose -3*y + 27 = 3. Suppose -y = -5*n + 37. Suppose 4*a - n*a = -10. Solve 3 + 1 = a*b for b.
2
Let t = 2122 + -2086. Solve -z = 11*z + t for z.
-3
Let y(w) = -w**2 - 25*w - 37. Let u be y(-23). Solve u*o = -3 + 3 for o.
0
Let o = 32 + -28. Suppose -4*n - 8 = -o*a, -a + 6*a - 24 = -2*n. Solve 8 = -a*l - 8 for l.
-4
Let s(o) = o**3 + 9*o**2 - 10*o + 4. Let z be -1*((-6)/2 - 0). Suppose -z*r - 20 = -r. Let k be s(r). Solve -k*m + 5 - 17 = 0 for m.
-3
Suppose -3*b - 78 = -3*k, -3*k + 2*b - 7*b = -70. Suppose -5*x - 50 = -0*x. Let y(a) = -a**2 - 8*a + 24. Let f be y(x). Solve p - k = -f*p for p.
5
Suppose 5*b = 3*m + 22, -3*m + 7*m = 3*b - 22. Solve -b*i + 0*i + 10 = 0 for i.
5
Suppose 0 = -42*k - 58 + 646. Solve 22 = k*s + 8 for s.
1
Let h = 0 + 0. Let u be (-540)/(-20) + ((-2)/1 - 0). Solve -5*t + u + h = 0 for t.
5
Let c be (-18)/5 + 10/(-25). Let k be ((-5)/((-15)/c))/(2/(-3)). Solve 0 = -g - 1 - k for g.
-3
Let j = 175 - 174. Solve 3*m - 10 = -j for m.
3
Let c(r) = r**3 - 3*r + 2. Suppose 2 = 2*b - 2. Let s be c(b). Solve s = 2*a - 6 for a.
5
Suppose 0 = d - 2*b - 52, 5*d - 2*b = 2*b + 236. Let i = d + -29. Let l be i/10*(-16)/(-3). Solve 3*g - l = -g for g.
2
Suppose 0 = z - j - 39 + 22, 3*z = -4*j + 58. Solve 4*w + 22 = z for w.
-1
Let h be ((-16)/(-8))/(-6)*-30. Solve 22*n = 24*n - h for n.
5
Suppose -w - a = -3*a - 64, 4*w + 2*a = 256. Solve 0 = -w*h + 60*h - 4 for h.
-1
Let k(j) = -2*j**3 - 9*j**2 - 8*j + 9. Let g be k(-6). Suppose 4*x - g = -157. Solve 12 = -2*v - x*v for v.
-3
Let p = -31 + 38. Solve 1 = -2*t - p for t.
-4
Suppose 0 = -5*v - 261 - 39. Let r be v/(-14) + (-6)/21. Suppose -2*z + 2*a = -a - 6, 5*a = r*z - 10. Solve z = 4*u + 3 - 11 for u.
2
Let u = 15 + -5. Solve -b + u = -3*b for b.
-5
Let u be (-14)/(-3) + (12/(-18) - -1). Suppose -u*h = 5*x - 10, 7 = 2*h + x + 1. Solve y = -h*y - 20 for y.
-4
Let m(x) = -2*x**3 - 2*x**2 + 5*x + 4. Let t be m(-3). Let v = 50 - t. Let w = v + -17. Solve -o = 3*o + w for o.
-2
Let d = 9 - -1. Suppose 3*f = f - 2*z + 4, -2*z = -4. Suppose -4*y + 12 = f, 2*o - 3*y + 4*y - 7 = 0. Solve d = -o*r + 7*r for r.
2
Let l be 1*5*(0 + 2). Suppose -32*r = -28*r - 40. Let i = r - l. Solve -3*w - w + 20 = i for w.
5
Let b be (-9)/(-36) - 25/4. Let r be 5/(45/b) + 16/6. Solve -x + r = x for x.
1
Let t(i) = 4*i + 7. Let m be t(-1). Solve m*a - 8 = -a for a.
2
Suppose 0*b + 2*q = 5*b - 18, -5*q - 7 = -3*b. Solve 0*v + b*v - 4 = 0 for v.
1
Suppose -15*u = 79*u - 564. Solve -30*t = -28*t + u for t.
-3
Let b = -40 + 75. Let t = b + -33. Solve -2*r - t = 4 for r.
-3
Suppose 4*z = -7*l + 9*l - 6, 8 = 2*z. Solve l*t = -1 - 54 fo