 for k.
-1
Suppose -5*v + 18 - 61 = -4*z, 3 = 3*v. Suppose -5*i - 3*j = 12, -4*i = -2*i + 3*j + z. Suppose i = 3*t - 44 + 11. Solve t = -3*u - 1 for u.
-4
Suppose -7*k + 3*o + 25 = -2*k, 3*k = -4*o + 15. Suppose -2*j + 2*c + 7 + 11 = 0, -4*j + k*c = -40. Solve 0 = -x + j - 2 for x.
3
Suppose 5*w = -82 - 23. Let f be (-6)/(-1)*(-1 - 4). Let l = w - f. Solve -g = -4*g - l for g.
-3
Suppose 3*o + 6 = -f - 3, 1 = f + o. Suppose 5*s + 21 = 2*c + f, 4*s + 4*c = -12. Let u be 3 - 6 - (-22 - s). Solve -u = -5*z + z for z.
4
Suppose -12 = -3*d - 3*u + 12, 0 = -2*d + 2*u + 16. Suppose 2*j = 5*s - 45, -2*s + 49 = 2*s + j. Let r = s - d. Solve -2*z = r*z - 5 for z.
1
Suppose 0 = 5*f + 3*w + 2, f + 14 = 5*w - 9*w. Solve 12 = f*u + u for u.
4
Let j be (8/(-10))/((-10)/225). Suppose 5*y + l + l - j = 0, 0 = 2*y + 3*l - 5. Solve -y*g = -0*g - 4 for g.
1
Let q be (-94)/(-4) - 1/(-2). Suppose -3*c + q = -0*c. Solve c = -k - k for k.
-4
Let r = -2 + 6. Suppose 3*u - r*u = -2. Let v be 20/6 + 4/12*2. Solve -2*d = u - v for d.
1
Suppose -v = -x - 3*v - 5, 3*x + 2*v - 5 = 0. Let o = -5 + x. Solve 2*p - 3*p + 1 = o for p.
1
Let s(f) = f**3 - 5*f**2 - 3*f. Let h(b) = -2*b**3 + 9*b**2 + 7*b + 1. Let w(n) = -2*h(n) - 5*s(n). Let j be w(7). Solve -j*l + 10 = -15 for l.
5
Let i be (-20)/(-8) + (-4)/8. Solve 2*y = 3*y + i for y.
-2
Let f(c) = c**2 - 1. Let z be f(-2). Solve -g = -2*g - z for g.
-3
Let j(q) = 2*q**2 - 5*q - 9. Let d be j(4). Solve 4*h = -d - 1 for h.
-1
Let t(m) = -m**3 - 4*m**2 - 2*m + 7. Let f be t(-3). Solve -f*d - 6 = -26 for d.
5
Suppose -2*u + 2 = -4. Solve -15 = u*g - 0 for g.
-5
Suppose -4*j + 3 = 11. Let i(v) be the third derivative of -v**4/12 + v**3/3 + 8*v**2. Let d be i(j). Solve -f - f = -d for f.
3
Suppose 0*q + 2*q - 4*z = 4, -4*q + 1 = -z. Solve q = -2*b - b - 9 for b.
-3
Let h be (4 + 2)/(6/9). Solve -20 = -h*m + 4*m for m.
4
Suppose -2*d = -6*d + 8. Solve -5*q = -4*q - d for q.
2
Suppose -5*u + 25 = 5*o, -4*o + 12 = -2*o + 3*u. Solve o*k + 0 + 15 = 0 for k.
-5
Let j = 16 - -22. Suppose -j + 14 = 4*p. Let v be (-2 - (p - -1)) + -1. Solve -u - 5 = -v for u.
-3
Suppose -5*f + 14 = -2*j + j, -f - 2*j = -5. Let b = f - -14. Suppose d = -m, -2*d - b = -m - 5. Solve 8 = -m*z - 0 for z.
-2
Let z be -6*(-2 + 15/9). Suppose 4*v = 3*r - 10, -z*r + 3 - 2 = 3*v. Solve -u = u - r for u.
1
Suppose w = c - 0*c + 1, -1 = 2*w - 3*c. Solve 7*k = 3*k - w for k.
-1
Let a(k) = 3*k + 6. Let s be a(2). Solve 5*q = 9*q - s for q.
3
Suppose 3 = 5*f - 2. Let m(p) = -p**2 + 3*p + 6. Let c be m(5). Let y be (-3 - c) + f*3. Solve w + 3 = y*w for w.
1
Suppose b = -3*b + s + 21, 4*b - 5*s = 41. Let t = -15 + 11. Let o be (-9)/(-2)*t/(-6). Solve -o*f = -2 - b for f.
2
Suppose -4*l + 19 + 13 = 0. Let a be 5 - -4*(-2)/4. Suppose 0 = a*q + 2*q - 25. Solve q*s - 33 = -l for s.
5
Let g(f) = f**2 + 7*f. Let n be g(-7). Suppose n = -0*i + 3*i. Solve 3*r = -i*r for r.
0
Let w = -2 - -5. Suppose 0 = -k - 2*t + 6, -5*t + 7 + 3 = 0. Suppose 3*v = -k*v. Solve -i + w*i - 8 = v for i.
4
Let r = -33 - -35. Solve 0*k - r*k - 6 = 0 for k.
-3
Let o(m) = 6*m + 12. Let y be o(-2). Solve -v - 5 = -y*v for v.
-5
Let w(o) = -o - 1. Let s be w(-4). Solve s*y - 6 = y for y.
3
Let w be 2/(-4) - 2/(-4). Suppose 3*u + u = w. Suppose u*n - 5*n = 0. Solve -5*i + 0*i + 5 = n for i.
1
Let a(v) = -v**3 + v**2 - v - 1. Let m be a(-1). Suppose -5*n = -5, -n - n - 6 = -m*s. Solve -b = s*b + 15 for b.
-3
Let a be -1*((2 - 19) + -2). Solve -3*f = -a + 7 for f.
4
Let t(g) = 3*g + 26. Let k(y) = -y - 9. Let w(a) = -17*k(a) - 6*t(a). Let z be w(-6). Solve 5*r - z = 4*r for r.
3
Suppose -j - d = 4*d + 1, 3*d = -3*j + 9. Suppose -3*b - 2*y = j, 4*b - y = b + 11. Solve -b*v = v for v.
0
Suppose 0 = 3*a - 11*a. Solve a = 3*u - 7*u for u.
0
Suppose -2*n = 6, 0 = 3*j - 4*n + 3*n - 9. Solve j*a = 11 - 1 for a.
5
Let r = 45 - 45. Solve r = -4*d + d for d.
0
Suppose -24 = -2*n - 4*n. Solve 10 = -n*p + 26 for p.
4
Let t = -12 + 18. Solve n - 10 = t*n for n.
-2
Let z = -13 + 11. Let g be (-4)/14*7/z. Solve 0 = p - 4 - g for p.
5
Suppose -6*y = -y - 30. Let n(g) = g**3 + 6*g**2 + g + 6. Let d be n(-6). Let w = d + y. Solve -2*b + w*b = 12 for b.
3
Suppose 91 = 3*u - 2*b - 0*b, -b + 32 = u. Suppose -n - 5*t - u = -4*n, -4*t - 36 = -4*n. Suppose -5*d = -27 + n. Solve -d*f = -5*f - 5 for f.
-5
Let n be ((-2)/(-4))/(-1)*-4. Suppose n*c - 5*c + 24 = 0. Solve 4*y - c = 8*y for y.
-2
Let q = -23 - -39. Let j be 53/5 + q/40. Solve -5 = -4*f + j for f.
4
Let l(q) = 2*q**2 + q - 1. Let j be l(1). Solve j = k - 0*k for k.
2
Let j be ((-18)/30)/((-2)/10). Suppose -5*t = -j - 12. Solve -t*z = -8*z - 10 for z.
-2
Let z = 13 - 9. Solve 0 = -z*x - x + 5 for x.
1
Let q be 11/(11/8) + -3 + -1. Solve 3*g + 8 = -q for g.
-4
Let x(r) = -r**2. Let y be 1 + 2 + -5 + 2. Let w be x(y). Solve -v + w - 5 = 0 for v.
-5
Let m = 5 + 1. Solve 0 = -5*f + 4 + m for f.
2
Let c(s) = -5 + 5*s - 3*s - 3*s. Let k be c(-5). Let v be (33/7 - 5) + 86/7. Solve -3*d - v = -k*d for d.
-4
Suppose 0 = -5*b + 2*b + 12. Solve -w = 7 - b for w.
-3
Let r = 16 + -24. Let y be r/6*(-3)/2. Suppose 0 = 4*i - 2*i - y. Solve 0 = -4*q + 5*q + i for q.
-1
Suppose -t - 3 = -4*t. Let s be 0/(t - 1/(-1)). Suppose -2*m = -s*m. Solve 2*x + 5 + 1 = m for x.
-3
Let x(g) = -g. Let y be (-1)/(-1)*(-3 - -1). Let c be x(y). Let l be 0 + 1 + c + -1. Solve l = -o - 0 for o.
-2
Let r = -1 - -11. Suppose 0*k - k = -r. Solve -5*s + k = -10 for s.
4
Let k = 6 - 3. Suppose -3*i + 5*i - 64 = 0. Suppose 0 = -0*w + 4*w - i. Solve 0 = k*s - w*s - 20 for s.
-4
Let q = -1 - 0. Let g = q - -3. Let k be 3/g - (-2)/4. Solve 0 = -7*s + k*s + 5 for s.
1
Let t(i) = -i**2 - 8*i - 6. Let v be t(-8). Let u = 14 + v. Let j be 6/21 - 78/(-21). Solve 4*l + j - u = 0 for l.
1
Let t = -40 + 46. Solve 11*y + 15 = t*y for y.
-3
Let i be 94/(-12) - 6/36. Let l = -3 - i. Solve -3*c + l*c + 10 = 0 for c.
-5
Suppose 2*l - 5*j - 3 = 0, -l + 2*j - 24 = -2*l. Solve 0*v = -7*v - l for v.
-2
Suppose 4*x + 2*i - 9 = i, 4*x = -4*i. Suppose -3*b - x + 15 = 0. Let n = b + -4. Solve -4 + n = 2*f for f.
-2
Let h be (-1)/(2/(-2 + -2)). Let d be 4/h - (6 - 0). Let x be (d/(-3))/(1/3). Solve -2 = -2*l - x for l.
-1
Suppose -4*k = 2*b - 6, 4*b + 1 = -k - 1. Solve k*u = 7 - 3 for u.
2
Let d be 15/3 + 9/3. Suppose 0 = -2*b + 6*b - d. Solve -1 - b = -s for s.
3
Suppose 5*z - 5 = -40. Let f be (-30)/z + 6/(-21). Solve p + f*p + 25 = 0 for p.
-5
Let f be 48/(-9) - 2/3. Let l(k) = -k**2 + 8*k + 7. Let y be l(9). Let o = y - f. Solve -o*n = -2*n for n.
0
Let x(n) = -n - 8. Let c be x(-11). Suppose c*a - 9 = -2*y, 0*y + y + 15 = 5*a. Solve 9 = 3*l - y*l for l.
3
Suppose s = -0*s - 2, -4*l + 22 = -s. Suppose -3*q = -n - 3, 0*q - q = l*n + 15. Suppose 4 = 2*x - q. Solve -x*f = -f for f.
0
Suppose 0 = -2*w + 5*w - 45. Solve 6*f + w = 3*f for f.
-5
Let p(w) = -w**2 + 5*w - 5. Let l be p(2). Solve l = -4*d + 21 for d.
5
Let r be 2 - (-1 - 0/3). Let v(a) = 2*a**2 + a - 1. Let c be v(r). Let x be (-1 - (0 - -4))/(-1). Solve -x*k + 5 + c = 0 for k.
5
Let r(h) = -5*h + 42. Let z be r(8). Solve z*s - 7*s + 10 = 0 for s.
2
Suppose 5*o = 60 - 0. Solve o = 5*y - 9*y for y.
-3
Suppose -5*h = 4*z - 27 - 5, -3*h + z = -9. Solve 0 = h*r - 3*r for r.
0
Let f = 0 + 3. Let j = -6 - -9. Let x(m) = -m**2 - 2*m - 1. Let w be x(-1). Solve -j*z + w*z = -f for z.
1
Let j be 1/(4/(-20)*-1). Suppose -3 + 18 = j*h. Solve 5 = 2*i + h*i for i.
1
Let l = 79 - 52. Let v = -24 + l. Solve v*n = -1 + 7 for n.
2
Let r be (2 + -2)/(2/(-1)). Solve r*u - 10 = -2*u for u.
5
Let h be (120/54)/10 - 4/18. Solve -4*z + 5*z + 3 = h for z.
-3
Let a = -1 - -5. Suppose 2 = -3*h - r, 0*r + 20 = -4*r. Solve -h = -a*l + 3 for l.
1
Let v(n) = -n**3 + 3*n**2 + 4*n + 4. Let t be v(4). Suppose 3*g - 3*l + 3 = 0, -3*g + 7 + 18 = t*l. Solve -g = 2*o - o for o.
-3
Let d(v) = 2*v + 1. Let s be d(0). Solve -y = -s - 4 for y.
5
Let z be (-3)/(-9) + (-44)/(-12). Solve -2*w = 6 + z for w.
-5
Suppose -4*h + 2 = h - 2*l, 0 = -4*h - 5*l + 28. Let b = h + 0. Solve -2 = x + b for x.
-4
Suppose -g + 3*t = 14, g + 3*g - 24 = -4*t. Let y = -6 + 3. Let d(w) = -w - 3. Let n be d(y). Solve n = 4*c - g + 13 for c.
-3
Let u be (-1452)/(-48) - 2/8. Let n be 6/4*20/u. Solve 2*r + 7 + n = 0 for r.
-4
Let x(b) = b**3 +