 j = -3 + 17 for g.
4
Let x(g) = 19*g**2 - 20*g + 5. Let c be x(0). Solve 2*h = -4*y - 10, -4*h = c*y - y + 4 for h.
3
Let s(b) = b**3 + 2*b**2 + b + 2. Let g be s(-2). Suppose g = -37*u + 32*u + 10. Suppose 18 = u*a - 26. Solve 0*x + 5*x + n = -a, -2*x - 2*n - 4 = 0 for x.
-5
Suppose 2*m - 19 = -u, -5*u - 25 = 106*m - 111*m. Solve -v - 9 = -5*x, -4*v = m + 8 for x.
1
Suppose 5*f - 70 = -5*h, h + 5*f + 10 = 36. Suppose h*m = 21*m - 30. Solve -4*c + 10 = -2*b - 4, m*c + b = 18 for c.
5
Let n(i) = 4*i - 21. Let m be (-2)/((-2)/1 - -3) + 40. Let g = m + -32. Let k be n(g). Solve h = 5*s + k + 10, -s = 4*h + 11 for h.
-2
Suppose 13*b + 15*b - 254 = -114. Suppose h = -3, 2*y + 2*h + 3 = 1. Solve 0 = -a - 0*u + 4*u - b, -u = y*a + 1 for a.
-1
Suppose -5*m + 5*y - 159 = -9*m, -m + 21 = -5*y. Solve -3*b = 4*f + 1, -b + 42 - m = -5*f for f.
-1
Suppose 17 - 17 = 289*i. Solve -2*s - 4 = -4*n, -4*n + 6 = -i*n - 3*s for n.
0
Suppose w - 167 = -5*b + 57, -4*b = -4*w + 896. Let o be (6 + w/(-40))*5. Solve 4*l - 10 = -2*k - 40, -25 = 3*l + o*k for l.
-5
Let i(h) = -h**3 - 6*h**2 - h - 2. Suppose 4*v - 3*y = v - 3, -v = 5*y + 31. Let l be i(v). Solve -2*b + x = l*x, 0 = -2*b + x - 8 for b.
-3
Let f(g) = -18*g - 10. Let j be f(-1). Let d(a) = 21*a - 165. Let v be d(j). Solve -v*h + 6 = 0, 2*r + 2*h = 5*h - 16 for r.
-5
Let f(i) = -4*i**3 - i**2 - 2*i - 1. Let l be f(-1). Suppose -2*w = 10, 0 = -4*q + 8*w - 3*w + 25. Solve 0*m - 5*m - 5 = 0, q = -l*s - 5*m - 1 for s.
1
Suppose -575*t + 1298 = -427. Let l be 0/((-6)/3*-1). Solve l = 3*o - 0*o - t*z, 3*o = z + 2 for o.
1
Let r = -314 - -324. Solve -4*m = -d - r, -3*d - m - 2 = 2 for d.
-2
Let w(r) = 7*r**3 - 22*r**2 + 8*r - 1. Let b(j) = -j**3 + 2*j**2 + 1. Let d(t) = -6*b(t) - w(t). Let v be d(9). Solve -1 = -3*h - v*k - 27, -5 = k for h.
-2
Let r(y) = -y**2 - 7*y - 4. Let o be r(-5). Let j = -135 + 139. Suppose -o*g + 5*g + j = 0. Solve -c + 2*c = 5, -g*q = 4*c - 28 for q.
2
Let c(s) = s**2 + 36*s - 23. Let b be c(-37). Suppose -3*k = -b - 1. Solve -2*r - 2*r + 3*l = 12, r + 3 = k*l for r.
-3
Let w(d) be the third derivative of 1/10*d**5 - 6*d**2 - 1/120*d**6 - 1/12*d**4 + 0*d + 0 + 7/3*d**3. Let m be w(6). Solve 0 = -3*u - 9, -5 - m = k + 2*u for k.
-1
Suppose -u + 4 = w + 5, -3 = 3*w + 5*u. Let z be (-13)/w + -3 + 0 + 0. Solve 3*j + 2*j = 2*i + z, -2*j - 20 = 4*i for i.
-5
Suppose 0 = -5*l + 25, 16 = -5*n + 4*l + 21. Solve -z = a + 5, -n*a - 4*z = -0*a + 25 for a.
-5
Suppose 0 = 4*q - 32*q + 25 + 115. Solve -q*k = 5*p + 15, 3*p + k - 9 = -20 for p.
-4
Suppose 182*q - 6 = 179*q. Let c be q/((48/40)/3). Solve 0 = -2*a + 3*r + 8, 2*a - 3 = -3*r + c for a.
4
Let j be (-50 - 29)/((-2)/2). Let f = j + -66. Solve -w - 13 - 2 = 4*g, f = -3*w - 4*g for w.
1
Let c(j) = -34*j**2 + 5*j + 6. Let u be c(-1). Let r be (u/22)/((-9)/30). Solve -m = -3*h - 0*h - 6, m - 8 = r*h for h.
-1
Let n = 250 - 286. Let m be ((-12)/(-9))/((-24)/n). Solve -m*p = 2*i - 6, -3*p - 23 = -i - 4*i for i.
4
Let m = -3006 - -3016. Solve 4*p - 12 = 2*h - 8, 2*p - 4*h + m = 0 for p.
3
Let g be ((-20)/15)/(-4) - 137/(-3). Suppose 0 = 5*b - 29 - g. Solve -b = 5*k + 5*m, -2*k + 4*m = 2*m + 2 for k.
-2
Let u(n) = 0 + 95 + 40*n - 330. Let h be u(6). Solve 5*o + 15 = -5*x, -h*o - 27 = -0*o - x for o.
-5
Suppose -5*o = -2*r + 15 + 23, 3*r + 7*o - 57 = 0. Solve -h = -z - 7, 50*z - 3*h = 55*z + r for z.
-5
Let p(a) = -235*a + 5174. Let z be p(22). Let m = -1 + 6. Solve -z*s - 4 = -5*k - 22, -s + m*k + 12 = 0 for s.
2
Let s = -18456 + 18459. Solve n - 4*t = -16, -2*n - 3*t + 15 = s for n.
0
Let b = -5334 + 5359. Solve 3*m = 6, 0 = -17*q + 20*q + 5*m - b for q.
5
Let l(z) = -3*z**3 - 50*z**2 + 18*z + 13. Let c be l(-17). Let s be 14/5 - 5*c/100. Solve s*m = -4*o - 15, -2*o = 5*m - o + 8 for m.
-1
Suppose 3*f + 3*t = -0*f - 12, 5*f + 2*t + 29 = 0. Let u(p) = 3*p + 21. Let l be u(f). Solve 3*v = 5*c + 3, -2*v + l*v + 2 = -2*c for c.
0
Let t(a) = 6*a + 35. Let d be t(-5). Suppose 5*r + 0*m = 2*m + 8, -20 = -5*r + 5*m. Suppose i + r*i = 0. Solve 5*u = -5*n + 30, 0 = -i*u - 3*u + d*n - 22 for u.
1
Suppose 3*u - 5 = -2, 85 = 2*v + 5*u. Solve 3*n - v*k + 45*k = -1, 0 = -2*n + 5*k - 34 for n.
-7
Let w = 75 + -124. Let b = 53 + w. Let c(z) = -3*z**3 + z**2 - 1. Let l be c(-1). Solve l*r = -5*p + p - 7, 2*r = b*p + 2 for p.
-1
Suppose -761*v + 766*v = 10. Solve -1 = -x - v*f, -4*x + 3*f = -f - 4 for x.
1
Let w = -27854 - -27869. Solve -18*x + w*x + 3*a = 3, -5*a = x - 11 for x.
1
Let d = -162 - -166. Suppose -20 = 4*m - 5*v, -d*v = -44*m + 47*m - 16. Solve m*p + 4*j - 5 = 5*p, -3*p = -j - 4 for p.
3
Let p be (45 - 3)/7 - (-12)/(-3). Suppose s = 6*s + l - 5, -3*s = -5*l - 31. Solve 0*o = -4*b + p*o - 6, -s*o - 21 = 5*b for b.
-3
Suppose 16*g = -15*g - 14260. Let r = -460 - g. Solve 3*l - q + 17 = r, l - 4*q + 8 = 4*l for l.
-4
Let i = 27683 + -27673. Solve 2*u = 4*d, i*u = 6*u - 8 for d.
-1
Suppose -2*b = -3*c + 187, 102*c + b = 108*c - 386. Solve -5*g = 4*n + 59 - c, 0 = g + n - 1 for g.
2
Suppose 344*x - a = 342*x + 11, 3*a - 33 = -5*x. Solve -n - 20 = 3*m - 15, -4*m = 2*n + x for m.
-2
Let b = 3920 + -3916. Solve 2*f + 2*f + b*s - 20 = 0, 0 = -5*f - 2*s + 16 for f.
2
Let b = 43 + -32. Suppose j + 29 = -b. Let d be j*(4 - 22/5). Solve -m = 3*q - d, m - 4*q = 1 - 20 for m.
1
Let g be 26/(520/(-50))*(-4)/10. Solve 2*d - 24 = -2*p - 32, p = 4*d + g for d.
-1
Suppose -11950*t + 11941*t + 36 = 0. Solve -17 = j - t*l, 3*j + 35*l + 11 = 39*l for j.
3
Suppose 2204 = 258*d - 200*d. Solve -d*i = -j - 34*i, 3*j - 5*i = 0 for j.
0
Suppose 0 = -9*y - 0 + 63. Let g(s) = -s**3 + 7*s**2 - s + 7. Let f be g(y). Suppose -8*b + 20 + 12 = f. Solve 5*i = 2*v - 3, i + 2*i + 13 = b*v for v.
4
Let j be (-5)/((115/21)/(-23)). Let q(x) = -x**3 - x**2 + x - 14. Let i be q(0). Let p be (-6 + 0)/(j/i). Solve 2*d = -d + 9, -p*f + 2*d = 22 for f.
-4
Suppose -x = -3*v - 121, -5*x + v + 658 = 109. Let a be -102 - (0/(-1))/2. Let b = x + a. Solve -5 = 3*g - 5*u, -4*u - 25 = 2*g - b for g.
-5
Let t be 2 - 7 - (-15 + 8). Suppose 3*u = 9*m - 6*m - 6, 5*m - 10 = 2*u. Solve 5*g + m = -t*y - 5, 5*y + 3 = 2*g for y.
-1
Let p be 3 + (3 - 0/6)*-1. Solve 3*t + 21 = 4*u, p*t = u - 5*t - 18 for u.
3
Suppose 63 = 7*r + 35. Solve -12*j = -9*j + 6, 0 = -4*g + r*j for g.
-2
Suppose 0 = g - 3*g + 12. Let z(b) = -3*b - 6. Let o be z(-2). Suppose o*c + 3*c = g. Solve 0 = 4*t - 4*x - 28, 4*t + x - c*x - 16 = 0 for t.
3
Suppose 0 = 2*q - 4, 0 = -2*o + 51*q - 56*q + 14. Suppose -4*f = 2*s - 28, 3 = -s + 2*f - 3. Solve -s*c - 5*h = -14, c + 3*c - o = h for c.
1
Let z be 2030/511 - (-58)/2117. Solve 36 = z*t - 4*r, 2*t = -3*r - 33 + 26 for t.
4
Let n be 0/(-2)*14/(-6 - 36). Let y be (0 + n)*3*5/(-45). Solve 3*g = 2*b - 0*g - 5, 3*b + 5*g - 17 = y for b.
4
Let s(u) = -u**3 - 24*u**2 - 138*u + 22. Let m be s(-10). Solve 5*t - 4*h = 19, -m*t - 7*h + 11*h + 10 = 0 for t.
3
Let d = 13 - -8. Let j = 2372 + -2393. Let y = d + j. Solve 2*g = q + 9, y = -g + 2*g + q for g.
3
Let l be -3*(-1)/12 + (-3605)/(-28). Suppose 57 = 31*h - l. Suppose 0*m - 2*m + 4 = 0. Solve -h = m*d + 2*f, -35 = -5*d + 4*f + f for d.
2
Suppose -404*n + 1175 = -2057. Solve -4*b = -p + 8, -8*b + 12*b + n = -p for b.
-2
Let a(i) = i**2 + 13*i + 42. Let f(x) = 2*x**2 + 27*x + 83. Let d(q) = -5*a(q) + 3*f(q). Let n be d(-13). Solve u + n*l + 4*l - 14 = 0, 5*u - 19 = -3*l for u.
2
Suppose 69*g = 523 - 385. Solve 2*m = -0*m - 4, -4 = -g*w + 2*m for w.
0
Suppose 3*j = 2*j - 2. Let h be j/(-6)*81/6*6. Solve 4*z + 7 = -r, -4*r + 5 = -4*z - h for z.
-3
Suppose -273701*p - 51 = -273718*p. Suppose -4*a + 9 = -a. Suppose -s = a*s - 4. Solve f = 2*v - 1, 2*v = -p*f + 6*v + s for f.
3
Let k = 36 + -33. Suppose 6 = 4*u + i - 25, -u - 1 = 2*i. Let t = 81 - 69. Solve 0 = -k*o - t, j + o - 1 = -u for j.
-4
Suppose 0 = -o + 5*x + 10 + 10, -2*o + 25 = -5*x. Let s = -63 + 126. Let w = s - 62. Solve t + o*y = 16 + w, 0 = 3*y - 9 for t.
2
Let j(d) = d**2 + 64*d + 735. Let b be j(-15). Solve -5*w - c - 2 + 13 = b, 5 = -w - 2*c for w.
3
Let s = -175 - -213. Let t = s + -38. Solve -5*o + 4*b = 0, 3*b = -t*o - o for o.
0
Let k be ((-1)/((-2)/61))/(97/(-194)). Let x = -141 - k. Let m = 83 + x. Solve 3*v + 18 = m*w, -2*w - 3*w + 15 = -2*v for v.
-5
Let n be (2 - 0) + -10*4/(-8). Suppo