 Let n be c(3). Solve 5*z - n = 4 for z.
1
Suppose 17 = z + 24. Let r(w) = w + 7. Let q be r(z). Solve -3*k - k + 16 = q for k.
4
Let n = 89 - 89. Suppose n*b = -b + 2. Solve b*v = 3*v - 2 for v.
2
Let n be (1/2)/(2/(-156) - 0). Let h = n + 48. Solve -h*v + 13*v = 0 for v.
0
Let k = 12 + -6. Let z = 5 + -9. Let d = z + k. Solve 2*y = -d*y for y.
0
Suppose -5*q = -25, 4*i - i - q = -5. Solve -5*x + 5 = -i*x for x.
1
Suppose -4*l - 5 = -5*l. Let w(i) = -5*i**2 - 59*i**3 + 31*i**3 - 2*i + 29*i**3 + 10. Let z be w(l). Solve z = 4*d + 2 - 14 for d.
3
Let b = -175 + 326. Let n = b + -145. Suppose 0 = -5*s + 2*i + 9, -2*s + 3*i + 9 = 1. Solve n = -5*f + s for f.
-1
Suppose -89*g = -471 - 419. Let b(s) = -10*s**3 - 2*s**2 - s. Let o be b(-1). Let f = o - 6. Solve g = -f*h + 4 for h.
-2
Let v be (-1)/(-3*(-4)/12). Let u(r) = -5*r**3 + 2*r**2 + r. Let s be u(v). Suppose -s*b = -5*b + 4*x - 28, -b = -x - 3. Solve 4*l + b = -0*l for l.
-2
Let q(s) = -3*s**3 + 6*s**2 - 3*s + 6. Let t(y) = 2*y**3 - 6*y**2 + 4*y - 5. Let c(w) = -3*q(w) - 4*t(w). Let m be c(-7). Solve a - m = -3 for a.
-1
Let v be 4/10 - (17/5 + -4). Let q be (-5)/3 + (-2)/6. Let p be ((-8)/(q - 2))/v. Solve -p*d + 1 = -d for d.
1
Suppose -2*d = 3*h + 61, 0 = -4*h + 2*h + 2*d - 54. Let n = h - -33. Suppose 6*a + n = 11*a. Solve -10 = -3*z - a*z for z.
2
Let q(u) = -u**3 + 4*u**2 - 2*u + 11. Let m be q(4). Suppose w - 2*w = -m*v + 4, -2*v + 4 = 0. Solve 3 = w*j + 1 for j.
1
Let r = 826 + -821. Let o be (-1)/(2*(-3)/12). Solve -o*s - 9 = -r*s for s.
3
Suppose -7*r - 10*r = -11*r. Solve r = -10*m + 5*m - 20 for m.
-4
Suppose 5*g + 10 = 0, -h - 4*h = 5*g - 40. Suppose 11*r - h = 6*r. Solve -r*t - 3*t = 10 for t.
-2
Suppose 4*c = 5*c + 3. Let f = 0 - 2. Let x be (c - -3) + f + 2. Solve x = -5*u - 0*u - 10 for u.
-2
Suppose s - 1 = -0*s. Suppose -2*g + 3*c + 4 = c, -4*c = -g - s. Solve i + 4 = g*i for i.
2
Let l = 2152 - 2116. Solve -33*i + l = -24*i for i.
4
Let y be (8/(-6))/((-2)/6). Suppose -s = -5*s + 32. Let w = s - y. Solve 4*i - w + 20 = 0 for i.
-4
Let l(i) = -11*i + 102. Let k be l(8). Solve d + 13 = k*d for d.
1
Let n be -104*((-165)/(-22))/(-15). Solve 23*w - 10*w - n = 0 for w.
4
Let n(r) = -5*r**2 + 12*r**2 - 2*r**2 - 2 - 2*r**2 - 4*r. Let b be n(2). Solve b*p - 4 + 0 = 0 for p.
2
Let i be 277 - (4 - 1)/(-1). Let k be (-3)/2*i/(-42). Solve 6*g = g + k for g.
2
Let c be ((-120)/330)/(3/(-33)). Solve -c*i - 20 = i for i.
-4
Suppose 0 = -4*c - 2*i + 18, -c + 3*i + 0*i - 13 = 0. Let g be (2 + 1)*5/5. Suppose 37 - 7 = g*r. Solve -r = c*b - 0*b for b.
-5
Let x be (2 - 4)/((-2)/(-3)). Let g be 1/(((-1)/4)/(x + 2)). Solve -10 = s + g*s for s.
-2
Suppose 0 = -2*u - 0*u. Let l(q) = -4*q**2 - 9*q + 15. Let f(c) = -3*c**2 - 10*c + 17. Let g(a) = 5*f(a) - 4*l(a). Let z be g(13). Solve -3*b - z = -u*b for b.
-4
Let w be 0/1 + -1 + 4. Suppose -160 = -4*z - 144. Solve f - w = -z for f.
-1
Let x(f) = f**3 - 7*f**2 - 7*f - 2. Let l be 5/3*(-156)/(-130). Suppose 4*d - t - 28 = 0, -l*t - 16 = d - 4*d. Let b be x(d). Solve 6 = 3*s - b for s.
4
Let p(o) = -4*o - 4 + 6*o - 7*o + o**2. Let b be p(6). Solve -y = b + 2 for y.
-4
Let j(d) = d**2 - 17*d + 4. Let w be j(0). Solve 0*i = -w*i for i.
0
Let a(t) = -t**3 - 14*t**2 + 6. Let c be a(-14). Solve -2*m - c*m + 24 = 0 for m.
3
Let o(d) = 48*d - 133. Let k be o(3). Solve -45 = 17*t - k for t.
-2
Let l = 9 + -7. Solve 0 = -l*o - 0 + 6 for o.
3
Suppose 7*b = -3*u + 2*b - 12, 5*u + 20 = b. Let s(o) = 4*o**2 + 14*o - 5. Let q be s(u). Solve 2*t + q = -5 for t.
-4
Suppose 1 = 2*o - 0*i + 3*i, -4*o + 3 = 5*i. Suppose 1506*c = 1509*c. Let u be (-4)/(-2) - (0 - -1). Solve c = -o*j - u - 1 for j.
-1
Let q(k) = -7*k + 1. Let z be q(-11). Let i = -71 + z. Solve -20 = -i*y + 3*y for y.
5
Suppose 0 = 5*p + 3*d, p + 0*d = 2*d. Let a = p - 2. Let v be (-1)/a*4 - 1. Solve v = l - 2 for l.
3
Suppose -5*c + 64 = -2*y, 5*y + 114 = -3*c - 108. Let w = y - -47. Solve -19 = w*j - 4 for j.
-3
Let q be (-36)/(-90) - (1 + 96/(-10)). Solve q*f - 14 = 2*f for f.
2
Suppose -3*y - 2*y = 5*p + 100, 0 = -3*y + 4*p - 88. Let i be -40*(-4)/y*-3. Let m = i + -9. Solve 0 = -4*j - m - 9 for j.
-5
Let r = -1296 + 1317. Solve 6*x - 3 = -r for x.
-3
Suppose -7*r + 4*r + 141 = 0. Let q be 5/((-45)/2) + r/9. Solve 0 = 7*v - 8*v - q for v.
-5
Suppose 4*d + 6*l - l - 13 = 0, -3*d + 3*l = -30. Suppose d*y = 2 + 12. Suppose y*h - 3 = 1. Solve -k = -h*k for k.
0
Let o be (6/4)/(6/52). Solve -o*q = q for q.
0
Let t be (-3 - (-2 - 1)) + 4/2. Let h be (3 - 0)/((-6)/(-4)) + t. Solve 10 = -h*a + 6 for a.
-1
Let l = 133 - 133. Solve l = -v + 1 - 2 for v.
-1
Let j(l) be the first derivative of l**3/3 + 4*l**2 - 16*l + 15. Let d be j(-10). Solve -2 = -2*v + d for v.
3
Let c be (-10 - -9)*(-1 - 2). Solve -2*b + c = b for b.
1
Let d be (35/(-14))/((-1)/2). Suppose d*f - f = 8. Solve 1 = -f*u - 3 for u.
-2
Let r(t) = t**3 + 2*t + 3. Let k be r(0). Suppose 3*l + 0*x = 4*x + 5, -3*l + 5*x + 4 = 0. Suppose 5*g = 4*q - 0 + k, 4*g - 3*q = l. Solve i + 2 + g = 0 for i.
-5
Suppose z + 65 = 2*z. Suppose -20 + z = -5*a. Let l(y) = -y**2 - 11*y - 11. Let o be l(a). Solve 5 = -o*g + 2*g for g.
-1
Let n = 0 - -3. Let o = -176 + 177. Suppose -o = -n*p + 23. Solve 8 = p*b - 4*b for b.
2
Suppose -3*h + 1 = 2*o, 2*o - 8*h + 3*h = 9. Solve 3*z - o = 1 for z.
1
Let o = -694 - -697. Solve 3*g = -o*g for g.
0
Let i(d) = d**2 - 15*d + 18. Let o be i(10). Let u be 1 + 15/(-12) + (-104)/o. Solve -4*v - u = -v for v.
-1
Let i = -7 - -20. Suppose -2*t = 2*p + 1 + 1, 6 = -4*p - 3*t. Let j be 21/9*p/(-1). Solve -i = -4*u + j for u.
5
Let r be (-1 + -5*1)*(-2464)/264. Solve -47 = -3*i - r for i.
-3
Let x(o) = o**3 - 7*o**2 - 31*o + 198. Let i be x(8). Solve -8*a - 54 = -i for a.
-5
Suppose -4*o = 16, 5*n - o + 6*o = 120. Let c = n - 19. Solve -s = 2*s + c for s.
-3
Let r = 21 - 11. Let u = 86 - 54. Suppose 5*a - 5 = 2*t - 0*t, u = 4*t + 4*a. Solve 0*f = t*f - r for f.
2
Let l(r) = -r**2 + 4*r + 4. Let x be l(4). Let n = 140 - 137. Solve -x*t - n - 17 = 0 for t.
-5
Suppose -5*d - 2*d = 42. Let p be (6/9)/2 - (-2)/d. Solve 0 = -p*y - 2*y + 10 for y.
5
Let j(r) = 2*r**2 - 3*r. Let c(s) = s**3 + 7*s**2 + 3*s - 8. Let m be c(-6). Suppose 3*p - 10 = a, 4*p - m = 2*a + a. Let u be j(p). Solve -4*h - h = u for h.
-4
Let j be -2 + (-16)/(-2 - 2). Suppose -j*k = k - 30. Suppose n - 2 = -i - 3*i, 5*n = -5*i + k. Solve l = -i*l + 4 for l.
4
Let f be (-1)/(-4) - (-7)/4. Suppose -8*h + 518 = -122. Let c = h - 74. Solve -12 = f*b - c*b for b.
3
Suppose -130*l + 124*l = -180. Solve -4*u + l = -10*u for u.
-5
Let d be (30/(-8))/(26/(-104)). Let g = 34 - 26. Solve 0 = g*u - 3*u + d for u.
-3
Suppose -4*c + 3 = 2*t + 5, -2*t + 5*c = 11. Let d be (-6)/(-3) - 5 - t. Solve k + 0 - 3 = d for k.
3
Suppose -4*a + 2*z + 12 = 0, 7*z = -3*a + 5*z + 16. Let n be (3/a)/(3/12). Let k(c) = -2*c - 1. Let y be k(-1). Solve -4 = n*h - y for h.
-1
Suppose 4*n - 7*n = 0. Suppose n = -9*t + 8 + 1. Solve 4 = -b + t for b.
-3
Let m(p) = -p**2 + 6*p + 9. Let i be m(7). Let j = 118 + -115. Suppose j*g = -4*g + 14. Solve 0 = g*l + i*l for l.
0
Let j = 17 - 15. Let a(k) = -k**2 - 6*k - 2 + 18*k - 4. Let g be a(11). Solve -g = -j*w - 15 for w.
-5
Let n = -4 - -7. Suppose 43 = -4*t + l, 32 = -3*t - 0*l + l. Let d be t/(-7) - (36/28)/(-3). Solve -d = -n*h + h for h.
1
Suppose -12*l = -15*l + 207. Suppose 3*i = -3*p + 39, 5*i = -5*p + i + l. Solve -5*f + 3 = -p for f.
4
Let t be (-8)/48*0/(-2). Solve t = r + 3 - 0 for r.
-3
Let f = 3233 - 3176. Solve f - 30 = 9*b for b.
3
Suppose 40*q - 31 = 39*q + 5*b, -3*q = -2*b - 28. Solve q*z - 9 = 9*z for z.
-3
Suppose 0 = -22*v + 24*v - 14. Let q be (0 - -3)*1/3. Solve -v*c - q = -6*c for c.
-1
Let u be 6/(-10) - (-247)/95. Solve -u*j = -3 + 1 for j.
1
Let r(d) = -d**2 - 4*d - 2. Let x be r(-6). Let z(p) = p**3 + 14*p**2 + p + 15. Let o be z(x). Let v be (1 + -1)/(1 + o). Solve v = -m + 3*m for m.
0
Let p = -2682 + 2693. Solve p = 2*m + 1 for m.
5
Let o = -447 - -448. Solve -9*w + 46 = o for w.
5
Let s(g) = -9*g**2 - 9*g - 14. Let o(t) = -5*t**2 - 4*t + 0 - 5 - 2. Let f(i) = -11*o(i) + 6*s(i). Let n be f(11). Solve -4*c = -6*c + n for c.
2
Suppose -j + 273 = 4*v, v - 4*j = -7*j + 82. Solve -68*d = -v*d for d.
0
Suppose -j = 3*j - 12. Suppose -n