 + t*g + g, 0 = 3*g + 9 for s.
-3
Let z = -581 + 607. Suppose -3*u + 8*u = -4*w + 96, 2*w = 2*u - 42. Let x = z - u. Solve 4*d = -d, 2*r + 3*d = x for r.
3
Let x(z) = -z**3 - 55*z**2 + 299*z - 56. Let c be x(-60). Solve -2 + 7 = c*n + 5*q, 4 = n + 4*q for n.
0
Let q = -17 + 72. Let a be (93/(-33) - -3) + 760/q. Let j be (-6)/a + 51/21. Solve -4*s + 4*r + 13 = 1, j*s + 2*r = 10 for s.
4
Suppose 13*q + 0 - 6 = 46. Let d = -7 + 12. Suppose -4*g = -d*g + 5. Solve g*p + 3*m - 4 = -25, 3*p = q*m - 1 for p.
-3
Let m = 350 - 350. Suppose m = -2*s + 5*k - 23, 4*s + 3*k - 14 = k. Solve 2*n + s = -0*g - 3*g, -3*n = g - 9 for n.
4
Suppose 189 = -24*g - 27. Let o be 1/(-1 - (-22)/21). Let f be 0*((3 - 1) + o/g). Solve -16 = -5*m + 4*q, f = -4*m - m + 2*q + 8 for m.
0
Let u = -86 + 88. Suppose -p + 22 = 5*t, -u*t = -6*t - 2*p + 20. Solve 0 = 3*j - 3*s + 2*s + 9, 0 = -t*j - 4*s - 12 for j.
-3
Suppose -4*h = 2*r - 85 - 7, r = h - 20. Suppose -5*q - 7 = -h. Suppose q*b + 15 = 24. Solve -5*g + 5*u + 1 = -9, -4*g - b*u - 20 = 0 for g.
-2
Let u = 19767 - 19763. Solve u*s + 5*o + 35 = 0, 112*s + 3*o = 116*s + 11 for s.
-5
Suppose -2*j + 10 = 34. Let z be (2*-1)/(8/j). Let l be (6 + -6)/(-10 + 9). Solve 3*v + 3*b = -l - 21, 5*v - 5 = z*b for v.
-2
Let n(r) = -r**3 - 8*r**2 - 7*r + 2. Let s be n(-7). Let h be (-117)/(-78)*(s - 0/(-1)). Suppose h*p - 3 = 12. Solve -2*d + 4*t = 3 - 1, -2*d + t - p = 0 for d.
-3
Suppose 0 = -3*f + 5*f - 10. Suppose 26*c - 32 = -4*l + 30*c, -f*l = -2*c - 49. Solve 0*s + 2 = -2*s, 0 = -2*v + 5*s + l for v.
3
Let p(s) be the first derivative of s**3/3 + s**2 - 25*s + 9. Let t be p(5). Solve 2*y = -3*f + t - 3, 3*y - f - 5 = 0 for y.
2
Let u(b) = b**3 + 6*b**2 - 2*b - 12. Let f(z) = 2*z**2 - 9*z - 24. Let t be f(6). Let i be u(t). Solve i = -5*y - 5*a + 20, y - 4*a - 1 = -7 for y.
2
Let m = 3004 + -3000. Solve 0 = m*o + 4, 5*y - 2*o = -23 + 50 for y.
5
Suppose 15*g + 12 = 147. Suppose 0 = -i - 5*x - g, -3*i + 40*x - 35*x = -73. Solve -4*j + 2*t = -0*t + i, j + 4*t = -13 for j.
-5
Let n be (77/154)/(2/8). Solve -5*d - 7 = 13, -n*t + d + 6 = 0 for t.
1
Suppose 136*y - 42 = 135*y. Suppose 0 = 23*z - 9*z - y. Solve -t - 4*t + 5 = -u, -z = -3*t + 2*u for t.
1
Suppose -62*q - 500 = -72*q. Suppose 2*f + 5*s - 21 = 6*s, 5*f = 2*s + q. Solve 4*v = 2*l - f, 5*l - 3 = 3*v + 10 for l.
2
Suppose 49*y = 52*y - 3. Let b be 24/(-8) - -7 - y. Solve 0 = -d + b*u - 3, 5*d - 4*d - 5*u = -3 for d.
-3
Let m(g) = -4*g**2 + 20*g - 7. Let h be m(3). Suppose q - 16 + h = 0, -2*k + 5*q + 5 = 0. Solve -4*d = -4*v - k*v + 4, 0 = -4*d - 5*v - 31 for d.
-4
Suppose 0 = 5*m - 2 + 17. Let g be (-66)/55*(-110)/m. Let h = g - -46. Solve 16 + 17 = 4*a - 5*z, h*z + 18 = 4*a for a.
2
Let o = 17 + -23. Let n be (10/o)/(410/(-738)). Solve -n*k + 10*v - 10 = 5*v, -20 = -4*v for k.
5
Suppose -15*r = 17*r + 15*r - 36*r. Solve -62*n + 2*k + 6 = -63*n, -n - k - 2 = r for n.
2
Let l be (-64)/3 + (-4)/6. Suppose 81*g + 801 - 2988 = 0. Let s = g + l. Solve -5*y - 9 = 5*f + 26, y - 5*f = s for y.
-5
Let k(x) = x**3 - 6*x**2 - 17*x + 111. Let w be k(5). Solve -i = l - w, -2*l = -4 + 12 for i.
5
Let z(j) = -2*j**3 - 19*j**2 - 44*j + 23. Let b be z(-5). Solve 16*p - b*p - 6 = -4*a, 5*p + 4*a + 29 = 0 for p.
-5
Suppose 2*i = -4*f + 4, -7*f + 12*f + 3*i = 4. Suppose 8*b - 7*b = 4, p = b - f. Solve 0 = -k + 2*q + 1, -p*k - 4*q + 1 = -k for k.
1
Let x(m) = 3*m**2 + 5*m - 5. Let h be x(4). Suppose -h + 93 = 5*l. Suppose -3*w - 5*n = 25, l*n = 2*n - 20. Solve u - 6 = -3*r, w = -2*u + 7*u + 3*r - 6 for u.
0
Let r = 25564 - 25560. Solve 5*z = r*g - 24, g + 30 = -3*z + 36 for g.
6
Suppose l + 2*h - 1 = 0, -2*h + 1 = 5. Suppose l*g = 3*q - q + 43, -2*q + 29 = 3*g. Solve -5*n + w - g = 9, 0 = 4*w - 12 for n.
-3
Let f = 213 + -203. Let s(l) = -l - 1. Let r(o) = 4*o + 23. Let p(w) = r(w) + 6*s(w). Let q be p(7). Solve -4*i - 2*v = f, i + 2*v - 14 = q*i for i.
-4
Let m = -14379 - -14468. Solve 3*c + 11 = b, -m*c = -91*c - 2*b - 18 for c.
-5
Let p be (-10 + 3 - -1) + (-30)/(-3). Solve 0 = s - 5, p*s - 8 = -3*h + 3*s for h.
1
Suppose 0 = -5*m - 8 + 68. Suppose 0 = -w - 3*u + 26, -5*u + 74 - m = 3*w. Let y = 18 + -12. Solve -y*c + c = -4*b + 15, c + w = 3*b for c.
1
Let x be (-27)/(5832/(-1971)) + (-2)/16. Solve x*y - 14*y - 16 = 3*g, 5*g = y + 20 for y.
-5
Let m be ((3 - 1)*(-20)/(-14))/((-106)/(-371)). Solve -q - 2*c = 3, m*q - 12*q - 6 = 2*c for q.
-3
Let c(j) = 2*j**2 + 2*j - 1. Let g be c(1). Let n be 5/25 + 1280/(-25). Let d = n + 59. Solve -3*b + d*b = 3*a + g, -3*a - 4*b = -24 for a.
4
Let p be 1*-5 - (585 + -9 + 11). Let g = 595 + p. Solve 5*i = g*z + 1 - 35, -i - 5*z + 10 = 0 for i.
-5
Let l(h) = -77*h - 1761. Let y be l(-23). Solve -5*g + 5 = 10, -2*i = -4*g - y for i.
3
Let m(r) = 2*r - 10. Let f be m(6). Let j(t) = -2*t**2 - 2*t - 1. Let x be j(f). Let v = 17 + x. Solve -36 = -0*y - 5*y - v*s, 5*y - 8 = 3*s for y.
4
Let y(q) = 226*q - 2034. Let f be y(9). Solve i + 2*d - 6 = f, 6 = 31*d - 28*d for i.
2
Suppose 0 = -172*x - 41*x + 4473. Solve -4*n = b + x, -11*b + 10*b - 2*n - 11 = 0 for b.
-1
Suppose -f + 4*f + 33 = 0. Let p = f - -15. Let o = -14424 - -14437. Solve -5*g + 30 = -3*k, -5*k - o = -0*g + p*g for k.
-5
Let a be (-10)/(-3)*(-21)/(-14) + (-52 - -64). Solve -6*q + 10*q + 15 = 5*b, -3*q - a = 2*b for q.
-5
Let d(q) = -q**2 + 45*q - 414. Let h be d(13). Solve h*m + 9 = -5*v, -4*m + v + 2 + 13 = 0 for m.
3
Let a = -466 + 616. Suppose 0 = 48*h + 2*h - a. Solve 5*v - 2*d - 2*d = 7, d + h = 0 for v.
-1
Let g(i) = 14*i**2 - 44*i**2 + 12*i - 1 + 26*i**2. Let k be g(2). Solve 2*b - 5*x - 31 = 0, 0*b - x + k = 4*b for b.
3
Let v = 20 + -7. Suppose 4*i = -5*u + 75, 35 - 93 = -2*u + 4*i. Suppose 0 = 18*g - u*g + v. Solve -5*k + g = 4*a, -4*k = 2*a - 9 + 1 for a.
2
Let s(d) = -2*d**2 + 25*d - 7. Let z = 13 + 1. Suppose l = z - 2. Let h be s(l). Solve 0 = h*k + 3*v + 12, -3*k - 2*v - 3*v = 4 for k.
-3
Let b(k) = -15*k**3 + 3*k**2 + 3*k - 1. Let p be b(-2). Let r = p + -119. Let j be r/4*32/24. Solve -2*y - 3*f + 8 = j*y, -3*f - 32 = -4*y for y.
5
Suppose 5*t = -2*d + 59 + 16, -3*t + 4*d + 45 = 0. Let o = -10 + t. Solve 4*s + 7*w - 3*w - 36 = 0, -3*s = -o*w + 13 for s.
4
Suppose -63*q + 150 = -13*q. Solve -2*w - 24 = -q*d - d, 0 = -3*d + 12 for w.
-4
Suppose 4*i = 23 + 29. Suppose 25 = 6*w + i. Solve 3*h + 5 = w*h, 4*h = -5*n - 25 for n.
-1
Let a = -709 + 714. Suppose -5*f + 13 = 3*u - 6, 0 = u - 3*f + 3. Solve -u*s + a*s = h - 7, s + 3*h = 7 for s.
-2
Let b = 802 + -775. Solve -b*f - 10 = 3*w - 28*f, 5*f = -5*w - 10 for w.
-3
Let c be 620/(-14) + 4/14. Let q = -42 - c. Let v be (58 + -4)/6 - q/(-2). Solve -2*p - 3 = -2*t + 11, 0 = 4*t + 2*p - v for t.
4
Let t = 100597 + -100597. Let f be 38/6 + 2/(-6). Suppose -8 = -f*v + 2*v. Solve 2*k - v*o + 10 = t, -k + 3 = -0*k + 3*o for k.
-3
Let d = -26 - -29. Let q(x) = 5*x**2 - 10*x - 5. Let y(t) = -t**3 - 1. Let j(z) = -q(z) + y(z). Let r be j(-7). Solve 4*k = -8*p + d*p + r, 2*p = 3*k - 1 for p.
4
Suppose 2*w - 2*n = -5*n - 2, -2*w + 2*n = -18. Suppose w*l + 3*j = 22, -4*j = l - 6*j - 7. Solve 6*v + 4*o + 1 = 3*v, -l*v = 3*o + 9 for v.
-3
Let i = 32159 + -32142. Solve -2*t - i = 3*p - 25, -3*p = 3*t - 3 for p.
6
Suppose 30*y - 204 - 410 = -134. Solve 0 = 2*w + 3*s + y, 34*w + 30 = 30*w - 5*s for w.
-5
Let n(p) = -45*p + 678. Let j be n(15). Solve -5*b + 35 = -j*w, -4*w + 9*w + 33 = 2*b for w.
-5
Let j be ((-2)/8*2)/((-1)/6). Suppose 0*k + j*k + 108 = 0. Let u = -34 - k. Solve 0*x = u*x - 2*r, 4*x + 3*r = 7 for x.
1
Suppose -3*v - 14 = j, -2*j + 4*v - 3 = -25. Let s = 18 + -27. Let z(r) = -r**2 - 12*r - 22. Let d be z(s). Solve -2*i - j = 4*w - 5, d*i = -5*w + 10 for w.
0
Let t = -215 - -220. Let g(h) = 22*h - 325. Let s be g(15). Solve 3 = t*f - 0*f - i, 0 = 4*f - s*i - 15 for f.
0
Let b(k) = 16*k**2 - 112*k + 5. Let h be b(7). Solve r = -l + h, 17*r - 19*r = -l - 10 for r.
5
Let z = -36 - -213. Let f = 183 - z. Suppose 8*b = 4*b + 12. Solve -2*c = -4*n - f, -3 = 3*c - b*n - 9 for c.
1
Suppose 3*r + 2*p + 1 = -0*r, 3*p + 2 = -4*r. Let l = 4 + r. Let f be (2*2/l)/((-2)/(-10)). Solve 3*t - 2*i - f = -0*i, t = 2*i + 4 for t.
0
Let m = -10838 - -10843. Suppose 2 = 2*n - n. Solve 0 = -5*o + m*s + 10, o = -s - n*s - 18 for o.
-3
Let u be 13/2*(-468)/(-1521