 + 4 for k.
1
Let b = -171 - -173. Solve -b*h = h - 15 for h.
5
Suppose 11*l + 120 - 164 = 0. Solve -6 + 10 = -l*y for y.
-1
Let o = 1889 - 1825. Solve 12*y = 28*y + o for y.
-4
Suppose c + 5*c = 0. Let l = 3 - -2. Let b = -2 + 4. Solve -b*z - 3*z - l = c for z.
-1
Let g be 2*((-24)/(-40))/(2/5). Solve 0 = g*x + 12 - 3 for x.
-3
Suppose -7*a + 3*a + 14 = -2*c, -5*c = 5*a - 40. Suppose i + 5*d + 0*d - 3 = 3*d, -2*d = 0. Solve -1 = -i*j + a for j.
2
Let s = 339 + -934. Let i be (2/(-5))/(-6 + s/(-100)). Solve 2*a - 6*a + i = 0 for a.
2
Suppose 5*r = 4*o - 169, 0*r + r = 4*o - 181. Suppose -3*p + 3 - 57 = 0. Let b be o/12 - 3/p. Solve b*v - v = 0 for v.
0
Let t(r) = -r**3 + 6*r**2 - 5*r. Let u be t(4). Let h = u + -18. Let g be 3/h*(3 - 3). Solve z + 2*z = g for z.
0
Suppose 2*u - 22 = 2*r - 8, 0 = u + 5*r - 1. Solve u*g + 21 = 3 for g.
-3
Let y = 1327 + -1324. Solve 3*z - 6 = -y for z.
1
Suppose -n - 24 = -0*n. Let d = 22 + n. Let x be (d/(-1))/(5/10). Solve x*i + 12 = i for i.
-4
Suppose -5*y + 10*j = 14*j + 6, 4 = -j. Solve 12*x - y = 13*x for x.
-2
Let m(r) = r**3 - 8*r**2 + 2*r - 6. Let b be m(8). Suppose f + 5*z - 29 = 0, -5*z + z + 16 = -f. Solve b = f*x + x for x.
2
Let q(h) = h**2 - 2*h - 5. Let z be q(4). Let m(t) = -t**3 + t**2 + 7*t - 3. Let b be m(2). Solve -b*n = -z*n for n.
0
Suppose -6*d - 5 = -77. Solve -d*x + 8*x - 8 = 0 for x.
-2
Suppose -5*j - 20 = -3*p - 4*j, -3*p + 17 = -4*j. Solve 2*v - p = -5 for v.
1
Suppose -3*u = 3*x, -2*u - 2*u + 2*x + 12 = 0. Let a be 80/(-100) + 288/10. Let n = a + -28. Solve -u*r + 0*r - 8 = n for r.
-4
Let o(d) = -7*d - 26. Let i be o(-5). Let a(j) = -24*j + 2. Let c be a(-2). Suppose -5*k + 5*f + 65 = 3*f, f - c = -5*k. Solve -4*n + k = -i for n.
5
Let d(m) = -m**2 + 29*m + 34. Let o = -52 - -82. Let n be d(o). Solve -n + 14 = -5*p for p.
-2
Let n be (9 + -1)*2/4. Suppose q - 15 = 6*q, -n*x - 3*q = 25. Let d be (-2 - x)*(1 - -1). Solve 6 = -2*w - d for w.
-5
Let m(u) = u - 2. Let g be m(-9). Let y be 1 - g/(11/8). Solve -y*i = -7*i - 4 for i.
2
Let m = -806 - -806. Solve g + m*g = 7*g for g.
0
Suppose 3*a + 0*k + 2*k + 3 = 0, -4*k + 12 = 0. Let y be ((-1)/(-3))/((-1)/a). Solve 0 = -5*c + 11 - y for c.
2
Let t = 6 + -26. Suppose -2 = w + 2*b - 16, 3*w - 52 = -b. Let j be (t/(-3))/(12/w). Solve -2*u + j = -0*u for u.
5
Let a(u) = -u**2 + 29*u - 30. Let d be a(28). Let y(k) = k**2 + k - 2. Let j be y(d). Solve 5*x - 2 + 17 = j for x.
-3
Let c = 681 - 681. Solve 12*h + c*h = 0 for h.
0
Let r = 28 + -6. Suppose 0*q + r = q. Let p = q + -18. Solve 0 = -f + 1 + p for f.
5
Let a = -294 - -299. Solve 4*v - a = -13 for v.
-2
Let t = 298 - 294. Let i = 2 + -2. Solve -c + t*c - 9 = i for c.
3
Suppose 16*w - k - 18 = 11*w, -3*k + 26 = 5*w. Suppose 2*a + 34 = 5*y, 5*y - y - 41 = -3*a. Suppose 4 = 2*j + 4*i, 4*j - y = -3*i + 2*i. Solve w = -p + j for p.
-2
Let g = -17 - -22. Let f be 10 - 0 - (7 - 8). Suppose -1 + f = 5*z. Solve 0 = -z*v + g*v + 9 for v.
-3
Let b(f) = f**3 - 5*f**2 - 2*f - 6. Let s be b(5). Let q = s + 19. Solve 0 = 3*m - q - 9 for m.
4
Suppose -19 = v - 24, -b = -5*v + 22. Solve -b*j - 3 = 9 for j.
-4
Suppose -19*a = 6*a - 150. Let h(b) be the first derivative of -b**2/2 - 1. Let v be h(0). Solve a = -3*l - v for l.
-2
Let l be 48/(-72)*-25*3. Let a be (-1 - 27 - 1) + -1. Let r = a + l. Solve -m + r = 4*m for m.
4
Let q(m) = m**2 + 23*m + 75. Let v be q(-20). Suppose -5*r - 4*a = -32, -r + 16 = 2*a + 2*a. Solve -r*f - v = -9*f for f.
3
Let w(h) be the first derivative of -5*h**3/3 + 11*h**2 - 6*h - 14. Let k be w(4). Solve -11 = 3*i - k for i.
-3
Let q be 4/(-8)*(4 - (2 + 2)). Suppose q = 3*u + 4*f + 10, -f - 11 = -5*u + 3. Solve m = -m + u for m.
1
Suppose -r = 3*r - 12. Suppose 23 = i + r*d, i = -3*i - d + 37. Solve u = 5*u - i for u.
2
Suppose 16*q - 2 = 18*q, -54 = -2*i + 4*q. Solve -4*x + 45 = i for x.
5
Let h(q) = -q**3 - 2*q**2 + 146*q + 41. Let s be h(-13). Solve 6*u + s = 8 for u.
1
Suppose 74 = m - 28. Suppose -4*g - 8 + 36 = t, -m = -5*t - g. Solve 4*b + 0*b = t for b.
5
Let k = -39 + 43. Solve -11 + 7 = k*w for w.
-1
Let u = -666 + 666. Solve u = 4*z - 9 - 7 for z.
4
Let a(f) = -f**2 + 5*f + 2. Suppose -4*q - 5*z = -3*q - 15, z - 2 = 0. Let h be a(q). Solve -h*u + 3 = 1 for u.
1
Let g(v) = 2*v**3 + v**2 + v + 6. Let q be g(0). Let d(h) = h**2 - 6*h + 26. Let k be d(q). Solve 4*j = -k + 10 for j.
-4
Let v(i) = -2*i. Let f be v(-5). Let s(q) = q**3 - 8*q**2 + 6*q + 7. Let x be s(7). Let j be (-8)/(-14) - 760/(-532). Solve -j*c + x = -f for c.
5
Let x(k) = k**3 - 10*k**2 + 23*k + 2. Let j be x(7). Suppose j*z - 6*z - 20 = 0. Solve -z*f + 5 = -3 for f.
4
Suppose -8 = -68*h + 64*h. Solve 0 = -4*p - h + 6 for p.
1
Suppose 6*g - 1292 = -1052. Solve -g = -105*p + 97*p for p.
5
Let y be (-124)/93*18/(-2). Solve i + y = 15 for i.
3
Let f(s) = s**3 + s**2 - 2*s - 18. Let a be f(0). Let c be (-50)/a + 2/9. Solve d - c*d = 4 for d.
-2
Let y(i) = 6 + 8 + i - 2. Let b be y(-7). Solve -4*x - x + b = 0 for x.
1
Suppose 2*x + 0*x = 156. Let d be 168/x + (-2)/13. Solve 0 = -2*z - 0 - d for z.
-1
Let n = -6 + 10. Let d(m) = -m + 10. Let t be d(6). Let i(o) = o - 4. Let f be i(t). Solve 0 = n*j - f*j for j.
0
Let n(q) = -4*q**2 - 34*q + 7 + 2*q**3 + 2*q**2 + 28*q. Let h be n(2). Solve -3*o = 3 + h for o.
-2
Let l be (0 - 1)*(54 + -57). Solve -l = 4*b - b for b.
-1
Suppose o = 2*o - 3. Suppose 0*w = o*w + 9, 3*w = -q - 3. Let c be ((-8)/(-18))/((-2)/(-9)). Solve 0*a = -c*a + q for a.
3
Suppose -2*p - 5*w = 2, -4*p + 0 = 5*w - 6. Let c be (6/(-9))/(p/(-6)). Let s = c - -1. Solve -s*a = -a for a.
0
Suppose 5*f - h = 46, -f + 7 = 5*h - 3*h. Solve -12*i = -15*i + f for i.
3
Let u(h) be the third derivative of h**5/60 + 7*h**4/24 - h**3 - 12*h**2. Let p be u(-8). Solve -p*i + 4 = -0*i for i.
2
Let i(h) = -5*h**2 + 18*h - 4. Let b be i(4). Let w be (3/4)/((-3)/b). Solve 0*r = -w*r - 9 for r.
-3
Let o = 180 + -161. Solve -o + 3 = 4*t for t.
-4
Suppose -4*r + c = -196, -258 = -0*r - 5*r - 2*c. Solve y = 11*y - r for y.
5
Let c(f) = -36*f + 222. Let y be c(6). Solve 3 = -y*v - 9 for v.
-2
Suppose -1 = 4*j - 9. Let v(x) = -x**j + 0*x + x**3 + x + x + 5 - x. Let k be v(0). Solve k*r + 1 = -24 for r.
-5
Let t be -2*1/(-1) - -2. Suppose 3*n - 10 = -3*f + 2*n, -t*f + 26 = -5*n. Suppose -f = 2*i - 6*i. Solve 2*s = 7 - i for s.
3
Suppose 22*i - 3*z = 17*i + 116, -4*i - 5*z + 115 = 0. Solve -24*x + 4 = -i*x for x.
-4
Let g be 39*(2/2 - 0)/(-1). Let b = 43 + g. Solve 3*q = b*q for q.
0
Let a(n) = -n**2 - 10*n - 11. Let k = 14 + -22. Let l be a(k). Solve 7 + 3 = l*t for t.
2
Suppose -3*s - 123 = -144. Solve -g = -s*g + 2*g for g.
0
Suppose a - 13 + 4 = 0. Let o = -2 - -5. Suppose 4*u - 8 = 0, -f + 0*u + o*u - 6 = 0. Solve f = -2*x + 5*x - a for x.
3
Suppose 113*s + c = 117*s - 146, -4*c - 44 = -s. Solve -s*q + 43*q + 21 = 0 for q.
-3
Suppose 9 - 409 = -16*l. Solve -28*a - l = -23*a for a.
-5
Suppose 10*y - 42*y + 128 = 0. Solve -y*j - 15 = 1 for j.
-4
Let h(v) = -3*v**2 + 27*v - 53. Let r(c) = -c**2 + 13*c - 26. Let m(a) = -2*h(a) + 5*r(a). Let p be m(-13). Solve 7 + p = 3*n for n.
3
Let l(r) be the second derivative of -r**4/24 + 2*r**3 + 5*r**2/2 + 5*r. Let u(p) be the first derivative of l(p). Let m be u(9). Solve m*g = g + 8 for g.
4
Let w(o) = 64*o - 35*o - 31*o - 10. Let g be w(-7). Solve 0 = -z + g*z for z.
0
Let p(w) = -w**3 + 4*w**2 - 6*w + 7. Let t be p(2). Solve -k + t - 6 = 0 for k.
-3
Let p(s) = -s**2 + 4*s - 3. Let i be p(4). Let f be -2*3*i/9. Let c(j) = -j**3 - 2*j**2 + 1. Let z be c(-1). Solve 3*l - l - f = z for l.
1
Suppose -12*q - 2468 = -452. Let j be (6/(-8))/(21/q). Solve s = 4*s - j for s.
2
Suppose -13 = u - 16. Let o = u + 1. Suppose 21 = 5*d - o. Solve d = m + 2 for m.
3
Suppose 4*k = -0 + 4. Let f(t) = t**2 - 21*t + 4. Let q be f(21). Suppose -i - k = -q. Solve -a - i = -0 for a.
-3
Let y(a) = -2*a**3 + 6*a + 1. Let b be y(-2). Solve -b*r = -r - 12 for r.
3
Let v = -2169 + 2173. Solve 6*n + v = 5*n for n.
-4
Let w = -120 + 122. Suppose 2*j - j = 16. Solve w*l + j = 6*l for l.
4
Suppose 9*k = 20 - 2. Solve 0*b + 10 = k*b for b.
5
Let i = 10 - 23. Let a = i - -15. Suppose 0 = a*k - 8 - 0. Solve -l = -2*l - k for l.
-4
Let i = -63 - -80. Let z(u) = 2*u**2 - 33*u - 8. Let s be z(i). Solve s*y =