c = u for c.
5
Let l be (-1 + (-26 - 0))/(-1). Suppose w + 0*k - 2*k = 13, 4*w - l = 3*k. Solve 0 = -t + w*t for t.
0
Let i be (-2 - -2) + 0/(-1). Suppose g - 2 + i = -d, -3*g = -2*d + 4. Solve -o = -g*o + 2 for o.
-2
Let x = -1061 + 1075. Solve -x + 5 = -3*c for c.
3
Let d = -38 - -42. Suppose 5*b - 5*h = 2 + 8, -d*b = 3*h - 15. Solve 0*c = -b*c for c.
0
Suppose 0*d + 2*d = 2*h + 2, -6 = -2*h. Suppose -5*a + 4*a + 1 = 0. Suppose -2*r = -5 - a. Solve -r*y + d + 5 = 0 for y.
3
Suppose 0 = 5*r - 5*p - 0 - 10, 2*r - 5*p = -5. Let w be 2 + -1 + -5 - -10. Solve 2*i - r*i = -w for i.
2
Suppose -z - j - 17 - 39 = 0, 5*z = 5*j - 270. Let t = 57 + z. Solve 0*q = -q - t for q.
-2
Let k be (-2 + (-12)/(-10))/((-36)/(-1170)). Let u = -24 - k. Solve 3 = r + u*r for r.
1
Let f be -44*10/(-3 + -37). Solve 5*z + 18 = f*z for z.
3
Suppose 23 - 133 = -2*u. Suppose 10 - u = -5*h. Solve -4*c = -h*c - 25 for c.
-5
Suppose -2*s + 5 = 3*s + 5*q, 4 = 4*q. Solve s*l - 4 = -l for l.
4
Suppose 9*m + 190 = 4*m - 5*d, -70 = 2*m - d. Let t be m/15*(-10)/3. Suppose 5*x - x = t. Solve x*n = -n for n.
0
Let m(u) be the first derivative of -2*u**2 - 6*u + 5. Let b be m(-2). Suppose -7 - 1 = -b*p. Solve 15 = -p*z - 5 for z.
-5
Suppose -2*l - 26 = -30. Suppose 0 = -l*u + u. Solve u = -5*s + s - 16 for s.
-4
Suppose 13 + 3 = 4*t. Suppose t*a + 0*a - 12 = 0. Solve a*r - 4*r - 4 = 0 for r.
-4
Let c be (-3)/(3/12*-6). Suppose 0 = -3*h - c*j + 39, 3*h - 52 = -2*h + j. Let d = 13 - h. Solve -2 - 4 = -d*k for k.
3
Let g be (-26)/(-6) - (-4)/6. Suppose -g*l + 0*i + i + 14 = 0, 4 = l + i. Suppose -2*h - 5*a = -1, -a = -l*h + 3*a + 13. Solve 2 = j + h for j.
-1
Let r(l) = l**3 - 7*l**2 - 9*l + 3. Let x be r(8). Suppose 5*w - 21 = -4*h + 17, -4*w = 4*h - 28. Let v be x/w + 19/2. Solve 5*p + 6 = -v for p.
-3
Let v = -17 + 35. Let d = v + -18. Suppose 0 = -b - d + 25. Solve y = 6*y - b for y.
5
Suppose -2*v = 4*g + 20, -5*v + g + 5 = -0. Suppose v = 2*n - 20 + 10. Solve 0 = -n*p + 3 - 13 for p.
-2
Let r(v) = 3*v - 27. Let t be r(11). Suppose 0 = s + 5*u - 29, -s - 2*u = -2*s - t. Solve -s*x = -x for x.
0
Suppose -v = -233 + 228. Solve -v*k + 15 = 15 for k.
0
Let p(j) = j**2 - 2*j - 48. Let r be p(8). Solve r = 6*v + 3 + 15 for v.
-3
Let a be (-135)/(-24) - (90/16 - 6). Solve 0 = 2*q - a*q + 16 for q.
4
Suppose -2*k = 2*v - 4 - 2, 0 = 5*k - v - 15. Let x = -325 - -331. Suppose -n = 4*j - 21 - x, k*n - 29 = j. Solve -4 - n = 3*a for a.
-5
Let c = 62 - 58. Suppose z = -c*g, -3*g - 7 = -2*z - 4*g. Solve -z*j = j for j.
0
Suppose h + 6*s - 2*s = -6, -3*s = 0. Let c be 3/2*h*(-8)/36. Solve -6*p + c*p + 16 = 0 for p.
4
Suppose -5*i - u - 15 = 0, -u = -2*i + 6*i + 12. Let v = 3 + i. Solve 20 = -v*d - 4*d for d.
-5
Let j = -821 + 848. Solve 31*u - j*u = 16 for u.
4
Suppose -5*n = -4*r + 2 + 8, 0 = -2*r + 3*n + 6. Solve 16*k - 5*k - 22 = r for k.
2
Suppose 22*z - 276 - 98 = 0. Solve -5 + z = 3*j for j.
4
Let u be (-159)/(-33) + 12/66. Let g be 10/35 - 38/(-14). Solve -g = -u*r + 4*r for r.
3
Let y(n) = -3*n**3 - 2*n - 1. Let h be y(-1). Suppose -h*r + 4 + 8 = 0. Suppose -3*b + 11 = -7. Solve r*k - 9 = b for k.
5
Let u(i) be the third derivative of -1/120*i**6 + 0*i - 5/6*i**3 + 0 + 8*i**2 + 1/12*i**4 + 1/12*i**5. Let y be u(5). Solve 10*h - y*h = 0 for h.
0
Let z be 2*((-665)/(-10) - -4). Suppose z*v = 137*v + 16. Solve -7*g - v = -9*g for g.
2
Let y(f) = 3 - f - 14 + 6*f. Let m be y(6). Suppose 4*r - 10 = 2*b - b, 0 = -5*b - 3*r + m. Solve 15 = b*x + 3*x for x.
3
Let b be (-4 - -4)/(6 - 4). Solve b = -7*j + 32 + 3 for j.
5
Suppose 0*f = -4*f. Let c(s) = -3*s**3 + 4*s**2 + 7. Let l(v) = -4*v**3 + 5*v**2 + 8. Let p(n) = 5*c(n) - 4*l(n). Let m be p(f). Solve k + 8 = -m*k for k.
-2
Let d(a) = a**2 - 4*a - 10. Let l(x) = -x**2 + 7*x - 6. Let b be l(4). Let u be d(b). Solve -2*v - u*v = 0 for v.
0
Suppose k - 38 = -2*z, -4*z + 4*k + k = -76. Let a = z + -3. Solve -20 = 12*b - a*b for b.
5
Suppose -2*v = 2*l - 0*v, -v - 20 = -4*l. Let f(b) = -b + 7. Let s be f(l). Solve s*x + 0*x = 6 for x.
2
Suppose 0 = -4*l + 8, -2*v + 17 = -4*l + 1. Suppose -4*t = -5*g - v, g - 6 = -4*t + 2*t. Solve 1 - 4 = t*z for z.
-1
Suppose 4 = q - 2*z, -4*q - 4*z = -15 - 1. Solve -8 = -8*k + q*k for k.
2
Let n(u) = 3*u**2 - 12*u - 13. Let j be n(5). Solve -x + j*x = 2 for x.
2
Let d = 4 + -1. Let u = -1 + d. Suppose -2*s = -3*l + 12, 0*s + 20 = -5*s + 5*l. Solve s = -2*j + u + 4 for j.
3
Suppose 2*w - 49 = 3*d, 7 = -d + 4*w - 16. Let p be (-1)/(((-3)/d)/(40/(-25))). Let f(i) = -i**2 - 8*i - 9. Let o be f(-6). Solve p = -o*r + r for r.
-4
Suppose x + 629 = -5*l + 4*x, 2*l + 244 = 5*x. Let u = l - -130. Solve u*f = -f - 4 for f.
-1
Let r(b) = 5*b - 15. Let a(v) = -6*v + 15. Let x(d) = -4*a(d) - 5*r(d). Let c be x(6). Suppose -80 = -c*k + 4*k. Solve -2*u = -6*u + k for u.
4
Suppose 0 = 4*i + x + 6 + 7, -4*i - 5*x = 1. Let k(d) = -d**2 - 6*d - 3. Let z be k(i). Solve -b + z*b = -8 for b.
-2
Suppose -4*p + 2 = -12*q + 13*q, 3*p - q = 12. Let k(c) = -c**3 - 4*c**2 + 5*c + 3. Let d be k(-5). Let j be 0/d + 6/1. Solve -t = p*t - j for t.
2
Let i be 1/(-2)*(-3 + -13). Suppose -2*y + i = 4*a, -a - a = -2. Solve 2 = y*j - 0 for j.
1
Let y = -8 + 1. Let p be (-90)/y - 2/(-14). Let k = p + -10. Solve 2*z + k*z = -20 for z.
-4
Let s be -36*(1/(-7) - 5/14). Solve s*n + 1 = 17*n for n.
-1
Let t = 1299 + -1071. Solve -h + 233 = t for h.
5
Let m(j) = -4*j**3 - 5*j**2 + 8*j + 13. Let y(z) = -2*z**3 - 2*z**2 + 5*z + 7. Let b(r) = 4*m(r) - 7*y(r). Let t be b(-3). Solve -2*a + 5*a = -t for a.
-4
Suppose 1866*x = 1870*x - 72. Solve -13*r + 7*r = -x for r.
3
Let s be ((-8)/(-12))/((-4)/(-6)). Let q be (-4)/(s*(2 - 3)). Solve q = 4*j - 0*j for j.
1
Let j be 0*(10 + (-63)/6). Solve j = 4*i + 7 - 7 for i.
0
Suppose 5*p - 31 - 37 = -4*y, 0 = 3*p + 3*y - 42. Let q(n) = n + 1. Let s be q(3). Let u be s - 2/(-4)*-8. Solve u = 5*w - w + p for w.
-3
Let n be (2/(-8))/(6/(-72)). Suppose -2*o - n*i + 3 = 13, 2*o = -i - 2. Solve 2*x - o + 5 = 0 for x.
-2
Suppose z - 17 = v, 55 = -5*v - z - 0*z. Let t(r) = r + 10. Let f be t(v). Let m = f - -4. Solve m = -q - q for q.
-1
Let g(m) = m + 14. Suppose 0 = 4*v - 2*v + 18. Let y be g(v). Suppose y*d - 5 = 0, 3*t + 6*d - d - 20 = 0. Solve t - 14 = 3*k for k.
-3
Let y(s) = -31 + 0*s + 26 + 3*s. Let t = 18 + -15. Let x be y(t). Solve 3*o = 7 - x for o.
1
Let z be (-12)/3*30/6. Let w(g) = -43*g. Let q be w(1). Let x = z - q. Solve -3 = -4*o - x for o.
-5
Suppose -5*y + 52 = 12. Suppose 0*u - 52 = -4*t - 4*u, -4*t + 44 = 2*u. Let h be t + -6 + -1 + -1 + 1. Solve -h*i + 2 = y for i.
-3
Suppose -7*g + 90 - 20 = 0. Solve -10*v = -12*v - g for v.
-5
Let q(m) = -m**2 + 10*m - 16. Let d be q(3). Suppose d = k + 1. Solve k*t + 2 = 5*t for t.
2
Suppose -19 = -2*x + k, -3*k - 11 + 17 = 3*x. Suppose -6*p + p - 4*m - 20 = 0, -2*p - 3*m - 15 = 0. Solve p = 4*o - x - 13 for o.
5
Let g(t) = t**3 + t**2 - 22*t - 36. Let a be g(-2). Suppose 2*y = -3*h + 9 + 29, 0 = 3*y + h - 50. Solve -a + y = -3*x for x.
-4
Suppose -4*v - x - 3*x - 64 = 0, 0 = 4*v + 3*x + 62. Let h be (-192)/v + 10/35. Let u be 72/7 - h/49. Solve 4*f = -f - u for f.
-2
Suppose -5*m = -2*r + 58 - 7, -63 = -4*r - 3*m. Solve 6*i = -3*i - r for i.
-2
Let b(a) = -a**2 + a + 1. Let v(h) = 2*h**2 + 5*h - 24. Let z(s) = -3*b(s) - v(s). Let t be z(6). Solve 3*y + 0*y = t for y.
3
Let f(n) = n**3 - 20*n**2 - 21*n. Let c be f(21). Solve -2*v + 2*v - 2*v = c for v.
0
Let b = 2 + 2. Suppose -s = 2*g - 8, b*g - 4*s = 3 + 1. Suppose -2*y - 4*a + 8*a = 0, -2*a = -g*y + 4. Solve j + 0 = y for j.
2
Let f be (-35)/45 - -1 - (-43)/9. Solve -19 = -f*n - 4 for n.
3
Let m be ((-12)/16)/((-21)/812). Solve 2*b = -m + 31 for b.
1
Let d(g) = -g**3 - 4*g**2 - 4*g - 1. Let p be d(-4). Let j = -13 + p. Suppose c - 8 = -c. Solve 0 = c*i - 18 + j for i.
4
Let x(b) be the third derivative of -b**6/120 - 13*b**5/60 - 11*b**4/24 + 8*b**3/3 - 2*b**2. Let g be x(-12). Solve 0 = g*r - 20 + 8 for r.
3
Suppose 0 = -3*g + 7*g. Suppose 5*x - 2*h + 8 + 8 = g, 3*x = -4*h + 6. Let d be ((x + 2)*-1)/(-1). Solve -2*a - a + 6 = d for a.
2
Let z = -5 + -8. Let f = z - -13. Solve f*k - k + 2 = 0 for k.
2
Let d be 1144/24 - 2 - 4/6. Solve 5*p + 20 = d for p.
5
Suppose -h - 2*h - 3*u = 78, h - 2*u = -14. Let p be (-14)/(-6