= -h + 4*n for h.
2
Let r(y) = 168 + 207 - 12 + 49*y - 17. Let m be r(-7). Solve m*p + 17 + 0 = j, -9 = p - 2*j for p.
-5
Suppose 4*s + 1239 = -11*n + 6*n, s + 294 = 4*n. Let w = s + 308. Solve -g = 4*o + 4, 0 = -2*o - 2*g - 2*g - w for o.
-1
Let l be 608/18 + 0 + 70/315. Suppose 37*k + 90 = l*k. Let s = 0 - k. Solve 0 = -4*j + 2*h - 26, -5*j + 0*j - s = -2*h for j.
-4
Let f(q) = q**3 - 6*q**2 + 2*q - 64. Let o be f(9). Suppose 0 = o*r - 203*r. Solve -g + 4*b = 1 - r, 3*b - 18 = -5*g for g.
3
Let o(i) = i - 35. Let g be o(11). Let a be (g/14)/((-28)/98). Let v(r) = -r**3 + 7*r**2 - 6*r + 1. Let k be v(a). Solve -m + 3 = u - k, -4*m = -5*u + 2 for u.
2
Let d = 2232 - 2232. Solve 3*k - 2 = -2*m - 0, m - 3*k + 8 = d for m.
-2
Suppose -264*q + 185*q = -395. Solve -4*b = -q*w + 21, w - 2*b - 11 = -2*w for w.
1
Suppose 2*a = -20*a. Suppose -y + 5*k + 20 = 0, -3*y = k + 4 - a. Solve -c - j + 1 = y, c + 3*c = 4*j - 28 for c.
-3
Suppose 5*j + 28 = 3*b - 12, 0 = b + 4*j + 15. Solve 0 = -4*v - b*k - 37, -2*v + 0*v = -3*k - 9 for v.
-3
Let n(m) = -24*m + 121. Let z be n(5). Let c(q) = 12*q - 5. Let v be c(z). Solve 3*i + 21 = -3*f, -5*i - 2*f - 5 = -v*f for i.
-4
Let q(r) = 169*r + 4565. Let i be q(-27). Solve i*y + 4*k + 8 = -0*y, 5*y - k - 2 = 0 for y.
0
Let x = -476 - -480. Suppose 2*m = 0, x*n - 6 = 2*n - 2*m. Solve -3*u - 3*a = n, -a - 9 = -2*u + 5*u for u.
-4
Suppose -5*y + 566 = -r + 522, -2*y = -4*r - 50. Solve -2*n + 8 = -y*f + 9*f, 0 = -4*f + n + 11 for f.
3
Let t(j) = j**2 - 8*j + 11. Let w be t(5). Let q be (-4 + 1 - w)*3. Suppose -15*h = -q*h - 36. Solve -h*n - 9 = 2*v, 0*v + 3*v + 9 = -3*n for v.
0
Let p(g) = -g - 9. Let b be p(-9). Suppose b*i = -0*i + 3*i. Suppose i = -3*w + 1 + 8. Solve 3*a = -2*v - w, -v + 6*v + 12 = -3*a for v.
-3
Suppose -71880*o = -71869*o - 33. Solve -2*v + 5*v + 3 = 3*p, 4*v = o*p - 1 for v.
2
Let n be ((-1)/(-1 + -1))/((-6)/708). Let v = 62 + n. Suppose 3*s = -v*s + 12. Solve 4*c - 2 = r, 5*c + 2*r - s + 6 = 0 for c.
0
Suppose -7*k = -k - 18. Suppose a + a - 5*j - 18 = 0, 0 = -4*a - k*j - 16. Let n = 14 - a. Solve -5*l = -3*f, 2*f - n = 5*f for l.
-3
Let r be 77 - (0 - (1 - -1 - 3)). Let n = r + -71. Suppose n*b = 3*c + 1 + 2, 0 = -3*b + 3*c + 3. Solve -4*q - j = b, -q - 2*q + 17 = 5*j for q.
-1
Let x = -1535 - -1542. Solve -19 + x = -3*k - 5*g, 0 = -2*g + 6 for k.
-1
Suppose 25 = 4*t + t. Suppose 110*s = 5*z + 105*s - 25, 0 = -4*z - 4*s - 20. Solve -4*i + 3*i - 5*u = -22, -t*i - 2*u - 5 = z for i.
-3
Let i = -1502 + 857. Let j = i + 650. Solve p - j = 2*a, -46 = 2*p + 5*a - 11 for p.
-5
Let w(x) = -84*x**3 - 2*x**2 + 1. Let c be 5 + 10/(-2) - 1. Let y be w(c). Let r = -81 + y. Solve -5*g - r*b + 6*b + 5 = 0, -3*b = -4*g + 5 for g.
5
Suppose 17*b - 13 = 4*b. Suppose 4*g + i = 17, 0*g - 3*i - b = -g. Let c be -6*(2/8 + (-3)/g). Solve -18 = -3*n + c*r, 2*n + 5 = 3*r + 19 for n.
4
Let r be (-72)/(-42) - (-2)/7. Let g = 65 + -53. Suppose 98 = g*d - 10. Solve -r*x - 5*u - 19 = 0, 6*u = -2*x + 3*u - d for x.
3
Let l(p) = -p**2 - 14*p - 13. Let z be l(-12). Suppose 0 = 4*x - 20, 6 = 4*c + x - z. Suppose 0 + 6 = c*g. Solve 5*b - t = 15 - 2, 0 = -g*t - 6 for b.
2
Let y(a) be the second derivative of a**3/6 + a**2 + 10*a. Let r be y(1). Suppose 2*f - 3*f = x + 2, 20 = 4*x - r*f. Solve 3*p + 3 + x = 2*w, 0 = 2*p + 2 for w.
1
Suppose 0*v - 5*d = 2*v - 44, 3*d = -3*v + 75. Suppose v - 9 = 6*q. Suppose u + 13 = 3*i, 15 = -q*i + 6*i. Solve 8 = u*m, 3*m + 2*m - 12 = 4*k for k.
2
Let h be (76/10)/(6/15) + 2. Suppose -5*b + 20*x - 19*x = -h, -2*x - 2 = -2*b. Solve 0 = -3*m, -2*c = 3*m - 1 + b for c.
-2
Let g(i) = 46 + i - 4*i - 8*i. Let r be g(11). Let j be (6/9)/((-2)/r). Solve -5*a + 20 = 5*b - j, -a - 7 = -3*b for b.
4
Suppose -2 = -6*r + 310. Let f = -52 + r. Suppose 0 = -5*w + 3*p + p + 45, f = -3*w - 2*p + 5. Solve 0 = 3*g + 2*d - w, g - 6*g + 4*d = -23 for g.
3
Let a = -2776 + 2776. Solve 5 = -3*i + 4*x, -4*i + 5*x - 6 = -a*i for i.
1
Let b = -5031 + 5034. Let t(c) = -c**2 - 4*c + 7. Let y be t(-5). Solve b*r = s + y*s - 9, 3*s + 11 = -r for s.
-2
Let s(i) = i**3 + 6*i**2 - 19*i - 68. Let b be s(-7). Let t(f) = -2*f**2 + 35*f - 23. Let k be t(b). Solve -5*z = -k, -2*z + 4 = 3*m - 0*z for m.
-2
Let d(z) = -z**2 - 55*z + 241. Let n be d(4). Solve -52*u + 51*u = 5*x, 2*u + 5 = -n*x for x.
1
Suppose 45*p + 80 + 145 = 0. Let t be ((-4)/p)/(2*9/180). Let g(y) = -y**2 - 4*y + 7. Let w be g(-5). Solve 0*r + 3*r - w = a, 3*a - t = 2*r for a.
4
Suppose -14*n + 19 = -1 - 22. Solve 5*w = n*z - 1, w + 5*z + 15 = 26 for w.
1
Suppose -5*i = d + 8 + 13, 5*d = -3*i + 5. Solve 4*u + 8*o = 13*o + 8, u - d*o - 13 = 0 for u.
-3
Let g be (230/(-92)*8/(-5) - 2) + 7. Solve -26 = 4*s - v - g, 5*s = -5*v + 10 for s.
-3
Suppose 0 = -4*c - c - 235. Suppose -81*k + 70*k = 572. Let r = c - k. Solve 0 = -5*u + 2*t + 1, 3*u - r*t - 8 = 4 for u.
-1
Let l(m) = m**3 + m**2 - m + 2. Let d be l(0). Let s(y) = y**3 + 12*y**2 + 6*y + 2. Let k be s(-9). Let u = k + -176. Solve -j = 5*z + d + u, -3*j = -2*z for z.
-3
Let h = -2438 + 1632. Let k = h + 821. Let p(f) = -f**3 - f**2 + 3*f - 4. Let a be p(-3). Solve -r + a*n = -3*r - 26, r = -3*n - k for r.
-3
Let p be (-3)/(-12) + (7 - 69/4). Let w = 20 + p. Solve -5*c = -5*j - w, c + 16 = -c - 3*j for c.
-2
Let h(l) = l**3 - 9*l**2 - l + 3. Let b be h(6). Let g be (b/(-15) - 1) + (-10)/25. Let m be 270/20 + g/(-4). Solve 3*c - m + 1 = -r, 4*c - 14 = -r for r.
2
Let l be 3267/297*(-1)/(-22)*6. Solve f + 2 = -l*x + 5, 0 = 4*f - 12 for x.
0
Let v = -3442 + 3445. Solve 0*o + 5*o - 5*r = -15, -o + v*r - 5 = 0 for o.
-2
Let v = -114 - -131. Let z(w) = w**3 - 17*w**2 - 2*w + 34. Let g be z(v). Solve -3*y - 9 = -3*m, y - m + 6*m - 15 = g for y.
0
Suppose 0 = 4*f + 5*y + 2, 3*y - 1 = -5*f + 3. Let u = -258 - -257. Let m be 5/(u*(1 + -5 + 3)). Solve -4*w + 2*c - 14 = -0*c, -18 = m*w - f*c for w.
-4
Let q(a) = -a**2 - 10*a + 41. Suppose -3*l + 33 = -2*b, 9 = 2*b - 3*b - l. Let g be q(b). Solve -3 = 4*p - h, 2*p - g = 3*p + 3*h for p.
-2
Suppose -2*k - 4 = 0, q + 2 = -4*k - 4. Let t(u) = -3 - 5 + q - 2*u - 1. Let b be t(-6). Solve 2*o = 2*c + 3*o - 2, 2*c + 6 = -b*o for c.
2
Let q(i) = 6*i + 10. Let b = -20 - -20. Let t be q(b). Suppose -3*n = -g - t, 0*g + 3*n - 8 = 2*g. Solve -2 = -g*o + 2*z + 4, -4*o - 4*z - 28 = 0 for o.
-2
Let d = -286 - -133. Let b = d - -156. Solve 5*n = a - 19, -5*a + n - b*n = -14 for a.
4
Suppose 5 = -5*v, 7*q - 44 = 2*q - v. Let t(w) = -8*w**2 + 133*w + 56. Let x be t(17). Solve 2*z - 2*s - 10 = 3*s, 0 = x*z - 4*s + q for z.
-5
Let r(b) = -10*b**2 + 13*b**3 + 8*b**3 - b - 20*b**3 + 7. Let v be r(10). Let y be (-56)/(-16) + 2 + v/2. Solve 0*d = 2*d + y*m - 4, m - 3 = -d for d.
4
Let a(c) = c**2 - 40*c + 89. Let p(n) = n + 1. Let w(s) = -a(s) - 2*p(s). Let h be w(35). Solve 8 = 2*o, -2*u + 0*o = o - h for u.
5
Let j(f) = 2*f**2 + 92*f - 188. Let y be j(2). Solve -y*d + 20 = 0, -w = -0*w + 2*d - 5 for w.
-5
Let y = 256 - 248. Solve s - y = 2*s - 5*m, -2*s - 5*m = -14 for s.
2
Let t = -19818 + 19908. Solve -94*h - 3*r - 1 = -t*h, 0 = 3*h + 2*r + 1 for h.
-1
Let w(t) = t**3 - 4*t**2 + 3*t + 4. Let m be w(3). Let p = 46576 - 46572. Solve 0 = -p*b - l, 0 = -m*b - 6*l + l for b.
0
Let d = 537 - 533. Solve d*r + 2*p = 30, 2*p - 9 = -2*r + 11 for r.
5
Let v be (7 - (-715)/(-15))/((-2)/27). Let t = v - 546. Solve 2*o - 9 = -f, -3*o + 0*f - 9 = -t*f for o.
2
Suppose 5*j = 2*r + 181, 23*r - 18*r = -3*j + 90. Solve 5*z - j = b + 4*b, z - 2 = 0 for b.
-5
Suppose 0 = 48*z - 34*z. Let q(p) = p**3 + p**2 + 8*p + 4. Let g be q(z). Suppose -f + 6 - 2 = 0. Solve g*v = -f*i + 16, 0*i - 4 = 3*v - i for v.
0
Suppose 0 = 3*t + t - 684. Let o = t + -169. Suppose -2*p = -7*p + 40. Solve p = -2*j, 5*h = -o*j - 2*j - 26 for h.
-2
Suppose t = 2*p - 3, -2*t = -0 - 2. Let c be ((-10)/(-4))/(1/p). Solve -2*q + 0 = 2*d + 2, q + 3*d = c for q.
-4
Let l = -1032 - -1035. Solve -5*b + 2*m = -0*m - 19, 4*b + l*m - 6 = 0 for b.
3
Let k = -21 - -46. Suppose -59*j + k*j = 0. Solve 2*y = -0*b - b + 2, j = 3*b - 2*y - 6 for b.
2
Suppose -4*k + 16 = -4*f, -4*k - f = -k + 8. Let t be (-4)/(((-4)/(-2))/k). Let p = 0 - -8. Solve -5 = 2*g - g - t*d, -4*d = -4*g - p for g.
1
Let y = -46 - 48. Let m = 97 + y. Solve 16 = -2*r + 4*i, -4 = -m*r - i + 