r - 14 = -39, g = r + s. Suppose -9*k + g*k = -6. Solve k*q = -0*q + 6 for q.
2
Suppose 15 + 33 = 4*b. Let n = b + -8. Suppose -5*g - 4 - 21 = 0, 5*g = n*d - 25. Solve d = s - 0*s for s.
0
Let r be (-52)/(-14) - (-4)/14. Let i = -8 - -6. Let y be -1*(-3)/(5 + i). Solve 0 = r*f + y - 5 for f.
1
Suppose 0 = -4*g - 3*s - 16, 0 = g - 2*s + 6 + 9. Let a(j) = -j**2 - 8*j - 4. Let h be a(g). Solve -13 = h*v - 1 for v.
-4
Let o = -14 - -16. Let i be (-1)/(o + -3)*13. Solve -2 - i = 5*c for c.
-3
Let n(m) = -m**2 - 3*m - 2. Let c be n(-2). Suppose -23*v - 15 = -26*v. Solve c = -g - v + 2 for g.
-3
Suppose 256*l = 258*l - 22. Solve l + 4 = -5*j for j.
-3
Let d(u) = 1 - 4*u**2 + 0 + 5*u**3 + 8*u**2 + 8*u**2. Let k(q) = q**3 + q**2 - q - 1. Let r(h) = d(h) - 6*k(h). Let o be r(7). Solve -m + 4 = -o*m for m.
4
Suppose -4*i = 4*r - 7*i - 1, 3*r - 2*i - 2 = 0. Suppose 0*k + r*k + 4*t = 12, -2*k + 6 = 3*t. Solve -k*l = -4*l + 3 for l.
3
Suppose 20 = 4*l + 4*g, 4*l = g - 0*g. Let b = l + 5. Solve -o + b = 2 for o.
4
Let a = -10 + 13. Let l = 12 - 10. Solve 0 = q - l*q + a for q.
3
Let u = -10 + 18. Let d = -5 + u. Solve -16 = d*k - 7 for k.
-3
Let t be ((-6)/15)/((-2)/10). Let o be (-1 - -2) + 2 + -3. Suppose -2 = t*m, 2*m + 10 = r - o*m. Solve 0*s - r = -4*s for s.
2
Let u = -6 - -10. Suppose -i = -u*i. Solve i*b - 2 = -b for b.
2
Let l be 46/10 + 2/5. Let n(p) = p**2 + 2*p - 1. Let w be n(1). Suppose -w*t + 6*t = 0. Solve t = 4*h - 9*h - l for h.
-1
Let z(c) = 7*c**2 - 1. Let j be z(-1). Let m be j*1/2*5. Solve 0 = 5*d - 0*d - m for d.
3
Let c = -40 - -42. Solve c = 4*b - 3*b for b.
2
Let n = 39 - 26. Let h = -6 + n. Let b(t) = t**3 - 6*t**2 - 5*t - 7. Let z be b(h). Solve 5*u + z = -8 for u.
-3
Suppose -4*v + 6*v = 0. Solve 4*m - 26 + 6 = v for m.
5
Let s be (-3)/(-6)*-2 - -6. Solve s*y + 10 + 5 = 0 for y.
-3
Suppose -3*u = -0*f + 5*f - 34, 5*f = 5*u + 10. Suppose 2*l - f = l. Solve 1 = -2*y + l for y.
2
Let i be -2 + -1 - -1 - -2. Solve -5*p + 25 = -i*p for p.
5
Let o = 3 + -9. Let d be o/4 + (-12)/(-8). Suppose k + 8 = 2*z, -2*z - 5*k + 1 + 7 = d. Solve y = -y + z for y.
2
Suppose 2*q - 5*w + 0*w = 9, -4*q + 3*w + 11 = 0. Let x = -1 + -39. Let z be (-4)/6 + x/(-6). Solve -4*f = -z*f - q for f.
-1
Let r be (-3 - -3) + 0 + 1. Let n(z) = 7*z**2 - 2*z + 1. Let b be n(r). Let v be ((-32)/b)/((-2)/3). Solve 0 = -2*q - 4 + v for q.
2
Let t be 6/(5 + -4) - 3. Let n = 3 + 5. Solve -t*o - n = -20 for o.
4
Let w be (-6)/39 - 2/(-13). Solve 0*d - d + 5 = w for d.
5
Let c(i) be the third derivative of -i**4/24 + 3*i**3/2 - 2*i**2. Let p be c(7). Suppose -6 = -5*q + p*q. Solve -q = 5*g - 12 for g.
2
Let d = -9 - -5. Let k = -3 - d. Suppose p - k + 0 = 0. Solve -3 = 2*l - p for l.
-1
Let k be -2 - (-7)/1 - 3. Solve k*u - 4 = 4*u for u.
-2
Let i(v) = v**3 - 3*v + 4*v - 2*v**2 - 6 - 4*v**2. Let p = -29 + 35. Let t be i(p). Solve -4*b = -t - 12 for b.
3
Suppose d + 4 = -0*d. Let j be d/(-1) + (-2)/1. Let n be (2 - 3/3)*3. Solve a = n*a - j for a.
1
Suppose -28 = -q + 4*v, -3*v + 40 = 5*q + 2*v. Solve -8 = 5*l + q for l.
-4
Suppose -2*i = -5*i + 3*u - 3, u = 4. Suppose 0*r + 4*r - 8 = 0. Solve r*k + k = -i for k.
-1
Let q(r) = -3*r**3 - r**2 + 3*r - 2. Let z(y) = -4*y**3 + 4*y - 3. Let s(g) = 3*q(g) - 2*z(g). Let p be s(-2). Let b be (6/9)/((-1)/p). Solve 0 = f + b*f for f.
0
Let q(l) = -12*l - 33. Let t be q(-3). Solve t*p - p = 2 for p.
1
Suppose 0 = 3*b - 11 + 2. Solve z = -b*z + 4 for z.
1
Suppose 15 = -5*s + 5*u, 20 = -0*s + 4*s + 4*u. Let l(h) = -s - 5*h**3 + 0*h**3 - h**3. Let x be l(-1). Solve -4*p = -3 - x for p.
2
Let h be 2 - -4 - (-3)/(-3). Solve 4*q - h + 1 = 0 for q.
1
Suppose -h - 6 = -5*y - 2, y + h + 4 = 0. Solve -6*p + 5*p + 4 = y for p.
4
Let p(q) = -q + 4. Let v be p(0). Solve -v = -2*r - 0*r for r.
2
Suppose 3*k + 53 = 62. Solve k = -0*s + 3*s for s.
1
Suppose 3*l + l = 4. Solve l - 17 = -4*w for w.
4
Suppose h + 33 = 3*o - 26, 22 = o + 2*h. Solve 2*m + 3*m = o for m.
4
Let o(t) = -t + 2. Let u(c) = -c - 1. Let s(h) = -o(h) + 3*u(h). Let x be s(-5). Suppose -x*p = 3*q - 6 + 1, -5*q + 5*p = 5. Solve j + 3*j + 8 = q for j.
-2
Suppose 6 + 3 = w. Let r = -8 + w. Let a be (-1 - -2)*(r - -4). Solve a*c + 3 - 13 = 0 for c.
2
Suppose 5*i - 9 - 1 = 0. Suppose -i*n - 15 = -3*n. Let w be (2/(-4) + 1)*10. Solve 5*m = -w + n for m.
2
Let m be (-38)/(-14) - (-4)/14. Suppose 2 = 4*k - x - 33, 5*k - x = 44. Solve 0*i - m*i - k = 0 for i.
-3
Let m = -3 + 12. Let c = 3 - 0. Suppose -p + 0*p = -1, 4*a + c*p - 23 = 0. Solve -2*v + a*v = -m for v.
-3
Let q(c) = -c**3 - c**2 - 2. Let w be q(-2). Solve -w = g - 7 for g.
5
Let t = -5 - -5. Suppose -5*y - 4*n = -45, t*y + y + 2*n - 15 = 0. Solve -y*i + 3 = 8 for i.
-1
Suppose 0 = -5*z - 3*c + 24, -3*z = -0*z - 5*c + 6. Suppose -z*y + 2 = -2*y. Solve y*m + 8 = -2*m for m.
-2
Let y = 65 - 65. Suppose 0*n + 120 = 4*n. Solve 5*z - 10 + n = y for z.
-4
Suppose -7*s + 28 = 4*f - 2*s, 0 = 4*f - 5*s + 12. Suppose -k - f*p - 2*p + 14 = 0, -5*k = -p - 28. Suppose 9 = -3*h + 24. Solve h*d - 14 = k for d.
4
Let a be (-3)/2 + (-70)/(-20). Suppose 5*k - 21 = a*k. Solve -4*h = 1 + k for h.
-2
Let g be (9 - 2) + (-7 - -3). Solve g*w = w + 4 for w.
2
Let a = 1 + 0. Suppose -4*d + 2*d = -j + a, 0 = 5*d - 5*j + 5. Solve -4*m + 2*m - 8 = d for m.
-4
Let p = -15 + 17. Solve -3*k - p*k = -25 for k.
5
Let r(o) = o**2 + 6*o - 2. Suppose w - 5*w + 5*g = 18, -2 = g. Let x be r(w). Suppose -5*t + 5*f + 15 = 0, 3*t + 3*f - x + 2 = 0. Solve n + 0 + t = 0 for n.
-2
Suppose -2*a = -4*p + a + 23, 0 = p + 2*a - 3. Solve -p = 2*g - 3*g for g.
5
Let m = 18 + -7. Suppose -2*a = 3*b - a - m, 4*a - 10 = 5*b. Solve 4*d - b*d - 8 = 0 for d.
4
Let o = 104 + -101. Solve 3 + 12 = o*n for n.
5
Let k = -25 + 25. Solve k*f = 2*f + 4 for f.
-2
Suppose -2*h - 3*u - 2 + 9 = 0, -4*h + 4*u + 4 = 0. Let i(c) = -1 - h + 4*c - c. Let f be i(2). Solve 4 = s - f*s for s.
-2
Let b(o) = 4*o**3 - o**2 - o + 1. Let v be b(1). Solve 2*d - 20 = -v*d for d.
4
Let l be (-7 + 3)/(-2*1). Suppose -c - l*c = -6. Let a be 0 - (3 - (8 - 1)). Solve c*u + a - 2 = 0 for u.
-1
Let i = 10 - 7. Solve 3 + i = 2*d for d.
3
Suppose 9*k = -4*b + 5*k + 36, 2*k = -b + 14. Solve 0 = 3*d - b - 2 for d.
2
Let b(l) = -l**3 - 6*l**2 + 12. Let t(d) = -d**2 - 5*d + 8. Let f be t(-7). Let u be b(f). Solve 0 = 3*a + u for a.
-4
Let l(b) = 10*b**2 - 1. Let v be l(-1). Let m = v - 4. Solve -3*h + m = -1 for h.
2
Let q = 4 - -1. Let c be 2/q + 8/(-20). Solve 0*k - 4*k - 8 = c for k.
-2
Let h = 0 + 2. Suppose -3*z + 4*n + 3 = -20, n = -3*z - h. Let k be 1*3/(-6)*0. Solve 0 = -g - k*g - z for g.
-1
Let h(u) = u - 2. Let o be h(2). Solve 0 = -o*v - 4*v - 4 for v.
-1
Let i be (1/3)/((-4)/(-12)). Let c be i + (-2 - (-3)/3). Let b = c - -2. Solve -b*f = -f + 1 for f.
-1
Let d = -33 - -38. Solve 2*t - d*t = 0 for t.
0
Suppose -2*u - 5*j - 18 = 0, 4*j - 8 = 8*j. Let p be 1 + (-8)/u + -3. Solve 4*d + p*d + 8 = 0 for d.
-2
Let d(v) = -v - 2. Let t be d(-6). Solve -6 = -t*x + 10 for x.
4
Suppose 0 = -5*u - 5. Let b = u + 2. Solve 4*s - 5 = -b for s.
1
Let v(t) = t**3 + 8*t**2 + 8*t + 4. Let x be v(-6). Let l be x/10 - 4/(-20). Suppose -l = 3*a - 9. Solve a*u = -0*u - 10 for u.
-5
Suppose 5*f = -5*t, 5*t + 21 - 1 = 0. Let d be 4/(f/(-3)) + 5. Solve 4 = v + d for v.
2
Let h(u) = u**2 - 2*u + 3. Let z be h(2). Suppose -3*k + 5*y = -k - 11, 0 = 4*y + 4. Solve 9 = k*s + z for s.
2
Suppose -40 = -5*b + 5*s - 10, 3*b = -3*s - 12. Solve -1 - b = -u for u.
2
Suppose n - 7 + 4 = 0. Solve 0 = -n*r + 14 + 1 for r.
5
Suppose -x + 0*x = -4*z + 9, -2*x - 4*z = -42. Let v = -6 + x. Solve s = 2 - v for s.
-3
Let l be 4 - 1 - (-12)/(-4). Let f = 16 + l. Solve 5*a + f = -9 for a.
-5
Let n be (-10)/(-30) - 74/(-3). Suppose -r + 9 = s, 3*s - r = 6*s - n. Solve 2*b + s = -2 for b.
-5
Let o = -85 - -89. Solve -o*h = 9 + 11 for h.
-5
Let g = 64 + -59. Solve -15 - 5 = -g*d for d.
4
Let y be (16/12)/(2/3). Solve 0*z = -y*z for z.
0
Suppose 11 = 5*f - 2*k + 3*k, 21 = 3*f - 3*k. Suppose b - f = 2. Let z(h) = -2*h**3 - 10*h**2 - 3*h. Let o be z(-5). Solve 0*i + o = b*i for i.
3
Suppose -5*m = 3*w - 4*w - 16, 4*m - 2*w = 8. Suppose 5*v - g = -m*g + 46, 5*v - 3*g = 34. Let x = v + -5. Solve 1 = x*k - 2*k for k.
1
Let z be (-159)/(-33) - 2/(-11). Let x = 0 