et f = -2 + t. Let k = 0 - -2. Solve 0 = -4*u - k*r, f*r = -u + 2*u for u.
0
Suppose -5*l + 15 = 4*t - 12, -2*l + 4*t - 6 = 0. Solve -2*k = 2*k, 0 = -l*i + k - 6 for i.
-2
Let v(s) = -s**2 + 9*s - 4. Let i be (81/(-18))/((-1)/2). Let w be v(i). Let m be 24/(-18)*6/w. Solve -3*c = m*c - 15, 2*b - 17 = -3*c for b.
4
Suppose 4*b + 30 = 7*b + 3*v, -2*b = -3*v - 45. Solve -3*t - b = 4*x, -13 = -3*x + 2*t - 3 for x.
0
Let n = -1 + 1. Let w(l) = -l**3 + 9*l**2 + 7*l + 14. Let g be w(10). Let u be (-12)/g*(-4)/(-1). Solve y - 11 = 4*x, -4*y + n*y = -u*x + 8 for x.
-4
Let l be (-4)/2 + (-52)/(-2). Suppose -5*a + 3*x + l = 0, -4*a = -2*x - 18 - 0. Solve -2*n + 3*z = -0*z, -a*n - 2*z = 0 for n.
0
Let i be 2/(-6) + 17/51. Solve i = v + 5*f + 4, -2*v + f = -2 - 1 for v.
1
Let f be 3*(0 - 1) - -21. Let g = 26 - f. Solve -4*n + g = -2*a, n = 4*n for a.
-4
Suppose 5*g - 5 = -2*h + 5*h, 0 = 5*g + 2*h - 30. Let d(r) = -6*r**3 - 2*r**2 + 4*r**3 + 4*r**2. Let v be d(-2). Solve t + 18 = -5*l, g*l - 2*t = -l - v for l.
-4
Suppose 5*p + 0*p = 0. Suppose p = -2*b + b + 6. Suppose -5*v + 9 = -b. Solve o = v*o + 10, -40 = 5*j + 4*o for j.
-4
Let o = 3 + -1. Suppose h + o*h = 0. Solve h = l - 4*l + 2*n, 4*l - 1 = 3*n for l.
-2
Let g(u) = -u**3 + 3*u**2 - u - 1. Let i be g(2). Let n be 5/3 + i/3. Suppose a + 4*l - 26 + 5 = 0, 26 = n*a + 4*l. Solve 4 = o + m - 2, m = a for o.
1
Suppose -2 - 1 = -w. Let u(q) = 5*q + 4*q**3 + 10*q**2 - 15 + 21 - 5*q**2 - 3*q**3. Let r be u(-4). Solve 5*y - 20 = -r*l, -w*l + 0*l = y - 17 for l.
5
Let z(b) = -b + 2. Let q be z(0). Suppose -2*h + 6 = -4*n, -q*h + 3 = 4*n + 29. Let r be (6/n)/((-3)/8). Solve x = -r*x - 3*c - 4, -3*x - 2*c = 2 for x.
-2
Suppose -1 = m, m + 28 - 12 = -3*s. Let q = s + 7. Suppose b + 4*w = -11 + 38, q*b + 3*w = 39. Solve a + 2*r = 6, -2*a + b = a + 3*r for a.
4
Suppose -9 = -3*z - 0*z. Let j(i) = -2*i + 6*i - 4*i - i. Let c be j(-3). Solve z*n - 3 - c = 4*s, -2*s + 5*n + 4 = 0 for s.
-3
Let z = 11 + -5. Let w = -4 + z. Solve 10 = -w*m, m + 0 = -3*o + 4 for o.
3
Let k(a) = 11*a**2 + a + 2. Let i be k(-1). Solve 0 = 4*j + 5*z - i, -j + 0*z - z = -2 for j.
-2
Suppose 0 = -p - 0*p + 5. Let g = 2 - 2. Let w = 4 + g. Solve -o = 2*x - w, p*o - 11 = 5*x + 9 for o.
4
Let c(a) = -6*a + a + 2*a + 13 + 2*a. Let n be c(9). Solve -f = -u + 2, 0 = n*f - 6 + 18 for u.
-1
Let q(n) = n**2 - 3*n + 2. Let r be q(2). Let f be (2 + r)*60/24. Solve -8*g - 2*k = -3*g, 33 = 4*g - f*k for g.
2
Let p = 2 - 0. Suppose -i = -p*i + 5. Solve 0 = -i*b + 2*k - 4*k - 21, 2*b + 2*k = -12 for b.
-3
Suppose -2*b = -3*a - 4*b + 32, 0 = -2*a + 2*b + 18. Solve -x - v = 0, -3*x - 2*v - 3*v + a = 0 for x.
-5
Let z(f) = -f**3 + 9*f**2 - 14*f + 3. Let a be z(7). Solve -j - t - 10 = a*t, 8 = -2*j - 2*t for j.
-2
Let x be (8/(-6))/(1/(-3)). Suppose 4*k + 4 = 12. Solve k*d = x*q + 6, 2*q - 4*d = -2*d + 2 for q.
-4
Suppose -5*k = -3*y + y - 50, 2*y + 34 = 3*k. Let h = -3 + k. Suppose -54 = 5*d - 264. Solve 5*j = -4*q - 24, -5*j = h*q - 17 + d for j.
-4
Let b be 60/3*1/4. Suppose -b*k - 2 = -27. Solve 0 = 4*l - 0*l + 3*o + 15, -4*l = o + k for l.
0
Let q(p) = p - 2*p + 0*p. Suppose 0 = -4*w - 5 - 31. Let r be q(w). Solve -13 = 3*b + 2*a, -b + 2*a - r = -2 for b.
-5
Let x(s) = -s**2 + 10*s - 17. Let b be x(7). Solve 2*o + q = 11, q = o + b*q - 8 for o.
5
Let i(t) = -7*t + 2*t - 5*t + 1 + 6*t. Let z be i(-2). Solve m + z = -2*y, -3*m + 2*y = -2 + 13 for m.
-5
Let s = 17 - 12. Let k(j) = 7*j - 5. Let w be k(4). Solve 0*o + o = -1, s*f - 3*o = w for f.
4
Suppose -3*j - 2*c = -6, c - 2 = 2*j - 6. Solve 5*f - 4*q - 15 = j*f, -10 = -f + 3*q for f.
1
Let t(r) = r**2 + 6*r - 9. Let u be t(-7). Let b be 3*2/12*u. Let j = 4 + b. Solve 4*i = -j*v - 4 + 2, 2*v - 4*i + 8 = 0 for v.
-2
Let g = 13 + -8. Solve -2*r = g*q + 11, -3*q - r = -4*r + 15 for q.
-3
Let t = -12 + 15. Let n be (-2 + 1)/(1/(-5)). Suppose 4*i - 4*k = 20 - 0, n*k = -10. Solve -t*w + 9 = i*o, 24 - 9 = -5*o + w for o.
-2
Let r be 1 + (-3 - (-7 + 1)). Let p(u) = u - 4. Let s be p(r). Solve 3*k = v + 2, -k + s*k + 4 = -v for k.
-1
Let u(y) = 2*y**2 - 6*y + 7. Let g be u(2). Solve 15 = 3*w - 3*a, -3*w + 0 = 3*a + g for w.
2
Let t(v) = 2*v - 22. Let o be t(11). Let c(s) = -s**2 - 7*s - 7. Let b be c(-5). Let k be 2*b/6 - -1. Solve 2*a = -o*q + 4*q - 14, -3*q = -k*a - 9 for a.
3
Suppose 4*x + f = -34, 0*x + 3*x - f + 22 = 0. Let c(n) = -5*n + 2. Let r be c(-2). Let o = x + r. Solve -o*d - 6 = -g - 2*g, 4 = 4*d + 2*g for d.
0
Let w be (-30)/(-8)*(-8)/(-6). Let b = 6 - w. Solve -5 = h - 4*y, -2*h + b = -3*y + 6 for h.
-1
Let p = -13 + 5. Let m be (-3)/(-9) - p/3. Solve 22 = -5*k - m*q, 5*k = 2*k - 2*q - 14 for k.
-2
Suppose 9 = 2*b + 1. Solve -4*u - 28 = 4*j, -6*u + 4*u + 4*j + b = 0 for u.
-4
Let z be (-9)/6 - (-55)/10. Solve -o - 3*m + 1 = -z, -o - 2*m + 5 = 0 for o.
5
Let v = 17 - -2. Suppose 3*m - v = -7*c + 3*c, 0 = c - 3*m + 14. Let n be (c - (1 + 0))*1. Solve n = -p - 5*h + 16, -3*p = -2*h + 2 + 1 for p.
1
Let v(f) be the third derivative of -1/6*f**3 + f**2 - 1/4*f**4 + 0 + 0*f. Let y be v(-2). Solve -35 = -5*a - 2*x, -3*x + y = -4 for a.
5
Let v = -279 + 163. Let y be v/(-30) + (-12)/(-90). Solve -y*x = 5*u - 36, 5*x = 5*u - 0*x for u.
4
Let h = 7 + 0. Let k = 11 - h. Solve 2*a = 2*v + 8, -5*v + 10*v - k = -3*a for a.
3
Let b be (-6)/14 + (-286)/(-14). Solve -4*t + 4*j + b = 0, -j = 3*t - t - 7 for t.
4
Let z be -1*10*(-3)/2. Suppose -3*w - w = 5*w. Solve v = -w*d + 2*d + 3, 3*d = -2*v - z for v.
-3
Suppose -6*m + 10 = -4*m. Solve 20 = m*z - 5*r, 0 = 3*z - r - 0*r - 6 for z.
1
Let y be ((-8)/6)/(8/(-36)). Let x(w) = 2*w - 9. Let z be x(y). Suppose z*c = c. Solve -5*f - 9 = 4*a, c*f + f = -5*a - 6 for a.
-1
Let w = 10 + -6. Suppose 4*d - 1 + 5 = -w*u, 4*u - 4*d - 4 = 0. Suppose 9 = 3*x - u. Solve x*a + 0*n = 4*n - 1, 3*a = 2*n + 7 for a.
5
Let s = 48 + -28. Let n be 4/(4 + (-72)/s). Solve 3*a - n = -2*g, 5*g = a - 6*a + 20 for a.
2
Let p = -3 + 3. Solve -o + p = s + 5, -3*s - 21 = 5*o for o.
-3
Suppose 5*a + 11 = -4. Let o(n) = -n + 1. Let u be o(a). Solve -2*h - 9 = -u*h - 3*m, 3*h = 5*m - 34 for h.
-3
Suppose -3*r - r = -12. Suppose d = 5*x + 22, x + r*d = -0*x - 14. Let g be (-1)/3*(x - 34). Solve -2*o + 16 = 5*i + 2*o, -3*o + g = 4*i for i.
4
Let f(j) = -j**2 + 2. Let s be f(0). Let n be (-2)/(-3) + 94/(-6). Let v = n - -25. Solve -3*x - 2*r - 6 = 0, -4*r - s = v for x.
0
Suppose 13*m = 10*m + 27. Solve 6 = l - 2*w, m + 1 = 3*l + 2*w for l.
4
Suppose -7 = -5*v + 8. Suppose 8 = 7*i - v*i. Solve 5*b - 10 = 3*a - 4, i = -3*b - a for b.
0
Suppose -5*a - 4*c - 1 = -9, 4*a = -3*c + 7. Suppose a*t - 8 = -0. Solve b + 3 = l - t, 5*l = -2*b + 25 for l.
5
Let z = 25 + -17. Let u be (1 - 3)*z/(-4). Solve g = l - 7, 4*l + l - 8 = -u*g for l.
4
Let a(x) = 4*x**3 - 3*x**2 + 2*x - 4. Let w be a(2). Let u = 23 - w. Solve 15 = -3*m, -h = -u*h + m + 13 for h.
4
Let k = -1 + -3. Let l be (6 + k)/((-2)/(-27)). Solve -b - 5*o + 18 = 0, -l + 5 = 5*b - 3*o for b.
-2
Let t = 0 + 2. Let p be -1 + 1/(4/4). Solve p = -4*y - 4, -2*y = 4*z - t*z - 6 for z.
4
Suppose 5*u - 27 = -3*a, 0 = u - 3*u + 5*a - 14. Solve -x - 5*h + 37 = -5*x, u*x - 4*h + 29 = 0 for x.
-3
Suppose 4*r - 11 + 3 = 0. Suppose 0 = r*y + 3*y. Solve -3*d + d - 4*b - 2 = y, -3*b = 0 for d.
-1
Let r = -8 + 12. Let d = 3 - 1. Solve r*u + 10 = -d*f, 5*u + 3*f - 5*f + 35 = 0 for u.
-5
Let x(d) = -d**2 - 8*d - 5. Let h be x(-7). Let q be 3/(-2 + 5) - -2. Suppose -2*r = -q*c, 3*c + 4*r = -c. Solve -4*b + h*k - 22 = c, -4*b - 2*k = 2 - 0 for b.
-3
Let t(n) = -n**2 - 6*n - 5. Let j be t(-4). Solve j*h + 31 = -5*o, -4*o + 5*o + 13 = -4*h for o.
-5
Let j = 49 + -13. Suppose 5*b - 26 = -0*k - k, 12 = 3*b - 3*k. Suppose -2*z - 3*i = -1, -4*z + b*i + 40 = z. Solve u = -z*n - j + 6, 4*u = 4*n for n.
-5
Let o be (-1)/3 - (-70)/30. Solve -13 = 2*z + 5*l, 4*z - 3*l + o*l - 7 = 0 for z.
1
Suppose 2*k - 10 = -y, 2*k + 2 + 0 = 5*y. Suppose y*t + 35 = 7*t. Solve -5*g - 3*o = -17, g - 3*o + 0*o = t for g.
4
Suppose -5 - 3 = -4*h. Let p be 2*(-3)/(-12)*4. Solve -p*g + 1 = 4*s - 7, s = h*g + 2 for g.
0
Let a = 21 - 7. Suppose 4*x = 2*q - 7*q + 2, 2*q = 5*x + a. Suppose -q = 3*m + 2*o, -3*o + 8*o + 30 = 5*m. Solve -4*v - 2*n = -20, -5*v - m*n + 22 = -n for v.
4
Suppose -5*c + 3*c = -50. 