= 0 for o.
4
Let q(p) = p**3 - 5*p**2 + 7*p. Let h be q(3). Suppose -48 = -3*b - h*b. Solve 5*s + b = 4*x, 0 = 2*x - 3*s + 5*s + 14 for x.
-3
Let t(f) = -3*f - 37. Let k be t(-13). Solve 4*r - 18 = -3*h, -h + k*r = -3*h + 10 for h.
2
Suppose -a - 240 = 9*a. Let i = a - -26. Solve 1 + 4 = 5*r, 2*h + 2*r = -i for h.
-2
Let u = 188 + -185. Solve 0 = 2*r - u*r + 3, 0 = 5*i - 4*r + 17 for i.
-1
Let m be 3*((-80)/(-15))/8. Solve -m*a = 3*x + 10, -3*x = 2*a - 7*x + 10 for a.
-5
Let v(r) be the third derivative of -r**6/60 - r**5/60 + r**4/24 + 2*r**3/3 + 3*r**2. Let u be v(0). Solve 6*a + z - 4 = 3*a, z - u = 5*a for a.
0
Suppose 0 = 37*p + 16*p - 106. Solve -y - 2*b = -0*b - 15, 35 = 5*y + p*b for y.
5
Let c be (-8)/(-2) - (-4 + 3). Let r be 0/(-1 + c + -3). Suppose -5*o - 3*b + 23 = 0, r = -o + b - 5*b + 8. Solve -f - 4*m - 18 = m, 3*m + 4 = -o*f for f.
2
Suppose -j - s = -3, -5*s = -2*j + 15 - 2. Solve x + 7 = -j*d - 5, -3*d = -x + 9 for d.
-3
Suppose 21*z + 8*z = 0. Solve 2*v - s + 2 = v, z = 3*v + 2*s + 11 for v.
-3
Suppose b - 12 = -3*k, 3*b - 3*k - 21 - 3 = 0. Solve -2*t + b = -2*a - 5, a - 8 = -2*t for a.
-2
Let r(b) = -b**2 - 4*b + 5. Let n be r(-6). Let l(m) = 5 + m**2 + 7*m + 11*m**2 - 11*m**2. Let o be l(n). Solve o*t - 3*k + 16 = 0, -t - 22 = t + 4*k for t.
-5
Let j = -545 - -548. Solve -o + 1 = b, -j*b - 29 = -4*o - o for o.
4
Let g = 20 - 6. Suppose 0 = -h - 1 + g. Solve 5*r - 2*m - h = -4*m, 3*r + 4*m = 5 for r.
3
Suppose -z + 3*z + 4*y = 0, -3*y = 0. Suppose -2*o - 3*o + 10 = z. Let m be (-36)/(-7) + 4/(-28). Solve 0 = -2*t - o*v - 14, m*v = -0*t - 2*t - 23 for t.
-4
Suppose 2 + 2 = 2*q. Let h be 35/(-15) + q/6. Let x be 6 + (h - -1)*1. Solve -4 = -4*l - 4*d, -d - d - 7 = x*l for l.
-3
Let i = -12 + 13. Let s(g) = 4*g**3 - g**2 - g - 1. Let x be s(-1). Let v = x - -7. Solve 0 = 2*c - p + 10, c - v*p = 4*c + i for c.
-3
Let b be (-108)/(-10) - (-8)/(-10). Let p be b/(2/(5 + -4)). Solve 0 = 2*v - 0*q + 2*q + 6, 4*q - 24 = p*v for v.
-4
Let l(z) = -35*z + 248. Let g be l(7). Solve -d + g*o = 8, 4*d - 4*o = -22 - 2 for d.
-5
Let u = 39 - 39. Let c be (u + -11 + 4)/(-1). Suppose 0 = 3*s - 6*s. Solve 3*z + 6 + c = 4*j, s = 5*j - 5*z - 20 for j.
1
Let y be 93/7 - 12/42. Suppose 2*p = -3*g + y, -g = -p - 6 - 0. Solve -10 = k - d - 2*d, -4 = -g*k - 3*d for k.
-1
Let p = 11 + -6. Suppose -2*m = x - 2, 4*x = -3*m + 21 - 13. Solve m = 5*u - 5*o + p, 3 = 5*u - o - 12 for u.
4
Suppose -8*c - 35 = -13*c. Let j = 10 - c. Solve -3*g - 9 = x - 0*x, j*x + 11 = -g for g.
-2
Let q = -793 + 797. Suppose -n - 3*n + t + 54 = 0, 5*n - 2*t = 69. Suppose -15 = -q*y + n. Solve -5 = 3*z + 3*f + 4, -3*z = -f - y for z.
1
Suppose 10 = 5*y + j, 10 = 3*y + 2*j + 4. Solve -y*w - 5 = -r - 6, -r = 2*w + 5 for w.
-1
Let t = -439 + 442. Solve 13 = -t*h + 2*h - 4*f, -5*h = -4*f + 17 for h.
-5
Suppose k + 19 = -4*u, u = -u + 3*k - 13. Let c be (u - -3)*(1 - 2). Suppose 0 = -c*a - 5*a. Solve x - 6 = -5*i, -3*i + 2*i + 1 = a for x.
1
Suppose -16 = 12*w - 8*w, 4*w + 19 = i. Let a be (1/3)/(5/45). Solve 0 = 2*n + k + 4, 1 = n - i*k + a for n.
-2
Suppose 6*h - 5*h - 2 = 0. Let x be (-6 - 0)*h/(-3). Suppose 2*l = -l + 2*o + 12, 4*l - x*o - 16 = 0. Solve -n - l*n = -c + 19, 0 = -4*n - 12 for c.
4
Let u = 817 + -815. Solve 2*w = -10, 0 = u*b - 0*b + 5*w + 17 for b.
4
Let f be 14/(-4)*(1 - 162/42). Let o(v) = -5*v**3 + v**2 + 2*v + 1. Let r be o(-1). Solve -f = -3*q - r*d, 4*q + d - 2*d = 21 for q.
5
Let f be 2*(0 - -2 - 0). Suppose 4*w - 7 = 3*w. Suppose -3*c + w*c - 20 = 0. Solve -2*x + 22 = 4*a, -11 = -c*a + f for x.
5
Suppose -29*q = -34*q + 60. Solve 0 = -3*d + q, -4*g - 2*d = -d - 12 for g.
2
Let r(l) = l**2 + 9*l - 8. Let m = 17 - 13. Let g = -14 + m. Let x be r(g). Solve -3*t - 2*c = -6, 2*t = x*c - 5 - 1 for t.
0
Let a = 8 - 4. Let k be 4 + -3 + -1 - -1. Let n = k + 15. Solve n = -5*t + r, -a*r - 4 = -t - 11 for t.
-3
Let j be (0/(-6) - -3) + -5. Let z be 29 + j + 1 + -3. Solve -l - t = 0, t = 3*l + l + z for l.
-5
Suppose 2268*w = 2265*w + 12. Solve -4*k + w*b = 0, 3*k + 1 = 2*b - 1 for k.
-2
Let c be (1/4)/(8/160). Let n(h) = 17*h + 13. Let z be n(0). Solve -z = -2*u + c*x, -2*x + 1 = -3*x for u.
4
Let o be 5/2*(45/25 + -1). Solve v - 2*v = o*w - 1, 5*w - 2*v = -20 for w.
-2
Suppose 1 = b - 4*a - 1, 0 = 2*b - a - 25. Solve 2*u + 8 = 0, -2*w = -3*u - b - 2 for w.
2
Suppose -3 = 4*f + 5*l, 3*f - 15 = f + 3*l. Suppose -v = 4*o - 13, 26 - 1 = 5*o + f*v. Solve h + 0*t + 12 = -3*t, 0 = -o*h + 4*t + 26 for h.
3
Let j(i) = i**3 - 6*i**2 + 15*i - 28. Let r be j(4). Solve -5*k + 3*w - 8 = r, 5*k + 0*w = -4*w - 1 for k.
-1
Let v be (24/(-6))/(20/(-80)). Solve -3*y - 2*k + 4 = 0, -y + v + 0 = -3*k for y.
4
Suppose 4*f = -0*f + 36. Suppose -f = -15*d + 18*d. Let b be 130/39 + (-2)/d. Solve 4*y - 3*a + b = 0, -3*y - a + 0*a = 3 for y.
-1
Suppose 10*l - 117 = l. Solve 3*s = 6*h - 4*h + 3, 3*h + 4*s = -l for h.
-3
Let r(t) = 18*t - 320. Let n be r(18). Solve 5*o = c - 5, 0 = -2*c + n*o - 5*o - 1 for c.
0
Let b be (1/(-4))/((-3)/48). Suppose -b*u - 21 = -3*m - 0*m, 0 = 2*u + 6. Solve n = 3*l + 11, 0 = 4*l + m + 17 for n.
-4
Let c(o) = -o**2 - 3*o + 7. Let p be c(-6). Let y = p - -13. Let m(u) = 17*u - 2. Let v be m(1). Solve -2*k + v - y = -q, k = -q - 1 for q.
-5
Let a(v) = -26*v + 316. Let j be a(12). Solve 3*m - 5*w + 5 - 18 = 0, 2*m - w = j for m.
1
Suppose -8 = 5*o - 3*o. Let n be 4/6*(16 + o). Solve 22 = -5*b - 2*f + n, 3*b + 24 = 4*f for b.
-4
Let k = -10 + 19. Let m be (0 - 1)/(-1)*-1. Let z = k + m. Solve -2*o + z = -4*i, -2*o + 3 = i - 0 for o.
2
Suppose 13*l - 20 = 8*l. Solve h = -0*h - 2, l*z = -5*h - 18 for z.
-2
Suppose -3*q + 22 = 4*g, 0 = -24*q + 22*q + g. Solve -3*v - q*m = 0, -2*m + 2 = -2*v + 4*v for v.
-2
Suppose 7*i - 9*i = -3*i. Solve i = -h - k - 2, -h - 14 + 6 = -k for h.
-5
Suppose -6*f = -f - 35. Let b be 18/(-45) - 4/(-10). Solve b*j - j + 3*p + 11 = 0, f = -4*j - 5*p for j.
2
Let d be (-1)/(1*(-1)/12). Suppose 0 = -z - 3*z + d. Let p be -1*(z - (-12)/(-2)). Solve 5*x - p*w - 2*w - 10 = 0, -3*w = 4*x + 20 for x.
-2
Let n(g) = -g**2 + 6*g - 11. Let j be n(5). Let v be j/14 - 6/(210/(-155)). Solve 3*s = -4*c + 8, v*c = 5*s + 4 + 4 for c.
2
Let c be (-6)/9*72/(-3). Suppose -14*s = -c*s + 8. Solve z + 12 = 3*g, -s = -g + 2*z - 0 for g.
4
Suppose -50 = 6*x - 16*x. Solve x*g - 23 = 2*o, 0*g + g = -o + 6 for o.
1
Let l(i) = 5*i + 63. Let o be l(-12). Solve 5 + o = 4*s + 4*k, -3*k = 9 for s.
5
Let n(x) = 3 + 2*x + 7 + 2*x - 3*x. Let v be n(-6). Suppose -2*a - 4 = 0, -5*i + 5*a = -v*i - 12. Solve -2*l + c - 8 = 0, -i*l - 8 + 0 = 3*c for l.
-4
Let m be 3 + 6*-1 + (7 - -2). Suppose -m = v + v - 3*b, 0 = -3*v - b + 13. Solve 2*n - 1 = -v*d, 2*n + d + d = 4 for n.
5
Let t = 8 - -4. Suppose 0 = -3*l + t*l - 63. Solve -2*p = -l + 1, 0 = -2*f - 3*p + 3 for f.
-3
Suppose 2*x + 34 = 5*x + 5*h, 4*h = 5*x + 5. Let y be 2 - -3 - x - -8. Solve 2*w = 6*s - s + 31, y = -2*s for w.
3
Let t = -13 - -26. Suppose -2*z - 2*q = -8, -2*z - 1 + t = 4*q. Solve i = z*i - 2*f - 4, 3*i = -f - 2 for i.
0
Let u(c) = -6*c - 8. Let r be u(-4). Suppose -3*t = -t - r. Let o be 30/t + (-4)/(-16). Solve -4*h + 5*k = 1, -3*h = -7*h - o*k + 8 for h.
1
Suppose 133*c - 119*c = 56. Solve 3*s = -h - s - 15, 0 = 5*h - c*s - 45 for h.
5
Suppose 0*m + 5*m - 16 = -3*l, 0 = -l + m. Solve -l = 3*n + 13, -2*o = 3*n + 23 for o.
-4
Suppose 5 = 3*h - 4. Suppose 3*q - 2*l - 2*l = -14, -4*q - 27 = h*l. Let j be 2/q + (-14)/(-6). Solve -2*z + 4 = -3*b, 4*z - 6 = 3*b + j*b for z.
-1
Let d = -35 + 24. Let o = d - -17. Solve 4*c + o = -2*b, 5*b + c - 17 = -c for b.
5
Let b = 25 + -27. Let u be 2/b*(-8)/1. Solve -v = -4*k + k + 15, 4*v + 5*k = u for v.
-3
Let b(v) = v**3 + 5*v**2 - 5*v + 8. Let k be b(-6). Suppose 0*t = -f - t + 12, -15 = -f - k*t. Let x = f - 6. Solve 3 = -2*n + x*u, 3*u = 3*n - 0*u for n.
3
Let l(t) = t**3 - 20*t**2 + 19*t + 7. Let y be l(19). Suppose 2*o - y*o + n + 152 = 0, 4*o + 4*n - 112 = 0. Solve 2*k + 5*r - 22 = r, 5*r = -3*k + o for k.
5
Let i(t) = 7*t - 129. Let a be i(19). Solve h = 2*c - c - a, -c = -5*h - 12 for h.
-2
Suppose -3*d + 19 - 13 = -3*k, -5*k - 4*d + 26 = 0. Solve 5*y - k*f = 5, -4*y + 5*f + 20 = y for y.
-1
Suppose 5*w - 14 = -4. Let u(l) = 25*l - 218. Let h be u(9). Let k be h +