6 = 2*k - d*k for k.
-4
Suppose 1 = -4*h - 3. Let v be 3 - (h + 5)/4. Solve 0 = -v*g + 2 for g.
1
Let a(i) = 9*i + 1. Let x be a(3). Let r(c) = 5*c**2 + 2*c - 1. Let b be r(-2). Let l be -10*((-12)/b - 0). Solve -5*g - x = -l for g.
-4
Suppose m - 2*m + 15 = 4*r, -3*r = -4*m + 3. Let f = 31 + -29. Solve f*a = -r*a + 15 for a.
3
Suppose -4*c = 0, -5*r - 3*c - 22 + 2 = 0. Let f(p) = -p**3 - 3*p**2 + 5*p + 7. Let l be f(r). Solve 2*v - l*v = -3 for v.
3
Let s be (-18)/(-9) - (-1 - -3). Solve 4*c - 5*c = s for c.
0
Let m = -33 + 36. Suppose -7 = -5*f + 3. Let y be 4/m*3/f. Solve j = -j - y for j.
-1
Let t be (0 - 0)/2*3/6. Solve 2*u + 10 = -t*u for u.
-5
Let o be 100/28 - (-4)/(-7). Solve -2*l + 5 = -o for l.
4
Suppose -d - 10 = -6*d. Suppose -2*a + a = -d. Suppose 8 = 2*b - u, -a*b - 3*u + 6 = 2*b. Solve -2 = 5*q + b for q.
-1
Suppose 0*o = o. Suppose 2*f - 5 - 1 = o. Solve 6*w = f*w + 15 for w.
5
Suppose 2*z = -y - 4, 0*z - z + 1 = 2*y. Suppose -2*r = -2*t + 2*r + 26, r = 4*t - 24. Let k = t - 3. Solve y = k*j + 10 for j.
-4
Let v = -14 + 19. Solve 0 = -0*y - v*y for y.
0
Let n be (-2)/10 - (-2)/10. Let h = 3 + n. Solve -h*t + 9 = -3 for t.
4
Suppose 5*q - q - 12 = -4*m, 5*m = 2*q - 13. Suppose 7 = r + q. Suppose 3 = -3*w - r, 0 = -p - 4*w - 5. Solve -p*i = -i - 2 for i.
1
Let b be 1/(-4) + (-84)/(-16). Suppose 0 = -4*r - 8, -12 = 4*x - b*r + 6. Let h be (-2)/4 + x/(-2). Solve -4*u = -u - h for u.
1
Suppose 0 = -2*r - 4*y - 14, -3*r - 2*y = 3*y + 16. Suppose -5*m + r = -12. Suppose 2*k = -k + 9. Solve k*o + 9 = m for o.
-2
Suppose -3*c + 18 = 2*v, 3*c + v = -c + 29. Suppose 2*l - c = -0*l. Solve -8 = 2*n - l*n for n.
4
Let h(g) = 3*g**2 + 15*g + 3. Let r be h(-6). Suppose -46 = w - 5*w + 2*q, -w - 4*q = -16. Let u = r - w. Solve -2*p - p + u = 0 for p.
3
Suppose -3*s + 5*s - 2 = 0. Solve 4 = -3*i + s for i.
-1
Suppose 5*l - 23 = -6*m + 3*m, -24 = -4*l - m. Suppose 0 = l*g - 3*g. Solve 5*f + g*f = 5 for f.
1
Suppose j = -2*k + 4 + 4, 0 = -2*j + 5*k + 34. Let t = 24 - j. Let o be (t/(-9))/((-2)/6). Solve h - 2 = -o for h.
-2
Let f(h) = h**3 + 2*h**2 + 2*h + 1. Let t be f(-1). Solve -5*d + 20 = -t*d for d.
4
Let m(d) = d + 11. Let q(i) = i**2 - 7*i + 1. Let g be q(5). Let h be m(g). Solve 5*p + 15 = h*p for p.
-5
Let r be ((-4)/5)/((-1)/5). Solve 12 = r*w - w for w.
4
Let m(i) = -i**3 + 2*i**2 + 4*i. Let l be m(3). Let y be -2 + 10 + 0 + -6. Solve -n - l = y*n for n.
-1
Let x(f) = -3*f - 9. Let s be x(-4). Solve -4*t = -7*t - s for t.
-1
Let g(t) = t**3 - 3*t**2 + 3*t - 1. Let q be g(3). Solve -q - 1 = -3*r for r.
3
Suppose -4*f + 6 = -3*f. Let v = -4 + f. Let c = 4 - v. Solve c = -3*z - 1 for z.
-1
Suppose 85 = 14*s - 55. Solve 6*d = d - s for d.
-2
Let i(r) = r**2 + 3*r. Let s be i(-4). Solve 9 + 11 = -s*t for t.
-5
Let q = 48 + -47. Suppose j - 4 = 0, l + 8*j = 3*j + 20. Solve -2*s - 1 - q = l for s.
-1
Suppose -4 = -5*w + 3*z, w = -w - 3*z + 10. Suppose -5*k - 9 = -6*r + w*r, 3*r + 5*k - 33 = 0. Solve 0 = r*q - 2*q for q.
0
Let k be ((-6)/(-15))/(-3*(-4)/210). Solve -4*p - 13 = k for p.
-5
Suppose 5 = 2*s + 3*s. Let u be (6/5)/(s/5). Solve u*g = 4*g - 2 for g.
-1
Let y = -184 - -258. Let u = -33 + y. Solve -u = -5*j - 16 for j.
5
Let y = 3 + -3. Suppose u - 3*u - 3*p + 4 = 0, -5*p - 2 = -u. Suppose -u*f + 125 = 3*f. Solve 5*x = -y - f for x.
-5
Let c = -110 - -113. Solve c*u = -7 - 2 for u.
-3
Let c(n) = n**2 + 10*n - 1. Let y be c(-12). Let a(o) = -o**2 + 3*o + 1. Let j be a(2). Suppose -x + 2 - 1 = j*b, 3*x + y = 4*b. Solve -i + b = -3 for i.
5
Let a(x) = x**2 + 2*x - 1. Let k be a(-3). Suppose -k*g = -g. Solve h + 0*h + 1 = g for h.
-1
Let x be (15/9)/(2/6). Suppose x*h = -7 + 22. Suppose 19 = h*l - 26. Solve -3*a + 8*a = -l for a.
-3
Let p(o) be the first derivative of o**3 + 4*o**2 - o - 11. Let r be p(-4). Solve 6*w - r = 3*w for w.
5
Let d be (1 - 0) + (-4)/4. Solve d*b - 10 = -5*b for b.
2
Let g = -4 + 8. Suppose g*q - 31 = 5. Suppose -q*s + 6*s + 18 = 0. Solve 4*r + 26 - s = 0 for r.
-5
Suppose 1 = -0*g - g - 3*o, 3*g - 4*o - 23 = 0. Suppose 11 = -4*i - 3*v - 4, -5*v = g*i + 25. Solve i = -3*k - 2*k + 25 for k.
5
Suppose -25 = -5*d, 0 = 2*f + 2*d + 2 - 0. Let a(v) = -v - v - v**2 - 6*v - 9. Let o be a(f). Solve o*z + z = 8 for z.
2
Let k(z) = -z**3 - 6*z**2 + 6*z - 6. Let g be k(-7). Solve 0 = -p - g - 0 for p.
-1
Suppose 0*p + p + 2 = 4*d, 5 = d + 2*p. Suppose r - 3 = d. Solve 0 = -r*t - t for t.
0
Suppose -9 = 2*j - 5*j. Solve -j*k = -0*k for k.
0
Let n be 2*-1 - (-7)/1. Let o = 1 - 1. Suppose 0 = -z - o*z. Solve z = n*q - 6 - 9 for q.
3
Let x(j) = -j + 19. Let q be x(11). Solve -q = 3*s - s for s.
-4
Let y(p) = -p**3 + 7*p**2 + 10*p - 16. Let d be y(8). Solve -a - a = d for a.
0
Suppose 6*y - 11*y = 0. Suppose -15 = -3*v - 0*v. Suppose 4*c + 2*n = -8 + 30, -v*c - 2*n + 25 = 0. Solve y*z = -c*z - 12 for z.
-4
Suppose -j = 25 - 40. Solve 0 = -4*m + 5 + j for m.
5
Let h be (9/3 - -1) + 2. Suppose 9 = -5*y - h. Let q = 6 + y. Solve -2 + 14 = q*l for l.
4
Let i(j) = -j + 15. Let f be i(11). Solve f*q = -7 + 23 for q.
4
Let z be (4 - (3 + 1))/(9/(-3)). Solve 3*k - 11 - 4 = z for k.
5
Let i = -22 - -25. Let f(t) = -15*t. Let k(j) = j - 4. Let v be k(3). Let l be f(v). Solve -l = 2*m + i*m for m.
-3
Let m(q) = q**2 - 6*q + 4. Suppose 0 = 4*b - 0*b - 24. Let v be m(b). Solve 0 = 5*g + v + 16 for g.
-4
Let l = 1 - -3. Suppose -l*h - d = -25, -3*h - d = d - 25. Solve 3*n - h = 2*n for n.
5
Suppose 3*t - 2*v - 12 = 0, 0*t - 4*v - 22 = -5*t. Suppose -5*r - j = 170, -j - 108 + 4 = 3*r. Let o be t/11 - (-6)/r. Solve o = 2*g + 2*g for g.
0
Let y = 6 + -12. Let u be 1 + 3*(-4)/y. Solve 4 = u*t - 5*t for t.
-2
Suppose 4*x = -5*j + 3*j + 20, -j = -x + 11. Suppose 8*t - 2 = x*t. Solve m + t = 4 for m.
2
Let b(y) = -5*y + 4 - 3 - 3 - 3. Let z be b(-5). Solve -4*m - m + z = 0 for m.
4
Let b = 2 + 6. Let q = -24 + 27. Solve -q*r = -b - 7 for r.
5
Let g(i) = 2*i**2 + i - 1. Let k be g(1). Let h(b) = -b**2 + 2*b - 1. Let r be h(1). Suppose 4*j + 4*l - 20 = r, 2 + 3 = j - 5*l. Solve y - k*y = -j for y.
5
Let d(k) = -2*k**2 + k - 1. Let c be d(1). Let o be 1 - (c + 1) - -2. Solve 5 - 1 = -o*n for n.
-1
Suppose -3*i = -8 + 2. Let j be (-1)/i*5*-2. Solve 15 = j*y - 10*y for y.
-3
Suppose -q - 9 = -2*q + 2*l, -q + 3*l = -12. Solve -d = q - 1 for d.
-2
Let c be (-2)/(-8) - (-15)/4. Suppose -c*d = -5*m + 6 + 14, -m + 4 = 4*d. Solve -f - f = d for f.
0
Let r = 0 + -2. Let b be 1 + (r - -3)*-1. Suppose -5*k = -b*k - 80. Solve -x + k = 3*x for x.
4
Let t(h) = -h**3 - 4*h**2 + 5*h + 4. Let g be t(-5). Let p(m) = m**2 - 5*m - 6*m + 3*m + 4*m + 2. Let w be p(g). Solve 0 = -w*j + j for j.
0
Let w = 16 - 15. Solve h - w = -0*h for h.
1
Let s = 46 - 44. Solve s = 4*w + 18 for w.
-4
Let x = 0 - -3. Let k = 20 - 17. Suppose k*v - 1 = -2*b + 7, x*b - 12 = -v. Solve 2*j - 5*j = v for j.
0
Suppose 12*g - 52 = 20. Solve -2*x = 2 - g for x.
2
Let z(s) = -s**2 + 5*s - 7. Let q(g) = 3*g**2 - 16*g + 20. Let r(u) = 3*q(u) + 8*z(u). Let a = -23 + 31. Let i be r(a). Solve -3*m = -7*m - i for m.
-1
Let k(u) = u**2 + 6*u - 15. Let o be k(-7). Let a = o - -11. Solve -a*c - 6 = -c for c.
-3
Suppose -3*j + 9 = -39. Let g = -14 + j. Solve -g*s - 1 - 5 = 0 for s.
-3
Suppose 2*q - q = 0. Let r = 0 + 4. Suppose q = -c + r*c. Solve -3*n + 1 - 16 = c for n.
-5
Suppose 0 = -5*s - 3*d - 5, -5*s = -d + 6*d + 15. Suppose j - 5*w - 5 = 0, -2*j = -3*w + w - s. Solve j = m - 2 - 1 for m.
3
Let v be 0 - (-5 + 3 - -8). Let t(s) = -s**3 - 6*s**2 - 4*s - 4. Let o be t(v). Let d(z) = -z**3 + 4*z**2 - 3. Let q be d(3). Solve -q*a = -a + o for a.
-4
Suppose -4*k = -3*o + 65, -2*o + 6*o - 88 = 5*k. Let u be ((-4)/6)/((-6)/o). Solve -7 - 5 = -u*d for d.
4
Suppose 0 = -5*i + 25, d - 2*i - i = -10. Suppose -d*f + 15 = -0*f. Solve -16 = -v - f*v for v.
4
Let x(v) = v**3 - 5*v**2 + v - 3. Let q be x(5). Solve -q*j = -4*j - 4 for j.
-2
Let g(m) = m**2 + 13*m + 14. Let a(c) = c**2 + 7*c - 6. Let j be a(-6). Let u be g(j). Solve -u*l = -l for l.
0
Let j(h) = 0*h - h - 1 + h**2 - h**3 + 0 + 4. Let w be j(0). Solve l + 4 = w*l for l.
2
Suppose -5*d = 3*t - 11, -3*d + 3*t + 6 = 5*t. Suppose 3*i = 5*i - d. Suppose 8 - 4 = i*c. Solve -v + 4 = c for v.
2
Suppose -2*q - 50 = -4*q. Suppose 22*z = 6*z. Solve 5*b + z = q fo