 k = x + 3 for x.
-3
Let x be 112/(-32)*8/(-14). Let d be 5 + x/((-4)/10). Solve d*l = -4*l - 12 for l.
-3
Let b = -7 - -14. Suppose 2*o - 4*w - 28 = 0, b*w - 4*w = -15. Let v = 2341 + -2337. Solve -v*p = -8*p + o for p.
1
Let v(w) = -8*w + 39. Let n be v(4). Solve -5*g + 8 = -n for g.
3
Let s be (6 - 2)/(4/14). Let k = -11 + s. Suppose z = 5*m - z - 23, -k*m + 2*z = -13. Solve 30 = m*i + 5 for i.
5
Let k(o) = -21*o - 70. Let j be k(-4). Suppose 5*c = -4*a - 35, 2*a + 26 = 4*c + 2. Let p = a + j. Solve -3 = -p*t + t for t.
1
Let t(k) = -k**3 + 9*k**2 - 2*k + 3. Let v be t(4). Solve s = v - 79 for s.
-4
Let k = -17 + 20. Let u be (k/6)/1*2. Solve -q + 6 = u for q.
5
Let s(z) = z**2 + 20*z + 12. Let m be s(-21). Suppose -6 = m*o - 36*o. Solve -6 = o*n + 4 for n.
-5
Let b be (-8)/(-6)*(-702)/(-156). Solve 14 - 2 = b*z for z.
2
Let d = -24 - -29. Solve -3*n + d*n = -2 for n.
-1
Let z be (-1 - 5/(-5))/3. Suppose 3*m + 53 = 3*i - 217, 4*m = -4*i - 344. Let j be m/(-14) + (-2)/7. Solve -5*l + j*l = z for l.
0
Let m be (18/(-162))/(1/(-3))*0. Solve m = -8*d + d - 7 for d.
-1
Suppose 5*n - 65 = -5*g - 0*g, g = 2*n - 14. Suppose 19*u - 20*u = -4. Solve u*w = w + n for w.
3
Suppose -5*v + 12*v - 14 = 0. Suppose 11 = v*a - 1. Solve -15 = -3*j - a for j.
3
Suppose 0 = -l - 5*d + 4, l = -3*l - 5*d + 91. Suppose -13*q + l + 10 = 0. Solve -q = -12*g + 9*g for g.
1
Let g be 6 + (-4 - (-1 - 0)). Let m be g/9 + (-55)/(-15). Solve m = t + t for t.
2
Let d(w) = -w**2 - 28*w - 103. Let k be d(-6). Solve k*u = 27*u + 8 for u.
4
Let l = 2 - 32. Let p be (-4)/6*l/4. Suppose -4*f = v, -v + 13 = v - p*f. Solve v*x - 3 = 1 for x.
1
Let n(f) = -f**3 + 11*f**2 + f - 6. Let x be n(11). Suppose l = 4*a - 1 + 11, 0 = -x*l + a + 31. Let h = l - -10. Solve 3*y + y + h = 0 for y.
-4
Suppose -6 + 6 = -183*j. Suppose -5*f = -6*f. Solve -5*t + j*t = f for t.
0
Suppose -10 = -5*p, 2*j + 7 = 3*j + 2*p. Solve 6*z = j*z - 12 for z.
-4
Let b(l) = 5*l + 2*l - 9*l**2 - 5*l**3 + 6*l**3 + 6 + 3. Let n be b(8). Solve n = y + 3 for y.
-2
Suppose -2*z + f + 12 = 2*z, -z + 3 = 2*f. Let l be z/5 - 114/(-10). Let x = l - 8. Solve -x = 2*y - y for y.
-4
Suppose 8*v - 4*v - 24 = 0. Let a(y) = y - 4. Let d be a(3). Let o = v + d. Solve o*h = -0*h for h.
0
Let p = -925 - -933. Solve 3*w - p - 7 = 0 for w.
5
Suppose z - 24 = -z. Let m be 2 + -5*(z/(-15))/2. Solve 0 = -i - m*i for i.
0
Suppose -m - 41 = 3*b - 7, 3 = -b. Let x(r) = r**2 + 24*r - 24. Let d be x(m). Solve -a = -2 - d for a.
3
Let r be 12/18*(1 - -20). Let c = -5 + r. Suppose 3*v - 27 = -c. Solve 5*m = v*m - 5 for m.
5
Suppose -9*k + 8*k + 13 = 0. Suppose -k*i - 8 = -15*i. Solve -q - i = -2*q for q.
4
Let z(r) = r**3 + 16*r**2 - 17*r + 4. Let d be -20 - 6/((-8)/4). Let f be z(d). Suppose -u = 3*u + 5*j - 28, 5*u = -2*j + 35. Solve u*m - f*m = 0 for m.
0
Suppose -4*v + 101 - 32 = -3*q, 4*q = -5*v + 94. Solve -20*o = -v*o - 2 for o.
1
Let v(i) = -i**3 + i**2 + 2*i + 7. Let m be v(3). Let f be -7*m/((-70)/(-4)). Solve 0 = f*n + 5 - 3 for n.
-1
Let y(s) = -20*s - 61. Let f be y(-23). Suppose 28*x - 7*x = f. Let c be 1/(-2)*2*-1. Solve -4*h + x = -c for h.
5
Let s = 86 - 123. Let d = s - -37. Suppose 4*r - 8 = -d*r. Solve r - 14 = 4*k for k.
-3
Let l = -36 + 39. Suppose z = 3*z. Suppose 0 = -z*o + o. Solve o = -h - 1 - l for h.
-4
Let x = 14 + -5. Suppose 0 = -5*p - 3*u - 41, -13 = 2*p - 3*u - 5. Let n = x + p. Solve 0 = n*q + 2*q - 8 for q.
2
Let n(u) = -u**2 - 4*u + 5. Let l be n(-5). Suppose 2*a = -0*a - 2*h - 10, 5*a - 2*h = 3. Let t(k) = 2*k + 2. Let s be t(a). Solve l = -j - 5 - s for j.
-5
Let g(l) = -l**3 - 12*l**2 - 37*l + 11. Let f be g(-5). Solve f*t = 13*t + 8 for t.
1
Suppose p - 11 = -y, 0 = 6*p - 9*p - 4*y + 36. Solve -5 = 3*t - p for t.
1
Suppose -1 = -8*t + 2*t - 1. Suppose 10 + 14 = 2*s. Solve 4*p = -t*p - s for p.
-3
Let l = 373 - 373. Solve -q - 18 + 17 = l for q.
-1
Let o(k) = -k**3 - k**2 - 3*k + 8. Let s be o(0). Suppose i - 225 = -s*i. Solve -i = -2*j + 7*j for j.
-5
Let h(d) = -d**2 - 5*d + 15. Let u be h(-3). Solve 9*i + 48 = u for i.
-3
Suppose -5*m + 7*m = -5*a + 30, -5*m - 3*a + 75 = 0. Suppose -3*q - 2*b - 15 = 3*b, -5*b = m. Solve q*f - 2 = -f for f.
2
Let i(x) = x - 2. Let z be i(-13). Let t = z - -17. Solve w - 3*w = -t for w.
1
Suppose -5 = -4*x + 3*x. Let v = 173 - 165. Solve -3*r = -v*r - x for r.
-1
Suppose 3*p - 16 - 20 = 0. Let r = p + -30. Let i = 20 + r. Solve 3*s + i = -1 for s.
-1
Let u = -399 + 403. Solve -u*g + 0*g = 0 for g.
0
Suppose -73*a = -120*a + 987. Solve 0 = -15*g + a*g + 24 for g.
-4
Let o = 13 + 11. Let v be (o/(-3) - 4)/1. Let z = v - -17. Solve 10 + 10 = -z*w for w.
-4
Suppose -25 = -4*j - 3*t, -2*j = -5*j - 5*t + 27. Let b be -3 + 3 - (-4 + 0). Suppose -a + 12 = g + 4*a, 3*g - b*a = -2. Solve -g = -j*q - 22 for q.
-5
Suppose 0 = -4*v + 3*v + 15. Let x = 2 - 1. Let y be v/(x/(2 - 1)). Solve -y = -4*n - 3 for n.
3
Let q be (-1 - -2)*((-114)/3 - 0). Let p be 0 - q/4 - (-5)/(-10). Solve 0 = -12*o + p*o - 12 for o.
-4
Suppose -3*z + w - 5*w + 20 = 0, 5*z = 4*w - 20. Suppose -2*g = g - 2*v - 4, 2*g - 21 = 5*v. Let j be g/4*(0 - 0). Solve -l + j*l - 4 = z for l.
-4
Let g = 500 - 500. Let y(t) be the second derivative of t**3/6 + 5*t**2/2 - t. Let w be y(g). Solve w*p - p = 12 for p.
3
Let f be 3/(-2)*8/(-3). Suppose -7*n + 24 - 3 = 0. Suppose -n*k + 4*j - j = 0, 3*j = 2*k + 4. Solve 4 = -f*h - k for h.
-2
Let a be 0 - 1 - -5 - 1. Let n(m) = m**3 - 7*m**2 - 16*m - 18. Suppose 0 = 4*f + 4*k - 6*k - 34, 0 = f - k - 8. Let s be n(f). Solve s = 4*c - a*c + 1 for c.
-1
Let l be ((-5)/(5 + 0))/(1/(-10)). Solve -9*x + l = -4*x for x.
2
Suppose 0 = -0*y + 3*y - 5*u - 13, -u = -y + 5. Suppose 4*d - 6 = w - 0, -2*w - d + y = 0. Let o be (0 - (5 - 3)) + w. Solve -3*t + o*t = -15 for t.
5
Let j(z) = -4*z + 11. Let o be j(6). Let p(f) = -f**2 - 11*f + 32. Let a be p(o). Solve 4*b - a = 2*b for b.
3
Suppose 0 = -4*a + 2*a. Let b be (2/(-4) - a)*-2. Solve 5*v = -b - 4 for v.
-1
Suppose 2*c - 42 = -c. Let p = -270 + 272. Solve -3*m + p = c for m.
-4
Let h(q) = 2*q**2 - q + 1. Suppose -5*v - 2 = -7. Let b be h(v). Let y be -9*b*(-3)/18. Solve 4*s = y + 1 for s.
1
Let l = -842 - -842. Solve l = -5*j - 25 - 0 for j.
-5
Let t be (140/(-49))/((-4)/14). Suppose 5*g = -4*x + 28, 4*g - x - t - 4 = 0. Solve -5*f + 4*f + g = 0 for f.
4
Let z(r) = 3*r**2 - 55*r + 32. Let t be z(18). Solve -4*f - 22 + t = 0 for f.
-2
Let o(s) = -s**2 - 3 + 42*s - 16*s - 20*s. Let v be o(4). Solve 0 = v*z - 6*z for z.
0
Let x = -21 + 26. Let d be ((-3)/x)/((-10)/(-50)). Let k be 1 - ((-12)/d)/(-4). Solve k*a = a for a.
0
Suppose -4*l = l. Suppose 2*w - x = -44 + 48, x + 8 = 4*w. Solve l = -w*r + r for r.
0
Let w be ((-4)/(-12))/((-1)/(-6)). Solve -l + 15 = w*l for l.
5
Let p be 54/(21/14*8/6). Suppose p*d = 25*d + 2. Solve 3*c - d = -10 for c.
-3
Let r = -18 - -26. Let w = -6 + r. Solve -2*h - w = -0*h for h.
-1
Let h be 19 + (-1 - 4) - 4. Solve h*y - 1 = -11 for y.
-1
Suppose 7*q - 28 = 21. Suppose -3*f = -9, -3*w + 3*f = 2*f + 42. Let p = q - w. Solve 0*s = 4*s - p for s.
5
Suppose 4*z - 16 = -8. Suppose 0*n - 24 = -n + 2*v, 102 = 5*n - 4*v. Let o be (6/n)/(z/12). Solve -o*u - 12 = -6*u for u.
3
Let u(g) = -g + 293 - g**2 - 5*g - 275 - 9*g. Let w be u(-16). Solve 0 = -i - w - 2 for i.
-4
Let v = 31 - 11. Suppose -5*t - 4*s + v = 0, 3*t + t - 20 = -4*s. Solve t*p + 3*p + 9 = 0 for p.
-3
Suppose -2*g - 4*j - 5 = -3*g, 20 = 4*j. Suppose -2*s + s = -l - 10, 4*l + 33 = 3*s. Suppose 0 = 3*d + s - g. Solve 1 = 5*w + d for w.
-1
Let i be (-12)/(-42) - (-75)/7. Let d be (-3)/(-1) + (i - 9). Solve d*s + 9 = 2*s for s.
-3
Let l(z) be the first derivative of z**4/4 + z**3 - 5*z**2/2 - z + 71. Suppose -4*u + 2*u = 8. Let o be l(u). Solve d + 16 = -o*d for d.
-4
Let a = 57 - 55. Solve a*p - 1 = 1 for p.
1
Let c be -3 + 2 + -1*2. Let y be (-1)/(-4 - (-19)/5). Let j = y + c. Solve 3*r = -j*r - 20 for r.
-4
Let p = -19 + -1. Let n = 26 + p. Solve 6*d - 4*d - n = 0 for d.
3
Let a = 8 - 6. Let n be (-1)/(-2) - 5/10. Solve -a*m + n = 2 for m.
-1
Let y(q) = q**3 - q + 2. Let n be y(0). Suppose -n*u - 1 = -3*u. Suppose -21 = -5*v - u. Solve 0*k - 2*k - v = 0 for k.
-2
Suppose 8*b - 26 = 62. Suppose 7 = -2*h + b. Solve -g + 12 = h*g for g.
4
Let t be -1 -