ose -1 = -g*j + 5. Let q = 2 + 0. Solve -2*n - 2 = -q*w - 4, -5*w - j*n = 12 for w.
-2
Suppose 22*b = 18*b. Solve -h - 22 = -5*i, -3*h - 2*i + b = -2 for h.
-2
Let m = 15 + -16. Let d be -2 + (0 + m - -5). Solve 3*k + 22 = 2*x, 4*k + x + 1 = -d*x for k.
-4
Let i be (66/(-12))/(1/(-2)). Solve -r + 2*n = 9, -4*n + i = -r - 6 for r.
-1
Suppose -7 = -3*m + 2*m. Let j be 26/m + 14/49. Suppose j*z = 6*u - 2*u + 12, u = 5*z - 23. Solve 25 = 3*x + u*y, -2*x + 12 + 13 = 3*y for x.
5
Let c(o) = 2*o + o - 2*o - 2. Let h be c(2). Let n be (9/12)/((-15)/(-40)). Solve 0 = -h*y + 2*y - 2*w - 4, -w - 11 = n*y for y.
-3
Let d = 11 - 8. Suppose 5*u + 6 = 8*u. Solve -3*q + 17 = u*y, -d*y - 3*q + 21 = -0*q for y.
4
Let f(w) = w**3 - 7*w**2 - 6*w - 11. Let b be f(8). Suppose -4*s + 3 = 5*m - 29, 3*s - m = b. Solve n + 2*n = -2*k + 18, -3*k - s*n + 21 = 0 for k.
3
Let v(p) = p**3 + p**2 - p - 1. Let y(o) = 4*o**3 + 14*o**2 - 12*o. Let u(c) = -5*v(c) + y(c). Let b be u(8). Solve -3*j + 4*w = -b, -2*j = j + 2*w + 11 for j.
-1
Let c be 2*-4*(-1)/2. Solve -2*v + 0*v = c*o - 6, o - 5*v = 29 for o.
4
Let c be (-2)/7 - (-60)/14. Let m be (-2)/6*(7 - c). Let p(z) = -2*z. Let u be p(m). Solve 1 = -j + u*b - 2, 3*j = -3*b - 18 for j.
-5
Suppose 5*g - 25 = -5. Suppose -g*r - 23 = -j + r, 4*r = 3*j - 69. Solve -i - 5*h - j = -0, i = 4*h + 13 for i.
-3
Let s be 582/(-54) - 2/9. Let a = s + 9. Let h be (27/(-9))/(3/a). Solve -i - 8 = 4*c - c, 0 = h*c + 4*i + 2 for c.
-3
Suppose 9*t - 8 = 5*t. Solve t*l - 6 = -5*f, 2*f - 4*f + 10 = -3*l for f.
2
Let s = -27 - -21. Let u = s + 11. Solve -4*n = 3*b - u*b - 4, b = -2 for n.
0
Let f(r) = -3*r**2 + 4 - r + 3*r**2 + r**3. Let o be f(0). Let l be 14/2 - (-1 + 3). Solve -3*i - i - 32 = -4*c, -o*c - 4 = l*i for i.
-4
Suppose 4*l = 2*g + 26, 0 = -l + 3*g + 1 + 18. Suppose 0 = -s - l*s + 25. Solve -2*z + 5*a = -7*z - s, -3*a + 9 = -z for z.
-3
Let n(t) = -t + 5. Let y be n(4). Let u be (-2 - (-3)/3)*y. Let a be (-3 + (4 - 2))/u. Solve -b - 2*h + a + 2 = 0, -2*h + 5 = -b for b.
-1
Suppose -3*m - 63 = 3*w - 6*w, m - 75 = -5*w. Suppose 2 = -j + 6, 2*r + 2*j = w. Let z be (10/4)/(2/r). Solve 1 = 2*c - u, 2*c + u = -z - 0 for c.
-1
Let r = 10 + -10. Suppose 3*j - 9 = -r*j. Let z = 3 - 1. Solve -z*x + 12 = 2*t, x - 4*t + 22 = j*x for x.
1
Let v(l) = 15*l - 1. Let c be v(1). Suppose -c = -4*i - 2. Solve 5 = -5*h - 2*u, -i*u + 5 = -10 for h.
-3
Suppose 5*v = -3*p - 3 + 4, 2*v + 2 = 0. Let a(g) = -g**3 - 3*g**2 + 4*g + 2. Let q be a(-4). Solve 0 = -q*l + 2*r - p, 5*l + 3*r - 5 = -2 for l.
0
Suppose 3*k = 4*k + 21. Let v be k/(-14) - (-6)/(-4). Solve j + 10 = 4*z - 11, v = -4*z - 4*j + 16 for z.
5
Let v(o) be the first derivative of 8*o - 1/2*o**2 + 3. Let d be v(8). Solve d = -5*w - 5*u, -4*w - 12 = -3*u + 9 for w.
-3
Suppose 8 - 2 = 3*z. Suppose z = k - 7. Suppose 0 = -3*q + i - 2*i + 9, 3*q - 5*i - k = 0. Solve 2*g = -5*v + 3*g, -2*g = -q*v for v.
0
Let p be 12/54 - 6/27. Suppose -4*j = -3*r + 2 - 1, -3*r + 9 = p. Solve -3*q + 4*w = 17, 2*q + 4*w = -j*q - 4 for q.
-3
Let m(x) = -x + 9. Let u be (9/4)/(1/4). Let n be m(u). Solve 3*v = s - 4*s + 9, n = s + 4*v - 15 for s.
-1
Let s be (15 - 11)/((-1)/(-1)). Solve -16 = -3*i + s*a - 6*a, 5 = 5*i - a for i.
2
Let g be (-38)/(-8) - (-3)/12. Suppose 0 = g*i - 2*m - 40, -3*i + 5*i = -3*m - 3. Suppose -i = -j - j. Solve 2 = 2*x + 2*p, -j*x - p = 2*x - 5 for x.
1
Let a = 54 + -15. Let t = -16 + a. Suppose 15 = 3*h + 3*l, -2*h + 3*l - t = -7*h. Solve -4*d + 16 = 5*x, 0 - 16 = -h*d + 2*x for d.
4
Let f = 20 + -5. Suppose -5*u + 10 = c, 2*u - 5 - f = -2*c. Solve 0 = 2*w + 3*m - c + 1, 3*w - 13 = -4*m for w.
3
Let v(b) = 3*b**2 + 3*b - 1. Let h be v(-4). Suppose -4*r + d = -4*d - h, -2*d = 2*r - 22. Solve -2*u + 2 = 0, 3*c = -u - 3*u + r for c.
2
Suppose 4*a - 2 = 6*a. Let b be a/3 - 2/(-6). Solve -5*p + 2*j + 13 = 0, 2*p + b*j = -3*j + 9 for p.
3
Let i = -14 + 17. Solve 5*v = -i*y - 22, 3*y - v + 20 = -5*v for y.
-4
Let l(m) = -3 + 1 + m + 0 + 0*m. Let t be l(3). Suppose 0 = u + 4*n - 1, u - 3 + t = -3*n. Solve -3*i + 8 = -4, -2*h + 16 = u*i for h.
-2
Suppose -4*g + 27 = 5*p - 3, 2*g = 2*p + 6. Solve -2*x + g*w + 23 = 0, 2*w + 18 = 3*x - 0*w for x.
4
Let s(l) = -l**3 - 9*l**2 + 6*l - 10. Let a be s(-10). Suppose 0 = 3*g + 4*u + 11 - a, -5*g = -2*u - 23. Solve -g*k + y = 3 + 4, y = -3 for k.
-2
Let o = -4 - -7. Solve -g + 6 = -y, -o*y - 2 = g + 4 for g.
3
Suppose -133 - 41 = -6*d. Solve -2*w = -5*l - d, 5*l + 12 + 5 = -4*w for l.
-5
Let s be ((1 + 2 - 5) + 2)/1. Solve 3*m + 19 = 4*w + w, s = -4*w + 4*m + 12 for w.
5
Let n(s) = -s**2 + 15*s + 2. Let l be n(14). Solve -o = 6*j - 2*j + l, -5*o + 15 = j for o.
4
Let z(t) = -t**2 + 4*t + 7. Suppose m - 2 = 3. Let d be z(m). Let o = -344 - -349. Solve d*y = 4*b + 16, -2*b + 10 - 30 = o*y for b.
-5
Let k = -9 - -14. Suppose 207 - 82 = k*j. Let x(v) = -v**2 - 4*v + 5. Let g be x(-5). Solve -4*m + j = -5*y, g = 3*y - 3*m + 18 - 3 for y.
-5
Suppose 3*j - 4*v - 11 = -2*j, 5*v - 11 = -2*j. Suppose 2*n = -j*n. Let u(k) = -k + 4. Let g be u(-8). Solve 0*q = 2*q - y + 7, n = 4*y + g for q.
-5
Let t(i) = -3*i + 3. Let a be t(-3). Suppose -55 = -4*r - 23. Suppose 3*u = u + r. Solve -h + u*v + 16 = 3*h, 5*h - a = 3*v for h.
0
Let j = -66 + 69. Solve b = 5*g - j*g - 11, g = b + 6 for b.
-1
Suppose 4*f - 8*f + 20 = 0. Solve 37 = 4*y - f*x, -5*y + 5*x + 7 = -33 for y.
3
Let g be -34 - (-2 + (-6)/(-2)). Let z = -21 - g. Solve -r = 3*n - 0*n + 10, -2*r - z = 3*n for n.
-2
Let i(v) = 3*v**2 + 3*v - 10. Let s(p) = -4*p**2 - 2*p + 10. Let w(x) = 3*i(x) + 2*s(x). Let j be w(-7). Solve 4 = -3*d - 4*o, -j*d - d - 2*o + 12 = 0 for d.
4
Let u = 45 - 41. Suppose 0 = 2*v - 10, -f - 27 = -3*f - v. Solve 0 = -o + 2*p - 1, o - p = u*o - f for o.
3
Let x(v) = -2*v + v**2 - 6*v + 3 + 6. Let c be x(7). Solve -h + 0 = -3*a + c, 3*h - 10 = a for a.
2
Let r = 1 + -5. Let a = r - 6. Let j = a + 16. Solve 3*w + 14 = -s, j*s - s + 37 = -4*w for s.
-5
Suppose -30 + 14 = -2*p. Let c be 32/14 - (-4)/(-14). Suppose -c*f + 19 = -5*l, -l + 3 = -2*l. Solve 0 = -z - 2 - f, -4*v + p = -z for v.
1
Let d = 13 - 11. Solve -5*q - 4*s = 33, -d*s + 11 = -0*q - 3*q for q.
-5
Let b = -3 - -15. Let r be (b/18)/((-4)/(-30)). Solve r*d - 10 = 15, -2*d = 5*f - 5 for f.
-1
Let s(x) = -x**3 - 6*x**2 + 7*x + 2. Let r be s(-7). Suppose -35 = -r*d + o, o + 95 = d + 4*d. Solve -1 = 2*l - g, -4*g + 0*g - d = 4*l for l.
-2
Suppose -4*w + 9*w + q - 133 = 0, -5*q = -2*w + 64. Solve 3*h + w = -4*v + 11, h = 4*v for h.
-4
Let p = 19 + -35. Let i = p - -8. Let w be (-38)/i + 3/(-4). Solve -3*h = -b - w*h, 2*b + 3*h + 4 = 0 for b.
4
Let f be 44/6 - (-6)/(-18). Let b = f + -1. Let k = 10 - b. Solve 0*j + 2 = 3*r - 2*j, -k*j = r - 24 for r.
4
Let v(t) = -t**2 - 7*t + 10. Let o be v(-8). Suppose -2*g - o*g = 0. Solve -4*q + 4 = g, 4*i - q = -i + 14 for i.
3
Let k = -34 - -58. Solve -r - 7 = -3*y - 0, -4*y = -5*r - k for r.
-4
Suppose 4*c - 2 - 5 = 3*r, 0 = 2*c - 5*r + 7. Suppose 3*z = 4*z - c. Solve -3*s + z*j = -19, -4*s = -7*j + 5*j - 12 for s.
1
Let m(l) = 9*l. Let j(c) = c**2 - 7*c - 5. Let r be j(8). Let f be m(r). Let w = 43 - f. Solve 4*a = -h + w, 2*a + a + 3*h = 12 for a.
4
Suppose -5*i + 3*d + 29 = 5*d, -3*d + 26 = 4*i. Solve -4*k + 16 = 3*n - 4, 22 = i*k + 3*n for k.
2
Let l = -25 - -46. Suppose -3*k = -5*r + 8 + l, -5*r + 45 = 5*k. Solve 3*m = -3*z - 21, -2*z + 0 = -5*m - r for z.
-4
Let k(q) = -q**3 + 5*q**2 + 2. Let j be k(5). Solve 5*y + x = j*y + 5, 0 = -y + 2*x - 3 for y.
1
Let h be (0/2)/(2/1). Let d(f) = 3*f**2 - 3*f - 1. Let l be d(7). Suppose h = -3*m - 2*m + l. Solve 13 = 3*j + p, 0 = -3*j - 6*p + 2*p + m for j.
3
Let h(t) = -t**3 + 3*t**2 + 3*t - 4. Let o be h(3). Suppose 0 = -0*z + z - 3*m + o, -4*m = -3*z. Solve 4*r + 23 = f + 2, 0 = z*r - 4*f + 36 for r.
-4
Suppose 25 = 5*o, -v - 2*o - 1 = -3*o. Solve 3*g + v*y = 21, g + 0*y = y for g.
3
Suppose 0 = 3*a - 5*u - 2, 5*u - 2 = 2*a - 0*a. Solve a*w = -5*q - 17, w - 4*q - 10 = 6*w for w.
2
Suppose 3*h - 12 = -0*h. Solve 0 = h*q + 2*m + 12, -3*q + q = 3*m + 6 for q.
-3
Suppose -2*s - 4 = -4*s. Solve m = -0*m + s*j - 10, 0 = 4*j - 16 for m.
-2
Suppose 0 = -4*o + 7*o - 12. Let b be 1/((-2)/(-6)) - 1. Suppose -6 - b = 3*w - 4*n, -2*n = 5*w - 4. Solve -5*r = o*l, -5*l + l