et s be c(t). Solve -s*v = -8*v + 20 for v.
4
Let i be ((-2 - -2) + 2)*1. Let j = i + -5. Let y be 0/(j/9*-3). Solve -6 = -y*s - 2*s for s.
3
Suppose -m + 6 = -0*m. Let j be 40/m + (-6)/(-18). Let b = 10 - j. Solve 0 = -b*i - i for i.
0
Let m = -2 + 6. Suppose 5*a - 2 = -2*d + 20, 22 = 5*d - m*a. Let o(q) = q**3 + 11*q**2 + 9*q - 6. Let y be o(-10). Solve 0 = -y*s + s + d for s.
2
Let u(b) = b + 11. Let p be u(-9). Solve 0 = 3*i - i + p for i.
-1
Suppose -z + 0*d = 2*d - 4, -2*d + 4 = 3*z. Solve 15 = 3*q - z*q for q.
5
Let g be ((-15)/35 - (-6)/14)*-1. Solve g = 3*l - 4*l - 4 for l.
-4
Let q be (4 + 1)/((-1)/(-1)). Let l(j) = 2*j**3 - j**2 - 2*j + 3. Let o be l(2). Suppose q = 5*d - 3*s, 0 = -d - 0*d + 3*s - o. Solve -4 = -d*z - 0*z for z.
1
Suppose 5 + 7 = 4*l. Let h(r) = -2*r + 3. Let k be h(l). Let q be (k/2)/((-6)/16). Solve -q*d + 5 = 25 for d.
-5
Suppose 2*d + 3*d - 75 = 0. Solve 0*t - d = -5*t for t.
3
Suppose 5*j + k + k = 8, 4*k - 16 = 4*j. Let o = j - -3. Suppose 0 = n + o*c - 0*c - 6, -3*c + 6 = 3*n. Solve 3*d = -n*d - 3 for d.
-1
Suppose -4*f = 3*i - 41, 5*f + 5*i - 2*i - 49 = 0. Solve -f = -m - m for m.
4
Suppose q = -2*q + 69. Let p = -15 + q. Solve 4*i - p = 12 for i.
5
Let h(j) = -j + 7. Let c be h(-5). Suppose 2*m + u = -u + c, -3*m - 10 = -4*u. Suppose -m*k - k + 9 = 0. Solve 5*d = k*d + 2 for d.
1
Let i = 4 - 1. Solve -5*u + 2 = -i for u.
1
Let u(l) = l**3 - 4*l**2 - l - 2. Let a be u(5). Let j be ((-6)/a)/(2/(-12)). Solve 6 = j*s - 0*s for s.
3
Suppose 0 = -4*l + 4*f - 9*f - 14, 3*f = -4*l - 10. Let n be (-6)/(-2) - (l + 4). Solve 9*r - 4*r - 25 = n for r.
5
Let i = -208 - -219. Solve 3*s + i - 26 = 0 for s.
5
Suppose 22 = 4*o + j, -3*o = -4*j + 6 - 32. Suppose -3*v = -5*v + o. Solve 0*f = -f + v for f.
3
Let h(y) = -3*y + 3*y + 4*y - 3*y. Let b be h(2). Solve 0 = -i + b*i for i.
0
Let h(a) = a**3 - 4*a**2 - a + 2. Let s be h(0). Solve -2 = s*o + 4 for o.
-3
Suppose 4*z - 12 = 2*z. Suppose -3*r - 48 = -7*r. Solve 2*m - r = z*m for m.
-3
Let w = -90 + 95. Solve 2 = -w*j + 7 for j.
1
Suppose -2*o = o. Solve i = -o*i - 5 for i.
-5
Let m(p) = p + 2. Let r be m(0). Suppose -3*c + 3*u = -6, r*c - 5*u = 2 + 2. Solve -c*z - 16 = -6*z for z.
4
Let d(a) = -12*a + 39. Let n be d(3). Solve 0 = k + 2 + n for k.
-5
Suppose -3*a + 2*a + 5 = 0. Suppose -4*c + 4 = 0, -a*d + 2*c = 7 - 30. Solve -2 = -d*q + 3 for q.
1
Let s be (4/(-3))/((-2)/3). Suppose 0 = 2*i + i + s*q - 4, -5*q + 10 = -5*i. Suppose 60 = 4*j - 3*d, 2*j + 5*d + i*d - 4 = 0. Solve 5*y = j - 37 for y.
-5
Let j = -64 - -66. Let t = -1 - -3. Solve j*k = -0*k + t for k.
1
Let y(j) = -j**2 + 4*j. Let d be y(4). Let g = -14 + 9. Let p be d - 4/2*g. Solve p = -x - x for x.
-5
Suppose 13*l - 8*l - 15 = 0. Solve -l*c + 4 = c for c.
1
Let d(r) = -r**2 - 4*r - 1. Suppose 25 = -5*h, 4*h + 18 = -b + h. Let g be d(b). Suppose -2*w - 52 = -4*a, w - g = a - 16. Solve -l = 3*l - a for l.
3
Let i(v) = -v - 2. Let n be i(-5). Suppose 2*g + 45 = -3*w + 6*w, 4*g - w + 85 = 0. Let z be (-2)/(-7) - (-6)/g. Solve -a - n = -z for a.
-3
Suppose -4*g - 4*y + 0 = -12, -2*y + 12 = 5*g. Solve 4*c - g*c + 10 = 0 for c.
-5
Let u(t) = 2*t - 5. Let p be u(4). Solve 0*s + 6 = p*s for s.
2
Let m be (2 - 1 - 0)/1. Let x be (-4)/8*(m + -1). Suppose -3*c - 2*c + 10 = x. Solve -d + 3 = c*d for d.
1
Let h(s) = s**3 + 3*s**2 - s - 2. Let d be h(2). Suppose 6 + d = 2*g. Suppose -x + g = 8. Solve v - 2 - x = 0 for v.
5
Suppose j = 2*z + 2*j - 13, -3*j = -3*z - 3. Solve -z = -3*k - 10 for k.
-2
Let l be (0 + -5)*32/20. Let n = l - -13. Solve 0*s - n*s = -10 for s.
2
Suppose -3*r + 0*r = -6. Suppose 8 - r = z. Solve z*p - 2*p = 0 for p.
0
Let q = -13 - -13. Solve q*j - 12 = -3*j for j.
4
Let i(m) = -m + 3. Let f(l) = 3*l - 7. Let c(g) = -2*f(g) - 5*i(g). Let w be c(-3). Suppose -21*d + 24*d - 6 = 0. Solve -w*k + d = -k for k.
2
Suppose 12 = 2*w - 2*d, -4*w + 2*d + 20 = -0*d. Solve -4 + 8 = -w*g for g.
-1
Suppose -9*f + 13*f = 8. Suppose -12 = -p + 2*z, -4*z - 20 = -2*p - f*z. Solve k - p = 3*k for k.
-4
Let j(t) = -5*t + 3. Let r be j(2). Let c = r + 10. Let k = 3 - c. Solve -5*x + k = 25 for x.
-5
Let i(a) = a**3 + a**2. Let o be i(1). Solve 0 = 6*j - o*j for j.
0
Let o be ((-1)/(-2))/(5/20). Let w = -2 + o. Solve -2*r + 6*r - 20 = w for r.
5
Let b be 1/6 + (-22)/(-12). Let j be (-8)/(-12) + 8/6. Suppose 2*n = -j*n. Solve -3*z - b*z = n for z.
0
Let m be (18/21)/((-6)/(-21)). Solve -m*t - 2*t = 10 for t.
-2
Let d be 4/(-6) - (-64)/6. Let f be (-12)/7 - 4/14. Let t = 5 + f. Solve 0 = t*j + 4 - d for j.
2
Let k = 15 + -6. Let o(q) = -q + 9. Let n be o(k). Let b be (7 - 4) + 1 + n. Solve -4*r - b = -16 for r.
3
Suppose -f + 2*f - 21 = 0. Suppose -2*x - 4*y + 4 = -3*x, 5*x + 2*y - 24 = 0. Solve 5*j - x = f for j.
5
Let c(p) = -p**3 + 7*p**2 + p - 7. Let t(b) = -b**2 + 7*b + 1. Let q be t(6). Let h be c(q). Solve i - 2 + h = 0 for i.
2
Suppose -3*j - 2*j - 13 = b, 2*b + 8 = -4*j. Suppose 2*q + b*q = 20. Suppose -q*l - 4 = -29, -2*l + 20 = 5*p. Solve 3 = -a + p*a for a.
3
Suppose -9*h = -0*h - 72. Solve 0 = -7*g + 3*g - h for g.
-2
Suppose -4*o + 5*o - 99 = 0. Suppose -o = -4*y + y. Solve 0 = -5*r - 13 + y for r.
4
Let u = 14 + -2. Solve 0*n = -3*n - u for n.
-4
Suppose -2*o + 1 = -9. Suppose -o*g + 3*q = -14 - 1, 0 = 3*g + 3*q + 15. Solve g = -3*r - 3 - 0 for r.
-1
Let o be 15/10*(-20)/(-6). Let x = -5 + o. Let j = x - -2. Solve -15 = j*s + s for s.
-5
Let n = 4 - -4. Suppose -2*a - 4*a = -11*a. Solve a*m = 4*m - n for m.
2
Let j be (-2)/(-6) - (-48)/18. Solve 25 = j*y + 2*y for y.
5
Let q(a) = -a**3 - 4*a**2 + 7*a + 11. Let l be q(-5). Solve s - 1 = l for s.
2
Let y be 8/(-20) + 57/5. Suppose -3*w - 11 = v, -40 = -v + 5*w - y. Let j = -9 + 15. Solve v*l - j = 2*l for l.
3
Suppose 0 = -6*t + 27 - 9. Let n(z) = 2*z**2 - 3*z - 4. Let v be n(t). Solve -v*q + 0*q = -10 for q.
2
Suppose 0 = -2*d + 3*d + 3. Let m = d - -8. Solve y - m*y = 20 for y.
-5
Let c = -6 - -1. Let l be -4 - c - (-1 + 0). Solve -3*y - l = -17 for y.
5
Let y(q) = q**2 - 3*q + 1. Let z be y(4). Solve 0 = 4*h - z*h for h.
0
Suppose -3*g + 2*m + 2*m = -37, 4*g + 3*m = 66. Suppose -2*z + 5*z = 0. Suppose -5*k - 6 = -4*j, 2*k + z*j + 8 = 3*j. Solve -k*q + g = q for q.
5
Suppose 3*r - 3*k - 3 = -6, -3*k = 5*r - 35. Suppose z + z = g + 17, -65 = -5*z - 5*g. Suppose 38 + z = r*o. Solve 4*n - n = -o for n.
-4
Let u(l) = -2 - 2*l + l - 2. Let o be u(-10). Suppose 0*f - 2*f + o = 0. Solve -f*b = -b + 8 for b.
-4
Let y(f) be the first derivative of 7*f**2/2 - f - 4. Let h be y(1). Solve -h = -c - 2*c for c.
2
Let v be 4/(((-14)/21)/(1/(-3))). Solve k + v = 6 for k.
4
Let y(v) = v**2 - 2. Suppose -3*r = -t + 9 - 4, 4*t = -5*r + 3. Let n be y(t). Solve 0 = n*p + p + 9 for p.
-3
Let x be (-5)/(-15)*9 + -3. Solve w + w + 6 = x for w.
-3
Let t(x) = x**3 - 2*x + 4. Let u be t(0). Solve -u*f = -2*f for f.
0
Let t = 13 - 13. Solve 0 = -3*i - t + 12 for i.
4
Suppose -3*u = w - 14 - 7, -12 = -u - 2*w. Let q(j) = 2*j - 5. Let s be q(4). Suppose 3*n + 0*n = -3*x + s, 5*n - 29 = 3*x. Solve 2*m + n = -u for m.
-5
Suppose 0*v + v = 17. Suppose 0 = 2*t + 5*g + 1 + 46, 2*t + g + 27 = 0. Let n = v + t. Solve 4*p + 2 = -n for p.
-2
Let j(k) be the third derivative of -k**4/24 - 5*k**3/3 + 3*k**2. Let c be j(-14). Solve -c + 5 = -t for t.
-1
Let p be (32/(-12) + -2)*-3. Let j be ((-8)/14)/((-4)/p). Solve -j*r + 3 = 1 for r.
1
Let p be 1/(-3) - (-39)/9. Suppose -p*c + 16 = 0, c + 4 - 8 = -5*h. Suppose h*q + 9 = 3*q. Solve 8 = q*j - 7 for j.
5
Let m = -6 + 7. Let g be 1 + m*3/3. Solve 10 = -4*v + g for v.
-2
Suppose -3*f + 13 = 4*s - 8, -f - 6 = -3*s. Let p be (0 - -1) + 9 - 1. Solve 3*u + p = -f for u.
-4
Let l(q) = q**3 - 9*q**2 + 3*q - 12. Let a be l(9). Solve -2*n - a = n for n.
-5
Suppose 56 + 29 = 5*w. Let n = -12 + w. Solve 4 = -n*z + 3*z for z.
-2
Let f = 30 + -10. Suppose -16 = -0*x - 2*x - y, 4*x - f = y. Solve -2*u = u - x for u.
2
Let t = -1 - 2. Let i = t - -16. Suppose -g = b - i, 0 = 2*b + 3*b + 2*g - 56. Solve -o + 3*o - b = 0 for o.
5
Suppose -n - 3*n + 8 = 0, -n - 30 = -4*r. Let m(f) = f**3 - 9*f**2 + 7*f + 8. Let v be m(r). Solve v*c = 2*c - 6 for c.
3
Let d be (4/10)/((-1)/(-5)). Suppose -6 = -2*p - 2*p - i, 6 = -p - 4*i. Suppose 0 = -4*g - g + 40. Solve -p*r - g = d