+ 4, -3*q = -3. Solve -3*d = -d - r for d.
1
Let b be (0/4)/(1 - -1). Suppose b = t - 0*t - 3. Solve -t*x + 5 = -4 for x.
3
Suppose -8*t + 12*t - 4 = 0. Solve l = 3 + t for l.
4
Let u = 7 - 7. Let a = u - -3. Solve 0 = a*y + 1 - 4 for y.
1
Suppose 2*m - 5*i - 53 = 0, -3*i - 61 = -4*m - 2*i. Solve -2*x + m = 4 for x.
5
Suppose 0*i - 5 = i, -o + 5*i + 46 = 0. Let f(t) = t**2 - 5*t + 2. Let l be f(3). Let x be (l/2 + 1)/(-1). Solve -o = 4*k - x for k.
-5
Let t be 2/3 + 20/6. Suppose -3*l + 2*h + t + 8 = 0, -1 = l + h. Solve -3*s = l*s for s.
0
Let o(w) = w**3 - 4*w**2 - 9*w - 4. Let g(k) = -k**3 + 3*k**2 + 8*k + 4. Let u(b) = 6*g(b) + 5*o(b). Let j be u(-3). Solve -12 = -n + j*n for n.
-4
Suppose -4*y = -5*g + 3, 5*y = -2*g + 2*y - 8. Let v be (8 - 5)*g/(-1). Solve -v*k - 5 = 2*k for k.
-1
Let t = 10 - 14. Let n be ((-2)/t)/((-1)/(-40)). Solve -2*p - 3*p - n = 0 for p.
-4
Let g = -1 + 2. Suppose 3*b + 24 + 15 = 0. Let v = b + 18. Solve v*c = 11 - g for c.
2
Suppose z = -z - 5*r - 16, 2*z = 5*r + 4. Let s be (1 + 0)/(z/(-6)). Solve -s*y - y + 9 = 0 for y.
3
Suppose 2*a - 3*p = -3, -3*p + 18 = -2*a + 5*a. Let d(v) = -2*v. Let j be d(-1). Suppose 2*m + a*g + 11 = 0, 14 + 5 = j*m - 3*g. Solve m*i + 8 = -0*i for i.
-4
Let l(d) = -8*d - 26. Let x(r) = 3*r + 9. Let m(j) = 6*l(j) + 17*x(j). Let a be m(3). Suppose 10 = a*q - q. Solve -1 = -q*i + i for i.
1
Let k = 1 + -1. Let g = -9 + 11. Let n = k + g. Solve -l = -n - 1 for l.
3
Let f = -74 - -81. Solve -3*p + 2 = -f for p.
3
Let a(l) = l**3 + 9*l**2 - 9*l + 13. Let v be a(-10). Suppose -s - v*n - 11 = n, -3*s - n = -11. Solve -s*w = -4*w - 5 for w.
5
Let n(k) = 14*k**2 - 1. Let o be (-2)/3*(-6)/(-4). Let m be n(o). Solve -4*w + m = -3 for w.
4
Suppose 2*s = -3*h + 12, -5*s + 2*h + 51 = 21. Solve s*u - 5 = u for u.
1
Let y be 26/(-4)*(-4 + 2). Solve 3 = -5*v + y for v.
2
Let s(d) = -d**3 + 4*d**2 + 5*d + 4. Let n be s(5). Let k(p) = p - 4. Let j be k(n). Let f be (-2)/2 + 2 - 1. Solve j = 4*r + 16 - f for r.
-4
Let p = 42 + -38. Solve 3*r = p + 5 for r.
3
Suppose j + 3 - 1 = b, -5*j - 18 = -b. Let d be 0 + 3*(b - -3). Solve 1 = -d*z - 2 for z.
-1
Let l = -41 - -45. Solve -l*f - 19 = -3 for f.
-4
Let z be (8 + 4)*(0 + 1). Solve -4 = -4*h - z for h.
-2
Let s be 3/12 + (-12)/(-16). Let v = 1 + -1. Suppose -l - 5 = 5*b, 0 = -v*l + 2*l + 10. Solve b*y + s = y for y.
1
Suppose -25 = 4*z + z. Let n(b) = -b**2 - 7*b + 2. Let c(i) = i**2 + 7*i - 2. Let u(w) = 2*c(w) + 3*n(w). Let k be u(z). Solve k = 4*r - 0*r for r.
3
Let z be 2/(-1) + 15/(-3). Let b(g) = 6*g + 0*g**2 - 5 - 6*g**2 - g**3 + 0*g**2. Let c be b(z). Solve 4 = 6*a - c*a for a.
1
Let k = -130 - -93. Let r = -17 - k. Suppose 0 = 2*t - 0*t - 12. Solve -2*g = -t*g - r for g.
-5
Suppose y + 2*y = 6, 0 = 3*l - 4*y - 1. Suppose -l*h = -2*h - 4. Solve 0 = -2*f + h*f - 2 for f.
1
Suppose -5*w - 3*j + 4*j + 18 = 0, 3*w + 3*j = 0. Let c = 8 - 5. Suppose 0*d - 52 = -3*n + d, 3*d + c = 0. Solve n = -4*k - w for k.
-5
Let h be 7*(-2)/(-6) - (-32)/48. Solve 4 = h*u - 5 for u.
3
Suppose -v + 63 = 5*n, 5*n = -0*n + v + 57. Solve 0 = -4*i - 4 - n for i.
-4
Suppose -45 = 5*g + z - 0*z, 0 = g - 4*z - 12. Let b = g - -12. Solve -22 + 2 = b*m for m.
-5
Let b = -95 - -95. Solve b = -r - r + 10 for r.
5
Let m(r) = -r + 1. Let g be m(1). Suppose i - 5 + 1 = g. Solve u - i*u + 15 = 0 for u.
5
Let g be (-5 - -2)*1*-3. Let u be 0*2*3/12. Suppose u*p = -p. Solve -g + p = 3*b for b.
-3
Let i be (-402)/(-10) - 1/5. Let c(z) = -2*z**2 + 18*z - 11. Let n be c(8). Suppose 0 = -7*r + 4*r - 5*p + 45, 4*r - 60 = p. Solve -r + i = -n*s for s.
-5
Suppose -4*y - 4 = -8*y. Solve -o + y = -1 for o.
2
Let m(b) = -4*b**2 - 3*b - 2. Let v be m(-1). Let q be 6 + v/(2 - 1). Solve q*y = 2*y + 4 for y.
4
Let f = 61 - 60. Solve -b = -f + 2 for b.
-1
Suppose 0 = -3*z + 6*z - 24. Let u be 0 + 0*5/10. Solve u = 3*r - 4 - z for r.
4
Let f(t) = 2*t + 12. Let b be f(-5). Solve 3 = b*a - 1 for a.
2
Let p(z) = -z**2 + 5*z + 1. Suppose 5*g = 12 + 8. Let r be p(g). Solve 3 - r = d for d.
-2
Let z = 10 - 8. Solve z*a + 0*a = 0 for a.
0
Let v be (-7)/(28/8) - -17. Solve 3*t + 0*t - v = 0 for t.
5
Suppose 5*m = -u - 0*m + 15, 2*u - 4*m + 12 = 0. Suppose -3*j + 93 = -87. Suppose -5*b = -2*y - j, -2*b = -6*b + 2*y + 48. Solve 3*c + u = -b for c.
-4
Let x = 34 + -30. Suppose 2*m - 3*m = 0. Solve m = -w - w + x for w.
2
Let z(s) = 2*s**3 - s**2 + 1. Let d be z(1). Let m(w) be the first derivative of w**3/3 + 10*w + 1. Let l be m(0). Solve d*k = -0*k + l for k.
5
Let i be 0/(-3 - (0 + -5)). Suppose i = 3*y - 6*y + 6. Suppose 5*h + 21 - 81 = -d, 2*h + y*d - 24 = 0. Solve -h = t + 3*t for t.
-3
Let n(g) = g - 6. Let d be n(6). Solve -b = -d*b + 3 for b.
-3
Let v be (-9)/(-2)*20/6. Suppose 0 = -c + 3*c - 4*q + 10, 0 = -2*c - q + v. Solve 0*x = c*x + 10 for x.
-2
Let p be (-1 - (-4)/6)*-1*15. Solve p = 2*u - 3 for u.
4
Let s be 2/(-6) + (-78)/(-18). Suppose 6*l - s = 4*l. Solve 0 = l*t - t - 3 for t.
3
Suppose 0 = -3*u + 4*u + 3. Let j be (-1)/(-2) - u/6. Solve 3*a - j = 2 for a.
1
Let h be (2 - 2) + (-1 - 5). Let m be ((-8)/h)/(4/12). Let t be (-12)/(-8) + (-2)/m. Solve 2*u - t = 3*u for u.
-1
Let w = 33 - 29. Solve -w + 1 = -h for h.
3
Suppose 0*c + 3*f + 10 = 2*c, 2 = -4*c - 5*f. Solve 13 = -5*w - c for w.
-3
Let o(j) = 3*j**2. Let z = -3 + 6. Let u be o(z). Solve 4*h = -7 + u for h.
5
Let l be (-2)/6 - 42/(-18). Solve -l*n + 2 = -6 for n.
4
Let j = 3 + -5. Let p be (-1 + (j - -3))/1. Suppose 0 = -2*y + 4 - p. Solve -a - 3 = -y*a for a.
3
Let t = -8 - -9. Solve 0 = z + t - 6 for z.
5
Let n(z) = z**3 + 5*z**2 + 3. Let x be n(-5). Let r(d) = -d + 1. Let c be r(x). Let u = c - -4. Solve u = -v - 3 for v.
-5
Let s(h) = -h**3 - 5*h**2 + 6*h. Let n be s(-6). Suppose -2*w = -8, -a + 4*w - 9 - 1 = n. Solve -3*l = -0 - a for l.
2
Let l = -8 + 24. Solve 0 = -3*k - 1 + l for k.
5
Let w = 15 + -5. Let u be (w/4)/((-4)/(-8)). Suppose -5*b + 160 = -0*b. Solve 7 - b = u*q for q.
-5
Suppose -2*m + 5*c + 1 = -23, -5*m - c = -6. Suppose -f = m*f - 24. Solve 0*s = -2*s - f for s.
-4
Let p = -8 + 8. Suppose -f - f + 8 = p. Solve -2*w = -f*w - 6 for w.
-3
Let i(u) = -u**3 + 10*u**2 + 12*u - 1. Let b be i(11). Let y = 17 - b. Solve 5*p + 17 - y = 0 for p.
-2
Let t(d) = -d**2 - 6*d + 10. Let m be t(-7). Suppose -4*a - m*j = -3*a - 11, a = j - 1. Solve -p - a = p for p.
-1
Let z be 8/(-20) - (-34)/10. Suppose 4*i = -4*o + 20, i - 2*i - z*o = -11. Solve 3 - 5 = -i*f for f.
1
Let d(b) = -b**2 + 9*b + 3. Let p be d(9). Let i be p + 3 + 9/(-3). Solve -2*k = -i*k - 1 for k.
-1
Let c be ((-27)/6)/((-1)/2). Let p = c - 12. Let i = p - -22. Solve -5*d + 1 = -i for d.
4
Suppose 4*g - 2*r = 0, 0 = g - 5*g + 5*r - 12. Solve 4 = -0*d + g*d for d.
2
Let y(d) = -5*d + 8. Let w be y(1). Solve w + 2 = 5*r for r.
1
Suppose 0 = 4*w - 20, -2*p - 29 = -p - 5*w. Let d be p/(-8)*(-1 - -1). Solve d*y = -5*y - 5 for y.
-1
Let z = -78 + 80. Solve -u - 2 = -z*u for u.
2
Let w(v) = v**3 - 2*v**2 - 2*v + 2. Let z be w(2). Let l = 0 - z. Suppose 0*t = -l*t. Solve 3*s = -t*s + 9 for s.
3
Let g be ((-25)/20)/(-1)*4. Solve 4*w + g = -w for w.
-1
Let x = -998 + 1001. Let b be ((-4)/(-2))/(1 - 0). Solve b*v - x*v = -4 for v.
4
Let g = 7 + -2. Let z(p) = p**2 + 3*p - 3. Let r be z(-4). Let q = g - r. Solve -3*s = -s + q for s.
-2
Let j(g) = 5*g**3 - g**2 + 1. Let x be j(1). Let z(w) = -6*w**2 + 7*w**2 + w + w**2. Let n be z(-1). Solve x*d + 24 = -n for d.
-5
Suppose -2*j + 9 = j. Solve j*z - 6 = -3 for z.
1
Suppose -6*o - 6 + 36 = 0. Solve -j - 2 = -o for j.
3
Let a be (-2)/(-6)*(11 - 2). Suppose g = -a*g. Suppose -4*u + 2*q = -16, g*q = -q. Solve 8 = 3*f - u for f.
4
Suppose -5*v = -0*v - 5. Let o = 12 - 10. Suppose 2*j + 2*j + 2*r - 18 = 0, j + o*r = 6. Solve -j*h - 9 = -v for h.
-2
Suppose -3*d - 4*o = -115, 4*o = -2*d + 37 + 41. Let f = d - 25. Suppose -1 - 2 = -h + i, -4*i - f = 4*h. Solve 0*q - q - 1 = h for q.
-1
Let y(j) = -6 + 3 - 3*j + 4. Let d be y(1). Let n = d - -4. Solve f + n*f = -3 for f.
-1
Let y be -3 - (-8*1 - -3). Solve 0 = 5*k - y*k - 12 for k.
4
Suppose 3*g = -2*g + 10. Solve 2*o = -0*o - g for o.
-1
Let m(b) = -9*b - 3. Let k be m(-2). Solve 0*i = -3*i - k for i.
-5
Suppose -33 = 6*x - 51. Solve -x*n = -5*n + 4 for n.
2
Suppose 0 = 4*l - s - 30, -2