- 60 = 0, 0 = -n - 2*v - 1 + 16. Solve -n = 5*a + 16 for a.
-5
Suppose 0 = 3*u + 35 - 35. Solve u = -a - 5 for a.
-5
Let f be (-6)/4*(-140)/90*3. Solve -3*h - f = 2 for h.
-3
Let b(r) = 4*r**2 - 2*r + 1. Let k be b(1). Let f be (-1)/k + 0 + 16/3. Solve 17 - 2 = f*h for h.
3
Suppose -5*d - 5*i + 65 = 0, -3*d + 3*i = 2*i - 35. Let u = d + -7. Solve -k - u = -3 for k.
-2
Let p(i) = -i**3 + 23*i**2 - 90*i + 4. Let h be p(18). Solve 0 = -0*l - l - h for l.
-4
Let m(t) be the first derivative of t**3/3 - 6*t**2 + 54*t - 56. Let u be m(7). Solve -5*c = -u - 6 for c.
5
Let y(d) = 129*d + 405. Let b be y(-3). Solve 9 = -b*t + 45 for t.
2
Let q be 3/(-2)*2*-1. Suppose 15 = q*j - 0*j. Let r(s) = -s**3 + 5*s**2 - s - 7. Let p be r(4). Solve -p = -0*c + j*c for c.
-1
Let d be 6 + (3/(-2))/((-27)/(-36)). Solve 3*g - d*g = -1 for g.
1
Suppose q - 14*d - 38 = -11*d, 4*q = 4*d + 112. Solve 0 = 19*k - q*k + 12 for k.
3
Suppose 0 = -2*t - 3*z - 7 + 12, -5*z + 15 = 5*t. Solve 3*b = -1 + t for b.
1
Let s(i) = i**3 - i**2 + 4*i + 5. Let y be s(0). Solve 0 = -t - y*t for t.
0
Suppose 5*q - y - 21 + 9 = 0, -5*q - 5*y + 30 = 0. Let z be 0 - -12 - (1 - -1). Let b be -2 + z + (-1 - 1). Solve q*d - b = d for d.
3
Suppose -2 = -f + 3. Let s be 10/(-2)*(-6 + f). Solve -4 = s*v + 11 for v.
-3
Suppose 2*c = -2*c. Let n be (c - 0) + (-4 - -6). Solve -2 = n*i - 0*i for i.
-1
Let m = 3943 - 3928. Let h = 9 - 3. Solve h*w - m = 3*w for w.
5
Suppose -k + 9 + 4 = -2*o, 0 = 5*k - o - 38. Solve 3*n = k*n - 20 for n.
5
Let x be 26/6*(10 + -7). Suppose 4*y = 2*r - 36, -3*r = -2*r - y - x. Solve 2*a - 4 = -r for a.
-2
Suppose -853*b + 40 = -851*b. Solve 3*p - b = -2*p for p.
4
Suppose 6*k - k - 35 = 0. Suppose -4*g = -h + 5, -5*h = g - 24 - 1. Suppose 0 = -2*v + 72 - 8. Solve k = h*c + v for c.
-5
Let x be 5 + -2 - (12/4)/3. Suppose -x = 4*k - 10. Solve -v - 12 = k*v for v.
-4
Suppose -3*u - v = -62, -5*u = -6*v + 2*v - 92. Let p = -10 + u. Solve p = -5*x + 30 for x.
4
Let v = -292 + 353. Solve 55*p - v*p = 0 for p.
0
Let u(m) = 79*m + 637. Let t be u(-8). Solve -5 + t = 7*j for j.
0
Let r = 33 - 24. Suppose 0 = -3*x - 2*w - 2*w - 5, 0 = 2*x + 3*w + 5. Solve -x*n = r + 1 for n.
-2
Let h be 4/16 + (-126)/(-8). Suppose -3*q - h = 2*n + 2*q, 0 = 2*n - 3*q - 16. Solve -7*a = -n*a for a.
0
Let b(y) = -2*y**2 - 23*y + 14. Let f be b(-12). Solve 3 + 1 = f*g for g.
2
Suppose 43*q + 28 = 200. Let k(t) = 3*t - 1. Let r be k(1). Suppose 6 = q*n - r. Solve -n*a + 9 = -5*a for a.
-3
Let w be -14 + 1 + (-3)/(-1). Let s be (-4)/(-10) + (-46)/w. Solve s*o = 3*o + 10 for o.
5
Suppose 0*o - 10 = -3*x - o, 0 = x - 3*o + 10. Suppose -2*g - 2*a - 24 = 0, -x*g = 3*a + a + 16. Let i = -14 - g. Solve 6*r + 12 = i*r for r.
-3
Suppose -u = -0 + 1. Let v be u/(-2) + 15/10. Solve -3*h - v*h - 25 = 0 for h.
-5
Suppose 0 = -h + 4*f + 21, 3*h - 5*f - 51 = -h. Suppose p - h = -2*p. Let a be 1/(-4) - 2/(-8). Solve a = -p*q - q + 12 for q.
3
Suppose -2*x - 17 + 21 = 0. Solve -1 = -x*n - 3 for n.
-1
Let d = -765 - -770. Solve 2*u = u + d for u.
5
Let y(s) = s**3 - s**2 - 7*s - 8. Let i be y(4). Solve 2*l - i = -18 for l.
-3
Let q(v) = v. Let i be q(6). Suppose 16*m = 17*m - 22. Let s = m - 18. Solve -s*j + 2*j + i = 0 for j.
3
Let k(c) = -c**3 + 10*c**2 - 14*c - 14. Let i be k(7). Let p = 55 - i. Solve 3*z - p = -z for z.
5
Let k be (-8)/(-3) + 2/6. Let j(f) = 4*f - 24. Suppose -3*i + 12 = -i - 4*c, -4*i + 24 = -2*c. Let g be j(i). Solve g = -k*s - 2*s - 20 for s.
-4
Let q be ((-2)/3)/((-2)/3). Let o = -4 - 0. Let t be -2 - 2/4*o. Solve b - 6 + q = t for b.
5
Let y = -49 - -44. Let s = y + 5. Solve 0 = 3*b - s - 3 for b.
1
Let g(z) = -4*z + 20. Let h be g(5). Let t = -10 + -1. Let w = t + 15. Solve -w*i + 5*i = h for i.
0
Let c(m) = m - 16. Let o be c(13). Let j be (-18)/o + -7*12/(-42). Solve -j + 4 = -4*r for r.
1
Let d be (-6)/21 + 18/14. Let b be 0*d/4 + 1. Let u be 12/28 + (-9)/21. Solve -o + b = -u for o.
1
Let s(u) = -4*u**2 + 63*u + 34. Let j be s(16). Solve -15 + j = -3*n for n.
-1
Suppose -3*c + 18 = 4*z, -24 = -54*z + 49*z - 3*c. Solve -17*l = z - 23 for l.
1
Let h be (-20 + 14)*((-30)/4 + 1). Let y = h - 34. Let i = -1 + 2. Solve -i + y = 4*q for q.
1
Let r be ((-112)/(-168))/((-1)/(-12)). Solve -r*f = -7*f - 5 for f.
5
Suppose 26*z - 213 + 31 = 0. Solve z*g = g - 24 for g.
-4
Suppose 16 = -2*o + 6*o. Suppose -5*t + 5 = g + 19, -20 = -4*g - t. Suppose -f + g = 4. Solve o*h + 14 = -f for h.
-4
Suppose 0 = -n - 34 + 14. Let v = -14 - n. Solve 3 = -o + v for o.
3
Let s = 1639 - 1625. Solve 13*n = s*n + 5 for n.
-5
Let y(a) = -a**2 + 10*a - 5. Let i be y(9). Let p be (i/6)/((0 + 1)/12). Solve 4*w = 2*w - p for w.
-4
Let t be (99/22)/(3/(-4)). Let c(r) = -r**3 - 8*r**2 - 11*r + 6. Let g be c(t). Solve 2*v + v - 9 = g for v.
3
Let m = -50 + 46. Let h be -14*(-4)/24 - m/(-12). Solve -5*a - 3 - h = 0 for a.
-1
Suppose -10 = 2*s, 0*a - a + 4*s + 23 = 0. Suppose 3*h - 1 = 4*c, 5*h - 16 - 4 = a*c. Solve h*w - 3 = 4*w for w.
1
Let q = -260 - -309. Solve 44*m - q*m + 10 = 0 for m.
2
Let c = -38 + 41. Solve -8*o = -c*o for o.
0
Let j = 162 + -158. Solve -2*d = -j*d - 10 for d.
-5
Suppose 3 = -3*r + 6. Let y(j) = -3*j - 10. Let w be y(-5). Suppose 3*b + 6 = -3*k, 0 = -4*k - 0*b - w*b - 10. Solve k = -a - 3 - r for a.
-4
Let t be (-12)/84 + ((-213)/(-7))/3. Let l(s) = s - 8. Let g be l(t). Solve g*d = -0*d + 2 for d.
1
Let z(s) = -s**3 + 5*s**3 - 3*s**3 - 6*s**2 + 6*s. Let p be z(5). Suppose -20*m + 4*o = -15*m - 30, 0 = -4*o + 20. Solve -p*i + m = -0 for i.
2
Let r(o) = -o**3 + o**2 + 26*o - 16. Let v be r(-5). Solve 10*j = v*j - 12 for j.
-2
Let v(g) = 2*g + 2. Let q be v(0). Suppose q*m = -m. Suppose 2*w - 2 - 8 = m. Solve w*z + 10 = -0*z for z.
-2
Let j = 4 - 7. Let i(x) = -x**3 - 2*x**2 - x - 7. Let s be i(j). Suppose -3*b = -3*t, 2*b - s = -t + 10. Solve 3*m - 2 = -t for m.
-1
Let j = 573 + -573. Solve j = b + 4*b + 5 for b.
-1
Let z(i) be the third derivative of i**5/60 - 5*i**4/8 + 4*i**3/3 - 3*i**2. Let l be z(14). Let y be (-64)/l + (-15)/(-45). Solve -4*n + y + 1 = 0 for n.
3
Let w(a) = 2*a**2 - 62*a + 241. Let b be w(4). Solve -b*q = -17 + 42 for q.
-1
Suppose 2*i + 325 - 341 = 0. Solve -r - 45 = i*r for r.
-5
Suppose -6*k + k - c + 23 = 0, 2 = -c. Suppose k = 2*v + 1. Suppose -4*r - v*j = -52, 2*r = 3*j + 4 + 14. Solve 5*y + 32 - r = 0 for y.
-4
Let h be (18/(-21))/((-9)/504). Suppose v + 5*v = h. Solve 2*p - 4*p - v = 0 for p.
-4
Let t be (-5 - 0)*(-4 - -1). Let c = t - 11. Suppose 2*f = c*y - 8, -3*y + 3*f = -0*f. Solve -2*r + y*r = -4 for r.
-2
Let z = 123 + -115. Let s = -4 + 9. Solve -s*v + 7 = -z for v.
3
Suppose -224*j - 5 = -229*j. Solve -149 = -30*h + j for h.
5
Let s(t) = -t**2 - t - 1. Let h(m) = -5*m**2 - 7*m + 1. Let v(b) = h(b) - 4*s(b). Let u be v(-4). Let o be -5 + 6 - (u - 0). Solve 0 = -o*k - 5*k + 20 for k.
4
Suppose -10*l + 20 = -5*l. Let p be (-6)/(-4)*((-88)/(-12) - l). Solve -2*o + p = -3*o for o.
-5
Let x be 2/(-6) - ((-725)/(-15))/(-1). Suppose x = p + 5*p. Solve -p*s = -6*s + 8 for s.
-4
Suppose -75 - 45 = -3*u + m, 0 = -4*m - 12. Let s = 42 - u. Solve s*g - 1 = 5 for g.
2
Suppose 0 = 2*x + 3*a - 12, 5*x = 2*x - 5*a + 19. Solve -2*z - 7 = x for z.
-5
Suppose 0*r = 3*q - 2*r - 4, -4*q + 4 = -2*r. Solve q = -4*i + 7 + 1 for i.
2
Suppose 0 = -5*a + 109 - 89. Solve 0*r = a*r - 20 for r.
5
Let s(a) = -a**2 + 2*a + 2. Let j be s(4). Let n(m) = m**3 + 6*m**2 + m + 4. Let l be n(j). Let r be 42*(40/14 + l). Solve -5*d = -11 + r for d.
-5
Let r(c) = c**2 - 6*c + 2. Let y be r(6). Suppose 0*z + 10 = 5*z. Suppose z*b = -0*b - 5*n + 15, -b = n - 9. Solve y*a + 4 = b for a.
3
Let y = 1 + 1. Suppose 0*a - 11 = -2*a - 5*f, 4*a - 5*f - 7 = 0. Let s = 6 - a. Solve 0 = -r - y*r - s for r.
-1
Let m(v) = -v. Let l be m(0). Suppose l*o = o. Suppose -3*j + o*t = 5*t - 29, 0 = -5*t + 5. Solve -4*d = -2*d - j for d.
4
Let w be 1/4 - (-125)/(-20). Let m = w - -8. Let a(n) = -n + 11. Let u be a(8). Solve o = m + u for o.
5
Suppose 2*p = -k + 12, -4*k - 57*p + 12 = -61*p. Let h(c) = c**3 - 10*c**2 + 10*c - 7. Suppose -r = -4*r + 27. Let l be h(r). Solve l*x + k = -x for x.
-2
Suppose 5*h = 2*h + 60. Let j = 20 - h. Suppose j = 3*b - b. Solve b - 3 = f for f.
-3
Let o = -18 + 18. Suppose -3*c + 11 = -34. Let