. Solve 0 = -t + u*t for t.
0
Let s(w) = -w**3 + w**2 + w + 20. Let u be s(0). Let x be (-1)/(-5) + (-4)/u. Solve x = -5*r + r for r.
0
Let c(r) be the second derivative of r**5/20 - r**3/6 + r**2/2 - 2*r. Let v be c(-2). Let l = -2 - v. Solve -2*s - 4 = -l*s for s.
4
Let i = 62 - 60. Solve -i*j = -4*j + 6 for j.
3
Suppose 2*m + 16 = 5*d - 4, 2*m - 8 = -2*d. Let f(w) = -w**3 + 2*w**2 + w. Let q be f(-1). Solve -q = -d*r + 10 for r.
3
Let o = -18 + 24. Solve 2*a - o*a = -4 for a.
1
Let t be (-81)/(-36) + 9/12. Solve -t*g + 7 = -8 for g.
5
Let m = -3 - -11. Suppose -k + m = 5. Solve d + 2 = -k for d.
-5
Suppose -5*c = -5 - 5. Solve 0*y - c*y - 8 = 0 for y.
-4
Let c be (45/6)/((-3)/(-6)). Let o be ((-2)/5)/((-6)/c). Let v be (0 - 4)/(-1 - o). Solve -7*w + v*w - 20 = 0 for w.
-4
Let g be 2/(-4)*-10 - 3. Let n(y) = y + 0*y**2 + 2*y + 4 - y**2. Let o be n(3). Solve c = -o + g for c.
-2
Suppose -2*v - 3*l + 16 = 0, v + 4*l - 22 = -l. Suppose j = k + v*k - 16, -2*k - 3*j - 4 = 0. Solve 0*u = u + k for u.
-4
Let u be ((-3)/(-3))/((-1)/(-2)). Solve -n + u = -0*n for n.
2
Suppose 8*l - 55 = 9. Solve -5*k + 9 = -l*k for k.
-3
Let s be 4 + -1*(5 + -3). Solve -5*y - s = 3 for y.
-1
Let t(a) = a**2 + 2*a + 2. Let g be t(-2). Let o be (-104)/(-12) + g/(-3). Solve 4*d - o = -0 for d.
2
Suppose 0*a - 30 = -6*a. Solve -l + 0 = -a for l.
5
Let d(f) = 15*f + 3. Let b be d(3). Suppose 5*l - 2*l = b. Solve 0 = -3*x - x - l for x.
-4
Let d be (4 - 2) + (5 - 1). Suppose 14 = 5*w - d. Suppose 4*j = -w*t, 0 = -t - t + 4*j. Solve t*g + 2 = -2*g for g.
-1
Let f = -6 - -9. Suppose 3*t = 4*t - f. Solve -t*j + 5 = -10 for j.
5
Let r(g) = 3*g**3 - 2*g**2 + 1. Let o be r(1). Solve 4 = -o*t + 6 for t.
1
Suppose 5*b - 3*p = 8 + 19, -25 = -3*b + 4*p. Suppose 23 = w + 3. Suppose -5*l = -i - 4*i + w, -4*i = l - 6. Solve -b*q + i = -q for q.
1
Suppose 2 = 5*i + 12. Let t = 4 + i. Suppose 0 = -v - y + 9, 14 = -v + t*v - 4*y. Solve -3*g = -g - v for g.
5
Suppose -4*v = v. Let d be 2 - v - (6 + -4). Solve d*q + 2*q = 0 for q.
0
Let j(x) = -x + 15. Let i be (-3)/4 + (-517)/(-44). Let y be j(i). Solve -y*c = c for c.
0
Let q be ((-1)/2)/((-2)/24). Suppose q*g - g = 0. Solve g*f = 2*f + 10 for f.
-5
Suppose 2*k = -0*x - 3*x - 2, -10 = 5*x. Suppose -8 = 4*u - 2*t - k*t, -9 = 2*u - 3*t. Solve 0 = -w - 7 + u for w.
-4
Let y = 0 - 0. Let j be (0 + 1)/(1 - y). Let i be -4*(j/2)/(-1). Solve -3*u + 1 = -i for u.
1
Suppose -4*b + 8 = 4*g, 0 = -b - 2*b - 4*g + 5. Let v = 4 + -2. Let w be (-3 + 1 - -2) + 5. Solve b = v*l + w for l.
-1
Let q = -9 + 13. Let f = -1 + q. Solve i - f = 4*i for i.
-1
Let j be 33/9 - (-4)/(-6). Let h = -24 + 33. Solve j*t - h = 3 for t.
4
Suppose -4*i + 2*i + 7 = c, -2*c = 3*i - 13. Suppose -i = -a + 2. Let l = -1 + a. Solve -l*y - 1 + 3 = 0 for y.
1
Let y = -7 - -10. Let d be (20/25)/(2/5). Let o be 2 - (d - 0/(-3)). Solve o*j = y*j for j.
0
Let u = 10 + -6. Solve u*q + 1 = -19 for q.
-5
Suppose p = -2*p + 6. Suppose 4*f + 3*b - 13 - 4 = 0, f - b = -1. Let c(u) = u**2 - 8*u + 9. Let h be c(7). Solve h*i - f = p for i.
2
Suppose 0*j + 2*j - 16 = 0. Suppose 0 = 5*n + r - 16, -r = -4*n - 3*r + j. Suppose -n*q = -18 - 2. Solve 5*u = -10 - q for u.
-3
Suppose -4*r - 21 = -5, -4*r = -2*a + 22. Suppose -2*g = -a*z, -3*g + z = -2*z - 3. Solve q - 16 = -g*q for q.
4
Suppose -25 = -7*d - 4. Solve 5*p + 4 = d*p for p.
-2
Let v(k) = -2*k - 24. Let m be v(-16). Solve -17 = -5*y + m for y.
5
Let h(j) = -14*j**2 - 11*j + 20. Let d(i) = -5*i**2 - 4*i + 7. Let r(m) = -17*d(m) + 6*h(m). Let a be r(-1). Solve -5*s - 6 + 21 = a for s.
3
Suppose 0 = 3*w + 4*f - 36, -5*w + 6 + 54 = 5*f. Solve -2*i + 6*i = -w for i.
-3
Let w be ((-3)/6)/(0 - 2/100). Solve -3*q + w = 2*q for q.
5
Let j(h) = -h + 6. Let y be j(-10). Solve -q + y = 3*q for q.
4
Let w = -91 - -94. Solve -3*h + w = -2*h for h.
3
Suppose -f + 2 - 3 = 0, 4*f - 11 = 5*s. Let d be -3 + 5 + 1 + s. Solve -2*h = -d*h + 10 for h.
-5
Let y = 17 + -12. Let r = 59 + -49. Suppose 2*a = 2*j - 18, 0*j - y*j + r = 2*a. Solve -j*k - k = 0 for k.
0
Let g be 10/15 + (-46)/6. Let l = 11 + g. Solve l - 2 = -s for s.
-2
Let h(x) = -x**2 - 6*x - 5. Suppose -z - 5 = -0. Let s be h(z). Let k = 4 - s. Solve -k*a + 2*a = 0 for a.
0
Let h = -11 + 18. Suppose 10 = o - h. Suppose 2*p - o = -5*t, t + 25 = 4*p + 2*t. Solve -a - 3 = -p for a.
3
Let s = 6 + 1. Suppose 0 = 3*c - s*c. Solve h + c = -1 for h.
-1
Suppose -5*u + 50 = -45. Suppose 6*c - u = -1. Solve o + c = -0*o for o.
-3
Let z be (-2)/(-3) - 21/(-9). Solve 4 = z*i + 13 for i.
-3
Suppose 3*i = -5*i + 96. Solve -w - 3*w = i for w.
-3
Suppose 0 = 2*h + 2*k - 10, -2*h + 7 = k - 0*k. Let t be h/5 + 6/(-15). Suppose 0*x = -2*x + 6. Solve -2*v - 5 - x = t for v.
-4
Suppose -4*p + 32 = 4*k, 3*p = -p + 4*k. Suppose -2*n + 3*n = 4. Suppose n = w + w. Solve w*y = y + p for y.
4
Let u(m) = m**2 + 3*m + 2. Let i be -3*(-3 + 2 - 0). Let t be u(i). Let x = t + -5. Solve s - 6*s = -x for s.
3
Let r = 6 - 3. Solve -q = -r*q - 4 for q.
-2
Suppose -4*j = 11 + 13. Let x be (j/4)/((-1)/2). Let n be ((-45)/(-20))/((-3)/(-4)). Solve -6 = -x*m + n for m.
3
Suppose -2*l + 0*l = 0. Suppose 2*n = 5*k - 6, 0 = k + 1 - 3. Solve n*r = -l - 4 for r.
-2
Suppose o = -4*x - 11, 4*x = -4 - 12. Solve -2*v - 5 = o for v.
-5
Suppose 5 = -6*t + 29. Solve 3*h - 2*h - t = 0 for h.
4
Suppose 1 = m - 3, -m = -3*p + 17. Solve 10*o - p*o + 15 = 0 for o.
-5
Let i(q) = -2*q - 5*q + q**2 + 3*q. Let l be i(5). Suppose 0*g = -l*g. Solve g*w = -w + 3 for w.
3
Let z = 3 - -2. Let i be 304/20 - 1/z. Let d(q) = q**2 + q + 5. Let w be d(0). Solve -5*b = -w - i for b.
4
Let k be (3/6 + 0)*4. Let p(y) = 3*y**3 - y**2 + y + 1. Let b be p(1). Solve f - b = k*f for f.
-4
Let n(l) = 5 - 4*l**2 + 3*l**2 + 6*l - 1. Let s be n(6). Suppose s*z - 6 = z. Solve -z*h = -h for h.
0
Let k be (4 + (-21)/6)/((-1)/(-8)). Suppose -4*x - 62 = -5*q, x = -q - 3*x - 2. Solve -r - k*r = q for r.
-2
Let p = 1 - 1. Suppose 3*o - 6*o = -15, -4*h - 2*o + 18 = p. Solve -2 = 2*b + h for b.
-2
Let z be 0/(1 - (-2 + 1)). Suppose 2*d + y = -z*d - 1, 3 = 5*d - 3*y. Let a = 19 - 19. Solve d*v + 5*v = a for v.
0
Let k(x) = x + 2. Let f be k(0). Suppose 9 = 3*z - 6. Suppose 0 = -z*q + f*q. Solve -3*i = -q*i for i.
0
Let q = 2 + -5. Let k(j) = 3*j + j + 3*j**2 + 0*j**2. Let t be k(q). Solve 0*f = 5*f + t for f.
-3
Let v(j) = j + 11. Let h be v(-9). Suppose 0 = t + h*t. Suppose -l = 2*x - 10, t = -2*x + 3*l + 11 - 1. Solve 0 = x*y - 1 - 4 for y.
1
Let q(r) = -r**3 + 2*r**2 + 3*r - 2. Let p be q(2). Solve -4*y + 16 + p = 0 for y.
5
Let c(x) = -x**2 + 6*x + 2. Let b be c(6). Suppose -31*u = -37*u. Solve u = -6*h + b*h for h.
0
Suppose -5*t = -5*d + 25, -2*d - d = -t - 9. Let o(a) = 2*a**2 + 5*a + 2. Let n be o(-3). Solve n*h = d + 3 for h.
1
Suppose -o - 2 = -2*g + 1, -5*o = g - 29. Solve 11 = o*r - 9 for r.
4
Let q = -45 + 49. Solve -q*z = -2*z + 6 for z.
-3
Suppose 3*i - 2*g + 1 = 0, -3*i - 4*g = 2*i - 35. Suppose -i*s + 0*s = -15. Suppose -2*v = -0*v - 10. Solve s*r = -15 + v for r.
-2
Let o(a) = -a**2 + 7*a - 3. Let p be o(4). Suppose -4*r = -l + 12 - 0, -4*l + p = -3*r. Solve -3*h + 0 - 15 = l for h.
-5
Let n(w) = -9*w + 1. Let s be n(-1). Solve -f + s = f for f.
5
Let p be (-1 - 4/(-4))/(-1). Let m be p*(5 + -4 - 0). Solve 2*g + m + 2 = 0 for g.
-1
Let u = 4 + 1. Suppose -h + u*o + 35 = 0, 0 = -2*h - 3*o - o + 28. Solve q = -4*q - h for q.
-4
Let i(t) = t**3 - 2*t**2 + 3*t. Let h be i(2). Suppose -6 + 2 = -2*w. Suppose -w*r = -h*r. Solve r = 3*k - 4*k + 3 for k.
3
Suppose 9*h + 3 = 66. Let v = -18 + 40. Solve -v = -5*p - h for p.
3
Let f = 9 + -5. Let h = -4 + 8. Suppose -25 = -4*r - 4*p - p, 4*r + 2*p - 10 = 0. Solve f*l = -r*l - h for l.
-1
Suppose -v - 7 = -20. Let f be 14/8 - (-2)/8. Solve -v = f*w - 3 for w.
-5
Let v be (-20)/(-70) - (-4)/(-14). Solve -3*a + 6 = -v*a for a.
2
Suppose 2*x + 9 = -s, -x = -3*s + 8 + 7. Let c be (x/15)/(2/(-10)). Solve o - c = -0*o for o.
2
Let z(n) = -n**2 + 5*n + 3. Let o be z(5). Solve 2*y + o = -y for y.
-1
Let d(x) = x**3 - 2*x**2 + x + 1. Let t be d(2). Suppose 0 = o - u, -t*o + 4*u = 3 - 0. Solve -2*v + 3*v = o for v.
3
Let a(b) = -b**3 - 7*b**2 - 11*b + 1. Let p be a(-5). Solve 4*h = h - p for h.
-2
Let o be 2/(-6) + (-31)/(-3). Let l be (-4)/