u - u + r for u.
1
Suppose -4*u + n + 64 = -n, 5*n = -10. Let q(r) = 2*r - 2. Let h be q(2). Suppose -4 = -h*a + 4. Solve 7 = -w - 2*k, 4*w - a*k = k - u for w.
-5
Let i be (-1 - -73)/(-1*(0 + -1)). Suppose 16*p - 18*p = -i. Solve 4*g - p = 5*t, -4*t - 4 + 0 = 3*g for g.
4
Let x(k) = -k**3 + 7*k**2 - 6*k + 5. Let p be x(5). Suppose u - 3*m + 2*m + 1 = 0, 5*m = p. Solve -u*n = -n - 5*o - 8, -5*o = 5*n for n.
1
Suppose -4*g = 2*a + 36, 3*a - 7*a - 5*g = 72. Let m be (a/15)/(3/(-10)). Solve k + 5*v = -6, -3*k + m*k - 5*v = 4 for k.
-1
Let r be 77/847 - 1/11. Solve -3*p - 2*c = -9 + 3, p - 3*c - 13 = r for p.
4
Let y be (-65)/(-4) + 9/(-36). Let j be (4/y)/((-2)/(-88)). Let i = j - 6. Solve l - 5*l = 2*b - 26, i*l = -4*b + 40 for l.
4
Let s(h) = -6*h + 11. Let b be s(5). Let v = 27 + b. Suppose v = j + j. Solve -3*c + j*c = i + 3, -3*c = -4*i - 13 for c.
-1
Suppose -39*u + 36*u + 336 = 0. Suppose -19*p = -12*p - u. Solve 4*f = 0, -6*f + p = -4*b - f for b.
-4
Suppose 5*l = l + 16. Suppose -3*y - 3*g = -24, 4*y - 35 = 3*g + 18. Solve -z - i = 5, l*i + 9 + y = 0 for z.
0
Let l(f) = 48*f + 486. Let i be l(-10). Solve 5*s - 4*x - 15 = 0, 17*x - 18*x = s + i for s.
-1
Let h(q) = q**3 - 5*q**2 + 4*q + 6. Let b be h(5). Suppose -b*g - 40 = -30*g. Solve g = j - 5*u, -3*j + 2*j = -4*u - 9 for j.
5
Let y(k) = 3*k**2 - 2*k - 1. Let u be y(-1). Let m = -2 - -4. Suppose -2*f = -m*b + 8, 7*b - 2*b = f + 4. Solve 3*d = -12, b = u*h + d + d for h.
2
Let l be 9*(102/(-18) + 6). Suppose 4*i + 5*w - 21 = 0, 5*w - 7 = -i + 2*w. Solve l*r - i = -2*u - 1, 0 = -5*u - 4*r - 3 for u.
-3
Let j = -38 - -40. Suppose 4*n + w - 1 + 5 = 0, 5*n + 4*w = -5. Let h = n + 1. Solve h = 5*d + 4*v + 41, -d + j*d - 2*v - 3 = 0 for d.
-5
Let l = 18 + -14. Suppose 9 + 6 = -l*p + 3*m, 2*p - 3*m + 15 = 0. Solve 0 = d - 2*f + 6*f - 25, -4*d + 2*f + 10 = p for d.
5
Suppose 10*a + 2 - 62 = 0. Suppose d = a*d - 3*w - 3, w = 2*d - 2. Solve 12 = -3*g + d*o, o + 14 = 2*g - 7*g for g.
-3
Suppose -20 = -5*i + 4*x, -3*i + 3*x = 2*x - 12. Let d(a) = -2*a - 15. Let m be d(-9). Solve -m*k + s + 17 = -0*s, i*k + 4 = -4*s for k.
4
Let s = -223 - -223. Solve 4*p - 5*i + 7 = -9, s = -i + 4 for p.
1
Suppose -4*w = 4*v + 4, -v = 5*w - 0*v - 7. Let x = w + -8. Let q be ((-32)/x)/((-9)/(-27)). Solve -b + 2*j + 3*j = q, -7 = -2*b - 3*j for b.
-1
Let v be 102/5 + ((-30)/25)/3. Solve 5*y = 3*l - 4*l - v, 0 = y + 5 for l.
5
Suppose -s - 24 = -7*s. Let h(d) = -d**2 + 33*d + 0*d**2 - s - 24*d. Let g be h(8). Solve 4*w - 6 - 14 = g*m, -4*m - 3*w = 13 for m.
-4
Let a be -7*(9/(-7) + 1). Suppose a*f - 25 = f. Suppose -3*i + 2*h + 25 = 4*h, -2*i - 5*h = -35. Solve -f = 8*l - 3*l + 5*q, i*q = -25 for l.
0
Suppose -w + 5 = 1. Let h(v) = 3*v - 3. Let q be h(3). Suppose 8*f - 17 - 15 = 0. Solve -d = -w*y + f*d + q, -4*d = -2*y + 6 for y.
-1
Let w(d) = -d**2 - d + 5. Let r be w(0). Solve -2 = 2*u - 2*b, 0 = -r*u - 0*u + 3*b - 9 for u.
-3
Let j be -1 - (-7 - -2) - (-54)/2. Let z = -29 + j. Let r be 0 + 0 + 2 - -3. Solve -7*y + 4 = -3*y - z*m, -r*m = -5*y + 5 for y.
1
Suppose -186 = l - 7*l. Suppose -l*s = -34*s. Solve -4*k + 4*x = -4, -2*x - 1 + 5 = s for k.
3
Let g be 6/(-12)*3/12*0. Solve 3*i = -g*i + 5*t - 6, 4*t - 27 = -5*i for i.
3
Suppose 3 = -q + 5. Suppose 2*v + q*v = 24. Let w be (14/v)/((-5)/(-15)). Solve 2*o + 3*c + w = 0, -c = c - 2 for o.
-5
Suppose 2*p + 16 = -2*p. Let c be 3/(-12) + 7/p. Let l be 2/(-1 - 1)*c. Solve 6*o - 2*s - 8 = 2*o, -3*o + l*s = -4 for o.
4
Let y = 23 + -26. Let w be (-2)/(-3 + 75/24). Let n be w/24 - 8/y. Solve -3*l = 2*d - 1, 0 = -6*l + n*l + 2*d + 6 for l.
1
Suppose -5*n + 2*r = -6*n + 2, -n + r = -2. Solve 4*c - n*c = -t - 8, -4 = 4*c - t for c.
-2
Let a(g) = g**2 + 3*g - 7. Let h be a(-5). Let d(r) = 3*r + 10. Let m be d(-1). Solve q - 4*i + 6*i + 4 = 0, q = -h*i - m for q.
2
Let o(m) = 5 + 3*m - 2 + 0. Let h be o(0). Solve -2*w = f + 4, h*f + 0*f + 3*w = -9 for f.
-2
Suppose -2*n - 4 = -2*t - 40, -n = 3*t - 26. Solve 3*u - 2 = -3*y + 10, 0 = 5*u + 3*y - n for u.
4
Suppose -9*h - 3*h + 48 = 0. Solve -h*q + 3*f = 16, -f = 5*q + 1 - 0 for q.
-1
Let t(q) = -12*q + 11*q + 2*q**2 + 0*q**2. Let c be t(2). Solve 4*g = -2*i + 9 + 9, c = -3*g + 5*i for g.
3
Suppose 0 = 4*g - 4 - 20. Let z = g + -3. Suppose -z*l = -2*x - 2, -3*x = -3 - 3. Solve -4*c + 16 = l*v - v, -4*c + 16 = 0 for v.
0
Suppose 0 = -i + 2*h - 3 - 2, -2*h = 4*i + 10. Let n be (2 - (i - 7))*1. Suppose 6*r = -0*r + 13*r. Solve y + r*y = 4*o + 12, y + 4*o = -n for y.
0
Let s = -52 - -57. Let v be 8/(-6)*(-3 + s + -5). Solve -8 = v*h - 5*m - 0*m, -m = -4 for h.
3
Suppose v = 4*m + 16, v + 4*v + 2*m = 146. Suppose -x - d = -9 - 20, x = -2*d + v. Let q be (-20)/x + 11/3. Solve -18 = -3*b + q*h, 27 = -2*b - 4*h + 9 for b.
1
Let g(z) = 2*z**2 + 19*z + 61. Let t be g(-6). Let h be 12/5 + 8/(-20). Solve -5*d = -x - 13, -h*x = -5*d + x + t for d.
2
Let r = 69 + -66. Solve -4*k = -3*w - w + 12, r*w - k - 9 = 0 for w.
3
Suppose 5*p = 4*p. Suppose 0 = 5*g - j - 4 - 19, g - 5*j + 5 = 0. Solve d - 5*o - g = -p, -3*d + 3*o + 15 = 0 for d.
5
Let f = -3225 + 3227. Solve f*k - w = -9, -k + 4*w = 3*k + 24 for k.
-3
Let l(x) = x**2 - 3. Let o be l(0). Let h = o - -4. Let t = -1433 + 1438. Solve -10 - h = -4*u + t*v, -3 = v for u.
-1
Let k(h) = h**3 - 10*h**2 + 12*h + 1. Let r be k(9). Let u = 2 + 0. Suppose -u*n = -9*n + r. Solve 2*x = o + 3 - 5, -o - 4 = n*x for x.
-1
Suppose -5*p - 208 = -233. Solve -k = 2*k - c + 3, 19 = -2*k - p*c for k.
-2
Suppose -4*n + 5*g - 2*g + 65 = 0, 0 = 4*n - 5*g - 55. Solve -u + 5*x + n = -6*u, u + 5*x = -16 for u.
-1
Let l(d) = -d**2 + 3*d + 10. Let n = 0 - -17. Suppose 7 = -2*p + n. Let h be l(p). Solve -4*x = -5*u - 7 + 1, h = u - x + 1 for u.
-2
Let v be ((-185)/259)/(2/(-14)). Solve k + v = 0, 3*k + 0 = -4*r - 3 for r.
3
Let w be 10/(-4) + 11 + 136/(-16). Solve -c - 3*n + 5 + 8 = w, 4*n - 12 = 0 for c.
4
Suppose 5*o - 2*f + f = 13, -o - 1 = -2*f. Solve 12 = o*a - 5*a + 5*u, 0 = a - 5*u + 16 for a.
4
Let h = -681 - -678. Let p be (1 - 0)*(1 + -6). Let c be p/30*h*6. Solve -4*d = -5*g + c, -3*g - 2*d = 2 + 5 for g.
-1
Let l(c) = c**2 + 7*c - 30. Let t = -13 + 3. Let m be l(t). Solve 2*j = p - 5 - m, 2*p = 2 for j.
-2
Let q(j) be the second derivative of j**4/12 - j. Let s be q(-3). Let a = s + -5. Solve -2*o - a*b = 10, b - 6 = -3*o - 1 for o.
3
Let q(b) = 16*b + 3. Let y be q(0). Solve 0*r = -3*a + 3*r + 6, -2*r = y*a + 19 for a.
-3
Suppose 12*q - 10*q - 14 = 0. Suppose 2*s = -3*u + q*s + 66, 0 = -4*u + s + 105. Suppose -2*d = -19 - u. Solve t - 4*p + d = 0, 1 = 5*t - 5*p + 41 for t.
-3
Let h(w) be the third derivative of w**5/60 - 2*w**2. Let c be h(0). Let j = 24 - 17. Solve n + 4*q = 2*n + j, c = n + 4*q - 1 for n.
-3
Suppose 5 = 4*i + 3*d, i + d = -4*i + 9. Let p = 5 - i. Solve -p*t + 13 = -5*k, -3*t + 3*k + 9 = -0*t for t.
1
Let q(z) = z**2 - 5*z - 4. Suppose -21 = 2*b - j - 4*j, -2*b + 4*j - 18 = 0. Let k be q(b). Let c = -18 + k. Solve -c*l = -3*l + n + 2, -n + 1 = 0 for l.
3
Suppose 6*w - 2*w + 124 = 0. Let a = 35 + w. Solve -c + 16 = -5*c, -a*n + 5*c = -16 for n.
-1
Let b(u) = -u**3 + 2*u**2 + 6*u + 8. Let s = -127 + 131. Let w be b(s). Solve -2*c - p + 13 = w, -3 = -c - c + p for c.
4
Let v(u) = 2*u + 17. Suppose -4*h - 22 = -z - 77, h = -5*z + 19. Let q be v(h). Solve 4*y = -4*t - q + 13, 4*y + 3*t = -29 for y.
-5
Suppose -3*h + 17 = 3*z + h, -5*h + 10 = 0. Suppose z*s - 3 = u - 1, -9 = u + 4*s. Let d be 2*u*6/(-15). Solve -2*f + d*f = t, -6 = -t - 4*f for t.
2
Let p be 3*((-50)/(-30) - -1). Solve 4*b - 3*f = -8, 3*b - 3*f + 1 + p = 0 for b.
1
Let t be (-2)/(-2 + (-16)/(-10)). Suppose -3*k + 10 = 2*k - y, -t*k + 10 = 2*y. Solve 5*d = 3*d - 4*p + 16, 0 = -d + 3*p - k for d.
4
Suppose -5*q - t + 23 = 3, 3*t = q + 12. Solve -5*d + 3*m - 4 = 2, 0 = 3*d - q*m for d.
-3
Let n(g) = 2*g**2 + 4*g + 4. Let r be n(-2). Suppose -17*t + 18*t - r = 0. Solve t*m + 3*z - 6 = 0, 3*m - 2 = -3*z + 4 for m.
0
Let a = -190 + 191. Solve 2*d - 6 = l - a, 10 = 2*l + d for l.
3
Let d be (-1)/(-2) - (-282)/(-4). Let n = -65 - d. Solve 5*i + 3*m - 8 + 25 = 0, -n*i + 11 = -4*m for i.
-1
Let k be 1*-2*(3 - 1). Let u = k + 9. Suppose -i - 80 = -4*v, 5*v - u*i = -0*v + 100. Solve -5*t - 30 = -5*c, 6*t - 2*t = 3*c - v for t.
-2
Let 