b - 20, 5*r + 15 = 5*b for r.
2
Let u(a) = -a**3 + a**2 - a + 19. Suppose -23*q + 26*q = 0. Let w be u(q). Solve -w + 6 = 4*p - 3*g, 5*p = 3*g - 17 for p.
-4
Let j(g) = 3*g - 33. Let x be j(12). Let q be ((-119)/4)/(-7) + x/(-12). Solve -5*s = 2*o - 8, 3*o + q*s - 4 = 2*o for o.
4
Let u be (-2)/(-2)*16/8. Suppose 0 = u*h - 3*h. Suppose h = -0*c + 3*c. Solve s + 5*a + 11 = 0, 0 = 4*s - c*a - 5*a - 6 for s.
-1
Let g be (-12)/(-66) - 53/(-11). Let q be (-5 - -6)/(1/g). Solve 0 = -2*p - 0*p - w, 4*w - 3 = -q*p for p.
-1
Let z(q) = 8 - q**3 + 2 + 4 + q - 11*q**2. Let x be z(-11). Solve -r - x = 5*j - 18, -6 = -5*r - 2*j for r.
0
Suppose 20 = -3*h + 8*h. Suppose -5*y = -15, 10*s - 45 = 5*s - 5*y. Solve -2*k = 4*r + 28, -2*k - h = -s*k + 4*r for k.
-4
Let v be ((-24)/(-16))/(2/4). Suppose -32*n + 35*n - 9 = 0. Solve -9 = n*c + 4*m, -c = -m + 3*m + v for c.
-3
Let l be 3/(-8)*-4*(-2 + 4). Solve -5*r = -8*b + 13*b - 20, b + l*r - 4 = 0 for b.
4
Let a be ((-14)/6 + 3)*3. Suppose -a*l + 1 = -5. Solve s - j = 0, 0*s + 2*j + 3 = l*s for s.
3
Let w(r) = -r**2 + 9*r - 4. Let h be w(9). Let l be 2*((-98)/h)/7. Let v(m) = m**2 - 7*m. Let p be v(l). Solve p = 5*g + s + 8, 0 = 2*s + 1 - 5 for g.
-2
Suppose 7*w - 2*w = 90. Suppose 2*x + 17 = -13*f + w*f, 5*x - 4 = -3*f. Solve -c + 17 = -5*y, -5*c - 21 = -2*c + f*y for c.
-3
Suppose 3*k - 15 - 48 = 0. Let h be (-7)/k - 7/(-3). Solve -b - 23 + 9 = -h*a, 5*b - 2*a + 30 = 0 for b.
-4
Suppose 0*w + 2*w - 2*a + 30 = 0, 3*a - 67 = 5*w. Let r(g) = 2*g + 4. Let j be r(-6). Let s = j - w. Solve -s*k = -0*k + 3*b, 0 = k - b for k.
0
Suppose -11 = -3*v + g, 5*v - 8*g - 17 = -6*g. Solve 2*p = -s - 8, 4*p - 5 = v*s - 7 for s.
-2
Let k = -39 - -60. Suppose k*z - 22*z = -4. Solve 2*g - z*g = 5*q - 16, 10 = 3*q + g for q.
4
Suppose 3*u - 5*p + 5 = 0, -4*p = u + p - 25. Suppose g - 2*g = a - 6, 0 = 5*a - u*g. Solve 3 = 3*s, a*i - 13 = -5*s - 2 for i.
2
Suppose -v + 7 = 4. Suppose 0*w - 9 = -v*w. Suppose 0 = 2*a + 22 - 22. Solve a = -w*u + 4*q - 3*q + 9, 0 = 2*q for u.
3
Let j(i) = -5*i - 167. Let v be j(-34). Solve v*k - k - 5*z = 10, -8 = 4*k + 4*z for k.
0
Let r be 1*(-4)/(-5) + (-732)/(-10). Suppose s + 29 = r. Let d be (-2)/(-5) - 46/(-10). Solve -d*u - s = -5*q, -5*u + 3*u = -q + 13 for u.
-4
Suppose -2 = 2*t - 8, 0 = -5*s - 5*t + 40. Solve 3*v + s = -5*f, -3*f - 5*v + 3*v = 2 for f.
-4
Let f = -3 + 19. Suppose -y = -5*y + f. Let o = 10 - 6. Solve s = 5*u - 2 - 9, -y*u - 4*s = -o for u.
2
Let p be (5/2 - 2)*(-46)/(-1). Suppose -3*o = 12 + 3, -3*o - p = -4*z. Solve 0 = x, 2*r + 0*x - 2 = z*x for r.
1
Let u be -3 - (50/(-8) - 2/(-8)). Let d be u - (0 + 2) - (-2 + 1). Solve w = 2*w - d*v - 10, -w + 5 = -v for w.
0
Suppose -50 = 3*p + 2*p. Let v be ((-60)/216 - (-4)/(-18))*p. Solve -4*t + 5 = v*x + t, -5*t = 4*x for x.
5
Let y(g) = g**3 + 8*g**2 + g. Let k be y(-8). Suppose -3*w = 2*w + 25. Let z = w - k. Solve 5*q + 3 = -z*t, 4*q + t - 2 = 3*t for q.
0
Suppose -70 = -23*s + 9*s. Let r be 1*(0 + -2 - -19). Suppose -3*v - 16 = -5*t - 5*v, -4*t - 3*v + r = 0. Solve -t*l - 22 = 4*b, -b = 4*b + s*l + 35 for b.
-4
Let t(w) = -w**2 + 4*w - 2. Let v be t(3). Suppose -3*c - 4*a - 2 = 0, -v - 7 = -2*c + 2*a. Solve 0 = -3*m + 15, -2*m + 27 = -c*p + 3*m for p.
-1
Let r be (-2)/((-40)/5) - (-62)/8. Let a = -37 + 39. Solve -g = 3 - 5, -g + r = -a*s for s.
-3
Let o = 236 - 233. Solve o*h = -3*b + 24, 2*h - h - 4*b + 12 = 0 for h.
4
Suppose 4*l + 40 = 4*h, -3*h + 5*l = 244 - 280. Solve -h*w = -3*w - 3*d - 24, w = -5*d - 17 for w.
3
Suppose 3*t + 0*f - 3*f - 27 = 0, 38 = 4*t - 5*f. Let o = 137 + -131. Solve l - t = 3*h, 5*h - l + 45 = -o*l for h.
-4
Let w = -28 + 54. Suppose 9*s = w - 8. Solve 3*j = -4*b + 4, 5*b - 2*b = -j - s for b.
-2
Let v(p) = -p**2 + 14*p + 10. Let s be v(15). Let g = 0 - s. Solve -g*y - 2*i + 0 = -13, -3*i = 5*y - 17 for y.
1
Let n be (-345)/7 + 20/70. Let s = n - -35. Let v = s + 17. Solve -v*p - 4*f = -35, 5*p + 7*f - 3*f - 45 = 0 for p.
5
Let j(a) = a**2 + 2*a + 2. Let g be j(4). Suppose -g + 14 = -2*v. Solve 4*l - 9 - v = -h, 5*l - h = 30 for l.
5
Suppose -4*f = 3*a - 10, -3*a = -f - 2*a + 6. Solve -t = -3*t - f*k - 12, -k = t + 3 for t.
0
Let x = 6 - 2. Let n be (-40)/8 + 0 + 1. Let q = x + n. Solve -3*g + 6 = -3*a, 3*g + 18 = -q*a - 3*a for g.
-2
Suppose -2*a = 5*k - 88, 2*k + 2*a - 24 = k. Suppose 0 = 3*y, -83*j + 5*y - 8 = -85*j. Solve -4*s + k = 0, 0 = -j*h + h + 4*s - 1 for h.
5
Let b(p) = p**2 + 15*p - 14. Let w be b(-16). Suppose g = -q - w*q + 3, -5*g = -4*q - 15. Solve d + g*s + 0 = 14, 2*s + 14 = 4*d for d.
5
Let p be -2 + 2 + (-2 - 14)/2. Let v = 10 + p. Solve 2 = w, -z = -w - v*w + 5 for z.
1
Suppose -789*f - 40 = -799*f. Solve -f*h = 4*c - 8, -5*h + 0 = 3*c - 10 for c.
0
Suppose 2*m = 5*m. Suppose a + m = 6. Let t = a - 4. Solve -p - 3*i + 4 = 0, p + t*i - 12 = 5*p for p.
-2
Suppose -2*r = 3*r - 25. Let n = 4919 + -4910. Suppose -i - 4*i = -25. Solve r*w - i*d - 13 = w, -2*w = -3*d - n for w.
-3
Suppose n = -8*n + 90. Solve -4*g - 20 = 4*j, -n = 5*j - 2*j + 2*g for j.
0
Suppose 0*z - 3*z + r + 14 = 0, -z + 2 = r. Suppose 4*q + 2*j + 0*j - 22 = 0, -3*q = z*j - 19. Solve -4*h - 5 = -4*b + 3, -3*b + q = -2*h for b.
1
Let v(t) = 27*t - 26. Let k be v(2). Let z = -5 + 9. Suppose 2*m + 3*m + z*l - 21 = 0, l + 1 = 0. Solve 2*p + 2 - 7 = -m*x, 0 = -5*p + x - k for p.
-5
Suppose -4*v = 2*n, 4*v + 2 - 8 = -3*n. Let k be (-2)/n + 126/54. Solve 3*b + 9 - k = -2*i, -5*b = -3*i - 1 for b.
-1
Let u = -192 - -195. Solve 3*t = 4*l - 10, -u*t - l + 5 = -5*t for t.
-2
Suppose 0 = -3*i - 3*i. Suppose i = -3*c + 8 + 4. Solve -3 = 3*g + x, -3*g - 15 = -c*x + x for g.
-2
Let y(b) = 5*b**2 + 13*b + 7. Let v be y(-3). Solve 3*c = -m + v, 0 = 2*c - c - 3 for m.
4
Let y be 8295/231 - (-2)/(22/1). Let s be 22 + 3/(3/2). Let a = y - s. Solve -2*n = 0, -3*n - a = 5*j - 32 for j.
4
Let t(h) = h - 3. Suppose -i - 3*i + 144 = 0. Let f be (9/(i/40))/2. Let q be t(f). Solve -3*p = 3*l + 1 - 28, 28 = q*p + 4*l for p.
4
Suppose -2*a - 325 = -343. Solve 0 = 3*t - k + a, -5*t + 4*k = 9 - 1 for t.
-4
Suppose -171*p - 8 = -179*p. Solve -p + 4 = 2*v + a, 12 = 4*v + 4*a for v.
0
Let i be 27/(-45) + 56/10. Suppose -i*w + 16 = -4. Solve 0 = 6*k - 3*k - q - 8, w*q = -8 for k.
2
Let n be (-23)/(-3) + (-4 - 10/(-3)). Solve 0 = r + 2*s - 9, -5*s - n = 3*r - 29 for r.
-1
Let s be (-2 - (1 + -1)) + 9. Suppose -90 = 2*b - s*b. Suppose 100 = -14*f + b*f. Solve -3*y = 2*k - f, -5*y + 5*k = -0*y for y.
5
Let c = 4679 + -4671. Let f(i) = i**3 + 5*i**2 + 3*i - 2. Let r be f(-4). Solve 0*b - 2*u = r*b + 14, -2*u - c = -b for b.
-2
Let c = 70 - 64. Solve -5*s + 5*b - 5 = 0, s - 2*b = -3*s - c for s.
-2
Let x = 563 - 558. Solve -s - 4*h + 19 - x = 0, -s = 2*h - 6 for s.
-2
Suppose -2*d - 2 = -d. Let m be (-7)/(-2) - (-1)/d. Suppose -5*g - 20 = -5*y, 3*y - 12 = -6*g + g. Solve -19 = 2*l - g*r + 3*r, -5*r = -m*l for l.
-5
Let q(t) = t - 7. Let x(u) = 3*u - 20. Let s(f) = 17*q(f) - 6*x(f). Let z be s(-2). Solve -8 = o - 3*l, -z*o + 1 = 4*l + 12 for o.
-5
Let x be 1*20 - (-7 + 5). Suppose g + 5*h = 14 + 9, 2*g + 4*h = x. Solve -d + 1 = -2*c + c, -3*c - g*d - 3 = 0 for c.
-1
Let j(d) = 6*d**2 + 34*d - 9. Let u be j(-6). Solve 3 = 2*s - 4*v - u, 0 = -4*s - 5*v - 14 for s.
-1
Let j(m) = 10*m + 25. Let c be j(-2). Solve -25 = -5*n + k, 25 = -n + 6*n + c*k for n.
5
Let q = -326 + 328. Solve -q*i + 2*v + 5 = 3*v, 3*v = -5*i + 11 for i.
4
Suppose 5*f + 3*s - 2*s = 157, 4*f - 4*s = 140. Suppose -w = -4*o + f, -16 - 6 = -2*o + 2*w. Solve 2*p + 5 = o*p + 5*u, 15 = 3*p - u for p.
4
Let c = 49 + -56. Let g = c + 16. Solve 0 = 3*h + g, 15 = 3*y - 4*h - 9 for y.
4
Let p be (-1)/2*-4 + 5. Let j = 2 + 1. Suppose l - 2*q = 4, 0*l + l - 4 = j*q. Solve 4*f + p = 3*i, 0*f - l*f + 2*i - 2 = 0 for f.
2
Let d(j) = j**3 - 14*j**2 + 14*j + 4. Let y be d(13). Suppose -l - 3*k = -y, -14 = 5*l - 4*k - 4. Solve -2*n - 3*v - l = -12, -3*n + 3*v = 0 for n.
2
Suppose -19 = -i + 4*u - 0, -4*i + 48 = -2*u. Suppose i*k = 20 + 35. Solve 5*a + 4*h - 12 = 0, -4*a - k*h = -0*h - 6 for a.
4
Let g(s) = 2*s - 15. Let z be g(15). Suppose -4*l = -5*x + 16, 2*l + z = 4*x + l. Solve -2*q + x + 23 = -5*t, 10 = -2*t for q.
1
Let a be 3 + (-1 - -1)*5/(-10). Suppose a*z + 3 - 9 = 0. Solve 4*o + 1 = -y, -3*y = -