g*v + 1, 0 = -3*d - 2*v - 21 for d.
-5
Let g(y) = y**3 + 5*y**2 + 4*y + 2. Let h be g(-4). Suppose -h*d - 10 = 4*r, 3*d - 2*r - 14 = 3. Solve 0*s = -n + 2*s - 6, 0 = d*n - 5*s + 17 for n.
-4
Suppose 11*s - 12*s = -10. Let m(y) = y**2 - y - 6. Let v be m(0). Let i be ((-16)/s)/(v/15). Solve i*u - 15 = -5*b + 17, 5*b + u - 23 = 0 for b.
4
Let v(z) = -3*z**2 + 2*z - 2. Let x be v(2). Suppose -5*q - 5*b + 4 = 9, 3*b + 7 = -2*q. Let p be 15*((-48)/x)/q. Solve 3*c = 2*i + 9, 0*c = 3*c + i - p for c.
5
Let z(g) = g**2 + 12*g + 2. Let c be z(-12). Solve -5*q + 2*n + 23 = 0, -3*n - 10 = c for q.
3
Suppose -9*q = -0*q + 171. Let m(a) = a**3 - a**2 + 4*a - 2. Let n be m(3). Let h = q + n. Solve 5*k - t = -h, -2*k - 2*k = -2*t + 12 for k.
-1
Suppose -3*q = r, -5*q - 4*r = -q. Suppose 5*b = -3*t + 2 + 9, 0 = -3*b - 4*t. Suppose 3*j - b*j = q. Solve 7*d - 8 = f + 3*d, j = -5*f + d - 2 for f.
0
Suppose 4*t - 3*p - 32 = -6*p, t + p - 9 = 0. Solve -3*y - 17 = t*i + y, 0 = -4*i - 3*y - 13 for i.
-1
Let h be -2*3/(18/(-75)). Suppose -6*d = -d - h. Let l = -4 + d. Solve -6*n = 2*u - n - 1, 0 = -n - l for u.
3
Let i = 5 + 1. Solve -2*s - 3*v - i = 0, s + s + 4*v + 10 = 0 for s.
3
Let t be (16/28)/((-4)/(-14)). Suppose -2*r - v + 37 = -t*v, -1 = v. Solve r = -5*q - z, -3*z = 7 + 2 for q.
-3
Let h = -72 - -76. Solve 2*j - 5*v + 20 = 0, -3*j + 16 = -0*j + h*v for j.
0
Let d be (-14)/3 - (-6)/(-18). Let i = d + 16. Solve 3*k = -6, 4*h + 1 + i = 4*k for h.
-5
Let o = -2 - -5. Let p be (o/2)/(6/16). Let y = 1 + 3. Solve -6*z = -z + 3*m - 12, p = -y*m for z.
3
Let k be 2 + (-3)/((-9)/6). Solve 2*z = 4*n - 4, -2*n + k*z + 6 = 2*z for n.
-1
Let c(j) = -j**2 + 15*j - 17. Let g be c(13). Solve 0 = 2*k + 3*d + 28 - 11, 3*k = d - g for k.
-4
Let a = 210 + -200. Suppose 3*z - z = 6. Solve 8 = t + 4*x - 4, a = z*t - x for t.
4
Let r = 29 + -12. Suppose -d - r - 33 = 0. Let j be 1/(-6) + d/(-12). Solve 2*t - 3*t + 1 = -4*s, -j*s - t - 7 = 0 for s.
-1
Suppose 3*r - 2 = -20. Let m be 58/6 - r/18. Let j be 6/m + 60/25. Solve -5*v + 12 = 2*i - 3*i, 2*v - j*i + 3 = 0 for v.
3
Let q = -4 - -6. Solve q*k + 2*p + 2*p = 20, 32 = 5*k + 4*p for k.
4
Let x(j) be the first derivative of -j**2/2 - 3*j - 2. Let a = 5 - 8. Let n be x(a). Solve n = 3*y + 3*c - 0*c + 18, 24 = -3*y - 5*c for y.
-3
Let d(x) = -x**3 - 5*x**2 + x + 1. Let a be d(-6). Suppose -a = -5*q - 1. Solve 0 = -2*h - f - 6, f = -2*h - 4*f - q for h.
-3
Suppose -l + 5 - 6 = 0. Let u = 2 - l. Solve u*j - 5*s = 23, -7*j + s + 8 = -3*j for j.
1
Suppose 5*c + 5*l = 3*l + 23, -c - 3*l = -2. Solve 5*f = 5*u - 45, -c*u = 5*f - 4 - 1 for f.
-4
Let q(x) = 5*x**2 - 1. Let h be q(1). Let n(b) = -2*b**2 + 7*b + 4. Let y be n(4). Solve -28 = h*w + 4*t, y*w + 2*t = 5*w for w.
-2
Suppose -4*z + 41 = -7. Suppose 0*s - 2*a - z = -4*s, s - 17 = -3*a. Let q(n) = 8*n - 2. Let d be q(4). Solve 0 = -5*j - l + 30, 5 = 2*j + s*l - d for j.
5
Let x be (2 - -10)/(1 - -1). Let k = 11 - x. Solve -3*v - 4*r - 24 = 0, 3*v + r = k*r for v.
-4
Let n = -13 - -16. Solve 3*h = -4*q + h, n*q = 5*h + 26 for q.
2
Let t(s) = -s**3 - 9*s**2 - s + 13. Let j be t(-9). Suppose -27 = -5*i + m, 0 = 5*i - 2*m + 6*m - 17. Solve -w - 13 = 3*o - 0, 0 = 2*w + i*o + j for w.
-1
Let t be (1/3)/(2/12). Let m = t + -2. Solve -2*s + 4*y - 24 = 0, 4*s - 3*y + 6*y - 7 = m for s.
-2
Let h(d) = -4*d - 12. Let q be h(-10). Solve -t = -5*s - q, 0 = 3*s + 3*t - 3 + 9 for s.
-5
Suppose -3*g - g = 304. Let i = g - -116. Suppose 0 = 4*d - 2*j - 86, 2*j = -4*d + 26 + i. Solve -2*b = 5*z + 20, 3*z - d = 4*b + b for b.
-5
Let n(r) = -r**2 + 9*r - 5. Let y be n(6). Let g = -11 + y. Suppose 3*p - 2*s = 4, 3 = 5*p - 4*s - 1. Solve 2*j + g*f = -10, 12 = -p*j - f + 1 for j.
-2
Suppose -3 = 3*h + 3*k - 6*k, 5*k = -h + 11. Solve 4*c - s + h = 0, -4*c + 5*s = c - 10 for c.
-1
Let s = 1 + 2. Solve -s*c - 2*a - 9 = 0, 8 + 2 = 5*c - 5*a for c.
-1
Let t be 5*-3*2/15. Let l be ((-105)/6)/7*t. Solve 4*v + 3 = -l*s, -2*s = 3*s - 3*v - 11 for s.
1
Let h = 6 + -1. Suppose h = -2*y + 9. Solve -3*w - w = -3*i + 28, 8 = -4*w - y*i for w.
-4
Let n(x) = 3*x - 21. Let t = -6 - -17. Let w be n(t). Solve 5*u + l = w, -7 - 2 = 3*l for u.
3
Let z(j) = -2*j**3 - j**2 + 2*j + 2. Let k be z(-2). Let h = 15 - k. Let g be 9/h + (-3)/(-15). Solve -g*c = -3*q + c, c + 4 = -q for q.
-2
Let p(m) = -4 + 0*m**3 + m**2 + 4*m**2 + 3*m + m**3. Let n be p(-4). Suppose -a = -6*a + 4*d + 18, a = 2*d. Solve -b + n*b + a = 2*j, -18 = -2*j - 4*b for j.
1
Suppose -3 = -2*k + 1. Suppose k*t = 6*j - j + 28, -80 = -3*t - 2*j. Solve 0 = -l + p + 6, -l - p - 4*p = t for l.
1
Let z = -6 - -11. Suppose -5*d + o + 4*o = 0, -3*d - z*o = -32. Let m = 30 + -14. Solve -3*u + w + 6 = -w, -u - d*w = -m for u.
4
Suppose 0 = 3*l - 4*b + 1 - 5, 5*l - 12 = 4*b. Let j(c) = -l + 2*c + 3 + 0*c - 4*c. Let z be j(-3). Solve 4 = 4*m, 0 = -z*f + 4*m - 24 for f.
-4
Suppose 5*i - 4*j - 98 = 0, 0 = -9*i + 6*i + 2*j + 58. Solve 2*y = 5*q + i, 0*q - 5*q - 15 = -5*y for q.
-4
Suppose -f - b + 5*b = -26, -2*f = -3*b - 27. Let c be f/8 + (-1)/(-4). Solve g - u = -0*u, -4*u = -3*g - c for g.
1
Let u(w) = 5*w**2 + w. Let f be u(-1). Suppose 42 = -0*x + 3*x. Suppose z - 5*q = 4*z - 20, -2*z - 4*q + x = 0. Solve 26 + 6 = -3*b + 5*l, z*l = f*b + 36 for b.
-4
Suppose 0 = d - 1 + 3. Let r = 7 + d. Solve x = -x + 5*f, 0 = -5*x + r*f for x.
0
Suppose 0 = -2*i - 6 + 2. Let z(f) = 2*f**2 + 3*f + 2. Let v be z(i). Solve 2*a + 3*g = -5, -5 = -4*a + g - v*g for a.
5
Let q = 15 - 13. Solve 4*w - 3*l = 5, -q*w + 7*w - 4*l - 7 = 0 for w.
-1
Suppose 2*d = x + 3, -d = -6*d + 3*x + 5. Solve 4*m - 3*s - d = 3, 3*m + 4*s + 26 = 0 for m.
-2
Suppose -v + 3*v - 6 = 0. Suppose -v*n + s + 6 = 0, -n + s = 3*n - 8. Let g(z) = -2*z - 1. Let y be g(-3). Solve 4*k = y*w - 6, -4*k = -0*w - n*w for w.
2
Let z be (-8)/(-2) - 4/(-4). Solve -2*d + 5*h - 6 = 0, 3 = -5*d + z*h - 12 for d.
-3
Let f = -3 - -17. Solve 0 = -q + 3*u + f, -q - 4*u = -0*q + 21 for q.
-1
Let p = 3 + 1. Suppose 1 = o - p. Suppose 2*c - 4*w = 3*c + 12, -3*c - o*w - 8 = 0. Solve 3*q + m = -7, c*q = -5*m + 3 - 5 for q.
-3
Let p(a) = -5*a - 6. Let q be p(-2). Solve -14 = 2*d - q*h, -2*h + h = -d - 2 for d.
3
Let v(i) = -6*i + 34. Let m be v(5). Solve -2*r - 9 = -5*r + t, -12 = m*t for r.
2
Let r(l) = -l**3 - 5*l + 4*l + 0*l**2 + 2*l**2. Let s be r(1). Suppose -4*z + 0 + 8 = s. Solve 3*a - 18 = -3*o, -4*o - z - 6 = -4*a for a.
4
Let n = -3 + 7. Suppose -23 = -5*b - 8. Solve -s + b*m + n = -3, 0 = 4*s - 3*m - 1 for s.
-2
Suppose -2*p - p = -21. Let v be ((-40)/35)/((-2)/p). Solve v*s - 16 = 0, -4*b - 2*s = -0*s - 24 for b.
4
Let i be (-79)/(-5) - 1/(-5). Solve z + p = -3*p - 22, -2*p = 3*z + i for z.
-2
Suppose -21 = -2*z - 5*v, -4*z + 2*v = -2*z. Solve 0*w + 9 = -z*w - 2*q, w + 2*q - 1 = 0 for w.
-5
Let i be (-388)/(-14) + 4/14. Suppose -3*x + x + i = 2*w, -2*w - 74 = -4*x. Solve 0 = -n + 3*f - x, 5*n - 4*n = -f - 1 for n.
-5
Suppose -5*x = -z - 15, 3 = x + 5*z - 0. Let o = 1 + 0. Let p = 2 - o. Solve x*b + 4*w + 21 = 0, 2*b - 5*w - 10 = -p for b.
-3
Let p be ((-64)/(-20))/(4/10). Let w be (p/(-5))/((-12)/30). Solve -w*x + 24 = 5*h, 2*h + 3 = 4*h - 5*x for h.
4
Suppose -r + 3*i - 17 = -4, r - 2*i = -8. Let a be ((-26)/(-10) + -2)*5. Solve -3*l + v + a*v = 16, r*l = -5*v - 3 for l.
-4
Suppose 3*q - 13 = -3*b + 2*b, 3*q - 2*b = 1. Solve -l = 2*g + 11, q*l = 2*g + 3*g for l.
-5
Let y be (-1)/4 - (-68)/16. Solve 19 = -3*t + 2*i, 5*t - t = -y*i - 12 for t.
-5
Let w(o) = -4 + 3 - 5 - 2*o + o. Let g be w(-11). Solve 2*y + 5*d = y - 19, -g*d - 20 = 0 for y.
1
Let i = 7 + -4. Solve 0 = -j - 4*d + 16, i*j = -0*d + 5*d - 37 for j.
-4
Suppose 2*n + 3*n = 15. Suppose -15*m - 140 = -20*m. Solve t + 3*t + 4*v = m, n*v = -t + 15 for t.
3
Let i = 43 - 38. Solve 2*c + 4*o = 18, -i*c = -5*o + 20 + 10 for c.
-1
Let f = -3 - -5. Suppose 0 = -f*z - 10, -3*j - 15 = -2*j + 2*z. Let p be 2/j + 54/10. Solve -4*h = c + c + 2, 4*c = h + p for h.
-1
Let m(w) = -w**3 + 13*w**2 - 11*w + 10. Let c be m(12). Let k be (-1 - -2) + (-154)/(-7). Solve 0 = -5*g + 3*x + k, 5*g - 3*x + x - c = 0 for g.
4
Suppose -3*l + 55 = -l - 3*q, l - 33 = -4*q. Suppose 5*w = 5*v + 36 - 1, 3*w - 5*v = l. Solve -2*x = -2*a + a - 7, x + w*a = -14 for x.
1
Let f = -50 + 26. Let g = 13 + f. Let u