+ 5 = d for h.
5
Let t be 2/6 - (-14)/3. Let k = 1 - t. Let q = 4 + k. Solve q = l - 2*l - 1 for l.
-1
Let m be 3/(-2)*12/(-9). Suppose 5*a = m*f - 0*f + 25, 0 = -4*f - 4*a + 20. Solve 3*p + 12 = -f*p for p.
-4
Let j be -3 + 23 + (0 - 3). Suppose 0 = -3*u - 4*s + j, -u - 4*s = -7 - 4. Solve 10 = u*c + 1 for c.
3
Let o(b) = -b**2 + 3*b. Let a be o(2). Solve -a*t - 12 = -6*t for t.
3
Suppose 2*g = -16 - 14. Let k = 22 + g. Suppose -k*s - 30 = -5*i - 3*s, -s = 4*i - 45. Solve 2*m = 4*m + i for m.
-5
Let b be ((-32)/6)/((-6)/18). Solve -b = 5*t - t for t.
-4
Suppose 0 = q - 1 - 1. Solve q*b = -b for b.
0
Let o = 28 - 28. Solve o = 5*w + 13 - 33 for w.
4
Suppose 9 = 5*h + 24. Let f = h - -7. Solve 9*o - f*o - 20 = 0 for o.
4
Suppose -4*y + 8 + 12 = 0. Solve -y*x + 6 = -3*x for x.
3
Let h = 60 - 36. Suppose -2*p - 18 + 7 = 3*y, -2*p + 4*y + h = 0. Solve -p*s = 3*s + 25 for s.
-5
Let f(z) = z**2 - 4*z + 3. Let d be f(4). Let p be 0*(d - 2) + 0. Suppose 5*l - 30 = 5*b, -l - 2*b + 18 = -p*l. Solve -3*m - l = -8*m for m.
2
Suppose -48 = 4*j + 5*o, -4*j - 2*o - 48 = -4*o. Let k = 17 + j. Solve k*z = -30 + 5 for z.
-5
Let f be 2/(-3)*4*(-6)/16. Solve d = f + 3 for d.
4
Suppose -r - 5*f = -23, -5*r - 4*f + 47 + 5 = 0. Solve 12 = -r*x + 11*x for x.
4
Let y(j) = -j**3 - 9*j**2 + 2*j + 5. Let b be y(-9). Let w = -1 - b. Solve 4*u + w = u for u.
-4
Let k be (-4)/(8/(-6)) - -17. Solve 0*q + k = -5*q for q.
-4
Let s = -1 + 9. Let u be 2/s - (-145)/(-20). Let y = -3 - u. Solve -p = y*p + 10 for p.
-2
Suppose -2*z - 12 = -6*z. Suppose -z*k = -22 - 2. Suppose -3*c + 4*i = c, k = c + i. Solve 0 = -4*f + c for f.
1
Let x(l) = l + 9. Let h be x(-8). Let g = h - -3. Let r(c) = c**2 + 4*c + 3. Let p be r(-3). Solve p*k - g = k for k.
-4
Let l be 4/6 + 4/3. Suppose -3*y = t + 22 - 3, -2*t = y + 13. Let w = y + 9. Solve w*k = l*k for k.
0
Let o(f) = 3*f - 6. Let i be o(2). Let d(v) = -v**2 + 4*v - 1. Let b be d(3). Suppose 3*u - b*u = i. Solve -5*y + 5 + 5 = u for y.
2
Let v = 7 - 3. Suppose v*z + 1 = 13. Suppose -5*n + 22 = 5*r - 3, -13 = -5*r + n. Solve z*u = -r - 0 for u.
-1
Let m be (0 - 1/(-2))*0. Let s = -6 + 9. Suppose -s*r + 45 = -0*r. Solve m*p = 3*p + r for p.
-5
Suppose -7*n + 3*n = -32. Solve -b + n = 3*b for b.
2
Suppose -1 = -2*s + 11. Suppose s*v - v = 0. Suppose v = 3*n - 1 - 2. Solve -3*l - n = 2 for l.
-1
Let g be -8*-2*3/12. Solve d - g*d = 6 for d.
-2
Let j(q) = -q + 4. Let h be j(4). Let o be ((-2)/(-4))/(3/60). Suppose -i + 2*f - 2 = h, -2 = 4*f - o. Solve -g + 2 = -i*g for g.
-2
Suppose -4*c = -y - 13, -c + 3*c - 17 = -y. Solve -y*w + 15 = -2*w for w.
3
Suppose 5*d - 4*d = 0. Solve -4*x + d + 16 = 0 for x.
4
Let s(d) = d**2 + 2*d. Let c be s(3). Let w be -6 + 9 - (1 - 1). Solve w*h = -0*h + c for h.
5
Suppose -21*l + 17*l = -20. Solve l*w + 0*w = -15 for w.
-3
Let a(y) = -y - 1. Let i be a(1). Let b = 2 + i. Solve b*k = -2*k - 4 for k.
-2
Let t(h) = -h**2 - 7*h - 4. Let j be t(-9). Let u = 31 + j. Solve -3*y + 3 - u = 0 for y.
-2
Let s = 5 - 8. Let a = 4 + s. Suppose 3*z + 4*j - 46 = -17, 3*z - 2*j + a = 0. Solve z*v + 0*v = -9 for v.
-3
Let g be (-2)/(-2) - (-1 - 2). Suppose 0 = -3*a + 10 - g. Solve 2*v + a = 4 for v.
1
Suppose 9*w - 5*w = 12. Solve -6*n = -w*n + 12 for n.
-4
Let l(m) = -m - 3. Let t be l(-3). Let u(p) = -2*p**3 - 2*p**2 + 2*p. Let y be u(-2). Suppose -2*n + 6 = -y. Solve t*d = -n*d for d.
0
Let b(i) = -i**3 + 25*i**2 + i - 24. Let o be b(25). Solve 24 + o = -5*s for s.
-5
Suppose 0 = -2*j + 4*z + 12, -2*z + 5 + 7 = 2*j. Solve j*f = f for f.
0
Let x = -14 - -17. Suppose -x*h - 12 = -7*h. Solve -h = -d - 7 for d.
-4
Let j = 14 + -1. Suppose -3*k = 4 - j. Solve 0 = -k*u + u for u.
0
Let f be 130/(-3)*12/(-10). Suppose 5*h + 22 - f = 0. Solve 0*x + h = 2*x for x.
3
Suppose 33 = 7*u - 4*u. Let t = 11 - u. Solve -n + t*n = -5 for n.
5
Let x be (-100)/(-6)*3/2. Solve -x = -3*s - 2*s for s.
5
Let q be (-12)/54 + 60/27. Solve -q*a + 5 - 3 = 0 for a.
1
Suppose 5*b = 5*p - 5, 0*p - 2*b + 4 = -p. Suppose t = 3*x - 5*x + 7, -x = t - p. Solve -t = 2*u - 1 for u.
-2
Let v be (-2)/(0 - 0 - 2). Suppose -2*n = -5 - v. Let l = 9 - n. Solve 4*k - 2*k = l for k.
3
Let m be 18/15 + 33/(-15) + 3. Solve 5 = -m*f + 9 for f.
2
Suppose 6*i - 5*i + 4 = 4*b, -5*b = -3*i + 2. Solve 3*y = -b - 7 for y.
-3
Let n be (-4)/(-12) + 17/3. Let y be n/3 + -2*1. Suppose y*c = c - 2. Solve -10 = -7*q + c*q for q.
2
Let f(u) = u**3 - 5*u**2 - 8*u + 15. Let n be f(6). Let a(s) = -s**3 - 3*s**2 + 2*s - 4. Let l be a(-4). Solve l*q - q = -n for q.
-1
Let m be (-1 + 1)*3/((-18)/(-2)). Solve 3*z = -m*z for z.
0
Let d(m) = -m**2 + 4*m. Let o be d(4). Let n = 3 - o. Suppose -z + 2*z = 5*p, n*p = 2*z - 7. Solve -p = r + 2 for r.
-3
Let r = 25 + -25. Solve 2*j = -r*j - 4 for j.
-2
Suppose -3*w = 2*c - 1 - 4, w - 2*c = -9. Let j = w + 11. Solve 0*m = 5*m - j for m.
2
Let k = 1 - -2. Suppose -x - 2 = -3*x + 4*p, -4*p = k*x - 13. Solve -i + 1 + x = 0 for i.
4
Let c be (1 - 2)/((-1)/3). Suppose 3*w = -w - u + 5, -15 = -c*u. Solve 6*q - 4*q - 4 = w for q.
2
Let h(t) = -t**3 - 7*t**2 - 12*t - 6. Let j be h(-5). Solve j*o - 7 - 9 = 0 for o.
4
Let u = -8 + 7. Let a be 8 + (1 - (-4)/u). Solve 5*h + 5 = -a for h.
-2
Let j(f) = -f**2 + 8*f + 10. Let x be j(9). Solve -5*y + 11 = x for y.
2
Let x(b) = 2*b**3 + 37*b**2 + 20*b + 36. Let n be x(-18). Solve 0 = -2*v - n*v + 8 for v.
4
Let z be (-1)/(-3) + 1/(-3). Suppose 3*t + 13 = 4*c - 1, -12 = -3*c + 3*t. Solve z = 4*j - 2 - c for j.
1
Let k = -6 - -10. Suppose 2*s - k = 4. Let y be 2 + 4 + -2 + 8. Solve 4*o = -s - y for o.
-4
Let d(g) = -4*g. Let z be d(-1). Solve 0*o - z*o + 12 = 0 for o.
3
Suppose 2*t + 4 = 4*l, l - 3*t + 4 = -0*t. Solve -2*k + 4 - l = 0 for k.
1
Let f = -10 - -11. Suppose 0 = -4*g - 5*l - 26 + f, -4*g + l + 5 = 0. Solve -i - i = g for i.
0
Let f(m) = -2*m**3 + 3*m**2 - 2*m + 3. Let j be f(2). Let v be -1*(3 + j - 3). Solve -3 = -v*o + 7 for o.
2
Let k(g) = -g**2 + 1. Let c be k(2). Let r be (c + 1)/(-1)*2. Solve 7*j - r*j = 6 for j.
2
Let v(l) = l**2 + 2*l**2 - 3 - 4*l**2 + 6*l. Let n be v(4). Solve -4*m = -n*m - 4 for m.
-4
Suppose 1 = -2*q - 3*x + 59, 4*q + 3*x - 122 = 0. Suppose q = 5*m - m. Solve -5*i = -i - m for i.
2
Let p(h) = 0*h**2 + h**2 + 0*h**2 - 7*h + 9. Let u be p(7). Let o be 240/72*6/5. Solve o*l + u = -3 for l.
-3
Let t be -1 - (3 - 15)/2. Let w be 2/(-1) - (-2 + -3). Suppose -4*g - 3*r + 33 = 0, g = w*g + 5*r - 27. Solve -k = -g*k + t for k.
1
Let i(k) = -k**2 + 9*k - 6. Let h be i(8). Suppose -r - 2*w = 2*w + 18, -h*r - 3*w = 11. Solve 0 = r*b - 0 + 8 for b.
-4
Let f(w) = -3*w - 15. Let m be f(-6). Solve -m*c = -6*c for c.
0
Let y be (-1)/(-3) - (-5)/3. Suppose 0 = b + y*b. Suppose 38 = p - 0*l - 3*l, b = -3*l - 15. Solve 3*m = -8 + p for m.
5
Let k = 8 + -8. Suppose -4*s = -c - 7*s + 6, 4*c - 2*s + 18 = 0. Let a be -2*(-4)/(-6)*c. Solve 4*u + k = a for u.
1
Let a be 1*(-2 - -2) - 2. Let j(b) = -3*b - 1. Let g be j(a). Suppose -5*t + 5*i = -32 - 83, -g*t = -2*i - 106. Solve -2*r - t = 3*r for r.
-4
Suppose 15 = -o + 6*o. Suppose 2*y + 6 = o*y. Suppose -y = -s - s. Solve -s = -2*u - 1 for u.
1
Let m(k) = -1. Let h(w) = w**2 + 10*w + 13. Let u(i) = -h(i) - 4*m(i). Suppose a + 3*a = -24. Let t be u(a). Solve -3*y = -8*y - t for y.
-3
Let i(r) = -2*r - 4. Suppose 0 = 2*j + c - 5*c + 4, 3*j + 5*c = -28. Let v be i(j). Let q(d) = d**2 - 7*d - 4. Let a be q(v). Solve -a = 5*z + 6 for z.
-2
Let b(j) be the first derivative of j**2/2 - 8*j + 3. Let w be b(11). Solve w*h + 0 = -6 for h.
-2
Let l = 2 - 2. Let h(s) = -s + 20. Let w be h(l). Let a = 8 + -4. Solve -a + w = -4*g for g.
-4
Suppose -3*j = 2*h + 11, -j - 3*j = 4*h + 16. Let d be (-12)/2*1/j. Let s(q) = -q + 3. Let a be s(0). Solve 10 + d = a*c for c.
4
Let r = 8 - 3. Suppose -r*t + 4*t = -10. Solve 3*q - q = -t for q.
-5
Suppose 3*m + 30 = -5*c, 0 = -0*m + 2*m - 2*c + 4. Let t = m - -8. Suppose -6*g = -3*g. Solve -6 = -g*z - t*z for z.
2
Let q(f) = -5*f - 28. Let j(y) = y + 7. Let i(m) = 9*j(m) + 2*q(m). Let l = -10 - -14. Let r be i(l). Solve r*a - 16 = 7*a for a.
-4
Let x be (-116)/(-8) - 2/4. Solve 4*i + x = -6 for i.
-5
Suppose 3*o = -4*m + 12, -4*m + 26 = 4*o + 10. Suppose 4*h - 5 - 3 = m. Solve k + h = -k for k.
-1
Let a be (-57)/15 + (-2)/10. L