 -12 = -0*j - q*j for j.
4
Suppose 0 = -x + 5*x + 5*t - 88, x + 3*t = 29. Let c = x + -14. Solve -u + 0 = -c for u.
3
Let l(j) = j**3 - 5*j**2 - 5*j - 3. Let o be l(6). Suppose b - 4 = -0*b. Suppose -12 = b*v, 4*v = o*u - 11 - 1. Solve u = -2*d - 4 - 0 for d.
-2
Let p be (-8)/(-6) - 4/(-6). Let z be p*(2 - 3/2). Suppose -i - y = -7 + 1, 0 = 3*i - 3*y. Solve z = i*b + 4 for b.
-1
Let v(k) = 0*k + 3*k**2 - k - 2*k**2 - 3. Let a be v(3). Suppose t + 0*t - 7 = 0. Solve a*w - 2 = t for w.
3
Suppose 0 = -z - z + 8. Let c be (-142)/(-7) + (-4)/14. Suppose -z = 4*r - c. Solve r*p = -2 - 2 for p.
-1
Let f = 6 - 4. Suppose f*p - 25 = 7*p, -5*p = l + 17. Solve s - l = -s for s.
4
Let v(q) = -q**2 + 4*q - 3. Let t(f) = -f**3 - 3*f**2 - 2*f - 1. Let k be t(-2). Let b be ((-4)/2 + k)/(-1). Let z be v(b). Solve z = 3*r - 5*r + 10 for r.
5
Let x(g) = g**3 - g**2 + g + 1. Let a be x(0). Let t be (-18)/12*a*-6. Solve 3*r - 3 = -t for r.
-2
Let i be 1/(0 - (-2)/6). Let q(o) be the third derivative of o**6/120 + o**5/15 - o**4/24 - o**3/3 - 3*o**2. Let m be q(-4). Solve i = m*h + h for h.
1
Let p = 107 - 95. Solve -6*l + 10*l = p for l.
3
Let b be (-1)/5*0 + 2. Solve b*d - 16 = 6*d for d.
-4
Let s(j) = -5*j**3 - 2*j**2 + 2*j - 1. Let f be s(1). Let r be (f/(-15))/((-3)/(-30)). Solve r*q - 6*q = 6 for q.
-3
Let r be 2/(-1) + (-4)/(-1). Suppose 4*l + 21 = 5*f - 1, -r*f - 2 = 2*l. Solve -1 = w + f for w.
-3
Let q be 6/(-4)*2/3 + 4. Solve -q*u - u = 12 for u.
-3
Suppose 0 = -o + 3*d + 2, -2*o - 3*o - 12 = -4*d. Let n be (-2 - -2)*(-2)/o. Solve n = -x - x for x.
0
Let v be 8/3*(-21)/(-14). Suppose -3*c + 0*c + 3*o = 36, -o = v*c + 38. Let m(q) = -q - 7. Let n be m(c). Solve 0*k = k - n for k.
3
Suppose -3*s = 2*g - 18, g + 30 = 7*s - 2*s. Let k = 12 + -6. Solve k = 4*q - s*q for q.
-3
Let b(u) = -u + 1. Let s be b(-9). Let k(v) = v - 6. Let y be k(s). Let q be (3/2)/(3/y). Solve 0 = q*a + 2 + 6 for a.
-4
Let h(p) = p**2 - 3*p + 4. Suppose w + 4*w = 15. Let f be h(w). Solve -2*z = -f*z for z.
0
Let t(s) = s**2. Let k = 6 - 7. Let q be t(k). Let v be (0/q)/(-2 - -1). Solve v = -a - 2 for a.
-2
Let d = 44 - 31. Let u = d - -2. Solve -u = -6*g + g for g.
3
Suppose n + 2*z + 6 = z, -n - 18 = -2*z. Let o be 4/(-8) - n/4. Solve 0 = o*p - 6*p + 16 for p.
4
Suppose 0*b - 5 = -2*b + w, -3*b = 2*w - 11. Suppose -5*m - b = 4*v - 1, 0 = -5*m - 10. Solve v*a - 2 = -12 for a.
-5
Suppose 4*z = f + 4, 2*z - f = 3*f + 2. Let d(w) = w**3 + 3*w**2 - w - 3. Let v be d(-3). Let q = z + v. Solve -4*a - q = -13 for a.
3
Let d be (-1 + 1)*4/(-12). Suppose 5*k + 30 + 15 = d. Let w be 6/k + 40/6. Solve -2*f - w = f for f.
-2
Suppose -2*o = -2*y - 3 + 13, 0 = y + 5*o + 25. Solve 3*l + 3 = -y*l for l.
-1
Suppose -4*i + 25 = i. Suppose -i*d = -8 + 3. Solve 2*s - d = 1 for s.
1
Suppose i - 2*i = 0. Let w(d) = d**3 - 4*d**2 - 4. Let c be w(4). Let j = 5 + c. Solve -k = -i*k + j for k.
-1
Let x(b) be the second derivative of -b**5/20 - 5*b**4/12 - b**3/6 - 3*b**2 - 2*b. Let q be x(-5). Let c be 6/(q*(0 + -2)). Solve 0 = -h - 1 - c for h.
-4
Let b be ((-9)/(-6))/1*10. Let x = -3 + b. Suppose -4 = -5*p - 2*n + 6, -3*n + 15 = -3*p. Solve 2*v + x - 2 = p for v.
-5
Let v(z) = -17*z**3 - z. Let w be v(-1). Suppose 2*q - w = -q. Solve -2*g + 0 - q = 0 for g.
-3
Let g be (-37)/(-7) + 4/(-14). Suppose s + 16 = g*s. Solve -3*k = -s - 2 for k.
2
Let a(j) = j**2 + 7*j + 6. Let c be a(-5). Let x be (-4)/10 + c/(-10). Let o be ((-3)/(-12) - 1)*(-8)/3. Solve x - 2 = o*z for z.
-1
Let o be (-2*100/8)/1. Let z = o - -37. Let v be ((-4)/2 - -2)/(-1). Solve v*s = -3*s - z for s.
-4
Let v = 12 + -18. Let h be 0 - (v/2)/(-3). Let m be 1/(-2) + h/(-2). Solve y = -m*y for y.
0
Let a(v) = -v - 2. Let p be a(-17). Solve -2*d - 3*d = p for d.
-3
Let p be (-1)/6 + (-91)/(-42). Solve p*y = y + 1 for y.
1
Let t(m) = m**3 - 13*m**2 + 13*m - 10. Let q be t(12). Let r be (-2)/(-7) - (-107)/(-7). Let f = q - r. Solve 3*i - f + 2 = 0 for i.
5
Let j(b) = -b**2 - 12*b - 32. Let k be j(-6). Solve 4 = -2*v - k for v.
-4
Suppose 0 = 4*z + l - 12, z + 3*l = l - 4. Solve 7*j + 6 = z*j for j.
-2
Suppose f + 2*d + 12 = 7*d, 36 = 3*f + 3*d. Suppose 8*x + f = 6*x. Let y be (-3)/(x + 4 + -3). Solve 2*b + y = b for b.
-1
Suppose y - 2*y - 33 = -4*d, -5*d + 10 = 0. Let i = y - -37. Let q(c) = c**3 - 6*c**2 + 4*c + 8. Let b be q(5). Solve b*u = i - 0 for u.
4
Let m(f) = -3*f. Let t(j) = j**3 + 2*j**2 - 1. Let q be t(-2). Let x be m(q). Solve -8 - 7 = x*i for i.
-5
Let r(l) = -31*l**3 + l**2. Let y be r(1). Suppose 5*s = -5*g - 25, 0 = -3*s - 0*s + g - 35. Let h = s - y. Solve 5*f - f - h = 0 for f.
5
Suppose 10*g = 3*g + 7. Solve 2*r = -5 - g for r.
-3
Suppose 2*a - a + 2 = 0. Let i = -1 - -1. Let u = i - a. Solve u*r = -r for r.
0
Let z be 3/12 - 33/(-12). Let l(p) = p + 4. Let y be l(z). Solve -2 = -u - y for u.
-5
Let m(y) = -3*y - 8. Let s be m(-4). Solve -1 = s*g + 3 for g.
-1
Let v be (-11)/(-3) + 7/21. Suppose v*b - 2*s + 10 = 0, -s - s + 1 = -b. Let a be (2 + -2)*b/(-9). Solve a*z + 6 = -2*z for z.
-3
Let m(f) = f**3 + 15*f**2 + 14*f. Let j be m(-14). Suppose -5*y - 3*z + 40 = j, y = -0*y - z + 10. Solve -1 = y*p + 4 for p.
-1
Let p be 1/(4 + (-92)/24). Solve -8 = p*k - 2*k for k.
-2
Let o(b) be the first derivative of b**3/3 - 3*b**2 + 2*b + 2. Let t be o(6). Solve t*u = 3 + 3 for u.
3
Let m = 52 + -52. Solve m = -i + 3 + 1 for i.
4
Let f = 5 - 7. Let d(x) = -x**2 - 2*x + 1. Let j be d(f). Solve 4 = -n - j for n.
-5
Let q(h) = 6*h**2 + 3*h - 4. Let o(r) = 13*r**2 + 7*r - 9. Let a(m) = -4*o(m) + 9*q(m). Suppose -4 + 0 = -4*g. Let t be a(g). Solve -t = v + 2 for v.
-3
Let i = -5 - -7. Solve -o - i = 2 for o.
-4
Let q(s) = -6*s - 3. Let m(i) = i**3 - 8*i**2 + 7*i - 2. Let b be m(7). Let o be q(b). Let t = -4 - -7. Solve -t*g = o - 3 for g.
-2
Let j be (-2)/(-9) + (-11)/9. Let p be j/(((-2)/3)/(-2)). Let b = 6 + p. Solve -4*h = b + 1 for h.
-1
Suppose h - i = 2*h, 4*h = i + 5. Let l = h - -4. Suppose -v - v + 4*d + 8 = 0, -4*v - 4*d = 8. Solve -l*o - 3 - 17 = v for o.
-4
Let a(w) = -3*w - 8. Let i be a(-5). Solve 3*s - i*s - 16 = 0 for s.
-4
Suppose 148 = s + 16. Suppose -s - 214 = v. Let q be v/(-14) + 6/21. Solve -q = -4*u - u for u.
5
Let n be (-1 - -2)*0/(-5). Suppose 5 + n = 5*a + 5*f, -2*a + f + 14 = 0. Let g = a - 5. Solve 2*m + g*m - 4 = 0 for m.
2
Let h(a) = -10*a + 42. Let u be h(4). Solve -u*j - 15 = j for j.
-5
Let g = 49 - 49. Let f = 1 + -7. Let z = -1 - f. Solve g*c + 15 = z*c for c.
3
Suppose 0*u = -5*u + 15. Suppose -3*w = -w + 14. Let y be (-4)/(16/w)*4. Solve -4*i = -y*i + u for i.
1
Suppose 2*s + 40 = -5*o - 3*s, 2*s - 44 = 3*o. Let h(b) = b**2 + 12*b + 17. Let c be h(o). Solve -c = 5*g - 7 for g.
-2
Let l(p) = -3*p - 3*p - 4 + 5*p. Let m be l(-4). Solve -3*n - 9 + 0 = m for n.
-3
Let f be 5*(3/(-1))/(-3). Solve -5*x + f = -0 for x.
1
Let s(i) = -6*i**2 + 4*i + 3. Let y(j) = j**2. Let z(c) = s(c) + 5*y(c). Let o be z(4). Suppose o*q - 8 = q. Solve -3*t + 2*t = q for t.
-4
Suppose 0 = -3*k - 4*v + 4, -4*k + 0*v = -2*v - 42. Solve -k = g + 3*g for g.
-2
Let b = -13 + 25. Solve -5*r + 13 + b = 0 for r.
5
Suppose 3*v - 3 = 6. Let j be (-2)/(-6) - 4/12. Solve j = -v*l + 6*l for l.
0
Let m be (1/2 + -1)*-2. Let k be 3/(m + (-2)/(-4)). Solve 0 = k*d - 7*d + 5 for d.
1
Let v be (-94)/(-6) - 8/12. Solve 0*g - 5*g - v = 0 for g.
-3
Let y = -36 - -43. Solve -5*q + y = -3 for q.
2
Suppose 5*o + 4*s = -4, -5*o - 5*s = 4 + 1. Solve 0*i - 5*i - 20 = o for i.
-4
Suppose -3*d + 5*d = 10. Suppose 39 = d*l - 6. Solve 2*f = -1 + l for f.
4
Let g be (2/4)/((-1)/8). Let j be (4 - -1)/(5 + g). Solve 0*u - j = -5*u for u.
1
Let j be -2 + -3*(-5)/3. Let l be (2/(-6))/(j/(-18)). Solve l = -s - 0*s for s.
-2
Let t be ((-54)/(-63))/(1/7). Suppose -t*w = -w - 20. Suppose 5*o - 3*o = w. Solve -o*c - 15 = -5*c for c.
5
Let m(v) = -v**2 - 6*v + 10. Let g be m(-7). Let n be 0*(-1 + g - 1). Solve n = 6*w - 11*w - 15 for w.
-3
Let b = -20 + 21. Solve -24 - b = -5*q for q.
5
Let s = -4 - -1. Let t = -1 - s. Solve 0 = -2*q - 0 - t for q.
-1
Let p = 10 + 3. Suppose 0 = 2*g - 2, -u = -0*u - g - 3. Let d(s) = -s + 12. Let i be d(5). Solve p + i = u*w for w.
5
Let v = -1 - -1. Let w(z) be the second derivative of -z**3/6 + 2*z**2 + 2*z. Let b be w(-3). Solve 