se i - 6 = -i. Solve -p*x + n = -7*x + m, 12 = -i*x - 3*m for x.
-1
Let d = 429 + -403. Let r be 3 - 1 - (2 - 2). Solve 4*n - d = r*i, n - 3*n = 3*i - 1 for i.
-3
Suppose 0 = -4*i + 41 - 1. Solve s = 2*q - 6 - 3, 3*q - i = -2*s for q.
4
Suppose 0 = -3*i - 15, 0*j - 16 = 2*j + 4*i. Solve -a + t = j*t + 4, 4*t + 16 = -3*a for a.
0
Let c = 134 + -65. Let r = c - 42. Solve -2*k - k - r = -3*i, k - 3*i = -19 for k.
-4
Suppose 2*n - 7 = 3. Solve -y + 5*y = -n*g + 12, 6 = 2*y - 2*g for y.
3
Suppose 2*o = 6*o. Solve 0*q = 5*q - i + 20, o = q + 3*i + 20 for q.
-5
Let m be (-6)/(-27) + ((-43)/(-9))/1. Solve j - 14 = 4*r + 2*j, 4*r - m*j + 26 = 0 for r.
-4
Let t(o) = o**3 - 5*o**2 + 3*o - 1. Let i be t(4). Let w = i - -9. Solve k - w = 0, 0 = 3*g + 2*k - 6 - 14 for g.
4
Let g(n) = n**2 - n - 8. Let z be g(4). Let q = -45 + 78. Suppose 5*m + q = 3*h + 3*m, 3*h = -m + 42. Solve -f + 20 = -5*i, -z*i - h = -1 for f.
5
Let g = 29 - 1. Solve -d + 5*d = -4*m + g, -m - 5*d = -19 for m.
4
Suppose -5*q - 3*r = 2*r - 20, 2*r = -5*q + 8. Solve 5*a = -25, q*t - 16 = -2*t + 2*a for t.
3
Let c be (0 - 0)*(-3)/9. Solve -k = 5*i - 9, c*k + 2*k - 3 = 5*i for i.
1
Suppose 8 - 3 = -5*k. Let x(h) = 3*h**2 + 2*h + 1. Let f be x(k). Let c = -10 - -16. Solve v = f*b + 9, c*v = v + b for v.
-1
Let o(s) = s**2 + 3*s + 6. Let i be o(-4). Suppose 8*t - 3*t = i. Solve -3*z + 0*z - u - 5 = 0, -5 = -t*z + u for z.
0
Suppose 0 = 2*z + 4*x + 10, 4*z = 2*x - 10 + 30. Solve 5*t = 3*v + 4 + 10, 3*t - 6 = z*v for v.
2
Suppose 2*o - 12 = 12. Solve 0 = j + 3*s - o, -j + 3*s + 8 = 5*s for j.
0
Let k(r) = -2*r - 4. Let u be k(-2). Suppose 2*l - 23 = -3*q, -l + u + 14 = 2*q. Solve 25 = v - 5*o, l*v - 3*o - 20 = -5 for v.
0
Suppose -5*k + 51 = -2*k + 2*f, 5*k - 86 = -3*f. Let j be k/4 - 1/(-4). Solve -j*o + 3*d = 22, -4*d = -4*o - 5*d - 4 for o.
-2
Let o(g) = 2*g + 3. Let q be o(0). Solve -3*v = -15, -q*h + 0*h - 4*v + 8 = 0 for h.
-4
Suppose 5*b = -0*j + 2*j + 23, -5*b + 5*j = -20. Suppose 0 = b*x + 57 - 172. Solve -4*v + 5*d - 3 = -13, 0 = 5*v - d - x for v.
5
Suppose -1 = -r + 2*r + l, 3*r - l - 17 = 0. Suppose 0 = 18*b - 28*b + 50. Solve 5*f = z + 16, 0*f + 11 = r*z + b*f for z.
-1
Let k(n) be the first derivative of 1/3*n**3 - 1/2*n**2 - 2*n - 1. Let v be k(-2). Solve 0 = -3*c, -2*w - 5*c = -3*c + v for w.
-2
Let v be 2*-1 - (-13 - -2). Solve 0 = 5*w - a - 6, 29 = 4*w + 3*a + v for w.
2
Let i(v) = v - 10. Let l be i(13). Suppose 5*o - 1 + l = -2*x, 0 = 2*x - 2*o - 12. Solve x*m + 5 = a - 15, 2*m = 2*a - 16 for a.
4
Suppose 0 = -3*q - 0*q + 6. Solve h - 2*h + 5 = -4*k, -5*k + 4*h = -q for k.
-2
Let h(o) = o**2 + 3*o + 6. Suppose -1 = -w - 5. Let n be h(w). Solve -r + n = 3*b, 2*r = -b - r - 10 for b.
5
Suppose 3*f = q + 2 + 1, f = -q + 13. Let z = q - 6. Solve 5*n = -c - 10, z*c - 6*n - 6 = -3*n for c.
0
Let d(l) = -l**3 - 10*l**2 - 10*l + 8. Let w be d(-8). Let j be (-4)/(-10) - (-16)/w. Solve 0 = 4*v - 4*o + 20, 2*v - 3*o + 2*o + 7 = j for v.
-2
Let o(h) = h - 4. Let f be o(6). Let k be 26/(-6) + 4/(-6). Let q = k - -10. Solve 0 = -2*s + 5*s - q*y + 35, -f*s - 22 = -3*y for s.
-5
Let a(f) = -4*f. Let c be a(-1). Solve -d - 2*l = -5, -c + 29 = -2*d + 3*l for d.
-5
Suppose -2*t + 6*t - 16 = 0. Suppose t*k = -181 + 681. Suppose 2*z + 125 = 5*i, -z + k = 3*i + 2*i. Solve -5*a + 3*m + i = -0*m, -5*m = 0 for a.
5
Let s(a) = -3*a**3 - 2*a**2 - a. Let t be s(-1). Let o be (5 + -2 - t) + 2. Let c be 1 + 3 + 1 + -1. Solve 6 = -l + o*l - c*d, 0 = 3*d for l.
3
Let x = 2 + 3. Solve -6 = -2*k + 2*s, -5*k = -s + x*s - 6 for k.
2
Let u = 6 + -3. Let j = 30 + -14. Let q = j + u. Solve 5*z - 13 = -2*c, -2*c = z - 7*c + q for z.
1
Suppose -2*h = -2*m + 5 - 3, h = -4*m + 19. Suppose h - 6 = -c. Suppose -c*x + 2*l + 18 = -13, -15 = 3*l. Solve 3*z + 8 = 2*d, 9 = 4*d + 2*z - x for d.
4
Suppose -2*n = -3*r + 7, 2*r + 0*n + 6 = 4*n. Suppose 5*t - 67 = 5*k - 2, 0 = -3*t - 4*k + 46. Solve 5*s - t = -h, r*h + 3*s - 6*s - 14 = 0 for h.
4
Suppose 3*j = -9 + 18. Solve 5*w = -4*v - j, -2*w + 2*v - 7*v = 8 for w.
1
Suppose -3*g + 17 = 11. Solve 0 = g*x - 3*a + 1, 4*a = 3*x - 0*a + 2 for x.
-2
Suppose -3*k - 12 + 3 = 0. Let r be (1/k)/(3/(-27)). Solve -5*d = -2*p - r*d - 2, 4*p - d = 11 for p.
4
Let i = -1 + 5. Suppose 2*o - 3*s = 8 + 6, 4*s + 20 = i*o. Let r be (o - (0 + 1))/2. Solve -4*f + 3*y - 23 = 0, 4*f - y + r*y = -21 for f.
-5
Let w = -76 + 79. Solve 3*y - 7 = 2*y - w*s, -4*y = 4*s - 4 for y.
-2
Let h = -4 - 2. Let t be 27*(16/h - -3). Solve 0 = 5*j + 5*a - 44 + t, -4*j + 19 = a for j.
4
Let l = 51 - 78. Let s be ((-40)/6)/(18/l). Solve -6*j + j + 4*n = -20, 2*n = -s for j.
0
Let a(n) = n**2 - 1. Let l(k) = -5*k**2 + 3*k + 4. Let u(g) = -3*a(g) - l(g). Let f be u(3). Solve -4*h - f = 4*p, h + 5*p + 10 = -4 for h.
1
Let z be 3/(-12) - (5/(-20) - 5). Solve -2*n - 15 = -z*a - 50, 25 = -2*a + 3*n for a.
-5
Let q(l) = 2*l + 2. Let d be q(-4). Let x be (-1)/2 - 21/d. Solve -5*s = -25, 5*v + x*s - 25 = -0*s for v.
2
Let d = 24 + -20. Solve 4*q - 4 = -d*p, p + q = 3*p - 2 for p.
1
Let p be ((-27)/15)/((-3)/15). Let u = -4 + p. Solve 3*t = u*l - 2*t - 15, 28 = -4*l - 4*t for l.
-2
Let z be ((-18)/21)/((-6)/28). Solve -2 = -2*l - 3*s - s, -7 = 3*l - z*s for l.
-1
Let k(q) = -q**3 + 6*q**2 + 11*q - 23. Let w be k(7). Solve w*a - 4 + 0 = -4*r, -4*a = -2*r + 2 for r.
1
Let i(b) = 2*b - 3. Let c be i(3). Suppose -h = -s + 24, -2*s + 40 = 4*h - 14. Solve 2*k - 3*x - 10 = x, 5*k + c*x - s = 0 for k.
5
Let u(h) be the first derivative of h**3 + h**2/2 - h - 2. Let f be u(-3). Let s(p) = 2*p - 2. Let n be s(3). Solve -5*r = -2*t + f, -r - 13 = -2*r - n*t for r.
-3
Suppose 5*g = -5*m + 20, 2*m = -g + 1 + 6. Solve -z = -4*a - m, 15 = -5*a - z - 0 for a.
-2
Suppose g = 5*j - 34, j - 2*g + 22 = 6*j. Solve -2*u = 3*o - 8, -j = -3*o + 5*u + 16 for o.
4
Suppose 0 = -w - 3*w + 20. Suppose 0 = -w*j + 3*o + 1, -3*o = -8 - 1. Solve j*q = -0*n - n - 12, 23 = -5*q + n for q.
-5
Let p be (-27)/(-5) - (1 - 12/20). Solve -p*l = -4*y + 19, y - 4 = 3*l + 6 for y.
1
Let d(v) = v**3 + 6*v**2 + 7*v + 1. Suppose -7 = 2*j - p, 5*j + p + 9 = 3*j. Let o be d(j). Solve 4*u + 3*l = o*u + 14, 5*u + 4*l + 13 = 0 for u.
-5
Let w(n) = n**3 + 14*n**2 + 12*n - 2. Let l be w(-13). Let f(h) = h**2 - 10*h - 7. Let u be f(l). Solve 0 = -u*z + 2*p + 3 - 5, 0 = -z - 5*p - 17 for z.
-2
Suppose 0 = -2*j - 3*j - 5*i + 10, 3*i = -5*j + 14. Let r(k) = k + 1. Let f be r(3). Let v be (-3 - -13)*f/5. Solve -5*x = -j*w + 16, 2*w - v = -x - 0*w for x.
0
Let x = 4 - -6. Solve -2*s + 3*s - 3*j = -x, -j + 6 = s for s.
2
Suppose 5*y = 2*y + 9. Solve 4*q = -h + 4*h + y, 2*h = -5*q + 21 for h.
3
Let n be ((-3)/1 + 6 - 6) + 7. Solve -3*j - y + 11 = 0, n*j + 15 = 9*j + y for j.
2
Let k = 20 - 14. Suppose -i + 2 = -3*g - 11, i = 5*g + 21. Let l = g + k. Solve -l*w - 2*y = -0*y - 2, 4*w + y = 7 for w.
2
Let m = 6 + 0. Solve -4*l + m = q, -4*q + 1 = 3*l + 3 for q.
-2
Suppose -5 = -v + 4. Suppose 0 = c + 2*c - v. Suppose 0 = -c*y + 4*y. Solve 4*z + 2*g - 6 = y, 2*z - 8 = 3*g + g for z.
2
Let z = 5 - 2. Let m be (-1 - -1) + 14/1. Suppose 3*t = 3*p + 4*t - 8, -p = -t. Solve 5*j + z*h - 5*h + m = 0, j + p*h - 2 = 0 for j.
-2
Suppose 2*c + 6 = 4*c. Let k = c - -2. Let j = 4 - 1. Solve s - j*s + 10 = -k*o, 5*o - 5 = 5*s for s.
-5
Suppose -9*f = -5*f - 16. Let b = 10 - 2. Suppose 0 = l + l + b, 0 = -5*v + 3*l + 12. Solve -f*u + u + m - 10 = v, u = -2*m - 8 for u.
-4
Suppose -2 = -5*g - 7. Let c be ((-6)/(-4))/(g/(-2)). Suppose -c*u = -u. Solve u = -x - n - 1, x = 5*x - 3*n + 18 for x.
-3
Let a = 11 - 7. Let x(s) = s**2 + 2*s. Let i be x(-3). Solve i*j - 6*j + a*b + 4 = 0, -4*j = -2*b - 12 for j.
4
Let d = 12 + -12. Solve -f + h + 1 - 2 = d, -3*f = h + 19 for f.
-5
Let q(c) = -c**3 + 4*c**2 - 3*c + 1. Let p be q(2). Let s = 1 + p. Solve -s*j - 27 = 3*o + 2, 2*j + 13 = -o for j.
-5
Let s = 5 - 3. Let x(o) = 6*o - 2. Let g be x(s). Suppose 2*y - g + 0 = 0. Solve 4*w - y*h - 2 + 4 = 0, -5*w = 2*h + 19 for w.
-3
Suppose 39 = 2*m + 1. Suppose 1 = -a, 0*a = 4*t + a - m. Solve 2*k + 4 = 2*f, -t*f = -4*k - 3*f for k.
2
Let i be (3/(-2))/((-2)/4). Solve -j = -2*j - 5*n - 5, -2*n = -i*j - 15 for j.
-5
Let c = 28 - 11. Let y = c + -11. Let w = y + -2. Solve -1 = w*m - d, -2*m - 5*d + 0 = 17 for m.
-1
Suppo