*h + 5 + 1, -22 = -d*f - 3*h for f.
4
Let a(h) = -h**2 - 12*h + 175. Let x be a(8). Solve -3*g + 2 = -2*v, 17*g - 12*g - v = x for g.
4
Let x(b) = b**2 + 216*b + 1265. Let s be x(-6). Solve -n - s = 0, 3*f - 5*f + 3*n + 5 = 0 for f.
-5
Suppose 31*d + 465 - 682 = 0. Solve -2*a + 4*f = -28, -5*f - 10 = 2*a + d for a.
4
Let q(t) = t**2 - 125*t + 488. Let i be q(4). Solve 0 = i*g + 4*m - 24, -5*m = -2*g - 120 + 125 for g.
5
Let q = 9 - 5. Suppose -x + 64 = x. Let m = -335 - -337. Solve -d - m*h + 4 + 9 = 0, -x = -q*d - 4*h for d.
3
Suppose 0 = -3*o + 4*s - 14, -o - o - 5*s - 17 = 0. Let h be ((-6)/3)/(2/(6/o)). Solve t + 2*t = 5*j + 1, j - t + h = 0 for j.
1
Let l be (2484/3864)/((-6)/(-168)). Let m be ((-3)/(-3))/(-2)*-6. Solve -3 = -2*w + k, -k - l = -2*w + m*k for w.
-1
Let h(p) = -p**3 - 6*p**2 - 27*p - 106. Let k be h(-5). Solve -32 = 4*y + k*r, 3*y + 26 = r + 14 for y.
-5
Suppose -2*b = -3*n - 30, 2*n - b = 9 - 28. Let s be 0 + 4 + (-20 - n)/6. Solve i = -s*w, 0 = 5*w + 1 + 4 for i.
2
Suppose -21*w - 161*w = -546. Solve 4*k + 23*s - 28*s - 10 = 0, -w*s + 11 = k for k.
5
Let c(s) = -s**2 + 82*s - 1613. Let f be c(33). Solve 5*m - 7 = 2*a - 22, -3*m - f*a - 35 = 0 for m.
-5
Suppose -5*m - 8 = -2*c, -5*c + 16 = -c + 5*m. Let q = 16 - 20. Let w be q + (6 - 2) - -4. Solve 6*v - 3*v + 2 = 4*g, w*v = c*g for g.
2
Suppose -35 + 89 = 18*m. Suppose 0 = 3*z - 2*c - 6, 4*z = m*z - c + 2. Solve 0 = u + 4*o - 9, -4*u + 26 = 4*o + z for u.
5
Let o(a) = -4*a**2 - 2*a + 122. Let b be o(5). Solve 2*z - 5*s + 1 - 10 = 0, 0 = -z + 5*s + b for z.
-3
Let p(x) = -x**3 - 6*x**2 + 19*x + 24. Let u be (-31 - -7)*(-3)/(-9). Let z be p(u). Solve -2*r - 2*r = 5*y + 7, -4*r + y - 13 = z for r.
-3
Suppose -18*i = 17*i - 210. Solve z = -0*g + 2*g + i, -2*g = -5*z - 10 for g.
-5
Let f(i) = 4452 + 0*i + 3*i - 2*i**2 - 4417. Let n be f(5). Solve 3*a + 2*c = -21, a + n*a = -c - 8 for a.
-5
Suppose 0*i - 3*x = 2*i - 7, -4*x + 40 = -5*i. Let s be 1 + i/(-1) - -5. Solve -4*n = -5*b - s, -5*b + 2*b = -n - 1 for b.
2
Let w = 120 - -360. Suppose w = -7*x + 2*x. Let k = x - -100. Solve 0 = 3*q - k*q - s - 1, s = 3*q + 15 for q.
-4
Let q = 131 + -61. Suppose 0*m - 5*f = -5*m + q, 5*m - 64 = 3*f. Let l = 14 - 4. Solve -3*x + 4*h = -m, 2*x = 5*h + l + 2 for x.
1
Suppose 15*s + 10 = 145. Suppose 43 = 2*y - 4*q + s*q, -4*y = -4*q - 16. Solve f = -2*v + 6, f + 0*f + 5*v = y for f.
4
Let v be 164/42 + (-22)/(-231). Solve f + i - v = 1, 5*i = 3*f - 15 for f.
5
Let h = -292 - -306. Let r be (-4)/h*(-9 + -19). Solve -7*y + 3*k + r = -5*y, -y + 4 = -k for y.
4
Suppose 4*t = 20*t + 101 - 165. Solve 2*u - 2*b + 8 = 0, 2*u - 3*b = -9 - t for u.
1
Suppose 10*a - 5*a - 345 = -5*v, -2*v = 4*a - 144. Suppose 17*s = v*s. Solve 2*c - 18 = -4*f, -f + s*c = 2*c - 9 for f.
3
Suppose -230 = -81*m - 9*m - 50. Solve -m*j - 3 = 3*l + 7, 4*j + 18 = -5*l for l.
-2
Suppose 831*o - 1669 = 255 + 7217. Solve 17 = -406*m + 411*m + y, m + 4*y - o = 0 for m.
3
Let f = -7448 - -7448. Solve 4*u - 12 = f, -73 + 62 = -4*y - 5*u for y.
-1
Let n(g) = -g**2 - 6*g + 6. Let l be n(-6). Suppose 6*t + l - 24 = 0. Suppose -2*y - y = -t*m, -5*m - 4*y = 0. Solve 3*a + 5*c + 6 - 11 = m, 3*c = -a - 1 for a.
5
Let v(i) = 12712 + 0*i + 10*i - 12679. Let g be v(-3). Solve -3*u - 28 = 2*y + 2*u, 0 = -g*y + u - 8 for y.
-4
Suppose -3 = -3*v - 3*d, d = -3*v + 4*d + 21. Let i(k) = k**3 - 4*k**2 + 4*k - 11. Let n be i(v). Solve 2*t - 5*a + 15 = -2*t, 0 = -n*t + 5*a - 20 for t.
-5
Let x be ((-21)/2)/(1/2). Let c = x + 21. Solve 14 = -3*t + y - c*y, 4*t - 8 = -4*y for t.
-3
Let y = -3034 - -3038. Let l = 4 + -4. Suppose 4*b - 12 = l, 55 = 4*a + b - 4*b. Solve q = -y*s - a, q - 3*s - 12 = -q for q.
0
Let s(a) = -2*a - 8. Let k be s(4). Let o = 17 + k. Let d = -734 - -736. Solve d*g = 3*w - w, g = o for w.
1
Let x = -9681 - -9684. Solve i - x*i = 4*b - 6, -2*i - 8 = -3*b for b.
2
Suppose -285*l + 183*l = -408. Solve -5*u = 4*s + 23, 2*s = l*u - 2 + 10 for u.
-3
Suppose -5*y = 4*k - 689, -4*k - 2*y + 0*y = -698. Suppose -3*x + k = x. Suppose -x*z + 2 = -43*z. Solve o - z = 3*m, -4*o + 0 = -3*m + 1 for m.
-1
Let g(a) = a**3 + 2*a**2 - 163*a + 70. Let j be g(-14). Solve j = -3*c - 2*l + 2, 0 = -2*c - l + 5*l + 12 for c.
2
Let p be 1404/741 - (-8)/76. Solve -2*h - 3*c + 9 = 1, -h + p*c - 10 = 0 for h.
-2
Let r be (-5)/(-1) + (-226 - 12). Let v = r - -238. Solve 3 = 4*f + v*s, 2 = 3*s + 5 for f.
2
Let j(n) = -5*n + 2. Let t be j(-3). Let x = 15 - t. Let o be (21 - 11)/(x/(-1)). Solve -2*p = 4*b + 10, -8 = -2*p + o*b - 0 for p.
-1
Let q(h) = -74*h - 10. Let n be q(1). Let l = n + 84. Let x be 4/8 + l - (-20)/8. Solve 2*k + 4 = -3*f, -4*k - x*f + 3 = 17 for k.
-5
Let f(d) = -25*d - 1025. Let o be f(-41). Solve 2*n + 9 = 5*q + 25, 5*q + n + 7 = o for q.
-2
Let v = -116 - -39. Let y = 72 + v. Let p be 31/5 + y/25. Solve 0 = -2*f + p, -2*l - l - 18 = -3*f for l.
-3
Let f be (1 - 0)/(-2) - 526/4. Let x be 5*(f/(-20))/11. Solve 7*w - x*w - 16 = 0, -4*s = 3*w - 8 for s.
-1
Suppose -5035 + 4914 = -11*n. Solve -9*q + n = -2*g - 10*q, -3*g + 2*q = 6 for g.
-4
Let z(n) = -4*n + 15. Let o be z(7). Let g = o + 16. Suppose g*i + 8 = 7*i. Solve 5*w = 2*d + 23, -4*d - 2*w = i + 8 for d.
-4
Let v(r) = r**2 - 3*r - 1. Let k be v(3). Let f be k + 3 + -24 + -2. Let c = 29 + f. Solve 2*x = -c*p, 15 = 6*p - p - x for p.
2
Let h be ((-10)/(-25) + -4)/((-6)/15). Suppose -h*p = -6*p - 24. Suppose -5*c = 2*g - p, -6*c + 2*c - 3*g + 5 = 0. Solve 3*s = -c*m + 2 + 6, m + 18 = 4*s for m.
-2
Let a be 2/12 + -8 + (-2086)/(-84). Solve x + s = 0, a*x - 2 = 13*x - 2*s for x.
1
Let d(c) = -6*c + 59. Let l be d(12). Let v = l + 24. Suppose x + 20 = v*x. Solve 8 = -g + k, x*g - 5*k = -0*g - 28 for g.
-4
Let u = 32187 + -32185. Solve 0 = -5*r + f - 26, f + u*f = -7*r - 54 for r.
-6
Suppose 5*o = o. Suppose 3*r + 4 = -5*t - o*t, 0 = 2*t + 4. Let k be ((10/(-8))/1)/((-204)/816). Solve -20 = 5*n - k*s, n + 2 - 7 = -r*s for n.
-1
Let o = 5740 - 5740. Solve o = -5*d + 9*d, -u + 2*d + 1 = 0 for u.
1
Suppose 0 = -168*f + 3356 - 500. Solve 0 = 3*r + 2*l + 1, -4*l - 12 = -3*r + f for r.
3
Let k = 151 - 147. Suppose -t + 11 = 3*a, k*a = 53*t - 55*t + 16. Solve 5*l = -10, t - 10 = q + 4*l for q.
0
Suppose 3*i + 2*i = 45. Let m(s) = -3*s**2 + 141*s + 150. Let t be m(48). Solve 3*g - i + 2 = j, -g - t = -2*j for g.
4
Let g = -573 + 590. Suppose g*o - 18*o + 3 = 0. Let j = 5 + -2. Solve 4*y - f = j*f - 12, -o*y - f = -3 for y.
0
Suppose 0 = -4*f - 5 + 21. Let i = -335 + 338. Suppose -z + f*w + 18 = z, 5*w + i = -4*z. Solve -13 = z*u + 4*b - 0, 0 = -4*u - 5*b - 17 for u.
-3
Let d(x) = -x**2 - 68*x - 178. Let s be d(-3). Solve g - 4 = 2*q, 0*g - 4*g = 3*q + s for g.
-2
Suppose 95 = 31*q - 26*q - 2*w, 0 = 4*w - 20. Suppose -q*b + 40 = -23. Solve k + d + b = 0, 2*k = 5*d - 18 - 2 for k.
-5
Let l(r) = 89*r - 1591. Let x be l(18). Solve 0 = 5*t - 15, -x = 3*z + z - 5*t for z.
1
Let c be 0*(2/1)/(-2). Suppose -47*b - 103 + 189 + 149 = 0. Solve -k + b*k - 2*t + 12 = c, 0 = -4*t + 16 for k.
-1
Let w be 9 + -19 - (-10)/1. Solve -3*t - c - 5 = w, 3*t = 5*c - 2 + 9 for t.
-1
Let l be (-1)/((-1)/3*42/56). Suppose -5*d - l*m + 3 = 0, -d + 2*m + 0*m + 9 = 0. Solve -f + 2 = 2*z, f + 0*f + 13 = d*z for f.
-4
Let w(a) = -96*a**2 - 962*a - 15. Let o be w(-10). Solve -40 = o*r + 5*c, -3*c - 4 = r + 14 for r.
-3
Suppose -10*a + 56 + 4 = 0. Let s be 3 + (0 - a) + 5. Solve -6*i + 2*i + s = 2*v, -5*i = 5*v for i.
1
Suppose -j = 4*k - 79 - 379, -3*j = 3*k - 1374. Let t = j + -442. Let z = 6 + 1. Solve z*d = 4*r + 3*d - t, -5 = -r + 2*d for r.
3
Let b = -4102 - -4104. Let o(y) = y**3 - 6*y**2 + 7*y - 4. Let c be (-2)/(-9) - (-86)/18. Let x be o(c). Solve l - b*a + 14 = -x*a, -5*l - 2*a = -2 for l.
2
Let m = 28727 - 28711. Solve r - 2*a - 4 = 0, 4*r = -a - 2*a + m for r.
4
Let o = 60 - 56. Let z = -41 - -46. Solve 4*j - z = 5*i, o*i - 4 = -j - 29 for i.
-5
Let y = -32 + 32. Let f be (-4)/(-2)*(1 + -12). Let n be -5*6/(-7) + f/77. Solve y = q - h - 3, -1 + 4 = n*q - h for q.
0
Suppose 28*i - 62*i = 6630. Let n = 199 + i. Solve 5*d + 20 = -5*z, 0*d + 3*d + 14 = -n*z for z.
-2
Suppose 0 = 5*w - p - 105, 5*w = 7*w + p - 49. Solve -i = 2*m - 9, 39*m + 2*i - w = 34*m for m.
4
Let z be 608 - -16*8/16. Let v = -612 + z. Solve -5*k = 