*d = -4*t - 9 for t.
4
Let x be (-2)/(-8) + 45/12. Let f be ((-1)/(-2))/(1/x). Let y be (-2)/(-10) - (-133)/35. Solve 0 = 3*v - 3*d, -f*d + y = -5*v - 2 for v.
-2
Let b = -1 - -3. Suppose -b*o = 2*o - 8. Solve -3*l - h = -3, -o*l + 5 = 3*l - 5*h for l.
1
Suppose 9 = 4*i - 2*o - 11, -5*o + 5 = i. Solve -5*v = -i*t + 10, -v - 4*t = -0*v - 3 for v.
-1
Suppose 6 = -0*d + 3*d. Suppose -2*n - 3*r - 11 = 0, 0 = n - 5*r + 10 + d. Let z = n - -11. Solve -2*c = -2*x + 10, -5*x + 3 = z*c + 23 for c.
-5
Suppose 3*v - r - 6 = 4, 3*v - 14 = 2*r. Solve 4*g = -3*w + 26, -w - 3*g + 15 = -v for w.
2
Let j(q) = -q**2 + 7*q - 2. Let r be j(6). Solve n + 2*y - 15 + r = 0, 2*y - 31 = -5*n for n.
5
Let g(q) = 2*q + 1. Let j be g(2). Let y be 12/15*j/(-1). Let r = y - -9. Solve 0*k - k + r*h - 19 = 0, -5*h - 5 = 5*k for k.
-4
Let t be (10/6 + -2)*0. Suppose -4*l - 1 = -s - 10, t = -s + 3*l - 6. Solve k + 3*v + 2 = s*k, 4 = 4*k - 5*v for k.
1
Let f be 198/27*3/2. Solve -16 = 2*w - 4*c, w - f = -w - 5*c for w.
-2
Let r(f) = 2*f**2 - f. Let w be r(1). Let h = w + 3. Suppose 0 = 19*u - 12*u - 21. Solve 30 = -2*y - 3*y + 5*p, 0 = h*y + u*p - 11 for y.
-1
Suppose 0 = 2*j + 3*j - 70. Let d be (-1 + 4)/((-9)/(-6)). Suppose -j = -d*i + i. Solve -2*n - 2*n + 3*y = -i, 4*y - 18 = -2*n for n.
5
Suppose 0 = -3*x + 313 - 73. Suppose -2*u + 7*u = x. Suppose u = 2*t + 2*t. Solve 4*j - 3*h + 32 = 0, -2*h = -t*j - h - 24 for j.
-5
Let m = 6 + -4. Suppose -2*i + 4 = -0*i. Solve -f + i*r = -8, m*f + f + 4*r - 4 = 0 for f.
4
Let g(m) = -5*m - 12. Let p be (-2)/(-8) + 33/(-4). Let i be g(p). Let k = -3 + 6. Solve -i = k*s + 5*h, h + 11 - 4 = -2*s for s.
-1
Let i be (8 + -5)/(1 - 0). Suppose 0 = -5*l + 5*c + 1 + 9, l - 10 = -c. Let x be 12*3/l*2. Solve -x = 3*o + i*s, -21 = 3*o + 4*s - 9 for o.
-4
Let r = 7 - 3. Let b(p) = r*p - p + p - p. Let t be b(1). Solve -5 = -t*c - 3*l - 2, 0 = -c - 5*l + 5 for c.
0
Let i be 1 - ((-2)/(-6))/((-6)/36). Solve -3*m + 9 = -i*x - 9, m - 2 = -x for x.
-2
Let t(u) = -u + 2. Let b be t(2). Suppose -6 = -b*v - 2*v. Solve -5*i - q = 0, v*i = 4*i - q for i.
0
Let v(z) = -z - 6. Let a be v(-11). Solve 2*n = 3*g + 6*n - 31, 2*n = -a*g + 33 for g.
5
Let q(k) = -k**3 - 2*k + 2. Let z be q(0). Suppose z*p + s = 12, -3*s + 18 + 10 = 4*p. Solve -2*i + 7*i + p = -2*d, 5*d = 15 for i.
-2
Suppose -2*u + 8 = 2*u. Let j(v) = v**2 + 2*v - 1. Let z be j(-7). Let y be 2/(-17) + 38/z. Solve 2*o = -2*l - u, -l + 3*o - 2*o - y = 0 for l.
-1
Let i(q) = q + 14. Let c be i(-10). Solve c*w - 7 = f, 3*w + 2*f + 0 = -3 for w.
1
Suppose -3*d - 14 = -5*u + d, 2*u - 8 = 4*d. Suppose 4*k = 14 - u. Solve -2*t = -k*x - 8, t + 0 = -2*x - 3 for t.
1
Let g be 2/((-20)/(-72) + 4/18). Solve -x + g*x + 5 = 2*m, -10 = x + m for x.
-5
Let f be (-1)/((1 + 0)/3). Let w be f - (-7)/((-7)/(-6)). Solve -2*v - 2*v = -w*t + 26, 4*v + 22 = t for t.
2
Let d(h) = 11 - 2*h + 3*h - 2*h + 2*h. Let c be d(-6). Solve 3*m = -0*m - 5*n - 15, -m = n + c for m.
-5
Let v be ((-6)/10)/((-2)/20). Suppose 2*n + n + 2*j + v = 0, 3*n - 3*j - 9 = 0. Solve 2*r - 2 = c - 1, 3*r + 4*c + 4 = n for r.
0
Let r(s) = s**2 + 3*s + 1. Let h be r(-2). Let a = 2 - h. Suppose -a*k + 5*b = -9, b + 2*b = 2*k - 6. Solve -3*p = -k*u + 5 + 4, -5*p - u = 15 for p.
-3
Suppose -2*l + 1 + 3 = 0. Suppose -6 = -l*t + t. Let y(g) = -g**3 + 5*g**2 + 2*g - 5. Let u be y(5). Solve -2*h - 5 - t = u*v, -2*v = 2 for h.
-3
Let p = -3 + 5. Suppose -3*z + 0*a = -a - 5, 3*z + a + 5 = 0. Suppose o = -z*o. Solve 2*b - 8 = o, -c - c - 14 = -p*b for c.
-3
Let f(z) = z - 21. Let b be f(6). Let i(h) = h**3 + 16*h**2 + 16*h + 15. Let s be i(b). Solve -c + 4 = 2*d, 10 = 5*d - s*c - 5*c for d.
2
Let l = 1 - -1. Suppose -4*q = -l*q. Suppose q*s - 1 = -s. Solve -p - s = -2*y, p + 0*y + 4*y = 5 for p.
1
Suppose -4*k + 0*k = -12*k. Solve -3*m + 3 = -2*x - k*m, -18 = 5*x + 3*m for x.
-3
Let v(o) = -o - 3. Let z(d) = -d - 3. Let g(k) = 2*v(k) - 3*z(k). Let q be g(-2). Solve -5*b - j + 1 + 4 = 0, 0 = b + 2*j - q for b.
1
Let x(b) = -b**3 + b**2 + 17. Let c be x(0). Let w = c - 7. Solve w + 24 = 5*z + 3*q, z - 4*q = -7 for z.
5
Let o(u) = 5*u**2 - u - 1. Let z be o(-1). Let g(j) = -j**2 + 6*j - 1. Let f be g(z). Suppose -14 = q - 30. Solve h + 8 = 3*s, f*s = -5*h + h - q for s.
1
Suppose 0 = 4*h + 20, -2*h + 10 = 5*n + h. Let j = 4 + 4. Solve 0 = -l - 5, 2*b + n*l + 25 = j for b.
4
Let t(w) = -w + 8. Let m be t(5). Suppose m*g + 3*f = g + 11, 15 = 3*g + 5*f. Solve i - 1 = 1, 5*u = -5*i - g for u.
-4
Let l be (0 + 0)*(-1 + 2). Let d be (36/21)/(4/14). Let m be 62/12 + d/(-36). Solve 24 = -a - l*a + m*t, 3*t = 5*a + 10 for a.
1
Let x(f) = f**2 - 29*f + 2. Let p be x(29). Solve b + 3*i = 7*i + 5, 0 = 2*b - 2*i + p for b.
-3
Suppose -16*q + 10 = -11*q. Suppose -2*s + 6*s - 8 = 0. Solve -6 = u + 2*o, 5*u = s*u - q*o - 10 for u.
-2
Suppose 2*s = -9 + 1. Let i = 3 - 0. Let d be i*s*(-2)/12. Solve -2*h = -v - 10, 3*h + d*v + 0*v - 8 = 0 for h.
4
Suppose 6*a = 11*a - 25. Solve -4*b - 5 = -5*b, -2*q - 25 = -a*b for q.
0
Suppose 3*r + 20 = 8*r. Suppose 5*g - 19 = -2*b, r = 2*g - 2. Solve 6 = -t + b*k + k, 0 = -3*k + 9 for t.
3
Suppose 2*n + f = 3, 2*f - 7 = -4*n + f. Suppose 0 = -0*l - 2*l + n. Let i = l - -8. Solve 5*u = -3*d + i, u - d = -2 - 1 for u.
0
Suppose -3 = 3*z - 4*l, 5*l = z - 2*z + 18. Solve 4*u + 3*m = -0*u + 9, -5*u - z*m + 9 = 0 for u.
0
Let y = 15 + -11. Solve 2*o - 9 = y*c - 3*o, 5*c - 2*o = 10 for c.
4
Let r = 304 - 173. Suppose 5*k + 3*t - r = -26, 2*k = 2*t + 26. Let p be 0/(0 - -2) - -3. Solve p*l = 3*i + k, 2*i + 4 = -l + 1 for i.
-3
Let p = -10 + 21. Let y = p - 7. Solve -5*u = 5*c + 35, -5*u = y*c + 11 + 19 for u.
-2
Suppose t = 1 + 6. Solve -k = -2*x - t - 4, -4*x = 2*k + 18 for x.
-5
Suppose -3*m - 4*y + 368 = m, -3*m + 2*y = -261. Let c be 6/36 + m/6. Let f = 2 + 2. Solve f*j + 45 = 5*r, j - 6*j - c = 2*r for j.
-5
Let t(i) = -i**2 + 10*i + 4. Let y(z) = 1. Let p(j) = t(j) + 4*y(j). Let n be p(8). Solve -4*u = -4*a - n, -4*a - 18 = 5*u - 3 for a.
-5
Let h(j) = j**2 + 7*j + 11. Let t be h(-6). Let r = 8 + -6. Suppose 47 + 3 = 5*q + 2*v, 5*q + 4*v - 60 = 0. Solve t*i - q = 4*b, 3*i = -3*b - r*b - 10 for i.
0
Suppose q = -27 + 32. Solve 15 = -5*b - q*t, b = t - 4 + 3 for b.
-2
Suppose -h = 2*s - 8, s + 0*s - h - 7 = 0. Solve a - 6 = 2*k, -s*a + 2*k = -0*a - 6 for a.
0
Let q(b) be the second derivative of -b**3/6 - 2*b**2 - 4*b. Let g be q(-9). Solve w = 7*r - 3*r + 1, -g*r + 15 = 2*w for r.
1
Let f be ((-3)/(-6))/(((-3)/(-3))/36). Solve 5*a = -4*k + 4, 5*k + a + f = 2 for k.
-4
Let x(n) be the first derivative of -n**2/2 + 4. Let w be x(-2). Solve -2*z = -0*z - w*f - 6, -7 = z + f for z.
-2
Let y be ((-22)/6 - -4) + 32/12. Solve -5*z = n + 4*n - 15, n - z = -y for n.
0
Let v(m) = m**3 - 5*m**2 + 5*m - 9. Let p be v(4). Let s = p - -5. Solve 0*x = -2*g + 5*x - 10, s = 3*g - x - 11 for g.
5
Let q(p) be the first derivative of p**3/3 + 4*p**2 + 14*p + 6. Let z be q(-6). Solve f + z - 4 = 0, 5*v - 13 = f for v.
3
Suppose -5 = 3*w - 5*o, 5*w - o - 9 - 12 = 0. Solve -w*m - 3*c = -2*m, 4*m = c for m.
0
Let n be (-22)/99 - 20/(-9). Solve -2*m - n*w - 12 = 0, 2*w + 3 = m - 0 for m.
-3
Suppose 4*m - 37 - 23 = -4*g, -4*m = -g - 35. Suppose -y + 0*y + 3 = -3*p, 2*y = 4*p + m. Let q be (6/9)/(1/6). Solve -3*j = y - 0, -4*j - 8 = -q*v for v.
-1
Let t be (4 - 2)/2 - -11. Suppose -g = -0*g. Suppose k = -g + t. Solve -5*u - 2*z = -35 + k, u - 4*z + 13 = 0 for u.
3
Let x(v) = -v**2 + 3*v. Let q be x(3). Suppose 3*n = 2*n + 6. Suppose 3 = -3*a + 9. Solve r + a*d - n = q, 2*r - 1 = -5*d + 13 for r.
2
Suppose -4*x = x - 20. Let d be 2*6 + 1 + -1. Let c be (-14)/(-8) + (-9)/d. Solve 5*m + 4 = 5*t - c, 2*m = -x for t.
-1
Let r = 87 - 82. Solve 4*q - 35 = -3*z, 38 = r*z + 3*q - 2 for z.
5
Let m(q) = -q**2 - 1. Let v be m(3). Let b = v + 6. Let t = 0 - b. Solve 2*k + n + 2 + 1 = 0, 5*k - n + t = 0 for k.
-1
Let q(g) = g - 11. Let h(p) = 2*p**2 - 8*p + 4. Let t be h(5). Let y be q(t). Solve -k - 4 = -z - 7, 5*z = y*k - 17 for k.
-1
Suppose -10 = -5*d, -z + 10 = 2*z + 5*d. Solve z = 3*l - 2*u - 12 - 3, -4*l = 3*u - 20 for l.
5
Let m(l) = -l**2 - 7*l. Let v be (1/2)/((-3)/36). Let r be m(v). Let n(o) = o**2 - 3*o - 4. Let x be n(r). Solve -3*t + 17 = 4*f, x = f + 5*t - 3 for f.
2
Su