q + x + 0 = 0 for q.
1
Suppose -4 + 0 = -2*m. Suppose -4*s + 3*s = 2*c + 6, -m*c = 8. Solve -s*f = -6 - 2 for f.
4
Suppose -3*z + 10 = -z. Suppose -32 = x - z*x. Let v(j) = j**3 - 7*j**2 - 9*j + 9. Let c be v(x). Solve h - c = -6 for h.
-5
Suppose -k - 24 = -5*u, 3*k - u - 8 = -2*u. Solve 4 = -l - k for l.
-5
Let l = -14 - -34. Let p = -3 - -3. Solve 4*f + p*f = l for f.
5
Suppose -4*y - d - 2 = -11, 5*d - 3 = y. Solve -x = x + y for x.
-1
Let l(s) = -s - 12. Let h be l(-13). Let m be (0 + h/(-2))*0. Suppose 4*p = -p + 30. Solve z + z + p = m for z.
-3
Let j = 11 + -9. Suppose u + 5 = 2*u. Let p = -3 + u. Solve 0 = p*r + j - 10 for r.
4
Suppose 5*i + 39 = -4*y + 8*y, -5*y + 3*i = -65. Let c = 18 - y. Solve -4*g - 4 = -c*g for g.
-2
Suppose 0 = 2*k - 4 - 6. Suppose -2*l + 18 = 4*r, -l - 26 = -k*r - 0*l. Let b = -11 - -13. Solve 0 = -b*d + 3*d - r for d.
5
Suppose -3*c + 21 = 6, -3*c + 15 = -4*b. Solve b*i - 3 = i for i.
-3
Let z(x) = -x - 2. Let p be z(-2). Let t be ((-1)/2)/((-2)/8). Let a be (-7 - -1)/((-4)/t). Solve a*b + p*b = 12 for b.
4
Let s(n) = n - 2. Let k(b) = 4*b**2 + 3*b + 1. Let x be k(-2). Let t be s(x). Solve -t = -0*y + 3*y for y.
-3
Suppose -19 = -2*f + 17. Let y be (-14)/f + (-2)/9. Let z be (2 - 4)*y/2. Solve a = z - 2 for a.
-1
Let a = -34 + 39. Suppose -20 = 3*m - 5*m. Solve -3*i - m = -a*i for i.
5
Suppose 2*v - 10 = -4. Suppose 2 + 67 = v*t. Solve -t = -5*l + 2 for l.
5
Suppose 3*a + 28 = -4*t + 8, 0 = t + 5. Suppose -2*o + 26 = 2*h + 3*o, -5*h + 4*o = -32. Let r be 15/(-6)*h/(-10). Solve a = -r*s + 3*s - 3 for s.
3
Suppose -3*q + 0 = -63. Let l be q/(1 - -2) + 0. Suppose 10 = 4*j + 2*f, 0 = -5*j - 4*f + 2*f + 14. Solve -l = u - j for u.
-3
Suppose 15 + 5 = 5*d. Solve 0 = -d*l - 21 + 1 for l.
-5
Suppose 0 = -2*o + r + 10, o + 4*o = 2*r + 25. Let u = -1 + o. Solve 1 + 7 = u*l for l.
2
Suppose -5*i - 1 = -16. Let a be (3/(-9))/(i/(-18)). Solve 0 - 8 = a*d for d.
-4
Let n = -20 - -20. Solve r - 4*r - 12 = n for r.
-4
Let g(f) = -f**3 - 8*f**2 + f + 9. Let j be g(-8). Solve j = -4*l - 11 for l.
-3
Let h be ((-4)/3)/((-10)/45). Let c be 5/5 + (0 - -2). Solve -c*a + 5*a = h for a.
3
Let p = -40 + 43. Let s = 14 + -9. Solve -p*k - s = 10 for k.
-5
Let h be 128/68 - (-2)/17. Solve h*z + 1 - 5 = 0 for z.
2
Let c be 8/4*-5*1/(-2). Solve -9*v = -c*v + 16 for v.
-4
Let c be 2/(-9) + (-74)/(-9). Let h = c + -3. Solve 8 = h*b - 7 for b.
3
Let u = 4 - -1. Let c be 1*-2*(-20)/8. Suppose -k - 3*a = -4*a, c*a = -u*k + 20. Solve 2 = -k*p + 12 for p.
5
Let w be (-3)/6 + 2/(-4). Let r be w/((-2)/(-6) - 0). Let t be 1/r - 40/(-3). Solve 4*v = -t + 1 for v.
-3
Let s be (9/12)/((-2)/(-16)). Let t = s + -2. Suppose 8 = 5*p - 2*v, -p + 5*p + t*v + 16 = 0. Solve p = 6*z - 2*z for z.
0
Let b(y) = -3*y - 3. Let i be b(-7). Suppose -3*n = 2*o + o - i, -9 = -3*n. Solve -o*r - 5 = 2*r for r.
-1
Let z(k) = -1 - 2*k + 4 - 1. Let d be z(2). Let i be (10/3)/(d/(-12)). Solve 0 = -6*x + x - i for x.
-4
Let u(v) = v - 2. Let l = -1 + 5. Let n = -2 + l. Let s be u(n). Solve 0 = -s*p + 4*p - 16 for p.
4
Let h = 1 + 3. Let k(r) = -r**2 + 6*r - 6. Let m be k(h). Suppose 0 = 2*j + 2*j. Solve j = -u + m*u - 2 for u.
2
Suppose 4*h - 74 = -2*l, h - 2 + 4 = 0. Let n = 16 - 12. Suppose -i + 21 = n*j - 2*i, -5*i - l = -4*j. Solve 2 = y + j for y.
-2
Let g(z) = z**3 - 10*z**2 + 2*z - 6. Let f be g(10). Suppose 46 = 3*b - f. Solve y - b = -4*y for y.
4
Let c(v) = -v + 19. Let s be c(15). Suppose -t = -6*t + 20. Solve t*r = s - 24 for r.
-5
Suppose k = 4*f - 3*k - 4, -5*f + 25 = 5*k. Suppose -f*c = -2*c - 1. Solve -c - 11 = -4*m for m.
3
Let z(b) be the third derivative of b**5/30 - b**4/24 - b**3/3 + 3*b**2. Let n be z(2). Solve -2*o = -n*o for o.
0
Let f be -2 + 1 + -1 - -10. Suppose 7*w = f*w. Solve w = -3*o + 5*o for o.
0
Let a(d) = d. Let k(h) = -6*h + 1. Let m(j) = -2*a(j) - k(j). Let b be m(3). Suppose 3*t - 16 = b. Solve -3*n - t = -0 for n.
-3
Let o(w) = -4*w + 1. Let a be o(-2). Let f be 61/a + 2/9. Suppose -f*c = 3*z - 2*c + 2, -5*z = -2*c - 7. Solve -2*j + z = 3 for j.
-1
Suppose -56 = -4*r - 40. Solve 20 = -0*t - r*t for t.
-5
Let v(n) = -n - 1. Let x be v(-3). Suppose l = -x*l. Let q be 4 - (3 + -1 + l). Solve -y = 5 - q for y.
-3
Let y(h) = -4*h - 28. Let k be y(-7). Solve k*n + 3 = -n for n.
-3
Suppose -69*r = -73*r + 48. Solve -r*v = -14*v for v.
0
Suppose 0 = -y - 2*y - 9. Let p(h) = -h**2 - h. Let b be p(y). Let o = 11 + b. Solve -v = -o*v for v.
0
Suppose 3*z = -z - 8. Let h be z/9 + 74/9. Suppose 0*m + 2*m = h. Solve -m*g - 34 = -14 for g.
-5
Let t(w) = -w**2 + 12*w + 1. Let p be t(11). Let y = -10 + p. Solve -3*a + y*a = 3 for a.
-3
Let a(y) = 24*y - 16*y - y**2 - 6 + 2. Let w be a(7). Solve 9 = -3*h + w for h.
-2
Let x be -1 + 9 + 2 + -5. Solve 4*g = 3*g - x for g.
-5
Let n = 58 + -52. Solve -n*l = -2*l + 8 for l.
-2
Let r(m) = -m**3 + 6*m**2 - 5*m + 3. Let x be r(5). Solve x*h + 0*h = 0 for h.
0
Suppose 19 = n + 4. Solve 0 = -0*o + 5*o + n for o.
-3
Suppose -42*r + 43*r = 1. Solve -o - r - 3 = 0 for o.
-4
Suppose 0 = m + m - 3*m. Solve -2*s - 2 + 10 = m for s.
4
Suppose 0 = x + 3*x - 16. Solve -x*v = -2*v for v.
0
Suppose 0 = -4*g - 147 + 451. Let o be 10/(-45) + g/18. Solve -15 = -l - o*l for l.
3
Suppose -m = 4*n - 13, 3 = -3*n + 5*m + 7. Solve 0*o = n*o - 9 for o.
3
Let i = 8 + -15. Let x(l) = -l - 5. Let p be x(i). Solve -d = -p*d - 5 for d.
-5
Suppose 5*v - 23 = 4*r, 0 = 4*r + 3 + 5. Suppose 2 = -5*k - v. Let h = k + 6. Solve 3*q - h*q = 0 for q.
0
Let k be (14/4)/(4/(-8)). Let y be (-2)/k - 576/(-42). Suppose 2*f - 4*f - 6 = d, y = 5*d - f. Solve 1 = -d*i + i for i.
-1
Let x(m) = -m**3 + 7*m**2 + m - 3. Let a be x(7). Suppose a*o - 3*h + 7 = 2*h, -9 = -3*h. Solve 3*f = o*f for f.
0
Suppose 5*y - y = -f + 13, 5*f - 15 = 5*y. Solve -f = -3*o - 2*o for o.
1
Let n(o) = 3*o**3 - 3*o**2 - o + 2. Let t be n(2). Suppose -3*l + 70 = -l. Suppose -2*i + 7 = 5*s, 5*s - i - l = 4*i. Solve -s*y + t = y for y.
3
Suppose 0 = -2*a - 2*a. Suppose -10 = -k - 28. Let s = k - -21. Solve s*g = -a*g for g.
0
Suppose 2*p = -3*p - 3*i + 1, -5*p - 5*i = 5. Let d = 20 + -12. Let y be d/(-20)*(-19 - 1). Solve -y = 2*b + p for b.
-5
Let d be 2/(-8) - (-202)/8. Suppose 0 = m - 4*m + 9. Suppose -m*c + 2 = -d. Solve 5*a = c*a for a.
0
Let a(w) = -3*w - 1. Let b be a(-3). Let r = -3 + b. Let q(x) = x**3 - 2*x**2 - x - 1. Let k be q(3). Solve 0 - k = -r*v for v.
1
Suppose -4*q = 2*q - 24. Solve -2 = -q*s - 18 for s.
-4
Suppose -4*b + 8*b = -4. Let g = 17 + b. Solve 4 = 4*f + g for f.
-3
Let o(h) = -h + 8. Let u be o(4). Let k(i) = 3*i - 6. Let c be k(u). Let n be 0/1 + c/3. Solve 0 = 5*f - 7 + n for f.
1
Let k = 1 + -17. Let x = k + 20. Solve -8 = x*i - 4 for i.
-1
Let m(o) = o - 1. Let g(n) = -n**2 - 8*n + 9. Let s(d) = -2*g(d) - 18*m(d). Suppose 8*b = 3*b + 10. Let l be s(b). Solve -l*r + 0*r = -16 for r.
4
Let s = 3 + 2. Suppose -s*f - 5*o + 10 = 0, 5*o - 1 = -2*f - 0*o. Solve 14 = -f*q + 5 for q.
-3
Let d(z) = -z**3 + 13*z**2 - 11*z - 10. Let a be d(12). Suppose -a*v + v = -5. Solve v*s - s = 0 for s.
0
Let k(a) = a**3 + a**2 - 3*a. Let p be k(-3). Let u(c) = -c + 12. Let d(t) = -t. Let w(f) = -2*d(f) + u(f). Let q be w(p). Solve 1 = -i + q for i.
2
Suppose 23 + 17 = 8*k. Solve -7 = k*u + 8 for u.
-3
Let l be (-2 - -1)*5/(-1). Solve l*t - 1 - 24 = 0 for t.
5
Suppose -y - 3 + 7 = 0. Solve 0 = -i + y*i for i.
0
Let q be -3*1*(-2)/2. Let l be 1 + (q - 2) + -1. Solve -v = -0*v + l for v.
-1
Suppose -18*o + 16*o + 6 = 0, -9 = u - 3*o. Solve u = -2*x + 7*x for x.
0
Let n(b) = b**3 + 6*b**2. Let f be n(-6). Let q = f - -2. Solve 0*k = q*k - 4 for k.
2
Let r(k) be the third derivative of k**5/60 + 7*k**4/24 - 7*k**2. Let d = -4 - 3. Let g be r(d). Solve f = 4 - g for f.
4
Let d(l) = -l**3 + l**2 + 5*l + 3. Let h be d(-2). Suppose 3*y = s + 12, -4*y + y + 12 = -h*s. Solve -c = y*c for c.
0
Let l = 42 + -24. Suppose -3*c = p - l, -4*p - 3*c = -2*p - 27. Solve 0 = 3*k - 0*k + p for k.
-3
Let c = 6 + -4. Let x = 10 + -5. Suppose -5*i = -5*d + x, -3*i - d + 1 = -0. Solve i = c*l + 1 - 5 for l.
2
Let y be (-2)/(-7) + 10/(-35). Suppose 5*d + 1 = 11. Suppose 5*k + 5 = d*p - 5, 3*p + 3*k + 6 = 0. Solve 5*j - 15 + p = y for j.
3
Let i be (-3)/(-12)*(-10)/3*-6. Solve -17 = -i*a + 3 for 