*g - 13 for s.
3
Let j(t) = -3*t - 4. Let l be j(-3). Let n be 3/2*(0 - -2). Suppose 0 = -u + n*m - 4*m + 5, 24 = l*u + 4*m. Solve -q + u*v = -0*q - 4, 3*v = -4*q - 22 for q.
-4
Let j = 24 - 13. Let b = 6 - j. Let d = b - -7. Solve d*n = -4, 4*k - 10 - 20 = 5*n for k.
5
Suppose 0 = -b - p - 2*p + 48, 4*p + 131 = 3*b. Suppose -g = 4*g - b. Solve 5*z - g = w, -z - z = 2*w + 6 for z.
1
Let h be 3 + -3 + 1 + 1. Let u = h + 0. Solve -2*n = 2*q + 6, n = 5*q + u*n + 3 for q.
0
Let i(q) = 8*q**2. Let z be i(-3). Suppose -4*s = -2*w + z, 2*w + 36 = 3*w - 4*s. Suppose 0*v - 4*v + w = 0. Solve 5*h = -3*f - v, 0 = -2*h - 5*f - 3 + 7 for h.
-3
Let z be (-21)/35 + (-26)/(-10). Let d be (z - 3/6)*-4. Let v be 0/(d/2) - -2. Solve 5*a = v*i - 23 + 6, -2*a - 3*i = 22 for a.
-5
Suppose -n + 5*n = 8. Let x(v) = 4*v + 30. Let i be x(-6). Solve s - 4 = 2*k, n*k - i = 5*k for s.
0
Let v = -17 + 32. Suppose 0 = -2*z + 5*b + 13, v = 5*z + b - 4. Solve 23 = -5*t - 3*i, -2*t - 4 = -0*t - z*i for t.
-4
Let a = 53 - 50. Solve 0 = -a*d - k - 13, 0*d + 3*d - k + 17 = 0 for d.
-5
Let t be ((-2)/2 - -1)/1. Let k be t + -3*(-4 + 3). Suppose -3*m + 5*u = u + 8, k*m = u - 2. Solve 5*q = -2*s - 8 - 0, -3*q - 5*s - 20 = m for q.
0
Let c be (-3)/9*-21 - 4. Solve u - 4*l + 4 = 0, c*u - l = 3 + 7 for u.
4
Let h(c) = c**2 + 10*c - 54. Let f be h(-14). Solve u = f*u - d - 7, -u - 5*d - 23 = 0 for u.
2
Suppose -6 - 12 = -9*w. Solve -10 = -5*b + 3*p, 20 = -2*p - w*p for b.
-1
Let n be (2/(-4)*6)/(-1). Solve -g - g + 7 = n*o, 5*g - 11 = -o for g.
2
Let i(g) = g + 2. Let j be i(2). Suppose k - 4*p - 8 = 0, 2*k + j*p - 6 = 2*p. Solve 0*h + 2*h - 4*s - 2 = 0, s - k = -4*h for h.
1
Let h(z) = z + 10. Let x(q) = -6*q**2 + 2*q - 2. Let s be x(1). Let w be h(s). Solve -3*y + d - 7 = 0, 5*y - 4*y + w*d - 15 = 0 for y.
-1
Let n(b) = -b**3 + 5*b**2 + 6*b + 4. Let u be n(6). Let g be (-5)/u*(-4 - 0). Let r = 12 - 8. Solve 2*w + 12 = 7*k - 4*k, -r*k + 23 = -g*w for w.
-3
Suppose j + 10 = 2*j. Solve 3*h = -a + j, -3*h - h = 5*a - 6 for h.
4
Suppose -2*r + 2 = 4. Let n be (6/(-4))/((-1)/2). Let s = r + n. Solve 5*d = -s*o + 3*o - 6, -4*d = -o + 4 for d.
-2
Suppose 5*m - 39 = -5*g + 26, -14 = -2*m + g. Suppose t - m = -2*t. Solve -i + 6 = -5*z, -t*i + 0*i + 5 = -2*z for z.
-1
Let v be 6/5*(-10)/4. Let t be (-2 - v) + -1 + 0. Solve t*a - 1 = -a - m, 4*a = -2*m for a.
-1
Let h(z) = z**2 - 6*z + 8. Let i be h(6). Suppose n - 4*p = -3*p + 4, 5*p + i = -n. Let b = 7 - n. Solve -2*t - 3*f - b = 0, -f + 3*f = -2*t - 2 for t.
2
Let m(g) be the second derivative of -g**5/20 - g**4/4 + 2*g**2 + g. Let b be m(-3). Solve -6*i + 4*q - 6 = -b*i, 5*q - 20 = 0 for i.
5
Let l be (3 - -3) + (-10)/5. Solve -3*v - 9 = -0*a - a, l = -2*a - 5*v for a.
3
Let v = 21 + -18. Suppose 2*a + 5 = v*a. Solve 2*d + d = 4*s - 20, -a = -3*d - s for d.
0
Let w = -13 + 17. Solve -4*z - 2 = -3*h, w*z - 5*h = -1 + 3 for z.
-2
Let w = -17 + 36. Solve -29 = -3*n + 5*b, b - w = -5*n + 2*b for n.
3
Suppose -4*c + 10 = -3*c. Solve v + 4*z = 1 - 17, 2*z = -5*v + c for v.
4
Let t(p) = p**2 + 8*p + 2. Let u be t(-8). Solve 0*a - u*k = -2*a + 4, -4*a = 3*k - 29 for a.
5
Let g be -4*((-10)/14 - 2/7). Solve 0 = 5*f + 10, 2*w - g*f = 5*w + 17 for w.
-3
Let q(g) = 4*g**3 + g**2. Let o be q(1). Let y be ((-8)/(-10))/(1/5). Let i = -4 + y. Solve i*d + 5 = 3*d + 2*r, -o*d - 5*r = 0 for d.
5
Let q(o) = -3*o + 1. Let c be q(-1). Let s be ((-4)/8)/(2/(-8)). Suppose -4*n + 30 = 5*f + n, 18 = 5*f + s*n. Solve -4*k + 1 = -4*x - 7, -c*k + f = -2*x for k.
-1
Let w = -16 - -20. Suppose -2*s + s = 2. Let z(x) = x**2 + 2*x + 2. Let h be z(s). Solve 5*b + 4*d = 13, -w*b - 2 = -2*b - h*d for b.
1
Suppose 0 = -m - 5*p - 3, 0*m - p = m - 1. Solve 5*i + 3 + m = 4*j, -5*i = -j - 10 for i.
3
Let t = 26 + -24. Solve -5*v - 12 = -3*g, -g - 4*g + 20 = t*v for v.
0
Let j(h) = h. Let v be j(3). Let p be 2 + -1 + 3 - 0. Suppose 4 = -v*u + p*u. Solve 0 = -u*l + 3*y - 23, 5*y - 2*y - 3 = 0 for l.
-5
Let d = -1 + 3. Suppose -3*u + 6*j + 8 = 2*j, -2*u = -4*j - 8. Solve a - 3*q - 10 = u, -q = d*a - a - 2 for a.
4
Suppose -2*q + 3*d - 41 = 0, -3*q - 101 = -d - 22. Let f = -17 - q. Solve -3*r - 4*a = a + 27, f = r - 5*a for r.
-4
Let v(r) = -r**3 - 3*r**2 + 4*r + 1. Let w be v(-4). Let h = w + 1. Solve -p = -4*d - 15, d + 5*p + 11 - h = 0 for d.
-4
Let u be 80/24*(-24)/(-10). Let m = -4 + u. Solve 2*y + m*h - 6 = 0, 5 = 4*h - 9*h for y.
5
Suppose -4*z + 2*i = -6, -3*z + i = -3*i - 12. Suppose -u + 1 = -2. Suppose 0 = -v - 1 + u. Solve -3*n + n - 2*b = -10, z = v*b - 4 for n.
3
Let v = -38 - -51. Solve 8 = -3*w + q, 5*w - 3*q + v + 7 = 0 for w.
-1
Suppose 2*f = -0*f + 4. Solve h = -f*h - 3*c + 15, -2*h + c + 10 = 0 for h.
5
Suppose -18 = -3*v - 3*v. Solve 2*m + 16 = 3*t, 0 = -2*t + 4*t + v*m - 2 for t.
4
Let q = -4 + 12. Let j = -3 + q. Solve i - 4*i = j*u - 12, -2*u + 2*i - 8 = 0 for u.
0
Suppose -4*q + 4 = r, 3*r - 4 - 8 = -2*q. Let h = r + 3. Suppose 5*t - 6 = 4. Solve -3*c = -t*c + 3*n + h, -5*c - 5*n = -5 for c.
5
Suppose 26 = 4*d - 10. Solve 2*t - t = -4*j + 8, -3*j + d = 0 for t.
-4
Suppose -3*d = -0*d. Suppose d = -5*n + 3 + 7. Let k be n + (-3 - (-9)/3). Solve 5*z = -k*p - 8 - 1, -3*z = -3*p + 18 for z.
-3
Let v(i) = i + 7. Let x be v(-5). Let l = 6 - x. Solve 7*q - 3*q = 2*s + 10, -l*q = 5*s + 25 for q.
0
Let x = 8 + -3. Let t = 1 + 3. Solve -2*q + 10 = -4*o + t, -x*q = o + 18 for q.
-3
Let y = 54 + -52. Solve 5*k - y*d = 22, -2*k - 3*k + 24 = -4*d for k.
4
Let a = 0 - -3. Suppose v + 0 = 2*z - a, -15 = -5*v. Solve 10 = o + 3*l, -z*l + 8 = 4*o - 5 for o.
1
Suppose -4*n = -0*n. Suppose 0 = -5*m - n*m. Solve m = -5*i - 5, 6*i = -5*h + 2*i - 19 for h.
-3
Let h(y) = y**3 - 7*y**2 - 6*y - 12. Let n be h(8). Solve -13 = t + n*d - 3, 2*t - 13 = 3*d for t.
2
Let s be 5 + 0 + -1 + 15. Solve -3*f + 7 = -2*i, -i - 2*i - 4*f - s = 0 for i.
-5
Let k be 3 + 0 - (4 + -6). Let x be (-4)/k*(-2 - 3). Let w = -2 + 5. Solve 0 = -4*j + f - 12, 4*j - w*j - 2*f - x = 0 for j.
-4
Let x(j) = -j - 2. Let f be x(-5). Let s be 38/(-4) + 1/(-2). Let o = s + 14. Solve f*m = n + 6*m - 7, -o*n = -m - 2 for n.
1
Let i = 12 + -8. Suppose -i*y = -3*g + 3 - 59, 5*g + 56 = 4*y. Let c be 20/28 - (-4)/y. Solve -c - 2 = a, -2*w - 3*a - 7 = 0 for w.
1
Suppose -2*o - 7 = -23. Suppose -v - 3*v = -o. Solve 0 = 5*p + h - 11, -3*p - 1 = -v*p + h for p.
3
Let z(g) = -g**2 - 5*g + 2. Let j be z(-5). Let t be -1 + 8/j + 74. Suppose -5*a = -257 + t. Solve 5*b + a = -3*i - 4, 0 = 3*b + 15 for i.
-5
Let b = -5 + 8. Let v be 1*(-2 + b) + 9. Solve -5*u + 2*o = -3*u, 0 = 3*u - o + v for u.
-5
Suppose -3*l - j - 2 = j, 2 = 2*l - 2*j. Solve -2*n + b - 1 - 1 = 0, l = -4*b - 16 for n.
-3
Suppose -2*w + c - 30 = 5*c, -2*w + 5*c = 21. Let v = w + 18. Solve 4*b = v*p + 33, 0 = -5*p + 2*b - 4*b - 21 for p.
-5
Suppose -2*o = -0*o - 20. Suppose -2*s - 3*d - o - 1 = 0, 2*s + d = -1. Let l be (-7 - 0)*36/(-126). Solve -2*n - 4*j + s = -4, 0 = 2*n - l*j - 12 for n.
5
Suppose -2*s - 3*c + 18 = 0, -3*c = -5*s - 0 + 3. Suppose 16 = 3*h + s*m - 8*m, -3*h = 3*m. Solve -2*p + 2*r - 7 = 3*r, -2*r = h*p + 6 for p.
-4
Let f(r) = r**3 + 4*r**2 + 1. Let h be f(-3). Solve z - 5*y = -h, 3*z - 5*y = -z - 25 for z.
-5
Let x(k) = 1. Let b(s) = s + 2. Let r(d) = -b(d) - 2*x(d). Let h be r(-8). Solve 0*q + q + h*g + 8 = 0, 6 = -2*g for q.
4
Let x(m) = -4*m**2 - m**3 - m - 2 + 0*m**3 - 2*m**3 + 2*m**3. Let a be x(-4). Solve 2*b - r = 2*r + 10, -a*r - 6 = -2*b for b.
-1
Let w(r) = 2*r - 14. Let f be w(10). Solve 4*t + o = 0, f*t - 4*t + 3*o = 0 for t.
0
Let q(k) = -3*k - 1. Let f be q(-1). Suppose -10 = -4*v - f. Solve 0 = -5*l + 3*t - 9 + v, 2*t - 11 = -3*l for l.
1
Suppose 4*g = -c - 165, -g - 63 + 15 = -2*c. Let r = -3 + g. Let t = -22 - r. Solve t = 2*h - 3*n, h = -h - 4*n - 12 for h.
4
Suppose 0 = -5*u + 3*u + 4. Solve m + 1 = 4*b + 2, 3*m = u*b + 13 for b.
1
Let q be 7 + (-7)/((-14)/(-8)). Solve -3*s = 0, q = o - 3*s - 2*s for o.
3
Suppose 0*s - 24 = -3*s - 3*d, 3*d - 12 = 0. Solve 5*r - r + 3*t = -14, r + t + s = 0 for r.
-2
Let m(n) = -n**3 + 5*n**2 + 6*n - 15. Let l be m(6). Let v(a) = a**3 + 14*a**2 - 15*a + 3. Let i be v(l). Solve i*b + 28 = 4*f, -3*b - 2 = f + 6 for b.
-4
Let p be 3*4/(-8)*-2. Suppose 10 = s + 2*m, -2*s = 3*s - p*m + 2. Solve 5*l 