 = -2*x + b for g.
1
Suppose 4*o - 13 - 12 = -3*g, -2*o + 14 = 2*g. Solve -5*k + 2*d - d - g = 0, 0 = -2*k - 2*d - 6 for k.
-1
Let i(w) = w**3 + 2*w**2 - w + 27. Let j be i(0). Solve g + y + 3 = 0, -2*g - 3*g + y = j for g.
-5
Let l = -59 - -64. Solve -l*o - 6*g = -3*g + 9, 2*g = -4*o - 6 for o.
0
Let x be 2/20 + 834/(-300)*-5. Solve 0 = -5*f - 3*u - 5, 5*u - 11 = x for f.
-4
Let n(z) = z**3 + 7*z**2 - 9*z - 5. Suppose 4*a + 49 - 17 = 0. Let b be n(a). Solve t = 2*l + b*t, 2*l - 2*t = 0 for l.
0
Let q(s) = s. Let z be q(4). Solve 3*w - g = -3*g + 9, -z*w = 4*g - 8 for w.
5
Suppose 5*h = -v - 5, -42 = -v + 5*h - 7. Suppose -3*y + v = -0. Solve l = 2*m + m + 3, -y*m + 5*l = -5 for m.
-2
Suppose -16 = -4*a, -3*m + 2*a + 19 = -0*m. Suppose -f - 2 = -m. Solve 0*j + 12 = 4*j, j - f = -g for g.
4
Let g(j) = -j + 3. Suppose p + 3*p = 0. Let z be g(p). Solve 0 = k - 5*q - 29, k = 3*k + q - z for k.
4
Suppose 5*r + 11 = 2*v - 1, 3*v - 13 = 5*r. Suppose -3*b + v = -8. Suppose -b = -3*a + 9. Solve 2*m = p + 3, 5*p = a*m + 1 + 2 for p.
3
Let c(v) = v - 8. Let r(u) = -u**2 - 6*u + 3. Let o be r(-5). Let p be c(o). Solve -2*x + n = x - 13, -3*n + 6 = p for x.
5
Let h be 1*5 + (-6 - -6). Solve 4*w + h*g + 15 = 0, -2 = 3*w + 2*g + 11 for w.
-5
Let z = 41 + -23. Let c = -13 + z. Solve 3*u + 4 - 38 = c*t, -3*u + 19 = -2*t for t.
-5
Suppose v = 4*v - 4*g - 1, 4*v - 53 = -5*g. Let f(d) = 2*d + 2. Let y be f(v). Solve 0*p + w + y = -5*p, -10 = 4*p - 2*w for p.
-3
Let u = 10 - -16. Solve 5*d = 2*y - 25, -4*d + 6 = 4*y + u for d.
-5
Suppose 4*k + 16 = 3*h - k, -4*h = -4*k - 16. Solve -h*t - 5*u = 6, 3*t = 2*t + 3*u + 8 for t.
2
Suppose -14 = -4*c + 3*f - f, 5*c + 5*f + 20 = 0. Suppose -1 = h - 3. Let t be (-10)/(-1*h) - c. Solve t*b - 20 = -5*a, -2*a - a = 2*b - 10 for a.
0
Suppose -c - 2 = -2*c, -4*j + 40 = -2*c. Suppose 2*a + 3 + j = 4*x, -15 = -5*x + 5*a. Solve x*q = -z - 9, z + 6 = -q + 2*z for q.
-3
Suppose 0*w + 4*c + 15 = w, -c = w - 10. Suppose 4*k = 3*h - 4 + w, 3*k - 5*h + 3 = 0. Let f = 32 - 19. Solve -5*y + f = -4*r, -4*y - k = 5*r + 2 for r.
-2
Let y be -9*(0 - 2/3). Suppose -y*a = -a - 20. Let r(x) = x. Let p be r(a). Solve 9 = o + p*j, -j = -3*o - 18 + 6 for o.
-3
Let r be ((-1)/1 + 0)*-1. Suppose -4*h + 3*b = 4*b + 5, -5*h = -5*b. Let g be 0*((r - 1) + h). Solve 0 = 5*p + 25, 2*l + g*p - 17 = 3*p for l.
1
Suppose 5*c = 36 - 6. Suppose c*i - 19 = 2*i - 3*d, 4*d = i. Solve -2*k - i*n - 6 = -4*k, n + 2 = k for k.
1
Suppose 4*u = 2*g + 12, 5*g - 12 = -u + g. Solve 0 = 4*m + u*o, 4*m + o + o = -4 for m.
-2
Suppose h + 5 = 10. Suppose 5*f - p = 2*p + 13, -5*f = -h*p - 15. Solve f*d = 5*c - 2 + 6, 4 = -4*d + 4*c for d.
-3
Let n be (-9)/(18/8) - -9. Solve 3*r + 5 + 14 = -5*q, q = n*r - 15 for q.
-5
Let o(b) = -b**3 + 5*b**2 + 6. Let k = 10 - 5. Let w be o(k). Solve -4*x - 3*c - 31 = -w*c, x + 19 = 3*c for x.
-4
Let t(h) = 4*h**2. Let n be t(4). Suppose -u = -6*u + 3*o + n, -4*u - 5*o + 66 = 0. Solve 4*z + 2*m = u, z - 2*z + 5*m = 24 for z.
1
Let c = 3 - 0. Suppose 0 = -2*a - f + 9, 0 = -c*a - 0*f + 5*f - 6. Solve -5*r - v + 23 = 0, -a*v = 2*r - 7*r + 31 for r.
5
Let i = 7 - 2. Let f = -52 + 67. Let a = -3 + 7. Solve 0 = -q + a*q + 4*k - f, i*q + k - 8 = 0 for q.
1
Suppose w + 5*n - 40 = -10, n = -5*w + 30. Solve 5*a + 15 = -5*p, 6*p - w*a = 2*p - 21 for p.
-4
Let l be (-4)/10 - (-54)/135. Solve -o - 2*u - 6 = l, -4*o = -2*u - u + 2 for o.
-2
Let o = -7 - -9. Let w = 2 - o. Let l = 3 - w. Solve 5*q = l*m - 14 + 2, 5*q - m + 14 = 0 for q.
-3
Suppose -2*y = -3*j + 6, -4*j = 6*y - 2*y - 28. Solve 0*q = -y*n + 4*q + 9, 4*n = 5*q + 12 for n.
3
Suppose 0 = 5*b - 60 - 65. Suppose -n = -6*n + b. Suppose q = -3*q + 8. Solve -n*c = -4*a - 23, a - q = 2*c - 10 for c.
3
Suppose 2 = r + 5. Let n be 1*9*(-1)/r. Solve 3*d = -5*t - 8, 4*d = -n*t + 8*t + 1 for t.
-1
Let l be (-6)/9 - 20/(-3). Let j = 5 + 0. Solve j*w + l = 2*w + 2*n, 3*w - 4*n + 12 = 0 for w.
0
Let b = -13 + 22. Solve 4*f + 4 = -4*g, -b = g - 2*f - f for g.
-3
Let r(h) = h**3 + 6*h**2 - 6. Let n be r(-6). Let t = n + 10. Solve 4*a + s + 18 = -0*a, 0 = t*a + 5*s + 26 for a.
-4
Let p = -1 - -5. Solve 0 = -p*w + 2*q - 17 - 1, 2*w + 2*q + 6 = 0 for w.
-4
Suppose -3*m + 19 = 4*r, 0*m + r + 4 = m. Suppose -5*w - 17 = -4*w - m*t, t - 21 = -2*w. Solve c = 5*f + 3 + 15, -4*f + 4*c = w for f.
-4
Let l be 48/(-28)*(-7)/2. Solve -b - 9 = l*u - 4*u, 2*b + 3*u + 15 = 0 for b.
-3
Let o be (-4)/(-26) + (-350)/(-91). Suppose -2*z - n - 33 = -4, 12 = -o*n. Let k = z - -27. Solve -r + k = 4*i, 5*r + 3*i - 2 = -0 for r.
-2
Let f(d) be the third derivative of d**6/120 + 2*d**5/15 + 7*d**4/24 + 2*d**3/3 + 5*d**2. Let t be f(-7). Solve 4*z = -4*j - 4, -5*j - 5 = 3*z + t for j.
-3
Let w be (-4)/5*(-5)/(-2 - -3). Solve -w*x + 8 = -y, 0 = 3*y + y + 4*x + 12 for y.
-4
Let u be ((-2)/(-4))/(-1)*0. Let a = u + 2. Suppose g - z - 2 = -0*g, 0 = a*g - 3*z - 4. Solve -11 = -3*l + 2*b, l - b = -g*b + 2 for l.
3
Let t(r) = r**2 - 2*r - 7. Let w be t(6). Let h be 2*3/6*w. Solve 0 = -2*f + 4, 3*b + 0*f = -4*f + h for b.
3
Let p = 28 - 26. Solve 2*r + 0 = 3*y - p, -4*y = -2*r for r.
-4
Let q = -14 + 42. Suppose 2*x = -x + 4*a - 8, -5*a = x - 10. Let w = x + 5. Solve 4*g - q = -5*b + 1, -28 = -w*b - 3*g for b.
5
Suppose -b - 17 = -21. Suppose 0 = 2*j - 2*a - 16, 2*a = -b*j + 7*a + 36. Solve -4*x + 13 = -5*i, -2*x - 5*i - 9 = -j*x for x.
2
Let p = -18 - -27. Let w = p + -4. Suppose 0*a + 4*z = 2*a - 16, 2*a + 3*z - 2 = 0. Solve a*s - w*b = -s, -5*s - 32 = 3*b for s.
-4
Suppose 7*r - 6 = 4*r. Suppose 0 = -q + 8 + 12. Let x = q + -10. Solve -s + 15 = 2*s + w, w - x = -r*s for s.
5
Let z = -9 + 14. Suppose -4*l + z*p - 2 = 0, -2 + 0 = -5*l + 4*p. Suppose 0 = -u + 2*u - 2. Solve 3*n = -l*d + 2*n + 13, -5*n + 5 = -u*d for d.
5
Suppose -5 + 0 = 5*o. Let d be 3 + 3 + 0 + -7. Let m be 2 + d - (o + 0). Solve m*i + 8 = 2, 2*w - 16 = 2*i for w.
5
Let t(y) = y**3 + y**2 + 5. Let i = -6 + 6. Let n be t(i). Suppose -4*z = 4*x - 1 - 15, n*z + x - 12 = 0. Solve -3*g + 4*d - 45 = -17, -z*d = -g - 12 for g.
-4
Suppose 2*k - 3*m - 9 = -0, -9 = -5*k + 3*m. Let u be (k + 1)/(1/(-3)). Let w be 25/(u/(-3)) + 1. Solve -z = -5*y + 5 + 5, w = -5*z + y for z.
-5
Let y be 12/8*(-2)/(-3). Let s be 3/3 + y + 1. Solve -3*g + 8 = -4*d + 2, -s*d - 17 = 4*g for d.
-3
Let a be (1 + 2)/((-3)/(-2)). Let j = -29 - -31. Solve t + t - 2*c + a = 0, -2*c = j*t + 10 for t.
-3
Let z = 14 + -9. Suppose 37 = z*h + 2. Solve 2*v - 1 = -j - 2*v, -j = -4*v + h for j.
-3
Let z be 17/4 + (-33)/(-44). Solve z*m - 2*m = -5*i + 19, 4*m + 4*i = 12 for m.
-2
Let n be 3/18 - 55/(-30). Solve -2*k - n = -0*k + 3*q, 4*k + q = 6 for k.
2
Let d be 3 + -2 - (-1 + -2). Suppose k + 24 = d*k. Solve -5*a + a - k = -5*y, a + 2 = -3*y for y.
0
Suppose 5*m = 3*m + 6. Solve v + m*j = 1, 0 = -0*v - v + 3*j - 5 for v.
-2
Suppose k = -4*k + 30. Solve -k*t = -11*t + w + 18, -3*t + w + 10 = 0 for t.
4
Let p = -5 - -5. Suppose r - 12 = -p*r. Suppose -5*c + r = 3*z, -z + 5*z + 5*c = 16. Solve 0 = -5*m, -z*a = -6*a - m + 8 for a.
4
Suppose 10 = -74*z + 79*z. Solve 4*c + u - 1 = -10, 5*c + z*u + 12 = 0 for c.
-2
Suppose m - 6*m = -3*k - 67, 2*m + 4*k = 6. Suppose 0 = 2*n - n - m. Let f be 1 + 1 - 1 - -1. Solve 8 = -s - f*q, -4*s + n = -s - q for s.
2
Let r(q) = -q**3 - 7*q**2 + 7*q - 8. Let x be r(-8). Suppose 5*h + 4*z - 100 = x, -h = 2*h + 5*z - 47. Solve -3*o + 11 = -0*o + 2*w, 4*o = 2*w + h for o.
5
Suppose -5*y = -2*l + 13 + 6, -4*l - y + 5 = 0. Let a(s) = -s - 3. Let r be a(-8). Solve -k - 6 = -0*p - 4*p, -r*k + l = -4*p for k.
2
Let n = 29 + -7. Suppose -3*s = 4*g - 25, -4*g - 2*s + n = -0*g. Solve 0 = 3*v - 6 + 3, -5*k + g*v = -6 for k.
2
Suppose 5*z - 5 = -0*z. Let s be (0 - -1)/(z/7). Solve 2*j + 3*t - 2 = 6, -3*j - s = -5*t for j.
1
Let z be 89/7 - (-8)/28. Solve -4*q + 8 = 2*r, 3*q - z = -2*r - 3*r for q.
1
Let x = -10 - -7. Suppose 0 = -4*i + 26 - 6, -5*n - 2*i = 50. Let y be n/x + 1 + 0. Solve 0 = -y*g, -5*r - g - 16 = -r for r.
-4
Let b(g) = -3*g - 3. Let a be b(-2). Suppose -a*r - 6 = -0*k - k, 3 = k - 4*r. Solve 0 = m - 2*m, -k = -3*q + 2*m for q.
5
Suppose -2*d = -61 + 11. Solve 4*f + 4*b = f + 5, -d = 2*f - 3*b for f.
-5
Let a(s) = -s + 23. Let f be a(16). Solve -d = 5*o - 9, -4*o - 2*d = -f*d - 13 for o.