16, 5*r + v*x - 16 = 0 for r.
5
Suppose 4*t - 3*m + 398 = 8*t, -2*t + 5*m + 186 = 0. Let k = t + -95. Solve -6*g + 35 = -g - 5*l, 25 = k*g - 5*l for g.
5
Let s = 90 + -81. Suppose 0 = -2*b - s*b + 110. Solve 4*z = -2*g + 2 - b, 4*g = 3*z + 6 for g.
0
Let i = 1358 - 1342. Solve 0 = 5*t + 15, f - 4*t - i = t for f.
1
Let a(n) = 2*n - 6. Let c be a(4). Suppose 5 = p + c. Solve 4*h + 6*q - 8*q = 6, 0 = p*h - 5*q + 6 for h.
3
Let c(t) = 30*t + 8. Let r be c(-2). Let a = -49 - r. Solve -8 = -p + 3*g, -18 = a*p + 2*g + 3*g for p.
-1
Let c(j) = 7*j - 69. Let n be c(10). Solve -2*d - n = -5*v - 3, 0 = -4*d + 5*v - 6 for d.
-4
Let u be (-115)/(-23) - (-4)/(0 - -2). Solve 0 = -3*q - 15, 2*s + 4*q - u + 37 = 0 for s.
-5
Suppose 1576*m - 48 = 1564*m. Solve m*r + 24 = 4*y, -5*r = 3*y - 15 + 13 for y.
4
Suppose n = -7*n + 40. Suppose 4*b - n*b + 3 = u, -b - 4*u = 0. Let r = 5 - 3. Solve -b = -r*g - 2*h - 0, -3*g = 2*h - 7 for g.
3
Let o(j) = -j**3 + 9*j**2 + 10*j + 1. Let z be o(10). Let d be 1/(-3)*(-12)/z. Suppose 0 = -12*k + 20 + 16. Solve 7*r - d*r = 0, 0 = -k*n - r + 12 for n.
4
Let s be 1*2/(-4)*0. Let u be (3 - 3) + -1 + 2. Let o be (u - -7 - 2)/2. Solve -3*j + o*q + 6 = 15, s = -3*j - 4*q + 26 for j.
2
Suppose -214 = -2*v - d, 2*v + 456 = 6*v - 5*d. Suppose -4*o + v = -131. Let b be o/25 + 4/(-10). Solve b*u + 4 = -w + 5*u, 4*w + u - 10 = 0 for w.
2
Suppose 0 = -92*j + 95*j - 15. Solve 0*y - 1 = -3*z - 5*y, j*y + 13 = 4*z for z.
2
Let g be ((-3)/(-2))/(6/12) - -9. Solve 0 = 4*h + r + 18, -2*h + r = -g + 18 for h.
-4
Let i(a) = 3*a + 4. Suppose 0 = -0*n - n + 3. Suppose d + n*d = 28. Let s be i(d). Solve -s = -5*t + 5*k, -3*k + 1 = 5*t - 0 for t.
2
Let b be 8/(-8) + 2 + 1. Solve -3*y = 4*u - 16, -y + 4 = -2*u + b for u.
1
Let j(g) = g**3 + 24*g**2 - 48*g + 107. Let c be j(-26). Solve -k + 2*b = 3*b + 7, -c*b - 13 = k for k.
-4
Let s = 243 + -162. Let r = -77 + s. Solve -4*c + w = 6, -r*c - 10 = -3*c + 4*w for c.
-2
Suppose -2 + 11 = 3*o. Suppose b + 7 = o. Let k be (-2 - -2)/(b/(-4)). Solve -4*z - n + 1 = 0, -z - n + k = 2 for z.
1
Let q = -27 + 31. Let h be 0*(4 + 0)/q. Solve -3*w - 8 = -k + 2*k, h = -4*k + w + 20 for k.
4
Let u be 408/170 + 2/(-5). Solve 3*q - 2 = 3*l + u*l, -3*q - 2*l = 5 for q.
-1
Let b(p) = -p**3 + 10*p**2 - 14*p + 8. Let f be b(8). Let c = -22 + f. Solve n + 2*s + 5 = 0, -c*s = -3*n - n + 30 for n.
5
Suppose -58 = -32*j + 38. Solve -j*o = -4*v - o - 6, -2*v + 17 = -5*o for v.
-4
Suppose 0 = -5*c - 0*c + 10. Let r be (-363)/(-12) - 1/4. Let g = 2 - 0. Solve c*f = 2*z, 3*f + z + g*z = r for f.
5
Suppose 20*g - 166 = 194. Solve -2*r + 5*d - g = 0, -3*d + 10 + 0 = -r for r.
-4
Let t be 6/(-8) + (27/4 - -2). Let u(r) = -r**2 + 11*r - 24. Let i be u(t). Solve 4*k - 5*j + 3 + 2 = i, -5*k - 1 = -j for k.
0
Let n(w) = -2*w**3 + w**2 - 1. Let i be n(-1). Let g = i - -3. Solve -2*a + 4*p + 8 = 0, -g*p + 1 = -3*a + 6*a for a.
2
Let w be 198/21 + -9 + 102/7. Solve -4*q = -3*a + 2*a - w, 0 = -q - a + 10 for q.
5
Suppose -3*q = -3*n - 42, 0 = -0*q - 5*q - 2*n + 35. Suppose q + 3 = 4*f. Let c = 25 + -23. Solve 0 = -l + c*t - f*t + 4, 0 = 5*t for l.
4
Let u be 1/((-2)/12)*(-2)/6. Solve g + 10 = l, -20 = l + 3*g + u*g for l.
5
Suppose -72 = 2550*o - 2556*o. Solve -4*s = 3*p - 2*p + o, s - 3*p = 10 for s.
-2
Suppose 19 = -5*n + 3*u + 58, -3*n + 9 = 3*u. Suppose 0 = -6*o + n + 6. Solve -9 = -o*x - 3*l, l = -5*x - 2*l for x.
-3
Let c(y) = y**3 - 5*y**2 + 7. Let o be c(5). Suppose 1 = k + q - o, k - 10 = q. Solve -4*s + 11 = x, s - 5*x = -4*x + k for s.
4
Let s be (-13 - 96/(-8))*3*-2. Solve 3*o - 9 = k, s*k - 3*k + 11 = o for o.
2
Let a be (-5)/((-8)/(240/25)). Solve -5*j = 2*b - 5*b + a, 0 = -3*b + 2*j - 3 for b.
-3
Let b = -270 - -276. Solve -3*o = b, j + j - 4*o = 8 for j.
0
Let w = -506 - -509. Solve -o = -w*r, -2*r - r + 15 = 4*o for r.
1
Let v be (2 + (-10)/4)*(-2 - 2). Suppose 0*f + 4 = 2*u - 2*f, -4*f = -2*u + v. Solve -5*n + u*l + 5 + 1 = 0, 4*l = 2*n + 6 for n.
3
Let k(i) = -i - 11. Let z be k(-15). Let m(v) = -v**2 + 5*v - 2. Let n be m(z). Suppose -n*f = -f - 2. Solve -4*r = -5*c - 45, f*c - 5*c = 3*r for r.
5
Suppose 2*u - m - 128 = -115, -5*m - 17 = 2*u. Solve 0 = -u*y + 5*v + 20, -3*v + 2*v - 4 = 5*y for y.
0
Let z be (4/(-16)*0)/(-2). Solve z = -3*x - l, 3 = -5*x - 2*l + 4 for x.
-1
Suppose 0 = -j + 3*j + 4. Let l be ((-328)/6)/(j/3). Suppose 0 = v + v - l. Solve 2*u - 5*u - 3*i = 3, 5*i = 4*u - v for u.
4
Let m = 41 + -53. Let f be ((-5)/(-15))/((-2)/m). Let t = -2 - -3. Solve 5*u = 3*n + 4, f*n + 8 + t = -3*u for n.
-3
Suppose -3*c - 131 = -5*o, -11*o - 4*c + 17 = -10*o. Suppose j = 5*j + 92. Let q = o + j. Solve -2*h = -3*m + q - 17, -3*m = 2*h + 3 for h.
3
Suppose 0 = -2*s + 2*t + 12, -s - 4*t = -2*s + 21. Suppose 0 = k - 4 + s. Solve -2*p = -3*p - 2*a - 12, -2*a = -k*p + 4 for p.
-2
Suppose 3*v + h + 0 - 4 = 0, -2*v + 2*h + 8 = 0. Let x be v*(-1 + 0) - -10. Suppose 18 = x*y + 2. Solve 0 = i - 2*d - 11, -2 - y = i + 3*d for i.
5
Let d = 5 + -2. Suppose k = -2*p - 10, k - 3*p - 15 = d*k. Let v be (18 + -17)*(3 - k). Solve -2*f = -v*j, 4*j - 19 = -2*f - 5 for j.
2
Let t = 142 - 140. Solve -5*n + 0*i = -2*i - 33, n + t*i + 3 = 0 for n.
5
Suppose -12*r - 26 + 74 = 0. Let p = 5 - 0. Suppose 5*n = -p*v + 50, 2*v + 0*n - r*n - 32 = 0. Solve 3*o + v = -4*k, -18 = 5*o + 4*k + 2 for o.
-4
Let v(q) = -q**2 + 9*q + 8. Let f be v(8). Let b = f + -32. Let x be ((-1)/(-3))/(b/(-96)). Solve y - 4*a - 19 = 0, -5*y - x*a = -y - 4 for y.
3
Suppose 0 = -3*o + 8*o - 20. Suppose 11 = o*g - 53. Let s = g - 12. Solve 4 = -s*q - 2*c, -q - c = -0*c for q.
-2
Let i(g) = 9*g**2 - 16*g - 47. Let d(t) = -4*t**2 + 8*t + 24. Let x(z) = -7*d(z) - 3*i(z). Let f be x(11). Solve 3*a = 3*b + 18, 3*a - a + 4*b = f for a.
5
Let o(j) = -5*j + 43. Let g(k) = -k**2 - 18*k - 24. Let m be g(-16). Let p be o(m). Solve 10 = 5*c, -p*u + u + 3*c - 4 = 0 for u.
1
Let q be 8 + 0 - (-4)/2. Suppose 165 = 140*a - 107*a. Solve k + 10 = -3*u, 3*k + 0*k + q = -a*u for k.
5
Let o(d) = -d**2 + 12*d + 34. Let j be o(14). Suppose -j = -7*u + 8. Solve u*h = 4*f - 7 + 1, -2*h + 3*f = 5 for h.
-1
Let z = -75 - -10. Let x = z - -71. Solve 21 = 5*j - q + x, 0 = -j - q - 3 for j.
2
Let a = -530 + 538. Solve -p = 4, 0*p = -5*z - 3*p + a for z.
4
Let r(k) = -2*k - 33. Let m be r(-14). Let n(i) = i**3 + 5*i**2 - 7*i - 4. Let g be n(m). Let w = g - 29. Solve u = 5*s + 4, w*u + 7 - 1 = -4*s for s.
-1
Let z = -488 - -492. Solve 3*i - 5*p + 2 + 0 = 0, 6 = z*i + 2*p for i.
1
Suppose -9*x - 128 = -5*x. Let t = 36 + x. Solve -3*z - 17 = -0*o + o, -18 = 2*z + t*o for z.
-5
Let l = -78 + 78. Solve -2*b = 2*o + 14, -3*b - b - 5*o - 33 = l for b.
-2
Suppose -162 = -2*p - 7*p. Solve 0 = 4*i - l - p, -2 = -3*i - 3*l + 4 for i.
4
Suppose -d = 21 - 26. Solve -19 = -r + 5*l + 1, r + d*l = -30 for r.
-5
Let q(m) = 2*m + 1. Let p be q(0). Suppose p + 3 = v. Let u = -6 - -16. Solve 5*t - 10 = -v*d + u, 4*d + 3*t = 12 for d.
0
Let r be 7*10*3/21. Suppose -2*p + 7*p - r = 0. Suppose 0 = p*h + h - 15. Solve 3*j - i = -10 + 1, -h*i = 5*j + 15 for j.
-3
Let b(n) = -5*n**3 + 3*n**3 - n**3 - 6*n**2 - 7*n + 2*n**3 + 5. Let j be b(-4). Solve 5*c = u, 4 = 5*c - j for u.
5
Let u be 177*1/3 - -1. Suppose -8*x - 4*x + u = 0. Solve 2*w = -4, x*c - 14 = -4*w + 3 for c.
5
Let i = 89 - 87. Solve -2*g + 5*o = -16, -3*o - 2 = i*g + o for g.
3
Let j = 19 + -13. Let c be 40/(-6)*(-8 + -1). Let r be (-1)/(-4) - c/(-16). Solve j*w - 2*w - r*n = -12, 4 = -2*n for w.
-5
Let a = -9 + 13. Let r = -178 - -336. Let n = r - 155. Solve 3*x - 2*q - 21 = q, a*x - 24 = n*q for x.
3
Let u(o) be the first derivative of -o**2/2 + 3*o + 27. Let r be u(1). Solve 0 = 3*a - 4*g, 0 = -4*a - r*g - 3*g - 31 for a.
-4
Let a(o) = o + 14. Let c be a(6). Let m be 5*(64/c)/4. Let f be 0*((-14)/m)/7. Solve -5*t - 2*z = -5*z + 5, f = 4*t + 5*z - 33 for t.
2
Let c(l) = -2*l**2 - 27*l - 55. Let h be c(-11). Solve -5*g - 3*q - 9 = h, 3*g - 3*q = 11 - 2 for g.
0
Let a = -953 + 954. Solve d + 5*y = 7, -2*y = d - y + a for d.
-3
Suppose 2*f + s = 27, -5 + 77 = 5*f - 2*s. Solve 5 - 23 = -w + 4*o, w - 3*o - f = 0 for w.
2
Let l be (-8 + -19)/((-4)/(16/6)). Solve -2*z = -7*j + 3*j - l, 0 = z + 2*j + 7 for z.
1
Let t be 0/2 - 18/(-9). Let x be 10/(-40) - (-13)/4. Solve -