s for s.
3
Suppose -3*v - w + 5 = 0, -1 = -3*v - 3*w - 4. Suppose 4*n - v*n = 0. Suppose -c + 2 = -0*c. Solve m + n = c for m.
2
Let g be 44/(-4) - (1 + -3). Let a(r) = r + 13. Let v be a(g). Suppose -19 - 1 = -v*w, -10 = -n - 2*w. Solve n = y + y for y.
0
Let b be 13/(-3) - (-4)/12. Let h = b - -10. Solve 2*x = -0*x + h for x.
3
Let g(f) = f**2 - 2*f + 2*f - 2 + 0. Let z be g(-3). Solve 9 = -z*j + 4*j for j.
-3
Let x = -5 + 8. Suppose -5*h + 130 = -c, -5*c = -x*h - 4*c + 78. Let y be h/10 - 6/(-15). Solve 4 = -y*n - 8 for n.
-4
Suppose 4*v + 0*v = 5*k - 30, 0 = -v - 4*k + 3. Let h be v/15*(-153)/3. Solve 3*g + h = 2 for g.
-5
Let m be 132/55*(-10)/(-4). Solve -m*q = -q + 15 for q.
-3
Let f = -20 - -23. Solve f*r - 15 = -0*r for r.
5
Let i(q) = q**3 + 3*q**2 + q + 1. Let j be i(-2). Suppose 0 = j*f - 4*g, g = -5*f + f + 19. Let r = f + -4. Solve r = -c + 2 + 2 for c.
4
Let x = 20 + -10. Let a be 1/(-2) - 7/(-2). Let z(l) = l**2 - 2*l + 1. Let h be z(a). Solve -x = h*p + 10 for p.
-5
Let x(d) = -3 + 1 + 0*d - 2*d + 0*d. Suppose 0 = y + 6 - 1. Let k be x(y). Solve -6*s + 2*s = k for s.
-2
Let p(g) = -g**3 - 3*g**2 - g + 2. Let s be p(-2). Let h be 6*(-2)/(-24)*2 - -3. Suppose h*z + 7 = 5*w, s*z - z + w = 1. Solve 0 = 2*v - 0*v - z for v.
1
Suppose -d - 3*d = -j - 20, -5*d = -j - 25. Let h(a) = 0 + d*a + 5 + a**2 + 0*a. Let v be h(-5). Solve 5*b + 5 + v = 0 for b.
-2
Let w = -3 - -5. Suppose w*f - 3 = 3. Let b(d) = d - 4. Let s be b(16). Solve -7*p + s = -f*p for p.
3
Let c be ((-10)/6)/(10/(-36)). Let y = 4 - 2. Let k be 228/14 - (-4)/(-14). Solve -y*p + c = k for p.
-5
Let q(s) be the first derivative of s**2/2 - 4*s - 2. Let b be q(0). Let j = b + 7. Solve j*w - 5*w + 4 = 0 for w.
2
Suppose -4*j = -j. Solve -3*m + 5*m - 6 = j for m.
3
Suppose 0 = -5*q + 3*q. Solve -3*o - 2 - 7 = q for o.
-3
Suppose 80 = 3*h + 4*x, 3*x + 0*x + 172 = 5*h. Let d be h/(-12)*6/(-4). Solve n + 3 = d*n for n.
1
Suppose 2 = -5*l + 17. Solve -4*d = -l*d - 4 for d.
4
Suppose -3*k - 9 = -0*k. Let h = k - -4. Solve -3*i + h = -4*i for i.
-1
Suppose 3*g = 2*g + 4. Suppose 0 = -r - 4*r + 60. Let h = 8 + r. Solve -h = l + g*l for l.
-4
Suppose 4*p - 8 = -5*v, -3*p = 2*v - 0 - 6. Solve -p*s + 4 = -0 for s.
2
Suppose -5*a - 3 = -3*h + 2, 5*h - 4*a - 30 = 0. Solve -15 - h = 5*p for p.
-5
Suppose 3*n + 2*x + 4 = 6*x, 4 = -2*n + 2*x. Let d be (0 + 6)*(-2)/n. Solve m + 1 = d for m.
2
Suppose 12 = 4*j + 3*z, 3*j - 3*z - 9 + 0 = 0. Solve 0 = -j*k + 15 - 0 for k.
5
Let x(h) = -h**3 - 10*h**2 - 10*h - 8. Suppose -3*d + 4 - 31 = 0. Let a be x(d). Suppose -5*b + 4 = -a. Solve -5 = 4*w - b for w.
-1
Let u(p) = -p**3 - 2*p**2 + 3*p + 1. Let m be u(-3). Let j be 0 - (7 + 0) - m. Let s(b) = -b**2 - 9*b - 4. Let f be s(j). Solve -f*a + 15 = a for a.
3
Let w = -7 - -6. Let g be 12/(-6) - -3*2. Let q = g + w. Solve 7*u = q*u + 16 for u.
4
Suppose -4*f + 3*t - t - 108 = 0, f + 5*t = -5. Let y = f - -28. Solve -i + 12 = y*i for i.
3
Let g be (-106)/(-6)*(2 + 1). Suppose 4*x + 1 = g. Suppose -3*c - 3*q + 51 = 0, -q = 3*c - 5*c + 19. Solve x = -5*s - c for s.
-5
Suppose 0*y = 4*y. Solve y = -4*c - 8 for c.
-2
Let k(z) = z**3 + 9*z**2 + 8*z + 12. Let q be k(-8). Let n be (1 + -3)/(q/(-30)). Solve 6 = -n*s - 19 for s.
-5
Let b = 9 + -3. Solve b - 1 = -5*k for k.
-1
Let f(w) = -w**3 + 4*w**2 - w - 2. Let l be f(3). Suppose -3*n - 16 = -0*k - k, 5*n = -l*k - 21. Solve 2*g - g + k = 0 for g.
-1
Let d = 4 - 0. Suppose q = -n + 1, -3*q = -d*n - 11 + 1. Suppose q = 4*s - 22. Solve 0*a + 3*a = -s for a.
-2
Let r be -2*3/6*-31. Suppose -2*i - 15 + r = 0. Solve 0 = 5*x - 7 - i for x.
3
Suppose 3*l + 4*k + 8 = -2, 0 = l + 3*k + 5. Let w(f) = f**3 + 8*f**2 - 8*f + 11. Let d be w(-9). Let n = l + d. Solve 2*h - 4 + 12 = n for h.
-4
Suppose 0 = 5*n - 2*w + 2 - 14, 0 = 2*w + 2. Solve 3*q = -4 - n for q.
-2
Let v be (-4)/2 + 4 + 2. Let i(k) = k**2 - 6*k - 7. Let j be i(7). Suppose j*o = -4*o + 8. Solve -3*u = -o*u + v for u.
-4
Let z(h) = -h - 3. Let i be z(-3). Solve i = l - 2*l for l.
0
Let b(f) = f**3 + 5*f**2 - 6*f - 5. Let t be b(-6). Let s(i) = -6*i + 2*i**2 - 3*i**2 + 2*i + 6. Let z be s(t). Solve 0 = -n - z + 2 for n.
1
Let s = -16 + 4. Let d be 3/5 - s/(-20). Solve c - 2*c - 1 = d for c.
-1
Suppose 2*u = -4*g - 14, 2*g = -u + g - 2. Solve -2 + u = -j for j.
-1
Let m(x) = 2*x**2 + x. Let b be m(-2). Suppose 14*u + b = 17*u. Solve 3 = -u*c - c for c.
-1
Let t(m) = -5*m**3 - m**2 - 3*m - 2. Let o be t(-1). Solve -o*x + 15 = -0 for x.
3
Suppose 0*l + 24 = 4*l - 2*o, -2*o = 3*l - 4. Let y(x) = x**2 - 5*x + 6. Let v be y(l). Suppose 20 = 4*n, -k + 5*n - 21 = -2. Solve -g - k = v*g for g.
-2
Let v be 18/(-4) + (-2)/(-4). Let k be (-11)/v + 3/(-4). Solve -b - 4 = -k for b.
-2
Let g = 37 + -34. Solve -7 = 2*x + g for x.
-5
Let i(u) = -4*u - 10. Let k be i(-3). Solve -n = 3 - k for n.
-1
Suppose -9*t + 11*t = 76. Solve -5*m - 13 = -t for m.
5
Suppose -u - 4*f - 2 + 5 = 0, u + 5*f - 4 = 0. Let z = u - -6. Solve z*q + 0 = -5 for q.
-1
Suppose -q = q. Let r(g) = g**3 - 9*g**2 - 9*g - 6. Let a be r(10). Let u = 6 - a. Solve d = -u - q for d.
-2
Suppose -c - 2*y + 15 = -7*y, 3*c - 13 = -y. Solve -c*o - 1 = 4 for o.
-1
Let r be (-3 + 20/8)*-4. Solve 0 = r*j - 5*j - 6 for j.
-2
Let k(j) = -j - 5. Let v be k(-5). Solve v = q + 3*q + 20 for q.
-5
Let w(t) = -2*t**2 - 40*t - 24. Let a be w(-19). Solve 5*v = -11 - a for v.
-5
Let y(h) = -h**3 - 7*h**2 - 8*h - 11. Let n be y(-6). Solve 0 = -t - 4 - n for t.
-5
Let k be -30*(4 - 0)/(-12). Solve 0*t + k = 2*t for t.
5
Suppose -5*s + 15 = -5. Let d(l) = l**2 - 8*l + 5. Let j be d(8). Suppose 21 = 3*u + 5*o, -j*o - 2 = u - 19. Solve 0 = -s*p + 2 + u for p.
1
Let c = 1 - 0. Let k(y) = y**3 + 5*y**2 - y + 4. Let f be k(-5). Suppose 14 = -3*q - 4*s, -4*q + 5*s + 26 + 7 = 0. Solve -q*v - f = c for v.
-5
Suppose -4*u - 14 = -2*d, -2*u - 3 = d + u. Suppose d = a - 0*a. Let g = 11 - 8. Solve -6 = -a*p - g for p.
1
Let p(d) = -d**3 - 2*d**2 + 2*d - 1. Let h be p(-3). Let g(m) = m**3 - 6*m**2 + 7*m - 1. Let f be g(5). Let s = 14 - f. Solve -h*a + s*a = 0 for a.
0
Suppose 3*x + 2*x = -25, -4*x = v + 18. Solve -3*c = v*c for c.
0
Let n = 2 - 0. Let u(a) = -9*a + 6. Let m(l) = 10*l - 7. Let z(q) = -5*m(q) - 6*u(q). Let r be z(n). Solve 1 = -2*o - r for o.
-4
Suppose -50 = -2*n - 3*n. Solve 6*w - w + n = 0 for w.
-2
Let r be ((-140)/(-63) - 2/9)*2. Solve 0 - r = 4*a for a.
-1
Let d(c) = c**2 - 31*c**3 + 34*c**3 - 2*c + c. Let q be d(1). Solve 0 = q*l + l + 4 for l.
-1
Let u(a) = a**2 - 4*a - 1. Let o be u(5). Suppose 0 = 2*h + o*l + 22, -4*h - 4*l = -l + 19. Let g = h - -1. Solve g = 2*r - 5*r - 15 for r.
-5
Let v(s) = s**2 - 7*s + 9. Let f be v(6). Suppose -1 = m - 2. Suppose f = 2*z + m. Solve -6 = 5*g - z for g.
-1
Let q be -2*3/(-9)*3. Let z be q - -1*(-2 + -5). Let h = 7 + z. Solve h*y = 6*y - 8 for y.
2
Let n be 4/(36/15 - 2). Solve 2*k - n + 0 = 0 for k.
5
Suppose 3*c + s - 213 = -87, 32 = c - 3*s. Suppose 3*w - 30 = 2*j, -3*j + 0*j = -4*w + c. Suppose -4*v + w = 24, 5*i + 2*v - 7 = 0. Solve 9 = i*d - 6 for d.
5
Let f be (-285)/(-45) - 1/3. Solve -5*q + 2*q - f = 0 for q.
-2
Suppose r - 2 = -0*r. Let d(v) = v**2 + v + 1 - v - v. Let g be d(r). Solve -g = 2*u + 1 for u.
-2
Let l(y) = -y**2 + 9*y - 8. Let g be l(8). Suppose 0 = -g*i + 3*i + 24. Let d = -6 - i. Solve -d = r - 0 for r.
-2
Let s be 5 - (-2)/(-2 + 1). Solve 4*k + 1 = -s for k.
-1
Let i(a) be the first derivative of a**3/3 + 3*a**2 + 2*a - 1. Let p be i(-6). Suppose p*r = -r. Solve 0 = u - r + 2 for u.
-2
Suppose -8*v = -3*v - 15. Solve 11 = -2*w + v for w.
-4
Suppose 0 = 19*j - 26*j + 14. Solve o + j = -1 for o.
-3
Suppose -3*h = -0*t - 5*t - 37, -5*h + 3*t + 35 = 0. Let d be (-3 + 7)/4*0. Solve -f - h = -d for f.
-4
Let y be ((-14)/(-3))/(2/6). Suppose 2*p - 2*q - y = 0, 3*p - 2*q = 7*p - 10. Solve 0 = -p*i + 5*i + 2 for i.
-2
Let i(q) be the second derivative of -5*q**3/6 - q. Let r be i(-2). Let s be (-40)/(-6)*(-4 - 102/(-12)). Solve 0 = 4*f - r + s for f.
-5
Let z(x) = x**2 - 6*x + 1. Let g be z(6). Let l = 40 - 21. Solve g = 5*r - l for r.
4
Let d(r) = -r**3 - 9*r**2 - 5*r. Let t be d(-8). Let l be (1/(-4))/(3/t). Solve -l - 18 = -5*p for p.
4
Let i = -1 - -2. Let w = -3 - i. Let f be (0 + 1)/(w/(-8)). Solve f*h - 