= 2*i - 3*z - 15, -4*i + b*z = 2*z - 20 for i.
0
Suppose -3*p + 3 = -3. Suppose -2*c = c - 60. Solve 5*m - 3*g + c = 0, -m - g + 2 = -p for m.
-1
Let j(f) = -31*f + 5. Let v(g) = -92*g + 14. Let k(u) = -17*j(u) + 6*v(u). Let r be k(-1). Solve 4*a = -4*x + a - r, -3*a - 12 = 0 for x.
-3
Let b = 29 + -24. Solve -4*h = b*x - 3 - 1, -4*h = -5*x + 36 for x.
4
Let z = 19 - -1. Suppose k + 4*a + 2 = 0, 6*k = k - a - 67. Let l be 12/7 + (-4)/k. Solve 3*o = -q + z, -l*o + 3*o = 3*q - 10 for q.
5
Let a(r) = r**2 + r. Let u(w) = -3*w**2 + w - 1. Let s(y) = -4*a(y) - u(y). Let z be s(-4). Solve 2*l = -z*f - 5, 4*f - 2*l + 4 = 2*l for f.
-1
Suppose -11 = -u - 5. Let j be (-3)/u - (-15)/10. Solve -4*w - 2 = 5*q, -2*q - j = 3 for w.
2
Let b be (3 - (-1 - -1))/1. Suppose b*r + 61 = 5*a, 0*a + 2*r = -4*a + 40. Solve 3*c - 19 = -2*h, 5*c - 3*c + h = a for c.
3
Let w be (3 + 0)/(9/12). Let g = w - 2. Suppose 4*f + 3*a - 79 = 0, 4*f - 3*a = 153 - 56. Solve -27 = -2*h - 5*z, f = g*h + 3*z + z for h.
1
Let r(l) = l**3 + 3*l**2 - l - 4. Let f be r(-3). Let z(a) = -5*a - 1. Let u be z(f). Solve 4*d + 4 = -u*q, 0*q - 13 = 3*d - 2*q for d.
-3
Let s = -4 + 5. Let n be s/3*(9 - -6). Solve -2*b = p - 3, -b = -5*b + n*p - 15 for b.
0
Let j be 2*5/20*10. Solve 3*m + 3*a = 2 + 10, 4*m + 11 = j*a for m.
1
Let z(h) = 2*h**2 - 5*h - 2. Let a be z(4). Let y(s) = 1 + 1 + 2*s + 0 - 3*s. Let u be y(0). Solve 5*k - a = -u*v, -3*v = v - 4*k + 8 for v.
0
Let t = -1 - -5. Let l be 2/(-5) - (22/(-5) - -1). Solve c - 14 + l = -5*r, 13 = 5*c + t*r for c.
1
Suppose l = -d + 4, 3*l = 2*d + 21 - 9. Suppose d = 7*q - 5*q - 4. Solve -u = 2*j - 0*u - 3, q*u = 10 for j.
-1
Suppose 50 = 4*d - 14. Suppose -k = 3*k - d. Solve -3*x = 3*y + 2*y - 14, k*y = -x + 7 for y.
1
Let a(q) = -q**2 - 9*q + 1. Let s be a(-9). Let d be (s + 1)*3/2. Suppose -r = -0*r - d. Solve r*u = -o - 0 + 5, 4*u + 6 = 5*o for u.
1
Let l = 10 + -8. Let k(m) = m**2 + 5*m - 2. Let x be k(-6). Let j be (15/10)/(l/x). Solve -j*a = 2*s - 3, 5*s + a - 6*a = -5 for s.
0
Suppose 0 = -2*l - 80 + 94. Solve 5*p - 3 = -5*i + l, i = p - 2 for i.
0
Let h = -2 - -4. Suppose -5*c + q = -28, h*q - 14 = -4*c - 0. Solve -2*j + 6*j = -4*w + 20, w = c*j - 7 for w.
3
Let i(g) be the first derivative of -g**3/3 - g**2 + 2*g + 2. Let b be i(3). Let k = b + 18. Solve 0 = -5*l + o - 8, 0 = k*l - 5*o - 0*o + 20 for l.
-1
Suppose 3*s + 2*s - 4*k = 33, 21 = 3*s - 3*k. Let o be 2/s + 8/(-20). Let z = 4 + o. Solve 2*b + 17 = -5*n - 0*b, z*b + 9 = -5*n for n.
-5
Let l(d) = d**2 + 5*d. Let c be l(-6). Suppose 0 = -2*y - 2, -4*y - 2 = -2*k - 6*y. Solve -50 = -5*p - 5*u, c*u - 15 = -k*p + 5*u for p.
5
Let b = 4 - 4. Suppose 4*n + b*s = -5*s - 13, 5*n - 35 = 4*s. Suppose -n*k + 26 = 5. Solve 2*m + 3*t = -k, 4*t - 2*t + 18 = -4*m for m.
-5
Suppose 6 = 5*i - 4. Solve i*c + 7 = 5*j, 2*j + 2*j = -5*c + 32 for j.
3
Suppose -2*i - 92 = -4*i. Let t = -33 + i. Solve -c - h = -8 + 1, -c = 3*h - t for c.
4
Let o = -37 - -46. Suppose 0*j - v = j + 1, 5*j + 3*v = 5. Solve n - 4*s = o - 0, -j*n + 4*s = 0 for n.
-3
Let v = -20 + 24. Solve -d - 8 = v*a - 1, 0 = 3*d + 4*a + 5 for d.
1
Let f be -4 - 210/(-55) - 4/(-22). Solve -4*j + 4*l - 2 + 22 = f, 3*j = l + 5 for j.
0
Suppose 0 = -3*k + 2*l + 5 - 1, -2*l = -2*k + 2. Suppose k*b - 2*h + 0 = -2, 8 = 4*h. Solve 5*t + b + 10 = a, 0 = a - 2*t - 5 for a.
1
Let t be (-2 - -1)*(-6 + (-9)/(-3)). Solve -3*f + 8 = 5*y + 2, 8 = -t*y + 4*f for y.
0
Suppose 57*n - 8 = 53*n. Solve 0 = -n*z - c + 11, -2*c + 0*c = -3*z + 6 for z.
4
Let l be 5 + 4 + 4/2. Suppose -4*b = -0*z + 2*z - 8, -5*b + l = 2*z. Suppose -3*d - 12 = -j - b*j, d + 3 = j. Solve -j*r + 15 = -3*s, 4*r - 11 = -3 for s.
-3
Let n(z) = -z**2 + z + 33. Let m be n(6). Solve -m*o + 0*o - 26 = 4*u, -4*o - 4*u = 28 for o.
-2
Let n be 5 + -3*(-4)/(-6). Solve 2*b + n*g = 3*b - 20, 3*b = 5*g + 40 for b.
5
Suppose 0 = -2*r + 1 + 5, -t - 2*r = -11. Solve -3*d + t*v = 8 + 7, 20 = -4*d + v for d.
-5
Let i be (-3)/(-6)*32/4. Solve h = -a, 0*a - 1 = -5*h - i*a for h.
1
Suppose -j + 6 = -4. Let h = j + 8. Solve 4*m - h = 4*d - 5*d, 2*m + 4*d - 2 = 0 for m.
5
Suppose 4*k = -q + 17, k + 1 = q - 3*k. Let t = -6 + q. Solve -2*x + 5*d - t + 0 = 0, 3*x - 4*d = -1 for x.
1
Let r(o) = o**2 + o + 3. Let w be r(2). Solve 5*l + v - 6*v = -5, l + w = 3*v for l.
3
Let p(t) = t - 3. Let n be p(7). Suppose i + 15 = 6*i. Suppose -g - 19 = 5*l + 4, 4 = -3*g - 2*l. Solve n*m = -5*f, i*m = f + g*f for f.
0
Let f(o) = 2*o**2 + 2*o - 2. Let k be f(-2). Solve 3*i + 2*r = -0*i - k, 2*i + 2*r = 0 for i.
-2
Let z = 3 - 3. Solve -f + 5*u + 7 = 3*f, z = 3*u + 9 for f.
-2
Let q = 54 - 33. Suppose -4*v - 9 = -q. Suppose 3*h = -g - 8, -4*h + 11 = 2*g - 7*h. Solve -4*c = -5*p + 1, g = 4*p - v for c.
1
Let a(n) = -n**3 - 3*n**2 + 3*n - 4. Let o be a(-4). Solve 5*v - 2*g + 4*g + 25 = o, -g - 11 = 2*v for v.
-3
Let p(s) be the third derivative of s**4/24 + s**3/3 - 2*s**2. Let a be p(-2). Suppose a = -3*x + 63 - 0. Solve -8*r + 3*r - 2*b = x, -r = -b for r.
-3
Suppose -2*q + 41 = -1. Solve 5*g - 4*b = q, -3*g + 2*b + 6 + 5 = 0 for g.
1
Let t be (-48)/(-5)*10/3. Suppose 0 = q + 4*q - 3*w - 45, -t = -2*q + 4*w. Let b be (-1)/3 + 136/12. Solve -4*j + b = 3*u, q*j - 5*j = 2*u - 11 for j.
-1
Let a = -64 + 68. Solve -7 = -a*q + 5*n, -20 = q - 6*q - 5*n for q.
3
Let o(i) = i**3 + 7*i**2 + 4*i - 3. Let r be o(-6). Let n = -2 - -7. Suppose -16 = -n*w + r. Solve -w*k = -k, 0 = 4*x - k for x.
0
Let f(r) = -r**2 - 5*r - 1. Suppose 2*g = -3*d - d + 8, 0 = d - 4. Let w be f(g). Solve 5*t - 4*a + 1 = 0, -5*t + a + a = w for t.
-1
Let n be -1*(-6)/3 - -3. Let d = -4 + n. Solve 5*f - f - 5*k + 14 = 0, 3*k - d = -5*f for f.
-1
Let v(a) = -a**3 + 4*a**2 - 3*a + 4. Let y be v(3). Solve r + 6 = 3*q, 4*r = -q + y - 2 for r.
0
Let n = -6 - -8. Suppose 0*i - 24 = -2*i + 3*b, 0 = -2*i - n*b + 24. Solve -3*k = k + 2*s - i, -3*s = 0 for k.
3
Let y = 3 - 1. Suppose 5*p - 6 = -4*t, -2*p + 12 = 3*p - y*t. Solve -r = -5*d - p - 8, -3*r - 3*d = -12 for r.
5
Let i(l) = -2*l - 3. Let h be i(-3). Let o = 5 - 1. Let z(p) = p**3 - 5*p**2 + 4*p + 4. Let n be z(o). Solve -4*a - n = 4*f, 3*a + 4 = a - h*f for a.
1
Suppose 70 = 3*p - 5*t, 2*p - 52 = -p - 4*t. Solve 5*n - 3 + 23 = 5*k, -p = 4*n for k.
-1
Suppose 20 = r + 3*r. Suppose -f - 5*l = -16, -5*l + 2*l = 4*f - 30. Let m = f + -5. Solve 3*w = r*u - 27, -4*w - 3*u - m = 2*u for w.
-4
Let f(d) = -d + 7. Let i be f(5). Solve -3*k - 3*n + 9 = 0, -k + i*n = -7 + 16 for k.
-1
Let p be 4/10 - 462/(-70). Solve -5*v - 6 = i, -5*i + 13 = -p for v.
-2
Suppose -6*s = -11*s + 20. Suppose -s*c = -5*k + 26, -2*k + 0*k + 5*c = -24. Suppose 0 = 3*n - 4*p - 3 - 5, 1 = p. Solve -k*x + t = -t - 16, n*t = -16 for x.
4
Let r = -24 + 20. Suppose -11 - 5 = -2*j. Let x = j + r. Solve 4*q = x*l + 20, -l + 15 = -0*l + 3*q for l.
0
Let l be 1/7 + 3*(-52)/(-84). Solve -3*p + 5*t = 2*p - 10, 5*t - 11 = -l*p for p.
3
Let z be (-5)/5 + (-36)/(-2). Solve 2*x = 4, -2*x - 2*x - z = 5*i for i.
-5
Let b be (0/(-1))/(3 - (-7 + 8)). Solve -j - 16 = -b*j + 3*c, c = 5*j for j.
-1
Let h be 0 + (-2)/(-1) + -14. Let o = h + 17. Let g be 10/(-2 + o + -1). Solve -9 = 3*y, 0*y - g*y - 17 = -2*z for z.
1
Suppose 0 = 3*x - 16 + 1. Suppose -3*g + 24 = 5*q, 3*q = q. Let v be g/2*(-6)/(-8). Solve 2 = -v*t + 3*i - 1, -4*t - x*i = 13 for t.
-2
Let d be 0 + 3 + (2 - 1). Let t(z) = -2*z - 11. Let w be t(-11). Solve 2*j - 7 = 5*s + 10, -d*j + s - w = 0 for j.
-4
Suppose -3*a - 5 - 19 = 0. Let o = -3 - a. Solve 5*i + o*f = 40, 0*i - 4*f + 23 = i for i.
3
Suppose 5*y - 3*x = -5*x + 32, -2*x = y. Solve -2*z = -2*n - 6, y*z - 2*n - 21 = 3*z for z.
5
Let d(k) = -8*k - 40. Let n be d(-5). Solve z = -i - 2*z - 1, n = -3*z - 6 for i.
5
Suppose 2*c + 5 = 7. Suppose -2*p = c - 5. Solve y + 0*y = p*m - 12, 0 = -3*y - 3*m for y.
-4
Let l(c) = 4*c - 1. Let j be l(1). Let h(u) = -u**2 - 8*u + 14. Let k be h(-9). Suppose 19 = 3*x - 2. Solve y + k = -4*v - 4, -y = j*v + x for y.
-1
Let s = -47 - -52. Suppose -36 = -4*q + 56. Let y = q + -9. Solve -n - y = 5*d, -n + 5 = -3*d - s for d.
-3
Let b = -4 - -26. Suppose -5*c + b = -3. Let q(f) = -f**3 + 4*f**2 + 7*f - 6. Let n be q(c). Solve 0 = -4*z + 20, -3*w - n*z + 3*z - 1 = 0 for w.
-2
Let v be (42/(-4))/(42/(-140)). Let t = -30 + 