 -5*k for k.
1
Suppose -o + 9 = -7. Suppose -c + 5*v + 61 = 0, -2*c + v + 70 = 4*v. Suppose 8 - c = -11*w. Solve -5 = -g - w*u - o, 7 = 3*g + u for g.
4
Let r = 280 - 275. Solve -r*y - 5*j = 5, -j = -3*y - 5*j for y.
-4
Let u be (-2)/(-3 - -2 - 14/(-12)). Let z = -10 - u. Solve 0 = 2*c + z*k - 6, -c + 1 = 3*k - 4 for c.
2
Suppose -3*p - 5*x + 4 = -1, -p + x + 15 = 0. Suppose 13 = -d + p. Let h be 0/(d + -2 - -4). Solve h = g + 2*r - 0 - 5, 3 = -g + 2*r for g.
1
Suppose -13*f + 30 = -19*f. Let h = 4 - f. Solve 4*y = -3*v + y, 5*v = -2*y - h for v.
-3
Suppose 4*i = -2*u - 97 + 117, 3*u = 4*i - 10. Solve -4*l + i*w + 6 = -14, 5*w = -15 for l.
2
Suppose 0 = -2*h + h + 4*d - 7, 0 = 4*d - 12. Suppose 5 = 4*q - 35. Suppose -q = -o - 5*n + 5, h*o - 35 = -5*n. Solve 2*a - 15 = -o*k, -1 = 3*k - 4 for a.
5
Let n(y) = 8*y + 140. Let g be n(-17). Solve -r = -3*b + 4*b + g, 4*b = -2*r - 8 for b.
0
Suppose 0 = 4*h + 16, -38 + 12 = -2*b + 4*h. Solve 4*p - 22 = 2*w, 14 = 3*w + b*p - 8 for w.
-1
Let n(m) = -5*m - 15. Let r be n(-5). Let z = r - 7. Suppose -z*c = -6*c + 12. Solve -4*j - y + 3 = -3, -5*y + 6 = -c*j for j.
1
Let c be 532/247 - (-2)/(-13). Solve -2*n - 2*k + 6 = n, c = -n - 2*k for n.
4
Suppose -2*o + 5*o + 5*l = 5, 4*o - 5 = -5*l. Let i = 35 - 17. Suppose 11*b - 13*b + i = o. Solve -2*m = 3*n - 2 - 2, b = 2*n - 5*m for n.
2
Let r be (-1)/(1/(-1)) - 10. Let m be (6/r)/((-6)/27). Solve 5*a - 9 = x, a - 14 = 4*x + m for a.
1
Let o(y) = 7*y + 3. Let n(a) = 8*a + 3. Let w(p) = -4*n(p) + 3*o(p). Let z be w(-1). Solve 18 = 2*f + z*x - 4*x, -5*f + 2*x + 21 = 0 for f.
5
Suppose -2*k = 33*u - 31*u + 4, 4*k = 5*u - 8. Solve 12 = -q + 3*q - 4*v, -2*q - 2*v = u for q.
2
Let o = -6 + 70. Let d be 2/(-10) - o/(-20). Let z(l) = l**3 + 2*l**2 - l + 9. Let j be z(-3). Solve 0 = -j*f - 5*x - 10, -3*x - 6 = d*f - 0 for f.
0
Suppose 3*m + 5*l - 10 = 7*l, 2*m + 8 = 5*l. Suppose -m*q - 8*q = -84. Solve c + 4*s + 20 = 4*c, -5*s = c + q for c.
4
Let g be 0 - -1 - (16 + -17). Solve -2*q + g*p + 8 = -0*q, -2*q = 3*p + 17 for q.
-1
Let q be 2 + 0 - (-3 + 1). Let t = 13 - 10. Suppose -q*r + 5*r = t. Solve r = -3*d, -5*m + d + 9 = 3 for m.
1
Suppose 0 = -10*u + 5*u. Suppose 3*t + 16 + 29 = u. Let w be t/2*10/(-15). Solve 0 = 2*p + 2*x - 2, 3*p + 6*x - x = -w for p.
5
Let d(g) = g - 7. Let l be d(7). Suppose 0 = -l*u - u. Suppose -2 = -w - 0*k - 3*k, u = k. Solve -5*q + 2*h - 4 = -w, 2*h = -3*q + 2 for q.
0
Let z(l) = l + 13. Let v be z(-6). Let y be 0*((-1)/(-2))/(-1). Suppose 0 = -h - 2*t + 2, 0 = -3*t - y*t - 3. Solve -q - v = h*a - 2*a, a - 5*q = -9 for a.
-4
Let r be 1/((-3)/(-1 - -16)). Let q(h) = -h - 2. Let m be q(r). Suppose g - 8 = m. Solve 0 = -4*x - 3*w - g, 5*x + 5 + 0 = 5*w for x.
-2
Let w(d) = 8*d - 1. Let y be (-2)/(-3) - (-4)/3. Let u be w(y). Suppose n = -v - 4*n - 5, -u = -v - n. Solve f - 5*s + v = -0*f, -5*s = -5*f for f.
5
Let p = 25 + -20. Suppose p*o + 15 = 5. Let j be 14 + -2 - (-2)/o. Solve -5*l = -3*f - 1 + j, -4*l = -5*f + 21 for l.
1
Suppose 3*h - 8 = 4. Let c(g) = g**2 - 4*g + 3. Let i be c(h). Solve 4*z + 8 = 5*f, 4*z = -4*f + i*z - 2 for f.
0
Let o(x) = x**3 + 6*x**2 + x + 9. Let n be o(-6). Solve -3*h = 4*b - n, 5*b - 15 = 4*h + 12 for h.
-3
Let v(l) = 2*l - l**2 - l + 6*l - 3*l. Let y be v(3). Let i be ((-2)/y)/((-16)/72). Solve 0*w - w - i = 2*h, 4*w = -4*h - 8 for h.
-1
Suppose -3 = -3*g + 3*o, -5*o = 5*g - g - 31. Let y be (-4 - (-8)/g) + 6. Solve 0 = 3*d + 4*m - 19, d + d - y*m = -14 for d.
1
Let p = 74 - 44. Let g(j) = -2*j + 62. Let c be g(p). Solve -4*f + 12 = 2*b + c*b, 0 = -3*b + 4*f + 9 for b.
3
Let s = -17 + 49. Suppose 3*q + 24 = 7*q. Suppose -4*b = -5*a - q, -2*b + 7 = -3*a + 5. Solve n - 3*w + s = 5*n, -3*n - a*w + 23 = 0 for n.
5
Suppose 3*m + 5*t - 24 = 0, 2*m + 2 + 4 = 4*t. Solve 0 = -m*u + 2*g - 8, -4*u = 4*g + 4 for u.
-2
Suppose 3*c = -5*u + 39, 3*c = -0*u + 2*u + 39. Suppose 6*v + c = 7*v. Solve 3*b + 0*b - 3*g - 3 = 0, -b - 5*g + v = 0 for b.
3
Let l(a) = -a**3 - 6*a**2 - 2*a - 8. Let p be l(-6). Suppose -2 + 22 = p*w. Solve 0 = 4*m - 9*m + 4*b - 8, -w*m + 3*b = 11 for m.
-4
Let t = -6 + 10. Suppose 15 = 3*b - 0*b. Suppose -y - 5*p = -30, 0*y = -2*y + 3*p - b. Solve -2*k + 5*h + 7 = 2, y*k - 4*h - t = 0 for k.
0
Let n(h) = 2*h**2 + 25*h + 12. Let i be n(-12). Suppose m + i*b - 14 = 5*b, m = -2*b. Solve m*a = 2*f, -3 + 2 = a for f.
-2
Let a = -44 + 52. Let y = -17 + 17. Solve 4*b + a = y, -4*o + o = b + 17 for o.
-5
Let x be (-2385)/(-106) + (-1)/(-2). Solve f = q + 3*q + x, 18 = f - 3*q for f.
3
Suppose 0 = -2*q - 5*q + 84. Solve 5*p = 5*m + 20, -3*m - 2*p + q = p for m.
0
Suppose 6 - 9 = -3*m. Let g be m*(2 + -5 + (5 - 1)). Solve -3*p = 4*t - g, -2*p - 21 = 3*t - 7*p for t.
-2
Let g be 54/15*(-75)/(-45). Solve 0 = -2*o - 3*m + 12, -2*m - m = -g for o.
3
Let u(a) = -a**3 + 7*a**2 + 6*a - 10. Let h be u(8). Let o = h + 49. Suppose 4*q - 5*s = o, 4*q = -0*q - 2*s + 2. Solve 2*w + 5*i = -w - 20, -q*i - 2 = 0 for w.
-5
Let f(i) = -1 + 2*i + 3*i**2 + 16 - 2*i**2. Let a be f(0). Let u = a - 11. Solve 4*r - n + 5*n = 24, u*r + 3*n = 23 for r.
5
Let n be (-10)/(-5) - 3 - -3. Suppose -3*u - 4*v = -n*v - 5, 3*u - 4*v = 17. Solve -x - 6 = -4*x - u*y, 5*x - 10 = 2*y for x.
2
Suppose -4*s = -7*c + 3*c + 12, -s = 5*c - 27. Suppose -3*b = 4*x + x - 4, -s*b = 4. Suppose -v = -x*v. Solve v = -l + 4*l + o - 14, 2*l = -o + 11 for l.
3
Let r be (-28)/(-10) + (-44)/55. Suppose c = -r*c - 4*w + 31, -10 = 2*c - 5*w. Solve 4*x + 20 = 0, c*x = -5*u + 3*x for u.
2
Suppose 0 = -3*t + 27 - 3. Let c be (-2)/t + 54/(-8). Let a be c*(1 + 11/(-7)). Solve 0 = -j - 5*l + 3*l + 5, 0 = 3*j - a*l - 5 for j.
3
Let x(q) = 2*q**2 + 25*q - 41. Let h be x(-14). Solve 4*d + 7 - h = u, -2*u = d + 6 for u.
-2
Let y = -806 + 811. Solve 0 = -2*k - y*o, 4*k + 0*o + 22 = o for k.
-5
Suppose -3*u - 5*y = -4*y - 9, -4*u + 28 = -4*y. Solve 3*z + 4*r = -z + 12, 0 = -r + u for z.
-1
Let c be (-80)/(-12)*6/4. Let p(a) = 5*a**2 + 3*a**3 - 1 - 4*a**3 - 2*a**2 + a. Let i be p(2). Solve -2*t + 5*h + c = 0, -5*t - 2*h - i + 1 = 0 for t.
0
Suppose 6*i - 1 + 7 = 0. Let u be 4*(-2)/4*(i + 0). Let g be 4*(-2)/(-20)*25. Solve u*z = g, 2*c - 5 = z - 16 for c.
-3
Let o = -381 + 381. Solve -2*c + 2*l - 10 = o, -2*c + 4*l - 16 = c for c.
-4
Let o be 2 + (-21)/(6 - 9). Solve 3*x + 2*x + 3*k = -o, -5*x - 4*k = 12 for x.
0
Suppose 5*n + 17 = 27. Let a be (-3)/n - 39/(-6). Solve 2*u = -3*u - 25, -a*t = u + 30 for t.
-5
Let q = -337 + 341. Solve 4*c = -3*j - 18, -3*c + q*c - 4*j = 5 for c.
-3
Let v = 7 + -6. Let l be 24 + 8 + 0 + v. Suppose -l = -5*m + 42. Solve -4*c + w - m = 0, 2*w = -5*c + 6 - 28 for c.
-4
Let l be 17 - (8/18)/((-108)/(-486)). Solve 5*x = 5*k + 3 + 27, 5*k = -4*x + l for x.
5
Suppose d = d - 5*d. Suppose d = -8*w + 2*w + 18. Solve -j - w*l + 14 = 0, -20 = -3*j - 5*l + 2 for j.
-1
Suppose -23*o - 2 = -24*o. Solve 0 = o*t - 5*w - 16, 2*t - 3*w - 5 = 3 for t.
-2
Suppose w = -9*w. Let v be w - (2 + -7 - -1). Solve 7*o + 2 = 2*n + v*o, -3*n - o = -3 for n.
1
Let k(v) = v**2 - 33*v - 5*v**2 + 3*v**2 + 48*v - 17. Let c be k(13). Solve 3*d + o + c = 1, 5*d = -3*o - 8 for d.
-4
Let x(s) = 2*s**2 - 38*s - 15. Let c be x(19). Let i be (-111)/c + 9/15. Solve 4*n - 5*f = -5 - i, f = -n - 1 for n.
-2
Let a be 3/(-39) - (-2)/26. Solve 0*p = -4*g + 3*p + 2, 3*g - 5*p + 4 = a for g.
2
Let g = -2759 + 2762. Suppose 2 + 0 = 2*f. Solve -2*l = 5*p - f, g*l - 8*l + 15 = 0 for p.
-1
Let o(r) = r - 3. Suppose -25 = -4*z + 5*y, -4*z + 1 = -3*z + 4*y. Let a be o(z). Solve -g - 3*l = -11, 5*g - 5*l + a*l = 1 for g.
2
Let t = -52 + 57. Let s(l) = -l**2 + 6*l - 5. Let y be s(t). Solve 5*b - z - 24 = 0, -5*b + 5*z + y*z + 20 = 0 for b.
5
Let r = -10 + 12. Let k be -1 - (r + (1 - 10)). Let j = k - 3. Solve 4*b - j*t - 4 = t, -3*t = -b - 7 for b.
5
Let n(u) be the first derivative of -u**4/4 + 5*u**3/3 + 4*u**2 + 3*u - 8. Let c be n(6). Solve 4*o - 8 - 9 = v, c = 5*v for o.
5
Let o = -173 - -175. Solve o*c = -2*b + 14, 0*b + b - 2*c + 2 = 0 for b.
4
Let n = -19 + 21. Let i be 3*n/12*0. Solve -5*r - 3*j + 9 = i, -2*j = -r + 13 - 6 for r.
3
Let y be 6 - (2 - 2/(-2)). Let s be (y + -11)/(2*-1). Suppose -s*z - 5*d + 2 = -3*d, -23 = -4*z + 5*d. Solve 3*w - 10 = -z*q - 2, -q - 2*w = -4 for q.
4
Let z(y) = 39