j = -2*k - 2 for k.
0
Let n be 2 - 1 - (-5 - -2). Let o be 17/2 + 2/4. Let g be ((-18)/72)/((-1)/28). Solve 3*i - g*j + 3*j - o = 0, 0 = n*i - j - 12 for i.
3
Let k = -31 + 56. Solve 2*p - k = 5*i, -5*p = -2*i - 34 + 3 for p.
5
Let a(i) = -i + 3. Let h = -3 - -6. Let k be a(h). Solve k*l - 12 = 2*l - y, 3*l + 17 = y for l.
-5
Suppose 0 = -2*q - 3*q. Solve 3*x + 5*m = -8, -m + q*m - 20 = -4*x for x.
4
Let j(l) = -l + 9. Let o be j(4). Suppose 6*v - o = v. Solve 4*i - v = 2*h + 5, 4*h - 3*i = 3 for h.
3
Suppose -2*v + 3*v - 3*c = 47, -c = v - 31. Solve -7*i + 2*i = 5*y - v, -14 = 2*y - 5*i for y.
3
Let b(i) = -8*i + 2. Let s be b(-1). Solve -2*j + 5*v = -0*v + s, -3*j - 15 = -4*v for j.
-5
Suppose k = 3*t - 11, -t - k + 3*k - 3 = 0. Solve -3*g = -6*g + z - 10, -5*g = -t*z for g.
-5
Let w be (12/8)/(2/4). Solve j - 2*s = 0, 0 = -5*j + s - w - 6 for j.
-2
Let h be (-1)/((-1)/4) + -2. Solve -3*w + h*n + n - 18 = 0, -n = -3*w - 12 for w.
-3
Let h be (-10)/(-15) - (-21)/9. Let o(k) = 3*k**2 - k - 1. Let m be o(2). Solve 4*l - 3*n = m*l - 5, h*l + n = -1 for l.
-2
Let o be (-4 + 2)*1/(-2). Let y(v) = 3*v - o - 3*v + 2*v. Let u be y(3). Solve 0*k = k - n - 1, -5*k + u = 3*n for k.
1
Let q(t) = -t**3 - 2*t + 1. Let n be q(2). Let i = 16 + n. Let c = i + -1. Solve 7*o + 1 = -v + 2*o, -5*v = c*o + 5 for v.
-1
Let p(a) be the second derivative of -a**3/2 + a**2/2 - 8*a. Let b be p(-1). Solve -3*j = b*c + 29, 37 = -2*j - 2*j - 5*c for j.
-3
Let p(h) = -3*h - 4. Let t be p(-4). Let s be (-1)/(-2)*(11 - 3). Solve -b - 12 = -s*b, -5*j + 2*b - t = 0 for j.
0
Let u = 6 + -4. Solve -3*o = -2*c - 15, 0 = -u*o + c + 2*c + 10 for o.
5
Suppose -l - 15 = -6*l. Let t be 3 - 2*(-3)/(-2). Solve -4*a + i = 0, 2*a + 0*a + l*i = t for a.
0
Suppose -4*t + t = 18. Let z(g) = g**3 + 6*g**2 - 2*g - 9. Let p be z(t). Let i be (3 + -2)/(-1) + p. Solve -15 = -2*k + 3*d, -3*d - 15 = k - i*k for k.
0
Let m be 1/4 - 77/4. Let h = m + 37. Let i = 10 - 5. Solve -4*n + g + 12 = 0, i*n - g = g + h for n.
2
Let i = 6 - 6. Let b = 2 - i. Solve -b = -g, -5*q + g - 11 = -2*g for q.
-1
Suppose 3*p = p + 4. Solve 2*d + s + p*s - 13 = 0, 12 = 4*s for d.
2
Let u be (-28)/(-6)*(-12)/(-14). Solve 0 = -2*k - u, 2*k = 5*p - 0*p + 21 for p.
-5
Suppose 0 = 3*m + 5 - 14. Solve m*a = -2*o + 1, o = -5*a - 2*o + 2 for a.
1
Let i(f) = -f**2 - 10*f + 6. Let a be i(-10). Solve -30 = l - a*l - 3*x, 0 = -3*l - x + 14 for l.
3
Let n(p) = -p**2 - 9*p - 6. Let a be n(-9). Let m be (6 + a)*(-1)/2. Solve 36 = -l + 5*b + 9, 3*l - 5*b + 31 = m for l.
-2
Suppose -2*y - 9 = -5*y. Suppose -a + 4 = 3*a. Let s be a*-4*5/(-2). Solve 0 = -y*p - 4*w + s, 0 = p - 3*w - 2 + 3 for p.
2
Suppose -11 + 4 = -b - 5*c, -2*c + 2 = 0. Let i(x) = x**2 + 6*x - 3. Let r be i(-7). Solve -r*a + 10 = b*l, 0 = l - 5*l - 4*a + 4 for l.
-3
Let o(f) = 3*f**2 + f. Let r be o(-1). Let w = 4 - r. Suppose -2 = -b + w. Solve 3*y - 4*q = -23, -b*y - 3 = 5*q + 7 for y.
-5
Let j(f) = 8*f - 1. Let m(i) = -i + 10. Let t be m(7). Let l be j(t). Solve -2*n + l = 3*o - 2, -o - 5*n + 30 = 0 for o.
5
Let w = 41 - 27. Solve -5*d = 3*c - w, d = 5*c - 4 - 10 for d.
1
Suppose -2*r - 12 + 4 = 0, -3*r - 3 = 3*x. Solve x*y = -5*i + 15, i - 25 = -i - 5*y for i.
0
Let c be 1/3 + 140/(-15). Let x = 11 + c. Solve 2*w - 8 = 4*m, -x*w + 6*w - 5 = -3*m for w.
2
Suppose -w - 1 = u, 0 = -w - 0*w - 2*u - 5. Suppose 0 = -4*t + 5*p - 7, 0 = w*t + 3*p - 8 - 7. Solve -3*x - 11 = z, 5*x + 11 = -0*z + t*z for x.
-3
Let k = 171 - 167. Solve n + k*n = -2*b - 19, 5*b = 2*n + 25 for b.
3
Let k = 65 - 62. Solve -k*i - 5*l + 16 = 0, 0*i + l = i + 8 for i.
-3
Let k(h) = 2*h**3 - 3*h**2 - h + 2. Let d be k(2). Suppose 4*u - 10 = -2, -z - u + d = 0. Solve q - 2*a = -4, -z*a + 6*a = -5*q + 22 for q.
2
Let a = 13 + -2. Solve -2*j + 5*l + a = -8, 4 = 5*j + 2*l for j.
2
Let x(a) = a**3 - 5*a**2 - 4*a + 2. Let p be (4 + -1)/(4/8). Suppose -p*c = -c - 30. Let s be x(c). Solve -2*g + 4*i - 4 = -s, i + 3 = 0 for g.
-1
Let l be (-2 - -5)/(-3)*30. Let v be 1/(-6) - 155/l. Let z(q) = -7*q - 1. Let r be z(-3). Solve -5*y + 3*i = r, 10*y - v*y + 20 = i for y.
-4
Suppose 2*v = 5*v + 6. Let m be 4/(-6) + v/(-3). Solve m = -k + 3*h + 7, -h = 4*k - 4*h - 1 for k.
-2
Suppose 15 = 8*k - 3*k. Suppose -4 - 5 = -k*r. Solve -h - w = r, -7*h + 2*h - 2*w = 15 for h.
-3
Let i(t) = -7*t - 31. Let u be i(-7). Let s(q) = 2*q**3 - q**2 + 1. Let b be s(1). Let w be b/1 + -1 - -2. Solve -w*g + 5*p + u = 5, -g = -3*p - 11 for g.
-4
Let l(c) = c**3 + 4*c**2 - 7*c. Let p be l(-5). Solve -3*w = -4*v + 20, w + v - p = 3*w for w.
-4
Let c = 36 - 32. Solve 0 = -p + 4*p - c*i + 13, 2*i = 4*p + 14 for p.
-3
Let c(u) = u + 19. Let s be c(-12). Solve -3*r = -5*f - s, 4*f - 1 = 5*r - 4 for f.
-2
Suppose 0 = -3*t - 3*j + 6, -j + 3*j = 3*t + 14. Let r = t - -5. Solve 0*o - 1 = o, b = -r*o - 3 for b.
0
Suppose -2*u = 3*b - 5, -5*u + 25 = -0*b - 5*b. Let w = 5 - 0. Solve -4*x - w*f + 16 = 0, 8*f - 16 = u*f for x.
-1
Suppose 13*o - 12 = 10*o. Solve o = -w + 2*w, 3*q + 2*w - 2 = 0 for q.
-2
Let y = 5 - -2. Let z be 33/7 - (-2)/y. Solve 5*d - 3*q = 6, z*d - 3*q + 2*q - 12 = 0 for d.
3
Suppose -4*o = -f - 3*f, 0 = -4*o - 3*f - 35. Let r = 6 - 16. Let a be (o - -3)/(4/r). Solve 3*q + 5*b - 22 = 0, a*q = b + 2*b - 20 for q.
-1
Suppose 6*m = 3*m + 12. Suppose m*o = 17 + 27. Solve 2*j + o = 5*c, -5*c = j - 0*c - 2 for j.
-3
Suppose 2*u = -5 + 13. Let d(y) = 3 - y**3 + 7*y - 2 + 3*y**2 - 2*y. Let c be d(u). Solve 4*j - 4 = 3*h - 0, 0 = 2*j - c*h + 12 for j.
4
Let v(u) = -u**3 + 21*u**2 + 20*u + 44. Let j be v(22). Solve 2*t + 6 = j, -6*r - 3*t = -r - 6 for r.
3
Let x = -37 + 42. Solve -29 = x*f + s, -3*f + 0*s - 35 = 5*s for f.
-5
Let o(r) = -r**3 - 6*r**2 - 5*r - 1. Let z be o(-5). Let v = z - -2. Solve b - v = -c, -5*b = c - 0*c + 15 for c.
5
Suppose 0 = k - 3*k + 44. Suppose 0*q + k = 2*q. Solve 4*o + 0*o + q = -3*n, 2*o - n = -3 for o.
-2
Let s = -16 + 16. Solve -2*v + 6*v = 4*g - 12, 4*g + 4*v + 12 = s for g.
0
Let j(y) = -y**2 + 8*y - 5. Let d be j(7). Suppose 3*f - 5*f = -4. Solve -d*c - 10 = 2*s, 5*s - 2*c - f = 8 for s.
0
Suppose 0 = 3*g + 4*b - 15, -3*g + 3*b = 2*b. Solve 0 = r - g, -3*r = 2*j - 0*r - 5 for j.
1
Let a(p) = 4*p - 13. Let g be a(4). Solve 4*m - 2*h = -22, -4*h + 3*h = -g for m.
-4
Let c be 4/18 + 12/(-54). Solve 4*v - 2*i + 16 = c, i = -5*v - 2*i - 9 for v.
-3
Let g(r) = -4*r**2 + 3*r - 4. Let a be g(2). Let j = 18 + a. Solve -10 = -2*f - 3*t, 0 = -f - j*t + 2 + 3 for f.
5
Let k(c) = -c**3 - 4*c**2 - 5*c - 2. Let j be k(-3). Solve 4*o - 5 = -j*b + 3*o, -b = -o for b.
1
Let r = -5 + 1. Let m be (-4)/14 + r/(-14). Let p(f) = -f**2 + 16*f - 10. Let s be p(15). Solve m = -4*i - q - 15, -i - s*q - 13 = 5 for i.
-3
Let x(q) = -8*q + 1. Let n be x(-9). Suppose 5*l = -23 + n. Suppose -3*k + 35 = -l. Solve 4*p - 6*p = -2*f - 20, p = -4*f - k for p.
5
Suppose 2*c - 10 = 6. Let s = c + -5. Solve 3*h + 3*v = 3, 3*h - s*v = 7*h - 4 for h.
1
Let i(n) = -n**2 - 11*n - 8. Let d be i(-10). Solve -z + 4 = d*l, z - l + 2 = -3 for z.
-2
Suppose 6*o - 24 = -6. Solve -4*n = -4*u + 8, 2*u + u = -o*n for n.
-1
Let j(m) be the second derivative of -m**3/6 - 5*m**2/2 - 2*m. Let y be j(-8). Solve h - y = -2*k, -5*k + h + 4*h = -15 for k.
2
Let i = 17 - 11. Solve 2*c - 4*n - n = 3, c - i = -2*n for c.
4
Let d(r) = r**2 - 8*r. Let m be d(8). Solve 2*l - k - 4*k = -1, m = 2*l + 5*k + 11 for l.
-3
Let v = -9 - -13. Let n = v + -4. Solve 0 = 4*h + 5*g - 3 - 1, n = 4*g - 16 for h.
-4
Let m = -10 - -12. Solve -4*w = -a, 0*w + 4*w + 4 = m*a for w.
1
Let i(m) = -m**2 - 9*m - 10. Let t be i(-7). Let j = t - -2. Solve j*o + 3 = 3*o - 2*n, o - 4*n = -1 for o.
-1
Suppose -4*g + 20 + 20 = 0. Suppose y = -y. Let t = -12 - -21. Solve 4*p + v = -t, y = 3*v + g + 5 for p.
-1
Let q be (-9)/(16*(-2)/(-12) - 3). Solve 4*y - q = 3*x, 2*y - 2 - 9 = x for x.
-5
Let x(o) = -o**2 - 7*o - 3. Let p be x(-6). Solve 5*n = -p*c + 22 + 7, 2*n = 5*c - 7 for n.
4
Let q = 3 + -1. Suppose -2*l - 1 = 5*n - q*n, 0 = -n - 3*l - 12. Let i = n + 6. Solve -f - 2*f - 3*p + i = 0, 15 = 5*f + 4*p for f.
3
Let r(m) = m**2 + 5*m + 3. Let s be r(-6). Suppose 5*z = -3*b + 23, 0 = 5*b - 0*b + z - s. Let t = 3 + b. Solve -12 = -4*c + t*x, 2 - 14 = c + 4*x for c.
0
Suppose 5*h = -0*h - 5. Let j 