 for u.
-1
Let g(a) = 19*a - 2. Let t be g(-5). Let k be 50/(-1)*(-3 + 1). Let v = k + t. Solve 2 + v = u for u.
5
Let w be 8899/99 - -9 - (-12)/108. Solve -81 + w = -18*x for x.
-1
Let w(l) = -l**3 + 11*l**2 + 2. Let v be w(11). Suppose -r + 25 = 2*s, -3*s + 33 = v*r - 5*r. Solve s = -4*n + n for n.
-4
Let n(b) be the first derivative of b**4/4 - b**3/3 + 11*b**2/2 - 26*b + 51. Let w be n(3). Solve -7 + w = 6*c for c.
3
Suppose 47*v + 2 = 136*v - 443. Solve -42 = -v*l - 12 for l.
6
Let m = 696 - 693. Let d = 12 - 4. Suppose m*i + i - d = 0. Solve -4*p + 14 - i = 0 for p.
3
Suppose 21 + 29 = t. Let w be (-10)/t - 186/(-5). Let h = 44 - w. Solve 0 = -2*x + h*x for x.
0
Suppose 5*a + 24*j - 280 = 25*j, 0 = 3*a - 2*j - 168. Solve -26*v - 30 = -a*v for v.
1
Let k be 26 - -155 - ((-17)/3 - (-16)/24). Solve 62*o - k = 31*o for o.
6
Let x(y) = -22*y + 117. Let h = -283 + 287. Let b be x(h). Solve -14*c + 1 - b = 0 for c.
-2
Let p(d) = d**3 + 13*d**2 - 91*d - 905. Let b be p(-10). Solve 21*s + b = -40*s for s.
-5
Let t(n) = n**3 + 19*n**2 - 22*n + 6. Let g be t(-19). Let a = 433 - g. Solve k + a = -2*k for k.
-3
Let k(r) = -8*r - 27. Let j be k(-9). Let y = -6 + j. Suppose 6*o + 9 - y = 0. Solve 0 = o*a - 3*a + 8 for a.
-4
Suppose 68 = 4*x - 2*h, 135 = 5*x - 5*h + 35. Solve 0 = -x*p - 105 + 77 for p.
-2
Let h be (-24)/40 + 36/10. Let r be (((-2128)/(-48))/(-19))/((-21)/9). Solve h*k + r = 4 for k.
1
Let f(i) = -2*i**3 - 9*i**2 - 5*i - 4. Let d be f(-4). Suppose -20 = -r + 2*n, d*r + 34 = 2*r - n. Solve 12*w - r*w = 4 for w.
-1
Let i = 7837 + -7821. Solve -i*j = -20*j - 8 for j.
-2
Let z(f) = -5*f**2 - 5*f + f**2 + f**3 + 4*f - 16. Let a = 7145 - 7140. Let x be z(a). Solve 9*j = x*j + 15 for j.
3
Let p(o) = 11*o**2 - 78*o - 318. Let u be p(10). Let a(x) = 11*x - 15. Let f(q) = -11*q + 16. Let h(t) = -2*a(t) - 3*f(t). Let d be h(u). Solve d*l = 5*l for l.
0
Let o be (2/6)/((-11)/(-33)). Suppose -3*g = -3*y - 15, o = 3*g + 4*y - 0. Let h = 9 + -4. Solve 4 = g*m - h*m for m.
-2
Let b(j) = -2*j - 8. Let i be b(-4). Suppose 2*u - 3*p - 22 = p, 5*u + 5*p - 85 = i. Let n be 286/14 + u/(-35). Solve -f - n = 4*f for f.
-4
Let r(j) = -16*j**2 + 65*j - 1. Let o be r(4). Let t(w) = -5*w + 22. Let c be t(4). Solve -1 = -o*h + c*h for h.
1
Let s(g) be the third derivative of -g**4/12 + 7*g**3/6 + 2*g**2 + 5. Let r be s(2). Solve -t + r = -0*t for t.
3
Suppose 0 = h - k, -k + 0 = -4*h + 15. Suppose -3*j + 237 = 3*y, -y + 5*y - h*j - 280 = 0. Let u = y + -70. Solve 3 = u*f - 2 for f.
1
Let w be 0 - -35 - (-84)/812*-29. Solve 0 = w*d - 15*d + 51 for d.
-3
Let h be 4 + (-60)/16 - 81/36. Let o be (-6 - -3)*(h + 1)*2. Solve -9*u = -o - 21 for u.
3
Let x(n) = -n**3 + 12*n**2 - n + 16. Let h be 152/(-6)*30/20. Let p = h + 50. Let v be x(p). Solve -v*s + 0*s - 12 = 0 for s.
-3
Let c(f) = -16*f + 974. Let m be c(59). Solve -m*r + 74*r = -220 for r.
-5
Let x be ((-6)/(-9))/((-6)/153). Let h = -148 - -131. Let g = h - x. Solve g = -2*k - 0*k for k.
0
Suppose 3*z + 2*m = -64, -z - 18 = m + 2. Let a = z - -36. Let c(d) = -2*d + 1. Let f be c(-6). Solve a*y - 5 = f*y for y.
-5
Suppose 17 = 4*y - 5*i, 0 = -18*y + 16*y - 2*i - 14. Let m be (y + 0)/(468/(-45) + 10). Solve -3*n = -m*n - 4 for n.
-2
Suppose 11*j - 10*j - 4*k = 54, -4*j - 2*k = -270. Solve -14*q + j = -3*q for q.
6
Let c(b) = 2*b. Let f be c(1). Suppose -f*d - 58 = 28. Let i = 47 + d. Solve -j = j + i for j.
-2
Let t be 2*1/10 - (-11853)/(-15). Let f = t + 802. Solve f + 12 = -8*o for o.
-3
Let w be ((-30)/(-35))/(3 - (-22)/(-7)). Let y = w - -14. Let p(s) = s**2 + 6*s - 3. Let d be p(-7). Solve d*a - 4 = y for a.
3
Let a = -1245 + 670. Let g = a + 587. Solve 8 = h + g for h.
-4
Let m be ((-1)/(-2))/((-1)/6). Suppose -z - 5*r = -32, 4*z = r - 74 + 97. Let l = z + m. Solve -18 = -l*j - 2 for j.
4
Let y(f) = -563*f + 30. Let n be y(0). Solve 16*u - n + 14 = 0 for u.
1
Let v(t) = -t**3 - t**2 + 2*t + 7. Let l be v(-3). Suppose l + 77 = 16*u. Solve -5*n - 3 = -u*n for n.
3
Let k(y) = 2*y**3 + 12*y**2 - y - 3. Let c be k(-6). Suppose 5*u = c*m - 124, 5*u + 31 + 7 = m. Let s = m - 42. Solve -3*f = s - 7 for f.
2
Suppose -4*t = -7*t + 54. Let s(w) = w - t - 2*w - 6*w + 76. Let g be s(7). Solve -g + 13 = -4*y for y.
-1
Let r(q) = -q**3 - 2*q**2 + 4*q + 5. Let h be r(-3). Let f be h + 10/(-2 - 3). Suppose 2*w = 2 - f. Solve -w - 1 = 2*n for n.
-1
Suppose -2*v - 6 = -0, -j + 3*v = 1. Let u = -339 + 349. Let o be u/(-25) + (-154)/j. Solve 5*k + o - 5 = 0 for k.
-2
Let f(i) = 5*i**3 - 4*i + 3. Let w be f(1). Suppose w = 10*x - 26. Let m be x/7 - 9/21. Solve 8 = 2*u - m*u for u.
4
Let y be (-220)/45*378/(-84). Solve 19*u = y*u - 18 for u.
6
Suppose 5*q + l - 1433 = 0, -1412 = -5*q - 6*l + 2*l. Solve q*t = 312*t + 48 for t.
-2
Let r = -40 - -46. Suppose -r*x + 12 = -0. Let d(i) = -i**3 - 10*i**2 + i + 12. Let a be d(-10). Solve x = a*b - 4 for b.
3
Let q be (0 - (11 + -11))/(-1) + (-72)/(-3). Solve 0 = q*r - 26 + 26 for r.
0
Let a be 81/(-45) - (-108)/10. Solve -175 = -44*w + a*w for w.
5
Suppose 4*r + 0*u - 238 = -u, 4*r = u + 242. Suppose -5*k - 4*y = -132 - r, 2*k + 3*y - 81 = 0. Solve 5*i + k = 14*i for i.
4
Suppose 5*k + 5 = 5*m, 10*k - 1 = -5*m + 11*k. Solve 10*v + 97 - 67 = m for v.
-3
Suppose -2*n + 0 = 10, -5*g + 55 = -5*n. Solve 15*u - g + 36 = 0 for u.
-2
Let s(d) = d**2 + 4*d - 2. Let r be s(-6). Let c(y) be the first derivative of 2*y**3/3 - 19*y**2/2 - 4*y - 1729. Let h be c(r). Solve 0*a + h = 3*a for a.
2
Suppose -3*r = -5 - 4. Suppose -233*v + 132*v - 60 = -116*v. Suppose -w = -v + r. Solve 4*q - 5 = -w for q.
1
Suppose -5*g = -5*r + 1225, -5*r - 3*g = -925 - 316. Let k = r - 239. Solve 4*y + k = -4 for y.
-3
Let d be -2*2/4*(-1 - 0). Let a = -35 - -35. Suppose 2*g + a = 6. Solve -2*j = -g*j + d for j.
1
Suppose 173*u - 74*u - 48 = 87*u. Suppose 4*n + 3*l - 3 = -0*l, 5*n = -4*l + 3. Suppose 0 = t - 5*h - 13, -2*t + t + n*h = -11. Solve -t = -0*k - u*k for k.
2
Suppose -4*n + 2*n - 2*k - 198 = 0, 2*n - 5*k = -212. Let s = n - -56. Let r = s - -48. Solve -2*f - r + 7 = 0 for f.
2
Let p = -2359 + 2387. Solve -3*f - p = -37 for f.
3
Let o = 477 + -475. Suppose -3*j - o*f + 166 = 0, 3*j - 10*f = -15*f + 163. Solve -j*h + 4 = -52*h for h.
1
Let q(m) be the first derivative of m**3/3 + 5*m**2/2 - 8*m - 1. Suppose 0 = -5*v + 2*t - 29, 4*t + 15 = -t. Let s be q(v). Solve 2*d - 8 = s*d for d.
-2
Suppose -9*l + 300 = 10*l + 6*l. Let i be (3 - 2) + 11 - 3. Solve -12*f + l = -i*f for f.
4
Let j be 10/50*-15 - -17. Solve 3*w = j*w + 66 for w.
-6
Let r be 3 - (3 - 5*4). Suppose -2*w = -6*w - 8. Let c be w/(-15) - (-438)/90. Solve 0*v - r = c*v for v.
-4
Suppose 3*p = -10*p - 2860. Let h = p - -220. Solve h = -3*d - 2*d - 15 for d.
-3
Let b = -434 - -429. Let a(j) = -j**3 - 3*j**2 + j - 14. Let z be a(b). Solve 8*n - 1 - z = 0 for n.
4
Let d = 4167 - 4161. Solve 50 = d*t + 38 for t.
2
Suppose 2334*n + 22 = 2345*n. Let z(b) = b**2 - b + 2. Suppose -2*s + 16 = -4*y, -2*y - 15 = -3*s + y. Let h be z(s). Solve n*o - o = h for o.
4
Let s = -7 - -12. Let b(v) = -5*v - 8. Let y(h) = 14*h + 25. Let q(u) = 11*b(u) + 4*y(u). Let l be q(-12). Solve 0*k - s*k = l for k.
0
Let v(b) = -b**2 + 29*b - 22. Let y be v(28). Suppose 0*t - 3*t = 0. Let z be t/(0 - (-9)/3). Solve y = 3*p - z*p for p.
2
Suppose -5*b = 5*x - 155, -8*b + 7*b = 5*x - 51. Solve -17*a - 59 = b for a.
-5
Suppose 4*q - 2 = 3*q. Suppose -q*w + 3 = -c, 5*c + 2 = -5*w + 47. Let s = 25 + -25. Solve -5*x - c + s = 0 for x.
-1
Let k(d) be the second derivative of -22*d + 1/12*d**4 + 0*d**3 + 0 + 1/2*d**2. Let i be k(-1). Solve -2*t - i = 2 for t.
-2
Let x(q) = -q**3 + 12*q**2 + 13*q - 3. Let b be x(13). Let t = b - -23. Let u = 128 + -124. Solve -u*i = -0*i + t for i.
-5
Let t = 27656 - 27607. Solve -184*l = -135*l + t for l.
-1
Suppose -5*u + 5*m - 75 = 0, -2*m + 4*m = -6. Let z be (-6 + 210/36)*u. Solve -2*a = z*a - 25 for a.
5
Suppose 3*x = -5*c + 247, 5*c + 4*x = -296 + 542. Solve -10 = -8*b - c for b.
-5
Suppose 9 + 63 = 9*u. Suppose 3*p - 4*w = -u, 0*w + 3*w = 2*p + 6. Suppose p = -2*y + 8 - 2. Solve -4 + 1 = y*s for s.
-1
Suppose -4*l = -5*h + 37, 7 = -2*l + 2*h - 11. Let b be 2/(-1*l/8). Solve -5*c + b*c + 6 = 0 for c.
2
Suppose 5*y - 5*n - 95 = 0, -4*y - y + 113 = n. Let