 l.
0
Let c(g) = -16 + 4*g - 13*g - 25. Let t = -989 + 984. Let u be c(t). Solve v + v = u for v.
2
Let r(m) = -m**3 + 3*m**2 - 2*m - 17. Let s be r(4). Let w = -37 - s. Solve -w*j = -j - 6 for j.
2
Let q(k) = -k**2 + 10*k + 129. Let z be q(18). Let r = -16 + 36. Let h = r + z. Solve 2*w + 9 = h*w for w.
3
Let s = 341 + -287. Suppose 27 = h + 2*h. Solve h*x = s - 18 for x.
4
Suppose s + 3 = 4*s. Suppose -s - 7 = -2*j. Suppose 7*i - j*t = 2*i + 31, 4*t = -2*i - 10. Solve 12 = -0*p + i*p for p.
4
Let j(c) = c**2 - 7*c - 86. Let h be j(17). Suppose -4*p - h = -16*p. Solve -16 + 9 = p*w for w.
-1
Let x be (45/(-6))/5*28/(-2). Suppose 1368*d - 1365*d = x. Solve 0 = d*v - 0*v - 28 for v.
4
Suppose c - 20 = -4*c. Let p(q) = 5*q**2 - 14*q + 17. Let v(y) = -4*y**2 + 12*y - 17. Let l(r) = 6*p(r) + 7*v(r). Let j be l(c). Solve j + 5 = -5*f for f.
-4
Let l be ((-10)/15)/((-10)/15). Suppose -l = 5*h - 31. Solve 4 = 2*r + h for r.
-1
Let s be (-320)/48*3/(-2). Suppose -72 = -2*g + 4*a, -2*g + 0*g + 72 = -2*a. Suppose -12*v + 3*v = -g. Solve -u = v*u + s for u.
-2
Suppose -x - 5*c = -248, 0 = 2*x - 2*c - c - 548. Let q = x + -264. Solve y = 2 - q for y.
-2
Let d(f) = 2*f**3 - 6*f**2 + 23*f - 5. Let p be d(3). Solve 15*m + 49 - p = 0 for m.
1
Let a(x) = 5*x**2 - 312*x + 1842. Let s be a(6). Solve -158*f + s*f + 16 = 0 for f.
2
Suppose 5*g = q - 265, 84*q - 78*q - 4*g = 1694. Solve 35 = 278*w - q*w for w.
-5
Let v = -289 - -292. Suppose 7*r - a - 77 = v*r, -3*a = -9. Solve -r = -j - 23 for j.
-3
Let g(d) = -61*d - 341. Let l be g(-6). Solve -l*u + 105 = -46*u for u.
-5
Suppose 0 = m - 3*v + 12, -2 = m - 4*v + 12. Let p be ((-6)/(-3))/(m/48)*4. Let j = p + 67. Solve j*r - 2*r = -1 for r.
-1
Let f(o) = 4*o + 4. Let c be f(-1). Let n(w) = -6*w**2 - 20*w - w**3 + 1 - 9*w + c*w**2 + 20*w. Let u be n(-4). Solve 2*s = -3*s - u for s.
-1
Suppose 93 = 2*z - 7. Suppose z + 30 = 4*j. Suppose -12*x + 7*x = -j. Solve h = -3*h + x for h.
1
Suppose -l - 5*h + 27 = 0, -3*h + 5 = -2*l - 6. Suppose 45*w + 1052 = -4*p + 40*w, 5*p + 1315 = 4*w. Let m = -261 - p. Solve 2 = m*y - l for y.
2
Suppose y = -37*y + 988. Solve 0 = -y*n + 18*n for n.
0
Suppose 5*d = -4*r - 5, 5*d + 13 - 8 = 3*r. Solve -6*a + 7 + 11 = r for a.
3
Suppose 20*v - 119 = -899. Let h be 8/(-3)*v/26. Solve 5*c = h + 6 for c.
2
Suppose -2*i = 2 + 8, i - 91 = -3*q. Let d = 35 - q. Suppose 0*r = y + 5*r + 6, y - 3*r = 10. Solve -5*b = -d*b + y for b.
-2
Let q(d) = -4*d**2 + 441*d + 2. Let x be q(0). Let w(y) = -y**3 - 6*y**2 + y + 6. Let l be w(-6). Solve x*g + 0*g + 10 = l for g.
-5
Let y be 69*30/(-25)*(-10)/6. Solve -28*c + 5*c = -y for c.
6
Let h = 14228 - 14225. Let a(v) = v**3 + 9*v**2 + 8*v. Let j be a(-8). Suppose j*t = 2*t - 4. Solve 1 = -t*w - h for w.
-2
Let i = 3999 + -3944. Solve -83*q - 84 = -i*q for q.
-3
Let r = -13 + 36. Suppose 26*o - 6 = r*o. Solve o*y - 5*y + 9 = 0 for y.
3
Let f be 4 - (9/(-3) - -3). Let r be ((15*10)/6)/((-3)/6). Let b be (r/(-5 - 0))/2. Solve b = -c - f*c for c.
-1
Let c(k) = -k**2 + 2*k + 3. Let h = 6 + -7. Let l be c(h). Suppose -5*y + 48 + 27 = l. Solve -2*r = -5*r + y for r.
5
Let b be (((-4455)/(-36))/33)/((-2)/(-24)). Solve -10*s = -b*s + 210 for s.
6
Suppose -443*u + 427*u = -1520. Solve 0 = -14*j - u + 95 for j.
0
Let s(m) = -m + 5. Let n be s(4). Suppose -191*j = -196*j + 3*t + 16, -2 = 2*j - 4*t. Solve -j*d + 4*d = n for d.
-1
Suppose 2*d + 2 = 3*d. Let r be 1 + d - (4 - 4)/(-3). Let l be ((-6)/(-5))/(r - (-365)/(-125)). Solve 0 = -4*h + l - 3 for h.
3
Let d = -5 + 10. Suppose -d*a + 20 = 0, 0 = j + 5*a - 17 - 16. Suppose 0 = -11*f + j*f - 4. Solve 3*w - 1 = f*w for w.
1
Let d(h) = 5*h + 25. Let f be d(-5). Suppose -10*o + 8*o = f. Suppose o = 6*n - 3*n - 9. Solve k + 6 = n for k.
-3
Let c(y) = 0 + 0*y + 5 + 979*y**2 + 8*y - 975*y**2. Let q be c(0). Solve -k = -q + 7 for k.
-2
Let p = -7 + 10. Suppose -313*k = -982*k + 8028. Solve p*h + 3 = k for h.
3
Let b = 523 - 140. Let m = b + -379. Solve m*d - 17*d + 26 = 0 for d.
2
Suppose 321 - 321 = 4*g. Let z be -22 + 26 - (1 - 6). Solve g = z*n + 10 + 35 for n.
-5
Suppose 65*v - 7153 - 14687 = 0. Solve -332*j + v*j = 24 for j.
6
Suppose -p + 263*t - 258*t = -7, 2*t = 0. Solve 74 = p*o + 67 for o.
1
Let b be 8/(-2)*(-21)/6. Let w = -1 - -12. Let g = -4797 - -4802. Solve -g*c + b = -w for c.
5
Suppose 2*r = -4*v + 1200, 7*r = 4*v + 4*r - 1190. Let x = v - 295. Solve -6 = x*z - 22 for z.
4
Let j(g) = 310*g + 137. Let h be j(-3). Let s = 798 + h. Solve -s*l = 5 + 20 for l.
-5
Let r = 36 + 50. Suppose 0 = -9*b + 76 + r. Let u be b/(-12) + 3/6 + 1. Solve -3 = -u*k - k for k.
3
Let k be (-6)/(-27) - -4*(-4)/72. Let z = k + 2. Suppose -2*p + 24 = 2*p. Solve z*d = -p - 0 for d.
-3
Let t = 168 + -151. Suppose 4*b - 24 = 3*v - 0, 3*b - 2*v = t. Solve s - 7 = -b for s.
4
Suppose 0 = -6*o + 55 + 17. Suppose 0 = -4*w - 3*j + 9, 3*w + 4*j - o = -w. Solve -5*l + w*l = 15 for l.
-3
Suppose 260 + 272 = 14*j. Suppose -22*v = -j*v + 32. Solve -15 + 25 = -v*d for d.
-5
Let w = 5 + -20. Let t = w - -8. Let m be (-42)/t*(-6)/(-9). Solve m = -d - 0 for d.
-4
Let h(w) = 148*w. Let r(k) = -99*k. Let l(p) = -2*h(p) - 3*r(p). Suppose 2*u - 5 = 1. Let b be l(u). Solve -5*t = -23 + b for t.
4
Let m(o) = o**3 + 19*o**2 - 18*o + 41. Suppose -n - 3*n + 60 = -2*f, -3*n = -3*f - 75. Let a be m(f). Solve -a = -3*u - 1 for u.
0
Suppose 0 = -5*c - 14*m + 12*m + 818, 0 = 5*c - m - 821. Let k be 14/(-49) - c*9/(-21). Solve 12*x = -2*x - k for x.
-5
Suppose m = -4 + 9. Suppose -9 = -g + m*s - 1, 2*g = -2*s + 4. Suppose -5*h = -3*v - g, -2 = h - v - 1. Solve -h + 5 = -c for c.
-2
Suppose 170 = 8*l + 2*l. Let n be -3 - (0 - 4 - -8 - l). Solve 2*c + 0*c + n = 0 for c.
-5
Let l = 2858 + -2850. Solve -18*d + l = -16*d for d.
4
Suppose y = 2*y + 5*m - 28, 5*m = y + 22. Suppose 0 = 5*v + y*v - 48. Suppose -3*u + 5 = s - v, 0 = -2*s - 2*u + 14. Solve -n - s = 4*n for n.
-1
Let l = 78 - 47. Suppose -15 = -5*k, -4*f = 4*k - 25 + 1. Let v be (f/(-2))/(l/(-62)). Solve 0 = 7*j - v*j + 4 for j.
-1
Let s = -942 - -942. Suppose 15*z - 3*z + 3*z = s. Suppose -12 = -4*t - w - 3*w, -12 = 3*t - 4*w. Solve 3*b + t*b = z for b.
0
Let l(m) = 9*m**3 - 3*m - 1. Let y = -51 - -53. Let k be l(y). Let d = 67 - k. Solve d*b - 7 - 1 = 0 for b.
4
Suppose 13*s - 6 = 5*s + 10. Solve -s + 10 = 8*r for r.
1
Suppose -190 = -8*g + 522. Let o = -85 + g. Suppose 0 = 2*p + 2*c - 10, -o*c = 2*p - 7 - 5. Solve 4 = -p*m + 12 for m.
2
Let z = 1967 - 1959. Solve -z*k = -49 + 1 for k.
6
Suppose 19*s - 2272 = 3143. Solve -s*w = -289*w + 24 for w.
6
Suppose 45*n = c + 48*n + 13, c - 2*n - 12 = 0. Let i(g) be the first derivative of -g**2/2 - 3*g + 2. Let u be i(-7). Solve -u + c = 2*o for o.
-1
Let j(q) = -1130*q - 1092. Let d be j(-1). Solve -184*t - d = -203*t for t.
2
Let x(z) = -2*z**2 - 105*z + 280. Let n be x(-55). Let f be 90/(-2)*3/(-5). Solve n*w + 4*w = f for w.
3
Suppose -45 = 20*j - 25*j. Let y(d) = -d**3 + 5*d**2 - 5*d + 30. Let s be y(5). Suppose 13 = s*v - 42. Solve -4*h = v + j for h.
-5
Let g be 6/(-3) + 0 + 17. Let d be (g/6)/(1/26). Let p = 67 - d. Solve -2 = -k + p*k for k.
-2
Suppose w = 2*t - 143, 280*t = 281*t - 3*w - 94. Solve -t*a + 68*a = -7 for a.
-7
Suppose 0 = -2*w - 6*w + 24. Suppose 0 = -2*k + 4*r + 4, 0 = -w*r - r. Suppose -12 = 7*z - 3*z, 5*m = k*z + 21. Solve 8 = m*c + 2 for c.
2
Suppose -4*q + 6 = -14. Let n(f) = f**3 + 10*f**2 - 12*f + 13. Let l be n(-12). Let u = l - -143. Solve 2*g + u = q*g for g.
4
Let v = 43 - 43. Suppose 8*c - 14*c = v. Solve 2*u - u = c for u.
0
Suppose -y = -4*w - w + 57, -2*y + w = 87. Let s = -25 - y. Suppose s*f - 8 = 15*f. Solve -5*h + h - f = 0 for h.
-1
Let g(o) = -o**3 - 5*o**2 + 13*o - 1. Let u(i) = 17*i**3 - i**2 + 2*i - 1. Let x be u(1). Suppose 2*a = 3 - x. Let f be g(a). Solve 2*y = -4 + f for y.
1
Suppose d = 402 + 33. Suppose -x = 4*x - d. Suppose 3*u - 3*r = x, 2*r - 27 + 110 = 3*u. Solve -u = -3*q - 2*q for q.
5
Let c(g) = g**3 + 12*g**2 - 157*g + 60. Let w be c(-20). Solve w = -31*m + 11*m for m.
0
Let p = 4758 + -4755. Suppose -5*a + 4*a = -3*s + 3, -1 = -a + 2*s. Solve 0 = p*r - a for r.
3
Let c = 7925 + -7917. Solve 24 = 16*h + c for h.
1
Suppose 0 = 7*b - 7 - 7. Suppose -2*o + 2 = 0, 4*s - 2*s + b*o - 2 = 0. Suppose s = 6*y 