1 = 0 for k.
5
Suppose -3*t = -8*t. Solve t = -0*c + 4*c - 12 for c.
3
Let a = 3 - 9. Let o = 12 + a. Solve o + 3 = 3*f for f.
3
Suppose k = 4 - 2. Suppose -2 = -5*h + 3. Let f be 3/h + 1*9. Solve -f = 2*s + k*s for s.
-3
Suppose -o = 2*f - 0*o, 2*o = 0. Solve f = 2*z + 2*z for z.
0
Let c = -6 - -10. Suppose -3*k + 9 = 3*d, c*k - 4*d + 1 - 5 = 0. Solve -12 = -k*r - r for r.
4
Let k(d) = 5*d**2 - 4*d - 10. Let n(p) = -p**2 - p. Let j(y) = -k(y) - 4*n(y). Let m be j(9). Solve -3 = s + m for s.
-4
Let y(n) = n**2 - 7*n + 3. Let d be y(6). Let m = 0 - d. Solve -2*g + m = -g for g.
3
Let z(b) = -5*b + 1. Let a(c) = c**3 - c + 1. Let s be a(1). Suppose s = 5*q + 11. Let p be z(q). Solve 9 = 4*f - p for f.
5
Suppose 18 - 33 = -5*v. Solve 4*u - v*u - 1 = 0 for u.
1
Let b = 3 + -1. Suppose -4*o - 20 = 0, 0*q - o = b*q - 5. Suppose 3*f = f. Solve -q*i - 12 - 13 = f for i.
-5
Let f = 0 - -3. Suppose -l = -f*l. Solve l = p - 1 + 3 for p.
-2
Suppose 2*m + 68 = 72. Solve -m*o + 7 = 3 for o.
2
Let d(k) = 2*k - 4. Let u be d(5). Suppose -2 = b - u. Solve -4 = 2*c + b for c.
-4
Let p = -51 + 54. Solve m - 5 = -p for m.
2
Let s(c) = c**3 + 5*c**2 - 8*c - 9. Let o be s(-6). Solve -o*y + 8 = -1 for y.
3
Suppose 4*n - 3*c = 1, 2*n + 5*c = -4 + 11. Let j(g) be the second derivative of 4*g**5/5 + g**3/6 - g**2/2 + 2*g. Let p be j(n). Solve p = -0*f + 4*f for f.
4
Suppose -2*d - d = 6. Let u be (-3)/(d/(0 - -2)). Solve y = -u*y + 4 for y.
1
Let h(z) = 6*z - 8. Let x be h(4). Let j = 16 - x. Solve j = o - 6*o for o.
0
Let l(k) = -6*k**3 + 3*k**3 - 9 - 2*k + 2*k**3 - 6*k**2. Let q be l(-6). Suppose 0*o = q*o. Solve 0 = -m - o*m + 3 for m.
3
Let m(z) be the first derivative of -z**3/3 - z**2/2 + 7*z - 2. Let l be m(0). Suppose 3*j - 7 = -5*q, 3*j + 2*q = 3 + l. Solve 9 = j*i + 29 for i.
-5
Let o = -14 + 16. Solve 7 = o*u + 1 for u.
3
Let u(g) be the second derivative of g**4/12 - g**3/6 - 2*g**2 - 8*g. Let y be (-4)/(-10) + 13/5. Let m be u(y). Solve 0 = m*q - 7*q for q.
0
Suppose -5*f + 5*v + 54 - 9 = 0, -3*f + 2 = 2*v. Solve -1 = f*r - 3*r for r.
-1
Suppose 4*l + 10 + 14 = 0. Let n(m) = m**2 + 5*m - 4. Let q be n(l). Solve -5*t + 3 = -q*t for t.
1
Suppose -8*k + 3*k = -15. Suppose -18 = -3*j - n, -k*n = -j - n - 1. Solve -4*a + 3 = -j*a for a.
-3
Let u = -18 - -22. Suppose u*k = k + 6. Solve -k*f = -5 + 3 for f.
1
Let b be (-27)/(-5) + (-12)/30. Suppose 0 = 2*i + 3*y - 4, -3*y + 2 = -4*i + b*i. Solve -i*l + 4 = -l for l.
4
Suppose -4*o - 3*t = -17, -o - 3*t = o - 7. Let x be 2/8*-2*0. Solve 0*a - 5*a + o = x for a.
1
Let v(d) = d**3 - d**2 - d + 4. Let b be v(0). Let y be (-2)/((-4)/6) + b. Solve -y = 2*l + 3 for l.
-5
Let p(v) = 2*v - 6. Let i be p(-5). Let n be (3/2)/((-6)/i). Solve -z - 3*z = n for z.
-1
Let h = 1 - -3. Let r = h + -4. Let y = r - -6. Solve -y = 2*w + 2 for w.
-4
Let k be 4/((-4)/(-3)) + -6. Let o = k - -6. Solve 1 + o = 2*w for w.
2
Let c(z) = -2*z - 1. Let x be c(-5). Let f be (1 + 0)*x - 0. Suppose 2*t - f = -t. Solve t*j = j + 4 for j.
2
Suppose -4*i + 5*i - 2 = 0. Solve -5*a - 8 - i = 0 for a.
-2
Let o = -6 + 10. Solve o*f - 3 = -7 for f.
-1
Let l be 2/1 - (-1 - 5). Suppose 0 = -2*n - 3*s - s - l, 32 = 3*n - 5*s. Solve -9 = n*d - 1 for d.
-2
Suppose -12 = -6*g + 6. Solve 0 = -m + 2 - g for m.
-1
Let g = 1 + 1. Suppose -2*t - n = -34 - 12, n + 54 = g*t. Solve 0 = -2*q - 3*q - t for q.
-5
Suppose 5*w - 3 - 7 = 0. Solve 3*d = w*d + 1 for d.
1
Suppose 6 = -43*g + 46*g. Solve -2*s - g = -6 for s.
2
Let t be (1/2)/((-4)/(-25 + 1)). Solve t*d + 12 = -d for d.
-3
Let r be 3*(0 + 15/9). Suppose 3*p = -6*v + 2*v + 4, -5 = -4*p - r*v. Solve p = 5*h - 2 + 17 for h.
-3
Let d be (-2)/(-4)*1*-2. Let p be (d - 4/(-1)) + -1. Let v = -6 + 20. Solve -4*b + p + v = 0 for b.
4
Let y be (-12)/(-2)*18/27. Solve -7*v = -y*v + 15 for v.
-5
Let s be 0/(5 - 4) - -4. Solve 13 = 3*a + s for a.
3
Suppose 3*d - 3*a = 9, -2*d + 4*a - 1 = -5. Let g = d - 0. Solve -g*s - 15 = -9*s for s.
3
Let b(u) = u - 2. Let a be b(5). Suppose -4*w - a = -23. Suppose -3*h + 3*l = 15, 2*h - l + w = -3*h. Solve h = -0*d + 2*d for d.
0
Let l be ((-9)/27)/(1/(-12)). Solve 6*k - 2*k - l = 0 for k.
1
Let m(r) = -45*r**3 + 2*r**2 - 1. Let d be m(-1). Let s = -31 + d. Solve 0 = p - 4*p + s for p.
5
Let x be 2 + -1*15/3. Let y = 0 - x. Let l be (-1)/(2 - (-45)/(-21)). Solve y*k - 16 = l*k for k.
-4
Let x = -2 - -7. Suppose -4*y + 0*y + 2*a + 2 = 0, 0 = -x*y - a + 13. Let l be 15*(y/6 - -1). Solve 4*o + l = -o for o.
-4
Let d(u) be the first derivative of -1/3*u**3 + 6*u + 5*u**2 + 1. Let b be d(9). Solve -y = 2*y + b for y.
-5
Let h(l) = -l**2 + l + 4. Let r be h(3). Let k be (1/r)/((-6)/36). Solve -4*o = 15 - k for o.
-3
Let p = -25 + 33. Solve -3*g = -4 - p for g.
4
Let b(r) = -3*r - 2. Let o be (-14)/28 - (-3)/(-2). Let g be b(o). Solve 0*q + 8 = -g*q for q.
-2
Suppose 30 = 3*j + 3*v, 3*j = -v - v + 25. Solve 0 = f + j - 9 for f.
4
Let s be (4 - 4) + (2 - 2). Suppose 5*q = -s + 15. Solve q + 2 = -h for h.
-5
Suppose -17 = -4*o - 5. Let t(u) = 11*u - 2. Let l(n) = 5*n - 1. Let b(p) = 7*l(p) - 3*t(p). Let k be b(o). Solve -k*s - 9 = 6 for s.
-3
Suppose -3*a + 10 = -2. Let i(j) = 3*j + 2. Let v(t) = t. Let p(o) = i(o) - 4*v(o). Let r be p(2). Solve r = -a*z + 2*z for z.
0
Let t be (-6)/((-1)/(4/6)). Suppose g + 18 = 4*g. Solve -t*d - 2 = g for d.
-2
Let f = 186 + -186. Let j be ((-4)/3)/((-6)/9). Solve f = j*m + m for m.
0
Suppose 2*z + a = 15, -2*z + 21 = -z - 4*a. Solve 0 = 3*t - z for t.
3
Let t = 0 + 5. Let k(r) = -r**3 + 4*r**2 - 3*r + 6. Let j be k(4). Let z be j/(-8) - 2/(-8). Solve -z = f - t for f.
4
Suppose -25 = -5*l + 5*j, 5*j + 9 = l + 2*j. Suppose 2*c - p - 6 = 2*p, -l*p = 5*c - 57. Suppose -3 + c = 2*s. Solve 6*y - s*y = -9 for y.
-3
Let d be (3 + -4)*(-5 + 0). Suppose v - 11 = d. Let s = 0 - -5. Solve -f = -s*f + v for f.
4
Let i(r) = r**2 + 2*r - 2. Let t be i(2). Suppose -3 = -4*o + 5. Solve o - t = 2*s for s.
-2
Suppose 6*l - 8 = -4*t + 2*l, 6 = -2*t + 3*l. Solve t*a = -a + 5 for a.
5
Let u(x) = x + 1. Let b(y) = y + 2. Let q(s) = -5*b(s) + 6*u(s). Let r be q(4). Solve -4*t - t = r for t.
0
Suppose -3*v = -4*v - v. Solve v = 5*r - 2*r for r.
0
Let d be (-158)/(-14) - (-4)/(-14). Suppose 4*y + 1 = -d. Let i = 8 + y. Solve p = -0*p - i for p.
-5
Let x = -13 + 9. Let p(v) = -2*v - 5. Let o be p(x). Solve c = -o*c - 4 for c.
-1
Let c be (0 + 3 + -4)/1. Let y = c - -5. Solve y = -2*j - 2*j for j.
-1
Let s be (1 + 4/(-4))/2. Solve s*v + 12 = 4*v for v.
3
Let r = 124 - 114. Solve -r = -6*j + 11*j for j.
-2
Let f(w) = 10*w. Let x be f(1). Let v = -7 + x. Solve -v*r + 7*r = -20 for r.
-5
Suppose 2 + 8 = 2*x. Let c be 12/x + 4/(-10). Solve 4*m - 2 = c for m.
1
Let k = 1 - -1. Let b(u) = 3*u**2 - 2*u + 1. Let d be b(k). Solve d = -q + 4*q for q.
3
Let c(q) = -q**2 + 7*q + 6. Let x be c(8). Let k be x/1 - (-4 - 1). Suppose -3*w = k*h - 27, 18 = -w + 6*w - 4*h. Solve 3*u = -0 + w for u.
2
Let t(z) = -z**3 + 4*z**2 + 2*z. Let b be t(4). Let d be b - 0/(-4 + 2). Solve -4*j + d = -2*j for j.
4
Suppose -z - 5 = 0, -4*j = -z + 3*z + 2. Solve -2 - 4 = j*y for y.
-3
Let j be (-5)/3*(-6)/(-30)*0. Solve j = -w - 0*w + 3 for w.
3
Let w be 28/(-10)*(-3 + -2). Suppose 3*i - w = -0*i - 2*v, 5 = 5*v. Suppose -i*f = -6*f. Solve -2*r - r = f for r.
0
Let g be (1 - (-10)/6)*3. Suppose 2*l + y = 2, -y + 0*y + g = 4*l. Suppose 13 = r + 10. Solve r*x = 3 + l for x.
2
Let x = 11 + -6. Suppose -x*c + 7 + 8 = 0. Solve 0*s = c*s for s.
0
Let m(c) = c**3 - c**2 + c + 3. Let t be m(0). Suppose w - 7 + 3 = 0. Let j be 25/w + (-3)/(-4). Solve j*o + 4 = t*o for o.
-1
Let p(d) = -d**3 + d - 2. Suppose 0 = 3*a - 2*a - 4*f + 2, a + 2 = 2*f. Let k be p(a). Suppose -4 = -2*q + k. Solve -2*u + 2 = -q*u for u.
-1
Suppose 2*z - 33 + 25 = 0. Solve -1 = -x + z for x.
5
Let f be 0 + 2 - 6/3. Suppose -4*l = -f*l - 60. Suppose -3*p + 3*w = -33, 3*w - 32 = -5*p + l. Solve -z = z - p for z.
5
Suppose -3*g = -l - 35, 5*g - l - 57 = l. Let d = g - 4. Solve -d = -0*j + 3*j for j.
-3
Let s(k) = k**2 + 4*k + 3. Let m be s(-4). Suppose m = q - 1. Solve -3*a + 7*a + q = 0 for a.
-1
Suppose -4*a - 9 = -3*x, 0 = 2*x - 5*a + 5 - 11. Let j(v) = -v**2 + 8*v - 7. Let l be (-64)/(-12) - 2/6. Let f be j(l). Solve -x*b = -f*b + 25 for b.
5
Let t =