60. Let c be m/44 - (-138)/8. Let u be k(c). Solve a - 3*a + 2 = u for a.
1
Suppose -20 = -11*x + 6*x. Suppose x*r + 2*w = 16, -w - 20 = -5*r - 6*w. Let h = -4 + r. Solve 4 = -h*t + t for t.
4
Suppose 0 = o + 1, -3*b + 3*o + 64 = 2*o. Suppose 5*q = 4*u + 5 - 64, 5*q = -4*u + 29. Let y = b - u. Solve 2*f - 4*f = -y for f.
5
Let a = 8 - 4. Let u(y) = y**3 - 4*y**2 + 2. Let q be u(a). Suppose -4*p - 4*d = 0, -5*p = -p - 4*d. Solve p + 10 = q*c for c.
5
Let z = 1419 - 1419. Let v = -5 + 7. Solve v*y - y = z for y.
0
Let z(s) = -10*s + 69. Let r be z(6). Solve 20 = 4*p - r*p for p.
-4
Let k(n) = 34*n + 147. Let m be k(-4). Solve -m = 7*q + 24 for q.
-5
Let z = 23 + -4. Let l = -11 - z. Let o be (-34)/(-10) - 18/l. Solve 0*w - 4*w - o = 0 for w.
-1
Let n = 24 - 19. Suppose 3*m + 2 = n. Solve t + 2 + m = 0 for t.
-3
Let i = 3 + -1. Let n be 0/1 - (-1 + 11). Let t = i - n. Solve -t = -5*v + v for v.
3
Suppose -3*i = -2*v - 29, 20*v = -4*i + 25*v + 27. Solve 0 = -i*g + 2*g for g.
0
Let r be (11 - 5 - 6)/(-1). Solve -2*j - 6 - 2 = r for j.
-4
Suppose -392 = -32*w - 8. Solve -8*h + 2*h = w for h.
-2
Let a be -16*((-44)/(-8))/(-11). Solve -a = 40*w - 36*w for w.
-2
Let p(f) = f + 1. Let z be p(2). Let w(s) = s**3 - 15*s**2 - 10*s - 20. Let v be w(16). Let j = -74 + v. Solve z*k = -j + 5 for k.
1
Suppose l - 2*v - 8 = 0, -3*l - 4 = v - 0. Solve -15*m + 31 - 91 = l for m.
-4
Let t = -2 - -5. Suppose 6 = -0*a + 2*a. Let i = -5 + 14. Solve a*l + t = -i for l.
-4
Suppose 58 = 4*r - 2*x, 5*x + 22 + 32 = 3*r. Solve r*g = 16*g - 3 for g.
1
Let y = 4 + -3. Let c = 314 - 308. Let t be (-1)/y - c/(-2). Solve -x - x + t = 0 for x.
1
Suppose 27*w - 627 = -6*w. Solve w = 7*n + 54 for n.
-5
Let a(d) = d**3 - 2*d. Let i be a(2). Suppose -7*y + 421 = 309. Solve 4*o - i + y = 0 for o.
-3
Let j be 4 + -40*(4 + -2). Let s = -74 - j. Solve 6 - s = 4*o for o.
1
Let z be (-21 - 0)/(18/(-12)). Solve 0 = z*k + 29 + 27 for k.
-4
Let i be (-6)/18 + (-5)/3 + 2. Solve 0*n + 5*n + 5 = i for n.
-1
Suppose 4*d = 5 + 3. Suppose 0 = -s - d*a + 4*a + 8, -4*s + 5*a + 32 = 0. Solve 3 = -s*v + 7*v for v.
-3
Suppose -1 = -2*h + 3. Let u be 9/h*4/6. Suppose 13*v - 9*v = 32. Solve m = u*m + v for m.
-4
Let d(l) = l**2 + 1. Let n be d(2). Let q be (n + (1 - 9))*7/(-3). Solve -k - q = -2 for k.
-5
Let x be ((-4)/(-8))/(141/72 - 2). Let u = 16 + x. Solve j + j = u for j.
2
Suppose 49*l = 18*l + 651. Solve -l*b = 91 - 28 for b.
-3
Suppose 21*i + 28 = 17*i. Let g = -3 - i. Solve j + g*j + 15 = 0 for j.
-3
Suppose -1474 = -53*c + 10. Solve 46 - c = 9*t for t.
2
Suppose 39*k = 97 - 19. Solve -21*u + k = -23*u for u.
-1
Let f(y) = -y**3 + 4*y**2 + 2*y - 2. Let w(q) = 3*q**2 + 4*q - 2. Let i be w(-2). Let x be f(i). Solve 4*c = -c + x for c.
2
Suppose 6 = 6*v - 6. Suppose -3*c - 5 = v*c. Let t be c*(-4 - 0 - -2). Solve -t - 8 = 5*y for y.
-2
Let d(a) = 4*a - 2. Let z be d(2). Let y = 498 - 496. Solve -y*s = s + z for s.
-2
Suppose 0 = 3*x - 54 + 6. Suppose 22 = 20*j - 78. Solve -d = -j*d - x for d.
-4
Let m(a) = 4*a - 2. Let p(d) = -d**3 - 6*d**2 + 8*d + 9. Let w be -5 + (-2 + 2 - 2). Let o be p(w). Let x be m(o). Solve -x*y = -y - 10 for y.
2
Suppose 5*b + 3*x - 168 = 0, 4*b - 2*x = 129 + 23. Suppose 0 = 5*q + 7*q - b. Solve -5 = -q*f + 1 for f.
2
Let l = -7 - -17. Suppose -7*x + 9*x = 0. Suppose t + 2*t = x. Solve t = -5*z - l for z.
-2
Let r be 2 + -1 + (1 - (-1 - 4)). Suppose -5*t + 4*m + 7 = 0, 3*t - r = m - 0*m. Solve v - t*v = -8 for v.
4
Suppose m - 3*m - k + 27 = 0, 3*k - 49 = -4*m. Let v = m - 12. Let i = v + 2. Solve -4*o + o = -i for o.
2
Let a(h) = -2*h**2 + 7*h + 8. Let g(i) = i**2 - 7*i - 8. Let q(r) = 2*a(r) + 3*g(r). Let v be q(-4). Solve v*n + 0 - 4 = 0 for n.
1
Suppose 3*w - 38 = 37. Suppose -4*d = -15*d + 44. Suppose 0 = 5*z - w, -2*o - 10 = -0*o - d*z. Solve o = s - 6*s for s.
-1
Suppose 5*u + 20 - 30 = 0. Let m = -3 + 0. Let t = -3 - m. Solve t = y - u*y + 2 for y.
2
Let t be 5*((-9)/(-45) - -2). Solve 5*o + 26 = t for o.
-3
Let v be 16/(-104) + (1308/52 - 0). Solve 3*p = v - 22 for p.
1
Suppose 0 = 4*t - 2*c - 2, 0 = 5*c + 48 - 63. Solve -t*a = 14 - 20 for a.
3
Let f(p) = 9*p - 77. Let v be f(9). Solve v*w - 18 = -5*w for w.
2
Let c(s) = 3*s - 19. Suppose f = 4*g + 12, 0 = -4*f - 6*g + g + 27. Let u be c(f). Solve -u*n - 4 + 14 = 0 for n.
2
Let w(f) = -5 - f - f**2 - 9 - f - 13*f. Let o be w(-14). Suppose 0 = 5*n + 2*z - 24, n - 2*n + 15 = -3*z. Solve o = -5*l + 7*l + n for l.
-3
Let r = 885 - 881. Let x(s) = -s**2 + 6*s + 7. Let q be x(7). Suppose 2*i - i = q. Solve 8*t - r*t = i for t.
0
Let f be (-1 + (-145)/(-35))/(1/7). Solve -f*l = -9*l + 26 for l.
-2
Let p(l) = 3*l - 4. Let m be p(3). Solve m = -2*u - 3*u for u.
-1
Let o = -9 - -19. Suppose -6*z = -o*z. Suppose 3*h + z*h = 0. Solve 5*y + 8 + 7 = h for y.
-3
Suppose 4*x = 4*i + 2 + 26, 3*x - 5*i - 25 = 0. Suppose x*p - 30 = -5. Suppose 5*k = -p*d - 15, 3 = -3*k + 2*k. Solve 3*b - 3 + 6 = d for b.
-1
Suppose 4*h + 16 = -26*x + 23*x, 4*x - 5*h - 20 = 0. Solve -6*b + 12*b + 18 = x for b.
-3
Let g be (-6 - -7)/((-1)/(-1)). Let s(o) = -2*o**2 + 17*o - 6. Let w be s(8). Solve -n = -w - g for n.
3
Let i be 2 - (-3)/((-6)/4). Let b(r) = r**2 - 2*r - 9. Let l be b(-3). Solve 3*g + i - l = 0 for g.
2
Let q(k) = -k**2 + k - 1. Let a = -5 - -5. Let b be q(a). Let h(w) = 8*w**2 - w. Let l be h(b). Solve 4*d - d = l for d.
3
Let q be (-36)/(-9) + 3/(-3). Solve v = -q + 8 for v.
5
Let p(g) = -g**3 - 26*g**2 + 25*g - 48. Let i be p(-27). Solve -i*f = -f + 20 for f.
-4
Let y be (-4)/(-14) - 1148/(-98). Let g be -4 + y/(6/2). Solve g = -2*l + 7*l + 5 for l.
-1
Let u be (-14 - (0 - -1)) + -2. Let o be (-8)/(-40) - 166/5. Let r = u - o. Solve -3*z - r = z for z.
-4
Suppose 8*q - 4*q = 0. Suppose q = 3*h - 3 - 27. Solve -4*c + h = c for c.
2
Suppose 110*n - 113*n = 0. Solve -3 = -f - n for f.
3
Suppose -20*r - 308 = -608. Let v be ((-2)/3)/((-1)/3). Solve 7*b - v*b = -r for b.
-3
Let j(z) be the second derivative of -z**3/6 + 4*z**2 + 4*z. Let u be j(8). Let x be 4 + u/(7 - 4). Solve 0 = i + x*i + 10 for i.
-2
Suppose 0 = 66*a - 534 - 192. Solve a*d - 60 = -d for d.
5
Suppose 0 = -3*s + 4*f - 26, 6*f = s + f + 27. Let m be s/4*(-36)/3. Let j be 1/(-1)*1*(8 + -12). Solve 0 = j*d - 2*d + m for d.
-3
Let l(p) = 5*p - 4. Suppose i + 2 = 2*i. Let h be l(i). Suppose -h*a + a = -20. Solve 5*b - 4*b = a for b.
4
Let s(c) = 5*c**3 + c**2 + c - 1. Let t be s(1). Solve -t*p = -3*p + 6 for p.
-2
Suppose 4*q = -5*l - 17, -9 = -q + 3*l + 8. Solve -6*a + q*a = 12 for a.
-3
Suppose -8*u - 8 = -9*u. Suppose 6 = -w + u. Solve 3*z + w*z + 5 = 0 for z.
-1
Let j be -2 - -1 - (-3 + 1). Let y(k) = 2*k + 7. Let t(w) = 8*w + 20. Let p(s) = 6*t(s) - 17*y(s). Let m be p(j). Solve -2*b - 3*b + m = 0 for b.
3
Let m = -4133 - -4138. Let q = -1 + 9. Solve -m*t = -q - 2 for t.
2
Let n(m) = 7*m**2 - 6*m - 2. Let d(k) = -13*k**2 + 12*k + 3. Let t(u) = 6*d(u) + 11*n(u). Let a be t(2). Let p = 7 - 3. Solve p*g - a = -0 for g.
1
Suppose -4*x + 56 = -0*p + 3*p, 2*p - 3*x = 26. Suppose -4*b = -5*i - 28, 3*b - 4*i - p = i. Solve -v = 3*v + b for v.
-3
Let n(p) = -5*p - 10. Let o be n(-7). Suppose 0 = -r - m - 2*m + 6, -4*r + 104 = -4*m. Suppose -r*x = -o*x. Solve x*t + 5 = -t for t.
-5
Suppose -3*d + 5 = -5*f + 15, 3*d - 25 = -2*f. Let p be (14/8 + -3)*2*-2. Suppose p*v + 1 = 16. Solve -8 = v*g - d*g for g.
4
Let x = -469 - -492. Solve x = 10*o - 7 for o.
3
Suppose 0 = -4*x - 5*k + 53 + 13, -2*x = k - 30. Let s = x + -14. Suppose -2*i = -2*j, 2*i + s*i + 8 = 4*j. Solve -j*r - 1 - 3 = 0 for r.
-1
Let c be -11 - -17 - ((-8)/4 + -3). Let j(r) = -r**3 - r**2 + 3*r - 2. Let v be j(2). Let y = v + c. Solve -6 - y = -3*w for w.
3
Let u = -443 - -453. Suppose 5*o + 65 = z, z - 245 = -3*z + 5*o. Suppose 5*g = g + z. Solve 5*i = g + u for i.
5
Suppose -12 = -5*j - 2. Suppose 7*v = j*v + 20. Solve 0 = v*o + 8 + 4 for o.
-3
Suppose 5*p - w + 223 = 0, 5*p = -2*w - 70 - 144. Let m be 0/((3/2)/(33/p)). Solve 0 = -m*o + 5*o for o.
0
Suppose -12 = g - 2*g. Let q be 10*1/2 - -1. Let m = g - q. Solve 4*y + m = -10 for y.
-4
Let f be (-2)/((-2)/(-4)*-1). Suppose -f*r + 7 = -9. Let j(q) = -q**2 - 23*q + 57. Let k be j(-25). Solve -r*l = k + 5 for l.
-3
Let t(f) = -5*f**2 + 227*f - 68. Let g be t(45). 