r = 2*k + 2. Solve -k*y = -l*y - 5 for y.
5
Let j be 1/(-1)*1 + 10 + -6. Let m = 0 + 0. Solve m = j*h - h + 4 for h.
-2
Let u(r) = r**3 - 4*r**2 + 18*r - 46. Let k be u(4). Solve k*x + 20 = 22*x for x.
-5
Suppose 0*l - 3*f = -3*l - 6, -3*f = -l - 6. Let s be 4 - 2/(l - 2). Solve 3*w - 1 - s = 0 for w.
2
Let s(c) = 98*c + 500. Let l be s(-5). Solve 0 = 14*h - l*h - 4 for h.
1
Suppose 0*r + 18 = 2*r. Suppose -r = -3*p - 0. Suppose -5*t - 2 = -p*a - 19, -t = 4*a - 8. Solve -z = t*z + 10 for z.
-2
Suppose 0 = -3*j - 3*t - 27, -2*t + 23 = -3*j - 4*t. Let z be 27/3 - (j - -1). Solve z = 5*y + 3 for y.
2
Let h = -1073 + 1073. Solve -2*r + 0*r - 8 = h for r.
-4
Suppose -5*h = m, -4*m + 2*h + 28 = 6. Suppose 0 = -m*x + 3*x. Solve x = -0*k - k for k.
0
Let k = 1234 + -1228. Solve -5*g = -3*g - k*g for g.
0
Let u(s) = 11*s + 2 - 6 + 5*s**2 - 3*s**2 - 3*s**2. Let r be u(8). Let k be 2/4*(-2 + 2). Solve -4*l + k = -r for l.
5
Let p = -32 - -26. Let l = 26 + p. Solve 0 = 2*d + 2*d - l for d.
5
Suppose 0 = 5*l - 15, 0 = -3*g - 3*l + 27. Suppose -m - 17 = -3*x, 4*m - g + 46 = 5*x. Suppose 2*w - x*w = -4. Solve 3*u - w = u for u.
1
Let g = 8 - 4. Let i(o) = -o**2 - 20*o + 47. Let d be i(-22). Suppose 16 = x + d*x + g*n, -2*n = 4*x - 14. Solve 3 + 0 = x*q for q.
1
Let o be -1 + (-273)/(-24) - 48/128. Solve -o*p = 8*p - 54 for p.
3
Suppose 37 = 2*b - 3*d, 0 = -b + d + 1 + 15. Solve 10 = 6*o - b*o for o.
-2
Suppose 56 = 2*n + 38. Suppose -n = 10*t - 29. Solve -2*l - t = 4 for l.
-3
Let x be (21/63)/(2/114). Solve x = 7*c - 16 for c.
5
Suppose 0*i - 6*i + 42 = 0. Let h(m) = -m**3 + m**2 + 2*m. Let y be h(2). Solve -3*n - i - 5 = y for n.
-4
Suppose 5*a + 2 - 18 = 2*l, 0 = -5*a + l + 18. Solve 0*w - a*w = 12 for w.
-3
Let c(p) = 2*p**2 + 15*p + 7. Let w be c(-7). Solve -5*y + 9*y - 20 = w for y.
5
Let c = 17 - 15. Suppose 0 = -d + c*d. Suppose d = 4*k, 4*a + 0*k + 5*k - 4 = 0. Solve -a = -b + 2 for b.
3
Suppose -7*s + 15*s - 144 = 0. Solve -4*u - 2 = -s for u.
4
Let z = 5 + -1. Suppose -4*s - 91*q = -94*q + 1, -3*q + 3 = -3*s. Solve 2*c - z*c = -s for c.
1
Let w = -3 - -3. Let j be (-20)/2*(-10)/25. Suppose -20 = 2*s - j*s. Solve w*h - s = 2*h for h.
-5
Suppose -6*f + f = 5*j + 15, 0 = 4*f - 2*j - 6. Suppose 0 = 4*d + 3*h - 14, 4*d + 2*h - 18 = -3*h. Suppose -2*i + 6 = d. Solve f*r + i = -2*r for r.
-1
Let p(q) = -4*q - 20. Let s be p(-10). Suppose s + 0 = 10*d. Solve d*u = 3*u for u.
0
Let k(g) = -11*g - 29. Let m(c) = 5*c + 14. Let a(b) = -3*k(b) - 7*m(b). Let f = -7 + 1. Let v be a(f). Solve 0 = q + v - 0 for q.
-1
Let k = -54 - -56. Suppose -b - c + 13 = 4*c, 0 = -k*b + c + 15. Solve -b*t + 4 = -4*t for t.
1
Let t = 28 + -30. Let r be (t - 0)*((-10)/4)/1. Solve -r*s + 0 = -5 for s.
1
Let a = -42 + 44. Suppose a*d - 42 = -38. Solve -f - d = -2*f for f.
2
Suppose 4*s - 8 = 0, 11 = -g - 2*s + 63. Suppose 7*c = -c + g. Solve -a + c*a + 25 = 0 for a.
-5
Suppose -15*t = -13*t - 34. Suppose 2*b + 3*b = 25, -3*b + t = c. Solve -c*u = 3*u - 20 for u.
4
Let n = -85 - -98. Solve -5*l + n + 2 = 0 for l.
3
Let t(c) = -11*c - 1. Let a be t(-1). Let m be (-43)/(-7) + 86/(-14) + 34 + -28. Solve -a*i + m*i = -8 for i.
2
Suppose -v = 4*v - 20. Suppose -35 = -4*a - y, a = -v*a + 5*y + 25. Solve -3*n = 2 - a for n.
2
Let r(q) be the first derivative of 5 + 0*q - 1/2*q**2. Let u be r(-2). Solve 2*n - 4 = -u*n for n.
1
Suppose -2*x = -4 - 2. Suppose -3*o = -3*d, -28 = -2*o - 2*o - x*d. Suppose 0 = -5*g - b + 5 + 7, 5*g - 3*b - o = 0. Solve -f = g*f + 12 for f.
-4
Suppose 0 = -23*s + 62*s - 39. Solve s - 8 = 7*y for y.
-1
Suppose 0 = 2*c + c + 9. Let m be c/((-4)/12 - 0). Solve -m*r + 16 = -5*r for r.
4
Let f be (-46 + 48)*(-110)/(-4). Solve -f = -5*r - 50 for r.
1
Suppose 2*c - 5*l + 13 = 0, -2*c + 0*c = 4*l - 32. Let z be (2/c)/((-3)/9). Let t be (z + 1)/(1*-2). Solve v + t*v = -5 for v.
-5
Let t(x) = 6*x + 16. Let y be t(-9). Let n = 104 - y. Suppose -7*j = -n + 2. Solve l = -4*l - j for l.
-4
Let x(m) = -m**2 + 12*m + 18. Let b be x(13). Suppose 0 = 2*v - y - b, 3*v - 3*y = 2 + 1. Solve 0 = -d + 5*d + v for d.
-1
Let j(c) = c**2 - 64*c - 123. Let q be j(66). Solve q*g - 17 = 1 for g.
2
Let i = -99 + 56. Let r = i - -59. Solve 3*y - r = -1 for y.
5
Let i(x) = -x**3 - 2*x**2 + 1. Let k be i(-1). Suppose -p + 5*p = k. Suppose -4*u + 8*u - 80 = p. Solve 4*q = -q - u for q.
-4
Let o(n) = -n**2 - 13*n + 17. Let w be o(-14). Suppose -w*m + 6 = -6. Solve m = -q - 1 for q.
-5
Let d = 226 + -225. Solve 0 = -3*g - 14 - d for g.
-5
Suppose -5*j - 46 = 3*x, -4 = -4*x + 5*j - 7. Suppose 0 = -3*k + 4*k - 10. Let t = k + x. Solve -t*m = m + 4 for m.
-1
Suppose 0 = -31*t + 2*t + 145. Solve t*c + 23 = 8 for c.
-3
Let p = -947 + 961. Solve 11*h + 36 - p = 0 for h.
-2
Let q = 132 + -130. Solve 0 = q*s + s + 3 for s.
-1
Let p = 74 - 70. Suppose 3*k - 34 = -5*b, p*k - k = -3*b + 24. Solve k*h - 1 = 8 for h.
3
Suppose 32*p - 181 = 11. Solve 7*b = 9*b - p for b.
3
Let r = -47 + 15. Let o be 10/4*r/(-5). Solve -l + o = -5*l for l.
-4
Suppose 23*g + 4 = 25*g, 0 = 2*c - 5*g - 30. Solve 58 - c = -19*i for i.
-2
Suppose -4 = 2*y + 14. Let b(h) = -h + 4. Let i be b(7). Let r = i - y. Solve 6 = r*s - 4*s for s.
3
Suppose -2*g = 4 + 2. Let r(v) = -v**3 - 3*v**2 + v + 5. Let l be r(g). Solve u - 3 = -l*u for u.
1
Let u = 706 + -690. Solve -17*m + 13*m - u = 0 for m.
-4
Let h = -17 - -24. Let p be h/((-28)/(-16)) + -2. Suppose 0 = 5*i + 3*q - 24, q = -i + 5*q - 9. Solve i*a = a - p for a.
-1
Let p = -15 + 6. Let d = 24 + p. Suppose -55 = -4*v - 3*m, -3*v = -0*v - 3*m - d. Solve -u - v = -3*u for u.
5
Suppose -47*x = -51*x + 12. Solve 2*d + x*d = 25 for d.
5
Suppose -2*g = -3*g - 4*m + 20, 0 = -3*g - 5*m + 74. Solve 26*h - g*h = -4 for h.
2
Suppose -18*d + 13*d - 60 = -2*a, -5*a - d = -204. Solve -12 = 7*g - a for g.
4
Let a be -10*3 - (-1 - 0). Let v = -29 - a. Solve 4*u - u = v for u.
0
Suppose 2*t - 16 + 1 = x, -2*t + 5*x = -19. Let f = t + -2. Let c be 3 + (-7 + 6)*(0 - 1). Solve c*o = f*o + 2 for o.
-2
Suppose 12 = 6*o - 3*o. Suppose 0*w - o = -2*w. Let p(s) = -s**3 - 16*s**2 + 2*s + 32. Let d be p(-16). Solve -w*a - 2*a + 16 = d for a.
4
Suppose r + 4*r + 25 = 0, 3*d - 2*r = 25. Solve -d*k = -7 - 3 for k.
2
Let v(d) = d**2 - 13*d + 8. Let h be v(12). Let n be (h/(-6) + -1)*0. Let m be 16 - (n/(-2) + -2). Solve 3 = 5*q + m for q.
-3
Let p(q) = 12*q + 740. Let b be p(-61). Solve b = -5*i - 2 for i.
-2
Let j(h) = h + 9. Let t be j(-6). Suppose -29 = -4*p - 3*b, -5*p - 3*b + 26 = -8. Solve 2 = -p*v + t*v for v.
-1
Let m(d) = 8*d - 64. Let a be m(8). Solve 2*b + a*b = 4 for b.
2
Let k(m) = -m**2 - 50*m - 289. Let f be k(-7). Solve -12 + f = c for c.
0
Let r = 663 + -650. Solve r*n = -17 + 82 for n.
5
Let h = 53 - 50. Let q be (-8)/(-3) - (3 + (-7)/h). Solve w + w = -q for w.
-1
Suppose -2*d + 5 = -d. Let s be 3*(-2)/(-15)*d. Suppose 20 = 4*r, -s*q - 4*r + 23 = -q. Solve -z - q = -2 for z.
-1
Let n(z) = 16*z + 1. Let d be n(7). Let q be d/(-4) - (-7)/28. Let m be ((-6)/(-7))/((-6)/q). Solve 2*s - 2 = m for s.
3
Let u(f) = -f**3 - 19*f**2 - 20*f - 35. Let j be u(-18). Let t be j*-5*90/(-75). Solve 4*l + 6 = t*l for l.
3
Let w be 2 + -1*0/1. Let o(l) = l**3 - 4*l**2 + l + 9. Suppose -2*b = -4*n + 3*b + 7, -4*b + 10 = 2*n. Let i be o(n). Solve 0 = w*c - 3*c + i for c.
3
Suppose 105 = 5*o + 15. Let v = o + -8. Suppose -2*t + 14 = -4*t + 4*m, -5*t + 5*m = v. Solve -t*f = 2*f + 15 for f.
-3
Let i = 168 - 100. Let w be (2 + -7)*(3 - i/20). Solve 20 = -w*r - 3*r for r.
-4
Let o(v) = 2*v**2 + v - 3. Suppose -4*k + 16 = 0, 0*d - 23 = d - 5*k. Let z be o(d). Suppose -2 = n - z. Solve n = 5*g - 5 for g.
3
Let x(n) = n**2 - 5. Let g(d) = -d + 1. Let v(i) = -3*g(i) + x(i). Let r be v(-5). Solve -r*f + 3 + 1 = 0 for f.
2
Let g(p) = -p**2 + 2*p - 2. Let f(t) = 1. Let q(a) = -5*f(a) - g(a). Let c(u) = 2*u + 1. Let k be c(1). Let o be q(k). Solve -m - 3 = -o for m.
-3
Let d = -243 + 249. Solve 3*h - d = 9 for h.
5
Suppose 2*q = -3*b + 10 + 9, 4*q + 12 = 4*b. Suppose -5*s = 4*l - 0 + 12, q*l = 2*s + 12. Let f = -62 - -63. Solve -o - f - l = 0 for o.
-3
Let x = 53 + -89. Let j = -34 - x. Solve 3 = a - j for a.
5
Suppose -30*x - 16920 = -66*x. Solve -3*w - 479 = -x for w.
-3
Let r(h) = -77*h - 140. Let j be r(-2). Solve 0 = 11*u 