l*x for x.
-3
Suppose -23*j + 2*j = -105. Solve -2*c + t = 5 + 3, -4*c + j*t - 16 = 0 for c.
-4
Let f = 52 - 49. Suppose -5*a - 17 = -w + f, -a = -3*w + 4. Solve q = -q + 5*u - 17, 2*u - 6 = w for q.
-1
Suppose 2*l = 6 + 2. Suppose -2*o - 2*b + 4 = 2*b, 2*o - 4*b + l = 0. Solve 0 = 2*g - 3*m + 7, -g + o = -m + 1 for g.
4
Let i(k) be the first derivative of k**3/3 + 3*k**2/2 + 3*k - 6. Let g be i(-3). Solve -v - 2 - g = -t, -4*v = -5*t + 23 for v.
-2
Let u(t) = -t + 7. Let m be u(4). Let s(r) = 57 - 65 + 2*r**m + 15*r - 3*r**3 - 11*r**2 - 4*r. Let g be s(-12). Solve -g*h - 3*k + 6 = -k, 5 = k for h.
-1
Let w(m) = -m**3 + 12*m**2 + 4*m - 42. Let d(b) = b**2 - 1. Let u(c) = 3*d(c) - w(c). Let l be u(9). Solve 2*a = -3*n - 4, -6*a - l*n - 19 = -a for a.
-5
Suppose 4*y - 3*d - 30 = -0*y, 0 = -2*y - 3*d + 24. Let t be y/(-15) - 52/(-20). Solve 0 = -3*r - i - 10, -i - 3 = -t for r.
-3
Let x be (-1)/(-2) - 25/(-2). Suppose -5*z = x - 113. Suppose -5645*b = -5656*b + 55. Solve 3*q + q + z = 2*i, 2 = b*i + 2*q for i.
2
Let j be (-7)/(-77) - 1/((-11)/21). Suppose -4 = -2*c + 2*x, 0*x + 4 = 3*c - 5*x. Solve -l - 5*i = -15, -i + 0 = -j*l - c for l.
0
Let f(n) = 0*n + 6*n - 5*n. Let m be f(1). Let c be m/((-1)/(-13)) + -3. Solve 3*l + 3*q + c = 2*q, 4*l + 5 = -3*q for l.
-5
Suppose 12*b - 18 = 10*b. Let s = 12 + b. Solve 4*w = 5*l + s, 0*l - 5*l = 4*w - 11 for w.
4
Let n(k) = 4*k + 58. Let f be n(-14). Solve 3*g + 18 = -0*l + 3*l, f*g = 5*l - 15 for l.
1
Suppose 3*f = -5*x + 8*f, 5*f = 25. Suppose 0 = -x*h + 9*h. Solve 4*u = 3*u + 3*n - 5, 4*u + n - 19 = h for u.
4
Suppose -6*c + c + 40 = 0. Suppose c*s - 79 = -31. Solve -3*a + 2 = 5*y - 4, a - y + s = 0 for a.
-3
Let c(d) = d**3 - 10*d**2 + 7*d - 11. Let f be c(9). Let x = f - -29. Suppose x*z + 48 = 2*z. Solve -12 = 3*a, 3*b + b = -a - z for b.
-5
Let g = 24 - -21. Suppose 48*s - g*s = 15. Solve y - 3 - 2 = 2*n, s*n + 11 = y for n.
-2
Suppose -5*o + 18 = -c + 2, -17 = -5*o + 2*c. Suppose 2*q = 3*i + q - 30, 3*i + o*q = 30. Solve -3*f + 30 = -5*w + i, -5*w = -2*f + 15 for w.
-1
Let i(y) = 2*y**3 + 18*y**2 + 15*y - 6. Let r be i(-8). Solve 5*w = -r*t - 5, 0 = -0*w + 2*w + 5*t + 23 for w.
1
Let s = -12 - -17. Suppose 0 = -s*r - 25, x = -r + 4*r + 17. Let n(w) = w**2 - 3*w - 1. Let g be n(-1). Solve -3*y = 2*i + 4, -g*i + x*i = 4*y + 12 for y.
-4
Let n(l) = 6*l**2 - 2*l + 1. Let f be n(2). Let r(o) = o**3 - 7*o**2 + 2*o + 44. Let c be r(4). Solve -3*p = -3*w - f, -2 = c*p + w + w for p.
2
Suppose 4*x - 15*l = -20*l + 20, 5*l - 5 = -x. Solve -2*c - 3 = -x*c - 4*g, 3*g = 3*c + 18 for c.
-3
Let r be 3/(54/4) - (-2096)/1179. Solve -2*a + l - 4*l = -2, -r*l = -8 for a.
-5
Let j = 0 + 1. Suppose -f - 31 + 40 = 0. Let m be (-4 + j)*(-57)/f. Solve -4 - 18 = -2*w - 4*q, -q + m = 5*w for w.
3
Suppose -5*z + 18 = -17. Suppose 0 = x - z - 0. Suppose 5*d + 16 = 4*n, 0 = 2*n - 2*d + x*d - 8. Solve -v - 29 = -6*v - n*m, 5*v - m = 24 for v.
5
Let k be 34*-1 + 5 + -7. Let f = -20 - k. Solve 5*j = -5*p + 6 - f, -4*p = -4 for j.
-3
Let t(b) = 26*b + 263. Let o be t(-10). Solve -4*z - 4*v + 4 = 0, 2*z - 8*v + o*v + 33 = 0 for z.
-4
Let v = -6 + 22. Suppose 2 = -b - b + 3*w, 0 = 4*b + 4*w - v. Suppose 0 = -5*n + 6*n + 5*l - 23, 4*l - 19 = -n. Solve 3*h = -b*j + 10, j = -n*j + 4*h for j.
2
Let l(x) = -x**2 + 15*x + 21. Let q be l(16). Solve -2*z - 2 = 4*k, q*z + 1 = k - 15 for k.
1
Let w(i) = 3*i - 9*i + 9*i - 21. Let l be w(0). Let h = l + 23. Solve 0 = -3*q + 2*b - 22, b = h*q - b + 18 for q.
-4
Let v be (-10)/25 - 168/(-20). Let g be (-2)/v - (-91)/28. Solve 2*y - 4*w - g + 21 = 0, 6 = y + 3*w for y.
-3
Let x = -664 - -664. Solve x = -5*n - 20, 0 = -v - 4*v - n - 29 for v.
-5
Let k = 290 + -280. Solve z - 1 = -2*x + 8, -5*z = 3*x - k for z.
-1
Suppose -3*n + 78 = 63. Solve -4*g = -5*l - 8*g - n, -l + 13 = -2*g for l.
3
Suppose -35 = -27*c - 8. Solve -z = -m - 3*m - c, -3*m + 28 = 5*z for z.
5
Let s = 225 + -179. Solve 5*q - 4*k + 13 = 0, -4*q + 14 = 4*k + s for q.
-5
Suppose 5*q + 48 = 11*q. Suppose 7*u - 11*u = -q. Solve 1 = 3*f - 0*r - r, 2*f - r = u for f.
-1
Let k be (-3)/2*1 - (-308)/56. Solve -2*c + 3*x = 19, -c = 2*c + k*x + 3 for c.
-5
Let p(q) = -q**2 - 7*q - 10. Let h be p(-4). Let i(m) = -3*m + 0 - h + 6*m. Let u be i(2). Solve 4*j - 2*r - u = -j, -4*j - 3*r = 6 for j.
0
Suppose 5*i - 21 = a, i - 2*i = -5*a + 15. Suppose 18*o - 485 = 13*o. Let d = o - 92. Solve -h + 2 = 0, d*h = -4*f + f + a for f.
-2
Suppose 13*h - 10*h + 78 = 0. Let w = -22 - h. Solve -v - 3*v = -4*l - w, 2*v - 8 = 0 for l.
3
Let l = 1370 - 1370. Solve 40 = 5*q - 4*f, -4*q + 0*f - 2*f + 6 = l for q.
4
Suppose 0 = -2*z - 5*j + 4, 0 = -3*z + 5*j + 12 + 19. Solve z*h + 4*p = 4*h + 2, 3*h - p - 7 = 0 for h.
2
Let q be (-6)/(-3)*((-31)/(-2) - 4). Suppose 0 = -a - q + 24. Solve a = 5*h + 3*b + 30, -3 = b for h.
-4
Let o = -1291 + 1296. Solve o*w + 3*s + 15 = 0, -2*w - 6 + 0 = s for w.
-3
Let m(b) = -12*b + 123. Let n be m(10). Solve -3*k + 3*g + n = 0, 2*g = -2*k - k + 23 for k.
5
Let p = 10 + -57. Let g = 69 + p. Solve 5*c - 25 = -3*n, g = 5*c - 3 for n.
0
Let j(t) = -2*t**3 + 12*t**2 - 8*t + 6. Let y be j(5). Suppose 4*u = h - 5*h + y, -5*u + 3*h + 12 = 0. Solve x - a + 9 = 2*a, u*a = -4*x + 9 for x.
0
Let v = -2 + 2. Let o(x) = -x**3 - 7*x**2 + 9*x + 18. Let q be o(-8). Suppose q = z + 1. Solve v*w - 5*t - z = -2*w, 4*w - 5*t = 13 for w.
2
Let m(c) = -c**2 + 11*c - 14. Let v be m(8). Let s = v + -6. Solve -s*f + 4 = 4*y, f + 0*y - 5 = -3*y for f.
-1
Let a(f) = f**3 - 8*f**2 + 13*f + 16. Let r be a(4). Solve 4 = 4*h + r*x, 2 = 4*h + 3*x - 6 for h.
5
Let n(p) = p**3 - 6*p**2 - p + 7. Let f be n(6). Suppose 0 = -4*v - 3*m + 11, v - 5*m - f = -4. Solve -1 = i - v*y, 0 = -2*i - 5*y + 2*y + 12 for i.
3
Let z be -3 - (-9 + (-4 - -7)). Suppose 4*t + 5*x + 13 = 0, -2*x + 14 = z*t - 3*x. Solve 2*s - 4 = b - 18, -t*b + 3*s = -27 for b.
4
Let i(l) = 5*l - 4. Let r be i(-2). Let q be 76/r + (-3)/(-7). Let x be (9/(-5))/(3/q). Solve x*u - 22 = 2*g + 3*g, u + 11 = -2*g for u.
-1
Let h be (7 - 8 - (1 + 0))*-2. Solve -3*i - 44 + 12 = h*r, 4*i - 2*r = -6 for i.
-4
Let o = 121 - 112. Suppose -2*v + 1 = -o. Solve -12 = -4*j - 2*y, 0*y - v*y = 0 for j.
3
Suppose 0 = g + 24 - 23. Let o = g - -3. Solve -o*j + u - 8 = -j, 5*j = -3*u for j.
-3
Let b(t) = -t**3 + 3*t**2 - 6*t + 11. Let p be b(2). Solve -o - 9 = 4*c, -p = 4*c - 2*o - 3*o for c.
-2
Let y = -18 + 23. Solve 0 = 2*g + g, -y*g = -2*c + 6 for c.
3
Let z = 29 - 11. Let c(i) be the third derivative of i**4/24 - 2*i**3 + 16*i**2. Let t be c(12). Solve t = -4*b - 5*o + z - 0, 6 = 2*b + o for b.
2
Suppose 6 = 2*i, 0 = -4*s + 4*i + 7 + 17. Suppose 9*y - s = 8*y. Solve 3*a - y = -3*p, 0 = 7*a - 2*a + p - 3 for a.
0
Suppose -2*b + 2*f + 15 = 11, b + 5*f - 14 = 0. Solve 3*y + 17 = 5*w, b*w = -3*y - w + 23 for y.
1
Let j(w) = w**2 - 31*w + 60. Let z be j(29). Solve -z*i = 5*f + 3, 5*i = -6*f + 4*f - 18 for f.
1
Let n(v) be the first derivative of v**4/4 - 2*v**3 - 3*v**2 - 3*v - 24. Let z be n(7). Solve 3*b - m = 6*b - 14, 13 = -z*b + 5*m for b.
3
Let t(p) = 7*p - 91. Let w be t(16). Solve -3*i = -6*i - f + 3, 3*i = 5*f + w for i.
2
Suppose -4*h - 12 = -5*q, q - 3*h - 2 = 7. Solve 6*y - 2*g = 2*y - 2, q = -3*y - 4*g - 7 for y.
-1
Suppose -9*r + 42 = 5*r. Solve -2*u + y = -4*y + 18, -20 = r*u - 4*y for u.
-4
Suppose 49 - 94 = -h. Suppose -a = -h + 33. Solve -5*z - 6 = 2*i, 0*z + 4*i = z - a for z.
0
Suppose -2*i = i - 15. Let a = i - 2. Solve c - 7 = -a*m, 4*c - 2 = -2*m + 3*m for c.
1
Let w be 4/6*(-8 + (-125)/(-10)). Let j = -4 + 2. Let k be 1 + (-2 - -1) - j. Solve k*c - i = -9, -3*c + 2*i - w = -4*c for c.
-3
Let p = -486 - -488. Solve -b - b - 16 = -3*h, 3*b = -p*h - 11 for b.
-5
Suppose 3*c = 7*c - 36. Let b(v) = v**3 - 7*v**2 - 19*v + 9. Let l be b(c). Solve l = p + 3*a + 8, 0 = 5*a + 13 + 7 for p.
4
Let a(r) = -r**3 - 21*r**2 - 21*r - 17. Let n be a(-20). Solve -5 = -5*m - 5*b, 3*b = 5*m - 0*b + n for m.
0
Suppose 3*h - 28*h = -100. Solve -2*a = -h*g + 20, 5*a = g - 0*a - 5 for g.
5
Suppose 3*k + 2*s = 51, 4*k - 2*s = -k + 69. Solve -2*i = -3*m + 25, -m - 5*i = m + k for m.
5
Let q be (20/(-8)*-2)/((-5)/(-15)). Let u = -30 + 45. Suppose 0 = 5*m + 5 - u. Solve y - 5 = 2*t - 2*y, -q = -m*t - y for t.
5
Let r = -40 + 