 q for y.
5
Suppose -4*v - x + 2*x + 33 = 0, -x = 5. Let c = v + -6. Let a(b) = -3*b - 5. Let n be a(-4). Solve -2*l + n = c for l.
3
Let j(t) = t**2 + 6*t - 7. Let b be j(-7). Solve -x + 4 = -b*x for x.
4
Let s be -8 + 9 + (-4)/(-2). Solve -2 - 1 = s*n for n.
-1
Let q(n) = -2 - 7*n**2 - 5 + 2*n - 2 - n**3 + 2*n**3. Let y be q(7). Solve -y*x - 5 = -15 for x.
2
Suppose -2 = v - 5. Let d be (-1 - -1 - 0)*-1. Let c be (d - 1/2)*-6. Solve -3 = c*o + v for o.
-2
Suppose 5*x + 4*c - 20 = 0, -4*x - 5*c = -10*c + 25. Suppose x*p = -2*p + 8, -4*j - 4*p + 16 = 0. Solve -4*t + 3*t - 2 = j for t.
-2
Let x be (-285)/(-10)*(-2)/(-3). Let j = x - 19. Solve j = -u - 2*u for u.
0
Let x be ((-3)/(-2))/(12/32). Solve n + x = 7 for n.
3
Let r(t) = -t**3 + 6*t**2 + 17*t - 6. Let n be r(8). Suppose -15 = 5*a - 10*a. Solve -a*b + 14 = n for b.
4
Suppose -2*a - 3*a + 20 = 4*r, -4*a = -5*r + 25. Let l = -1 + 1. Suppose l = -5*o + 5*s - 5, -3*o + s = -3*s + 4. Solve o = -5*c - 10 - r for c.
-3
Let c be -9 + 7 + 10 + -1. Solve 2*q = c*q - 5 for q.
1
Suppose -4*i = -0*i - 3*o + 24, -3*o = 5*i + 30. Let c = 8 + i. Solve -2*y = 4 + c for y.
-3
Let h = 310 - 210. Let z be h/30*(-12)/(-10). Solve 3*l = -l + z for l.
1
Let u(n) = 4*n + 3. Let i be u(-3). Let l(s) = -s**3 - 9*s**2 + s + 9. Let a be l(i). Solve g = -a*g for g.
0
Let l(k) = -k**2 - 16*k - 12. Let a be l(-15). Solve 0*x = -a*x for x.
0
Suppose -36 = -2*q - 2*w, q - 4*w = 2*q - 27. Solve -3 = 4*z - q for z.
3
Suppose -153 - 207 = -4*b. Let n = b + -60. Let t = 45 - n. Solve -2*c = -5*c - t for c.
-5
Let d = 21 + -14. Solve -o = -3 + d for o.
-4
Suppose 4*c + 2*g - 14 = 0, -c + 24 = 5*g + 7. Suppose -2*n - 2*n = -2*q - 22, 5*n + 2*q - 14 = 0. Solve -c*x + n = -4*x for x.
-2
Let p = -7 + -2. Let q be (-2)/p - 169/(-9). Suppose 4*a - 61 = q. Solve 0 = 2*f + 2*f - a for f.
5
Suppose -2*m + 11 = 3*k - 1, 3*k - 12 = -4*m. Suppose m*z - 15 = -3*z. Suppose 3*h - z*j = 7, 4*h - 2*j - 6 = 2*h. Solve h*y - y + 9 = 0 for y.
-3
Let v(c) = -7*c**2 - 10*c + 7. Let i(d) = 6*d**2 + 9*d - 6. Let w(j) = -6*i(j) - 5*v(j). Let o = -4 - -1. Let b be w(o). Solve 0*a = b*a for a.
0
Suppose -19*f = -23*f + 32. Suppose -4 = -2*t + 2. Solve t*c - f = -c for c.
2
Let i be (-62)/22 + 4/(-22). Let h be (1*-4)/(i/(-3)). Let x = h + 6. Solve 6*u = x*u - 20 for u.
-5
Suppose -2*z = 5*o + 11, 7 = z - 4*o - 7. Suppose 5 - 31 = -4*g - z*x, -3*g + x + 7 = 0. Solve -g = -s - 0 for s.
4
Let g be (0/(2 - 0))/(-1). Suppose -18 = m + m + 5*x, g = 3*m + 5*x + 17. Let t be (-5 - (-1 + m))/(-1). Solve -t - 4 = -3*o for o.
3
Let r = -3 + 7. Solve -5*k - 1 = r for k.
-1
Let p(t) be the third derivative of 0 + 0*t + 1/6*t**3 + 1/24*t**6 - 1/24*t**4 + 2*t**2 - 1/60*t**5. Let y be p(1). Solve y*l = l for l.
0
Suppose -3*w - 9 = -6*w. Solve w*m + 1 - 16 = 0 for m.
5
Suppose 0 = -3*n - n + 16. Solve p + n = 1 for p.
-3
Suppose 0*u = -u + 8. Suppose -g - u = -2. Let w be 3*1 - (g + 5). Solve -w*f = -18 + 6 for f.
3
Suppose 4*z + 3*b + 12 = 0, -5*z = -4*b - 12 - 4. Solve z = -7*p + 8*p - 2 for p.
2
Suppose -3*m - 63 = -3*k, 2*k + 0*k + m - 57 = 0. Solve 0 = 5*i - k + 1 for i.
5
Suppose 2*z + 14 = v, -2*z + 18 = -3*v + 6*v. Suppose a + 2*a = 9. Suppose v = a*h - h. Solve -h*u - 3 = -3*u for u.
-3
Let n be (-2 + 3)/(1/1). Suppose -n + 9 = 2*s. Solve -11 = -3*u + s for u.
5
Let c be (-2)/5 + (-119)/(-35). Suppose 0 = -3*b + 2*s + 17, -c*b + 3*s + 19 = 2*s. Solve -v = -2 + b for v.
-5
Let w = -28 + 48. Solve w = 8*l - 3*l for l.
4
Let x = 31 - 43. Let o be (-1)/3 - 220/x. Suppose 0 = j - o + 3. Solve -2*s + j = s for s.
5
Suppose -4*f + 5*x - 10 = -9*f, 12 = -3*x. Let n(i) = -4 + 5*i - 4*i + 0*i. Let h be n(f). Solve 0 = -h*p - 10 for p.
-5
Suppose 10 = -3*r + 1. Let c be r/(-6)*1*4. Solve c*m = 3*m for m.
0
Let x = 14 + -10. Let h(q) = q**3 - q - 2*q - 3*q**3 - 2*q**2 - 1. Let y be h(-2). Solve x*a = -1 + y for a.
3
Let h(y) = y**2 - 5*y. Let z be h(5). Suppose -s + z = -8. Solve 2*q - s = 6*q for q.
-2
Suppose 0 = -4*h + 4*r + 12, -2*r = -5*h - 5*r + 31. Solve -h*d + 11 + 14 = 0 for d.
5
Suppose 2*a + 11 = g - 0*g, 20 = -5*a. Solve w + 2 + g = 0 for w.
-5
Let l be -1*(50/(-4))/((-1)/(-2)). Solve -4*j - l = j for j.
-5
Suppose -4*c + 9 - 1 = 0. Suppose 6*i - 4 = -2*z + 2*i, i - c = -z. Solve 0 = z*x + 3 - 9 for x.
3
Let w = -162 + 166. Solve -h - w = -8 for h.
4
Suppose 6 = 5*j - 3*j. Suppose -5*t + j*h = -10, t = -t - 5*h + 4. Solve 6 = -5*q + t*q for q.
-2
Let b(q) = q**3 + 16*q**2 + 14*q - 11. Let u be b(-15). Suppose 0 = -a - u*x - 20, 2*a - 3*x = 4*a + 15. Solve -3*r - 1 + 7 = a for r.
2
Let t = -4 - -14. Let r be (8/(-10))/(t/(-25)). Solve 0 = r*a - 0*a for a.
0
Let g be (10 + -9)/((-2)/(-14)). Let p(w) = 6*w + 1. Let v be p(2). Let j(o) = 2*o - 5. Let t be j(5). Solve v = t*s - g for s.
4
Suppose -7 = j + j + 3*y, j - 4*y - 13 = 0. Suppose 3 = -4*q - h, -q - 3*h - j = 8. Solve -4 = f - q for f.
-4
Let o(v) = v + 1. Let j be o(8). Let b be -3*(6/j + -1). Solve -b = 3*x + 8 for x.
-3
Let v(t) = -3*t**2 - 13*t - 3. Let n be v(-4). Solve 3*h - n = 2 for h.
1
Suppose -2*b = b - 12. Let o(z) = -z**2 + 3*z - 5. Let m be o(b). Let c be 5/3 - (-6)/m. Solve t - 4 = c for t.
5
Let m(b) = b**2 + b. Suppose 5*t + 16 = 1. Let o be m(t). Solve -h - 2*h = o for h.
-2
Suppose f + 4*d + 8 = 7*d, 0 = -3*d + 12. Solve 0 = -w + 5*w - f for w.
1
Let u(q) = q**2 - 7*q + 9. Let d be u(6). Solve -r + 16 = d*r for r.
4
Suppose -s - 5 + 1 = -2*u, 5*s - u = -20. Let i = s - -5. Let h be i/(-2) - (-4)/8. Solve -x + 2*x + 4 = h for x.
-4
Let b(d) be the first derivative of -d**5/120 + 11*d**4/24 + 2*d**3/3 - 2. Let a(j) be the third derivative of b(j). Let m be a(6). Solve -2*z = 3*z + m for z.
-1
Let b(t) = -4*t**3 + 9*t**2 - 9*t + 8. Let i(q) = 3*q**3 - 10*q**2 + 10*q - 9. Let c(j) = -2*b(j) - 3*i(j). Let y be c(11). Solve p - 4 = -y for p.
4
Suppose 134 = 5*r + 9. Suppose 2*i = y - 15, -r = 8*i - 3*i. Suppose 7 = 3*s - y. Solve 5*g + s = -6 for g.
-2
Suppose o - 2 = -2*u + 3*o, -5*u + 2*o = -8. Solve u + 2 = -f for f.
-4
Suppose -5*j + 20 = -j + 5*d, -2*j + d = -10. Solve 37 = j*q + 12 for q.
5
Let t be (-4)/(-8)*8 - 4. Solve t = -a + 1 + 1 for a.
2
Suppose 2*d = -3*c - 0 - 3, 10 = 4*c - 2*d. Solve 2*m - c = 1 for m.
1
Let j(k) = -k**3 - 3*k**2 + k - 7. Let g be j(-4). Solve -g*u + 10 = -0 for u.
2
Suppose 2 = 5*i - 28. Suppose 24 = 3*w - 3*k, -22 - 10 = -3*w - 5*k. Let m = w - i. Solve 5 = m*q - 4*q for q.
-5
Let o = 4 - 0. Suppose -a - 1 = 0, 3*a - a = -o*l + 14. Suppose -3*k = -k + 2*w - 10, l*k - 4*w = 60. Solve 0 = 4*f + f + k for f.
-2
Let w(g) = g**3 - 12*g**2 - g + 17. Let o be w(12). Let d = -6 + o. Let v be (2/d)/2 - -6. Solve -v*k + k + 12 = 0 for k.
3
Suppose 0 = -3*p - 7 + 28. Solve -p = 5*f + 3 for f.
-2
Let g = 45 + -37. Solve 4*r = g*r for r.
0
Suppose 4*m = -m + 5. Let i(a) be the first derivative of -a**2/2 + 10*a + 2. Let b be i(7). Solve -n - b = m for n.
-4
Suppose p + 5*d = 18, 2*p - 5*d - 11 = -35. Let j be -2*p/(-4)*-2. Suppose 0 = -j*a + 4 + 2. Solve n = a*n - 6 for n.
3
Let p = -5 - -9. Let k = p + -2. Suppose 0 = -k*x + x. Solve 2*b + b - 15 = x for b.
5
Let h be (0 - -2) + 0/1. Suppose h*w - 2 = 2. Let a(v) = v + 7. Let i be a(-3). Solve -6*j + w*j + i = 0 for j.
1
Suppose -4*j = -3*u + 2*u - 7, -3*j - 4*u = 9. Solve -4*r - 13 = -j for r.
-3
Suppose j = -q + 21, -5*j + q - 36 = -117. Suppose -j = -2*x + 7. Solve 0 = 2*w + 2*w + x for w.
-3
Let t(s) = -s**2 - 8*s - 8. Let k be t(-6). Suppose 3*m - 18 = 6. Solve 0*h = k*h + m for h.
-2
Let a = 37 - 31. Let k(x) = -x**3 - 7*x**2 + 2. Let j(c) = 3*c - 1. Let b be j(-2). Let n be k(b). Solve -n + a = -2*u for u.
-2
Let s = 11 + -11. Solve l + 4 = -s for l.
-4
Suppose -3 + 7 = -2*j. Let w be 1/(j*(-3)/12). Solve 2*o - w = -10 for o.
-4
Suppose 4*x - 2*h = -16, 5*x + 3 = -h - 17. Let d be (2 - 3)/(1/x). Suppose -3*t + 0*t = -3*u - 9, -6 = -2*t - 4*u. Solve -t*n - d = -10 for n.
2
Suppose -l + 3*v - 12 = 0, l - 5*l + 17 = v. Solve -r = l*r for r.
0
Suppose -2*d = d + 12. Let l be (-2)/d*(6 + -2). Let v be l/(-4)*(-5 + 5). Solve 2*s = -v*s for s.
0
Let x(z) = -z + 4. Let g be x(0). Let d be ((-18)/8 + 2)*-4. Suppose 7*o = 2*o - 5*b, 4*o = -5*b - 3. Solve g - d = o*p for p.
1
Suppose -3*g = -8*g - 30. Let c be ((-18)