for k.
0
Suppose 143*s = 138*s + 10. Solve s*y - 12 = -y for y.
4
Let p be 3 + 11 + (-2)/(-2). Suppose u - 34 = -2*u - 5*v, 2*u + 5*v = 31. Suppose -u*h + p = 2*h. Solve -h*i + 24 = 9 for i.
5
Let i(t) = -36*t - 102. Let f be i(-3). Solve -f*r = -0*r for r.
0
Suppose -17*r + 12*r + 14 = -3*j, 22 = 4*r + 3*j. Let u = 2 + 2. Suppose w - u = -w. Solve 0 = w*n - 0 - r for n.
2
Let f = 5 - 2. Suppose -5*j = -0*y + 2*y, 4*y = -j - 18. Suppose j*b - 5*b + 3*x + 9 = 0, 5*b - 19 = 4*x. Solve f*q - 5 - b = 0 for q.
4
Let r be (-4)/18 - (-736)/72. Let m = r - 10. Suppose 30 = -m*t + 3*t. Solve 2*d = -4 + t for d.
3
Suppose -14*t + 140 = 21*t. Solve 4*p + 8 = -t*p for p.
-1
Let h(a) = 7*a - 9. Let r(j) = 4*j - 4. Let g(k) = 3*h(k) - 5*r(k). Suppose 4*p + 3*l = l + 36, 5*l = -4*p + 36. Let w be g(p). Solve -4*n - 18 + w = 0 for n.
-4
Let d be ((-2)/5)/((-3)/30). Suppose 3*g - d*g + 9 = 0. Solve g*l - 20 = 4*l for l.
4
Let q = -148 + 237. Let v = q - 86. Solve v*u - 6 - 6 = 0 for u.
4
Let x be ((-6)/(-42))/(4/140). Solve 2*n = 7*n + x for n.
-1
Suppose k + 2 = 2*w - 2*k, 0 = 5*k. Suppose 4*n + 3*d - 20 = 7*d, n - w = -d. Suppose -4*x + n = -3*a, 2*a + 3*x = -2*a + 21. Solve 0 = a*l + l + 8 for l.
-2
Let m(p) = -3*p**2 + 35*p. Let x be m(11). Let d be 10*2/4 + -1. Solve 2 = -d*y + x for y.
5
Let z be -1*(-84)/(-60)*-5. Solve z*m - 8 + 8 = 0 for m.
0
Let o(w) = -23*w + 233. Let h be o(10). Solve h = -28*l + 27*l for l.
-3
Suppose -6*w + 15 = -w. Suppose -4*h + 16 = y, 4*h + w*y - 9 = 5*h. Solve 12 = a + h*a for a.
3
Let o be -4*12/(-32)*2. Suppose 0 = -4*g - 7 + 23, o*h + 4*g = 34. Let j be -4 - (-1 + h/(-2)). Solve -3*q = -j*q + 6 for q.
-2
Let x be ((-630)/350)/((-3)/10). Solve -3*y + 3 = x for y.
-1
Let b = 67 + -62. Suppose 15 = 2*l + b. Solve l*x - 4 - 1 = 0 for x.
1
Suppose -s + 2*x - 2 = s, s + x + 5 = 0. Suppose 3*v = 5*v, p + 6 = -4*v. Let d = s - p. Solve d*k = k for k.
0
Let g be (-51)/(-7) - 2/7. Let u(n) = n**3 - 8*n**2 - n + 8. Suppose -6*d = -4*d - 3*r - 10, 3*d + 5*r - 34 = 0. Let s be u(d). Solve -g*z + 3*z + 20 = s for z.
5
Let k(w) = -w**3 - 9*w**2 - 15*w - 4. Suppose 0 = -6*s - 50 + 8. Let f be k(s). Solve -f = -4*m - 11 for m.
-2
Let w be 2/1*(-28)/(-8). Let s(d) = -2*d**2 - 2*d + 5. Let i(f) = 5*f**2 + 4*f - 11. Let j(n) = w*s(n) + 3*i(n). Let r be j(-2). Solve -3*o = r - 1 for o.
-3
Suppose q - 10 - 5 = 2*w, 0 = -4*q - 5*w + 21. Solve q + 11 = 4*i for i.
5
Suppose 4*n - 5*n - 6 = 0. Let q be (-4)/14 - (-108)/(-14). Let f be (-30)/q - n/24. Solve f*y = y for y.
0
Let r be 1 + 2 + 1 + -1. Let m = r + 6. Suppose -d - 5 + m = 0. Solve -11 - d = 5*a for a.
-3
Let h(s) = 101*s + 719. Let j be h(-7). Solve 0 = j*d - 10 - 2 for d.
1
Let z(y) = -7*y + 1 + y - 2*y. Suppose 8*s = -6*s - 14. Let d be z(s). Solve -4*j = -j + d for j.
-3
Suppose -54*w + 56*w - 2 = 0. Solve 5 = 4*x + w for x.
1
Suppose 3*r - g = 53, r - 6*r = -4*g - 93. Let x = r - 22. Let n be -3*((-10)/(-3))/x. Solve -n*o - 4 = 6 for o.
-5
Suppose 31 = -4*v + 7. Let q be (-4)/(-6) - 134/v. Suppose -2*g + 11 = c, -5*g + 6 = 3*c - q. Solve -16 = -g*i + 8*i for i.
-4
Let q(w) = -2*w**2 - 11*w + 9. Let s be q(-6). Suppose 3 = u + 1, s*c = -u + 41. Solve 2*v = -5 + c for v.
4
Let w be 30/(-4)*10/(-15). Suppose 4*h + 5 = -w*i, 2*h + 5*i + 13 = -2. Solve -1 - 4 = h*y for y.
-1
Suppose -2*i - 1 = 5*j, 5*i - 3*j = -6*j + 7. Solve -6*x = -8*x - i for x.
-1
Suppose 3*y - 1 - 11 = 0, 0 = m + 5*y - 21. Let q be 12/2*1/2. Let p be q - (-2 - (-1 + -2)). Solve p*v + m = 5 for v.
2
Suppose -2*w = 4*i - 78, -2*w - 3*w - i = -231. Let l = -40 + w. Solve -4*h - 12 = -l*h for h.
4
Suppose -14 = -5*h - 2*y + 3*y, 0 = -2*h - 4*y - 12. Suppose -3 = -h*p + 3. Suppose z + 3 = 3*z - x, 5*z + p*x - 24 = 0. Solve z*m = m + 10 for m.
5
Let y = 271 - 271. Solve 0 = -2*q - y*q + 10 for q.
5
Let n = -20 + 17. Let c be 16/(-12)*n*26. Let k be (c/(-16))/((-2)/4). Solve k = -5*a - 12 for a.
-5
Let r = 5 - 3. Let a be (-1)/(-2)*((r - 7) + 5). Solve a = -5*h + 23 - 3 for h.
4
Suppose 0 = 3*z - 7*z + 44. Suppose -5*j = 5*b - 4*b + 16, -4*j - z = b. Solve 2*s = -s - b for s.
-3
Suppose 5*x - 14 = -4*q - 3, -5*q + 3*x = -23. Suppose -t - 1 + q = 0. Suppose -6 = -3*f - t*j - j, j = 4*f - 8. Solve h = f*h + 4 for h.
-4
Let y = -22 - -25. Suppose m + 2*p = 1, -10 + 4 = -y*m - 3*p. Suppose m*h - 8 = 1. Solve h*r - 10 = 8*r for r.
-2
Let g(u) be the third derivative of u**5/60 - 7*u**4/24 + 3*u**3/2 + 28*u**2. Let s be g(6). Solve 0 = 2*t - 1 + s for t.
-1
Let p = -567 - -569. Solve 2*x = -p*x for x.
0
Let r = 47 - 37. Let g be ((-3)/(-6))/(1/r). Solve g = -5*k - 5 for k.
-2
Let c be 2 + -1 + (-6)/(-3). Suppose -c*q + 2 = -2*q. Solve -p = q - 7 for p.
5
Let z(q) = -2*q - 9. Let b be z(-7). Suppose b = 2*y - 33. Solve 1 = -4*c - y for c.
-5
Let k be 97 - (4/(3 - 7) + 0). Let f = -84 + k. Solve -f - 1 = -3*d for d.
5
Suppose 7*r - 12 = -40. Let c be 1*10*(48/(-20))/r. Solve 2*o - c*o = -20 for o.
5
Suppose 19 = 4*l - 3*y, -2*l + 9 = -2*y - 1. Let r(b) = b + 3. Let t be r(-3). Let u be (t - (4 + -4))/(-1). Solve g + g + l = u for g.
-2
Suppose 0 = 4*l - 2 + 6. Let b be 0 + (l - 0) + 2. Let u(x) = -6*x + 1. Let d be u(-3). Solve d + b = -4*j for j.
-5
Let a(n) = n**2 + 1. Let g be a(-2). Suppose 0 = 4*m - 7*m - b + 32, -22 = -2*m - b. Solve g*l - m = -0 for l.
2
Let n = 28 + -18. Suppose -5*g = -3*v - n, 3*g = g - v + 15. Suppose -5*a = 4*h - 35, -g*a + 0*h = 2*h - 35. Solve 0 = 4*j + 1 + a for j.
-2
Suppose 5*c + 0 = 10. Let f be ((-2)/6)/(c/(-18)). Let z be 1 + f/6*6. Solve 3 - z = -h for h.
1
Let u(a) = a**2 - 12*a + 3. Let w be u(12). Solve b + w*b + 2*b = 0 for b.
0
Let o be 2/4*((-1 - 2) + 3). Solve 3 = 3*y - o*y for y.
1
Let t be (-159)/(-12) + 3/4. Let x = 26 - t. Suppose -5*n + x = -8. Solve 2*b - b = n for b.
4
Let i be -4 - (-1 - (2 - -1)). Suppose i = 3*w + 3*w - 18. Suppose 5*z + 19 = 2*u, 3*z + w = 2*z. Solve a + a - u = 0 for a.
1
Let a = -1579 - -1585. Solve 14 = -a*y + 26 for y.
2
Let f(i) = 7*i**2 - 2 + 11*i**3 + i**2 - 10*i**3 - i. Let c be f(-8). Solve -a = -c*a for a.
0
Let j(k) = 3*k - 16. Let u be j(7). Suppose o - 5*n - 21 = -o, 3*n = -u*o + 68. Solve -o = -3*v + 2 for v.
5
Suppose -9*x = 78 - 123. Solve -x = 6*k - 35 for k.
5
Suppose 622*g + 128 = 638*g. Solve 0 = g*h - 5*h + 6 for h.
-2
Let f(r) = -r**3 - 7*r**2 + 17*r + 6. Let h be f(-9). Solve 2*k - 5*k + h = 0 for k.
5
Suppose 0 = -4*o + 2*c - 6, -2*c + 5*c = 3*o + 12. Solve -o = -w + 1 for w.
2
Let p(w) be the second derivative of -w**3/2 - 7*w**2/2 + 20*w. Let q be p(-3). Solve -4 + q = -2*r for r.
1
Suppose -3*d = -7*p + 4*p + 51, 4*p - 71 = d. Solve -9*a - p = -3*a for a.
-3
Let a be (2 - 2)/(-5) + 4 + 5. Solve -10*j - a = 1 for j.
-1
Let z(c) be the first derivative of 3*c**2 + 18*c + 36. Let b be z(-3). Solve b + 4 = 2*x for x.
2
Let f be -1*(-2 + 1)*13. Suppose g = -2*s + 9, -6*s + f = -2*s + g. Solve -s*k = -12 + 6 for k.
3
Suppose -94 = -2*j - 6*t + 9*t, 260 = 5*j + 5*t. Solve -j*y - 1 = -51*y for y.
1
Suppose b - 8*b = -133. Solve 0 = b*l - 17*l - 10 for l.
5
Let u be (1 + 6/(-14))/(4182/14637). Suppose -6 = -2*w - w. Solve u*q + 8 + w = 0 for q.
-5
Suppose 55 = 14*j - 1. Solve 4*m + j*m = 8 for m.
1
Let u = -14 + 28. Let m = u - 9. Suppose -4 - 6 = -m*k. Solve -4*j - 6 = -k*j for j.
-3
Suppose -60 = -7*x + 3*x. Let j = x - 14. Suppose j = -h + 13. Solve 0 = -6*t + 3*t + h for t.
4
Suppose 0 = 40*f - 26*f - 210. Solve f = 7*n + 29 for n.
-2
Let t be -1 + (-119)/(-105) + (-872)/15. Let j be 15/90 - (t/12 + 1). Solve j*v = 2*v + 6 for v.
3
Suppose 34*y - 53*y = -76. Suppose 0*c - 1 = -c. Solve c = y*r - 7 for r.
2
Let x(f) be the third derivative of 0*f - 1/6*f**3 + 0 + 2*f**2 + 1/12*f**4. Let g be x(2). Solve g*w + w = 4 for w.
1
Let v = -94 + 114. Solve 3*z - 35 = -v for z.
5
Suppose -3*n + 4*n + 3*g = -29, -4*n - g - 171 = 0. Let h = -40 - n. Solve h = 4*p - 16 for p.
5
Suppose 0 = 5*j + 3*s - 15 - 3, j = -4*s + 7. Solve -2*n - 1 = j for n.
-2
Suppose 0 = -4*f - 2*y + 14, -4*y - 134 = 3*f - 137. Solve 10*g = 5 + f for g.
1
Let y be ((-24)/15)/4*-60. Let m = 24 - y. Let a be (6 + m)*25/15. Solve a = -7*o + 2*o for o.
-2
Let x(a) = 3*a**3 - 10*a**2 - a + 8. Let c be x(4). Suppose -6*t + c = 12. Let j be (-15)/(-4) + 2/8. Solve 0 = 3*i - j*