= 0. Solve t + s = 3*t for t.
4
Let o(m) = -m**3 - 5*m**2 - 6*m - 6. Let v be o(-4). Let y(u) = u**2 + 3*u - 5. Let d be y(-4). Let k be d*(-3 - 2/v). Solve -5*a = -1 - k for a.
1
Suppose -t = -3*m + 3, -4 + 1 = -3*m. Suppose t = j, 2*i + i = -j. Solve i = -3*a + 12 - 3 for a.
3
Let j = -31 - -31. Solve 2*o - 6*o + 12 = j for o.
3
Let u(o) = o**2 + 10*o + 15. Let q be u(-10). Solve 0 = 3*r - 0*r - q for r.
5
Suppose 2*y + 1 - 13 = 0. Solve -y*n + 3*n = 15 for n.
-5
Let h be 1*1/((-1)/(-2)). Suppose 0*u = -h*u. Solve 5*c - 2*c + 12 = u for c.
-4
Let l(i) = -2*i**3 - 3*i**2 - 3*i. Let k be l(-2). Solve h - k = -4*h for h.
2
Let z be 5/(21/9 - 2). Suppose 5*r = -5*p + 20, 0 = -5*r + p - 1 - 3. Solve r = 3*s - z for s.
5
Let t be (0*1/(-1))/2. Suppose 4*s - 46 = -w + 3*w, -1 = s + 2*w. Solve t = 4*d - s + 1 for d.
2
Suppose 5*r + 1 = 11. Let t(x) = 18*x - 4*x - 4*x - x**2 - 4. Let y be t(8). Solve 5*w + y = r*w for w.
-4
Suppose 4*d = 9 + 7. Let v = -15 + 17. Suppose -5*x = -3 - 12. Solve -x*k = -v*k - d for k.
4
Let a = -119 - -119. Solve a*l - 9 = 3*l for l.
-3
Suppose -20 = -5*l - 5*y, -2*l + 30 = -7*l + 5*y. Let v(x) = x**2 + x. Let a be v(l). Suppose 3 = -3*t, 0*z = -z - 3*t - 3. Solve 3*f + z + 6 = a for f.
-2
Let u(v) = -v**2 - 8*v + 5. Let b be u(-7). Solve 7*a + b = 3*a for a.
-3
Let d(q) = q**2 - 8*q + 3. Let l be d(8). Suppose 0*w = -l*w. Solve w*v = -2*v + 4 for v.
2
Let z(i) = i**3 + 7*i**2 + 6*i. Let u be z(-5). Suppose 0 = 2*x - 0 - 4. Solve -x*c + u = 2*c for c.
5
Suppose -s - 3*r = 0, -r = 3 + 1. Suppose 5*c = -f + 33, -4*f = -5*c + s + 6. Let a be c - (-2)/(-4)*0. Solve -a + 0 = -2*y for y.
3
Let i(y) = -y - 2. Suppose 4*r = 3*q + 2*q + 18, 2*q - r + 9 = 0. Let n be i(q). Solve -v - 1 - n = 0 for v.
-5
Let w = -42 - -45. Solve -3*z + 15 = w for z.
4
Let z = -78 - -79. Solve 3*h - 2 = z for h.
1
Let z be -2*(-1)/(-6)*-9. Let l be 2/18*z*12. Let t be l/6*(-6)/(-4). Solve -2*m - 1 = t for m.
-1
Let v be ((-10)/3)/(10/(-15)). Let q = v + -5. Suppose -2*f + 22 = 3*c + c, 2*c - 14 = -4*f. Solve q = 2*g - g - f for g.
1
Let x(p) = -2*p - 22. Let k be x(-12). Solve -2*z = k*z + 8 for z.
-2
Suppose -a - 2 = 5*x, -2*a - 4*x = x - 1. Solve -c + 2 + a = 0 for c.
5
Suppose 0 = 2*l - 1 + 3. Let b be (-1)/(l/(-10)*-2). Solve b*f = -0*f for f.
0
Let l(v) = -v**2 + 9*v - 2. Let a be l(5). Suppose a*m - 14*m = 0. Solve -3*k = -m + 6 for k.
-2
Let x = 4 + 4. Let t be x/6*3/2. Suppose -a = -t*f - 10, -a + 6*a - 30 = 5*f. Solve -a*p + 3 = -1 for p.
2
Let a(r) = -r**3 - 4*r**2 - r - 4. Let o be a(-4). Let b(k) = k**3 - k**2 - 2. Let m be b(2). Let j = m - -3. Solve o*x + j = x for x.
5
Let c(q) = -q - 2. Let u be c(-2). Let o(x) = x + u - 4*x - 4*x + 1 + x**2. Let z be o(7). Solve 5 - z = -w for w.
-4
Let r = 7 + -2. Suppose 0*a = -2*m + r*a - 9, a = 3. Solve m*t = 8*t - 20 for t.
4
Let l = 27 + -19. Suppose -3*z + 9 = -0*z. Solve -l = -z*t - t for t.
2
Suppose 0 = j - 5, 15 = 3*w + 5*j - 16. Let v be -14*3/(-6) - w. Solve -v*x - 1 = 4 for x.
-1
Suppose 4*w + 5*q - 58 = 0, 3*w - 50 = -w - q. Solve s + 3*s + w = 0 for s.
-3
Let u = 13 - 34. Let x = u - -30. Suppose -2*n - 1 = -x. Solve -n*t - 20 = -0*t for t.
-5
Let t(k) = 2*k**2 - 2. Suppose 13 - 5 = 4*o. Let g be t(o). Solve g*s + 15 = s for s.
-3
Let v be (-1)/(-1 + 2) + 5. Suppose -v*f + 46 = m, 4*f = -6*m + m + 38. Solve 5*n - f = 2*n for n.
4
Let v = 123 + -120. Solve -v*u = -5*u for u.
0
Let d = 13 + -7. Let y = 4 + -2. Solve y*i + d = -i for i.
-2
Suppose 0 = -5*b + 3*g + 46, 2*b + 0*g - 10 = -3*g. Solve -3*a + b*a = 0 for a.
0
Let z = 3 + 5. Solve 2*y = -0*y - z for y.
-4
Suppose -4*f + f = 0. Let c = 0 + f. Suppose 2*h + 22 = 5*q + 5, -5*q + 5 = -5*h. Solve 9*p - q*p + 12 = c for p.
-3
Suppose -10 = 10*o - 10. Solve o = 5*v - 32 + 7 for v.
5
Let f(t) = -t**3 + 7*t**2 + 7*t - 4. Let j be f(8). Let m = j - -19. Suppose 4*w + 0*w - 12 = 0. Solve -m = w*z + 2 for z.
-3
Let z(q) = 2*q**2 - 11*q + 6. Suppose 26 = 2*y + 16. Let j be z(y). Solve 0 = -l - j - 2 for l.
-3
Let c(k) = -k**3 + k**2 + 2*k + 8. Let m be c(0). Solve -3*u - m = -2 for u.
-2
Suppose 0 = 4*n + 2*i - 22, n - 23 = -2*i + 5*i. Let w be (30/8)/(2/n). Let v = 13 + -11. Solve 0 = q + v*q + w for q.
-5
Let j(x) = -x**3 - 10*x**2 + 10*x - 10. Let o be j(-11). Suppose 0 = -5*k + 5*y - o + 26, -3*y = -2*k + 12. Solve 5 = k*i + 2 for i.
1
Let k be -4 + 3/9*0. Let i be k/14 + 60/14. Let g be (16/(-28))/(i/(-14)). Solve 3*l = -g*l + 15 for l.
3
Let c(q) = 2*q**2 + 9*q - 8. Let w be c(-6). Let v = 18 - w. Let r(i) = i**2 - 4*i + 1. Let d be r(5). Solve -2*t + d*t = -v for t.
-2
Suppose 4 = -4*i + 4*u, 11 = -2*i + i + 3*u. Solve 6*z = 2*z + i for z.
1
Suppose 6 - 2 = 2*g. Solve 3*k - 1 - g = 0 for k.
1
Let u(y) = -2*y**3 - y**2 + 2*y + 2. Let q be (1*-1)/((-4)/(-8)). Let k be u(q). Solve 0 = -4*f + 2*f - k for f.
-5
Let w(d) = -d - 9. Let a be w(-11). Suppose a*i + 3*q + 1 = -2*i, -2*i + q = -7. Let j be (i/(-3))/((-4)/78). Solve 2*s + 3 = j for s.
5
Suppose 0 = -3*h - 8 + 38. Suppose -2*r + h*t + 7 = 5*t, -3*t - 2 = r. Solve 0 = -5*g - r - 4 for g.
-1
Let x = 23 - 12. Solve x = -5*y - 4 for y.
-3
Let b(q) = q**3 + 3*q**2 + 2*q + 3. Let p be b(-3). Let i(h) = -h**3 - 2*h**2 + 2*h + 1. Let c be i(p). Suppose 0 = -2*n + c. Solve 2*t + n = -2 for t.
-2
Let o = 44 + -35. Solve -4*g = -o*g for g.
0
Let d(s) = -2*s + 3. Let n be d(4). Let m = 5 + n. Suppose -p = 4*q - 4, q = 2*p - 2*q - 30. Solve m*g - 3*g + p = 0 for g.
4
Let s be ((-4)/6)/(4/(-18)). Let u = -1 - -1. Solve -s*o + o = u for o.
0
Let i = 45 - 44. Solve -u + i = -2 for u.
3
Suppose 0 = 3*k - 0*k + 18. Let a = k - -9. Solve -4 = a*f - 10 for f.
2
Suppose -2*a + 14 = -3*z + 6*z, -3*a = 4*z - 20. Suppose 0 = -x - 1 + 4. Let g = x - 3. Solve -s - z*s = g for s.
0
Let g(a) = -a**3 + 7*a**2 + 8*a - 2. Let p be g(8). Let l = -1 - p. Let v be l/2*(0 + 0). Solve m - 5 = -v*m for m.
5
Suppose 0 = 6*c - 9*c + 15. Solve -c*o + 3*o = 0 for o.
0
Let x be 6/(-21) + 5/(-7). Let j(w) = 3*w**2 - 2*w - 1. Let t be j(x). Let a(r) = r**3 + 9*r**2 + 7*r - 8. Let v be a(-8). Solve v = 3*q + q + t for q.
-1
Suppose -a - 4*h + 20 = 3*a, 0 = 4*h - 12. Suppose -c + 5 = 0, 2*b - c = 3 + a. Solve -5 = -b*f - 0 for f.
1
Let f(j) = -2 + 2*j - 3 - j. Let w be f(0). Let n = w + 8. Solve n - 8 = -o for o.
5
Suppose i - 11 - 23 = 0. Let p be (-12)/3 - i/(-2). Solve 2 + p = -3*y for y.
-5
Suppose -3*t + j = -19, -t - 2*j - 2*j + 28 = 0. Let o = t - 6. Suppose -o*m - 2 + 8 = 0. Solve x + 0 = m for x.
3
Let l(i) be the first derivative of -i**2/2 + 3*i - 2. Let t be l(0). Solve 8*p - 20 = t*p for p.
4
Suppose -3 = -c + 2. Solve 0 = -6*j + c*j for j.
0
Suppose 4*d - 2 + 6 = 0. Let r be (d + 1)/(0 - -1). Solve r*p - 2 = p for p.
-2
Let y be ((784/(-12))/14)/((-2)/3). Solve -3*t + y = 1 for t.
2
Suppose -3*j + 8 = j. Solve 0 = 3*d + j - 8 for d.
2
Suppose 2*p + f = -2, -5*p - 6 = f - 4. Solve p*c + c - 5 = 0 for c.
5
Let x = 121 - 116. Solve -5 - 5 = x*y for y.
-2
Let u(d) = d**3 - 7*d**2 - 7*d - 6. Let c be u(8). Suppose c*y = 6*y - 12. Let a(n) = -n**3 + 3*n**2 - 2*n + 3. Let x be a(2). Solve -y*h - x = -4*h for h.
3
Let g be 0*(6 + -3)/(-9). Suppose -3*o + 2*l - 2 = 0, 5 + g = 5*l. Solve 4*p + o*p = -8 for p.
-2
Let k(v) = 2*v - 10. Let l be k(7). Suppose -13 = -f + 3. Let u = f - 12. Solve -l*a - u = -20 for a.
4
Suppose -j = -15 + 4. Let y = 101 + -70. Solve 5*m - y = -j for m.
4
Suppose -4 = -h - m - 1, -2*h + 18 = 5*m. Let o = h - -4. Let v(z) = 2*z**2 - 5*z - 3. Let n be v(4). Solve -6 = -o*d + n for d.
5
Suppose 3*v - 1 = 4*r, -v + 0 = 5*r - 13. Suppose 3*a - 4*a + 5*i - 15 = 0, -2*a = -5*i + 10. Solve -2*b = -a*b - v for b.
-1
Let p = 8 - 6. Solve 0*k - p*k = -2 for k.
1
Suppose 3*k = 2*k + 8. Suppose -4*p + k = -0, 2*p = 3*v - 20. Suppose x + 4 = v. Solve -x*f + 1 = -7 for f.
2
Let d(k) = -k**3 - k**2 + 7*k + 5. Let l be d(-4). Let p = l - 21. Solve -q + 0 = -p for q.
4
Suppose o = 3*o + 6. Let v be 1/(1/o)*-2. Solve -v*l = -3*l for l.
0
Let t be (-8)/(-5)*(-55)/(-22). Solve 0 = t*h - h - 12 for h.
4
Let d(b) = -b**2 - 4*b. Let n be d(-3). Solve 6*s - n*s = 3 for s.
1
Suppose b + 3*q - 15 = 2*b, 3*b - 25 = -5*q. Suppose b = 3*v - 11 + 2. Suppose 2*r + 8 = r - 4*l, -20 = -4*r - 3*l. Solve 0 = -5*y + v*y + r f