= 0 for l.
-1
Let d(s) = 8*s + 8*s - 14*s + s**2 + 2*s. Let p be d(-4). Solve -3 = 3*a - p for a.
-1
Suppose -y + 25 - 8 = 0. Suppose 11*r - y = 49. Let c(f) = f**3 - 9*f**2 + 7*f + 10. Let p be c(8). Solve -s + r = p for s.
4
Suppose 5*u + 68 = -21*x + 20*x, 0 = -5*x - 5*u - 240. Suppose -3*z = 3*a + 147, -5*z - 186 - 47 = 2*a. Let w = x - z. Solve -w*b - 2*b - 4 = 0 for b.
-1
Let n(z) = -z**3 + 9*z**2 + 23*z - 77. Let p be n(9). Let x be -1*(2/(-5) + (-988)/p). Let o be (-58)/(-18) + (-4)/18. Solve -x + 2 = o*b for b.
-2
Suppose -2*j + 1004 = -5*o, 4*o + o + 992 = -4*j. Let n be o/(-60)*18/10. Solve -25 + 1 = n*a for a.
-4
Suppose 0 = -0*n + 2*n - w + 8, 5*n + 11 = -2*w. Let q(t) = 14*t + 43. Let d be q(n). Suppose -h - o + 3 = -4, 2*h - 5*o + 14 = 0. Solve -h = p + d for p.
-4
Let q be ((-96)/10)/(14/(-105)). Let n = 77 - q. Solve -n*j + 11 = -4 for j.
3
Suppose 0 = -f - 2*f + 3*j + 468, -2*j = 3*f - 453. Suppose -19*n - 39 = -f. Solve 0 = -2*c + n - 2 for c.
2
Let i = 1021 - 835. Solve 27*d - 24 + i = 0 for d.
-6
Suppose 0 = -9*f - 3312 + 3384. Solve -f*p + 28 = -p for p.
4
Let c = 7 - 0. Let x be 38/(10640/2772) + 3/30. Solve -c*j + 2*j = x for j.
-2
Suppose -3*k = -3*o - 108, 4*k = 2*k - 8*o + 72. Solve -k*m = -37*m + 6 for m.
6
Suppose 5*f = -0*f - 2*d + 58, 0 = f - 3*d - 15. Solve -z + 13 - f = 0 for z.
1
Let h be 6/(0/12 - 3/(-2)). Suppose 4*x - 2 = 4*y - 26, 3*x = -4*y - h. Solve 8*a + 18 = y*a for a.
-3
Let u be ((-30)/4)/(((-5)/(-2))/(-5)). Let x(j) = 2*j - 16. Let i be x(u). Solve 24 = 2*v + i for v.
5
Let w be ((4 - 26) + 4)/(-3). Let t(o) = 4*o + 32. Let q be t(-6). Solve -5*v - w = -q*v for v.
2
Suppose -4*l = c - 21, 87*l - 126 = -5*c + 88*l. Solve 0 = 11*a - 3 + c for a.
-2
Suppose 5*z + 3 + 3 = 2*f, -5*f + 5*z = -15. Let q(x) = -x**2 + 5*x - 2. Let n be q(f). Let i be (-1 + 1)/1 - (-6 + n). Solve -h = -1 - i for h.
3
Suppose 5*l + 1482 = g, -l = -2*l - 2*g - 292. Let k = l + 305. Solve -7*p = -k*p for p.
0
Suppose 10*t + 131 = 4*z + 15*t, -4*z = 3*t - 133. Solve 4*j + z = 46 for j.
3
Let d(o) = 2*o**2 - 49*o - 2102. Let v be d(-26). Solve 542*f - 36 = v*f for f.
2
Suppose 6*h + 2*h - 40 = 0. Let r be ((-1)/(-2) + h)*(10 + 0). Let p = -40 + r. Solve -6*n = -3*n + p for n.
-5
Let o = 35234 - 34581. Solve -o = 7*f - 632 for f.
-3
Let s be 2/5 + 523/5. Let f(k) = -30*k**2 + 92*k - 59. Let i be f(2). Solve 104*n + i = s*n for n.
5
Let b be (4131/18)/17*(-4)/(-3). Let a be -3*((-3)/9 + 0) + 4. Solve 2 = -a*w - b for w.
-4
Let b = -124 - -138. Suppose 0 = -f + b + 6. Solve 0 = -s - 3*s + f for s.
5
Suppose 15*o - 13*o = 26. Suppose -o*w = -4*w. Let y be (-4)/7*(-7)/2 + w. Solve y*f = -0*f - 10 for f.
-5
Let f = -287 - -119. Let b = -257 - f. Let y = b + 93. Solve -y*z + 7 = 3 for z.
1
Let q(h) = -h**3 + 9*h**2 + h + 5. Let i be q(9). Let m be (12 - i)/((-2)/5). Solve m*z = 3*z - 2 for z.
-1
Let w(q) = 3*q**2 - 1. Let f be w(-1). Let k be f/(-10) - (-32)/10. Suppose 0 = -2*u - 3*y - 2*y + k, 0 = -5*u + 4*y + 24. Solve 0 = u*r - 8*r + 4 for r.
1
Suppose 4*d + 28 = -4*g, g - d + 28 = -5*d. Solve 5*p + 12 + 13 = g for p.
-5
Let j = -218 + 195. Let q be ((-6)/36)/(-2 - j/12). Solve 0 = q*u + 4 - 0 for u.
-2
Let m be 46/1 + -16 + 11. Suppose -m + 83 = 6*g. Solve g*o - 10*o - 6 = 0 for o.
-2
Suppose k - 15 = 4*k, -2*q = 5*k - 25. Let n(c) = 7*c - 173. Let a be n(q). Solve 3*l = -a*l + 7*l for l.
0
Let m be (9740/(-25))/(((-160)/(-50))/(-4)). Solve -m*f + 477*f - 40 = 0 for f.
-4
Let i(z) = -z**3 + 4*z. Let d be i(-2). Let s be (0/(-4))/(-3*(-5)/(-15)). Let p be (1 - 2/1)*-1. Solve d = -s*w + w + p for w.
-1
Let j = 3 + 2. Let m(d) = 0*d + 5 - 3*d + 2*d - 8*d + d**2. Let o be m(9). Solve -o*v + j + 10 = 0 for v.
3
Let j = -6197 - -6228. Solve -22*d + 35 = -j for d.
3
Let l be (-2)/4*20/(-2). Let z = 586966 - 586955. Suppose -h = 4 - 6. Solve l = -h*w + z for w.
3
Suppose 0 = y + 3*l - l + 26, 0 = -2*y + 3*l - 24. Let n be (38/(-57))/(4/y). Suppose -n*a = -11 - 1. Solve 2*k = -a - 2 for k.
-3
Suppose -64845*m = -64843*m - 72. Solve c + 105 = m*c for c.
3
Let a = 193 - 187. Suppose -5*h = 4*d - 36, a*d - 16 = -3*h + 5*d. Solve 8 = -h*n - 4 for n.
-3
Let g = 923 + -908. Solve 0 = -5*x - 20 + g for x.
-1
Suppose 31*g = 20*g + 1067. Let m = -96 + g. Solve -m = -5*a - 6 for a.
-1
Suppose 0 = -b + 4*b - 540. Let j be (4/(-6))/(1072/b - 6). Solve 0 = j*p - 14*p for p.
0
Let x(m) = 244*m - 844. Let r be x(4). Solve -24*b - r = -2*b for b.
-6
Suppose 4*m + 3*i = 20, 2*m - 2*i - 3 - 7 = 0. Suppose -m*u + 3*u = 0. Suppose 3*o + 2*f - 8 = -u, 5 = o + 3*f. Solve 4*c + o = -2 for c.
-1
Let b = -131 - -134. Suppose 5*l - 53 = -b*r, r + 29 = 17*l - 14*l. Solve -l = 4*n + 6 for n.
-4
Let n = -130 + 71. Let l = n - -68. Solve 0 = -b - 11 + l for b.
-2
Let t be (2 + -15)/13 - (0 - (-3 + 47)). Solve -t + 49 = 3*v for v.
2
Let d = 4408 + -4408. Solve -87*i + 81*i - 30 = d for i.
-5
Let n be (1 + 0)/((-23)/(-2852)) + 1*4. Solve 0 = -3*u - n + 134 for u.
2
Suppose 65*l = 27*l + 1102. Solve 58*u - 28*u = l*u for u.
0
Let u(g) = 6*g**2 + g. Let p be u(2). Let i(t) = -t**3 + 16*t**2 + t - 56. Let a be i(17). Let y = 334 + a. Solve -p = 5*d - y for d.
-4
Let m = 142 + 514. Let p = m - 650. Solve -3*u = -p*u + 6 for u.
2
Let r(y) = -y**2 - 8*y + 2. Let x be 6*(-2)/(-12)*-5. Let d be r(x). Solve -d*g = -20*g - 3 for g.
-1
Let c be (-19 - -1)/((-1)/5). Suppose c = 5*l + 13*l. Suppose -j + l = 2. Solve -j*h = -5*h for h.
0
Let i(h) = 8*h**2 - 105*h + 187. Let d be i(2). Solve -d*p = 733 - 706 for p.
-3
Suppose -2651 - 289 = -49*w. Solve -7*u + 19*u = -w for u.
-5
Suppose 0 = 3*d + 4*n + 1469, -3*d - 2*d - n = 2471. Let x = -489 - d. Solve 0 = x*y - 18*y - 24 for y.
-2
Let w(s) = -64*s - 2. Let v be w(3). Let z = -188 - v. Solve -r = z - 7 for r.
1
Let t = 0 - -12. Let n be ((-3)/15*t)/(6/(-20)). Suppose -5 = -n*p + 7*p. Solve u = -0*u - p for u.
-5
Let q = -66 - 24. Let t be (-4)/(-6)*q/(-12). Let a = 4971 - 4969. Solve -a*v - t = -3 for v.
-1
Let h(q) = 292*q + 3550. Let x be h(-12). Solve -252*v + x = -229*v for v.
2
Suppose -5*v - 5 = 5*d, -54*d - 17 = -4*v - 51*d. Let w = -135 - -142. Let k = -6 + 11. Solve -v*z - k = -w*z for z.
1
Let l(u) = -28*u - 305. Let w be l(-11). Solve w*s = -3*s - 6 for s.
-1
Suppose 2*f = -a + 44, 3*f + 0*a - 66 = -a. Suppose 0 = -f*r + 79 - 57. Solve 4*n + r = 5*n for n.
1
Suppose -4*q + 12 = -n + 3, 0 = -n - 1. Let t be ((-12)/5 + q)*-10. Solve -8*o = 4 - t for o.
0
Suppose 12*p - 24 = -25*p + 50. Suppose 4 = k - 0*k. Suppose -6 = -k*r - 2. Solve 3*v - p*v = r for v.
1
Let u be ((-1242)/92)/((-3)/12). Solve u*k = 57*k - 18 for k.
6
Suppose 14*a + 6*a = 60 + 3080. Solve 167*u = a*u - 50 for u.
-5
Let m(l) = -61*l - 306. Let a(i) = -16*i - 77. Let f(u) = 22*a(u) - 6*m(u). Let n be f(-10). Solve 5*y + 3 = -n for y.
-1
Let t(z) = 263*z + 1055. Let i be t(-4). Solve 15*o - 72 = -i*o for o.
4
Suppose 6*q + 3*q = 0. Suppose 2*l = q, -3*m - 8*l + 12 = -3*l. Solve 0 = -2*o - 0 + m for o.
2
Suppose -13*x = -113 + 61. Suppose f + 11*n - 14 = 12*n, -n = f - x. Solve -7*s = -f + 2 for s.
1
Let a = 13 + -5. Let p(c) = -2*c + 18. Let r be p(a). Suppose 6 = x - 2*v, r*v + 46 = -4*x + 9*x. Solve 3*l + x = -2*l for l.
-2
Let p be 3 + -3 - -5 - -5. Suppose 2*a = a + 3. Suppose a*k + 2*k + 2*g - 7 = 0, 24 = 4*k - 3*g. Solve p = -k*n + 4 for n.
-2
Suppose 11 = -3*g + 23, -4*m = -4*g - 480. Solve m - 109 = -5*s for s.
-3
Suppose 6 = -3*z + 2*w - 7, 13 = z - 5*w. Let l be 1 + z + -2 + 10. Solve -4 = 3*o + l for o.
-2
Suppose -4*w + 3*m + 537 = 0, 73*w + 4*m - 230 = 71*w. Solve 6*t + 141 = w for t.
-2
Let m be 5/5 - (0 - (2 + -1)). Suppose 35 = 3*a + m*a. Suppose y - 24 = -a*t + 3*t, 4*y + 5*t = 41. Solve y*x = -x - 5 for x.
-1
Let h(l) = -10*l**3 + 2*l**2 + 7*l + 2. Let v be h(-1). Solve -v*m - 490 = -462 for m.
-4
Let q(g) = g**2 + 54*g - 1983. Let a be q(26). Solve 68*h + 175 + a = 0 for h.
-4
Suppose -4 = -h - 2. Suppose -5*u - r = 15 - 47, -3*r + 18 = 2*u. Solve z - h = -u for z.
-4
Suppose 14*r - 525 = 511. Suppose -3*v + 54 = 3*m, -4*v = -5*m - 5*v + r. Solve 5*s - m = -2*s for s.
2
Suppose -4*d + 13 + 35 = 0. Let a = -42188 - -42206. Solve -2*u + a - d = 0 for u.
3
Let t(w) be the first derivative of -5/2*w**2 - 18 + 12*w. Let q be t(0). Solve 5*m 