t a be 2*(3 + (-7)/2). Let x(d) = -7*d**3 + d**2 + d + 1. Let r be x(a). Solve -b + 3 - r = 0 for b.
-5
Let o(c) = -c + 16. Let j be o(11). Solve j*g - 6*g = -2 for g.
2
Let t be (-4 + 3)/((-1)/3). Suppose 0 = 2*h + m - 5, -h + 3*m + 10 = 5*m. Suppose h*n = n - 3. Solve n*q = 4*q - t for q.
3
Let w(v) = v + 5. Let h be w(-4). Solve -g - h = -2*g for g.
1
Suppose 0 = 4*f + 5*t - 27, -5*f + 3 = -5*t + t. Solve 17 = -4*i - f for i.
-5
Let i be -1*27*(-3)/9. Let n = -4 + i. Let f = -3 + n. Solve f*y - y = 0 for y.
0
Let k be 5 + 8/((-6)/3). Solve -v + 5 = k for v.
4
Suppose o + 4*i - 60 = 0, 5*o + 4*i - 220 = -0*o. Suppose 0*p - 4*p = o. Let v be ((-6)/12)/(1/p). Solve 0 = h - v for h.
5
Let l(j) = -j**3 + 23*j**2 - j + 27. Let i be l(23). Solve 0 = -i*q - 2 - 18 for q.
-5
Suppose 3*b + 2*v - 42 = 5*v, b - 18 = -v. Solve 2*u + 2*u - b = 0 for u.
4
Let k(r) = -r**3 + 7*r**2 - 5*r - 2. Let y be k(6). Suppose 0 = -j - 2*p + 10, -4*p = -y*j - p - 15. Solve 0*i + 2*i - 6 = j for i.
3
Suppose -4*m + 8 = 4*v, 2*m - 4*v - 7 - 15 = 0. Solve m = d + 4*d for d.
1
Let o(p) = p**2 + 6*p + 5. Let c be o(-5). Let s be 12/2 - 2/1. Suppose 3*y - s = -2*y - b, -2*y + 2*b = 8. Solve y = -5*j - c*j + 25 for j.
5
Let d = 6 - 7. Let o = d + 10. Solve -4*k = -k + o for k.
-3
Let n = -9 + 9. Suppose n = 3*s + 2*s + 3*w - 45, 4*s - 58 = 2*w. Solve 0*u + s = -4*u for u.
-3
Suppose 11*r = 6*r. Suppose -6*i + 7*i - 1 = r. Solve 0*v = v + i for v.
-1
Let k be (-1 - 9)*5/(-25). Solve -f - 1 = -k for f.
1
Let c be (-1 - (-1 - 0))/2. Suppose c*x - x - 4*u + 22 = 0, -15 = -3*u. Suppose 0 = -2*k - x + 6. Solve -8 = 4*z - k*z for z.
-4
Let v(i) be the third derivative of -i**4/6 + 2*i**3/3 - i**2. Let z be v(-6). Suppose z = 3*k - 20. Solve 0*w + k = 4*w for w.
4
Let k = 10 - 3. Let g = 9 - k. Solve i = -g*i for i.
0
Let w = -4 - -8. Suppose w*h + 7 = 23. Suppose -3*p + 15 - 6 = 0. Solve -x = -p*x + h for x.
2
Let y(c) = 4*c**3 + 1. Let n be y(1). Let b be 2 + (n - (0 + 3)). Solve -b*k + 4 + 12 = 0 for k.
4
Let r(i) = -3*i - 1. Let w be r(1). Let c = w + 6. Solve 0 = c*q + 4 - 0 for q.
-2
Let k = -31 - -32. Solve 3*n = k - 10 for n.
-3
Suppose -4*f + 2*k = -26, 3 = -k - 2. Suppose 3*t = 4*t - 1. Solve f*m - t = 3 for m.
1
Let j = 18 + -11. Suppose u + 1 = 2*h, -u = -4*u + 4*h + 7. Let q = j + u. Solve -41 = -5*x - q for x.
5
Let c = 17 + -17. Suppose -4*p = 3*z - 23 - 1, 4*z = -3*p + 25. Solve -2*i + 7 + p = c for i.
5
Let i(w) = 3*w - 25. Let l be i(9). Solve -l*m = m for m.
0
Let c = -15 - -10. Let d be (-90)/(-25) - 2/c. Let r(k) = -k + 5. Let p be r(d). Solve u + 0 = -p for u.
-1
Suppose 3*f - 7 = 4*b - 0*b, -3*f + b = 5. Let w(d) = 2*d. Let c be w(f). Let n be 4/6 - 14/c. Solve n - 13 = 5*l for l.
-2
Let a be (2/(-8))/(12/(-96)). Let n be (-1)/2 - (-2)/4. Suppose n = l - a - 2. Solve -l*b = -2 - 2 for b.
1
Let b be (0 + 5 + -4)*(0 - -5). Solve 0 = -b*j + 5 for j.
1
Suppose -2*m = -3*g - 0*m + 10, -4*g - 4*m = 0. Solve x = g*x + 5 for x.
-5
Suppose 0 = -2*v - 0*v + 6. Suppose 4*m + 0*m - 2*t = 12, 4*t = 5*m - 18. Let o(p) = p**2 + 4*p + 2. Let i be o(-4). Solve -i*s = -v*s + m for s.
2
Let v be 1 + 1*(7 + 0). Suppose 3*m - v*m = 0. Suppose m = -2*a + 4*n + 26, -2*a + 5*n - 2*n = -22. Solve -2*p - 6 = -a*p for p.
2
Suppose 3*p + 2 - 11 = -u, 3*u - 51 = 3*p. Suppose -a - u = -y, 3*y + 8*a - 3*a = 53. Suppose 0 = 4*d - 2*s - y, -d + 4*s + 1 = 4. Solve -d*k - 3 = 2 for k.
-1
Let n(l) = 3*l - 5. Let q be n(2). Solve q = -4*a - 3 for a.
-1
Suppose 0 = 2*u + 3*u - 10. Let b = u + 1. Suppose -3*j = -2*m + 1, -3*m + 4*j - 2 = -2*m. Solve 0 = b*a - m*a for a.
0
Suppose o + 2*o = 6. Suppose -3*d = o*m - 6, 2*d - 5*d - 6 = -2*m. Solve j + 2 + 2 = d for j.
-4
Suppose -3*n = 4*m - 6 - 0, -n + 2 = 0. Solve -3*p + 8 + 4 = m for p.
4
Let i(h) = -h**2 + 11. Let y be i(0). Let z = -7 + y. Let q be 1 + -2 + 0 + 1. Solve q*k + 8 = -z*k for k.
-2
Let u(o) = -o**2 - 15*o - 30. Let x be u(-12). Solve -x = b + 2*b for b.
-2
Let j(d) = d**2 + 28*d + 17. Let w be j(-27). Suppose v = -2*v - 24. Let c = v - w. Solve -3 = c*p - 5*p for p.
1
Let z(w) = 3*w - 3. Let v be z(6). Solve -5*u + v = -0*u for u.
3
Let t = 20 + -10. Suppose -5*r = -t*r + 25. Let c = -3 + r. Solve 7*q = c*q - 10 for q.
-2
Let z = -6 + 1. Let a = -5 - z. Let q be 20/10 - (-3 - -1). Solve 4 = q*m - a for m.
1
Let g(z) be the third derivative of z**6/360 - 7*z**5/120 + z**3/6 - z**2. Let y(u) be the first derivative of g(u). Let f be y(7). Solve f = o + o - 4 for o.
2
Let v be 22 + -18 + 1*-1. Solve -7*p - 20 = -v*p for p.
-5
Let y(a) = a**3 + 5*a**2 + a - 3. Let o be y(-3). Suppose -w + 6 = -1. Let i = 12 - w. Solve -i*k = -32 + o for k.
4
Suppose 0 = -d - 4*d - c + 14, 16 = 2*d + 3*c. Suppose -k - 2*u = 8, k = -d*u + u - 4. Let y(l) = -l**2 + 5. Let p be y(k). Solve 0 = -n + p*n for n.
0
Let b = -6 + 5. Let g(w) = 2*w**2 - 1. Let c be g(b). Let u = -1 + 3. Solve u = x - c for x.
3
Let z(x) = x**2 + 3*x + 2. Let r be z(-4). Let o = -5 + 5. Suppose 2*v + 0*j - j - 5 = o, -4*j = 2*v. Solve 0*g + r = v*g for g.
3
Suppose -6*v + 25 = -47. Solve 4*q - 8 = v for q.
5
Let q be (-3749)/(-253) + (-4)/(-22). Solve f = -2*f + q for f.
5
Suppose 2*w = 5*n - 4, -4*n = -w - n - 3. Solve -w*m + 8 + 7 = 0 for m.
5
Suppose 5*r + 5*x = 30, -x = 2*r - 8 + 1. Let c be -4 + (8 - 4)/1. Solve c = -2*p - 3 - r for p.
-2
Let l(t) = -2*t - 6. Let m be l(-5). Let h = -6 + m. Let w be (h/2 - -1)/(-2). Solve -4*v - 16 = -w for v.
-4
Let f(d) = -7 + d - 3*d + 6*d. Suppose -v - 9 = -14. Let h be f(v). Solve -3*g - h = -1 for g.
-4
Let m(s) = -s**3 - 7*s**2 - 5*s + 8. Let v be m(-6). Suppose 2*h - 5*h + 8 = -v*n, -5*h + 7 = 3*n. Solve h*u = 4 + 4 for u.
4
Let q = -2 + 6. Let f(i) = -i + 4. Let v be f(3). Let m be v/(((-2)/(-1))/q). Solve -9 = 5*b - m*b for b.
-3
Suppose 0*r = 5*r - 20. Solve -2*b = 2*b - r for b.
1
Suppose 4*x - 2*x = -10. Let c be (-2)/(-4)*-2*1. Let s be 1*-1 + x/c. Solve -3*a + s*a = -1 for a.
-1
Suppose -5*x = 2*q - 20, -3*q = -2 - 13. Solve 0 = -2*g + 8 - x for g.
3
Suppose 0*z = -5*z. Solve z*x = x for x.
0
Let y = 1 - 1. Let x be 0 - (0 + -3)/(-3). Let t be x*10*(-5)/10. Solve -w - t = -y for w.
-5
Suppose -u - 28 = -15*u. Solve 0 = -2*z - u*z for z.
0
Let j(z) = 5*z + 3 + 4*z**2 - z**3 + z**2 + 3 + 2. Let d be j(6). Solve d*u - 3*u - 1 = 0 for u.
-1
Let b(l) = -l - 3. Let z be b(-5). Suppose -z*n - 3 = -39. Solve 2 = -4*s + n for s.
4
Let b(o) = -o**2 - o. Let k be b(0). Solve -g - 2 = -k*g for g.
-2
Suppose 0 = 4*w + j - 2, -w = -2*w - 5*j - 9. Solve 0 = 2*c - 3 + w for c.
1
Let c = 4 - 3. Suppose -a + 5 = 1. Let r be (-16)/(-6) + a/(-6). Solve c + r = 3*u for u.
1
Let x = -15 + 27. Let k be (3/(-15)*0)/2. Solve 3*p + x = -k*p for p.
-4
Let u(g) = 3*g + 2. Let q be u(2). Solve -1 = -3*i + q for i.
3
Let h(f) = 7 - 4*f + 7 - 2 - f**2 - 6*f. Let u be h(-11). Solve -2*t = u + 7 for t.
-4
Let j be 12*((-5)/(-2) + -2). Let q be (j - 8)/(4/(-46)). Solve q = 5*f + 3 for f.
4
Suppose 2*l + 29 - 33 = 0. Solve 3*b = l*b for b.
0
Suppose -5*g + 80 = -g. Let b = 123 - 119. Solve b*t + g = 8 for t.
-3
Let i be (-6 - -12 - 5)*(2 + -2). Solve -12*m + 7*m + 20 = i for m.
4
Let s = 4 + -4. Let m(v) = v**3 + 5*v**2 + 3*v - 2. Let k be m(-4). Let r = k - s. Solve -10 = -0*n + r*n for n.
-5
Let n(k) = -5*k - 8. Let d be n(-2). Solve 0 = 6*v - 5*v + d for v.
-2
Suppose q + 3 = 7. Suppose -q*p = p. Solve -6*c + 2*c = p for c.
0
Suppose -6 = -3*r - 0, 0 = n + 3*r - 7. Let a = 1 - n. Let q = -25 + 27. Solve a*s - s = q for s.
-2
Suppose -13*c + 18*c - 35 = 0. Solve 3 - c = -4*u for u.
1
Let w(o) = o**3 - 4*o**2 + 3*o + 4. Let n be w(4). Suppose 0 = h - 5*h + n. Suppose 3*s - 46 = s. Solve -s = h*v - 7 for v.
-4
Suppose 5*m - 19 - 1 = 0. Suppose -3 = -r - 2. Solve m*s + 11 + r = 0 for s.
-3
Let a(u) = 2*u - 2*u**3 + u**3 - 6 - u - 7*u**2 - 2*u. Let f be a(-7). Solve 0*g - f = g for g.
-1
Let m(g) = -8*g - g**3 + 8*g - 3*g**2 + 4. Let k be m(-3). Solve k*p = -p for p.
0
Let x be -3 + 4 + (-5)/(-1). Solve -3*p - 15 = -x*p for p.
5
Let q be 6/(-5)*(-10)/4. Suppose -q = -2*j + 3. Suppose j*c = -c. Solve c = -v + 1 + 2 for v.
3
Let h = -5 - -5. Let n = h - -5. Suppose o = n*s + 6, -25 + 1 = -4*o + 2*s. Solve -4*u - 18 = -o for u.
-3
Let c be (5 - 2) + 2/2. Suppose -2