w - 10 = 14*v - 11*v for w.
5
Suppose -10*f + 10 = -8*f. Suppose f*d - 46 = -b + 159, -100 = -3*d + 4*b. Solve -5*a + 5*r + d = -2*a, -3*a + r = -20 for a.
5
Let a = -169 - -242. Let l = 76 - a. Solve -2*m = -l - 3, n + m - 1 = 0 for n.
-2
Suppose -u - 6 = -3. Let g be (-15 - u) + -3 - 2. Let b = -15 - g. Solve -w + 10 = -b*m, -m - 2*m - 20 = -4*w for w.
2
Suppose 0 = 60*h - 62*h + 4. Solve 4*u - 9 = -3*y, -2*y + y + 5 = h*u for u.
3
Let q = -34 + 34. Suppose m + 3 = a - 0*a, -3*a - 3*m + 3 = q. Solve 4*n - 6 = -a*j, -2*n + j + j = 0 for n.
1
Suppose -d + 5*d = 0, 2*u + 3*d = 0. Let i be 4 + -2 + 0 + (-24)/(-6). Solve 5*o = -4*k + 3*k - i, 3*k + 3 = u for o.
-1
Let w = -4 + -11. Let m be (-3)/(-4 - w/6). Suppose -4*f - 8 = -9*f + 3*u, 3*u = 2*f + 4. Solve 6 = m*p - 7*p - 3*d, 0 = 2*p + f*d + 8 for p.
0
Let f(i) = -i**2 - 5*i + 40. Let v be f(-9). Solve 2*u - v*n - 20 = 0, 3*u + n = 2*n + 15 for u.
4
Let k(c) = -c**3 + 7*c**2 + c + 2. Let g be k(7). Let m = -5 + g. Let l = -179 + 213. Solve -l = -2*f + 5*a - 3, 17 = -f - m*a for f.
3
Let l be (-5 - (1 - 2)) + 6 + -3. Let o be (l + 6 - -1) + -2. Solve 4 = -o*g, -6*g + 3 = 2*j - g for j.
4
Suppose 0 = -5*o - 5*x + 55, -2*x + 8 = -2*o + 3*o. Suppose -19*w = -o*w - 10. Solve 0 = -2*u - 5*h + 12, -u - w*h - h = -7 for u.
1
Let n = 180 + -162. Solve 2*c + 5*y + n = y, 2*c + 5*y = -21 for c.
-3
Suppose 0 = -2*m + 111 - 107. Solve 4 = -4*z - 4*v, -4*z + 4*v = -m*z - 10 for z.
1
Suppose -51 + 19 = -2*u. Let g = -12 + 15. Solve -b - 5*k = u, 3*b + g*k = -b - 13 for b.
-1
Suppose 3*l = -2*b - 0*b - 16, 20 = -5*l - 5*b. Let g = -6 - l. Let j = 900 - 895. Solve -i + g*i - 15 = -4*p, -5*i = j*p for p.
5
Let x = -26 + 29. Suppose -x + 13 = 5*l. Suppose 5*d - 2 = 3*y + 3, -5*y + d = 1. Solve y = -4*b + r - 2*r + 9, 2*b + l*r - 6 = 0 for b.
2
Let f(m) = -18*m**2 - 200*m. Let s be f(-11). Solve 0 = -q + 3*n - 4, 4*n - 15 = -5*q + s for q.
5
Suppose 0 = f - 0*f. Let t be f - (2 - 1) - -5. Suppose -13 = -4*y - o, -4*y - 1 = 2*o - 15. Solve -5*q = -2*m + 5 + 8, 0 = -t*m - y*q - 13 for m.
-1
Let f = -16 + 23. Suppose 0 = -f*t - 28 + 28. Solve t = 5*g + n + 15, -2*g - 6 - 3 = n for g.
-2
Suppose 0 = 2*p + 18 + 78. Let n be 42/8 + 12/p. Solve 5*f - 5*u = -0*u, 9 = -2*f + n*u for f.
3
Let k(t) = -t**3 - 7*t**2 - 6*t + 5. Let m be k(-6). Suppose m*g - 3*g - 16 = 0. Solve 2*c - g = -0*c - 2*n, c = -2*n + 8 for c.
0
Suppose 2*x = -2*g + 22 + 18, -5*x + 97 = 2*g. Let j = 24 - x. Suppose -9 = -5*n + m, 2*n - 6*m + 1 = -m. Solve 5*h + j = v - 4, 2*h + n = 0 for v.
4
Suppose 0 = 5*f + 356 - 366. Solve 0 = -p + f*l - 5 + 1, l = 0 for p.
-4
Let s be (-2)/(-1*1) + 1. Let l(d) = -18*d**2 + d + 1. Let a be l(-1). Let j = -10 - a. Solve v + i = 0, -s*v = -j*v - i + 4 for v.
1
Let m = 15 - 0. Let j(u) = u + 12. Let q be j(-9). Solve -5*c + 0*d + 5*d = 15, -q*c + m = 5*d for c.
0
Let t = 0 - -3. Suppose 3*h + h - i = 15, -5*h + 17 = -t*i. Suppose d + 2*l = 10, d = h*d + 5*l - 27. Solve 2*z - d = 2*c, 0 + 4 = 4*z for c.
-1
Let c(p) = -p + 8. Suppose -4*g - 10 = -5*a + 3*a, 2*a = -g + 10. Let v = 0 + a. Let h be c(v). Solve 0 = t - 2*t - 4*m + 4, 3*m = -5*t + h for t.
0
Let z = 21 - 17. Solve -4*s - 5*b + 40 = 0, 3*b - 5*b = z*s - 28 for s.
5
Let p(v) = 2*v**3 + 12*v**2 - 8 - 2*v - 5 + 5. Let k be p(-6). Solve -5*t + 3*h = -11, -k*t - h = -3*h - 10 for t.
4
Let m be (1/(-3))/(6/(-54)). Suppose -m*p = -6*p. Solve 0 = 4*i - 2*c + 18, p = -0*i + 5*i - 2*c + 20 for i.
-2
Suppose u = -4*m - 4, -2*u - 2*m - 2 = 3*m. Solve u*i = 5*t - 4 + 8, 8 = -2*t for i.
-4
Let b = 97 - 102. Let f(g) be the first derivative of -g**3/3 - 7*g**2/2 + 1. Let c be f(b). Solve -2*i + 0*i - 2*y + 16 = 0, 0 = -2*y + c for i.
3
Suppose 0*r = -3*r - 117. Let h = 43 + r. Suppose 0 = -6*t + 4*t. Solve -h*v = 4*x - 1 - 7, 3*v - 3 = t for x.
1
Let w(u) = -u + 5. Let h be w(-5). Let i(a) = a**2 - 9*a - 10. Let x be i(h). Suppose -8*s + 9*s = x. Solve 5*d - 17 = 2*j - 5*j, s = -2*d + 2 for j.
4
Let v(n) = 1 + 7*n**2 - 5*n**3 + 4*n**3 - 6 + 11*n - 19*n. Let g be v(5). Solve 5*z + 15 = 5*x, g*z = -x - 0*x + 3 for x.
3
Suppose 0 = 82*o - 80*o - 8. Solve -5*t = o*w + 23 + 9, 0 = -4*w + 3*t for w.
-3
Suppose 0 = 2*q + 4 + 6, -4*q - 10 = 5*f. Suppose 7*d = f*d. Solve -2*k - 3*m - 2 = -d, m = -k + 1 for k.
5
Let z = 34 + -31. Let y be z/(-2)*-2 + 6. Solve s = -m + 4, 0*m + 2*s = -m + y for m.
-1
Suppose 8*w - 4*w - 8 = 0. Suppose 12 - w = 2*t. Suppose -2*x = 3*c - 6*x - 65, 3*c + 2*x = 35. Solve b = -h - 3*b + 12, 2*h + c = t*b for h.
0
Let c(g) = -39*g + 173. Let l(v) = -13*v + 57. Let q(p) = -3*c(p) + 8*l(p). Let o be q(5). Solve b + z + 2 = 0, -5*b - 12 = -o*b + 5*z for b.
1
Let u be 6 - 3 - (-2 - -1). Suppose 0 = 3*w + 3*w - u*w. Solve 4*b - 3*p + 19 = 0, 5*p + 0*p - 5 = w for b.
-4
Suppose 120 - 145 = -5*w. Suppose q + 3 = 21. Solve -f = b - 6, w*f - 10 - q = -3*b for b.
1
Let f be (-2)/8 + 364/(-16). Let w(z) = z**3 + 23*z**2 + 4. Let r be w(f). Solve 0 = r*c, 5*s + 10 = 3*s + c for s.
-5
Let h(n) be the first derivative of -9*n - 2 + n**2 - 3 - n + 2*n. Let f be h(6). Solve s + f = 5*q, -2*s + 2*q - 1 - 7 = 0 for s.
-4
Let x be (-1)/4*-4 - -2. Suppose -x*p = -4*q + 31, 8 = -4*q - p + 19. Solve 5*k + 5*r + 9 = 3*k, 0 = -2*k + q*r + 18 for k.
3
Let i = 73 - 49. Solve 0 = -2*p + 10, 5*p + 0 - i = l for l.
1
Let f = 2 + 3. Suppose 5*x - 27 - 23 = 0. Solve 2*h - x = -2*l, 3*l = 2*h - 0*l + f for h.
2
Suppose 0*m - m - 11 = 0. Let z = m - -16. Suppose 0*u + z*q = 2*u + 5, u = 3*q - 4. Solve -2*h + u*i - 5 = 3*h, -9 = -3*h - 3*i for h.
1
Let a(k) = k**2 - 16*k + 39. Let t be a(13). Suppose -14 + 2 = -3*r. Let x = r - t. Solve -5*z + 4 = 2*f - 0*f, -8 = -2*z - x*f for z.
0
Let t(u) = -u**3 - 3*u - 1. Let v be t(-2). Suppose -r + 4*j + 15 + 7 = 0, -j - v = -4*r. Let n = r + 0. Solve -3 = -4*q - 3*g, 4*g - 4 = n*q + 3*q for q.
0
Let n = 318 - 315. Solve -1 = 3*r + n*l - 4, 12 = -3*l for r.
5
Let f = -1 + 6. Let v = -24 + 51. Suppose 4*h + 4*p - 11 - 13 = 0, f*h + 2*p - v = 0. Solve -3*u + o = -19 + h, -u - 3*o = 2 for u.
4
Let f = -630 + 632. Solve 0 = -f*n + y + 3*y + 2, -4*n = 4*y - 16 for n.
3
Let h(u) = -u**2 - 3*u + 5. Let o be h(-3). Solve 4*r - 5 = -3*q + 6, -2*r + 23 = o*q for r.
-1
Suppose 0 = -2*v + 2*r - 6, -4*v + 3*r + 1 - 12 = 0. Let d be (-1)/v + 9/6. Solve d*k - 3 = -0*w + 3*w, 2*k - 5*w = 1 for k.
3
Let w(d) = -11*d - 96. Let s be w(-9). Solve 0 = h + 7*v - s*v + 18, -h + 5*v = -18 for h.
-2
Let n(x) = -4*x**2 + 26*x + 17. Let i be n(7). Solve -f + l = 1, -3*f + 6*l - 7*l - i = 0 for f.
-1
Let a be 6 + 2 + (-4)/2. Let j(d) = 0*d - a*d**3 - d**2 + 5*d + 5*d**3 - 4*d**2 + 1. Let m be j(-6). Solve -v + s - m = 0, -3*s + s + 16 = -3*v for v.
-2
Let y(u) = -u**2 - 5*u - 4. Let b be y(-4). Solve -3*p = 4*n - 6*p - 35, b = n + p for n.
5
Let b(m) = m - 3. Let g = 22 - 13. Let n be b(g). Let s be (-3)/12*-21 - 5/20. Solve -3*i = t - 6, 0 = -s*t - 0*i - 3*i - n for t.
-3
Let b(i) be the first derivative of -i**4/4 - 8*i**3/3 - 4*i**2 - 2*i - 5. Let h be b(-7). Solve -3*s = h*m + 1, -m - 2*s + 7*s = 17 for m.
-2
Let j(p) = -p + 12. Let f be j(0). Let u = f + -36. Let m be (u/28)/((-1)/7). Solve -4*k - 4*h - m = -2*k, -2*h + 3 = -5*k for k.
-1
Let f = 7 - 4. Suppose 2*i - 9 = -0*i + v, 5 = i - v. Suppose -5*z + 20 = -i*z. Solve 5*r + f*x = -z, -x - 4 - 3 = 2*r for r.
-1
Let j be (-4)/14 - 26/(-91). Let y be j/(-4*4/8). Solve 0*i - 4*i + 3*z + 17 = y, 4*z = -12 for i.
2
Let z be (-1)/(-1 + 4/8). Solve -15 = -z*b - 3*b, -y - 5*b = -12 for y.
-3
Let s(h) = -h**3 + 6*h**2 - 13*h + 8. Let d be s(-6). Let b be ((-1)/(-4))/(-1) + d/56. Solve 3*l = -5*y + l - 9, l - b = 2*y for y.
-3
Let x(g) = g**3 + 6*g**2 - 4*g - 19. Let a be x(-6). Solve 0 = 2*q - a*b + 19, -5*b = -q - 12 - 10 for q.
3
Let l(c) = -2*c**3 - 29*c**2 - 14*c + 3. Let n be l(-14). Solve 15 + 8 = -4*i - 5*z, -n*z = -3*i + 3 for i.
-2
Suppose 34*d = 37*d + 285. Let f = -91 - d. Solve w + 3 = -0*w - 2*r, f*r + 3 = -3*w for w.
3
Suppose 0 = -4*v + 106 + 38. Let j = v - 33. Solve -4*k + 18 = -4*b + 5*b, -j*b = 3*k - 18 for b.
2
Let g(a) = 5*a - 49. Let u be g(7). Let j be (-8)/u*651/62. Solve 3*b + 2*w + j = 0, 3*b - 2*w - 3 = -w for b.
0
Let n(h) = -h**2 - 6*h + 21. Let g be n(-9). Let d = 18 + g. Let x be ((-42)/d)/(