 4*r = k*u - x + 9. Solve 2*h + h + u = -4*z, -2*h = 4*z + 10 for z.
-2
Let k = -1 + 5. Let g be (k - -3) + (-2)/(-2). Suppose -5*s + 18 = -2*o, 0*o + 4*o + 18 = s. Solve -4*w + s*l = -20, 2*w + 4*l - 16 = g*l for w.
4
Suppose 2*v = -0*v - 4. Let f be (-90)/(-20) - v/(-4). Solve -4*o + p = -f*p + 15, 3*o - 2*p = -6 for o.
0
Let u = -75 - -80. Solve -3*p + 2*p - u = 0, 3*f = 3*p + 9 for f.
-2
Let s be ((-3)/(-6))/((-2)/(-168)). Let d = -25 + s. Suppose -z - 4*a + d = 0, z + 25 = 6*z + 5*a. Solve 2*o + 0*c - 2*c + 2 = 0, c = 2*o - z for o.
2
Let t(y) = 4*y**2 + 3*y + 2. Let x be t(-1). Solve 2*m - 3*m - 9 = d, x*d = -15 for m.
-4
Let o be 1 - (-15 + 2) - -2. Let h be ((-6)/4)/(3/(-6)). Let m be (-1 - h)*(-20)/o. Solve -7 = -4*f + 4*a + 5, 5*f + m*a - 15 = 0 for f.
3
Let n(t) = 2*t**2 + 2*t + 4. Let j be n(0). Solve j*d - 31 = -2*a + 5*a, 2*d - 3 = -a for d.
4
Let s(d) = d + 8. Let i be s(-10). Let c be -6 - 6/i - -8. Solve -p + 2 = m, 6*p - p + 40 = c*m for m.
5
Let s be (-2 + 1 + -2)/(-1). Let i(n) = 2*n**3 + 2*n**2 + 11. Let q be i(0). Solve -5*d = 2*v + 18, -2*d + q = s*v - 4*d for v.
1
Let i(f) = f**2 - f. Let m be i(2). Suppose m*b + 20 = 6*b. Solve b*s - 19 = -4*c, -4*s + 9 = -2*c - c for c.
1
Let j(n) = -n**2 - 4*n - 3. Suppose -2*q + 0*q = 6. Let l be j(q). Solve -4*s - 20 = -2*o, l = s + 3*s + 3*o for s.
-3
Let v be -8*(-4)/(-24)*-6. Suppose 2*p + i - v = 0, -3*i - 14 = -3*p - 4*i. Solve 3*u = -3*s - u + 10, 0 = s + 2*u - p for s.
-2
Let l be 1/2 + 14/4. Suppose 13 = l*z - 7. Let c be 4/(-14) + (-74)/(-14). Solve -c*o = -5*s + 10, -4*s + 8*s - o - z = 0 for s.
1
Let t = -200 - -213. Solve j + t = -4*v, j - 2*v = 5*j - 4 for j.
3
Let f(i) = i**3. Let w be f(0). Suppose 2*d = -2*d + 16. Solve w = j - p + 6*p - 3, 3 = -d*j - 5*p for j.
-2
Let x = 114 + -110. Solve 2*g + 6 = x*a, 3*a - 5*a + 5*g - 17 = 0 for a.
4
Let k(p) = -p**3 - 11*p**2. Let w = 9 - 20. Let q be k(w). Solve q = 5*u + 10, -2*m - 7*u - 10 = -2*u for m.
0
Suppose 0 = -5*a + 3*h - 4 - 1, 3*h = 3*a + 9. Solve -26 = -4*m - 2*d, 3 = a*m + 2*d - 13 for m.
5
Let c be (-3)/4*(-15 + -1). Suppose c = n - 4*n. Let f = 4 + n. Solve 3*p - 5*m = 19, -4*m - 10 = -5*p - f*m for p.
-2
Let b(d) = d**3 + 9*d**2 + 13*d - 6. Let p be b(-7). Suppose 7 = 3*c + p. Solve -n = -i + 3*n + 18, 0 = 3*i + 2*n + c for i.
2
Suppose 5*x - 23 = d, 3*x - 13 = 3*d - 4. Suppose 4*v = -4*a + 4, 9 = 2*v - 4*a - x. Solve -c - 5*j = c - 31, 3*j - 6 = v*c for c.
3
Let s = 23 - 23. Suppose s = -6*q + 6. Solve -t + 2*b + q = 3, -4 = 3*t - 4*b for t.
0
Let r = 28 - 40. Let t = r + 20. Let q(l) = -l**3 + 7*l**2 + 8*l + 5. Let f be q(t). Solve -f*s + 4*v + 11 = 0, s = -s - 4*v - 18 for s.
-1
Let z(m) = -m + 15. Let a be z(0). Let g be 2 - 2 - 2/(-1). Suppose 0 = g*k + 3*k. Solve 3*r + 3*i - a = k, r - 3*i - 21 = -8*i for r.
1
Let c be 20/(-3)*210/(-25). Suppose -k + 2*o = 3*k - 56, -4*k + c = o. Suppose -k + 4 = -2*s. Solve -4*u + 4*h - 7 = s, h = -3*u + 7 for u.
1
Suppose 0 = y + 3*h - 1, 2*y - 5*y = -3*h - 15. Suppose 3*v - 24 = -3*a, -8 = 3*v - 4*a - a. Solve -5*n - y*g = -g - 20, -2*n = -v*g + 18 for n.
1
Let m be 1 - ((-9)/(-3) + -2). Suppose m = 4*y - 3*y - 2. Let r be (-4 - 28/(-8))*-6. Solve 4*i = -o + 13, r*o = 7*o + y*i - 10 for o.
1
Let f = -79 - -83. Solve -c + 5*j = 22, 0 = -2*c - 9*j + f*j + 31 for c.
3
Let m be (4 - 2)/((-1)/(-6)). Solve 5*s - 4 = -3*c, 3*c + 2*s = 5*s - m for c.
-2
Let k(x) = -2*x**3 - 2*x**2. Let i be k(-2). Suppose -5*g + 7 = -i. Solve g*t = 3*a, 3*t + 1 = 2*a + 2*a for a.
1
Let u(b) = -6*b - 7. Let x be u(-2). Solve -4*k - 2*j + 8 = 0, -x*j + 4 = -6 for k.
1
Let g be (0*2/(-4))/1. Let j(q) = -q + 1. Let y be j(-7). Let p be -1 - 0 - -2 - 1. Solve -t + 16 = 5*z, p = -g*t - 3*t - 5*z + y for t.
-4
Suppose -2*j + 10 = 4. Let x = j - 2. Let s = x + 4. Solve 3*y + 2*q = -s, 3*q + 4 = -4*y - 1 for y.
-5
Suppose -k - 2*k = -9. Solve 2*t = 3*s - 5*s + 4, k*s = 5*t + 30 for s.
5
Suppose b - 1 = 7. Suppose -23 = -5*q - b. Solve 4*x - 2*g + 6 = 0, q*x - g + 6 = -0*g for x.
-3
Let o be (-16 - -22) + 3*1. Suppose u - o = 3*s, -95 = -5*u - 3*s + 4. Solve -2*x - u = 4*k, -3*k - 8 = -3*x + 10 for x.
1
Suppose -z = -1 - 0. Suppose g - z = 3. Solve 2 = 2*v - 5*q, 0 = g*q - q for v.
1
Suppose 5*y + 3 = -17. Let h be ((-28)/(-6))/(y/(-6)). Solve 0 = 3*d - 12, 2*k - 2*d = h*k - 13 for k.
1
Suppose -4*f + 26 = 5*n, 10 = -0*f + 4*f - 3*n. Suppose -3 = f*c + 1. Let t(s) = s + 2. Let u be t(c). Solve 2*i + m + 2 = -2*i, -5*i - 3*m + u = 0 for i.
-1
Let x(z) be the second derivative of z**4/12 + 2*z**3/3 + 2*z**2 + 3*z. Let s be x(-6). Solve -5*u + 9 = -5*w - 36, -4*u = -s for w.
-5
Suppose 5*z - 60 = 5*l, 5*z - 18 = 3*l + 34. Suppose -2*n + 6*n = z. Solve 3*h - 8 = -x + 3, h = -n*x + 12 for h.
2
Let u = 39 + -39. Solve t - 4*f = -u*f + 20, 0 = -4*f - 16 for t.
4
Let n = -27 - -32. Solve z = 2*d + 13, 0*z + n*d + 34 = 3*z for z.
3
Let z(k) = -5*k - 8. Let t be z(-7). Suppose 5*w - 8 - 13 = -2*j, -4*j + t = 5*w. Let v be 22/4 + (-1)/(-2). Solve p = 3*p + 2*l - v, 15 = -w*p + 3*l for p.
-1
Let b be 6/(-30)*0 + 5. Solve 5*q + 10 = b*s, -q - 18 = s + 3*q for s.
-2
Let o(i) = -10*i - 7. Let d be o(-2). Solve -15 = -5*t - 5*f, -3 - d = 3*t - 2*f for t.
-2
Let n(d) = 3*d + 2. Let s be n(0). Let t(i) = i**2 - 6*i + 7. Let l be t(5). Solve -l*v + s*m = -0*m - 10, -3*m - 13 = -v for v.
1
Suppose -10*n = -0*n. Solve 2*o + 3*r - 4 = n, 2*r - 10 = -5*o + r for o.
2
Let r(d) = 3*d + 18. Let j(p) = -2*p - 12. Let x(i) = -7*j(i) - 5*r(i). Let l be x(-8). Solve -2 = c - 2*q + 2, -2*q + l = -2*c for c.
2
Let b(t) = -t**3 + 4*t**2 - 3*t + 1. Let f be b(2). Solve 0 = o - 4*u - 11, f*o + 1 = 2*u - 6 for o.
-5
Let k = -24 - -44. Solve 4*x + p = -4*p + k, 3*x + 4*p - 15 = 0 for x.
5
Let b(g) = -g**3 + g**2 + 4*g - 2. Let m be b(3). Let w = m - -8. Solve 5*y - 2*k - 6 = 0, y + w*y - 12 = 4*k for y.
0
Suppose 3*o - 10 = k, 6*o - 2*o = -k + 25. Suppose 1 = 4*g + 4*m - 3, -3*g - 2*m + 7 = 0. Solve 0 = -5*t + g, o*t = -2*x + t for x.
-2
Suppose 4*b + 3*y = -0*y - 2, 3*b + y - 1 = 0. Let h = 4 - b. Let d = -3 - -12. Solve 3*n = t - 6 - d, -h*n = t + 9 for n.
-4
Let m = 1 + 2. Suppose m*s - 2 = s. Solve 13 = -2*h + c, -h + 3 = 3*c - s for h.
-5
Let p be (-70)/(-5) - (-1)/(-1). Suppose 5*r + 0*h + 4*h - 32 = 0, r + 3*h = p. Solve a = -4*k - 25, 5*k + r = -3*a - 36 for k.
-5
Let u be ((-5)/2)/((-18)/12 + 1). Solve -2 = -2*j + 3*t, j - 5*j - u*t = -4 for j.
1
Let x be (0/2 - 0)/(-2). Let i be (20/35)/(4/14). Solve 2*k = -i*r - 14, x*k + 17 = -k - 3*r for k.
-2
Suppose 5*t - 153 - 7 = 0. Suppose -5*j + t = -j. Solve 3*a - j - 12 = -5*v, 0 = 2*a - 3*v - 7 for a.
5
Let z be 1 - (-6 + -1) - (23 - 20). Solve z*s = p + 10 - 0, 0 = 2*p + 5*s - 10 for p.
0
Suppose 0 = r - 2*g - 2*g + 2, 5*r - 4*g = 6. Suppose 5*b - 20 = -3*t + t, -3*t = r*b - 8. Suppose b*o = -o. Solve o = 3*z + y - 6, z - y = 3*y + 2 for z.
2
Let t(b) = 2*b + 3. Let v be t(6). Suppose -2*w + v = 3*z - 2, -w = z - 6. Solve -z*a - 6 = -q + 14, -a - 4 = -q for q.
0
Let i(w) = -w**3 + 5*w**2 - 5*w + 7. Let c be i(4). Solve 3*k + h - 3*h - c = 0, -5*k = 3*h + 14 for k.
-1
Let b(t) = t**2 + 7*t + 9. Let y be b(-6). Let q be ((-2)/4)/((-1)/(-2)). Let j be y - 1 - (q + 3). Solve -f + 14 = -i + 4*i, 4*i + f - 17 = j for i.
3
Let d(l) = -l**3 + 11*l**2 + 2*l - 16. Let r be d(11). Suppose r*j - 3*j = 6. Solve -5*n + 10 = -o + j, -n - 4 = -3*o for n.
2
Suppose 92 = 4*b + 80. Suppose 0 = -2*m - 2 + 14. Solve -m = 2*v + c, -b*v - 2*c - 8 + 1 = 0 for v.
-5
Suppose 10*n - 3*n = 14. Solve 0 = -n*v + 4*r - 18, -5 = v - r - 0 for v.
-1
Let n(z) = z**2 - 11*z + 20. Let r be n(9). Solve 9*a = 4*a - 4*p + 2, 19 = -r*a + 5*p for a.
-2
Suppose 0*w - 5 = -w. Suppose -q + 4*l - 6 = q, 2*q - w*l + 9 = 0. Suppose 2*v + 2*b - b = 8, -2*v + q*b = -8. Solve v*j = 2*g + 14, 5*j + g = -2*g - 10 for j.
1
Let l be (12/9)/(12/18). Solve -l*i = 5*t - 7, 0 = 6*i - 2*i + t + 13 for i.
-4
Let o(w) = w**2 - 2*w + 1. Let m be o(0). Solve -5*d = -2*k + 1 + 1, 3*d = -k + m for d.
0
Let v(r) = 0*r + 0*r - 7 - 2*r. Let i be v(-6). Suppose -6 = 5*b + 4*p, -b + 3*p + 8 = -6. Solve 2*s - 10 = 2*c, -c - i*s + 11 = -b*s for c.
-1
Let m be 0 + (-2 - -4) - -3. Let y(h) = h**3 - 5*h**2 + 3*h - 7. Let w be y(m). Solve 4*l + 3*j = 