- a for w.
-2
Let b(j) = 3*j**2 - 80*j + 55. Let i be b(26). Let d = -47 - -51. Solve -i*v + d*v = -5 for v.
-5
Suppose 2*g + 12 - 14 = 0. Let l(f) = 30*f**3 + f**2 - 1. Let r be l(g). Let q = -25 + r. Solve -q*a = -4*a + 4 for a.
-4
Suppose 13*x + 132 = 24*x. Let t = 23 - 19. Let r be (t/(-8))/((-2)/20). Solve r*i = x + 8 for i.
4
Let a be (6/4)/((-7)/(-14)). Let t = 7504 + -7501. Solve a*q = -t*q - 6 for q.
-1
Suppose 26*a = 31*a + 5*m - 135, m = -5*a + 111. Solve -21*x - 147 + a = 0 for x.
-6
Let u be (7 - -3)/(-5) - (2 + -13). Suppose 0 = g - 5*x - 18, -x + 4*x + u = 0. Let m be 1/5 - (g - 192/15). Solve -4*s = s - m for s.
2
Let o be -28 - -32 - (-1 + -85). Suppose 116*x - 106*x = o. Solve -4*m - x = -7*m for m.
3
Suppose -33*r + 35*r = -5*c + 211, 3 = r. Solve 3 = c*b - 284 for b.
7
Let i be (-8)/(-28)*(-252)/(-9). Suppose g - 33 = 4*f - 1, -4*g + 110 = 2*f. Let s be 1/(-2) + (g/i)/7. Solve -6 = -s*b - 3*b for b.
2
Let a be 0 - ((-30)/45)/((-3)/(-18)). Solve a*l + 12 = 36 for l.
6
Let j = 249 - 228. Let v be (-16)/(-3) - (154/j - 7). Solve v*t = 4*t - 1 for t.
-1
Let m(b) = -2*b**3 + 28*b**2 - 45*b - 36. Let r be m(12). Solve r = h + 590 - 583 for h.
-7
Suppose -3*p + 146 = -a, 0 = 3*a - 17 + 14. Solve -259*k + 252*k + p = 0 for k.
7
Let v be (-3 - (-29)/10) + -12 + (-933)/(-30). Solve 42*m = -v*m - 366 for m.
-6
Let x(f) = f**3 + 14*f**2 + 44*f + 18. Let c be x(-6). Solve 33 = 25*p - c for p.
3
Let z be (-1 + (-33)/(-12))/(1/4). Suppose -13*c - 7 = -z. Solve -2*r = -c + 6 for r.
-3
Let q(p) be the third derivative of 9*p**2 + 11/12*p**4 - 5/2*p**3 + 0*p - 1/30*p**5 + 0. Let g be q(10). Solve -g*f + 8 = -2 for f.
2
Suppose o + 9*o - 2*o = 0. Let m(w) = -w**3 + 4*w + 12. Let q be m(o). Solve 7*r + q = -16 for r.
-4
Suppose 2*m - 10 = 0, -3*x + 5*m - 41 = -5*x. Let o(g) = g + 26 + x*g - g - 6*g. Let l be o(-12). Solve l*h - 5 = 3 for h.
4
Let c = 13117 - 13108. Solve 32 = c*h + 77 for h.
-5
Let u be (369/82)/(3/2). Let l be (6/(-11))/(-3) - (-8)/(-44). Solve l = u*h + h + 12 for h.
-3
Suppose -2*v + 484*h + 130 = 483*h, 5*h = v - 56. Solve -5*u = 6*u - v for u.
6
Let y(d) = -6*d + 168. Let t be y(-46). Let k = 451 - t. Solve 0*s + k*s = 21 for s.
3
Let l(h) = -3*h**3 + 21*h**2 - 8*h + 35. Let s(n) = n**3 - 2*n**2 - n. Let z(p) = l(p) + 4*s(p). Let q be z(-14). Solve q + 8 = 3*w for w.
5
Let p(g) = -7*g**2 - 6*g - 5. Let j be p(-1). Let c be (-38)/(-114) - (-2)/j. Solve -3*d - 12 = -c for d.
-4
Suppose 1319*y + 2783 = 1342*y. Solve -70*m + y*m = 67*m for m.
0
Let c be (-1184)/222*6/(-4). Suppose -9 = -2*o - 27. Let x(j) = j**2 + 8*j + 11. Let i be x(o). Solve -c*r = -3*r - i for r.
4
Let z = 124 - 122. Let r be (3*(-1)/6)/(z/(-4)). Let y(k) = 2*k + 5. Let w be y(7). Solve 5*h + w = -r for h.
-4
Let f be 5 + (-3)/((-6)/(-16)). Let z be 25/(-30)*(f + -3). Suppose -4 = 3*y + z*t + 4, 2*t = -y - 4. Solve -y*j + 2 - 14 = 0 for j.
-3
Let o be -4 - (-49)/4 - 2/8. Let w = o - 8. Let b be (10 - 3) + (7 - 4). Solve 0 = 5*l - w*l + b for l.
-2
Suppose o + 5*t + 23 = 0, 0 = 2*o - 6*o + 4*t + 28. Let u = -2 + o. Suppose 25 = -8*r + 5*z, -72 = 2*r + z - 77. Solve r*y + 4*y - 20 = u for y.
5
Let g(b) = 10*b - 18. Let x be g(2). Suppose x*l = 3*j - 139, j = -3*l + 6*j - 208. Let k = 73 + l. Solve -k + 12 = 2*y for y.
5
Suppose a = -i + 25, 4*a - 58 = 8*i - 10*i. Suppose -11 - i = -4*u - 2*s, 5*u = 2*s + 40. Solve -4 - u = -4*q for q.
3
Suppose 4*l - 22 = 2*s, 2*s = 2*l - 2*s - 20. Let p(z) = z**2 - 5*z + 10. Let u be p(l). Suppose -4*y + y + u = 0. Solve 0*o - 8 = -y*o for o.
4
Let i(m) be the first derivative of -3*m**2 + 7*m - 31. Let c be i(-3). Suppose -p + 2*x - 15 = -6*p, -4*x + c = 5*p. Solve -j + p = 5 for j.
-4
Suppose -5*g - 301 + 30 = 3*n, g - 277 = 3*n. Let v = n - -94. Solve -h - 1 = -v*h for h.
1
Let j be 29/((-116)/24) + (-150)/(-1). Solve -l - j + 150 = 0 for l.
6
Let l be -7 - (0 + 2 + -2). Let p(b) = b**2 + 5*b - 14. Let g be p(l). Suppose -2*k - 3*u + 0*u - 8 = 0, g = 4*k - u - 12. Solve -10 = k*c + 3*c for c.
-2
Let p(x) = 2*x**3 - 12*x**2 + 40*x - 157. Let i be p(10). Solve 1045 - i = 2*q for q.
1
Let y(r) = 13*r**2 + 2*r - 3. Let w be y(1). Let d be -1 - (-8)/7 - 110*(-6)/84. Solve -w = 5*n + d for n.
-4
Suppose -i + 2 = -1. Let l be (4/10)/(10 + 8073/(-810)). Solve -z - l = i*z for z.
-3
Let p(i) = -3*i**2 + 71*i - 31. Let z be p(23). Let n be (-1 - 28/(-12))*z. Suppose -n = -2*r + 4*d, -3*d + 0 = -5*r + 15. Solve r = -y + 2 for y.
2
Suppose 2389 - 5369 = -17*d + 6795. Solve -10*h - d = -495 for h.
-8
Let m = 1334 + -1315. Solve -m*h + 40*h - 18*h = 0 for h.
0
Let i be (-33 - -3)*(7/2)/(-7). Solve -12*x + 3 = i for x.
-1
Suppose -u - 1 = 0, -2*l - 3*l - u = -19. Suppose 195 = -7*k - 1002. Let q = k + 179. Solve 0 = -l*j - q for j.
-2
Suppose -5*f + 22 = -m - 3, 2*f + 3*m - 10 = 0. Suppose 0 = 2*l - 3*j + 1350, 4*j - 3370 = 5*l - j. Let w = l - -672. Solve w = -f*v + 4*v + 3 for v.
3
Suppose 8*p + 7 = h + 6*p, 3*p = 4*h - 48. Let l = 52 + -48. Solve l*i = 9*i + h for i.
-3
Let p be (-687)/(-12) + -3 + 86/(-344). Solve -3*y - p*y = 0 for y.
0
Suppose -32*c = -51*c + 228. Solve 18*h - 12 = -c for h.
0
Let y(l) = -552*l - 2712. Let f be y(-5). Solve -f*s = 49 - 145 for s.
2
Suppose 2*c + k + 182 = -3*k, 0 = -c + 2*k - 103. Let s = -94 - c. Solve 7*n + s = 4*n for n.
-1
Let b be 25*(-8)/(-20)*24*2. Suppose 2*w - 32*w = -b. Solve f - w + 14 = 0 for f.
2
Let k(a) = 6*a**3 + 0 + 5*a**2 - 5*a**3 + 4*a - 2 + 4. Let j = 8 + -12. Let q be k(j). Solve -q*u = u for u.
0
Let b(n) = -n**3 - 2*n**2 + 2. Let c be b(-2). Suppose d + 3*i + 4 = 0, 0 = -c*d + 3*i - 0 + 28. Suppose 2*f = -d*f + 40. Solve -14 = -5*s - f for s.
2
Let q(f) = -6*f**3 + 82*f**2 + 36*f - 56. Let s be q(14). Solve -17*h + 9*h = s for h.
-7
Suppose 0 = 3*d + d - 4*c - 32, -36 = -4*d + 2*c. Let k(n) = 2*n + 31. Suppose -3*u = 5*f + 57, -4*u + 3*u - 4*f = 26. Let h be k(u). Solve -d = v - h*v for v.
5
Suppose 0 = 7*v - 18*v - 220. Let p = v - -21. Suppose 5*b + 3*x - 17 = 4*x, -3*b + 5 = 2*x. Solve h + b = -p for h.
-4
Let l = -18137 + 18606. Solve -l = -56*v - 133 for v.
6
Suppose 110*q - 115*q = -695. Suppose -143*j + 36 = -q*j. Solve 0 = 5*r + j - 29 for r.
4
Let s(r) = r**2 - 2. Let p be s(2). Let m(l) be the first derivative of -3*l**2 - 228*l + 44. Let g be m(-38). Solve g = t + p + 1 for t.
-3
Suppose 5*j - 1331 = 2*n, -4*j = -8*n - 525 - 559. Solve 282*d + 102 = j*d for d.
-6
Suppose 14*t - 502 + 446 = 0. Solve -t*z - 48 = 4*z for z.
-6
Suppose 27 = -4*n - 4*a + 79, -4*a - 2 = -2*n. Suppose 3*i - 3 = n. Solve 1 = -i*v + 9 for v.
2
Let p(f) = -4*f + 3. Let q be p(1). Let y be ((-6)/8)/(q/56*1). Let t = 46 - y. Solve -12 = -t*z - 0 for z.
3
Suppose 32*r + 170 = 42*r. Suppose 30 = 5*d - 3*u, -2*d + 15*u = r*u - 12. Solve i = d*i for i.
0
Suppose -20*a + 20 - 120 = 0. Let s be 8 + (-12)/30*a. Solve 6 = -4*x + s for x.
1
Let i be -10*(-7 + (-70)/(-25)). Solve 24*k + i = 10*k for k.
-3
Let y be 9/21 - (-36)/14. Suppose -5*a = 4*x + 172 - 559, -4*x = y*a - 381. Let u = -90 + x. Solve -u = w - 5 for w.
2
Let z = 11703 - 11654. Solve -140 - 203 = z*y for y.
-7
Suppose -1513*x - 84 = -2*f - 1511*x, 2*f + 5*x = 91. Solve 5*c - f = -8 for c.
7
Let n(r) = 102*r - 40. Let g be n(3). Suppose 31*v - 106 = g. Solve -2*k - k = -v for k.
4
Let o be (-150)/(-525) - (4/10)/(14/(-1250)). Let z be -2*(-2 + 9/2). Let d be -2 - o/z - (-1)/(-5). Solve 0 = w + d - 0 for w.
-5
Let k(h) = 11*h - 44. Let m be k(4). Suppose m = -7*p - 20 + 55. Solve -15 - 10 = -p*d for d.
5
Suppose 3*r = 5*k - 8*k + 39, 4*r - 5*k - 52 = 0. Suppose 0 = -2*c - n + r, 3*c - 19 = 24*n - 25*n. Solve -f + 5 = -c*f for f.
-1
Let k(h) = h**2 - 149*h + 3704. Let x be k(28). Solve -16*b + x = 172 for b.
9
Let t be (-5)/((-50)/5) - 30/(-12). Solve -t*i + 38 = 59 for i.
-7
Suppose -22 = -2*v + 5*r, -5*v + 0*r = r - 82. Let j = v - 4. Suppose -41*m + j = -38*m. Solve -1 = m*n + 7 for n.
-2
Let j(o) = 11*o - 177. Let z be 928/52 - (-10)/65. Let i be j(z). Solve -7*b + 0*b = -i for b.
3
Suppose -4*h + 3*r - 173 = -619, 5*r = -13*h + 1361. Solve h*v = 103*v - 4 for v.
-1
Let l be ((-594)/(-108))/((-6)/(-4) + -1). Solve 42*j = l*j + 124 for j.
4
Suppose -2*w = -2*b - 18, -5*w - 4*b = -8*b - 43. Let g be 0/(w/(-7)*1). Solve 7*l - 9*l 