y = 26 - 16. Suppose n + 12 = -y. Let f = n - -31. Solve -2*j + f = j for j.
3
Let n = 21 - 19. Solve 0 = -5*p - 17 + n for p.
-3
Let n be -8*(10/(-4) - -2). Let t be -6*3/(-8)*n. Solve -3*i + 0*i = t for i.
-3
Let q(i) = i**3 - 11*i**2 - 3*i + 16. Let j be q(11). Let t = j - -19. Solve -y + t = -1 for y.
3
Let m(f) = 9*f - 1. Let a be m(1). Suppose -5*z - 12 = 4*p, -3*p + a*p - z = 14. Suppose 3*q = p*q + 3. Solve 2*n - q = 3 for n.
3
Let r = 327 - 327. Suppose 0 = -4*p - 5*o + 17, 8*p + o = 3*p + 37. Solve r = 4*j - 0*j - p for j.
2
Let h be (-428)/18 + (-4)/18. Let g be 34/8 + 6/h. Solve 11 = g*i - 5 for i.
4
Suppose 2*x + 4*i = 30, -3*i = -11 - 4. Suppose 40 = 5*z - 55. Solve -x*d + 4 = z for d.
-3
Let q(p) = 4*p - 40. Let a be q(10). Solve -2*s - 2*s = a for s.
0
Let j be ((-4)/(-26) - 148/(-52))*1. Solve 12 = -j*k - 0 for k.
-4
Let k be (8/5)/((16/(-10))/(-4)). Solve -k = -c + 3*c for c.
-2
Suppose 2*m = -9 + 3. Let w be (-8)/(m/(9/6)). Suppose -2*a = 2*r + 2, 0*r - w*a = -r + 19. Solve -g - 1 = -r for g.
2
Suppose l + l = -n - 5, -2*l = -3*n + 25. Let z = -10 + n. Let v be -1*(z + 0 + 2). Solve 1 = g + v for g.
-2
Let q(v) = 2*v**2 - 3*v + 3. Let z be q(2). Solve 0 = -z*o + 3 + 7 for o.
2
Let a(b) = b**3 - 6*b**2 - 8*b + 9. Let z be a(7). Let h(m) = 2*m**2 - 4*m + 2. Let d be h(3). Solve z*j = -2*j + d for j.
2
Let r = 52 + -32. Let z = r + -7. Let o(i) = i. Let g be o(4). Solve -z = g*w - 1 for w.
-3
Let t(h) = h**2. Let i(z) = 4*z**2 + 7*z + 6. Let y(r) = -i(r) + 3*t(r). Let l be y(-5). Solve -l*b + 10 = b for b.
2
Let f be -2 + 4 - (-18)/2. Solve -f - 1 = -4*x for x.
3
Let o = 17 - 10. Solve -3*v = -o*v - 8 for v.
-2
Let x(w) be the first derivative of -w**2 - 5*w + 4. Let y be x(-3). Solve 2*l - y - 9 = 0 for l.
5
Suppose -5*c + 14 + 21 = 0. Suppose c*z = 2*z + 10. Solve 0 + z = -i for i.
-2
Let f be 8/2 + (1 - 3). Solve -f*b = b + 6 for b.
-2
Let h(l) = -l**2 - 5*l. Let p be h(-4). Solve p*o + 8 - 24 = 0 for o.
4
Let d = 15 - 10. Suppose 3*i + 7 = 5*s, -2*i = 3*s - d*i - 3. Let u be (6 - 7)*(1 + -4). Solve u*a = -s*a + 25 for a.
5
Let b = 23 - -2. Suppose 2*o + 5 = b. Solve 0 = -4*h + o + 10 for h.
5
Suppose -v = -3*v. Suppose 0 = -5*g + 60 + 15. Let m = g + -3. Solve -2*q - q + m = v for q.
4
Suppose 0 = -17*j + 12*j. Let u = j + 12. Solve l - u = -3*l for l.
3
Let o be 4*(-2)/((-4)/2). Suppose -3*d = -5*d + o. Suppose g = d*g - 8. Solve g*p - 20 = 4*p for p.
5
Let p be (-15)/10 - 35/(-2). Suppose -16 = -5*j - w, p = 5*j - 2*j - w. Solve 0*m = -j*m + 8 for m.
2
Let j(g) = -2*g - 5. Let x be j(-5). Suppose x*w + 1 = -2*n - 1, 4*w - 2*n - 2 = 0. Solve 2*y + 3*y + 20 = w for y.
-4
Let d be (-1 + 0)/(-2 + 1). Solve j - d = -0 for j.
1
Let a = -2 + 21. Suppose -4*q + 4*w + a = -9*q, 0 = -3*q + w - 8. Let p = q - -6. Solve p*s - 2*s = 5 for s.
5
Let n = -77 - -77. Solve 3*i - 5*i = n for i.
0
Let r(h) = -3*h - 7. Suppose 2*d - 41 = -0*d - 3*f, 0 = -2*d + 2*f + 16. Suppose y = 2*p - d, 0*y + y + 4*p - 11 = 0. Let m be r(y). Solve -4*j - 4 = -m for j.
1
Let j(b) = b - 2. Let l be j(4). Suppose -2*r = p + 1, r + 0*p + 13 = 2*p. Let o = r + 8. Solve 0 = 3*a + l*a - o for a.
1
Let o be 3/((2 + -11)/(-3)). Let t = 3 - o. Suppose -f = t*f - 12. Solve f*k + 5 = -k for k.
-1
Suppose 3*r = 2*r + 8. Suppose 4*m - r*m + 4 = 2*u, 0 = -u + m + 2. Solve u*b - 5 + 3 = 0 for b.
1
Suppose 2*l - 60 = -4. Let p = l + -20. Suppose 4*z - 12 = p. Solve -11 = -z*u + 4 for u.
3
Suppose -d - 6 = -3*d. Let k(h) = -h**3 - 5*h**2 - 3*h - 4. Let s be k(-4). Let r = -3 - s. Solve -r = -q - d for q.
2
Let c(b) = b + 7. Let g be c(-7). Let u be (1 - -13 - -1) + g. Solve 0*s + u = 3*s for s.
5
Let z = -26 - -50. Suppose -4*w + 16 = -z. Solve -n = -3*n + w for n.
5
Suppose 2*b = 3*b + 3*x - 25, -b = 4*x - 30. Suppose 3*h = 4*m + 7 + b, -7 = -h + 2*m. Suppose -h*d = d - 4. Solve 4*t + d = 3*t for t.
-1
Suppose -f + s = -3, 5*s = -3*f - f + 30. Suppose -f*v = 2*l - 5, 3*l - 2*v = -l - 2. Let t = -4 - -6. Solve l = -t*p + 3*p - 5 for p.
5
Let a(i) = 2*i - 2. Let f be a(2). Solve 22 - f = -4*u for u.
-5
Suppose 3*j = 5 + 4. Suppose 13 = j*c - 5*r, -r - 2 - 3 = -c. Suppose c = 2*y - y. Solve 4*b = b - y for b.
-2
Suppose 8*y - 7*y - 6 = 0. Suppose 4*r = 5*w, -r - 4*w = -3*r - y. Solve 16 = r*m + 6 for m.
2
Let l(y) = -y + 11. Let c be l(11). Let x(w) = -w**3 - w**2 + w + 5. Let d be x(c). Suppose 0*a = -d*a + 25. Solve 0 = a*b - 0*b + 15 for b.
-3
Let i(z) be the first derivative of -1/2*z**2 + 3 + 0*z - 11/4*z**4 + 0*z**3. Let l be i(-1). Solve a - l = -2*a for a.
4
Suppose 0*q + q + k = 10, 2*k = 10. Solve -17 = -3*s - q for s.
4
Suppose 6 = -3*a + 4*a + 5*w, 3*a = -5*w + 18. Solve a*t = t + 15 for t.
3
Suppose 0 = -q + 6 + 9. Suppose -k = 5 - q. Suppose 5 = 5*t - k. Solve -t*s + 8 = -5*s for s.
-4
Suppose -5*s + 1 = -34. Let g = s - 4. Suppose 18 = 3*m + 3*r, -2*m - m + 5*r - 14 = 0. Solve g*p - m = 10 for p.
4
Suppose 10*r + 0*r - 40 = 0. Solve s + 1 - r = 0 for s.
3
Suppose -10 = -n + 4*x, 0*n = 3*n - 4*x - 14. Solve -n*v = v - 12 for v.
4
Suppose -5*t + 35 = -5*o, 5 = 3*o + 2*o. Solve -w - 3*w = t for w.
-2
Let d(l) = -4*l + 15. Let o(f) = -11*f + 44. Let y(b) = 17*d(b) - 6*o(b). Let c be y(-7). Suppose 2*p - 1 - 1 = 3*m, -5*p = 4*m - c. Solve m = z - 0 - 4 for z.
4
Suppose 0 = 5*l - 4*l + 4. Let j = l + 8. Suppose 0 = 4*z + 4*m - 20, m - 8 = -2*z - 2. Solve j = -n - z for n.
-5
Let c = 6 - -5. Let f = c - 7. Solve -n + 2*n = -f for n.
-4
Let w be 18/(-10)*(-75)/45. Solve 0 = -w*k - k + 8 for k.
2
Suppose -5*i = -614 + 489. Let l(x) = x**2 - x + 2. Let c be l(0). Solve -c*k + 7*k - i = 0 for k.
5
Let o be 2 + 2 + -6 - -2. Let n(x) = -3 - 2*x + 3*x + o. Let g be n(5). Solve 2*k - g = -6 for k.
-2
Let g(f) = f - 3. Let o be g(4). Solve 5 = x + o for x.
4
Let h be 2/(-6) + 200/24 - -1. Solve -b + 6 = h for b.
-3
Suppose 0 = 6*n - 5*n - 14. Suppose 2*s = -2*s + 24. Suppose -x = -3*a + 17, -x + 3*x = -2*a + s. Solve -4 + n = a*g for g.
2
Let q(v) be the first derivative of v**4/4 - 5*v**3/3 + 2*v**2 + 2*v + 2. Let p be q(4). Solve -s + 15 = p*s for s.
5
Suppose 5*l = -5*d + 10, -3*l + 6 = 5*d - 0*l. Let f(k) = -2*k - 1. Let g(q) = 5*q + 4. Let h(n) = 8*f(n) + 3*g(n). Let t be h(d). Solve t = 2*v + 2*v for v.
1
Suppose -3*g - r = -g - 13, 15 = 5*r. Suppose 0*l - g*l + 10 = 0. Solve -5*o = -l*o + 6 for o.
-2
Let l(w) = w**3 - 5*w**2 + 8*w - 6. Let a be l(3). Solve -4*r + a*r + 12 = 0 for r.
3
Let a be 2/(-3)*(-6)/4. Let z be 5/(((-5)/2)/(-5)). Suppose -l + z = 8. Solve l*j + 11 = a for j.
-5
Suppose 11 = 4*s + 3. Let p be (s/(-4))/(2/(-8)). Let h be 5*(0 - -2)/p. Solve h*z = 18 + 7 for z.
5
Let a = -43 + 53. Solve 5*w = a + 15 for w.
5
Let v(h) = -h - 15. Suppose s - 60 = 5*c, 5*c = -2*s - 32 - 13. Let m be v(c). Let j = m - -4. Solve l + 4*l + 10 = j for l.
-2
Suppose -3*p + 14*p = 0. Solve 2*d + p*d - 10 = 0 for d.
5
Let f be 20/(-8) + (-2)/(-4). Let q = 6 + f. Solve 3*y - 5*y = q for y.
-2
Suppose 3*t = -2*z + 2 - 8, -2*t + 3 = -z. Solve t*i = i for i.
0
Let z = -4 - -11. Suppose -4*a + 26 = -3*x, -z - 13 = -2*a - 2*x. Solve -u = -3*u + a for u.
4
Let j be (10/(-3))/(5/15). Let b be (12/j)/(4/(-10)). Solve -b*f = -1 + 7 for f.
-2
Let u be ((-11)/(330/(-72)))/((-2)/(-5)). Solve 0 = -4*c + u + 14 for c.
5
Let l(j) = j. Suppose -6 = -2*t - t. Let s be l(t). Suppose c = s*c. Solve c = -g - 3 + 5 for g.
2
Let h(g) = g + 5. Let o be h(-5). Let d be o - (2 - (1 + 1)). Solve -6*z + 4*z - 8 = d for z.
-4
Let p = -1 + 34. Let s = p + -23. Solve -y - y = s for y.
-5
Let l = -5 + 9. Let w be (l/(-5))/((-4)/10). Solve w + 3 = d for d.
5
Let l(w) = w**2 + 11*w + 12. Let r be l(-10). Let i = -6 - -6. Suppose -j + 2*j = i. Solve 2*h - r - 2 = j for h.
2
Let h(t) be the second derivative of -t**5/20 + t**4/12 - t**3/6 - t**2 - 2*t. Let x be h(0). Let k = x - -2. Solve k*y = y for y.
0
Suppose 4*t + 4*j - 4 = 0, -3*j + 4 = -t + 1. Let b(i) = -i**3 + 5*i**2 + 2*i - 5. Let r be b(5). Solve 0*q + q + r = t for q.
-5
Suppose 0 = 4*z - z - 180. Suppose 0 = 6*y - 4*y + z. Let k be 6/9 + y/(-9). Solve 3*u + k = -u for u.
-1
Let r(o) = -o - 5. Let f be r(-9). Solve f*m - 6 = 14 for m.
5
Let t = 36 - 34. Solve t = d - 0*d for d.
2
Suppose 0 = 7*c - 3*c - 4. Let b be c + 2 + -4 + 2. Solve 0 = v -