*l = 0. Suppose -3*c = -l*c - 9. Solve c*h = 2 - 14 for h.
-4
Let v be 3 + (-11)/3 - 55/(-15). Solve 0 = w - v*w + 2 for w.
1
Let f be (16/10)/((-5)/25). Let o(l) = l**2 + 7*l - 4. Let h be o(f). Let m = 42 - 17. Solve 0 = -9*i + h*i - m for i.
-5
Suppose 0*u = -6*u + 540. Let f = u - 90. Solve -z + f = 5 for z.
-5
Suppose 5*h - 2 = -3*n, 0*n = -2*h + 3*n + 5. Solve -h = -v - 0*v for v.
1
Suppose 6*k = 3*k. Let d be (4 + -1)/(-6)*k. Solve 3*g + 0 - 3 = d for g.
1
Let z(l) = 0 - 1 + 4*l**2 + 4 - 2*l**3 + l + l**3. Let w be z(4). Solve -3 + w = f for f.
4
Suppose 12 = -2*t + 2, -18 = -3*y + 3*t. Let w = -43 - -47. Solve -b - y + w = 0 for b.
3
Let b be (-4 + 180/50)/((-1)/5). Solve -8*t + 2*t = b*t for t.
0
Suppose 4*p - 352*m = -350*m + 494, 3*m + 619 = 5*p. Solve 117 = d + p for d.
-5
Let l(f) = -f**3 + 9*f**2 + 3. Let o be l(9). Let s be ((1 - 1) + 1)*o. Suppose -2*r - 7 + 15 = w, -s*r - 6 = -3*w. Solve w*b - 7 = 1 for b.
2
Let l(s) = 14*s - 40. Let f be l(4). Suppose f*w = 11*w + 20. Solve 3*m - w + 1 = 0 for m.
1
Suppose 8*t - 3*t - 2*p + 6 = 0, p + 8 = -3*t. Let m be (t/(-4))/((-1)/(-6)). Solve q = m*q for q.
0
Let a = 12 + -10. Suppose -10 = -0*c - a*c. Solve -c*p - 18 = -3 for p.
-3
Suppose 4 = c - 11. Let t = 22 - 13. Let x = c - t. Solve x*y - 4*y = 10 for y.
5
Let q(x) = 3*x**2 + 5*x - 7. Let s be q(-5). Let j = -40 + s. Solve j*g = 4*g + 2 for g.
-2
Let g be 3 - -1*(25 - 1). Suppose g = t + 2*t. Solve t = -4*p - 11 for p.
-5
Let i be -1*(2 + 1 + -3). Let s(r) = -r + 2. Let u be s(i). Solve -12 = u*v + v for v.
-4
Suppose 0 = 9*b - 43 - 2. Suppose 0 = b*i + 20, 1 - 5 = 5*r + i. Solve r = 5*n + 9 + 11 for n.
-4
Let o be 6/(-4) - 34/(-4). Let g(t) = -t**2 + 6*t + 9. Let z be g(o). Suppose 19*x + 55 - 112 = 0. Solve -z*q - x = -5*q for q.
1
Suppose -4*q = 4*z - 4, 4*q - 4 = q - 2*z. Solve b + 3 = q*b for b.
3
Let o be (-2)/(-1*(-12)/(-30)). Solve 5*t - o = 6*t for t.
-5
Let s be (66/(-55))/(1/(-10)). Let k be ((-4)/(-5))/(s/30). Suppose k - 11 = -3*z. Solve 0*w + 3 = z*w for w.
1
Let p(o) = -10*o + 3. Let t be p(3). Let y be (1/(-3))/(3/t). Suppose y*q + 3*j = -0 + 3, 5*j - 5 = q. Solve -2*b - b + 15 = q for b.
5
Suppose 0 = -2*s - 3*s. Let m(x) = -x**3 - 2*x**2 + x + 3. Let n be m(-2). Suppose -3*d = -b - n, -15 - 29 = -4*b - 4*d. Solve -3*q + q - b = s for q.
-4
Suppose 0*a - 8*a + 720 = 0. Suppose 8*q = 14*q - a. Solve -q = -s - 2*s for s.
5
Suppose -q + 10 = q. Suppose -3*l + 2*l + q = 0. Suppose l*f = -7*p + 4*p + 32, -2 = 2*p. Solve a + f - 2 = 0 for a.
-5
Suppose 3*v = -b + 6, 2*v + v - 24 = 5*b. Let m be 2*b*(-20)/(-3). Let q be 8/m - 1/(-5). Solve h - 3*h - 10 = q for h.
-5
Let v = 10 - -2. Let n = 46 + -44. Solve n*o = 6*o + v for o.
-3
Let a(t) = -2*t + 26. Let x be a(12). Suppose -x*k = k. Solve k*l = 2*l - 8 for l.
4
Suppose 4*r - 5 = 3*i + 3, -2*r = 2*i - 18. Solve 10*n + 10 = r*n for n.
-2
Let k be (-2 + 1 - -5) + -1. Let x be -3*3/9 + k. Solve -4*j - x = -2*j for j.
-1
Let k be ((1 - 1)/(4/2))/(-6). Solve -16*h + 12*h + 4 = k for h.
1
Suppose 3*x - 2*c - 56 = -x, -3*c = -2*x + 20. Let m be -4*(-3)/54 + x/(-72). Solve m = -0*k + 2*k - 8 for k.
4
Suppose l - 4*h - 2 = 0, 11*l = 8*l - 2*h + 6. Solve 12*t = l + 10 for t.
1
Suppose -r = 0, 63 = -4*w + 4*r + 19. Let s = 15 + w. Let h be (6/4)/(s/8). Solve -h*y + 0*y = -12 for y.
4
Let b be (-2)/(-4)*(-2 - -2). Suppose b = 3*q + 2*q. Suppose q = -3*a + 3 + 6. Solve -6*u = -a*u for u.
0
Let y be (-7)/(14/(-4)) - 2. Suppose y = 37*p - 34*p. Solve p = 2*w + 3 + 5 for w.
-4
Suppose 5*g + 2 = -73. Let q be 4*3/12*g. Let o = q - -16. Solve 2*j + o = -5 for j.
-3
Suppose -5 - 10 = 5*l. Let x(j) = -j - 2. Let t be x(-6). Let d be -2 + (l - t)*-1. Solve -25 = d*q - 0 for q.
-5
Suppose -36 = -c - 8*c. Suppose 0 = c*b + 39 - 87. Solve -y = -5*y + b for y.
3
Suppose 16*n = 2391 + 3225. Solve -355*o - 20 = -n*o for o.
-5
Let p = -545 - -549. Solve 4*d - p = -0*d for d.
1
Let f(v) = v**2 - 8. Let t be f(-4). Solve t*w = 2*w - 18 for w.
-3
Let c(a) = -4*a - 2. Let v be c(-1). Suppose v*x - 9 = 7. Let j(r) = -r + 4. Let o be j(2). Solve -o*u + 6*u + x = 0 for u.
-2
Let v = 154 + -152. Solve 12 = -v*a + 5*a for a.
4
Let l = -386 - -393. Solve -4*h = 3*h - l for h.
1
Let t be 45/10 - (-2)/(-4). Let s be t/(5/((-20)/8)). Let z be (s/(-6))/(3/27). Solve -z*a + 4*a = 5 for a.
5
Let s = -161 - -174. Solve 3*l = -s + 1 for l.
-4
Let u = -4 - -4. Let a = u - -3. Solve a*f + 6 = -6 for f.
-4
Let a be 6/6 + (-2 - -2) - -56. Solve -a + 15 = 21*w for w.
-2
Let w be (-1)/(4 - (-422)/(-106)). Let p = -49 - w. Let b be 0*(-1)/4*-2. Solve 8 = -p*x - b*x for x.
-2
Let t(v) be the second derivative of v**4/12 - v**3/6 - v**2 - v. Let l be t(4). Let w be (-36)/(-8) + 2/(-24)*6. Solve w*b = -l + 2 for b.
-2
Let q = 39 + -36. Let l = 2 + -4. Let g = l - -2. Solve q + g = -h for h.
-3
Let d(n) = n - 1. Let c(q) = -6*q + 12. Let a(y) = -c(y) - 4*d(y). Let x be a(6). Solve -v = x*v for v.
0
Suppose -13 = -2*v - 5*i, 4*i - 3 - 21 = -5*v. Solve 3*w - 4*w = -v*w for w.
0
Let p = 43 + -21. Suppose p = k + 6. Solve 3*h = -h - k for h.
-4
Suppose -24 = -3*t + 3*d, 4*t - 4 = 5*d + 30. Let z(k) = -k**3 + 7*k**2 - 8*k + 12. Let a be z(t). Suppose -2*n = -a*n. Solve n = -h + 3 for h.
3
Let d(a) = -4*a + 6. Let n be d(-4). Solve 23 - n = -u for u.
-1
Let h(o) = -o**3 - 13*o**2 + 2*o + 19. Let q be h(-13). Let t = q - -11. Suppose r - 3 = 0, c - r + 3 = 6*c. Solve -n = -c*n - t for n.
4
Suppose -3*j = -9 - 0. Let n = 4631 - 4624. Solve j = -g + n for g.
4
Let l(k) = -k**2 - 11*k - 2. Let j be 58/7 + (-12)/42. Let q = -2 - j. Let o be l(q). Solve 5*r = o + 17 for r.
5
Suppose -2*r = -3*l - 32, 6 = -r - 4*l - 0. Let g(a) = -a**2 + 14*a + 5. Let t be g(14). Suppose -j - f + 1 = -2*f, -t*f + r = 0. Solve -j*o + 8 + 7 = 0 for o.
5
Let m(u) = -40*u + 1 + 50*u + 6 + u**2 - 4. Let y be m(-10). Suppose -y*o - 3*i = 6, 0 = -i - i - 4. Solve z - 4*z = o for z.
0
Suppose 5*h + 106 = 121. Solve 21*n - h - 60 = 0 for n.
3
Suppose 0 = 9*a - 39 - 6. Solve 0*y + a = 5*y for y.
1
Let c(l) = -l**2 + 12*l + 7. Let w be c(12). Suppose 2*f - w + 19 = 0. Let h = -3 - f. Solve -6 - 3 = h*r for r.
-3
Let x(b) = b**3 + 24*b**2 + 23*b + 9. Let y = 22 - 45. Let w be x(y). Solve -w = 4*g + 3 for g.
-3
Let n(c) = 9*c**2 + c. Let r be n(-1). Let s = -5 + r. Suppose 3*h - 6 - 13 = -5*u, 5*u - 10 = 0. Solve h = s*a - 3 for a.
2
Let t = 20 - 26. Let n be -1*(-4)/(-6)*t. Solve -n*r + 10 = -9*r for r.
-2
Let a = 275 + -265. Solve 6*u = -2 - a for u.
-2
Let m = 3 - -1. Suppose -8 = m*t, -2*a - 15 = -3*a + 5*t. Suppose a*h - 8 - 17 = 0. Solve h*n - 6*n + 5 = 0 for n.
5
Let d = 19 - -31. Let a = -48 + d. Solve a*v + 3 = -5 for v.
-4
Suppose -4*g = 4*y - 40, -3*y - 10 = 55*g - 60*g. Solve 0 = -y*h + h + 5*h for h.
0
Let g(m) = m**2 - 28*m - 112. Let y be g(32). Solve 4*q + 12 = y for q.
1
Let o(w) = -4*w - 6. Let d be o(-4). Suppose -d = c - 6*c. Let k be 4 + (-1*12)/(-4). Solve c*i - k*i = 0 for i.
0
Suppose 5*k + 5*w - 6 - 19 = 0, 27 = 5*k + 3*w. Let t be k/(-9) + (-6)/(-9). Solve 3*y + 2*y - 20 = t for y.
4
Let q be ((-3)/3)/((-1)/2). Suppose 117 = 5*x + q. Let h = 34 - x. Solve 2*u = h - 1 for u.
5
Let i(m) = -m**3 + 2*m + 2*m - 7*m + 6*m**2 - 10 + m. Let w be i(5). Solve w*j - 39 = -14 for j.
5
Let r be -5 + 35*(-8)/(-40). Solve 2 = -0*g - r*g for g.
-1
Let p be 6/(-4)*4*(-8)/16. Suppose -3*l = 4*v - 12, l - 4*v = -p*l + 44. Solve -f + 3*f = -l for f.
-4
Let t = 6 + 1. Let d = t + -3. Suppose d*q = -4*c + 20, -c - 3 = -5. Solve 0 = g + q*g for g.
0
Let v be (-1 + 146)/5 + -1. Suppose -2*a + 223 = -5*i + v, 5*a + 4*i - 438 = 0. Let l be 1/(-2*(-3)/a). Solve d = -2*d - l for d.
-5
Let z(r) = -3*r**3 - 2*r**2 - r + 1. Let t be z(-1). Let g be (-6 + t + -7)*(-1 - 0). Solve 2*n = -g + 2 for n.
-4
Let h be (-27)/2*(3 + (-5 - -4)). Let o = 37 + h. Solve 0 = -0*u - 5*u - o for u.
-2
Let l be (-212)/(-6)*2*(-15)/20. Let u = -51 - l. Solve -u*w + 0*w = -6 for w.
3
Let t(w) = -w**3 - 10*w**2 - 10*w - 6. Let f(y) = 4*y + 3. Let b be f(-3). Let v be t(b). Suppose -v*n + n = 0. Solve 1 = -s - n for s.
-1
Let s = -120 + 127. Solve s*o = 10*o for o.
0
Let m be 16/(-6)*(-6)/4. Suppose 0 = -50*i + 54*i - 100. Suppose -2*l - 20 = -4*v, 5*v + 0*v - i = 2*l. Solve -m + l = -2*t f