g for x.
-5
Let c = 257 + -233. Solve 2*y + 1 = 5*w - 4, c = -4*y - 4*w for y.
-5
Suppose -60 - 24 = -3*l. Let u = -25 + l. Solve 0 = u*m + 5*f + 18, 5*m + 5*f + 3 + 17 = 0 for m.
-1
Suppose -n + 5 = 0, z = -z - 3*n + 21. Let p be (1 + 0)*(z + -2). Let v be 0*(-3)/(-3)*p. Solve 5*t - 2*s + 23 = v, 3*t = -t - s - 8 for t.
-3
Suppose 6*p = -3*p + 72. Suppose -q - p = -5*q. Solve 0 = -2*d - 5*g + 6, -q*d - 2*d + 12 = -g for d.
3
Let h be ((-140)/(-12))/(15/9). Solve -h*c - 20 = -3*c + 2*m, -3*m - 22 = 4*c for c.
-4
Suppose -c = 15 - 111. Let t = 98 - c. Solve 0 + 1 = n + t*a, -3*n + 4*a + 13 = 0 for n.
3
Suppose -13 = 4*d - 5*b - 73, 5*b + 45 = 3*d. Suppose -s + g = -d, 0*s - 3*s = -2*g - 46. Solve 0 = -3*j - 12, -3*w - j = w - s for w.
5
Let a(z) = -z**3 - 36*z**2 - 225*z - 26. Let r be a(-28). Solve v = r*o - 5 + 17, 5*v - 25 = 3*o for v.
2
Let p(b) = b. Let l be p(4). Suppose -4*h + 12 = 2*i, -2*i - 2*h = -3*i + 18. Let d(n) = -n + 15. Let j be d(i). Solve 2*a - 4*o = -l, 0*a + a + j*o = 8 for a.
2
Let y(w) = w + 2. Let n be y(2). Suppose 0 = -40*r + 30 - 30. Let x be (7 - (-8)/(-4)) + 0. Solve 5 = n*h + 1, x*u + 4*h + 16 = r for u.
-4
Let q(r) = 2*r**2 + r - 2. Let v be q(-2). Solve 3*a + 1 - v = c, -10 = -4*c + a for c.
3
Let t(s) = -s**3 + 4*s**2 - 2*s - 1. Let c be t(3). Suppose 3*i = c*i - 3*i. Solve 3*h + v + 12 = i, -2*v = -2*h - 2*h - 6 for h.
-3
Let x(v) = v**2 - 6*v + 10. Let c be 24/(-20)*20/(-6). Let h be x(c). Solve 0 = -h*i - 2*i + 5*r - 7, 2*i - 3*r = -3 for i.
-3
Let a(c) be the second derivative of -c**3/6 - 3*c**2 + 15*c. Let u be a(-12). Solve u = 3*r + 4*q + 29, -2*r + 3*q + 13 = 0 for r.
-1
Let b(o) be the third derivative of -o**4/24 + 5*o**3/3 - 6*o**2. Let k = -10 - -18. Let n be b(k). Solve 0 = -5*c - 15, -1 = z + n*c + 9 for z.
-4
Suppose 3*d = i - 3*i + 83, 0 = -5*i + 5. Solve -3*v - d = 4*a, -a + 4 = -v + 2 for a.
-3
Let y be (-10 - 198/(-9))*(-4)/(-6). Solve -5*w - 2*o = -3*w + y, 0 = -3*w + 2*o - 2 for w.
-2
Suppose 10*k - 5*k - 15 = 0. Suppose -t = -3*x - 8, 3*x + k = -t - 1. Solve -3*r - t*s + 7*s + 1 = 0, 4*s + 2 = 2*r for r.
-3
Let x(g) = -g**3 + 13*g**2 + 11*g - 5. Let u be x(14). Let f = -40 - u. Solve -5*s - 3*o - f = 0, 3*o + 0*o + 1 = -2*s for s.
-2
Suppose 3*u + 5*u - 32 = 0. Solve 3*x + 18 = -u*w, x + 3*w = 6*w + 7 for x.
-2
Let k(l) = -l + 6. Let u be k(10). Let w(r) = -r**2 - 2*r + 6. Let n be w(u). Let x = 2 - n. Solve p - 11 = -4*q, x*p + 0*p + 1 = -q for p.
-1
Let y(x) = -2*x + 67. Let b be y(32). Solve 5*f - 16 = 6*w - 2*w, -b*w - 12 = 0 for f.
0
Suppose -5*g + 6*w = 10*w - 32, 3*g - 3*w - 3 = 0. Solve -g = -o + u, -o - u - 6 = -0*u for o.
-1
Suppose -5*g + 429 = -51. Suppose -10*q + g = -4*q. Solve -2*x + q = 2*x, 0 = 5*k + 5*x - 35 for k.
3
Let p(v) = 21*v - 84. Let r be p(4). Solve 2*y = -5*n + 15, 2*y + n = -r*n + 11 for y.
5
Let m be (-4)/2*(27/6)/(-3). Let h(p) = -p**3 - p**2 + p. Suppose 5 = -3*o - 1. Let w be h(o). Solve -b = -2*b - w*g - 3, -m*g = -3*b for b.
-1
Suppose -8*l = -12*l - 3*t + 29, 3*l - 4*t = 3. Solve -5*z + 4 = -q + l*q, 5*q + 4*z = 5 for q.
1
Let h(o) = -2 - 2*o - 5 + 0*o**3 + 6*o**2 + o**3. Let q be h(-6). Let b = 5 - q. Solve b = -3*s - p - 3*p - 2, -5*s - 9 = p for s.
-2
Let m = -64 + 36. Let o = -25 - m. Solve q - 13 = o*p, 0 = -4*p + 2*p + 3*q - 11 for p.
-4
Let s = 411 - 399. Solve 3*r = s, 3*q - 16 = 4*q - 5*r for q.
4
Let y be (-62)/(-6) - (-1)/(-3). Let t be 6/y + (88/20 - 1). Let x be 0/(3/((-6)/4)). Solve -2*p = -t*r, x = -3*p + 3*r + 2*r for p.
0
Let k = 99 - 61. Suppose 7*j - 18 = k. Solve 3*a = -4*g + j*a + 29, 10 = -5*g - 3*a for g.
1
Suppose f - 4*f - 3*m = -39, -4*m = 4. Let g = -9 + f. Solve j + 0*h - 5*h = -8, -3*j = 4*h + g for j.
-3
Suppose 4*z + 3*p + 6 = 0, -5*z - 10*p + 8*p = 4. Solve 0 = -5*y - 0*q - q - 22, 4*q + 8 = z for y.
-4
Let d = -29 + 33. Solve a = -d*z - 3*a + 4, -a - 2 = 4*z for z.
-1
Let w be (-287)/91 + 4/26. Let t be w/5 + 108/5. Let r = -50 + 50. Solve -2*m = -0*m - 10, 3*v + 3*m - t = r for v.
2
Let t(n) = 12*n + 172. Let i be t(-14). Solve -i*d + 5 = 3*x, 4*d - 1 = -x + 2*d for x.
3
Let q(t) = -t - 8. Let l be q(-10). Suppose l*o = o. Let i be (10/4)/5 + 36/8. Solve 2*h = -5*n + i, 2*h + h - 15 = o for n.
-1
Suppose 194 = -5*m + 44. Let p = m - -32. Solve 3*l - 2*s - 8 = -3*s, p*l + 4*s - 22 = 0 for l.
1
Let q(j) = 12 + 2*j - 7 + 9. Let s be q(-6). Let a be (-2 - -14)*(s + 0). Solve f + a = -3*f + 4*t, 4*t = -5*f - 3 for f.
-3
Suppose 2*n = 2*w - 2, -w + 3*w - 23 = -5*n. Suppose p - n*p = -4. Solve i - 5 = -i - x, i + p*x = 10 for i.
0
Suppose -3*r + 3 = z + 2, -z + 9 = -5*r. Let s = 2357 + -2342. Solve -s = z*m - 5*d, -11 = 2*m - d - 2 for m.
-5
Let h(i) = -i**2 + 2*i + 8. Let k be h(0). Solve 2*n + k = 5*u, -2*n + 4*u - 20 = 3*n for n.
-4
Suppose -r + 4 = r. Let m = 36 - -4. Let b be (-3)/12 - m/(-32). Solve s = 2*s + 3*k + b, r*k = 4*s - 10 for s.
2
Let k be -2 + 6 - (-3 - -5). Let z(l) = -12*l + 242. Let g be z(20). Solve f - g*f = 2*b + k, -2*b + 4 = 4*f for b.
-2
Let o = 3 + 3. Let i(d) = -d + 14. Let n be i(o). Solve -5*w + n = c, w - 5*c - 4 = 8 for w.
2
Let m = -29 - -58. Let b = 29 - m. Solve c + w = -4*w, 3*c - 5*w + 20 = b for c.
-5
Suppose -s = -3*y + 3*s + 35, 3*y + 10 = -5*s. Suppose -y*f = 4*r - 17, 4*r - r - 3*f = 6. Let z = r + 8. Solve -2*i + z = 5*l, 4*l - 10 = -4*i + 3*i for l.
3
Let q be (-1056)/14 + (-42)/(-98). Let o = q - -80. Solve -v - t = -o, 4*v - 4*t = -6*t + 10 for v.
0
Suppose 31 = -k - 2*l + 6*l, -2*k + l - 27 = 0. Let t = k + 16. Solve 2*g - t*o = 12, 6 = -5*g - 4*o - 30 for g.
-4
Suppose -11 = -2*o - 9. Let u be o/3 - 55/(-15). Suppose -22 = -u*f - 6. Solve -3 = f*l - 3*m - 0, 0 = 3*l + 4*m - 4 for l.
0
Let x be (-1)/((-7)/(-42)*-2). Solve 3*q - x*g - 3 = 0, 0 = g - 6*g for q.
1
Suppose -2*z + 2*x = -z - 9, 0 = -z - 3*x - 16. Let b be 6/(-2)*z - 1. Suppose -f + 5*y = -6, b*y = -1 + 9. Solve 0*k + 4*a - f = 2*k, 2*k = -3*a + 2 for k.
-5
Let k be ((-24)/(-14))/((-12)/(-42)). Suppose 2*p = z + 6, -k = -z + 2*p - 3*p. Solve a - 2*a + 5 = z*t, 0 = -4*t - 4*a for t.
5
Let m be (-6)/(-4)*186/9. Let n = m - 27. Solve n*j + 5 = 5*o, -2*j + 0 = -4*o + 4 for o.
1
Suppose -4*q = -3*p + 65, 5*p - q - 149 + 69 = 0. Solve 0*o - p = o - 5*m, 2*m - 9 = o for o.
-5
Let h be -6 + 5 - (-10)/2. Suppose 1 = -h*u + 29. Solve 19 - u = m - 5*g, -4*m - g - 15 = 0 for m.
-3
Suppose 4*o = -5*z + 251 + 156, 3*o + 386 = 5*z. Let i = -55 + z. Solve 2*m + 2*m = -5*r - 36, r + i = -5*m for m.
-4
Suppose 15 = -3*a + 4*f, 2*f = -2*f + 12. Let q be (a - (-1 + 0 - 0))/2. Solve 3*g + q*d - 4*d = 1, 3*g - 2 = 5*d for g.
-1
Let u be 2/6 - (29/(-3) - 1). Let h be (-1)/(-5)*u - 1/5. Solve 5*o - 8 = -h*f, -3 - 6 = -5*o - f for o.
2
Let j(g) = 24*g - 17. Let y be j(5). Let x = y - 97. Suppose -3*k + 14 = -r - 0*r, 29 = 5*k + 4*r. Solve 2*n + x = -3*m + 17, m = -k*n + 21 for n.
4
Let n be (12/21)/(7/49). Suppose 2*d = 4*g + 18, 0 = -2*d - g + 1 + 2. Solve -n*b + 5*b - 2*j + 3 = 0, -b = d*j - 2 for b.
-1
Suppose -2*t = -x + 6, 2*t + 14 = 11*x - 6*x. Solve -11 = r + 5*o + 4, 9 = -x*r - 3*o for r.
0
Suppose 17*k - 16*k = 4. Solve 3*r - r - 5*a - 21 = 0, -3*r + 21 = -k*a for r.
3
Let j = -22 + 25. Suppose j*p - 3*x - 48 = 0, 3*p = 2*x - 3*x + 64. Let r = p + -15. Solve -4*i - r*a = -3*i - 5, 4*a - 23 = 3*i for i.
-5
Let c = -46 - -84. Let z = -38 + c. Suppose z*r + 8 = 2*r. Solve -2*w - r*f = -0*f + 8, w = -f - 1 for w.
2
Let l(p) = p**3 + p**2 + 2*p. Let y be l(0). Solve y = -2*z - 4*c + 10, 0*z + 7 = 3*z + 2*c for z.
1
Let f be (-3)/6 - 228/(-8). Let y be (2/(-4))/((-1)/f). Let t = y + -10. Solve 5*m - h = -30, -t*m = 3*h + 2 + 3 for m.
-5
Suppose 4*u - 11 = 5. Suppose u*h = 55 + 33. Let i(j) = -j**2 + 6*j + 5. Let w be i(6). Solve -n = -w*d - 25, 1 - h = 4*d - n for d.
-4
Let w(m) = 2*m**2 - 6*m - 17. Let s be (5/(-1) - 0)*-1. Let o be w(s). Solve o*n = -2*t, 3*n - 5 = -t - 2 for n.
2
Suppose 6*r = -4*r - 510. Let t = r - -78. Solve t = 3*z - 4*u, z + 3*u - 2 = 2*u for z.
5
Suppose 0 = 2*y + 16 + 14. Let x be (-10)/y*6 - -6. Solve -3*a - 2*w = -11, -4*w = -4*a - 2*w + x for a.
3
Let i = 1536 + -1533. Solve 3 = 3*x - i, 3*x - 8 = -t for t.
2
Suppose 0 = -2*w + 8 + 44. Suppose w = -5*d + 41. Solve -5*g = -5*y + 5, 2*y - d*g = -0 + 1 for y.