 - 0. Let a be (0 + 0)/(l/2). Let r = -4 - -7. Solve -v - r*v + 12 = a for v.
3
Suppose 3 = 2*w - 1. Suppose -16 - 4 = w*v. Let y be (8 + -2)/((-4)/v). Solve y = 4*q - q for q.
5
Suppose -4*w = 4*r, 2 = 2*w + r - 0*r. Let s = 5 - w. Let q(d) = -d**2 + 2*d + 3. Let u be q(s). Solve j + 1 - 6 = u for j.
5
Let m(n) = -n + 11. Let b be m(5). Solve -b = 3*r - 3 for r.
-1
Let i(f) = -3 - 8*f + f**2 + 3 + 8. Let m be i(7). Suppose -5*b - m = z - 4*z, 3*z = -b + 7. Solve 4*j = b + 11 for j.
3
Let p be (-2)/6 - 13/(-3). Let h = -7 - -10. Let k be (h - 2)*1 + 0. Solve k = 5*d - p for d.
1
Let k be (-4 - -1)*-1 - 0. Solve 9 + 0 = -k*u for u.
-3
Suppose 5*w = r - 20, -4*w - 9 = 3*r + 7. Solve 0 = -r*v + v + 2 for v.
-2
Let c(x) = 4*x + 2. Suppose 0 = -g + 5*q + 11, 3*g + 2*q + 3*q + 7 = 0. Let h be c(g). Solve h*d = 2*d - 12 for d.
-3
Let n be ((-2)/(-3))/((-2)/9). Let t = -3 - n. Solve t = -2*k + k + 5 for k.
5
Let d = -22 + 38. Suppose 11*o + 20 = d*o. Solve o*k - 8 = 12 for k.
5
Let u = 0 - -1. Let k = -107 - -110. Solve u = 4*n - k*n for n.
1
Let b = -26 + 40. Solve 0 = 5*u + 4 - b for u.
2
Suppose 0 = -2*h - 3*h. Suppose -q + 0*q + 2 = h. Suppose -3*x = -q - 4. Solve -v - 3 = x for v.
-5
Let a(v) = -v**2 - v + 10. Let z be a(0). Let l(k) = k**2 - 13*k + 14. Let s be l(12). Suppose -z = -s*f + f. Solve 5*g - f - 5 = 0 for g.
3
Suppose 0 = 4*j - 11 - 1. Let b(v) = -v**3 + 5*v**2 - 4*v. Let i be b(j). Suppose 2*q - i = -0. Solve -2*f - 1 - q = 0 for f.
-2
Let q(j) = 3*j - 8. Let u be q(8). Solve -3*m - u = m for m.
-4
Let y be 4*(1 - -4 - 3) - 2. Solve 2*c = -y + 2 for c.
-2
Let s be (-402)/(-33) - (-2)/(-11). Suppose -s = 5*o - 32. Suppose 0*y = o*a - 2*y - 10, 0 = -5*y - 15. Solve f + a = -0 for f.
-1
Let k(w) = 6*w**3 + w - 1. Let h be k(1). Suppose 0 = -2*t + h + 4. Suppose 0 = t*i - 0*i. Solve i = -4*f - 5 + 17 for f.
3
Let z(s) = -s - 1. Let j(n) = -n**3 + 7*n**2 - 6. Let w be j(7). Let g be z(w). Suppose 0 = -g*x + p - 3, 5*x - 3*p + 6 = -p. Solve x*o + o = 0 for o.
0
Suppose 35 = 4*n - 3*x - 62, 3*x - 53 = -2*n. Suppose -n = -t - 4*t. Let a = 7 + 0. Solve -a = t*p + 3 for p.
-2
Let h(r) = r + 12. Let u be h(-12). Solve -4*i + 8 = -u*i for i.
2
Let h(n) = -n**3 - 12*n**2 + 14*n + 16. Suppose b - 3 = -16. Let z be h(b). Solve 4 = z*o - 11 for o.
5
Suppose -9 = 3*k + 5*q, 3*q + 20 - 5 = -5*k. Let j be k - (-2 - (2 - 1)). Solve j = 5*o - 0*o for o.
0
Suppose -7 = -2*u - 5*q, -u - q = -2*u. Let t(d) = -d**2 - 2*d + 4. Let p be t(-3). Let a = -3 - -5. Solve -a*v = p + u for v.
-1
Suppose 4*y + 2*r = 12, -r - 1 = -5. Solve g - y = 1 for g.
2
Let t(q) = 2*q - 5. Let g be t(5). Suppose g*s = 9 + 6. Solve -m + 2 = -s for m.
5
Let f be 2/(-4) + 33/6. Suppose -4*i + o = f, 3*i - 4*o + 25 = o. Solve 0*s + 2*s + 2 = i for s.
-1
Let y(o) = -o**2 + 5*o - 6. Let j be y(6). Let k = j - -20. Solve 3*c + k = 2 for c.
-2
Suppose 0 = z - 5*z. Solve z = 5*p + 5 + 10 for p.
-3
Let a(i) = 2*i**3 + 14*i**2 + i + 9. Let v be a(-7). Solve v*l = 5*l + 12 for l.
-4
Let l(q) = -q**2 + 5*q - 4. Let s be l(4). Suppose 0 = -3*o - s*o. Suppose -2*x - 2*x + 44 = o. Solve -4*u = 1 + x for u.
-3
Let h be 516/26 - (-4)/26. Solve 5*u + 0*u + h = 0 for u.
-4
Let c(z) = 2*z - 1. Let m be c(3). Suppose 25 = m*k + 3*u, 5*k + 2*u - 20 = -0*k. Solve k*t - 25 = -3*t for t.
5
Suppose -g + 45 = -3*q + 4, 29 = g + q. Let t = g - 21. Solve 0 = -5*c + 4 + t for c.
3
Let u(l) = l**3 - 2*l**2 - 4*l + 3. Let w be u(3). Suppose w*m = 3*m - 3. Let v(q) = 19*q**2 - q - 1. Let t be v(-1). Solve 5*k - m = t for k.
4
Let f be (3/(-2))/((-9)/(-12)). Let x be (2/3)/(f/(-12)). Let l be -1 - 1*2/(-2). Solve l*h + x = -h for h.
-4
Let w = -1 + 13. Solve 0 = m + 2*m - w for m.
4
Suppose 0*j = 4*j - 16. Let b = j + 1. Solve 0 = -t + 4 - b for t.
-1
Suppose 4 = f + 3*u + 2, 5*f = -4*u + 54. Let v = f - 9. Solve -5*k = -0*k + v for k.
-1
Let l(g) = g**2 + g + 7. Let o(m) = 4*m**3 - 2*m**2 + 2*m - 1. Let i be o(1). Suppose 4*y + 0*y = i*q, -2*y + q = 0. Let k be l(y). Solve 0 = -2*x + k*x for x.
0
Let c be 78 + (-3)/((-6)/4). Suppose c = 6*m - 2*m. Solve 0 = -2*a - 2*a + m for a.
5
Suppose -4*p - 4 = y, 5*p - 2*y + y - 4 = 0. Solve 2*a + p*a = 0 for a.
0
Suppose 0 = -2*z - 3*p + 22, 2*p + 0 = 4. Solve -z*w = -3*w + 25 for w.
-5
Let s be 2/(-3 + 57/18). Solve a - s = -2*a for a.
4
Let w be 1*-1 - (-2 + -1). Let p(g) be the third derivative of g**6/120 - g**5/30 - g**4/12 - g**3/2 + 4*g**2. Let l be p(3). Solve l = -w*z - 7 - 3 for z.
-5
Let h(r) = -r - 1. Let g be h(-5). Let p be (-12)/10 + (-24)/(-20). Solve -g*y - 4 = -p for y.
-1
Let b(t) = 22*t**2 - 23*t**2 + 2*t - t. Let x be b(0). Solve -4*z = -x + 8 for z.
-2
Let d be 0/(-3 + 0) - 1. Let n be (-3 + 3)*d*1. Suppose n*t = t - 6. Solve -2*q - t = -0*q for q.
-3
Suppose 8*k - 3*k - 2*n = 1, -3*k = -n. Let y = 3 - k. Solve y*l - 5 = 3 for l.
2
Let t(d) = 3*d + 2. Let z be t(2). Suppose -3*g = 3*p - 21, -5*p + z = g - 5*g. Solve -p = -4*o - 12 for o.
-2
Suppose -u - 4 = -5. Solve -b + 0 = u for b.
-1
Suppose c + 5*y - 15 = -3*c, -15 = -5*y. Solve c = 5*l - 2*l + 3 for l.
-1
Let s(i) = -i**3 - 2*i**2 - i + 4. Let a be s(-2). Solve -3*n = 6 + a for n.
-4
Suppose -5*h - 40 = -2*p - 9, p - h - 11 = 0. Let n = -5 + p. Let j = 11 - n. Solve j = 2*c + 2 for c.
3
Let h = 1 - 0. Suppose h = k - 0. Suppose t - 8 = -3*p, -5*t + 10 + 16 = p. Solve i - t = -k for i.
4
Let l(h) = h**2 - h - 2. Let v be l(3). Suppose 18 = -2*o + v*o. Solve 3 = -3*n - o for n.
-4
Let i be 28/4 + -1*2. Suppose i*m = -2*o + 25, 4*o - 4*m + 20 = 3*o. Suppose o = -2*c + 3 + 3. Solve -c*r - r = 0 for r.
0
Let s(v) = v. Let h(q) = -q**3 + 2*q**2 - 1. Let k be h(-1). Let y be s(k). Solve 5*u - 13 = y for u.
3
Suppose 34 - 114 = 5*z. Let j be 18/(-12)*z/6. Let o be 18/(-8)*(-16)/3. Solve -j*r = -r + o for r.
-4
Suppose 3*q + 4*p = 6, 5*p = 3*q - 2 - 4. Solve -q = 2*b - 3*b for b.
2
Let c = 5 + -1. Let t = 7 - c. Solve 1 = -q + t for q.
2
Let q = -5 + 7. Let h(c) = 2*c - 9. Let r be h(6). Suppose 3*n = 5*n - 2*u, r*n = -5*u + 32. Solve 2*v + q*v = -n for v.
-1
Let n(g) = -3*g - 14. Let b be n(-8). Suppose -3*d + 17 + b = 0. Solve d*t - 4*t - 5 = 0 for t.
1
Let o(j) = j**2 + 4*j - 8. Let u be (-1)/(-6) - 444/72. Let d be o(u). Solve -19 - 1 = d*w for w.
-5
Let x = 4 - 6. Let m(u) = -u**3 - 3*u**2 - 2*u + 2. Let o be m(x). Suppose -o*s + 3*s = 3. Solve 0 = -2*h - 5 - s for h.
-4
Suppose -4*r + 28 = 3*z, -z + 3*z - 20 = -3*r. Solve -26 = r*q - 6 for q.
-5
Let r(f) = f**2 + f - 3. Let o be r(-3). Let p(c) = 33*c**3 + 2*c - 1. Let a be p(1). Let u be a/6 - 2/(-6). Solve u*x = o*x - 9 for x.
-3
Suppose -3*z + 2*d = 0, 4*z - 20 = -0*z - 4*d. Solve 2*o + z = 8 for o.
3
Suppose 0 = q + 4*q - 5. Suppose 0 = 4*b - q - 27. Solve 5*t - 17 = -b for t.
2
Let v be (1 + -2)*-1 + -3. Let h be 5 + (-1 - 2) - v. Solve -3*k = -5 - h for k.
3
Suppose 0*z - 66 = -6*z. Solve 3 = 2*y + z for y.
-4
Let j = 19 + -17. Solve 0*g - j*g - 2 = 0 for g.
-1
Suppose -4*r - 3*d = -r - 9, -3*r - 4*d = -5. Solve 3*n - r = -1 for n.
2
Let n = 179 + -175. Solve 6*f = 5*f - n for f.
-4
Let h be (-3)/9 - 20/(-6). Let v be (h/(-1))/(-4 + 3). Let l = v + -1. Solve l = 2*k - 0 for k.
1
Suppose 6 - 14 = -2*i. Suppose f - i*f = 0. Solve -4*n + 3 + 1 = f for n.
1
Let h = -2 - -5. Suppose -h*n + g - 8 = -3*g, 0 = 2*n + 5*g - 10. Solve n = 2*w - 3*w + 4 for w.
4
Let c = -1 - 1. Let z = -7 - -12. Let q = c + z. Solve -5 = q*h + 1 for h.
-2
Let r(t) = -8*t - 4. Let w be r(-3). Suppose d - 4*j + w = 0, -4 = 4*d - 2*j + 6. Solve 3*c + d = 3 for c.
1
Let b be (25/20)/((-1)/(-4)). Solve -1 = b*q - 11 for q.
2
Let m(c) = 3*c + 48. Let d be m(-16). Solve d = b - 6*b + 25 for b.
5
Suppose 3*w + 0*w - 107 = -4*k, 4*k + w = 105. Let j = 59 - k. Suppose -j = -3*c + 15. Solve 0*a - 4*a = c for a.
-4
Let t = 4 + -3. Let u = t - -3. Solve -12 = -u*i - 0 for i.
3
Let f = 2 + -10. Let h be (-15)/(-10)*f/(-6). Solve -7*q = -h*q - 15 for q.
3
Let z be (-18)/(-5) + (-6)/(-15). Let i = -111 + 123. Solve 0 = -z*s + s + i for s.
4
Suppose 3*y + 24 = 5*y - 5*u, 0 = 5*u + 20. Suppose 5*p - 6 = 2*p. Let d = p - -1. Solve -y*b + d = -3 for b.
3
Let v be 2/4*(1 - -11). Let f = -4 + v. Suppose -u = f*u. Solve -4*d + d = u for d.
0
Let z(g) = 2*g + 1. Let x be z(2). Solve x*v - 3