 m - 5 = 0 for b.
0
Let t = -397 - -409. Solve 4*g = 2*a, 2*a = a - 4*g - t for a.
-4
Let n be 0/(-5 - -2 - -2) + 5. Solve -n*l - 4*f = -0*f - 33, -4*f = -8 for l.
5
Let t = 144 + -140. Solve -k = -t*n - 11, 2*k - 4 = 10*n - 8*n for k.
-1
Suppose 22 - 52 = -15*y. Solve 3*r - 6 = -2*t, 3*t = 3*r + y*r + 9 for t.
3
Suppose -162 = 2*v - u, -4*u = -0*v + 3*v + 243. Let j be 5/20 - v/12. Let h be -2*(-3 - -4) + j. Solve -4*o + 3 = 5*x, 0 = -h*x - 5 for o.
2
Let w(x) = 6*x - 1. Let m be w(2). Let p = m + 29. Suppose -p - 20 = -4*k. Solve 5*g + k = 4*c, -2*c + g + 3 = -0*g for c.
0
Let r be 2 + (-1 - 10) - -21. Solve 2*v - 8 = 0, 0 = t + t + 5*v - r for t.
-4
Suppose 75 = -92*x + 107*x. Solve -1 = -3*o + 2*o, -x*g + 22 = -3*o for g.
5
Let m(g) = -3*g + 124. Let h be m(32). Solve -3*j - 2*u = 3 + 17, h = -3*j - 4*u for j.
-4
Let j(o) = 2*o**2 - 60*o + 63. Let a be j(29). Solve -4*m + 6 + 19 = -a*d, -2*m + 6 = 4*d for m.
5
Let i = -30 + 33. Let w(q) = -q - 55. Let l be w(0). Let z be (-2)/(-6) - l/15. Solve z*p = 3*t + i*p + 12, 4*t - 4*p = -8 for t.
-5
Let v(w) = -4*w**2 - 302*w - 150. Let a be v(-75). Solve 8*q - 6*q + 3*j = a, -3*q - 3*j = 3 for q.
-3
Suppose -18 = 15*w - 108. Solve 5*h = 5*f - 10, -2*h - 19 = 5*f + w for f.
-3
Let c = 54 + -119. Let v = -65 - c. Solve -2*r - 10 = -v, 4*k + 29 = -5*r for k.
-1
Suppose -146*a - 6 = -149*a. Suppose -15 = -4*k - 3. Solve -k = -2*b - i, b - 3*i - a*i - 7 = 0 for b.
2
Suppose -l = y - 3*l - 14, -3*y - 5*l = -53. Let h be (-8)/40 + y/5. Let s be 6/((1 + 2)/h). Solve -3*g = -4*j, s*g - 2*g - j = 0 for g.
0
Suppose 0 = -26*v + 6*v + 400. Solve -5*n = v, 2*w + 6 = -5*n - 24 for w.
-5
Let h(x) = 6*x**3 + 3*x**2 + 3*x - 1. Let m be h(2). Suppose -62*f - 15 = -m*f. Solve g - k = 2*k + 12, g - f*k - 22 = 0 for g.
-3
Let q be 18/(-10)*(114/(-18) - -3). Let l be ((-4)/q - (-44)/12) + -3. Solve f - 12 + l = 4*g, 20 = -4*g - f for g.
-4
Suppose 5*i - 108 = -48. Suppose -2*g - i = -4*g - 2*m, -3*m = -g - 6. Solve -3*q + 0*q - 6 = g*p, -3*q - 2*p - 5 = 0 for q.
-1
Suppose 0 = -18*z + 15*z + 6. Solve -v = -2*d - 7, 3*v - z*d - 9 = 4*v for v.
-1
Let m be 34/6 + 46/(-69). Solve -m*f - 14 + 0 = -3*v, 3*v - 9 = 0 for f.
-1
Suppose -8*l - 18 = -6*l. Let u = -6 - l. Solve u*i - 5 = -5*b, -3*b = -2*i - b + 14 for i.
5
Suppose 0*d = -d + 1. Let q be d*-3 + -2 + 7. Let r = 3 + -3. Solve r = 5*f - 25, -f = q*l + 3*l for l.
-1
Suppose -10*r + 26 = -24. Solve -k - k - r*f + 15 = 0, k + 3*f = 8 for k.
5
Let d be (24/(-18))/(-4)*(7 - 7). Solve 2 = -3*f - x + 1, -5*x + 25 = d for f.
-2
Let w = 12 - 12. Suppose w = 2*k - 3*k. Suppose 0 = -k*p - 2*p + 16. Solve p = -3*r - 2*b, 8 = -4*r - 6*b + 4*b for r.
0
Suppose -2*c + 30 = 2*m, 30*m = 35*m - 25. Solve 2 = -4*h + 2*x - c, -3*h + x = 11 for h.
-5
Let n(i) = -i**2 + 12*i - 10. Let d be n(8). Suppose 4 - d = -2*w. Suppose 2*z = z + w. Solve 4*q = -h - 9, -z = 2*q + q for h.
3
Suppose -o - 15 = 5*y, o = 4*y + y + 15. Suppose 0 = -2*w + b - 11, -4*w - 4*b - 8 = w. Let g = w + 7. Solve 3*q + 4*n + o = 10, -4*n - 2 = -g*q for q.
2
Let j = -162 + 164. Solve 5*k + 5*i = -25, 2*k + j*i + 18 = -2*i for k.
-1
Let a(j) = 2*j - 2 + 1 + 0 + 9*j**2. Let m be a(1). Let y = m - 8. Solve -3*w + 2*g - 24 = 7*g, 0 = -w - y*g - 9 for w.
-3
Suppose -b = -33 + 28, 2*z + 3*b - 21 = 0. Solve -4*x + 8 = 4*f, 7*f - 18 = -z*x + 8*f for x.
5
Suppose -2 = 4*y - 2*q, -2*q - q + 3 = 0. Suppose -2*l + y*l = -5*m + 14, 5*l = -m + 19. Solve 0*b + 5*v = l*b + 32, 4*b - 4*v = -32 for b.
-4
Let k(d) = 11*d**2 - 19*d - 3. Let w be k(2). Solve w*y - 11 = -4*b - 0, 3*y + 19 = 2*b for b.
5
Let h(y) = 2*y - 7. Let p be h(5). Let r(u) = 0*u**p + 1 - 4 - 4*u**2 - 3 + 6*u - u**3. Let v be r(-6). Solve 3 = -w - 2*i, 3*w - 5*i = -2*w + v for w.
3
Let l = -987 + 994. Solve 3*m = j - l, -4 = -2*m - 10 for j.
-2
Suppose 0*y = -9*y + 162. Suppose -2*d - 1 = -5. Solve 2*m + d*w + y = -0*w, 3*m = -2*w - 22 for m.
-4
Let v = -9 - -9. Suppose -2*o + 14 = -4*a, -3*o + 3*a + 12 = -0*o. Suppose -2*p + o = -13. Solve v = -5*m - 4*r + 5, -4*m + 19 = -p*m + 2*r for m.
-3
Suppose -93*r + 66*r = 0. Let n = -4 - -6. Solve -n = 2*w, 3*i + 1 = 2*w - r*w for i.
-1
Let j be ((-66)/(-24))/(1/(-4)). Let a(x) = 2*x + 32. Let s be a(j). Solve -c - c + p - s = 0, 0 = 3*c + 3*p + 6 for c.
-4
Let k = -64 + 72. Let m = k - 6. Solve 3*j = -5*b + 8 - 3, 2*j + 2 = m*b for j.
0
Let b(x) = x**2 + 10*x + 18. Let r be b(-8). Solve r*f = 5*m - 13, -3*m - 2 - 3 = 2*f for m.
1
Suppose -13*x = -12*x + d - 5, 4*d = -x + 8. Suppose -x*k + 5*a = 3, 5*k = -0*a + 5*a. Solve o - k*l = -12 + 4, 0 = 2*o - l + 6 for o.
-2
Suppose 4*q + 568 = -4*q. Let v = 74 + q. Solve 16 = -4*s - c, s - v*c + 13 = -c for s.
-5
Suppose -8 = -3*x - 20, -j - 12 = 4*x. Let r be (0 + 14/(-21))*(10 + -1). Let u be r + 52/8 - 11/(-2). Solve -2*t + j = -2*n, -2*t + u*n - 2*n = -4 for t.
2
Let m(t) = -2*t + 44. Let v be m(20). Solve 0*w + 2*w = 3*h - 19, -v*h - 3*w + 14 = 0 for h.
5
Let n = -447 + 457. Solve 3*f = h + 4 + 2, -2*h - 5*f = -n for h.
0
Suppose 5*i - 20 = 0, -5 = 2*w + 4*i - 27. Solve -2*s - 5 = -w*u, -s - s - 11 = 3*u for u.
-1
Let y be 4 - (-7 + 0) - 1. Suppose 3*d = d + y. Suppose -18 = -d*r + 7. Solve -m + 4*h - 2 = 11, -4*m + r*h = 8 for m.
3
Suppose -208*s = -196*s - 120. Solve -5*d + 0*d + 2*j = 15, d + j = -s for d.
-5
Let u = -229 - -247. Solve -4*l = 2*y + u, 7*y + l + 22 = 3*y for y.
-5
Suppose -s - 36 = -4*s. Let y be ((-1)/2)/(s/(-216)). Solve j - 5*i = -17, -4*j + i = -j + y for j.
-2
Suppose -22*u + 17*u + 25 = 0. Solve -u*z = 5*r + 20, -3*r - 19 = -0*r - 4*z for r.
-5
Suppose 44 = 3*q + p - 0, q + 4*p - 33 = 0. Suppose -92 = 9*k - q*k. Let m = k + -18. Solve 24 = m*z + 4*a, 9 = 2*z - a + 2 for z.
4
Suppose -15 = -t + 3*z, 0 = -2*z - 3*z - 25. Suppose t*v + v - 3 = 0. Solve 3*d = 4*l + 19, 4*l + 26 = v*l + 5*d for l.
-1
Let g = -43 + 43. Suppose g = 4*v - 1 - 19. Solve -3*o - 3 = -o + d, -5*d = -v*o + 15 for o.
0
Let o be ((-6)/10)/(-1) - (-44)/10. Let h be (-60)/(-9) + (-3)/(-9). Solve 2*x - o = 4*a - 1, 3*a = 4*x + h for x.
-4
Let d(w) = -32*w + 462. Let i be d(14). Solve -4*g - 4*s - 8 = 0, -s = -12*g + 7*g + i for g.
2
Let r be -1*1/1 + (-9)/(-3). Solve 0 = 4*p - r*g - 8, 0*p + 3*g = -4*p - 2 for p.
1
Let a be (-3 + 3)/(0 + 1). Let d be (2/(-6))/((-4)/24)*6. Suppose a = 3*v - 6*v + d. Solve 5*r - 3*h = 0, v*r = -3*h + 5 + 22 for r.
3
Let r(m) = m**3 + 4*m**2 - 2*m - 7. Let a be r(2). Suppose -5*h + 17 = 7. Solve 5*k = h*c + a, -2*k - 20 = 5*c - 2 for k.
1
Let g = 484 + -479. Solve 5*k = -5*b + 10, -g*k + 36 = -2*b + 5 for k.
5
Suppose -11*c = -2*c - 45. Solve 5*g = -2*j - 22, 3*g - 4*j + 3 = -c for g.
-4
Let r = 0 + 20. Suppose 20 = -6*m + r. Solve 4*w + d - 23 = 0, m*w + 8 = 4*w - 4*d for w.
5
Suppose 4*g - 9 = 15. Let n(w) = w. Let u(l) = -l**2 + 6*l + 2. Let d(z) = 2*n(z) - u(z). Let b be d(g). Solve b = -c - c, -4*i - 3*c - 31 = 0 for i.
-4
Let x = 34 + -31. Solve -13 = -2*k - x*u, -3*k + 6*k - 7 = -2*u for k.
-1
Suppose -x + 6 = -0*x. Solve 3*p = 4*f + x, -1 = -f + 4*p - 2*p for f.
-3
Let f(s) = s**3 - 12*s**2 + 14*s + 7. Let o be f(11). Let r = o - 38. Solve 4*b - 2*j - 10 = 0, 4*j - 5 = r*b + 5 for b.
5
Suppose h + 3*h - 3*y = 24, 5*h + 4*y = -1. Let g be (-3)/2*(-9 + -1). Suppose g = 3*n + h. Solve -b + 5*p = 24, -n*b + b - p = -8 for b.
1
Suppose 0 = q + 4*z - 18, -4 = -0*z - z. Suppose 2*p - 17 = 9. Let c be (1/((-1)/(-4)))/2. Solve 0*j - c*l = -j - 3, -q*j - p = 3*l for j.
-5
Suppose 53 = -16*r + 85. Solve 0 = 2*j - r*w - 19 + 5, -3*j - 4*w = -7 for j.
5
Let a = 8 - 10. Let k(x) = 3*x + 2*x - 2*x - 4*x. Let r be k(a). Solve -3*h + 0*u - 7 = r*u, 10 = -2*u for h.
1
Suppose -4*l - 70 = 26. Let w = l + 26. Suppose -w*b + 36 = 7*b. Solve 0 = -5*i - 3*d + 34, b*i + d + 3*d - 32 = 0 for i.
5
Let q = 12 + -7. Let s(z) = -4*z + 24. Let f be s(5). Suppose 0 = -f*g + 3*g + 2*k, 0 = -g - 2*k. Solve -2*l + 2 = -2*m, g = 4*m + q*l - 1 + 5 for m.
-1
Suppose 6 = 5*d - 3*d. Solve 2*z = -2*i - 8, 2*z - 4*i + d*i = -5 for z.
-3
Suppose -c - 3*f = 3*c - 41, 2*c = 4*f + 48. Suppose -4*o = -4*j + 52, 0 = -3*j - 4*o + 2*o + c. Solve -4*q = -j*q + v - 4, -4*q = 4*v + 4 for q.
-1
Suppose -48 = 27*m - 183. Solve 2*f + 6 = -2*p, -3*f - 2*p - m = -3*p for f.
-2
Let j be -3*(1 + -7 + 