r z.
-2
Let o(j) = j + 7 + j - 3*j. Let c be o(7). Let q(b) = 2*b**2 + 3*b + 1. Let d be q(-2). Solve z + 2*y = 2, c = -5*z + d*y - 7*y + 16 for z.
4
Suppose 0 = -5*m + 3*x + 19, 0 + 6 = -2*x. Let q = -5 + 9. Let n = 25 + -20. Solve 4*d = -n*f - 23, -f - 7 = -m*d + q*d for d.
-2
Let d = -70 - -70. Solve d = 2*u - 4*v - 2, -4*u = -2*u + 2*v - 2 for u.
1
Let h be (0 - -4) + -1*24/6. Solve 0 = 2*d - v - 3 + 8, 4*d + 4*v - 8 = h for d.
-1
Let s be 6/(-4)*(0 + 2). Let b = s - -3. Let l = -7 - -8. Solve v + i = 9, -v + i = -b*v - l for v.
5
Let f be (-3)/(-5) + (-138)/30. Let z be ((-5)/3)/(f/12). Solve 20 = z*p + 2*o - 10, -3*p = 4*o - 32 for p.
4
Let k(u) = u**2 - 3*u - 5. Let m be k(-4). Solve -x = -6*i + 2*i + 5, 5*x - m = -4*i for x.
3
Let k be ((-45)/(-12))/(((-25)/(-5))/20). Solve 3*n = -3*f - k, 5*f + 2*n + 9 = n for f.
-1
Suppose -5*x = u, -10 = 5*x - 21*u + 24*u. Solve 4*l + r - 14 = -2*r, l = -2*r + x for l.
5
Let y be 65/6 - (-10)/60. Let c = 14 - y. Solve -c*g + 7*h + 2 = 2*h, -4*h = 4 for g.
-1
Let v be 1 - (-3 - (-4)/2). Let m(a) = -4*a - a**v - 1 - a + 6. Let k be m(-5). Solve -k*j + 27 = -4*n, 9*n - 3*j = 4*n - 24 for n.
-3
Let x = -1 - -5. Solve x*m + 25 = -5*i + m, -5*m - 23 = -i for i.
-2
Let i(c) = 5*c**3 - 1. Let r be i(1). Solve -r*n - 2*x + 2 = 0, 0 = -2*x + 5*x + 9 for n.
2
Let b be 4/18 - (-8)/(-36). Suppose -2*f + 0*f + 6 = b. Suppose -f - 35 = -2*p. Solve -5*l - p = -r, r = -4*l + 5*l + 7 for l.
-3
Suppose 2*a - 3*x - 25 = -2*x, -4*a + 5*x + 53 = 0. Suppose -p - 25 = -6*p - u, -2 = -2*p - 2*u. Solve 0*t + 3*d = -t - a, -3*t + d = p for t.
-3
Let c be 0/5 + 3/1. Let s be (-9)/c*(-2)/(-3). Let w(q) = 2*q**2 + 2*q - 1. Let m be w(s). Solve -5*k - 41 = -4*l, 0 = 4*k + m*l - 1 + 9 for k.
-5
Let p = -5 - -5. Suppose p = 2*d - 4*d + 10. Solve -d*o = b - 10, 3*b - 2*o = -3*o + 16 for b.
5
Let h = 5 - 14. Let y be (-3)/h + 29/3. Suppose -5*u - 13 + 2 = -4*k, -3*k = -2*u - y. Solve 1 = -0*i + i + b, -2*i - 6 = k*b for i.
5
Let k = -106 - -108. Solve -4*i - b - 23 = 0, 2*i + k*b + 19 - 3 = 0 for i.
-5
Let a(v) = v**2 + 2*v + 4. Let y be a(-7). Suppose 0 = -3*z + 84 + 135. Let i = z - y. Solve l + 12 = -3*n, -3*l = -0*n - 5*n - i for n.
-5
Let y(z) be the third derivative of z**4/24 - 3*z**3/2 + 3*z**2. Let l be y(11). Solve k = -3*q + 17, 2*q - 2 = 2*k + l*k for k.
2
Let k = -46 + 71. Suppose -3*m - 4 = -13. Solve 23 = m*b - 4*t, -b + 5*t = 2*b - k for b.
5
Suppose 4*z + 1 - 13 = -2*t, 0 = 5*t - 2*z + 6. Suppose -2*b + 0*b = t. Solve -5*x + 5*y - 15 = b, -4*y = 3*x - 6*x - 8 for x.
-4
Let i = 9 + -1. Suppose 3*g - 3*q + 3 = 0, -g - 3*q = -i*q + 21. Solve 2*m - g = -0*m - w, -4 = -2*w for m.
1
Suppose -3*s + 5 = -3*f - 4, 0 = 5*f - 5. Solve -s*c - c = -2*p - 13, p - 7 = -2*c for c.
3
Let s be 4/14 - 24/(-14). Solve y + 14 = 5*y - s*n, 5*y + 4*n - 11 = 0 for y.
3
Let x be (2/(-4))/((-2)/(-44)). Let s = -9 - x. Solve 0 = -3*h + 5*p + 5, -4*p = h + s*h + 4 for h.
0
Let n be (-3 + 1)*(-31)/2. Solve -5*v - 5*i + n = -3*i, -3*v = -5*i for v.
5
Let q be 2/10 - 658/(-35). Suppose 61 = 4*t - 5*l, -4*l - q - 1 = 0. Suppose -t = -4*o + o. Solve 0 = 4*w + a - 12, o*a = w - 2*a - 24 for w.
4
Let i = 8 - 4. Suppose 5*x - 2*p = 2*p - 30, 5*x - p = -15. Let k = 7 - x. Solve i*f + 5*r - 20 = 20, 0 = -f - r + k for f.
5
Let g be (-47)/(-9) - (-4)/(-18). Let s be 1/g - (-120)/25. Solve 0 = 5*c + 6 + 19, s*c + 21 = -2*w for w.
2
Suppose -j - 1 = 0, -3*v + 5 = v - 5*j. Solve v = 3*l - 3, -5*b + 4 = -0*l - l for b.
1
Let o(g) = g**3 - 16*g**2 + 14*g + 16. Let j be o(15). Let t be 4 - (0 + j + -11). Solve -t = 4*h + 3*q, -3*h - q - 2*q = 9 for h.
-5
Suppose -v + 6*v - 32 = a, -v + 4 = a. Solve 4*h - 20 = 0, -s - v*h + 25 = -h for s.
0
Let u be 1 + -4 - (8 + -3). Let v(r) = r**3 + 9*r**2 + 7*r - 8. Let g be v(u). Solve g = 4*f - 5*o + 7, -2*o + 1 = 3 for f.
-3
Suppose 0 = f + f - 18. Suppose 6 = 5*o - f. Solve -15 = o*a - 4*w, 4*w - 25 = 7*a - 2*a for a.
-5
Suppose -5*n + 15 = -0*n. Let m be -1 - ((-3)/3 - n). Solve 2 = -4*d - 2*b, -13 + 1 = -m*d + 3*b for d.
1
Let q(r) = -r**2 + 10*r - 7. Let u be q(8). Solve 4*x = -z - u, 4*z - 4 + 0 = 4*x for z.
-1
Suppose 3*g - 2*g = 8. Solve 5*m = 4*j + 17, -3*m - 5*j - 20 = -g*m for m.
1
Suppose -4*t + 128 = -0*t. Let w = t + -18. Let o be (-3 - 1)/(w/(-77)). Solve -5*j - 10 = -5*d, -4*d + 4*j - 7*j + o = 0 for d.
4
Suppose -2 = -4*p + 6. Suppose 5*d = -3*h - 22, 2*h + p*h + 24 = -4*d. Let a = d + 6. Solve 3*m + 3*s = -2*m + 2, -a*s = 5*m - 6 for m.
-2
Let v = 32 + -22. Solve 4*t + 2 + v = 4*q, -q + 2*t = -2 for q.
4
Let i be ((0/(-4))/(-1))/2. Solve -2*p - 4 = -4*n, 2*p + 4*n - 3*n - 11 = i for p.
4
Let r(u) = u**3 + 8*u**2 + 5*u - 5. Let b be r(-7). Let k = b + -4. Suppose 7 + 8 = k*t. Solve 0 = 5*m + 2*y, t*m + 12 = 5*y - 19 for m.
-2
Suppose -4*o + o = 0. Let y = 35 - 30. Solve 12 = 2*h + 2*i - 0*i, o = -5*h + y*i + 20 for h.
5
Suppose 4*u = 2*j + 2, 0*u + j = -2*u - 1. Suppose -l - 8 = 4*w, 0*l + 3*l + w - 9 = u. Solve -3*b - 2*n - 10 = -b, l*b + 18 = -2*n for b.
-4
Let t be 2/(-4) - (-1)/(-2). Let n = 5 + t. Let k(a) = -a + 5. Let d be k(0). Solve 0*s + n*j = -s + 14, -d*j = 4*s - 23 for s.
2
Let s = -1 - -2. Let o(w) be the first derivative of 4*w**3/3 + w**2/2 - 2. Let j be o(s). Solve -3*y = -u - 8, -y = j*u - 6*y for u.
4
Let k be (-4 - -1)/(6/(-10)). Suppose 2*l + 12 = -4*t, -3*l - 4*t + 28 = -k*l. Let x be ((-8)/l)/((-8)/(-20)). Solve -r + x*d = -4, -5*d = 2*r - d + 24 for r.
-4
Let r be (-94)/8 - (-2)/(-8). Let k be (3 - 4) + r/(-2). Suppose -2*h = 3*p - 25, -3*p + k*h = -0*h + 10. Solve a + p*u + 13 = 37, -2*a + 5*u - 27 = 0 for a.
-1
Let b be (-54)/72 + (-46)/(-8). Solve 4*r - 5 = b*w, 5*r = 5*w - 0 + 5 for w.
-1
Let c = -102 + 114. Solve 2*j + c = 2, 0 = 4*v - j + 11 for v.
-4
Suppose 7 = 2*r - 39. Suppose -3*u + m = r, -u + 2*m + 44 = -5*u. Let k be u*(-2 + (-15)/(-9)). Solve -k*o = 2*v - 1, o = -v - 2 + 4 for o.
-3
Suppose 1 - 26 = -v + 3*f, 0 = v + 5*f - 41. Solve -2*w - 2 = -2*g + 14, -5*w - v = -2*g for g.
3
Suppose -f = -6*f. Let m be (f - -4) + -2 - -2. Solve 5*s = m*i - 7, -s - 5 = i - 0*i for s.
-3
Let k(p) = 6 - 7 + 0*p - p + 0. Let g be k(-4). Solve 38 + 2 = -g*x + 5*a, 0 = 4*x + a + 15 for x.
-5
Let s(y) = -y**2 + 6*y + 4. Let i be s(6). Solve g = 4*f - 16, 5*g = f + i - 27 for g.
-4
Suppose -5*x + 14 = -11. Suppose 3*q = 2*q + 3*z - 1, -5 = -x*z. Suppose -2*a + 0*a = -12. Solve 9 = -q*r + 3*u, 2*u + a = 4*u for r.
0
Suppose 3*p + 0*p = 5*j + 30, p - 4*j = 17. Solve 2*y - 3 + 1 = 2*d, -p*d - 23 = y for y.
-3
Let o be 1*-6*(-1)/2. Suppose 4*f - o - 5 = 0. Suppose -4*h + 5 = r - 5*h, 3*r + f*h = -10. Solve -3*b + 0*d + d + 9 = 0, r = 4*b + d - 12 for b.
3
Let k(y) = -y**2 + 5*y + 7. Let l be k(6). Let s be -15*(1 + l)/(-6). Solve 2*t = -2*t - 4*g + 4, 4*t = -s*g + 6 for t.
-1
Suppose -2*m - 6 = 3*p, 2*p = 3*m + p - 13. Let b = -5 + 5. Suppose -4*a - 9 + 25 = b. Solve 2*c + c + v - 6 = 0, 0 = -m*c + a*v + 21 for c.
3
Let w(t) = 3*t**3 - t**2 + 2*t - 1. Let o be w(1). Suppose -o*g = 2*g. Solve g = p + 2*d - 4, p + 3*d - 6 = -p for p.
0
Let t(w) = 4*w**2 - 6*w + 6. Let a be t(3). Solve -5*c + a = -0*c + 3*h, -2*c - 2*h + 12 = 0 for c.
3
Let q = -4 - -11. Let x(w) = w**2 - 5*w + 2. Let d be x(5). Suppose m = 3, 2*m + d*m - 12 = -2*g. Solve g = -2*o - y - q, o + 4 = 3*y - 3 for o.
-4
Suppose -4*m + 81 + 16 = 3*z, -3*z + 89 = 2*m. Let h = -4 - -5. Let j be h*2 - (-5 - -3). Solve 13 = j*a - 0*a + c, -5*c + z = a for a.
2
Suppose -5*q = 5*a + 20, 5*a + 20 = 2*q - 0*q. Solve -4*r = 5*v - 0*r + 16, -v - 2*r - 8 = q for v.
0
Let b(i) = i**2 - 3*i - 2. Let w be b(2). Let n = w + 1. Let o = n + 3. Solve -s - s - m - 1 = o, 4*m + 7 = -5*s for s.
1
Let d = 17 - 25. Let s = d - -13. Solve -a + 3 = -4*c, -s*a + 2 - 11 = 4*c for c.
-1
Suppose 0 = 2*o - q - 15, 0 = 4*o - o + q - 10. Solve -3*p - a = -0*p + 13, -2*p + o*a - 3 = 0 for p.
-4
Let g(u) = 3*u**2 + 3*u + 3. Let l be g(-1). Solve l*j - 32 = -w - 3*w, -4*w + 4*j = -4 for w.
5
Let h(s) = -s**3 - 3*s**2 + 8*s + 6. Let w be h(-5). Suppose -5*p = -w - 24. Suppose 0 = 2*o - 5 + 1. Solve -u = -i - 6, 0*u = o*u - p for i.
-2
Let k(m) = -m**3 - 8*m**2 - 12*m + 2. Let t be k(-6). Solve -v = -p - 1, 5 = -3*p + t for v.
0
Let q(s) = -s**3 + 6*s**2 + 6*s + 3. 