-2*v = p + v - i, 2*p = 3*v - 5 for p.
-1
Let m(f) = 2*f - 12. Let b be m(13). Suppose -b + 2 = -3*o. Solve -4*g - 2*p = 2*p + 24, -g + 19 = -o*p for g.
-1
Let d be (126/105)/((-4)/(-10)). Solve 3*v - 20 + 8 = -g, -11 = -4*v - d*g for v.
5
Suppose -4*g + 12 = -0*g. Solve -2*j - g*q - 1 = -2*q, -4*q = 3*j + 9 for j.
1
Let i(u) = 2*u**3 - 2*u**2 - 4*u + 4. Let a be i(2). Solve s - 8 = 3*g, -4*s + 0*s = a*g + 32 for g.
-4
Let l = -27 + 38. Solve -p = -5*a - l - 4, 5*a + 25 = -p for p.
-5
Let k = 6 - 4. Suppose -4*y = -14 + 2. Suppose -y = -4*h + 1. Solve 0*f + 3 = 5*b + 3*f, -f + h = -k*b for b.
0
Let x = -1 - 1. Let w = x - 3. Let l = 0 - w. Solve 0 = 2*a + l*u + 14 + 2, u + 17 = -5*a for a.
-3
Let u be 6/(-12)*-4*2. Solve 3*l - 9 = u*j, 5*j - 4*l = -0*j - 12 for j.
0
Let d(f) = f**3 - 3*f**2 - f - 10. Let k be d(5). Suppose 0 = -36*w + k*w + 4. Solve 0 = -5*h - 10, -w*h = 3*c - 3*h - 7 for c.
3
Suppose 3*f - 2*a - 9 = 0, -2*a = -3*f - 5*a + 9. Suppose -3*m = 4*c - 2*c, 0 = -5*c. Solve -f*j + 5*h - 4 = -24, h + 1 = m for j.
5
Suppose -2*d = 3*d - 15. Let b(v) = v**3 - 3*v**2 + v + 2. Let o be b(d). Solve 4*h = -0*h + 4*y - 8, -o*h - 4*y = -17 for h.
1
Let n be ((-4)/(-6))/(4/18). Solve -n*j + o + 17 = 0, -5*j - 3*o = o for j.
4
Let t be (-116)/(-6) - 10/(-15). Let v be t/(-12)*3/(-1). Suppose 8 + 1 = 3*w. Solve -w*z = -v*b + 22, 3 = z + 3*b - 13 for z.
1
Suppose -3*r + 3*i = -14 + 35, 3*r - i = -23. Let y = 4 - 8. Let p be (-7)/y + (-2)/r. Solve -w = j + p, -2*j = -2*w - 3*w + 11 for j.
-3
Let q be (-10)/4*(-2 - 0). Solve -q*z + v = -23, -4*z = -2*z - v - 11 for z.
4
Suppose -3*t - 1 = 17. Let l = t - -9. Suppose -v = -3*h - 3*v - 2, -h = -v - 1. Solve h = -4*o - 12, y - 19 = 3*y + l*o for y.
-5
Suppose 0 = 4*f - 0*d - 4*d - 12, -4*d - 12 = 4*f. Solve 2*z - 5 - 1 = 0, c - 4*z + 15 = f for c.
-3
Let v be 8/1*-1*(-55)/22. Solve a = -3*b + 8, -4*a + 0*b = -b + v for a.
-4
Suppose 3*c - 4 - 32 = 0. Solve -2*l = 2*o + 8 + 2, 4*l = -c for o.
-2
Let t = 3 + 3. Suppose 5*o = -j + 62, 0 = -6*o + o + j + 68. Let b be (-2)/(-5) - o/(-5). Solve -2*f = -3*a - t - 0, -4*f - 24 = b*a for a.
-4
Let k(x) = 2*x**2 + 1. Let y be k(-1). Solve 5*q + 2*s + 22 = 0, -3*q - 16 = y*s + s for q.
-4
Let a(g) = -4*g**3 + 2*g - 1. Let t = -7 + 5. Let z be a(t). Solve -q - 4*w - 16 = 0, -2*w - w = -3*q + z for q.
4
Let d(x) = -3*x + 98. Let t be d(31). Suppose -2*a = -3*a. Solve a = -4*v + 2*l + t + 5, 4*v - 12 = 4*l for v.
2
Suppose -1 = -u + 2. Solve -w = u*w - 2*i - 10, -2*w = i - 3 for w.
2
Let i(w) = 2*w**2 + 1. Let p be i(1). Let t = p - 3. Let y = 4 + t. Solve 2*x = 5*z + 9 - 24, -2*z - y*x = -30 for z.
5
Suppose -5*w = -6*w + 16. Solve -16 = 5*q - 2*d, -2*d = 4*q - q + w for q.
-4
Let o = 20 - 20. Solve 0 = 5*z - o*v - 2*v - 20, -3*v - 5 = 5*z for z.
2
Suppose -5*d + 5*p = 25, -5*d - 4*p + 11 = -0*d. Let q = 2 + d. Let a be q/4 + 102/8. Solve -3*c = -0*j - 4*j + a, -1 = j - 5*c for j.
4
Let x(j) = j**2 + 8*j - 4. Let w be x(-8). Let k be 0/(-2 - 1 - w). Suppose k = 5*c + u - 13, 0*c - 5*c - 4*u + 7 = 0. Solve -4*s - s - 29 = -c*v, -4 = s for v.
3
Let r be 3/24 + (-30)/(-16). Solve 3*x - 5*l = -19, r*x + 2*l - 1 + 3 = 0 for x.
-3
Suppose -5*x - 3*p - 9 = -3*x, 5*x = -3*p - 9. Solve x = 2*n + 2*n + 4, 5 = 4*t + 3*n for t.
2
Let j = 16 - 32. Let s = -12 - j. Solve -4*q - 11 = -l, l + 16 = -s*q - q for l.
-1
Suppose -47 = -w - w - 5*c, c = -3*w + 38. Suppose 3*h - w = 7. Solve -5*v = -2*s + 13, -2*s - 5*v = -h + 23 for s.
-1
Let g(p) = p**3 + 2*p**2 - p. Let y be g(0). Solve u = t - y*u, 0 = -3*t - 4*u - 21 for t.
-3
Suppose 0 = -5*o + 5 - 15. Let j(c) = -6*c - 1. Let x be j(o). Let w = x - 6. Solve 4*f - 4*k - 20 = 0, 16 - w = 4*f - k for f.
2
Let m(i) be the second derivative of i**5/20 + i**4/4 + i**3/3 + i**2 + 2*i. Let h be m(-2). Solve k - 2*w = 6*k - 23, h*w + 27 = 5*k for k.
5
Suppose -5*a = -4*a. Suppose 0*y = -5*y - o - 44, a = -3*o - 12. Let t(r) = r + 8. Let c be t(y). Solve 5*w - z - 22 = c, -3 = 2*z - 3*z for w.
5
Suppose q - 3*q = 5*l + 5, 0 = 4*l + 4. Let x(g) = -g + 2. Let v be x(0). Solve -2*w - v*z = 0, -4*z = -q*w + w for w.
0
Let u(t) = 3*t**3 - 1. Suppose 8*q - 3*q - 18 = 2*i, -3*q + 12 = 0. Let z be u(i). Solve -d = v + d + 6, -4*v - z*d + 6 = 0 for v.
4
Suppose -3*t - t + 24 = 0. Let c be 10/4*(t + -4). Solve 0*b - 3*g = -b + 9, 15 = -4*b - c*g for b.
0
Let p be 13/(-4) - (-8)/32. Let x be (2 - (-5)/p)*9. Solve x*s + v = 5, 3*v = 3*s + 1 - 10 for s.
2
Suppose 23 = 4*j - 2*q - q, 2*q = -5*j + 46. Let u = j + -6. Suppose u = -d + 4. Solve a + o + 8 = 0, -d*a - 4*o - 26 = -0*o for a.
-3
Let y be 1/2*(6 + 2). Suppose 2*c - 6 = c. Suppose c = 3*w - 9. Solve w*m + 15 = 4*d, 0 = 2*m + 4*d + y - 26 for m.
1
Suppose 3*v = -5 + 74. Suppose -v + 116 = 3*a. Let j be (-1)/(-5) + (-84)/(-30). Solve -4*k + 5*c = -a, 5*k + 3*c - 8 = j for k.
4
Suppose 22 = -3*d - h + 3*h, -d + 1 = h. Let f be (24/d)/(-3 + 1). Solve -b - f = 2*c - 6*c, -4*b + 20 = 0 for c.
2
Let i(j) = -j**2 + 6*j + 3. Let c be i(5). Let k = -12 - 23. Let v be (-42)/k*(-20)/(-6). Solve x - 2*a - v = a, 0 = -4*a - c for x.
-2
Let a be (-2)/(-1 - 2/(-6)). Solve -3*k - 2*i + 4 = 0, -2*k + a*k - 8 = i for k.
4
Let u = 39 + -35. Solve 5*i + 6 = u*v - 1, -5*v = 10 for i.
-3
Suppose 7*j - 3*j = -80. Let b = 28 + j. Solve -15 = -g + 3*z, -g + 5*z + b = -5*g for g.
3
Let v be (57/15 - 4)*-5. Solve j - x = 0, 5*x = 3*j + 3*x - v for j.
1
Let t = -3 + 6. Suppose -l + 3*w = -12, 2*w + w + 6 = -l. Solve 20 = -t*c - 4*y, -l*y = -c - 0*y + 2 for c.
-4
Let a = -21 + 21. Let r(l) = l - 2. Let z be r(4). Solve -4*g + 4 = -a*t + 2*t, 0 = -3*t - 4*g + z for t.
-2
Let q(i) be the second derivative of -i**3/6 - 3*i**2 + 2*i. Let x be q(-9). Solve -3*o = -x*b - 15, -o + 15 = -2*b - b for o.
0
Let x(k) = k**2 - 10*k + 9. Let j be x(9). Suppose 4 = -2*c - 4*t, j*t + 8 = 5*c + t. Suppose 3*r = 4*r - c. Solve 0*l - r*l - 2*v = -16, 9 = 3*l - 2*v for l.
5
Suppose 2*n - 3 = 1. Let m = -19 - -23. Suppose 5*g = m*g. Solve n*p + 6 = 3*p - 5*k, g = p + k for p.
1
Suppose -3 = -2*d + 6*d + 3*t, 2*d + 3*t + 9 = 0. Suppose -4*u = -d*b + 24 + 10, 2*u = 10. Solve 3*h = -3*s + b, 4*h - 7 = 9 for s.
2
Suppose 5 = -0*o - 5*o. Let w be (-2)/4 + o/2. Let s be 3 + w - 23*-1. Solve -f + 0*f + 10 = -c, 2*c - 3*f + s = 0 for c.
-5
Let d = -39 - -40. Solve 0 = 2*n + 3*w - 2, 2*w - d = -3*n + 7 for n.
4
Let m = -4 + 6. Let h(s) = s**3 - 5*s**2 + s - 2. Let q be h(5). Suppose 0 = -q*o + 5 + 25. Solve 5*j - o = m*j + 5*n, -3*n - 20 = j for j.
-5
Suppose -2*d = -d - 15. Suppose 11*i = d*i. Solve -4*x + 5 = -f - 10, i = 2*x - 6 for f.
-3
Let q = 1 - -4. Solve 2*g = -8, 0 = 2*j - q*j + 3*g + 12 for j.
0
Suppose -2*k - 38 = -0*r - 2*r, 1 = r + 5*k. Solve r = 4*n + g, 2*n = 5*n + 4*g - 25 for n.
3
Let k = -7 + 13. Solve 0 = -4*p - 3*m, -p + k*p = -4*m + 1 for p.
-3
Let h(s) = 7*s + 4. Let c be h(3). Let v(d) = 2*d**3 + 2*d**2 + d - 2. Let g be v(2). Solve 5*l - c = -n, -3*n - l = n - g for n.
5
Let w(u) be the second derivative of -u**3/6 - 3*u**2/2 + u. Let o be w(-9). Suppose 2 - o = -s. Solve -5*t = 2*n - 0*n + 16, 0 = 4*t + s*n + 8 for t.
-4
Let p(a) = -a**2 - 7*a - 7. Let x = -1 - 4. Let l be p(x). Let k = 1 + -1. Solve -3*o + l*h - 7*h + 7 = k, 4*h = -o - 3 for o.
5
Let t(b) = b + 19. Let m be t(-17). Solve -l = -3*q, -2*q - m = -6*q + 2*l for q.
-1
Suppose 3*n + 4*r = -2, 5*n - r - 12 = -0*r. Let f(k) = -k - 13. Let x be f(-16). Solve 0*z - x*o = z + n, -o + 8 = -4*z for z.
-2
Let k be (4/8)/(3/6). Let g(u) = -u**2 + 5*u - 3. Suppose 3*j = 2*j + 3. Let o be g(j). Solve o*b = -k - 8, -13 = -2*z + 3*b for z.
2
Let w(o) = o**2 - 2*o + 5. Let l be w(0). Let t(m) = m**2 - 6*m + 6. Let g be t(5). Solve 3*z + l*i - i - g = 0, -2*i - 17 = 5*z for z.
-5
Suppose 5*h + 5*f = 0, -h - 3*h = -4*f. Solve a + 3 = -3*i, 0 = 2*i + 4*a - h + 2 for i.
-1
Let c be 0/(1/(-3)*-3). Let j be -1 + -1 + (2 - c). Suppose 5*w - w - 100 = j. Solve -2*x - 5*o - 7 + 27 = 0, 5*o = -3*x + w for x.
5
Suppose -3*i + 15 = -6. Let x(r) be the first derivative of 3*r**2/2 + 5*r - 1. Let h be x(i). Solve h = -m + 4*l + 5, 2*l - 23 = 3*m for m.
-5
Suppose 23*g - 25*g + 8 = 0. Solve -4*d = -8, -g*i - 2*d + 9 = -3*i for i.
5
Let n(a) = a**2 + 2. Let j be n(-2). Suppose 4*i = i + j. S