 - 5*r + 37 - 7 = 0 for v.
5
Suppose -4*t - 806 + 74 = 0. Let a be 2/(-10) + t/(-15). Let n = 5 - 0. Solve 3*i + a = n*b - i, -5*i = 4*b - 26 for b.
4
Let a be 7/(-21)*10*(-6)/10. Solve a = -3*b - c + 19, -b + 4*c = 3 for b.
5
Let z(v) = -2*v**2 + 10*v + 1. Let w be z(7). Let f be (4/(-3))/(18/w). Solve f*m + 10 = -2*t, -3*t - t - 13 = -3*m for m.
-1
Let p(s) = s + 3. Let i be p(-5). Suppose -3*z = 3*k + 9, -2*z + 3*k + 10 = -6*z. Let j be i - (0 + z) - -13. Solve -4*b - f = j, 14 - 2 = -b + 2*f for b.
-4
Suppose 4 = -2*r - 0*r. Let t be (r - -4) + -9*1. Let q = 10 + t. Solve a + h - 11 + 5 = 0, 0 = -4*a - q*h + 23 for a.
5
Suppose 5*d + 0*d = 45. Solve 0 = v - y - 2*y - d, -3*v + 5*y = -19 for v.
3
Suppose 4*z = -0*z + a + 14, -a + 6 = z. Suppose -3*f - 5 = -z*f. Let j be 0*(-2 + f/3). Solve j*n + n = -4*h + 20, -40 = -5*h - 5*n for h.
4
Suppose -m + 3*c = m - 9, m = -2*c + 1. Suppose -5*r + 24 - 101 = m*g, 3*g = -12. Let w = r + 18. Solve -w*x - 19 = -v + 5*v, -5*x = -v + 14 for v.
-1
Suppose -u - 2 = -6. Solve -5*p - 2*r = u - 5, -5*p - 8 = -r for p.
-1
Let s = 205 - 113. Suppose 3*x - 7*x = -s. Solve -3*z + 4*y - 2 - x = 0, -3*y + 24 = -4*z for z.
-3
Suppose 4*c = 4*f - 4, -f + 2 = -4*c + 1. Let q be (-5 - -2)/(-6)*6. Solve 10 = 5*n, n - 9 + f = q*i for i.
-2
Suppose -7*y = -3*y - 140. Solve 0*i = i + 3, -5*p - 5*i - y = 0 for p.
-4
Suppose -6*i = 2*i - 24. Solve -5*a + i*q = 5, a + 1 = -3*q + q for a.
-1
Let d(i) = -15*i**2 + 2*i + 11. Let l(c) = 7*c**2 - c - 5. Let u(g) = 6*d(g) + 13*l(g). Let j be u(2). Solve 2*h + j*w = -h - 27, -h = 2*w + 14 for h.
-4
Let c be 56/(-42)*18/(-8). Solve c*i + 0*i + 24 = 5*k, 4*i - 3*k = -21 for i.
-3
Let h(g) = g**2 - 7*g + 2. Let t be h(7). Let c(v) = -v**3 + 2*v**2 + v + 1. Let x be c(t). Solve 0 = 2*j - 2, 5*j + 4 = x*u - 0*u for u.
3
Suppose -3*q - 3 = 3*l - 18, l = -3*q + 11. Suppose -2*v - 2*v + 12 = 0. Suppose -s + v = -q. Solve s = -3*t + 3*x, t - 2*t - 3*x = 6 for t.
-3
Let j(i) = -i**2 - 8*i + 11. Let h be j(-9). Solve -3*t = -z + 11, 2 = t + h*z + 1 for t.
-3
Suppose 4*s + 3*j = 25, 0 = -3*s + 8*s - j - 17. Suppose -3*d + 108 = s*i, 3*d - 3*i - 58 = 29. Solve 8 = -c + 4*c + m, 4*m = 4*c - d for c.
4
Suppose 24 - 6 = -3*k. Let q = -1 - -3. Let v be 3/(k/(-4)) + q. Solve -6*i - 4*u + 4 = -3*i, -v*i + 2*u = 2 for i.
0
Let l = 19 - -26. Suppose -l = -4*o - 9. Solve 0 = a - 2*i + 6, 0 = 2*a - 0*a + 3*i - o for a.
0
Suppose -2 = -3*k - k - 2*n, 0 = k + 4*n + 17. Solve 3*a - 11 = b, 0*b - 2*b - k*a = -14 for b.
1
Suppose 0 = -3*j - 4*u + 29, -53 = -3*j - 5*u - 19. Suppose -6*o = -4*o. Solve o = 2*w - j*v + 12, 4*v - 12 = -3*w + v for w.
0
Let p be (30/(-4))/(6/(-8)). Let i be (-4)/(-10) - (-16)/p. Suppose -2*x + 4 = -0*x. Solve -s - s = -i*u + 2, 3*u + x*s = 8 for u.
2
Suppose -10*p + 12*p - 8 = 0. Solve -4*u - 4 = 0, -5*w + 5*u = -11 - p for w.
2
Suppose 134 = -5*h + 24. Let c = h - -53. Solve -3*a = 5*k - c, 5*k + 3*a - 8*a = 15 for k.
5
Let c(x) = -x**2 - 7*x - 4. Let j be c(-6). Solve 5*t = -n - 14, -j*t - t = 6 for n.
-4
Let g = -5 + 15. Let w(q) = 2*q - 1. Let m be w(-3). Let v = m + g. Solve -5*u + 7 = v*l - 4, 3*l - u = 5 for l.
2
Let k = -3 + 7. Suppose 0 = -k*j + 20 - 4. Suppose 4*b - j = 2*b. Solve -5*v - 11 = -b*r, 4*v + 5*r - 13 = -2 for v.
-1
Let h be (-2)/3*(-20 - -2). Let n(c) = -c**2 - 3*c + 13. Let s be n(-5). Suppose -3 = -s*j + h. Solve -5*o + 2*o - j = m, -2*m + 17 = -3*o for m.
4
Let n = 122 - 118. Solve 5*c + 2*l + 8 = 0, -2*c - 5*l - 3 = -n for c.
-2
Let n = 26 + -22. Solve -2*t + 0*t + n = -3*g, 5*g - 10 = 0 for t.
5
Let h be -3*-1*(0 - -1). Suppose 25 = -5*x, h*m - 5 + 18 = -5*x. Solve -m*a = 0, -2*u - 3*u - 2*a - 20 = 0 for u.
-4
Let y be (2 - 2)/1 - 0. Solve d - 3 = 2*m - y, -2*d = -5*m - 6 for d.
3
Let l(n) = 3*n**2 + 7*n - 1. Let c(y) = 3*y**2 + 6*y - 1. Let v(q) = 6*c(q) - 5*l(q). Let w be v(1). Solve -t + 3*u = w*t - 10, 4*u + 8 = 4*t for t.
4
Suppose -2 = 3*f - 23. Suppose 3*h + 0 = 2*x - f, 2*x + 2*h = 12. Solve n + 12 = 5*o, -x*n - 3 - 3 = 2*o for o.
2
Let y(c) = -76*c + 1. Let x be y(-2). Suppose -k = 1, 5*q - 19 - x = 2*k. Solve d + 17 + 0 = -4*j, -5*j = -3*d + q for d.
3
Suppose 0 = 5*p - 64 + 54. Solve -5*f + 7 = -p*f - s, 0 = -2*f - 2*s - 6 for f.
1
Let s = -116 - -121. Let u be 3 - (-1)/2*0. Solve -u*k = 2*a - 5, a + s = 2*k + 2*a for k.
5
Let k = 11 + -6. Solve 0 = 5*d - k, -5*d + 18 - 3 = 2*m for m.
5
Suppose 4*y + 2*u = 12, -2*y = 6*u - 2*u - 6. Let f = y - 1. Solve -5*o + h + 8 = -f*h, -3*h = 4*o - 1 for o.
1
Let r = -41 + 67. Let k = r + -15. Suppose -4 = -g - 1. Solve 0 = -6*p + p + g*a + 1, -5*a = p + k for p.
-1
Let w = -5 + 7. Let t be (-1 - 0)/((-1)/w). Let k(i) = 3*i. Let l be k(2). Solve -4*f + 9 = 3*o, t*f = -3*o + o + l for o.
3
Suppose 4*u - 2*z + 6 = 0, 2*u + 8*z - 12 = 4*z. Suppose u = 2*t - 4 - 14. Solve -5*q = h - t - 9, 0 = -3*h - q + 12 for h.
3
Suppose -2*b = 21 - 79. Suppose -g = 2*r - 0*r + 1, -5*g = r - 22. Solve -d + 1 + b = 5*y, 5*y - 4*d = g for y.
5
Let w be (-2 + -4)/3 + 3. Solve w = 5*k + m - 3, -3 = k + 4*m for k.
1
Let p be (-160)/(-88) + (-2)/(-11). Solve -x - p*x = -j + 6, -2*j + 4 = -2*x for j.
0
Suppose -m + 2 = -2. Let r = 23 - 5. Let c = -7 + r. Solve -c = 5*x - m*b + 18, -5*b + 30 = -5*x for x.
-5
Suppose 0 = 12*x - 10*x. Suppose -4*i - 50 = -5*m, m + m - 20 = 4*i. Let p be -2 + m + 2/1. Solve -3*c = 2*n - 14, c - 2*c - 2*n + p = x for c.
2
Let p = -16 + 16. Solve p = 5*u - s + 10, -u - s = 3*u - 1 for u.
-1
Suppose 6*m - 13 = 11. Solve 2*i - 5*i - 10 = 2*u, -15 = 3*u - m*i for u.
-5
Let n be (-21)/(-14) + 58/4. Let y(z) = z**2 + z + 2. Let i be y(-2). Solve 0 = -6*o + o, -i*p = -3*o + n for p.
-4
Suppose -b + 16 = q + 1, -60 = -4*b - 5*q. Solve -10 = -2*d, v + 4*d + b - 39 = 0 for v.
4
Let w be (4 - -3)*(0 - -1). Suppose -2*m + 3*d = 8, -2*d + 15 = 5*m - 3. Suppose -3*x = q - 5*q, -5*x = -m*q - 14. Solve 2*u + q*u = n + w, 0 = u - n + 1 for u.
2
Let g = -42 - -46. Solve 4*z - z + l = 14, g*l = 5*z - 29 for z.
5
Suppose -3*x + 2*x = 4*w - 13, 10 = -5*w + 4*x. Solve 20 = -4*z + 2*m - w, -z - 5*m = 0 for z.
-5
Suppose 4*c + 3*m + 10 = 3*c, 0 = 5*c + m + 8. Let v be (-9)/(3/(9/c)). Solve 3*o + 2*o + 2*p + 15 = 0, 2*o = -5*p - v for o.
-1
Let l(r) = r**2 + 5*r + 6. Let c be l(-4). Let b be (-12)/10*25/(-30)*3. Solve -c*f = 5*w - 28, -b*w + 5 = -f - 3 for w.
4
Let z(q) = q + 11. Suppose -5*h + 3*g - 67 = 0, 5*g = -2*h + h + 9. Let o be z(h). Solve 0*p - 3*p - 3*u - 27 = o, -5*p + 5 = -5*u for p.
-4
Let m be (-132)/(-60) - (-1)/(-5). Solve -4*d = -m*o + 4, -3*d + 0*o - 9 = -3*o for d.
1
Let d be 2*((-2)/(-1) + 2/1). Solve -3*h - 2*h - v = d, -4*v + 8 = 0 for h.
-2
Let g(r) = r + 3. Let d be g(-3). Suppose -x = 2*h - 8, d*h - 3*h + 13 = 2*x. Solve -8 = -4*m + 4*f, h*m + m + 32 = -4*f for m.
-3
Let k(h) = h**3 + 5*h**2 + 4. Let w be k(-5). Let x be (-21)/(-49) + 4/7. Solve t + w + x = 4*f, 6 = 2*t for f.
2
Let v be 37/7 + 2/(-7). Let d = v - 2. Suppose -2*i = -y + 24 - 73, -83 = -4*i - d*y. Solve s + 7 = -2*a, 0*a - 4*a + s - i = 0 for a.
-5
Let u(w) = 2*w**2 - 6*w + 5. Let v be u(4). Let b = 21 - v. Solve 0 = 4*x - 2*j - b, -4*j = -j - 12 for x.
4
Suppose -5 = 3*a - 4*a. Suppose 0 = a*v - 2*v. Solve 3*o = -3*i + i + 21, v = -5*o - 5*i + 40 for o.
5
Let q(w) = 2*w**2 + 6*w. Let m be q(-4). Let s(d) = 11*d + 9. Let u be s(-3). Let k be 38/m + (-6)/u. Solve k*a - 3*v = 2*v, 20 = a + 3*v for a.
5
Let r(m) = -m - 11. Let h be r(-5). Let y be (-1)/h - (-17)/6. Suppose -2*q = -i - 3*i - 26, -3*i = 5*q - 26. Solve 2*u - k = 7, -5*u + q = -5*k - y for u.
5
Let z(q) = 0*q**2 - 4*q**2 + 4*q - q**2 + q**3. Let v be z(5). Solve 5*f = 25, -2*l - f + v = f for l.
5
Let r = -4 - -4. Suppose 5*x = r, 4*k - 4*x - 44 = 64. Solve l - 6 = -t + 3*l, -3*t = 3*l + k for t.
-4
Let v(d) = -3*d**3 - 2*d - 3. Let k be v(-1). Solve 0 = 2*s + 2*h + k, 4*h + 0 + 4 = 0 for s.
0
Suppose 3 = -c + 23. Solve 0 = -2*r + r - 4*m - c, -3*m = 5*r + 32 for r.
-4
Suppose -3*f = -0*f - 5*i - 56, 3*f - 28 = -2*i. Solve 0 = 4*y - 2*y - 4*a + f, 2*y + 2*a + 6 = 0 for y.
-4
Suppose 4*o + 4*x = 32, -12 = -3*x + 3. Suppose -4*b = -6 - 18. Suppose 5*m - 3*m - b = 0. Solve 3*l = 2*j + j - m, o*l = -2*j - 8 for j.
-1
Let d(o) be the first derivative of -o**4/4 + 7*o**3/3 + 