1 + a = -k for k.
-2
Let o(c) = -c**3 - 6*c**2 - 3*c + 11. Let g be o(-5). Suppose -4*d - 3 = x, 4*x + 7*d - 4*d = g. Solve 0 = -b - 0*b - x for b.
-1
Let x = -12 + 17. Suppose -3 - 7 = -x*l. Solve 0 = l*c - 5*c for c.
0
Suppose h = 2, 0 = -n + 6*h - h - 123. Let w = -101 - n. Solve -3*q + w = 3 for q.
3
Let k = -21 + 27. Suppose 0*x = 2*x - 6. Suppose -k*h = -x*h. Solve 0 = -5*z + 15 - h for z.
3
Let p(n) = -3*n + 8. Let a be p(1). Solve -m = 2*m - a*m for m.
0
Let h = -9 + 10. Let q(z) = z**2 + 4*z + 2. Let r be q(-4). Solve r*c - 7 = h for c.
4
Let t be (12/14)/((-30)/(-560)). Solve -3*w = -7 + t for w.
-3
Let m be ((-15)/(-12) - 3)*(-96)/24. Solve 5 = 6*g - m*g for g.
-5
Let p = -411 + 418. Let t be ((-4)/(-3))/((-4)/(-6)). Solve -p + t = -l for l.
5
Suppose 3*j - 35 = -2*t - 3*t, 2*j - 4*t = -6. Let x(s) = s**2 - 13*s + 2. Let q be x(13). Solve -q*o + j = 3 for o.
1
Let v(p) = 26*p**3 - 2*p**2 + p - 1. Let r be v(1). Let c = -2 + r. Let b = c + -18. Solve -k - b = -0*k for k.
-4
Let v = 1922 - 1856. Solve 70*d - v*d - 20 = 0 for d.
5
Let r(f) = -f + 14. Let m be r(10). Solve m*n = 6*n + n for n.
0
Let m(x) = x**2 + 3*x - 1. Let f(k) = -k + 3. Let h be f(7). Let c be m(h). Let w(d) = -d**2 + 26*d + 59. Let o be w(28). Solve -c*n + 0 - o = 0 for n.
-1
Suppose w + 5 = 2*z + 2*w, 32 = 5*z - 4*w. Solve 0 = 17*f + 5*f - z*f for f.
0
Let c(r) = 2*r**2 - 60*r + 116. Let h be c(28). Solve -18*a + h = -17*a for a.
4
Let s be 54/(4 + 5) - (5 - 2). Solve -s*q - 8 = -q for q.
-4
Let b(o) = -2*o**3 - 17*o**2 + 27*o - 5. Let u be b(-10). Solve -18*c + u = -23*c for c.
-5
Let o(u) be the second derivative of -3*u**3/2 + 45*u**2/2 - 32*u. Let h be o(5). Solve -4*j - 12 + 32 = h for j.
5
Let z = 15 + -24. Let r be 3/(-12) - z/4. Solve -o = r*o + 9 for o.
-3
Let l(z) be the first derivative of 5*z**2/2 + 4*z - 6. Let b be l(8). Suppose -5*i - 43 = -3*c - 0*c, -4*c + 4*i + b = 0. Solve -h + c*h = 25 for h.
5
Suppose 2*q = -5*v + 5 - 0, -4*q - 2*v + 18 = 0. Solve -t = -2*t + q for t.
5
Suppose 109 - 139 = -5*a. Solve 4 = 8*z - a*z for z.
2
Suppose -3*r - 2*x - 6 = 0, 4*x - 3 + 15 = 4*r. Suppose -5*h = -3*h - 6. Let y be 11 + -1 + (-4)/2. Solve -h*s + s + y = r for s.
4
Let t(i) = -i**3 + 13*i**2 + 2*i - 31. Let w be t(13). Let k be -5*((-130)/25 - w). Solve -21 + k = -4*p for p.
5
Let u(g) = -g**2 - 8*g - 15. Let c be u(-9). Let d = 28 + c. Solve 19 = 3*q + d for q.
5
Let i = -32 + 32. Suppose -3*z + 0*z + 3 = i. Solve 0 = -3*n + z + 5 for n.
2
Suppose -m + 21*m - 40 = 0. Solve -m*t - 15 = -11 for t.
-2
Let t be (4 + -5)*(0 - 2 - 3). Solve -9 = 4*m - t for m.
-1
Let g = 36 - 31. Let z = -1 + g. Solve -5 = z*h + h for h.
-1
Let u be 4 + -1 + -2 + -2. Suppose 3*x + 0*q + 2*q - 4 = 0, 4*x = 5*q + 13. Let r = x - u. Solve 2*g - g = r for g.
3
Suppose -10*a + 4*a = -3*a. Solve 4*m + 0*m + 12 = a for m.
-3
Let l(t) = -t - 1. Let j(f) = 7*f + 16. Let a(y) = -j(y) - 4*l(y). Let s be a(-7). Solve -s*b = -6*b - 3 for b.
1
Let k be (-12)/(0 + -3)*2/4. Let a(w) = w**2 + 4*w. Let j be a(-5). Suppose 2*m = -l - 10, j*l - 25 = 7*m - 2*m. Solve -v - v - k = l for v.
-1
Let w(v) = -v**2 - 10*v - 7. Let a be w(-8). Let z = -4 + a. Let i = z - 5. Solve j + j - 6 = i for j.
3
Suppose -2*l - 18 = -y - 5*l, -4*l + 32 = 2*y. Solve -4*x - y = -x for x.
-4
Let i = -65 - -45. Let a be (-2)/(8/i) - 3. Let y(o) = -o**3 - 4*o**2 + 6*o + 7. Let t be y(-5). Solve a*x = -t*x + 20 for x.
5
Let j(m) = 9*m - 8. Let o be j(9). Suppose -5*i = -3*l + o, -13 = -l - 5*i - 2. Suppose -s = -q, -6 = s + 4*q - l. Solve 8*t - s*t + 10 = 0 for t.
-2
Let h = -27 - 41. Let r = 76 + h. Solve -4*b - r + 4 = 0 for b.
-1
Suppose 0 = -12*m + 39*m - 54. Solve -3*s + 25 = m*s for s.
5
Suppose -2 + 6 = w. Suppose -d = 4*d - 45. Let v(x) = -6*x**3 - 2*x**2 - 6*x - 3. Let l be v(-1). Solve -w*a + d = -l for a.
4
Let j(o) = o**2 + 8*o - 124. Let q be j(8). Suppose -3*g + 0 = -9. Suppose 3*n - 20 = -4*s, s = -g*n + 2 - 6. Solve 2*v - s = q*v for v.
-4
Let q(n) = 30*n**2 + 3*n - 1. Let m be q(1). Suppose -m*h - 96 = -38*h. Solve -7*f + 3*f + h = 0 for f.
4
Suppose 0*f + 2 = 2*f, -4*l - 5*f = -37. Let b(o) = o**2 + 5*o - 5. Let n be b(-4). Let v be (n/(-6))/(2/4). Solve -k - v*k = -l for k.
2
Let d be (80/(-60))/((-1)/3). Suppose -6*y - 308 + 326 = 0. Solve -d = 2*p - y*p for p.
4
Let i = 1 + -1. Suppose 0 + 3 = u + p, i = p + 2. Suppose -2 = 4*y - u*y, -2*y + 10 = 3*d. Solve -d*b = -7*b - 5 for b.
-1
Let o = -1540 + 1548. Solve 16*u + o = 20*u for u.
2
Let g(o) = 2*o - 33. Let l be g(18). Suppose 5*h = l*j + 15 + 3, 5*h + 5*j - 10 = 0. Solve h*q - 7*q = 4 for q.
-1
Let y(f) = 6*f**2 + 20*f - 10. Let r be y(-4). Solve r*j + 109 = 127 for j.
3
Let g(u) = u**3 - u**2 - 5*u + 2. Let a be g(3). Suppose 2*m = a*m - 12. Let i be 2*m/12*3. Solve -4 = 3*r + i for r.
-2
Let x = 61 - 25. Let n = x + -24. Solve 4*b + 0*b - n = 0 for b.
3
Suppose 2*m - 44 = -44. Solve 9*g + m*g + 18 = 0 for g.
-2
Suppose -2*d + 50 = 2*i, -2*d - 4*i + 80 = d. Suppose -3*s = 5*h - 37, -3*h = -4*h - s + 7. Solve h*r + d = 3*r for r.
-4
Let r = 348 - 200. Let h = 155 - r. Solve 3*t = h*t - 12 for t.
3
Let i = 0 + 2. Solve -6 + i = c for c.
-4
Suppose n - 4 + 1 = 0. Suppose 8*m + 41 = n*m + 4*a, 0 = 5*m - 2*a + 43. Let f = -8 - m. Solve -f + 5 = -4*i for i.
-1
Let w = 72 + -65. Let m(c) = c**3 - 2*c**2 + 4*c - 5. Let k be m(2). Solve -k*p - 12 = -w*p for p.
3
Let t = -48 + 62. Solve 18 - t = -2*z for z.
-2
Let k(j) = j**3 - 6*j**2 + 3*j - 13. Let l be k(6). Solve -l*z + 12 + 3 = 0 for z.
3
Suppose -26*u - 30 = -31*u. Solve -4*c + 2*c = -u for c.
3
Let d be 374/11 - 4*1. Let y = -29 + d. Suppose f = 2 - y. Solve -2*q - f - 7 = 0 for q.
-4
Suppose 5*l - 5*f = 10, -6*l + 4*f + 12 = -l. Solve 25 = -l*i - i for i.
-5
Suppose 12*v - 15 = 7*v, -2*c = 5*v - 21. Solve -i + c = 1 for i.
2
Suppose 5*s + 9 - 129 = 0. Let g(j) = j**3 + j**2 + j + 3. Let u be g(0). Suppose -19 = 2*x - 6*x + z, -u*x + 5*z + 27 = 0. Solve x*f + s = 8 for f.
-4
Suppose -5*c - 110 = -10*c. Suppose c + 32 = 6*o. Solve -5*n + o + 11 = 0 for n.
4
Let f = 48 + -38. Let r be (6 - (-75)/(-10))*f/(-3). Solve -m + 8 = -r*m for m.
-2
Let j = -5 + 9. Let n be 2 + (-2)/j*-4. Let y be 3/(((-27)/2)/(-9)). Solve -2*x - y*x + n = 0 for x.
1
Let m be 4 - 20/5*1. Let f be 4/(-1 - -3) - 1. Solve -o + 2*o - f = m for o.
1
Let k(o) = o**2 - 7*o - 13. Let r be k(9). Suppose r*s = 2*v - 140, s - 164 + 560 = 5*v. Suppose -3*d = d - v. Solve 3*a - d = -a for a.
5
Suppose -16*o - 68 = -20*o + 2*z, -4*z = o + 1. Solve o*v = 13*v + 2 for v.
1
Let a be 1/3 - (-4)/(-12). Let b = 3605 + -3589. Suppose -2*g = -0*g. Solve g = -a*o - 4*o - b for o.
-4
Suppose 2*o + 405 = 29*o. Solve -8*f = -5*f - o for f.
5
Suppose -5*i - 5 = 0, -2*c - 3*i = -6 - 1. Suppose 0 = -c*t - 11*t. Solve t = h + h + 2 for h.
-1
Let x(b) = 2*b**2 + 3*b + 14. Let c be x(-6). Suppose -6*y + c = -22. Solve y = -2*q + 5*q for q.
5
Suppose 3*i - 6*i = 3*v - 24, -v + i = 0. Solve v = 2*c + 2 for c.
1
Let m be 10/(-4) + (-1749)/(-106). Solve -28*z - m = -21*z for z.
-2
Suppose -4*d + 32 - 7 = 5*j, 0 = -d + 5*j - 25. Suppose d = -3*u + 6, 5*u - 9 = -2*t + 9. Solve 2*w - w - t = 0 for w.
4
Suppose -105 = -5*n - 3*g, 26 = 3*n - 4*g - 37. Suppose -b = -4*r + 6, 2*r + 4*b + 9 = n. Solve 3 = -r*w + 1 for w.
-1
Suppose -u = -2, 4*d = -3*u + 15 + 7. Suppose 12 = d*a - 0. Solve 5*f = a*f for f.
0
Let d be 4 + -4 + (3 - 12/(-6)). Solve -24*z + 23*z - d = 0 for z.
-5
Let j(a) = 3*a**2 - 2*a - 3. Let g be j(-2). Let c(h) = -h + 16. Let n be c(g). Let k be ((8 - n) + -2)/1. Solve -k*s = -8*s - 25 for s.
-5
Suppose 14 = 6*f + 326. Let s = -46 - f. Solve -2*y = -5*y + s for y.
2
Let n = 8 - 14. Let t be n/15 - (-68)/20. Let g(o) = -o + 5. Let i be g(3). Solve t*q + 8 - i = 0 for q.
-2
Let k(x) = -2*x**2 + 25*x - 45. Let p be k(10). Solve 4*t - p*t - 2 = 0 for t.
-2
Let i be (0 - (-3 - -1 - 1)) + 0. Solve -2*w = -i*w for w.
0
Let v = 1533 + -1527. Solve 4*x - v*x = x for x.
0
Let l be (11 - 8)/(-3 + 4). Solve l*g - 6 - 9 = 0 for g.
5
Suppose 0*y = -16*y + 48. Solve 2*k = 3*k + y for k.
-3
Suppose 5*b - 36 = -4*h, -5*b - 1 + 29 = 2*h. Suppose 7*l + g + 3 = 12*l, -3*g = l + 9. Suppose -h*m + 4*n + 2 + 42 = l, 2*n = 0. Solve m - 1 = -5*o for o.
-2
Suppose 27*u = -5*