x = 3*g - 6 for x.
1
Suppose -12 = -39*q + 36*q - v, 3*v - 21 = -4*q. Solve 3*l + 24 = -q*r - 0*r, r = l for l.
-4
Let r be (-13)/39*3*-5. Solve -5*i - r*a = -40, 6*i - 7*i - 22 = -5*a for i.
3
Let d(p) = -p**3 + 4*p**2 - p + 1. Let s be d(2). Let k = s + -2. Let j(r) = -9*r - 1. Let l be j(-1). Solve 4*x + n - l + 2 = 0, -k*x + 2*n = -14 for x.
2
Let r be (10/4)/((-11)/110). Let p be (-7)/(r/10 - 1). Solve 3*t - 4*b + 2 = 10, p*t - 11 = -3*b for t.
4
Let b be 2/((-20)/45)*2. Let o(g) = 2*g + g - 4*g - 4. Let v be o(b). Solve 0 = -v*t + 3*y - 0*y - 22, -2*y + 23 = -5*t for t.
-5
Let y(p) = 5*p**2 + 2*p - 2. Let g be y(1). Suppose 3*a = -u + 5, 0*a - 3*u = -a + g. Solve -x - 4*x + 4*s - 33 = 0, -s + a = 0 for x.
-5
Let i be (-225)/135*(-12)/10. Solve -3*s = 5*h + 6, -s - i*s - 3 = 4*h for s.
3
Let b(i) = i**2 + 18*i + 3. Let l = -98 - -80. Let c be b(l). Solve c*a + 15 = -o + 5*a, -3*a = -3*o - 30 for o.
-5
Let b(d) = -2*d - 1. Let l be b(-2). Let p = 2108 + -2107. Solve -i + 4*a - p = -0*i, -l*i + 3*a - 3 = 0 for i.
-1
Let r = -14 + 19. Suppose 3*z + 0*z - 5*g - 4 = 0, -r*g - 20 = -5*z. Solve 0*u = -4*u + 5*w - z, 0 = -u + 5*w - 2 for u.
-2
Suppose 20 = p + 2*j, -3*p + 18 = -2*p + j. Let g = -4 + 2. Let q be g/((-6)/(-4) - 2). Solve -q*f + p = -3*t, -3*f + 8*f = -4*t - 11 for t.
-4
Let b = -32 - -22. Let n be 45/b*12/(-27). Suppose -5*y + 2*y = -5*p + 3, 0 = 2*y - n*p - 2. Solve -4*x + y*f - 16 = 0, 17 = -5*x + f + 1 for x.
-3
Suppose 172 = 2*l + 162. Suppose 0 = -0*d + l*d - 35. Solve -3*t = 4*v + d, -2*t + 0 = -v + 1 for v.
-1
Let s(i) be the third derivative of -17*i**4/24 - 4*i**3/3 + 20*i**2. Let b be s(-1). Solve 3*w - 5*l = 7*w - 24, -3*w + 3*l - b = 0 for w.
1
Let z(h) = -h**3 + 15*h**2 - 2*h + 3. Let x be z(15). Let b = -22 - x. Solve -5 = 3*t + i, -3*i = -4*t - 6*i - b for t.
-2
Let f be (6 - (1 - -1))*(85 + -84). Solve -3*j + f*j - 4*d + 21 = 0, -2*d = -4*j - 28 for j.
-5
Suppose 2*w = -4*k - 118, -5*k + 0*w - 147 = 3*w. Let v = k + 35. Solve -i + 1 = -v*a - 13, 4*i + 7 = -a for a.
-3
Let h(s) = s**3 + 11*s**2 + 13*s + 32. Let c be h(-10). Let b be 1/3 + 34/6. Solve -c*y - n = y - b, 0 = -y - 4*n - 9 for y.
3
Let t(n) = 5*n**2 + 4*n + 7. Let j be t(-3). Let y = 42 - j. Solve 5*m = 3*k + 11, y*m + 4*k - 20 = -0*k for m.
4
Suppose -5*u + 5 = 2*a - 2*u, 0 = -2*a + 5*u + 13. Suppose -3*z + 6 = -0*z. Let i = 1 + z. Solve -a*q + 11 = m, -i*q + m - 5 = -22 for q.
4
Let v = 2 - -3. Suppose -7*f + 3*f + 11 = -3*o, -3*f = -5*o. Solve 3*x - v*x - i + f = 0, -4*x + 3*i = -5 for x.
2
Let t(w) = 3*w. Let v be t(1). Let s be 0/((7 + -3)/4). Let d be s/3*(-2)/(-4). Solve -2*f + d*f - 7 = v*l, -3*f - 12 = 3*l for f.
-5
Suppose 0 = 3*a + 2*n - 98, -5*a - 81 = 3*n - 244. Let p(r) = 2*r - 5. Let w be p(5). Solve 2*h + a = 4*u + w*h, 3*h - 2 = 2*u for u.
5
Let x be (-58)/(-15) - (1 + (-102)/90). Solve 2*k = 2*z - 2, 2*k + x*z = -z - 2 for k.
-1
Let l(v) = v**3 + 6*v**2 - 18*v - 17. Let m be l(-7). Let r be (m/(-150))/(1/(-5)). Solve -8 = -5*f + r*z, -4*z - 16 = -f + 4*f for f.
0
Let f be 15/10 + (-3)/2. Solve -o + 5 = 5*d - 3*o, f = 5*o - 25 for d.
3
Suppose -2*i = 2*i. Let u be (-2 + 39/15)/(17/85). Solve 3*f + u*h - 18 = i, 4*f + h - 16 = -4 for f.
2
Let y be ((-20)/12)/((-4)/12). Suppose 0 = -5*b - 15. Let k be -1*2*b - 2. Solve 11 = -k*v - 9, 0 = -y*d - 3*v - 20 for d.
-1
Let s(b) = -11*b + 35. Let k be s(9). Let j = k - -64. Solve -u + 4 = j, 5 = 2*p - 3*p + u for p.
-1
Let g(m) = m**3 - 5*m**2 + m. Suppose -6*n = n - 35. Let t be g(n). Let l be 1/2*(46 - 0). Solve f - t*f - l = -q, 0 = -q + 3 for f.
-5
Suppose 15*h - 14*h - 4 = 0. Suppose -h*q + 5*g = 6, 5*q + 2*g + 2*g + 28 = 0. Let b = 0 - q. Solve 5*d = d - b*y + 8, 2*y = 4*d + 4 for d.
0
Let h = -1489 + 1494. Solve -4*o + 4*s = 8, -6*o + 4*o - h*s + 24 = 0 for o.
2
Let u be ((-57)/(-3))/(5 + -4). Let g = u + -17. Let b be (4/6)/((-15)/(-90)). Solve -3*x - v = 10, -g*v = 2*x - 0*x + b for x.
-4
Suppose 3*b - 4*b - d - 4 = 0, -16 = b + 4*d. Suppose -2 = 2*o + 2. Let t = 3 + o. Solve -i + 3*h = -t, -i + h - 1 = -b for i.
-2
Suppose 2*s - 18 = -5*z, -2*s = -s - 4. Let r = -5378 - -5383. Solve -3*f + c = -r, -4*c + z = -2 for f.
2
Let z be ((-80)/24)/((-1)/12). Suppose q + q - z = 5*t, 3*t - 54 = -4*q. Solve 5*d = -6*h + 5*h + q, 2*h - 8 = d for h.
5
Let r(f) = 2*f**3 - f + 2. Let j = -54 - -55. Let x be r(j). Solve 4*l - 15 = -x*d, -3*d = 3*l - 14 + 2 for l.
3
Suppose -1357*a = -1370*a + 13 + 143. Let d be (-7 - -1)*(-2)/4. Solve q + a = -3*t - 4*q, 3*t = d*q - 12 for t.
-4
Suppose -3*q = -q - 10. Suppose -q*y + 19 = -0*j + j, -2*y + 2*j = 2. Solve 0 = -3*x - 9, 0*f + f + y*x + 8 = 0 for f.
1
Let s(c) = 4*c - 3*c - c + c + 30. Let g be s(-13). Solve -5*w - g = -2*j + 2, -3*w = -2*j + 9 for w.
-5
Let n be 12/90 - (-206)/30. Let b(r) = -5 + r + 0 + r**2 - 1 + 5. Let h be b(1). Solve w + 3*z + 8 = 0, -2*w + 2*z + h = -n for w.
1
Suppose 4*m + 45 = 133. Let q be m + -5 + 0/(-2). Suppose 0 = 7*p - q - 11. Solve r = 1 - 0, 0 = -p*n + 2*r - 14 for n.
-3
Suppose -17*h + 68 = -0*h. Suppose -8*v + h*v - u = -10, -4*v = 4*u - 4. Solve -q - 3*y = -13, 3*q + 2*q + v*y = 5 for q.
-2
Suppose 0 = 5*k - 21 + 6. Suppose -3*t + 3 = -5*f, -2*f + 4*t = k*f - 1. Let p be ((-15)/9*f)/1. Solve 0 = 3*s - 5*i - 20, -2*i - 3 - p = -4*s for s.
0
Suppose -9*v = -14*v. Let d(m) = -m**2 - 3*m + 4. Let j be d(-3). Suppose -16*f + 14*f = -64. Solve v = j*i - y + 7, -2*i = 2*i + 4*y + f for i.
-3
Let l(h) = h**3 - 11*h**2 + h - 9. Let t be l(11). Suppose -4*k + 32 = -6*j + t*j, -j = 4*k - 12. Solve 5*m = -k*w - 21, -5*m + 1 - 2 = -w for m.
-1
Suppose -5*k = -5, 2*g + k = -18 + 25. Solve -g*d + s = -6, 0*s + s = -5*d + 18 for d.
3
Suppose -25 = -23*i + 21. Suppose -u = -0 + 5. Let t = 20 - u. Solve -i*z = 2*l, -4*l + 0*z = -z - t for l.
5
Suppose -10*f - 6 = -12*f. Suppose 13 = 3*y + 2*z + f, 5*z + 5 = 0. Solve -3*l + y*u = -8, -4*l - 1 = -3*u - 14 for l.
4
Let g be 1*(-2)/1 + 1 + 22. Let x(h) = -h**2 + 21*h. Let r be x(g). Solve 4 = -n, -i + 3*n - n + 6 = r for i.
-2
Suppose 4*t = 11*t - 21. Suppose 0 = 2*h - f - 26, t*f = 5*f - 8. Solve -4*x + 9*x = m - 5, -3*x + 3*m - h = 0 for x.
0
Suppose -d + 2*d + 12 = 2*r, 17 = -d + 3*r. Let q be 1*((-10)/(-4) + d/(-4)). Solve v + 1 = -3*s + 2*s, 5*v - q*s = 35 for v.
4
Suppose 1 = 4*o - 11. Suppose 0 = -0*n + n + 3*l - 13, 5 = 2*n - l. Suppose -2*d + o*d - n = 0. Solve 2 = -3*z - d*u - 5, 0 = -2*z - 4*u - 6 for z.
-1
Let x(j) = 3*j**2 - 19*j + 9. Let f be x(6). Suppose -2*c = -0*c + f*h - 11, 5*h - 9 = -c. Solve -c*d - 11 = 1, 0 = -3*y + 4*d + 18 for y.
2
Let y(t) = -41*t - 429. Let p be y(-11). Solve 5*w - 6 = 4*j, -w - 2*j - 3*j - p = 0 for w.
-2
Let m be 12/66 + 6/(-33). Suppose m = -3*l - 0*l. Suppose 0 = c + 3*t - 17, 4*c - c = t + 1. Solve d + l*d = -5*j - 25, -28 = c*j + 4*d for j.
-4
Let x be ((-2)/1)/((-2)/(-6)*-3). Suppose x*a - 30 = -0*a. Solve a = 2*r + 5*f, -r = -0*r - 4*f + 25 for r.
-5
Let d = -35 - -39. Let u(g) = -2*g - 15. Let z be u(-13). Let q = -11 + z. Solve p - 2 = q, 2*s - d*s = 4*p for s.
-4
Let j = 5 - 7. Let v be (-4)/j*(-100)/(-40). Let h(l) = l**2 - 2*l + 4. Let s be h(3). Solve -3*z + 0 - 7 = -2*o, v*z + s = o for o.
2
Suppose -3*o - i = -0*i - 11, -2 = 2*o + 3*i. Solve -o*j = -0*l - 3*l + 15, -5*j - 20 = -4*l for j.
0
Let o(w) = -2*w**3 + 3*w**2 - 2*w - 3. Let i be o(-1). Solve 4*a + 2 = -2*d + i*d, -2*d + 2*a = -2 for d.
1
Let h(p) = -p**2 - 8*p + 5. Let u be h(-5). Let b = u - 18. Suppose -2*n - b*n - 96 = -4*o, -4*o - n + 81 = 0. Solve 3*f - 2*j = o, -2*f = f + 5*j for f.
5
Suppose -9*m = 17 - 62. Let d = 0 + -10. Let o(k) = k**2 + 9*k + 10. Let j be o(d). Solve 2*u + 2 = m*u - 2*q, 0 = 2*u + 4*q + j for u.
-2
Let z be ((-21)/15 + 1)*-5. Let x(m) = 6*m**3 - m**2 + m - 1. Let s be x(1). Solve -t = -4, t = -s*a - z*t + 12 for a.
0
Suppose -4*s = -5*o - 27, -9*s + 4*o = -12*s + 28. Solve -2*c - 28 = 5*w, -c + w = 2*w + s for c.
-4
Let h = -13 + 3. Let a(s) = s**2 + 10*s + 4. Let q be a(h). Suppose -q + 7 = y. Solve 0*u = u - 3*v - 9, y*v = 5*u + 3 for u.
-3
Let q = -1755 + 1757. Solve -4*g - 20 = -2*s, 3*g + 4*s = q*s - 15 for g.
-5
Let b(s) = s**3 - 7*s**2 + 3. Let t be b(7). Suppose -3*v = -n - 7*v + 24, v = 2*n - 75. Let o = n - 31. Solve o - 33 = 4*a