 q for b.
3
Let n = -23 + 27. Suppose n = 2*w - 2. Solve 0 = -w*o - 0*o + 3 for o.
1
Suppose o + 4 = 0, z = -4*o + 3*o + 1. Suppose 12 = 5*i + 3*j - 8, -j + z = 0. Solve -q + i = -4 for q.
5
Suppose -5*c = -0*c - 15. Solve -l - 4 = -c for l.
-1
Suppose -3*a - 2*p + 73 = 0, 7*a = 4*a + 2*p + 53. Suppose -17*s + 10 = -15*s. Solve s*l + 6 = a for l.
3
Suppose -5*n + 6 = 1. Suppose -3*o - n + 7 = 0. Solve 2*i + o*i - 16 = 0 for i.
4
Let r(t) = -t**3 - 9*t**2 - 8*t. Let v be r(-8). Let c(h) = -h**3 + h**2 + 6. Let u be c(v). Solve -3*b - u = 3 for b.
-3
Let l = -10 + 15. Suppose -l*f + 2 = -13. Solve 0 = h - f*h for h.
0
Suppose 0 = -6*y + 4*y + 6. Solve 0 = 4*u - 3*u - y for u.
3
Suppose -2*h + 9 + 3 = 0. Solve -6*w + h = -3*w for w.
2
Suppose -2*s = -4*v - 5*s + 20, -4 = -s. Solve 3*p - 5 = -v for p.
1
Let w = 6 - -2. Let k(f) be the first derivative of -f**2/2 + 11*f + 1. Let r be k(w). Solve -r*g = g + 20 for g.
-5
Suppose 2*w = -2*c - 10, 2*w + 10 = 3*c + c. Solve 6 + c = -3*h for h.
-2
Let o be (6/(-24))/((-2)/328). Suppose -4*h - 8 = 3*r, -5*h = -4*r - 0*h + o. Solve -2*m + 0*m - r = 0 for m.
-2
Suppose 0*c - 4*c = 72. Let r be c/(-8)*48/9. Suppose 5*d + 2 = r. Solve -d*v - 3 - 1 = 0 for v.
-2
Let f(w) = 3*w**3 + w**2 - 3*w + 1. Let o be f(1). Solve o*t + 3*t = -5 for t.
-1
Let q = -13 - -20. Let o(d) = -d + 10. Let l be o(q). Let u be -5 + l + 5 + 0. Solve 9 = u*f - 6*f for f.
-3
Let y(i) = -7*i + 3. Let s(z) = -11*z + 5. Let k(f) = -5*s(f) + 8*y(f). Let t be k(-4). Solve -7 + t = x for x.
-4
Suppose 11*r - 24 = -2*s + 6*r, -3*r = -3*s - 6. Let n(z) = z**2 + 3. Let x be n(0). Solve -s = -x*c + 10 for c.
4
Let i(a) be the second derivative of a**3/6 + 5*a**2 - 4*a. Let o be i(-4). Solve -o = -4*j - 2 for j.
1
Suppose -2*s + 10 = 3*s. Suppose -113*q - 4 = -117*q. Solve -5 - q = -s*f for f.
3
Let n be (0 + 2)*-1 - -3. Let p(g) = -9 - n + 0 - 3*g. Let h be p(-8). Solve 4*k - 2 = -h for k.
-3
Let j = 59 - 53. Solve 2*c + c - j = 0 for c.
2
Let l(c) = -c**3 - 5*c**2 + c + 7. Let i be l(-5). Suppose 5*s + 3*h = 2*s + 18, i*s + 4*h - 6 = 0. Solve 5*w = 2*w - s for w.
-3
Let y = -136 - -142. Solve -r = -y*r for r.
0
Suppose -3*x = -6*x - 18. Let y(t) be the second derivative of -t**5/20 - 5*t**4/12 + 2*t**3/3 + 3*t**2/2 - 3*t. Let u be y(x). Solve 0*d - u = 3*d for d.
-5
Let y = -57 + 60. Solve -13 + 1 = -y*c for c.
4
Let a = -2 + 6. Let m(r) = -r + 4. Let c be m(a). Suppose c = 6*p - 2*p - 100. Solve -5*z - 5 + p = 0 for z.
4
Suppose -3*h - 2 = 5*y - 21, -5*y = -25. Let o be (h/3)/((-3)/45). Solve 6*m = m + o for m.
2
Suppose 42 - 44 = -o. Solve 0 = o*w + 4 for w.
-2
Let g(m) = 3*m**2 - 1. Let l(z) = z**3 - 4*z**2 - 5*z - 1. Let o be l(5). Let a be g(o). Solve 0 = 3*j + 8 - a for j.
-2
Let s(x) be the first derivative of -x**3/3 - 2*x**2 + 14*x + 5. Let f be s(-6). Let b be (1 - 2 - 0)*-1. Solve 0 = y - f*y - b for y.
-1
Suppose -2*g - 9 = -3*g. Suppose 18 = -2*q - q. Let l = g + q. Solve l*d = 2*d + 2 for d.
2
Let k be 17/4 + -4 - (-155)/20. Solve -9*o - k = -7*o for o.
-4
Let q be (-2)/(3*8/(-12)). Solve 2*u = -3 + q for u.
-1
Suppose -4*m = c - 8, 4*c = -m + 3*c - 1. Suppose -a = -5 + m. Solve 2*f + a*f = 0 for f.
0
Let a = 23 - 19. Solve 26 - 6 = -a*d for d.
-5
Let f be 5 + -9 + 40/4 + -3. Let t = -8 - -14. Solve -t*x = -f*x for x.
0
Let l be 2/(-3) - 12/(-18). Suppose -5*o - 23 = a, 4*o + 29 - 13 = l. Let v = a - -6. Solve 7*s - v*s = 0 for s.
0
Let u be -3 - (0/(-2) + -5). Solve -l = l + u for l.
-1
Let u(w) = w**2 - 4*w - 6. Let b(y) = y**2 + 7*y - 1. Let p be b(-8). Let m be u(p). Let v = -3 + 6. Solve 0*h + v*h + m = 0 for h.
-5
Let o(a) be the third derivative of a**6/120 - a**5/10 + 5*a**4/24 + a**3/2 - 3*a**2. Let y be o(5). Solve 2*t - y*t = -3 for t.
3
Suppose 0*h + 24 = -5*h - 2*b, 5*b - 21 = h. Let z(l) = l**3 + 6*l**2 - 7*l + 2. Let u be z(-7). Let q be 20/12 - u/h. Solve -2*c - q*c = 20 for c.
-5
Let s = 8 - 14. Let k be 20/8*s/(-5). Solve 0 = -k*t - 6 - 3 for t.
-3
Suppose 0 = -7*j + 2*j - 100. Let i be (-4)/j - (-49)/5. Let z = -1 + i. Solve -5*n - z = -2*n for n.
-3
Suppose 91 = 5*r - 19. Suppose 4*h - 18 = r. Solve g - h = 3*g for g.
-5
Suppose p - 24 = 4*v, -5*p - 3 = 5*v - 23. Let o(m) = m**3 - 8*m**2 + m + 4. Let q be o(p). Solve -2*u + q = u for u.
4
Let s be (1 - 1)*(-3)/6. Suppose -2 = 4*z - 2*z + 4*u, -4*u - 5 = -z. Let o = s + z. Solve -3 = -2*w + o for w.
2
Let k(l) = -l**3 - 6*l**2 - 4*l + 2. Let t be k(-4). Let s = t + 26. Suppose -4*v + 2*v = -s. Solve -3*i + 15 = -v*i for i.
-5
Let m be (-7)/((-63)/(-12))*(1 + -4). Solve 0 = -0*g - m*g + 12 for g.
3
Let f(q) = -q**2. Let a(z) be the third derivative of z**5/15 - z**4/4 + 2*z**2. Let s(o) = a(o) + 5*f(o). Let v be s(-5). Solve -v + 3 = 2*x for x.
-1
Let j(d) = 0*d**2 + 4 - d**2 + 2*d**2 + 5*d. Let u be j(-6). Let l(t) = t**2 + 8*t + 10. Let r be l(-7). Solve 2*n + u = -r*n for n.
-2
Let g be 3/3*2 - (-9 + 6). Solve -g*n - 4 = 11 for n.
-3
Let o be 0 + 4 - ((-2)/(-1) - 0). Solve -o*g + 3*g - 1 = 0 for g.
1
Let y = 80 + -77. Solve -7 = y*h - 4 for h.
-1
Suppose 0 = 4*j + 4*p - 24, p + 3 = -3*j + 5*p. Let w be 19 + (5 - j) - 1. Solve -q - 4*q = w for q.
-4
Let n = 23 - 7. Let j = n + -14. Solve 3*l + j = l for l.
-1
Suppose 20 + 45 = 5*u. Suppose -2*k - 2*z + 22 = 2*z, -3*k + 32 = 5*z. Let b = u - k. Solve c + 1 + b = 0 for c.
-5
Suppose 58 = 5*f - 2. Solve 2*j = f - 4 for j.
4
Let o(b) = b + 6. Let r be o(-3). Solve -y + r = -4*y for y.
-1
Suppose -4*c - 2*t = -2, -2*t + t + 5 = 4*c. Solve c*v = 5*v - 12 for v.
4
Suppose 2*i - 4 = 6. Suppose -5 = -4*k + 3*o, -k - k = o - i. Suppose k*u - 6 = 2*n, 0 = -3*u - 4*n + 2. Solve -u*x - 6 - 2 = 0 for x.
-4
Let v be 3 + (2 - 4) + 2. Suppose -2*m = 4*n, 0*m - v*n = 5*m + 28. Let a = m - -15. Solve -2*p + a*p - 5 = 0 for p.
1
Let w be (-5)/(-15) - (-10)/6. Solve -w*j = -3 - 7 for j.
5
Suppose -3*q + 32 = 5*l, 3*l + 2*q - 14 - 6 = 0. Solve l*f = -f - 20 for f.
-4
Let q be (-2)/(15/9 + -1). Let c = q + 3. Solve v + 4*v + 25 = c for v.
-5
Suppose -3 - 33 = -4*x. Let n be (-3 - (-24)/x)*0. Solve d + n = 1 for d.
1
Let h be -3*(-6)/(-9) + 3. Let s be 21 + h - (-4 - -5). Solve -5*k + s + 4 = 0 for k.
5
Suppose -h - 4*j = -j - 6, -5*h - 4*j = 14. Let i be 2/h + (-4)/(-3). Let n be 3/1*(i + 0). Solve 8 = -a - n*a for a.
-2
Let k(j) = -j**2 - 12*j. Let s be k(-10). Solve -4*n - s = -0*n for n.
-5
Suppose 2*v + 2 = -0*v. Let r = 0 - v. Let o = 40 - 38. Solve o = -f - r for f.
-3
Let b be (26/195)/(3/5)*9. Suppose -3*t - 5*d + 1 = 0, 5*t - 6 = -5*d - 1. Let u = 0 + 6. Solve -t = b*n - u for n.
2
Let c = 25 - 20. Solve -3*b - c = -14 for b.
3
Suppose -4*v = -2*j + 12, -2*j + 2*v + 7 = 1. Solve 2*r = -j*r + 6 for r.
3
Let k(j) = -j**3 + 10*j**2 + j + 3. Let c be k(10). Suppose -c + 16 = v. Solve 0 = -0*f + f - v for f.
3
Let p(d) = 2*d**2 - 2*d - 1. Let g be p(-2). Let h = g + -6. Suppose z + 4 = h*t - 13, -5 = t - 3*z. Solve 2*x = t*x + 8 for x.
-4
Suppose -11*a + 8*a = 0. Suppose -5*f + a + 10 = 0. Solve f*t = t + 3 for t.
3
Suppose -f + 1 = -1. Suppose -2*j = f*j. Let x be 47/3 + (-3)/(-9). Solve j*b + 4*b + x = 0 for b.
-4
Suppose 21*x - 9*x - 60 = 0. Solve -2*o + x*o - 3 = 0 for o.
1
Let y(u) = 1. Let v(r) = -11*r - 6. Let d(n) = v(n) + 3*y(n). Let x be d(-2). Let w = -7 + x. Solve z = 5*z + w for z.
-3
Suppose 0 = 4*y + y. Suppose -10 = -t - 4*w, t - 5*w + y*w + 8 = 0. Solve t*r - 4 = r for r.
4
Suppose -4 = -n - 2. Let v be (3/(-4))/((-1)/4). Solve -v + 1 = n*c for c.
-1
Let m be (-2)/(-3)*(2 + 1). Suppose -s + 2*z = 2*s - 10, 7 = 3*s - 5*z. Solve 4*a = m*a - s for a.
-2
Let t(z) = -9 + 13*z + 2*z**2 - 4 - 3*z**2. Let y be t(9). Solve 4*a + 3 = y for a.
5
Let t be 4/(-1) + -3 + 3. Let o be (7/2)/((-2)/t). Solve 4 = -3*d + o for d.
1
Let l = -13 + 11. Let k be (-3 + (-5)/l)*0. Solve 4*y - 8 = -k*y for y.
2
Let s be (-1 - -1)*2/4. Let o(x) = -2*x - 12. Suppose 23 = -2*f + 5. Let p be o(f). Solve s = g + g + p for g.
-3
Let u be (-5)/(-1) + -2*(2 - 1). Solve t + 8 = u*t for t.
4
Suppose 0 = 3*y - 2*h - 44 - 56, -4*h - 56 = -2*y. Let j be ((-1)/(-3))/(4/y). Suppose 0 = v + 1, -d - 5*v - 1 = -0. Solve -d*q - 5 = j for q.
-2
Let g(j) = -2*j**3 - 5*j**2 + 1. Let n be g(-3). Solve 2*k = 4*k - n for k.
5
Let m = -4 - -4. Suppose g + 5*n 