 = -u*n for n.
-4
Suppose 2*b - 79 = -77. Solve 5*l + b = 4*l for l.
-1
Suppose -2*l - 10*l = -24. Solve -2*n = -6 - l for n.
4
Suppose 0 = 103*i - 584 - 755. Solve i*h - 9*h = -15*h for h.
0
Let u = 627 + -610. Solve -r = u*r + 54 for r.
-3
Let d(g) = -2*g**3 - 3*g**2 - g - 3. Let b be d(-2). Suppose 0 = 5*i - 3*m - 15, 0*m = b*m + 15. Solve i = 3*a + 2*a - 5 for a.
1
Let g = -11 - -16. Suppose g*t + 0*t + 4*i = 35, 0 = 2*t + 5*i - 31. Solve -t*u + 8 = 2 for u.
2
Let r = 1 - 1. Suppose 12 = -6*c + 8*c. Let a = r + c. Solve -u + a = 2 for u.
4
Let m = -77 + 80. Solve m + 2 = -i for i.
-5
Let a be 1 + 2/10*5. Suppose 4*b - 45 = 5*q, a*b + 2*b = 2*q + 54. Solve 0 = -6*x + x - b for x.
-3
Suppose 6*t - 12 = 48. Suppose -41*n = -46*n + t. Solve -2*v - 20 = n*v for v.
-5
Suppose -5*j = 3*f - 31, 9*f + 4*j - 44 = 5*f. Let v = 0 + 3. Solve -v*u + 7*u = -f for u.
-3
Let t(j) = -7*j - 27. Let u(l) = -l**2 + 3*l + 5. Let o be u(5). Let h be t(o). Solve -2 = 5*v + h for v.
-2
Let c be (-1)/(-3) + (-5)/15. Suppose -5*k = -4*x - c*k + 49, -29 = -4*x + k. Solve -v + x*v = -10 for v.
-2
Let h(p) = -p**2 + 5*p + 8. Let n be h(6). Let w be (5 + 1)/((-2)/(-9)). Suppose 2*y = n*r + y - 5, 5*y = -3*r + w. Solve r*s + 5 - 17 = 0 for s.
3
Let r = -144 + 148. Solve -r*x + x = -15 for x.
5
Suppose 0 = -3*o - 0 + 3, 5*o - 2 = n. Solve 8 = -n*z + 2 for z.
-2
Let j = 247 + -242. Solve 0 = 4*k + j*k + 27 for k.
-3
Let d be (-2 + 3)*-6*-1. Suppose 2 = g - 1. Suppose w - g = d. Solve p = -2*p - w for p.
-3
Let x(f) = 2*f**3 + 37*f**2 - 21*f + 4. Let l be x(-19). Solve -45*q + l*q = -6 for q.
2
Suppose -1 - 23 = -4*n. Suppose -n*m + 11*m - 35 = 0. Let b be (-7)/(-5) + 57/95. Solve b*w - m*w = -10 for w.
2
Let u = -214 - -234. Solve 75*a - u = 80*a for a.
-4
Suppose 4*x + 2*s = 14 - 0, 5*s - 21 = -3*x. Solve 12 = -x*z + 8 for z.
-2
Let l = 1724 - 1724. Solve -h - 1 + l = 0 for h.
-1
Suppose -573*o = -574*o + 8. Solve -o*i + 9*i - 1 = 0 for i.
1
Let g be 16/((9/12)/((-48)/(-128))). Solve g*h - 56 = -64 for h.
-1
Suppose 0 = r + 3*r - 8. Suppose -2*o + 6 + r = 0. Suppose 8*d + 40 - 56 = 0. Solve 0 = -3*u + d + o for u.
2
Suppose -10 = -47*r + 45*r. Solve -6*s = -s + r for s.
-1
Suppose -14*l + 383 = 33. Solve 5*h - l = -0*h for h.
5
Let x(d) = 5*d + 4. Let y(u) = -6*u - 3. Suppose 6*a + 12 = 3*a. Let b(i) = a*x(i) - 3*y(i). Let h be b(-6). Solve -4 = -h*p - 24 for p.
-4
Let y = 197 - 192. Solve -y*o = o for o.
0
Let d = 225 + -222. Suppose 5*a - 3 - 32 = 0. Solve a - 19 = -d*p for p.
4
Suppose -549 = -9*y - 297. Solve 20*m = y*m - 32 for m.
4
Let v be 10/2*13/39*-12. Let z be v/2*1/(10/(-8)). Solve -2*k + z = 2*k for k.
2
Suppose 0 = -4*s - 21 + 1, 0 = -5*o + 5*s + 95. Let h = o - 10. Let f be (-2 + 5)*20/6. Solve k = -h*k - f for k.
-2
Suppose -2*u + 3*w = -10, -2*u + 12 - 2 = 3*w. Suppose u*s + 6*s = 33. Solve -3 = s*d - 0*d for d.
-1
Let i(o) = 7*o**3 - o**2 + o - 3. Let n be i(-2). Let z = -59 - n. Solve -3*h + 0*h = -z for h.
2
Let j = 7 + -2. Suppose -4 = t - j. Let o be 1 + 5/t + -3. Solve -o*v = v for v.
0
Let b = 28 - 16. Suppose 0 = 24*n - 22 - 50. Solve -b = n*l - 0*l for l.
-4
Suppose -5*c + 227 = n, -4*c + 4*n = 6*n - 184. Suppose m + 2*m - c = 0. Let l(u) = -u + 2. Let g be l(2). Solve g*o + m = -3*o for o.
-5
Let j(h) = 9 + 8*h + 46*h**3 - 10*h**2 - 23*h**3 - 22*h**3. Let v be j(9). Solve y = -v*y for y.
0
Let z = 36 - 36. Suppose -a - 39 = -4*p - z*p, -3*a = -2*p + 17. Solve f - 6*f = p for f.
-2
Let o be (-2)/(-3) - (-782)/51. Let c = o + -14. Solve -6 = -2*u + c for u.
4
Let k be (-110)/(-14) - (-76)/532. Solve 0*r - k*r = -24 for r.
3
Let u(a) = -8*a + 1. Let h be u(-1). Let v be (-6)/h*(-6)/4. Let m = 5 - v. Solve 0 = -m*s + s + 12 for s.
4
Let z(g) = -g**2 + 3*g - 2. Let c be z(2). Suppose c = -3*f - 2*f + 10. Suppose -10 = -f*q, -4*x + 2*x + 13 = q. Solve -x*a + a = -3 for a.
1
Let y(z) = -7*z**3 - z**2 + 2*z + 2. Suppose 5*q + 13 - 8 = 0. Let i be y(q). Solve 0 = 2*s + i - 14 for s.
4
Let v be -4 - ((-60)/1 + 4). Let w be 13/v + (-2)/8. Solve w = 3*d + d - 20 for d.
5
Let w = 13 - 5. Let z be 5 - (-9 + 5 - -6). Solve z*c = c - w for c.
-4
Let t be 5 - (1 + 70/(-2)). Solve 0 = 5*n - 49 + t for n.
2
Let k = -55 + 46. Let t(o) = 2*o**2 + 18*o + 1. Let q be t(k). Solve i - 5 = -q for i.
4
Let q(v) = 6*v - 42. Let t be q(8). Solve -t = 8*s - 6*s for s.
-3
Let h(s) = -7*s + 129. Let y be h(18). Solve -4*j = y*j for j.
0
Suppose -4*u - 55 + 15 = -2*n, 13 = -u - n. Let j(b) = b**2 + 13*b + 24. Let p be j(u). Let t(l) = l + 3. Let i be t(5). Solve -p*w - i = 2*w for w.
-2
Let f = 18 - 21. Let k be 2 - (2 + 6/f). Solve -3*s + 5 = k*s for s.
1
Let s(f) = -2*f + 7. Let t be s(2). Solve -1 = -t*d - 7 for d.
-2
Let j be 4/6 + 78/18. Suppose 0 = 4*g + j*u - 9, -4*g + 2*u = -2*u. Solve -9 + g = 4*p for p.
-2
Let r be (-4)/(-26) + (-84)/39. Let q be (-2)/6*r*-6. Let y be (6/(-8))/(q/16). Solve z + y = -0*z for z.
-3
Let t(v) be the second derivative of -8*v**3/3 - 5*v**2/2 - 14*v. Let i be t(-2). Let c = i + -25. Solve -c*r - 9 = r for r.
-3
Suppose 0 = -5*f + 3*z - 2*z + 19, 5*z - 5 = 0. Let c be (7 + -1)*4/8. Suppose -f*u - 4*b = -2*b - 12, u = -3*b + c. Solve -3*o + u = -2*o for o.
3
Let f(i) = 5*i + 39. Let h be f(-7). Let k be 4/6*3*4. Suppose -k = -2*r + 6. Solve -h*b = r + 13 for b.
-5
Suppose g - q + 19 = 2*g, 5*q = g - 49. Let w = g - 24. Let j = 14 - 4. Solve -2*x = j - w for x.
-5
Suppose 4*b = 5*u - 260, 0 = -2*u - 6*b + 3*b + 81. Let l be -2*((-15)/(-6))/5 - 30. Let x = l + u. Solve -5*c - x = 3 for c.
-4
Let t be (-4)/(-12)*(26 - (6 + -4)). Let d = -1 - -3. Solve -t - 2 = -d*k for k.
5
Let w(a) = -3*a**2 + 4*a + 4. Let j(z) = 13*z**2 - 17*z - 17. Let k(l) = -2*j(l) - 9*w(l). Let i be k(4). Solve -2*u = -i*u for u.
0
Suppose -t + 12*y = 14*y - 74, -t = -2*y - 90. Solve -6*x + 94 = t for x.
2
Let a(s) = -17*s - 1. Let z be a(3). Let j = z - -28. Let i be (-128)/(-6)*j/(-16). Solve 0 = 5*t - i + 7 for t.
5
Suppose -6*v = -4*v + 44. Let z be 310/(-110) + 4/v. Let s be ((-1)/(-4))/(z/(-48)). Solve s*n = -0*n - 20 for n.
-5
Let m = -2 + 2. Let y be 3*(-4)/(-6) + m. Suppose -5*o + 9*o = 24. Solve y*v = o + 4 for v.
5
Suppose 4*p = -5*u + 47, 4*u + u - 39 = -3*p. Solve p*k = 4*k + 12 for k.
3
Let t be 3 + ((-26)/(-78))/((-2)/6). Solve -d = -t*d for d.
0
Let s = -157 - -162. Suppose -3*t = -11 + s. Suppose -3*i + 4 + 2 = 0. Solve i*u + 4 = -t*u for u.
-1
Suppose 12*o - 26 = -x + 7*o, 0 = -3*x + 2*o + 10. Solve c + x*c = 21 for c.
3
Let f = 36 - 22. Let y = f + -11. Suppose -5 = -j - 4*b - 7, -5*b = -y*j + 28. Solve -i + j = -4*i for i.
-2
Let h = -1357 + 1366. Solve 11*b = h*b + 10 for b.
5
Let g = 161 + -147. Solve -g - 1 = 5*j for j.
-3
Let s(y) = 2*y. Let p be s(2). Let i = -860 - -860. Solve i = -3*q - p + 13 for q.
3
Let c be 4/(0 + -2) + -6. Suppose 10*a = -75 - 5. Let t = a - c. Solve -2*v + v = t for v.
0
Let o(h) = -2*h - 2. Let a be o(-3). Let r(l) = 6*l + 5. Let c be r(-1). Let i be (-118)/(-6) - 2 - c/3. Solve i = a*d + 2 for d.
4
Let v be ((-38)/(-57))/((-2)/33). Let t be v/(-9) + (-64)/288. Solve 0 = w + t for w.
-1
Suppose -4*v - 4*t = -12, -20 = -v + 2*t - 5. Let i = 10 - v. Suppose -4*p + i = -9. Solve 3 + p = 2*l for l.
3
Let b = 19 - 11. Let s(f) = -2*f + 19. Let v be s(b). Solve -8 + v = q for q.
-5
Suppose -12*s + 132 = -0*s. Solve 1 = -5*r + s for r.
2
Let p(y) = -y**2 + y - 10. Let z(k) = -k - 1. Let c(n) = -p(n) + 5*z(n). Let l be c(5). Solve l*h = h for h.
0
Suppose -4*q + 5*g = -53, 0*q + 2*q - 29 = 3*g. Solve 7 = q*h - 28 for h.
5
Suppose -2*d - 3*o = -3*d + 5, -2 = -2*d - 2*o. Let m = 24 + -21. Let p be m/2*20/30 - 1. Solve -4 = d*j - p for j.
-2
Suppose 5*r - 5*d + d = 100, -4*r + d + 69 = 0. Suppose r = 3*z + 4*h, -11 = -3*z - h + 2*h. Solve 0 = -5*i + 9 - z for i.
1
Suppose 8*j - 18 = 14. Suppose 4*c + 2 - 8 = 2*h, j = 4*c - 4*h. Let y be (0/1)/((-3)/3). Solve c*u - 5*u = y for u.
0
Let z be 11 - (-5 + (1 - 0)). Suppose 2*n - z = -3*n. Solve -q - n*q = 0 for q.
0
Suppose 0 = 4*l + 2*d - 16, 2*l + 8 = -4*d + 22. Solve -l*r - 5 = -8*r for r.
1
Suppose 0 = 12*p - 44 - 4. Solve 0 = -p*r - 14 + 14 for r.
0
Let x = -1151 + 1154. Solve 22*s - x = 23*s for s.
-3
Let q = 1 + 14. Let v = 29 - q. Suppose 0 = -3*z + 3*y - 9, 3*z = -0*z + 4*y 