7 = 5*v - h, -3*v - a*h = -8*h - 11 for v.
1
Suppose 2*x = -3*x - 55. Let m(p) = p**2 + 8*p - 13. Let l be m(x). Solve -5*t + 5*h - 18 = 2, l = -5*t + 2*h for t.
-4
Let r(j) = j**2 - 7*j - 1. Let y be r(8). Solve 5*x - 30 = -5*o, -4*x + 2*o - y = -1 for x.
1
Let t be 3/4 + (-5)/(-4). Solve -3*m - t*c = -0*m - 5, -2*m + c - 6 = 0 for m.
-1
Let x be (-4)/18 - (-32)/(-18). Let z = 3 - x. Solve -z*g - 20 = -k, -2*g - 5*k = -g + 30 for g.
-5
Suppose 22*q - 25*q = -15. Solve 0 = q*p - 3 - 12, -4*w + 4*p = 28 for w.
-4
Suppose -2*x - 12 = -4*q, 2*q - q = 3*x + 3. Suppose x*o = 5*o + 2*b - 34, o = 3*b. Let c = o - 3. Solve 0 = i - 4*i + j - 4, -4*i = j + c for i.
-1
Suppose -4*i - i = -15. Suppose -3 = -2*x + 3. Solve 0 = q - x*u + 2*u - i, -5*q = -2*u - 12 for q.
2
Let j be 20/50*(1 - -14). Solve d + 0*t = 3*t - j, -2*t + 2 = 0 for d.
-3
Let u(h) = -4*h - 1. Let d be u(-6). Let j = d + 5. Solve -2*t + 0*c = 5*c + j, -c = t + 8 for t.
-4
Let y be (-1)/4*-1*4. Let i(s) = 5*s**3 + s - 1. Let c be i(y). Solve 2*f + 10 = -f + 2*q, -c*f + 15 = 3*q for f.
0
Let c(g) = -g**3 + 8*g**2 - 8*g + 9. Let k be c(7). Suppose 0 = -0*x - x + k. Solve i + 2 = -3*w + 9, x*i + 1 = -w for w.
3
Let w = 13 - 1. Suppose w = 3*p - 2*u, -5*p - u = -3*p - 8. Solve -5 + 32 = -p*d + 3*g, -2*d + 9 = 3*g for d.
-3
Suppose -4*b + 0 = -8. Let n be 5/b*(-36)/(-15). Suppose -3*f - 15 = -n*f. Solve 2*v - 5*p + 21 + 2 = 0, f*p - 15 = 0 for v.
-4
Let w(x) = -x**3 - 4*x**2 - 4*x + 1. Let o be w(-3). Let u = 6 - o. Let s be (u - 4)/((-4)/14). Solve 2*f - 22 + s = 5*t, t = -f + 4 for t.
-1
Let m = 3 - 3. Let q be (-5)/7 + 4/(-14). Let u be (4/(-6) - q)*15. Solve 3*z - u*b = -2*z, -2*b - 6 = m for z.
-3
Let v be 0 + -3 - (-5 - -2). Solve 0 = -5*u - 5*h - 35, 0 = 2*u - 2*h + 2 - v for u.
-4
Let k be 8/10*25/10. Solve -2*a = 2*u - a + 9, 9 = -5*u + k*a for u.
-3
Suppose -2*g + 0*o = -o - 3, 0 = 5*o - 15. Let s = g + 2. Solve 4*y + 8 = 0, 0 = 2*l - l - s*y - 5 for l.
-5
Let j(z) = z - 5. Let h be (-6)/(-12) - (-9)/2. Let r be j(h). Solve 0 = -r*y - y - 3*u - 13, -2*u + 14 = -5*y for y.
-4
Let b(r) = r**2 + 7*r + 4. Let j be b(-7). Suppose 0 = -0*p + j*p - 16. Solve 2*k + 10 = -p*q, -6*k + 2*k = -12 for q.
-4
Let x(n) = n**3 + 5*n**2 + n + 5. Let m be x(-5). Solve -3*r + v + m*v - 12 = 0, 3*r + 12 = 3*v for r.
-4
Suppose -4*v = -5*q + 15, q - 15 = -4*q - 2*v. Solve 3*f = 2*w - q + 1, 4*w - 4 = 0 for f.
0
Let x(l) = -l**3 - 3*l**2 + 5*l + 6. Let m be x(-4). Suppose 2*h = -1 + 37. Let s be (2 - (2 - 1))*27. Solve -4*n - s = 5*z, 2*z + 2*z + m*n = -h for z.
-3
Suppose -2*x + x = 0. Suppose -3*k - 2*b + x*b = -20, -b - 5 = -k. Let n = -4 + k. Solve 0 = 2*r + 2*o + 8, 4*r - 6*o + o - n = 0 for r.
-2
Let a be 1 - (-5 - (-4)/(-2)). Let r = a - 4. Solve 0 = -2*z + 4, b + 3 = r*z - 0*z for b.
5
Suppose -2*n = -d + 10, -4*n - 25 + 9 = -d. Let q be (-2)/((-2)/n) + 8. Solve 0 = -2*z + 4*o - 10, 6*z + 5 = z + q*o for z.
3
Suppose 2*m - 11 = -3*m - 3*a, -3*a = -m + 13. Suppose -11 + 1 = 5*i + 5*z, m*z = 4*i - 8. Solve -5*u = -20, -3*o + i*o = -4*u + 22 for o.
-2
Let c be -1 + 0/(1/1). Let h be (-2 - c)*(0 + -3). Solve 0*z - i = -z, -2*i = -5*z - h for z.
-1
Let r = -15 + 23. Solve 3*c + 26 = 4*o, o - 3*c + r*c = -5 for o.
5
Suppose -28 = -2*n - 2*n. Let h be 2 + 3/(3/n). Let p = h - 4. Solve -p*v - y - 4*y = -30, -v + 4*y = 14 for v.
2
Suppose 3*r = -69 - 84. Let p = -30 - r. Let l = -8 + 12. Solve -l*t + 2*z + 10 = 0, -3*t + 0 = 3*z - p for t.
4
Let i be -11*(-2 + 60/33). Solve i*w + 14 + 1 = -5*v, -5*v - 15 = 4*w for w.
0
Suppose 0 = a - 3*a + 6, 2*a = 5*m - 9. Suppose -m*y = 2*y - 10. Solve -2 = 2*s + 5*g - 7, 4*s + y*g - 18 = 0 for s.
5
Suppose -6*l - 30 + 120 = 0. Solve 2*d = -d + 2*f + l, -f = 0 for d.
5
Suppose -3*y = -47 - 28. Suppose -5*u + y = -0*u. Solve u*b + a + 4 = 0, 4*b = 2*b - a - 1 for b.
-1
Suppose 2*k - 4*p = 11 + 1, -1 = p. Let j be (4 - 2)*(-3 + k). Suppose j = -2*l + 6. Solve -2*g - 2 = -2*h - 0*h, -5*h - l*g = 9 for h.
-1
Let s(t) be the second derivative of -t**3/6 + 11*t**2/2 + 3*t. Let a be s(-8). Solve 2*d = n + 5, 5*d - a = -n + d for n.
3
Suppose -g - 3*o = -2*g + 2, 2*o + 4 = 2*g. Suppose 4*k - 48 = -5*w, -4*k - 2*w + 43 = k. Let s = -7 - -11. Solve -6 = g*c, -f + s*c = -20 + k for f.
1
Let i(k) = k - 3. Let w be i(3). Suppose 2*u + 26 = 7*u + 2*f, w = -3*u + 4*f. Let g be u/(3/(-12)*-2). Solve 0 = -2*x + 2*q - 1 - 3, -2*x + g = 2*q for x.
1
Suppose 6 + 2 = b. Let g(x) = x - 8. Let w be g(b). Let u(n) = -n**3 - 3*n**2 + 5*n - 1. Let t be u(-5). Solve w = -5*s - j - t, 50 = -5*s - 5*j + 10 for s.
-4
Let k(o) = -o**3 + 7*o**2 - 5*o - 2. Let l be k(6). Suppose 5*i - 38 = -3*r, 2*i - l*i - 4*r + 18 = 0. Solve 2*q + h = i, -h + 6*h = 25 for q.
1
Suppose 0 = p - 2. Solve -2*w + 3*f + 12 = 0, f = -5*w - p + 15 for w.
3
Let l(k) = k - 2. Let z be l(3). Let q(h) = 13 - 8 - h + 15. Let t be q(15). Solve 3*b + 15 = m, -4*b - t*m - z + 0 = 0 for b.
-4
Suppose b - 3*c - 27 = -2*b, 3*c + 34 = 4*b. Let s be (5/b)/(1/7). Solve -3*f - 20 = s*t, -5*t - 5*f = 25 + 5 for t.
-1
Let t = -3 + 2. Let b = t - -5. Let l be 9/6 + (-52)/(-8). Solve -3*k + b*k - l = -5*i, k - 5*i + 2 = 0 for k.
3
Let h = -18 + 30. Suppose 0*s = -3*s + h. Solve 2*w - 7 = -2*k - 1, s*w + 20 = 4*k for k.
4
Let y(a) = a**2 - 8*a + 9. Let h be y(7). Solve -18 = -4*u + h*i, 5*u - 20 = 3*i + 2 for u.
5
Let j be 15 - 0 - (3 - 0). Suppose 5*r - j = 2*r. Solve -2 = 2*g + 3*u, -2*g - u - r = 2 for g.
-4
Let x(k) = -k**3 - 4*k - 1. Let h be x(3). Let p(j) = -j**2 - 5*j - 5. Let c be p(6). Let a = h - c. Solve 3*r + r = -l - 23, -2*l = 5*r + a for l.
-3
Let q be (6 - 21)*(-1)/3. Solve 0*l - 2*b - 6 = -2*l, 2*l = q*b + 18 for l.
-1
Suppose -3*g - 13 = j - 5, 6 = -2*g - j. Let k be 1/(-4) + g/(-8). Suppose k = -x - y - 1, -x + 6*x = -3*y - 1. Solve -4*i + 5*d = -5*i - x, 0 = -5*d - 5 for i.
4
Let x(p) = -5*p**3 + 3*p. Let o(n) = -6*n**3 - n**2 + 4*n. Let b(v) = 4*o(v) - 5*x(v). Let y be b(4). Solve q = -y*j + 19, 4*j = 3*q + 2*j + 13 for q.
-1
Let o be (0 + 14)*6/4. Suppose 62 = 3*u + 2*n, u - o = -2*n + n. Suppose 2*q - 13 = -m, 0*q + 30 = 5*q + 2*m. Solve q*k = 4*r + u, 5*k + 4*r = -2 + 18 for k.
4
Let r = 31 - 11. Let y = 30 - r. Suppose -3*n + y + 2 = 0. Solve -n*x - 4 = -0*x, 0 = -3*p - 4*x + 5 for p.
3
Let p be 1/(-5)*12*-5. Solve -5*o + 14 = -3*y - 0*y, 4*y = -o + p for y.
2
Let x be (-319)/(-116) + (0 - (-3)/(-4)). Solve -3*f = -2*q - 0 + 2, 0 = 2*f - x*q for f.
-2
Let w(i) = i**3 - 9*i**2 + 1. Let h be w(9). Solve 5*y = q - 3 - h, y = 2*q + 1 for q.
-1
Let h(f) = 3*f - 2. Let w be h(2). Let u = -8 - -2. Let z be w/u*18/(-2). Solve k - 4 = -4*m + z*k, 2*k + 2 = 2*m for m.
1
Let m = 16 + -11. Let k(p) = -p - 4. Suppose 7*j = 3*j - y - 21, -30 = 5*j + 5*y. Let t be k(j). Solve w = -2*o + t, 4*w - m = -5*o + 5 for w.
5
Let z = 30 - 26. Let l(q) = q**2 + 3*q - 6. Let g be l(-5). Solve 5*n + z*d - 6 = 18, 4*n = -g*d + 20 for n.
4
Let t = 13 - 24. Let n = t - -23. Suppose 6 - 2 = w. Solve -25 = 5*l - x - 5, -w*x = 3*l + n for l.
-4
Suppose d = 2*d - 4. Let k be (-12)/(-20) + 1/(15/(-9)). Solve 4*t - d = -4*u, -2*u - 3*t = -k*u for u.
3
Let d(u) = -u**3 - 6*u**2 - 4*u + 3. Let y be d(-5). Let i be (0/y)/(-1 + 0). Solve -2*c + 8 = i, v + 2*v = -4*c + 7 for v.
-3
Let w(i) = 12*i**2. Let l be w(-1). Let t = l - 8. Solve -4*b - t = 4*z, 5*b - z + 0*z = -11 for b.
-2
Let x = 15 - 13. Solve 3*b + 5*h = -2 - 24, -x*b + 4*h = -12 for b.
-2
Let i be 13/5 - 14/(-35). Let n be (-220)/(-15)*3/2. Suppose 0 = -5*q - 2 + 27. Solve 5*o = f + n - q, -i*f = 6 for o.
3
Let p be 2/2*14 + -2. Let b = p + -7. Suppose -b*w = -4*g - 17, -4*w = g - 3*g - 16. Solve g*q + 4 = 2*l, -2*l + 1 = -6*l + q for l.
-1
Suppose 4*g + 44 = -4*x, 3*g - 12 = -x - 41. Let r(p) = -p**3 - 10*p**2 - 8*p + 12. Let j be r(g). Solve v = -w - 6, 5*w + 27 = -j*v + v for w.
-5
Let g = -8 - -12. Solve y - g = 3*y - 2*j, -8 = y - 4*j for y.
0
Let v(w) = -w**2 - 12*w + 9. Suppose 15 = -z - 4*r, r = 3*z - z + 21. Let k be v(z). Solve i = -f + 4*f, 5*i - k = -5*f for i.
3
Let k = -10 - -18. Suppose j + k = -1. Let l be (-38)/j + (-2)/9. Solve l*u + 6 = -w - 16, 14 = -2*w - 2*u for w.
-2
Suppose -d + 3*d = 10. Suppose 3 = 2*z - x, d*x - 4 = -3*z + 7. Suppose 6 - z = f. Solve -f*g + c = 12