16 = 0 for v.
4
Let l = -143 - -213. Let u = l - 66. Solve 0*m - 3*k + 1 = -4*m, 4*m - 4*k - u = 0 for m.
-4
Let f be 0 + 2/((-4)/42). Let s be (-3)/(-2) + f/(-14). Suppose 5*u - 4*u - 2 = 0. Solve -u*g - 6*a + s*a - 2 = 0, -2*a = -4*g - 4 for g.
-1
Let f(v) = 21*v + 46. Let b be f(-2). Solve -3*o - b*d = 24, 0 = 3*o - o - 5*d - 7 for o.
-4
Let x = -36 + 46. Suppose 3*j - 40 = -x. Solve -5*n - j = 0, 2*h + 2 = -n - 4 for h.
-2
Let i(r) = r**3 + 3*r**2 - 4*r. Suppose -3*a + 3 = 3*v - 0*v, 21 = -4*v + a. Let u be i(v). Solve 0 = p - 4*x - 5, u = 3*p - 2*p - 3*x - 5 for p.
5
Let q = 668 + -665. Solve -3*b + 2 = -5*b + y, 3*b + 9 = q*y for b.
1
Suppose -29 + 7 = -11*f. Solve u - 10 = 3*u + f*w, w = 4*u + 10 for u.
-3
Let c be -15*(35/(-15) + 2). Suppose 0*a + 48 = a. Suppose o = -2 - 1, 4*o = 2*j - a. Solve -c*b = -4*g + 45, 0 = -b + 4*g - 7 - j for b.
-5
Let k be (-17)/(-18)*4 + 192/864. Solve -2*j + 7*j + k*b = -21, -2*j = -5*b + 15 for j.
-5
Suppose -28 = -4*z - f, z + f - 6 = 4. Suppose 0 = -3*s + 1 + 8. Solve s*o - 30 = z*o + 3*a, 4*o - a = -15 for o.
-5
Suppose -16*g + 37*g = 22*g. Solve -3*l + 12 - 18 = g, 2*w - 10 = 3*l for w.
2
Let t be (-138)/14 + 4/(-28). Let m be (-2)/t - (-168)/35. Solve 6*n = n + m, -n - 3 = 2*q for q.
-2
Let d be 1/(-1)*-5*1. Let h = 72 + -105. Let x = h - -36. Solve 2*r - 4 = d*j + 1, 0 = r - 2*j - x for r.
5
Let b(m) = 17*m**2 - 22*m + 2. Let n be b(2). Solve 3*y - 4 = -4*t, t + n = -2*t + 5*y for t.
-2
Let w be 4/2 - -3*3. Let o(z) = z + 31. Let n be o(-35). Let h = w + n. Solve 0 = y + 5*v + 15, 2*v - 1 = -4*y - h for y.
0
Let s = 401 - 397. Solve 4*p = -s, p - 8 = 3*v - 0 for v.
-3
Suppose 4*w = 16, -4*n + 12 = -w + 4*w. Let b(d) = 24*d + 2. Let s be b(-1). Let f = s - -47. Solve -f = -4*i + 5*v, 4*i = -n*i - 3*v + 17 for i.
5
Let c be (-5 - (-333)/63)/(1/14). Let l(n) = -n**3 - 2*n**2 + n - 4. Let v be l(-3). Solve 5*x = v*o + 11, c*x - 19 = 2*o + 3*o for o.
-3
Let r(s) = 10*s - 21 + 2*s - s**2 + 6. Let j be r(7). Solve 3*q + 5*z + j = 0, 0 = 3*q + q + 2*z + 22 for q.
-5
Suppose -6 = 3*t + 4*w, -2*w = 2*w + 12. Solve 5*a + 4*u + 2 = -11, 0 = u + t for a.
-1
Suppose 13*b = 4*b. Solve 3*n = 3*g - 9, b = g - 3*n + 2 - 9 for g.
1
Let v be (-203)/(-28) + 18/(-8). Solve 5*m = n + 2, v = n - m + 3 for n.
3
Suppose k + q = -1, -2*k - 2*k = -4*q + 28. Let y be (-1 - 3 - k - -1)*3. Solve x + y = 3*r, -3*r = -2*x - 2*r - 1 for x.
0
Let x(t) = 13*t - 299. Let a be x(23). Solve 0 = -4*l + 3*u + 4, a = -l + 2*u + u - 8 for l.
4
Let w = -77 - -79. Solve c - 6 = 3*f, -w*f - 18 = 4*c - 0*c for c.
-3
Let w be (-1)/(-2*(-3)/(-30)). Solve -h = 2*t - 14, 0 = -5*h - 2*t + w*t + 5 for h.
4
Let h(z) = -z**3 + 8*z**2 - 6*z. Let n be h(8). Let g = -46 - n. Solve 0 = f - g*v + 1, -4*f - f - 35 = 5*v for f.
-5
Let j be (-2)/13 + (-1272)/(-156). Suppose -4*v + 20 = 5*a, 2*a + 0*v - j = 4*v. Solve 20 = 4*q + 6*g - g, -a*q - g + 20 = 0 for q.
5
Suppose -10*s - 8 = -14*s. Suppose -y + 6*w + 3 = 5*w, -w = s*y - 9. Solve -3*j - 6 + 21 = 5*b, b + y*j - 3 = 0 for b.
3
Let d = -63 - -65. Let c(r) = r + 12. Let w be c(-5). Suppose 0*f + 4*f = 0. Solve y - 2*k - 3 = 0, f = -d*y - 2*y + 3*k + w for y.
1
Suppose -2*a + 5*j = 65, -j + 3*j = 3*a + 70. Let d be (-395)/a - -4 - (-3)/(-4). Solve 5*m + 3*w + 3 = 14, 2*m = 5*w + d for m.
4
Let m = 19 + -1. Suppose -2 = -5*o + m. Suppose -u - u = -6. Solve 11 + 16 = -u*k - 4*h, 3*h = k - o for k.
-5
Suppose 9*y = -3 + 21. Solve 16 = -u - 5*n, 5*n = -0*u - y*u - 12 for u.
4
Suppose 0 = 31*c - 7*c - 48. Solve i + 0*p - 3*p + 11 = 0, c*i = 2*p - 14 for i.
-5
Let f be (-2)/4*(18 + 2). Let m = f - -14. Solve m*i - 13 = 6*i - 5*b, 0 = i - 3*b + 8 for i.
1
Let k(h) = h**2 + 5*h + 4. Let j be k(-5). Suppose 4*p - 7 - 9 = 0. Suppose -q = -p*m + 2*m, 2*m - 10 = -j*q. Solve q*c - 31 = 2*s + 3*s, 2*s + 7 = -c for c.
3
Let r(t) = 4*t**2 + 4*t**2 + 3*t**2 - 4*t**2. Let b be r(1). Let p = -5 + b. Solve 2*z - 14 = 5*o + 16, p*o + 3 = -z for o.
-4
Let n(y) = -9*y - 1. Let i = -11 + 9. Let c be n(i). Let l = c - 14. Solve l*z = 3*d + 3, -10 = -5*d - 2*z + 6 for d.
2
Suppose 4*d = -5*b - 47, 2*b + 2*d - 29 = 7*b. Let n = -11 - b. Let k = 5 - n. Solve -2*l - 4*c + 12 = 0, 0 = l - k*c + 4*c + 1 for l.
4
Let x be -2*(-13 - -4) + -3. Suppose -2*y + 15 = g, -4*y + 3*g = -0*y - x. Solve 12 = 4*q + 4*i, -5*i + 17 = 3*q + y for q.
2
Let t(f) = -f**2 + f - 4. Let i be t(0). Let v be 0*(4 - (-18)/i). Solve v = -4*z - 5*a + 29, 5*z = -5*a + 38 - 8 for z.
1
Suppose -5*v + 2*v + 24 = 0. Suppose 4*g = -5*p + 75, 5*p + 7*g - v*g - 75 = 0. Solve 0 = n - 3*w + p, 0*w = -2*w + 10 for n.
0
Suppose -4*w + 66 = -9*w - b, 0 = 2*b - 8. Let k = w - -17. Let h = 1 + k. Solve 5*x - d + 13 = 0, 5*d - 4 = -h*x + 3 for x.
-2
Let t = -11 + 13. Solve -4*x = t*l + 2, 2*x - 4*x + 8 = 4*l for l.
3
Let a(r) be the first derivative of -r**2/2 + 7*r + 9. Let u be a(3). Solve -34 = 3*b - 5*c - 7, -2*c = u*b + 10 for b.
-4
Suppose 3*s - 5*s = 0. Let p(w) = -5*w + 5. Let b be p(7). Let k = b + 49. Solve -g + 5*o = -k, s*o - 5*o - 35 = -5*g for g.
4
Let y(r) = -r**3 - 9*r**2 - 13*r + 9. Let o be y(-7). Let n be 2*3*(-1)/(-6). Let k = n - -1. Solve 0 = 2*j + 3*j - o*g - k, 4*j = 4*g + 4 for j.
0
Let x be 28/2*(2 + -1). Solve -3*j + x = -k - 0*k, 9 = 3*j for k.
-5
Let a(q) = -q**3 - 8*q**2 - 9. Let j be a(-8). Let r be (18/(-21))/(j/42). Let z be (40/(-12))/((-4)/6). Solve -r*f - w = -15, -z*f + 28 = w + 9 for f.
4
Let d(f) = -f**3 - 3*f**2 - 18*f - 48. Let c be d(-3). Solve -4*v + 2*i = c, 0*v - 5*v - 6 = -3*i for v.
-3
Let i be -38*4/(-8) + -1 + -1. Let w = i + -15. Solve 4*a + u = -5, -4*a + w - 10 = 4*u for a.
-1
Let a be 33/(-121) - (-91)/11. Solve 0 = 3*x + 4*t + 7, -4*t = -a - 0 for x.
-5
Let d = -149 + 157. Suppose -60 = -5*s + 5*y, 9*s - d*s + 3*y = 20. Solve -5*p = -p + 5*i + s, -3*p + 5*i = -7 for p.
-1
Suppose 2*a - 25 = -3. Suppose 0 = 6*o - a*o + 10. Solve 5*w = 7*g - o*g + 40, 20 = -3*g + 2*w for g.
-4
Suppose 2*p + 56 = 3*m, 5*p + 70 = 7*m - 3*m. Solve 0*c - 17 = 4*g + 3*c, 4*g + 4*c = -m for g.
-2
Let i be 19 + 1*(-2 + 0). Let k = i - 8. Let b = k - 4. Solve 2*u - 4 = -a, u + b*a = -0*u + 2 for u.
2
Let m = -35 - -33. Let i(p) be the first derivative of p**3/3 + p**2 + 4*p + 7. Let n be i(m). Solve -3*s + 9*r - n*r + 5 = 0, -2*r - 28 = 4*s for s.
-5
Let m(u) = 2*u**2 + 2*u - 1. Let v be m(-2). Suppose n + 2 = v*n. Suppose -2*q = -5 - n. Solve q*r + 27 = 3*y, -y = -2*r - 0*y - 14 for r.
-5
Suppose 79 = -4*k - s, -5 - 39 = 2*k - 4*s. Let m be ((-32)/k)/(4/70). Solve -r = -5*t - 3*r + m, t - 24 = -5*r for t.
4
Let x(p) = p**3 + 10*p**2 - 22*p + 10. Let m be x(-12). Let i = m + 38. Solve 0 = 4*n + 3*h - 6*h + i, -4*n = 2*h + 4 for n.
-3
Let v = -81 + 11. Let u = v - -78. Solve 0 = -4*n + x - 17, u*n = 3*n - 3*x - 34 for n.
-5
Suppose d = -4*v + 2*d + 36, 3*v + 5*d - 27 = 0. Let h = v - 3. Suppose h*c = c. Solve 5*y - 3 = -4*f + 14, 5*y - 5*f + 10 = c for y.
1
Let w be ((-1)/(-5))/(1/15). Suppose 2*v - 14 = v + w*j, -4*v + 3*j + 29 = 0. Solve -10 + 33 = -2*a + v*l, -17 = 2*a - 3*l for a.
-4
Suppose -2*t - 13 = 77. Let c be (-87)/t*3 + 1/5. Solve -13 = c*f - 2*f + b, 0 = 4*f - 2*b - 2 for f.
-2
Let i be 2/2 - (-7 - 8). Let p be (-5)/(((-6)/(-2))/9). Let w be 8/6 - 25/p. Solve v = -3*b + b + 4, 0 = b - w*v - i for b.
4
Let u(c) = 2*c**3 + 18*c**2 - 22*c - 17. Let m be u(-10). Solve 5*s = m*k - 11, -4 + 2 = -4*s - 3*k for s.
-1
Let h be 33/(-33)*(-4)/2. Solve h*q = 5*r - 10, q - 4*r + 8 = 3 for q.
-5
Let b(l) = l**3 + 13*l**2 - 17*l + 23. Let y be b(-14). Let g be y/20 - 3/(-4). Let o = 63 - 45. Solve 5*p = 4*t - o, -t - 2 + 12 = -g*p for p.
-2
Let x(f) = f**3 - 4*f**2 + 2*f - 4. Let k be x(4). Suppose u + 4*r - 25 = -4*u, 0 = -r. Solve 7 = -4*t - u*z, -z - k = 3*t + 4*z for t.
-3
Let o be (140/(-16))/7*-4. Let z(r) = -r - 2. Let t be z(21). Let f = t + 28. Solve 0 = -0*q - q - o*c, -4*q - f*c - 15 = 0 for q.
-5
Let v(b) = -b**2 - 8*b - 11. Let s be v(-5). Solve 5*c - c + 4*h + s = 0, -29 = -3*c + 5*h for c.
3
Let z be (-24 + 0)*2/(-6). Let o = 156 + -153. Solve l + 2*y + 1 = 0, 4*l + z*y = o*y - 10 for l.
-5
Let s be 3 - 4/(-3 + 4). Let x be 85/30 + s/(-6). Solve 5*l - 5*v + 15 = 0, 4*l - 5*v + x = -11 for l.
-1
Let i = -1177 + 1184. Solve y = 3*v + 8, -