 y = a - 19. Solve 2*z - 7 = -y for z.
2
Let a be (-9)/(-4)*16/12. Solve -a*q = -1 + 4 for q.
-1
Suppose -2*i = -4*j + 8, -4*j - 52 = -2*i + 5*i. Let y = -12 - i. Solve -2*g = -y*g - 2 for g.
1
Suppose 22 = 5*k + 7, -5*q + 6 = 2*k. Let z be -2 + 15 + (0 - -2). Let l(v) = 5*v**2 - v. Let j be l(1). Solve u - j*u + z = q for u.
5
Let s = 8 + -3. Solve s - 15 = 5*r for r.
-2
Suppose 0 = -4*l + l + 6. Solve 0 = l*x + 4 - 8 for x.
2
Let h be (6/5)/((-6)/(-20)). Suppose h*m = -5*u + 11 + 13, 3*u + 4*m - 16 = 0. Suppose 4*n = 3*n + o, u = -2*n + 4*o. Solve 0 + n = w for w.
2
Suppose 1 = p - 2*h - 5, 0 = -2*p + h - 3. Let n = p + 6. Suppose 3*u + 3 = -3*g, 0 = n*u + 2*u - 4*g - 36. Solve 0 = -u*y - y - 5 for y.
-1
Suppose 0 = -3*i - 9, -2*i + 0*i = -4*h + 74. Solve h = -4*f - 3 for f.
-5
Let l(f) = 11*f**2 - 2*f. Let t be l(2). Let m = 60 - t. Solve 4*x + m = -x for x.
-4
Suppose o + 15 = 3*n, 3*n + n = -4*o + 36. Let f = 9 - n. Solve f*x = -15 + 3 for x.
-4
Suppose -3*l - 2*l + 10 = 0, 3*u + 3*l = 9. Solve 3*q - 4 + u = 0 for q.
1
Suppose 5*n + 3*o + o - 20 = 0, -n + 3*o = -4. Let w = n + -3. Let r = -1 - -3. Solve -w = -r*d + d for d.
1
Let z(o) = 17*o**2 + 1. Let q be z(-1). Solve 5*p + q = -7 for p.
-5
Let i = -29 + 31. Solve -3 = -i*g - g for g.
1
Suppose -2*z + 7 = -1. Suppose -z = 2*r + c - 3, 0 = 3*c + 15. Suppose -3*u + r = -10. Solve a - u = -a for a.
2
Let a be -3 + (-3)/(3 + -4). Let u = 5 - 3. Solve a = -u*q - 2 for q.
-1
Let m(i) = i**2 - 7*i - 6. Let f be m(8). Solve -s - f*s = 0 for s.
0
Suppose -2*b - 10 = -4*j, 0 = b - 2*b - j + 4. Let q = 2 + b. Let z be q - 0*(-1)/(-2). Solve 0 = 2*t - 3 - z for t.
3
Suppose 0 = -3*g, 0 = -2*l - 0*l + g + 8. Solve 0 = -j + 5*j + l for j.
-1
Suppose 5*m = 4*p + 32, 3*m + 0*p - 2*p - 20 = 0. Let d = -3 + m. Solve -4*n + d*n = 0 for n.
0
Suppose 3*h + 9 = 0, -2*p - 4*h + 153 = 3*p. Let m = -16 + p. Solve -4*d - m = 3 for d.
-5
Let c(j) = -j**3 - 4*j**2 - j + 9. Let y be c(-3). Solve 5*s - y*s = 0 for s.
0
Let t = -17 - -29. Let b = t + -12. Solve -3*h - 1 + 7 = b for h.
2
Suppose -3*c + 5*l + 0*l = -38, -c = 5*l + 14. Let p = c + -5. Solve 1 + p = -2*k for k.
-1
Let g(a) = a**2 - 6*a - 7. Suppose 4*c - 25 - 11 = 0. Suppose -i = -c + 2. Let p be g(i). Solve p = -2*q - 1 - 3 for q.
-2
Let b(k) = k**2 - 5*k. Suppose -9 = -3*a, 0 = -5*p + 3*a + 21. Let t be b(p). Solve 4*d = t - 2 for d.
1
Suppose -c = -0*c. Suppose -2*n + 4 + 0 = c. Solve 0 = -0*g - n*g - 2 for g.
-1
Suppose -8*c + 123 = -3*c + 4*p, -3*c - 3*p = -75. Solve -5*v + c = 8 for v.
3
Suppose -4*t = t. Suppose 0*b = 3*f + 4*b - 4, -2*f + b + 10 = t. Solve f*h + 2 = -14 for h.
-4
Suppose 7*j = 3*j + 20. Let h = -5 + 10. Solve 5*n + h = -j for n.
-2
Suppose 0*q = -4*q + 8. Suppose 3*d = d - 5*n - 6, -3*n - 26 = -q*d. Let g(u) = -u**2 + 7*u. Let x be g(d). Solve x = -0*o + 4*o + 20 for o.
-5
Suppose 7 = 2*f - 5*o - 22, 4*f + 4*o + 12 = 0. Let s = -6 + 6. Suppose f*g = -s*g - 4, 10 = r - 5*g. Solve 12 = -r*j - 4*j for j.
-3
Suppose 4*u + 9 = 3*u. Let w = 10 + u. Solve w = -n - 3 for n.
-4
Let b be (8/2)/((-12)/(-24)). Solve -3*c - b = -c for c.
-4
Suppose -11*t + 14*t - 12 = 0. Solve 3*c - 2*c = -t for c.
-4
Let v(h) = h**2 + 3*h - 2. Let r = -11 + 7. Let f be v(r). Solve -2*t + 0 - f = 0 for t.
-1
Suppose -4*n = -8, -4*a + 5*n = -7*a + 25. Suppose 2*r + 18 = -5*k, 2*r - a = 5*k - 3. Let v = k + 10. Solve -v = -c - 3 for c.
5
Let l(y) = 2*y + 5*y**2 + 5*y**3 - 9*y - 4*y**3 - 6. Suppose 1 = -v - 5. Let r be l(v). Solve r = 2*i - 6*i + 16 for i.
4
Let x be 3*1*21/9. Let r(z) = z**2 + 8*z + 1. Let q be r(-8). Solve 2*l + q = x for l.
3
Suppose 2*v = -2*o + 10 + 8, 2*v - 28 = -4*o. Solve -3*r + v*r = 0 for r.
0
Let g be ((-16)/14)/4*-7. Let h be 126/4 + 3/6. Suppose -2*c - 2*c + h = j, -4*c + g*j = -32. Solve c = -o - o for o.
-4
Let t(a) = a**3 - 6*a**2 - 4*a - 20. Let s be t(7). Solve -3*c = -s - 8 for c.
3
Suppose 5*q + 4 = -2*g, 4*q + 3*g + 0 + 6 = 0. Solve q*b - b - 3 = 0 for b.
-3
Suppose 3*m = 6 - 0. Let s(x) = -m + 2*x + 1 + x. Let r be s(2). Solve r*y = -0*y - 15 for y.
-3
Suppose -5*o + 0*r + r + 13 = 0, 0 = 3*o + r - 11. Let t = o - 2. Let l be ((-6)/4)/(t/(-2)). Solve l*x - 6*x - 6 = 0 for x.
-2
Let i(o) = -o - 5. Let h be i(-7). Solve h*p + 1 + 9 = 0 for p.
-5
Let b be (6 - (-54)/(-4))/((-3)/4). Solve -l - b = l for l.
-5
Let r(b) = b**3 + 3*b**2 - 5*b - 4. Let a be r(-4). Suppose a = 3*y - 15. Solve -2*p - y = -p for p.
-5
Let r(m) = 5*m**3 - 2*m**2 + 1. Let u be r(1). Suppose 4*b = 5*w + 51, u*w - 61 = -4*b - w. Suppose 0 = 4*g - 10 - b. Solve 0 = -o - g + 1 for o.
-5
Let s(z) = 2*z - 1. Let l be s(-3). Let m = -2 - l. Suppose 4*d - 6 = 2*y, y + 2*y = -m*d + 13. Solve 4*c = d*c - 4 for c.
-2
Let p = 11 - 22. Let i(a) = -a**2 - 12*a - 2. Let s be i(p). Let w = 10 + -6. Solve -w*x + s*x = -25 for x.
-5
Let l be 122/14 - 4/(-14). Let d(q) = 10*q + 6*q**2 - q**2 - q**3 - 7 + 3*q**2. Let w be d(l). Solve -7 = -w*j - 3 for j.
2
Let x = 25 + -22. Solve 7 = -2*v - x for v.
-5
Suppose 3*h = -6*i + 3*i - 3, -5*h = -i + 29. Suppose -5*s + 42 = i*f + 17, 0 = 5*s - 4*f - 25. Solve 0*d + s = d for d.
5
Suppose -3*w - 5 = x, -8 + 33 = w - 5*x. Solve -a - a = w for a.
0
Suppose 6*u - 12 = -0*u. Solve n = 3*n - u for n.
1
Suppose 6*d = -3*d + 5*d. Solve d*o - o = 5 for o.
-5
Suppose 0 = 5*j + 4*g - 80, j + 3*j - 3*g - 64 = 0. Let a = j - 10. Solve -a*l = -l - 20 for l.
4
Let g = 9 + -7. Suppose 2 = g*s + 3*s - l, 0 = -4*s - 4*l - 8. Solve 3*b + s*b = -9 for b.
-3
Let z(n) = -2*n**2 + 2*n. Let k(h) = 3*h**2 - 2*h - 1. Let y(m) = 3*k(m) + 4*z(m). Let x be y(-4). Solve 10 = -3*s + x*s for s.
5
Let u(d) = 11*d - 5. Let t be u(1). Solve t = 2*w - 0 for w.
3
Let n be -5*(-3 + (-243)/5). Suppose -n = u - 0*u. Let d be (-2)/4 - u/12. Solve 0 = -5*v + 1 - d for v.
-4
Let k(h) = h + 3. Let b be k(0). Solve -6 + 3 = b*u for u.
-1
Suppose 0*u + 3*u = -3102. Let x be u/(-33) - 2/(-3). Solve -x = 5*w - 7 for w.
-5
Suppose -2*v - 4*v + 48 = 0. Solve v = r + r for r.
4
Let x = -12 + 18. Let j be 1*2 - 12/x. Suppose -7*v + 4*v + 6 = j. Solve -5*u + 8 = -v for u.
2
Suppose -3*y = -4*q + 27, -2*q + 4 = -4*q - 2*y. Suppose -3*k = -2*u + 28, -q = -u - 4*k - 0. Solve -u + 5 = -2*g for g.
3
Let g(r) = -r**3 - 4*r**2 - 2*r - 4. Let o be g(-4). Suppose 0*p = 2*p - o. Suppose u + p*u = 81. Solve 5*s + 7 = u for s.
4
Let j(o) = o**2 + 4*o + 4. Let u be ((-16)/(-20))/(1/30). Suppose a + u = -3*a. Let v be j(a). Solve -2*w - 2*w = v for w.
-4
Suppose 5*o - 5*m = 55, -37 = -o - 2*o + 4*m. Suppose -3*j = -53 - o. Solve 4*b + j = 8 for b.
-3
Let a be ((-66)/(-15))/((-6)/(-15)). Let r(b) = 2*b - 16. Let q be r(a). Let u be 10/14 - (-4)/14. Solve j = u - q for j.
-5
Let d(z) = -z**2 - 9*z + 2. Let n be d(-9). Let v be 3 - (n + (1 - 2)). Suppose 0*c + 4 = -v*q + c, -4*q + c - 4 = 0. Solve q = -j + 2 for j.
2
Let r = -10 - -23. Let t be 37/r + 14/91. Suppose -z + t*z = 2. Solve 0 = 5*h + 19 + z for h.
-4
Let t(x) = x + 12. Let l be t(-6). Solve 2*k - l*k + 20 = 0 for k.
5
Let h = -71 - -80. Solve f = 10 - h for f.
1
Let a = 37 + -31. Solve 0*g - 2*g = a for g.
-3
Let u = 1 + -7. Let a be 51/119 + u/14. Solve a = 5*x - x - 8 for x.
2
Let z(a) = -2*a**3 - 7*a**2 + 4*a + 1. Let q be z(-4). Solve 0*j + q = -j for j.
-1
Suppose -5*v = -2*m - 0*v + 19, 0 = m + v - 6. Solve m*l - 15 = 4*l for l.
5
Let s = -10 + -2. Let y be 1/2 - s/8. Solve 2*x + 16 = -y*x for x.
-4
Let i = -4 - -6. Let c(z) = z**3 - 6*z**2 - 5*z + 34. Let k be c(6). Solve 0*v - k = i*v for v.
-2
Let m = -2 - -4. Let y = m + -2. Suppose y = -2*w + 18 - 2. Solve 0*u - 4*u = w for u.
-2
Suppose -4*x + 0*x - 20 = 0. Let k be 6*5*(-2)/x. Let m be 9/((-15)/5) - -7. Solve z = m*z + k for z.
-4
Suppose 0 = n + i + 4, 0 = n + 2*i + 7 + 1. Let q be (n - -1)/(2/6). Solve -q*x = -0*x for x.
0
Let z = 37 + -34. Solve z = -3*c + 6 for c.
1
Let x(g) be the third derivative of 0*g**4 - 1/6*g**3 + 0*g + 0 + 2*g**2 + 1/60*g**5. Let m be x(2). Solve 0*h + 9 = m*h for h.
3
Let a = 45 - 43. Solve a*h - 5*h = 0 for h.
0
Suppose 0 = 6*b - 9*b + 3. Let l = 8 - 3. Suppose l*k - 3 - b = -t, -3*k + 16 = 4*t. Solve 2*i = -0*i - t for i.
-2
Suppose 3*u - 4*u + t = -6, 0 = -t + 2. Let i(r) = -r**2 - r + r - 1 - u*r. Let g be i(-7). Solve m - g*m = 0 for