- m*l - 3*v - 3 = 0, l - 4*v = -15 for l.
-3
Suppose -5 = 32*f - 37. Solve -v = -4*d + f, -1 = 4*d - d + v for d.
0
Let o = -16 - -24. Suppose z - 1 = m, -2*z = -3*m + 3*z - 13. Suppose r - 4 = m. Solve 0 = 4*s - r, 4*f + s = -s - o for f.
-3
Let b(m) = -9*m + 101. Let t be b(11). Solve -4*s + 3 = -4*y - 17, -t = 2*y + 2*s for y.
-3
Suppose 2*r + 6 = 14. Solve 5*x = 5*g + 5, 0 = -r*g - 0*g + x - 1 for g.
0
Let y(k) = -2*k - 7. Let o be y(-5). Let b(s) = 25*s - 341. Let v be b(14). Solve 3*p = -o*g + v + 9, -5*p + 5*g = 0 for p.
3
Let y be (14/16)/((5 + -12)/(-56)). Solve n - y*p + 1 = -5*p, 2 = 2*p for n.
1
Let s be 5/((-60)/(-156)) + -11. Solve 4*n + 2*c + 20 = -0*n, s*c = -3*n - 17 for n.
-3
Let v be 5 + 15 - ((-255)/(-102))/(5/12). Suppose -2*b = -5*b. Let x be (2 - b/1) + 2. Solve -4*n = -x, 5*n - v = -3*u + 3*n for u.
4
Let i be (1 + 9/(-2))*(-308)/49. Solve -3*o + 4 = 3*l - 2, -5*o + 3*l = i for o.
-2
Let j = -188 - -202. Suppose 2*l + 2*v = 2, 0 = l - 0*l - 5*v - 7. Suppose -4*r = -j + l. Solve -h - 2 = -k, 8 = -r*k - 7*h + 3*h for k.
0
Let o(q) = -q**3 + 6*q**2 + 18*q - 7. Let c be o(8). Solve 0 = 3*f + 3, 5*p - f = 7 + c for p.
3
Let x = 128 + -83. Suppose -10 - x = -5*l. Solve 3*s + t = -l, s + 2*t + 22 = -2*t for s.
-2
Let z(a) = 0*a - a + 1 - 3*a + a. Let k = 11 - 12. Let s be z(k). Solve 2*h + 5*b + 0*b = 8, -b - s = -h for h.
4
Let o(u) = 48*u + 341. Let z be o(-7). Solve -z*g + 5 = -s, 0 = -0*g - 4*g + 2*s - 2 for g.
2
Let p(o) = -2*o**2 - 4. Let l be p(0). Let h = 4 + l. Solve -a + 2 = 5*v, h*a - 6 = a - 3*v for a.
-3
Let a(d) = 22*d**3 + d**2 + 2*d + 1. Let y be a(-1). Let b be 0 - 4/(8/y). Let m = 45 + -29. Solve -o + b = 2*o + g, 2*o - 4*g = -m for o.
2
Let o(w) = -w**2 + 21*w - 18. Suppose 79 = -3*c + 139. Let b be o(c). Solve -4 = -5*m - 4*k, 0*m - 2*m + b*k - 2 = 0 for m.
0
Let a(w) = 3*w - 12. Let u be a(4). Suppose u = -r - 1 + 4. Solve s - 5*j - 4 = 0, -5*s - r*j = 9 - 1 for s.
-1
Let y(k) = -2*k**2 + 13*k - 5. Let m be y(5). Solve 3*n - 21 = -0*t - 2*t, 5*n - m = 5*t for t.
3
Suppose -4*p + 2*p = 0. Suppose p*d - 6 = -3*d. Solve -4*l = i - d*i - 4, -3*l = -3 for i.
0
Let z(n) = -2*n**2 + 25*n - 3. Let r be z(11). Let d = 45 - r. Solve -o = -3*y - 2*y + d, -3*y + o + 7 = 0 for y.
4
Let o(k) = -k + 9. Let x be o(7). Suppose -8 = -3*q - x. Solve q*m + 3*f + 11 = -0*m, -m + 4*f + 22 = 0 for m.
2
Let z be (-98)/(-6) + -1 + 2/(-6). Suppose 5*i = -5 + z. Solve 3*o + 0*t + 4*t - 16 = 0, 8 = i*t for o.
0
Suppose -15*u = -22*u. Solve -j - t - 17 = 4*t, u = -2*j + 2*t + 14 for j.
3
Let a(g) = 9 + 6 + 1 - g**2 + 7. Let w be a(0). Let z = -19 + w. Solve -3*s + 14 = -0*l - 2*l, 2*l = -z*s for s.
2
Suppose -g = -5*q + 12, -5*g + 2*q + 9 = -0*q. Solve g*x = 5*u - 28, -u = -x - 3*u + 9 for x.
-1
Let k(z) = 2*z**3 + 2*z**2 + z - 2. Let r(t) = -2*t**3 + 4*t**2 + 6*t + 1. Let c be r(3). Let b be k(c). Solve a - 27 = -3*a + b*f, 0 = 2*f + 10 for a.
3
Let y(o) = -o**2 + o + 1. Let c be y(-2). Let z = 124 + -119. Let v = c + z. Solve 0*d - 4*d - 4*t + 24 = v, -3*d - 2*t = -17 for d.
5
Let s be (-9)/(-2) + -4 + (-2)/(-4). Solve p + 0 = -l + s, -25 = 5*l - 5*p for l.
-2
Suppose -11*x = -9*x - 10. Let n(u) = -u**2 - 7*u + 6. Let w be n(-6). Let g be (-18)/w + 37/2. Solve -f - x*b = -19, -2*f + 0*b = 3*b - g for f.
4
Suppose -1 = n - 25. Let m = -4 - n. Let o = 80 + m. Solve 5*i + o = 5*w + 17, 27 = w - 5*i for w.
2
Let h(w) = w**2 + 10*w + 3. Let a(r) = r - 1. Let y(q) = 2*a(q) - h(q). Let f be y(-7). Solve -35 = -3*t - 6*m + f*m, -3*m = -15 for t.
5
Suppose 3*w - 101 = -41. Let y = w - 20. Solve y = 5*d - 4*n + 11, 0 = 2*d - 5*n - 0 + 1 for d.
-3
Let u be ((-4)/3)/((-2)/3). Let p be (-6)/(34/20 - u). Suppose 0 = 4*f + f - p. Solve 5*d + 30 = f*m, 4*d = -3*m + 6 + 1 for d.
-2
Suppose 5*w = -0*w. Suppose w = -a + 1 + 1. Solve 5*q = 5*x + 25, 4*q + 3*x + 3 - a = 0 for q.
2
Let h be 10/30 - (-2)/(-6). Suppose 5*u - 1 - 20 = -3*i, h = 3*i + u - 9. Suppose 0*a + i*a = 6. Solve 0 = -2*g - a*r + 4, 2*g + 2*g + 32 = 4*r for g.
-4
Suppose 0 = -5*g - z + 40, -8*g + 4*z + 40 = -3*g. Solve g = 2*d - 4*x, -2*d + 5*x = -12 - 0 for d.
-4
Let j = 230 + -224. Solve 3*b - j = 0, -2*b + 4 = -2*p - 0*b for p.
0
Let q = 10 + -5. Suppose 0 = -2*c + 4*h - 8, 5*c - q + 1 = 2*h. Suppose -l + c*l = 5. Solve b - 3*b + 15 = -l*o, 5*b - 5*o - 30 = 0 for b.
5
Let c be -2*(-6 + (-4)/(-2)). Suppose 0 = -4*a + 2*a + 4. Suppose -2 = a*g - c. Solve 5*f + 17 = -2*w, w = -g*w + 2*f + 26 for w.
4
Let t be 0 + 0 + -2 - 7. Let x(u) be the first derivative of -u**2 - 12*u - 3. Let l be x(t). Solve s = -3*z - l, 4*s + 3*z + 13 = 2*z for s.
-3
Let r(p) = 2*p**2 - 3*p + 2. Let n be r(2). Solve -2*z - 2*z + 2*l = -2, 0 = -n*z + 5*l + 17 for z.
-2
Let s(w) = -69*w**3 - 3*w - 4. Let v be s(-1). Let a = v + -37. Solve -6*r - 2*k = -r - a, 4*r - k = 17 for r.
5
Let q(n) be the second derivative of -2*n**3/3 + 15*n**2/2 - 13*n - 3. Let k be q(3). Solve -7 = -k*i + f, -23 = -3*f - 8 for i.
4
Suppose -5*x = 2*x - 21. Suppose -2*v = 5*a + 9, 0 = 4*a + a + 15. Suppose -v*w + 3 = -x. Solve w*c + 4*l + 16 = -l, 3*c - 4*l - 22 = 0 for c.
2
Suppose t - 3*g = 2, 3*t - 6*g = -4*g + 13. Suppose q = 2*b - 36, 3*q + t*b = 3*b - 92. Let a = q + 33. Solve -m - 19 = -5*h, -m - h + 0 - a = 0 for m.
-4
Suppose 7*h = 13*h + 144. Let n be (h/(-10) - 2)*20. Solve 6 = q - 2*r - n, -3*q + 5*r + 37 = 0 for q.
4
Suppose -480*p - 8 = -488*p. Let v = -2 - -5. Solve 3 + p = -s + k, 5*s - v*k + 20 = 0 for s.
-4
Let n(l) = 6*l + 1. Let y be n(-2). Let v = 16 + y. Solve 2*m + p = -1 + 8, -5*m - 20 = -v*p for m.
1
Suppose -5*k - 4*x + 168 = 0, -4*k + 31 + 122 = -3*x. Let n be k/4*(2 - 5). Let z = n - -30. Solve -z*r = r - 2*h - 2, 19 = 3*r + 2*h for r.
3
Suppose 2*g - 3 = g. Let u(h) = -h**2 + 32*h + 35. Let m be u(-1). Solve -g = m*d + v, 3*v + 1 = -3*d + d for d.
-2
Let l = 189 - 74. Let w = l + -111. Solve w*p = 0, -2*p - 20 = 4*v - 9*v for v.
4
Let l be ((-12)/(-36) - -1)*3. Solve -3*b - 2*b - 5*w = 35, -l*b - w = 13 for b.
-2
Let g(x) = x - 3. Let t be g(5). Suppose 4*n = 2*q - 28, 0 = 2*q + 2*q - t*n - 32. Suppose q*i - i = 20. Solve 0 = -c + i*c - 4*s - 23, 3*s = 5*c - 31 for c.
5
Let j = -24 - -26. Let k be 2*j + (-3)/3. Solve 4 = g, 3*h + h + k*g = 16 for h.
1
Let u(k) = k**2 + 14*k + 15. Let m be u(-13). Solve 0 = m*c + q - 9, -5*q = -4*c + 5 + 6 for c.
4
Suppose -5*f - 4 = -7*f. Suppose -3*x = -f*m - 7, -3*x + 34 + 1 = 5*m. Solve 2*k = -0*k + 4*y - 6, -5*k - x*y + 15 = 0 for k.
1
Let s be 346/18 - (3 - 25/9). Suppose -l + 2*b = 5, -l - 2*b + s = 2*b. Solve 5*j + 6 = -l*a - 11, -3*a - 2*j - 14 = 0 for a.
-4
Let f be (38/5 - 2)/(4/10). Suppose 2*w + l = 2*l + f, 3*w + 1 = -4*l. Solve -b = -5*d - w + 20, 0 = 2*d - 5*b - 6 for d.
3
Let m(k) = -k**3 - 8*k**2 - k - 3. Suppose -3*r - 18 = -0*r + 2*v, 26 = -4*r - 2*v. Let z be m(r). Solve -5*a + 45 = 4*w + w, -5 = -z*w + 5*a for w.
5
Let g be ((20/5)/4)/(4/8). Solve 0 = -2*v - 3*s, -g = -4*v - s + 8 for v.
3
Let t(h) = -2*h**2 + 4*h + 2. Let s be t(3). Let z be 1/s + 2/8. Solve 5*l + 10 = 2*u, z = 4*u - l + 12 + 4 for u.
-5
Let s be 47 + -51 + (4 - 0). Solve -5*l - m - 16 = s, 3*l + l - 4 = -5*m for l.
-4
Suppose 3*m - 10*m = -196. Solve -4*k - m = 3*t, 6 = -4*t + 3*k + 2 for t.
-4
Let b(m) = -m**3 + 3*m**2 + m. Let q be b(3). Suppose 10 = 5*p - 0*p. Suppose 5*d - 14 = 4*t + 14, p = -d - q*t. Solve 3*o = -2*v - 12, o + 1 = -d*v - 3 for v.
0
Let s = -25 - -42. Let x(h) = 5*h - 6. Let f be x(2). Suppose 9 + 71 = f*n. Solve 6 = 3*v + y + s, 2*y + n = -5*v for v.
-2
Let i = -669 - -671. Solve i*g = 2*c, -3*c + 4*g + 4 + 1 = 0 for c.
-5
Suppose l + 8 = 2*y, 4*y - 4*l + 3*l = 16. Solve 5*f + y*p = -0*f - 29, -4*f + 2*p - 18 = 0 for f.
-5
Let v = 385 + -385. Solve 4*h - 4 = 0, v*g - 11 = 4*g + h for g.
-3
Let c = 313 - 309. Solve 0 = -0*l - 3*l + m - 8, c*l = m - 11 for l.
-3
Let n(t) = 3*t**2 + 2*t**2 - t**3 + 2*t**2 - 8*t - 14 + 4*t**2. Let k be n(10). Let w be 160/k - (-10)/30. Solve -4*b = -3*r + w, -4*r + 21 = -4*b - 11 for b.
-3
Suppose 4*z = -20, 9*c = 8*c - 3*z - 13. Solve -3*r = q + 5, -r - c = -1 for q.
-2
Let n(y) = -4*y**3 - 10*y**2 - 9*y - 1. Let p(f) = f**3 + f**2 + 1. Let c(z) = -n(z) - 3*p(z). Let d be c(-4). Solve -b + 4*t = -23, 4*b - d = -t - 3 for b.
3
