Let v = 5 + 0. Let t = v - r. Solve 0 = 2*f - 4 + t for f.
-1
Let q = -8 - -13. Suppose 2*v = -3*v + q. Solve -u - v - 1 = 0 for u.
-2
Let s = 0 + 0. Let t(g) = g**3 - g**2 + g. Let a be t(s). Let r = 43 + -27. Solve 4*p + a = r for p.
4
Let j = 16 - 7. Suppose 0 = 3*a, -4*x + 3*a + j - 1 = 0. Solve -y = x - 4 for y.
2
Let c be 329/35 + 2/(-5). Solve 5*x = -c - 6 for x.
-3
Suppose m + 15 = 2*m. Suppose -1 = 7*w - 22. Solve -2*b = w*b + m for b.
-3
Suppose -g + 4*g - 9 = 0. Let y = g + -2. Let r = 5 - 3. Solve r = d - y for d.
3
Let r be (1 + -1)/(-2 + 4). Solve 1 = -r*t + t for t.
1
Let o = 135 - 123. Solve -o = 11*q - 7*q for q.
-3
Let f(c) = -c**2 - 7*c - 4. Suppose 4*a + 16 = -8. Let o be f(a). Solve o*y = -5 + 3 for y.
-1
Let v(h) = h**3 + 3*h**2 - h + 1. Let u be v(-3). Solve u*o = o for o.
0
Suppose 5*a - 18 = 2. Suppose -3*q = -a*q + 16. Let l = q - 9. Solve -2*v = -l*v - 10 for v.
-2
Suppose 210 = 5*u - 5*s, u - 78 = -u - s. Suppose 2*o - 4*w = u, -4*w - 13 = -o + 7. Let c be o/3 + (-12)/18. Solve -5*x = -2*x + c for x.
-2
Let a = 0 + 2. Let o be 3/6*2*a. Solve -4 = -3*l + o for l.
2
Suppose 0 = -0*q + 2*q - 4. Solve b - 5 = q*b for b.
-5
Suppose -4*r + 27 = 7. Suppose p - k = 0, 0 = 3*p - k - 2 - 2. Suppose -2*l = -5*l + 9. Solve l*u + p*u = -r for u.
-1
Let s be (-13)/(-5) - (-9)/(-15). Suppose -3*m + 8 = -s*m. Solve -3*r - m = -r for r.
-4
Suppose -11*q - 24 = -19*q. Solve 2*b = 5*b - q for b.
1
Let j(d) = -10*d - 3. Let b be j(-2). Solve 0 = 5*u + 3 + b for u.
-4
Suppose 5*f - 20 = 4*u, -11 - 4 = -5*f + 3*u. Solve -v + 5 = -f for v.
5
Let a(g) = g**3 - 4*g**2 - 6*g + 5. Suppose 3 - 1 = i. Suppose -20 = -i*r - 2*r. Let s be a(r). Solve -n + 2*n - 5 = s for n.
5
Let m be (-4)/7 - (-286)/182. Solve -2*j = -j - m for j.
1
Suppose -9 = 4*a - 7*a. Suppose 2*x = a*x - 2. Solve -c + x*c - 2 = 0 for c.
2
Suppose c = 6*c - 15. Suppose -2*a + 0*z = -z - 2, a - c*z - 11 = 0. Let h be (-1)/(a - (-12)/15). Solve h*u + 30 = 10 for u.
-4
Let i be -3*((-10)/15 - 0/3). Solve 0 = 4*n - 2*n + i for n.
-1
Let b be (0/(-2))/((-21)/7). Solve -3*r - 2*r = b for r.
0
Let n = 535 - 523. Suppose -5*g + 0*g = -25. Solve y - g*y = n for y.
-3
Suppose 6*l + 16 = 10*l. Suppose -12 = -4*u + 2*b, -5*u + 20 = -l*b + 2. Let k = -2 - -5. Solve -k*m - 5 = u*m for m.
-1
Suppose -1 = -3*k + 2. Solve 3*d - 11 - k = 0 for d.
4
Suppose 5*x - 15 = -0*x. Suppose x*l - 8 = -2. Solve 3*v + 15 = -l*v for v.
-3
Let l = -160 + 174. Solve 0 = 16*h - l*h + 6 for h.
-3
Let b be (-4)/(-6)*3 - 2. Let x be (-4 + 1 - 1) + 8. Solve x*f - 5*f = b for f.
0
Let i = -4 - -2. Let f be -2 - (0/(-5) + -2). Let b be (f + 6)/(-3)*i. Solve b*q - 28 = -12 for q.
4
Let n(g) be the first derivative of g**3/3 - 3*g**2 + 8*g + 1. Let f be n(7). Let t(j) = -j**3 + j**2 - j + 2. Let w be t(0). Solve w*h - 7*h = -f for h.
3
Let r = -65 + 65. Solve r*k = k + 3 for k.
-3
Let w = -1 + 3. Suppose -5 = -3*j - 4*o + 3, w = -2*o. Let v = -4 + 4. Solve v = -j*z - 14 + 2 for z.
-3
Suppose 3*j = -2*s + 10, 0 = -5*s - 7 + 2. Let i = j + -3. Solve 4 = -3*d + i for d.
-1
Suppose -a + 2*w = -18, -4*a + 2*w + 34 = -2*a. Suppose 3*h + 1 - 4 = 0. Solve 3*b + a - h = 0 for b.
-5
Let x be 0/((-7)/(7/2)). Solve -3*d - d + 12 = x for d.
3
Suppose g + 4 = 3*d - 0*d, -5*d - 2*g - 8 = 0. Suppose -2*p + p + 1 = d. Solve -2*x + x - p = 0 for x.
-1
Let r(j) = -1. Let t(n) = -n**2 + 5*n + 6. Let y(a) = -6*r(a) - t(a). Let s be y(5). Solve s = -5*f + 2*f for f.
0
Let q(k) = 2*k**3 - k**2 + 1. Let a be q(1). Suppose 0 = 4*o, 0 = l + a*l + 2*o - 12. Solve -3*y = -l*y - 2 for y.
-2
Suppose 0 = 3*v - 9. Solve -3*h + v = -0*h for h.
1
Let k(j) = -6*j + 26. Let s be k(4). Solve s*o + 2*o - 4 = 0 for o.
1
Let v(o) = o**3 + 7*o**2 - o - 3. Suppose -7 = -0*g + g. Let s be v(g). Suppose 4*f + 46 = 5*z - 0, 3*z - 14 = -f. Solve -x + s*x = z for x.
2
Suppose -5*d - 36 = 4*i, -5*d = -3*d + 3*i + 13. Let f be ((-45)/12)/(2/d). Solve 0 = v + 4*v - f for v.
3
Let l(w) = -5*w - 36. Let a be l(-8). Solve 4*x - a = -0*x for x.
1
Let u(g) = 2*g**2 - 4*g. Let r be u(5). Suppose 0 = s - r + 10. Suppose 4*b + s = 0, 3*c + 11 = -3*b + 5. Solve -c*d + 16 = 4 for d.
4
Suppose 3*i - 14 - 10 = -3*b, 4*i - 14 = 2*b. Let w be (3/(-6) - 0)/(5/(-10)). Suppose -5*v + 6 - 1 = i*q, 5*q = -v + w. Solve q*u = u for u.
0
Let h(t) = -t**3 - t**2 + t + 3. Let i(p) = -3*p**3 - 2*p**2 + 3*p + 6. Let y(l) = 5*h(l) - 2*i(l). Let k be y(0). Solve -k*j + 5 = -4*j for j.
-5
Suppose 0*o + 5*o + 5*c = 15, 0 = -2*o + 5*c - 8. Let i be 3 + 3 + (-1 - o). Suppose -2*g = 8, 5 + 15 = -3*j - 5*g. Solve j = -i*n - 0 - 4 for n.
-1
Let f(h) be the second derivative of -h**5/20 - 2*h**4/3 - h**3 + 9*h**2/2 - h. Let o be f(-7). Solve 3*b = -o*b + 5 for b.
1
Let s be 10/25 - 0 - (-2)/(-5). Solve s = 2*k - 0 + 8 for k.
-4
Let a = 22 - 22. Solve x + x = a for x.
0
Let g(s) = -11*s**2 - 21*s - 1. Let y(f) = 5*f**2 + 10*f + 1. Let w(h) = -4*g(h) - 9*y(h). Let a be w(-3). Suppose -7*t = -3*t. Solve a = -2*x - t for x.
-2
Let u(a) = -2*a**2 + 14*a + 21. Let c be u(8). Solve -4*v - 7 - c = 0 for v.
-3
Let r = 9 - 11. Let a = 3 + r. Solve a + 3 = -o for o.
-4
Let p(w) = -w**3 - 4*w**2 - 5*w - 4. Let b be p(-3). Let u = 6 - b. Solve 4*k + 0 = u for k.
1
Suppose -7 = v - q - 2*q, -3*q + 17 = v. Solve v*w - 2 + 17 = 0 for w.
-3
Let d be (-1 + 0)/(-2)*6. Suppose 5 = -d*z + 17. Solve p = -z*p - 5 for p.
-1
Let z(v) = 2*v**2. Let a be z(-1). Let c be (-10*(3 - a))/(-2). Solve 6*b = c*b + 2 for b.
2
Let x = 0 - -3. Suppose -x*v - c + 8 = 0, 5*v - 6*c + 2*c = 2. Suppose -r - 6 = -v*r. Solve r*a = a + 5 for a.
1
Let q = -17 - -19. Solve 2 = q*f - f for f.
2
Let c be 0 + 6 + (-4)/2. Let q = c + -3. Let a(h) = h + 1. Let k be a(q). Solve 2 = -2*n - k for n.
-2
Let l(k) = -k**3 - 2*k**2 - 3*k - 2. Let f be l(-2). Suppose i = f - 2. Suppose 5 - 1 = i*j. Solve 5*w - 22 = -j for w.
4
Let j be 7/((-21)/12)*-1. Suppose b = j + 12. Solve g + 3*g + b = 0 for g.
-4
Suppose -v = -5*v + 4. Let y be (4/8)/(v/4). Solve 0*z = y*z for z.
0
Suppose 5*g = -4*v + 59, 3*v - 2*g + 4*g - 39 = 0. Solve -3*m = -4 - v for m.
5
Suppose -5*a - 4*v - 54 = 0, -58 + 14 = 4*a + 4*v. Let b(x) = x**2 + 9*x - 8. Let w be b(a). Suppose -w - 10 = -4*p. Solve -l = 1 - p for l.
2
Suppose -3 = 5*q - 38. Suppose -q*r + 2*a = -2*r + 10, 4*a = r + 20. Solve -5*k + 3*k + 2 = r for k.
1
Let c(l) = l**2 + 7*l + 6. Let a be c(-6). Let r = -7 + 10. Suppose a*u - 12 = -r*u. Solve t - 3*t = -u for t.
2
Let p(o) = -1 + 4 - o - 2. Let s be 1*2 + -3 + -2. Let q be p(s). Solve -q*g = -g - 3 for g.
1
Let d be 5 + -4 + (1 - -1). Suppose y = d*y - 10. Let f(b) = -b**3 + 5*b**2 + 9*b - 6. Let k be f(6). Solve y*c + k = -8 for c.
-4
Let y be (3 + -1)*(1 + 0). Suppose 4*w + 4*b - 8 = 0, -y*w + 0*b + b = -1. Suppose -u + 1 + w = 0. Solve -2*j - u*j + 8 = 0 for j.
2
Let i(r) = r + 8. Let x be i(-4). Let j be x/(-18) - 4/(-18). Let a be 0 - (j - 1)*2. Solve -a*l - 3*l = 20 for l.
-4
Let a be ((-26)/(-3))/((-22)/(-33)). Let v = -13 + a. Solve -m + 3 = -v*m for m.
3
Let o = 24 - 21. Solve -o*i + 12 = i for i.
3
Let a = -5 - -11. Suppose -3*y - a*v = -5*v - 6, -10 = -5*y + v. Let c(k) = k**2 - k + 2. Let h be c(2). Solve 0 = y*x - 0*x - h for x.
2
Suppose 0 = -2*x - 0*x - 14. Let p = 17 + x. Suppose 7*t - 15 = 2*t. Solve t*w - p = w for w.
5
Let w be -1*12*(-1 + (-2)/(-4)). Solve 2*k + w = -k for k.
-2
Let z(k) = k + 4. Let w be z(0). Let t(i) = -i**2 + 3*i + 4. Let o be t(w). Suppose o + 3 = a. Solve 0*v = -a*v for v.
0
Let j be (-4 + 0)/(2/4). Let o be (j/(-5))/(2/15). Solve 4*f = -0*f - o for f.
-3
Let s(m) = 2*m + 12. Let w be s(-6). Suppose w = -a + 6*a - 10. Solve -a*j + 4 = -2 for j.
3
Let g = -3 - -5. Suppose o = -g*o. Let b = -5 - -9. Solve o = -5*d - 1 - b for d.
-1
Let t = 11 - 6. Suppose -t*v + 4*v = -3. Solve -v*a = 10 - 1 for a.
-3
Let u be (4/3)/((-4)/(-6)). Let q(r) = -r**2 - 3*r + 1. Let f be q(-2). Suppose 0 = f*i - u*i - 4. Solve 0 = i*v - 21 + 5 for v.
4
Let a(b) = b**2 - 3*b + 3. Let u(n) = -5*n**2 + 13*n - 12. Let t(i) = 9*a(i) + 2*u(i). Suppose 3*r = -r. Let w be t(r). Solve 1 = -d + w for d.
2
Let m(g) = -g**3 + 9*g**2 - 8*g + 72. Let q be m(9). Solve -v + 5 = -q for v.
5
Let v = 3 + 1. Suppose 2*f = v*f - 8. Suppose -3*h + 0*h + 15 = f*g, -4*g + 