+ 23, 5*l + 20 = t for l.
-3
Let v = 2551 + -2487. Solve -u + 16 = 67*s - v*s, 4*u - 20 = -s for u.
4
Suppose -1191*h = -1205*h + 70. Let f(y) = -y**2 - 11*y. Let c be f(-10). Suppose -3*s - c = -5*s. Solve v = -5*r + 7, -h*r + 3*r = s*v + 11 for v.
-3
Suppose -2*t = -2*k - 18, 69*k - 66*k = -5*t + 45. Solve -5*s - t = -14, 2*o = 3*s - 7 for o.
-2
Let v be (-12)/(-2) + (53 - 55). Suppose -3*i + 4*w = w - 3, -w - 9 = -5*i. Solve b + i = -0*h + h, -3*b - v*h = 13 for b.
-3
Let w(r) = -632*r - 629. Let m be w(-1). Solve m*j = 5*x, 16*j + 15 = 13*j for x.
-3
Suppose -399 = 14*s - 7*s. Let x = -51 - s. Solve 5*p - t + x = 0, 3*t - 2 = -3*p - 2*t for p.
-1
Let p(w) = w**2 - 2*w + 5. Let m(t) = 2*t**2 - 6*t + 13. Let s(k) = -3*m(k) + 8*p(k). Let h be s(1). Solve -4*q + 2*x - 10 = 0, 2*q = -q + 4*x + h for q.
-5
Suppose 0 = 513*x - 1460 - 79. Solve -x*v - 1 = -z, -2*z - 4 = 5*v + 16 for v.
-2
Suppose 0 = 8*r + 26*r - 7*r - 108. Solve -3*q = -5*m - 11 - 9, 0 = -4*q - r*m + 16 for q.
5
Let d be ((-760)/12)/(-19)*3. Let a be 33/9 - (-2)/6. Solve -5 = -a*p - k + 7, 3*p + k = d for p.
2
Let v = -400 - -734. Let o = v - 330. Solve -4*f = 2*u + 14, -4*u + 2*f = 4 + o for u.
-3
Let i be -1*(2 - 2) - 0. Suppose 175 - 199 = 6*n. Let t be 459/405 + n/30. Solve -c + i*c + t = 4*f, -3*f - 12 = 5*c for c.
-3
Suppose -41 = -4*k + 5*m - 25, 16 = 4*k - 3*m. Solve -3*t = -k*s - 5, -14*s - 6 = -13*s + 4*t for s.
-2
Let a be 2/(-3)*1545/(-206). Solve 3*q = -4*i - 5, 7*i = -a*q + 5*i + 15 for q.
5
Let m be (6 - (-15)/(-3))*-1. Let n(w) = 20*w**2 - w - 1. Let l be n(m). Solve 5*o = s - l, -3*o + 8*o - 4*s + 20 = 0 for o.
-4
Let x = 3248 - 3242. Solve -4*q + 3*j = -1, -2*j + 4*j + x = 0 for q.
-2
Suppose 0 = -3*b + b - 16. Let s(z) = -z - 8. Let a be s(b). Suppose a = 7*k - 6 - 1. Solve 3*g - k - 6 = -d, 2*d + 2 = -2*g for g.
4
Suppose -3*m + 4*t = 340 - 344, -14 = -4*m + t. Solve 0 = -9*b + 6*b - 4*s + 21, 21 = m*b + 3*s for b.
3
Let f(d) = 17*d - 37. Let m be f(13). Let o = m - 180. Let n = 53 + -18. Solve y - n = -4*y + 2*i, 20 = -o*i for y.
5
Let n(p) = -p - 66. Let t be n(0). Let y be t/(-9)*3/2. Let x(k) = k - 6. Let l be x(y). Solve 0 = 3*h - 4*h + 4*f - 17, h - l*f = -21 for h.
-1
Suppose -10*o - 12*o - 60 = -25*o. Let d(l) = -l + 14. Let w be d(9). Solve -w*f = -4*r - o, 0 - 8 = -2*f for r.
0
Let k(n) be the first derivative of n**2/2 + 14*n - 15. Let m be k(-12). Let x be (((-24)/15)/m)/(8/(-20)). Solve -x*q - 2 + 26 = 4*r, 2*q - 2*r = 0 for q.
4
Let o(k) = k**2 - 75*k - 1246. Let s be o(-14). Solve 0 = -2*j + q - 5, j + 5*q - 37 + 23 = s for j.
-1
Let v be (10 + -106)/(-12) + 15. Solve v = -3*q - 4*t, -q + 3*t - 1 = t for q.
-5
Let p(x) = -6*x - 3. Let z(h) = h**3 + 2*h**2 - 7*h + 3. Let c be z(-4). Let f be p(c). Solve -2*k - 3*m = 11, f*k - 4*m + 0*m = 26 for k.
2
Suppose -5 = -3*l + 2*q + 13, 0 = 4*l - 2*q - 20. Solve l*j - k = -6 - 7, -5*j + 5*k = 45 for j.
-4
Let w = -3 - -10. Let f be (1 - (-7)/(-9)) + 19835/45. Let z be (-3)/5 + f/35. Solve 2*c + 6 = -b, -w*b + 2*b + 4*c = -z for b.
0
Suppose 98*c = 228 + 66. Solve -i + 2*r + 9 = 0, -i + r - c*r + 1 = 0 for i.
5
Let x(o) = o**3 + o**2 - 5*o - 691. Let j be x(0). Let f = 694 + j. Solve 3*l - 29 = 2*r + 2*r, 0 = -f*l - 2*r - 1 for l.
3
Let x be ((-1 - -6) + -4)/(1/(-201)). Let c = -193 - x. Solve 3*h - 2*h + 7 = 5*n, 2*h = -n + c for h.
3
Let y = 8798 - 8775. Solve 0 = -h + 3*m + y, -10*h + 5*h + 55 = -3*m for h.
8
Let u = -21050 - -21060. Solve 3*h + p + u = 0, -h - 2*p + 7 = -4*h for h.
-3
Suppose -35*p + 2*y = -40*p + 385, 4*y + 308 = 4*p. Solve p - 66 = 4*z + n, -3*z + 15 = 3*n for z.
2
Suppose 0 = -r + 3 - 1. Suppose -5*k - 5 = -4*c, -101*k - 2 = 4*c - 99*k. Solve c = 5*n - 4*w + 17, n + 4*w + 23 = -r*n for n.
-5
Suppose -14072*q + 14092*q = 80. Solve 0 = -5*y + q*u + u + 10, -5*y + u = -10 for y.
2
Suppose 14*r - 3*z = 17*r, -5*z = 0. Suppose 5*u + r*u = 2*g - 14, 0 = -g - 2*u + 16. Solve -2*a - 3*f = -6*a - g, 4*f = -3*a + 16 for a.
0
Let w be 3*(1*(-2 + 4) - -17). Let m = -40 + w. Suppose 0 = -10*y + m*y. Solve 5*x - 5*f + 40 = y, 0*x - x - 4*f = -17 for x.
-3
Suppose -s + 5 = 4*s. Let l(n) = 5*n - 1. Let v be l(s). Suppose -10*j + 22*j = -11*j + 115. Solve -r - 6 = -v*c, 5*c + 5*r = -0*c - j for c.
1
Let g = 10626 - 10625. Solve 6 = 2*o - z, -9*z - g = -o - 8*z for o.
5
Let p(a) = a**2 + 23*a - 40. Let n be p(-26). Suppose -6*z + n = -4*z. Suppose 5*d - z = 16. Solve 6 = 2*b, -2*t - 3*b = -d*t + 16 for t.
5
Let q(g) = -11*g + 32. Let f(n) = 42*n - 129. Let h(r) = -2*f(r) - 9*q(r). Let c be h(2). Solve 3*u + 0*u = 5*x - 14, c = -4*u + x + 4 for u.
2
Let v(o) = o**2 - 14*o - 945. Let q be v(-25). Solve 5*p - 2*x - 31 = 0, -33*p + q*p - 3*x = -6 for p.
5
Suppose -8*a - 2*c + 10 = -3*a, 5*a = -c + 15. Solve 2*f + a = -3*x, -5*f + 19 = -5*x + 54 for x.
2
Suppose -2 = -n - 5*b, 5*b = -3*n + 48 - 42. Solve 5*v - 31 = n*k - 0*k, -2*v + 22 = -4*k for k.
-3
Let g(n) = 61*n + 2626. Let b be g(-43). Solve -3*u - p - b*p + 32 = 0, 3*u = -2*p + 16 for u.
0
Let y(l) = l**3 - 67*l**2 + 56*l + 662. Let b be y(66). Solve -b*j + 17 = 5*h - 6, 1 = -j for h.
5
Suppose -4*m = 5*n + 32, -1742*m - 14 = -1737*m + 3*n. Solve 5*y = -5*g + 30, -18 = -76*y + 72*y - m*g for y.
3
Suppose -4*x + 550 + 171 - 149 = 0. Solve -2*z + p = -7, 142*z - x*z - 3*p = 14 for z.
1
Let p be (-28)/4*(-30)/7. Suppose 9*n + p = 4*n. Let m(u) = -u**3 - 5*u**2 + 4*u - 8. Let h be m(n). Solve 5*g = 3*r + 18 - 45, 0 = -h*r + 16 for g.
-3
Let r be (8 + -18 - -5)*28/(-70). Solve 2*h - r + 4 = p, -2*p - 14 = 2*h for h.
-3
Suppose -192*n - 16 = -194*n. Solve -4*f + 5*l - 15 = 0, 4*l - n = -f + 4 for f.
0
Let x = -11 - -24. Let m be (-8)/6 - 408/(-36). Suppose 8*s + m = x*s. Solve -s*n - 12 = p, -2 = -2*p + 3*n + 9 for p.
-2
Suppose 0 = 56*c - 54*c - 8, -2*c - 4 = -4*k. Solve 4*s = 20 - 36, 17 = -5*m - k*s for m.
-1
Let h = -10 + 7. Let z be h/(-1)*2/3. Let l(s) = 3*s**2 - 89*s + 526. Let y be l(8). Solve 0 = -2*i - 6, z*i - y*i = 3*g for g.
4
Suppose g = 2*d + 2*d - 12, 3*g = -2*d + 20. Let r(f) = -133*f - 7046. Let k be r(-53). Solve -4*w + 4*m - 24 = 0, 1 = -k*w - d*m - 10 for w.
-5
Suppose -5*x - q = 14, -2*x + 134*q - 132*q + 4 = 0. Let r(m) = m**2 - m - 5. Let l be r(x). Solve o = -4*a - 1 - 3, a + l = o for o.
0
Let k be 10/((-70)/(-77)) - 8. Suppose 15 = k*i - 3*x, 3*x = -5*i - x + 34. Solve o + 5*u + 12 = 0, -5*o + 6*u - 4*u = i for o.
-2
Let h be (-30*12/(-72))/(-1 + 2). Solve 5*y = -11*l + 7*l - h, 2*l - 30 = 4*y for y.
-5
Let z be (-4)/(-1) + (4/(-3) - 14/(-6)). Solve -5*l + 11 = 2*o, 0*o + 3*o + z*l - 9 = 0 for o.
-2
Let i be 156 - (-3 - (1 + 1 - 2)). Suppose -154*b = -i*b + 90. Solve 2*x + 26 = 2*w + 2*w, -2*w = -2*x - b for w.
4
Let q(t) = -7*t**2 + 6*t + 13. Let h be q(6). Let d = -201 - h. Solve d*f + 2*a + 0*a - 6 = 0, -4*f - 4 = -4*a for f.
1
Suppose 2*u = -5*n + 3*u + 233, 5*n + 4*u - 243 = 0. Let z = -32 + n. Suppose 0*b - z = -b. Solve 5*g - b = -x, -3*x - x = 4*g + 4 for x.
-5
Let v(n) = -51*n + 3584. Let r be v(70). Solve 0 = -3*j + w, 16*j - w + 1 = r*j for j.
1
Let f = -6 + 11. Let k(g) = g**3 - 3*g**2 + 3*g. Let i be k(2). Let y = 99307 + -99304. Solve -i*h - s = 15, y*h + f*s + 30 = 2*s for h.
-5
Let j(h) = 8*h + 11. Let u(m) = -4*m**2 + 9*m - 3. Let d be u(2). Let l be j(d). Solve g + 4 = -4*s + l, 5*s = -2*g - 2 for s.
0
Let i be 8/28*(-42)/(-2). Solve -2*x = y + i, -12 = -2*y + 5*y for x.
-1
Suppose 5*f = 4*c - 100, 4*c - 7*f - 124 = -16. Solve 2*x = 7*x + 4*p + 29, 5*p + c = -3*x for x.
-5
Let b = 326 + -316. Suppose 367*i - b = 362*i. Solve -3*p = -i*u - 15, 4*u - 2 = 2*p - 12 for p.
5
Let z be (1/2)/(15/(-14) + 1). Let a = z - -12. Let s be ((-10)/a)/(0/1 + -1). Solve 5*d + 5*l - 5 = 0, d + 0*l + s*l = 0 for d.
2
Suppose 0 = -o + 5 + 18. Suppose k = -3*y + 17, k - 2 = -0. Let z be 47 - 46 - (0 - 3). Solve -h + 12 = -z*h, -y*h - o = b for b.
-3
Let s(h) = 2*h**2 + 43*h + 25. Suppose 4*p + 89 = -5*a, 3*p = -2*p + 20. Let l be s(a). Solve -w + 8 = l*m, 3*w + 20 = 4*m + w for m.
3
Let d(w) = w. Let f be d(6). Suppose -3*z - x = -16, 0 = 2*z - 5*x + f*x - 10. Solve 2*h = z, 2*m + 3 + 7 = 2*h for m.
-2
Suppose 16*z - 17*z + 3 = 0. Suppose -4*x = -8, -5*f + 18 + z = 3*x. Let k(r) = 5*r + 1. Let m be k(1). Solve n = 4*n - 4*d