y + 8. Let m = -18 + 28. Solve -v - m = -l*v for v.
5
Suppose 0*q = -5*q + 5. Suppose -6 = -a - q. Solve v - a*v - 12 = 0 for v.
-3
Suppose 2*t + 16 = 6*t. Solve -t*d + 1 + 15 = 0 for d.
4
Let y be 6/(-4)*56/21. Let j be 6/y*(0 - 2). Suppose -3 - 6 = -j*x. Solve 19 = 4*t + x for t.
4
Let r(x) = -x**3 - 9*x**2 + 9*x + 10. Let g be r(-10). Let i = g - 20. Solve i*o = 3*o + 3 for o.
-1
Suppose 167 - 59 = 3*y. Suppose -20 = -5*w, -4*w + 7*w = 3*n - y. Solve 0 = 5*q - 4 - n for q.
4
Suppose -3*d - 2*w + 5 + 29 = 0, -5 = -w. Let z(i) = -i**2 - i + 1. Let t be z(-3). Let j = d + t. Solve j*l = l - 4 for l.
-2
Suppose -47 = -4*n - 5*v, -4*n - 6*v + 4*v + 38 = 0. Suppose 0 = 2*c - 2*a - 8, 2*a + 0*a + n = 3*c. Let q be (-1)/(-3 + 105/36). Solve c*o + 3*o = q for o.
4
Let c(j) = j**3 + 13*j**2 - j - 5. Let p be c(-13). Solve 0 = 3*h - p - 4 for h.
4
Let d(t) = -24*t**3 - 2*t**2 - t. Let f be d(-1). Suppose 5*l - f = -3. Solve 0*c = c + l for c.
-4
Let q = -11 + 4. Let p = q - -7. Let g(o) = -6*o**3 + 2*o**2 + o. Let s be g(-1). Solve 3*w + 2 + s = p for w.
-3
Suppose 3*q - 2*q = 3*u + 12, -q = 3*u + 6. Solve n + q - 4 = 0 for n.
1
Suppose 4*r + 12 = -4*y, -3*r + 4 = 2*y + 10. Solve r = -2*q + q + 1 for q.
1
Let j(v) = v**3 - 2*v**2 + 3*v - 3. Let r be 4/(-18) - 40/(-18). Let h be j(r). Solve -h - 5 = 2*p for p.
-4
Let o = -2 - 16. Let x = o - -28. Suppose 4*q - 9*q = -2*f - x, 3*f + q = 2. Solve f = -4*r - 4 for r.
-1
Let b be 1 - (1 - (0 - 2)). Let w = b + 12. Solve 0 = -h - 4*h + w for h.
2
Suppose 14*y = 9*y. Solve -2 = -m - y for m.
2
Let i(f) = f - 5. Let u be i(-5). Let w = u - -12. Solve -1 - 1 = -w*y for y.
1
Let y(t) = -t**3 - 9*t**2 + 11*t + 11. Suppose -4*r + 5*b = 15, -4*r + 0*b - 65 = 5*b. Let w be y(r). Let n = -6 - -8. Solve 5 = -n*m - w for m.
-3
Suppose -y - 2*y + 2*m = -19, -8 = 4*m. Suppose y*z - 16 = z. Let f = -2 + z. Solve -f*x = 3*x for x.
0
Let v be (-8)/20 - (-2)/5. Suppose v = 4*q + q. Suppose 0 = -q*a - 3*a + 15. Solve -4 = a*u - 9 for u.
1
Let j(t) = t + 3. Let p be j(-7). Let x = -50 - -50. Let c = x - p. Solve c*d - 9*d = 0 for d.
0
Let k = 44 + -24. Solve p - 5*p = -k for p.
5
Let m(q) = -3*q + 19. Let j be m(5). Solve -2*p + 2 = -j*p for p.
-1
Let b(f) = f**3 - 16*f**2 + 29*f - 13. Let n be b(14). Suppose 3*z - 1 - 5 = 0. Solve -v = n - z for v.
1
Let t be -4 - ((-140)/18 - 8/36). Solve -6 - 14 = -t*h for h.
5
Let y(g) = -g - 5. Let r be y(-7). Let o be (-1)/(0 + (-2)/20). Suppose -o + r = -u. Solve -u*z = -3*z - 10 for z.
2
Let k = -7 - -7. Solve k*d + 6 = -3*d for d.
-2
Suppose 0*c - 3*a = 3*c - 45, a + 39 = 2*c. Let l = c - 13. Solve l = -i - 0*i for i.
-5
Suppose 3*d - 1 = 11. Let s = -1 - -5. Suppose 0*p - 4*p = -s, 3*v - 4*p - 2 = 0. Solve 2*x = v + d for x.
3
Let m = -6 - -9. Solve -3 = 3*z + m for z.
-2
Suppose 4*w = y - 0*w + 24, -y - 12 = 2*w. Let u = y - -24. Let q be (-10)/5*(1 - 3). Solve -q*t + 0 = u for t.
-2
Let v = -10 + 13. Let i = -3 - -5. Suppose -3*r - v*z = -24, i*z - 7 = -r + 2*r. Solve r*f - 2 = -11 for f.
-3
Suppose 9 = g + 2*g. Solve -g*n - 26 + 11 = 0 for n.
-5
Let m = 3 - -1. Let k = m + -1. Solve -4*y = -k*y + 3 for y.
-3
Suppose 3*k - k + 25 = 5*g, 4*g = 20. Solve 4*r - 2 - 2 = k for r.
1
Suppose 3*r = 4*z + 35, 5*r = 2*z + 1 + 34. Solve -3 + 8 = r*k for k.
1
Let s(q) = q**2 - 9*q + 5. Let v be s(9). Let h be (-8)/(-10) - (-26)/v. Solve -2*b = 2 + h for b.
-4
Suppose 0 = -5*h + 5*s, -4*s + 7 - 3 = -2*h. Let d be h/10 + 2/(-10). Solve 2*v + d - 4 = 0 for v.
2
Let w be (0/(-1))/2*(-3)/3. Solve r + 4 = -w for r.
-4
Let q be -3 + 0 + 0 + 3. Let i = 2 - q. Solve 10 = -i*j - 0 for j.
-5
Suppose -k = 2*b - 16, -2*b + 2*k + 2*k = -16. Let p(d) = d**3 + 11*d**2 - 12*d - 7. Let i be p(-12). Let z = i + b. Solve -8 - z = 3*f for f.
-3
Let h be 20 + 1 + 1 + -3. Suppose -14*t = -h*t + 10. Solve -15 = -t*b - b for b.
5
Let d be 11/5 + 2/(-10). Let n = 3 - d. Suppose -2*o = -h - n, 2*h - 2 = 3*o - 1. Solve 0*t = o*t for t.
0
Suppose 2*r + 28 = -2*r. Let w be (r + -2)*(-4)/12. Solve 5 = -w*l + 2 for l.
-1
Suppose -3*i = 13 + 14. Let y(h) = h**3 + 9*h**2 - h - 4. Let o be y(i). Solve 2 = o*x - 3*x for x.
1
Let i(v) = -v + 5. Let m be i(-7). Let a(u) = -5*u**3 - u**2 - 2*u - 2. Let c be a(-1). Solve 0 + m = -c*w for w.
-3
Let w(g) = -2*g - 5. Let m be w(8). Let j = m + 24. Solve -i = j - 7 for i.
4
Suppose 0 = 3*b + b + 12. Let q = b + 5. Solve -5 = x - q*x for x.
5
Suppose 24*g - 64 - 32 = 0. Solve -g = -5*v + 6 for v.
2
Let v be (-5 + 0)*1/(-1). Suppose 0*y - v*y = -3*c - 3, -3*y = -c - 5. Solve 0 = -0*d + y*d for d.
0
Let c = -28 + 4. Let i be (-10)/(-4) - c/16. Solve -k = i*k + 5 for k.
-1
Let t be (-3 - -2 - -152) + -1. Suppose t = 7*i - 2*i. Suppose 0*o = -3*o + i. Solve 6*h = h + o for h.
2
Let j be (-2)/(-10) + (-57)/(-15). Suppose 5*r = -5*z + 15, j*r = z + 5 + 7. Let n be 1*(-12)/4 + 7. Solve -n = -4*p - z*p for p.
1
Let m(w) = -w**2 - 5*w - 3. Let k = -12 - -9. Let o be m(k). Let c = -10 - -14. Solve c*t = o*t for t.
0
Let l = 28 - 22. Suppose -3*g = 2*y - 13, 3*y - l*y = 4*g - 17. Solve 4 = g*x - x for x.
1
Let w(j) = -3*j**2 - 3*j + 3. Let b be w(2). Let c be 1/(-3) - 5/b. Let g be (-8 + c)/((-4)/6). Solve 0 = 2*r - g + 4 for r.
4
Let p(w) = w**3 - 4*w**2 - 3*w - 7. Let o be p(5). Suppose 6 = 2*a, 0 = l + 4*l - o*a - 16. Solve l*x + 4 = x for x.
-1
Suppose -5 = 2*q + 3*u - 3, -3*u + 13 = 5*q. Solve -q*s = -s + 16 for s.
-4
Let j be 2/((16/30)/4). Solve f = -2*f + j for f.
5
Suppose 0 = -d - 1 + 6. Suppose 0 = f - 5*u - 24, -d*f + 2*u - 3*u = -16. Suppose -2*w = -0 - f. Solve -22 = -5*x - w for x.
4
Suppose 3*u - u + 3*z = 14, -4*u + 46 = -3*z. Let m(q) = 2*q**2 - 2*q - 1. Suppose 1 = -4*f - 3. Let k be m(f). Solve -k*y - 2*y = u for y.
-2
Let m = 34 + -24. Solve -5*j = 15 + m for j.
-5
Suppose 4*t - 3*v - 17 - 15 = 0, -2*v = 4*t - 12. Solve 0*n - 25 = t*n for n.
-5
Let n = 20 - 10. Suppose 3*h - n = 5. Suppose -3*p - j - j = -17, -2*p - 2*j + 14 = 0. Solve 4*y - h*y - p = 0 for y.
-3
Suppose -4*q - 8 = -40. Solve 4*y + q = -0*y for y.
-2
Suppose 5*x + d - 31 = -6, 0 = 4*x - d - 11. Solve 0 + x = 2*a for a.
2
Let k(i) = i + 2. Let c be k(0). Solve c + 2 = -n for n.
-4
Let n(m) = -m**3 - 12*m**2 + m + 16. Let i be n(-12). Suppose 2*h = 4*o + 6, -4*h - 2 = o - 5*h. Let f = -1 - o. Solve f*b - i*b + 8 = 0 for b.
2
Suppose 19*j = 18*j + 4. Solve -j*r = 8 + 12 for r.
-5
Let q(u) be the first derivative of -u**3/3 + u - 3. Let w be q(-1). Solve 2*f + w*f - 6 = 0 for f.
3
Suppose -2*h + 5*c = -4, 2 = h + 4*c - 0. Let o(i) = -3*i + 4 - 1 + h*i. Let m be o(0). Solve m*f - 2 = f for f.
1
Let h be (-6)/(-6)*10/2. Solve f = h*f for f.
0
Let a = 4 + -4. Let u be -1*(2 + -3)*a. Suppose u = -2*i + 3*v + 6, 5*i + v + 0*v + 2 = 0. Solve i = t + 1 + 1 for t.
-2
Suppose -s = -4*s - 5*t - 28, 4*s + 5*t = -34. Let q = 13 + s. Let z be (-5 + q)/(2/7). Solve 2*a - z = 1 for a.
4
Let m = 20 - 20. Solve 0 = 2*h - m*h for h.
0
Suppose -9 = i - 4*i. Solve -3*n - 12 = -i for n.
-3
Suppose 11 = g + 1. Suppose -g*r = -7*r - 9. Solve 0 = r*k - 3 - 3 for k.
2
Suppose q = 3*r + 1, 0 = q + q - 3*r - 5. Let t = 839 + -828. Let p(g) = g**2 - 4*g - 4. Let l be p(5). Solve l + t = q*i for i.
3
Suppose -5*r - 3*x + 6 = 0, -4*r - x + 2*x = 2. Solve r*v = v for v.
0
Suppose 7*r - 2*r - 18 = -2*k, 0 = -k - 1. Let o = 13 + -10. Suppose 3*h - o = -0. Solve r*b - h = 3*b for b.
1
Suppose -y - 25 = -6*y. Let o be 40/16*8/y. Solve -6*b = -2*b - o for b.
1
Suppose n = -0*n + 2*x + 5, x = -3. Let o be (-3 + 2)/(0 + n). Suppose -2*l - o + 5 = 0. Solve -4*k + 22 - l = 0 for k.
5
Let z = -56 + 56. Solve z = -0*u + 5*u + 10 for u.
-2
Let g = 46 - 43. Solve 12 = 3*q - g for q.
5
Let c = 3 - -4. Suppose -5*h + 0 + 15 = 0. Solve h*f = -c - 8 for f.
-5
Let j be 64/10 - (-1 - (-14)/10). Solve -10 = -j*r + r for r.
2
Suppose 5*z - 31 = -1. Solve 0*t - 2*t = z for t.
-3
Let d(b) be the second derivative of b**5/20 - 3*b. Let z be d(0). Suppose 0 = -3*y - z*y + 6. Solve y = 4*o - 18 for o.
5
Let f(w) = -w**2 + 10*w + 3. Let l be f(9). Solve 0 = -5*n + 13 + l for n.
5
Let i be ((-3)/(-2))/((-5)/(-20)). Suppose -i*w + w = 0. Solve w = 3*h + 2*h + 15 for h.
-3
Let g = 5 - 5. Suppose -3*m + 2 = s - 0*m, -3*s - 8 = 2*m. Let x be 4/2*(-10)/s. Solve -x*w + 3*w