-2
Suppose -3*i - 5 = -5*s, i + i = 3*s - 3. Let w be s*(2 + 0) - 4. Let x be (2 - (-6)/w)*-2. Solve -x = z - 2*z for z.
2
Let h(r) be the third derivative of 1/24*r**4 + 1/120*r**6 - 2*r**2 + 0*r - 1/15*r**5 + 0 + 1/6*r**3. Let y be h(4). Solve y*q - 2*q = -6 for q.
-2
Suppose 5*x = 13 - 228. Let n be 6/(-36) - x/6. Solve 0 = 4*c + n - 27 for c.
5
Suppose 14*v = 15*v. Solve -2*i - 3*i = v for i.
0
Let m(c) = c**3 + 9*c**2 + 7*c - 6. Let v be m(-8). Suppose 4*s + 0 = 4*l - 24, -v*s = -4*l + 16. Solve 0 = t - l*t + 4 for t.
4
Suppose 0 = -0*o - 4*o - 12. Let p = o - -4. Solve -5 = 2*x + p for x.
-3
Suppose -2*p - s + 40 = s, -3*p - s = -54. Let n(b) = b**2 - 6*b + 12. Let k be n(4). Solve k*v + 3 = -p for v.
-5
Suppose 5*l + 0*l = 10. Solve -3*f = l*f - 20 for f.
4
Suppose 5*z - 25 + 0 = 0. Suppose -5*s + 10 + 12 = 3*i, -z*s = 4*i - 26. Solve -4*x + 4 = -s*x for x.
2
Let m(c) = -4*c - 2. Let d be m(-2). Let i(s) = s - 1. Let j be i(d). Suppose 0 = 4*q + g - j, 1 = 2*q + g - 0. Solve -2*v + 0 = q for v.
-1
Suppose 5*o = -2*z + z + 21, 0 = -2*o + 5*z + 3. Solve 0 = 2*l + 2 - o for l.
1
Let t be 5*1 + (-2 - -1). Suppose 4 = -3*w + t*w. Let k be (0 + 3 - 9) + 6. Solve -4 = w*d - k*d for d.
-1
Suppose -4*f + 2*f + 10 = 0. Suppose 2*l + 2 = 6, f*l = 4*v + 2. Solve v*p + 0 + 4 = 0 for p.
-2
Let v(k) = k**3 + 8*k**2 - 9*k + 5. Let s be v(-9). Suppose 2*p = -n + 3*n + 2, -p - s = -4*n. Let w be 4 + p - (0 + 1). Solve -4 = -w*u + 2*u for u.
1
Let g be 3*(-12)/(-21)*7. Suppose -3*f + 0 - 6 = -5*w, -2*f - 2*w = -g. Suppose -a + f*a = 2*v + 16, 12 = 2*a - v. Solve -n - a = 3*n for n.
-1
Let g(n) = -n**2 + n + 3. Let x(k) = -k**3 + 9*k**2 - 7*k - 5. Let w be x(8). Let b be g(w). Let z = b - -3. Solve z = 3*a - 5 + 14 for a.
-3
Suppose 2*v - 5 = 1. Suppose 3*x - 7*x + 4*l = 0, -l + 8 = v*x. Solve -3*n + x*n = -2 for n.
2
Let b(w) = w**2 + 9*w + 10. Let h be (-6 - 3/1) + 1. Let v be b(h). Solve j = -v*j for j.
0
Suppose -4 - 2 = -3*u. Suppose -4*h + 20 = -0, 5*h - 13 = u*n. Let i = 14 - n. Solve 0 = -0*z + 2*z + i for z.
-4
Suppose 0 = 2*j - 9 + 5. Suppose j*s + 3*b + 14 = 6*s, -4*s - 3*b + 2 = 0. Solve -p - 1 = -s*p for p.
1
Let u be (-8)/(-5) - 10/(-25). Solve 0 = u*w + 8 - 4 for w.
-2
Suppose 0 = -5*s + 2*k + 23, -3*s - 2*k = -0*s - 1. Suppose 0 = 4*v + 3*g + 7, s*v - 8 = 4*v + 2*g. Suppose -4*m + v = -3*m. Solve 2 = -4*j - m for j.
-1
Let l(s) = s**3 + 2*s**2 - 15*s + 2. Let m be l(-5). Solve 0 = 3*t + m*t + 15 for t.
-3
Let q be (-15)/45 - (-1 + 4/(-3)). Solve s = -q*s for s.
0
Suppose -6*g = -2*g + 40. Let k = g - -12. Solve 0 = -k*b - 0*b - 10 for b.
-5
Suppose -4*c = 5*u - 21, -2*c - 2*u + 4 + 8 = 0. Suppose -5*l + 8*l - c = 0. Solve l*d = -2*d for d.
0
Let a be (-2 - -2)/(2 - 0). Suppose 0 = -m + 3*m - 4. Let f be 1 + (4 - m) + 1. Solve f*p = -a*p for p.
0
Let o = 28 - 27. Let b be 1 + 2 + (o - 1). Solve -10 = b*z - z for z.
-5
Suppose s + l = 6*l + 15, -2*s - 3 = l. Let f = s - -16. Solve -6*m - f = -2*m for m.
-4
Suppose 0 = 3*n + 3*z - 39, -2*n - 3*z + 3 = -26. Let k = -4 + 6. Let h be -1*1/k*-2. Solve h - n = 3*s for s.
-3
Suppose 0 = u - 3*u + 2*f + 18, -4*u + 3*f = -34. Let o be (0 - 2)*16/(-4). Suppose 52 = 4*k + 3*c + 2*c, 2*c = 2*k - o. Solve 3*h - u*h = k for h.
-2
Suppose 4*m - 76 = 20. Suppose 6*s + 3*s - 36 = 0. Solve -m + s = -4*t for t.
5
Suppose i + 25 = 6*i. Solve i*k + 26 = 6 for k.
-4
Let l be (2 + 6/(-4))*120. Suppose 2*o + l = -2*o. Let g be (o - 3)*3/(-6). Solve -3 + g = -3*u for u.
-2
Suppose c - 3*y - 14 = y, -c = y + 1. Suppose 0 = -c*q - 3*q + 25. Let m be (-1 + q)*(0 + 1). Solve m*a = 2*a for a.
0
Let d(b) = -b**2 - 9*b - 8. Let m = 2 - 10. Let n be d(m). Suppose z = -n*z. Solve g + z + 4 = 0 for g.
-4
Let c = -3 + 7. Suppose -3*w - 8 = w. Let o = c + w. Solve -3*t - o = 1 for t.
-1
Let i(x) = x. Let p(f) = 3*f - 3. Let v(l) = 4*i(l) - p(l). Let n be v(0). Let m be ((-4)/n)/((-14)/21). Solve 3*k = -m*k for k.
0
Let y be (2 - 0)/((-4)/(-38)). Let z(l) = -l**3 + 2*l**2 + 3*l + 3. Let n be z(3). Suppose -3*h = -4*a - n, -4*a + 14 = 2*h - 8. Solve -y + 4 = -h*j for j.
3
Let l(x) be the first derivative of x**4/4 - x**2 + 8. Let v be l(2). Solve v*h = h + 3 for h.
1
Let l = -11 - -14. Solve -p = -2 - l for p.
5
Let i = -6 - -12. Let r be (1 - i)*8/(-20). Solve -2*c + 6 = -r for c.
4
Suppose -4 = 4*t - 2*n - 6, -4 = -3*t + 4*n. Solve l - 4*l + 6 = t for l.
2
Suppose 6 = -5*j + 8*j. Solve -j*s + s = -4 for s.
4
Suppose 2*j + 3*j - 15 = 0. Let o be ((-2)/(-4))/(j/48). Solve o = -3*c + c for c.
-4
Let r = 5 - 2. Suppose -4*x - 3*d = 4 - 2, r*x - 5 = d. Suppose -x = l - 2. Solve 5 - l = -4*j for j.
-1
Let v be (-6)/((-4)/2) + (30 - 34). Let n(u) = u**2 + 3*u - 3. Let o be n(-4). Let f = v + o. Solve 0 = -f*g + 2*g for g.
0
Let m(g) = 9*g**2 - 7*g + 17. Let n(o) = 4*o**2 - 4*o + 8. Let a(q) = 3*m(q) - 7*n(q). Let r be a(5). Solve -14 = -r*j + 1 for j.
3
Let v(n) = -n**2 + 12*n - 12. Let z be v(8). Let y = 1 - 0. Suppose -y = -4*o + 11. Solve -t - z = o*t for t.
-5
Let r(g) = 11*g - 54. Let s be r(5). Let i = -2 - -2. Solve i = w + s for w.
-1
Let g(i) = 4*i. Let z be g(3). Let l = 17 - z. Suppose l = m - 0*m. Solve -m*o = -o - 8 for o.
2
Suppose -2*n - 42 = 5*n. Let c(o) = 2*o - 4*o - 5*o - o**2 - 6. Let f be c(n). Solve 4*h = -f*h - 16 for h.
-4
Suppose 0 = -n + 3*t - 11, 5*n + 5*t - 25 = -0*t. Solve -4*p + 7 = -n for p.
2
Let t(y) = -y**2 + 9*y - 6. Let u be t(8). Solve -u*d + d + 1 = 0 for d.
1
Let j(f) = -f**3 - 3*f**2 - 6*f - 15. Let u be j(-3). Solve -10 = 5*l - u*l for l.
-5
Let l be (21 + -18)*4/6. Solve -2*i = l + 2 for i.
-2
Let b be (-1 + 0 - 8/(-24))*-18. Solve 2*f - b = -f for f.
4
Suppose 9*l - 10 = 4*l + 5*g, 4*l - 12 = 2*g. Solve 5*q = 3*q - l for q.
-2
Suppose -k + 3 = -0*k. Suppose -3*s = -2*r - 5, -3*r + s - 4*s = -15. Suppose -k*w = -r*w. Solve 0*j + j + 5 = w for j.
-5
Let c(i) = 4*i**3 - i**2 + i + 5. Let k(f) = 5*f**3 - 2*f**2 + f + 6. Let r(d) = 4*c(d) - 3*k(d). Let g be r(-2). Solve -2 = -2*z - g for z.
1
Suppose 2*z + 52 = 5*z + 4*l, 16 = 4*l. Solve -3*x + z = -0 for x.
4
Let r be 8/(-6) - (-28)/21. Solve -5*o + 6*o = r for o.
0
Suppose 0 = -8*n + 4*n. Solve n = 3*v - v - 8 for v.
4
Suppose -6 + 9 = b. Solve b = -c - 1 for c.
-4
Let f = -16 - -23. Solve 0 = -3*u + f*u + 16 for u.
-4
Let j be (-5 - 0)*(-4)/(-10). Let p = j - -7. Suppose 1 - 16 = -p*v. Solve -v*t = -0*t - 9 for t.
3
Let g(v) = v**3 - 3*v**2. Let m be g(3). Let y = 15 + -13. Solve m = -d + 1 - y for d.
-1
Let l = -28 + 33. Solve l*i + 6 - 16 = 0 for i.
2
Suppose -2*k = 2*z - 14, 5*k - 3*z + 2*z - 11 = 0. Suppose 0 = -2*i - 2*g + 16, -4*i - 24 = -7*i + 2*g. Solve 5*q + k = i for q.
1
Let t(v) = v + 4. Suppose -4*i + 4 = -2*i. Let w be -2 - (i + -1 - 1). Let p be t(w). Solve p*s = s - 2 for s.
-2
Let b(m) = -m**3 + 26*m**2 + 6. Let g be b(26). Solve -3*y = -15 + g for y.
3
Suppose 2*m - 1 = -5*o - 2*m, 4 = 3*o - m. Let k be (o/(-2))/(11/(-66)). Solve -k = b + 1 for b.
-4
Suppose 0 = -2*t + 4, o - 4*t = t - 9. Let m be o/(-1 - (-9)/6). Solve v = -m*v - 3 for v.
-1
Suppose 6 + 2 = w. Solve g - w = 3*g for g.
-4
Let j be 12/7 + (-2)/(-7). Suppose z + j*z - 9 = 0. Let k be (1/1)/(1/z). Solve k*u + 3 = 6*u for u.
1
Let p = -155 - -164. Solve -3*k - 12 = -p for k.
-1
Suppose 0 = w - 2*w + m - 8, -2*m = 4*w + 20. Suppose 0 = 2*h + 3*h + 40. Let g be h/6*(w + 3). Solve g*a + 31 - 11 = 0 for a.
-5
Let h(i) = -i**2 + 10*i - 4. Let g be h(8). Suppose -k - g = 5*f, 2*k - 3*k + 15 = -4*f. Let p = -7 - -11. Solve p*x = k*x + 3 for x.
3
Let w be -2 + (-2 + 1)*0. Let k be (5 - (w - -1))*1. Let j(u) = 2*u + 3. Let a be j(k). Solve 2*d + a = -d for d.
-5
Let c(m) = m**3 + 5*m**2 - 2*m - 7. Let q be c(-5). Suppose h = -3*p + 26, -25 = -p + 3*h - q. Let n = p + -6. Solve 5*f - n = f for f.
1
Suppose -14*f + 35 = -7*f. Solve -f*u + 10 = 35 for u.
-5
Let x be -3 + (-4)/3*-3 - -6. Solve x = s + 2 for s.
5
Let z be 1/((-1)/(-2)) - 0. Solve z*k - 4*k = 2 for k.
-1
Let t be (0 - -2)*135/30. Solve t = 2*m + m for m.
3
Let c be (5/5)/((-2)/6). Let w = 6 + 2. Let r = w + c. Solve -r = d - 0 for d.
-5
Let z be 2 - ((-1)/4 + (-7)/(-28)). Solve -u + 15 = z*u for u.
5
Suppose 4*s - 4*m - 6 = -m, 5*s - 8 = 4*m. Suppose -7*h - 4*g - 8 = -3*h, -3*g = 3. Let v be s - (-2 - h) - -