 0, -12 = -4*r + 4*i for r.
1
Let r = 2 - -9. Suppose r = 5*n + 1. Solve j = 3*m - 1, -j + 3*j + n*m = -10 for j.
-4
Suppose -2*v + 0*v = -2. Suppose -y + v = g - 7, y = g + 2. Let l = -27 - -39. Solve -3*u + l = -4*f + u, -g*u + 14 = 2*f for f.
1
Suppose 6*d = 2*d - 56. Let h be (-192)/d + 4/14. Solve 0 = b + q + 2*q + h, -17 = b + 4*q for b.
-5
Let c = -9 + 12. Let b be 1/c*(14 - 5). Let n = 11 - 4. Solve -i = -2*o - n, 3*i - 4*i + b = 0 for o.
-2
Let w = -2 + 3. Suppose 7 = 4*m - w. Let b be 0/(4/(3 - 1)). Solve 2*u + 4*s = b, s = -4*u - m*s - 5 for u.
-2
Let d = 109 - 107. Solve -d*c + 5*f = -c + 10, f = 2 for c.
0
Suppose -2*m = 2*m + 4. Let s be (m - -21) + 0/2. Suppose s = -0*r + 5*r. Solve 7*g - 5*j + 32 = 4*g, 0 = r*j - 16 for g.
-4
Let g(t) = -3*t + 26. Let v be g(-3). Solve 6 = -4*x - 10, -v = -5*k + 5*x for k.
3
Let m be (58/(-4))/((-1)/2). Suppose -15 = b - 5*c, b + b - 3*c + 9 = 0. Solve 0 = -2*i - b*p + 5*p - 30, 0 = -5*i + p - m for i.
-5
Suppose 0 = -5*u + j + 5, u = -3*u - 4*j - 20. Solve 0 = -n + 2*t + 4, u = -3*n - 3*t - t - 18 for n.
-2
Let t(n) = -n**3 - 8*n**2 - 10*n - 4. Let o be t(-7). Let y = -12 + o. Solve k + 3 = w + 6, y*k - 3*w - 5 = 0 for k.
-2
Suppose 0 = 2*v - 24 - 40. Suppose 2*a + l - 23 = 11, -2*a + 22 = -5*l. Suppose t = 5*t - a. Solve 5*c + 3 = -2*i - t, 5*i - v = 4*c for c.
-3
Let a = -31 - -48. Solve 5*s = 3*k - 12, 3*k + a = -4*s - 2*k for s.
-3
Let p = 13 + -2. Let g = p - -29. Let x be (-4)/((-2)/2) + 1. Solve 2*b = 4*w - 14, -x*b + w - g = -14 for b.
-5
Suppose 3 = 2*m + 1. Solve 5*a + 36 - m = 5*h, -5*h = -a - 15 for a.
-5
Suppose -3*v = -3*a - 6, -2 = v + 2*a - 5*a. Suppose v*w + 54 = 7*w. Suppose -3*f = -u - 21, 2*f + u - 1 - w = 0. Solve -4*o + 3 = -y - 4, -4*o - f = 4*y for y.
-3
Suppose -f - 4*u + 14 = -0, 2*u = -4*f + 14. Solve 0 = -3*w - 2*y + 21, w + f*w - 5*y = 0 for w.
5
Let y(z) be the first derivative of -z**2/2 - 3*z - 2. Let k be y(-6). Suppose 0 = 10*h - 12*h + 10. Solve 0 = 5*p - x - k + 5, -2*p - x = h for p.
-1
Suppose 0 = 4*s + 2*y + 10, -5*s + 2*y = 5*y + 10. Let b = s + 7. Solve 0 = -5*x + 2*i + 3*i, b*i = -10 for x.
-5
Let l = -25 - -29. Solve -2*c + 8 = -3*c + l*x, 4*c = 4*x + 4 for c.
4
Let t = 25 + -23. Solve 5*d - 10 = 5*i, i + 2*d = t - 7 for i.
-3
Let o be -4 - -6 - (-7 - -4). Solve o*k = 4*z + 6, 3*k - 2 - 8 = 4*z for z.
-4
Let o = 15 - 13. Suppose -2*a - 4*t + 144 = o*a, -4*a - 3*t + 139 = 0. Solve -3*f + 2*c + 2*c + a = 0, 2*f = c + 14 for f.
5
Let k = -3 - -6. Let n = k + -9. Let s be (-1 - 0)/(3/n). Solve -4*x = -s*r - 28, -4*x + 4 = r + 3*r for x.
5
Suppose -2 = -j + 2. Let g(a) = 2*a - 4. Let w be g(6). Solve w = 3*d + 2*m, 0*m = 2*d + j*m for d.
4
Let j = -2 - -16. Solve -5*i = -4*g - 11, 4*i + j = -3*g - 2 for i.
-1
Suppose 7 = f + z, z + 2 = 4*f - 1. Let b(q) = -f*q - 1 + 0*q + q. Let x be b(-1). Solve -4*d = -x*d - 3*s, 0 = d + 4*s for d.
0
Suppose 6 = -2*d - d. Let p be d - (-1 - 36/3). Suppose -p = -r + 1. Solve r = -4*f - 4*z, -29 + 8 = -5*f + 4*z for f.
1
Let r(o) = o**2 + 4*o + 3. Let l be r(-5). Let z(f) = 7*f. Let q(k) = -k. Let p(n) = 5*q(n) + z(n). Let b be p(l). Solve -j - 18 - 6 = 5*w, -j + 3*w = -b for j.
1
Suppose -3*n - 20 = -3*y + 2*y, 4*y - 14 = n. Let o = n + 6. Let p be (-1)/(-6) - 71/(-6). Solve o = 3*w + 2*v - 17, -2*w - 3*v - p = -30 for w.
3
Let j = 339 - 229. Suppose -j = -5*x + 60. Solve -3*g = 5*t - x, -g + 21 = g + 3*t for g.
3
Let y(f) = f**2 - 2*f + 2. Let x be y(3). Let r = x - 2. Solve 4*s + 5*a + 11 = 0, 0 = -r*s + 4*a + 15 for s.
1
Let z(u) = u**2 + 1 - 1 + 2*u - 1. Let c be z(-3). Suppose c*v - x = -0*v + 8, 0 = -v - 5*x - 7. Solve 0*l = -l - 2, 3*l + v = p for p.
-3
Let v = 5 + -3. Suppose 0 = d - 4*u + 3*u + 5, 0 = -5*d + v*u - 10. Solve d = -q - 5*w + 7 - 22, -3*w = 9 for q.
0
Let u = 6 + -3. Suppose 0 = 27*q - 35*q + 56. Solve p - 6 = u*c - q*c, 0 = -5*p - 5*c for p.
-2
Let z be (-3)/(13 - 1)*-6*2. Solve -5*a - 7 = z*j, -4*j = -4*a - 2*j - 10 for a.
-2
Let g(z) = 2*z - 2. Let f be g(3). Solve -c + 15 = 5*v, -c + 2 = -f*v + c for v.
2
Suppose -5*y + 25 = -2*y + 2*c, -4*y = -5*c + 5. Solve -t = -r + 5, -4*t - y*r - 3 = -2*t for t.
-4
Let s be 105/12 - 2/(-8). Suppose -2*n + s = -15. Suppose 0 = 4*q + 3*p - 8, -5*p - 7 = 13. Solve 5*d - q = -3*m, -m = 3*m + 2*d + n for m.
-5
Suppose k = 4*k + n - 3, -2*k + 5*n = -2. Let d be (0 - 1)*k*-1. Let t be 3/(5 - 2) - -9. Solve 0 = o - d, 4*w = o - 3 - t for w.
-3
Let d(x) = -2*x - 4. Suppose -2*n + 4*o + 2 = 36, -4*o - 1 = 3*n. Let t be d(n). Solve 2*q - 4*c = 20, 2*c = -q - 0 - t for q.
0
Let t be ((-3)/2)/(4/(-8)). Suppose 0 = 2*b + t*b. Solve -2*y = -b*y - p + 4, -2*y - 10 = -4*p for y.
-1
Let t = -7 + 11. Solve t*u - 11 = -5*v, -5 = -3*v - 2*u - 0 for v.
-1
Let q be (15/(-2))/((-6)/4). Solve 5*k + 0*o - q = 2*o, 0 = -k + 4*o + 1 for k.
1
Let b(l) = -6*l**2 + 2 + 8*l + l**3 - l**2 - 4 - 7. Let s be b(6). Solve s*p = 2*g - 12, 0 = -6*g + 3*g + 9 for p.
-2
Let z = 6 + -3. Suppose -c = z*c - 24. Solve -15 = -4*g - 5*i, 0 = 3*g - i + c - 22 for g.
5
Let c(n) = n**2 - n - 1. Let z be c(-2). Let r = 20 - z. Solve -5*y - m = -3*y - 6, r = -y - 5*m for y.
5
Suppose -11 = 2*o - 3*i, -1 = 3*o - i - 2. Let b be 1 - (-2 + o + -2). Let j be (b + -6 + 3)/(-3). Solve 3*l - 4 = 4*l + 2*q, j = 4*l + 3*q + 1 for l.
2
Let q(l) = l**3 + 3*l**2 - 6*l - 3. Let d be q(-4). Suppose 8*b = d*b + 6. Solve 23 = -2*y + 5*z, 4*z = -y + b*y + 16 for y.
-4
Let w = 49 - 38. Solve 3*b + w = 2*o, 4*b - 3*o = b - 9 for b.
-5
Suppose 0 = 3*u - 10 + 1. Suppose 3*y - 4*q - 55 = 0, -u*y + 2*q + 54 = -q. Suppose 4*m - 57 + y = 0. Solve 4*o - 24 = -4*k, 2*k = -o - 0*k + m for o.
2
Let x be ((-6)/(-4))/(6/8). Solve -3*l - 5*a = -0*a - 8, -x*a = 2*l for l.
-4
Let c be (0 + 0)/(-2 - -1). Suppose -u + 20 = u - 4*l, -4*l - 20 = c. Solve -k + 5*h - 5 - 9 = u, 2*h = -5*k - 16 for k.
-4
Let r be -3*5/((-30)/8). Solve -4*f - 5*s = 5, r*f - 1 = -s - 2 for f.
0
Suppose 6*x + 32 = 14*x. Solve -b - k = x, -3*b + 2*k = -7*b - 6 for b.
1
Suppose y - 3 = 0, -g + 3*y = -2*g + 12. Suppose 4*x - 30 = -2*n, -5*x + 63 = 4*n + 21. Let i = 8 - x. Solve -3*o = m - 9, -i*m + g*o - 2*o = 10 for m.
-3
Let d(m) = -8*m - 23 + 23. Let f be d(-1). Let t be 6/4*f/3. Solve 0 = -j - v - 8, -v = -2*j + t*v + 5 for j.
-5
Suppose 0 = 3*l - 2*s + 2, 5*l + 3 = 3*s - 0*s. Let k(z) = z**3 - 2*z**2 - 3*z. Let t be k(3). Suppose r - 6 + l = t. Solve 3*i = r, 0 = j + 4*i - i - 5 for j.
-1
Let t be (-3)/4*-4 - 0. Suppose 5*v + 44 = 4*k, -3*k - 2*v + t = -7. Suppose 0 = k*c - 9*c. Solve 10*h - 9 = -3*m + 5*h, -m - h + 3 = c for m.
3
Let s(o) = -o**2 - 2*o + 3. Let d be s(0). Solve 4*a - 2 = d*p, -4 = -3*a - 2*p + 3*p for a.
2
Let c(t) = 4*t**2 - 5*t + 7. Let u be c(4). Suppose 0 = 2*h - 2*z - 26, -4*h + 3*z + 0*z + u = 0. Solve 0 = 3*s + h, -2*f - 3*s = 2*f for f.
3
Let y = 17 + -12. Suppose -2*q + 2*p = -q + 6, -p + 2 = -q. Suppose q*w - w = y*b - 28, w + 3 = 0. Solve -4*i - b*v = 9, -3 = -2*i + v - 4 for i.
-1
Suppose 13*c - 8 = 57. Solve -4*b + 5 + 5 = 2*d, 3*d + c = 4*b for d.
1
Let m(r) = -r**2 - 11*r + 3. Let x be m(-11). Suppose v + x = 6. Solve -p - 5 = h - 0*p, -5*h + 2*p + v = 0 for h.
-1
Let k = -53 + 55. Solve k*r - 26 = -4*q, -r - 15 = -4*q - q for q.
4
Let l(q) = -13*q**2 + 4*q**2 + 10*q**2 + 1. Let z be l(2). Solve -z*v - h - h - 12 = 0, 4*v + 36 = 5*h for v.
-4
Let q = -10 - -22. Solve -15 = -d + 5*g, -3 - q = 4*d + 5*g for d.
0
Suppose 4*k - 12 = 8. Suppose -3*a + 11 = 4*m, -2*m + 0*a + 9 = k*a. Suppose -m*y + 2 + 21 = 5*s, 2*s + 7 = y. Solve 3*d = 5*q - 30 + 11, 0 = -3*d - y for q.
2
Let j be (-20)/(-3) - 20/30. Let g = j + -4. Suppose -g*w + 0 - 2 = -3*n, -5*n = -4*w - 4. Solve -5*k + 32 - 11 = 2*c, n = c + k - 3 for c.
-2
Let w(v) = v**3 + 6*v**2 + 2*v - 2. Let l be w(-2). Let j = 16 - l. Suppose 25 = j*s - s. Solve -s*r + 20 = p, 3*r - 16 = -2*p - r for p.
0
Suppose -2*c = -5*p - 10, -4*c + 56 = 4*p - 5*p. Let f = c - 10. Solve f*h + 7 = -2*w, w + 2*w = -5*h - 8 for h.
-1
Suppose 0 = -k + 10. Solve -3*x + f - k = 2*f, f - 20 = 3*x for x.
-5
Suppose -8*x + 9*x = -16. Let l = -5 - x. Solve 4*k - 4 = 0, 5*c + l - 28 = -2*k for c.
3
Suppose 3*n + 13 = -w - 0*n, -10 = 4*w - 2*n. Let b = 4 + w. Solve x + 10 = -3*s, x + s = -b*x - 4 for x.
-1
Suppose