g*y + w = 23 for y.
4
Let o be 19/(-76) - (-194)/8. Solve -o = f - 7*f for f.
4
Suppose -21*l = -169 - 524. Solve -4*h + l = 13 for h.
5
Suppose 75 = 4*z - 33. Suppose 0 = 4*h + h + 120. Let d = h + z. Solve c + 8 = -d*c for c.
-2
Let k(q) = q**3 + q**2 - 2*q. Let a be k(2). Suppose 3*v = a*v - 20. Solve -v = -6*z + 2*z for z.
1
Let t be (16 + -23)*(-2)/2. Suppose -t = -2*w - 1. Solve 0 = -b + 2 + w for b.
5
Suppose 9*t - 5*t = 20. Suppose -2*v + 3*h = 19, 4*h - 15 = -5*v - h. Let j be (3 + 0)/(t + v). Solve -y - j = -6 for y.
5
Suppose -15 = -0*d - 5*d. Let a = -1120 + 1120. Solve -2*k - d*k = a for k.
0
Let q = -1234 + 1257. Solve -19 + q = y for y.
4
Let j(l) = l**2 + 26*l - 56. Let q be j(-28). Solve q = 4*b - 8 for b.
2
Let a be (-212)/(0 - -4)*-1. Let y = a - 45. Solve -6*c = -2*c + y for c.
-2
Suppose -4*l + 0*l = -4*a + 56, 2*l = -a - 37. Let n = l + 22. Solve -20 = n*w - w for w.
-5
Let m = 1351 + -1332. Solve 13 - m = -2*d for d.
3
Suppose -m - 26 = -3*m. Let h be (8/40)/((-7)/(-175)). Solve m + 12 = h*t for t.
5
Let j be 10/3 + (-2)/(-3). Solve j*x - 2 = 10 for x.
3
Let h(n) = -2*n + 9 - 4*n - 3 + 7*n. Let p be h(2). Solve p + 1 = 3*t for t.
3
Let v(h) = h - 20. Let p(b) = -b + 21. Let x(u) = -4*p(u) - 5*v(u). Let t be x(11). Suppose 4*d = 5*d - 3. Solve 2*i - t = -d*i for i.
1
Let n(g) = g + 27. Let x be n(-16). Solve x*r - 6 = 27 for r.
3
Suppose 6*v - 2*v + 3*d - 49 = 0, -5*v - 2*d + 56 = 0. Let p be (15 - 20)*(-8)/v. Solve -p = 2*r + 2 for r.
-3
Suppose -5*h + 116 = -4*x, 3*h + 2*h = -5*x + 80. Suppose -5*i = -h + 5. Solve -n - i*n - 8 = 0 for n.
-2
Let o = -202 - -231. Solve o*y - 8 = 25*y for y.
2
Suppose 27*t - 20*t = 21. Solve 4*u = t*u + 3 for u.
3
Let r(u) = -15*u - 5. Let k be (-22)/(-6) - (-8)/(-12). Let f(y) = 5*y + 2. Let d(i) = k*r(i) + 8*f(i). Let n be d(-1). Solve 0 = 3*m - n for m.
2
Let g(y) = -5*y**3 - y**2 + 2*y + 2. Let s be g(-2). Let c = 44 - s. Solve 2*z = -0*z - c for z.
-5
Suppose -5 = -5*u - 0. Let a(q) be the third derivative of -q**4/12 - 7*q**3/2 + 19*q**2. Let x be a(-13). Solve 0 = -2*k - x - u for k.
-3
Suppose -4*a - 3*f = -14, 0 = -4*a - a - 2*f + 21. Solve p + 3 = a for p.
2
Suppose -2*u = 3*f - 8, f - 4 = -0*f - 2*u. Suppose -y + 26 = -4*w, 0*w - 2*y = f*w + 8. Let o = -3 - w. Solve 0 = -o*q + 10 + 5 for q.
5
Let j(p) = p**2 - 14*p - 298. Let l be j(-12). Solve l = 11*h + 36 for h.
-2
Let o = -29 + 19. Let q be (-16)/20 + (-228)/o. Let j = -18 + q. Solve -j*k - 8 = -0 for k.
-2
Let a = -15 - -24. Suppose -c = 3, -2*c + a = -5*p - 5*c. Suppose p = -4*m + 6 + 6, -m = -3*r + 9. Solve 0*x = -r*x for x.
0
Suppose -198*a = -252 + 252. Let f(h) = h**2 - 2*h + 1. Let y be f(3). Solve a = -q - y for q.
-4
Let v(j) = j**2 + 11*j + 14. Suppose l - 6 = -2. Let i be (l/6)/(2/(-30)). Let a be v(i). Solve a*r + 12 + 8 = 0 for r.
-5
Let q be (12/(-8))/(2/(-4)). Suppose -q*r + 0*r + 15 = 0, j + 3*r = 16. Let a be (j - 2) + 5/5. Solve 2*v = -a*v + 8 for v.
4
Let s(j) = 2*j**2 - 15*j + 52. Let f be s(4). Solve -13*o + o = f for o.
-2
Let x = -9 - -12. Suppose 0 = t - x. Let v be (t + -1 - -2) + -1. Solve 0*o = v*o + 3 for o.
-1
Let v = -60 + 63. Solve v*k = 2*k - 3 for k.
-3
Let f be 9/(-3)*(-2 + 1). Suppose -4*h = 9*h - 26. Suppose 2 = 9*d + h. Solve -f*u + 2 - 5 = d for u.
-1
Let d(h) be the first derivative of -h**4/24 - 7*h**3/3 + h**2/2 + 3. Let i(l) be the second derivative of d(l). Let r be i(-16). Solve 0*b = r*b for b.
0
Let d = 81 - 76. Let a(g) = -g**2 + 15*g - 41. Let m be a(d). Solve 3*o + 24 = m*o for o.
4
Let u be 3/6*(-39 - 1). Let q = u + 19. Let k be q + 18 + (7 - 4). Solve k = 4*h + 8 for h.
3
Let z(p) = -p**3 - 8*p**2 + p - 4. Let f(q) = q**3 + 9*q**2 - q + 4. Let u(a) = 5*f(a) + 6*z(a). Let h be u(-4). Solve -h*b - 8 = -4*b for b.
-2
Suppose -9*a + 32 = -5*a. Solve 0 = -7*k + a*k for k.
0
Suppose 0*v - v - 4*v = 0. Let f be (-2)/(-4)*(v/4)/(-4). Solve -6*w + 2*w - 16 = f for w.
-4
Let z be (0/((-3)/(-3)))/1. Solve 7*j = 9*j - z*j for j.
0
Suppose y + 21 = 2*s, 38*s = 42*s + 5*y - 7. Suppose -5*a + 0*a = 0. Solve 0 = -4*n + s - a for n.
2
Let a(x) = -7*x + 18. Suppose -5*n + 9 + 1 = 0. Let f be a(n). Solve -4 = -4*r + f for r.
2
Let w = -85 - -95. Suppose -38*t = -40*t + w. Solve -t*a - 2 = -12 for a.
2
Suppose -5*q + 4*k - 72 = 0, 70 = -3*q + 5*k + 19. Let x(y) = -y - 8. Let n be x(q). Solve 8 - 28 = -n*z for z.
5
Suppose -27*x + 23*x = -40. Let q(b) = b**2 - 11*b + 2. Let j be q(10). Let p be (-65)/26*j/x. Solve p = -5*n - 3 for n.
-1
Let n = -31 - -31. Let p be (15/3)/(1 + n). Solve -p*i + 3 = 8 for i.
-1
Let i be ((-6)/5)/((-315)/(-25) - 13). Let c(m) = 2*m**3 - 3*m**3 + 0 + 3*m**2 + 2. Let o be c(i). Solve -o*t + 5*t + 9 = 0 for t.
-3
Suppose 2*h - 2 = 5*h - 4*a, 4 = 2*a. Let o be (-14)/(-35) - ((-352)/10)/h. Solve 2 = 5*y - o for y.
4
Let l be (-7)/(-5)*(0 - -5). Let m = l - 1. Suppose -g = -5*s + 21, -4 = -3*s - 4*g + 4. Solve -s*j = -m*j for j.
0
Let v(x) = -x. Let n be v(0). Suppose n = -3*t + 1 + 14. Suppose -t*i = -3*d - 34, 5*i = 5*d + 32 + 8. Solve 2*q + 3 = -i for q.
-4
Let b = 25 - 21. Suppose -i - 4*k = -7*k, -2*k - 10 = -b*i. Suppose -m + 25 = f - 2*m, -31 = -f + i*m. Solve -5*u - f = -2 for u.
-4
Suppose 5*t = 3*j + 8, 0 = -5*t - 4*j + 16 + 20. Solve 2*l = l - t for l.
-4
Let w be 8/(0 + (-4)/(-12)). Solve -4 = -4*q - w for q.
-5
Suppose -3*z - h = 11 - 48, -3*z + 5*h = -13. Solve z*d - 10 = 16*d for d.
-2
Suppose 4*f = -2*r - 10, 4*f = -0*r - 4*r - 4. Let z(w) = 2*w**3 - 48*w + 2 + 45*w + 2*w**r. Let t be z(1). Solve -x + 6 = -t*x for x.
-3
Let g = 995 - 994. Let s(c) = c**3 - 6*c**2 - 7*c + 9. Let t be s(7). Solve t + g = 2*p for p.
5
Let o = -87 - -97. Solve b = o*b for b.
0
Let z(w) be the first derivative of 3 + 3/2*w**2 + 12*w - 1/3*w**3. Let r be z(5). Solve -r*n = -3*n for n.
0
Suppose -15 = -0*c - 3*c, -4*c + 92 = -3*q. Let z = q - -25. Solve a + 4 = -z for a.
-5
Let b(s) = -3*s + 2. Let u be b(-4). Let v be (-5)/(-7) + u/49. Solve 2*m = 9 + v for m.
5
Suppose -8*v + 10*v = 6. Suppose 0 = -0*f + v*f - 75. Let g be f*(3 - 4/2). Solve 3*d = -2*d - g for d.
-5
Let k(r) = r - 3. Suppose -4*g + 5*i + 20 = 0, -3*g + 2*i + 8 + 7 = 0. Let m be k(g). Suppose -5*f = 5*w - 5, -4*f = 2*w - 2 + 10. Solve 0 = -y - w + m for y.
-4
Let g = -294 - -304. Solve 3*v = g + 2 for v.
4
Let a = -102 - -108. Suppose -a = 8*o - 22. Solve v = -o*v for v.
0
Suppose 6*z - 2*q = 5*z + 12, 13 = 4*z - q. Let x = 6 + -3. Solve x*r + 17 - z = 0 for r.
-5
Suppose -a = 2*v - 0*v - 12, -4*a + 5*v + 74 = 0. Suppose 2*j - 18 = a. Suppose 3*l = 4*y - j, 3*l - 1 + 8 = 2*y. Solve 0 = -2*q - 3 + y for q.
1
Let h(b) = -47*b + 1129. Let p be h(24). Let q = -9 - -17. Solve 3*m = p + q for m.
3
Let z(q) = -q**3 - 3*q**2 + q + 4. Let c(b) = 2*b**3 + 4*b**2 - 2*b - 3. Let w(y) = 2*c(y) + 3*z(y). Let j be w(0). Solve -j*f + 4 = -2*f for f.
1
Suppose 5*i + 2*p = -2*p + 120, -2*p - 94 = -3*i. Let w be -4*(3 - i/8). Solve -4 = g - w*g for g.
4
Let g(n) = -n - 15*n**3 - 1 - 12 + 4*n - n. Let y(w) = -7*w**3 + w - 6. Let q(x) = 6*g(x) - 13*y(x). Let s be q(-1). Solve -4*m - 10 - 10 = s for m.
-5
Let w(d) = d**2 + 5*d - 9. Let h be w(-7). Suppose -i - 76 = -h*i. Solve -4*f - 3 = -i for f.
4
Let h be (-330)/(-18) - (2 - 16/6). Suppose -13 = -8*d + h. Solve 0 = -9*n + d*n + 25 for n.
5
Suppose 2 = -3*j + 11. Let t(f) be the first derivative of -f**2/2 - 3*f - 32. Let h be t(-3). Solve h = p - j + 1 for p.
2
Let b(s) = -s - 1. Let c be b(-6). Suppose c = n + 3. Solve -l + n*l = 0 for l.
0
Suppose -320 = 21*g - 37*g. Suppose 0*b + 3*b = 6. Suppose -3*d + b = 3*m - 4*d, 0 = -3*m - 2*d - 4. Solve 0*v - 4*v - g = m for v.
-5
Let v be (1/3)/((-6)/(-72)). Suppose -v*z = -3*z - 13. Let j = -6 + z. Solve 5*b - j = 8 for b.
3
Let h = 61 + 2. Suppose -9*r - h = -12*r. Solve -4*c - r = -1 for c.
-5
Let d = -5 + 8. Suppose -3*c = d*c - 4*c. Solve -2 + c = k for k.
-2
Suppose 1 = -3*z - 4*u, 0 = -4*z + u + 38 - 14. Suppose -4*d - 11 = 5*v, -3*v - v - 10 = 2*d. Solve z*x - d - 4 = 0 for x.
1
Let b(i) = -i**3 - 13*i**2 - 15*i + 14. Let y be b(-12). Suppose -y = -5*g - 10. Solve -5*u = -g*u - 15 for u.
-5
Suppose 9*s + 10 = 4*s, 0 = 5*t - 3*s - 1. Let o = 1 - t. Suppose -w + 4*m = w + 18, 5*m = -5*w + 30. Solve -w = o*g + 9 for g.
-5
Let