t.
-2
Suppose 1 = f - 0*f, 0 = -3*g + 4*f + 26. Suppose 2*o - 4*k = g, -k - 4 = 3*k. Solve -o*y = -4*y for y.
0
Suppose 6*g + 0 = 12. Solve g*i - 6 = 4*i for i.
-3
Let i = 13 + -16. Let m be ((-13)/i + 1)*3. Solve -3*l + m = l for l.
4
Let r(l) = -l - 1. Let t be r(-1). Suppose 2*s + t = 4. Suppose s*u = -u. Solve -f + u = 1 for f.
-1
Suppose 0 = -z + 1 - 4, -5*h + z + 13 = 0. Solve h*d = -2*d - 8 for d.
-2
Suppose -5*y - 9 = 36. Let l be 2/(-6) + (-3)/y. Let o be 4/(-1*1*-1). Solve l = -2*b + o*b for b.
0
Let o(f) = 2*f**2 - 37*f + 18. Let z be o(18). Solve 4 = -z*g + 2*g for g.
2
Suppose 3*r + r - u = -2, -2 = -4*r - u. Let f be -2*2/4*r. Let l be 1*(0 - 0)/(-2). Solve f = -l*b - 2*b - 2 for b.
-1
Let n be (-2)/(-5) + (35/(-25) - -1). Suppose -4*v - v + 20 = 0. Solve v*h + 20 = -n for h.
-5
Suppose 5*f = 3*f + 8. Solve -r - f*r = 10 for r.
-2
Suppose 2*v = -0*v - 6. Let o be (-14)/v - (-6)/(-9). Solve -5*t + o = -6*t for t.
-4
Suppose 5*n = -3*x + 131, -x - 1 = -3. Suppose 6*t - n = t. Suppose 0 = -t*y + 22 + 3. Solve 0 = -y*r + 4*r for r.
0
Let j = 4 + -7. Let f be 1/j - (-20)/6. Let o(d) = -d**3 + 6*d**2. Let i be o(6). Solve -n - f*n + 4 = i for n.
1
Let x(m) be the third derivative of -m**4/12 - 4*m**3/3 + 5*m**2. Let k be x(-6). Solve -4*g + k = -3*g for g.
4
Let k = -3 + 51. Suppose 3*b + b = k. Solve n + 2*n = b for n.
4
Let w = 0 + 3. Suppose -m = -w*m + 6. Let o = 2 + -2. Solve o = u - m*u for u.
0
Suppose -18 = -3*l - 0*l. Suppose -j = -l*j. Solve j = -2*p + 3 + 5 for p.
4
Suppose -3*m + 6*m - g = 5, 0 = 3*m - 2*g - 4. Solve -2 = -4*i + m*i for i.
1
Let l(i) = -1. Suppose 5*h - 3*h - 6 = 0. Let w(t) = t**2 + 4*t - 3. Let p(u) = h*l(u) + w(u). Let z be p(-6). Solve -f = 2 - z for f.
4
Let n(w) = w**2 - w - 1. Let d be n(-2). Solve 6 = d*y - 3*y for y.
3
Suppose -2*y = 4*l - l - 13, 5*l + 4*y - 23 = 0. Solve l*f = 4*f - 1 for f.
1
Suppose -16*y = -11*y - 25. Suppose 0*t + t - 16 = 0. Suppose 0 = y*q - 4 - t. Solve -8 = o - q for o.
-4
Let k(w) = -w**3 - w**2 - 2*w + 3. Let i(r) = -r**3 - r + 4. Let u(f) = -7*i(f) + 6*k(f). Let b be u(7). Solve -b*z - 2 = -18 for z.
4
Let j(v) = 3*v**2 + v**2 - 1 - 2 - 9*v - 5*v**2. Let z be j(-6). Solve -2*b - 3*b = z for b.
-3
Let c(o) = -o**2 + 6*o + 27. Let k be c(9). Solve -3*z - 6 = -k for z.
-2
Suppose -5*y + 2*y - 2*k - 19 = 0, 0 = -5*y - k - 20. Let o be (-11)/(-33) - 5/y. Solve 1 = -q - o for q.
-3
Let s be (-161)/1 - 0/2. Let x be s/(-21) + (-2)/(-6). Solve -l = 3*l - x for l.
2
Let l be -3*(-16)/12 - 1. Suppose 0*b - l*b = -24. Solve 5*w + b - 23 = 0 for w.
3
Suppose -6*m - 21 = -13*m. Solve 0 = -m*a + 8*a - 10 for a.
2
Let c(t) = -t**2 + 4*t - 2. Let u be c(3). Let b be 24 - ((-3)/u)/3. Suppose 5*k - b = -0. Solve k*v - 3 - 2 = 0 for v.
1
Let y = -4 - -2. Let m be (-31)/y - (-1)/2. Solve -m = r + 3*r for r.
-4
Let n be (-3)/(-3)*14/2. Suppose 2*g + 0*g - i - n = 0, -3*i = -4*g + 17. Suppose -4*z + 6 + g = 0. Solve 2*o + z = -2 for o.
-2
Suppose 14*m - 54 + 12 = 0. Solve 0 = -m*u + 9 + 6 for u.
5
Suppose -3*m + m = -6. Let l = 3 - m. Solve l*t = -5*t for t.
0
Let f(d) = d**2 + 2*d - 1. Let l be f(1). Solve 0 = -l*q - 4 - 4 for q.
-4
Suppose -6*q + 3*q + 99 = 0. Suppose -3*b + 24 = 3*n, n - 81 = -5*b - q. Solve 0*i = -2*i + b for i.
5
Let j be 31/(0 - (-4)/4). Solve 11 - j = 5*c for c.
-4
Suppose 0 = -4*k - 16, -4*v - 16 = 5*k. Solve -v + 11 = 2*n for n.
5
Suppose 0 = s - i - 4, -5*s + 22*i + 12 = 19*i. Let a = -4 - -6. Solve s*n + a*n = 4 for n.
2
Suppose 28 = -x + 5*x - 3*n, 3*x + 8 = -5*n. Suppose o - x*o = 0. Solve -10 = 5*i - o for i.
-2
Let z(f) = 5*f**2 - f - 3. Let r(x) be the first derivative of x**3/3 - 1. Let d(h) = 4*r(h) - z(h). Let q be d(0). Solve -u + 2 = q for u.
-1
Let i(w) = -2*w**2 + 14*w + 16. Let l be i(8). Solve l = -u + 6*u - 15 for u.
3
Let g be 6*-1*(-1)/2. Suppose -5*y - 4*i = -5*i - 34, 4*i = 5*y - 31. Solve -g*m + 1 = y for m.
-2
Suppose 0*i = 3*i. Suppose 0 = -5*w - i*h + 4*h + 33, 3*w = -h + 13. Solve w*l + 4 = 19 for l.
3
Let m = 4 + -3. Let g be 12/(-84) - (-72)/14. Let d(q) = -q**2 + q + 4. Let n be d(0). Solve g*p = m + n for p.
1
Suppose 76 = 5*p + 4*t, 12 = -3*p - 2*t + 56. Solve -3*z = -7*z - p for z.
-3
Let p(h) = -h**3 - 6*h**2 - 7*h - 4. Suppose 3*g + 0*g + 7 = v, 3*v + 5*g = -35. Let u be p(v). Let l = u + -4. Solve 0 = -b - l - 2 for b.
-4
Suppose 45 = -11*h + 6*h. Let n = h - -14. Solve 0 = n*d - 16 - 9 for d.
5
Let g(f) = 5*f - 6. Let t be g(5). Let u = t - 13. Solve u*m + 4 = 2*m for m.
-1
Let p be 10/(-2 + (1 - 0)). Let q = 0 - p. Solve 4*x - 10 - q = 0 for x.
5
Let y be (-3)/(-2)*(-30)/(-9). Solve -5*v = y - 15 for v.
2
Suppose -50 = -5*c + 5*m, -22 = -5*c + m + 12. Suppose -y + 4 = -c. Solve -3*h + y = -8*h for h.
-2
Let q be (-5 + 3)*9/(-2). Solve -q = -3*j + 6 for j.
5
Let f = -26 - -46. Let s be -3*1*f/(-12). Suppose s*d = 9 + 16. Solve h = d*h - 4 for h.
1
Let j(k) = 0 - 1 - k - k. Let z be j(-3). Suppose 30 = z*r + 5. Solve r*m + 0*m - 10 = 0 for m.
2
Let o = 64 - 44. Suppose 2*c + 4*l - o = -0, 2*c - 4*l - 28 = 0. Let m be (-6)/15 + c/5. Solve 1 - 9 = -m*n for n.
4
Suppose -3*z = -15, 0 = -2*v + z + 3*z - 14. Solve v = 5*q - 7 for q.
2
Let r(c) = c**2 - 3*c + 1. Let u be r(2). Let z(f) = -5*f**3. Let w be z(u). Suppose -w*y = -2*y. Solve 2*q + 4 = -y*q for q.
-2
Suppose 2*w = -0*g + 2*g + 22, -8 = -3*w - 2*g. Let t(q) = -q**2 - 4*q + 8. Let c be t(-5). Let u be c*(w/9 + 0). Solve -3 = u*y + 5 for y.
-4
Let c(a) = a + 4. Let i be c(0). Suppose -2*n - 8 + 4 = 0, -l + i = -n. Let g(u) = u**2 + 1. Let f be g(0). Solve -q + l = -f for q.
3
Let i(p) = p**2 - 11*p + 6. Let d be i(11). Suppose 2*l = -4*w + 2*w - 2, 3*w - 3 = -l. Suppose 2*q = -c, -3*c = 4*q + d - w. Solve -5*n = -q*n for n.
0
Let b(u) = 3*u**2 - 3*u + 13. Let s(w) = 5*w**2 - 4*w + 20. Let n(m) = -8*b(m) + 5*s(m). Let j be n(-6). Let f be 1 + 4/(j/6). Solve 7*v = f*v for v.
0
Let r(v) = 3*v**2 - v + 1. Suppose -3*q - s = 8, 2*q - 3*s + 2*s + 2 = 0. Let t be r(q). Solve -3*z + 6*z = t for z.
5
Let o = -14 - -17. Solve o*v = 5*v + 10 for v.
-5
Let a be -2*5/(-3) + 74/111. Suppose 3 = 4*y - 1. Solve -j + y = a for j.
-3
Suppose 0 = 5*m - 26 - 4. Solve -m = 4*l + 14 for l.
-5
Let m be 14*(-3 - (-155)/35). Solve 5*l + 5 + m = 0 for l.
-5
Let i be 2*(2 - (2 + 2)). Let d = 8 + i. Suppose l + 10 = -d*l, 4*l = w - 13. Solve 0 = -f + w*f - 20 for f.
5
Let x(s) = s**2 - 3*s - 18. Let y be x(6). Solve -5*d + 1 + 9 = y for d.
2
Let t(o) = -o**3 - 8*o**2 - 7*o + 7. Let j be t(-7). Suppose -j*r = -5*r. Solve c + r = 2 for c.
2
Let t = -21 + 23. Solve -t*u = -u + 2 for u.
-2
Let m(c) be the first derivative of c**3/3 - 2*c**2 - c - 2. Let g be m(7). Suppose -z - 4*z = -g. Solve 0*f = -4*f - z for f.
-1
Let m be (-2 + 4/2)/1. Suppose -d + 3 + m = 0. Solve d*p + 14 = -1 for p.
-5
Suppose 4*g - 6 = g. Solve 3 + 1 = -g*i for i.
-2
Let a(t) = t + 5. Let m(l) = 3*l**2 - l - 1. Let u be m(-1). Suppose 5*f = -17 - u. Let h be a(f). Solve -3 = v + h for v.
-4
Suppose 3*c + 111 = 5*u, c + 2*c = 2*u - 48. Suppose -4*f - 5*x + 15 = -12, 2*x - u = -5*f. Solve -f*i + 6 = -3 for i.
3
Let i = 8 - 5. Solve -2 - 1 = i*f for f.
-1
Suppose 6 = -2*n - 2. Let v = 53 + n. Suppose -5*f + v = -m, -2*f + 2*m = -11 - 7. Solve o - f = -o for o.
5
Suppose -4*h + 2*h - 2 = 0. Let n(o) = -19*o**3 + 2*o**2 + 2*o + 1. Let s be n(h). Solve 5*l - s = l for l.
5
Suppose 5*w + 4*k = 66, 1 - 3 = 2*k. Suppose 2*z = z + 2, 26 = -4*j + 5*z. Let f be j/w - 46/(-14). Solve -g = -f*g for g.
0
Suppose 171 = 4*z - 325. Let p = -81 + z. Suppose 2*h - 3*c - 34 = 2*c, 5*h = 2*c + p. Solve n - h + 3 = 0 for n.
4
Let h(v) = 11*v**2 - 7. Let k(p) = -7*p**2 + 5. Let y(i) = 5*h(i) + 8*k(i). Let o be y(0). Solve x = o*x + 8 for x.
-2
Suppose 0 = -2*z - 8, 0*z + 7 = -3*s - 4*z. Let h(p) be the second derivative of -p**4/12 + 5*p**3/6 - p**2 + 2*p. Let m be h(s). Solve -m*a + a = 0 for a.
0
Let t(i) be the second derivative of i**3/6 + 7*i**2/2 - 2*i. Let w be t(-7). Solve w = -3*r - 2*r - 20 for r.
-4
Let i = 2 - -3. Solve -3*x - i + 20 = 0 for x.
5
Suppose 4*r + 2*b - 18 = 7*b, 4*b + 4 = -2*r. Solve -k - r*k = -6 for k.
2
Let q(h) be the third derivative of -h**4/24 + 2*h**3/3 + 6*h**2. Let j be q(4). Solve x = -j + 2 for x.
2
Let l be 8/(-14)