 - 6 for o.
3
Suppose 0 = -4*j + 7*j - 18. Let l be (-32)/j*(2 - 5). Suppose 0 = 2*d - d - l. Solve 0*w - 23 = 4*w - 3*q, -d = -2*w - 4*q for w.
-2
Let o = -114 - -119. Solve -o*g - 2*j - 24 = 0, 3*g = 2*j + j - 6 for g.
-4
Let z(p) = -p**2 + 10*p + 1. Let c be z(7). Suppose 3*i = c - 1. Solve -2*a + 3*h = i, 5*h = 5 + 20 for a.
4
Let o(z) = z**3 - z**2 - 18. Let v be o(0). Let t = -8 - v. Solve -t = -4*r + 2*u - u, -4*r + 5*u = -18 for r.
2
Let a be (8/(-6))/(2*5/(-30)). Solve -5*m + 4*q = 18, 0 = a*m - q + 12 - 2 for m.
-2
Suppose -o + 7*w - 4*w + 8 = 0, 0 = o + 3*w + 4. Suppose 4*n = o*g + 20, -3*n + 2*g = -4*n - 5. Solve 0 = v - 2, 4*f + 6 = n*v for f.
0
Let w = -16 - -10. Let l(s) = -2*s - 7. Let z be l(w). Solve 3*b - 2*i + 0 = 4, -z*i - 10 = 5*b for b.
0
Let g = 12 + -7. Suppose 0 = -0*n + 5*n. Solve 3*t - 8*t - 5*y - 10 = 0, n = -g*y - 10 for t.
0
Suppose 0*u + 10 = 2*u. Suppose 0*i + 5*n + 35 = u*i, 3*i + 4*n = 7. Let v = -11 - -34. Solve -i*g - v = 2*h, -g = -3*g - 10 for h.
1
Let c = 5 - -2. Suppose -c = -x - 1. Let r = x + -4. Solve 3 = 3*k - 4*b, -4 = -r*k + b - 2 for k.
1
Let h(n) = 2*n + 1. Let t be h(2). Suppose -5*f = -13*f + 16. Solve 4*k - f = -t*r + 11, 0 = -4*r + 4 for k.
2
Let a(i) = i**3 - 4*i**2 + 5*i - 10. Let l be a(4). Solve -r + 0*m - 3*m - l = 0, 3*m = 3*r - 6 for r.
-1
Let r(l) = 2*l**2. Let g be r(1). Let h(f) = -3*f - 27. Let k be h(-10). Solve k*j - 4*x - 22 = 0, -g*j - 3*x + 6 = 14 for j.
2
Let c be (-2)/(2 - 16/10). Let d = c - -8. Solve 0 = -2*o + s - d*s - 6, -4*o = s + 18 for o.
-5
Let c be (-4)/(-14) - 38/(-14). Suppose p - c = -1. Solve -4*b + 4*y = 4, -y + 0*y - p = 0 for b.
-3
Suppose -10*v - 15 = -13*v. Solve -a - v = 0, -6*d = -5*d - 4*a - 16 for d.
-4
Let o = -1 + 1. Let s be 3*4 + o/(-1). Suppose 5*i = -3*j + 21, 12 = 44*j - 41*j + 2*i. Solve 2*v + 2 = s, g = v - j for g.
3
Suppose 3*o = -n - 2, -4*n = 2*o + 7 + 1. Suppose 0*q - 5*q = o. Solve p + 11 = -2*s, -s + q*p + 17 = -4*p for s.
-3
Let c = -1 - -4. Let n(q) = q**3 - 2*q**2 - 4. Let t be n(c). Suppose t*d = 8 + 2. Solve 0 = -2*z + 6, z = -2*b - d*z + 3 for b.
-3
Let c(g) = 2*g + 14. Let n be c(-7). Solve -2*l = z - 2, -3*z + n*l - 2 = -2*l for z.
0
Let o = 1 - -5. Let p = o + -3. Suppose p*g - g - 30 = 0. Solve 0 = -f + 4*w, -4*w - w + g = -5*f for f.
-4
Let z = -10 + 6. Let q(g) = -g**3 - g**2 + 6*g + 4. Let y be q(z). Solve 3*t - 3 = -2*c - 2, 4*t = 4*c + y for t.
3
Let j = 73 + -49. Let y = 21 + -13. Suppose -3*s + 5*s = y. Solve -4*p = -3*n - 2*p - 7, -4*n - s*p = -j for n.
1
Suppose -2*y - 8 = 2*y + i, 3*y + 6 = 3*i. Let o = 5 + y. Let c = 4 - 1. Solve 0 = d + o*m - 11, m + 4 - 11 = c*d for d.
-1
Let r(p) = p**2 - 7*p + 2. Let v be r(8). Suppose -v = -5*t, -2 = -3*j - 4*t - 3. Let a = 6 + j. Solve -2*s + a*k = 5, 5*s + 8 = -3*k + 6*k for s.
-1
Suppose v + 2*v = 12. Let z = -30 - -43. Solve -5*r + 37 = -3*u, -2*u + v + z = 5*r for u.
-4
Let u = -8 - -16. Suppose -5*p - u = -p. Let r be ((-3)/2 - 0)*p. Solve 4*d + 0*d + 26 = 3*h, r*h + 3*d = -9 for h.
2
Suppose 4*c + 0*c - 16 = 0. Suppose 3*y - 12 = c*f, -2*y + 20 = 2*f + 3*y. Solve 4*p - 2*h - 6 = f, 10 = 4*p + 4*h + 22 for p.
0
Suppose -49 = -5*v - 2*b + 4*b, 4*v + 2*b - 32 = 0. Let q be (v/(-6) - -1)*-4. Solve 2*o - 5*c = 2, -2*o + 6*c - 3*c = q for o.
-4
Let w(u) = -u**3 + 5*u**2 + u. Let g be w(5). Let y be 2/1*(-1)/(-2). Solve 3*a + 6 = 3*p, -g*a = -3*p + 3 - y for p.
4
Let m be (-38)/(-10) - 28/35. Solve -3*a + 0 = 5*j - 13, m = -j + 5*a for j.
2
Let v(r) = -r**2 - 13*r - 24. Let a be v(-10). Solve 0 = 3*f - 3*b + a, -f + 2*f = -4*b - 12 for f.
-4
Suppose 0 = -g - 1. Let u be g + 16 + 0 - 3. Solve -5*r - 3*p = -u, -r - 2*p = -1 - 0 for r.
3
Let v(d) = -d**3 + 6*d**2 + 8*d - 3. Let g be v(7). Suppose 4 = g*l - 8. Solve 0 = l*r, 5*o + 3*r = 2*o + 12 for o.
4
Suppose 2*w - 16 = -6. Solve -3*d = w*m + 17, -m = 5*d - 0*m + 21 for d.
-4
Let k(n) = -n**2 + 5*n - 1. Let m be k(2). Suppose -3*z = -m - 4. Solve -f + 19 = z*c - 5*f, 5*c = 3*f + 28 for c.
5
Let r be (-50)/(-18) + 4/18. Let h = 7 - r. Solve 0 = d + 1 - 4, -4*a + h*d = 0 for a.
3
Let s(w) = -10*w - 3. Let o be s(-2). Suppose -5*u + 2*k = 39, 24 = -u + 2*k - 7*k. Let q = -9 - u. Solve 0 = 5*a - y - o, 2*a - 4*y + 4 = -q*a for a.
4
Let r = 15 + -14. Let y = r + 2. Solve -y*m - 31 = -s - 3*s, 0 = 3*s + 5*m + 13 for s.
4
Let q(u) = -u**2 + 7*u + 13. Let a be q(8). Solve 0 = -2*y - 2*x + 4, -2*y + x + a = -2 for y.
3
Let b = 5 + -3. Let f be -2 + 5 + -7 + 7. Solve -f*j + b*j = -a, -5*j = -3*a for a.
0
Let q(h) = 4*h**2 - h - 1. Let n be q(2). Solve 3*i = s + n - 2, -i - 4*s = -8 for i.
4
Let a(y) = -2*y**2 + 4*y - 2. Let c be a(3). Let d = c + 11. Solve -d*j - 34 = 5*h, 3*j - 6 = 3*h - 0*h for h.
-5
Let q be -4*(75/(-12))/5. Solve 3*v - 10 = q*v - 5*n, 3*n = 4*v + 20 for v.
-5
Let q(p) = -3*p - 18. Let y be q(-8). Solve 0 = -o + 3*o + 2*b - 4, o - b = -y for o.
-2
Let u(g) = -g - 14. Let y be u(-16). Let s = 3 + y. Solve 0 = n + 2*l + s + 7, 5*l + 8 = 3*n for n.
-4
Suppose a = 2*a - 2. Suppose 2 = a*l + 4. Let s be (11 - l)*6/18. Solve 8 = 2*u + 3*h, -s = -4*u + 3*u + 4*h for u.
4
Suppose 3 = -5*u + 8. Let w be (1 - u)/((-12)/6). Solve -3*c + 3*n - 4*n + 5 = 0, w = 2*c + n - 2 for c.
3
Suppose 0 = z - 2*n - 4, -2*z + 2*n - 5 = -3. Let y = -2 - z. Solve y*s + 16 = 2*i, -3*i - 4*s = 17 + 9 for i.
-2
Let h = -3 + 9. Let b(t) = -t**3 + 5*t**2 + 6*t + 3. Let r be b(h). Suppose j = r*f - 2 + 4, 0 = j - 5*f - 2. Solve -2*z - 6 = 0, j*l + 20 = -0*l - 4*z for l.
-4
Let g(z) = -z**2 + 7*z - 3. Let q be g(6). Solve 4*r + q*x + 5 = -0, 5*r = x - 30 for r.
-5
Let t(d) be the third derivative of -d**6/120 + d**5/10 + d**4/12 - 3*d**3/2 + 2*d**2. Let g be t(6). Solve g*y + 4*c = 28, 5*y - 3*c + c = 12 for y.
4
Suppose d - 3*d = -4. Suppose d = -x + 5. Suppose -3*g + 4*w + 18 = 0, g + 2*w + x = -1. Solve -4 - 4 = -5*l + g*r, -4*r = 16 for l.
0
Let l be (-1 - -3)*3/2. Solve 3*f - 17 = 4*m, 8*m - l*m + 16 = 2*f for f.
3
Suppose -2*b - 6 = -5*b. Solve v - b*j = 10, -v + 0*j = -4*j - 20 for v.
0
Suppose 18 = 4*k - 2. Let f be -3 + k/(3 - 2). Solve g - 3*w = f, 3*g - 3*w + 22 = -8*w for g.
-4
Let o = -60 - -85. Suppose a = -4 + o. Let g be a/4 - 1/4. Solve 4*h = -5*y + 45, g*y + 2*h + 0*h - 35 = 0 for y.
5
Let x = -7 + 14. Let j = 55 - 35. Let b = j - 10. Solve y + 0*g + x = -g, 2*g = -b for y.
-2
Let p be (-3 + 23)*3/2. Let u = -15 + p. Suppose -6*d + d = -u. Solve 4*m - 5*h + 23 = d*m, 20 = 4*h for m.
2
Suppose -2*c + 8 + 0 = 0. Suppose -c*d = -25 + 5. Suppose d*j - 28 = -f, 3 + 13 = -3*f + 5*j. Solve 5*l - y = 23, -f*l - 2*y + 5 = -1 for l.
4
Let d(s) = -2*s**3 + 30*s**2 + 12. Let m be d(15). Solve -5*p - 3*v = -m - 25, -v = -4 for p.
5
Suppose 3*u = 3*y + 3, 3*u - 3 = -y - y. Solve y*q - 30 = -5*q + 5*o, q + 2 = -o for q.
2
Suppose -8 = l - 5*l + 4*u, 10 = 5*u. Solve 5*z + 2*k = 29, 5*k - 2*k + l = 2*z for z.
5
Let l(i) = 4*i - 14. Let n be l(4). Solve -8 = 2*q + 5*z, 3*q + 5*z = -n - 10 for q.
-4
Let n be ((-9)/2)/((-5)/(-10)). Let m be 3*(60/n)/(-1). Solve -4*b + 3*k = 2, -4*k - m = 5*b + k for b.
-2
Let q(f) = -2*f**2 + 6*f + 3. Let m be q(3). Solve 3*b + 5*y - 18 = 0, 4*y - m*y = 3*b for b.
1
Suppose o - 25 + 8 = 3*i, -12 = 4*o + 4*i. Let l = 17 - 10. Solve -2*v + l = d + v, -o*d - 5*v + 11 = 0 for d.
-2
Let j(w) = w**3 - 5*w**2 + 5*w - 1. Let z be j(4). Let y(q) = 2*q**2 - z + 7 - q**2. Let p be y(0). Solve 0 = 4*l - 4*a + 7 + 1, -l + p*a - 2 = 0 for l.
-2
Let k(u) = -4*u + 1. Let b be k(-1). Let d(q) = q**3 - 5*q**2 + q + 7. Let f be d(b). Let w = -2 - -4. Solve -3*x - f = -3*r, 0*r - 9 = x - w*r for x.
1
Suppose 4*m - 2*l = 10, 0 = 4*m - 3*l - 9 - 4. Let o be (-5 + 5)/(3/m). Solve 4*r - 8 = 3*v - 4, o = -3*v + 5*r - 2 for v.
-4
Suppose -4*j = -4 - 92. Let t = j + -22. Solve 5*x - 3*p - 4 = 0, t*x - 3*p + 5 = -4*p for x.
-1
Let z = -3 - -3. Let w be z + (0 + 3 - -2). Solve 2*i + 0*i - 3*n + 12 = 0, -w*n = -10 for i.
-3
Suppose 3*g = g - 28. Let z = -10 - g. Let q(n) = 2*n**2 + 5*n + 2. Let u be q(-3). Solve -i - z*f = i + 12, u*i - 5 = -3*f for i.
4
Suppose -3*s - 18 = 3. Let u(b) = b**2 + 3*b - 10. Let l be u(s). Solve -21 = 5*h + 4*z, h + 4*z = -h - l for h.
-1
Let p be (-6)/(-3*(-3)/(-6)) + -4. Solve -3*o + 3*r + 3 = 0, 5*r + 30 - 10 = p