 p be (-1)/((-1)/18*-3). Let b be 2/(-12)*4*p. Solve 0 = 2*g - 0 + b for g.
-2
Suppose p + 36 = 2*p. Let c = p + -33. Solve h = -c*h for h.
0
Suppose -2*r - 5*b + 68 = 0, 0 = -r - 3*b + 8*b + 4. Solve -12*p + 24 + r = 0 for p.
4
Let z(k) = -10*k**3 + 9*k**2 + 7*k**2 + 11*k**3 + 8. Let u be z(-16). Suppose u*t - v = 3*t + 10, 6 = 3*t + 2*v. Solve -5 = f - t*f for f.
5
Let h be (5 + -2 - 0)*2/6. Let k be ((3 + -3)/1)/h. Let t(m) = m**2 - 4*m + 2. Let r be t(4). Solve k = r*v - 3 - 5 for v.
4
Let w = -195 - -199. Solve -w = 5*i + 11 for i.
-3
Let u(w) = w**3 - 23*w**2 + 22*w + 1. Let q be u(22). Suppose -2*g - g + 21 = 0. Solve 2*p - q = -g for p.
-3
Let o = 419 + -394. Solve -42*c + o = -37*c for c.
5
Suppose 2*n - 258 + 36 = 4*x, 2*n + 63 = -x. Let f = -45 - x. Solve 0 = 2*t + t + f for t.
-4
Suppose 0 = -13*v + 14*v - 45. Solve v = -15*x - 15 for x.
-4
Suppose -67*f + 136*f = 0. Solve f = -13*v - 0 + 26 for v.
2
Let h = 18 - 18. Suppose 6*k + 72 + 42 = h. Let s = 23 + k. Solve d = s*d for d.
0
Let s be (1 - 8) + 56 + 6. Solve 0 = -12*x + x + s for x.
5
Let t be (-21)/(-2)*((11 - 9) + 0). Solve 4*c - 5 = -t for c.
-4
Let k be -33*5/(30/(-4)). Let y = 287 - 303. Let f = y + k. Solve h = -h - f for h.
-3
Let k = 400 + -400. Solve k*v = -4*v - 4 for v.
-1
Suppose -3*w - 41 = -50. Suppose -4*a + 17 = -3*h, -h = w*h + 12. Solve -a*d = -5 - 3 for d.
4
Suppose 4*l = -4*l + 8. Let o be (-15 + 13)/(l/(-4) - 0). Solve -o*b - 5 = -3*b for b.
-1
Let y(s) = -s**3 + 34*s**2 + 117*s - 217. Let f be y(37). Let g = 8 + -5. Solve g = -f*t - 17 for t.
-4
Let l(w) = -w + 3. Suppose -b + 3*b - 10 = 2*a, 5*a + 18 = -2*b. Let o be l(b). Solve -4*x = -o*x + 10 for x.
-5
Let a = 588 + -568. Solve 16*j = a*j - 20 for j.
5
Let g(r) = r**2 + 20*r - 40. Let w be g(-22). Solve l + w = 6 for l.
2
Suppose y = 3*f - 12, 8 = 2*f - 2*y - 2*y. Suppose d - 8 = -4*m - 0*m, -f*m - 24 = -3*d. Solve -3*a = -5*a + d for a.
4
Let t(k) = k**2 - 20*k - 44. Let i be t(22). Solve -a + i = 3 for a.
-3
Suppose -4*v = -2*n + 52, -60 = -6*n + 3*n - 3*v. Solve 0 = 11*u + n for u.
-2
Let f(n) = -n**3 - n**2 + n + 8. Let s be f(0). Suppose 0 = -2*t - s, 3*t = -2*m + 2*t. Let r be (-4)/(-10)*(3 - -47). Solve m*g = -2*g - r for g.
-5
Let n = 4 + -1. Suppose -n*i + 4 - 1 = t, 15 = 5*t + 4*i. Solve -t*v + 9 = -0 for v.
3
Let q(p) = p**2 - 6*p + 7. Let c be q(7). Suppose -4*r + 48 = 4. Let w = c - r. Solve w + 9 = 3*h for h.
4
Let x(v) = -v + 6. Let c be x(2). Suppose -c*s + 3 + 13 = 0. Solve -s*t + 1 + 3 = 0 for t.
1
Let g be (-56)/168 - -2*2/12. Solve g*z = -3*z - 3 for z.
-1
Suppose -17 = -3*v - 2*q, -v - 3*q = -22 + 14. Solve -14 + v = 3*g for g.
-3
Let m be (6/5)/(2/20). Let a = 10 - 10. Suppose a*r = 3*r - 9. Solve -r*g - g - m = 0 for g.
-3
Suppose -2*y = -g + 2, -8 = 16*g - 20*g. Solve 18*z - 10*z + 40 = y for z.
-5
Let r(z) = -z**2 - 8*z - 11. Let l be r(-4). Solve -f + 30 = l*f for f.
5
Suppose -2*w = 2*s - 4, -3*s - 4*w + 6 = -9*w. Suppose h - 1 = 22. Solve -h = 5*g + s for g.
-5
Suppose 4*i + 2*n - 12 = 2*i, 42 = 4*i - 5*n. Solve 3*t = -t - i for t.
-2
Let l(g) = -7*g**2 + 27*g + 39. Let c(d) = -4*d**2 + 14*d + 19. Let w(j) = 5*c(j) - 3*l(j). Let p be w(13). Solve -p + 24 = -4*x for x.
-5
Let y(h) = h**2 + 29*h - 55. Let d be y(-31). Solve d*q = -2*q - 18 for q.
-2
Suppose -59 = 5*h + 36. Let b = h + 22. Let t = -16 + 16. Solve t*w + b = w for w.
3
Let u(b) = 10*b - 405. Let w be u(41). Solve m - 16 = w*m for m.
-4
Let o = -138 - -144. Suppose -4*z + 10 = -5*a + o, -4*z + a + 20 = 0. Suppose f - 2 = y - 9, -2*f = 2. Solve -3*k + y = -z for k.
4
Suppose 0 = 53*x - 57*x + 12. Solve 9 - 3 = x*a for a.
2
Let r(i) = i**3 + 5*i**2 + i - 9. Let z be r(-4). Suppose 4*q = 3*t + 15, -z*q + 7*q + 2*t - 10 = 0. Solve 0*x + q*x + 6 = 0 for x.
-2
Let a be -3 + 2/(2/11). Suppose -3*p = 88 + a. Let d = -30 - p. Solve -2*k + 8 = d*k for k.
2
Suppose 5*q = -0 + 10. Suppose -p + 21 = 5*h, 2*h - 7*h + 42 = q*p. Solve p = -4*s + 9 for s.
-3
Suppose -4*j + j + 38 = -5*i, 17 = -3*i - 4*j. Let w be (i + 3 - -4) + 1. Solve -2 = 3*q + w for q.
-1
Let j(i) = -i + 14*i**2 + 2*i - 21 - 3*i**3 + 2*i**3 + i. Let o be j(14). Solve 3 - o = -h for h.
4
Suppose 14*a + 6 = -4*y + 17*a, -3*y + 3*a - 6 = 0. Solve 12*x + 9 + 51 = y for x.
-5
Let g = 692 - 682. Solve 0 = -6*d + g*d + 4 for d.
-1
Suppose 7*k - 5*k + 6 = -2*p, -5*k + 15 = -p. Let d be k + (3 - 1)/2. Solve 0 = -5*i + d*i for i.
0
Let y(b) = 4*b + 6. Let u(c) = 5*c + 6. Suppose 2 = t - 3. Let d(r) = t*u(r) - 6*y(r). Let s be d(12). Solve 3*p = -0 + s for p.
2
Suppose -20 = p + 2*k, 6*p + 4*k = 2*p - 96. Let b = -19 - p. Let g = 21 - b. Solve -4*j - g = -4 for j.
-2
Suppose j + 5*y - 1 = -29, -3*y = -j - 68. Let b = j + 54. Solve 2*k = 3*k - b for k.
1
Let u = 159 - 152. Solve u*c = 5*c for c.
0
Let s(d) = d**3 - d**2 - 5*d + 2. Let l be s(3). Suppose 0*o = -o + l. Suppose o*c = -2*a, 0 = -2*a + a. Solve -p - 2 + 3 = c for p.
1
Let j = 49 + -93. Suppose 0 = 2*w + 3*w + 320. Let z = j - w. Solve z = 3*c + 2*c for c.
4
Let x be -1 + 16/(-6)*162/(-36). Solve 4*p = 5 + x for p.
4
Suppose 4*r = 4*w, -3*r + 14 = -0*w + 4*w. Suppose w*a - 6 = 4*a. Let c be 7 + a/(-2 + -1). Solve 0 = -2*j - 2*j - c for j.
-2
Suppose 2*u - 2*f = 0, 2*u - 30 = -3*f - f. Suppose 5*g - u*m + 3 - 8 = 0, -7 = -g - 2*m. Solve -b - 1 = g for b.
-4
Let s(f) = -f**2 - 7*f + 8. Let g be s(-7). Suppose -6*v = -g*v + 16. Suppose 3*t = v*t. Solve o + t = -2 for o.
-2
Suppose 3*c = j + 2 + 4, 3*j - 21 = -4*c. Suppose 0 = c*d - 33 + 33. Solve d = -3*z + 5*z for z.
0
Let d be (8 - 0) + (-406)/203. Solve d*j = 10*j - 12*j for j.
0
Let y(d) = 2*d**2 - 2*d + 2. Let z be y(1). Suppose -n + 7 = -4*k, 3 - z = 2*n + 5*k. Solve n*r = -2 - 1 for r.
-1
Suppose -3*z + 4*d + 56 = 0, -2*z + 2*d - 6*d + 24 = 0. Suppose 15*k - z = 19*k. Let u be k + (-6)/(-2) + 3. Solve u*x + 5 = 15 for x.
5
Let s = 15 + -18. Let w be 8/3 - s/9. Solve 0 = -z + w*z + 10 for z.
-5
Let f(g) = -g**3 + 10*g**2 - 17*g - 17. Let b be f(7). Solve 36 = -w - b*w for w.
-3
Suppose 5*g = -2*q + 1, 7*q - 17 = 3*q + 5*g. Suppose -1 + 3 = 5*o - 2*y, 0 = -5*o + 4*y + 4. Solve -3*s - 15 + q = o for s.
-4
Let y(h) = 3*h - 4. Let k(v) = 5*v - 8. Let z(l) = -4*k(l) + 7*y(l). Let d be z(-2). Solve 3*t - 7 = d for t.
3
Let c be (-1 - 4)*(-2)/(0 - 2). Let r be 0/((c + 6)/((-1)/2)). Suppose -5*z + 9 = -2*z. Solve -z*h + 1 + 2 = r for h.
1
Let o(s) be the second derivative of -s**3/6 + 7*s**2/2 - 5*s. Let k be o(8). Let h be (k + 8)*(-4)/(-7). Solve 0 = -h*d + d - 3 for d.
-1
Let v = -15 + 16. Let a be (0/(0 + 4))/v. Solve 0*j + 4*j - 20 = a for j.
5
Let p be 3/1 - (6 + -8). Suppose 0 = 5*v - r + 4, 4*r = -2*v + p*r - 1. Let z be v/(-4) + (-35)/(-20). Solve d - 5 = z*d for d.
-5
Let o(x) = -3*x + 2*x**2 + 0*x**2 - 2*x - 2 + 3*x. Let c(j) = -j. Let s be c(-2). Let q be o(s). Solve -3 = k - q for k.
-1
Let t(d) = -d**3 + 11*d**2 - 11*d - 51. Let w be t(8). Solve 18 = 7*o + w for o.
-5
Let p(o) be the second derivative of o**5/20 + 5*o**4/12 + o**3/6 + 4*o**2 + 7*o. Let t be p(-5). Solve -t + 1 = s for s.
-2
Suppose -2*a = -3*r + 10, r + 3*a = 39 - 32. Solve r*x - 20 = -0 for x.
5
Suppose -5*d + 12 = -2*d. Let j be 4/(-10)*(-3 - 2). Solve -j = -l - d for l.
-2
Suppose 2*f = 2*b - 4, 3 = 4*f + 2*b - 1. Let v be ((-3)/(-6) + f)*0. Solve v = 3*y - 2*y for y.
0
Let p(w) = w + 13. Let k be p(-10). Solve 0 = -s - 2 - k for s.
-5
Let c be -1 + (-25 - -3 - -2). Let g be (-174)/c + 8/(-28). Suppose -2*y + k + 32 + g = 0, -100 = -5*y + 2*k. Solve -f = 3*f - y for f.
5
Let u = -37 - -42. Suppose -v - 4*w - 3 = 1, 3*v = u*w + 22. Solve 2*p - v*p - 4 = 0 for p.
-2
Let b be ((-8)/36)/((-10)/90). Solve -b*i = 20 - 14 for i.
-3
Suppose 29*q = -5 + 34. Solve -19 = 4*d + q for d.
-5
Let y be ((-20)/2)/(1/1*-1). Let q = -9 - -1. Let p be (-20)/q*(-12)/(-10). Solve 0 = -p*b + b + y for b.
5
Suppose -8*c = -5*t - 10*c + 8, -4*c + 2 = 3*t. Solve 8 = 5*f - t for f.
2
Let t(d) = 2*d**2 + 0*d**2 + 11*d - 22*d + 1. Let p be t(6). Solve 4*l - 19 = -p for l.
3
Let x be (-6)/15 - 388/(-20). Suppose 5*w - x = 1. Let g(q) = q**2 - 3*q + 1. Let u be g(w). Solve -u*s = 27 - 2 for s.
-5
Let s = 815 + -812. Solve s*o = -23 + 38 for o.
5
Let z(w) = -5 - 4*w + 8*w - 3*w. Let n be z(6). Let u be (-3 