Let q = -9 + p. Suppose -q*a = -2 - 10. Solve l - a = -l for l.
2
Suppose 3*y = 3*n + 39, 95 = y - 4*n + 70. Solve -y*v = -66 + 21 for v.
5
Let m(g) = -g + 4. Let c(w) = -2*w + 7. Let l(d) = 4*c(d) - 10*m(d). Let y be l(6). Solve y = v + 3 + 2 for v.
-5
Let g = 107 - 102. Suppose q - 5*l + 0*l = -7, 0 = -g*q - l + 43. Solve 5*y + q + 12 = 0 for y.
-4
Suppose 5*n + 32 = 12. Let p be 48 + (0 - n) + -2. Suppose -4*r = -8, 0 = -0*x - 2*x + 2*r + p. Solve -7 + x = 4*o for o.
5
Let f = -7 + 7. Solve 3*l = -f*l + 6 for l.
2
Suppose 0 = 8*i - 15 - 25. Solve -4*u + 9*u = i for u.
1
Suppose -2*o + 5*t = -2, -2*t = o + 3*t - 16. Suppose 0 = -3*c + 51 - 12. Suppose -5*m + 12 + c = 0. Solve m*k - 3*k = -o for k.
-3
Suppose 10 = 3*f - 5. Solve 8 = -f*q + 9*q for q.
2
Let g = -42 - -86. Let l = g + -27. Let o = l + -14. Solve o*r - 12 = -r for r.
3
Suppose -2*l = 4*l - 12. Suppose 12 = 5*x - 2*r, -4*x + 33 = l*r + 9. Solve 4*a - x = 4 for a.
2
Suppose -q - 23 = 2*x, 0 = 4*x - 2*q + q + 61. Let j be ((-4)/8)/(2/44). Let o = j - x. Solve -5*i + 2 = -o*i for i.
1
Let q(u) = 20*u**2 + 4*u + 4. Let m be q(-1). Solve m + 0 = 4*t for t.
5
Let i be 7 - (4 + -7 + 6). Solve -13*x = -9*x + i for x.
-1
Let i = -22 - -58. Let n = 48 - i. Solve 4 + n = 4*a for a.
4
Let l(p) = p**3 - 7*p**2 - 31*p + 4. Let c be l(9). Let g = c + 117. Solve 4 = -4*u - g for u.
-2
Let r = -2589 + 2591. Solve -31*d + 33*d = r for d.
1
Let x = 11 + -15. Let g = x - -6. Suppose -13*q + 29 = 3. Solve -q*b = g*b - 20 for b.
5
Let j be 3 + -4 + -1 + 0. Let m(d) = -d. Let f(n) = -n**2 - 8*n - 3. Let h(r) = f(r) - 4*m(r). Let y be h(j). Solve k = -y + 3 for k.
2
Let v be ((-12)/36)/(-3 + (-51)/(-18)). Solve -v*p = 2*p for p.
0
Let j be (4/(-32)*-4)/1*0. Suppose j*z + 9 = 3*z. Solve 0 = 3*n - 12 - z for n.
5
Let h(r) = 12*r + 61. Let g(u) = 34*u + 182. Let l(c) = 4*g(c) - 11*h(c). Let a be l(-13). Solve a*m - 20 = 5 for m.
5
Let j(o) = -7*o**2 - 50*o - 45. Let a be j(-6). Solve -a*x - 12 + 6 = 0 for x.
-2
Suppose 0 = -2*j + 3*t + 3, 9 = 2*j - 4*t + 5. Solve j = -3*a - 3 for a.
-1
Let h = -176 + 190. Solve -h*q + 16 = -22*q for q.
-2
Let w(c) = 3*c + 1. Let h be w(-1). Let m(d) = -d - 2. Let o be m(h). Suppose 2*y - 4 = -2*f, -y = 3*f - o*y - 8. Solve -v = f*v + 12 for v.
-3
Suppose 0 = 2*d - 26 - 106. Let b = 66 - d. Solve -5 = k - b for k.
-5
Let u be (1 + 4)*5*(-24)/(-75). Solve -8*s + u = -12*s for s.
-2
Suppose -4*o + 10 = -10*x + 12*x, -4*o + 30 = -2*x. Solve o*d = 3*d + 10 for d.
5
Let a = -379 - -381. Solve 4*g + 12 = -a*g for g.
-2
Let f be 1 - -4 - 579*12/(-36). Solve -9*v = f - 153 for v.
-5
Suppose -3*r = -2*s - 13, 0*r - 10 = -2*r. Let i be -4 - (s*-3 + (-1 - 0)). Solve i = m - 5*m + 8 for m.
2
Suppose 5*s - 2208 + 2173 = 0. Solve s*k - 7 = -35 for k.
-4
Let u be -9*1*2*42/63. Let l be u/(-5) + 10/(-25). Solve -4 = l*q + 2*q for q.
-1
Let f(o) be the second derivative of o**5/20 + 13*o**4/6 + 4*o**3 - 11*o**2 - o + 31. Let d be f(-25). Solve -2*h = d*h for h.
0
Let s = 5 + -13. Let w(f) = f + 4. Let r be w(s). Let n be 4 + (2 - r/2). Solve 0 = -3*m + n*m for m.
0
Let b(m) = -10 + 8 - m**2 + 18*m - 5*m. Let r be b(11). Solve j + 3*j - r = 0 for j.
5
Suppose 0 = -11*p + 7*p - 8. Let s be 198/12 + 3/p. Solve s = -0*h + 3*h for h.
5
Let l = 14 + -11. Suppose 2*f + 9 = 5*m, -m + 6 = -2*f + l*f. Solve -2*i = 3 + f for i.
-3
Suppose -105 = -9*c + 2*c. Let x = c - 3. Solve -x = 2*f + 2*f for f.
-3
Let p = 1610 - 1584. Let g(t) = t - 7. Let a be g(4). Let w be (-4)/a*117/p. Solve -i - 2*i - w = 0 for i.
-2
Suppose 0 = 3*p + 5*t - 25 - 3, 4*p = 2*t + 20. Solve 0*j - p = -3*j for j.
2
Suppose -241 = -5*p - 4*k, -2*k = 23*p - 20*p - 143. Solve p - 9 = 9*l for l.
4
Let c be (-69)/3*1*(1 + -2). Solve -c*d = -16*d + 21 for d.
-3
Suppose -5*s + 40 = 2*n + 3*n, 3*s = -2*n + 21. Solve 40 - 40 = -s*j for j.
0
Suppose -3*g + 47 = -c, 0 = -129*g + 125*g + c + 64. Solve g*i = 21*i - 8 for i.
2
Let z be (-33)/(-5) + 2/5. Let p be (3 + 1 + 0)*9/(-18). Let q = p + 6. Solve q*d - z = 1 for d.
2
Let i(z) = -50*z - 246. Let l be i(-5). Solve 3*j = l*j for j.
0
Let p(w) = -7*w**2 - 45*w - 6. Let f be p(-6). Solve f*z - z = -6*z for z.
0
Suppose 9*g = 26*g. Solve g*k = 2*k + 6 for k.
-3
Let j be 8/1 - (-7)/((-28)/(-8)). Solve -2*o - j = -7*o for o.
2
Let n = 301 + -288. Solve -11*m = -n*m - 10 for m.
-5
Suppose 9 - 11 = 2*u. Let a be u/3*162/6. Let f be (-9)/a - (0 - -1). Solve f = -8*r + 3*r for r.
0
Let a(r) = -r**3 + 29*r**2 + 65*r - 15. Let q be a(31). Solve 0 = -b + 74 - q for b.
-4
Let u = 27 + -25. Let r = 2 + -4. Let a = r + 2. Solve 2*d + 4 - u = a for d.
-1
Let u = -119 - -125. Suppose 9*a = u*a. Solve a = -4*c + 3*c for c.
0
Suppose i + 8 = -0*i. Let q be (2/i)/(21/(-84)). Solve -r - q = -6 for r.
5
Let m(u) = -u**3 - u**2 + 3*u - 4. Let v be m(-3). Suppose -163*n + 173*n = 20. Suppose v + n = d. Solve -d = 3*x + 8 for x.
-5
Let l be 42/(-8) + (-15)/(-12). Let z(h) = h**2 + 3*h - 2. Let t be z(l). Suppose -5*y = 2*u - 17, -u - 2 = -t*y + 3. Solve n = y*n + 6 for n.
-3
Suppose 4*r + 31 = -z, 2 + 18 = -3*r - 4*z. Let d be 27/4 - 1 - r/32. Solve 4*y = y - d for y.
-2
Let a be (1 + 2)*(9 + -4). Solve -5*h + 20 = a for h.
1
Suppose 0 = 26*g - 20*g - 120. Solve 4*h + h + g = 0 for h.
-4
Let g be (-4)/((-48)/70) + (-1)/(-6). Solve -5*s = -3*s + g for s.
-3
Let p = -76 - -102. Solve -3*u + 11 = p for u.
-5
Let o be ((-60)/(-16))/(2/8). Let v = 17 - o. Suppose v*u = j + 7, -3*u + 0*j = -j - 11. Solve u*x + 0 = 20 for x.
5
Suppose -49 = 17*u - 24*u. Solve w + u = 2 for w.
-5
Let t(a) = 16*a + 203. Let n be t(-12). Solve 2*g = -n*g + 26 for g.
2
Suppose 5*c + b = -2, 4*c - 6 = c + 3*b. Suppose c = -5*d - 10*z + 5*z + 120, -5*d + 106 = -2*z. Let w be 1*(-11)/(d/(-12)). Solve 2 = 4*q - w for q.
2
Let d(k) = 19*k + 3. Let t be d(-2). Let r be 2/7 + (-200)/t. Suppose -3*f + 0 = -r. Solve 0*s - 10 = -f*s for s.
5
Let r = -1332 - -1382. Solve -56*j + r*j = 30 for j.
-5
Let o = -25 - -47. Suppose o = 5*y + 7. Let s = -227 + 247. Solve y*d + s = -d for d.
-5
Let s(o) = o + 5. Let c be s(0). Let a = 8 - c. Solve -a*n = -n for n.
0
Suppose 4*r = -3*r + 119. Suppose 3*s + 2*x = 31 - 9, 0 = 2*s - x - r. Solve -6*k + 2*k = s for k.
-2
Let d = 328 - 318. Solve -9*w = -d*w - 5 for w.
-5
Let s = 5 - -72. Suppose -3*n + s = 14. Solve 2*m + 13 = n for m.
4
Suppose -2*h + 0*n - 5*n = 221, 0 = -h + 5*n - 118. Let y = -111 - h. Solve 0 = y*d + 4 + 2 for d.
-3
Suppose -3*t - 4 = 2*n, t - 3*n = -8*n - 23. Solve 10 = t*i + 4 for i.
3
Let y be (7 - 15 - 0)*(-2)/4. Solve -27*h - y = -26*h for h.
-4
Suppose 32*x = 115*x - 332. Solve 0 = -3*y + 2*y - x for y.
-4
Let d be 117/36 + 5/(40/6). Solve 0 = d*t - 4 for t.
1
Let m be 4*1/(-2)*-1. Suppose -m*n = -n. Solve n = j - 5*j - 12 for j.
-3
Suppose 0 = p + 4, 18*p - 17*p = 2*b - 4. Solve -6*a - 20 + 2 = b for a.
-3
Let m = 47 - 45. Solve -6 = -2*c - m for c.
2
Let w = -5 + 5. Let c be 5 - (-3 - (-2 + -2)). Suppose w = -c*b + 15 + 1. Solve 25 = b*x + 5 for x.
5
Suppose -43 = 8*j + 117. Let x = -17 - j. Suppose 4*b - 2*b = -5*k + 7, -x*b = k - 43. Solve 0*z + 4*z = -b for z.
-4
Suppose 6*s + 28 = 2*s. Let j(g) be the first derivative of -g**4/4 - 7*g**3/3 + 2*g - 15. Let n be j(s). Solve -7*m + 25 = -n*m for m.
5
Suppose -5*o = -20, v + 2*o = 3*o - 12. Let k be v/(0 - -2) + 36. Let r = k + -27. Solve p + 0*p = r for p.
5
Let t(q) = q**2 + 15*q + 18. Let h(r) = 3*r**3 + 2*r**2 - r. Let p be h(-2). Let w be t(p). Suppose -5*z + 20 = -0*z. Solve w*b = 3*b + z for b.
4
Let y = -32 - -34. Let t = y - -1. Suppose t*k - 23 = -2*c, c + 9*k - 4*k = 15. Solve -c = 5*q - 0 for q.
-2
Let q(y) = y + 3. Let a be q(-3). Suppose 4*p - b + 195 = a, 0*p - 3*p = 5*b + 129. Let v be (-198)/p + (-2)/16. Solve -v*x - 6 - 10 = 0 for x.
-4
Let r = 549 - 547. Solve -8*z + r + 14 = 0 for z.
2
Let s(o) = -4*o + 6. Let y be s(5). Let m be 4/y + (-663)/(-91). Solve -4*h = -5 - m for h.
3
Let w be 806/18 + -3*(-6)/81. Solve -15 = 42*n - w*n for n.
5
Let f be -1 - -10 - 4*(-3)/6. Solve -8*h + 15 = -f*h for h.
-5
Let f be (12/(-10))/((-48)/160). Solve f*a + 51 = 63 for a.
3
Suppose 5*l = 14 + 1. Let a be -20*(l + 7/(-2)). Suppose 4*j = 5*m + 4, 3*j - 3 = m - 0. Solve a = -5*b - m*b for b.
-2
Let n be (-5)/(-40) - 164/32. Let 