= 5*h, -q*r + 3*h = 16 for r.
-5
Suppose -9 = -a + 6. Solve 5*i = 5*p - 4*p - a, -p - 3 = i for p.
0
Let j(s) = s**2 - 5*s + 5. Let m be j(5). Suppose -v + 9 = 2*y, -5*y + 0*y = v - 21. Solve -3*c + m*t - 12 = 0, 0 = -y*c + 3*t - 2 - 3 for c.
1
Let k(y) = -2*y**3 + y**2 - y - 1. Let s be k(-1). Suppose -6*f = -f - 55. Solve 5*w = 2*c - s*c - f, -c - 3*w = 7 for c.
-1
Let i(t) = 20*t**2 - t - 1. Let q be i(-1). Let o = -4 - -8. Solve -n - q = -5*k, -o*k + 7*n = 2*n - 16 for k.
4
Let t = 53 + -45. Suppose 3*z = -i + 17, 18 = 3*z + z - i. Suppose -s - 2*k + t = 0, z*s - k = -0*k + 7. Solve 3*o - 3*x - 9 = 0, -s*o - 9 = -5*o - 5*x for o.
3
Let b be (-44)/154 - (-74)/14. Solve -b*y + 0 = 2*h + 5, 0 = -3*h - y + 12 for h.
5
Let l be (-2)/(2 - 15/6). Suppose -l = 5*n - 14. Solve 0 = 2*v - 3*x + 13 - 2, n*v = 5*x - 13 for v.
-4
Let b = -3 + 8. Suppose z + 4*k = 4 + 18, -b*z + k + 5 = 0. Solve -x + 5*i - 10 = 0, -4*x - 5*i - 17 = -z*i for x.
-5
Let i(h) = -h**3 + 5*h**2 + h. Suppose 3*b - 5 = 2*y - 0*b, -3*y = -b - 10. Let l be i(y). Solve p - l = -3*p - 3*c, -4*p + 4*c - 16 = 0 for p.
-1
Let n(c) = c**2 - 8*c + 4. Let q be n(8). Solve -3*y - 21 = 4*u - 0*y, -q*u = 2*y + 18 for u.
-3
Suppose 60 = 5*x - q, 4*q + 9 + 0 = -x. Solve -u = -2*i - x, -u - 2*i - 2 = u for u.
3
Let t(h) = -h**3 + 8*h**2 - 6*h - 2. Let c be t(7). Solve -2*a + 0 - 4 = -b, 10 = -c*b for a.
-3
Let p(h) = h + 4. Let t be p(-5). Let r be (4*t)/(-4)*0. Solve 2*z + 5*f + 2 = r, -2 = 5*z + 3*f - 16 for z.
4
Suppose -5*u = 4*z - 104, 2*u = 6*u - 4*z - 76. Solve 0 = -4*w + u, -2*s - 4*w - w = -19 for s.
-3
Suppose 0 = -b + 5*u + 25, 3*u + 4 = -b - 3. Let x be (2/(-8))/(4/(-32)). Solve 5*g + b*j + 1 = -4, -x*g - 3*j - 1 = 0 for g.
-2
Let h(k) = 2*k**2 + k - 7. Let j be h(-3). Solve -3*d = 2*w + j, -2*w + 1 - 11 = 4*d for d.
-2
Let d = -55 - -60. Solve -5*v + d*f + 27 = -23, 0 = f + 5 for v.
5
Suppose -7 = -u + 5*d + 3, 7 = u - 2*d. Suppose u*s - s = 28. Solve 5*o - 3*y + 15 = -12, -5*o - 2*y = s for o.
-3
Suppose 25*o = 20*o + 20. Solve 3*f - 2*a = -19, 4*f - 2*f + o*a = 14 for f.
-3
Let k = 5 + -6. Let q = k - -8. Solve -5 = 2*n + 5*z, -2*n + 4*n + z = q for n.
5
Suppose -4*j = 4*l - j - 52, 0 = -2*l - j + 24. Let z = -6 + l. Solve 4*n + z = 2*a, 4*a = 4*n + 4 + 4 for n.
0
Let j = 92 - 90. Solve -j*o - 10 + 2 = 0, 2*d - 10 = 5*o for d.
-5
Let y(o) = -o**3 + 13*o**2 + 2. Let l be y(13). Suppose 15 = l*x + g - 0*g, 5*g - 25 = 0. Solve 5*u - 10 = x*k, 4 = 4*u - 6*u for k.
-4
Let j = 27 + -10. Suppose -3*l - 2*q = -j, -2*q + 5*q = 4*l. Solve 0 = 5*n - 10, n - l*n + 9 = 5*k for k.
1
Let c = 13 - 1. Solve -4*k - 6 = u, 7*u - c = 2*u + k for u.
2
Let i = 44 - 40. Let n = 1 + -3. Let w = i + n. Solve -o = s - w, 2*s - 3*o + 9 = 3 for s.
0
Suppose 0 = 5*s - o - 319, o = 3 - 2. Suppose 5*r - 5*u = -24 + s, u - 2 = -r. Solve -2*w = -3*l + r*l + 16, -20 = 5*l for w.
-4
Suppose 5*w - 3*r = 9, -6*r = 3*w - 4*r + 6. Suppose k = -5*h, w = -0*k - 4*k. Solve -2*l = 3*q - 2, h = -q - 3*l + 2 + 8 for q.
-2
Suppose 2*r - 6 = 2. Suppose -r = w - 31. Let k = -11 + w. Solve 0 = 4*q + 3*v - k, 0 = -5*q + 2*q - v + 12 for q.
4
Let d = 136 + -134. Solve -7 = -d*j - 0*c - 5*c, 0 = j - 2*c + 10 for j.
-4
Suppose -2*a + 14 = 2*g, 5*a - 26 = -g - g. Let u be 1/(-3 + a) + 9. Solve 4*n + 22 = -3*m, 3*m + u = n - 2*n for n.
-4
Let w be 5/5*(-14)/(-2). Let a be -9*w*1/(-3). Solve -3*x - x + a = 5*y, 4*y = 4*x - 12 for y.
1
Let a(w) = -w**2 + 3*w + 3. Let u be a(0). Solve -1 = u*h - m, 3*h - 2*m + 5 = -0*h for h.
1
Suppose -33*a - 49 = -40*a. Solve a = 3*h + 5*x + 2, -3*h + 9 = 3*x for h.
5
Let q = -19 + 23. Solve -k = -q*i + 15, -2*k + 1 = -1 for i.
4
Let u(a) = -6*a**3 - 2*a**2 - 2*a - 1. Suppose 2*z + 7 + 1 = 0. Let s be (-9)/6 + (-2)/z. Let c be u(s). Solve -m + 2 = 0, 4*q = -c*m + 18 - 4 for q.
1
Let t(s) = 5*s**2 - 3*s + 1. Let l be t(2). Suppose -6*g = -g - l. Solve -5*o - 2*f + 14 = 0, 2*f + 2 = -g*o + 2*o for o.
4
Let q = -1 - -3. Let g(y) be the second derivative of -y**4/12 + 5*y**3/6 + y**2/2 + y. Let c be g(4). Solve -q*b - 19 = -3*p, 7 = -4*b - c*p + 2 for b.
-5
Suppose -3 + 0 = d. Let n be (1*-1)/(d/12). Solve -z + 2*z + 2*u = 0, n*u - 10 = 3*z for z.
-2
Suppose z = 3*z. Suppose -2 = -2*k, z*w + w - 4*k = 2. Solve 5*i = 2*i - 3*m - w, -4 = i + 2*m for i.
0
Suppose 2*h - 70 = -3*h. Let d = h - 2. Let k = d - 7. Solve -3*q + 12 = z, 8 = 2*z - k*z + 2*q for z.
0
Let s(f) = 2*f + 13. Let t be s(10). Suppose 3*p = -0*p - 5*n + 5, 4*n = 5*p - t. Solve -p*g - 3*i = 4 - 8, -5*i + 17 = -2*g for g.
-1
Let h = -14 - -16. Solve -h*n = -4*p + 12, -2*n + 4*n + 14 = 5*p for n.
-2
Let d(b) = -b**2 - b + 2. Let s be d(0). Solve -3*f + s*w + 1 = 0, -3*f + w + 5 = -6*f for f.
-1
Let a(h) = 6*h**2 + 1. Let c be a(1). Suppose -c = -2*s - 4*r + 3, 2*s - 3*r + 4 = 0. Solve -3*j + 2 = -d, 0 = -j + s for d.
1
Let v(p) = p - 1. Let r be v(4). Let c = 9 + -4. Suppose 0 = 5*y - 0*x + c*x - 90, 4*y = -2*x + 62. Solve 5*t = 6*t - 5*l + y, -r = -3*t + l for t.
2
Suppose 3 = l + 1. Let y(z) = 2*z - 4. Let b(s) = -s**2 + 10*s - 12. Let x be b(8). Let g be y(x). Solve -4*m - 12 = 4*j, g*j + m + l*m = -11 for j.
-2
Let z(d) = 4*d - 10. Let a be z(4). Solve a = 3*m, -u - 2*m + 1 = -4 for u.
1
Let s be (15/30)/((-2)/(-12)). Solve 0 = 5*j + 2*z + 3 + 10, 0 = -5*j - s*z - 12 for j.
-3
Let n be 2 - 3 - (-3 - -2). Suppose w + r + 1 = 2*w, 2*w + r - 11 = n. Solve -p = 4*p - 25, -13 = w*a - p for a.
-2
Let m = 17 + 3. Suppose 2*t = 3*f + m, 5*f + 5 = -3*t - 3. Let u be t/(-2 - (-2 + -2)). Solve -2*j + 10 = q + 3, 0 = -u*j - 4*q + 22 for j.
1
Suppose -f + 5 = -t, 5*f - 4 = -t - t. Let s be 12/9 + (-2)/t. Solve 11 = 5*i - 2*m, 0 = -4*i + 2*m + s*m + 4 for i.
3
Suppose 15 - 3 = 4*r. Suppose -r*t - 21 = -0*t. Let m(x) = -x**3 - 6*x**2 + 8*x + 7. Let q be m(t). Solve -5*b + 3*j + 5 - 22 = q, 0 = -3*b - 4*j + 13 for b.
-1
Let v = 59 + -57. Solve v*k - 2*p - 2 + 6 = 0, k + 8 = 4*p for k.
0
Let l be ((-3)/(-9))/(1/(-3)). Let i be (4 - l) + (3 - 3). Solve 3*z = -3*s + 5*s - 5, i*z = -5*s - 25 for s.
-2
Let b = 1 + -7. Let q be (-10)/b*3 + -2. Solve q*h + 9 + 3 = 3*j, -4*j - 2 = 5*h for j.
2
Let m(z) = z - 3. Let b be m(12). Suppose 0 = 3*k - 63 - b. Solve 3*d + 9 = -2*y + 22, -y = 5*d - k for y.
-1
Suppose 3*c + 6 = -0. Let j be 28 + (-1 - -3) + c. Solve 0 = 5*u + w - j, -22 + 7 = -5*w for u.
5
Let k = -4 - -6. Suppose -4*v = -3*i + 12 + 12, v = -k*i + 5. Suppose i*u + t - 7 = 0, -6 = 3*u - 3*t - 30. Solve 0*z - 5*y = -2*z + 23, -5 = z + u*y for z.
4
Let g(t) = t + 10. Let b be g(-7). Suppose h = b*k - 12, k = h - 0*k + 2. Solve -4*u - 18 = -l, 0 = -h*u + 5*u + 4*l + 18 for u.
-5
Let d(z) = z**3 - 3*z - 2. Let w be d(2). Let x = -7 - -12. Solve 0 = -x*h + 3*i - 8, -h - 5 = -4*i - w for h.
-1
Let l(g) be the third derivative of -g**4/24 - 2*g**3/3 + 8*g**2. Let k be l(-8). Solve 3*r = k*t - 10, -5*t - 2*r + 9 = -4*r for t.
1
Suppose 0 = 6*v - 8*v. Solve -4*y + 12 = 2*l - v, 5*y = 3*l + 15 for l.
0
Let o be (-2 - -8)/((-6)/4). Let c(g) = -2*g + 1. Let k be c(o). Suppose k = -3*u, u - 13 - 26 = -3*m. Solve 3*h = i + m, 0*h = 5*i - 3*h + 22 for i.
-2
Let o(g) be the first derivative of 2 + 1/2*g**2 - g. Let h be o(6). Solve 7 = -5*q - 3*a - 1, h*q - 2*a + 3 = 0 for q.
-1
Suppose 0 = -n - k - 7, n + 3*k = -8 - 3. Let w(l) = l + 8. Let v be w(n). Solve 8 = -r + v*c, -5 + 1 = -c for r.
4
Let b(m) = m**3 + 5*m**2 + 3*m - 4. Let c be b(-3). Solve -h = -c*j - 3, -4*j - 6 = -h - 3 for j.
0
Let y(k) = k**3 - 5*k**2 + 3. Let h be y(5). Let w = h + -2. Suppose 2*x = w + 3. Solve 4*m - 3*c - 4 = 0, m - 2*c + 1 = x for m.
1
Suppose 9 = -3*d - 2*m + 25, 2*d - 10 = -m. Solve 2*o = -5*y - 29, d*o - 12 = -y + 5*y for o.
-2
Let i be (121/(-33) + 4/6)/(-3). Solve 2*k = -3*u, -4*u + 4 + i = k for k.
-3
Let d(i) = i**3 - 7*i**2 + 4*i + 4. Let r be d(6). Let u = r + 19. Solve 5*s = -5*t + 10, 0*s - u = -3*t - 4*s for t.
-3
Let n be (2/6)/(2/6). Let i(k) = 5*k. Let y be i(n). Solve -3*q + 7 = l - 4, 4*l - 30 = -y*q for q.
2
Let g(z) = 0*z**2 + 4*z - 1 - 5*z**2 + z + 4*z**2. Let m be g(4). Suppose -m*h + h = 5*k - 16, -4*h + 18 = 3*k. Solve -2*t - 10 = h*d, d = 5*t + 4*d + 16 for t.
-2
Let o = 2 - -2. Let f be (10/o)/(2/4). Suppose 45 = 4*t + f*a, 2*t + a - 20 = -a. Solve 4*b = 5*h