-2*j, 0 = j + 4*v + 9 for j.
3
Suppose 0 = 2*y - 2 - 8. Solve y*i = -3*t - 9 - 21, -i = -3*t - 12 for i.
-3
Suppose 0 = 7*t - 10*t + 3. Solve -3*d + n - 20 = 0, -d + 3*n = -t + 21 for d.
-5
Let a = -23 + 26. Let b be 106/(-6) + (-1)/3. Let f = b + 33. Solve -a*j = -2*x - 11, -4*j + f = -4*x - 1 for x.
-1
Let i(y) = y + 1. Suppose j + 0*j - 15 = 0. Suppose -2*k + 7*k - j = 0. Let h be i(k). Solve -14 = -h*t + 2*g, 3*t - 8 = -4*g + 3*g for t.
3
Let t be (27/(-36))/(2/(-40)). Suppose 3*a = -2*a + t. Solve a*u - 7*u + 2*i = -22, 4*u = -2*i + 18 for u.
5
Let u(m) = -m**2 - 6*m - 4. Let j be u(-5). Let p = j - 1. Let w be 5/10 - 1/2. Solve -5*g + 15 + w = p, 5*x + 2*g = 1 for x.
-1
Suppose -5*i + 11 = m, 0 = -5*m + i + 3*i - 61. Suppose -4*p - 39 + 19 = 0. Let r = p - m. Solve -r*v + 9*v = -3*k - 19, 4*v = -4*k - 20 for k.
-3
Let o(g) = -g**2 - 2*g + 24. Let q be o(-6). Solve -2*r - 5 = -4*t - r, q = 5*t + 5*r for t.
1
Let j = -1 + 1. Suppose 72*u - 74*u + 4 = 0. Suppose -4*h + 2*f + 18 = 0, -f - 4*f - 25 = 0. Solve -3*b - o + u = j, -b - 18 = h*b - 3*o for b.
-1
Suppose -5*l = -36 - 29. Solve 2*h - h - 2*f = l, -3*f = 12 for h.
5
Let h be 1/(-2 - -1) - -2. Let b(f) = 7*f**3 - f**2 + f. Let y be b(h). Solve -7 - y = -2*c - 5*a, -3*c = -3*a for c.
2
Let w be (-46)/14 - 2/(-7). Let t = 5 + w. Solve 0 = -4*s + 3*h, 2*s - 2*h + 4 - t = 0 for s.
3
Let y(x) = -x - 1. Let o(c) = -2*c + 3. Let r(h) = -2*o(h) - 6*y(h). Let k be r(-1). Let z = 15 + k. Solve -5*l - 20 = z*b, -4*l - l - 14 = -b for l.
-3
Suppose -1 = d + 2*u + 5, 5*d + 6 = -4*u. Suppose -d*q + 9 = c - 6, 4*q - 18 = 2*c. Solve -2*m - 4*t = -12, -m - 2*t = -q*m - 18 for m.
-2
Let u = -7 - -1. Let n be 44/33 + (-4)/u. Solve -2*i = 3*p - 3 + 13, -p - 10 = n*i for i.
-5
Suppose 0 = -2*u - 2*w + 2, 3*w + 7 = -u - 2*w. Let b be (-17 + u + -2)*-1. Solve 5*g = -4*p + b, -3*g + 34 - 14 = 5*p for g.
0
Let d = 8 + -6. Let j be d/1 + 3 - 2. Solve -2*h = j*i + 2*h - 24, -3*h - 11 = -5*i for i.
4
Let s(a) = -a + 1. Let v(i) = 3*i + 4. Let x(h) = 2*s(h) - v(h). Let n be x(-3). Solve -z = 5*l - 20, 2*z - 32 = -3*l - n for l.
3
Let n be -1 + 5 - (-2)/(-4)*0. Let b = -7 - -11. Solve -z - 4 = 2*g, -b*g + n*z = 2*z for g.
-1
Let b = 15 + -12. Let z be -3 + 0 + b + 2. Solve 3*r + 3 = r + 5*q, 3*q - z = r for r.
1
Let z be 3/(28/8 + -3). Solve 0 = 5*x - 3*s - 7, 2*s = 2*x - z*x + 10 for x.
2
Let o(g) = -2*g. Let l be o(-4). Suppose 0 = 5*k - 2 - l. Solve -k*y - m - 9 = y, -4*m = 3*y for y.
-4
Suppose -i + 0*i + 9 = 0. Suppose i = 3*f - 0. Let x = f + 12. Solve -5*c = -x, -c = -5*b - 2*c - 2 for b.
-1
Suppose -2*j + 6 = 2*y - 6, 3*j - 2*y + 2 = 0. Solve 0 = 2*n - 2*s + 1 + 11, n = -j*s for n.
-4
Let b be 2 - (-9 - 0/1). Let i = -7 + b. Solve 0 = -i*w + u - 19, 0 = 4*u + 5 - 1 for w.
-5
Let f(y) = 36*y**2 + 1. Let w be f(-1). Suppose -5*q = -4*p - 9, -3*p - q - 4*q + w = 0. Solve p*a + 23 = -3*x, -3*a + 6*a = 5*x + 19 for a.
-2
Let a be (-18)/(-8) - (-4)/(-16). Solve 12 = a*i - 4*l - 14, -4*i + 2*l + 28 = 0 for i.
5
Suppose h = 3*h - g - 9, -4*h + 3*g = -17. Suppose 7*t = 3*t + 8. Let k = 4 + -3. Solve -t*w - 5*m = -5, h*w - k + 6 = 5*m for w.
0
Let l(r) = 31*r + 1. Let i be l(1). Suppose 2*v - 9 = 33. Suppose 2*w - 3*w + v = 0. Solve 4*p + i = 3*s, 2*p - p + w = 4*s for s.
4
Suppose t + 41 = 5*r - 12, -t = r - 7. Let y = 1 + r. Solve 2*k = 3*j - y, -3 = -3*k + j - 2 for k.
2
Let g be 5 + 8/(-4) + 3. Solve 0*y = 3*w + 2*y - g, -3*y + 9 = 0 for w.
0
Suppose -3*o - 4*s + 31 = -0*o, 5*o - 33 = -2*s. Solve 5*y + 3*a - 2 = 0, y - 18 = -0*y - o*a for y.
-2
Suppose 2*w = 8*w + 30. Let x(t) = -t + 4. Let i be x(-6). Let b = i + w. Solve 0 = -b*l + 5*o, -3*l + 0*l - o + 8 = 0 for l.
2
Suppose -2 = 3*d + 5*a + 2, -5*a = -3*d + 16. Let g be d/6*(16 - -2). Solve p - g = -p - 4*k, 3*k = 5*p + 24 for p.
-3
Let s(n) = -n**3 - 10*n**2 - n - 6. Let l be s(-10). Let q be (-1 + 6)*(-6)/(-5). Solve -4*g - 10 = -c + 8, -l*g - q = 5*c for c.
2
Suppose 6 = 5*z - 99. Suppose 5*m + b = -b + z, 0 = 2*m - b - 3. Solve -5 = -0*h + h + 5*c, -m*c - 25 = 5*h for h.
-5
Suppose -5*t = 20 - 90. Let u = t + -5. Suppose -2*w - u = -5*w. Solve -2*l + 0*l = -w*f - 9, -5*f - 25 = 0 for l.
-3
Let q(z) = 5 + 3 + z**2 - 9*z + 0*z**2. Let m be (-270)/(-35) + (-2)/(-7). Let o be q(m). Solve 0 = l - 3*w, 5*l - 3*w + 4*w = o for l.
0
Let n(o) = 2*o**3 + 5*o**2 - o - 3. Let v be n(-2). Solve -t - 3 = 0, -2*w - v*w + 8 = 4*t for w.
4
Suppose 1 = -2*z - 5. Let v be 2/(z + 1)*-5. Solve -5*u + 2 + 8 = 5*h, v*u - 12 = -4*h for h.
-2
Suppose 3*i + f + 31 = 0, i - 43 = 4*i + 4*f. Let j = i - -13. Let l(h) = -h - 5. Let z be l(-8). Solve z*w = -5*r + 5*w, j*w = 2*r for r.
0
Suppose 5*r = 2*r - s, 5*s = 0. Solve r = 3*f + 15, 5*x - f + 4 + 11 = 0 for x.
-4
Suppose 2*o = -o. Let w(f) = -f**3 - f**2 - 1. Let p be w(o). Let z be (p/3*0)/1. Solve z = -5*i + 3*g - 9, i + 2*g - 6 = -2*i for i.
0
Suppose h - 1 - 1 = 0. Let m = -4 + h. Let j be (-4)/10*15*m. Solve -l + s = -6*l + 9, -2*s - j = -5*l for l.
2
Let p be (1 - (-14)/6)/((-12)/(-18)). Suppose 0*b = 3*b - 18. Solve 4*z - 2*i - 20 = 0, -z + 0*z - b = p*i for z.
4
Let y(m) = -5*m**3 - m**2 - m - 1. Let r be y(-1). Solve 3*j + 17 = 4*n, 4*j + 6 = n - r*n for j.
-3
Let o(i) = 3*i**3 - 2*i**2 + i. Let l be o(1). Solve 3*p - j + 4 = -l*j, -3*p - 4*j = -11 for p.
-3
Let t = -3 + 5. Suppose t*k = 3*k - 4. Suppose 4*n + 6 = 2*n - 3*i, 2*i - 4 = -k*n. Solve 5*d = n*u - 0*d - 40, 0 = u + 2*d + 5 for u.
5
Let k(z) = -z**2 + 3*z + 2. Let x be k(4). Let u = 1 - x. Solve 17 = -u*b + 2*d, 2*d + 1 = -3*b - 0 for b.
-3
Suppose 28*d - 37*d + 18 = 0. Solve -4*g + a = -a, -g - 5 = d*a for g.
-1
Let b = 10 - 10. Let m = 2 + b. Solve 0 = -m*i - 2*r, 4*i - 5 = -0*r - 3*r for i.
5
Suppose 0 = -2*d - 2 + 6. Solve s + d*z - 13 = -2*z, s + 23 = 5*z for s.
-3
Let w = 5 - -12. Let q = 4 - 2. Solve y - w = s - 5*s, 0 = 4*s - q*y - 14 for s.
4
Let o be (-344)/(-32) + (-2)/(-8). Suppose 0 = -4*l - 3 + o. Solve -2*n + l*t + 8 = 0, 2 = 5*t - 3 for n.
5
Let q = 10 - 9. Suppose -8 - q = -3*f. Suppose 0 = -0*x + x - f. Solve -x*w - 2*w - 26 = -h, -w - 5*h = 0 for w.
-5
Let y be 20/6 + 2/3. Suppose 0 = -0*i + y*i. Solve 4*q - 5*q = -3*w + 4, -w + 3*q + 4 = i for w.
1
Let x(u) = -u**2 + 9*u + 2. Let r be x(9). Solve 7 = 3*z + r*t, 2*t + 1 = 3*z + 14 for z.
-1
Let d(h) be the third derivative of h**6/120 - 3*h**5/20 - 7*h**4/24 - 11*h**3/6 + 3*h**2. Let v be d(10). Solve y = -6 + 2, -3*q = y + v for q.
-5
Suppose 4*k + 6 - 2 = 0. Let z(t) = -4*t. Let j be z(k). Solve 5*l + j*v + 4 + 11 = 0, 5*l = -3*v - 15 for l.
-3
Suppose 3*x + 0*x = 48. Suppose -10 = 12*n - 58. Solve 0 = -n*m - 5*b - 1 - 4, -2*m - x = -2*b for m.
-5
Suppose -2*o = -y - 8, -4*o + 7 = -5. Let c = -6 - 0. Let t be c/30 - y/10. Solve t = -0*k + 2*k - 3*b, 5*k = -5*b for k.
0
Suppose 0 = v - 0*h - 2*h, -3*v + 32 = 2*h. Solve 4*a + a = -3*s + 7, 0 = 3*a - 2*s - v for a.
2
Let x = -45 - -59. Solve 0 = -h + 4*u - x, -25 = 5*h - 5*u for h.
-2
Let v = -25 + 33. Suppose i - v*i = -14. Solve 3*g = -b + 5, -2*g - i*b - 2 = -12 for g.
0
Let i be 90/(-24)*(-4)/3. Solve 16 = x + q + 2*q, i*x + 3*q = 32 for x.
4
Let j be (6/(-9))/(1/(-3)). Suppose j*a = -a + 12. Solve -4*g - 2*k = -a + 16, -6 = 2*g - 5*k for g.
-3
Let p be 2*((-3)/6 + 0). Let b be (((-1)/p)/(-1))/(-1). Let q be 2/b - 3*-1. Solve 0 = 3*g + 3*j - 6, 4*j - 10 - q = 3*g for g.
-1
Let g = -74 - -77. Suppose -3*c - 3*p + 16 - 46 = 0, -14 = -c + 5*p. Let w be (-4)/c*9/3. Solve -w*z - 5 = -r, -z + 6*z + g*r = -7 for z.
-2
Let i(q) = -5*q**2 - 5*q. Let l(a) = 6*a**2 + 6*a. Let f(k) = 7*i(k) + 6*l(k). Let t be f(-1). Solve -3*y = 2*y - 4*g + 15, t = 4*y - 2*g + 12 for y.
-3
Let x(r) = -r**2 + 5*r - 4. Suppose 0 = m + i - 1, 3*m - 4*i - 14 = m. Let g be x(m). Solve -o = -4*h + h, g*h = -o for h.
0
Suppose 6*w = 3*w - 2*a + 21, 2*w + 4*a = 14. Solve -4*i + 16 = 4*c, 4*c + 2*i - w = -1 for c.
-1
Let l be 4/5*(-175)/(-14). Suppose l = -2*r - 3*r. Let m be r/(-8) - 3/12. Solve -b - 9 = -m*z + z, 0 = -2*b + 2*z - 2 for b.
-5
Let n = 88 + -77. Solve 2*m = 5*m - 5*g - n, -m = 4*g + 19 for m.
-3
Suppose 5 = -x - 5*k - 13, 5*x + 3 = 4*k. Let h be x + (22 - 6/(-2)). Solve c = 4*t - h, 6 = 3*t - 9 for c.
-2
Suppose 0 = 8*k - 0*k - 32. Solve 6 = 2*z - 5*b, 0*b 