. Let a be x(4). Let c be (0 - -5*1)/1. Suppose -c*z - 3*q + 13 = 0, 6*z - 23 = a*z + 2*q. Solve 0*o + 5 = -z*o for o.
-1
Suppose 166 = 38*s - 442. Solve -s*l + 12 = -10*l for l.
2
Let z(c) = -c**3 + 5*c**2 + 3*c - 9. Let q be z(5). Suppose -q*l + 3 = -9. Solve -y = -l*y + 2 for y.
2
Suppose 5*c = -3*q + 61, 5*c = -q - 0*q + 27. Let k = q - 43. Let i = k + 26. Solve s + i = 2 for s.
2
Suppose 0 = p - 3. Let h = 7 + p. Let s be h/15*3/2. Solve n = -0*n - s for n.
-1
Let u be -16 + 20 - (-2)/(-1). Suppose 0 = i - 1 - u. Solve 0 = -0*j + i*j + 12 for j.
-4
Let a(q) be the second derivative of -q**5/20 - 2*q**4/3 + 4*q**3/3 + 3*q**2 - 6*q + 1. Let t = 7 - 16. Let p be a(t). Solve p - 3 = -4*w for w.
-3
Suppose -2*s - 20 = -6*s. Suppose -s*x = -n, 5*x = -2*n + x + 28. Solve -4*z + n = z for z.
2
Let f be 0 - 0 - (-1 + -1). Let v be ((-2)/(-4))/(2/8) + 0. Solve v*c = -f*c for c.
0
Let q(r) = r**2 - 7*r + 4. Let l(d) = d + 16. Let j be l(-11). Suppose 4*p - j*p + 2*m = -17, -3*m - 43 = -4*p. Let b be q(p). Solve 0 = -0*s + 4*s + b for s.
-1
Suppose -5 = -5*z + 3*g + 1, 4*g + 8 = -z. Suppose 6*l + z*l = 12. Solve 2*f = -l*f - 4 for f.
-1
Let u(f) = -f**3 - 2*f**2 + 3*f + 5. Let k be u(-3). Suppose -8 = -2*r, k*l - 5*r + 6 = 41. Solve -l*o = -7*o + 8 for o.
-2
Suppose 2*k - 3*k = -2*f + 12, -4*f = 2*k - 16. Suppose 0 = f*q + 3*i - 37, -i - 3*i = 4. Solve -2*o + 0 = -q for o.
4
Let q be (-1012)/(-22) + (-12)/(-3). Solve 10 = -8*g + q for g.
5
Let c = 1225 - 1212. Solve c*g = 8*g - 10 for g.
-2
Let w = -96 + 101. Solve w*a = 4*a for a.
0
Let j(m) = m**2 - m - 42. Let y be j(7). Suppose 3*k + 6 = 3*n, -2*n - k - 1 - 1 = y. Solve n = 2*h - 3*h for h.
0
Let w be (-22)/(-165) + (534/(-45))/(-1). Suppose 0 = 3*m + 5*v - 24, -w = -3*v + 7*v. Solve -4*k - 33 + m = 0 for k.
-5
Suppose 7*o - 4*o - 36 = 0. Suppose -2*c = 4*y - 7*c - 10, 4*c = y - 8. Solve 2*w - 6*w + o = y for w.
3
Let r(b) = 6*b + 1. Let p(i) = 4*i + 1. Let z(a) = 7*p(a) - 5*r(a). Let g be z(-1). Solve g*l = -0*l - 20 for l.
-5
Suppose -3*x = -3, 2*l = x + x - 84. Let m = -35 - l. Solve 2*u = -0*u + m for u.
3
Suppose 17*l - 27 = 296. Solve 0 = l*d - 22*d for d.
0
Suppose -4*r - 3*u = -22, r = 3*u - 0*u + 13. Solve r*m + 8 = 1 for m.
-1
Suppose -40*j + 33*j + 105 = 0. Solve 5 - j = -5*c for c.
2
Let n be 2/(8/(-7))*-4. Suppose -8*z + 12*z - 168 = 0. Let t = -37 + z. Solve -t*v + 8 = -n for v.
3
Let i = 29 + -23. Solve 0 = -i*d + d - 5 for d.
-1
Let g = -22 - -21. Let z be 4 - (7 + g + -2). Solve z*n + 3*n = -9 for n.
-3
Let l = -414 + 427. Solve 3*v + 2 = -l for v.
-5
Let l(g) = 22*g - 17. Let j be l(1). Solve -4*u - j*u = -45 for u.
5
Let m be 60/(-9)*27/(-6). Let y = m + -25. Solve o - 2*o + y = 0 for o.
5
Let h be 1*126*(-10)/(-45). Solve -37 + h = 3*c for c.
-3
Let v(i) = -2*i + 10. Let h be v(5). Let m be 4/(-10)*-1*5. Suppose 0 = 5*r - 8 - m. Solve 4 = r*f - h*f for f.
2
Suppose 290 = 10*b - 10. Solve -7*u = -13*u - b for u.
-5
Suppose -4*w + r = -1, -10 = 5*w - 2*r - 3*r. Let v(i) = 2*i + 8. Let s be v(-3). Let l be s/(-6) + w/3. Solve k + k - 2 = l for k.
1
Suppose -3*y + 4*l + 2 = -2, -5*l - 5 = 2*y. Suppose y*n = -3*n. Solve 2*w - 4*w + 4 = n for w.
2
Let t(h) = 14*h - 84. Let f be t(7). Solve -s = -f*s + 13 for s.
1
Suppose 14*n - 4 = 12*n. Solve -n*q + 20 = 2*q for q.
5
Let v = 78 + -73. Suppose -z - 8 = z - 4*f, 2*f = v*z + 4. Solve z = -a - 4*a - 15 for a.
-3
Let c be 15/((-171)/54 - -4). Solve 8*y - 14*y = -c for y.
3
Suppose 0 = -z - 0*z + j - 3, 2*z + 10 = 3*j. Let o be z*((-4)/22 - 6/(-33)). Solve o = -5*g + 2 + 13 for g.
3
Let u = -5 + -9. Let v = u + 13. Let n(l) = -4*l**3. Let t be n(v). Solve -6*w + 2*w = -t for w.
1
Let a(l) = 30 + l**2 + 0*l**3 + 8*l**2 - 12 + 9*l + l**3. Let t be a(-8). Solve 4*v + v + t = 0 for v.
-2
Suppose -2*w + a + 7 = 0, -w + 2 = -0*a - 2*a. Suppose w*b = 2 + 10. Let h = -29 - -29. Solve h = -0*n - n - b for n.
-3
Suppose u + 20 = 6*u. Let m be 0*3/(-18)*3. Suppose 0 = -m*k + 2*k + 2*k. Solve -u*z + 3*z = k for z.
0
Suppose 37 = 4*a + 5*q - 0*q, 14 = -2*a + 4*q. Suppose 0 = -a*i + 4*r + 13, i + 2*r = 6*r + 7. Solve -i = -0*w + w for w.
-3
Suppose 7*c = 8*c - 40. Let q = c + -33. Solve -2*a = -q*a for a.
0
Let o(a) = -7*a + 178. Let n be o(20). Solve -7 = 9*z + n for z.
-5
Let i = 17 - 16. Let z be i/2*(6 + -2 + -2). Suppose 2*v - 3 = 1. Solve v*s + 3 = z for s.
-1
Let f = -50 - -54. Let t = -4 + 10. Solve 7*l - f*l - t = 0 for l.
2
Let f be 8/3*(-318)/8. Let w = 106 + f. Solve w = -0*t - 2*t + 4 for t.
2
Suppose 0*l - 3*l = -12. Let b(g) = 2*g + 2. Let h be b(-4). Let j be (-8)/(-3) - (-4)/h. Solve -j*o + l = 2*o for o.
1
Suppose -5*i = 2*n - 579, -2*n + 107 = i - 6*n. Solve -111*z = -i*z - 12 for z.
-3
Suppose -5*p + 204 = -p. Let d = 51 - p. Solve d = -o + 6*o + 5 for o.
-1
Suppose -256 = 4*t + 5*k, 0 = 5*t - 8*t - k - 192. Let g = t + 69. Solve 15 = g*r + 5 for r.
2
Suppose -u - 12 = -4*u - 5*c, c = 2*u - 8. Let s = 0 + 1. Let k be s/(-1) + (-9)/(-3). Solve 8 = -u*p + k*p for p.
-4
Let r be 12/3 + 2 + -2. Let y be (21/r)/((-3)/(-8)). Suppose -y*q + 10 = -9*q. Solve -3*z = -q*z + 4 for z.
-4
Let i be (-16)/16*0/(-2). Let z(k) = -k**3 + 6*k**2 + k - 3. Let t be z(6). Suppose -t*l = -2*l. Solve i = 2*n - l*n - 10 for n.
5
Let o(s) = 9*s - 9. Let m be o(4). Suppose -m - 29 = -7*h. Solve 4*z + h = -4 for z.
-3
Suppose -5*g + 4 - 29 = 0. Let q(z) = -16*z + 7. Let v be q(g). Suppose 3*w + 3 = 3*a + v, -82 = -4*w - 2*a. Solve -w + 7 = 4*y for y.
-4
Let k(b) be the second derivative of b**3/6 - 3*b**2/2 + 3*b. Let q be k(5). Let w = 4 - q. Solve a - 1 = w for a.
3
Suppose -x = -20 - 84. Let b be ((-3)/4)/((-13)/x). Solve b = -3*m - 3 for m.
-3
Suppose 23*m = 20*m + 42. Suppose 9*i = 22 + m. Solve -2*p = 2*p + i for p.
-1
Suppose 4*v + 4 = 52. Suppose -4*d = v, 2*d + 3 - 1 = -l. Let m be (7/(-3))/(98/(-84)). Solve -m*n = -0 - l for n.
2
Let p = 31 + -28. Suppose 0 = -v + 1, -v - 13 = -p*j - 2*v. Solve -2*m - 2*m - j = 0 for m.
-1
Suppose 0*l + 48 = x + 2*l, 0 = -3*x + 4*l + 104. Let v be ((2/(-5))/(-1))/(8/x). Solve -3*c - v*c - 15 = 0 for c.
-3
Let i(x) = -x**2 + 9*x - 9. Let j be i(6). Let f be -10 + j - (-5 + 0). Solve -f*p + 6 = -p for p.
2
Let o = -9 - -9. Suppose o = 3*u + 15, 3*u - 8*u - 25 = -2*l. Suppose -5*w + 22 = 2. Solve l = -4*r + 5*r + w for r.
-4
Suppose 0 = 38*r - 28*r. Solve -f - 2*f = r for f.
0
Let b(h) = -h**2 + 22*h - 11. Let y be b(12). Suppose 0 = 5*p - 2*w - 80 - y, w - 72 = -2*p. Solve 0 = -5*u - 12 + p for u.
5
Suppose 0 = -2*l + 4*c + 138, 12*c + 183 = 3*l + 14*c. Solve -83 = 5*o - l for o.
-4
Let u = 59 + -53. Let z(l) = l - 3. Let b be z(u). Solve -b*t = -t for t.
0
Let t be 2 - 2 - (0 + -3). Suppose -5*i - 23 = -u, 7*u - 5*i - 47 = 3*u. Let y = -114 - -119. Solve y*r + u = t*r for r.
-4
Let q(c) = c**3 - 10*c**2 + 8*c + 13. Let t be q(9). Suppose 4*z + 5*f = 35, -2*z + 15 = 3*f - t. Solve -p = -0*p + z for p.
-5
Let k = 11 - 8. Suppose 4*h - 6*h + 4 = 0. Suppose -24*f = -23*f - h. Solve k*s - f = 1 for s.
1
Suppose -z + 2 = 2*x + z, -4*x + 16 = -2*z. Let a(w) be the second derivative of w**3/6 + 7*w**2/2 - 2*w. Let r be a(0). Solve -x*t + r = -2 for t.
3
Let w(h) = -h**2 - 4*h - 3. Let o be w(-3). Suppose -3*q + 12 + 0 = o. Solve -5 = -q*g - 1 for g.
1
Suppose 3*w = w + 10, 3*l + w - 14 = 0. Suppose l*u - 15 + 3 = 0. Suppose 0 = f + u*f. Solve 4*o + 1 - 5 = f for o.
1
Let l(q) be the second derivative of q**4/12 + q**3/3 - q**2 + 4*q - 3. Suppose 0 = -f + 6*f - 5. Let z be l(f). Solve -3*s = -2*s - z for s.
1
Let j be (0 + 1)/((-3)/(-18)). Let n = -4 + 9. Suppose 0 = -n*t + 1 + 9. Solve 0 = -t*s - s + j for s.
2
Suppose -65*f = -52*f - 52. Solve -15 = f*y + y for y.
-3
Let d = 55 + -16. Suppose a - 5*m - d + 9 = 0, -2*a - 4*m + 32 = 0. Solve -5*l + l = a for l.
-5
Suppose 29 = 5*m - 31. Suppose -3*c + m = -12. Suppose 0 = 8*r - 10*r + c. Solve 7*v - r*v + 3 = 0 for v.
-1
Let j = 14 - 12. Let s be j*(-9)/6 - -3. Suppose s*z - 4*z = -8. Solve -6 = z*h + 2 for h.
-4
Let u = -3 + 7. Suppose u = z + z. Let t be (1/z)/((-4)/(-32)). Solve 0*j = -2*j + t for j.
2
Let j = -463 - -465. Solve -2*b + j*b = -2*b for b.
0
Let i be 15/(-2)*2/(-3). Suppose u = -4*u - i*h + 30, -5*h + 20 = 4*u. Suppose 54*d = 50*d + 20. Solve u = -d*r - 