-5
Let r(f) = f**3 + 11*f**2 + f + 15. Let l be r(-11). Solve 11 + l = 5*w for w.
3
Suppose 4*t - 10 = 2*k, 5*t - 4*k - 10 = 2*t. Suppose f - 2*f + 3 = 5*v, 6 = 2*f + 5*v. Solve -f*a + t = -1 for a.
1
Suppose 4*n - 2 = 6. Let h be -1*-1*4 - n. Let t be (-1 - -1)/(3 - h). Solve 4*v + t*v = 0 for v.
0
Let d be (-4)/(-18) - (0 - (-16)/(-9)). Solve -d = z - 1 for z.
-1
Let h = -13 - -33. Let f(d) = -d**2 + 11*d - 9. Let v be f(9). Let g = v + -6. Solve -g*x + h = 8 for x.
4
Suppose -2*s + 4*i = -4*s + 12, -s - 3*i = -5. Suppose 0 = -2*r - 0 + s. Solve -2*l - 2*l = r for l.
-1
Let h be 18/12*6/9. Solve -a + h = -0 for a.
1
Suppose 2*n - 3*n + 3 = 0. Suppose 2 = -2*y - 2*j - 0*j, -5*y + n*j + 27 = 0. Solve y*m = m for m.
0
Let q = 28 + -28. Suppose 0 = -3*w + 3 + 3. Let l = 4 - w. Solve -l = m - q*m for m.
-2
Let s = 15 + -13. Solve 0 = 3*u - 13 - s for u.
5
Let n = 21 - 18. Suppose -43 + 124 = n*w. Solve 4*v - w = -11 for v.
4
Let q be (-115)/(-20) + -6 - 1/(-4). Solve 4*p + 0*p + 16 = q for p.
-4
Let t be 2/(-6) - 13/(-3). Solve 0 = t*k + 4 + 4 for k.
-2
Let v(t) = -t + 4*t - 4*t + 6 + 0*t. Let q be v(4). Solve q*p + 0 = -2 for p.
-1
Let u = 61 - 57. Solve 5*h = u*h for h.
0
Suppose b + 9 = 5*t, 4*b = -0*t - 2*t + 8. Let d be (1 - 0)*(-4 + b). Let c be (12/(-9))/(2/d). Solve -5*z + 3 = -c for z.
1
Suppose 3*q + 4*b - 20 = 0, -7 - 18 = -5*q - 5*b. Suppose -d - 25 = -5*z, 0 = 2*z + z + 3*d - 15. Suppose 0*j - 2*j = 0. Solve -g + z + q = j for g.
5
Suppose 4*h = 5*t, 9*t = 4*t + h. Let m be (-2)/2 + 5 - t. Suppose -12 = -4*q - 4. Solve m*l = q*l - 6 for l.
-3
Let d(x) = 2*x**2 + 8*x. Let q be d(-4). Suppose 0 = -2*g - q*g. Solve 5*z + 16 + 9 = g for z.
-5
Let u(q) = q + 9. Let f be u(-6). Let b(l) = -l + 1. Let k be b(0). Suppose 5*s + k = 6. Solve -d + s + f = 0 for d.
4
Let n be (25/(-15))/((-4)/12). Suppose n*q + 14 - 54 = 0. Solve 4*k = -0*k + q for k.
2
Let a = 21 + -21. Let h be (5 - a)/(0 - -1). Solve p - 1 = -h for p.
-4
Suppose -82 = 4*l - 130. Solve -4*j + j - l = 0 for j.
-4
Let q be (4/2)/((-1)/(-1)). Suppose -4*m = -z - 4, 3*z - 6*z + 8 = -q*m. Solve m*x = -x for x.
0
Let q(x) = -x**3 + 9*x**2 + 11*x - 10. Let p(h) = -2*h - 2. Let f = 9 + -15. Let w be p(f). Let o be q(w). Solve 12 = -o*c + 4*c for c.
3
Suppose -5*z + 17 = -4*h, 5*h + 1 = -3*z + 26. Let o be z - (-1 + -1)/(-1). Let g = -31 - -36. Solve g*i + o = -22 for i.
-5
Let i(p) = p + 8. Let m be i(-6). Suppose 4*z + 8 + 16 = 0. Let s = z + 12. Solve m*q = -0*q - s for q.
-3
Let x = 93 - 89. Solve -x*o = -0*o for o.
0
Suppose 5*t - t + 60 = 0. Let i be 3 - (-5)/(t/9). Solve -2*l + 2 = -i*l for l.
1
Suppose 5*o - 2*o = 18. Let l(g) = -2*g + 2. Let w(b) = -b + 1. Let t(a) = -6*l(a) + 11*w(a). Let r be t(6). Solve -r*d + 2 = -o*d for d.
-2
Let u(o) = -o**3 + o**2 + 1. Let t be u(2). Let h be t/2*40/(-15). Solve h*i - 20 = -0*i for i.
5
Let l be (18/4)/(15/20). Let p = 0 + -6. Let m be (22/p)/((-2)/l). Solve m - 2 = 3*n for n.
3
Let o(t) = -t**2 + 11*t - 13. Let y be o(9). Solve 0*w = -w - y for w.
-5
Let s = -7 + 6. Let g = 2 - s. Suppose 0*q = -g*q. Solve 5*j + 2 + 13 = q for j.
-3
Let o = 2 + -2. Suppose -4*h + 7 + 9 = o. Solve -12 = -0*a - h*a for a.
3
Suppose -p + 19 = -b + 4*b, 0 = -3*b - 5*p + 35. Solve -15 = b*a - 0 for a.
-3
Let i = 7 + -3. Solve -3*c - i = -c for c.
-2
Suppose -45*q + 47*q = 2. Solve -3*p + 7 = q for p.
2
Let m(a) = 5*a - 18. Let y be m(4). Solve 0*j = -y*j - 10 for j.
-5
Let k(c) = -3*c + 18. Let a be k(6). Solve -3*s + 0*s - 15 = a for s.
-5
Let l(h) = -h**3 - 5*h**2 - 3*h - 2. Let a be l(-2). Let f(w) = w + 10. Let j be f(a). Solve -j*t - 2*t = -20 for t.
5
Let r = 21 - 19. Solve -r*z - 1 = 3 for z.
-2
Let v(b) = 7 + 0*b - b + 9. Let n be v(12). Solve -15 = n*c - c for c.
-5
Suppose -5*k = -0*k - 5. Let y be k - ((-1)/1 - -2). Let g be (4/(-3))/((-4)/12). Solve g*u + 12 + y = 0 for u.
-3
Let z = -38 - -73. Suppose -33*l = -z*l. Solve 2*u + 4 = -l*u for u.
-2
Let f(x) = -x**2 + 2*x + 11. Let s be f(4). Solve -s*j + 1 = 10 for j.
-3
Let v = -21 + 37. Solve 0*u = -4*u + v for u.
4
Suppose -3*a + 4 - 1 = 0. Let g be ((-27)/(-3))/((-9)/(-6)). Suppose g*y = 2*y + 16. Solve a = 3*d + y for d.
-1
Let p be (3 - 19)/(-4) + 16. Solve 0*b - 4*b - p = 0 for b.
-5
Let u = -2 + 2. Let y = 1 - u. Solve 3 = -l + y for l.
-2
Suppose f = -2*f + 12. Solve f = -4*d + 8*d for d.
1
Let y = -8 - -14. Let f be ((-4)/(-6))/(y/9). Solve c = 2*c - f for c.
1
Suppose -w + 4 = 5. Let z = w + 4. Let b be 5/(-15) + 13/z. Solve 0 = -4*v - b - 0 for v.
-1
Let p(z) = 2*z - 6. Let u be p(3). Solve -8 = -u*j + 4*j for j.
-2
Let w be 10*(1 - 6/10). Solve w*q = 2*q for q.
0
Suppose -42*u = -41*u. Solve u = -4*l - 5 + 1 for l.
-1
Suppose 4*r = 4*x - r - 36, -4*r - 20 = -x. Solve -x*f + 29 = 45 for f.
-4
Let l = 0 + 2. Let h be -1*l/(-2)*2. Solve -h*c + 5 = -3*c for c.
-5
Suppose -15 = 6*t - 51. Solve 0*z = -3*z + t for z.
2
Let v be 15/(-6)*(-8)/5. Let p(s) = -s**2 - 9*s - 14. Let i be p(-4). Solve 0 = -5*b - i - v for b.
-2
Let n be (39 - 1)/(0 - -2). Solve 3*x = -7 + n for x.
4
Suppose 20 = -2*l + 28. Solve -8 = l*k - 28 for k.
5
Let d = -18 - -12. Let n(f) = -f**2 - 5*f + 7. Let z be n(d). Solve 5*m = -z + 6 for m.
1
Suppose 5*v - 3*v = 60. Suppose -v = -3*c + 3*a, c = 5*a + 7 + 11. Solve 0 = -0*m + 4*m + c for m.
-2
Suppose 42 = 3*i + 5*j - 4, 5*i - 3*j - 20 = 0. Solve -6 = -i*m + 4*m for m.
2
Let l(m) = -4*m - 10. Let k be l(-5). Solve 7*y = 2*y + k for y.
2
Suppose -5*s = -2*s. Suppose 0*a - 4*a = s. Solve a = -0*y - 2*y + 2 for y.
1
Let h = 7 + 0. Solve h*a = 3*a + 16 for a.
4
Let o = -18 - -20. Solve o*f - 7 = 1 for f.
4
Let b(w) = -w**3 + 5*w**2 + 5*w + 5. Let i be b(6). Let a be 12 + 0/((-1)/i). Suppose -4*p = p - 20. Solve p + a = -4*q for q.
-4
Let i(z) = z**2 - z - 1. Let k be i(-2). Suppose -y - k = -6*y. Let d be (-1)/2*(-2 - -2). Solve -2*b - 5 + y = d for b.
-2
Suppose -47 - 10 = -3*v + 3*j, 0 = 4*v + 3*j - 48. Solve f = 4*f - v for f.
5
Suppose 10*h = 5*h. Suppose 0 = 5*k, 0 = 2*i + k + 5 + 3. Let f be i/14 + 69/21. Solve -6 = -f*c - h for c.
2
Let w be 0*(-3)/(-6)*-1. Let x = 39 + -25. Let y = x - 10. Solve w = y*n + n + 25 for n.
-5
Let a(c) = 4*c + 8. Let g be a(-2). Solve g = -0*n - n + 4 for n.
4
Let q(c) = -3*c - 3. Let l be q(-2). Suppose l*a - d = 6, 4*a + 2*d = 3*d + 7. Let w be 4/6 + (-52)/(-12). Solve -w*r = -6 + a for r.
1
Let x = 4 + -4. Suppose -1 = -4*v - 9. Let h = 2 + v. Solve i + 3 + h = x for i.
-3
Suppose -5*m - 23 = -r, 0*m + 3 = r + 5*m. Solve -r = -5*w + 12 for w.
5
Let q be 2/(-4)*(-4 - -4)/1. Solve -2*d - 4 + 12 = q for d.
4
Let p(n) = n + 19. Let r be p(-7). Solve 5*m + r = m for m.
-3
Let u(y) = -y**3 + 9*y**2 - 5*y - 4. Let o be u(8). Solve -2*w + o = 3*w for w.
4
Let d be 26/7 + 34/119. Suppose -n - d*o - 66 = -4*n, 0 = -5*n + o + 93. Solve 0 = 5*u + n + 2 for u.
-4
Let z be (-54 + 68)/(2/(-2) - -3). Solve z*k - 2*k + 5 = 0 for k.
-1
Let a = -7 - -6. Let t = 2 - a. Suppose 8 = -4*v + 2*u, -5*v - t*u - u = -16. Solve 0*z - z - 3 = v for z.
-3
Let a be 1*(1 - 2)*-13. Suppose 4*w = 13*w - 99. Let g = a - w. Solve 12 = -g*s - s for s.
-4
Let h = 3 + -1. Suppose -2*i - h = 2*r, 4*r - 5 = -r + 5*i. Let o = 3 + r. Solve 0 = o*c + c + 16 for c.
-4
Let t = -14 - -10. Let m be 0 + (-1 - (t - 0)). Solve -4*k = -m*k + 1 for k.
-1
Suppose 4*y - 3*g - 34 + 11 = 0, -3*y - g + 1 = 0. Solve -y*a = a for a.
0
Suppose -11 - 4 = 3*k. Let p = -1 + -23. Let w be p/(-10) - (-2)/k. Solve 0 - w = -s for s.
2
Suppose l + l + h = 0, 4*h = -3*l. Solve l = -4*r - 15 - 5 for r.
-5
Let y(b) = -b - 1. Let w be y(-1). Suppose w = 3*z + z - 20. Let q = -2 + z. Solve -1 - q = 4*a for a.
-1
Let i(s) be the third derivative of -s**6/120 + s**5/30 - s**4/24 - s**3/6 + 2*s**2. Let n be i(-2). Let x = n + -5. Solve x - 4 = -2*v for v.
-4
Suppose -y + 7 - 5 = 0. Suppose -j + 5 - 3 = 0. Suppose 4 + 2 = j*i. Solve y*k + i = k for k.
-3
Let d(n) = -n**2 - 8*n + 9. Let m be d(-9). Solve -6*o + 4*o + 8 = m for o.
4
Let m be (10/6)/((-1)/3). Let b = 7 + m. Let z(x) = x**3 - x + 3. Let g be z(0). Solve -k = -g + b for k.
1
Suppose -5*r + 4*g - 1 = -4, 3 = 2*r - g. Solve 0 = 4*v - 3*v - r for v.
3
Let i be -2 + (4 - 3)*5. Solve 4*h - 11 + i = 0 for h.
2
Let t be 3 + 14 + (-3 - -1). Solve d + 