- 19 = 3*v for v.
-5
Let g(d) = 2*d + 12. Let m be g(-5). Solve 4*p - 9 = m*w - p, p - 6 = -w for w.
3
Let y = 144 - 143. Solve 0 = 5*q, -3 - y = 4*a + 5*q for a.
-1
Let q be 28/2*24/84. Solve 2*z + q = 0, 2*z = 4*b + 8 - 28 for b.
4
Let v(z) = z**2 + 6*z + 4. Let y be v(-5). Let a be (y - 146/(-6))*3. Let d = a - 50. Solve 3*c + 4*p = -0*c - 16, -4*c - d = 4*p for c.
-4
Suppose 17 = c - 5*h, 3*h - 2 = 5*h. Suppose 0 = u - 3*u + 6. Suppose 15 = 8*m - u*m. Solve 4*z = -2*j + 3*j - 12, -c = -m*j for z.
-2
Let f(o) = -2*o - 2. Let s be f(-5). Let q = -4 + s. Suppose -q*z - 13 = -3*n + 12, -2*n - 4*z - 10 = 0. Solve 0 = n*i - 5*a + 40, 0 = i - 4*i - 3*a for i.
-5
Let m be 66/14 + 2/7. Let l(c) = c**2 - 4*c. Let h be l(m). Let z be (-43)/(-2) - ((-6)/(-4) + 0). Solve -2*p - o - z = p, 3*o + h = 2*p for p.
-5
Let w = -72 - -14. Let s = 83 + w. Solve -3*y - o - 13 = -y, -5*o = s for y.
-4
Let p = -18 - -73. Let g be 242/p - 4/10. Solve g*w - 26 = 3*h, -2*w = 5*h - 0*w for h.
-2
Let d(m) = m**2 - 3*m - 1. Let i be d(-1). Solve -c + 4*w = 8, -2*c - 24 = i*c - 4*w for c.
-4
Let d be 26/8 - (-1)/(-4). Suppose 0 = -5*v + 1 + 29. Let w(q) = -q**3 + 5*q**2 + 5*q + 8. Let x be w(v). Solve d*m + 11 = -5*a, -x*a + 13 = -6*a - m for a.
-4
Let k = 5 + -7. Let h = 3 + -3. Let y be k + 2 + (h - -17). Solve -i - 3*b = 0, -y = 4*i - 3*b - 2*b for i.
-3
Let f be ((-2)/3*(-30)/(-4))/(-1). Solve 4*g + v = -11, -5*g = -0*g - 5*v - f for g.
-2
Suppose 0 = 5*w - 4*y - 76, 2*w + 2*y - 12 = -y. Solve g + w = 4*r, 6*g - 3*g - 9 = -3*r for r.
3
Let w = 1 - -4. Solve 5*u + 15 = 4*h, 3*u - 6 = 4*h + w*u for h.
0
Suppose 0*z + z - 3 = 0. Let r(o) = o**3 + o**2 + 9. Let t be (0/3)/(2 + 0). Let q be r(t). Solve -l + 5 = -z*c, c + 4*c - 2*l = -q for c.
-1
Let i(p) = -5*p - 4. Let b be i(-2). Let w be 3/(-6) - 26/(-4). Solve -f + l = b, l = w*l - 15 for f.
-3
Let j(v) be the first derivative of -v**2 - 15*v - 2. Let h be j(-10). Suppose h*w = 10*w. Solve 3*d - m - 3 = w, 3*m + 9 = -3*d + 4*d for d.
0
Suppose -5*t = 2*y + 1 + 6, 0 = -2*y - 3*t - 1. Solve -3*w + 4 = -j, 0 = -4*w - 3*j + y - 3 for w.
1
Suppose -3*k + 4*a + 28 = 0, -4*a + a - 28 = -4*k. Solve -5*j = 5*w - 2*w - 15, k*j = 0 for w.
5
Let w be -1*(-1 + -2 + -1). Let y(h) be the first derivative of -h**3/3 - 5*h**2 - 6*h - 5. Let k be y(-9). Solve 0 = 3*j + k*t - 4*t - 7, 4 = 4*j - w*t for j.
3
Let t(q) = 8*q - 3. Let l be t(1). Solve 5*r + 15 = 5*i + l, -2*r - 7 = -i for r.
-5
Suppose 5*j - o - 3*o = 16, -10 = -2*j - 2*o. Solve 4*t + 7 = f, -t - 12 = j*f + 3*t for f.
-1
Let m = 21 - -1. Let b(w) = w**2 - 2*w + 3. Let a be b(3). Let z be (-2)/2 + (a - -2). Solve f = -5*y + 24, 0 = 2*y - z*y - 3*f + m for y.
5
Let z = 2 + 1. Suppose 2*r - z = r. Solve -4*h + d = -3*h - 3, -h - 4*d = -r for h.
3
Let q be (20/30)/((-4)/(-30)). Suppose b = 2*x + 11, b - 20 = 6*b + q*x. Solve 0*j + 2*c = -j + b, 5*c = 15 for j.
-5
Let v be 1 - (-4)/(16/36). Solve 2*z = 4*u - 22, -4*u - 5*z = -3*z - v for u.
4
Let k = -5 - -17. Suppose k = -3*m, 4 = a + m - 2*m. Solve 5*l = -4*n - 33, -n + a*l = 4*l + 22 for n.
-2
Let g be -5 + 10 + (-6)/(-2). Let b = g + 12. Let k(f) = 2*f**3 - 2*f**2 - 2*f. Let x be k(2). Solve -3*n + 7*n - x*h = 0, -4*h + b = n for n.
4
Suppose -3 = -5*z + 2. Let n be 1 - ((z - 0) + -1). Let p be 2/(-2) + n + 0. Solve 0 = 4*r - 5*r + 5*d - 9, -5*r - 4*d + 13 = p for r.
1
Let g be (0 - 0) + -1 + 4. Suppose 3*t - 2*y - 8 = 0, g*t = 2*y - y + 7. Solve 0 = -t*w - 4*c + 4 - 0, 4 = 4*c for w.
0
Let f(y) = y**3 + 7*y**2 + 4*y - 5. Suppose 2*b = -5 - 7. Let l be f(b). Solve w + l = 2*h, 0*w - 4*w = h + 10 for w.
-3
Let h(n) = -10*n - 14. Let m be h(11). Let l = -89 - m. Solve 0 = -5*t - 2*x - l, -5*t - 5*x + x = 45 for t.
-5
Let i(b) = 37*b**3 - b + 1. Suppose -2*z + 2*a - 6 = 0, 10 = 2*z - 0*z + 2*a. Let r be i(z). Solve 5*p + 20 = 0, 6*x + r = x - 3*p for x.
-5
Let l(z) = 9*z**2 + 1. Let v be l(-1). Let b be (-1148)/(-18) + v/45. Suppose 5*w - w = b. Solve 0 = d - 4*m + 19, -m - 3*m = -w for d.
-3
Suppose 5*q = 5*i - 10, 3*i + 2*q + q = 24. Solve -i*v - 22 = -4*f - 7, 5*f - 2*v - 23 = 0 for f.
5
Suppose 2*a + 0 - 2 = 0. Let g be 11/(a - 0) + -2. Solve -o = -2*i + 7, o - 4*i + g = -0*o for o.
-5
Suppose -3*d = -r - 3*r - 31, 0 = d + 4*r - 37. Suppose -9 = 2*a - m + 8, -4*a - 2*m = 54. Let v = a + d. Solve z - p + 3 = 0, 5*z + v = 4*p - 9 for z.
-3
Suppose -15 = -5*x - 0. Suppose -3*k + 2 = s - 3*s, 0 = -x*k + 3*s. Solve 0 = 2*q - 0*b - b - 9, q - k*b = 3 for q.
5
Suppose -20 = -4*h, 3*y + 6 = 2*h - 4. Solve -3*r + 5*i + 3 = 0, 4*i + y - 1 = -r for r.
1
Let q = -36 - -57. Let h = 35 - 25. Let y = -4 + h. Solve 2*u - 10 = -4*d, -y + q = 3*u for d.
0
Suppose 6*v - v = -5*g - 230, 2*v - 3*g + 87 = 0. Let p be 10/v + 58/18. Suppose 1 + 3 = k. Solve -3*u + 8*u - k = p*x, -3*x = 5*u - 16 for x.
2
Let v be 10*(4 - 7/2). Solve -v*l = -0*l - 25, 3*l = -3*f + 21 for f.
2
Suppose -4*j + 5 = -7. Let o be 2 + (-1 - 0 - 1). Solve 8 = -j*v - o*r - 2*r, 4*r - 8 = 0 for v.
-4
Let b(z) = z**3 + 5*z**2 - 2*z - 8. Let f be b(-5). Solve 4*s = -5*t + f*s - 14, -4*t + 3*s = 25 for t.
-4
Let a(d) = d**2 + d + 3 + d**2 + 2*d. Let n be a(-2). Suppose -3*z - n*t + 43 = z, -t = 2*z - 23. Solve -5*q = z - 2, -10 = -2*v + 5*q for v.
0
Suppose -7*q + 2*q = 2*k - 37, 0 = 5*k - 5*q - 40. Solve -14 = -0*d + d - 3*u, -d + 2*u = k for d.
-5
Let t = -16 + 20. Solve -t*s + 5*o - 6 = 0, 5*o + 27 = -2*s + 9 for s.
-4
Let v(m) = -21*m**3 + 2*m**2 + m - 2. Let l(r) = -r**3 + r**2 + r - 1. Let x(o) = -l(o) + v(o). Let c be x(-1). Solve -4*h - c = -y, y - h + 5 = -2*h for y.
0
Let p be (48/(-10))/3*60/(-24). Solve 5*j = j + p, 0 = -2*m - 4*j + 14 for m.
5
Let f be (6/(-5))/(18/(-60)). Suppose f*u = -0*u + 48. Solve y + 5*p - 22 = 0, u = y + 3*p - 2 for y.
2
Let x = -16 - -26. Suppose -2*q = -5*s + x, 0*q - 17 = -q - 3*s. Let h(r) = r**2 + 4*r + 3. Let w be h(-4). Solve 3*o - q*g - w = -17, 4*o = 5*g - 12 for o.
2
Suppose o + 2 = a, -o = 2*o - a + 2. Suppose 11 = 4*b - 5*f - 5, o = -3*f. Solve 2*g = -4*i - 2 - b, -16 = 4*g + 4*i for g.
-5
Suppose -3*w + 7 = 2*n - 3, 14 = 5*n + 2*w. Suppose -n*f + 20 = -20. Solve -3*u - v = -5*v + 5, -5*u + v = -f for u.
5
Let w = -2 - -3. Let q(y) = 22*y - 1. Let g be q(w). Suppose -j - 18 = -4*n, 0*j - 5*n = -2*j - g. Solve 0 = 4*r + 12, 6*t = t + j*r + 6 for t.
0
Suppose 0 = -2*v + v - 4*v. Solve -3*n = 4*q - v*n + 19, 3*n + 20 = -5*q for q.
-1
Let x = 46 + -25. Solve 4*j = -t + x, -3*j + 0*t = -t - 14 for j.
5
Suppose 2*n - 14 = -5*c, 2 = c - 0. Solve -4*z - 5 = -9*z, -2*l - n*z + 2 = 0 for l.
0
Suppose 5*f = -3*h + 2*f + 15, 4*h - f - 20 = 0. Solve -3*x + d = -h, -2*x + 5 = 3*x - d for x.
0
Suppose 5*k - k - 96 = 0. Let d be (-50)/(-13) + (-4)/(-26). Suppose d = f + f. Solve -f*i - 11 = -t - 1, -5*i + 2*t - k = 0 for i.
-4
Let m = -34 + 54. Solve 5*a - 5*l = -m, 0 = 2*a - 5*l + 2 + 18 for a.
0
Let m(x) = -x**3 - 2*x**2 - x - 4. Let h(j) = 2*j - 3. Let u be h(0). Let s be m(u). Solve -4*d = -4*c + 12, 3*d - 3*c + s = d for d.
-1
Suppose 5*q - n - 1 = 0, 0 = -q + 2*n - 0*n + 2. Solve -3*w - 4*f + 19 = q, 4*f + 11 = 3*w - 0*f for w.
5
Suppose 5*s = j + 5, -4*j - 2*s + 3*s + 18 = 0. Solve -j*d - 4*r = -9*r + 10, d = 3*r - 2 for d.
-2
Let c = -15 + 25. Let a be 4/c - (-24)/15. Let y(r) = -r**3 + 6*r**2 - r + 8. Let m be y(6). Solve -4*w - 12 = -i, 20 = a*i - 5*w + m for i.
4
Suppose d - y + 28 = 0, -2*d + d - 8 = 3*y. Suppose -2 = -3*z - 3*w - 17, 40 = -2*z + 4*w. Let j = z - d. Solve q - 3*q = 5*f - 19, 5*q - j = -f for f.
3
Let x be -3 - (-1 - (2 + 3)). Solve 0 = -5*l + 15, x*a + a + l = -5 for a.
-2
Let x = 18 - 13. Solve 4*c - 2*j - 5 = -13, 0 = x*j - 20 for c.
0
Let h be 90/6*(-12)/(-10). Suppose 5*y - h = -3. Solve 6 = n + y*p, 0*n - 4 = -n - p for n.
3
Suppose -6*u = -2*u - 24. Solve -4*n - 18 = 2*a, -2*n + 0*a + 2*a = -u for n.
-2
Suppose -f = -1, -w - 2*f = w - 106. Suppose 4*q - 12 = w. Solve 2*o = 5*t + 11, -t - q = -4*o + 3*t for o.
3
Let h = 2 + -1. Let l be h/3 - 41/(-3). Suppose 3*g - l = -5. Solve 0 = -g*x - 4*r + 1, -2*r - 25 = 5*x - 8 for x.
-5
Suppose -2*z = -5*m - 9, -m = 4*z - 5*m. Let c be z*(2 + (1 - 4)). Solve 4*i + 5*x - 4 = 18, i = c*x - 3 for i.
3
Let d = -16 - -24. Let g be (2 + -1)/(4/d). Solve -g*p = 3*p - 20, -