0 = o*j - j - 2 for j.
2
Suppose 4*b - 20 = -0*b. Let l(q) = q**3 - 7*q**2 + 8*q - 1. Let g be (-280)/(-45) + (-2)/9. Let p be l(g). Solve -p = b*t + 14 for t.
-5
Suppose 10 = -5*z - 5*x, -3*x - 6 = -x. Suppose -l = -4 - z. Suppose -3*j + 7*j - 3*a = 6, -2*j + 10 = -l*a. Solve j*t + 3 = t for t.
3
Let n(j) = -8*j**2 + 2 + 0 + j + 2 + 6*j + j**3. Let f be n(7). Solve f + 2 = -3*t for t.
-2
Suppose 0 = -5*h + 10, 2*h - 5*h = q - 11. Suppose -3*y + y + 10 = 0. Suppose 0 = 3*g + 1 + q, -5*c + y*g = -20. Solve 0 = -s - 3 - c for s.
-5
Suppose c - 15 = 2*z, -4*c - z - 3*z = 0. Solve -4 = c*r - 24 for r.
4
Let x(v) = -v**3 + 11*v**2 - 10*v. Let y be x(10). Solve y = -b - 0*b - 2 for b.
-2
Let w = -1 + 3. Let u be (18 - -2)*1/4 - -1. Solve -4*r - u = -w*r for r.
-3
Let d be (5 + (-2 - -3))/2. Suppose 6*i = i + 2*h + 20, -12 = -3*i - d*h. Solve -i*x = -x - 15 for x.
5
Let d(z) = -z**2 + 3*z + 4. Let w be d(4). Let r = 5 - w. Suppose 4*l = r*y - 22, l + 0*l = -3. Solve -y = -2*t + 4 for t.
3
Let b = 8 - 6. Let o(q) = 2 + q**3 - 5 - 1 + 2*q - 5*q + 4*q**b. Let d be o(-4). Solve 2*i = -0*i - d for i.
-4
Let l be (40/(-16))/(-2*(-1)/(-4)). Solve -2 = l*d - 12 for d.
2
Suppose -5*a = -2*a. Solve 5*n = -a*n - 20 for n.
-4
Let g be (-32)/6 - 2/(-6). Let f = -2 - g. Let i be 1/(-2)*(2 + -2). Solve i*m = f*m + 6 for m.
-2
Let f(t) = t - 1. Let b be f(3). Suppose b*p + 3 = 3*p. Suppose -z + 4*u = 9, p*z + 3*u = 6*u. Solve z*k = -0*k for k.
0
Let y = 28 + -22. Solve y - 4 = x for x.
2
Let p = 13 - 18. Let y(b) = 5*b**2 + 1 + b**2 + 6 + b**3 + 6*b. Let r be y(p). Solve -7*l + r*l + 10 = 0 for l.
2
Let w = 134 + -117. Solve 3 + w = -5*j for j.
-4
Suppose 9*o - 200 = 4*o. Let w = o - 25. Solve 0 = 4*m - w + 35 for m.
-5
Let b(y) = 2*y**2 - y + 2. Let s be b(3). Let d(o) = 6 - 3*o - 8 + 0*o. Let g be d(-2). Solve -g*z + s = 1 for z.
4
Let r be -2 - 12/(-8) - (-5)/2. Solve r = -2*q + 4*q for q.
1
Let s(m) = -m**3 - 5*m**2 - 2*m + 9. Let q be s(-4). Suppose 0 = -y - 3 + 8. Suppose y = z + q. Solve 2 = 2*g + z for g.
-1
Suppose 0 = b - 2*b + 1. Suppose 3*u + 2*q - 19 = -2*u, -3*u + 19 = 5*q. Suppose -2*d = d - u. Solve d + b = -j for j.
-2
Suppose 10*c - 6*c = 148. Let o = -22 + c. Solve -3*s + o = 2*s for s.
3
Suppose 5*t - 20 = 5*i, 2*t - 8 = 2*i + i. Solve 4*v - v - 15 = i for v.
5
Let r = 0 + 0. Let o be (-1)/((7/4)/(-7)). Suppose -u - o*u + 13 = -3*b, 20 = 4*u. Solve r - 8 = -b*d for d.
2
Let n(g) = -g**3 - g**2 + 5*g + 5. Let x be n(-3). Suppose x + 12 = 5*o + a, 12 = -o + 3*a. Solve o = -c - 0 for c.
-3
Let o(n) = n**2 + 4*n - 4. Let h be o(-10). Suppose 4*m + b = h, 4*m - b = 68 - 4. Solve -2*s - m = s for s.
-5
Let x be 12/(-5) + (-4)/(-10). Let p(c) = c**3 + 2*c**2 - 3*c - 1. Let t be p(x). Solve 3*k - t = -17 for k.
-4
Let q(l) = l**2 - 6*l - 11. Let x be q(8). Suppose -15 = x*z - 50. Solve 3 = -2*s - z for s.
-5
Let a be 1/(-3) + (-34)/6. Let i(h) = -h**3 - 5*h**2 + 5*h - 4. Let l be i(a). Solve 0 = l*d - 6 + 4 for d.
1
Let g(r) be the second derivative of r**5/60 + r**3/2 - r**2/2 + 4*r. Let b(h) be the first derivative of g(h). Let q be b(0). Solve -q*u - 2 - 13 = 0 for u.
-5
Suppose -3 + 3 = y. Solve -3*t + 12 = -y*t for t.
4
Let v = 66 - 66. Solve v = r + 2 for r.
-2
Let y be (-35)/(-49) + (-2)/(-7). Suppose -5*s + 3*r + 19 = 0, -r + 3 = 3*s - 0*r. Solve -y + s = f for f.
1
Let y be (9/5)/3*5. Suppose 0 = -2*r + 4*h + 4, -4 - 7 = -y*r + h. Suppose -j + r = 1. Solve -j = -m + 1 for m.
4
Suppose -h - 1 = b + 4, 3*h + 5 = -b. Let k(y) = -2 - y**3 + 8 - y**2 + 3 + y. Let q be k(h). Solve 3*v + q = -0*v for v.
-3
Let f be (-6)/((6/4)/(-3)). Suppose 3*h - 7*h = -f. Solve 0*j + h*j - 9 = 0 for j.
3
Let g(r) = -r**2 + 5*r - 4. Suppose -20 = -2*w - 2*w. Suppose -h = 4*a - 22 + 7, -w*a - 3*h = -17. Let p be g(a). Solve p = -4*u - 4 for u.
-1
Suppose 8 = 5*n + 3*p, -11 = -2*n + p + 1. Suppose x = n*g + 12, -3*g = -4*x - 2*g + 3. Solve x = 2*s + 3*s - 10 for s.
2
Let g be 94/(-10) + (-6)/(-15). Let f = g + 15. Let q be (-4)/(-3)*27/f. Solve n + n + q = 0 for n.
-3
Suppose 22 = 4*j + 3*g - 3, -5*j = 2*g - 26. Solve 3*u + j = u for u.
-2
Suppose j + 4 = 2*j. Suppose 7*x = j*x + 6. Suppose x*h = -2*b - 4 - 2, -4*b - 3*h - 9 = 0. Solve b = 2*u - u for u.
0
Let c(y) = y**3 - 5*y**2 - 5*y - 6. Let w be c(6). Solve w = -2*s - 3*s for s.
0
Let c be -9 + 6 - (-1 - 12). Solve 2 = -4*j - c for j.
-3
Let d be 14 + 0 - (18 - 14). Let v = 3 - 1. Solve d = -v*f - 0*f for f.
-5
Let p be -2*(-3)/36*12/2. Solve p = 3*g + 4 for g.
-1
Let h = -43 - -9. Let u be (4/(-6))/(h/51). Solve u - 9 = 4*o for o.
-2
Let g be (-10 - -2)*(-5)/20. Solve g*z = -z - 12 for z.
-4
Let i be -2 + 0 + (-2 - -4). Let x be 1 - 2 - (i + 3). Let j be -3 + x/((-8)/14). Solve -13 = j*m + 7 for m.
-5
Let l = 6 - 11. Let c be (2/(-5))/(1/l). Solve -r = c - 4 for r.
2
Let p be (-4 - -4)/(1 - 0). Let f = -3 - -3. Let u = f + 4. Solve u*g + p - 4 = 0 for g.
1
Suppose 6*g + 5*h + 10 = 3*g, 5*g - 5*h - 50 = 0. Suppose 5*k - 2*k = 2*f + 5, -f = g*k - 17. Solve 2*v + k + 1 = 0 for v.
-2
Let m = -37 + 61. Suppose 2*a + m = 3*d - 3*a, 4*d = 5*a + 37. Solve d = 2*p + 3 for p.
5
Let z(h) be the third derivative of h**5/60 - 5*h**4/12 + 3*h**3/2 - 3*h**2. Let f be z(9). Solve -y - y - 4 = f for y.
-2
Suppose 3*w - 25 = -2*w + 5*y, 2*y + 7 = w. Solve 5*m + 6 = w*m for m.
-3
Let b = 13 - 5. Suppose 2*f + 9 - 3 = 0. Let r be 38/b - f/(-4). Solve 3*c = r*c - 1 for c.
1
Let c(p) = 3*p + 6. Let o be c(3). Solve 6*i = i + o for i.
3
Suppose 12*s + 0 = 36. Solve 4 = q + s*q for q.
1
Let p(s) = s + 15. Let x be p(-11). Solve 0 = i - x*i - 6 for i.
-2
Let h be (-1 - 3) + 1 - -4. Let i be (-3)/12*h*-4. Solve -i + 0 = -l for l.
1
Let g(j) = -j**2 + 5*j + 1. Let r be g(4). Suppose -r*t = 2*h + 19, h - 2*h - 17 = 4*t. Solve -h = -n + 1 for n.
4
Let z(v) = v - 2. Let x be z(11). Let m be (-3)/x + (-62)/(-6). Solve 5*d + m + 0 = 0 for d.
-2
Let d be (1 - 6)*(-1)/(-1). Let m(i) = i + 4. Let v be m(d). Let u be -5*(v - 0)*1. Solve u = t - 0 for t.
5
Let j = 12 + 6. Suppose -4*x = -3*w - 0*w - j, -3*x = w - 7. Solve 2*t - 11 + x = 0 for t.
4
Suppose 0 = -3*p + w + 4*w + 16, 0 = -3*p - 4*w - 2. Solve -4 = -p*a + 4 for a.
4
Suppose 0*g = 4*g. Suppose g*f = 2*f. Suppose -y - 2*q + 7 = f, 3*y - 2*q = 16 - 3. Solve -y*m = -3*m - 2 for m.
1
Let a = 7 + -5. Let c(l) = -l**2 + 8*l - 10. Let u be c(7). Let z be a/3 + (-22)/u. Solve -f - z = f for f.
-4
Let j(t) = -t - 6. Let b be j(-7). Let s = b - 1. Suppose s*i - i = 0. Solve i*p - 6 = 3*p for p.
-2
Suppose -3*g = -6*g - 4*n - 14, 5*n = -4*g - 17. Solve 0 = j + 5 - g for j.
-3
Let h(f) be the first derivative of -f**3/3 + 8*f**2 - 20*f + 7. Let v be h(14). Solve 5 = 3*z - v*z for z.
-1
Let v(k) = 3*k**2 - 20*k + 15. Let m(f) = -2*f**2 + 10*f - 8. Let w(r) = 5*m(r) + 3*v(r). Let j be w(-10). Solve j = 2*b - b for b.
5
Let b be ((-3)/2)/((-3)/8). Let y(q) = -q**2 + 10*q - 11. Let x be y(9). Let k be (1/3)/(x/(-30)). Solve k = -b*a - a for a.
-1
Let n be 46/7 + (-9)/(-21). Solve n*m - 15 = 2*m for m.
3
Suppose 0 = l - 10*l. Solve -s + 4 = -l*s for s.
4
Suppose 0*u - 50 = -2*u. Let t be (-56)/(-20) + 2/10. Suppose -t*d - 18 = -7*d - 2*x, -4*x = -d. Solve 5 = -d*b + u for b.
5
Suppose 0 = 5*r - 3*z + 9, 4*z - 12 = 3*r - 8*r. Solve r*i = i for i.
0
Let h = -2 + 4. Solve j = -h*j for j.
0
Let d be -1*(-2 + -5) + -2. Let b be (-2)/(4/3)*(7 + -17). Solve 8*g - b = d*g for g.
5
Let b be (1/(-2))/(4/(-8)). Let l be 1 - (b + 0 + -2). Suppose r + 0 = l. Solve -3*o - r = -5*o for o.
1
Let y = 4 + 2. Suppose -r + y = 3. Solve -z + 0 - r = 0 for z.
-3
Suppose 44 = -3*a + 14*a. Solve 0 = -a*u - u - 20 for u.
-4
Let q = -6 + 3. Let s(o) = o + 3. Let d be s(q). Solve d = -0*y - y - 5 for y.
-5
Suppose 2*m = 2 - 0. Let w be -2*-3*m + -2. Solve 5 = -w*x - 7 for x.
-3
Suppose -w - 5*j + 12 = -2*w, -4*w + 4*j = 0. Solve 0*s = -w*s for s.
0
Let x = 32 - 27. Solve -x + 4 = g for g.
-1
Let w(x) = x**3 + 8*x**2 - x - 4. Suppose 0*y = 2*y + 3*j + 31, -j = 5. Let o be w(y). Solve 0 = -c + 3 - o for c.
-1
Let p(v) = -3*v + 17. Let n be p(4). Solve 10 = -n*t - 5 for t.
-3
Suppose -5*p - 54 = -3*f + 427, -499 = 5*p + 3*f. Let z be 28/p + (-4)/(-14). Solve z*x - 5 = x for x.
-5
Let n = -2 - -5. Suppose -q - o + 3 = 0, 2 = -4*q +