0, -20 = -h*j + 3*d for j.
4
Suppose 2*b - 8 = 0, b = 2*x - b - 2. Let w be (-3)/(-1) - (-1)/(-1). Solve -5*o - p = -0*p + x, 0 = -w*o - p - 2 for o.
-1
Suppose -b - l - 7 = 3*l, -3*l = 9. Solve 5*c - b*r = 20, 6*c + r = 3*c + 12 for c.
4
Suppose -4*f - f + 15 = 0. Suppose -3*n + 0*q = -2*q - 4, f*q + 6 = 0. Solve -5*b + 2*d = -0*d + 20, 4*b + 2*d - 2 = n for b.
-2
Let o be (5 - (0 + 1))/(-2). Let k be 1148/63 - o/(-9). Solve -2*n + 9 + 1 = b, 0 = 2*n + 3*b - k for n.
3
Suppose -12*z = -15*z. Solve -5*b + 2 = -o + 1, z = 4*b for o.
-1
Let n = -25 + 17. Let c = -3 - n. Solve -4*o = 12, -c*o = -4*t + 2 + 13 for t.
0
Let q be ((-2)/(-6))/(5/30). Solve -4*j = -5*m + 9, -q*j + 2*m + 0 - 2 = 0 for j.
4
Let h(d) = d**3 - 4*d**2 + 6*d - 6. Let l be h(3). Solve 0 = n - 3*b + 10, 7*n - l*n - 3*b = -13 for n.
-1
Let d be 12/(3 - 6/4). Solve -5*s + o = 6 - 2, 3*s + d = -5*o for s.
-1
Let h(f) = f + 12. Let m be h(-5). Suppose 6*w + 6 = m*w. Solve -3*v + 2*p = -v - w, -p + 5 = v for v.
4
Let v(r) = r**2 - 6*r - 5. Let i be v(5). Let c be i*(0 + (-3)/6). Solve -7 = x + f, 3*f = c*x - 0*f + 3 for x.
-3
Suppose -2*k = -0*k - 26. Let t = -6 + k. Let r = t - 4. Solve -r*u + 15 = g, -u + 4*u = 15 for g.
0
Let f = 94 - -30. Let c be 2/(-5) + f/10. Solve 3*n = -5*z + 14, -n - c = -4*n - 3*z for n.
3
Suppose 2*z - z - 2 = 0. Solve 5*m = 3*a + 24, 4*a - a = -z*m - 3 for a.
-3
Suppose q + 0*u = -5*u - 16, -3*u = 3*q. Solve -b - q*s = b, -3*b - 5*s = 2 for b.
-4
Let c = 9 - 4. Solve 0*p - 21 = -5*m - p, c*m + 2*p - 17 = 0 for m.
5
Suppose 0 = v - 2*v. Suppose k = -v*k. Solve -2*w + 6 = k, h - 3*w + 7 + 4 = 0 for h.
-2
Suppose -r - 14 + 3 = 4*t, -t - 4 = 0. Solve -3*f = -2*l - r + 16, 4*f - l = -13 for f.
-3
Let h be (-11)/(-2) - (-8)/16. Solve 0 = 5*k + 5*d - 5, h*k = 3*k - d + 1 for k.
0
Suppose 0*y = y + 2. Let z be 0/(-1 - -2) + -6. Let o = y - z. Solve 0 = -o*v + 2*n - 5*n, -4*v - 32 = -5*n for v.
-3
Let n be (-7)/(-3) + 4/(-12). Solve -r + 5*r + 2 = -n*s, 0 = -r + 2 for s.
-5
Suppose -1 = u - 5. Solve -2*d = -7*l + 2*l - 3, -u*d = -2*l + 2 for d.
-1
Let f be (-1)/(-4) + (-270)/(-8). Let q = -10 + f. Suppose d = q - 6. Solve c = a + 3, -5*c + d = -5*a - 3*c for a.
-4
Suppose -2*l - 15 = 3*v + 12, 2*l = -5*v - 29. Let s be l/(-14)*21/6. Solve -4*b + 8*b + s = -f, -5*b + 5*f = 35 for b.
-2
Let n be 1/5 + 14/5. Suppose n*x - 6*s + s + 2 = 0, 2*s = 5*x + 16. Let t be ((-2)/x)/((-8)/(-48)). Solve 1 + t = -3*c + 2*h, 3*c = -5*h + 31 for c.
2
Let a(b) be the first derivative of -b**2/2 + 4*b + 1. Let f be a(6). Let i be -21*(5 + f - 4). Solve 2*q - 5*d - i = 0, 0 = q - 0*d + 2*d + 12 for q.
-2
Suppose 5*z + 2 = 17. Solve 2*b + 16 = 4*t, -5*t = -z*b - 0*t - 22 for b.
-4
Let n = 16 + -16. Solve 2*s + 6*a = 5*a - 6, n = -5*s + 4*a + 11 for s.
-1
Let g(x) = -x**3 + 6*x**2 + x - 4. Suppose -2*q - 12 = -4*q. Let l be g(q). Solve 2*a = 6*z - 2*z + 20, -l*z - 14 = -2*a for z.
-3
Suppose 0 + 10 = 5*y. Let o(u) = 2*u**3 + 122*u + 2*u**2 - 122*u. Let k be o(y). Solve 0*t - 4*t - 4*r - k = 0, -2*t = 3*r + 14 for t.
-4
Suppose -4*m + 0 = -12. Let r(c) = -c**3 + 3*c**2 + c + 1. Let n be r(3). Solve 5*j = -n*k + m, -4*j = -0*j - k + 6 for j.
-1
Suppose -4*q - 3 = -q. Let n = q - -2. Solve -2*j = -3*h + 3 + 2, 0 = 3*j + 2*h + n for j.
-1
Suppose 0*f + 4 = 2*f. Suppose f = -s + 5. Solve 2*y = -s*n + 12, 0 = 5*y - 2*n + n + 4 for y.
0
Suppose r + 2*u = -5, u + 21 = 5*r + 2. Solve m = 3*m + r*o + 8, -5*m + 6 = o for m.
2
Let d = 44 + -39. Let z = 2 - 1. Let c = z - -2. Solve 4*p - c*o = 0, 3*p - p = d*o for p.
0
Let h(y) = 2*y. Let u be h(1). Let r be (-6)/15 + (-62)/(-5). Let c = r - 7. Solve 0*f + c = -f, 12 = -s - u*f for s.
-2
Let r be (-6)/(-5 + 1 - -3). Solve -2*j = j + 5*f - r, 4*j = 5*f + 8 for j.
2
Suppose 5*q = -0*b + b, 0 = 3*b + 5*q - 40. Suppose 0 = -m - 1, 3*z - m - 3 = 2*z. Solve -b = -r - 0*a - z*a, a = -3*r + 10 for r.
2
Suppose 2*q = q + 9. Let r(u) = -u**3 + 10*u**2 - 7*u - 10. Let i be r(q). Solve 4*o + 4*x - 9 = 7, 0 = -3*o - x + i for o.
2
Suppose 4*q + 0 = -16. Let a = q - -5. Solve 0 = -f + 2*t + a, 4*f - 3*t + 2*t = -17 for f.
-5
Suppose -2 = 5*m + 28. Let c(f) = -f - 6. Let y be c(m). Suppose y = -3*o - 0*v + v + 16, 4*o = 5*v + 36. Solve -5*b = n - 3*n - 13, -o*n - 2*b = 14 for n.
-4
Suppose l + 0*l = 2*c - 23, 6 = -2*l. Solve -4*g + 5*j = -32 + 12, 0 = -2*g + 4*j + c for g.
5
Suppose -4*y + 20 = -2*z - 9*y, 4*z - 8 = 2*y. Suppose -76 = -z*d - 4*d. Suppose -d - 45 = -4*r. Solve 4*g - r = n, -2 = -4*g + 10 for n.
-4
Let q be (4/(-6))/((-1)/3). Solve -j = n - 0*j - q, -2*j + 6 = 0 for n.
-1
Suppose 0*d - 4*d - 224 = 0. Let c be d/(-42) - (-4)/6. Solve n - 10 = -n - c*z, -4*n = -5*z - 11 for n.
4
Let f(c) = c**2 + 11*c + 25. Let m be f(-7). Let a(p) = 3*p + 9. Let i be a(-6). Let d be 2/(-2) + i/m. Solve 0 = 4*r + d*q - 10, -3*r = -0*r - q - 15 for r.
4
Let v(c) = c**2 - 11*c + 3. Let t be v(11). Suppose -4*w = -p - p + 18, 0 = -5*p + 4*w + 33. Solve t*b + p*o - 14 = 0, b - o + 2 = 4 for b.
3
Let d(x) = -x**2 + 11*x - 8. Let u = 24 - 14. Let j be d(u). Solve -2*p = -4*m, 3*m + 0*p = 2*p - j for m.
2
Let f = -21 - -50. Suppose -6*j = 3*m - 3*j - 18, -4*j = 5*m - f. Solve i + 4*u + 9 = 0, 4*i + m*u + 3 = -11 for i.
-1
Let u be (-2 + 12/(6/2))*2. Solve -5*n = -2*y - 26 + 3, u*y = 5*n - 31 for y.
-4
Let p(g) = -3 + 0*g**3 + 5 - g**3 + 0*g**3 + g**2. Let v be p(-2). Solve 4*l = j - 0*j + 11, -v = -3*l - 5*j for l.
3
Let l(c) = 4*c**2 - 6*c + 7. Suppose r + 9 = 4*r. Let b be l(r). Solve 0 = 2*a + k + 5, 7*k = 2*k + b for a.
-5
Let c be (7/2)/7*30. Suppose -5*j = 4*v - 70, -3*v = -j - 2*j + c. Solve -4*s - 7 + 27 = m, -2*m + 2*s = j for m.
0
Let u(c) = c + 13. Let j be u(-13). Solve -4*n = b - j*n + 9, -4*n = 4*b for b.
3
Let q be (-9)/12 + (-22)/(-8). Suppose q*n + 4 = 4*n. Solve -n*m = -0*m - 4*o + 2, 3*m = 4*o + 3 for m.
5
Suppose 3*k = -w + 15, w - 2*k + 25 = 3*k. Suppose w = -3*z - 0*z + 12. Suppose -3*o = -z*o + 3. Solve -o*h = 3*g, -4*h - g + 2*g = 20 for h.
-4
Let d(a) = 12*a + 63. Let n be d(-5). Solve -4*l + n*j = 5, -4*l - 2*j = -0*j + 30 for l.
-5
Suppose 4*w - 13 = 3. Solve d = -3*t - 14, w*d + t + 8 = 2*d for d.
-2
Let y be (-21)/(-9) + (-1)/3. Suppose 30 = y*u - 0*u. Solve -c - 5 = -w - 0*c, -3*c + u = 3*w for w.
5
Suppose d + 1 + 0 = -q, 0 = 5*q - 20. Let y(t) = t**2 + 5*t. Let f be y(d). Solve -3*k - 3*z = f, k + 2*k - 2*z - 20 = 0 for k.
4
Suppose v + 4 = 0, 0*d + 3*v = d - 13. Solve 4*u - 19 = 3*c + 4, -c = 3*u - d for u.
2
Let p(i) = i - 9. Let m be p(7). Let h(u) = -5*u - 1. Let q be h(m). Solve 2*n - q = 2*a - 3, -4*n - 18 = 2*a for a.
-5
Let w(a) = a**2 + 8*a + 3. Let o be w(-8). Solve 4*x - 5 - 3 = -o*y, -3*x + 6 = -y for x.
2
Let c be (-1 + 2 - 1)*1. Solve d - 11 = 3*x, c = 5*x + d - 3*d + 18 for x.
-4
Let a = -8 - -12. Suppose 2*x = -2*w + 6*w - 20, 4*w = -x + 20. Solve 5*u + 3*o = o - 20, -w*o = -a*u + 17 for u.
-2
Let v be (-9)/(-4) - 7/28. Solve 2*s + 2*a + 12 = -0*a, -v*s = 5*a + 21 for s.
-3
Let v(o) = -o**3 + 3*o**2 + 4*o + 5. Let d be v(4). Let i(n) = n**2 - 12*n + 16. Let a be i(11). Solve a*t + 5*b - 6 = 4, -d*b = 0 for t.
2
Let i = -3 - -6. Suppose -l = 3*d + 4, 1 = 4*l - 2*d + 3. Let m be 3/(9/(-6)*l). Solve -i*n + 3 = -j - m*j, 2*j - 3*n = -2 for j.
-1
Suppose -3*t + 19 - 1 = -l, 2*t - 5*l - 25 = 0. Solve -4*x - 1 = -5*y, t*x = -y - 17 - 6 for y.
-3
Let j be -3 + (-2 - (-6 + -3)). Suppose j = 2*h - 2. Solve g + g = s - 4, -4*s = -h*g - 1 for s.
-2
Let l(p) = p + 18. Let d be l(0). Let s be (3/2)/(9/d). Solve -2*a + s*o - 12 = 4*o, 3*a - 2*o = -11 for a.
-5
Suppose 4*i - i + 13 = w, 10 = 2*w + 2*i. Solve 10 = -3*u - r, -u = -5*u + 5*r - w for u.
-3
Let y(j) = -j**3 - 10*j**2 - 15*j + 12. Let m be y(-8). Solve -2*n = 3*a - 3, 5*n - 13 = 2*n + m*a for n.
3
Suppose 5*q = 31 - 11. Solve -8 = q*h - 3*f, -1 = -h + 4*h - f for h.
1
Let d(w) = w - 1. Suppose 16 = -2*a + 4. Let z(r) = -2*r - 9. Let c be z(a). Let m be d(c). Solve m*x - 8 = p - 2*x, 0 = 4*p - 5*x + 21 for p.
-4
Let u(q) be the first derivative of -q**3/3 + 11*q**2/2 + 5*q + 1. Let y be u(7). Suppose -3*j = -y - 33. Solve 5*m = 2*f + m + j, 0 = -5*m + 25 for f.
-1
Let i = -31 + 93. Suppose 0*c + 38 = 2*c + r, 4*c - 5*r - i = 0. Solve g = -3*w - 1 - 13, 2*g + c = -4*w for w.
-