 - 13 = 0, 3*q = -2*f + 23. Solve -q*o + 2 = -3 for o.
1
Let j be (1 - (0 - 4)) + 1. Suppose 16 = 5*x + j. Suppose -4*u + 0 + 8 = 0. Solve x = -u*a - 2 for a.
-2
Let y(h) = h**2 - 4*h. Let i be y(5). Let b(j) = 3*j**3 + 3*j - 1. Let f be b(2). Suppose 0 = 5*o + s - 25, f = -0*o + o + 5*s. Solve i*m - o - 6 = 0 for m.
2
Let h = -75 - -105. Suppose o - 3*o = -h. Solve o = 5*d - 2*d for d.
5
Let t = 177 + -96. Let l be (10/8)/(3 + 33/(-12)). Suppose s + 100 = l*i, -5*i = -i - s - t. Solve 3*x = 4 - i for x.
-5
Suppose -64 = -2*r - 0*r. Suppose r + 24 = 7*t. Solve 0 = -3*y + 5*y + t for y.
-4
Let m = 39 - 14. Suppose 3*d + 5*r = -m, -3*d + 2*r + 10 = -d. Solve -c + 3*c + 6 = d for c.
-3
Suppose 15 = 3*c + 2*l, 9 = 4*c - 4*l + 3*l. Suppose 4*g - 3 = 3*t + c, 4*g + 8 = -4*t. Solve -2*f + 0*f + 4 = g for f.
2
Suppose b + 3 - 13 = -5*v, v + 3*b = 2. Solve -v*j = -j + 5 for j.
-5
Suppose 2*a - 5*j - 8 = 0, 4*j - 4 = -a + 3*j. Suppose 16 = -a*m + 5*m. Solve 0*r + m = -4*r for r.
-4
Suppose 26 = -s + 5*z - 3*z, 0 = -s - 5*z - 47. Let g be 3/8 - (-12)/s. Solve -t - 8 + 3 = g for t.
-5
Let f(k) = 2*k + 20. Let n be f(-9). Solve 0 = c + n for c.
-2
Suppose p - 5 = -2. Let s be (-4)/(-6) + p/9. Solve 2*u - s = 5 for u.
3
Let b be ((-1)/(-3))/((-2)/6). Let w = b + 4. Let o be w*(-1)/(9/(-6)). Solve 0 = -3*r + o*r for r.
0
Suppose 4*i + 42 = 2*h, 5*h + i = -0 + 50. Solve h - 26 = 5*a for a.
-3
Let d(q) = 5*q - 2. Let o = 8 + -3. Let h be d(o). Suppose -3 = 4*v - h. Solve v = g + 1 for g.
4
Let t(i) = 8 + 1 + 10*i - 9*i. Let j be t(0). Solve d - j = -2*d for d.
3
Let s(d) = 3*d + 1. Suppose -5*w - 2 = -g, -5*g - 7 = 8. Let x be s(w). Let f be 1*4/x + 6. Solve -f*r - 6 = -2*r for r.
-3
Let m be -4 + (1 + -4 - -1). Let f(n) = -n**3 - 6*n**2 - n - 5. Let l be f(m). Let a be 2 - (2 - l)*-13. Solve 2*p - a = -p for p.
5
Suppose -4*g = -b + 7, -5*b + 8*g = 4*g - 19. Suppose 4*m - 9 = w + 6, -2*m + b*w + 5 = 0. Solve 7 = -m*k - 1 for k.
-2
Let u = -6 + 6. Suppose -2*a - 8 = 3*r, 0 = r + 4 - u. Solve 0 = 3*x - a - 1 for x.
1
Suppose 5*h = -4*u - 0*h - 4, h + 12 = 2*u. Solve 3*d + d - u = 0 for d.
1
Suppose 0*q = 4*j - 2*q - 20, -31 = -5*j + 4*q. Let l = 7 - 3. Suppose l*u + 10 = 6*u. Solve 0 = -2*h + j*h + u for h.
-5
Suppose 14*i = 15*i. Solve i + 4 = -2*h for h.
-2
Let z(t) be the first derivative of -t**2/2 + 7*t + 3. Let y be z(7). Solve -4*h + 0*h = y for h.
0
Let p be (-33)/6*1*4. Let f be p/(-6) + (-2)/3. Suppose 2*i = -f*i + 10. Solve -2*z + 0 = -i for z.
1
Suppose 0 = 2*f + f. Let y = f - 0. Let c be (0 - -5)/((-2)/(-6)). Solve y = -6*p + p + c for p.
3
Let t(z) = z**3 - 12*z**2 - 14*z + 16. Let w be t(13). Suppose 2*a - w*a + 4 = 0. Solve 0 = -d - a for d.
-4
Let x be (-3 + 27/(-6))/(4/(-8)). Solve -3*h - x = -0*h for h.
-5
Let z(q) = -q**3 + 4*q**2 + 6*q + 1. Let u be z(5). Suppose 0 = -c - 4*f + 21, 5*c - 5*f + u*f - 29 = 0. Solve b + c = 1 for b.
-4
Let x(t) = -2*t - 2. Let d be x(-2). Solve p - d*p = -3 for p.
3
Let h = -93 - -99. Solve 2*v = -0*v - h for v.
-3
Suppose 0 = d + l - 3 - 6, 0 = 3*l + 15. Suppose d*a = 19*a - 25. Solve -4*p - a = 11 for p.
-4
Let u be (0 - 15/(-6))*2. Solve -2*o - 3*o = -u for o.
1
Let z = -42 + 64. Solve 0 = -4*s + z - 2 for s.
5
Suppose -3*n = -s + 7 + 5, 0 = 2*s - 5*n - 21. Solve s = -5*v - 17 for v.
-4
Let r = 2 + 2. Let w = 49 - 35. Let x = w - 8. Solve r*y + x = y for y.
-2
Suppose -m = 25 - 28. Solve -m*x = 2*x + 25 for x.
-5
Let t be ((-8)/10)/((-1)/(-10)). Let c(f) = f + 11. Let l be c(t). Solve -l*m = -2 - 7 for m.
3
Let c be (-68)/(-6) - (-22)/33. Let k be (-1)/12*-4*c. Solve k*i - 13 = -5 for i.
2
Let h(b) = b**3 - 5*b**2 + b - 3. Suppose -4*f + 5 = -3*f. Let r be h(f). Suppose -2*k + u + 3 = -14, -11 = -2*k + 3*u. Solve -4 = r*a - k for a.
3
Let r(g) = -3*g - 6. Let v be r(-4). Let y(j) = -j**3 - v*j + 6*j + j**2. Let o be y(-2). Solve -o = t + 2*t for t.
-4
Suppose -19 = -2*t - 5*n, -3*t - 6 = -2*n - 2*n. Let l be 1/(-1 - (-3)/t). Suppose d + 3*j = 2*j + 15, 0 = l*d + 5*j - 45. Solve 0 = k + 4*k - d for k.
2
Suppose 3*j - 19 = -4*t, 7*j - 13 = 2*t + 4*j. Let g be 3 + 2 + t + -1. Solve g*y + 4 = -16 for y.
-4
Let j = 24 + -12. Suppose -5*d + 4*p = p + 7, -2*d - 4*p - 8 = 0. Let t be d - (5*-1 - -1). Solve -2*c - j = t*c for c.
-3
Let x(c) = -13*c**3 - c**2 + c. Let p(o) = o**3 - o**2. Let y(m) = -3*p(m) + x(m). Suppose 0*f - f = -5*b - 4, 1 = -f. Let v be y(b). Solve -5*h - v = -7 for h.
-2
Let z = -9 + 9. Let w = -112 - -73. Let j be (-2)/8 - w/12. Solve z = -2*c - j*c + 20 for c.
4
Let q be 15/6 - (-1)/(-2). Suppose 3*m - 2*o = -7*o + 27, o + 5 = 2*m. Let r = q + m. Solve 0 = 3*u - r*u for u.
0
Let o(z) = -2*z**3 - 8*z**2 + 21*z + 4. Let s(u) = -u**3 - 4*u**2 + 11*u + 2. Let t(a) = 6*o(a) - 11*s(a). Let h be t(-5). Solve x = -x + h for x.
1
Suppose 4*t - 38 = -10. Suppose 2*p - 13 = 5*q, 4*q + 6 = 3*q - 3*p. Let u = q + t. Solve u = k - 0 for k.
4
Let j be ((-6)/4)/(3/(-6)). Suppose 0*g + 75 = j*g. Let p(v) = -v**2 - 4*v. Let y be p(-3). Solve -2*x = y*x + g for x.
-5
Let q be 7/(-14)*(-12)/2. Solve -l - 16 = q*l for l.
-4
Let r(g) = g - 11 - 16 + 51. Let q be r(-13). Solve -9 = -5*p + q for p.
4
Let k = -2 + 1. Let u(g) = -4*g - 1. Let x be u(k). Solve x*s = -2*s - 5 for s.
-1
Suppose u - 2 - 3 = 0. Solve -6 + u = t for t.
-1
Suppose 6 = 3*y - a, 0 = 4*y - 0*y + 4*a - 24. Let j = 4 + y. Solve -3*k = -j*k + 8 for k.
2
Suppose -3*l = -2*l - 5. Solve h = l*h - 4 for h.
1
Let g = 1 - -4. Let n(b) = b**3 - 5*b**2 + 2*b - 2. Let t(s) = s - 1. Let w(j) = -n(j) + 3*t(j). Let o be w(g). Solve -16 - o = 4*k for k.
-5
Suppose 27*c = 24*c + 21. Solve -s + 6 = c for s.
-1
Suppose -3*m - 3*k + 9 = 0, 4*k - 15 = -3*m - k. Let n be m + 0 - (-2 + 0). Suppose 4*t - 15 = -5*d - 0*t, 15 = 5*d - n*t. Solve -d*o + 12 = -0*o for o.
4
Suppose -13 = 3*t + 20. Let s be 6*t/(-6)*2. Solve 3*i + 7 - s = 0 for i.
5
Suppose 6 = -5*b + 26. Let f be 2 + -1 + b + -1. Solve f*v = v + 15 for v.
5
Let z be 4/(-6)*27/(-6). Let p be (-105)/(-9) + 1/3. Let g be -2 - ((0 - -1) + -3). Solve g*m - z*m = -p for m.
4
Suppose -5*n = 4*u - 48, 5*u = -n - 2 + 20. Suppose 0 = 4*w + 8, -3*h + n = -4*w + 3*w. Suppose -h*q = q. Solve q*p = -p - 4 for p.
-4
Suppose -t = -2, -3*t - 2*t = -g + 2. Solve 2*f = -2*f + g for f.
3
Let h(n) = 3*n - 4. Let d be h(2). Let w be (1 - d) + 1 + 5. Solve w*r - 11 = 9 for r.
4
Let i(j) = 3*j - 7*j**2 + 2*j**2 - 5 - j**3 + 3*j**2. Let o be i(-4). Solve 3*r + 0*r = -o for r.
-5
Let i = 33 - 31. Solve -n = i*n + 9 for n.
-3
Suppose 5*g - 11 = 4. Solve 3*i = 9 + g for i.
4
Let i = 21 - 11. Solve r - i = -r for r.
5
Let u(j) = -j + 20. Let a be u(0). Solve -4*n - n = a for n.
-4
Suppose 1 = -2*z - 5*n, -2*z - 2*n - 3 = -5. Solve -z*h + 6 = h for h.
2
Let h(z) = 4*z**2 - 2*z + 3. Let p(u) = u**2 - u + 1. Let y(b) = h(b) - 3*p(b). Let k be y(0). Solve k = 3*a + 2*a for a.
0
Suppose 0 = 4*o - 3*u + 15, 2*u - u - 5 = 0. Solve -5 = -o*f + f for f.
-5
Suppose -2*c - 4 = -5*v, 5*c = c - 5*v + 22. Solve -7*l = -c*l for l.
0
Let p(w) = -w**2 + 3*w + 3. Let g be p(0). Solve 2 = -a + g for a.
1
Suppose 0*x - 3*x + 2*o + 15 = 0, 9 = 5*x + 2*o. Let y be 10/(-6)*x*-1. Solve -y*f = 18 + 2 for f.
-4
Let a(l) = 13*l**3 - 3*l**2 + 3. Let c be a(1). Solve 5*d - 2 = c for d.
3
Let u be (16/(-5))/(6/(-15)). Solve -1 - u = -3*s for s.
3
Let a be -1*2*1*(-11 + 9). Solve 0 = -a*j + 7 - 27 for j.
-5
Suppose 2*z + 2*w - 8 - 4 = 0, 3*z - w - 14 = 0. Suppose 5*o + 28 = 3*k, -3*o = 4 + 2. Suppose 5*y - y - 5*s = 15, -2*s - k = -y. Solve -z = -y*f + f for f.
-5
Let u be 0 + 5 + -5 + 0. Solve u*p = 2*p for p.
0
Let h = -13 + 27. Let g be -1 + h - (-1 - 0). Suppose 0 = 4*d + v - 18, -5*v + 4 - g = 0. Solve -d*u = -2*u + 15 for u.
-5
Let j be (-9)/(-1)*-1*-1. Suppose 0 = 10*x - j*x. Solve x + 1 = w for w.
1
Let o(w) = 2*w**2 - 5*w. Let u be o(4). Suppose 3*g - 4*k = 18, -2*g - k + u = -5*k. Let q be 0 + (g - (0 - 0)). Solve 3*h = h + q for h.
3
Suppose -5*c - 4*a + 86 = 0, -2*c + 3*c - 34 = -5*a. Solve 5*l = -c - 1 for l.
-3
Suppose 5*c - 50 = 5*i, -10*c = -8*c + 2*i - 4. Solve 4*k - c*k - 8 = 0 for k.
-4
Suppose 2*b - 30 = -0*b. Solve 4*x = x + b for x.
5
Suppose -20 = -3*w - 3*h + 1, 3*h = 5*w + 5. Let y(z) = -8*z**2 - 6*z + 0*z**3 + 5*z - 8 - z**3. Let b be