 3*y + 1 = 4*b for b.
4
Let q be 1/4 - 3/(-4). Let g be 6/q - 4/(-4). Let y be 4 - (3 + (-10)/5). Solve -1 = y*p + v, -3*p - 3*v + g = 2*v for p.
-1
Suppose 8 + 8 = 8*o. Suppose -m = 3*w - 4 - 7, 5*w = m + 29. Suppose -y = o*q - 13, w*y - 3*q - 25 = 27. Solve -5 = 4*b - u - 0, 2*b - y = 5*u for b.
-2
Let l(f) = -f - 13. Let u be l(0). Let h = -7 - u. Let m = 17 + -12. Solve -2*q = -w - w + h, 2*q - m*w = 0 for q.
-5
Let g(o) = 66*o - 458. Let a be g(7). Solve -n = -t - 2 + 3, -3*n = a*t - 32 for n.
4
Suppose -4*t + 2*t - 30 = 0. Suppose 0*g - 2060 = 5*g. Let r be (-2)/t - g/60. Solve -4*o = 5*b - 6, 2*b - 1 = -3*o + r for o.
4
Suppose -4*d + 2*d + 26 = 0. Suppose d*g = 62 + 16. Solve -3*s + 0 = z + 6, 0 = 2*z + g for s.
-1
Let g be 4 + -5 + 4 + 0/(-2). Suppose 4*f + i = 3, -6*f + i = -9*f + g. Solve f = -h - 3*h + 5*o + 7, -5 = 4*h - o for h.
-2
Let m(n) = n**2 + 5*n - 3. Let a be m(-5). Let h be ((-1)/a)/((-9)/(-783)). Let r = h + -9. Solve r = 4*q + f, 8 = -q - 2*q + 5*f for q.
4
Let v(t) = -8*t**3 + 19*t**2 - 6*t + 2. Let n be v(2). Solve 2*y + 4*c - 2 = 0, 5*c - 2 = -3*y + n for y.
3
Let s(b) = b**3 + b**2 + 1. Let f be s(0). Let t(q) = 4 + 10 + 0 + f + q. Let c be t(-9). Solve h - 4*w - c = w, w + 5 = 4*h for h.
1
Let v be 2*(-3)/6*18. Let k = -17 - v. Suppose -k = s - 4, 2*s = x + 1. Solve 0 = -3*w + 5*p - 6*p + x, -4*p = 4*w - 20 for w.
0
Suppose -5*c = -13 + 3. Let a be 5 - 16/(3 - -1). Let i be a/c*-2 + 1. Solve 2*y + 5*l + 24 = i, 0 = 3*y + y + 2*l + 16 for y.
-2
Let h(p) = -p**2 - 12*p - 29. Let t be h(-5). Solve i + t = 5*b, 3*i - 18 = -2*b - b for b.
2
Let t = -12 + 16. Let i = t + -4. Suppose i = -5*r + 20, -5*x + 2*r = 7*r - 45. Solve -3*q = x*b + 5, 4*q = -5*b - 8 - 2 for q.
-5
Let r(y) = y**3 - 3*y**2 - 5*y + 7. Let u be r(4). Suppose u*h - 13 = -2*f - 2*h, 0 = 3*f + 3*h - 15. Solve 12 = -5*m - o, -m + 5*m + f*o = -16 for m.
-2
Suppose 0 = t - 23 + 2. Let a = -6 - 12. Let i = t + a. Solve 5*v - i*r - 5 = 0, v + 4*r - 40 = -4*v for v.
4
Suppose 2*u = -3*f - 2 + 21, -f + 28 = 5*u. Solve 3*k = 2*i + 5, -f*k + 4*i + 6 = i for k.
1
Let h be (-2055)/(-90) + (-2)/(-12). Let u be (-116)/6 + (-2)/3. Let o = u + h. Solve 3*d = -5*r - 14, -2*r + o*d = -5*r - 12 for r.
-1
Let j(t) = -t - 8. Let o be j(-13). Solve -2*u - i = 6, 5*u + o*i + 7 = -8 for u.
-3
Suppose -6*h = -8*h - 8. Let y be (h - (-76)/12) + 4/6. Solve 2*n = 3*a + 5, -4*a + 4*n = y*n for a.
1
Suppose -67*x - 25 = -70*x + 5*w, 2*x = 2*w + 10. Solve 0 = 5*n - 3*s - 25, x*s - 5 = s for n.
2
Suppose 37*j - 45*j = -24. Solve -2*z + j*g + 20 = -g, -z + 5*g + 25 = 0 for z.
0
Let x be (-3)/(-3) + -5 - -8. Solve q - f = -1, 2*f - 16 = 4*q + x*f for q.
-3
Let n(s) = s**3 - 5*s**2 + 3*s + 1. Let v be n(5). Solve 4*b - v = 0, 0*q = -q + 2*b - 6 for q.
2
Let q(b) = -b**3 - 4*b - 3. Let y be q(-1). Solve 5*n = -4*k - 40, -7 - 11 = 2*n + y*k for n.
-4
Let f(d) = -d**2 + 35*d + 1. Let j be f(0). Solve -5*m - 22 - 13 = 5*b, 2*m - j = 3*b for m.
-4
Let i be (-16)/10*(-13 + 8). Suppose j = 3 - i. Let q = 10 + j. Solve -w + 2*w - 2*b = -5, -25 = q*w - 5*b for w.
-5
Let d be (3 - 0)/(88/(-20) + 5). Solve 17 = w - d*j - 4, 0 = -2*w - 3*j - 23 for w.
-4
Suppose 0 = 7*o + 17*o - 120. Solve -4*i - 18 = r, 5*r = 8*i - 9*i + o for i.
-5
Let m(r) = 6*r + 4. Let k be m(0). Solve -k*n - 5*w + 0 + 10 = 0, 4*w = 8 for n.
0
Let a(j) = -j**3 + 2*j**2 + j. Let q be a(2). Let h = q + 1. Let p = 50 + -50. Solve p*r + h*r = -n - 2, -5*n = 5*r + 20 for r.
1
Let x be 6/(5 - 2) - 1. Suppose -5 - x = -2*v. Let t be (4/(-6) + 2)/((-24)/(-36)). Solve 2*r = v*o + 2*o + 2, -t*o = -r for o.
-2
Suppose -32 = -3*i + 2*q, -i - 3*q + 16 = -q. Suppose 2*f - 7*d + 2*d + 11 = 0, 0 = 4*d - i. Solve 3*l - 4*l = -4*x - 14, 0 = f*x - l + 6 for x.
-4
Suppose 5*a = 4*l - 50, -l - 3*a = 3*l - 66. Let j(b) = -b**2 + 16*b - 15. Let p be j(l). Solve p = -2*d + 5*i - 13, -4*d + 3*i - 31 = -12 for d.
-4
Let m be (-42)/(-20) + 3/(-30). Solve 10 = -3*u + k - 0*k, -2*u = -5*k - m for u.
-4
Let k(m) = -m**3 - 7*m**2 - 10*m. Let f be k(-5). Suppose f = -0*o - o + 3*d + 8, -2*o - 2*d = -8. Solve 0*n - 2*c - 19 = 5*n, o*n + c = -17 for n.
-3
Suppose -3*g - u + 6 = -7, 4*g - 3*u - 13 = 0. Suppose 1 = -g*n + 5*k + 5, k = -3*n + 3. Solve -5*s + 7 = -z + 2, -s = -n for z.
0
Suppose -8*u - 781 + 189 = 0. Let r = u + 78. Solve -r*p - h - 7 = 0, p = -2*h - 2*h + 17 for p.
-3
Suppose -3*s - 2*s + 35 = 0. Suppose 0 = 5*c + 13 + s. Let f = c - -6. Solve 4*m - 20 = 0, 5 + 10 = -5*x - f*m for x.
-5
Let w(a) = 4*a - 34. Let x be w(10). Suppose -11*q + x*q + 10 = 0. Solve 4*d = 5*n + 1, -6 = -0*d - 3*d + q*n for d.
4
Let h(i) = -55*i + 338. Let d be h(6). Solve z + 2*q = d, 0 = 4*q - 0 - 20 for z.
-2
Let i be (220/45 - 5)*0. Solve w + w - 4 = i, -5*g + 5*w - 10 = 0 for g.
0
Let g(x) = -x**2 - 8*x - 6. Let t be g(-5). Suppose -t = -3*i, -4*s + 0*i + 2*i = 46. Let r be s/(-4)*8/10. Solve -7*u + 19 = -2*u - 3*k, k = r for u.
5
Suppose -3*c - 2*w - 12 = -5*c, -10 = -c + 2*w. Solve g = -2*s, 3*s + c = 2*g + 16 for s.
2
Let o be (-252)/(-12) + (3 - 13). Solve 0*p + o = p - 4*u, 0 = -3*p + u for p.
-1
Suppose 41 = 2*a - f, -5*a - 3*f + 89 = -f. Let x(i) = i**3 + 8*i**2 - i - 4. Let o be x(-8). Solve s - 3*n = 2*n, -o*s = -n + a for s.
-5
Let n be 1*(-1)/7 + (-22)/(-7). Suppose c + 4*c - 4*w + 4 = 0, w = 3*c + 1. Solve p = -n*p + l + 4, c = -4*p - 5*l + 4 for p.
1
Let t = 16 + -9. Suppose -3*q + 8*q - 60 = 0. Suppose -q = -t*p + 4*p. Solve -5*m - 25 = -5*s, 3 + 22 = 5*s - p*m for s.
5
Suppose -2*d + 7 = 3*m, 3*m - m + d = 4. Suppose g = -l + 1, 0 = -l + g + m + 4. Let z = 16 - 11. Solve -o - 4*j + 0 = -z, o - l*j = -9 for o.
-3
Suppose 4*t - 4*r - 48 = -0*r, -3*r + 4 = t. Solve 5*y = -p + t, -2*y - y - p = -8 for y.
1
Suppose -3*f - 37 = 3*a - 40, -3*a + f + 3 = 0. Solve 0 = -3*z + 6, -a = 2*w - w - z for w.
1
Suppose 3*k = k + 144. Suppose -3*q - k = -5*n - 0*n, 2*q = -4*n + 62. Let l = n - 15. Solve l*c + 24 = 4*s - 5*c, -s + 3*c + 13 = 0 for s.
1
Let d = 18 + -15. Suppose 5*f = -d*j + 2*j + 17, 5*f - 4*j = 32. Solve -4*u + 0*u = n - 1, -f*u - 1 = -n for n.
1
Let y(w) = -14*w - 1. Let o(b) = 12*b. Let t(j) = 3*o(j) + 2*y(j). Let q be (-3)/(-15) - (-8)/10. Let u be t(q). Solve 3*f + m + u = 0, 3*f = -f - 4*m for f.
-3
Let f(b) = b**3 - 8*b**2 - 4*b + 9. Let o be f(8). Let m = o - -31. Solve -2*t = -3*u - m, -11 - 11 = 5*t + 3*u for t.
-2
Suppose 0 = 3*l - 2*l. Suppose -4*u + 15 = w, 3*w - 5*u = -l*u - 6. Solve -x = x - 3*f - 7, f + 6 = -w*x for x.
-1
Let q = 1017 - 1015. Solve -j - 1 = q*t - 0, 5*j + 25 = 0 for t.
2
Suppose -2*a - a = -15, 5*j - 345 = 2*a. Suppose 73 - j = s. Solve -s*m + n = 4*n - 6, -3*m - 21 = -3*n for m.
-3
Let d = 2 - 0. Let r be 30/(-4)*(-12)/5. Suppose 4*y - 30 = l, r = 3*y + y + 5*l. Solve 0 = 2*f - 4, d*h + f = y*h - 18 for h.
4
Let j be 4 - (3 - 2) - 1*-25. Solve 8*m = w + 3*m - j, 5*w = -m + 10 for w.
3
Let j(o) = 2*o - 7. Let m be j(7). Let z be (-1)/2*(-2 + -9 + m). Solve z*c - 2*s + 6 = -6, 0 = -c + 4*s - 15 for c.
-3
Suppose -4*l + z = -78, 4*l - 110 = -z - 20. Let c(o) = o**2 + 7. Let r be c(0). Let f = -2 + r. Solve u - f = 5*g - l, 8 = -3*g + 5*u for g.
4
Suppose 12*j + 91 = 13*j. Suppose -j = 4*r - f, -138 + 43 = 5*r + 5*f. Let p = r - -39. Solve -5*k = -t - 28, 2*t - t + 4*k - p = 0 for t.
-3
Let f be -1 + 6 - 0/(-19). Solve -7*k + 5*k - 10 = 0, 0 = 4*l - f*k - 5 for l.
-5
Suppose -2 - 4 = -2*q. Solve -3*l = 0, -3*u + q*l = -2*l + 3 for u.
-1
Let x(w) = w**2 + 13*w + 38. Let k be x(-7). Let u be (-65)/(-20) + k/16. Let d(o) = -o + 8. Let s be d(0). Solve -u*l = -3*r + 18, -l - l = -r + s for r.
4
Let k = -549 + 553. Solve k*t = -5*v - 27, 5*v + 0*v = -2*t - 21 for t.
-3
Suppose 0 = 5*n - n + 4*w - 24, 3*n - 8 = 2*w. Solve 3*q - 8*q = -3*h - 28, n*q - 16 = -4*h for h.
-1
Let t = -7 + 10. Solve t*q - b = 14, 3*q - b - 8 = -3*b for q.
4
Let m be ((-110)/(-30))/((-8)/(-6) + -1). Solve -z - 4*k - 3 = -11, 5*z + m = -3*k for z.
-4
Suppose -w + 37 = x + 4*x, -7*w = x - 21. Solve m + x = h, -2*m + 3*m = 3*h - 17 for h.
5
Let g(v) = v**2 - 28*v - 160. Let h be g(33). Solve -3*u = -12, -h*q + u = 2 + 2 for q.
0
Let n be 0*(133/(-14))/(-19). Solve -2*d + 4*d + 5*i = -18, n = -3*d - 2*i - 16 for d.
-4
Let w be 1/4*3/(6/8). Suppose -2*z =