 5*x + 3 for g.
-4
Suppose 2*o = 7*o + 125. Let c = o + 28. Suppose -c*q + 10 = 1. Solve 4*h = b - h - 30, q*b + 5*h = -10 for b.
5
Let d be (-2 - 4/(-2))/(-2). Suppose d = -3*m - 4 + 13. Solve m*y - 2 = 4*b, -4*y = 5*b - 6 - 7 for b.
1
Suppose -7*b + 11 = -5*b - a, 26 = 2*b - 4*a. Solve 0 = -5*j - 0*j + 5*z, -j + 2*z - b = 0 for j.
3
Suppose -2*g + 4*g = -3*g. Let o(d) = 5*d + 4. Let x be o(g). Solve -4*v - 17 = -3*m, -5*m - x*v - 8 = 17 for m.
-1
Let j(o) = -2 + 10*o + o + 4*o**2 + 0*o - 5*o**2. Let f be j(10). Let n = f + 14. Solve 0 = k + q - 3*q, -4*k - n = 3*q for k.
-4
Suppose -d + 0*d = 4*h - 10, 9 = 2*d - 3*h. Let y = -38 - -31. Let c = -5 - y. Solve -16 = -3*o - i, -c*o + i + d = -3 for o.
5
Let c(i) = -i**2 - 12*i - 30. Let t be c(-7). Solve 0 = 4*q + 4*f - 28, 0*f + 14 = -2*q + t*f for q.
3
Let z be (6/4)/(81/270) + 0. Let t = 8 - 4. Solve -t*s + 2*s - 4 = b, z*b = 20 for s.
-4
Let g(w) = 2*w**2 + 12*w + 26. Let z be g(-5). Solve 2*d - 2*q = z, -3*d + 2*q + 19 = -0*d for d.
3
Let b(v) = v**3 - 6*v**2 + 5*v + 2. Suppose 7*i + 65 = 2*i. Let d = i - -18. Let h be b(d). Solve 7 = -3*p + 3*z - h*z, -9 = 5*p - 3*z for p.
-3
Suppose 3*n = -5*b + 24, -b - b + 21 = 5*n. Suppose -798*g + 791*g + 21 = 0. Solve -2*i - 6 = -4*i, -b*p - 4*i = -g for p.
-3
Let y = -41 - 22. Let j be (-18)/y - (19/(-7) + 0). Solve -4*c + 2*r - 3*r = -22, j*r = 3*c - 9 for c.
5
Let x be (-4500)/(-320) - (-2)/(-32). Solve 4*y - x = j, 0 = 4*y - 2*y + j - 10 for y.
4
Let x be (-32)/(-6) + (-3)/9. Solve -3*u = -x*c - 2*u - 4, u = c for c.
-1
Suppose -4*t + 3*t = -v - 7, 0 = -t + 2*v + 9. Solve -x = 2*f - 4, -x = -t*f + x + 28 for f.
4
Let b(z) = z**2 + 2*z + 2. Let k(v) = -v**2 - 2*v - 3. Let s(o) = 7*b(o) + 6*k(o). Let a be s(-4). Solve 1 = 2*n - 3*q, -a*n + 8 - 1 = -q for n.
2
Let u be 4/26 - (-6)/(-117)*3. Let z be (-2)/4*u/4. Solve -3*y + 3*q - 3 = -z, 17 = -y - 3*q for y.
-5
Let b(t) = -t**3 - 15*t**2 + 153*t + 9. Let g be b(7). Solve 0 = 3*v - g*c + 11, -5*v + 7*v = -2*c - 4 for v.
-3
Let m be ((-9)/153*0)/(-1 - -3). Let o = -6 - -8. Solve 0 = 5*p - 2*h + 2, m = p - o*p - 3*h + 3 for p.
0
Suppose 0 = -s - 4 + 13. Suppose s*u - 170 = 4*u. Suppose -29*x - 20 = -u*x. Solve x*i + 5*v - 5 = 0, -3*v - 35 = 2*i - 8*v for i.
-5
Suppose 0 = 3*c - 383 + 86. Let w = c + -96. Solve m = 4*m - 4*k - 1, w*m + 3 = 3*k for m.
-5
Let z(o) = -o**2 + 23*o + 110. Let h be z(27). Solve -h*p + 4*p - 1 = 3*y, -2*p - 1 = -5*y for p.
2
Let l be -5 + (-56)/(-7) - (2 - 3). Solve 0*j = j - 3*z - 4, -l*z = 4 for j.
1
Let k(w) = -3*w**2 + 18*w - 21. Let p be k(4). Solve 0 = -4*b + 2*s - 2, 2*b + p*s + 5 = 0 for b.
-1
Let m be (-7)/(-14)*(-39 - -1)*-1. Solve -4*f + 16 = 5*j, -5*j + 2*f - 3*f + m = 0 for j.
4
Let m(f) = -f**3 - 11*f**2. Let p be m(-11). Let w be (p/(-4) - -13) + -4. Let g = -5 + w. Solve 10 = g*c + 5*n, 19 = 5*c + n + 2*n for c.
5
Let y(m) = 4*m**2 - 4*m - 45. Let b be y(4). Suppose 5*t = 10, 0*t - 70 = -3*w + t. Solve v = b*u - 17, -4*v - w - 9 = -5*u for v.
-2
Let i(m) = 0 + 7 - 3 + 4 + m. Let t be i(6). Let z(u) = 5*u + 33. Let x be z(-6). Solve -5*y - p = -22, -x*y + t = -0*p + p for y.
4
Let w = -91 + 96. Let l be 4/18 - (-34)/9. Solve -2*p = z - 2, w = -l*p + 3*p - 2*z for p.
3
Suppose -3*j + 2*z + 0*z - 10 = 0, -z + 5 = j. Suppose 17 = -w + 5*k - j*k, -w + k - 1 = 0. Solve -3*i + 15 = 3*b + 2*b, b + i = w for b.
3
Suppose 2*w + 8*h = 6*h + 10, 0 = -3*w - 4*h + 16. Solve -w*k + 22 = -3*q, -2 - 26 = -5*k + 4*q for k.
4
Let t be (-1 + (-4)/(-4))/(-3). Suppose -4*a - a = t. Solve 4*m + 20 = a, 3*m - 10 = -p - 4*p for p.
5
Suppose 0 = 5*r - 7*r + 8. Solve -4*x = 5*b + r + 16, 3*b - x + 12 = 0 for b.
-4
Suppose v - 11 + 10 = 0. Let d be v/(2 + -1) + 1. Suppose 0 = h + c - 5, -h + 2*c + c - 3 = 0. Solve -d*l + h*w + 16 = -0*l, 5*w + 20 = 0 for l.
2
Suppose 14*g = 18*g - 164. Let h = 44 - g. Solve 3*m = 7*m + 2*b, h*b = -4*m + 2 for m.
-1
Let s = -434 + 218. Let b be ((-6)/(-9))/((-3)/s). Suppose 7*k + b = 10*k. Solve 4*i - 4*l = k, -4*l + l - 2 = -i for i.
5
Let h be (3/(-4))/(69/(-184)). Solve -5*k = -h*z + 13, 2*z = -k - 0*z - 5 for k.
-3
Let d = -172 - -72. Let o = d - -102. Solve u = -0*u - o, -i = -4*u - 11 for i.
3
Suppose 233 - 233 = 12*q. Solve 2 = -4*g - q*g + 2*w, -4*g - 2*w = -18 for g.
2
Suppose 0*z = -4*z - 8. Let w be (-12 + 10)/(z/3). Solve -w*k + j = 9, k = 6*k + 5*j + 15 for k.
-3
Suppose 9*i = 8*i - 33. Let m = i - -37. Solve -2*a = -m*d + 4 - 10, -3*d - 5*a - 24 = 0 for d.
-3
Suppose 2*k = -3*b + 15 - 0, -5*b + 11 = k. Suppose 2*g - 6 = -4*o + 4*g, g + k = 5*o. Solve -2*j - 4 = 2*j + 2*h, 4*h = j + o for j.
-1
Let q be (63/(-14))/9*0. Solve 3*j + 5 = -0*j - 4*u, -3*j - 3*u - 6 = q for j.
-3
Let u be (-1)/13*-2*13. Solve -4*v = -w - 11, 4*v - 10 = -0*v + u*w for v.
3
Let d(u) be the first derivative of u**2/2 + 4*u - 3. Suppose -3*i = -5*i. Let g be d(i). Solve -4*r + 4*v + 27 = -r, 3 = 3*r + g*v for r.
5
Let k = 59 - 56. Suppose -3*q + k*a + 24 = -2*a, -5*q - 3*a = -6. Let c = -4 + 6. Solve -q*h = -u + 2, -4 = 4*h - c*h for u.
-4
Let j be (-116)/(-8) + 4/(-8). Suppose 21*a - 20*a - 4 = 0. Solve 0 = a*n - v - j, -2*n + v + 7 - 1 = 0 for n.
4
Let n be (9/((-405)/36))/(1/(-30)). Solve -16 = 4*w + 2*u, -4*u = w + 3*w + n for w.
-2
Let l(o) = 7*o + 4. Let q be l(3). Let x = 27 - q. Solve -2*u + x*v = -0*v + 8, -4 = -2*u - 2*v for u.
-1
Let l(u) be the first derivative of -2*u**3/3 + 24*u**2 - 42*u + 12. Let t be l(23). Solve 0 = t*q + 5*b - 25, -14 = -3*q - 0*q + b for q.
5
Suppose -3*w = w - 12. Suppose 14 = 2*t - 2*r, -3*t + 8*t = 3*r + 31. Suppose t*k = 0, -i + 0*k + 25 = w*k. Solve -6*l - i = -l, 2*a - 2*l = 6 for a.
-2
Let c be 23 + (-1)/(3/(-9)). Solve 5*z + c = 3*b, 0 = -3*b - 2*b + 5*z + 30 for b.
2
Suppose -6*g = -10 + 34. Let l be ((-6)/(-4))/((-3)/g). Suppose l*n - 16 = -2*n. Solve -n*c + 20 = -4*k, 0 = -k - k + c - 9 for k.
-4
Let w = 65 + -63. Suppose -w*o = 5*l - 4*o - 33, o + 29 = 5*l. Solve -l*n - 24 + 2 = -f, -6 = -5*f - n for f.
2
Let l = -9652 - -9656. Suppose -2 = 4*u - 34. Solve -s + 1 - l = -4*g, -u = -4*g for s.
5
Let a = 16 + -14. Suppose -5*q = -3*q + 2*g - 72, a*g = -2. Solve -3*l = -5*k + q, 0 = -k - 2*l - l - 7 for k.
5
Suppose -54*h - 40*h + 752 = 0. Solve 0 = -4*k - h, -k + 16 = -4*d + k for d.
-5
Let a be 2 - ((-10)/2 + -4). Suppose 1 = -5*x + a. Solve x*l = -4*t - 2, 5*t = -l - 3*l + 5 for t.
-3
Suppose 10*v - 37 = 3. Suppose -3*t + 25 = v*p, -p = t - 3*p + 5. Solve 3*u = -x - 5, -2*x - 10 = t*u + u for u.
0
Let a = -9 - -9. Suppose -8 = -2*c - a*c. Suppose 3*g - 2*k = 12, 3*g - c*g = 4*k - 4. Solve 10 = u - g*x + 1, -4*x = 3*u + 5 for u.
1
Let p(v) = -v**3 + 14*v**2 - v + 20. Let q be p(14). Suppose -2*x - q = -5*x. Suppose 0*d + 6 = x*d. Solve d*m + 5*g - 13 = g, 1 = -5*m - g for m.
-1
Suppose 415*b = 409*b + 42. Solve 2*h = -4*y, -5*h = b + 3 for y.
1
Let u(g) = g**2 - 5*g - 6. Let m be u(6). Let t = 5 - -3. Suppose -4*w + 12 = -w. Solve m = w*y + 4*s - t + 44, -24 = y + 4*s for y.
-4
Suppose 30 = 5*t + b, -4*b = -2*t - 2*t. Solve -t*j + 4*h - 4 = 0, j + j - 2 = -2*h for j.
0
Let p = -15 - -19. Suppose -2*j + 61 = 5*c + 23, 2*c = 3*j - 95. Let f = -20 + j. Solve h = 2*k + 2*k + f, p*h + 3*k = -21 for h.
-3
Let n(t) = -2*t**2 - 2*t + 1. Let v be n(1). Let w be -12*v/(6/(-1)). Let c be 207/6*(-4)/w. Solve -5*y + 17 = -2*y + 5*d, c = -3*y + 5*d for y.
-1
Let x = -1 + 3. Suppose 153*l - 8 = 149*l. Suppose 0*u = -4*u. Solve l*o + k = -x, 2*k + u = -8 for o.
1
Suppose -5*q + 10 = 5*p, -9*p + 9 = 2*q - 8*p. Solve -4*i - 4*h + 13 = i, -i - q = 4*h for i.
5
Let y(x) = x**2 - 3*x - 6. Let i be y(5). Solve -w - 20 = -5*l, i*w - 5*l - 1 + 6 = 0 for w.
5
Let s(y) = -y**3 - 4*y**2 + 4*y + 3. Let b be s(-5). Suppose -60 = -11*g + b*g. Solve t = 5*t + g, -3*o = 4*t + 11 for o.
3
Let x(p) = 9*p - 6. Let i be x(2). Solve -4*u = -z + 12, 5*u - u = -i for z.
0
Let q be (8/(-12))/(2 - (-39)/(-18)). Let p be (q - 56/12)/(4/(-18)). Solve 4*w = -w + p*b - 7, -3*b = -12 for w.
1
Let w(m) = 7*m**2 - 2*m + 1. Let y be w(1). Let x be 10/14 - (-4)/14. Let q = y + x. Solve 3*a = -5*l + 18, -3 = 4*a - q*a for l.
3
Let w(u) = -4*u - 11. Suppose 13*j + 12 = 10*j. Let a be w(j). Solve 2*h + 3 = -a*d + 14, -4*h = -2*d + 14 for d.
3
Let w(r) be the second deri