- j*h, -h = -5*m + g for m.
2
Suppose -2*s = -5*s. Suppose s = -5*v - 88 + 128. Solve 0 = 5*x + 12 + 3, v = -g - 3*x for g.
1
Let p(f) = -f**3 + 4*f**2 - 5*f + 4. Let o be p(5). Let j = o - -70. Let b = 26 - j. Solve -6*t + t - n = 0, -t + b*n + 11 = 0 for t.
1
Suppose -9*z - 221 = -671. Suppose 9*x + x - z = 0. Solve -4*u = -5*q + 40, 0 = u - 2*u - x for q.
4
Let n(a) = 7*a**2 - 27*a + 42. Let b be n(2). Let u be (-24)/(-5) - (-3)/15. Suppose u*c - 8 = 3*c. Solve -2*s + c*o = b, -s = 4*s + 5*o - 20 for s.
0
Suppose 3*o + 6*b - 9*b = 105, 4*b = -2*o + 40. Solve -26*j = -2*s - o*j + 4, -5*s + 3*j - 29 = 0 for s.
-4
Let g(y) = 2*y**2 + 11*y - 2. Let h(z) = 3*z**3 - 29*z**2 - 11*z + 4. Let l be h(10). Let c be g(l). Solve -c*r = -4*d + 12, 3*d - 9 = -0*d - 5*r for d.
3
Let d be (-3 + 0/(-2))*11. Let j be (-6)/33 + (-6)/d. Suppose 51 = -48*t + 291. Solve 0 = -2*w - 4*o - 6, j = -t*w + 5*o - 0 - 15 for w.
-3
Let j = -6603 + 6606. Solve 4 = -p - 4*z, 5*z - 2*z + j = 2*p for p.
0
Suppose 3*o + 15 = 5*z, -62 + 72 = -2*z - 2*o. Let k = -19 + 27. Solve 9 = 2*q - 3*h, z = q - 0*q + h + k for q.
-3
Suppose -458 = -2*h - z + 5*z, -2*h + 467 = -z. Let q = -231 + h. Solve 2*u - 4 = p + p, 28 = 5*u + q*p for u.
4
Let d(w) = 3*w - 2. Let u be d(2). Suppose 724 = 18*l + 163*l. Let v(f) = f**2 - 8*f + 10. Let j be v(7). Solve c - 7 = j*p, -c = l*p + c - u for p.
-1
Suppose 9*o + 5*r + 17 = 7*o, 2*r = o + 4. Let i(v) = v**3 + 7*v**2 + 3*v - 8. Let t be i(o). Solve -4*y - 4*h - 20 = -4, -4*h - t = -2*y for y.
-1
Let q(n) = -10*n - 100. Let c be q(-10). Solve 5*t + 0*t - 6 = -y, c = 2*t + y for t.
2
Suppose -4*g - a = 2*a - 141, 5*g - 174 = -3*a. Suppose -g*m + 38*m + 3*o - 5 = 0, 0 = 5*m - 2*o - 30. Solve -2*x = -0*b + b + 6, -3*x + m = -5*b for x.
-2
Let v = -11 + 13. Let q = v - -4. Suppose -3*a = j + 2, q*j - j = -a - 10. Solve c + 2*p + 1 = 0, -p = -a*c + 2*c - 1 for c.
1
Suppose -2*a - z + 9 = 0, 11*a + z = 10*a + 5. Solve a*x - 12 = -2*q - 0, -12 = -5*q - x for q.
2
Suppose -3*m - 13 = -5*a, -3*a = -4*a - m + 9. Suppose -a*w + 3*w - 86 = 0. Let b = 49 + w. Solve c + b = -2*v, -6 = 5*c - 3*v + v for c.
-2
Suppose -4*k - 23 = -23. Solve 14 = -k*i - 3*i - n, 5*i + 5*n = -30 for i.
-4
Let m be (2/(-6))/(18/(-1998)). Suppose 3*q - 30 = 3*r, 2*r - m = -47. Solve -12 = -2*j - q*i, 4*j - 1 = i + 1 for j.
1
Let o be (-4)/(-44) - 86/(-22). Let j(r) = r**2 + 4*r + 4. Let w be j(-3). Solve -4*f = 3*z - 11, 4 = o*z + 3*f + w for z.
-3
Suppose k + 3*v + 84 = 27, 0 = -3*k - 4*v - 181. Let i be 18/k + (32/14)/1. Solve 0 = -5*w + 2*p - 15, 5*w + i*p + 10 = 5*p for w.
-5
Let v = 1080 + -1080. Solve -n + 5 = -h, -5*h + 9*h + n = v for h.
-1
Let i(j) = j**3 + 19*j**2 - 19*j + 22. Let c be i(-20). Suppose 0 = 13*y - c*y - 99. Solve 3*h = -y, -4 = 2*g - 3*h - 5 for g.
-4
Suppose -11269*c - 390 = -11308*c. Solve -4*x + 3*f - 8 = 0, -11*x - f - c = -6*x for x.
-2
Suppose -g - 8 = -4*p + g, -2*p = -3*g + 4. Suppose 22*z - 1925 - 3289 = 0. Suppose -227*x - 50 = -z*x. Solve -x*q + p*n + 14 = -8, -3*q + 5*n = -21 for q.
2
Let f(y) = 8*y**2 + 98*y + 25. Let r be f(-12). Solve 3*s - 4*s + c = -r, 6 = -2*c for s.
-2
Let w = -7 - -62. Suppose 4*z = -25 - w. Let l = 22 + z. Solve -h = 0, l*h = -3*p - 2*p - 20 for p.
-4
Let s = 94 - 90. Suppose -2*p + 6*p - p = 0. Solve 0 = -3*q - p*w + s*w + 2, 0 = -2*q - w + 5 for q.
2
Suppose -196 = -133*w + 317 - 114. Solve -w*q = i + 9, -5*q = -10*i + 9*i + 7 for i.
-3
Let i be (-8)/(-36) - 112/(-63). Suppose -5*o + 9 = i*q, 3*q - 7 = -o - 0*o. Solve 3*x - 5*n - 9 = 0, 0 = q*n - 0*n for x.
3
Suppose 0*h = 13*h. Suppose h = -k - 34 + 43. Solve p - 12 = 3*b, 2*b - b + k = 2*p for p.
3
Suppose -n = -5*w + 17, 4*w - 86 = 3*n - 57. Solve 10 = 5*m, 2*h - 6*m + 6 = -w*m for h.
1
Suppose 66 - 30 = 6*i. Solve -m - i*p + 10 + 10 = 0, 0 = -m - 3*p + 8 for m.
-4
Let j(p) = 2*p**3 + 7*p**2 - 10*p + 25. Let c be j(-5). Solve 2*r = -2*o + 20, -r - o + 4*o - 10 = c for r.
5
Suppose 0*f + 6 = 3*f. Let k(z) = z**2 - 4*z + 5. Let l be k(f). Let h = l - -2. Solve -3*v + 3*i = 21, -h*i = 5*v - 7*i + 31 for v.
-3
Suppose -13 = 36*m - 47*m + 20. Solve -2*j = 2, -6*d - 3 = -m*d - 3*j for d.
-2
Let s be (1 - 258)/(6/(20 + -8)). Let d = s + 520. Solve -3*f - d = 3*q - 0*f, f = -4 for q.
2
Suppose -243 = -59*h + 347. Solve 3*t - k = h, -12 = -5*t + 4*k + 7 for t.
3
Suppose -186*z + 188*z = 6. Solve 12 = 2*p + s, 4*p + s - z - 19 = 0 for p.
5
Let f(d) = -5*d**2 + 6*d + 591. Let z be f(-10). Solve -4*h + 3*o + z = 6, 0 = -4*o - 12 for h.
4
Suppose 3*f - 39 = -w, -w = -2*f + 4*f - 34. Solve c + 3*c - w = 4*z, 2*c = -z for z.
-4
Let g(y) = 61*y + 7263. Let c be g(-119). Solve -2*o + 2*j = 4*j + 6, 0 = -c*o - j for o.
1
Suppose 58*n - 73*n = 0. Solve n = 3*m + 2*q - 6*q + 21, -m = 4*q - 9 for m.
-3
Suppose 13 = -o + 5*g, 5*o + 1 = 4*g - 1. Let f(a) = a**3 - 5*a**2 + 5*a + 3. Let j = 56 - 52. Let b be f(j). Solve 0 = 4*m + 3*w - b - 2, o*w = 5*m - 17 for m.
3
Let v(c) = -17*c + 53. Suppose -18 = 51*f - 57*f. Let t be v(f). Solve -t*k + 7 = -j, 0*j + 2*j + 2 = -2*k for j.
-3
Suppose -1138 = -192*p - 178. Solve 0 = -a - 166*x + 169*x - 2, -p = -3*a - 2*x for a.
1
Let y(r) = 2*r**2 + r - 17. Let v be y(3). Suppose 0 + 12 = 3*k + v*o, o = -3*k + 12. Solve -7 + 3 = -2*h - k*z, 25 = -4*h + 3*z for h.
-4
Suppose 0 = -a - 327 + 366. Suppose 0 = 13*y - a + 13. Solve t = -4*t + 4*l, -y*l = 5*t for t.
0
Let s(u) = 183*u**2 - 1096*u - 7. Let z be s(6). Solve 0 = -a - z*p - 135 + 158, 2*p - 20 = -4*a for a.
3
Let o be 3/18 - ((-33)/18 + -2). Let j(y) = 14*y**3 + 3*y**2 - 9*y + 6. Let f be j(o). Suppose 15*g = -239 + f. Solve g = 5*t + 5*r, t + 2*r = 16 - 2 for t.
4
Let z be ((-2)/(-11) + (45/22)/(-3))*-50. Solve -3*q + 5 = o, 4*q + z = 5*o + 8*q for o.
5
Let p be (8/(-30))/(2/(-30)). Solve -5*z - 10 = -2*w + 7*w, -w = p*z - 1 for z.
1
Let s be (-56)/(-35) + (-5)/(50/(-4)). Let i be ((-2)/s - 0)/(4/(-8)). Suppose 0 = -i*t + 4 + 4. Solve 5*f = -2*x + t*x + 13, 5*f + 11 = -4*x for x.
-4
Let y be 21 + (-18)/24*8. Solve -w + 4*w - y = 0, 5*w = 4*k + 13 for k.
3
Suppose -285 = -37*u - 20*u. Solve 0 = 2*h - w - 10, 2*w - 2 = h + u*w for h.
4
Suppose w + 8*i = 10, 75*i + 5 = 2*w + 76*i. Solve h + w*f - 3 = 0, 2*f = -h + 3*h - 6 for h.
3
Let y(d) = -24*d + 39. Let b be y(-2). Suppose -12*t = 39 - b. Solve -t*h + 2*h = -o - 1, -h = 3*o + 10 for h.
-1
Let c(x) = -x**3 - 34*x**2 - 152*x - 188. Let r be c(-29). Solve -13*l - 17 = -r*l - 3*d, 3*l - 3*d + 12 = 0 for l.
1
Suppose -35*k + 155 = 2*k - 104. Solve -u + 4*p + k = 0, p + 9 = -2*p for u.
-5
Let u = -2267 - -2270. Solve -k - u*k - 9 = p, -4*k - 2*p = 10 for k.
-2
Suppose 103*p - 161 = 79*p + 343. Solve a - 3*n + 7 = -10, -3*n = -3*a - p for a.
-2
Suppose t = -4*r + 73 - 71, 8 = -5*r - 3*t. Solve -4*w - b - 14 = -2, -b = -r*w for w.
-2
Suppose -y + 3*y = 10. Suppose 88 = 5*g + 2*h, -3*h - 5 = -2*g + 15. Suppose -220 = -g*o + 36. Solve -o = -4*f, u - 4*u - y*f = -5 for u.
-5
Let u be 27/(-12)*(-40)/30. Suppose u*g = -9*g + 156. Let i be (1*-14)/(4/(-4)). Solve 0 = -3*w + 2*w + 3*f + g, -5*w - 2*f = -i for w.
4
Let d = -38 - -56. Let w(f) = 87*f - 609. Let l be w(7). Solve v + 8 = 5*t, -4*t - 2*v + d - 6 = l for t.
2
Suppose b + 2*s = -6, 0 = 9*b - 5*b + 3*s + 9. Suppose -4*g + 2*f + 13 - 3 = b, -5 = -g - 2*f. Solve -5*w = g*q + 25, 5*q + 0*q = -2*w - 29 for w.
-2
Suppose -4*v - 3*u = -45, -2*u + 44 = -2142*v + 2147*v. Solve 20*b + 3*y = 21*b - 10, y = b - v for b.
4
Suppose -42 + 9 = -28*h + 23. Suppose -3*t - 2*j = 4, -2 - 7 = -2*t + j. Suppose v - 12 = t. Solve -5*i + v = -i - h*o, 5*o - 5 = 2*i for i.
5
Let z be -2*3/(6/(-67)). Suppose 6*p + 1350 = -19*p. Let v = p + z. Solve d = -5*i - 19, -2*d + v = -5*d - 4*i for d.
1
Let t = -11087 + 11090. Solve -38*w - 8 = 3*a - 42*w, -3 = 3*a - t*w for a.
4
Let u(k) = -9*k**2 - 125*k - 76. Let s be u(-13). Solve 5*q = -o - s, 34*q - 2*o = 30*q - 14 for q.
-5
Suppose -4*i + 589 = -759. Let x = i - 333. Solve -x*m + 5*g = -5*m - 4, -m - 3*g = 2 for m.
1
Suppose 3*g + 310 = -89. Let s = g - -215. Let t be ((-1)/((-1)/16))/(82/s). Solve q = -8*p + 3*p + 20, 0 = 4*p + 2*q - t for p.
4
Let p = -81 - -145. Suppose 23*v - p = 7*v. Solve i = u - 5, -v*u + 2*i = -5 - 5 for u.
0
Let m = -150 - -142. Let x(l) = l + 8. Le