j + k + 1, v*k = 4*j - 13. Let l = 1 + j. Solve -3*c = -l*c for c.
0
Suppose -2*j + 7*j = -135. Let m be (j/18)/((-1)/2). Solve -m*l - 3 = -6*l for l.
1
Let f = 10 - 5. Let x = 8 - 4. Suppose -x*m = -5*l - 10, -2*l - 10 = 5*m + 3*l. Solve f*g + 25 = -m*g for g.
-5
Let o be (-28)/7 + (0 - -11). Solve u = -o + 10 for u.
3
Suppose -x = 2*o - 70, 3*x + o - 210 = -3*o. Suppose -i + 13 = -0*m + m, 5*i + x = 4*m. Suppose -5 = -3*w + 1. Solve -5*d + m = -w*d for d.
5
Suppose 3*p - p - 6 = 0. Suppose -p*c = -2*f + 14, -3*c + 2*c = 2*f + 2. Let s be ((-19)/4)/((-13)/52). Solve -f - s = 4*w for w.
-5
Let z(f) = -f**2 + 10*f - 11. Let d be z(8). Suppose -3*h - d*x = 9, -2*x = -8*h + 3*h + 16. Solve -3*s = 11 - h for s.
-3
Let t(a) = 8*a**2 - 1. Let w be t(1). Suppose w = -4*r + 19. Let k(y) = y**2 - 2*y - 3. Let q be k(r). Solve -2*c - 2*c + 4 = q for c.
1
Suppose 2*k = 6*k + 12. Suppose 4*x = -2*l + 18, 2*l = -5*x - 8 + 28. Let w be (-5)/(-2) - k/x. Solve -3*o = -o - w for o.
2
Let l = 24 + -15. Suppose 0*b - l = -3*b. Solve -6 = 3*c + b for c.
-3
Let u = 1 - -2. Let a be -1 - (u - 6) - -1. Solve -4*j + a*j - 1 = 0 for j.
-1
Suppose 0 = 5*f - 2*j - 8, -f - 3*j + 4 = -4*j. Solve 4*m - m - 15 = f for m.
5
Suppose 3*i - 3 - 3 = 0. Solve -18 = -4*q - i for q.
4
Let i = 8 + -4. Suppose 13*c + 1 = 12*c. Let w be (13 + -13)/(0 - c). Solve i = -g - w*g for g.
-4
Suppose 4*y - 3*y - 3 = 0. Suppose l + 2*d = 3 + 7, y*l - 19 = 5*d. Solve -z + l = -5*z for z.
-2
Suppose 0 = 7*b - 6*b, 15 = 3*x - b. Solve 0*c + x = c for c.
5
Let g = -6 + 8. Let w be 6/(-8) - (-24)/(-128)*-4. Solve -3*l + g - 5 = w for l.
-1
Suppose 3*f + 2*d + d = 24, f + 3*d = 16. Solve f*y + 4 = -8 for y.
-3
Let g = 49 + -45. Solve -g*w - 25 = w for w.
-5
Let b(v) = v**2 - 6*v - 2. Let w be b(7). Suppose w*s - 8 = 2. Suppose u - 20 = 5*o, o - 4 = -4*u + s*o. Solve -4*d + 2*d = u for d.
0
Suppose -s - 4*s = -630. Let w be (-4)/18 + 280/s. Solve w*z + z - 3 = 0 for z.
1
Let t(k) = -k**2 - 8*k + 4. Let c be t(-8). Solve u = -c*u for u.
0
Suppose -3*j = 3*k - 6, -3*k + j - 3 + 1 = 0. Suppose k = t - 2*t. Let y be (t - -1)*4/2. Solve -7 = y*x - 1 for x.
-3
Suppose 0*u - 15 = -u. Let s be (-6)/(-14) - u/35. Solve s = a + 1 - 2 for a.
1
Suppose c + 0*v + 2*v + 4 = 0, 5*c - 5*v = 25. Suppose 0*g = c*g. Suppose g = -4*a - 8 - 8, -2*a = 4*x - 4. Solve -5*s - 7 - x = 0 for s.
-2
Let q(u) = 12*u - 60. Let v be q(5). Solve v = -3*g - 1 - 14 for g.
-5
Let y(k) = -2*k**2 - 7*k + 18*k + 3*k**2 + 14. Let h be y(-10). Solve -12 = r - h*r for r.
4
Let t(b) = 2*b - 15. Let m be t(10). Solve -5*f = -0 + m for f.
-1
Let m(n) = -n**2 - 5*n + 17. Let x be m(-7). Suppose -7 = -2*q + x*d, 2*d + 0*d - 4 = -3*q. Solve 0*i + q*i + 8 = 0 for i.
-4
Let p = 95 - 80. Solve -5*s - 5 = p for s.
-4
Suppose -3*x - 56 = -7*x. Suppose -4 = 5*b - x. Solve -b*u + 3 = -3*u for u.
-3
Let i(b) = 3*b**2 + 12*b + 14. Let m be i(-3). Solve m*g + 6 = 2*g for g.
-2
Let x = 28 - 25. Solve x = d + 2*d for d.
1
Let o be (-1 + 2 - 7)/(-1). Let g = -4 + o. Solve 0 = -4*m + 2*m + g for m.
1
Let m(s) = s + 10. Let c be m(-7). Suppose w - 3*t - 12 = -w, w = -c*t + 6. Solve -4*q = -2*q + w for q.
-3
Let f = -15 + 18. Solve f*g - g = 0 for g.
0
Let g = -25 - -31. Solve -2*y = -0*y + g for y.
-3
Let i(m) = -7*m**3 + 2*m**2 + 6*m + 6. Let p(u) = -u**3 + u + 1. Let a(c) = i(c) - 6*p(c). Let z be a(2). Solve z = -2*b - 2*b for b.
0
Let y(o) = -o**3 - 31*o**2 + 32*o + 15. Let c be y(-32). Solve -5*k + 0 - c = 0 for k.
-3
Suppose -20 = 4*q - 6*q. Solve 6 = -4*f - q for f.
-4
Let m = 8 + -3. Let d = m + -3. Solve -n = -d*n - 3 for n.
-3
Let z = 3 - 8. Let u = 1 + z. Let v = u + 7. Solve v*k - 1 + 7 = 0 for k.
-2
Suppose 5*d = 2*d - 6. Let p be 2/4 + (-1)/d. Solve 0 = -2*n + p + 1 for n.
1
Let s = -23 - -23. Suppose 0 = -3*l - 4*c + 3, 0 = -4*l + 5*l - c - 8. Solve l = -s*r + 5*r for r.
1
Let p(m) = m + 2. Let l be p(6). Suppose -5*h = 0, x + x = 5*h + l. Suppose -2*g = -x - 2. Solve -2*o - g*o = 0 for o.
0
Let m = 16 - 11. Suppose -2*j + 3 = m*s, j - 2 + 0 = -2*s. Solve 5*q = -6 - j for q.
-2
Let s be 4/(-6)*(-4)/(-2)*-3. Suppose -6 = -l - 4. Solve -4 = l*p + s for p.
-4
Let f(l) = -5*l + 11. Let d be f(9). Let v be (-2 - (-9)/6)*d. Solve 0 = 4*n - 3 - v for n.
5
Let o be 4 + (-15)/3 + 2. Let t(h) = -3*h + o + h + 7*h**2 + 3*h**2. Let c be t(1). Solve -1 - c = -5*s for s.
2
Let r(j) = -j**2 + 11*j - 12. Let y be r(9). Solve -3*v + y = -0*v for v.
2
Let x(m) = m**2 + m. Let h(q) = -4*q. Let s(k) = h(k) + 2*x(k). Let j be s(2). Solve 7 = j*t - 1 for t.
2
Suppose 0 = -4*r - 2 + 10. Solve -r*c = -0*c + 2 for c.
-1
Let q = 14 + -5. Solve 2*l = -l - q for l.
-3
Let t be (-9)/2*(26/6 + -5). Solve -2*f - 7 = -t for f.
-2
Let u = 20 + -8. Suppose 0*f - u = -4*f. Suppose -f*v + 29 = -0*v - 2*q, -4*v + q = -37. Solve 20 = -4*k + v*k for k.
4
Let k = 19 + -44. Let n = 18 + k. Let a = n + 11. Solve -a*u + 6 = -u for u.
2
Suppose 3*i + 20 = -2*i + 4*g, 4*i = -g - 16. Let m be (-12)/i + 3 + -3. Solve -2 = m*a + 4 for a.
-2
Let a be (1 - ((-6)/(-2) + -15)) + -3. Solve 0*m = 2*m + a for m.
-5
Let o be (4 + -5)/(2/(-8)). Suppose -3*m = o*c - 11, 2*c + 0 = -m + 5. Suppose 5 = c*j - w + 2, 3 = w. Solve -3*k + j = -6 for k.
3
Let u(l) = l - 8. Let t be u(10). Solve 2*d = d - t for d.
-2
Suppose -4*n = -5*f, 0 = 5*f - n - n - 10. Let y be 2/3 - (-48)/9. Suppose y = 3*p - 0. Solve f*o - 10 = p for o.
3
Suppose -29 = -7*v + 20. Let d be 6/4*(1 - 5). Let c = v + d. Solve c - 2 = j for j.
-1
Let s = -57 + 59. Solve -s*n = -3*n for n.
0
Let p(q) = -2*q**2 + 3*q + 4. Let t be p(4). Let g = t + 22. Let z = -4 + g. Solve z = 3*s - 2*s for s.
2
Suppose 5*o = 9*o. Suppose 2*u + 4 = 14. Suppose -4*s = 4*r + 4, s + 19 = u*r - o. Solve r*h = 4*h - 4 for h.
4
Suppose -2*l = -r - 39, -4*l + 61 = r - 20. Let p be 1/4 - (-35)/l. Solve d + 1 = p for d.
1
Let m be (38/5)/((-6)/(-15)). Suppose 3*q = -2*l + m, -l + 10 = 4*l. Solve q*w + 9 = -6 for w.
-3
Let k = 14 + -2. Suppose -3*d = d - k. Let m be 10/(-15) + 14/d. Solve m*p = 5*p for p.
0
Let t(a) = a**3 + 8*a**2 + 8*a + 9. Suppose 0 = 2*j + 20 - 6. Let o be t(j). Solve 0 = -o*r - r for r.
0
Let s = -8 - -8. Let n be (-6)/24 - (-2)/8. Suppose 2*g - 4*g + 4 = n. Solve s = -x - g*x - 9 for x.
-3
Let c(i) = i**3 + 14*i**2 + 20. Let a be c(-14). Solve 3*w + w - a = 0 for w.
5
Let b(q) = q**3 + 6*q**2 - q - 2. Let z be b(-6). Let s be ((-2)/((-2)/5))/(6 + -5). Solve -3*t = -z - s for t.
3
Suppose 4*f = -4 + 12. Solve -7 = 3*g + f for g.
-3
Suppose -k + 8*m = 3*m + 15, 4*k = m - 3. Solve r - 2 = -k*r for r.
2
Let l = 8 + -7. Suppose m - l = 4. Solve -m = -c - 4*c for c.
1
Let f(a) = 2*a**3 + 1 + 3 + 2*a + 2 - 7. Let v be f(1). Suppose v*w + 24 = 4*i, 6*w + 29 = 3*i + w. Solve k = i*k - 10 for k.
5
Let m = -53 + 56. Solve 3 = -m*t + 9 for t.
2
Suppose -4*b - 8 = -4*r, 0 = -2*b - 5*r + 3*r. Let s = -3 + b. Let t be (1 - 1)/(-2 - s). Solve 4*l + t*l = 20 for l.
5
Let c(j) = -j**3 + 3*j**2 + 2*j - 3. Let y be c(3). Suppose -y*x + 25 = 5*g, 6*x - 3*x - 21 = -3*g. Suppose -4*p + 10 = -g*p. Solve p*d + 10 = -15 for d.
-5
Let a(o) = o + 3. Let t be a(-4). Let n = t + 6. Solve 0*w = -n*w + 15 for w.
3
Suppose -3*d - 3*y = -3 - 3, 4*y + 12 = 0. Let s be (d*-2)/(8/(-4)). Suppose -4*l - l = -25, 0 = -s*b - 4*l + 30. Solve 5*j = b*j + 15 for j.
5
Let f be ((-2 - 0) + 2)/3. Solve g + f + 4 = 0 for g.
-4
Suppose 0 = 3*o - 4*o. Solve 8 = -o*u + 4*u for u.
2
Let b = 8 - 8. Let i be (-6)/(-7) + 4/28. Solve w - i = -b for w.
1
Let u(t) = -194*t - t**2 + 187*t - 8 + 3. Let v be -2*1/(2/5). Let g be u(v). Solve g = 5*i + 10 for i.
-1
Let n be 9/6*76/6. Suppose 2*l + 1 = n. Suppose l + 3 = 2*d. Solve d*i = i for i.
0
Let r(t) = -12*t. Let m be r(-1). Suppose -2*j = 2*l - 0*l - m, 3*j + 2 = -l. Let g be (-25)/5*4/(-10). Solve -4*o - l = -g*o for o.
-5
Suppose 0 = 5*o - 25, 0 = -3*i - o + 5*o - 11. Suppose -3 = 3*u - n, 3*n - 5 = -i*u + 4. Solve -2*x - 2 + u = 0 for x.
-1
Let m(a) be the first derivative of a**4/4 + 3*a**3 - 5*a**2 + 5*a + 9. Let r be m(-10). Solve 0 = -2*n + 7*n - r for n.
1
Let l be (4/(-3))/((-2)/(-3)). Let n be (-32)/(-20) - l/5. Solve 10 = n*k + 3*k for k.
2
Suppose -3*x + 3*i + 51 = 0, -3*x - 5*i + 1 + 10 = 0. Let u = -10 + x. Solve u*c + 10 = 4 for c.
