t a(k) = k**3 + 4*k**2 - 21*k - 63. Let n be a(-3). Solve 0 = -5*x + 14 - n for x.
1
Suppose 58*g = 81*g - 828. Let s be 4/6*162/g. Solve -5*n - s - 2 = 0 for n.
-1
Let c = -3216 - -3255. Solve -10*z - 9 + c = 0 for z.
3
Let m(r) = r**3 + 6*r**2 - r - 10. Let w = -156 - -151. Let g be m(w). Solve 2*f = 7*f + g for f.
-4
Let j be -3*(-3)/(-6)*(1 - 19). Solve 69 = 14*g + j for g.
3
Let z be 2/12 + 3521/42. Suppose 112 = 4*x + z. Suppose -x*t - 4 = -18. Solve -t*u = 15 - 5 for u.
-5
Let q(y) = -14*y**3 - 3*y**2 - 4*y - 2. Let j be q(-1). Let w = 78 - 66. Let d = j - w. Solve -r = -d + 3 for r.
-2
Suppose 8*d - 10*d + 56 = 0. Suppose -d*s + 29*s - 4 = 0. Solve 0 = -g + 2 - s for g.
-2
Let y = -2 + 4. Suppose -3701*a - 16 = -3*v - 3700*a, 3*v + 5*a = 100. Solve 0*d = y*d - v for d.
5
Let i(f) = f**2 + 4*f - 27. Let l be i(-8). Suppose 0 = 4*o + l*m - 17, -5*o + 5 = -2*m - 8. Solve s = o*s + 10 for s.
-5
Suppose 0 = 4*a + p + 231, 2*p = 5 + 5. Let g = -48 - a. Let w = g - 8. Solve -w*q = q for q.
0
Suppose 7*n = n + 6. Let k be (3 - n) + (20/(-2) - -2). Let q be k*((-33)/9 + 3). Solve 0 = -v + q*v + 9 for v.
-3
Suppose 6230 = 1784*l - 1695*l. Solve 6 = 16*x + l for x.
-4
Suppose 37*t - 35*t + 3*v = 162, t = v + 81. Solve t = m + 83 for m.
-2
Let i(q) be the first derivative of -q**3/3 - 29*q**2/2 + 63*q + 108. Let p be i(-31). Solve -p = -5*m + 6*m for m.
-1
Let u = 31997 - 31940. Solve u - 69 = 12*f for f.
-1
Let n(a) = -a**2 - 5*a + 12. Let c be (20*-1)/1*-5. Let x be (-1)/(-4*(-5)/c). Let l be n(x). Solve -2*d - 2*d + l = 0 for d.
3
Let j(c) be the third derivative of -5*c**4/24 - 4*c**3/3 - 19*c**2. Let d be j(-2). Suppose -4*h = -o - 2, -1 - 3 = -3*o + d*h. Solve -6 = -o*f - 0*f for f.
3
Suppose -15*l - 45*l + 1153 + 1247 = 0. Solve -101 - 59 = -l*x for x.
4
Let f(g) = -g + 8. Let h be f(3). Suppose h*j - 204 = 116. Let v = j + -63. Solve 3 = -4*s - v for s.
-1
Let d be -90 - (-5 + (6 - 3)). Let y = -59 - d. Suppose -5*x = 5*j - 20, -4*x + 4*j + y = x. Solve 3*z - x = -14 for z.
-3
Suppose -3*c + 5*x = 25, 5*x - 22 = 2*c + 3. Suppose -4*o = -26*o + 12584. Let w = 576 - o. Solve -16 = -w*r - c for r.
4
Let g be (-27)/15*(9 - (-468)/(-27)). Solve -g = -496*i + 493*i for i.
5
Suppose 362 = g + 1. Suppose -431 - g = -12*t. Let h = -64 + t. Solve -x - h = -2*x for x.
2
Let a(x) = -5*x**2 + 241*x - 29. Let s be a(48). Solve -38*u - 95 = -s*u for u.
-5
Suppose -5*n + 4*q - 344 = 0, 2*q = -16*n + 20*n + 274. Let a = -58 - n. Solve 0*t - 5*t - a = 0 for t.
-2
Let a(z) be the first derivative of -3*z**2/2 - 96*z + 35. Let w be a(-33). Solve w*j + 12 = -3*j for j.
-2
Let r(q) = -17*q**3 + 156*q**2 + 17*q - 72. Let z be r(9). Solve z - 23 = -43*i for i.
-7
Let p(x) = -x**3 - 122*x**2 - 343*x + 1669. Let b be p(-119). Solve 24*i = -b*i + 81 for i.
3
Let g = -4306 - -4310. Solve g*b + 3 = -17 for b.
-5
Let d = -1490 - -831. Let u = 667 + d. Solve 10*k + u = 12*k for k.
4
Suppose 4 = -3*j + 10. Suppose -s = q - 11, j*s - 37 = q - 6*q. Suppose 3*y - 408 = -402. Solve -y*g = -s*g - 20 for g.
-5
Let s(n) = n - 3*n + 4*n + n**3 - 17*n**2 + n + 17. Let m be s(17). Suppose 15*t = 19*t - m. Solve 5*y - t = -2 for y.
3
Let w = -65 + 67. Suppose -w*t + 40 = 34. Suppose 0 = k + k + 2*b - 10, -3*k - 2*b + 13 = 0. Solve t - 9 = -k*c for c.
2
Suppose 0 = 2*v + 6 - 8, -4*u + 4*v - 68 = 0. Let l be (116/u + 10/2)*-4. Solve l*z - 10 = -46 for z.
-4
Let u = -76 + 90. Suppose 23 - u = t. Solve t = x + 2*x for x.
3
Suppose 13*w - 11*w - 262 = -2*x, 0 = -4*x - 2*w + 532. Solve -x = -339*i + 324*i for i.
9
Let g(o) = -29*o - 8. Let y be g(-4). Suppose -5*u = -k, 5*k + 6*u = 4*u + y. Suppose -4*j = -n - n + k, 0 = -3*n + 2*j + 14. Solve 5*h - n = -22 for h.
-4
Let k(v) = 17*v - 144. Let c be k(-12). Let p = 357 + c. Solve 5*a - p = 11 for a.
4
Let n(l) = -13*l - 194. Let j be n(-16). Suppose -8 = c + 5*q, 32*q - j = -2*c + 37*q. Solve w - c + 3 = 0 for w.
-1
Suppose i + 4*c + 19 - 46 = 0, -4*i = 9*c - 108. Solve -28*n - i*n = -16*n for n.
0
Suppose 0 = a + 5*i - 8, -2*a - i = -7 - 0. Let z be (8/6)/(2/12). Suppose -a*c = y - 1, -z*c = -12*c. Solve -5 + y = -u for u.
4
Suppose -3 = -3*s - 33. Let r = s - -12. Suppose 0*h + o + 23 = h, -r*o - 66 = -3*h. Solve 6*i = i + h for i.
4
Suppose 112*o - 63*o + 27027 = 88*o. Solve 99*c = 22*c + o for c.
9
Suppose -3*a = n - 9, 5*n - a - 10 = n. Let y be 0*((-2)/(-16) - 133/(-152)). Solve y*i - 15 = -n*i for i.
5
Let w(b) = 3*b - 6. Let z be w(4). Let f(s) = 2*s - 7. Let y be f(z). Let d be ((-33)/8)/(1734/(-4624)). Solve y*a + 4 = -d for a.
-3
Let c(v) = -6422*v + 19274. Let a be c(3). Let u be (-10)/(-4)*(-48)/(-30). Solve 28 - a = u*y for y.
5
Let p = -42 - -39. Let w be 2 + -4 + 10 + p. Let a(v) = -v**2 + 8*v - 11. Let c be a(w). Solve -2*l + c = -0*l for l.
2
Let p = 713 - 710. Suppose 2*u - 14 = -p*y, -13*y + 8*y + 2 = -2*u. Solve -y*z = -10 + 18 for z.
-4
Let w be 12*(-9)/((-432)/(-8))*-18. Solve -50*x + 98 = -w*x for x.
7
Suppose -2702 + 2602 = -20*l. Solve y = l*y for y.
0
Let o(u) = -2*u**3 + 23*u**2 - 7*u + 28. Let p be o(11). Solve -p*i = -81*i + 18 for i.
2
Let o = 9 + -7. Let t(r) = -4*r + 45. Let k be t(10). Suppose k*y + 6 = 31. Solve y*b = o*b + 6 for b.
2
Let n = 3869 + -3853. Solve -n*l - 70 = -26*l for l.
7
Suppose 53 = 3*d + 2*r, 0 = 11*d - 7*d - 5*r - 40. Suppose d*b = 19*b + 4*j - 20, 3*b - 19 = -2*j. Solve -5*p + 4 = b for p.
-1
Let m be -2 + (-98)/(-5) + 18/(-30). Suppose m*u = 37 - 3. Let r(k) = -k**2 + 1. Let t be r(1). Solve t*s - u*s = -6 for s.
3
Suppose 0 = -l + 3*d + 12, 4*l + 4 = 8*l - d. Suppose -2*y - 2 = -4*j + 12, l = -4*y - 2*j + 22. Solve -y = -x - 5 for x.
-2
Let j be (-13 - -1)*(33/(-6) - -3). Suppose 0 = 41*w - 33*w - 144. Solve w - j = -4*h for h.
3
Let a(h) = -1 - 23*h - h**2 - 2*h**2 - 1 + h**2. Let q be a(-10). Solve -3*j - q = 4*j for j.
-4
Let x = -11241 + 11248. Solve -9*g + x = -8*g for g.
7
Let b be 2/(-33)*3 - (-158)/22. Suppose 2*c + 2*z - 8 = 0, 3*z = -z + 8. Solve -b - c = 3*l for l.
-3
Let w(v) = 3*v + 60. Suppose 7*p - 19 = -61. Let a(g) = -g**3 - 6*g**2 + 3*g + 2. Let h be a(p). Let k be w(h). Solve 0*j = -4*j - k for j.
-3
Let r = -3352 - -3370. Solve 1121*h - 1124*h = -r for h.
6
Let m be 72/16*1*-2. Let u(j) = -j**3 - 6*j**2 + 13*j + 9. Let z be u(m). Let d be (-4 + -1)*z/(-75). Solve -2*o - d = -1 for o.
-4
Suppose 0 = v - 2*c - 2, v - 4*c = 2 + 4. Let p be (-2)/(v/2) + -4. Let z be (2*-1 + 1)*(2 + p). Solve 5*a + 2 - 7 = z for a.
1
Let p(l) = l**2 - 9. Let j be p(5). Suppose 2*r = 10, -j = h - 2*r - 6. Suppose -3*i = 2*u - 11, -u + 5*i - 9*i + 3 = h. Solve 3*c = 22 - u for c.
5
Suppose -6*h + z + 609 = -1295, 0 = 2*h - 2*z - 628. Solve 76*k = 23*k + h for k.
6
Suppose 233 + 584 = 19*z. Solve z*t - 97 = 161 for t.
6
Let r be ((-342)/8)/(-5*(-27)/(-180)). Solve 33 - r = -4*g for g.
6
Let i(o) = 35*o + 1224. Let g be i(-31). Solve -15*m + g = 19 for m.
8
Let l(s) = -5*s - 66. Let c be l(-16). Solve c*p = -18*p + 128 for p.
4
Suppose 4*s - s + 249 = 0. Let u = 63 - -31. Let j = u + s. Solve j = -5*h + 6 for h.
-1
Let s(o) = o**3 + 3*o**2 - 143*o - 167. Let g be s(-13). Let d = 19 + -9. Solve 0 = -2*j - d + g for j.
-4
Let j(c) = 2*c**3 - 2*c**2 - c - 1. Let x be j(2). Let a(w) = 2*w**2 - 11*w + 17. Let h be a(x). Solve -h*o = -11*o for o.
0
Suppose -5*t = w + 33, 2*t + t + 17 = -2*w. Let j be (-2)/t + (-380)/(-140). Suppose -2*u + 2*o + 5 + j = 0, 2*u = -4*o + 2. Solve 3*r + 0*r + u = 0 for r.
-1
Suppose 3*v - 2*n - 1 = 1, -5*n = 4*v + 5. Suppose v = -4*i + 5 + 7. Suppose 4*w = i*d, -w - 3*w = 5*d - 32. Solve w - 28 = -5*m for m.
5
Suppose 9*s + 20 = 14*s. Suppose 0 = 2*l - b + 5, 14 = -5*l + 4*b - 3*b. Let j be (-6)/l - -10 - -3. Solve i - j = -s*i for i.
3
Let x be (4/(-12))/(2/(-54)). Suppose -5*v + 2*k - k = -159, v + 2*k - 23 = 0. Solve -v*r + 34*r - x = 0 for r.
3
Let b(w) = 103 - 4*w**2 - 10*w - 128 - 15*w**2 + 18*w**2. Suppose 0 = -5*h - 5*l - 40, -3*l - 10 = -h + 2*l. Let k be b(h). Solve k = i + 1 + 1 for i.
-2
Let w be 6/9*(-732)/(-8). Let g = w - 32. Suppose x = g - 24. Solve 12 = x*b - b for b.
3
Suppose 24 + 36 = 20*z. Suppose -9*g + 30 = -z*g. Solve 8 = -a + g*a for a.
2
Let g(j) = j + 44. Let l be g(-4). Suppose -l = -15*v + 35. Solve w + v*w + 18 = 0 for w.
-3
Su