ve u*t - t = 0 for t.
0
Suppose -5*u - t + 65 = 4*t, t = 2*u - 11. Solve 2 + u = -5*p for p.
-2
Let w be (-4)/10 + (-66)/(-15). Solve -a - w = a for a.
-2
Let v be ((-4)/1)/(3 + -4). Suppose -3*o + 3*z = -6*o + 18, 3*z = v*o - 10. Suppose 0*u - o = -u. Solve 2*q - u = 3*q for q.
-4
Suppose 0 = 3*h - 6*h + 27. Let t = -3 + h. Solve 4*u + 2 = t for u.
1
Let a = 2 - 2. Let h = 0 + 0. Let b = h - a. Solve b*c - c = 0 for c.
0
Let s = -4 + 3. Let c = s - -2. Solve h + c = -0*h for h.
-1
Suppose 7*c = 3*c + 24. Let p = c + -2. Solve 0 = p*k + 10 + 10 for k.
-5
Let v = 5 + -3. Solve -a - v*a + 6 = 0 for a.
2
Let l(f) = -1 - 3 + 2 + 3 - f**2 + 5*f. Let i be l(5). Suppose 0 = 3*k + i - 7. Solve -a - 1 = k for a.
-3
Let g be -2 + 2 + (-125)/(-25). Solve g = 6*y - y for y.
1
Suppose 0*w - 3*w + 12 = 0. Solve w*d - d + 9 = 0 for d.
-3
Suppose -2*k + 4*k = -3*q - 22, -3*q = 5*k + 37. Let b = -1 - q. Suppose -b*t = -0*x + 2*x - 14, 0 = 5*t - 3*x + 2. Solve 0 = -i - t - 1 for i.
-3
Suppose -2*q + 4*q - 4 = 0. Solve 20 = 3*a + q*a for a.
4
Let t(h) = h**3 + 8*h**2 - h - 5. Let l be t(-8). Suppose l*u - u = 2*g + 8, -5*u - 2*g - 1 = 0. Let o(j) = 4*j**2. Let v be o(u). Solve v*y - 20 = -0 for y.
5
Let m = 31 - 16. Solve -k - m = -4*k for k.
5
Let g = 4 + -3. Let x be g/(-2)*12/(-3). Solve x*p - 3 = -5 for p.
-1
Let q(s) = -s**2 - 7*s - 4. Let d be q(-6). Let g = -2 - -6. Solve 0 = -d*p - g for p.
-2
Let i(x) = 2*x - 70. Let r be i(35). Suppose -2*c - 2*c = 8. Let b be (c/5)/(2/(-40)). Solve 2*g + r = b for g.
4
Let p(n) = -n**3 + n**2 + 8. Let q be p(0). Solve -3*t + q = -7 for t.
5
Let q(s) = 2*s + 10. Let l be q(8). Suppose -3*k + l = -5*d, -4*k - 4*d = 11 - 3. Solve 20 = -k*y - 2*y for y.
-5
Suppose 0 = -4*x + 3*x + 14. Suppose -h = 5*a + 21, -h + 3*h = -3*a - x. Let q be (-1 - -2) + a + 5. Solve o + q*o = 3 for o.
1
Let b(r) = r**2 + 8*r + 10. Let f be b(-7). Suppose 3 + f = 3*g. Solve -2*t = -8 - g for t.
5
Suppose 4*a + 24 = -2*t + 6*t, -8 = -3*t - 2*a. Solve -3*c = -2 - t for c.
2
Suppose q = 3*q - 30. Suppose -c + q = 2*c. Let j = -2 + c. Solve -2*f - j*f = 15 for f.
-3
Let g(f) = f + 1. Let d be g(2). Solve 3 + 3 = d*x for x.
2
Suppose 2*m + 16 = 8. Let h(p) = -p + 1. Let g(w) = w**2 + 10*w - 6. Let q(r) = -g(r) - 6*h(r). Let n be q(m). Solve -3*b - 2*b = n for b.
0
Let m(s) = s + 9. Let p be m(-7). Solve p*h - 4 = -14 for h.
-5
Let i = -4 - -11. Solve -g + 2 = i for g.
-5
Suppose 0 = 4*i - i. Let z = i + 4. Solve z = 3*t - t for t.
2
Let m(s) = -s + 11. Let d = 8 + 1. Let b be m(d). Solve 2*x + b*x + 4 = 0 for x.
-1
Let o(u) = 3*u + u - 3*u. Let i be o(6). Solve -8*l = -5*l - i for l.
2
Suppose 6 = -3*n + 15. Suppose n*r = r. Solve r = 2*x - 6*x for x.
0
Suppose 0 = -l + 4 + 1. Solve -y = -l*y for y.
0
Let a be (-15)/(-45)*3*5. Suppose -a*t = -3*t - 38. Suppose -8 = -o - 4. Solve o = 5*q + t for q.
-3
Suppose -21*l = -7*l. Solve 0 = 4*f - l + 4 for f.
-1
Let s(x) = x**2 + x - 4. Let t be s(2). Suppose 29 = 5*l - 6. Solve -r + t = l for r.
-5
Let q = 21 - 7. Let n = q - 13. Solve 11 = 4*t - n for t.
3
Let v(f) = -f**2 + 10*f + 12. Let q be v(10). Suppose 4*t = -5*o + 8 - 2, -4*t = -4*o + q. Solve o*w - 5*w + 6 = 0 for w.
2
Let u = 8 - 5. Let h = -1 + u. Solve 5*k = 3 + h for k.
1
Let l = -11 + 13. Suppose -l = -2*u + 8. Let h = -6 + 10. Solve -u*c = -1 - h for c.
1
Let f(m) = -m**3 - 9*m - 5 + 3*m + 2*m**2 - 7*m**2. Let x be f(-4). Solve -a = -x*a + 10 for a.
5
Let w be (234/13)/(1 + 0). Suppose w + 14 = 4*n. Solve d - n = -3 for d.
5
Let i be 4/22 + (-4)/22. Let x be i/(-3)*(-1)/(-2). Solve -p - p + 2 = x for p.
1
Suppose 5*l = -20 + 45. Solve 2*d + 3 + l = 0 for d.
-4
Let j = 163 - 157. Solve -5*d + j = -14 for d.
4
Let c be 3/2*136/(-51). Let q be c/8*-8 + -3. Solve -3*t - 2 = q for t.
-1
Suppose 4*y - 2*q - 72 = 0, -3*y - q - 17 + 61 = 0. Let m be (45/(-12))/((-6)/y). Suppose -6*u + 30 = -u. Solve -u*f = -4*f - m for f.
5
Suppose -2*c = -5 - 3. Let o(h) = h - 1. Let l be o(c). Solve 1 = -l*q - 2 for q.
-1
Suppose -3*v - 70 = 2*v. Let p be (-54)/v + (-4)/(-28). Solve -20 = -p*r - r for r.
4
Let t = 5 + -1. Let j be (t/(-6))/(5/(-45)). Solve 2*k + j = -k for k.
-2
Let p(x) = 9*x - 1. Suppose 4*z + 3*k - 16 = 0, 3*z + 4 = 2*k - 1. Let t be p(z). Solve -3*l = -t + 2 for l.
2
Let b = -4 + 7. Solve -2*s + 3 + b = 0 for s.
3
Suppose -5*k = -6*k - 11. Let l = 21 + k. Solve -4*x + 2*x = -l for x.
5
Let l = 197 + -36. Suppose 5*z - 3*w - l = 0, -2*z + 28 = -w - 36. Let d = 43 - z. Solve 3*m - d = -m for m.
3
Let z(u) = -u**2 + 4*u - 4. Let o be z(5). Let b be (-4)/(-6) + (-3)/o. Let p be b*(-4)/(-2) - 0. Solve 4*f - 2 - p = 0 for f.
1
Let s = -91 + 105. Solve 0 = 2*u + 4 - s for u.
5
Let z(q) = q + 4. Let n be z(-1). Solve 2 = r - n*r for r.
-1
Let t = -14 + 35. Let d = t + -18. Solve 3 = -3*k - d for k.
-2
Suppose 3*d = 8 + 1. Solve -4*r + r - d = 0 for r.
-1
Let i = 12 - 3. Suppose 5*n - i = 1. Solve 0 = -n*y - 2 - 2 for y.
-2
Let w = 19 - 14. Solve -w*q + 3*q = -4 for q.
2
Let k be (0 - -1) + 1 + 1. Let c(v) = 2*v**2 - 2*v. Let a be c(2). Suppose a = -l + 3*l. Solve 5*w - l = k*w for w.
1
Suppose 16*p - 12*p - 32 = 0. Solve -3*a = a + p for a.
-2
Suppose 2 = -r + 2*o, 0 = 3*r - 5*o + 5. Suppose r = -3*t + 12. Solve -t*b + b + 3 = 0 for b.
1
Suppose -7*n = -3*n - 4*l + 16, -n - 3*l + 12 = 0. Let o be (-10)/(-3)*(n + 3). Suppose 2*b + 6 = -4*f - o, -4*b = -4*f - 28. Solve 7 = 5*v + b for v.
1
Suppose 15 = -s + 4*s + u, 4*s = u + 13. Suppose -h + 8 = 2*w + 2*w, -s*h = 4*w + 4. Solve 8*v + 25 = w*v for v.
-5
Let g(v) = -v**3 + 5*v**2 + 7*v - 8. Suppose -34 + 4 = -5*z. Let h be g(z). Let m be (-28)/(-12) - h/(-6). Solve -k = -m*k for k.
0
Let n = -4 + 5. Let j = n + 0. Suppose -4 = -3*o + 5*i - 3, 2*o - 3*i = j. Solve 6*u - o*u = 0 for u.
0
Suppose -4*c + 14 = 4*h - 6, 2 = c. Solve 0*j = h*j for j.
0
Let h(r) = -r + 7. Let w(v) = -v. Let n be w(-3). Let z be h(n). Suppose -z*c + 18 - 6 = 0. Solve 0 = 8*b - c*b for b.
0
Let p = 40 - 38. Solve -5*m + p*m + 3 = 0 for m.
1
Let g be ((21 - 1)/(-4))/(1/(-4)). Solve g = 2*u + 3*u for u.
4
Let o(w) = -w**3 + 4*w**2 + 7*w - 1. Let k be o(5). Let q = 11 - k. Solve -4*u + q*u = -8 for u.
4
Suppose 31 = 4*d + a, -a - 1 = -2*d + 22. Solve -11 - d = 5*q for q.
-4
Suppose -4*o = l + 2, 2 = 4*l - o - 7. Solve -2*z + 8 = l for z.
3
Let p be (-16)/(0/1 + -1). Suppose 20 = 4*q + 4*y, 0 = -5*q - 0*y + 4*y + p. Solve -q*m + 0*m - 12 = 0 for m.
-3
Let m = 10 - 6. Suppose 0 = m*c - x + 2, -4 = -2*x - 0*x. Suppose -5*r + 12 = -3*r. Solve r = -c*k + 3*k for k.
2
Let r = 19 - 14. Solve 0 = 2*n + r + 5 for n.
-5
Let y = 5 - 7. Let o = -1 - y. Solve 2*m - o = 3 for m.
2
Let g be (-112)/(-5) + (-2)/5. Suppose 2*i = 5*w - 2, 3*w - 4*w = 5*i - g. Solve -1 = -q + i for q.
5
Let v(b) = 3 + 2 - 4*b - 2 - b**2. Suppose 3*p + z = -13, 10 = -p - p - 2*z. Let r be v(p). Solve -r*d = -4 + 16 for d.
-4
Let b be 4*(15/6)/5. Solve -b*l + 6*l = 12 for l.
3
Let z(b) = -b**2 - 3*b + 4. Let u(l) = -l + 8. Let t be u(6). Suppose -s + 11 = -3*i, 0 = -2*s - 0*s - t. Let w be z(i). Solve w*h + 2*h = -8 for h.
-4
Let k = 3 - 0. Suppose 55 = k*c + 2*c + 5*f, 0 = 3*c + 4*f - 36. Solve 3*d = c + 4 for d.
4
Suppose -4*l + 32 = -l + 5*m, 0 = 3*m - 12. Suppose 5*a - l = -2*w, -w - 4 = -3*w + 2*a. Solve -t - 9 = w*t for t.
-3
Let n = 89 - 87. Solve 12 = -2*a + n for a.
-5
Suppose 7*z + z - 112 = 0. Solve 0 = -4*o + 10 - z for o.
-1
Suppose -4*v = u - 1, 0 = 2*v + 3*v + 5. Let n(x) = x**3 + 3*x**2 + x + 1. Let r be n(-2). Suppose r*j = -2*j. Solve u*g = -j + 25 for g.
5
Let o(u) = u**2 + 5*u + 4. Let t be o(-4). Solve -2 = -t*p - p for p.
2
Let g = 3 - 4. Let k = g - -6. Suppose 4*r - 1 = -5, 0 = -k*h - r + 24. Solve -5 = -0*m + h*m for m.
-1
Suppose 2*d = -5*t - 1, -2*d = -5*t + 1 - 10. Let q(z) = z**2 - z - 2. Let m be q(d). Let s(c) = 2*c + 24. Let v be s(-11). Solve -v*r - 6 = -m for r.
-3
Let z be -10*(11/5 - 3). Let j be (z + -6 + 3)/1. Solve 0 = 2*l + j - 3 for l.
-1
Suppose -4*z + 21 = -3*c, -z = -5*z - 3*c + 51. Solve -2*o = -5*o + z for o.
3
Suppose -5*o + 4 = -3*o - 2*l, 4*o = -l + 18. Let c(k) be the second derivative of -k**4/12 + k**3/2 + 2*k**2 - k. Let q be c(o). Solve q = -s - 3*s for s.
0
Let u(x) = x**2 + x - 1. Let g be u(-3). Suppose 0 = o -