 = -3*a - 13, u = -2*a + c*u + 28 for a.
4
Let c be (-1)/(-3) - (-51)/9. Let l = -72 - -75. Let w be 1 + l*2*(-3)/18. Solve -4*r = 2*j - 2*r - c, -5*j - 3*r + 7 = w for j.
-1
Let r = -33 - -36. Let d be (-24)/3*r/(-6). Solve 5*v = -3*k + 13, d*k - v + 9 = -12 for k.
-4
Suppose 24*k = 20*k + 12. Solve 0 + 6 = -4*h + 5*n, 16 = -k*h - 2*n for h.
-4
Suppose -4*w = 7 - 23. Let n be (104/(-16))/((-2)/w). Let g = -12 - -17. Solve -y - h + n = -3*h, 25 = -g*h for y.
3
Let v = 124 - 124. Solve v = -3*r + 5*y + 32, -2*y + y - 16 = -3*r for r.
4
Suppose -11*r + 34 = 5*o, o + 3 = 5*r - 19. Solve 0*v = 5*v - 2*a - 2, -a - 1 = r*v for v.
0
Suppose -5*s + 12 + 3 = 0. Let m be -3*(s - (-26)/(-6)). Solve -3*t = 2*y + 16, -t + m = -3*t for y.
-5
Let q(p) = -7*p + 37. Let u be q(14). Let a = u - -71. Solve 4*z = -v + z + a, z = v + 6 for v.
-2
Let f = -7 - 2. Let x = f - -9. Let d = 4 + x. Solve 5*y - 15 = 4*g, d*g - 3*y = -8*y + 15 for g.
0
Suppose 105*i = 107*i - 8. Solve -i*h = 8, -3*h - 12 = -4*p - 5*h for p.
4
Let a be 84/(-35)*(-15)/(-6). Let h(l) = 2*l**2 + 9*l - 15. Let k be h(a). Solve 5*x - 25 = -k*z - 2*z, 0 = 5*z - 4*x - 16 for z.
4
Let a(f) = -8*f**2 - 77*f + 38. Let u be a(-10). Solve 6 = 3*d - 4*l, -5*d - 5 - u = l for d.
-2
Let x be (-26)/10 - (-12)/(-30). Let i be -3 - (x - (-3 - -5)). Suppose 6 = -3*b - 3, 12 = 2*a - i*b. Solve 6 = a*j - 3*n, -n = -j + 2*n - 2 for j.
4
Suppose 73*s - 77*s = -20. Solve -s*c = -3*i - 31, 4*c - 14 = -0*c - 3*i for c.
5
Suppose 6*n - 64 = 5*n. Let z = -60 + n. Solve 18 = 3*g - 3*r, -r = z*g - 4 - 5 for g.
3
Let h be (-1)/(-2)*(-33 + 37). Solve n + h*g = -7, -n - 7 = 3*n + g for n.
-1
Let t(a) = -a**2 - 9*a + 18. Let d be t(-10). Let v = 247 + -239. Solve 2*r - 5*i = -0*r - d, -4*r - 2*i = -v for r.
1
Suppose 5*a - t = 76, 6*a = 10*a - 2*t - 62. Solve 5*w - a = 4*f, 2*w - w + 1 = 0 for f.
-5
Suppose -4*r = -0*r. Let u be r - -1 - (15 - 18). Let q be -3*(1 - 34/6). Solve n + n = -u, 4*w + q = -n for w.
-3
Let q(m) = -2*m**2 - 9*m - 4. Let s be q(-7). Let r = s - -49. Solve 2*t - 5*u - r = -4*u, 28 = 4*t - 4*u for t.
3
Suppose -24 = -4*k - 4*t, -5*t + 3*t - 9 = -5*k. Suppose 0*x - x = -k. Suppose -2*i - x*i + 20 = 0. Solve -i*l = -b + 14, 0 = -b - 4*b - 10 for l.
-4
Suppose -l = -2 - 3. Suppose 3*f = 5*w - 2*w + 6, -w - l*f + 10 = 0. Solve w = -5*x - 4*v - 2 + 1, 0 = -x + 5*v + 23 for x.
3
Suppose -3*o + 16 = v, -32 = 2*o + v - 43. Solve -o*p - 18 = j, 2*j = 5*p + 5*j + 14 for p.
-4
Let y(x) = -x**3 - 5*x**2 + 11*x - 16. Suppose -i - w = -3*w + 3, -4*w - 1 = -i. Let d be y(i). Solve 5*t + 3*z = -5, -d*t + z + 15 = -0*t for t.
2
Let w be 0 + 4 + -2*1. Let x = 25 - 26. Let q be (-4)/8*50*x. Solve -2*c - 7 = -m + 8, -3*c = -w*m + q for m.
5
Suppose 10*a = 14*a - 12. Suppose -50 = -2*d - a*d. Solve y + d = -2*x, 0 = 4*y + 4*x + x + 28 for y.
-2
Let i be (-110 + 108)/(7/(-5) - -1). Solve -i*w + 5*s - 15 = 0, -5 = -5*w - 2*s + 3*s for w.
2
Let r be ((-4)/((-16)/4))/1. Suppose 4*y - 3 = -5*o - 1, 0 = -2*o - 4. Solve -w = -3*x + r, y*w - x = 8 - 3 for w.
2
Let t(f) = -f + 3*f - 3247 + 3245. Let j be t(7). Solve 6*o - 4*i = 5*o + j, -i - 22 = -5*o for o.
4
Suppose 0 = 5*s - s + 68. Let r = -12 - s. Let l = 298 + -295. Solve -5*y - 3 = 3*x, r*x + 5 = 2*y + l*y for y.
0
Let h(c) = -2*c**2 + 7*c + 5. Suppose 5*q - 16 = 4*b, -5*b + 25 = 5*q - 0*q. Let d be h(q). Solve -3*x - x + 5*t = -d, 2*x - 3 = 5*t for x.
-1
Let p(r) be the second derivative of 0 + r + 1/2*r**2 + 1/6*r**3 + 1/12*r**4. Let c be p(0). Solve -3*b - 11 = 2*f, -3*b = f + c + 9 for f.
-1
Let a = -43 + 47. Let g be a/3 + (-44)/(-12). Solve t = -g*m + 7, 0 = -5*m + 3*m + t for m.
1
Let h(l) = 8*l - 8*l**2 - 2 + 4*l**3 + 4*l - 4*l - 3*l**3. Let x be h(7). Suppose x*m - 14 = -4. Solve t + 5 = -m*f, -t = 2*t - 2*f - 17 for t.
3
Let x(g) = 4 - 4 + 7 - g**2 + 6*g. Let h be x(7). Suppose -i + 3 = -h*i. Solve s = 4*m - 15, 6*m - 15 = i*m - 3*s for m.
4
Let m(o) = -o - 2 - 4*o + 3*o - 2. Let u be m(-3). Suppose -u*z - 4*a - 17 = a, 0 = z - 3*a - 19. Solve c - 1 = 0, 2*c - z = -4*s + 3*s for s.
2
Let y be (-3)/(-6)*-10 - (-5 + -4). Solve -2*x + 28 = 5*w, y*x - x - 28 = -4*w for w.
4
Let k be 1 + (-1)/1 - 4/4. Let a(x) = -13*x**3 - 2*x**2 - x. Let t be a(k). Solve h - 4*q = -3*h - 8, -4*h - t = -2*q for h.
-4
Suppose 0 = 4*s + n + 25, -2*n - 22 + 0 = 4*s. Suppose 4*d = d + 36. Let y = s + d. Solve u = 4*j + 10, -3*u + u = -y*j - 11 for u.
-2
Let z(m) = -3*m**2 - 82*m + 58. Let n be z(-28). Solve -1 = 5*b - y + 2, -n*y = -b + 3 for b.
-1
Let l be (-1)/(-2)*156/26. Let r be 114/(-4) - (-6)/12. Let q be -2 + (-1)/(2/r). Solve -3*c = -3*y - q, 5*c + l*y = c - 19 for c.
-1
Let r(j) = j**3 - 13*j**2 + j + 134. Let p be r(12). Solve v - 2*b = 9, 0*b + p*b + 7 = -v for v.
1
Suppose -r = l - 5, 3*r - 17 = -13*l + 9*l. Solve 4*x + 2*a - 5*a = -11, l*x + 6 = 2*a for x.
-2
Let r(y) = -27*y + 101. Let m be r(3). Solve 4*g + 5*z = g + m, -19 = -4*g + z for g.
5
Let z(k) = -4*k + 4. Let t be z(-4). Let s be 28 + (1 - (2 - -2)). Let u = s - t. Solve -u*r = 4*x - x + 30, -2*x - 3*r = 19 for x.
-5
Let v = 38 - 56. Let t = -15 - v. Solve 3 = 5*q - b + 6, 4*q + t*b - 9 = 0 for q.
0
Suppose -2*b + 4*t - 16 = 0, t + 3 = -b + 10. Let o(w) = -w**3 - 4*w**2 - 2*w - 5. Let v be o(-4). Solve 0 = -v*u + b*n - 5*n + 24, -25 = -5*n for u.
3
Suppose -24 = -14*y + 8*y. Suppose 4*h + 2*o = 26 + 8, y*h = 5*o - 1. Solve h = x - 4*m, -3*x + m + 11 - 4 = 0 for x.
2
Let f = -530 - -535. Solve -d + p = -0*p + 2, -3*d = -f*p + 14 for d.
2
Suppose 4*z - 2 - 6 = 0. Solve 14 = 2*s + 3*j - z, 4 = j for s.
2
Let h = -52 + 54. Suppose 0 = h*y + 3 - 7. Solve -g - 4*j = -y, 2*g = -0*g + j - 5 for g.
-2
Let d(q) = -5*q - 1. Let i = 6 - 5. Suppose -4*n - i = -3*n. Let v be d(n). Solve -k = v*g - 16, -5*k - 3*g + 12 = -3*k for k.
0
Suppose 0 = z + 2*z - 9. Let b = -40 - -45. Let i be 8 - (-1)/(b/(-20)). Solve 2*x - 4*s - s = 8, -z*s = x - i for x.
4
Let o = -28 + 31. Suppose 7 = 4*m + 3*u, 3*m - u + 3*u = 6. Solve -5*q + 3*v + 9 = -2*q, o*q - 9 = -m*v for q.
3
Let r = -3 + 4. Let c be r - ((1 - 2) + -2). Suppose 0 = -4*z - 2*q + 12, 0*z - c*q + 14 = 3*z. Solve 4*n = 2*v + 6, -2*v + 2 - 6 = -z*n for n.
1
Let k(f) = -f**2 - 2*f + 8. Suppose -31 = 6*t - 7. Let q be k(t). Suppose 3*o - 3 - 6 = q. Solve 3*z = 3*r - o, z - 23 = -5*r - 0*z for r.
4
Suppose 4*k + 1 - 21 = 0. Let c be 27/(-54) - (-26)/4. Solve c*n - n - 5*v = 40, -n + k*v + 24 = 0 for n.
4
Let v(w) = -w**2 - 4*w + 13. Let r be v(-6). Let q be 2*(3 - (r + 1) - -1). Solve 8*s = 3*s - 5*t, 3*s + q*t = 4 for s.
-4
Let g = 2 - -3. Let p = 16 + 11. Suppose f + 5*s + p - 4 = 0, 0 = -s - 5. Solve 2*d = a + 7, a - g*d = f*a - 14 for a.
-1
Let k be (7 + 4 + -6)/1. Solve -r + 21 = -k*a, -2*a = -4*r - r + 13 for r.
1
Let q = -14 - -40. Suppose -i - q = -3*m, -6*i + i = 2*m - 6. Let f = -22 - -30. Solve 3*l + m = b - 4, -2*l - 5*b - f = 0 for l.
-4
Suppose -6*j + 7 = 7. Suppose -29*d + 28*d + 2 = j. Solve 0 = 5*w + 5, -p - 5*w = d for p.
3
Let j(k) = 33*k + 333. Let l be j(-10). Solve 0 = -v + 4*p - l*p - 10, 2*p = 10 for v.
-5
Let d be 1*-1 - 0 - -4. Let m be 6*(-5)/10 + 8. Suppose -4*a + m*u - 7*u = -2, 0 = -4*a + 5*u + 37. Solve -4*i + i - a*o = 6, d*o = -15 for i.
3
Suppose -5*x = -47 + 22. Let b(d) = -2*d**3 - 12*d + 2 + 0 + d**3 + 13*d**2. Let m be b(12). Solve 0 = m*w + 2*j, -x*w - 3*j - 7 = -5 for w.
-1
Suppose -2*z + d + 10 = 0, -6*z + 4*z + 10 = d. Solve -z*a - 10 = 3*v, -4*v - 5*a + 7 - 22 = 0 for v.
-5
Let u(s) = -s**3 + 6*s**2 + 2*s - 6. Let t be u(6). Let i be (-10)/t*(-3 - 0). Solve 15 = -5*j + i*f, 0*j = -4*j - f - 7 for j.
-2
Let l be (0 - -3)/((-87)/(-145)). Solve q + f + 17 = -4*q, 1 = 3*q - l*f for q.
-3
Let u be ((-12)/18)/(((-6)/(-18))/(-1)). Solve 4*i - h + 20 = -2*h, -2*i - 16 = u*h for i.
-4
Suppose -4*f + 5*l = 6, -2*f + 7*f = l - 18. Let n(s) = -135 - 2*s + 258 - s - 131. Let t be n(f). Solve 0*k + 5*u = 3*k + 8, t*k + u - 20 = 0 for k.
4
Let s(h) = -h**3 - 2*h**2 + 5*h - 12. Let d be s(-4). Suppose 0 = 2*y - d*y + 3*g - 3, -y - 3*g = 0. Solve -2*i + 2 = -4*w + y*w, 2*i = 2 for w.
0
Let l(d) = -2*d + 1. Let n be l(-3). Let m be n + (-1 - 9/3). Solve -3*g - 13 = -5*u, -g = m*u - u - 14 for u.
5
Suppose -4*y - 31 = y - 4*z, -3*z + 15 = -y. Let h(f) = f*