= -5*t, 17 = l*n - 10*t + 5*t for n.
-1
Let g be (2/4)/1*4. Let p be -7 - (1 - (1 - 3)). Let r be (0 - 2)/(p/105). Solve 22 = -3*c - g*w, -w + 8 = 2*c + r for c.
-4
Suppose -19 = -7*t + 16. Solve 3*i - 7*i - 5*b - 31 = 0, t = -5*i + 5*b for i.
-4
Let f(y) = -y - 9. Suppose u + 4 = -5. Let v be f(u). Solve 2*z + 5*g - 13 = v, 26 = 4*z + 2*g + 8 for z.
4
Let t = 3 + 0. Suppose -t*q - y + 9 = 0, 4*q - 11 = -y - 0. Suppose 0 = q*m - m. Solve 3*r + 2 = 2*f, -5*r = 4*f - m*f - 4 for f.
1
Suppose 7*d = 2*d - 4*j + 29, -3*j - 17 = -4*d. Solve -17 = 2*v + v - 2*x, d*x = -5*v - 20 for v.
-5
Suppose 3*q - 8*q + 30 = 0. Let z be (-2)/(-10) + (-9)/(-5). Solve 2*c + 2*f - q = -0*c, 0 = -z*c + 5*f + 6 for c.
3
Suppose -4*t + 13 + 39 = 0. Suppose -4*z - 2 - 12 = -5*l, 2*l = 3*z + 7. Let v = z - -5. Solve 3*d + t = -4*o, -13 = v*o - o - d for o.
-4
Suppose -5*i - 1 = -31. Let t be i/2 - 3/(-1). Let h = 8 + -4. Solve -h*k = 5*l + 14 - t, -3*k = l + 6 for l.
0
Suppose -5*p + 5 + 5 = 0. Let w be (-27 - 0) + -1 + 0. Let x be 1/4 - w/16. Solve x*u + u = p*z - 6, z - 3*u = 9 for z.
-3
Let k = 216 - 214. Let d be 1/((-1)/(-5)) + -1. Suppose d*s = -2*c + 3*s + 15, s - 5 = 0. Solve k*w + 9*j = 4*j, 0 = 2*w - c*j for w.
0
Suppose -4*h = -10*h. Suppose -4*k + 2*k + 6 = h. Solve -3*j + 7 = 4*c, k*j - 18 = 4*c + j for c.
-2
Let n(t) = -t - 1. Let v be n(-4). Let z(p) = -2*p + 0*p + p**v + p + 0*p. Let l be z(1). Solve 16 = -4*k, -5*j + l*j + 45 = -5*k for j.
5
Suppose -3*q + 60 = q. Suppose 3*p - q = -3. Let r be 2/p - 3/(-6). Solve 3*h + t = -t - r, -4*t = h + 7 for h.
1
Let z(c) = c**2 - 7*c - 4. Let i be z(8). Suppose -i*d + 10 = d. Solve 0*n + n - d*m = 8, 1 = -4*n - 3*m for n.
2
Let t(m) = -m**2 + 2*m - 2*m + 5*m - 2. Let j be 6/(-14) - (-456)/133. Let b be t(j). Solve 5*l - 35 = -b*i, l + 6 = 2*i - 1 for i.
5
Let f(u) = -u**2 + 5*u + 4. Let i be f(5). Solve -3*g + 15 = -i*q - 0, 4*q + 10 = 2*g for g.
5
Suppose 3*v + 4*o + 11 = 0, 4*v - o = -0*o + 17. Solve 14 = q - 5*p - 1, 0 = -v*p - 9 for q.
0
Let c(h) = h**2 - 7*h. Let x be c(7). Solve -2*z - n = 4, x*n + 10 = -5*n for z.
-1
Let l = 2 + 2. Solve -l*w = 4*t - w + 12, -w = -4*t - 12 for t.
-3
Suppose 0*y + 3*x = 5*y - 29, 0 = -5*x - 15. Solve 0*p + y*j = -2*p + 6, 0 = -p + 4*j - 9 for p.
-1
Let r = -23 - -27. Solve 2*h = 3*h, -r*h = -4*g for g.
0
Suppose -11*b + 14*b - 12 = 0. Solve 0 = -2*r + b*v - 16, 4 = -0*r + r + 2*v for r.
-2
Suppose 0 = 5*h - 8 - 102. Let c = -15 + h. Solve -5*v = f + 15, 3*f - v + 4 = c for f.
0
Suppose -3*a = 4 - 16. Let i = a + -2. Suppose -5*h + 9 = -21. Solve 2*v + i*j - 5*j = 13, -v + j + h = 0 for v.
5
Suppose 0 = -3*v - v + 4. Let x be 1/(v - 0 - 0). Suppose 2*h + 5 = x, 5*h = -2*p. Solve p = 2*g - 1, -3*g + 19 = 5*b for b.
2
Let o be 1*3/1 - -2. Let k = o - -5. Suppose -4*v + 5*d - 35 = -5*v, 4*d + k = 3*v. Solve 0 = -4*c - 2 - 6, 2*t + 3*c + v = 0 for t.
-2
Let k = -6 + 8. Let w be 3 + (3*4 - -1). Let p = w - -7. Solve 21 = -6*n + n + z, 3*n + k*z = -p for n.
-5
Let y be 16/3*(-9)/(-6). Suppose -3*i - 3*o - o = y, -i - 10 = 5*o. Solve -3*m + 8 = m - 4*t, -m - 3*t - 10 = i for m.
-1
Suppose -f + 3*f = 3*f. Solve -4*c - w + 5 + 3 = 0, -c - 5*w + 2 = f for c.
2
Suppose -44 = -5*a - 4. Suppose -6*k + a = -2*k. Let c be (-32)/(-12) - (-2)/6. Solve 0 = c*s - 6, s - k = 3*l - 0*s for l.
0
Suppose 13 + 72 = 5*d. Suppose 0 = -4*l + 7 + 17. Suppose 0 = -5*h - r - 3, 3*h - 2*h - 2*r = l. Solve -5*g - 2*b = h, -g + 4*b + d = b for g.
2
Suppose -26*c + 432 = c. Let m(n) = n**2 - n - 8. Let a be m(0). Let q be -4*-3*(-2)/a. Solve q*j - 3*h = 2*j + 12, 2*j = -2*h - c for j.
-3
Suppose 3*f = -f. Suppose -45 = -f*y - 3*y - 3*u, -y - 5*u = -7. Solve 26 = 2*k - 4*g, k - 2 + y = -5*g for k.
5
Let w(h) = -h**2 - 7*h - 1. Suppose -3*q - 10 = 4*a, q + 0*a = -5*a + 4. Let v be w(q). Solve -v*t = 3*o - 6, 3*o + 3*t = -2*o - 6 for o.
-3
Suppose w - 4*w = -9. Suppose -w*z - 2*d = -0 - 19, 8 = 4*d. Solve 0 = z*q - a - 1, 0 = -5*q + 2*a - 4*a + 13 for q.
1
Suppose 11 + 7 = -3*b. Let r = b - -9. Let w be (-3)/(-9)*r + -1. Solve -3*z + 25 = -5*g - 2*z, w = -2*g + z - 13 for g.
-4
Let h = 5 + -1. Solve d + 7 - 3 = 5*v, -d = 2*v + h for d.
-4
Let s be (-6)/4 + (-2)/((-12)/9). Solve 3*x - 3 = -3*b, -x - 3*b = -s + 1 for x.
2
Let c = 15 - -4. Solve -o - 2*q = 6, -c = 5*o + 5*q - 4 for o.
0
Suppose -3*k - 3*r + 4*r + 22 = 0, -10 = -k + r. Solve -3*z - 5 - 1 = -3*x, 2*z + k = 4*x for x.
1
Let z(x) = -2*x - 7 - 2*x**3 - 1 + 7. Let c be z(-1). Solve -4*o = 4*j - 8, 0 = -o - c*o - j + 14 for o.
4
Let d(v) = -v**2 + 20*v. Let l be d(11). Suppose -4*x + l = -5*n, 0 = -x + 2*n - 3*n + 18. Solve i + 4*w - x = 0, w = -4*i + 3*w - 6 for i.
1
Let t = -14 - 7. Let h be 6/t + (-60)/(-14). Solve -4*m + 6*w - 20 = 2*w, h*m - 16 = -5*w for m.
-1
Let v = 63 + -59. Solve 9 = m - f, 12 + 28 = 5*m - v*f for m.
4
Let m = -425 + 430. Suppose -p + 4 = 0, -3*d + 3*p - 8 + 23 = 0. Solve 2*o - 10 = -2*k, -3*k = -m*o - 0*k + d for o.
3
Let i = -14 - -14. Solve h = 3, 4*v + i*v = -h + 3 for v.
0
Let s(i) = i**2 - 10*i - 5. Let v be s(11). Solve 3 = b + 2*j, 0*b + 5*j - v = -b for b.
1
Let m(o) = -o + 17. Let n be m(12). Suppose -i + 0 = -3*p + 3, -3*p = -2*i. Let k = n - p. Solve -u - 7*s = -k*s - 17, -5*u - s = 10 for u.
-3
Let r be (-3 - -1)*-2 - 3. Suppose -4 - r = -i. Solve x - m = -3, -i*x + 3*m - 4 - 15 = 0 for x.
-5
Let b(d) be the third derivative of -d**4/12 - d**3/2 - 3*d**2. Let w be b(-2). Suppose -5 = -2*r - w. Solve -g = -3*g - 2*q - r, 0 = 4*q + 16 for g.
3
Let o = 4 - 1. Let k(a) = -4*a - 41. Let m be k(-16). Solve 3*v - m = 5*f - 4, -f = -v + o for v.
-2
Let p = 17 - 15. Suppose 2*m = p*k - 3*k, 2*k = -3*m. Solve 0*w - 5*g = -w + 20, k = -5*w - g - 4 for w.
0
Let r(p) = p + 7. Let v be r(-2). Solve -3*z - v*t - 3 = 0, -t + 0*t + 1 = z for z.
4
Let p be ((-52)/(-8))/(2/(-4)). Let s = -5 - p. Let l = s - 5. Solve c - l*v - 15 = 0, -3*c + 2*v + 11 = -6 for c.
3
Let l = 11 + 9. Suppose 0 = 4*t - 0*t - l. Solve -4*n - 2 = -t*m, -3*n - 6 = -4*m - 2*n for m.
2
Suppose 3*s = -2*i + 10 + 4, -3*i = 4*s - 20. Let n(d) = -s*d + 0*d + 4*d - 4. Let a be n(4). Solve 8 = -4*v, 6 - a = -2*f + 4*v for f.
-5
Let b be 12/28 - 50/(-14). Solve 0 = -2*u - 2*y - b, -10 = -y - 4*y for u.
-4
Let n(r) = r**2. Let q be n(-2). Let k be (6/q)/(6/32). Solve 4*x + k = -4*y - 16, 3*x - 3*y = 0 for x.
-3
Let t be (-2)/(2/(-4)*1). Let d be 2/t - (-14)/4. Let x(s) = 6*s + 5. Let r be x(6). Solve 4*k + 3*l - 5 = -k, 0 = d*k - 5*l - r for k.
4
Let a(x) = 15*x**3 + 1. Let j be a(1). Solve 5*l + 26 = 3*l + 4*b, -b - j = 4*l for l.
-5
Let k = -7 + 11. Let i be (-4)/(-12) + 4/6. Solve 3*h - 4*q = 5, 3*h + i = -q - k for h.
-1
Let p = -21 - -23. Solve -q - 1 = 4*o, -2 + 4 = p*o - 2*q for o.
0
Let t be (0 + 6 + 0)*(-2)/(-4). Solve 2*p - 8 = 0, 1 + 10 = t*c + 2*p for c.
1
Suppose 2 = s - 2. Let x = s - 0. Suppose -w + 12 = w + 2*b, 10 = -w + 3*b. Solve 4*v = w*q + 14, 3*v = 2*v + 3*q - x for v.
5
Suppose -4*u - 2*z + 18 = 0, 0*u - 3*z = 3*u - 12. Solve 0 = -u*i + 5*y - 40, 2*i + y + 8 = -i for i.
-4
Let y be 5 + 1*(-1 - -3). Suppose 20 = -2*q + y*q. Solve -q = 2*d - g, 3*g + 8 = -d - 3*d for d.
-2
Suppose 0*k + 4*k = 2*c + 16, -c = k - 1. Solve k*f + 3*a - 15 = 0, 2*a = -a + 12 for f.
1
Suppose -5*n = 2*f - 2, 4 = -4*n + 4*f - 0. Solve -a - 3*y - 7 = n, 11 + 11 = 5*a - 4*y for a.
2
Let g be ((-4)/10)/((-3)/30). Suppose 0*f + 8 = g*f. Solve 11 = -5*p + 1, f*p + 3 = -k for k.
1
Let v(y) = y + y - y + 0. Let u be v(3). Suppose 3*r = -h - 0*r + 21, -55 = -u*h - 5*r. Solve 4*l + 0*l + 18 = 2*m, -h = 2*l + 5*m for l.
-5
Suppose 3*u - 3*z - 2*z - 8 = 0, -3*u + 6 = -3*z. Solve -32 = -5*a - 4*i, -3*a + 7 = -2*i + u for a.
4
Let s be (-1)/4 + 21/4. Suppose -y - 2*k = -3*y + 4, 8 = 4*y + 4*k. Solve 5*p - y*v - 23 = -5, 2*v = -s*p + 2 for p.
2
Suppose 0 = -5*u + 2*f + 81, -4*u + u - 4*f = -33. Suppose u = -0*m + 3*m. Solve d - n = m*d - 5, -d + 4*n - 20 = 0 for d.
0
Suppose 5*p = 3*q - 83, -q - q = -2*p - 50. Solve 6*h = 2*h + 5*s + 41, 4*h = s + q for h.
4
Let x be 1*(-14)/((-6)/3). Let v be x/3 + (-2)/6. Suppose -l + 66 = v*l. Solve -5*y - p - l = 0, 0 = -5*y - 0*p - 5*p - 10 for y.
-5
Suppose -4*o + 2*s - 1 + 7 = 0, -4*o + 15 = -5*s. Suppose o*r + 51 = 3*r. Solve -2*g + 2*y + 