+ 0*j - s = 0 for j.
2
Let b(p) = 3*p**2 - 10*p + 1. Let f be b(5). Let r = f + -14. Suppose 14 = 2*s - 3*v - 9, -5*s - 5*v = 5. Solve 0*z + s*z = -r for z.
-3
Let f = 3 - -2. Suppose f*p = 18 + 7. Solve 3*v - 10 = p for v.
5
Let p(b) = b**3 - 3*b**2 + 4*b - 4. Let h be p(2). Solve a - 3*a - 2 = h for a.
-1
Let w = 168 - 156. Solve 0 = -6*y + 2*y + w for y.
3
Suppose -2*n - 2*c = -6, -n - 4*n = -2*c - 8. Let v be ((-15)/(-6) + -2)*10. Suppose -16 = -v*t - 1. Solve n*w + t*w - 20 = 0 for w.
4
Suppose -b + 5*p + 22 = 0, -4*p = 3*b + p - 46. Solve -5*m - 8 = b for m.
-5
Suppose 2*j + 10 - 4 = 4*i, 3*i = 4*j + 2. Suppose 3*x - j - 17 = 0. Solve 2*k + x + 4 = 0 for k.
-5
Suppose 3*z = -0*m + 4*m - 78, -5*m - 3*z = -84. Suppose w - m = -2*w. Solve w*p - 16 = 2*p for p.
4
Let a(i) = i**3 - 3*i**2 - 2*i + 1. Let v be a(3). Let x(r) = r + 9. Let b be x(v). Solve 0 = b*n - 9*n for n.
0
Suppose 0 = 2*a - n - 39 - 4, 3*a - 51 = -3*n. Let h be ((-75)/a)/(2/(-8)). Solve -t - h = 2*t for t.
-5
Let v(f) = f**3 + 4*f**2 - 2*f - 3. Suppose -2*a + 3*g = a + 9, -3*a + 5*g = 9. Let x be v(a). Solve -6*i + 3*i - x = 0 for i.
-4
Let q be 45/6 - (-1)/2. Suppose 7*r - 3*r = q. Solve r*s - 5 = -1 for s.
2
Let k(v) = -v**2 - 16*v + 2. Let s be k(-16). Solve -12 = -s*b - 2*b for b.
3
Suppose -l - 3*o - 8 = 0, -4*o = 2*l - 2*o. Solve -r = l*r for r.
0
Suppose -4*n - 1 = -9. Suppose 2 = -n*w + 8. Solve -w*h = -6 - 9 for h.
5
Let f(r) = 5*r - 27. Let p be f(6). Solve 8 = w - p*w for w.
-4
Let u(o) = o - 4. Let d be u(3). Let q be d/((-2)/4 - 0). Suppose 5 = 2*g + 5*k, 3*g - q*k + 3*k - 1 = 0. Solve g = -l - 1 - 0 for l.
-1
Let k(l) = l**3 - 2*l**2 - l + 2. Let f be k(2). Suppose 3*w - 2 = -y, 3 = -3*w + 3*y - 3. Solve w = -2*t - f*t for t.
0
Let a = 24 - 34. Let u(s) = -s**2 - 11*s - 7. Let z be u(a). Solve -2*j + 5 + z = 0 for j.
4
Suppose -w + 6 = -0*w - k, -w + 5*k + 6 = 0. Solve -2*r = -w*r + 4 for r.
1
Let a(l) = -l**3 + 11*l**2 + 13*l - 7. Let p be a(12). Solve -3*x = -p*x - 2 for x.
-1
Let z(r) = -r**3 - r**2 + 3*r + 2. Let m be z(-2). Let o be -3 + m - (7 + -2). Let i(c) = -c - 8. Let n be i(o). Solve 0 = 2*f - n + 8 for f.
-4
Let j = 108 + -98. Solve -2 = -2*x - j for x.
-4
Suppose 3 + 7 = -4*w - 5*x, w = 4*x + 8. Solve 0 = -j - 5 - w for j.
-5
Let u = 12 - 9. Solve -2*i + u = -3*i for i.
-3
Let v(n) = -6*n. Let p(j) = -3*j. Let a(w) = -5*p(w) + 3*v(w). Let q be a(1). Let k be -2 + 1 + 1 - q. Solve k*c = -0 + 6 for c.
2
Let x(z) = -4*z**2 + 3*z + 6*z + 5*z**2. Let y be x(-9). Let v = 0 - -5. Solve v*t - 5 = -y*t for t.
1
Let f be (-12)/(-7) - (-2)/7. Suppose -v - f = -4. Solve -z - v*z = 0 for z.
0
Let a(w) = w**2 - 10*w + 18. Let n be a(9). Solve -6 = 5*q + n for q.
-3
Let o be (-1 + 1)/(18/6). Solve -4*q + 6 - 22 = o for q.
-4
Let n = 8 + -9. Let g be 0/(2/(n + 2)). Solve -y + 3 + 0 = g for y.
3
Let a(o) be the third derivative of -o**6/120 - o**5/10 - o**4/24 - o**3/3 - 2*o**2. Suppose 2*z + 30 = -3*z. Let u be a(z). Solve -2 = 2*c - u for c.
1
Let v(d) = -d**2 - 7*d + 10. Let k be v(-10). Let w = k - -12. Let r = -6 - w. Solve -s + 4 = -r*s for s.
-4
Let n = -1 + 3. Solve l - n*l + 1 = 0 for l.
1
Suppose -3*o + n + 2*n = -57, -5*n + 1 = -o. Solve 5*r + o = 4 for r.
-4
Suppose 0 = -5*g - 4*g + 153. Solve -3*r + g = 2 for r.
5
Suppose -5*f = -3*q + 11 + 11, -3*q - 4*f = -4. Suppose 1 + q = 5*n, -16 = -5*p - n. Solve 5*l = p*l for l.
0
Let t = -27 - -27. Solve t*y + 3 = y for y.
3
Let n(t) = t - 8. Let k be n(12). Solve -k*f - 4 = -0 for f.
-1
Let t = -186 - -190. Solve 1 = o - t for o.
5
Let l = 10 - 0. Let c(g) = g - 7. Let o be c(l). Let f be 0*3/(-6) - -2. Solve -f = o*i - 17 for i.
5
Let h(r) = r**3 - 6*r**2 + 7*r - 4. Let d be h(5). Let y(v) = 2*v - 3. Let f be y(4). Let t = -2 + f. Solve -d = t*o + 6 for o.
-4
Let x = -42 + 46. Solve x = -c + 1 for c.
-3
Let i(x) = x**3 - 6*x**2 + 2*x + 7. Let y be i(5). Let s(b) = -b - 3. Let p be s(y). Solve p*q = 2*q + 3 for q.
1
Suppose 8 - 32 = 4*z. Let g be (6/9)/((-2)/z). Solve 0 = g*c + 2 for c.
-1
Let o(b) be the second derivative of -b**3/6 + 9*b**2/2 - b. Let s be o(6). Solve s = -r - 2 for r.
-5
Let s(w) = w**2 - 2*w - 6. Let y be s(4). Solve 6 = -0*f - y*f for f.
-3
Let x be (-2 + 36/10)*5. Suppose 3*d = 4*l + 6, 0*l + 4*d = l + x. Solve -2*o + 5 - 15 = l for o.
-5
Let b = -13 - -23. Solve -4*l - l + b = 0 for l.
2
Let g be -2 + -13 + 8 + -5. Let w be g/(-7) + (-12)/(-42). Solve -a = -w - 2 for a.
4
Let s = 9 - 7. Solve -h - s*h = 12 for h.
-4
Let z(n) = -n + 13. Let h be z(8). Solve -4*b = b + h for b.
-1
Let d = 4 - 0. Suppose 4*h - d - 12 = 0. Solve -h*z = 23 - 7 for z.
-4
Suppose -14 + 5 = -x - 4*r, 2*r = 2. Let b(w) = -w**3 - 4*w**2 + 2*w. Let c be b(-5). Solve 0 = -0*q + x*q - c for q.
3
Let z be (4/(-6))/(1/3). Let w be (2 - 0) + 0 + z. Suppose 6*s - 9 = 3*s. Solve -s = -w*j - j for j.
3
Let z be (-112)/(-12) + 2/3. Let y = -6 + z. Solve -y*n - 7 = -3 for n.
-1
Let t be 130/14 + (-8)/28. Suppose d = -t - 1. Let a be 7/5 + 4/d. Solve p + 5 = a for p.
-4
Suppose -5*x + x + 32 = 0. Let p = x + -6. Let z be 3 + (2 + p)/2. Solve -1 = -4*b - z for b.
-1
Let f = 3 - 4. Let p be f + 1 - 4/(-2). Let y = -4 - -4. Solve 2 = -p*l - y for l.
-1
Let v(c) = 9*c + 21. Let f be v(-2). Solve -f = 4*g - g for g.
-1
Let w = 53 - 50. Solve 2*p + w*p = 0 for p.
0
Let h be (-1)/2*2 - 2. Let d be (h/(-6))/1*4. Solve p + d = 2*p for p.
2
Suppose 6*g = 49 + 5. Let w(p) = 2*p - 6 - 6 + 0*p. Let i be w(g). Solve b = i*b for b.
0
Let m = -5 + 8. Solve -g + m*g = -10 for g.
-5
Let p(j) = -j**3 + 5*j**2 - 2*j + 4. Let c be p(5). Let h be (-2)/3 - 4/c. Suppose 3*v = -h*v + 12. Solve -4 = -2*b + v*b for b.
-2
Let z = -2 - -2. Suppose 2*v = 3*p - 2*p - 1, z = -v + 5*p - 5. Let m = 1 - -2. Solve v = m*l - 0*l for l.
0
Suppose f - 33 = -3*i, f + 4*f - 4*i = 70. Let w = f - 13. Suppose 0*o + w*o = 30. Solve -10 = -h + o*h for h.
-2
Let o = -3 - -6. Let i = 8 - o. Let c = i - 3. Solve t + 4 = c*t for t.
4
Let f = -3 - -7. Let x be f/(-8)*-12 + -3. Solve -t - x = 2*t for t.
-1
Suppose 0*n - n = 0. Suppose n = 2*b - 0*b. Solve z - 3*z - 6 = b for z.
-3
Suppose 5*w + 57 = -2*i, -5*w - 49 = 3*i + 24. Let p = i + 32. Suppose 2*q = -2*q + p. Solve q*f + 9 = -7 for f.
-4
Let z = -30 + 30. Solve -4*k + 5*k = z for k.
0
Suppose -5*b - 8 = -d - b, 0 = -3*d + 5*b + 24. Suppose -19 + d = m. Let y = 16 + m. Solve -y*k = -0 + 5 for k.
-1
Let x be 2 - (-21)/(-12) - 19/(-4). Solve -x*g = -6*g - 1 for g.
-1
Let g(m) = 4*m - 3. Let b(d) = d**2 + 7*d + 8. Let p be b(-6). Let q be g(p). Suppose 0 = -q*s - 0*s + 30. Solve i - s = -i for i.
3
Suppose 5*l = 2*c - 6, 3*l + 15 = c + 4*c. Solve -6*w - c = -3*w for w.
-1
Let v = -11 + 8. Let u(c) = -c**3 - 2*c**2 + 5*c + 4. Let k be u(v). Let s be 12*(k + 3) - 0. Solve -3*f = -6*f + s for f.
4
Let a = -1 + 5. Suppose -2*p = -a*p. Suppose -3*x - 2*x = -2*u - 9, 5*x - u - 7 = p. Solve -n = 1 + x for n.
-2
Let c(j) = j**3 - 9*j**2 + 11*j - 20. Let r be c(8). Suppose 4*t = -3*l + 27, 3 = r*t - 3*t. Solve -2*w = -7*w - l for w.
-1
Suppose -4*c + 3*c = -8. Suppose -4*s + c = -0*s. Solve -s*i = -1 + 5 for i.
-2
Let k = 25 + -22. Suppose 5*g - 2*a = -k*a + 35, -4*g + 5*a = 1. Solve 0 = -2*y - y - g for y.
-2
Let x = -11 - -16. Suppose -g - 10 = -x*a, -2*a + 0 + 4 = -5*g. Solve -j = -a*j - 2 for j.
-2
Let d = -1 + 1. Suppose 5 = 5*s + p, -p - 3 = -3*s - d. Let u be (4/6)/(s/3). Solve u*f = 6*f + 4 for f.
-1
Let v = 21 - 15. Solve f - 1 = -v for f.
-5
Suppose -3 = 2*k - 13. Suppose -2*f + k*i = -14, 3*f = -0*f - i + 4. Solve -s = -2 - f for s.
4
Let w = 48 + -38. Solve -m - m = w for m.
-5
Let a(z) = -2*z - 7. Let i be 2/(-2 + 0)*5. Let f be a(i). Solve 2*d = -f*d for d.
0
Suppose -5*l - 13 = 7. Let h = l - -7. Solve 8*z + 10 = h*z for z.
-2
Suppose 4*o - 6*o + 4 = 0. Solve -p - o = -0*p for p.
-2
Let w(k) = 2*k + 2. Let i be w(-6). Let f = -7 - i. Let s = -2 + f. Solve -2*n = 7 - s for n.
-3
Suppose 2*r - 4*k = -2*r + 36, -3 = -3*r - 3*k. Suppose -4*l - 12 + 28 = 0. Solve -15 - r = l*c for c.
-5
Suppose 2*z + 18 = -z. Let l be (-3)/z - 7/(-2). Suppose -3*f = y - 17, 9*y - 5 = 5*f + 4*y. Solve -l = -f*u - 0 for u.
1
Suppose 9*d = 10*d - 3. Suppose d*y - 6 - 9 = 0. Let t(u) = -8*u**3 - 2*u**2 + 1. Let f be t(-1). Solve -y*p