Solve -t = r + j*r for r.
-1
Let v(c) = 2*c - 40. Let w be v(16). Let f be (w + (5 - 0))*(1 + -2). Solve -f*o = -0*o - 12 for o.
4
Suppose -3*k - 92 = -7*k. Suppose -4*w + w + 63 = 5*f, 2*w = 3*f + k. Solve 0*c = 4*c + w for c.
-4
Suppose 0 = -3*s + 2*z - 4*z - 14, s = 4*z. Let o be 2 - 21/(-3) - (-12)/s. Solve 0 = -o*g + 4*g - 2 for g.
-1
Let r = 58 - 58. Suppose r = v - 5*q - 5 + 15, -5*v + 70 = 5*q. Solve -7*n = -12*n - v for n.
-2
Suppose o = 4*m - 4*o - 15, -m + 8 = 3*o. Solve -m*i = 3*i for i.
0
Let x = 144 - 140. Suppose -2*n - 2 = x*m, 5*m + 11 = n - 2. Solve 0 = -4*p - n + 7 for p.
1
Let q be 2/(-4) + 75/6. Let a(y) = -y**2 + 12*y. Let r be a(q). Solve 0 = d - r*d + 5 for d.
-5
Let w be 0 + (-64)/(-14) + 12/(-21). Suppose 2*v - w = -0. Solve -v*s - 2 = -4 for s.
1
Let v(h) = -12*h + 56. Let y be v(3). Solve -191*l + y = -196*l for l.
-4
Let i be (-46)/(-16) - 4/(-32). Solve -i*k = -k - 10 for k.
5
Suppose -3*c + 2*g = -50, 5*c + 6 = 2*g + 96. Suppose c = y + 13. Solve y = 5*l - 3 for l.
2
Let l = 38 - -4. Suppose 3*p - l = p. Let f = -19 + p. Solve f*w + 0*w = 2 for w.
1
Let y = -1884 + 1893. Solve -z - y = 2*z for z.
-3
Let z = 16 + -26. Let y = z - -1. Let f be 6/(-18) + (-21)/y. Solve -f*t = -0*t for t.
0
Let f(q) = -q**2 + 19*q - 45. Let n be f(16). Solve -n*l + l - 2 = 0 for l.
-1
Suppose 8*j = -0 + 32. Solve j*o - 15 = o for o.
5
Let x = 61 - 48. Suppose -i = -13 + x. Solve i = -5*y + y for y.
0
Let o be -95*((-54)/(-15) - 4). Suppose 3*y + o = -13. Let f = -14 - y. Solve -f + 6 = 3*b for b.
1
Let t = 87 - 79. Let s be (t - -9) + 2 + 0/(-3). Solve -s = -4*k - 3 for k.
4
Let h(s) = 2*s - 1. Let m be h(8). Suppose 3*d - 34 = -5*j, 5*d = -2*j - 8 + 33. Solve m = j*c - 0 for c.
3
Suppose -2*k + 60 = -4*a, -14 = -a + 3*a + 3*k. Let n = a + 25. Suppose -4*d = -4*q, d = -9*q + 4*q + n. Solve 7*h - 20 = d*h for h.
4
Suppose -2*s + 4 = 0, s - 14 = -4*q + 2*s. Suppose 0 = q*g - 0*g. Suppose 5*j - 2*r + 6*r - 34 = g, -3*j + 17 = -r. Solve 2*y - 12 = j*y for y.
-3
Suppose -n + 4*c = -21, -4 + 24 = -5*c. Solve -7*q + n*q = 8 for q.
-4
Suppose 14 = 2*l + 6. Let n be 56/21 + l/(-6). Solve -n*u + 4 = -0 for u.
2
Let q(m) = -2*m**2 + 10*m - 4. Let w be q(4). Suppose 5*d = w*y - 10, 3*y + 2*y + 8 = -4*d. Solve 0 = 2*s - y + 2 for s.
-1
Suppose 5 = 3*c - 1. Suppose 39 = 3*y - 4*z, c*y = 3*y - 5*z - 24. Suppose -3*o + y = -0. Solve -o - 1 = -2*s for s.
2
Let l(x) = -x**3 - 5*x**2 - 6*x - 5. Let u be l(-4). Let n = 74 - 50. Suppose 5*v - 8 = -j, 8*v + n = 3*j + 5*v. Solve d - j = u*d for d.
-4
Let v be 32/(-4) + (11 - 1). Solve -v*l - 2 - 2 = 0 for l.
-2
Let o = 32 - 34. Let m be 2/4 + o/(-4). Solve 2*w = w + m for w.
1
Suppose l = 4*v - 17, -10 = v - 4*v - 2*l. Solve v*f + 1 + 3 = 0 for f.
-1
Let a(n) = 5*n**2 + 9*n - 10. Let q be a(-4). Solve 4*z - 30 = -q for z.
-1
Let i = -124 + 94. Let s be 3/(-2) + (-105)/i. Solve -10 = -4*u + s for u.
3
Let s = -329 - -334. Solve s*d = 11*d + 30 for d.
-5
Suppose 5*m - 2*m + 6 = 0. Let t(d) = 5*d + 5. Let q be t(m). Let g(y) = y**3 + 5*y**2 - 3*y - 11. Let h be g(q). Solve h*b - 10 = -2 for b.
2
Suppose 0 = 5*k - 3*c - 53, 2*k - 23 - 2 = 5*c. Solve -3*r - 2*r = k for r.
-2
Suppose -3*p + 5 = 2*i, i + 1 = -7*p + 2*p. Suppose -4*v + i*t = -24, -4*v - t - 4 = -3*v. Solve -o = -2 - v for o.
3
Let f = 43 - 18. Suppose -m - 5*l + 25 = 0, -5*m + 2*m - 5*l + f = 0. Solve -2 + m = v for v.
-2
Let s(n) = 5*n**3 - 3*n**2 - 3*n - 1. Let h be s(-1). Let v be -1*(h - 2/(-1)). Solve -5*a = -v*a + 2 for a.
-2
Let j = -25 - -27. Let x be (-19 + -18)/((-2)/j). Solve -5*n - 12 = -x for n.
5
Let i be 20 + -4 + 4 + 0. Let s = i + -17. Suppose -l - s*l + 8 = 0. Solve -5*u - l = -4*u for u.
-2
Suppose 45*u - 44*u - 3*s - 36 = 0, -5*u = -3*s - 240. Solve -7*r - u + 37 = 0 for r.
-2
Let o be (-3 - 8/(-3))*-291. Suppose -27 + o = -5*i + 2*y, -49 = 2*i - 5*y. Let t be 11/3 - 4/i. Solve s = 3 - t for s.
-1
Let w(i) = -5*i - 2. Let b be w(-7). Suppose -6*g = -117 - b. Suppose -5*r - g = -5*x, 5*x - 4*r + 2*r - 16 = 0. Solve -6*f = -x*f - 16 for f.
4
Let a(s) = -108*s - 127. Let r be a(-2). Solve 0 = 3*y + 92 - r for y.
-1
Let z = -1957 + 1969. Solve -z = -45*l + 39*l for l.
2
Suppose 193 = 43*l - 1570. Solve 0 = -4*u - 61 + l for u.
-5
Let c(s) = -2*s - 14. Let w be c(-12). Suppose -27*l = -22*l - w. Solve -7*i = -l*i - 25 for i.
5
Let h(u) be the first derivative of 0*u + 1/2*u**2 - 1. Let t be h(4). Solve -t*j + j + 3 = 0 for j.
1
Let a = 292 + -283. Solve 5*b - 2*b = a for b.
3
Let i = 12 - 10. Suppose -23*c + 155 + 190 = 0. Solve -q - i*q = c for q.
-5
Let y(p) = p**2 - 2*p - 78. Let a be y(10). Solve -a*v + 6 = -4 for v.
5
Let u = 43 - 31. Let c(f) = -f**3 + 10*f**2 - 2*f + 19. Let x be c(10). Let p be 6/2*x - -3. Solve -4*h - u = -p*h for h.
-3
Let y(m) = -m**2 + 7*m - 6. Let n(t) = -t**2 + 6*t - 5. Let z(w) = 5*n(w) - 6*y(w). Suppose 0*l = -5*l + 55. Let g be z(l). Solve v - 2 = -g*v for v.
2
Let c = -37 + 46. Let q be (-10 + c)/((-2)/4). Solve 2 = q*n - 4 for n.
3
Let b(o) = o**2 - 24*o + 125. Let j be b(20). Solve 16*r + j = r for r.
-3
Let u = 249 - 240. Solve 0 = u*r + 6*r for r.
0
Let q = 201 - 191. Solve -q*i = i - 44 for i.
4
Let m(p) = 3*p**2 - 10*p - 35. Let c be m(6). Solve -c*y + 2*y = -55 for y.
5
Let n(l) = -l**3 + 2*l**2 - 14*l + 6. Let u be n(0). Solve -3 = u*f - 7*f for f.
3
Let f be (-90)/(-21) + 4/(-14). Suppose 0 = r - 4*k, 4 = -r + 5*k + 2. Solve -r = f*d - 6*d for d.
4
Let c(x) = -8*x**2 - 26*x - 25. Let o(v) = -7*v**2 - 24*v - 24. Let a(w) = -6*c(w) + 7*o(w). Let s be a(-10). Solve -s*z + 0*z = 10 for z.
-5
Let z(h) = 20 - h - 22 - h + 9*h. Let s be z(2). Suppose -16*g = -12*g - s. Solve g*x - 10 = -2*x for x.
2
Let x be (35 + -35)*(-2)/(-6). Solve x = -n + 24 - 25 for n.
-1
Suppose 2*r = -5*c - 229, -c - 5*r = -2*r + 51. Let f = -43 - c. Solve 4*p - 2 = f for p.
1
Let r = 753 + -753. Solve r*m + 2*m = 4 for m.
2
Let q = -21 + 29. Let m be 36/q + 3/6. Suppose 2*t - 6 = 0, -t = m*u - 0*t - 28. Solve -u*x - 14 = -34 for x.
4
Let c be 1/8 + -3*4/96. Let s = -1 + 1. Let b be s + (4 + c - 0). Solve b*t = t for t.
0
Let c(r) = -3*r + 96. Let i be c(29). Solve -2*w - 28 = -i*w for w.
4
Suppose -3*f + 92 = -31. Let j = -29 + f. Suppose -h = -5*r + 20, 2*h + 4*r - j = r. Solve 6*b - b - 15 = h for b.
3
Let i be 0 + 33 - (11 + -7). Let f = i - 14. Let p(o) = o**2 - o - 10. Let u be p(-3). Solve u*x = 5*x + f for x.
-5
Suppose 0 = r + 3*t - 20 + 2, -r = 4*t - 23. Suppose 0 = r*a - 9*a - 12. Let d = 1 - a. Solve -i = -d*i + 10 for i.
5
Let w(d) = -2*d - 3. Let l be w(-4). Suppose 4*f - 2 - 2 = -2*j, -5*j - 29 = -3*f. Suppose 4*a + 23 = f*u, -2*u + 3*a = u - 18. Solve -4*o = -l*o - u for o.
-1
Suppose -19*d = -16*d - 15. Solve -o + 2*o = -d for o.
-5
Suppose 0 = 4*q - 2*n - 94, 108 = 4*q + 2*n + 26. Suppose -2*y = 3*m - 19, -4*m - 2*y + y = -q. Solve 0 = 2*l - m - 3 for l.
4
Let z = -1393 + 1393. Solve z = -3*d + 9 - 3 for d.
2
Let o = 311 - 311. Solve o*p = -p - 3 for p.
-3
Let v(s) = 16*s - 17. Let x be v(2). Suppose -x - 35 = -10*u. Solve -u*b - 17 = 3 for b.
-4
Let z be 10/(-4)*(-196)/35. Solve 8*u = 2 + z for u.
2
Suppose r + 86 = -5*q - 51, -2*r = 3*q + 85. Let j = -27 - q. Let k be 13 + j - (-14)/7. Solve -k = 3*o - 3 for o.
-4
Let i(l) = 10*l - 15. Let f be i(2). Solve -f*t + 4 = -t for t.
1
Let i(p) = -p**2 + 49*p - 43. Let q be i(48). Solve q*c + 12 = c for c.
-3
Let w be 37/(-7) - (-6)/21. Let y(x) = -5*x - 21. Let f be y(w). Solve f*t + 0*t = -8 for t.
-2
Suppose -24 + 16 = -4*s. Let m be (-4)/((s - 3) + 0). Solve 2*t = -m + 2 for t.
-1
Let t = -36 + 40. Let n be 10/(-4)*(2 - t). Solve -n*f = -f for f.
0
Let q = -2169 - -2173. Solve q*n + 6 = n for n.
-2
Let r = 101 + -97. Suppose -5*n + 0*l + 2*l = 117, 5*l = 5. Let o = n + 39. Solve o + r = -5*u for u.
-4
Let c(a) = a**3 + 9*a**2 - 4*a + 19. Let s be c(-4). Solve -o - s = -120 for o.
5
Let w(s) = -2. Let x(a) = -11*a - 4. Let v(p) = -w(p) + x(p). Let d = -1 + 0. Let h be v(d). Solve 2*y - h = -y for y.
3
Suppose -3*t = 4*q - q - 111, -161 = -5*t + 3*q. Suppose t*k = 36*k. Suppose -b = 2 - 6. Solve o - b = -k*o for o.
4
Suppose -5 = 6*i - 23. Suppose i*m = -m - 0*m. Solve -5*k - 3 - 7 = m for k.
-2
Suppose -42*q - 12 = -45*q. Solve -q = 4*h - 8*h for h.
