 o = -u*g + 11 for g.
4
Let p be (-3 + 5)*(-3 - -1). Let w = 8 + p. Solve -10 = 3*l + s, -l + 2 = -3*l + w*s for l.
-3
Suppose -14 = -a - 3*c, -3*c + 16 = 5*a - 6. Let r(b) = -b + 4*b - a*b. Let l be r(3). Solve -5*k + h = 3*h - 8, 4*h - 16 = -l*k for k.
0
Let s(a) = -2*a. Let i be s(-1). Suppose -3*g + 15 = 3. Solve -v = g*v + 5*q - 5, -i*v + 3*q = -17 for v.
4
Let p be (-180)/5*(-1)/2. Solve -z + 3*i - p = 1, 5*z + 30 = 2*i for z.
-4
Let y(a) = -a**3 + 7*a**2 + 10*a - 12. Let v be y(8). Solve v*k - 3*c + 6 = 0, -3*k + 2 = -3*c + 4*c for k.
0
Let v be ((-1)/(-2))/((-9)/(-54)). Suppose t - 5*f - 7 + 1 = 0, -v*t - f = -18. Solve 3*n + t*q - 7 = 8*q, 5*n - 3 = -q for n.
1
Let b = -4 + 1. Let u = 2 - b. Solve u*j - 4*j - 2*h = 5, 5*j - 2*h - 17 = 0 for j.
3
Let y be (8/6)/((-2)/3). Let u be (2 - 24/3)/y. Suppose -4*b = o - 21, 3*b = -2*o + u*o + 7. Solve 4*w + 2*m + m + 24 = 0, -5 = -5*w + o*m for w.
-3
Suppose i + 0*i + 5*m = -10, -3*i + 2*m + 21 = 0. Solve -i*q + 0*q = 2*b + 10, 5*q = -b - 15 for q.
-4
Let x = -53 + 89. Suppose x = 5*v + 1. Suppose -v = -s - 6. Solve 1 = 4*g + g - m, s = g - m for g.
0
Let v be (-16)/56 + (-74)/(-14). Solve 0 = -4*t - 3*r - 45 + 14, v*t + 2*r = -30 for t.
-4
Let r(q) = -7*q - 3. Let y(p) = 6*p + 2. Let x(d) = 3*r(d) + 4*y(d). Let t be x(1). Solve 3*u - 4*m + 41 = -t*u, 0 = -u - 4*m + 11 for u.
-5
Let r(f) be the second derivative of 1/12*f**4 + 5/3*f**3 - 11/2*f**2 + 2*f + 0. Let g be r(-11). Solve 20 = 4*p, 5*t - 2*p + 3*p - 20 = g for t.
3
Suppose 0 = i - 0*i - 1, -3*i = 2*p - 11. Solve 3*g + 3*z = -12, -p*g + 4*z - 1 = -9 for g.
-1
Let n = -8 - -9. Suppose -3 = -u + n. Solve 5*v + 2 = -6*x + u*x, -5*x = -4*v + 5 for v.
0
Let v be (-2 - -3)/((-3)/(60/(-5))). Solve -v*u + 5*c = 1, -4*u + 10 = u + 5*c for u.
1
Let b = 15 - 10. Solve -b*u - 4 = -k, u + 3*k + 0 = -4 for u.
-1
Suppose -m = -2*m. Suppose 3*f + 1 - 10 = m. Solve 0 = -f*j + 5*n + 12, -4*j = -3*j + 3*n - 4 for j.
4
Suppose 0 = 7*h - 2*h - 55. Let n = -6 + h. Suppose -4*a + 5*t + 16 = 0, 0*t - n*t + 4 = a. Solve 5*s + 5*u = -33 + 13, -a*u = -s + 21 for s.
1
Suppose 3*j - 3*j - 5*j = 0. Solve 5*w + j*w - 15 = -5*f, -5*w = 4*f - 11 for w.
-1
Let f(y) = -3*y**3 - 2*y**2 - 2*y - 1. Let c be f(-1). Let u = -10 + 11. Let n be (2/(2/c))/u. Solve -3*d - 15 = 3*z - z, n*d = 3*z + 3 for z.
-3
Let j be (-1)/6 + (-38)/(-12). Suppose -1 = y - j. Solve -12 = m - y*m - 2*b, -9 = 3*m - 3*b for m.
2
Suppose 4*c = 3*c + 2, 7 = f + 2*c. Solve -r + 0*r - f = -p, 5*r = -25 for p.
-2
Let k = -9 - -11. Solve -k*o = 6, 13 = f - 5*o + 1 for f.
-3
Let i = 98 - 96. Solve -i*l - 2*x + 14 = 0, -4*l + 5*x + 1 + 0 = 0 for l.
4
Suppose 0*y - 3*m = -2*y + 28, 3*y - 4*m - 44 = 0. Solve 0 = -2*o + 5*r + y, 4*o + 5 = -r + 1 for o.
0
Suppose 20 = -q - 4*m, 0*m = 3*q + 4*m + 20. Suppose 5*c - 33 = 4*z + 41, q = 5*z + 5. Solve -5*y = -t - 23, -4*t + c = y + 1 for t.
2
Let g = -5 + 10. Suppose -o - 3 + 6 = 0. Solve -j + 3*a = o*j - 21, 5*j = -g*a for j.
3
Let g be 5*6*3/30. Let u be (18/15)/g*-10. Let r be (-1 + 1)*2/u. Solve -3*z = 3*f - r*f - 12, 5*f - 2*z = 20 for f.
4
Suppose -3 = -l + 2. Suppose 0 = 2*v - 5 - l. Suppose a - 3*a + 22 = 4*p, -v*p = -2*a - 14. Solve -a*z + 1 = -2*z + 2*f, -2*f + 13 = 5*z for z.
3
Suppose 0 = -2*t + 3*z + 15, -5*t = -3*z + z - 54. Solve -2*i - 2*i + j = -5, 2*j = -3*i + t for i.
2
Suppose 0 = 2*v + 2 + 2. Let w be (v + 1)*30/(-2). Suppose -6*g = -3*g - w. Solve 4*t + 0*t = g*m + 5, t = -m - 1 for t.
0
Let d(f) = f**3 + 2*f - 1. Let c be d(1). Let r be 5 - c*(-2)/(-4). Let h = -175 - -180. Solve 0 = -u - 4*a + 2 + 2, -u - h*a = -r for u.
4
Let z = 9 - 21. Let b = z + 16. Solve b*s + s = p - 22, 0 = 4*s + 2*p + 26 for s.
-5
Let o be -2 + 2*3/2. Let z be 2 + -3 + 9/o. Solve t + 15 = -4*l, l - 3*t + z - 1 = 0 for l.
-4
Let c be 0*2*(-2)/8. Solve -4*h + 4*z + 0*z + 20 = c, -5*h = 5*z + 5 for h.
2
Suppose 2*p - 8 = -2*p. Let y = 0 + p. Suppose -3*a + 2*a - 3*f - 9 = 0, 4*f = -5*a - 1. Solve -y*m + 3*k = -a - 14, -25 = 5*k for m.
1
Let j be (-1)/4 - (-2)/8. Solve j = 2*h + 2*y + 4 - 0, h = 3*y - 6 for h.
-3
Let c(x) = -3*x**2 + 2 + 6*x**2 - x**2 - 7*x - x**2. Let f be c(7). Solve -2*t = 8, 5*r - f*t = -2 + 10 for r.
0
Suppose 9*j - 4 = 7*j. Suppose d = j*d. Solve 0 = 5*t - 5*h + 15, d = 5*t + 4*h + 21 + 3 for t.
-4
Let o(r) = -r**2 - 8*r - 7. Let a be o(-6). Suppose -v + 75 = 3*g, g + a*v - 63 = -2*g. Solve 0 = -5*x - b + 3*b + g, 5*b = -x - 11 for x.
4
Let s be (-8)/20 - 2/(-5). Suppose -z - z - 10 = s. Let q = z - -5. Solve -w + 2*r = q, 3*r = 4*w - 0*w - 10 for w.
4
Let m(j) = -4*j - 4. Let r be m(-2). Solve r = q - u, -q = -4*q - 3*u + 6 for q.
3
Suppose -3 = 5*h + 7, 5*l - 10 = 5*h. Solve 2*o - k + 4 = l, 2*o - 2*k + 5*k + 20 = 0 for o.
-4
Let f be 2/(-7) - 2/(-7). Suppose -19 = -2*r - 0*d - 3*d, f = -r + 4*d - 18. Solve -3*w - 6 = 3, 0 = 2*l + r*w + 16 for l.
-5
Suppose -2*i = -5*i + 9. Suppose -30 = i*g - 8*g. Solve -g*h = -3*w - 2*h - 4, 8 = -4*h for w.
-4
Let t = 25 - 13. Suppose 0*o - t = -4*o. Suppose -2*b - o*m + 6*m = 0, -3*b = 4*m. Solve -2 = 2*d, -f + d - 2*d + 1 = b for f.
2
Let m(p) = -p**2 - 2*p. Let d be m(0). Let i = -3 + 2. Let n be (-20 + 1)/(-1) + i. Solve 5*a - v + 5*v - n = d, 2*v = 4 for a.
2
Let g(u) = 4*u - 23. Let h be g(7). Solve 2*x + 6 = h*w, 2*w = -3*x - 4 - 5 for w.
0
Suppose -5*z - 15 = 2*c, c - 3*c + 30 = -4*z. Solve 4*d - 14 = c*p, 0 = 3*p + 6 - 0 for d.
1
Suppose -2*b + 5 = w + 1, 4*b - 12 = -3*w. Solve 0 = -3*m + 2*v + 20, 12 = -4*m + 3*m - w*v for m.
4
Let w be (-16)/(-6) - (-3)/9. Suppose -2*h = w*h - 100. Let g be h/(-6)*(-72)/30. Solve 3*k - g = j, -2*k - 12 = 3*j + k for j.
-5
Let d(w) = -w**3 + 5*w + 3. Let u be d(-3). Let l = u - 11. Suppose 32 + 8 = l*v. Solve -4 = 3*x + 5*t, -3*x - 2*x - 5*t - v = 0 for x.
-3
Let j be (-1)/1 + 2/2. Suppose -4*u - 2*m + 42 = j, -5*u + 48 = -0*m + 4*m. Suppose 4*r - r = u. Solve -3*s + r*w = -23 + 3, 2*s = -3*w + 2 for s.
4
Let l be 3/(2 + -1) - 0. Solve 0 = -2*x - 3*n + 9, 4*x - 2*n = -l - 19 for x.
-3
Let w = -28 - -30. Solve -4*o + 4*s = 6 - 2, 7 = -3*o + w*s for o.
-5
Suppose -3*s + 8 = 2*m, -9 = 2*s - 6*s - m. Suppose -w = -s - 1. Solve 5*p + 4*d - 50 + 9 = 0, w*p - 27 = -3*d for p.
5
Suppose 5 + 8 = n. Solve -l + 6*a = 2*a + n, a = -3*l + 13 for l.
3
Let a be (-6)/5*(5 - 125/15). Let k = 1 + 2. Solve -k*b - 4*u + 8 = -5*b, a = -b - u for b.
-4
Let l = -24 + 27. Solve -o - 23 = -3*x + l*o, 3*x = -o + 13 for x.
5
Suppose 0 = -4*c + 3*c. Solve -2*n + 2*g + 11 - 1 = c, g = -n + 3 for n.
4
Let j(v) = v**3 + 4*v**2 - 3*v. Let t be j(-4). Let p be t*2*(-1)/(-4). Suppose p*s = 4*s. Solve b = -3*o - 8, -4*o + 3*b - 28 = -s*o for o.
-4
Let y(j) = -5*j - 1. Let s(l) = l**2 - 3*l + 1. Let h be s(2). Let u be y(h). Let m be (1 + -5)*(u + -5). Solve -m = 4*r - 4*z, -2*r + 5*z - 2 + 6 = 0 for r.
-3
Suppose -104 = -3*b - 53. Solve 3*h + 3*g - 34 = -7, 0 = 5*h - 2*g - b for h.
5
Let a be ((0 + 0)/(-3))/(-1). Let n be 2/(((-20)/(-25))/2). Solve a = -f - m + 1, n*f + 3*m + 4 = 17 for f.
5
Let c be (14/(-4) - -2)*-2. Solve 2*v - 5*b + 8 = 0, -2*b + 0 + c = -v for v.
1
Let d = 81 + -78. Solve m - 4*k = -3, 0 = -d*m + 2*m + k for m.
1
Let v be (1 - -2)/3*0. Suppose -4*a + 9 - 1 = v. Solve 0*r - 5*r - a*m = -27, -4*r + 17 = -3*m for r.
5
Suppose -3*j + 28 = 7. Suppose -5*y = 2*r - j - 17, -3*y - 4*r = -20. Solve -y*s = -3*d + s + 22, 3*d + s + 8 = 0 for d.
-1
Let x = 3 + 4. Let j = 10 - x. Solve 2*b + j*u - 1 = 0, -u + 3*u = -b + 2 for b.
-4
Let l(g) = 5*g**2 - 2*g + 2. Let d be l(1). Suppose d*o - 32 = -3*s - s, -5*o + 17 = -s. Solve 2*t = 3*m + 2, 5*t - 3*m + o*m + 12 = 0 for t.
-2
Suppose -9 + 12 = c. Solve u - 5 = -2*y, 3*u - c*y + 24 = -6 for u.
-5
Let p(y) = -y + 4. Let v be p(4). Suppose 0 = f - v*f - 4. Let o be ((-4)/(-2))/(2/9). Solve w + 8 = 4*a, w - f*a + o = a for w.
-4
Let g be 1 + (-4)/(6 + -2). Solve -3*r - 4*m = -35, g = -5*r - 2*m + 7*m for r.
5
Let h(y) = -3*y + 21. Let a be h(7). Let w(c) = -c**3 + 10*c**2 - 5*c - 5. Let j be w(9). Let v = 60 - j. Solve 5*b + 25 = a, -i + 2*i + v = -5*b for i.
-4
Let v(d) = -d**3 + d**2 + d - 3. Let i be v(0). Let q be (-3)/4 - i/4. Let l be 0/(-1 + q + -1). Solve l = 5*h + 4*r + 27, h - 12 = -0*h + 5*r for h.
-3
Suppose 4 = -3*h - 2*p + 16, 5*