
Let a be 7 + -2 - (0 - -3). Let k = 23 + -19. Solve a*n - k = 6 for n.
5
Suppose 0*v + t + 12 = 4*v, 3*v = t + 10. Let u be 9/6*(-4)/(-6) + v. Solve 0 - 3 = -u*q for q.
1
Suppose 0 = -5*v + 26*v - 105. Solve -11 = -v*k + 4 for k.
3
Let g = 1018 - 1015. Solve -8 + 5 = g*l for l.
-1
Suppose -3*b + 22 = -2*c, -5*c = -2*b - b + 46. Let k = c - -10. Suppose -k = -s - 1. Solve 0 = -3*h - 10 + s for h.
-3
Let l = 15 - -32. Solve 0 = l*k - 42*k - 25 for k.
5
Let s = 1 + -15. Let h = s - -23. Solve 11 + h = 5*m for m.
4
Let b be (2/(-4))/(5/(-40)). Suppose -2*p + 4*y + 26 = -0*y, -5 = -p + b*y. Solve -p + 5 = -4*r for r.
4
Let p = 108 + -107. Solve y - p = -3 for y.
-2
Let i(y) = -y**3 - y + 5. Let n be i(0). Suppose n*f + 19 = 4*h - 14, 3*h + 9 = -3*f. Solve 0 = 4*k + h - 6 for k.
1
Let n = 80 + -80. Suppose 6*c = c + 10. Solve n = -t - c*t + 6 for t.
2
Let i(t) = 2*t**2 + t - 3. Let x be i(-2). Let r = 3 - x. Suppose r = -c + 5*c. Solve c*n + n = 0 for n.
0
Let c = -92 + 91. Let s be 0 + 16 + c - (-6 - -9). Solve -s = 3*b - 3 for b.
-3
Let p(d) = d**3 - 11*d**2 - 11*d - 10. Let g be p(12). Let i be -2 - 0 - -1*g. Suppose 0 = 2*s - 8, 0 = 3*f + 2*f - s - 46. Solve -w - w - f = i for w.
-5
Suppose -57*r = -52*r. Solve r = -p + 1 - 0 for p.
1
Suppose -g + 29 - 24 = 0. Solve 0 = 2*l - g + 7 for l.
-1
Let f be (7/(-14)*(2 + -2))/2. Solve -5*x + 7*x - 10 = f for x.
5
Let r be (9390/(-25))/6 + 2/(-5). Let p = -61 - r. Solve 2*z + 6 + p = 0 for z.
-4
Suppose -4*g = -4*m + 5 + 3, 0 = -3*g + 3. Suppose -5*r + 19 + 26 = 0. Let o = r + -7. Solve f - o - m = 0 for f.
5
Let q be (-9 + 2)*(56/(-49))/8. Let s(r) = r**2 - 5*r + 5. Let g be s(5). Let a(o) = -2*o - 1. Let k be a(-2). Solve q = -k*f - g for f.
-2
Let a(j) = j**3 - 31*j**2 + 32*j - 57. Let b be a(30). Solve b = 4*y - 13 for y.
4
Let k = -4 - -6. Let c = 2 - k. Solve -5*i + i - 4 = c for i.
-1
Let h = 998 - 998. Solve h = -9*f + 8*f + 4 for f.
4
Let a = -8 - -18. Let w(j) = -j**3 + 11*j**2 - 11*j + 12. Let p be w(a). Let c(i) = i**2 + i + 5. Let u be c(0). Solve -1 - u = -p*v for v.
3
Let b(j) = 8*j**3 - 2*j + 1. Let t be b(1). Suppose 5*a = t*a. Solve 5 = u - a*u for u.
5
Let y(a) = -18*a**2 + a**3 - 44*a + 44 - 82 + 6*a. Let t be y(20). Solve t*o - 6*o = -4 for o.
1
Let o be 0/(-2) - 16*-1. Suppose 8*j - j + 14 = 0. Let b be ((-2)/10*12 - j)*-20. Solve 4*h + o = b*h for h.
4
Suppose 5*g - 4*q = 0, -36 = -4*g + 2*q - 6*q. Let z be 11/g - 1*12/16. Solve -5*w = -z*w for w.
0
Suppose -11*k + 110 = 11*k. Solve 0*a + k*a = 5 for a.
1
Suppose 230 = 8*k + 70. Solve 15*w - 19*w - k = 0 for w.
-5
Let l be 3*(2/(-3))/(-1) - -1. Solve o + 0 = -l for o.
-3
Let r(l) = 2*l**3 + l**2 - 8*l**3 + l**2 - 1. Let j be r(-1). Solve 2*g = j*g - 5 for g.
1
Suppose 3*a = -84 - 54. Let q = -42 - a. Solve -q*f - 3 = -f for f.
-1
Let v(j) = j - 4. Suppose r - 6 = -0*r. Let p be v(r). Let s = p + 0. Solve -5*l + 3 = -s for l.
1
Suppose -2*j + 4*n - 14 = 0, 20*j - 24*j - 5*n + 37 = 0. Solve 33*u - 30*u = j for u.
1
Let r = 12 - 2. Suppose -11*x - 39*x = -150. Solve r = x*a + 2*a for a.
2
Let x(m) = m**3 - 6*m**2 + 2*m - 10. Let l be x(6). Solve l*a - 5 + 1 = 0 for a.
2
Suppose 4*s = s + 24. Suppose 2*a + 0*a - 25 = 3*q, 3*a - q = 20. Suppose v - s = -a. Solve v*f = 2*f + 1 for f.
1
Suppose 2*t = -5*a - 3*t + 70, -5*a - 3*t + 66 = 0. Let p = a + -9. Solve p*j = -0*j for j.
0
Let r = -28 - -37. Suppose 2*z = 3*w - 0 + 2, -z - w = -6. Suppose 4 - 7 = -5*v - h, 3*v + 12 = 4*h. Solve v = z*s - r*s for s.
0
Let h be (7 + -8)*(2 - 1). Let j be 3 + (7 - h) + -3. Suppose 6*q + 20 = j*q. Solve 0 = -z - 4*z - q for z.
-2
Let p(h) = 4*h + 12. Let j be p(-1). Solve 6*x - j*x = 4 for x.
-2
Suppose 4*h - 3*h = 0. Suppose -t + 6 = -h*t. Solve -3*x - t = -x for x.
-3
Let u(b) = -b**2 + 10*b - 11. Let c be u(8). Suppose -4*d - c*p - 30 = 0, 32 = -4*d - p - 3*p. Let w be 54/30 + (-2)/d. Solve 7 + 3 = w*k for k.
5
Suppose -128 = 8*x - 160. Solve x*d - d + 6 = 0 for d.
-2
Let m be 14/112 + (-78)/(-16). Suppose 4*x = -2*f, -22 = -m*f - 0*x + x. Solve -3 = -f*d + 3*d for d.
3
Suppose -3*w - 2*w = -150. Suppose -w = -5*u + 3*s, 4*u = -3*s + 12 + 12. Suppose j = -4*j + 15. Solve j*i - u = -0 for i.
2
Suppose -2*v + 5*d + 15 = 0, 2*d - 2 = -8. Let c(j) be the third derivative of j**6/120 - j**5/60 + 2*j**3/3 + j**2. Let o be c(v). Solve 0 = q - o*q + 9 for q.
3
Let f = -427 + 441. Solve -18 + f = -2*q for q.
2
Let k be (-4)/(-18) - (-652)/(-18). Let f = 10 + k. Let r be (-26)/(-7) + f/(-91). Solve -10 = -r*g - g for g.
2
Let f = 965 - 957. Solve -16*b - 24 = -f*b for b.
-3
Suppose 2*w = -4*j + 50, 4*j - 2*w + 5*w = 47. Solve -j*g = 24 + 4 for g.
-2
Let q be -2 - -1*(-2 + 1). Let s = q + 15. Let k = s + -9. Solve -k*v = 3 - 9 for v.
2
Suppose 5*q - 3*q - 12 = 2*j, -5*q + 26 = -3*j. Let m be (-4)/(-1)*(-3 + 4). Suppose 0*b = -b - 2*y + q, 0 = m*y - 4. Solve -3 = -u - b for u.
1
Let o = 2 + 7. Let s(y) = 5*y - 10. Let l be s(o). Suppose -6*c + q + 13 = -2*c, 5*c + 5*q - l = 0. Solve -p + 0 = c for p.
-4
Suppose 38 = 2*u + 38. Solve c = -u*c for c.
0
Suppose 0 = 12*f - 50 - 106. Suppose -4*p + 7 - 17 = -3*v, v + 4*p = -2. Suppose 4*z - v - 3 = -3*s, 5*z - 6 = -4*s. Solve -f + 5 = -z*o for o.
4
Let m be ((-14)/(-8) + -2)/(14/(-112)). Let y = 14 + -7. Suppose 0 = m*b - y*b. Solve t - 1 = -b for t.
1
Let g(m) = 53*m - 20*m + m**2 - 5 - 18*m - 22*m. Let z = 8 - 0. Let u be g(z). Solve -2*s - 3 - u = 0 for s.
-3
Let p be (-5)/5 + -3 - -7. Suppose p*k - k = -k. Solve k*n - 15 = -3*n for n.
5
Let j be (-4)/(-6) - (-320)/(-12). Suppose -4*u + 21 = -95. Let k = u + j. Solve c + 2*c = k for c.
1
Let u(z) = z - 11. Let s = -13 + 3. Let x be u(s). Let h = x - -21. Solve p + h = -4 for p.
-4
Suppose 11*m - 21*m + 40 = 0. Let c be 4/(-14) + 240/56. Solve m*x = 3*x + c for x.
4
Let c(j) be the third derivative of j**6/120 + j**5/5 + 5*j**4/12 - 4*j**3/3 - 5*j**2. Let n be c(-11). Solve n*i + 8 = 5*i for i.
4
Suppose 4 = -2*l + g, 5*l - g + 20 = 4*g. Suppose l = -5*a + 13*a - 24. Suppose 0*q = -2*q + i + 3, a*q + i = 7. Solve 4*v = -q - 2 for v.
-1
Let n(z) = -z**3 - 14*z**2 - 44*z + 36. Let k be n(-8). Solve 13*s - k = 12*s for s.
4
Let x = -253 + 274. Solve x*o = -2 - 19 for o.
-1
Suppose 29 = 3*a + 26. Suppose 0 = 2*m - v - 6, 2*m - 7 = -4*v - a. Solve 7 + 8 = m*q for q.
5
Let i(s) = 6*s**2 - 2*s**2 - 4*s**2 + 1 + 3*s**2. Let g be i(-1). Solve 2*c = g - 0 for c.
2
Suppose -3*v - 22 = -4*v. Let b = v + -20. Solve -h + 2 = -b*h for h.
-2
Let g(i) = i**3 + 5*i**2 + 3*i. Let o be g(-4). Suppose -n - o*w + 22 = 0, -2*w = -7*w + 25. Solve -n*h + 2 = -h for h.
2
Let u(t) = -t**3 - 8*t**2 - t - 3. Let p be u(-8). Suppose -a - g + 6 = 0, p*a = -g + 27 + 11. Let w = a + -6. Solve 3 = -q - w for q.
-5
Let v = -16 + 20. Suppose 0 = 3*w + 3*i - 42, 0 = i - v. Solve o = -o - w for o.
-5
Let w = 2316 + -2304. Solve w = -10*t + 7*t for t.
-4
Suppose 45*n = 270 + 1215. Solve n*i - 21*i = -36 for i.
-3
Let y = 43 + -20. Suppose 3*m - 5*i - y = 0, -4*m = i - 6*i - 29. Solve -m*x + x = 0 for x.
0
Let r = -66 - -69. Solve 8 = -r*m - 4 for m.
-4
Suppose 3*f - 3*j = -2*j + 5, -f + 7 = 5*j. Let l be -3 + f + 1 + -1. Let o be (l + 2 - 5)*-1. Solve -o*i = -i + 6 for i.
-2
Let p(f) = -f**3 - f**2 - 2*f - 4. Let r be p(-3). Suppose -v - 3*v = r. Let x(o) = -2*o - 6. Let y be x(v). Solve -y*u = u for u.
0
Suppose -2*h - h = -3*f, 3*h = f - 2. Let l be (0 - 1)*(0 + h). Suppose -r + 2*t - 7 = -0, -4*r + 32 = 4*t. Solve -l - 2 = r*j for j.
-1
Let r = -12 + 17. Suppose 3*i = -0*i - 5*j + r, 3*i - 4 = -4*j. Solve i*n = -4*n - 16 for n.
-4
Suppose 0 = -2*g + 16*g - 140. Suppose g*m = 13*m - 3. Solve m = -3*z - 2 for z.
-1
Suppose 0 = 19*o - 18*o + 35. Let f(n) = -10*n. Let w be f(-6). Let a = w + o. Solve 0*j - 5*j = a for j.
-5
Let y be (0 - 0)/((12/(-3))/2). Let p(g) = g**2 - 10*g + 12. Let n be p(9). Solve -n*d = -y*d for d.
0
Let q(t) = -2*t**3 + 6*t**2 + 10*t - 5. Let l be q(4). Suppose -2*s + 15 = -2*z - l, 5*z = -4*s + 9. Solve 6 + s = 4*u for u.
3
Let f(t) be the third derivative of 4/3*t**3 + 0*t + 0 + 1/24*t**4 - 3*t**2. Let n be f(-7). Solve h = -n + 6 for h.
5
Let b = -29 + 26. Let n be b/5 - 143/(-55). Suppose 0 = -4*c + 7 + 5. Solve n = 5*h - c for h.
1
Let r(p) = -p**2 - 4*p + 4. Let x be