e j(6). Suppose -4*a = -36 - k. Solve 8 = 5*r - a for r.
4
Let t be (5 - 4) + 3 + 6/(-2). Solve -f - t + 5 = 0 for f.
4
Suppose 33*w + 20 = 38*w. Solve -w*u + 15 = -5 for u.
5
Let j(m) = -3*m**2 - 4*m + 0*m + 2*m**2 + 0*m**2. Let q be j(-3). Solve -q*t = -4*t + 1 for t.
1
Let i be 2/7 - 26/(-7). Let k(n) = n**2 - 3*n - 1. Let f be k(i). Suppose -5*c + f*c = 5*l + 6, -5*l - 18 = -4*c. Solve -3*h + c*h - 1 = 0 for h.
-1
Suppose 4*k - 56 = 3*v, k = -2*v + 5*v + 5. Let b(a) = -a - 5. Let i be b(0). Let p = k + i. Solve -n - p = -4*n for n.
4
Let r = -7 + 13. Suppose 3*a + 6 = 2*p - 4, 0 = -2*p - a - r. Let q be ((-2 + 2)/p)/(-1). Solve q*v + 3 = v for v.
3
Let m be (-4 + 3)/((-2)/12). Let c be 9*(8/m + 0). Solve -x + 5*x = c for x.
3
Suppose -2*o = -0*v - 3*v + 66, 2*o + 18 = v. Solve 5*c + v + 1 = 0 for c.
-5
Let z(w) = -w - 4. Let o be z(-5). Suppose 5*x + l + o = -3, -4*x = 2*l + 2. Let f(v) = -3*v. Let c be f(x). Solve -d + 0 = -c for d.
3
Let r(b) = 6*b - 9. Let k be r(4). Solve -4*h + 3 - k = 0 for h.
-3
Let s = 11 - 5. Let n(o) = 12 + o + 4*o + 0*o - s*o + o**3 + o**2. Let f be n(0). Solve -f = -3*t - 0*t for t.
4
Let b = 10 - 8. Solve 5*l - 3 = b*l for l.
1
Let s(g) = -1. Let r(v) = 2*v - 2. Let i(t) = r(t) + 3*s(t). Let b be i(5). Suppose -4*z - p = -77, -51 = -3*z + 2*p - 5*p. Solve -z = o - b*o for o.
5
Let w be (-7 + 1)/((6 + 2)/(-8)). Solve 0 = -3*g + g + w for g.
3
Let k be 7 + (-4)/1 - -17. Solve k = -5*x + x for x.
-5
Let n be (6/12)/(2/12). Suppose 2*r = n*y + 2*y - 10, -4*r + 2*y + 12 = 0. Suppose 0*h = h. Solve h = -b + 2 - r for b.
-3
Suppose h + 2 - 7 = 0. Suppose 6*f = 4*p + f - 7, 5*f - 57 = -4*p. Solve h*s - s = p for s.
2
Let j be 3 + -1 + 2/(-1*2). Solve 2 = -3*z - j for z.
-1
Let t(v) = -v**2 - 8*v + 12. Let r be t(-9). Suppose 3*c - 8 = -c. Suppose n - r = c. Solve 1 + n = 3*a for a.
2
Let h(z) = z**2 + 10*z + 20. Let c be h(-8). Solve 0 = -c*t - 9 - 7 for t.
-4
Let g = -87 - -90. Solve 4*l - g*l = -2 for l.
-2
Let z(y) = -y**2 + 6*y - 2. Let o be z(5). Let g be -4*(-1 - o/(-6)). Suppose 4*c - 18 = g*k, 0*c + 31 = 3*c - 5*k. Solve -t = t - c for t.
1
Suppose -5*g + 18 = -3*d + 2*d, -2*g - 5*d - 9 = 0. Let j be (g*-1 + 2)*-3. Solve -j*o - 4 = o for o.
-1
Suppose 3*y - y - 10 = 0. Suppose -y*h - 76 = -3*n - 0*n, -h = -5*n + 90. Suppose 2*b + 2*l - 7 = 7, 0 = -2*b - 5*l + n. Solve 0 = -4*q - b - 10 for q.
-4
Let h(q) = -q**3 + 4*q**2 + 5*q - 4. Let r be (0 - -1)/(7/35). Let t be h(r). Let v be 3/6 - (-2)/t. Solve 5*a + v*a + 5 = 0 for a.
-1
Let k(b) = -b**3 - 8*b**2 + 9*b. Let v be k(-9). Let p = 2 - v. Solve -4*h = -2*h + p for h.
-1
Suppose d + d + 16 = j, -d + j - 10 = 0. Let c(b) = -b**3 - 6*b**2 + 2. Let h be c(d). Let z = h - -4. Solve z*p - 4*p = 0 for p.
0
Suppose 7 = r + 2. Suppose 4*m + 1 = r. Solve -d + m = -3 for d.
4
Let d(t) = -t - 4. Let l be d(-4). Suppose l = -2*q + 3*q. Solve -2*z = -q*z for z.
0
Let p(n) = n**3 - 8*n**2 + 8*n + 1. Let q be p(7). Suppose -i = z - q, 4 = 4*i + 3*z - 6*z. Suppose -i*t = -2*t. Solve t = 4*h - 9 - 11 for h.
5
Suppose 0 = -2*t - p, -2*p = t + 3*p. Solve t = x - 2*x for x.
0
Let z(d) = 5*d. Let y be z(2). Suppose 0 = 3*l + 6. Let h be 1*(-1)/l*4. Solve h*u - 2 = -y for u.
-4
Suppose 0 = 4*c - 0 - 8. Suppose q = c*x - 3 - 5, -x = 4*q - 4. Let w = 29 + -29. Solve w = 3*r - q*r for r.
0
Let r be ((-8)/20)/((-2)/(-30)). Let x = 8 + r. Solve x = -0*p - 2*p for p.
-1
Let b = 156 - 152. Solve 0 = b*c - 2*c + 10 for c.
-5
Let h(l) = -l**3 + 8*l**2 + 2. Let k be h(8). Let a = k + 2. Suppose a*b = w - 8 - 7, w = -4*b - 9. Solve -w*r - r = -16 for r.
4
Suppose -3*q = q. Let y be (5/3 - 2)*-6. Solve -y*j + 4 + 0 = q for j.
2
Let j be (-4)/(-14) - (-52)/14. Let b = j - 2. Suppose -3*q + 5*i + 6 = 0, b*i - 6*i = -3*q + 6. Solve -9 = q*d + 1 for d.
-5
Let f = 5 - 7. Let r be f - -1*(1 + 9). Suppose -2*z + 1 = -9. Solve z*g = 3*g + r for g.
4
Let r be 4 + 1 + (-3 - -2). Suppose 2*h - h + 20 = r*k, -4*k - 3*h = -36. Let c be (-1)/3 - 32/(-6). Solve -c*x = k + 9 for x.
-3
Suppose -2*c - 7 - 1 = -2*f, -20 = -3*f - c. Solve -3*n - f = -n for n.
-3
Suppose 0 = -5*t + 34 - 9, 20 = -5*r - 2*t. Let d be 3/r*(2 + -2). Suppose d*o = -3*o + 9. Solve -5 = o*y + 7 for y.
-4
Suppose 0 = -5*a + 3*t + 26, -3*t + t = 4*a - 12. Suppose -4*v - 12 = -4*l, -5*l - 4*v - v + 25 = 0. Solve l*r - 2*r = a for r.
2
Let p(c) = c**2 - 7*c + 4. Let n be p(7). Suppose y - 5*r = -r - 6, -y + 18 = 4*r. Suppose -6 = -2*b + 4*z, -5*b + y = -5*z - 4. Solve n*s + b = 9 for s.
2
Let c be (-60)/(-9) + (-1)/(-3). Let g = c + -5. Solve 0 = 3*u - g*u for u.
0
Let j(r) = -r**3 + 3*r**2 - 1. Let t be j(2). Solve -q = t + 1 for q.
-4
Suppose -3*d = -x + 4*x - 3, 5*d + 5 = 5*x. Let f(t) = t**3 + 9*t**2 + 5*t - 2 + 4*t + 13. Let l be f(-8). Solve d*h + h = -l for h.
-3
Let u(o) = o**3 + o**2 - 3*o + 4. Let p be u(2). Solve x + p = 3*x for x.
5
Let z(s) = -2 - 1 - 3 - s**2 - 6*s. Let o be z(-4). Solve 0 = 3*m - o*m + 2 for m.
-2
Suppose 4*u = -3*r + 6 + 2, 4*r - 19 = 3*u. Let m be (-2)/((u + -2)/6). Solve -m = -x - 0 for x.
4
Let s be (5/3)/(2/6). Suppose 0 = o - 2*o. Suppose -4*m = l + 16, -3*l + 5*l + 3*m + 12 = o. Solve s*n + 5 - 25 = l for n.
4
Let a be -1 + (2 - -6)*1. Let h(q) = -q + 11. Let b be h(a). Suppose g = -2*u + 3, -3*u + b + 3 = 2*g. Solve -g*o = -3 + 8 for o.
-1
Suppose 3*n - n + 54 = 3*l, 5*l = -n + 77. Solve -7 = 3*g - l for g.
3
Let n(h) = h + 1. Let a(r) = r**3 + 5*r**2 + 8*r + 8. Let x(j) = a(j) - 4*n(j). Let p be x(-4). Solve 0*s = -s - p for s.
-4
Suppose 2*a + 0*a - 10 = 0. Suppose -20 = -2*f + v, 3*f - a*v - 3 = 20. Let q = f + -8. Solve 0 = q*w - w - 2 for w.
1
Let t = 32 - 23. Let m = t - 4. Solve 17 = -m*p - 3 for p.
-4
Suppose -4*o = -2*o - 4. Solve -2*c = 2 + o for c.
-2
Let r(f) be the third derivative of -f**6/30 + f**5/60 + f**4/24 + f**3/6 - 5*f**2. Let d be r(-1). Solve -d*i - 9 - 6 = 0 for i.
-3
Let l be (-8 + 16)/(2 - 0). Solve 0*j + l = -2*j for j.
-2
Let z(g) = g - 1. Let o be z(5). Suppose -3*p - h = -49, -o*p + 5*h + 27 = -2*p. Solve 4 = 3*c + p for c.
-4
Let f(o) = 3*o + 3. Let j be f(-1). Solve g + 3 = -j for g.
-3
Let i = 13 + 8. Let l be 102/3 + -1*1. Let a = l - i. Solve -2*k = k - a for k.
4
Let z = -21 - -21. Let s(r) = -r - 1. Let x be s(-6). Solve -x*m + 15 = -z for m.
3
Suppose 0*w = 4*w + 20. Let x = w - -7. Let b(f) = -2*f - 9. Let n be b(-6). Solve x = -2*q + n*q for q.
2
Let s be 13 - (-3 - (-3)/3). Let u be (-9)/s - (-26)/10. Solve 2*n - 4 = -u for n.
1
Let g(t) = 4*t**2 + t - 1. Let i be g(1). Let x be (-3 - -3)*(-2)/i. Solve -2 = 2*p - x for p.
-1
Suppose 1 = -28*q + 29*q. Solve -a = -2*a + q for a.
1
Let o = 12 - 8. Suppose 3*m - 68 = o. Suppose -2*a - 2*c = -16, -3*a + 7*c - 2*c = 8. Solve -8 + m = a*k for k.
4
Let z = 3 - -1. Solve 2*o = -0*o + z for o.
2
Suppose 0 = 3*c - v - 38, 2*c + 2*c = -4*v + 72. Solve -11 - c = -5*r for r.
5
Let g be 2/(2 + (-4)/3). Suppose 5*d = 12 + g. Suppose -3*q + 14 = -5*q + 5*k, q + 4*k - 19 = 0. Solve 6 + q = d*r for r.
3
Let r(z) = -2*z. Let j be r(-1). Solve 0 = -2*y + j - 0 for y.
1
Let v be 25*((-2)/(-8))/(11/44). Solve 4*t - v = -t for t.
5
Suppose -9 = 5*o - 29. Solve o*n = -0*n + 12 for n.
3
Let t(s) = 8*s**3 - s**2 + 1. Let g be t(-1). Let h = g + 11. Solve o = -h*o + 4 for o.
1
Let t(b) = -b**3 - 7*b**2. Suppose 5*l + 50 = -5*k, -2*k = -4*k - 6. Let w be t(l). Solve w = -3*y - y for y.
0
Let h be (1 + (-16)/4 - -4) + 7. Solve 0 = -h*s + 5*s - 12 for s.
-4
Suppose 3*t = -22 + 25. Solve t = 4*j + 17 for j.
-4
Suppose -5 - 10 = 3*f, 2*f - 115 = -5*y. Let z = -17 + y. Solve 4*a = z - 0 for a.
2
Suppose 4*q + 3*y + 2 + 5 = 0, -2*q - 2*y = 6. Solve -3*u = q*u + 10 for u.
-2
Suppose 0 = -5*f - 0 + 15. Let r = -7 + f. Let n(p) = -p**2 - 4*p. Let c be n(r). Solve c*z + 20 = 4*z for z.
5
Let z(b) = -4*b - 20. Let x be z(-6). Solve 1 = -5*c - x for c.
-1
Let k = 1 - -2. Solve 0 = 2*j + k*j + 25 for j.
-5
Let l(k) = -k**3 - 3*k**2 + 6*k + 10. Let a be l(-4). Solve a*h = 3*h + 3 for h.
-3
Let x = -10 + 10. Solve 2*z - 1 - 1 = x for z.
1
Suppose -4*f - 10 = 5*h + f, -2*f - 2 = 3*h. Solve -h*b = -3*b for b.
0
Suppose 4*y + 0*y = 24. Solve l = -2*l + y for l.
2
Let h = 20 + -15. Suppose 0 = -h*g + 7*g. Solve u + 4 - 3 = g for u.
-1
Suppose 4*j = 6*n