 u. Solve s*w = 2 + 4 for w.
2
Let b(j) = -j**2 - 10*j - 16. Let x be b(-8). Solve -5*p + 6*p = x for p.
0
Suppose 2*z - 6 = -4*c, -3*z - 4 + 13 = 2*c. Let o be 3 + (-3)/(-6)*c. Suppose 0 = g - 3*a - 5, 2*g - o = -2*g - 5*a. Solve -g*r + 3 = -1 for r.
2
Suppose 2*n = -z + 14, -73*n + 51 = 4*z - 70*n. Solve 12*r - 9*r + z = 0 for r.
-4
Let a = 63 - 29. Suppose 2*g + 34 - a = 0. Solve g + 15 = 5*i for i.
3
Suppose -2*s = -2*b - 3*b - 65, 5*s = -3*b + 209. Let j = -38 + s. Solve j*y = 6*y for y.
0
Let w be (1 + 0)/((-3)/(-9)). Let q be 0/(((-12)/w)/(-4)). Solve 0 = 5*u - q*u for u.
0
Let o be 64/5 - 29/(-145). Suppose 0 = -9*m - o + 49. Solve c + m*c - 25 = 0 for c.
5
Let f be 28/10 + (-140)/175. Solve 0 = f*r + r for r.
0
Let x(p) be the first derivative of -p**2 + 41*p - 36. Let y be x(19). Solve -12 + 3 = -y*g for g.
3
Let l = -71 + 75. Suppose 5 = 5*b + 45. Let g be l/16 - (-2)/b. Solve 2 = -g*a - a for a.
-2
Suppose 137*g - 91 = 457. Let w be (-1)/3 + (-14)/(-6). Solve -g*c + w*c = -10 for c.
5
Let k = -1 + 5. Suppose k*s = 8 - 44. Let b be 8/3*s/(-6). Solve -b*f + 3 + 9 = 0 for f.
3
Let w(i) = -2*i**2 - 7*i + 1. Let j be w(-1). Solve -j*y - 10 = -4*y for y.
-5
Suppose 2*v - 5*k + 375 = 7*v, -147 = -2*v - 5*k. Solve -24 = 82*q - v*q for q.
-4
Suppose n - 4*j = 12, 4*n - 11 + 20 = -3*j. Let i = 2 + -1. Suppose 5*y = 2*m - 30, 4 = -5*y + 4*y. Solve 4*g + i - m = n for g.
1
Suppose -3*a - 4 + 10 = 0. Let m be a/(-2 + 4)*2. Suppose n - 5 = -m. Solve k = n*k - 2 for k.
1
Suppose -3*l + 4*k - 7*k = -12, -2*l = -3*k + 12. Solve 4*a - 6*a = l for a.
0
Let a be -2 + 150/20*(-4)/(-3). Let n(s) = -3*s**3 + 7*s**2 - 1 + 8*s + 2*s**3 + 6. Let y be n(a). Solve -2*r + y = -r for r.
5
Let o(v) = v**3 - 6*v**2 - 2*v + 14. Let z be o(6). Suppose l + z*l = -18. Let b(f) = -f**3 - 5*f**2 - 2*f - 14. Let d be b(l). Solve 0 = -5*y + 9 - d for y.
-5
Let p be ((-2)/4)/(7/(-14))*15. Let f = -13 + p. Solve -c = f*c for c.
0
Let k be ((-8)/(-6))/((-40)/(-60)). Solve -k = -5*w - 7 for w.
-1
Let o(f) be the first derivative of 5*f**2/2 + 37*f + 10. Let g be o(-7). Solve 4*y - g*y = 0 for y.
0
Let x be (114/24)/((-1)/(-4)). Solve -x = 6*l + 11 for l.
-5
Let d(g) = -2*g + 28 - 28 - g**3 - 5*g**2. Let c be d(-5). Suppose -5*s + 2*a = c, 3*s + 5*a - 25 = -0*s. Solve -3*z = -s*z for z.
0
Let l be ((-15)/(-2) - 2)*2. Suppose -54 = -l*d + 2*d. Let s be (-2)/(-6) - 1/3. Solve -3*z + s*z = -d for z.
2
Let a(c) = -c**2 + 4*c - 34. Let t(p) = p**2. Let n(y) = -a(y) - 2*t(y). Let d be n(-8). Solve -d*k - 3 = -7 for k.
2
Let g(b) = b**2 - 5*b - 1. Let o be g(6). Suppose -5*z + 25 = -4*u - o, -2*z = 4*u + 16. Let c be 0/4 - u*2. Solve -5*r + 10 + c = 0 for r.
4
Suppose 0 = 36*t - 5*t - 310. Solve -14*g = -t*g - 16 for g.
4
Suppose -2 = -x + 1. Suppose -3*n - 24 + 6 = -3*u, -4 = u + n. Suppose -k = -4*v + x + 4, -k - u = -v. Solve -6*o - 12 = -v*o for o.
-3
Let x be 6/4*(4 - -12). Let k = x - 27. Let y be k/(-9) - (-3)/(-9). Solve -u = -y*u - 1 for u.
1
Suppose 0 = -0*w + 5*w. Let u be ((-19352)/60)/(-41) + 4/30. Solve -12*a + 8*a + u = w for a.
2
Suppose -a + 1 + 12 = h, 93 = 5*a - 2*h. Solve -3*q + 29 = a for q.
4
Suppose -d - 3 + 5 = 4*n, -2*d = 5*n - 4. Let i be (2 + n)*(2 - -4). Suppose 3*h + y + 2*y = 12, -3*h + 3*y + i = 0. Solve 0 = -h*v + v - 3 for v.
-1
Let t be 2/5 - (-32)/20. Suppose 21 = -t*s - 7. Let b = s - -14. Solve b*y = y for y.
0
Let n = -50 - -54. Suppose 0 = -4*i - x - 1, 3*x = -n*i + i - 3. Solve 6*g - g + 25 = i for g.
-5
Let w = 127 + -127. Solve 0 = -w*s + 2*s + 2 for s.
-1
Suppose 0 = -10*z + 34*z - 192. Solve -z = -2*v - 0 for v.
4
Suppose 0 = -5*f + 2*s - 3, 0 = 3*f + 2*f - 5*s. Let q be (0/2)/(f/(-1)). Let l(i) = i**2 - 6*i - 5. Let u be l(7). Solve v = -q + u for v.
2
Let n(m) = -3*m**2 + 21*m + 5. Let r be n(7). Solve r*x - 1 + 11 = 0 for x.
-2
Let w be (63/(-42))/((-26)/20 + 1). Solve -23*n = -22*n - w for n.
5
Suppose 0 = -110*y + 497 + 273. Solve y*w - 110 = -138 for w.
-4
Suppose 0 = o - 1 - 4. Let x(g) = -85*g + 9 + 76*g + 4 + g**2. Let j be x(8). Solve -o = j*q - 0 for q.
-1
Let h = -6 - -9. Let b(d) be the first derivative of 2*d**3/3 - d**2 - 7*d - 3. Let u be b(h). Solve -5 + 15 = u*m for m.
2
Let h be (-3)/4 + (-3)/12. Let p be 0 + h/(3/24). Let y be (20/p + 1)*-2. Solve -3*w + y = -3 for w.
2
Let r = 966 - 931. Solve 0 = -44*g + 51*g - r for g.
5
Let i(h) = -61 + 39 + h**2 + 27 - 5*h. Let q be i(5). Solve -2*o + q = -7*o for o.
-1
Suppose -9*h + 5*h + 24 = 2*u, -2*u - 39 = -5*h. Solve 0 = -h*z + 14 + 7 for z.
3
Let d be ((-12)/(-3) - 6) + 9. Let t be 6 + -2 - d - -3. Solve t = -y + 3*y - 2 for y.
1
Let b = -10 - -13. Let j = -41 + 44. Suppose -b*s = -9, -4*u - j*s + 17 + 0 = 0. Solve -a - 2 = u for a.
-4
Suppose -48 = 21*y - 29*y. Solve 1 = -y*n + 7 for n.
1
Suppose -4*g = -0*g - 8. Let c(v) = -3*v**3 + 2*v**2 - 4*v + 2. Let k be c(2). Let q = k + 22. Solve q = -m - g + 5 for m.
3
Suppose -28 = -5*v + 2. Suppose -3*d + 6*d = 3. Let f be 2/4 - (-18)/4. Solve v - d = -f*h for h.
-1
Let d be (16/7 - 2) + 104/28. Suppose -3*k + k = -i, d*k - 6 = -i. Solve -3 + k = -2*z for z.
1
Suppose 3*x = 3*v + 7*x - 288, -85 = -v - 5*x. Let u = 102 - v. Solve 0 = -3*w + u + 1 for w.
1
Let p be (2/(-4))/(1/(-36)). Suppose p = c + 16. Solve 7*d - c*d + 20 = 0 for d.
-4
Let x be -23 - -14 - (-4)/(1/1). Suppose -3*h = -3*s + 27, -3*h = s - 7*h - 9. Let k = s + x. Solve 0*a = -k*a for a.
0
Suppose 0 = 143*p - 102*p - 410. Solve 4*h + 14 = p for h.
-1
Suppose -186*n - 14 = -187*n. Solve n*z - 10 = 4*z for z.
1
Suppose -2*y + 35 = 5*y. Suppose -y*k - b = -3, -3*k - 3*b - 2*b - 7 = 0. Solve 4*a + 9 - k = 0 for a.
-2
Let f(n) = n - 1. Let b be f(6). Suppose s = -g + 2, 0*g - g = 4*s - b. Solve -5*k + 4 = -g for k.
1
Let s(k) = k**2 - 7*k - 6. Let i be s(8). Suppose -t = i*t. Suppose -z + 3 = -0*z. Solve t = z*h - 1 - 5 for h.
2
Suppose 0 = -3*x + x + 2. Let d = 319 + -315. Solve -d*f + 3 + x = 0 for f.
1
Suppose -d = -11 - 10. Suppose 4*n + 10 = -2*h, -14 = -5*h + 2*n + d. Solve -3*z + 4 = -h*z for z.
-2
Let m(c) = c - 1. Let v be m(3). Let p be (-3)/v*(-48)/9. Suppose 4*d - 12 = 0, n + p = -0*n + 4*d. Solve a = -n - 1 for a.
-5
Suppose -3*t = 2*h + 2*h - 7, 20 = 2*h - 4*t. Solve h*c = 6 - 14 for c.
-2
Let z = 1598 + -1592. Let l be 9/2*8/3. Solve -z*f = -3*f + l for f.
-4
Let o(a) = 9*a - 14. Let x be o(5). Suppose -2*q - 7 = -3*r, -q + x = 3*q + 3*r. Solve -15 = q*t - t for t.
-5
Let y be 245/(-9) - 16/(-72). Let m = y - -27. Solve m = n - 5*n + 8 for n.
2
Let x(i) = -i - 4. Let s be x(-4). Suppose -3*g = -2*o - 19, s = g + 2*g - 3*o - 15. Solve -3 - g = -3*m for m.
4
Let x(s) = 3*s**2 + 6*s - 5. Suppose -n - 3 = a, -5*n - 14 = 4*a - 3. Let c be x(n). Solve c*o - o = 9 for o.
3
Let r(z) = z + 26. Let w be r(-26). Suppose 2*q + 5*m - 50 = w, 3*q - 87 = -5*m - 22. Solve -5*l = -2*l + q for l.
-5
Let w = 6 - 10. Let q(d) = -4*d - 6. Let k be q(w). Suppose 0 = -2*h - 3*p + 34 - k, -2*h + 4*p = 4. Solve 2*g - 16 = h*g for g.
-4
Let g = -617 - -617. Solve 6*b = -g*b for b.
0
Let v(i) = -26*i + 252. Let j be v(9). Solve 40 = j*b - 10*b for b.
5
Let x = 23 + -43. Let j = x - -26. Solve j*w = w + 15 for w.
3
Let v = -29 - -53. Let z = 8 - v. Let m(s) = s**2 + 15*s - 14. Let c be m(z). Solve -c*h + 25 = 3*h for h.
5
Let g = 24 - -96. Suppose -u - g = 3*u. Let p = u + 33. Solve p*y + y = 12 for y.
3
Suppose 4*x - 144 = -k, 72 = 2*x + 37*k - 38*k. Solve 0*o + x = 12*o for o.
3
Let y = -2 + -4. Let b be (2/y)/(16/(-96)). Solve 4*i = b*i - 2 for i.
-1
Let z(i) = -2*i + 8. Let w be z(2). Let v(j) = -j**2 + 6*j + 4. Let r be v(6). Let b be ((-2)/1)/((-2)/r). Solve -w = -2*q + b for q.
4
Suppose 0 = 4*q - 4 - 4. Let z be (q/2)/(4/12). Suppose -5 = -3*k + 2*j, -5*j + 6 = z*k - 13. Solve m + k*m = -8 for m.
-2
Suppose -6*q + 354 - 276 = 0. Solve -7*h + 8 = -q for h.
3
Suppose 4*j = 8*j. Suppose 4*b = -0 - 16. Let y be 27/18 - 6/b. Solve -3 = -y*q - j*q for q.
1
Let y = 4 - -6. Let f = -1 + y. Solve -f = 3*o - 0 for o.
-3
Let i = -6 - -22. Solve i + 2 = -6*f for f.
-3
Let u(q) = -q**3 + 2*q**2. Let d be u(2). Let h be d/((-12)/3 - -2). Solve 10 = -2*z - h*z for z.
-5
Suppose -2*p + 131 = -5*z + 52, 0 = 5*p - 4*z - 155. Solve 32*o = p*o - 25 for o.
-5
Let i(v) = -v**2 + v + 2. Let 