k.
-2
Suppose 0 = b + b - 44. Let h = b - 20. Solve 0 - h = 2*t for t.
-1
Let f = 42 - 39. Suppose 49 = 2*d + f*v, d - 74 = -3*d + 2*v. Solve d = -2*i - 3*i for i.
-4
Let i be (-3)/(-9) + (-6)/18. Suppose -p - 2 = -2*g - i*g, -3*p = g - 8. Let v = 1 - -1. Solve 12 = -v*n - p*n for n.
-3
Let u(x) = -26*x - 10. Let h be u(1). Let d(r) = r**3 + 9*r**2 + 8*r + 2. Let a be d(-8). Let p be (1/(-3))/(a/h). Solve -p = 4*w - 22 for w.
4
Suppose 2*z = -0*z - 2*u + 10, 53 = 5*z - 2*u. Suppose 5*q - 19 = -z. Solve -4*r + 6 + q = 0 for r.
2
Let j(n) be the first derivative of -n**4/4 + n**2/2 + n - 7. Let l be j(-1). Solve -l - 1 = -2*t for t.
1
Let c = 97 - 97. Solve -5*w = -c - 5 for w.
1
Let i(q) = -q**3 + 12*q**2 - 10*q - 6. Suppose -165 = 4*n - 19*n. Let r be i(n). Solve 4*t - r = 5*t for t.
-5
Let a(z) = -z**2 + 21*z - 68. Let f be a(17). Solve -10*o + o = f for o.
0
Let q be 0 + (-2 - -4) - (-1 - 2). Let m be 16/(-12)*-18*1. Let u = m + -4. Solve b + u = q*b for b.
5
Let l(f) = -f + 33. Let t be l(11). Suppose 0 = 7*q - 127 + t. Solve 0*m + q = 3*m for m.
5
Let c be 3*(-28)/(-24)*2. Suppose -2*n = 2*b - 14, -3*n + 7 = 2*b - 6*b. Suppose 3*i + c = -8, i + n = h. Solve h = -0*x + 3*x for x.
0
Suppose 70 = 5*r - v, -2*r - 3 + 44 = -3*v. Solve 8*i = r*i - 15 for i.
3
Let h(g) = 2*g - 4. Let w be h(2). Let m be 1/3*(w - 0). Solve m = -k + 9 - 4 for k.
5
Let h be (3 + 2 + -6)*-3. Solve 94*c - h = 91*c for c.
1
Suppose 5*p = -2*y + 44, y + 4*p = -0 + 28. Solve 8*l = y - 44 for l.
-4
Let g(d) = d**3 - 6*d**2 - 6*d - 12. Let u be g(6). Let l be 20/(-15) + u/(-9). Solve -l*y - 15 = y for y.
-3
Let n(l) = l**2 + 24*l - 1291. Let y be n(-50). Let u be (6/3 - 0)*3. Solve -6*f = -y*f - u for f.
-2
Suppose -z + 5*y + 6 = -14, -3*z = 2*y - 43. Solve -z = -8*t + 11*t for t.
-5
Let z(v) = -v**2 - 4*v. Let u = -4 - -22. Suppose -4*o + h = 4*h + u, -5*h = -3*o + 1. Let m be z(o). Solve 3*f + m = 2*f for f.
-3
Let u(f) = 8*f - 20 + 8*f - 15*f + 5. Let y be u(15). Solve -m - 1 + 2 = y for m.
1
Suppose -32 = -4*j - 0*j. Suppose j = 8*d - 6*d. Solve 3*b + b - d = 0 for b.
1
Suppose 9*q - 429 = 813. Let v = q - 133. Solve 0 = -3*r + 14 - v for r.
3
Let b be (-3)/(-3) + (3 - (-16)/8). Solve 12*n - b - 30 = 0 for n.
3
Suppose -l - 3*x + 14 = -0*x, 4*x - 16 = 0. Let m(a) = 3 + 69*a - 3*a**3 - a**2 - 63*a + 2*a**3. Let q be m(-3). Solve -5*d + l = -q for d.
1
Let o = -187 + 189. Solve -9*c + 2*c = o*c for c.
0
Let r = -37 - -52. Let j = 46 + -22. Let u = j + -21. Solve u*b - r = -0*b for b.
5
Suppose -321*n + 362*n = 328. Solve -n = -15*s + 11*s for s.
2
Let q = 16 + -14. Let t(j) = j**2 - j + 2. Let y be t(q). Solve 0 = v - 0*v - y for v.
4
Let k be (-38)/(-8) + ((-14)/8)/(-7). Suppose -2*o - 2*u + 9 = 3, u = k*o - 15. Solve -o*h - 3 + 9 = 0 for h.
2
Let h be 7 + -2 + (0 - 1). Let c be 4/3*(-7 + (-170)/(-20)). Suppose c*n + 7*s - 33 = 2*s, 3*n + 4*s - 60 = 0. Solve n = -4*p + h for p.
-5
Suppose 20 - 2 = -3*b. Let x(p) = -p**3 - 6*p**2 + 5. Let v be x(b). Suppose v*g + 2*q - 13 = 3*q, -20 = -4*g - 4*q. Solve -s = -g*s for s.
0
Suppose 62*s = 58*s. Suppose s = 4*t + t. Solve w + 4*w - 5 = t for w.
1
Let k(l) = -l**2 - 5*l + 6. Let h be k(-5). Let b = 26 - h. Solve -2*s = 2*s + b for s.
-5
Let q be -7 + 9 + 12 + -1 + -5. Solve 5*w + 2 = -q for w.
-2
Suppose -23*j = 3 - 95. Solve -b = j + 1 for b.
-5
Let c be 5*(-20)/(-6)*(-36)/(-30). Solve -c*b = -18*b + 2 for b.
-1
Let n = -15 - -20. Let b be n*6/15 + 3. Suppose -b = 3*z + m - 27, 0 = z + m - 8. Solve -2 = -3*v + z for v.
3
Let k be 8/(-64) + (-132)/(-32). Solve k*f - 15 = f for f.
5
Let d = 110 + -80. Solve 6*p = -0*p + d for p.
5
Let d(b) = -2*b**3 - 4*b**2 + 4. Let l be d(-2). Let f be (-2)/6*(-6)/2. Let w = f - 1. Solve v - l = -w*v for v.
4
Let x(v) be the second derivative of -v**3/2 + 5*v**2/2 - 17*v. Let g be x(0). Solve g*t + 0*t = 5 for t.
1
Let i(j) = -2*j - 3. Let x be i(-4). Let d = 8 - x. Let g(q) = -2*q - 34. Let b be g(-19). Solve b*v - d*v = -1 for v.
-1
Suppose -r + 8 = x + 2*x, -3*r - 12 = -3*x. Solve -x*d + 2 = -10 for d.
4
Let c be (-90)/(-8) + (-12)/(-16). Suppose 4*z = 5*n + 17, -z - 5 - c = 3*n. Let t(u) = -u**2 - 5*u - 4. Let d be t(z). Solve 0 = -d*x - 4 - 4 for x.
-4
Let k be (-2)/(-3)*99/22. Let t(l) = 4*l**3 + l**2 - l. Let x be t(1). Suppose -3*q = 4*y + x + 2, 3*y = -q - 2. Solve -2*v + k*v = y for v.
0
Let c be (1 - 3)*(-6 - 0). Suppose -2*u - 32 = -c. Let j be 0/2*u/10. Solve j = -3*g - 1 + 4 for g.
1
Let w(v) = -v**2 + 12*v + 6. Let n = -17 + 29. Let g be w(n). Let k(y) = y**2 - 2*y - 19. Let c be k(g). Solve 0*r - 5 = -c*r for r.
1
Let q(v) = v**3 - v**2 - 5*v + 8. Let j be q(2). Let r be (0 - 0)*(4 - (j + 3)). Solve r = -k + 6*k for k.
0
Let o be 0 + -3 - (3 - 7). Let a(n) = -n**2 + n. Let c be a(o). Suppose 28 = 5*z + 2*b, -2*z + 0*z - 2*b + 16 = c. Solve -2 = -z*y - 10 for y.
-2
Suppose 4*v + v + 10 = 0. Let x(s) = 2*s**2 + s - 2. Let z be x(v). Solve -4*j + z = -0 for j.
1
Let l(x) = x**3 - 17*x**2 + 16*x - 14. Let t be l(16). Let p(b) be the second derivative of -b**3/6 - 11*b**2/2 + 2*b. Let z be p(t). Solve 2 + z = k for k.
5
Let v(s) = s**3 - 14*s**2 - 29*s - 41. Let z be v(16). Solve -z = 6*y - 31 for y.
4
Suppose 18*c - 9*c - 135 = 0. Solve 9*z + c = 12*z for z.
5
Let v = -8 + -5. Let i = -9 - v. Suppose -k = 3*k - i. Solve 1 + k = 2*r for r.
1
Let r be (4 + 52/(-8))*2. Let j = -2 - r. Solve m + 1 - j = 0 for m.
2
Suppose 18 = 40*h - 38*h - 4*q, 0 = -4*q + 4. Solve 5*g - 26 = -h for g.
3
Let n be (-6)/(-16) + 5 + (-108)/32. Let p = 0 - 1. Let j = p - -1. Solve j*v - n = -2*v for v.
1
Let s(w) = w**2 + 6*w - 18. Let q be s(-9). Solve 10*t = q*t for t.
0
Suppose 2*i = 275 - 267. Solve i*d = 16 + 4 for d.
5
Let a be 32/(2048/(-336))*4*-1. Solve -2*q + a*q = -19 for q.
-1
Suppose 30 = 10*v - 4*v. Suppose 5*x - 45 = -v*g, 0 = -3*x + g - 3*g + 28. Solve 0*b - 2*b = x for b.
-5
Let b = 443 + -438. Solve b*c - 24 = -3*c for c.
3
Suppose -51 + 345 = 7*p. Suppose -4*z + p = 26. Suppose 0 = 2*k - d, -5*d = -k - 0*k. Solve k*n + 8 = -z*n for n.
-2
Let z(x) be the third derivative of -x**4/24 + 9*x**3/2 - 12*x**2. Let t be z(0). Let b be 6/4*90/t. Solve 15 = b*w - 0*w for w.
3
Let y(n) = 2*n**3 - 10*n**2 - 24*n - 13. Let j be y(7). Solve -16 + j = d for d.
-1
Let d = -151 + 151. Solve -20 = -5*c - d*c for c.
4
Let m(w) = w**2 - 17*w - 21. Let v be m(17). Let y = 16 + v. Let p = y - -7. Solve b = p*b for b.
0
Suppose 0 = h + 2*h - 9. Suppose 2*r = -l - 2, -7 - h = 5*l. Solve -5*p + 13 + 7 = r for p.
4
Let w(s) = 6*s - 16 + 13*s - 17*s. Let p be w(8). Solve p*b - 10 = 2*b for b.
-5
Suppose 5*y - 25 = 0, -4*b + 4*y - 168 = -0*b. Let q = -37 - b. Solve 2*h + 2*h + 8 = q for h.
-2
Let y(z) = z**3 - 7*z**2 + 6*z + 1. Let i be y(6). Solve 0 = u - 2*u + i for u.
1
Suppose -174*d = -180*d + 24. Solve 0 = d*x + 4 - 4 for x.
0
Suppose -k + 2*u = -5*k - 262, -5*k = -5*u + 335. Let w = k + 70. Solve w + 1 = g for g.
5
Suppose 0 = -20*q + 17*q - 15, -5*d = q - 15. Solve 5*k + d + 11 = 0 for k.
-3
Suppose 0 = -47*l + 40*l + 35. Solve -20 = 3*i - l for i.
-5
Suppose -n = 1 - 5. Suppose -5*h + 40 = -n*r - r, -4*r = 4*h. Solve 0 = h*c + 3 + 9 for c.
-3
Let d(t) = -4*t**3 - 2*t**2 - t. Suppose -c - s - 2 + 0 = 0, 2*c - 4*s - 2 = 0. Let b be d(c). Solve 4*y = b*y for y.
0
Suppose 2*h = -4*h + 30. Solve 1 - 6 = -h*q for q.
1
Let q be -3*(2 + 50/(-15) + 1). Solve 29*z = 30*z + q for z.
-1
Let k(g) = g + 14. Let h be k(-8). Suppose h*i - 25 = i. Let x(y) = y**3 - y**2 - 4*y + 2. Let m be x(3). Solve -d = -i*d + m for d.
2
Suppose -29 = g - 56. Suppose -53 = -4*b + g. Solve 2*i + b = -2*i for i.
-5
Let n(g) = g**3 + 8*g**2 - 8*g + 6. Let o be n(-9). Let h be o/(4 + -1) - -7. Solve -3*d + 3 = -h*d for d.
-1
Let s be (8/10)/((-48)/(-120)). Solve s*b - 6*b + 20 = 0 for b.
5
Suppose 5 = -2*g - 13. Let w be (0 - (-3)/g)*(-36)/2. Solve w*q - 12 = 3*q for q.
4
Suppose 0 = 2*r - 4, 3*r - 4 = -5*s + 6*r. Let v be (1 - 5) + 5 + s. Let w be 12*(v + (-24)/9). Solve -4 = -w*n - 0 for n.
1
Let r(m) = 4*m - 1. Let i be r(-1). Let d be ((-30)/i)/(2 - 0). Suppose 2*n = d + 5. Solve -15 = y + n*y for y.
-3
Let q = -3 + 6. Suppose 3*n - v + 10 = 27, -16 = n + 4*v. Solve -n*x + 3*x + q = 0 for x.
3
Suppose 2*l - 3*l = 4*k + 13, 5*l + 