 -u + t for u.
1
Let y = 20 + -4. Solve 2*d + y = -2*d for d.
-4
Suppose -3*p + 45 = 6. Suppose 2*s - 6*s - 4 = 4*u, 5*s = u + p. Solve -y - s*y = 12 for y.
-4
Let n(v) = -v**3 + 12*v**2 + 3. Let h be n(12). Solve 5 = h*k + 2 for k.
1
Let s = -23 - -24. Suppose 2*r = -3*h + 21, -h - 4*r + 6 + 1 = 0. Solve 2*d - h = s for d.
4
Let v be 2/(-5) + 22/5. Let f(b) = -2*b**2 + 7*b - 4. Let o be f(v). Let t = 4 - o. Solve u = -2*u - t for u.
-4
Let p(s) = s + 7. Let b be p(0). Suppose 0 = -10*a + b*a + 9. Solve -2 = -a*j + 1 for j.
1
Let u(z) be the second derivative of z**4/12 + z**3/6 - z**2 - 7*z. Let g be u(-2). Solve w = -g + 2 for w.
2
Let n = -1 - -4. Let v(a) = n*a + 3*a - 2*a + 4 - 5*a. Let w be v(-4). Solve -4*c - w = 8 for c.
-4
Suppose 0*a + a + 2*z = 27, -4*a + 102 = 2*z. Let t = a + -10. Let m = 5 + -5. Solve m*p + t = -3*p for p.
-5
Let o(t) = 5*t**3 + 0*t**3 - 2*t**3 - t**2. Let x be o(1). Solve -6 = c + x*c for c.
-2
Let t(p) = -14*p - 1. Let m be t(-1). Suppose 3*d = -3*h + 5*d + m, 2*d - 2 = 0. Let k = -14 - -27. Solve h*w - 7 = k for w.
4
Let m = -4 + 6. Solve -m*c - 2 + 12 = 0 for c.
5
Let n(q) = q**3 + 14*q**2 + 24*q. Let v be n(-12). Solve v*k = 2*k for k.
0
Suppose -4*s + 33 + 7 = 4*r, 3*s + 6 = 0. Let w = -1 + 1. Let t be w/(1/1 - -1). Solve 3*h + t*h = r for h.
4
Suppose -3*z + 42 - 5 = 4*r, 0 = -5*z - 2*r + 57. Solve 3*n - z = -2 for n.
3
Let g be (-2 - 2/(-1)) + 0. Let o be 3/6*g*1. Suppose o = -0*j - 3*j + 45. Solve 6*q = 3*q + j for q.
5
Let o = -11 - -27. Solve -f + o = -5*f for f.
-4
Let j(m) = m - m**2 + m + 2*m. Let s be j(4). Let b be s/(-1 - -1 - -1). Solve -4*v + 8*v = b for v.
0
Suppose 2*f = 7*f + 25. Let l = 9 + f. Solve -l*g - g = 10 for g.
-2
Let n(w) = -w + 1. Let c be n(1). Let o = -4 - -6. Let u be -3 - 24/(4 + -8). Solve u*j + o*j - 25 = c for j.
5
Let b = -25 - -29. Solve -4*h - 8 = b for h.
-3
Suppose -7*o + 2*u = -2*o, 0 = o + u. Suppose o = -4*m + 5 + 3. Solve -m*v = v - 6 for v.
2
Let l(z) = z + 1. Let t be l(4). Suppose c + 2 = f + 6*c, 0 = -3*f - 4*c - t. Let x(o) = -2*o - 3. Let h be x(f). Solve -h*i - 1 = 8 for i.
-3
Suppose 10*d - 6*d = 0. Solve d = 5*b - 0 + 5 for b.
-1
Let y = -78 - -80. Solve -y = 3*w + 7 for w.
-3
Suppose 0 = 5*b - 50 - 50. Solve -f - 4*f = -b for f.
4
Let u(i) = i**3 - 9*i**2 - 11*i - 1. Let m be u(10). Let j = 17 + m. Solve -o = 2*o + j for o.
-2
Let s(t) = 2*t + 2. Let o be s(0). Solve o*w = 3*w - 2 for w.
2
Let v = 1 - -1. Let j = -20 + 23. Suppose -j*i + v*i = -4. Solve -t - i = -3*t for t.
2
Suppose 0*i - 2*i + 5*f + 5 = 0, -5*i + 21 = -4*f. Solve 0 = i*p - 4*p for p.
0
Suppose -n - l + 4*l + 18 = 0, l = 3*n - 14. Suppose 0*c + 2*s = n*c - 90, 0 = s. Suppose 3*v - c = v. Solve 4*g = g + v for g.
5
Let b(u) = -u**3 - u**2 - 2. Let l(c) = c**2 - 5*c + 4. Let r be l(3). Let o be b(r). Solve 0 = -3*g + 1 + o for g.
1
Suppose 5*b - 40 = 3*v, -3*v = -3 + 18. Let l = 8 + -6. Let t be (-2 - -1)/(1 - l). Solve -2*m + t = b for m.
-2
Let k be 2/(-4)*0/2. Let w = 4 + k. Let i be 4/(-18) + (-10)/(-45). Solve i = w*m - 5*m - 5 for m.
-5
Let l = 7 - 3. Suppose -l*k - 34 = -6. Let r = 7 + k. Solve r = 5*s - 0*s + 20 for s.
-4
Let w(k) = -k - 14. Let p be w(-17). Solve 8*l = p*l - 20 for l.
-4
Let v be (-12)/8*(-64)/6. Solve 0 = -p - 3*p - v for p.
-4
Suppose 3*b + 129 = s + 6*b, 0 = -3*b + 9. Suppose l = -4*l + s. Suppose 1 = 2*v - 7. Solve -l + 4 = v*h for h.
-5
Suppose 8*s - 7*s = 8. Solve -s = -4*y - 0*y for y.
2
Let q(z) = 7*z. Let k be q(-1). Let p(u) = 6*u**3 + 6*u**2 - 7*u - 7. Let l(t) = t**3 - 1. Let w(j) = 5*l(j) - p(j). Let g be w(k). Solve -1 = 3*o + g for o.
-1
Let h be 6 + -1 + -4 + 2. Suppose 3*f - 4*f + h = 0. Suppose -5 - f = -2*j. Solve j = 2*a - a for a.
4
Let x be (-1)/8 + 241/8. Let l = x + -26. Solve 0*g - l = -4*g for g.
1
Let p(y) = 4*y - 6. Let d be p(2). Solve 0 = 2*i - 0 + d for i.
-1
Let q be -12 - (1 + -4*1). Let c = q + 13. Solve 4*s - 16 = -c for s.
3
Let v(n) = n + 4. Let m(p) = -5. Let x(f) = -3*m(f) - 2*v(f). Let w be x(6). Let t = 8 + w. Solve -4*i + t + 1 = 0 for i.
1
Let f(c) = -c**3 + 21*c**2 + 21*c + 23. Let b be f(22). Solve 11 - b = -5*h for h.
-2
Suppose 6*n + 35 = 5*g + n, -3*n - 9 = 0. Let y be 77/21 - g/6. Solve y*f + 4 = -f for f.
-1
Let m be 66/18 + 4/(-6). Let a be -1 + (7 - 0/1). Suppose -5*c - 6 = 2*s, s + a = -c - m*c. Solve -j = s*j for j.
0
Suppose -x = 2*l - 8, -2*l - 8 = -3*x - 4*l. Solve -5*s + 0*s - 5 = x for s.
-1
Let n(y) = -y - 1. Let j be n(-1). Suppose j = w + w - 16. Let b = -4 + w. Solve 24 = -b*h + 4 for h.
-5
Suppose 5*m - 406 - 64 = 0. Suppose 171 = 3*i + 3*k + 30, 2*i - m = 2*k. Suppose -4*s - 7 = -i. Solve 2*n + 0*n + s = 0 for n.
-5
Let c = 35 - 27. Solve -l - l = -c for l.
4
Let o(r) = r**2 + r - 4. Let w be o(-3). Suppose 5*g = t + 5, w = -3*t + 3*g - 1. Solve t*v = 4*v for v.
0
Suppose -66 = -0*m - 3*m + 3*f, 0 = 4*m - f - 94. Suppose -2*b = n - 7 - 5, -m = -4*b + n. Let a = b - -23. Solve 4*j + 9 = a for j.
5
Suppose 0 = -35*k + 36*k - 1. Solve 1 + k = r for r.
2
Suppose -3*u - 51 + 3 = 0. Let q = 19 + u. Solve -q*o + 2*o = 1 for o.
-1
Let q be 16/4 - (-1)/1. Let x = q + -6. Let w(c) = -12*c. Let s be w(x). Solve 0*p + s = 3*p for p.
4
Let y be 110/4 + (-1)/(-2). Suppose k + 5 = y. Solve 3 = 5*g + k for g.
-4
Let s be (0 - 1) + (-12)/(-6). Let k be (3/3)/s*3. Solve -2*w + k = 9 for w.
-3
Let b = 49 + -36. Let q(j) = j**2 + 2*j. Let n be q(-2). Suppose n = -p + 3. Solve -p = 2*h - b for h.
5
Let u(i) = -4*i**2 - i - 1. Let j be u(-1). Let q be j*((-1)/2)/1. Solve 2 + 0 = q*k for k.
1
Let g be (-27)/15*40/(-12). Suppose 3*r = -3*m + 18 + g, r - 2 = 0. Suppose -m = 4*n - 5*n. Solve -3*y + 0*y = n for y.
-2
Let p = 5 + -2. Solve -4*v + p + 13 = 0 for v.
4
Suppose 3*y - 25 = -2*o + 8*y, -4*y - 20 = 3*o. Suppose 0 = -f - 4, -3*s + 5 + 31 = -3*f. Suppose -3 = u - s. Solve -u*q - 6 - 4 = o for q.
-2
Let v(q) = -q**3 + 7*q**2 - 6*q + 4. Let n be v(6). Let g be (-117)/(-12) - (-2)/8. Let a be ((-2)/4)/((-1)/g). Solve 14 = a*r + n for r.
2
Let i = 16 + -9. Let m(t) = -t + 7. Let l be m(i). Solve -x + 4*x - 9 = l for x.
3
Let w(p) = p**3 + 3*p**2 - 4*p. Let q be w(-4). Suppose 0 = 3*m + 12, 91 = 5*c - q*m - 4*m. Solve -c = 3*i - 6 for i.
-3
Let u be (-4 + 5 + 1)/(1/10). Solve -p + u = -5*p for p.
-5
Let b = -90 + 90. Solve 5*a + 1 + 14 = b for a.
-3
Suppose t = 6*t - 0*t. Let a(m) = m**3 - m. Let o be a(-1). Let z = 0 - o. Solve t = -z*g - 2*g + 6 for g.
3
Suppose 2*m = 2*a - 12, 3*a - 3*m - 6 = 2*a. Solve 6*i - 3*i = a for i.
2
Suppose -3*w = 5*x - 17, 0 = -x - x + 3*w + 11. Let r be (-1 - -5)*(-1)/(-4). Let a(v) = 16*v - 1. Let s be a(r). Solve -x*g - s = g for g.
-3
Suppose 0*q - q = -10. Suppose -1 = n - q. Suppose -4*u - 6 - 2 = 2*k, 4*k = -3*u - 1. Solve n = f + k*f for f.
3
Suppose -u - u = 4*q + 14, -u = -1. Let j(c) = c**2 - 9*c - 14. Let p be j(11). Let d = p + q. Solve d = -3*i + 16 for i.
4
Let x = 13 + -6. Suppose q = -3*q + 5*b - 29, 3*q - x = -2*b. Let v = q - -1. Solve 2*t - 5*t + 6 = v for t.
2
Let l(o) = -o**3 - 7*o**2 + 16*o - 13. Let z be l(-9). Solve 0*a = -z*a for a.
0
Let a(s) = 14*s - 3. Let z be a(1). Solve z = 5*k - 14 for k.
5
Let h = -69 - -78. Solve -16*z + h = -19*z for z.
-3
Let a(n) = -n**3 - 3*n**2 - n + 2. Let i be a(-2). Suppose r - 1 - 1 = i. Solve -r*u + 1 + 3 = 0 for u.
2
Suppose 4*n = -5*y + 10, -3 = -2*y - 3*n + 1. Solve -3*x + 10 = y*x for x.
2
Suppose 5*c = 3*j + 8, j - 15 + 11 = 0. Solve 7*b = 5*b - c for b.
-2
Let x(k) = k**2 + k. Let h(o) = 3*o**2 + 10*o + 6. Let d(s) = -h(s) + 2*x(s). Let r be d(-6). Suppose 3*p = 6*p - r. Solve -8 = -p*z + 6*z for z.
-2
Let d = 72 - 32. Suppose k - 3*z = 20, 0 = 2*k - 5*k + 5*z + d. Solve 0 = -3*i + 2*i + k for i.
5
Let a(j) = -j**2 - 6*j - 5. Let b be a(-5). Let d be 2 - (2 + -1) - 1. Suppose b*s + 3*s - 6 = d. Solve 0 = -s*o + 4*o for o.
0
Suppose z - 4 = -0*z. Let a be (4 + -2)*(-1)/2. Let i(c) = c**2 + 2*c + 1. Let w be i(a). Solve z*k = -w*k + 16 for k.
4
Let w(z) = -3*z - 4. Let x be w(-4). Let f(y) = y**2 - 8*y. Let g be f(x). Solve 0 = -2*a - g*a + 6 for a.
3
Suppose u - 2*u = -2. Suppose 4*j = -5*t + 3, 2*t + 9 = -7*j + u*j. Solve 2*c = -t*c - 15 for c.
-3
Let c be 6/10 + 28/20. Suppose 0 = -h + 8 + c. Suppose -3*q + 4*q - 15 = -4