a + 10, -a = 5*h + 6 for h.
-2
Suppose 9*v - 12*v + 72 = 0. Suppose 5*o + v = 44. Solve 2*z - 2*n - 10 = 0, -2*n - o + 2 = 0 for z.
4
Suppose 28 = -4*g, -11*g = -3*i - 10*g + 31. Solve -i*p + 7*p - t - 1 = 0, -t + 7 = -3*p for p.
-2
Suppose -2*r = -3*q - 32 + 98, -2*q + 12 = 4*r. Solve 5*l = 10, -4*g = -21*l + 20*l + q for g.
-4
Suppose 0 = -127*j + 122*j - 745. Let d = 150 + j. Solve 2 = -3*q - 0*k + k, 0 = 2*q - k + d for q.
-1
Let w be 2*(148/8 + -16). Solve -p + 3*p - 20 = -5*k, 10 = w*k for p.
5
Let v(y) = -y**3 + 12*y**2 + 2*y - 12. Let d be v(12). Suppose -405*c + d = -399*c. Solve 5*t + 3*r + 22 = 0, -2*t + 3*r = c*t + 23 for t.
-5
Let d(f) = -f + 7. Let a be d(-18). Let r be (-4)/(-10) - (-39)/15. Suppose 4*k = -5*n - 3 + a, -r*k = 3*n - 15. Solve 2*w + n = 4*p, -w = -p + 4*w - 13 for p.
2
Let d = 214 + -187. Let q = -9 + d. Solve 0 = 3*l - 4*c - 17, l - q = 4*l + 3*c for l.
-1
Let m = -369 - -581. Let i = m + -203. Solve 4*w - i = 3*b + 10, 4*w + 6 = -2*b for w.
1
Suppose 16*r - 378 = 10*r. Let k = r - 53. Solve m = 5*z - k, -3*m = -4*m - 5*z for m.
-5
Suppose -4*s = -3*p + 15 - 12, 5*s - 30 = -3*p. Solve g - 7*w + 6*w = 0, s*g + w = -12 for g.
-3
Suppose c - 4 = -4*d + 41, -42 = -4*d - 2*c. Suppose 486*x - d = 480*x. Solve -3*z - x*s + 2 = 0, -4*z = z - 5*s - 45 for z.
4
Let b = 26 + 68. Suppose 5*k + 3*f + 13 = b, k = -f + 15. Let x = k - 18. Solve 8 = g - u, x*u - 3*u = -5*g + 30 for g.
3
Suppose 15 = -4*k + 3*k + 3*o, 4*k = 2*o. Solve 0 = 3*w - 4*n + 3, -k*n + 27 = 5*w + n for w.
3
Let z(h) = 5*h + 10. Suppose 4*l + 15 = 5*q - 5, -l = -4*q + 16. Let j be z(l). Solve 3*g = 4*y - 25, y = 4*g - 2*g + j for g.
-3
Let r(n) = n**2 + 2*n - 8. Let f be r(-4). Suppose 0*y + 15*y - 75 = f. Solve 2 = -a + 2*u, -3*u - 2 = 4*a - y*u for a.
0
Suppose -3*y = 2*y - v + 3, 5*y + 12 = 4*v. Let f = -2548 - -2553. Let i = 7 + -2. Solve -d - i = 2*d - s, y = 5*d + s - f for d.
0
Suppose 3*t - 4*o = 2, -12*t - 6 = -14*t - 2*o. Suppose t*n + 1 = 7. Solve 21 = 2*j + 5*b + 6, 9 = 2*j + n*b for j.
0
Let f = 23377 - 23372. Solve -13 = -5*z + z - 5*h, f*h - 22 = -z for z.
-3
Let w(n) = 69*n + 102. Let b be w(-6). Let c = 316 + b. Solve c = -j - 6*i + 3*i, 4*j + 2*i - 4 = 0 for j.
2
Let k(a) = 26*a + 17 - 76*a + 23*a + 29*a. Let q be k(-6). Solve -b + 22 = -5*z, 4*z - z + 30 = -q*b for b.
-3
Let h(b) = -b**3 + 83*b**2 - 4*b + 337. Let m be h(83). Solve 0 = 2*f + 2*f - 4*z - 40, m*f - 20 = -z for f.
5
Let r be 1*2/6 - (-34)/6. Suppose 0*l - 3*s - 3 = -3*l, 2*s = 4*l - r. Solve -a = -2 - l, -a = q for q.
-4
Suppose 43 + 28 = 24*u - 1. Solve 16 = u*y + 2*p, -3*y + 1 = -17*p + 16*p for y.
2
Let y(l) = 3*l**3 - 8*l**2 - 8*l + 27. Let d be y(4). Let k = d - 57. Solve -q = k*f + 8, 8*f - 8 = 4*q + 4*f for q.
-4
Suppose 0 = 3*w + 5*j - 28, 2*j + 46 = 11*w - 7*w. Suppose -3*y = -w*y + 24. Let f be 38/9 - (-4)/(-18). Solve -3*z - 3*l - 12 = -0*l, -y*z - f*l = 11 for z.
-5
Let g be (696/5394)/((-4)/(-62)). Solve g*y = -4*q - 2, -4*q = 2*y - 3*q + 2 for y.
-1
Suppose 6*n - 38 - 232 = 0. Suppose 2*u - 45 = -3*b + 4*u, 2*u - n = -3*b. Solve -b - 9 = 4*l - 4*p, -4*p = 2*l for l.
-4
Suppose 19 + 21 = 4*g. Suppose 61 = g*d - 19. Solve p - s = 5*p + d, 2*s - 17 = 3*p for p.
-3
Suppose 13*s = 5*j + 69, -55*s + 3*j = -59*s - 6. Let x be (-2)/5 - 154/(-10). Suppose 5 = 4*o - x. Solve -o*c = -3*r + 7, -3*r = -2*c + 2 - s for r.
-1
Let d(a) = 3*a**2 + 25*a - 85. Let f be d(-11). Solve 0 = -5*t - f*p - 27, 15 = 9*t - 10*t - 3*p for t.
-3
Suppose 897*i = 662*i - 328 + 1503. Suppose 0 + 6 = 3*t - 3*w, -4*w - 2 = -t. Solve 2*k + 8*z = 4*z + 10, -k + i*z = t for k.
3
Suppose 0 = 4*s + z - 148, s = -0*z - 3*z + 48. Suppose -2*f + 2*h + s = 0, 7*f - 98 = 2*f + 3*h. Solve 4*b = 3*i - 16, 2*b - 5*i = -0*b - f for b.
-1
Suppose -2*r = o - 39 + 14, -r + 125 = 5*o. Suppose 8*u - o = 3*u. Solve 3*t = 3*x + 9, 5*t + u*x = -17 - 8 for t.
-1
Suppose 5*w = 46 - 66, 3*l + w + 4 = 0. Suppose -4*v + 28 = 4*q, -3*q - v = -0*q - 11. Solve -p + n = -1, n + q*n + 9 = l for p.
-2
Let v = -39 - -55. Let q be -1 - v/4 - -7. Solve 5*p + 0*k - 28 = -q*k, -k = -4 for p.
4
Suppose -4*v + 59 + 81 = -4*m, -25 = 5*v. Let p(i) = -i**2 - 42*i - 75. Let r be p(m). Solve 5*h + 5*o = 0, 2*h + 3*o = r*h - 18 for h.
3
Let q(f) = 3*f**3 + 1. Let o be q(-1). Let h be 6/(-2 - 0/o). Let y be (0/(4/(h + 1)))/(-1). Solve y = -3*c - 2*w + 11, -4*c = -5*w - 40 + 10 for c.
5
Let r(v) = 71*v - 990. Let n be r(14). Solve -z - 1 = d + 2, 2*z + n = -3*d for z.
-5
Suppose 5*d + 30 = -5*v - 5, -5*d - 13 = -6*v. Let c(g) = 2*g**3 + 10*g**2 - 3*g - 10. Let j be c(d). Solve -2*p + 1 = -5*o, -2*o + o = -j*p + 14 for o.
1
Let y = 53 + -25. Suppose 5*k + 2 = -y. Let p be (-104)/(-12) - (k/(-9) - 0). Solve -2*f + 6 = 0, -u + 3*f - p = -0*f for u.
1
Let b(d) = 4*d + 39. Let n be b(-9). Let f(y) = y**3 - y**2 + 1. Let g be f(0). Solve 2*l + r = n, -l + 5*l + 3*r - g = 0 for l.
4
Let o = -6211 - -6213. Solve -5*s + 4*l = -o*s + 19, 5*s + 30 = 5*l for s.
-5
Let y(h) = 3*h**3 - 11*h**2 - h - 6. Let m be y(4). Let d be (-2 + 1 - -2)*-4. Let x = m + d. Solve 4*t + s + 10 = 2*s, s = -2*t - x for t.
-2
Suppose 0 = 9*d + 36*d - 945. Solve f - 5*g + 2 + d = 0, -g = -f - 7 for f.
-3
Let a be 14 - ((-3)/(-24) + (-71)/(-8)). Solve 9*b - 10*b + j = -3, -5*b = -j + a for b.
-2
Let g = 25 + 43. Suppose 4*d - 2*z - g + 26 = 0, -56 = -5*d - z. Suppose d*a = 10*a. Solve a = -q + 3*q - 2*h - 20, -q = h for q.
5
Let n = -481 + 526. Suppose 3*w + n*w = 192. Solve w*y - 5 = -o + 2, 2*y = 4*o + 26 for o.
-5
Let i be -6 + -2 + 16/2. Let p(m) = m**3 - m**2 + 2. Let j be p(i). Solve 0 = j*o + 3*g + 2, -21 = -5*o - g for o.
5
Let z = -98 - -96. Let s be (z*15/(-6))/1. Solve -c = g - 1, -s*c = g - 4*g - 5 for c.
1
Let j = 8 + -5. Suppose -232*f - 2*k = -230*f - 2, 4*k + 24 = 3*f. Solve -f*g + 5*n - 24 = 0, g + j*g + 5*n = 16 for g.
-1
Let n = 387 + -386. Let d be 7 - (4 + n) - (-2 - -2). Solve -2*x - i + 1 + 9 = 0, 2*x + d*i - 12 = 0 for x.
4
Suppose 4*o = 16 - 0. Suppose -6*s = -4*s + o*s. Suppose 18 = 3*i - 4*n, -i - 3*n + 6*n + 11 = s. Solve 3*d - 3*w + 9 = d, i*d - 3 = -w for d.
0
Let r = 11490 + -11482. Solve -3*i - 9*v = -11*v + r, v = i + 3 for i.
-2
Let m(a) be the first derivative of 13*a - 23*a - 37 - a**2 + 17*a. Let r be m(1). Solve -w - 1 + r = -3*i, -w = -i + 2 for w.
-5
Let k(w) = -w**3 - 14*w**2 - 26*w + 11. Let h be k(-12). Let b be (-786)/(-10) + 2*7/h. Let g = b + -78. Solve 5*o - o - 6 = -2*t, o = 2*t - g for t.
1
Let u(z) = -12*z - 34. Let j be u(-3). Suppose j*o = -v + 2 + 1, -5*v - 5*o + 30 = 0. Solve g - 3*g = -5*p - v, -3*p = -2*g + 3 for p.
-3
Let h be -10*(-98)/70 - 8. Solve h*o + 4 = -4*w + 10*o, 4*w + 5*o = 23 for w.
2
Let p be 3*(-5)/15 - -6. Suppose 0*b - 3*b = -p*i + 419, 0 = -4*i - 4*b + 348. Suppose 0 = -0*n - 5*n + i. Solve m - n = 4*u, -3*u = 2*u + 15 for m.
5
Let g = 17 + -14. Let h = 365 + -359. Let y be (-3 + -3)/(2/((-8)/3)). Solve y = 4*d + d - g*q, 0 = d - 5*q - h for d.
1
Let x(s) = -15*s**3 + 12*s**2 - 7*s + 3. Let i be x(3). Let z = i - -318. Solve 3*h - 3 = z*j, 4*j + 11 = -2*h - h for j.
-2
Let g(z) = -3*z**2 - 10*z + 13. Let y be g(-6). Let i = y - -33. Let f be i/(-6) - (-110)/30. Solve 5*x + f*c - 8 = 4, -3*x + 6 = 3*c for x.
4
Suppose 40 = 4*v + 20. Let s be (0/1)/(v + (-5 - -2)). Solve -x - 2 = -n + 6, -2*n + 8 = s for x.
-4
Let q = 340 + -652. Let g be (2/4)/((-39)/q). Solve 3*i + 4 + 11 = -5*x, i = -g*x - 5 for i.
-5
Let x = 9455 - 9450. Suppose 0*y - 4*q = y - 17, 26 = 4*y + 2*q. Let i = -28 - -84. Solve y*j + 16 - i = 5*a, -3*a + x*j = 32 for a.
-4
Suppose -1 = q - 5*s, 0 = -3*q + 5*s + 12 - 5. Suppose -2*i - 58 = -4*h, 0 = -2*h + q*i + 17 + 21. Solve -3*n = -k + 7, 3*k - 2*n - h = 3*n for k.
1
Suppose -3*h - 5*a = -33, h + 4*a = -4*h + 42. Let r(s) = -19*s + 122. Let u be r(h). Solve -3 = 2*f - 1, 5*f = -o - u for o.
-3
Suppose b = -407*y + 408*y + 13, -y + 5 = 0. Solve -4*a - 16 = -14*n + b*n, -a - 7 = 2*n for n.
-3
Let f = 157 - 147. Let j be 2/10 - f/((-100)/18). Solve -4*a + 2*v - 8 = -j, 0 = 3*a + 2*v + 1 for a.
-1
Let v = 7622 + -7622. Solve -h + y + 1 = h, -2*h - 2*y - 2 = v for h.
0
Let c be 38/6 + (-280)/1200*10. Solve -r = -5*o - 18, -2*r - c*o + 10 = 16 for r.
3
Let d = 100 + -75. Suppose 157*s - d =