 - 6*s for s.
2
Let n(k) = -k**3 + 2*k**2 + k + 0*k**3 + 1 + 1. Let g be n(2). Suppose 20 = g*t - 0*t. Solve -3 - t = -2*x for x.
4
Let w(q) = 3*q - 15. Let o be w(10). Solve 4*x + o = -x for x.
-3
Let b(t) = t**2 + 11*t - 6. Let g be b(-12). Suppose -j + 30 = -g*j. Let d = -6 - j. Solve -y = -d*y for y.
0
Suppose -b = -4*s + 12, -s - 12 = -2*b - 2*s. Let i(t) = -18 + 45 - 20 - t. Let a be i(b). Solve z + a*z = 0 for z.
0
Let f = 13 - 7. Solve -3*j + f = -j for j.
3
Suppose -v = -4*a + 47, v = -a + 2*v + 11. Solve -w + 4*w = a for w.
4
Let o = 1 + 3. Let u(t) = 4*t - 34. Let j be u(9). Solve -8 = j*g - o*g for g.
4
Suppose 2*w + 0 - 6 = 0, 3*w - 19 = b. Let d(z) = -z**3 + 7*z**2 + 21*z + 3. Let j be d(9). Let h = j + b. Solve 3*g + g = -h for g.
-5
Let h(z) = 3*z. Let v be h(6). Let c(o) = 4*o + 1. Let t be c(1). Suppose -5*w = s - 25, -s - s + w = t. Solve s = -4*j + v + 2 for j.
5
Let n be ((-5)/(-15))/((-1)/(-6)). Let w = 4 - 1. Solve n + w = -x for x.
-5
Suppose 4*q = 3*r + 12, r - q + 1 = -2. Let u be ((-7)/(-14))/(1/4). Suppose 5*t = -2*i + 4, -2*i = 2*t + 2*t - u. Solve r = t*h + 3*h + 25 for h.
-5
Let w = 6 - 6. Solve w = -2*t + 5*t - 6 for t.
2
Suppose 3*k - 4 = 5. Suppose -d + 5 = -2*q - 3, 5*q = k*d - 26. Let m = d + -8. Solve 0 = m*h - 23 + 3 for h.
5
Suppose 3*y = n - 2, -1 + 5 = -2*y + 2*n. Let x be y*(7/(-2) + 3). Suppose 2*l = -x*l. Solve a = -l*a for a.
0
Let d be 19/(-2) - 5/10. Let u be (4/d)/((-4)/20). Solve 2*s + u = -0 for s.
-1
Let c be (11 - 1) + (-9)/(-3). Let v = c + -8. Solve -2*p + 3 = -v*p for p.
-1
Let b(a) = a**3 + 3*a**2 - 6*a - 8. Suppose -4*c + 2*c + 2*n = 0, -5*c - 5*n = 40. Let l be b(c). Solve l*j + 3*j = -3 for j.
-1
Let o(n) = -n**2. Let j(b) = -7*b**2 + 2. Let k(u) = j(u) - 6*o(u). Let l be k(0). Solve 0 = -0*w - l*w - 4 for w.
-2
Suppose -5*c = v - 2*c - 3, 5*c - 9 = -3*v. Solve -3*p + v = -6*p for p.
-1
Let k(b) = -b**3 - 5*b**2 + 6*b + 4. Let c be k(-6). Let p = 15 - 22. Let u = p + 14. Solve -u = c*o - 23 for o.
4
Let a be ((0/(-2))/2)/(-2). Suppose 5*c + 2*z - 11 = 0, -3*c - 5*z + 3*z + 5 = a. Let d(v) = -v**3 - 7*v**2 - 7*v - 2. Let q be d(-6). Solve -i - c*i = q for i.
-1
Let r = 7 + -4. Suppose -o = -4*o + r. Let v be ((-1)/3)/((-2)/54). Solve 2*w - v = o for w.
5
Let h = 74 - 46. Suppose -4*m + 160 = h. Solve 8 = -5*i + m for i.
5
Let s(h) = 0 + 5*h + 4*h**2 - 5*h**2 - 2. Let z be s(4). Let f be z/3 + (-2)/3. Solve f = -0*k + 3*k + 3 for k.
-1
Let g be (16*-2)/(-4) - 3. Solve 2*s + 15 = g for s.
-5
Let r(j) = 2*j - 5. Let w be r(3). Solve -2 = a + w for a.
-3
Suppose 6 + 9 = 3*j. Let y(h) = h**3 - 3*h**2 - 6*h. Let u be y(j). Solve 0 = -3*v - u + 5 for v.
-5
Let m = -28 + 28. Solve m = -5*i + 4*i for i.
0
Let u = 123 - 121. Solve u*j + 2 = -2 for j.
-2
Let k = -45 + 47. Solve -4*g - 14 + k = 0 for g.
-3
Let d be 2/4*7/35*0. Solve -4*f + 14 - 6 = d for f.
2
Let k = 6 + -12. Let y(t) = -t - 3. Let v be y(k). Suppose v*h = 2*h + 4. Solve -3*p + 2*p = h for p.
-4
Suppose -4*a = -2*a - 50. Suppose -5*s = -2*h - 0 - a, -2*h = 2*s + 4. Solve 0 = d + 4 - s for d.
-1
Let p = -89 + 92. Solve 6 = p*q - 0 for q.
2
Suppose 0*r - 2*r = 0. Suppose -3*w + 2*d = -r*w - 8, -2*d + 6 = 4*w. Let t = -25 + 27. Solve -t = w*x - x for x.
-2
Let a(s) = -4 + s**2 - 8*s + 0*s**2 - 2*s**2. Suppose -10 = 2*n + 4. Let b be a(n). Solve -2*h - b - 1 = 0 for h.
-2
Let i be (-14)/(-7) + 3*1. Suppose m + 8 = i*m. Let a be 4 + -1 + -4 + m. Solve -q - a = -2 for q.
1
Suppose 4*v - 1 = 19. Solve -v*g + 2*g = -9 for g.
3
Suppose -4*l + 15 = -l. Suppose 2*m + 25 = 3*m - l*w, -3*w - 12 = 0. Solve m*a = -0*a - 5 for a.
-1
Let h(k) = -3*k - 3. Let s(d) = 2*d + 2. Let j(l) = 5*h(l) + 7*s(l). Let f be j(-3). Solve -t + 2 = -f for t.
4
Suppose -19 = -2*r + 5. Let h be (-8)/r - 8/(-3). Let t be 1/(-3) + 38/6. Solve p = h - t for p.
-4
Let y(w) = -w + 17. Let i be y(13). Solve i*a - 16 = -0 for a.
4
Let r = -9 - -5. Let o be (-2 - -6)*(-2 - r). Solve 4*n = 4 + o for n.
3
Let b(a) = -7*a - 8. Let v(p) = p. Let l(q) = b(q) + 4*v(q). Let i(g) = -6*g - 17. Let w(r) = 4*i(r) - 9*l(r). Let y be w(7). Solve -t - y = 4*t for t.
-5
Let w(c) = c**3 + 6*c**2 + 5*c. Let h be w(-5). Suppose 0 = 5*j - h*j - 25. Let x = 3 - 1. Solve j = -x*d + 3 for d.
-1
Let y be -1 - -3*2/2. Let x(g) = -g**2 - 4*g - 3. Suppose -c = -4*c - 6. Let m be x(c). Solve 3 = -y*k + m for k.
-1
Suppose -3*p = -3 - 27. Suppose 6*m = m + p. Solve -2*a - m = -4*a for a.
1
Let v = -2 - 4. Let a be 135/(-9)*2/v. Suppose -a*b - 2 + 7 = 0. Solve -1 - b = l for l.
-2
Suppose -12 = p + p. Let n = 11 + p. Let a = n - 2. Solve a*m + 3 = -0*m for m.
-1
Let t(b) = 2*b**2 - 14*b + 12. Let r be t(6). Solve r*a - 4*a = 0 for a.
0
Let q(f) = -f**3 - 6*f**2 - 4*f + 5. Suppose 1 - 21 = 4*m. Let j be q(m). Solve -1 = y - j for y.
-1
Suppose -40 = 5*r - 3*k, 0*k + k = 2*r + 15. Let y be 0 - (-4 + 3 + r). Solve d + y = 2 for d.
-4
Let g be (6/(-24)*-12)/(3/5). Solve 8 = -g*p - 17 for p.
-5
Let j be (3/4)/((-3)/(-28)). Solve 9*p = j*p for p.
0
Let q(w) = -w**2 + 5*w - 3. Let i be q(3). Let v = i - 2. Suppose -3*d - 5*s + v = 0, -3 - 1 = -4*d - 4*s. Solve 0 = -2*p + p + d for p.
2
Let k(v) = -v**2 + v. Let q be k(0). Let y = -16 - -20. Solve q = -y*o + 3 - 19 for o.
-4
Let m(j) = -1 + 2*j + 5*j**2 + 1 - 1. Let n be m(1). Solve -16 = -2*c + n*c for c.
-4
Let k be (12/21)/(6/21). Solve -k*c - 3*c + 10 = 0 for c.
2
Suppose 15 = -5*l, -4*p - 2*l = -l - 5. Solve -h - 3 = p*h for h.
-1
Let v(w) be the third derivative of w**5/60 - w**4/12 - w**3/6 - 2*w**2. Let q be v(-2). Solve -q + 4 = p for p.
-3
Let q be (6/(-5))/3 + 8/20. Solve -n = -q*n + 3 for n.
-3
Let x(b) = 5*b + 24. Let w be x(-4). Solve -3*t - 1 = -w*t for t.
1
Suppose -c - s = -0*s - 6, 0 = c + 5*s - 22. Suppose c*k = 4*k - 14. Solve 2*i = k*i for i.
0
Let f(x) = -1 + 2 + 3*x - 2*x + 0. Let r be f(2). Solve -r*b - 25 = 2*b for b.
-5
Suppose 0 = -3*g - v + 6, -24 = -3*g - 0*v + 5*v. Solve 0 = g*f - 13 + 1 for f.
4
Let z(i) = -i**3 + 12*i**2 + 2*i - 19. Let j be z(12). Solve -2*r = -r + j for r.
-5
Let a be ((-16)/(-4) + -1 - 3)/(-1). Solve -g + 1 - 3 = a for g.
-2
Let g = 38 - 32. Solve -g*i + i - 25 = 0 for i.
-5
Suppose -5*t - 3*s + 9 = 0, 2*t + 0*t = -2*s + 6. Let a(u) = -9 - 4*u + 6 + 2*u**2 - u**2 + 3*u. Let r be a(3). Solve -q - r = -t for q.
-3
Suppose 3*x + 2*t - 10 = -3*t, -2*x + t + 11 = 0. Suppose -k = 5*v, v - x*k = -0*v. Solve v*c - c = 0 for c.
0
Let y(v) = -v**3 + 6*v**2 - 4*v - 5. Let d be y(5). Let q(i) = -4*i + 3. Let w(t) = -3*t + 2. Let k(a) = 4*q(a) - 5*w(a). Let b be k(d). Solve b = -g + 1 for g.
-1
Let m be ((-2)/4)/(3/(-18)). Suppose -m*h + 120 = h. Let p be (h/4)/(2/4). Solve p = 4*b - 5 for b.
5
Let v = -19 + 24. Solve -v*z + 10 = -3*z for z.
5
Let g be -1 + (1 - 6/(-3)). Suppose 0 = -2*k - m - 6 - g, -k - 4 = 2*m. Let w = k + 4. Solve -5*v - 21 + 6 = w for v.
-3
Let y be (-4)/26 - 30/(-26). Solve 2*r = 3 - y for r.
1
Let t(o) = 5*o + 3. Let j(h) = h + 1. Let v(l) = -6*j(l) + 2*t(l). Let i(s) = s + 1. Let p(d) = -5*i(d) + v(d). Let n be p(-9). Solve -k = -0*k - n for k.
4
Suppose -c + 3*c = 0. Let t = 1 + c. Let o be (8/4)/(t/2). Solve -o*x - 5 = 3 for x.
-2
Let n be 3 - 1 - 2/2. Suppose -15*p - 24 = -21*p. Solve -3*y = -p*y + n for y.
1
Suppose 11*g - 112 = -2. Solve 15*j - g = 10*j for j.
2
Let i(f) = 2*f**2 - 2. Let t be i(2). Solve t = z - 4*z for z.
-2
Suppose -3*f + f + 2*h = 4, 0 = 3*h + 15. Let j = f - -13. Solve -4*d + 2*d - j = 0 for d.
-3
Suppose 0 = r + 4*k - 6, -4*r + 11 = 5*k - 2. Solve b + 1 = r*b for b.
1
Let o(i) = 13*i. Let s(f) = 7*f. Let y(t) = 91*t. Let n(q) = -77*s(q) + 6*y(q). Let j(x) = -11*n(x) + 6*o(x). Let l be j(4). Solve -l*a + 2 = 10 for a.
-2
Suppose 30 = 3*f + 2*f + 5*p, -2*p = -2*f + 12. Let d = f - 4. Let j be d + 6/3 - 2. Solve j = a + 5 for a.
-3
Let w be 2/6 + 14/3. Suppose -5*j - 4*y = -y - 10, -w*y - 6 = -3*j. Let b be (-1 + 1)/(j + -3). Solve 0*h - h - 1 = b for h.
-1
Let j(q) = q**2 - q + 2. Let v = -3 + 3. Let s be j(v). Suppose 4*b - 12 = -0*b. Solve s = n + b for n.
-1
Suppose 62 = 2*b + c, b - 122 = -3*b - c. Suppose -11 = -2*f - 39. Let n = b + f. Solve -5*d + n + 9 = 0 for d.
5
Let p(c) = c**3 - 9*c**2 + 7*c + 10. Let s be p(8). Suppose -n - 3*n + 108 = 0. Suppose n = 3*v 