*x - t for x.
5
Suppose 2*z = -0*x + 5*x + 10, 4*z = 4*x + 8. Let v be (-1)/(-1)*((-280)/14 + 21). Solve k + z = -v for k.
-1
Let d = 51 - 16. Suppose 5*o + 0*o = -r - 27, d = -5*r - 5*o. Let q be r - (-3 - 5 - -4). Solve -20 = -q*x + 6*x for x.
-5
Let h(q) = -14*q**2 + q - 1. Let c be h(2). Let x = c + 56. Solve -v - x = -3 for v.
2
Let n = -70 - -74. Suppose 5*u - 2*o = -0*u + 8, 3*u + o = -n. Solve t = 1 - u for t.
1
Let j be 10/((-3)/((-1140)/(-8))*-5). Let z be (j/133)/((-2)/(-14)). Solve -8 = z*x + 17 for x.
-5
Let i(m) be the first derivative of m**4/4 + 2*m**3/3 - m**2/2 - m - 9. Let p be i(-2). Solve 4*x - p - 11 = 0 for x.
3
Let a be 2*((-24)/(-16))/(6/(-62)). Let b = 35 + a. Solve -b = 5*r + 1 for r.
-1
Let q = 3 + 16. Let l be (-1)/(-3) - (-7)/((-126)/(-102)). Let r be (6 - 55/10) + 15/l. Solve r*z = -q + 7 for z.
-4
Suppose -3*s - v + 85 = 0, 45 = 2*s + 2*v - 13. Solve 20 = -32*o + s*o for o.
-5
Suppose -4*y + 2 = -14. Suppose o = -2*s + 5, y*o = -4*s + 8*o - 20. Solve -4 = -s*l + 2*l for l.
-2
Let y(v) = v**2 - 6*v + 3. Let l be (-14)/(-3) - 5/(-15). Suppose -l*z + 2 = -33. Let t be y(z). Solve -x - t = 4*x for x.
-2
Suppose 35 = 5*s + 10. Suppose -7 = -s*t + 3. Suppose -m = -4*m + 9, -3*m + 13 = t*b. Solve 0*d - 8 = -b*d for d.
4
Let t be (348/(-10))/(3 - 17/5). Let q = t + -78. Solve q = 4*d - d for d.
3
Let s be (-42)/(-14) + (-2)/2. Let o be ((-12)/6)/(s/(-4)). Suppose 0 = 2*j + 5*a + o, 3*a + 3 - 9 = -4*j. Solve -3*b = -9 - j for b.
4
Let y = 559 + -559. Solve 3*r - 4 - 11 = y for r.
5
Suppose 2*l - 5*l + 30 = 0. Suppose -4001 = 27*t - 4163. Solve 0 = -l*b + t*b for b.
0
Suppose 5 + 30 = 7*f. Suppose 2*l - 5*c = f*l - 25, 3*l + 3*c = 15. Solve b + l = 3 for b.
3
Let a(r) = 2*r**2 + 10*r. Let i be a(-5). Let m(f) = f**3 - 2*f + 6. Let o be m(i). Solve v - 4*v = o for v.
-2
Let d(o) = 12 + 17 + o - 17. Let b be d(-10). Solve -b*i = -i for i.
0
Suppose -130 = -3*n + 6*z - 2*z, -2*n + 83 = z. Solve 43*c = n*c + 2 for c.
2
Let l = -990 - -1026. Solve -51*c - l = -63*c for c.
3
Suppose 0*s = -5*c - s + 13, 0 = 5*c + 5*s - 25. Let q be (2 - (-3 - -4)) + 9. Let o = q - c. Solve -4*u - o = -6*u for u.
4
Suppose 0 = -5*x - 14 + 34. Solve -x*k = k for k.
0
Suppose 2*v - 4*p = 12, 2*v - 4*p - 14 = -v. Suppose v = 4*f - 6. Suppose 2*z + 6 = 0, -5*l + 3*l + 2 = f*z. Solve 4 = -0*a - l*a for a.
-1
Let x = -3 + 6. Let r(c) = c**3 - 2*c**2 - 3*c - 2. Let h be r(x). Let y = 5 + h. Solve -y*j - 1 = 2 for j.
-1
Let b = -2 + 2. Suppose 3*z + 2*k - 15 = 0, b = 2*z - 4*z - 4*k + 18. Solve -z = 2*n - 1 for n.
-1
Let p(d) = d + 6. Let m be p(-2). Suppose 2*w - f + 2 = 6*w, 2*f = m. Solve -g - 3 + 0 = w for g.
-3
Suppose -4*o = 4*t - 60, -9 = -o + 3*t + 10. Suppose 2*m = -3*z + o, 3*z + 1 - 2 = m. Solve 0 = -7*h + z*h for h.
0
Suppose 7*u - 5 = -4*h + 2*u, -3*u - 9 = 0. Suppose 26 - 1 = 5*s + h*r, 0 = s + 5*r - 25. Let c = 10 + -6. Solve s = -c*w - 2 + 6 for w.
1
Suppose -32*a - 64 = -36*a. Suppose 7*f = a*f - 36. Solve 20 = -9*n + f*n for n.
-4
Let k be -1 - -4*(-6)/(-24). Solve k = -26*s + 37*s - 55 for s.
5
Suppose 3*m - 21 = -4*z, -4*m + z = m - 12. Let y be (-2 + m)/(2/8). Solve 3*k = y*k + 5 for k.
-5
Let r(c) = c**2 + c - 2. Let u be r(2). Let t be ((-3)/2)/(1/2 + -1). Suppose 3*q = 3*a - 3, 3*q - t*a + 8 = a. Solve -q*f = u + 4 for f.
-2
Let a(i) = -i**3 - 4*i**2 + 4*i + 7. Let l be a(-5). Let b(v) = v**3 + 3*v**2 + 2*v. Let t be b(-2). Let u be (t*1/4)/(-1). Solve 4*o + l = -u for o.
-3
Let n = 8 + -5. Suppose -y + 1 = -n. Solve -y = -v - 9 for v.
-5
Suppose 7*h - h = 7*h. Suppose h = 5*i - 10 - 0. Solve -x - 1 = i for x.
-3
Let z = -17 - -22. Suppose -5*r + 5*f + 15 = -20, z*r - 4*f = 39. Suppose 0 = 2*y - 4*y + 2. Solve -r = -3*n + y for n.
4
Let y(s) = s**3 + 4*s**2 - 8*s + 28. Let p be y(-6). Solve a = 2*a + p for a.
-4
Let r = 4 - 2. Suppose 1 = -r*n - 7. Let v be (4 + -3)*-1*n. Solve -v*m + 0*m = -16 for m.
4
Let l(d) be the first derivative of -d**4/4 - 3*d**3 - 9*d**2/2 - 6*d - 8. Let v be l(-8). Solve -v = -2*b + b for b.
2
Let y(x) = 408*x - 405*x + 13 + 11. Let d be y(-8). Solve d*w = 4*w + 20 for w.
-5
Suppose 0*h + 4 = 2*h. Let n(r) = 8*r - 1. Let z be n(h). Let i = z - 9. Solve 5*q + 1 = i*q for q.
1
Suppose 3*u - 2*u - 10 = 0. Let w = u - 5. Let q(a) = a - 2. Let c be q(w). Solve -c*m + 1 = -14 for m.
5
Let t be ((-3)/6)/((-1)/44). Suppose -4 = 6*z - t. Let j be (4/z)/((-1)/(-3)). Solve -3*s - 2 = j for s.
-2
Let p(v) = 4*v**2 + 2. Suppose 2*k = 5*n - 14, -n - 2 = -5*k - 14. Let s be p(k). Solve 5*f + 2 = -s for f.
-4
Suppose 0*d + 32 = -h - d, 2*d + 154 = -5*h. Let m = h - -38. Solve -5*r + m = -7 for r.
3
Suppose -16 = -2*v - 3*h, -2 = -v - h + 8. Solve 11*o = v*o - 3 for o.
1
Let y be 2*14 + (18 + -34 - -16). Solve y = 15*r - 17 for r.
3
Suppose c + 0*c - 17 = 4*q, c + 5*q + 19 = 0. Solve -1 = -2*i + c for i.
1
Suppose -w - w + 6 = 0. Suppose -4*n - 100 + 108 = 4*f, -3*f - 2*n = -6. Solve f*x = -w*x - 5 for x.
-1
Let m(c) = -c + 2. Suppose 26 = 4*u + 2*w, 0 = 3*u - 3*w - 1 - 14. Let o be m(u). Let g be 12/(-6)*o/2. Solve 4*x = -0 + g for x.
1
Suppose 4 + 16 = 4*c. Let k = -1017 + 1034. Solve -c*u = -k - 8 for u.
5
Let b(i) = i**3 + 8*i**2 - 6*i + 30. Let l be b(-9). Solve -l*s = -7*s - 4 for s.
-1
Let l(u) = -u - 4. Suppose 3*y - 3 = 3, -4*d - 28 = 4*y. Let a be l(d). Solve -5*i + 0*i = a for i.
-1
Let c(j) = 2*j**2 - 52*j + 5. Let k be c(26). Solve o = -k*o - 30 for o.
-5
Let h = 57 - 46. Let f(x) = -x**2 + 11*x. Let k be f(h). Solve -r + k*r - 1 = 0 for r.
-1
Suppose -5 = 4*b + b. Let r be 9 - 10 - 2/b*2. Solve -r = -6*u + 3*u for u.
1
Let x be (2 - 3)/((-1)/2). Suppose 2*z + 3*w = -x - 0, z + 15 = -5*w. Suppose -5*h - 5*l = 0, z*h - l - 14 = l. Solve -3*n - 7 = h for n.
-3
Suppose 0 = 14*a - 12*a - 8. Solve -a*j + 5 - 17 = 0 for j.
-3
Let m be 3 + 2 + (-4)/2. Suppose -y - 4*p + 56 = m*y, 2*p + 24 = 2*y. Let w(n) = 7*n + 45. Let j be w(-6). Solve 2*q + y = j for q.
-5
Suppose 0 = -17*k + 14*k + 6. Suppose 3*n + 5 = 2*d, -3*d - 4*n - n = -17. Let q be (d + -4)*k/(-4). Solve 5*o + q*o - 25 = 0 for o.
5
Let p(b) be the first derivative of -b**2/2 - 6*b + 6. Let x be p(5). Let g = x - -14. Solve 3*a + 12 = g for a.
-3
Let l(k) = -5*k**2 + 126*k - 10. Let b be l(25). Solve 19*p - b*p = -20 for p.
-5
Suppose 2*i + 0*i = -3*l + 6, -4*l - i + 3 = 0. Let x be -2 + (10 - (8 + -4)). Suppose -3*d = 1 + 2, -2*d = -x*b + 10. Solve l = -o - b for o.
-2
Let b(q) = 5*q**2 + 11*q + 3. Let a(r) = r**2. Let c(n) = -4*a(n) + b(n). Let j be c(-12). Suppose -4*g - 12 = o, 0*o = -o + 5*g + j. Solve 3*i - 4*i = o for i.
0
Suppose h - 5*h = 3*s + 4, 0 = -h - s - 2. Suppose h*v + v + 35 = 5*q, 3*q - 2 = -2*v. Solve q*d - 5*d = -4 for d.
4
Suppose -3*l + 24 = 3*g, -2 + 14 = -2*g + 5*l. Solve 2*q + g - 8 = 0 for q.
2
Let r = -27 - -11. Let h = -26 + 12. Let y = h - r. Solve -y*f + 25 = -7*f for f.
-5
Suppose 3*s - 4*n + 89 = 0, 0*n = -s + 3*n - 38. Let q = 17 + s. Let t be 18/27*q/(-4). Solve 0 = -h - t for h.
-1
Let a be 4/(-6) - (-6)/9. Let b = 10 + -8. Suppose 0 = -3*i + b + 4. Solve -i*o + o + 3 = a for o.
3
Suppose o = 2*a + 6*o - 21, -4*o + 20 = 2*a. Solve 0 = 2*m - 0*m - a for m.
4
Let l be (-104)/5 + 0 + 41/(-205). Suppose 0 = -4*s + 5*s + 5*m - 4, -130 = 5*s - 5*m. Let g = l - s. Solve 2*y + 0 - 2 = g for y.
1
Suppose 0 = 3*h - 0*h - 9. Suppose q - 1 + 10 = -h*a, 2*q = a + 3. Let c be 7 + (a - 0) + -2. Solve -z + 3*z = -c for z.
-1
Suppose -17*u + 38*u - 42 = 0. Solve u*z = -0*z for z.
0
Let h(y) = -y**3 + 10*y**2 - 6*y - 19. Let p be h(9). Solve -c + p = c for c.
4
Let x(t) = t**3 - 6*t**2 + 4*t + 5. Let v be x(5). Let o be 3*55/(-22)*36/(-10). Let h = -24 + o. Solve v = -4*q + 13 + h for q.
4
Suppose -4*z + 27 = v, 3*z = z + 5*v - 3. Solve -4*p - z = 2 for p.
-2
Let c = 28 - 60. Let d = -38 - c. Let a = -4 - d. Solve -2*h - 4 = a for h.
-3
Suppose 2*x + 3*k = -11, -x + 7 = -2*k + k. Suppose -30 = -5*g - x*w, 2*w = -2*g + 9 + 3. Solve 26 = -4*s + g for s.
-5
Let d be (-4 - -4)/(0 - -3). Suppose 5*p - k - 15 = -2*k, d = k + 5. Solve p*i = 3*i for i.
0
Suppose -2*x + 5 = 5*l, 43*l = -x + 45*l + 16. Solve -9*t = -7*t + x for t.
-5
Suppose 0 = -3*g - 2*h + 32, g + 4*h = 3*g. Let d = -3 + 3. Solve 0 = 2*j - d - g for j.
4
Let s = 53 - 29. L