+ d, 12 = -4*o for n.
3
Suppose 0 = 26*r - 15*r - 2475. Let x be r/(-30)*2/(-3). Solve 0 = 2*a - 10, x*w - a + 5*a = 35 for w.
3
Let h = 231 + -93. Let r = h + -133. Solve -2*d - k - 10 = -2, 4*d = -r*k - 10 for d.
-5
Let c = -1 - -1. Let x(t) = 320*t + 20803. Let k be x(-65). Solve -12 = 4*g + 4*b - c, k*b = 4*g + 5 for g.
-2
Let d = -25532 - -25534. Solve 4*i + 6 = d*y, -5*i = 53*y - 54*y + 15 for i.
-4
Let c be (11 + -9)*(-2)/4. Let w be (-18)/21*(c + 33/(-9)). Solve 0 = -3*u + 3*a - 30, 3*u + 24 = w*a - 11 for u.
-5
Let x = 18391 + -18388. Solve -11*g + 6*g = x*w - 4, -6 = -3*g for w.
-2
Let a(n) = 4*n**2 + 2*n. Let s be a(-1). Let w be -2*1 - s/1*-1. Suppose -17*g + 18*g - 2 = w. Solve 5 = 3*y + g*y - 5*x, -5*x = 5*y + 35 for y.
-3
Suppose m - l = -0*l + 10, -32 = -2*m - 4*l. Let i = m + -10. Suppose i*j = -4*b - 8, -2*j = 4*b - 2*b. Solve 0 = 4*s + 4*t + t - 10, 2*t + j = 0 for s.
5
Let i be (-3)/(31 + -35 - (-1769)/443). Suppose 0 = 2*f + i - 447. Solve 5*z - 3*y = -0*y - 5, -f = 2*z - 4*y for z.
-1
Suppose 0 = -337*t + 353*t - 123 - 21. Solve -t = -3*f, 3*d + 4*f = -12 + 9 for d.
-5
Suppose -u = 142*o - 143*o + 2, -3*o = -18. Solve -2*w - 12 = 2*i, 15 + 4 = -u*w - 3*i for w.
-1
Let h be 14 + 1 + -13 + -1 + (2 - -2). Solve -s = h*g + 9, -5*s + 11 = -7*g + 4*g for s.
1
Suppose 0 = -5*y + 4*k + 125, -762*k + 25 = y - 760*k. Solve f - 4 = 2*l, 3*f = -y*l + 20*l - 32 for f.
-4
Let x(o) = -3*o**3 + 59*o**2 - 245*o + 3. Let s be x(6). Solve 105*b + s = 108*b, -3*w + 3*b = -6 for w.
5
Let m(d) = d**3 + 6*d**2 + 38*d + 233. Let i be m(-6). Solve 0*f - 16 = -i*l - f, -4*l = f - 13 for l.
3
Suppose -32*i - 160 = -42*i. Let j be (-10)/4 + 104/i. Solve 0*o = 5*o + c + 29, j*o + 12 = 2*c for o.
-5
Suppose 3*t = 2*f + t - 44, -5*f + 106 = -4*t. Suppose 66 = f*h - 60. Solve -3*l - a - 17 = 0, -4*l - 9 = -2*a + h for l.
-5
Suppose 0 = 7*i + 20*i. Suppose i = 7*l + 9*l - 368. Let f(y) = -y + 2. Let c be f(-3). Solve 2*p - p = -2, 4*p + l = c*d for d.
3
Let y be ((-9)/15)/((-18)/150). Solve -7*w - 20 = -2*w, 2*w + y = -m for m.
3
Suppose y + 4*i = 134, -199 = -2*y + 2*i + 99. Let g = y - 114. Suppose 0*u + u = 4*p - 118, 0 = p + u - g. Solve h - 2*k - 23 = -2*h, -p = -2*h + 5*k for h.
5
Let t(x) = 10*x + 4*x + 16 - 12*x. Let h be t(-7). Suppose -3 = -2*l - 13, 5*d = -h*l + 15. Solve 0 = d*k - 4*z - 5, -k + 12 = -0*k - 3*z for k.
-3
Let d be (-18)/(-3) - (13/4 + 51/(-204)). Solve -d*y - 5*c + 3 = -10, -21 = 4*y - c for y.
-4
Suppose n + n + 5*p = 91, -2*p - 170 = -4*n. Let c = n - 41. Let d be ((12/10)/(c/(-10)))/(-2). Solve 0 = -0*a + 4*a - 5*i + 16, 3*a = d*i - 9 for a.
1
Let z = -2476 - -2547. Solve 11 = 4*b + 68*n - z*n, -5*b = n + 10 for b.
-1
Let r(p) = -67*p**3 - 2*p**2 + 2*p. Let t be r(1). Let c = t + 78. Solve 0 = -3*q + 5*d - 20, -3*q + c = 3*d - 1 for q.
0
Suppose 823*n - 806*n - 85 = 0. Solve 5*s - 5*j = 9*s - 40, -3*s + 5*j - n = 0 for s.
5
Let j be (-14 + 14)/(4/2). Let l = 11 + 22. Suppose 4*k - l = 5*r, 2*k = -2*k + r + 13. Solve 4*d + 4 = -2*x, -k*x + j*x + 8 = -2*d for d.
-2
Suppose a + 28 = 2*n - 3, -5*a + 70 = 5*n. Solve -2*x + 14 = 7*c - 4*c, -x + 4*c - n = 0 for x.
1
Let b be (-9)/(-27) - 10/(-6). Solve 0 = -3*s + 2*o - 10, -b*o = 2*s - 0*o - 10 for s.
0
Let n(z) = z**3 + z**2 + 2*z - 3. Let p be n(1). Solve -5*g = 5*l + 7 - 2, -3*g + p = 4*l for l.
4
Let u(v) = -2*v - 7. Let p be u(6). Let k = p + 21. Suppose -12 = -k*m - m - 2*x, m = 3*x - 7. Solve 2*f = m*z - 6, 2*f = -3*f + 3*z - 17 for f.
-4
Suppose 178*u + 223*u = -15*u + 832. Solve -k + 16 = -4*l - 2, 2*k + u*l + 14 = 0 for k.
-2
Let w = 510 - 500. Suppose 3 = 2*l + 5*x, 3*l - 8*x = -10*x + w. Solve -15 = 5*n, 0*p - l*n = -3*p + 24 for p.
4
Suppose -1405*c + 3*n - 18 = -1406*c, c + 2*n - 18 = 0. Solve -c = -d - 4*f, 15*f - 4 = -3*d + 13*f for d.
-2
Let g(n) = -n**2 - 16 + 5*n + 7*n - 4 + 2. Let p be g(3). Solve z + 3*q - p = 0, -3*z + 5*q + 3 = 18 for z.
0
Suppose -38*p - 178 = -127*p. Solve 7 = 5*r + 26*s - 25*s, -4*s = -p*r - 6 for r.
1
Let j be (-4 + -1)*(16 - 17) + 22. Let a be (2*j/(-12))/(51/(-68)). Solve -2*v = 4*x - a, 3*x = x + 4*v - 12 for x.
0
Let o(n) = n**3 + 15*n**2 - 18*n - 23. Let x be o(-16). Suppose -90 = 3*k - x*k. Solve -k = 6*t - t - j, 3*j - 23 = 4*t for t.
-2
Let i(f) = -53*f + 191. Suppose 32*x - 6 = 90. Let z be i(x). Let j be 1/(10/4 + -2). Solve 0 = g + 4*g - 4*b + z, j*b = 5*g + 26 for g.
-4
Let o = -6422 + 6426. Solve 6*g + 2 = 5*g, -o*r = 2*g - 12 for r.
4
Suppose 82 - 80 = 5*p - l, 0 = -5*p - 7*l + 66. Solve 5*u = 20, -4*d - 3 = -5*d - p*u for d.
-5
Let b(u) be the first derivative of 2*u - 28 + 3/2*u**2 - 1/3*u**3. Let m be b(0). Solve -x - 2*q - 9 = 0, m*x - q - 7 = 5*x for x.
-1
Suppose -4*i - 124 = 4*o, o - 2*i + 98 = -2*o. Let q(v) = 5*v + 165. Let z be q(o). Solve 0 = -5*g - s - 25, 25 = -g - 4*g + z*s for g.
-5
Let p = 25 - -188. Let r = -203 + p. Solve g - 2*g = 2*k - r, 5*k = -g + 25 for k.
5
Let u = -330 + 342. Suppose g + s = -1, u*g - 10*g = 2*s + 14. Solve -k - 3 = -f + 3, 5*k + g*f + 6 = 0 for k.
-3
Let i = 39324 - 39315. Solve -i*x + 4*x + 4*o + 7 = 0, 5*x - 7*o = 1 for x.
3
Let s = -1053 - -1605. Let d = s + -548. Solve -5*j - t + 2 = -17, 5*t = -d*j + 32 for j.
3
Let w = -1123 - -1126. Solve 0 = 4*q + w*f - 7*f - 12, 3*f = -2*q + 11 for q.
4
Let v = -1112 + 1123. Solve 5*z - v*o - 4 = -8*o, 2*z + 2*o = 8 for z.
2
Suppose 3930 + 9750 = 131*f + 2676. Solve -92 = -2*p + 4*j - f, -2*j = -5*p + 28 for p.
6
Suppose 0 = 12*a + 43 + 329. Let l = -34 - a. Let o be l/2*(-20)/15. Solve 5*u = -3*f - 9, 2*u = o*f - 0*f + 6 for f.
-3
Let y(h) = 9*h**2 - 4*h - 4. Let t be y(-5). Let d = t + -238. Solve d = -3*g - 0*g + 3*a, -g - 13 = -4*a for g.
3
Let x = 273 - -241. Let v = x + -511. Solve -y + l = 1, 3*y + v*l = 17 + 4 for y.
3
Suppose i = -m - 2*i - 23, 3*m + 5*i + 65 = 0. Let t = m + 22. Let r(g) = -g**3 + 4*g**2 - 2. Let s be r(t). Solve w - 5*h + s = -22, -5*h + 37 = -4*w for w.
-3
Let d(n) = 2*n**3 - 12*n**2 + 17*n - 34. Let u be d(5). Solve -s - 2 = 3*v - 5, -5*v - s + u = 0 for v.
-1
Suppose 111 = 4*m + 6*g - 5*g, -4*m = -4*g - 96. Suppose 4*y = 7*y - m. Solve -t = i - 1 + 3, 4*t + 3*i + y = 0 for t.
-3
Let r(o) = -4*o - 30. Let m(x) = -13*x - 90. Let k(z) = 2*m(z) - 7*r(z). Suppose 2*q = -2*q - 56. Let a be k(q). Solve -4*v = -3*v + 5, -a*y + 4*v = -12 for y.
-4
Let t(f) = -48*f - 428. Let x be t(-9). Let v(m) = m**2 + 13*m + 5. Let k be v(-13). Solve -5 = -k*j + 5*y - 15, -x*j + y = -1 for j.
1
Suppose 56 = -p + 74. Solve -10 = -2*n - n - v, 0 = 3*n - 3*v - p for n.
4
Suppose -2*q = 4*x - 24, 0 = 11*x - 17*x + q + 52. Solve -3*g - 12 = 0, x*v = 3*v - 5*g - 20 for v.
0
Suppose -5*c - 2*w + 39 = 0, -9*w + 9 = 6*c - 12*w. Solve -3*l - 3*p = 3, -51*p = -5*l - 53*p - c for l.
-1
Suppose 198 = 4*g + 78. Let f = g - 30. Let u(j) = -j**2 + 11*j - 3. Let w be u(8). Solve -r + w = 5*o, -o - r + 5 = -f*r for o.
4
Let r be 2/(-4)*2*(58 + -58). Let o(c) = -3*c + 4. Let p(f) = 1. Let j(w) = -o(w) + 3*p(w). Let n be j(2). Solve r = 4*l + 2*d + n - 15, -18 = -3*l - 5*d for l.
1
Suppose 14*b - 344 = -6*b + 12*b. Solve 40*w = b*w - 2*p - 3, -10 = 4*w + 2*p for w.
-1
Let a = 3848 - 3836. Solve 19 = o - 5*f, -f - 3*f - a = 0 for o.
4
Let p = -409 + 413. Let s = 27 + -39. Let b be (3/9)/((-1)/s). Solve 3*m - p = o, o = b*m + m - 10 for m.
3
Let k be (-3)/4*(6/(-10))/(1395/3100). Solve k = -v - b, -11 = 4*b - 23 for v.
-4
Let r = -6518 + 6528. Solve 2*v + 4*t - r = 0, v - 29*t = -26*t - 15 for v.
-3
Suppose -2*z + 3*j - 5 = 0, 24*z - 23*z = -10*j + 32. Solve -18*c + 13*c + 4*l + z = 0, 0 = -4*c - 3*l - 17 for c.
-2
Let b = -159 + 162. Suppose -2*g - 36 = -2*m, -45 = -4*m + 2*m + 5*g. Suppose 47*a - 50*a = -m. Solve p = 3*d - b*p + 8, -4*d + 41 = a*p for d.
4
Suppose 0 = -30*s + 257 + 13. Suppose 0 = -4*b - 3*k + 13, -5*b - 7*k + 45 = -s*k. Solve -5*l - 2*q = -b - 12, -2*l + q = -4 for l.
3
Suppose -9*s = 11 + 16. Let k be (-10)/s + 8/12 + 0. Suppose -5*m + 3 = -2*c, 0 = 3*c - 4*m + 1. Solve -k*w = 4*h - 0*h + 20, 5*h - w = -c for h.
-1
Let c = -100 - -17. Let f = c + 86. Solve f*p + 5*o + 12 = 0, 4*p + 5 = -5*o - 11 for p.
-4
Let f be ((799/34)/47)/(1/12*2). Solve -f*u + 5*b + 8 = -4*u, b - 11 = 4*u for u.
-3
Let i(p) = -66*p + 369. Let b(r) = -14*r