pose -5*i = -13 + 3. Solve -3*j - i - 1 = 0 for j.
-1
Suppose 0 = 4*x + 5*v - 56, 3*x - 3*v + 3 = 2*x. Let q = -6 + x. Solve -q*z = -5*z + 10 for z.
5
Suppose 4*c - 18 - 22 = 0. Solve b = -b - c for b.
-5
Let v = -3 + 5. Solve -v*k = k for k.
0
Let c(q) = q. Let x(b) = b + 1. Let n(r) = 4*c(r) - x(r). Let i be n(1). Solve -i - 3 = a for a.
-5
Let a be 9/4 - (-7)/(-28). Let u = a + -5. Let t = u + 5. Solve 0 = t*y - 4*y - 10 for y.
-5
Let l = 51 - 51. Solve 0 = -l*m - 2*m - 4 for m.
-2
Suppose -3*f - 12 = -2*k, k + 3*k + 2*f = 8. Suppose 2*y = k*y. Solve y - 16 = -4*p for p.
4
Suppose w + 0*w - 2 = 0. Suppose i - 6 = -w. Let q be (0 - -1)/1 - -2. Solve c - i*c = q for c.
-1
Suppose h - j = 4, -2*h - 2*h = 3*j - 2. Let n be (-3 - 1)*(-4)/h. Let b be (-2 - 0)*(-20)/n. Solve 0*o = -b*o + 20 for o.
4
Let l(v) = -v**2 + 8*v + 15. Let y be l(8). Solve -r = -6*r - y for r.
-3
Suppose 4*o + 13 + 23 = 0. Let s = 11 + o. Solve s*p + 2*p = 16 for p.
4
Let y = 0 - -2. Let q = -2 + y. Let u = 3 - -1. Solve q*d = -d - u for d.
-4
Suppose 4*g + 5*o - 4 - 1 = 0, -3*o + 11 = 4*g. Suppose -4*q + g*p + 58 = 3*p, 5*q - 89 = -3*p. Solve -q = 7*z - 3*z for z.
-4
Let g(h) = -2*h**3 + 9*h**2 - 3*h - 2. Let t be g(4). Solve t*n = 6*n for n.
0
Let o(l) = -l + 3. Let v be o(0). Let y(b) = -b**2 + 5*b + 2. Let h be y(5). Solve -v = -h*w - w for w.
1
Let g be -1 + 1 - (-1 - 1). Suppose 4 = 2*r, -7*r - g = -i - 3*r. Let h be 16/i + (-6)/(-15). Solve 0*u = -h*u + 8 for u.
4
Let o(a) = -a**2 - 10*a + 3. Let j be o(-10). Suppose 98 = 5*y + 2*s, j*s + 105 = 5*y - 2*s. Solve -2*c + y = 3*c for c.
4
Suppose -w - 2 + 7 = 0. Let p(f) = 2*f - 7. Let v be p(w). Solve 4 = -v*t - 5 for t.
-3
Let m(b) = -3*b - 1. Let x be 6/(-27) - (-29)/9. Let d be 1 - (x - -1) - 0. Let j be m(d). Solve j = -2*s + 4 for s.
-2
Let j be ((-4)/(-5))/(6/15). Suppose -j*c = 2*a - 8, -7*c + 3*c = 0. Suppose 0 = a*u - 0*u. Solve u = 3*g + g for g.
0
Let o = -19 - -19. Let q be (-1 - -1)/(-2 - o). Let j = -11 + 16. Solve j*a + 0 - 10 = q for a.
2
Let p be (4 + -5)/(1/(-3)). Suppose 2*h + 1 - 13 = -4*r, -p*r = -2*h - 2. Suppose -5*y - r*f + 27 = 0, 2*y - 16 = -4*f - 2. Solve y*i = 5 + 5 for i.
2
Let g = -11 - -20. Solve -3*i + 0*i = -g for i.
3
Suppose -7 = -3*w + 8. Solve m + w = -0*m for m.
-5
Let c(b) = -b**2 - 5*b - 3. Let o be c(-2). Solve -2*i = -i - o for i.
3
Let l = 20 + -17. Solve u - 20 = -l*u for u.
5
Suppose -5*r + 3*c + 25 = -2*c, -25 = -3*r + c. Let x = -3 - -16. Let z = x - 8. Solve 10 = z*u - r*u for u.
-2
Let d(r) = -r + 6. Suppose -2*z + 2*a - 5*a = -24, -3*a + 42 = 5*z. Let m be d(z). Solve m = -h + 5*h + 12 for h.
-3
Let n(u) = -u**2 - 6*u + 5. Let z be n(-5). Let f = -6 + z. Solve f*l = -l - 15 for l.
-3
Let q(m) = m**2 + 3*m - 3. Let s be q(-4). Let t = 2 - s. Solve 0 = 2*i - t - 7 for i.
4
Let y = 9 + -3. Let d = y + -6. Solve 4*t + 0 - 4 = d for t.
1
Suppose 4*l + l = 0. Let p be 2/(-3) + 22/6. Solve l - p = -i for i.
3
Let k = -47 - -49. Solve 3*z - 1 = k*z for z.
1
Let r = 593 + -568. Let o = 8 + -4. Let l be (-6)/o*(-8)/6. Solve -r = 7*g - l*g for g.
-5
Let w = 29 + -23. Suppose 2*g - 12 = w. Solve 5*q = 2*q + g for q.
3
Suppose 3*z - 2 = 2*f, -2*z + 5*z + 8 = 4*f. Solve -4 = -x - f for x.
-1
Suppose -3*d - v + 2 = -3, -5*d = v - 9. Suppose -4*j - 18 = -66. Suppose d*z + 2*z = j. Solve z*l = -2 - 1 for l.
-1
Let r be (-2)/6*-6*2. Solve r - 1 = -q for q.
-3
Let s(k) = -k**3 + 6*k**2 + 8*k - 4. Let v be s(7). Solve -2 = v*u + 1 for u.
-1
Suppose 17*z = 12*z + 35. Solve 4*h = 1 + z for h.
2
Suppose 0 = j - 2 - 3. Solve 2 = -j*p - 13 for p.
-3
Suppose -8*v + 8 + 8 = 0. Solve 0 = -4*q + v*q + 4 for q.
2
Let m = 73 + -73. Solve -8 = -4*j - m for j.
2
Let b be 3/((-18)/16)*3. Let w(p) = -p - 4. Let u be w(b). Suppose -2*c + u + 4 = 0. Solve -5*g + 4*g = c for g.
-4
Suppose 5*y + 0 = 60. Let c(i) = -3*i**3 + 1. Let g be c(-1). Solve -g*r = -0*r + y for r.
-3
Let y be (-6)/5*20/(-6). Let z = y + -5. Let b be 5/(-10)*2/z. Solve -l = 1 + b for l.
-2
Let u = -1 - -2. Solve 0 = 5*r + u - 6 for r.
1
Let i = 4 + 2. Let t(s) = 2*s**2 + 3*s + 1. Let h be t(-2). Let m be 0/(h/6*-2). Solve m = -4*v + i*v for v.
0
Let w = -5 + 5. Suppose w = -3*s + 7*s - 5*n - 12, -9 = -3*s + 4*n. Solve s*i + 3 = 12 for i.
3
Let m(v) = -26*v**2 + 5*v + 2*v + 29*v**2. Let x be m(-3). Solve -x*k = -3*k + 9 for k.
-3
Let b(h) = -h**2 - 9*h + 12. Suppose 4*k + 6 = -3*x - 24, x + 10 = -2*k. Let d be b(x). Solve 5 = -3*l - d*l for l.
-1
Let j(q) = -q - 14. Let h be j(-19). Solve 6 = h*v - 14 for v.
4
Suppose -3*x + 4 = -u - 3, 3*x - 1 = -5*u. Let d be x/7 - 8/28. Solve d*b + 4*b - 16 = 0 for b.
4
Let n be (-152)/12*(-4 + 1). Suppose n = 3*k - 7. Let o = -8 + k. Solve -16 = -o*q + 3*q for q.
4
Suppose -37*g + 30 = -32*g. Solve 16 = -g*m + 2*m for m.
-4
Suppose -4 = -3*z + 2. Suppose -3*j - 5 = 10, z*u + 4*j = 12. Solve 0*v = 4*v + u for v.
-4
Let q(y) = y**2 - 4*y - 19. Let p be q(8). Solve 5*l + p - 38 = 0 for l.
5
Let t be (25 - 2) + 3 + -2. Suppose b + 2*b - t = 0. Let s = b + -4. Solve -3 = d - s for d.
1
Let r be (-22)/3*(-9)/6. Let a be (4/(-6))/((-8)/12). Solve -3*s - a = r for s.
-4
Let z = -9 - -10. Let d be (z/(-3))/((-2)/54). Solve -5*h - 6 = d for h.
-3
Suppose -9 = c + 2*c, -5 = 2*d + 3*c. Let t(p) = 2*p - 2. Let m be t(1). Solve m = d*f + f for f.
0
Let t(n) = -n**2 - 7*n + 3. Let v be t(-7). Suppose v*s + 0*p - 5*p - 19 = 0, -5*s + 3*p + 37 = 0. Let f be s/3*6/4. Solve 7 = f*j - 5 for j.
3
Let x(q) = -q**2 + 12*q - 4. Let d be x(11). Solve -4 = d*t - 9*t for t.
2
Let w be (-9)/6*(-2 + 0). Solve -w*u = u for u.
0
Let s(n) = -2*n + 6. Let j be s(5). Let z(v) = v**3 + 3*v**2 - 6*v - 4. Let m be z(j). Let y be ((-2)/m)/((-9)/360). Solve y = 4*d - 0*d for d.
5
Suppose 4*i + 7 = 19. Let s(c) be the first derivative of -c**2/2 + 12*c - 3. Let r be s(0). Solve i*f + r = -f for f.
-3
Suppose -4*y - y = 0. Solve 4*s - s = y for s.
0
Let l(a) = 4*a - 32. Let f be l(8). Solve 5*u + 0 + 25 = f for u.
-5
Let x(b) = b - 4. Suppose -5*u + 34 = 14. Let g be x(u). Solve g = -2*t - 4 for t.
-2
Let s(d) be the second derivative of -2*d**3/3 - 13*d**2/2 + d. Let y be s(-9). Suppose 3*k = p - 6*p, -p = -4*k - y. Solve 0*f + p = f for f.
3
Let x be (-1 - 0)/(2/(-10)). Let z = 5 - x. Solve z = -5*w + w - 8 for w.
-2
Let i(l) = -l**2 + l - 1. Let d(g) = -3*g**2 + 7*g - 6. Let c(u) = -d(u) + 2*i(u). Let o = 8 - 4. Let n be c(o). Solve n = -2*s + 3 - 7 for s.
-2
Suppose 7*c - 10 = 2*c. Solve -3*j - c*j = 5 for j.
-1
Let k(b) = -b**2 - 6*b. Let a be k(-6). Let h = 0 - -15. Suppose 3*g + 5 = -c, 6*g + 3*c = 2*g - h. Solve a = -4*s - g*s - 8 for s.
-2
Suppose 0*v = q + v + 1, -5*q = -5*v + 25. Let o(y) be the third derivative of y**5/60 + y**4/6 + y**3/2 + 3*y**2. Let g be o(q). Solve g*k + 4*k = 0 for k.
0
Let u(x) = 2*x**2 + 6*x + 1. Let l be u(-5). Solve 5*s - 4 - l = 0 for s.
5
Let d = 41 - 39. Let o(n) = -3 - 3 + 2*n + 4. Let i be o(d). Solve a - 2 = i*a for a.
-2
Let n be ((-25)/20 - (-3)/(-4)) + 7. Solve 11 + 14 = -n*d for d.
-5
Let k(w) = -w - 5. Let u be k(-8). Let g(m) = 4*m**2 + 1. Let r be ((-10)/4)/5*2. Let t be g(r). Solve -2 = t*j - u*j for j.
-1
Let l = -18 - -20. Suppose -p - 1 = -4. Solve -p + 1 = -l*f for f.
1
Let p(o) = o**3 - o**2 - 2. Let z be p(2). Suppose 2*n = h + h - 16, z*h - 28 = 5*n. Solve -h = -3*m - m for m.
1
Suppose 4*n = 16, -5*f - n = 3*n - 21. Let v be 0/(f/(2/(-2))). Solve -3*c - 9 = -v*c for c.
-3
Suppose 5*u + 4*s = 6, 0*u + 14 = 5*u - 4*s. Solve 0 = -u*l - 6 - 0 for l.
-3
Suppose 0 = d + 2*r - 14, d = -0*d - 3*r + 11. Solve -4*l - l = -d for l.
4
Let f be 0/19*(-1)/(-1). Let l(c) = 3*c - 2. Let a be l(2). Solve 4*k + f = -a for k.
-1
Let b = 4 + -6. Let a be (10/20)/(b/(-20)). Solve -4*u = 3 + a for u.
-2
Suppose 0 = -4*t - 3*f - 51, 0 = -3*t - t + 3*f - 21. Let c be (-36)/(-10) + t/15. Solve c*p = -0*p + 15 for p.
5
Let q(s) = -s**3 + 2*s**2 + 2*s + 3. Let u be q(3). Suppose -6 = -3*w - 3*l, u*l + 34 = 5*w - 3*l. Let x be 0/w - 2*-1. Solve b = -x*b + 15 for b.
5
Let k be (2 - 2/1)/(-2). Solve k = -g - g - 10 for g.
-5
Let q = -2 + 2. Let k = -3 - -6. Suppose -2*m = -4*u + 18, 2*u + 0*m - 19 = k*m. Solve p = -q*p - u for p.
-2
Suppose 2 = 3*i - 7. Suppose 5*c - 9 = -a, -4*a = -i*c - 2 - 11. Let t 