= x + t for x.
3
Suppose 2*m = -n + 6*m + 15, 2*n + 18 = -4*m. Let b be 4/10*(-10)/n. Suppose 0*p - 2*p + b = -2*s, 5*s + 10 = -p. Solve p = -3*o + 16 - 4 for o.
4
Let t = 0 + -10. Let u(i) = i**3 + 10*i**2 - 2*i - 14. Let c be u(t). Let n be (0 - 2)*c/(-12). Solve -n = l - 4 for l.
3
Let g = 6 + -3. Let c(k) be the second derivative of k**3/6 + 7*k**2/2 + 3*k. Let j be c(9). Solve -s = g*s - j for s.
4
Let l be (1 - 4/(-2))/1. Suppose 3*o - 6 = 0, h - 4*h + 26 = -5*o. Suppose 4*b + h = 36. Solve -l*v = -b*v for v.
0
Suppose 5*z - 2 = 18. Suppose 3*m + z*i - 80 = -0*m, 5*m = -4*i + 120. Solve -5*r - m = -5 for r.
-3
Let h(u) = u**3 + 3*u**2 - u - 4. Let r be 3/(1 + 0 - 2). Let s be h(r). Let b = 5 + s. Solve -p - b*p = -20 for p.
4
Let v(u) = -u**2 + 13*u + 22. Let k be v(15). Let h = k - -12. Solve 0 = -4*l - h - 0 for l.
-1
Let i = -9 + 11. Suppose 5*p = 3*j + 24 - 99, 0 = 5*j + i*p - 94. Solve -4*u - u - j = 0 for u.
-4
Let u(b) = -b**3 + 3*b**2 + 4*b + 2. Let a be u(4). Solve z - 3 = a*z for z.
-3
Suppose 3*r - 12 = 3. Solve r*g - 1 = -11 for g.
-2
Let b(g) = g - 3. Let s be b(4). Let i be (s - -3)*3/2. Let n(r) = 4*r**3 - 2*r**2 + r. Let k be n(1). Solve -3*t - k = -i*t for t.
1
Let s(w) = -w + 26. Let j be s(11). Suppose 2*l + 4*y - 5 + j = 0, 2*l + y - 5 = 0. Suppose 2*x = l*x - 18. Solve -x*g = -2*g + 4 for g.
-1
Let n be 18/6*8/6. Suppose 7 = -n*m + 23. Solve -m*t + 3*t = -2 for t.
2
Let s be 10/(-4)*(-3 - -1). Solve 0 = -s*n - 2 - 8 for n.
-2
Suppose -3*o + d = 3*d - 33, 5*o - 3*d = 36. Let y = o - 5. Solve -p = -y*p - 15 for p.
-5
Suppose f + 0*f - 2*p - 3 = 0, f = -5*p + 10. Suppose j - 10 = f. Suppose 5*x = w - 4, 3*w = -0*w - x + 12. Solve -o + j = w*o for o.
3
Let n be ((-33)/(-12) - 2)*-4. Let l be 1 + -3 - (n - -1). Suppose 12*o - 17*o = 0. Solve l*t - 4*t = o for t.
0
Suppose -x = -3*b - 25, -2*x - 6 = 4*b - 3*b. Let m(f) = -f**2 - 11*f - 3. Let j be m(b). Suppose -2*w - 4*n = 18, -w + 3*n + j = -n. Solve 0*k - w = k for k.
-1
Suppose 0 = -i - 2*i. Let s = i - -1. Solve 4 = 3*g + s for g.
1
Suppose x - 20 = -4*x. Let k(w) = w**3 + 7*w**2 + 5*w - 2. Let j be k(-6). Solve j*y - 12 = x for y.
4
Suppose -2*d - 4*u + 0 = -4, 2 = -5*d + 2*u. Solve 5*t = -d*t + 25 for t.
5
Let o be (-1*(-3)/(-9))/((-3)/18). Solve 2*u = -12 + o for u.
-5
Let t = 1 - -4. Suppose 12 = 2*j + j + t*k, -4*j - 3*k + 16 = 0. Solve 2*r - j*r + 10 = 0 for r.
5
Suppose -5*m = -5*k, 11 = 2*m + 5. Suppose -30 = -3*x - 2*q, 4*x - k*q - 40 = -0*q. Suppose -x = -2*n + 10. Solve 0 = 5*c - n*c - 5 for c.
-1
Let a be -6 - 3*(-1)/(-3). Let c(r) = -3*r + 4. Let q be c(a). Solve -n = 4*n + q for n.
-5
Let m be 16/6 - (-4)/(-6). Solve m*t + 3 = -3 for t.
-3
Suppose 5*r + 28 = 3. Let q = r - -9. Suppose 3*y - q = 2*y. Solve 5 = -5*a + y*a for a.
-5
Let c = 1 + 5. Let n = 10 - c. Suppose 3*p + 4 = 22. Solve n*g + p + 2 = 0 for g.
-2
Let i be (-2)/(-4) + 2/(-4). Let c = 0 + i. Solve -3*h + 0*h - 15 = c for h.
-5
Let h be (-1)/7 + (-15)/(-105). Solve h*c - 2 = c for c.
-2
Let b(x) = x**2 + x. Let v be b(0). Let o be (-3 - -3)/(-1 + v). Suppose 0*p + p = o. Solve p = -0*u + 3*u + 15 for u.
-5
Let b(w) = w**3 + w**2 + w + 3. Let h be b(0). Suppose 25 = 5*n + 5*s, -4*s - 8 = 4*n - 7*s. Solve -n - 8 = h*f for f.
-3
Let k = -1 + -2. Let c = -1 - k. Solve 5 + 1 = c*r for r.
3
Let y(r) = r - 4. Let i be y(8). Suppose -4*c + 5*b - 3*b = -6, 4*b = -3*c - 12. Solve c = i*g + 2 + 2 for g.
-1
Suppose -n - 2*h = -15, -5*n + 64 = 2*h - 3*h. Let u(z) = -4*z. Let y be u(-1). Suppose -2*j = -i - y, 5*j - 3*i = 2*i + 10. Solve 0 = j*d + 5 - n for d.
4
Let u be 4/18 + (-16)/(-9). Suppose 0 = -h - 3*g - 3, -3 + u = 4*h + g. Let x = h - 0. Solve -l = -x*l for l.
0
Let z = -130 - -130. Solve z = -3*k - k - 8 for k.
-2
Let u be 54/(-12) + 2/(-4). Let b be ((-6)/(-4))/((-3)/(-4)). Let r be b/(((-15)/12)/u). Solve -g - g = r for g.
-4
Let w = -11 - -12. Let o be ((-3)/3)/w*0. Solve -u = -o*u + 2 for u.
-2
Let c = -212 - -212. Let f(y) = -y**2 - 5*y - 3. Let z be f(-3). Solve v + z*v + 12 = c for v.
-3
Suppose -3*s + 4*k = 6, -5*s - 2*k = -0*k - 16. Suppose -2*f - s*x = 0, -2*x - 12 = -2*f - x. Suppose 3*i = 3*m - 2*i + f, 4 = 3*m - i. Solve -m = h + 2 for h.
-4
Let m be (-40)/(-18) + 2/(-9). Let l be 3/(-1) + 3 + -13. Let x = l - -25. Solve -x = i + m*i for i.
-4
Suppose -3*j - 4*i + 38 = 0, 5*i = 2*j + i - 12. Solve 0 = 5*c - j - 10 for c.
4
Suppose 3*z = q + 11 - 1, 13 = 4*z - q. Solve 12 = -t - z*t for t.
-3
Suppose -5*h = 4*y - 17 - 23, -27 = -3*y - 3*h. Solve -y = -5*k + 10 for k.
3
Let d = 4 + -4. Solve d = 4*s - s for s.
0
Suppose -2*u + r = -r, 4*r - 6 = u. Solve -4*h - u = -14 for h.
3
Let z be 0*((-2)/4 - -1). Suppose 4*c - 9*c = 0. Let p = z - c. Solve p = -v + 5*v + 8 for v.
-2
Suppose 15 = 3*v - 5*g, -4*v + 3*g - 3 = 4*g. Suppose 11*o - 13*o + 2 = v. Solve o + 19 = 4*i for i.
5
Let z = 17 - 11. Let x be ((-9)/(-6))/(9/z). Let u be 0/(x + 0 + 2). Solve u*m = -m - 3 for m.
-3
Suppose 14 = 4*t - 5*t - 4*o, -4*o = 3*t + 2. Let x(h) = t - 3*h + 0*h + 2*h. Let i be x(6). Solve 4*y + i*y = 8 for y.
2
Let p = 18 - 12. Suppose -4*w = 13 - 37. Let z = w - 2. Solve -z*u + 2*u = p for u.
-3
Suppose 17 = z - 4*x - 0*x, x - 25 = -2*z. Suppose 2*m = 2*f + 4, 5*m + 2*f - 6*f - z = 0. Solve 10 + 0 = m*o for o.
2
Let p(r) = 3*r**3 - 2*r**2 - 14*r + 20. Let c(h) = h**3 - h**2 - 5*h + 7. Let o(f) = -8*c(f) + 3*p(f). Let z be o(-3). Solve -z = -a - 6 for a.
-5
Suppose -2*s + 3*s - 16 = f, 2*s + 3*f - 22 = 0. Suppose 4*n + s = 2*n. Let o = n + 11. Solve o*l + 12 = l for l.
-4
Let z = -24 + 29. Solve -z*c + 3*c = 0 for c.
0
Let m(a) = 2*a**2 + 9*a + 1. Let p be m(-5). Solve 1 = -5*z + p for z.
1
Let x be 6*-1*(-1)/(-2). Let r be 0 - -1*(-15)/x. Suppose -5*t + r*j - 4 = 6, 6 = 3*j. Solve t = 3*v + v - 4 for v.
1
Suppose 2 = 2*r - 3*m - 2, -5*r + 2*m - 1 = 0. Let a = -1 - r. Solve -3*t + 11 + 1 = a for t.
4
Let o be (-68)/6 + (-1)/(-3). Let f = -9 - o. Solve 0*c - f = -c for c.
2
Let z(r) = 2*r**3 - 2*r + 1. Suppose -1 = u - 2. Let l be z(u). Solve -d = l - 5 for d.
4
Suppose 3*j - 2*j = 3. Let n be (-24)/16*8/6. Let g be (n/j)/(4/(-12)). Solve -g*y = y for y.
0
Let u(c) = -c + 8. Let l be u(0). Suppose -28 = -2*n - 2*o, 4*n + 4*o = 6*n - 10. Let h = 15 - n. Solve -h - l = 3*t for t.
-4
Let b(h) be the second derivative of h**4/12 + 5*h**3/6 - 3*h**2/2 + h. Let o be b(-6). Solve -o*q - 5 = -2*q for q.
-5
Let l = -29 - -31. Solve 0 = -0*x - l*x + 6 for x.
3
Let k(m) = 2*m**2 - 10*m - 3. Let i be k(7). Let r = i - 21. Solve -2*l + r = -2 for l.
3
Let b(m) = m**2 - 5*m - 5. Let g be b(5). Let c = -3 - g. Suppose u = c*u - 2. Solve u*l = -0*l + 8 for l.
4
Let b(k) = -4*k - 27. Let n be b(-8). Solve -g - 8 = -n*g for g.
2
Let u = -40 - -44. Solve -b - 15 = u*b for b.
-3
Let d = -120 - -132. Let v be 0 + (-3 + 1)/(-1). Suppose -v*y + y = 5*u - 2, -4*u - 10 = -5*y. Solve y*n = -n + d for n.
4
Let n = 1 + 5. Solve n = f + 2*f for f.
2
Let q(r) = -r**2 - 9*r - 4. Let j be q(-8). Solve 0 = -j*k - 10 + 26 for k.
4
Suppose 0*o - 6 = 2*o + 2*t, -5*t = 2*o + 15. Suppose o*w - 2 = w. Let u be -1 + -3 + 7 + w. Solve 0 = y + 3 + u for y.
-4
Let n(l) = -l**3 - 6*l**2 - 6*l - 2. Let f be n(-5). Let c be 6/4*40/(-6). Let r = c - -17. Solve -f*g - r = 2 for g.
-3
Suppose m - 2*k = 4, 4*k - 4 = -m + 7*k. Solve -m = 3*p - 7 for p.
1
Suppose 10*i - 7*i = 0. Solve -5*z + i*z = 15 for z.
-3
Suppose r - 429 = -5*d + 116, -3*d = -4*r - 304. Suppose -5*u + 4*c = -d, -4*c = u + 4*u - 92. Solve -h - u = 4*h for h.
-4
Let l be (1 - 5)*(3 - 4). Suppose l*r + m - 5 = 0, -4*m = -3*r + 7*r + 4. Suppose -5*v = r - 22. Solve 2 = -v*u - 14 for u.
-4
Suppose -5296*z - 6 = -5299*z. Suppose c - 14 = 25. Suppose -3*j + 27 = 3*o, 5*o - c = -7*j + 4*j. Solve -o*p + 16 = -z*p for p.
4
Suppose 0 = 2*s + 2*s - 12. Solve 0 = -4*n + n + s for n.
1
Let h(n) = 2*n**3 - n**2 + 2*n - 1. Let v be h(1). Let t(k) = 2*k + 43. Let o be t(-20). Solve x + o = -v*x for x.
-1
Let w be 2 + -2 + (-11 - -2). Let l be w/12*-2*2. Suppose -l*f + 4 = f. Solve 0*d + f = d for d.
1
Suppose 2*t + 15 = 3*g, g - 1 = 3*t - 3. Let q = -17 + 24. Let p = q - 6. Solve 0 = 2*b + g - p for b.
-3
Let f(c) = 2*c**2 - 6*c - 4. Let o be f(4). Solve o = -0*b - b for b.
-4
Let l be (-2 + -1)/(