3*x - 22 = x for v.
1
Let g(l) = -5*l - 5. Let y be g(-2). Let u = 22 - -3. Let o = 11 + -8. Solve u = y*t, 0 = 4*r - o*t + 2*t + 17 for r.
-3
Suppose 2*m + 23 = 3*f, -f = 2*f + 5*m - 16. Let o = f + -2. Solve 0 = o*j + 3*a - 24, -j + 4*j = -2*a + 15 for j.
3
Let c = 40 + -35. Solve -c*z + 2*z - 2*h - 2 = 0, -3*h + 15 = 0 for z.
-4
Let h(y) = -y**2 + y + 13. Let c be h(0). Suppose c = n - 7. Suppose -5*a = -25, -9 = 3*v - 2*a + 1. Solve v + 11 = 3*x + 5*k, -5*k + n = 0 for x.
-3
Suppose -2*d + 14 = 4*j, 0 = 4*j - 0*d + 3*d - 17. Solve 0 = 5*m + c - 5*c + 36, -20 = 3*m - j*c for m.
-4
Suppose 4*v + 5*i - 158 = 36, 0 = 3*i - 6. Let j = v + -24. Solve 3*b - 12 = -4*y + b, -2*y = 5*b - j for y.
1
Suppose 0 = 4*l + 17 - 57. Let p = 3 - 0. Suppose -2*q + l = p*b, -3*q + 12 = 4*b + q. Solve -4 = x - 5*x + 4*d, -b*d = -2*x + 6 for x.
-1
Suppose -5*u - 28 = 17. Let y = 17 + u. Let p be (15/5)/(6/y). Solve 11 = 5*i - z, z - p*z + 9 = -i for i.
3
Let g(i) = 5*i**2 - 5 - 4*i**2 - 4 + 8*i - 3*i. Let y be g(-7). Solve 3*t + y = -2*a, 5*t + a - 2*a = 9 for t.
1
Let q = -17 - -20. Solve 4*p + 3*n - q = -2*n, 2*n - 15 = 3*p for p.
-3
Suppose 2*r = -0*r - m + 2, -5*m = r - 1. Let a be 9/2 + r/(-2). Suppose -2*k - a + 14 = 0. Solve -5*b - 10 = 2*d - b, -4*d - k*b - 8 = 0 for d.
3
Let v be (8/(-10))/((-6)/45). Solve -4*t + a = 9, v = 3*t - 2*t - 3*a for t.
-3
Suppose -4*f = f - 50. Suppose f*v = 5*v. Let q(x) = -x + 5. Let t be q(v). Solve -2*r - 4 = -y + 2*r, -t*r - 6 = -y for y.
-4
Suppose 2*v - 4*n = -2*n - 8, 5*v - 8 = -2*n. Solve -z - 2*p - 10 = 0, v = -p - 0*p - 3 for z.
-4
Let f(p) be the second derivative of -p**3/2 - 2*p**2 + 4*p. Let z be f(-3). Solve 3*g + 4*n + 8 = 0, -2*n + 6 = -z*n for g.
0
Suppose -7*g = -5*g - 22. Let s = -12 + 20. Suppose 2*j - s = -0*j. Solve j*b = 3*q - 17, -3*b - 5*q + g = -b for b.
-2
Suppose 2*g = -3*g - 20, 0 = 5*n + 3*g + 22. Let y(w) = w**2 + 2*w + 2. Let c be y(n). Solve -5*k + c*q = 19, 3*q - 18 = -0*k + 4*k for k.
-3
Let b be 10/4 + 3/2. Let k be (-2)/((-4)/10) - -1. Let p be 1/(-3) + 32/k. Solve p*a = b*r - 20, 5*r + a - 25 = -4*a for r.
5
Let u be 3*3/27*(-1 + 1). Solve -4*r + 2*d + u + 10 = 0, 3*r + 2*d + 10 = 0 for r.
0
Suppose 4*g = -2*r - 18, -3*r = 5*g - r + 24. Let n be 4/g*(-18)/(-2). Let y be (-2)/(3*n/63). Solve -2*u + 2*k - y = k, 0 = -3*u - 2*k + 7 for u.
-1
Let i(g) = -5*g - 55. Let s be i(-11). Solve 3*h = -5*y - 4 + 20, s = 5*y + 2*h - 14 for y.
2
Let m(c) = -c - 1. Let h(s) = 3*s**2 - 9*s - 3. Let g(q) = h(q) - 5*m(q). Let z be g(2). Solve 3*b - z = -3*l, 4*b - 5*l = -b - 30 for b.
-2
Let h(x) = -x - 2. Let z be h(-8). Solve z*o - o + m = -19, 35 = -5*o - 5*m for o.
-3
Suppose j + c = 10, 1 + 2 = 3*c. Solve p + 2*l + j + 0 = 0, -3*p + 2*l + 5 = 0 for p.
-1
Let z = 10 - 8. Let m be 1*(0 - (0 + -2)). Let a be 0*((-8)/(-6))/4. Solve a = z*j + 2, 0 = m*x + 4*j + j + 11 for x.
-3
Let h = 5 + -9. Let k = 2 + h. Let i(q) = -q**3 - 2*q**2 - 3*q - 2. Let w be i(k). Solve -19 = -3*d - x, 5*x + 11 = 3*d + w*x for d.
5
Suppose 0 = -y - 3*v - 5, 2*y + 5*v + 4 = -1. Let q = 13 - y. Solve -s - q*n - 3 = 0, -s = 3*s + 3*n + 3 for s.
0
Let w = 198 - 196. Solve -k = 3*k + w*a, 2*a = -5*k - 2 for k.
-2
Let u = -18 + 23. Solve 4*i - 2 = -3*r - 0, -u*i + 2*r = -14 for i.
2
Let b(a) = 3*a - 2. Let z be b(2). Solve 2*f - j + 7 = 4*f, 0 = 4*j + z for f.
4
Suppose -t = 4*j - 3, -5*t - 19 = -2*j - 2*t. Suppose 3*p - 59 = 2*l - 16, 4*l + 53 = 3*p. Solve -j*h - 12 = 2*c, -3*h - 3 = c + p for h.
-4
Suppose 0 = -4*v - 11 + 55. Let o = 6 + v. Suppose 0 = -h + 2*h - o. Solve 2*q + 3*p - h = 3*q, 3*q = 4*p - 26 for q.
-2
Suppose 0 = 4*d - d - 9. Let m = 9 + -5. Solve -m*c = -f + 14, f - 5*c - 24 = d*f for f.
-2
Let a(r) = -r**2 + 10*r + 13. Let h be a(11). Suppose i - 12 = -h*i. Solve 5*w = 4*j - 24, i*w + 7 = 3*j - 12 for j.
1
Let w = 4 - 1. Let n = 120 - 116. Solve -3*z + 0*z - 3 = n*l, -4*z = -w*l - 21 for l.
-3
Suppose 11 = -2*n + 47. Suppose n = s + s. Suppose 5*x - 3 = -4*p + 4, 4*p - s = -3*x. Solve 4*k + 2*d + 2*d + 12 = 0, p*k = 5*d + 15 for k.
0
Let f(p) = 5*p**3 - p**2 - 1. Let t be f(1). Solve -4*m = -m + 2*h, 0 = 2*m - t*h for m.
0
Let a = 0 - 0. Let j be 1 - (-6)/(a - -2). Solve -32 = j*r + 4*k, -5*r + 3*k - 4 = -k for r.
-4
Let j = 20 + -10. Let c be 24/(-10) + 4/j. Let p be -2*c/(-8)*0. Solve p = -v + 2, 3*v = 5*d - 4 for d.
2
Let w = -5 + 6. Let r = w + 0. Let g be -1 + r*18/3. Solve g*i = -5*d + i - 13, -5*i = 3*d + 13 for d.
-1
Let h be 1 - 2/(-3)*(-9)/(-6). Solve q - w = -h + 1, 3*q = 4*w - 3 for q.
-1
Let d(j) = -j**3 - 5*j**2 - 6*j - 4. Suppose -2*s = 6, 0 = -2*x + 4*x + 3*s + 17. Let b be d(x). Solve 4*q + 2*v = 0, 0*q - b*v - 3 = 5*q for q.
1
Suppose 0 = 3*r - 3 - 3. Suppose 5*j - 10 = -r*g - 31, -g - 3 = j. Solve 3*c + 2*z + 4 = 0, 0 = 5*c + g*z + z + 8 for c.
-4
Let j = 47 + -42. Solve 0*y - 4*o + 3 = -y, 3*y + 9 = j*o for y.
-3
Let z be -1 - -2*6/12. Suppose 5*j = 2*b, j - 6*j - 4*b + 30 = 0. Solve o - j*k + 3 = 4*o, z = o - 3*k - 12 for o.
3
Let v(w) be the third derivative of -w**5/60 - 5*w**4/8 + w**3/6 - 7*w**2. Let u be v(-14). Solve 7 = p - 5*i, 3*p = -2*p + 5*i + u for p.
2
Let y be (-28)/49 + (-8)/(-14). Solve -2*t + 2 = -2*b - 2, -3*t + 5*b + 4 = y for t.
3
Let q(w) = w**2 + 2*w + 3. Let m be q(-3). Suppose 4*y = -2 + m. Suppose 5*x - 18 = -3*c, 4*x - 3*c = c + 8. Solve n - 3 - y = x*u, -2 = -n + u for n.
1
Let h be 1*((-20)/(-15))/(4/9). Solve -2*f + h*k + 25 = -2*k, -2*f = 3*k + 15 for f.
0
Let u be ((-10)/6)/(1/(-3)). Solve 3*t + j = -17, -t + j + 4*j + u = 0 for t.
-5
Let h(x) = -x + 1. Let j be h(-3). Suppose -s = -3*m - j - 11, -3*s + 2*m + 10 = 0. Suppose 24 = -s*l + 3*l. Solve -3*i - l = i, -3*r = 3*i + 21 for r.
-5
Let q(m) = m + 4. Let b be q(1). Solve 0 = -b*o - 5*n, -3*o + 0*o - 24 = -5*n for o.
-3
Let l(x) = -2*x - 1. Let a be l(-3). Solve 0 = j, -4*z + 4 - 12 = -a*j for z.
-2
Let c be (-3)/(-15) - (-66)/(-5). Let q = c - -15. Solve 4*b - b + 12 = -3*n, n - q*b - 11 = 0 for n.
1
Suppose -f = 5*g - 4*f - 6, -4*g + 5*f = 3. Solve 12 = g*q + 5*d, 0 = -2*q - 2*d + d + 1 for q.
-1
Suppose 2*n = -5*u + 11 + 3, -8 = -5*u + n. Solve -7 = -z + u*k, -3*k + k - 16 = 2*z for z.
-3
Let w(j) = -j**3 - 5*j**2 + 3*j + 7. Let x be w(-5). Let b = 5 + x. Let d be 4/b*(-3)/2. Solve -d*f + 5*f = 2*k, -3*f + 5*k = 9 for f.
2
Let i(l) = -l**3 + 13*l**2 + l - 10. Let q be i(13). Solve -q*n = -5*b - 2, 0 = -2*n + n + 3*b - 2 for n.
4
Suppose 0 = 4*c - 4*r - 28, -4*r + 2 = -2*c + 3*c. Suppose -38 + c = -4*f. Solve -2*q + 3*v = -1, 3*q - f*v = -3*v for q.
5
Suppose -4*p = -6*p + 36. Suppose 0 = 2*j + j - p. Suppose j = 5*k - 3*k. Solve -o = w, -k*w + w + 3*o = 0 for w.
0
Let a = 6 + -3. Let j be (-2 + 1)/(a/(-6)). Solve 15 = -5*s, 0*x - s = -j*x + 13 for x.
5
Suppose -j = 5*i - 102, -4*j - 6 = -2*j. Suppose 0*k - 4*k + 3*l = -i, -20 = -4*l. Solve 4*g - k = 3*z, -3*z + 3*g = -2*g + 9 for z.
-3
Let k be (-3 + 8/6)*-3. Let q(b) = -b**2 - 6*b - 13. Let w be q(-9). Let p be (-2)/9 + w/(-18). Solve 0 = -p*j - 6, 3*j + 48 = k*l + 14 for l.
5
Let u = 3 + 1. Suppose 0 = u*j - 3*q - 33 + 2, -3*q - 27 = -3*j. Let i(c) = 2*c**2 - 4*c - 5. Let t be i(j). Solve 2*k - 12 = -4*f, -4*k + 2*k - 3*f = -t for k.
4
Let x(i) = i**3 - 6*i**2 - i + 6. Let k = 0 - -6. Let d be x(k). Solve -3*w = -5*s + 21, d*s = 5*s + w - 13 for s.
3
Let v(t) = 2*t - 5*t + 0*t. Let h be v(-1). Suppose -h*d = -3*z + 6, 4*d + 0*d = 2*z. Solve d*g + 7 = -5*s - 5, s = -3*g - 5 for s.
-2
Let b(c) = -2*c + 11. Let u be b(10). Let y = 12 + u. Suppose 0 = j + g - 6, 5*j + 0*g - y*g + 2 = 0. Solve -5*r - i + 18 = 0, -2*r - i = -j - 7 for r.
3
Suppose 0 = -12*m + 28 + 20. Solve j - 7 = a, m*a - 3*j + j + 22 = 0 for a.
-4
Suppose -4*l = -12, x - 2 = l - 1. Suppose -3*q - 2 = -x*q. Solve 3*c = -u - 8, -q*c = 2*c + 12 for u.
1
Suppose 3*r + 2*b - 9 = 0, 9*r - 4*r - 34 = 3*b. Solve 3*x + 0*x - r = l, 2*x + 5*l = 26 for x.
3
Suppose -4*s - 4*m = -0*s + 8, 5*s = 4*m + 26. Solve 0*a + i - 20 = -5*a, -s*a + 5*i + 8 = 0 for a.
4
Let l(c) = -c**2 + 5*c + 2. Let d(o) = -3*o - 1. Let g be d(-2). Let x be l(g). Solve 4*k = -4*j + k + 5, -7 = j - x*k for j.
-1
Let w be -1 + (-15)/(-5 + 0). Solve -4*r = -0*r + 4*z + 8, 0 = -w*z + 6 for r.
-5
Suppose f = 7 - 2. Let c be (4 -