t s be r(-9). Let c = u + s. Solve c*j - j - n = 20, 5*j - 35 = 2*n for j.
5
Let b(m) = -m**2 - 2*m + 7. Let g be b(0). Solve 4*c - 2*f - 2*f - 12 = 0, c - 2*f = g for c.
-1
Let r be (-21)/(-6) + (-6)/(-4). Solve r*i + 3*a - 8 - 15 = 0, -3*a = -5*i + 17 for i.
4
Let v = -4 - -4. Let u(c) = 1 + v + 1 - c. Let m be u(-2). Solve z = -z + 2*x - 12, z = -x - m for z.
-5
Let o be (4/22)/((-6)/(-66)). Solve 4*p = o*g - 4, 13 = 3*p + 4*g - 6 for p.
1
Suppose -5*p = -3*l - 12, 0 = 3*p + l - 6*l - 4. Suppose p*z = -z. Suppose z = d - 5*d + 20. Solve 4*a - 5*b - 3 = 0, d*b = -6*a + 5*a + 7 for a.
2
Suppose -2*f + 112 = -4*l, -3*l - 5*f - 10 = 87. Let j = -14 - l. Let i = 1 - -1. Solve 3*o = 3*g + j, 6*g = i*g for o.
5
Let t be 2 + -4*(4 + 0). Let u be (-74)/(-14) + 4/t. Let a be (-8)/(-3) + 2/6. Solve -a*v - 15 = -4*g + 2, 0 = u*g - 3*v - 22 for g.
5
Let k be ((-16)/14)/((-6)/21). Let t(c) = c**2 - 4*c. Let y be t(5). Solve -q - k = 0, -26 = -d - d + y*q for d.
3
Let d(w) = -w**3 + 7*w**2 + 11*w - 20. Let j be d(8). Solve -7*x - 20 = -g - 4*x, -j*x - 10 = 2*g for g.
5
Suppose 3*l - y = 13, -2*l + 2*y = 3*l - 23. Let i be (-11)/(-11)*(-2)/(-1). Solve -a = l*g + 15, 0 - 10 = i*g for a.
0
Suppose -18 = -21*u + 12*u. Solve 0*i + 2*f - u = i, -4 = -4*f for i.
0
Suppose -5*m + 5*q = q - 11, 0 = 5*q - 5. Solve 0 = -p - 2*j - 0*j - 2, -m*j - 1 = p for p.
-4
Let j(l) = -l + 20. Let m be j(12). Solve 5 = 4*h + 3*a, a - 3*a - m = -3*h for h.
2
Suppose 7*s - s = 0. Solve 0 = -q - 3*w - 4, -4*q - 2*w + 0*w + 14 = s for q.
5
Let j = -6 + -2. Let d = j + 4. Let h = -2 - d. Solve h*g + a = -a - 18, 4*a = -20 for g.
-4
Let w be (8/6)/((-2)/(-3)). Suppose w*i + 0*i - 4 = 2*c, 1 = 4*i + 3*c. Solve 5*l = -2*q - 15, 0 = 2*l + q + 8 - i for l.
-1
Let n be ((-8)/(-3))/((-5)/(45/(-6))). Solve -n*f = 5*o, 2*f = 3*o - 2*f + 32 for o.
-4
Let v = 11 - 6. Solve -3*j + 11 = 4*d + 3, 17 = 3*j - v*d for j.
4
Let u = 8 + -2. Suppose -f + t = -5, -5*f + t + 0 + 13 = 0. Suppose 0 = 6*d - f*d. Solve 4*b - 4 = -3*z - u, -z - 5*b + 3 = d for z.
-2
Let m be (-10)/20*(-4 - 2). Solve 0 = -4*i - 3*t - m, -14 = -6*i + 3*i + t for i.
3
Let q = 61 - 47. Solve -2*i - 2*j - j + 3 = 0, -5*i = j - q for i.
3
Let p(m) = -m**2 + 10*m - 9. Let l be p(9). Solve -o = 4*k + 12, l = o - 5*o for k.
-3
Let q(u) = 4*u**2 - 25*u + 10. Let v be q(6). Let j = 15 - 11. Let d = 30 - j. Solve 0*w + d = -5*w - 3*c, v*w + 5*c + 26 = 0 for w.
-4
Let s = -2 - -5. Suppose 4*t = 4*l - 0*t - 4, -3*l = s*t - 9. Solve -l*k = 2*k + 3*b + 22, -2*k = -4*b for k.
-4
Suppose 0 = -53*f + 52*f. Solve d - 16 = 4*q - 0*d, q + 3*d + 17 = f for q.
-5
Suppose -b - 24 = 3*b. Let l = 17 - b. Suppose -2*x = -2*s - 10, 2*x = -5*s - 10 - 8. Solve -2*u + x + 9 = 2*w, 5*u + 3*w - l = 0 for u.
4
Suppose 2*o - 7 = 2*g + 29, 4*o = 3*g + 67. Let c = 19 - o. Let i(r) = -r - 5. Let z be i(-5). Solve 3*p + z = c, -2*f = -p + 8 for f.
-3
Let g be (-7)/3*12/(-4). Solve 0 = -5*i - y - 15, -g*i + 9 = -3*i + 5*y for i.
-4
Let v(z) = -z**2 - 14*z - 9. Let h be v(-13). Let m = 9 - 6. Let r be 1 + (1 - m - -1). Solve 0 = 2*j + 4*d - 8, 5*j + 2*d + h - 8 = r for j.
0
Let y(f) = 14*f. Let i be y(1). Solve -2*b = 4*w - 16, -4*w + 5*w = 4*b - i for w.
2
Let r be 2 + 0/((-1)/1). Suppose 2*w = -h - 11, 0 = -r*w - 9 - 1. Let v = 3 + h. Solve -2 = -2*l + v*y, 2*l + 2*y + 6 = -0*y for l.
-1
Suppose 40 = -5*m - 35. Let n be (-10)/(-75) + 2/m. Solve 0 = -3*f - 5*q - 11, 4*q = -4*f - n*q - 4 for f.
3
Let i(q) = -q**3 + 4*q**2 + 5*q + 3. Let v be i(5). Suppose 0 = -v*f + 2*f + 3. Solve 5*k + f*j + 10 = 0, -j - 2*j - 15 = 0 for k.
1
Suppose 4*w - 4 = 2*w. Suppose o + 2 = 4*d, 2*o - d - w - 1 = 0. Solve 4*x + 2 = -3*r, -r = -4*x + o + 4 for x.
1
Let u = -4 + 2. Let c = u - -6. Solve 3*v = -3*i - 18, 5*v + c*i + 6 = -22 for v.
-4
Let s = -10 + 10. Solve -3 = 3*j + 3*w, 5*j + s*j - 5*w + 35 = 0 for j.
-4
Let r be (-1 + -35)*19/(-57). Solve -3*t = 3*l - r, -l - 8 = -2*l - 3*t for l.
2
Let c = -85 - -90. Solve 7 = 3*q + o, 2*o = -3*q - 0*q + c for q.
3
Let u be ((-3)/2)/((-7)/14). Solve -5*w = -3*l, 5*l + 37 = -w - u*w for w.
-3
Let q(f) = f + 1. Let r be q(1). Solve r*t = -5*w + 16 + 12, -5*w = 3*t - 32 for t.
4
Let l = -28 - -16. Let f be (-68)/l - 2/3. Solve 5*p - f*a = 25, 0*p - 10 = 2*p + 3*a for p.
1
Let b be ((-16)/(-12))/(2/36). Suppose 6 = 2*k - b. Let z be (-2)/(-7) - 52/(-14). Solve 0 = 5*d + k, 0*d - 15 = -n + z*d for n.
3
Suppose -3*i - z + 14 = 5, -3*i - 5*z = -21. Suppose -2*s - i*g + 6 = 0, 4 + 5 = 2*s + g. Solve 1 = -2*o - r - s, 10 = -3*o - 2*r for o.
-4
Let s = -1 + 6. Solve 5*h + s*t + 25 = 0, -2*h = -t + 4 - 3 for h.
-2
Let o be 15/(-45) + 2/6. Suppose 0*b - 10 = 4*b - 2*g, -13 = b - 4*g. Let w = b - -5. Solve -i = -3*j + 9, -4 = 4*i - w*j - o*j for i.
3
Let s(f) = f**3 + 5*f**2 + 2*f + 1. Let z be s(-4). Let d = z + -4. Solve 0 = d*u - 4*q - 1 - 40, -3*q = -u + 17 for u.
5
Let q be (9/3)/(4/24). Let m = q + -10. Let b = -8 + m. Solve 0 = 3*i - 7*i + 3*v - 28, b = -2*i + 5*v - 28 for i.
-4
Suppose -12 - 28 = 3*k + 4*w, 5*w = k + 7. Let m = k - -14. Solve -m*f = -3*f + 3*r, -f = 2*r for f.
0
Let j be ((-7)/(28/(-12)))/1. Suppose 0*s + j = s. Let a be 0/((-2)/2 - 0). Solve 4*y - d - d = -6, a = -3*y + s*d for y.
-3
Let j = 5 - 12. Let s = j + 10. Solve u + 3 - 6 = -g, 0 = -u - s*g + 3 for u.
3
Suppose 3*p - 5 = 4*p + 3*z, 6 = -3*z. Let w be (p/3)/((-4)/(-36)). Solve -3*j + a + w = 0, -1 = -5*j + 2*a + a for j.
2
Let z be ((-4)/(-14) + (-6)/21)/(-2). Solve 2*r + 3*q + 4 = -2, z = 5*r - 3*q + 15 for r.
-3
Let c be (-3)/4 + (-228)/(-48). Suppose 25 = 4*k + k. Solve 0 = -2*i + 4*p + c, k*p - 4 - 1 = 0 for i.
4
Let d = 37 - 19. Suppose 5*z = 2 + d. Suppose -2*r + 6*r + 8 = 4*i, -z*i = -2*r - 10. Solve -l + f = -3*l - 1, -i*l - 12 = -2*f for l.
-2
Suppose -4*p - 15 = 1. Let w be 4 + -2 - (p - -2). Solve -w*x + 3*q + 0*q - 7 = 0, 4*x + 9 = 5*q for x.
-1
Suppose 0*x - x = -4*v + 17, 0 = -2*v + 2*x + 4. Solve 4*i + 4*l = l - 10, -v*l = 10 for i.
-1
Suppose -4*z = 4*r - 24, -3*r + 2*z = r + 6. Let f be r + -3 - 42/(-6). Solve -5*w = 4*c + 7, f = -5*w + 5*c - 20 for w.
-3
Let v be (-1)/(-1)*2 - -18. Suppose -2*a + v = 3*a. Let h be (6 - 4)*14/4. Solve -a*f + 35 = 5*c, 3*f + 11 = -3*c + h*f for c.
3
Let s(t) = -t**3 + 4*t**2 - 3*t. Let h be (-11)/(-6) + 1/6. Let w be s(h). Solve -2*u - 4 = -w*f, 5*f = -3*u - 2 + 4 for f.
1
Let b be -3 - (-1 + -5 + 3). Let t be b - (-3 + (-6)/(-2)). Solve -5*z - 5 = t, -2 = 2*s - z + 3 for s.
-3
Let j be 12/(-28) - (-20)/14. Suppose 3*m + 0*m = 3*h + 54, -3*h = 5*m - 66. Solve 4 + j = y - x, x = -4*y + m for y.
4
Let k = -9 - -13. Suppose -5*m = -4*m - 16. Let v = -11 + m. Solve k = -3*b - 3*r - 2*r, -b = v*r + 8 for b.
2
Suppose -5*r + 24 = -1. Solve 4*o - 31 = r*k, 2*k + 14 = o + o for o.
4
Let t(l) = l**2 - 3*l - 8. Let h be t(5). Suppose -4*i - 12 = -4. Let a = h + i. Solve 5 = -2*q - x, 3*q - x - 3*x + 35 = a for q.
-5
Let z = -3 - -7. Suppose 5*v + 2 = 22. Suppose x + 4*o = 20, -1 = x - o - 2*o. Solve -v = -0*k + 5*k - 3*p, -4*p = -z*k - x for k.
1
Let p be ((-1)/(-1))/((-7)/(-14)). Let d(k) = -9*k + 2. Let b be d(-3). Let o = b + -17. Solve -3*q + o = 5*u, -p*q = 5*u - q - 14 for u.
3
Suppose -3*s - 2 = -4*a - s, -a - 27 = 5*s. Let f be -2 + 3 + (a - -5). Solve 0 = 2*g + 4*i - 6, 5*g = f*i - 5 - 8 for g.
-1
Let g(a) = 3*a + 3. Let c be g(3). Suppose 2*q = -q + c. Suppose 11 + 5 = q*z. Solve 16 = 7*j - 4*j - h, z*h - 16 = -4*j for j.
5
Let r be (-3)/(-1) + 6 + 0. Let k = -5 + r. Solve 5*s + i - 12 = 0, 3*i + 5 = -k for s.
3
Let r = 7 + -4. Suppose z - 3*n = 15, 1 = -r*z - n + 6. Solve -5*t = -z*i + 8*i + 5, -3*t - 4*i = 1 for t.
-3
Let l(z) = -z**2 + 5*z + 11. Let n be l(11). Let r = 80 + n. Solve -k = -4*x - r, k + 2*k + 10 = -5*x for k.
5
Suppose -4*v - 27 = -z, -5*z + 0*v = v - 51. Solve -4*i - 5*y + 37 = 0, 9 = 4*y - z for i.
3
Let k be 35 - 3*(-2)/(-2). Solve 0 = 3*g + t - 12, -4*t = -4*g + k for g.
5
Let t(o) = -o + 1. Let q be t(-2). Suppose 0 = q*v + 14 - 2. Let a be ((-8)/6)/(v/6). Solve 5*y - 23 = k - 1, 13 = k + a*y for k.
3
Suppose -w + 16 = 3*w. Solve 0*d = 2*d + 3*v - 15, 4*d - w*v = 0 for d.
3
Let j be (10/4 - 2)*-2. Let w be 6*-2*j/3. Suppose 3*u - 36 = -3*c, w*u - 34 = 4*c - c. Solve -r + 2*i = -u, r + i = 5*r -