40, 4*l = -v + 25 for l.
5
Let d be 9/15 - 3/(30/(-764)). Let o = d - 75. Solve -5*n + 3*f = o, -5*n - 3 = f - 17 for n.
2
Let h be ((-12)/(-16))/((-6)/(-16)). Suppose h*r + 0*r = -8. Let i be -16*(r - (-30)/8). Solve j - 7 = 2*n, 0 = i*j - 0*j - 5*n - 25 for j.
5
Let p(w) = 12*w**2 - 1124*w - 357. Let g be p(94). Solve 0 = -2*y + 6, k + 3*y = -8 + g for k.
2
Suppose -2*z - 1144 = -5*o, -2*o - 1967 = 5*z + 893. Let t = z + 587. Solve t = -5*g + 2*m, -3*m + 3 = -g - 2*m for g.
-3
Let j = -3773 - -3776. Solve -15*b - 2 = -16*b, -8 = -2*d - j*b for d.
1
Let w be ((-15)/12)/(-2 - (-84)/48). Solve -w*v + 11 - 13 = -2*j, j = -4*v - 12 for v.
-2
Suppose -4*s + 42 = k, -2*s - 4*k + 56 = 42. Solve -2*f + v = s - 2, 4*f = 3*v - 23 for f.
-2
Let m be (11/(-2))/(((-15)/10)/3). Suppose -5*g = 3*f + 20, 5*f - 3*f - 4*g - 16 = 0. Solve -y + 2*o = f, -2*o = 5*y - o - m for y.
2
Suppose 94*j + 24 = 100*j. Let y be 36/(-16) + 4/16 - -4. Solve -5*p - 5*q + 20 = 0, j*p + 3*q = -y*q + 16 for p.
4
Let h = 106 - 930. Let d = h + 824. Solve q - 3 = -0*y - 2*y, d = 2*q + 2*y - 2 for q.
-1
Suppose 0 = -3*n + 2*a + 32 + 10, 0 = 4*n - 5*a - 63. Solve 2*h - 3*h = 2*z + 5, -4*h = 4*z + n for z.
-2
Let x be (-2)/4*(-4 + -9 + 3). Suppose -17 = x*p - 27. Solve -3*k + 7 = 2*s, -5*k - p*s + 3*s = -16 for k.
3
Suppose 7*p - 181 = -153. Suppose 5*y + 5 = -p*t, -1 = 2*t + 36*y - 35*y. Solve 0 = -3*x + 3*i - 18, -2*x - i + t = -3 for x.
-1
Let y = 20 + -16. Suppose 5*r - 3*r = -3*f - 114, 0 = f - y. Let h = -61 - r. Solve -h*w = 3*w + 2*s - 27, 5*w - 26 = -s for w.
5
Let n be 6/4 - ((-87)/(-6) + 1). Let y(u) = -u - 11. Let k be y(n). Solve -k*s + s - 14 = -4*c, -4*s - 5*c = 2 for s.
-3
Let l = 33096 - 33083. Solve 0 = -3*c + 17*q - l*q - 1, 2*c = 2*q for c.
1
Let c be (0 - (-2 + -1))/1. Suppose 0 = t - 2*t + 4. Suppose 4*x + 12 = 4*w, -5*x + 12 = -t*x + 2*w. Solve h + 21 = -4*h + c*s, 5*s - 16 = x*h for h.
-3
Suppose 671 - 647 = 12*k. Solve -3*s = 3*c + 2*s + 16, 3*s = -k*c - 10 for c.
-2
Suppose -24*m + 4326 = -31*m. Let b = m + 622. Solve -2*i + 7*i + 5*o = 0, b*i = 4*o + 32 for i.
4
Suppose 5*q + 3*o - 138 = -0*o, 0 = -3*q + 3*o + 102. Suppose -q*a + 27 + 3 = 0. Solve 3*h - a - 17 = -3*j, -2*h - 3 = -3*j for h.
3
Suppose 378 = -z + 4*u, u + 1158 = -3*z + 5*u. Let b = z - -394. Solve 4*p + b = -3*o, 2*p + 4 - 2 = -5*o for o.
0
Suppose -10*k + 24 + 16 = 0. Suppose -8 = 2*o + 3*b, o = 5*o + 3*b + k. Solve 0*r = o*r, -4*r = a for a.
0
Let c = 411 + -415. Let d be 6 + 2*((7 - 5) + c). Solve -2*f + 10 = -d*n, n + 0*n = -3*f + 11 for f.
4
Let o = 8822 + -8817. Solve 5*g - 30 = 5*l, 2*l - o*g = -16 - 5 for l.
-3
Let r = 6 - 3. Let s = 193 - 614. Let a = -421 - s. Solve a = -n - 2*o + 5, -3*n + r = o + o for n.
-1
Let f(q) = -19*q - 644. Let s be f(-34). Solve 0*v - g - s = 2*v, -2*v + g = 2 for v.
-1
Let h(a) = 2*a + a - 4*a + 18 + 3*a. Suppose 3*m - 5*m = 18. Let c be h(m). Solve 4*x = 4*f, c = -2*x - x - f - 4 for x.
-1
Let l = -189 - -168. Let x be 34/6 + (-4 - 70/l). Solve x*i + 0*n = -4*n - 29, n + 6 = -i for i.
-5
Let w = -4214 + 4242. Solve 6 = 2*t, 31*v - w*v + 15 = t for v.
-4
Suppose -4*r - 20 = 0, -2*r - 152 = 4*j - 6*j. Suppose -70*q + j*q = 0. Solve -5*a - 50 = 5*h, q = -4*h - 2*a + 3*a - 15 for h.
-5
Let w(z) = 4*z**2 + 20*z - 41. Let x(h) = h**2 - h + 2. Let n(r) = w(r) - 3*x(r). Let l be n(-25). Solve -k - 9 = 3*j - 3, 4*j = l*k + 5 for j.
-1
Let j be 3 + (2/(2/3) - 0). Suppose 32 = -j*p + 56. Solve m = k - 2, k = -p*m - 3*k for m.
-1
Suppose 22*q + 158 = 334. Solve l - q*h + 11*h = 7, 0 = -3*l + 2*h - 12 for l.
-2
Let u = 59 + 19. Suppose 5*d - 108 + u = 0. Let p = d + -1. Solve -x + 13 = -4*g, -g + 0*g + 11 = -p*x for x.
-3
Let r be ((-12)/(-24))/((36/184)/9). Let y(l) be the first derivative of -l**2/2 + 4*l + 4. Let o be y(0). Solve s + s + 4*t = -18, r = 3*s - o*t for s.
1
Suppose -4*d + 10*d - 252 = -15*d. Solve -11*a + 1 = -d*a + 2*w, 5*w = -3*a + 30 for a.
5
Suppose -154 = 8*r - 15*r. Suppose r*z - 21 = 15*z. Solve -3*t = -3*k, -10 = z*k + 2*t - 5 for k.
-1
Let j be 676/14 - 4/14. Suppose -17*u - j + 82 = 0. Solve -u*o = 3*f - 9, o + 4*o = 0 for f.
3
Let d = -1 - -12. Let v(k) = -2 - 9 - 9 - k + d. Let g be v(-12). Solve -4*h + 5*z + g = 0, 2*z + 5 = 3*h + 1 for h.
2
Suppose 10*m - 13*m = -759. Suppose 9*i - m = -82. Solve 4*o - 5*x = i, 2*o - 3*x = -0*x + 11 for o.
1
Suppose -69 = v - 71. Let w be 12 - (6 + 43)/7. Solve v*z + 6 - 1 = w*s, 2*s + 22 = -4*z for z.
-5
Let m = -66 - -78. Let i(g) = g**3 - 12*g**2 + 2*g - 24. Let t be i(m). Suppose -8*u + 4*u + 12 = t. Solve u*b + 18 = 5*r + 5*b, 3*r - 17 = 5*b for r.
4
Let v(g) = -3*g + 17. Let w(p) = -p**3 + 6*p**2 - 6*p - 4. Let q be w(3). Let k be v(q). Let u be k/3 - 28/42. Solve 3*i - 10 = -z, u*i - i + 2*z = -1 for i.
3
Suppose 4*z - 7*k = -4*k + 63, -4*k + 71 = 5*z. Solve -10*d - 5*w = -8*d - z, -4*d + 3*w = 9 for d.
0
Suppose -2*j + 2*i - 11 = -5, 0 = 4*j + i - 18. Solve -2*m + j*x = -12, -2*m - 2*x + 35 = 23 for m.
6
Suppose 11*o + 916 = 960. Let y = -155 - -158. Solve y*r + r + 5*q = 27, o*r = 4*q for r.
3
Let u = 2208 - 2205. Solve o + 10 = -4*w - o, 0 = -u*w + o - 20 for w.
-5
Suppose 75*v - 368 = 29*v. Solve 0 = 3*r - 5*t + 3 - v, 30 = -2*r - 5*t for r.
-5
Let y(r) be the first derivative of 2*r**2 + 42*r - 164. Let h be y(-10). Solve -v - 2*f = -2, -h*f = 2*v + f - 4 for v.
2
Let x be (0/3)/(-1 + 2)*1. Suppose x = 4*c + 4*o - 36, -6 - 18 = -c - 4*o. Solve -c*a = 5*g - 25, 3*g - 6 = 9 for a.
0
Suppose 0 = -4*v - 0*a + 5*a + 61, -4*v - 3*a + 21 = 0. Suppose 3*r - 3 = 1544*i - 1545*i, -r = 3*i + 7. Solve -10 = 3*z - r*m, -5*z - v = -m - 4 for z.
0
Let x be -3 + (0 - 0) - (193 - 201). Solve 2*j + 4 = j - x*s, 2*j - 4*s = -8 for j.
-4
Suppose 10 = 2*c, -2*c - c = 5*a - 35. Suppose 654*p - 809 - 674 + 17419 = 2646*p. Suppose 0*y + 5 = y. Solve -j + 3*f = f + p, -y*j + a*f = 10 for j.
2
Suppose -74 - 72 + 6 = -14*p. Solve -5*z + g = -4*z - p, 37 = 3*z - 4*g for z.
3
Let h = -64 - -344. Solve p - 277 = 4*j - h, 4*p + 12 = 0 for j.
0
Let r be 17 + 891/(-55) + (-816)/(-30). Solve -z + 36 = 5*y - 8, 4*y = z + r for y.
8
Let w(o) = -123*o + 3212. Let z be w(26). Solve -11*u + z = -3*x - 12*u, 4 = 2*x - 2*u for x.
-3
Let t be (-2820)/(-32) - 5 - (95/(-40))/(-19). Solve -s - 5 = 0, 7 = -2*j + 80*s - t*s for j.
4
Let j = 298 + -293. Let i(l) = -5*l + 40. Let h be i(j). Solve 12 = -2*v - 2*b, -3*v - 1 + h = -5*b for v.
-2
Let o = -31188 - -31188. Solve -y + k - 7 = o, 3*k = -46*y + 41*y - 19 for y.
-5
Suppose 3*j + 10*j = 143. Suppose -5*r = -2*h + 6 + 3, -3*r = -4*h + j. Solve 3*w = 12, -4*w = -2*x - 10 - h for x.
2
Let r(a) = a**3 + 4*a**2 + 3. Let s be r(-4). Let l = -11418 + 11435. Solve 0 = 5*g + 3*n - l, 10 = -0*g - 2*g + s*n for g.
1
Suppose -39*d - 282 = -42*d. Let j = -89 + d. Solve m + 3*m = -2*s + 14, s = -j*m + 10 for m.
1
Suppose -38*t + 59*t + 86*t - 642 = 0. Solve -3*v = t, v = 5*s - 4 - 13 for s.
3
Suppose -3*w = 4*r - 2 - 77, 4*w - 2*r = 76. Suppose z = 4*i + w, 5*i + 22 = 2. Solve 4*l - 31 = -z*t, -2*l = -t + 4*t - 17 for t.
3
Suppose 0 = -2171*f + 2146*f. Solve 2 = -a + 3*l, 4*a + 0*a + 2*l + 8 = f for a.
-2
Let s(a) = -59*a - 5349. Let x be s(-91). Solve x*n - 16*n - 2 = o, -o - n + 3 = 0 for o.
2
Suppose -f = -5*r - 27 + 389, -282 = -4*r - 3*f. Let m be 204/r - (-2)/12. Solve -2*h + 5*b - 6 = 0, -h - m = -2*b - b for h.
-3
Suppose -14596*u + 14600*u - 17 = -5. Solve -4*x + u*v + 4 = 0, -24 = -9*x + 13*x + 4*v for x.
-2
Suppose 132 - 16 = 30*a - 34. Solve -5*z - 4 = a*q + 41, 9 = -5*z + 4*q for z.
-5
Let b = -2493 - -2509. Solve -4*z = z + 3*l + 14, 0 = z + 5*l + b for z.
-1
Let j be (-132)/(-30) + (136/120*-3 - -3). Solve -5*c - j*q = -1, q - 10 = 2*c - 0*q for c.
-3
Suppose s + 2*q = 13, -12*s - 5*q + 15 = -13*s. Suppose 4*d + 0 = 12. Solve -4*n = -3*b + d, b + 2 - 3 = s*n for b.
1
Suppose -1531 = -34*r - 1021. Solve -5*q - r = -3*k - 4*q, -q - 19 = -4*k for k.
4
Suppose -p + 5*p - 5*w = -17, 0 = -2*p - 3*w + 19. Suppose -12*m + p*m + 50 = 0. Solve 2*b = b + k + 8, m*b = -3*k + 16 for b.
5
Let l be (-3 - 3)/((9/15)/((-3)/10)). Solve 36 - 33 = -3*m - 2*p, l*m = -3*p for m.
-3
Let t(p) = 187*p - 1492. Let v be t(8). Solve 2*q - v = b, 2*q = 6*b - 7*b for q.
1
Let x(o) = -o**3 + 5*o**2 - 21*o + 