o - z*f + f for o.
1
Suppose -8*p = -169 + 217. Let j be -1*(p/27 - 75/27). Solve -f = 4*o + j - 12, -4 = -2*o for f.
1
Suppose 5*j - 9 = -174*n + 175*n, 6 = -n + 4*j. Solve 11*g - 6*g = -2*x + 17, n*g - 13 = 5*x for x.
1
Let x(l) = -2*l**2 + 64*l - 487. Let y be x(16). Solve -4*u + y = -5*c, -31*u + 27*u + 3*c + 15 = 0 for u.
0
Let p = -12 - -14. Suppose -x = 3*t + p, 0 = x + 5*t + 5 + 1. Solve -x*d = -w + 13, -2*d + 2 = 10 for w.
-3
Let o be 2 + (4 - (-12)/(-21 - -9)). Solve -d + 29 = 4*r - 9*r, -45 = 5*r - o*d for r.
-5
Suppose 10*w - 24 = 116. Let s = -62 - -33. Let r = s - -31. Solve 3*v - 22 = -v - t, -r*t + w = 2*v for v.
5
Let p = -23184 - -23186. Let u(v) = v. Let d(o) = -2*o - 2. Let f(x) = -d(x) - 3*u(x). Let a be f(0). Solve a*q - 8 = -0*i + p*i, 0 = -2*q - 2*i - 8 for q.
0
Let l(y) = -1763*y + 8822. Let u be l(5). Solve u = t - 26*q + 23*q, 0 = 5*q + 20 for t.
-5
Suppose -3*y + 28 = 2*v, 20 + 24 = 5*y + 2*v. Solve -4*m = 4*i - 4, -m - 13*i = -y*i - 5 for m.
0
Let r(c) = -c**2 - 24*c - 21. Let f be r(-1). Solve -f*g = 2*v - 6, -2*v - 3*v - 9 = -3*g for g.
3
Let s = -11414 + 11424. Solve -s = 26*v - 28*v - x, -x = -3*v + 5 for v.
3
Let n(i) = -7*i**2 + 23*i + 86. Let k be n(-7). Let p = 421 + k. Solve -17 = -5*m - p*b, -7 = m + 2*b - 4*b for m.
1
Let g = 26 + -26. Let j be 2*-1*(-2 + g). Let x(v) = -v**2 - 9*v + 26. Let p be x(-11). Solve -j = -y + 2*o - 1, -p*y + 25 = 5*o for y.
5
Let v = 661 - 567. Suppose 73*f - v = 26*f. Solve -f*t + 8 = -4*k, 0 = -k + 2*k + 5*t + 2 for k.
-2
Suppose 4 - 4 = 6*x. Suppose 5*p - 30 = -f, 4*f - 10 = 2*p - x*f. Solve 4*s + 2*l = -20, -p*l - 18 + 4 = -2*s for s.
-3
Let x(t) = t**2 - 23*t + 125. Let z be x(17). Suppose z = h - 3*g, 3*g = -2*h + 32 + 23. Solve -4*v + 2*c = h, -c = 2*v - 3*c + 18 for v.
-4
Suppose -196*q + 426 = 17*q. Solve o - x - 1 = -0, 4*o + 20 = -q*x for o.
-3
Let j(a) = 2*a**2 - 103*a + 480. Let h be j(5). Solve 3*t + h = -z, 2*z - 14 = 6*t - t for t.
-4
Let u(c) = 6*c - 48. Let z be u(8). Suppose -4 = d - 1, -m - 3*d - 7 = z. Solve -m*w + 32 = w - 5*n, 0 = n + 4 for w.
4
Let y = 5 - -5. Let d be -16*10/320*-8. Solve -2*n + 14 = -d*s - 2, -3*s = -n + y for s.
-2
Let s = 370 - 367. Suppose -4*f - 14*u + 41 = -9*u, -f = -s*u - 6. Solve 0*b + 3 = -c - 4*b, 0 = c - 2*b - f for c.
5
Let m(c) = 86*c - 2921. Let s be m(34). Solve 5*j - 16 = -s*b, 5*j - 12 = -5*b - 2 for b.
-3
Let s = -9 + 14. Suppose 6*o = -9*o + 300. Suppose 14*f - o*f + 30 = 0. Solve -c = f*b + 2, -27 = 3*b - s*c - 9 for b.
-1
Let i(h) = h**2 - 5*h + 4. Let f be i(5). Let p = 105 - 90. Suppose -21*m = -p*m - 12. Solve -c = f*v - 2*c - 20, -m*v - c = -10 for v.
5
Let s(x) = x**2 - 41*x + 31. Let h be s(21). Let r = 393 + h. Solve -8 = r*a + 5*q, -5*a - 3*q - 5 = 2*q for a.
3
Let a(o) = o**2 - 3*o - 43. Let l be a(10). Let h(m) = m**2 - 29*m + 54. Let r be h(l). Solve 3*q - 5*u + 19 = 0, 3 = q - r*q + 3*u for q.
-3
Suppose d - 316 = 2*l, -4*l + 5*d - 304 = 334. Let z = l + 165. Solve 14 = 5*m - 0*m - 2*f, -4*f = -5*m + z for m.
4
Let v be (-80)/(-280) + 2/(-7). Solve v = -5*b - d + 22, -2*d = 3*d + 15 for b.
5
Suppose -2*f + 0*f = -4. Suppose -f*d + 3 + 1 = 3*y, -4*d = -4*y - 8. Suppose -5*l - 2 = -22. Solve l*m + 20 = 5*t, -2*m + 5*t - d*t = 12 for m.
0
Let w be (-4 - -3)*-9 - 7. Solve 1 = q - 3*p, 2*p + 0 = -w*q - 6 for q.
-2
Let g(w) be the second derivative of w**3/2 + 81*w**2/2 + 15*w - 2. Let o be g(-26). Solve -2*s = -z, 4*z - s + o = -4 for z.
-2
Let c be 6 + 7 + -28 + 17. Solve 247*u - 252*u + 5*p = 0, -u - c*p + 6 = 0 for u.
2
Suppose g + 25 = 3*c - 117, 0 = c - 5*g - 66. Suppose 0 = 35*v - c*v + 44. Solve 8 = v*h + 4*r, -13 - 15 = h - 5*r for h.
-3
Let s(v) = -2*v**2 + 153*v + 12. Let l be s(0). Solve 0 = 4*u - 2*z + l, 7*u + 2*z - 4 = 3*u for u.
-1
Let x be (-395 - -399)*(4 + -2)/4. Solve 4*w + 4*a + 12 = 0, 1 = -x*w - 0*w + 3*a for w.
-2
Suppose 448 = 120*h + 104*h. Solve 0 = s - 5*t + 7, -6 = h*s + 5*t - 7*t for s.
-2
Suppose -21*m - 3 = -22*m. Let t be 0 + m/1 + 18 + -21. Solve k - l - 1 = t, -2 + 1 = -2*k + 3*l for k.
2
Let h = 5 + -1. Let c(n) = 31*n - 372. Let j be c(6). Let i = 190 + j. Solve -14 = -4*p + 3*k, p + i*k = h*p - 7 for p.
5
Suppose d - 2*a = -40, 2*d + 20 = -2*a - 36. Let v be (4/10 - d/(-80))*-1. Solve v = -5*m + 5*s - 15, 2*m = -2*s - 0*s - 6 for m.
-3
Let y(w) = -16 - 2*w**2 + 17*w**2 + w**3 + 9*w - 36*w**2 + 15*w**2. Let s be y(5). Solve 4*z + 12 = g, z - 1 = -3*g - s for z.
-3
Let u be 96/84*((-162)/(-12) - 3). Solve -u = -2*g - 17*i + 19*i, 0 = -2*g + 5*i + 15 for g.
5
Let p(y) = -y**3 - 2*y**2 + 65*y - 10. Let w be p(7). Suppose 2*a = -3*m - 1, -4*m - w*a + 10 - 18 = 0. Solve q + 9 = -2*k, 2*k = -0*q + q - m for k.
-3
Let v be (91/42)/(37/222). Solve -i + v = 3*c, -32*c = -2*i - 28*c - 24 for i.
-2
Let w = -2 - -5. Suppose -3*d + 8082 = -12*d. Let u = d - -900. Solve -u*b + w*q + 11 = 0, 4*q = 5*b - 13 + 3 for b.
-2
Suppose -18 = -2*o - 4*g, g = -3*o - g + 11. Let m be (o - -4)/((-85)/(-51)). Solve b - 14 = -4*q, -5*b - m*q + 2*q + 13 = 0 for b.
2
Let t be (-984)/3280*(-50)/3. Solve -5*j + 4 = -4*k, -39 - 1 = -5*j - t*k for j.
4
Suppose 0 = n - 3*p, 15*n - 3*p + 27 = 17*n. Let i be 4/6 - 6/9. Solve y + x - 1 = i, 5*y - x = -4*x + n for y.
3
Let l = 413 + -332. Suppose 79*f - l*f = 0. Solve -20 = 2*t - f*t - 3*c, 0 = 4*t + 5*c - 4 for t.
-4
Let z(u) = -11*u**2 - 15*u - 2. Let q be z(-1). Solve -m + 5 = 5*d, 6*m = 4*m + q*d - 14 for m.
-5
Suppose -6*o - 15 = -3*o. Let p be (-4 - (2 + o))/((-1)/7). Let m be ((-6)/p)/((-6)/42). Solve -u + 8 = u + 5*r, 4*u = r - m for u.
-1
Let x(b) = 6*b + 51. Let u(k) = 23*k + 84. Let i be u(-4). Let d be x(i). Solve n + 0*n = -d*j, -6 = 2*n for j.
1
Let j = 129 + -115. Suppose 0 = 4*h - j*h + 50. Solve -3*a - a + 8 = -3*t, a = -t - h for a.
-1
Let v = -276 - -276. Let c be (-27)/54*(1 + v + -5). Solve 4*z + 2*j = -18, 18 = -c*z - 3*j - j for z.
-3
Let d(k) = k**3 + 5*k**2 + 32*k + 231. Let m be d(-6). Solve -2*w + 0*x = -2*x - 10, 0 = m*w - x - 15 for w.
5
Let v(g) = g**3 + 11*g**2 + 11*g - 48. Let u be v(-9). Suppose z = 5*k - 30, -4*z - z - u = 2*k. Solve 0*m + 3*c = -4*m - k, 4*c = -m - 11 for m.
1
Suppose -3*i - 2*t + 15 = 0, i + 10*t = 11*t. Solve 20 = 2*o + 16, -i*q - o = 4 for q.
-2
Suppose -4*s = -11*s - 161. Let m = 16 + s. Let k be (8 + m)/(1/5). Solve j - 10 = k*t, -4*t + 5*j + 0 = 29 for t.
-1
Let v be 4 + (-1 - 13 - -6) - -7. Solve -v*w + 5 = -2*k + 22, -w + 4*k - 19 = 0 for w.
-3
Let f = 2567 + -2561. Solve 5*p + 20 = 0, f*z + 5*p = 10*z - 24 for z.
1
Suppose -2*n + 221 = 4*o + 193, 3*o - 18 = 0. Solve -4*w = -4*l + 24, n*w = -w + 4*l - 20 for w.
-4
Let i(t) = -86*t + 1550. Let o be i(18). Solve 2*q - o*k = -6, -k + 4 = 3*q - 3 for q.
1
Suppose -u = -7*u - 6 + 18. Solve 2*v + v + 27 = -5*k, -u*k + 5*v + 14 = 0 for k.
-3
Let q be (-27)/(-2) + (-87)/58. Suppose 5*o - 3*o = q. Solve 2*a + 5*c = 18, o*c - 11 = -a + 3*c for a.
-1
Let u(z) = 2*z - 62. Let g(s) = -3*s - 62. Let p(r) = 7*g(r) - 6*u(r). Let q be p(-2). Solve 5*v = 4*o - 28, 0 = -0*v - v - q*o + 4 for v.
-4
Let s(m) = m**3 - 15*m**2 - 17*m + 19. Let q be s(16). Solve -12 = -a + 2*n, 0 = 3*a - q*n - 2*n - 31 for a.
2
Suppose 9*j - 2*d + 396 = 7*j, 0 = 5*d. Let w = 202 + j. Let n be (-2)/5 + (-124)/(-10). Solve n = 3*s - 4*u + u, -s + w*u + 19 = 0 for s.
-1
Let d = -3 - -7. Let t = -327 - -198. Let z = 131 + t. Solve -3*g = -y - 7, -5*g = -d*g - z for y.
-1
Suppose 153 = 82*z - 93. Solve v = -z, -5*l + 6*l + 2*v = -11 for l.
-5
Let q = -1970 - -1974. Solve 0 = -3*m - 12, -q*i + 2*i = 3*m + 18 for i.
-3
Let h be (4 + 0 - 8) + 6. Let k = -2484 - -2501. Solve i - 9 = 4*n, -h*i - i + k = -2*n for i.
5
Let y(p) = p**3 - 8*p**2 + 6*p - 2. Let i = 64 - 57. Let f be y(i). Let x = -6 - f. Solve 3*a - d = 2*a, -7 = x*a + 4*d for a.
-1
Let w be (36/(-16))/(-3*2/(-16)). Let o be w/(-3) + 1 + 0. Suppose 0 = 4*d + 4, -3*z - 3*d = -z + 3. Solve 15 = u + 2*u, -o*s + 3*u - 3 = z for s.
4
Suppose -t - 68 + 76 = 0. Let z be 8 + (4 - 2)/(-1). Let c = 51 - 49. Solve -z = c*g, -x + 0*g = g + t for x.
-5
Let y be (0 + 0)/(((-8)/6)/(19/57)). Solve y = v + f, 3*v + 10*f + 4 = 6*f for v.
4
Suppose 4 = 5*a - 11. Suppose 2*v - q = 2, 2*q - 23 = -v - a*q. Suppose 2*t - 2*s = 4, 4*s + 2 - 10 = 0. Solve 0 = 