olve -3*i - d = -3 for i.
-1
Suppose 0 = -3*x + r - 7, 3*x - x + 3 = -r. Let i be (4/(-6))/(x/9). Suppose -f - p = -8, -2*p = f - i*f + 8. Solve 0 = -u - u - f for u.
-3
Let o = -6 - -9. Suppose -4*n + 20 = -3*u, 2*n = -3*n + o*u + 25. Solve -7 = n*i + 18 for i.
-5
Let v = -5 - -9. Solve -n = -v*n - 6 for n.
-2
Let o(i) = -i**2 + 6*i + 2. Let s be (-2 - -1)*2 + 2. Suppose 4*y = -s*y + 24. Let h be o(y). Solve h*w = -2*w - 8 for w.
-2
Let f be ((-10)/(-4))/(10/20). Let a = 8 - f. Solve -a*m = -m for m.
0
Suppose -3*m + 2 = -4. Solve m*x - 4*x + 6 = 0 for x.
3
Suppose 3*q - 2 = 1. Let b be q - -5 - 6/3. Let l = 6 - b. Solve 2*a - 12 = -l*a for a.
3
Suppose 3*i + 2 = 4*i. Suppose a = i*t - 3, -5*a - 3*t + 27 = t. Let k be ((-12)/(-15))/(2/10). Solve a*j = k*j + 5 for j.
-5
Suppose 2*i + 0*i = 2. Suppose i = 3*a - 5. Let w be -2*12/(-8) - -2. Solve n - a*n + w = 0 for n.
5
Let k(g) = g**2 - 4*g - 3. Let c be k(5). Suppose d = 1 - 2, 4*b + 12 = -4*d. Let f = c + b. Solve -l = -f*l + 4 for l.
-4
Let v = 0 + 15. Suppose 2*u = -u + v. Let x = -3 + u. Solve x*o + 2*o = 20 for o.
5
Let q be 118/10 - (-4)/20. Let s = q + -10. Solve 0 = k + s*k - 3 for k.
1
Suppose -u = 2 - 4. Let p = 1 + -1. Solve 2*c + u*c = p for c.
0
Let o = 8 + -8. Solve 0 = 3*s + 3 - o for s.
-1
Let i be ((-2)/(-4))/(2/16). Solve -12 = -4*x + i for x.
4
Let l(m) = m**3 + 6*m**2 - 3*m - 6. Let x be l(-6). Let i be (12/10)/(9/30). Solve i*c = -x + 4 for c.
-2
Suppose 3 = 8*r - 7*r. Solve 2*o = r - 7 for o.
-2
Let l = 74 - 70. Solve -i - 10 = l*i for i.
-2
Suppose -i - 8 = 12. Let d = 11 + i. Let k = d - -20. Solve k - 3 = 2*c for c.
4
Let l(x) = 5*x**2 - x. Let h be l(1). Let p(f) = -f**3 - 14*f**2 - 7*f + 79. Let b be p(-13). Solve u + h = b for u.
-3
Let m be (-38)/(-14) + (1 - 25/35). Suppose -6 = -3*p - 2*b + 4*b, -2*p = -5*b + 7. Solve m*v + p = 4*v for v.
4
Let z be (-8)/(-28) + 6/(-21). Solve z = -4*h + 2 + 6 for h.
2
Let f be 1*-20 - (0 - -2). Suppose -t + 4 - 8 = 0. Let n be (-2)/t + f/(-4). Solve -3*m + n = -5*m for m.
-3
Let h = -116 - -118. Solve -z = z + h for z.
-1
Let w be (-305)/(-4) + (-3)/12. Suppose 4*l - w = -0. Let p(q) = -2*q + 9. Let s be p(3). Solve -l + 4 = -s*m for m.
5
Suppose -4*d = x - 1, 3*x + 0*d + 3*d - 3 = 0. Solve 0 = -b + 5 - x for b.
4
Let c(i) = i**3 - 4*i**2. Let k be c(4). Let g(y) = -3*y + 8. Let q(f) = 4*f - 8. Let z(r) = 3*g(r) + 2*q(r). Let a be z(6). Solve l + a*l = k for l.
0
Suppose c - p = 8, 4*c + 5*p - 2*p = -3. Suppose 0 = -t + c*t - 6. Solve -v + t*v = -4 for v.
-2
Let n(w) = 17*w**2 + 2*w - 1. Let p be n(1). Let l = p + -18. Solve l*m + 20 = -5*m for m.
-4
Suppose 0 = -5*n - 3 - 7, 5*a + 5*n - 75 = 0. Solve -3*o = a - 8 for o.
-3
Suppose 0 = 2*a + 2*y - 36, -5*a + 3*y + 74 = -48. Suppose 0 = 5*t + 8 + a. Let j = 6 + t. Solve j*v - 10 = -5*v for v.
2
Suppose -3*f = 3*t + 2*f + 107, 3*f - 6 = 0. Let x = -28 - t. Solve -x + 27 = 4*m for m.
4
Let w be 7/3 + 1/(-3). Let h be 1 + 32 - (2 + -1). Suppose 5*j - 15 = -i, -j - w*j = -4*i - h. Solve 10 = -2*v + j*v for v.
5
Let t be 6/39 - (-150)/39. Suppose -3*w + 10 = t. Solve 0 = -w*o + 4 for o.
2
Let d(w) = -8*w**3. Let c be (-5 - -3) + 3 + -2. Let x be d(c). Let q be (-1)/2 + 60/x. Solve 2*u - 1 = q for u.
4
Suppose -3*n = -2 + 17. Let j = n - -11. Solve -2*i = 2 - j for i.
2
Let u(q) = 4*q**2 + 6*q - 9. Let c(r) = -7*r**2 - 11*r + 17. Let k(s) = -3*c(s) - 5*u(s). Let h be k(-5). Solve h*v + 1 = 5 for v.
1
Let v(j) = -18*j**3 - j**2 + 1. Let f be v(-1). Let a = f + -9. Solve -a = z + 2*z for z.
-3
Let a be (-4)/(-6) + (-1)/(-3). Solve 0 = -2*n + a - 3 for n.
-1
Let c(j) = 119*j - 1. Let w be c(-1). Let h be w/18*6/(-4). Solve 0 = -7*t + 2*t - h for t.
-2
Let p be (2 + -5)*8/(-6). Let b = -8 - -4. Let y = 1 - b. Solve -p*i - y = 7 for i.
-3
Let s be 2/4 + 23/2. Let f be (-22)/(-4) - 4/(-8). Let u = -50 + 53. Solve -u*b - s = -f*b for b.
4
Let q(g) = 9*g**2 + 6*g + 6. Let v be q(-1). Solve -24 + v = -5*t for t.
3
Let d(w) = -w**3 + w**2 + w - 4. Let p be d(-2). Solve -p = 2*y - 14 for y.
4
Let o = 108 - 105. Solve -3 = o*f - 0*f for f.
-1
Let a(c) = -c**3 + 6*c**2 - 4. Let o(n) = n**3 - 6*n**2 + 4. Let x(w) = 2*a(w) + 3*o(w). Let q = -3 + 9. Let f be x(q). Solve f*z - 10 = 10 for z.
5
Let l(d) = -2*d + 24. Let o be l(10). Solve 15 = -o*a - a for a.
-3
Let g(c) = 6*c**2 + 5. Let w be g(0). Solve 7*t - 8*t = w for t.
-5
Let x(z) = z**2 - 5*z - 3. Suppose -4 = -3*c + 14. Let m be x(c). Suppose -4*g = 5*l - m, g + g = -l + 3. Solve -b = -g*b for b.
0
Let w be (0/1)/(2 - 3). Let z be (-2)/(-1) - (2 + -4). Let q = -2 + z. Solve w = 3*c + q*c for c.
0
Let b = 26 + -24. Let g = 2 + 4. Solve -b*w - 12 = -g*w for w.
3
Suppose -d - 3*d = 0. Solve -6*u + u - 20 = d for u.
-4
Let l be ((-5)/15)/((-1)/24). Solve -l*z + 3*z = 10 for z.
-2
Suppose -5*p - 4*u + 55 = 0, 2*u - 64 - 1 = -5*p. Solve p + 5 = 5*q for q.
4
Let u be (1 + 0/1)*5. Suppose 17 = i + 5*w, 12 + 1 = u*i + w. Suppose -l = 5*a - 60, -a - i*l = -2 - 1. Solve 4*r + a + 3 = 0 for r.
-4
Suppose -q + 2*p = 4*q - 79, -6 = 3*p. Solve 2*l + q = -l for l.
-5
Let c(v) = v**2 - 3*v - 6. Let d be c(5). Let k be (-4 + -1)*(-4)/(-5). Let i = k + d. Solve 12 = -4*x - i*x for x.
-3
Suppose 0 = f + 3*f. Suppose 5*t - 5 - 10 = f. Suppose 0 = -3*v - t + 6. Solve -v = -k - 6 for k.
-5
Suppose 4*n - 40 = -4*s, 2*n = s - 5*s + 30. Suppose -5*u = 4*y - 0*u - 26, -n*y + 3*u = -14. Solve 21 - 5 = y*d for d.
4
Suppose 3*k + 2*t = 19, -k + 25 = 2*k + 5*t. Let a be (-8)/(-2) - (-3)/3. Solve 0*j = k*j - a for j.
1
Suppose -12 = -z + 2*w, 6*w = 5*w - 4. Solve 0 = -z*x + x - 3 for x.
-1
Let d = -26 - -26. Let o be d*(-4)/(-7 + 3). Solve o = 5*g - 22 - 3 for g.
5
Suppose 0*i = -4*i + 64. Let u = 26 - i. Let j(v) = -v**3 - 2*v**2 + 3*v + 2. Let r be j(-3). Solve r*x + 3*x = u for x.
2
Suppose -5*v = -5*i - 59 + 14, -4*v + 5*i = -39. Let l be (2/3)/(1/v). Solve -w = l*w for w.
0
Suppose 0 = 4*z - 2*l - 6, 0 = z + l + l + 1. Let n(g) = 2*g**3 + 2*g**2 - g. Let s be n(z). Suppose 15 = 4*d + d, -s*a + 6 = -d. Solve 2*m + 3 = -a for m.
-3
Suppose -4*f = 3 - 23. Let b = f - 3. Solve -2*y - 16 = b*y for y.
-4
Suppose 4*i = 4*s - 8, i = 2*i - 4*s + 11. Let m be -4*((-5)/2 + i). Solve -2*k + m = k for k.
2
Suppose -2*z = -2*p + 22, 0*p = 2*p - z - 22. Suppose -p = -3*r + 2*r. Let w = r - 3. Solve i = w - 4 for i.
4
Let b = 16 - 8. Suppose f + 3*p + 2*p = -44, 3*f + 42 = 3*p. Let t be f/(-4) + (-2)/(-8). Solve -t*a = -a - b for a.
2
Suppose 0 = -4*q + 6*q - 4. Solve q - 5 = -3*x for x.
1
Let s(i) = -i + 5. Let v be s(5). Suppose 0 = -3*b - 2*l + 16, v = 3*b + b + 4*l - 28. Let f be (1*-2 + b)/(-1). Solve f = -5*w - 2 + 22 for w.
4
Suppose 4*r - 10 = -r. Suppose -2 = -4*m + r. Solve 9 = -2*t - m for t.
-5
Let k(h) = -2*h**2 - 7*h + 4. Let n be k(-4). Solve s - 4 = -n for s.
4
Let j(h) = -4*h + 8. Let v(l) be the first derivative of 5*l**2/2 - 9*l - 2. Let r(z) = 4*j(z) + 3*v(z). Let y be r(0). Solve -y*n = -6*n - 3 for n.
-3
Suppose -2*q + 9 = -3*q. Let k = -3 - q. Solve -l + k*l = 5 for l.
1
Let i be 48 + -32 + 2/(-4)*0. Solve 9 = -5*d - i for d.
-5
Suppose 4 = 3*y - x, 2*x = -5*y - x - 12. Solve 0*w + 5*w = y for w.
0
Let h(n) = -n**3 + 5*n**2 + 3. Let r be h(5). Suppose r*x + 3 = 12. Suppose -2*i + 6*i + 5*a + 2 = 0, 2*i - 2 = -a. Solve -b = -x*b - i for b.
-1
Suppose 4*l + 6 = 6*l. Solve l*i - 2*i - 4 = 0 for i.
4
Let s be (-2 - 3/(-3))*(-1 + -12). Solve -2 = -3*g + s for g.
5
Suppose 4*w = -3*o - 8, -4*o - 4*w - 6 - 2 = 0. Let y(v) be the first derivative of -v**4/4 - v**3/3 + 19*v + 12. Let q be y(0). Solve o = 5*h - 1 - q for h.
4
Let k(y) = y**2 + 12*y + 13. Let h be k(-9). Let v be h/(-5) - 4/(-20). Solve 8*f - 10 = v*f for f.
2
Let p(k) = k**3 - k - 2. Let m be p(0). Let n be m/(-4)*8/2. Solve n*y + y + 3 = 0 for y.
-1
Let g(r) = r**2 + 4*r. Let k be g(-5). Solve -d + k = 4 for d.
1
Suppose -1 = q + 2*a + 5, 2*a = -4*q + 6. Solve -q*w + 10 + 10 = 0 for w.
5
Suppose -2*u + 4*a = -42, 0*a = -2*a - 10. Let o = 15 - u. Solve -y = o*y + 25 for y.
-5
Let g be 1/((-1)/3) + 16. Let c = g + -9. Solve -3*w = 10 - c for w.
-2
Let c(n) = -3*n**3 - n**2 - 3*n - 2. Let a be c(-1). Solve -w = -2*w + a for w.
3
Let r be 6 + -2*1 + 1. Suppose 3*g - r = -2*g. Let v be 3*(2/g + -1). Solve 