 o be -1 + 4*1/1. Solve o = l + 2*l for l.
1
Let l(b) = b**3 + 4*b**2 + 4. Let a be l(-4). Suppose -n - 4*v = a*n - 10, -4*n + 5*v = -8. Solve 7*q = n*q + 10 for q.
2
Let t be 10/4*(-12)/(-5). Suppose 2*s + t = -5*k, 0*k = k - 2*s - 6. Solve -j = -1 - k for j.
1
Suppose 3*o + 0*l - 4*l + 10 = 0, 2*o + 2*l - 12 = 0. Let p = o - 17. Let h be 4/10 + (-39)/p. Solve -5*s = -h*s - 4 for s.
2
Let w(r) = -r**3 + r**2 - r + 3. Let n be w(0). Solve 0 = n*g + 12 - 0 for g.
-4
Suppose 4*n + 10 = -5*b, n - 3*n + 2*b = -4. Solve n = -0*x + 5*x - 10 for x.
2
Suppose 3*k + o - 12 = -2*o, -2*k - 4*o = -12. Let q be (-6)/(-4)*(-4)/3. Let a be 6/21 - q/(-7). Solve -2*w - k - 4 = a for w.
-3
Let h(q) = -q**2 - 4*q. Let d be h(-3). Solve -d*g + 8 = 2 for g.
2
Suppose -2*n + 8*n - 18 = 0. Let s = -2 - -3. Solve 2*o + n + s = 0 for o.
-2
Let l be 2 + -3 - (-26 + -2). Suppose 2*q = -q + l. Let a be 3/(q/(-4))*-6. Solve -5*u = -u + a for u.
-2
Suppose -3*b + 28 = -2. Solve -b + 5 = -c for c.
5
Suppose -2*q + 5*q + 2*r = 39, -q - r + 13 = 0. Let n = -10 + q. Solve -2*f - n = 7 for f.
-5
Let k(f) = f**3 + 4*f**2 + f - 3. Suppose -7 = -5*l + 8. Suppose -2*y + 3*w = -6, y + 4 = -l*y + 2*w. Let z be k(y). Solve -2 = z*v - 17 for v.
5
Let u be 3/(-12) - (-34)/8. Let n be (u/5)/((-4)/(-30)). Let d be 1 + 0 + -1*1. Solve d = -2*p - n for p.
-3
Suppose 0*v + 3*v - 57 = 0. Suppose -21*c = -v*c. Solve -4*i - i + 20 = c for i.
4
Suppose 0 = 2*l - 4 - 4. Solve 11 = -3*a - l for a.
-5
Suppose 9 = -5*t - 16. Let p(v) = v**2 + 7*v + 6. Let c be p(t). Let g be 1 + (-1)/(2/c). Solve 0 = 2*x - 3*x + g for x.
3
Let n be 0/((-4)/10*-5). Solve n*l - 2 = -l for l.
2
Let q = -12 - -12. Suppose -w + 0*w + 12 = q. Solve a = -2*a + w for a.
4
Suppose 4*h = -h. Suppose q + 12 = 4*q. Suppose 0*v + 4*v - q = h. Solve -p + v = 5 for p.
-4
Let v = -75 - -76. Solve -4*b + v = -5*b for b.
-1
Suppose -14 + 154 = 7*s. Solve -5 = 3*t - s for t.
5
Let w(x) = 8*x**2 + 4*x + 2. Let n be w(-2). Suppose 48 = 3*g + s, -18 = -2*g + 2*s + 22. Let c = n - g. Solve j - c = 4*j for j.
-3
Let u be (3 - 15/6)*10. Suppose -d = -u*w - 2*d + 24, 0 = -3*w + 2*d + 4. Suppose 0*f = w*f - 56. Solve 5*a - 39 = -f for a.
5
Let s(i) = i**2 + 2*i - 3. Let d be s(2). Solve 2*r - d - 3 = 0 for r.
4
Suppose 4*a + 3*b = 2*b + 18, 24 = 4*a + 4*b. Suppose -f - 27 = -a*v + 2*f, 5*f + 13 = -4*v. Solve v*d - 12 = -d for d.
3
Suppose -4*m = 0, -4*p + 2*m + 0 = -12. Solve b = -p*b - 4 for b.
-1
Let p = 58 + -58. Solve 3*m + 0*m = p for m.
0
Let h(q) = q**2 - 2*q - 1. Let g be h(-1). Let d = 5 + g. Suppose 0 = -s - 4*s. Solve 3*k - d - 2 = s for k.
3
Suppose -4*f + 26 = -2. Let a = -7 + f. Solve q = -a - 1 for q.
-1
Let p(z) = -3*z + 3. Let b be p(2). Let l = b - -3. Suppose 0 = y - 1 - 3. Solve o - y + l = 0 for o.
4
Let r(s) = -s**3 - 4*s**2 - 2*s. Let b be r(-4). Suppose -3*v = -5*f + 29 - b, -5*f - 2*v = -36. Suppose 2*g - 232 = -224. Solve -g*u + 2 + f = 0 for u.
2
Suppose -2*k + 16 = 6. Suppose 0*a + 3*a - k*t = 52, -2*t - 18 = -a. Solve 4*b + 6 = -a for b.
-5
Let y = 42 + -40. Solve y*l = 3*l - 1 for l.
1
Let s be (-4)/(-6) - 70/(-21). Solve s = l - 3*l for l.
-2
Suppose -g + 1 = -4. Let a = 9 - g. Solve 0 - 4 = -a*f for f.
1
Let n be 2*(1 + 2)/3. Solve 0 = -0*g - n*g - 10 for g.
-5
Let l be 1*(-2)/2*(-1 + 0). Solve -2*x = -5 - l for x.
3
Suppose -20 = -4*a + 4*k, 5*k + 6 = 3*a - 1. Let b(q) be the third derivative of q**4/12 - 4*q**3/3 + q**2. Let d be b(7). Solve -3*y + a = -d for y.
5
Let x be (4 - (-6)/(-2))/(-1). Let c be (3/6)/x*-14. Suppose c*t = 3*t. Solve t = -5*z + 13 + 7 for z.
4
Suppose -5*q = 3*j - 34, 27 - 7 = 4*q. Let o = 7 - 5. Suppose -o*n = -5*t + 4, 4*t - 2*n + 1 = n. Solve -j*p = t*p for p.
0
Suppose 3*k - 4*z = -8, -4*k - 2 = -3*z + 4. Solve k*c - 5 = -c for c.
5
Suppose -4*d = -3*d - 31. Suppose -3*g + d = t, -2*t - 25 = -5*g + 3*t. Let u = 14 - g. Solve 0 = 2*f - u + 1 for f.
2
Let a(o) = o**2 + 39*o. Let m be a(0). Let f(u) = -3*u + 1. Let j be f(2). Let k = 3 - j. Solve -2*l = -k - m for l.
4
Let i = 16 - 12. Let j be 1 + -1 + (-3)/1. Let y = j + i. Solve -2 = -v - y for v.
1
Suppose -3*c - 4 - 2 = 0. Let n = c + 12. Solve 0 = -0*u + 2*u - n for u.
5
Let g = 1 + 4. Suppose 0*h - h = -g. Suppose 0*r = h*r. Solve -c = -r*c for c.
0
Let j(m) = -m**3 - 6*m**2 + 2. Let n be j(-6). Solve n*r = -4 + 12 for r.
4
Let y(i) = 2*i - 12. Let m be y(6). Solve m = -c - 2*c for c.
0
Suppose x - 5*c = -13, 3*c = 4*x + 4 - 3. Let i be 1 + x/2*4. Suppose -5*m + 2*s + s + 128 = 0, 0 = -2*m - 4*s + 46. Solve m = -i*j - 0*j for j.
-5
Suppose 1 = -3*o + 13. Suppose -4*a - 3*s + s + 18 = 0, 2*a - 2*s - 24 = 0. Let w(g) = -g**3 + 8*g**2 - 4*g - 1. Let y be w(a). Solve -4*h = -y + o for h.
4
Suppose 2 = -2*u + 2*x, -3*u = 4*x - 11 - 0. Solve u = -2*k - 5 for k.
-3
Let r be 108/51 - (-18)/(-153). Solve r*y = -0*y - 10 for y.
-5
Suppose 3*u + 12 = 5*u. Solve -2*z = -u*z for z.
0
Let l(w) = -w**2 + 9*w - 5. Let g be l(7). Let h(f) = -f + 13. Let x be h(g). Solve 5*t = -1 - x for t.
-1
Let z = 7 - 7. Let x be (z/(3/3))/(-1). Let b = 4 - x. Solve -24 + b = -5*r for r.
4
Let p(b) = -b**2 + 5*b - 3. Let f be p(4). Let s = 4 - f. Suppose -20 = -4*g + s*h, 2*g - 2 - 10 = 2*h. Solve -w - g = 3 for w.
-5
Let b be (-2)/8 + (-117)/12. Let g = 14 + b. Suppose -2*t + 16 = g*w, -5*t + 8 = -0*w + 2*w. Solve 4*o + o + 25 = t for o.
-5
Let s(a) = a**2 + 4*a + 10. Let j be s(-6). Solve 5*t - j = -2 for t.
4
Let q = 12 - 7. Let v(l) = l**3 - 15*l**2 + l - 12. Let p be v(15). Solve -8 = p*x - q*x for x.
4
Suppose -2*q = -p + 8, -4*q - 20 = 2*p + q. Solve v = -p*v - 1 for v.
-1
Let l be (-3 - 0)/((-4)/(-8)). Let c(w) = -3*w + 6. Let n be c(5). Let g = l - n. Solve -g = b + 2*b for b.
-1
Let f = -27 + 32. Solve 8 - 33 = -f*u for u.
5
Suppose h = -1 - 2. Let w = h + 3. Let z = w - 0. Solve -4*g = -z*g + 16 for g.
-4
Let s = 19 + -12. Solve 0 = -5*o - s - 3 for o.
-2
Let h(w) = w**3 - 6*w**2 + 12*w - 29. Let q be h(5). Let l(s) = s**2 - 3*s + 2. Let t be l(3). Let j be -3*4/q + t. Solve j = 5*a - 3*a + 8 for a.
-4
Let z = 3 + -3. Suppose g + 4*g - 40 = z. Let n = g - 6. Solve 0 = n*u - 1 - 3 for u.
2
Let i(k) = k**2 - 2*k - 3. Let l be i(4). Solve l*y + 2 = 6*y for y.
2
Let b = 23 - 17. Let u be (0 + -3)*(-20)/b. Solve 5 = -3*x - u for x.
-5
Let g be 4/5*20/8. Solve 0*n - n + g = 0 for n.
2
Let q be -4 - (16/12 - (-66)/(-9)). Solve 3*t = q*t - 5 for t.
-5
Let x be (-11 - -2 - 0)*(-17)/51. Solve -s - 2*s + x = 0 for s.
1
Suppose 0*x = -5*x + 35. Solve -3*t = -x*t for t.
0
Suppose -2*a = a - 15. Suppose -4*f + 31 = -a. Let b be 15*(-1)/(f/(-24)). Solve -5*v = 15 - b for v.
5
Let c(p) = 2*p - 2. Let t be c(4). Solve -3*r = -t*r - 6 for r.
-2
Let a(h) = -2*h**3 - 5*h**2 - 2*h - 1. Let t be a(-3). Solve 2*x = -t + 4 for x.
-5
Suppose 4*b - 18 - 8 = -3*m, -2*m + 14 = 2*b. Solve 0 = 2*y - b*y - 3 for y.
-1
Suppose -6*a - 6 = -3*a. Let g(z) = z**2 - z - 2. Let p be g(a). Solve -p*u + 2 = -3*u for u.
2
Let v(t) = 5*t + 18. Let q be v(-2). Solve -q*w + 3*w = 0 for w.
0
Suppose 5*q + 287 - 1397 = 0. Suppose 4*g - 38 = m, 3*g = 6*g + 3. Let i be (-4)/14 - q/m. Solve 0*k + i = -k for k.
-5
Let t(u) be the first derivative of u**4/4 + 2*u**3 + 5*u**2/2 + 4*u + 1. Let d be t(-5). Solve -3 = d*f + 5 for f.
-2
Suppose 5*b - 18 = -3*a, 4*b - 2*a + a - 11 = 0. Suppose -7*u + 29 = -3*u + o, -b*u - o + 22 = 0. Solve 0 = 5*s - u - 8 for s.
3
Suppose 2*i - 10 = 4*o - 0*o, 2*o + 11 = 3*i. Let f be (-10)/(-6) + o/(-3). Suppose 50 = 5*w + 5*a, 5*w + a = f*a + 20. Solve 0 = 4*c - 7 - w for c.
3
Suppose -3*o - 4 = -4. Solve v - 5 = -o*v for v.
5
Let f be (-3 - 10/(-4))*12. Let b be ((-3)/f + -1)*0. Suppose -3*x + 2*w - 5*w - 12 = b, -5*x - 2*w - 8 = 0. Solve x*z = -z - 1 for z.
-1
Suppose 5*v - 4*v - 6 = 0. Let z be 22 - (-3 + v) - 1. Suppose -4*h + h + z = 0. Solve 0 - h = 2*a for a.
-3
Let i = 3 - 8. Let a(l) = l**3 + 4*l**2 - 4*l + 5. Let h be a(i). Solve -3*q + q + 10 = h for q.
5
Let a(p) be the first derivative of p**3/3 + p**2/2 - p + 3. Let f be a(-2). Let i be f + (-20)/((-6)/3). Solve 4*u - 9 = i for u.
5
Let o be (-7)/((-14)/(-4)) - -14. Solve 4 = 2*q + o for q.
-4
Let w be (-39)/(-26)*(-4)/(-3). Solve -u = -2*u + w for u.
2
Let d be 0/(-5 - -2) + 4. Suppose -4*z = 5*x +