/(-4). Solve -r = 3*f, 0 = 3*z + 3*f + 9 + 3 for z.
1
Suppose i - 6*i = -4*p + 41, -5*i = 25. Solve 0*x + x + 3*a + 16 = 0, -4*a = -p*x for x.
-4
Suppose o - 5 = -4*k + 4*o, -5*k + 5*o + 5 = 0. Suppose 5*m = 7 + 3. Solve 5*t - x + 2*x + k = 0, -x = t - m for t.
-1
Suppose 2*f - 6*f - 4 = 0. Let o be f - (-3 + 0/1). Solve -2*v + o*d + 4 = 2*v, -2*v + 14 = -4*d for v.
-1
Suppose 5*o = 2*a + 18, 10*a = 5*a + 5. Suppose 1 - 13 = -o*h. Solve -5*v + 15 = 4*z, -11 + 2 = -2*z - h*v for z.
0
Suppose 0 = -d + 2. Suppose -4*y - d*g + 3 = -g, 17 = y - 3*g. Solve 0 = 3*k - 5*p + 19, -6 = -4*p + y for k.
-3
Suppose -m = -o - 2*m + 1, -6 = 2*o + 4*m. Let l(w) = -w**3 + 5*w**2 + 2*w - 2. Let u be l(5). Solve 0 = y + 2*f - u, o*y + f = 12 + 10 for y.
4
Let j(q) = 2*q**2 + 3*q - 3. Let s be j(-3). Solve -z = f + s, 3*f = -0*f - 15 for z.
-1
Suppose 7*y - 25 = 2*y. Let t = -77 - -82. Solve y = t*c - 2*n, 4*n - 7 = -5*c - 2 for c.
1
Let y = 22 - 8. Let n = y + -14. Solve -4 = -s - 0*b + 3*b, -s + b = n for s.
-2
Let a(q) = -q + 4. Let l be a(4). Suppose 1 = -3*c + 10. Let g = c + l. Solve 2*w + w = u + 13, w = u + g for u.
2
Let j be 1 - -1*(-3)/(-3). Suppose 6 = -b + j*n - 0, -3*b = 3*n - 18. Solve 5*s + 17 = b*f, -5*s - 12 + 0 = 3*f for f.
1
Suppose 4*r + 4*j - 24 = 0, -3*r - 5*j + 27 = r. Suppose -f - f = 0. Solve q - r*q - 20 = -4*h, 3*h - 3*q - 15 = f for h.
5
Let f be (10 + 2)*(-3)/(-1). Let s be 4/(-14) + f/28. Let u be ((-4)/(-5))/(s/5). Solve 5*r + 13 = -h, 3*r = -h + u*r + 5 for h.
2
Let j(r) = r - 4. Suppose -2*p = 3*p - 40. Let w be j(p). Let c = 7 + -4. Solve -v = -1, 3*n - c = w*n + v for n.
-4
Let m(w) = -w**3 + 3*w**2 + 5*w - 3. Let j be m(3). Let o be (-42)/8*(-24)/9. Solve -5*b = -2*x + o, x + 11 + j = -5*b for b.
-4
Let h = -33 - -53. Suppose 0 = 5*b + 3*a - a - h, -3*b - 3*a + 12 = 0. Suppose 3*p - b = 2. Solve 2*m - j = 2*j + 9, -5*m = -p*j - 6 for m.
0
Suppose 4*f + m = 19, -2*f - 4*m = 3*f - 32. Solve -f*b - 3*c = 31, b + 0*c + 2*c + 14 = 0 for b.
-4
Let h(q) = q**2 + q + 14. Let p(l) = l**3 - 1. Let u be p(0). Let i = -1 - u. Let s be h(i). Solve -5*x + 3 = v - s, -4*x = -3*v - 25 for v.
-3
Let k = 4 - 10. Let o(z) = -z**2 + 4*z + 8. Let g be o(6). Let a = g - k. Solve w - a = -m, 2*w = 2*m + 2*m - 14 for w.
-1
Let s be 2/((4/(-8))/(-1)). Solve 4*j + r + 10 = 6*r, -s*r = 2*j - 8 for j.
0
Let l = -6 - -11. Let g = 15 - 8. Suppose -l*u - 5*y + 13 = -2*y, -u - 3*y = g. Solve -2*o + 4*z - 10 = 0, 9 = -0*o + o + u*z for o.
-1
Let i be (15 - 17) + 8*1. Solve -2*p + i*y + 7 = y, 4*p + 5*y = -1 for p.
1
Suppose 0 = -j + 5*j + 2*b - 18, -4*b = -3*j - 14. Let c be (-3)/4 - (836/(-16))/11. Solve f - z + 7 + j = 0, 20 = c*z for f.
-4
Suppose 9 = -z + 4*z. Solve -z*r = 4*s - 4, -s - 3*s - 24 = -4*r for s.
-2
Let u be 3/(-2)*(-8)/12. Suppose 0 = -5*a - u - 9. Let v be (a/1)/(-6 - -4). Solve 2*z + 8 = -4*y, -z - 2*y - v = -y for z.
2
Let p = -1 + 3. Let k(r) = -p + 2 + r**2 - 4*r. Let z be k(4). Solve -2*g - g - 4*l + 3 = z, l - 22 = -5*g for g.
5
Let g = -1 - -1. Suppose -3*l = o - 8, o - 2*l - 8 = -g*l. Let p be (-16)/10*2/(4/(-5)). Solve o = p*q, -q - 2*q = 2*u + 4 for u.
-5
Suppose 5*z - 10 = 3*z. Suppose -4*n + 74 = -2*n. Solve -5*h + z*d - n - 13 = 0, -2*d = 2*h for h.
-5
Suppose g + 0 - 3 = 0. Solve j + 5*u = -12, 0*j + g*j - 2 = 4*u for j.
-2
Suppose 4*n - 15 = n. Let g = -4 + 5. Let q(y) = 11*y - 1. Let i be q(g). Solve -2*j = j + n*l - 25, 5*l = i for j.
5
Suppose -q + 6*q = -4*c + 20, 0 = 4*c - 5*q - 20. Suppose 4*w + 3 = 15. Solve -2*g + 33 = w*u + 8, c*g + u = 30 for g.
5
Let w(b) be the second derivative of b**3/2 - 3*b**2/2 + 3*b. Let r be w(1). Solve k = 5*q - 0 + 9, 4*k - q - 17 = r for k.
4
Let m = 19 + -17. Suppose -i + 0 = -m. Solve -i*w - 2*p + 18 = 2*w, 3*p + 23 = 4*w for w.
5
Let r be (6/(-4))/(6/(-8)). Let m be 1*24 + 2 + 3. Suppose -19 = -3*n + m. Solve 4*l - n = r*q, -2*l - 3*l + 3*q = -19 for l.
5
Let t(y) = -2*y**2 - 2. Let w be t(2). Let x be 15 + w - (1 + -3). Solve z + 12 = -3*z + 2*r, 0 = -5*z - 3*r + x for z.
-1
Let r(v) = 3*v + 2 - 4*v + 2*v. Let g(c) = c - 5. Let f be g(5). Let u be r(f). Solve -4*d + 0*o - 6 = u*o, -5*o = 2*d - 17 for d.
-4
Let c(u) be the third derivative of 0*u + 0 - 1/12*u**4 + 7/6*u**3 - 4*u**2. Let o be c(-7). Solve 3*t + 2*i + 18 = 4, 0 = -5*t - i - o for t.
-4
Let l(j) = j**3 - 4*j**2 - 4*j. Let m be l(5). Let q(f) = -f**2 + 5*f + 6. Let x be q(m). Solve 21 = -5*h + d, -3*h = -5*h + d - x for h.
-5
Let j = 20 + -20. Solve j*r - 2*d - 5 = r, r + 5 = -4*d for r.
-5
Suppose -7 = -n - 2*d, -4*n + 24 = 4*d - 0*d. Solve 45 = -n*m - 5*s, 5*s + 2 = 2*m - 15 for m.
-4
Let y be 0/7*(3 + -2). Solve 3*a + 2*a = 5*n - 30, y = 5*a + 2*n + 23 for a.
-5
Let i(p) = p**2 + p - 1. Let u(t) = -t**3 - 9*t**2 + 4. Let v(d) = -i(d) - u(d). Let r be v(-8). Solve a - 4*a = -q - 20, r = 2*a + q for a.
5
Let d be 3 + (5 + -3 - 0). Suppose 4*j - 6 = 6. Solve -4*s = d*y - 12, -j*y + 2*y + 14 = -5*s for s.
-2
Suppose 10 - 2 = -4*d. Let c = 3 - d. Solve -c*i + 0*i - 6 = -4*o, -5*i + 26 = 4*o for i.
2
Let c be 12/(-42) - 18/(-14). Let n be c - (-1 - (2 + -2)). Solve -n*g + 2*q + 2*q = -4, -5*g - q - 1 = 0 for g.
0
Let i = 1 - 1. Solve 0 = -2*p - 4, i = 3*g - 2*g - p - 1 for g.
-1
Suppose -25 = -5*p - 0*p. Suppose -2*c - s + 69 = 0, -2*c + p*s + 47 = -4. Solve 5*x + 4*v + c = 0, v + 4 = -v for x.
-5
Let t = 29 + -6. Suppose 0 = 2*x - j - 3, 3 = x - 0*x - j. Solve x = -5*h - m - t, -h + 0*m = -5*m - 11 for h.
-4
Let s(w) = -w**2 + 6*w - 2. Let f be s(5). Let v be 5 - -1 - 8/4. Suppose z - v = -3*z. Solve z = k + t, 0*t + 9 = f*k + t for k.
4
Let f(n) = 2*n - 3. Let b be f(2). Let g = -3 - -6. Suppose -d - g*d + 44 = 0. Solve 7*m + d = 3*m + 3*l, -l = -b for m.
-2
Let f = 19 - 9. Let x(u) = 9*u + 30. Let a(z) = -4*z - 15. Let n(m) = 13*a(m) + 6*x(m). Let q be n(f). Solve -2*s = -5*t - q, 0 = t + 2*t + 9 for s.
-5
Suppose -5*v + 4*l = -0*l - 19, v - 2*l = 5. Solve b = 3*i - 0 - 12, -2*b = v*i - 21 for i.
5
Let o = -77 - -80. Solve -3*w = o*j + 3, -3 = 4*j - 5*w - 17 for j.
1
Let s be ((-9)/(-2))/(12/16). Let j be -2*((-2)/(-4) - 2). Solve -2*p - 4 = -i + s, -15 = j*p + 3*i for p.
-5
Let p(g) = -g**3 + 7*g**2 + g - 6. Let c be p(7). Let u be 2 - (3 - c - 3). Solve 4*l = -3*x - 8, x + l + 15 = -u*x for x.
-4
Let m(f) = f**3 + 8*f**2 + 8*f + 10. Let a be m(-7). Let k = a - -22. Solve -4*n - d = -k, -5*n - 5*d + 40 = -2*n for n.
5
Let z = 4 - -6. Suppose -z = -5*i - f, -2*f = 2*f + 20. Solve 6*g - 4*p = 2*g + 28, 5*g = -i*p + 3 for g.
3
Let h be (1/1 - 3) + 7. Suppose 0 = k + h, p + k = -0*k - 2. Let x = 3 - p. Solve 3 - 2 = -j - l, -4*j + 2*l - 4 = x for j.
-1
Let r be (1/(-1))/(2/(-4)). Solve 5*p + 10 = -u, r*p - 3*u = -7*u + 14 for p.
-3
Let m(q) = -q**2 + 10*q - 9. Let p be m(9). Suppose 4*w - 34 = -2*f, -4*f - 4*w + 3*w = -61. Solve i - 5*t - 7 = p, -i - 2*i - f = 3*t for i.
-3
Let r(d) = -3*d + 2. Let n be r(-4). Suppose -11 = -5*l + n. Solve 0 = -l*t - 3*m - 20, 5*t - 2*m = -0*m - 20 for t.
-4
Suppose 6 = 2*f + 2. Suppose 0 = -2*p + f + 12. Let k be p*-1*(-4 - -2). Solve -x - 18 = 4*q, q = -q + 2*x - k for q.
-5
Let t = -8 - -5. Let f be -1 - (-1 - (-3 - t)). Solve -4 = -4*u, 2*k - 3*u + 5 = -f*k for k.
-1
Let s = -14 + 20. Suppose -r - 5 + s = 0. Suppose -r = -2*f + 5. Solve -2*j = -2*a - 4, f*j - 6 = -4*a - 0*j for a.
0
Let m(s) = -2*s + 3. Let b be m(7). Let a = -8 - b. Suppose c + 4 = -2*y + 1, -2*y - 15 = -a*c. Solve -5*d = -3*j + 3, -j + 1 = 2*d + c*d for d.
0
Suppose -c - 3*c = 0. Let l = 159 - 139. Solve c = -4*q + 4*u + 8, q = -2*q - 4*u + l for q.
4
Let g = -37 + 77. Suppose 0 = 2*n + 3*n - g. Solve -2*a + n = -4*r, -2*r + 5 + 3 = -4*a for r.
-4
Let g be (-2)/(5/((-30)/(-4))). Let a be (12/(-8))/(g/44). Suppose -l = f - 4, 7*f - 15 = 3*f - 5*l. Solve -2 = r, -4*d - a + 4 = f*r for d.
-2
Let g be -4 - (1 + -4) - -3. Solve 0 = g*p + 10, t + 4*t = 4*p + 10 for t.
-2
Let s be ((-36)/54)/(1/(-30)). Solve l = -5*u - 2*l + 25, 4*u - l - s = 0 for u.
5
Let v(z) = -z**3 - z**2 + 5*z + 1. Let r be v(-3). Solve 6 = r*o - a, -2*a = 2*o - 0*a - 8 for o.
2
Suppose 3*r = 5*i - 22, -3*i + 4 = 5*r + 18. Suppose -i = -2*m + 10. Suppose -h + 4 = -0. Solve 0 = 2*z + h*l + 8, 2*z - 2*l - m = 4*z for z.
-2
Suppose -l + 3*l = i + 9, -2