5*z - c for g.
1
Let a = -128 - -145. Suppose a = -f + 13. Let c be (0 + 4 + f)/1. Solve -h - 2*x + 10 = 0, c*x = -2*h + 3*x - 1 for h.
4
Let v(d) = d - 73. Let g be v(83). Solve -5*o = -g, 3*w - w = o - 2 for w.
0
Suppose 14*a = 6*a + 120. Let c = 17 - a. Suppose -3*p + 1 = -c*p. Solve -2*v + p = 5*b + 7, -4*b + 2*v = -6 for b.
0
Suppose -2*k = 3*b - 14, -b = -6*k + 7*k - 6. Let i(z) = z**3 - 6*z**2 + 2. Let p be i(6). Solve -j - k*n = -21, -3*n + 8 = 3*j - p*n for j.
1
Let p = -68 - -80. Let k = p + -7. Suppose -16 = k*o - 21. Solve 2 = -2*y - 2*a, 0 = 3*y - a - 2 + o for y.
0
Suppose 6*n = 31*n - 13000. Let y = 556 - n. Solve 2*i = -4*q + 6*i + y, 2*i - 6 = -4*q for q.
4
Suppose -2*a = k - 18 + 10, -5*k = -2*a - 4. Solve -5*c + u - 11 = -2, 2*u = -5*c + a for c.
-1
Suppose -1024 = -25*g - 103*g. Solve 0 = r - 2*a + 6 - 9, 2*a + g = 0 for r.
-5
Let t = -20 + 18. Let z be (0 + -8)/(t + 0). Suppose 2*n + 19 = 5*i, 6*i - z*n - 17 = 3*i. Solve -5*d = 5*a + 25, -4 - 9 = i*a + d for a.
-4
Suppose 3*k = -4*q + 18, -5*q = -0*q + 3*k - 24. Let b be -10*((-4)/(-16) + q/(-8)). Let x = 5 - b. Solve -3 + x = 4*l + p, 1 = p for l.
-1
Suppose -2*f - 4 = 4*b - 30, 0 = -b - 4*f + 17. Suppose -6*c = -4*w - 2*c + 68, b*w - 99 = -2*c. Solve -4*r = m + 7 - w, 0 = 2*m - 2*r + 16 for m.
-4
Let t(p) = -5*p + 48. Let l be t(8). Suppose -9*m = -l*m + 221. Let b be (-5559)/m + 2/(-13). Solve -6*u + u - b = 0, -6 = -s + 2*u for s.
-4
Let d = 150 + -258. Let p = 112 + d. Solve -p*l - 18 = -2*i, 3*l + 8 = -2*i - 2 for l.
-4
Let o be -28 + -2 + 5 + -3. Suppose 4*q - 74 - 46 = 0. Let m = q + o. Solve 3*a = a + 10, -m = -2*h - 2*a for h.
-4
Let v(j) = j**3 + 12*j**2 + 25*j - 56. Let d be v(-8). Solve -58*c + 60*c - 2*i - 16 = d, 4*c + 3*i = 4 for c.
4
Suppose 0 = -0*s - 3*s + 6. Let l(z) = -z**2 - 1699*z - 8467. Let m be l(-5). Solve -3*j + s*p + 8 = m*p, 0 = -2*j + 3*p - 13 for j.
1
Let v = 6 - 2. Let c = -32777 + 32779. Solve c*k - a + 0*a + v = 0, -8 = -2*a for k.
0
Let h = 6005 + -6000. Solve h*f = -4*p - 41, -2*p - 4*f - 26 = 2 for p.
-4
Let y = -3102 + 3109. Solve 5*i - 2*i = s + y, 4*s = i - 17 for i.
1
Suppose 5*z = 2*v + 1537, 0 = 2*z - 7*z - 2*v + 1553. Let i = z + -305. Solve 4*r - 2 = -5*t, i*r + r - 11 = -2*t for r.
3
Let i = -1 - -3. Suppose r = -i*r + 24. Let n be 3476/474 - (-4)/(-3). Solve -7*p = o - 3*p - n, 5*o = 2*p + r for o.
2
Let j = 608 - 606. Let f be -5 - (-5 + -6) - (j + -1). Solve -f*r - 1 = 3*y, 7*r + y - 1 = 4*r for r.
1
Let t(f) = -3*f - 11. Let o be t(-10). Suppose -3*g + o*r = 15*r - 136, 2*g - 5*r = 100. Solve 2*q + 3*q = -4*v + 5, -5*q - g = -5*v for v.
5
Let t = 1804 - 1801. Solve 6 = -t*n + m, -3*n + 2*m = 4*m - 3 for n.
-1
Suppose -162 = -3*x + 375. Suppose 0 = 175*q - x*q + 16. Suppose 0*z = -5*z. Solve -p + 2*f - 6*f = 18, -p + q*f + 14 = z for p.
-2
Let m be -2 - -3*(-2 + -9). Suppose -19 - 17 = r. Let p = m - r. Solve 4*g = -2*d - 16, -p = -3*d + 5 for g.
-5
Let n(g) = -g**2 + 17*g. Let m(u) = 4*u + 4. Let j be m(0). Let a be n(j). Let p = a - 47. Solve -4*t = -3*t + 4*o + 11, 2*o + 11 = p*t for t.
1
Suppose -q - 9*q + 170 = 0. Let a = 53 - q. Suppose 5*u = 2*u + a. Solve 5*h = -4*g - u, -4*g + 5*h = 2*h + 12 for g.
-3
Suppose -958*h + 963*h - 25 = 0. Solve j + 3*s = h*s + 15, -s - 30 = -5*j for j.
5
Let k(r) = r**3 + 3*r**2 - 2*r + 13. Let t = 647 - 651. Let f be k(t). Solve 5*d + f*b = 0, 3*d - 5*b + 2 = -6 for d.
-1
Suppose -4 = -11*r + 10*r. Suppose -z = 5*o - 121, 4*o - 4*z = -20 + 112. Solve -i = 4*g - 12 + 32, o = -2*g - r*i for g.
-4
Let n(a) be the first derivative of 4*a**2 - 2 - 1/4*a**4 + 0*a + 2/3*a**3. Let f be n(4). Solve 5*z - 3*w + 17 = f, -6 = z + 4*w - 2*w for z.
-4
Suppose 637*c - 49 = 634*c + 4*t, -3*c + 40 = 5*t. Solve -c*l = -11*l + 16, 0 = -2*y - 4*l - 26 for y.
-5
Let h be (-160)/60*(-3)/2. Suppose f = 2*w + w - 1, 0 = h*w - 5*f - 5. Solve -5*d + 0*l = 3*l - 7, w = l - 4 for d.
-1
Let r be 187 - (0 - (-5 - -4)). Suppose 8*u + 446 = -r. Let m = -77 - u. Solve -t - 3*w - 8 = -0*t, -12 = m*t + 5*w for t.
4
Let q be (-35)/28 + 1 - (19/4 + -5). Solve 2*z - 13 = 2*a - 3, 3*a - 5*z + 17 = q for a.
-4
Let n = -2701 + 2704. Let c(j) = j + 1. Let b be c(2). Let x be (2 + 154/(-63))*(-11 - -2). Solve -m = -n*o + m - 7, -x*o - b*m + 19 = 0 for o.
1
Let o(t) = 8*t**3 - 76*t**2 + 34*t + 22. Let j be o(9). Solve -s + 3 = i, -24*i + 4 = -j*s - 20*i for s.
1
Let o(b) = -b**2 + 77*b - 1436. Let f be o(32). Solve -f*y = 3*x + 8, x = 5*x + y + 2 for x.
0
Suppose 10*w - 5 = 15. Suppose w*t + 4 = 0, 0*t + 22 = -5*k - t. Let z be 2/k + ((-62)/(-4) - 1). Solve 5*x - 6 = -i - 0, -3*i - z = -x for i.
-4
Suppose 2*t - 7 = 3*c, -57*c - 2*t + 15 = -52*c. Suppose -2*g + 45 = -5*x - 4*g, 4*x + 2*g + 38 = 0. Let v = 9 + x. Solve 0 = b + 2*d - 3 - c, b - d = -v for b.
0
Suppose -7*w + 3*b - 325 + 331 = 0, b = -3*w - 2. Solve 5*m = -681*t + 680*t - 20, -2*m - 3*t - 21 = w for m.
-3
Let f = -13741 - -13747. Solve -9*n = -f*n + 4*w + 19, -5*n - 5*w - 30 = 0 for n.
-5
Let l(s) = 3*s - 71. Let v be l(28). Suppose -h + 4*m + 7 = 0, v - 3 = 5*h + 5*m. Solve 3*x - 4*f + 1 = h, 4*x - f = 7 for x.
2
Suppose 0 = v - 4*m + 1, 3*v + 6*m - 65 = m. Suppose -8*c = -25 - v. Solve 0 = 3*s + t - 4, c*t + 31 = 2*s - 0 for s.
3
Suppose -981*p = -977*p - 44. Solve 9*j - 8*j = 4*v + 5, 0 = -4*v - j - p for v.
-2
Let d = -9806 - -9810. Let a be 1*8*(-4)/(-8). Solve -4 = a*s + 3*l, -s = -6*s + d*l - 5 for s.
-1
Let c(r) = r**3 + 45*r**2 + 34*r - 435. Let t be c(-44). Solve -42*k + 41*k = 2*s + 13, 37 = -t*k - 3*s for k.
-5
Let p(y) = y**3 - 8*y**2 + 9*y + 42. Let w be p(5). Solve 4*b - 33 = 5*m + w, 0 = -3*b + 4*m + 35 for b.
5
Suppose 0 = 17*a - 463 - 455. Suppose 46*o + 16 = a*o. Solve l + 8 = 3*x, -5*x - 3*l - o*l = -40 for x.
4
Let g be (5270/(-238) + 23)/(6/14). Solve -7*x - 1 = -8*x - 3*h, g*h = -3*x + 3 for x.
1
Suppose 2*c = 10 + 14. Let l be 112/3 + c/18. Let d be (1 - (4 + 14/(-4)))*l. Solve 0 = -5*u + 5*g + 5, u + g = -2*g - d for u.
-4
Let n be 2/(1/((-9)/(-6))). Let p be 6 + 2 + -2 + 1. Suppose -3*i + 4 = -2*i, h - 10 = 2*i. Solve y - x - x = -p, 3*y - n*x = -h for y.
-5
Suppose -11*r = 5*j - 8*r + 30, 0 = 5*j + 5*r + 40. Let k be j - 42/((-6)/1). Solve 0 = 5*q + k*y + 15, q + 15 = -4*q + y for q.
-3
Let v = -351 + 365. Suppose -4*x + 10*l + 36 = v*l, -3*l = 3. Solve 0 = -4*o + 5*q + x, 5*o - 5*q = -4*q + 2 for o.
0
Suppose -2*r - r + 3*k + 21 = 0, 0 = -4*r - 3*k. Suppose 4*h = r*z + 2*h - 43, 0 = -z + 2*h + 13. Solve d + i + 5 = -2, -d - 3*i - z = 0 for d.
-3
Suppose -40 = -5*g + 5*l, -6*l + 7*l = -g + 2. Let v(s) = -s**2 + 29*s + 35. Let y be v(30). Solve -15 = -y*n, n - g*n = -z - 11 for z.
1
Let h be (-2)/(-6) + (-70)/(-15). Let d be (h/(-2))/(9/(-54)). Let m be 0/(-3)*2/4. Solve -3*w - s = s + d, m = w - 4*s + 5 for w.
-5
Let t(z) = -37*z + 189. Let p(h) = -111*h + 570. Let k(q) = 2*p(q) - 7*t(q). Let u be k(5). Solve 5*g + u*n = -14, n = 2*g + 6*n - 7 for g.
-4
Suppose 105*f - 101*f = 4*w + 40, -2*w = 4*f - 4. Solve -3*d + 21 = f*c, -24 = -4*d - 3*c - c for d.
3
Let k = -264 - -264. Suppose 12*s - 60 = -k*s. Solve 4*o - 7 = 2*o + j, j + 13 = s*o for o.
2
Let u = -7 + 11. Let w be (-84)/(-231)*(-3520)/(-256). Solve 0 = -f - 2*t + 1, 0 = -w*f - 4*t + 3 - u for f.
-1
Let v be ((-28)/4 - (-2 + 1))*66/(-44). Solve z - 57*c - v = -52*c, 13 = 3*z - c for z.
4
Suppose -6*r = -9 - 9. Let z = 632 - 630. Solve 3*f = 4*f + 2*c - z, r*f + c = 11 for f.
4
Let v(f) = f**2 - 8*f - 16. Let p be 3 + ((-8)/(-36) - (-32)/18). Let g be v(p). Let r = 34 + g. Solve -5*q + 5 = 5*l, r*l - 5*q - 10 - 1 = 0 for l.
2
Suppose -2*w - 4 = -3*w. Let o = 7 - w. Solve -4*a + 2*k = -10, -a = o*a + 5*k + 25 for a.
0
Let j be 3 - (-3 + 6/(21/7)). Suppose 4*m = 45 + 51. Let p = m - 20. Solve -p*i - g + 7 = 0, 0 = 5*g + 1 + j for i.
2
Let a be (-30)/4*12/(-10). Let l be 2*a/((-36)/(-8)). Suppose t + 5 - 3 = v, -3*v = -4*t - 3. Solve 0 = -x + t*n - 0*n - 1, 0 = 4*n - l for x.
2
Let q be -3*2/2*-1. Let i be 348/60 + 0 + q/15. Solve -l = -2*b, b + 8 + i = -3*l for b.
-2
Let n = 58 - 33. Suppose n - 30 = -r. Solve b + 2*b - i = -18, r*i - 15 = 0 for b.
-5
Suppose -2*i - 5*f = 260, 4*i + 0*i = -4*f - 496. Let x = -116 - i. Solve -4*r - 28 = -x*n, -3*n + 11 = -r - 0*r for n.
2
Let r be