 1 for y.
-2
Let j = 6 - 4. Let o be 1/j - (-3)/(-2). Let m be o + 0 + (0 - -7). Solve 7*u = m*u - 3 for u.
-3
Let u(j) = 9*j - 43. Let b be u(7). Solve m - 5*m = b for m.
-5
Let a be 23/7 - (-2)/(-7). Let f(z) = 5*z - 1. Let j be f(1). Let x be 10/j + (-9)/6. Solve -a*r - x = -4 for r.
1
Let c = -61 - -63. Solve l = -c*l + 3 for l.
1
Suppose -11*f + 15 = -7. Solve -f*n = n for n.
0
Let f = 4 - -1. Suppose -f*i = -3*n + 35, 4*n = -4*i + 5 + 95. Let s = -9 - -14. Solve n - s = -3*k for k.
-5
Suppose 2*q - x = -9, -5*q + 5*x - 18 = -3. Let l = 11 + q. Suppose 0 = 2*c - l*c + 9. Solve -c*m = -1 - 5 for m.
2
Suppose -2*z - 5 + 13 = 0. Suppose x = z*x. Solve 3*f + x*f = 12 for f.
4
Let h = -19 + 25. Solve h + 14 = -4*u for u.
-5
Let t be (-9)/63 - 22/(-7). Solve t*c + 2*c = -10 for c.
-2
Let t = 2 + 0. Let g be ((-2 + t)/2)/2. Solve n - 2 = -g for n.
2
Let p = 14 - 6. Let t(y) = -y**3 - 5*y**2 - y - 7. Let s(h) = -h**3 - h - 1. Let m(f) = 2*s(f) - t(f). Let x be m(5). Solve x*c + p = 4*c for c.
2
Suppose 2*j - 24 = -2*j. Let z be 8/(-6)*j/(-4). Suppose -z*l + 2 = -p - 6*l, -l - 5 = -2*p. Solve -p*w + w = -1 for w.
1
Let u(h) = -h - 3. Let z be u(-8). Suppose 4*n = -z*d + 39, -5*n + 15 = -8*d + 3*d. Solve -r - r = n for r.
-3
Let d = -8 + 11. Suppose -5*b = -d*b. Let h(a) = -a + 3. Let m be h(b). Solve 0 = z + m + 1 for z.
-4
Let s = 2 - 0. Solve s*b - 3*b + 3 = 0 for b.
3
Let f be (2 - (-1 + 4))*-2. Solve f*a + 1 = 3 for a.
1
Let b(o) = -o + 3. Let f be b(3). Suppose 4*m + 9 + 7 = -4*w, 5*w = -3*m - 10. Suppose -i + f = -w. Solve 5 = 2*q - i for q.
3
Let m(w) = w**2 - 4*w - 7. Let x be m(6). Solve 0 = -4*s + 5*s + x for s.
-5
Let y(p) = p - 12. Let c be y(12). Suppose -8 = -4*b - c*b. Let r = 19 + -12. Solve r*w = b*w for w.
0
Suppose -2 = -5*w + 3. Solve 2 + w = -3*p for p.
-1
Let l(h) = 2*h + 16. Let y be l(-6). Solve -c + 1 = y for c.
-3
Let u be ((-260)/91)/(2/(-14)). Solve 2*w = -3*w - u for w.
-4
Suppose -5*s + 14 = -6. Solve -s = 4*r + 12 for r.
-4
Let f be ((-2 - 0) + 3)*5. Solve 0 = -3*l - 1 - f for l.
-2
Let i be (-2)/(-6) + (-17)/(-3). Let u = i + -1. Suppose -c - 3*c = -u*j - 8, 4*j - 4*c = -8. Solve j = -8*l + 3*l - 20 for l.
-4
Let c(r) = -3*r - 9 + 1 + 2. Let z be c(-7). Solve -z = 2*u - 5*u for u.
5
Suppose 0 = 2*i - 24 - 4. Let t(h) = h - 10. Let d be t(i). Solve g + d = -3*g for g.
-1
Let r be (-49)/(-5) - 5/(-25). Suppose 2*b + 5*g - 10 = 0, 2*b + 2*g = g + 10. Solve 15 + r = b*z for z.
5
Let g be (-18)/7*56/(-12). Suppose -g + 3 = -3*m. Solve -m = -5*o - 18 for o.
-3
Let z = 9 + 2. Solve -9 = 4*a + z for a.
-5
Let x be (-12)/60 - 32/(-10). Let t be 0 + (-2)/((-4)/6). Solve -x*b + 0*b = t for b.
-1
Let x(z) = -z**2 - 8*z + 2. Let b be x(-7). Suppose -b = -p - 0*p. Solve -o = 2*o + p for o.
-3
Let x be ((-35)/(-10) + -2)*6. Solve -4*s + x = -11 for s.
5
Let u(r) = -r**3 - 8*r**2 - 6*r + 13. Let i be u(-7). Solve -2*z + i = z for z.
2
Suppose -3*m - 12 = -6*m. Suppose b - 35 = -m*b. Let k = b - 7. Solve -4 = z - k*z for z.
-4
Let g = 2 - -2. Solve 5 + 3 = -g*q for q.
-2
Suppose -s + 5*k = 2, -2*s + 12 + 4 = -5*k. Solve s = 4*x + 6 for x.
3
Let w(t) = -t**3 + 3*t**2 + 4*t - 4. Let x be w(3). Suppose 0 = 3*s - x + 2. Suppose -s*n + 4*n = 6. Solve 2*f + n*f = 0 for f.
0
Let n(z) = -4*z**2 + 10*z - 3. Let f(p) = -5*p**2 + 11*p - 4. Let b(u) = -5*f(u) + 6*n(u). Let r be b(-7). Solve 7 = 3*j + r for j.
-3
Let m = -43 - -49. Solve -z - 3 = -m for z.
3
Suppose -4*g - 3*w + 2*w - 67 = 0, 3*w = 2*g + 51. Let f = -3 - g. Suppose -3*n - 4*n + 28 = 0. Solve f + 1 = -n*i for i.
-4
Let v be (2 - 1)*(-30)/(-5). Solve v = 3*w - w for w.
3
Let o = 3 + -3. Solve -3*n - 15 = -o*n for n.
-5
Let p be 8/(-12)*(-7 - -1). Solve p = -j + 1 for j.
-3
Let r be 100/16 + 2/(-8). Suppose -r = 5*g - 61. Let k = 16 - g. Solve -k*h + 12 = -h for h.
3
Suppose -5*c = -2*k + 18, k = 2*k - 5*c - 19. Let h = k + 4. Let m(z) = 5*z - 5. Let a be m(2). Solve 0 = h*l - a*l - 10 for l.
-5
Suppose 4*i - 10 - 10 = 0. Solve i*f - 16 = 9 for f.
5
Suppose 0 = 5*i - 3*w + 105, -w = -3*i - 42 - 25. Let n = -2 - i. Suppose -3 - 5 = k - 2*m, k + 4*m = n. Solve -6*g + 12 = -k*g for g.
3
Suppose 3*g - 15 = 0, u + g + 4 = 9. Suppose -a + 1 + 2 = 0. Let v(p) = p**2 - 13*p + 17. Let m be v(12). Solve u = m*d + a + 7 for d.
-2
Suppose -3*k + 4 = -2. Suppose 6*c - 12 = c - r, 0 = -2*c + k*r. Suppose 5*g - 14 = t - 3*t, -2*g = 4*t - 12. Solve c*o + 0*o = t for o.
1
Suppose -3*c - 2 = -4*c. Suppose 5*f = -l + 29, 0 = c*l - 6*l - 4. Solve u + 3 = f for u.
3
Let h(v) = -v - 2. Suppose -4 = i + i. Let n be h(i). Solve n = l - 5*l - 20 for l.
-5
Let y be (-3)/(-6) + 10/4. Suppose -2*a - 129 = -5*x, -y*x + a + 71 = 3*a. Solve q + 4*q = -x for q.
-5
Let f = -4 + 11. Let z = 19 - 27. Let t = z - -10. Solve -f + t = k for k.
-5
Let f = -15 + 18. Suppose 2*x = -4 + 18. Solve 0 = -f*r - 19 + x for r.
-4
Let i = 320 - 320. Suppose -2*c + 9 + 3 = 2*n, 0 = 3*c + 5*n - 20. Suppose -3*z - c*x + 16 = 0, 2*z + 0*z - 3*x + 2 = 0. Solve i*s = z*s for s.
0
Let b(k) = 2*k**2 + 4*k + 2. Suppose -3 - 1 = 2*x. Let r be b(x). Let n = 2 + r. Solve -d + n = 3*d for d.
1
Let k = -4 + 7. Suppose k*y - 81 = 2*y. Suppose -y = -3*t - 6. Solve -2*j + t = -7*j for j.
-5
Let a = 9 - 7. Solve -a*z = 3*z for z.
0
Suppose 29 = 5*j + r + 9, 1 = 2*j - r. Solve -13 = 5*i - j for i.
-2
Let y(j) = 12*j**3 - j**2 + 10 - 2*j + 2*j**2 - 9. Let z be y(1). Solve 2 - z = -5*r for r.
2
Suppose -2*b + 2 = -4*s + 9*s, 5*b + 2*s + 16 = 0. Suppose 4*n = 5*o, 0*n = -5*o - 4*n + 40. Let w = o + b. Solve -5 = 5*h - w*h for h.
-1
Let i = 0 - -6. Suppose u = -u + i. Suppose -3*d + 2*o + 16 + 4 = 0, 0 = 5*d + u*o - 8. Solve d*f = -0*f - 4 for f.
-1
Suppose j - 3*o = 5*j - 19, -3*o = -5*j + 17. Solve -j*q - 20 + 4 = 0 for q.
-4
Let v be (-14)/(-63) + (-403)/(-9). Let y be 4/6*v/10. Solve 2*p - 3*p = -y for p.
3
Suppose -5*j - 45 = -2*l - 2*j, -l = j - 15. Let k be (l/21)/((-1)/(-14)). Solve 3*p + k = -0*p for p.
-4
Let m be 1*(0 - 12/(-3)). Suppose -h + 1 + m = 0. Solve -h*w + w = -12 for w.
3
Let z(u) = 2*u**2 - 2*u - 1. Let g be z(2). Suppose 22 + 14 = -g*h. Let w be h/18*15/(-2). Solve -16 + 1 = w*p for p.
-3
Let k(a) = -a - 7. Let v be k(-7). Suppose -24 = -3*r - r. Let o = -5 + r. Solve -d = o - v for d.
-1
Let k = 20 + -15. Solve -k = -0*a - 5*a for a.
1
Suppose -2 = v - 3*v. Let k be ((4 - 2) + 1)/v. Solve -k*t = t + 4 for t.
-1
Let o be 0*2*3/(-6). Suppose -5*b + 2*s + 35 = o, 0 = -b - 2*b + 3*s + 30. Solve c + b = 2 for c.
-3
Suppose 0 = -3*l + l + 6. Let r = -5 + l. Let y be ((-1)/r)/(1/10). Solve y = 5*v - 10 for v.
3
Let z(v) = v + 7. Let x(f) = -5*f - 34. Let g(j) = 2*x(j) + 11*z(j). Let o be 1/((-1)/(-2 - 9/(-1))). Let i be g(o). Solve 0 = 3*c + i - 5 for c.
1
Suppose 2*m - 4 = 0, 0 = -f + 2*m - 0*m - 4. Solve f = -b - 0 - 1 for b.
-1
Let k = 47 + 18. Suppose 0*r + 5*r - k = 0. Solve 4*b + 3 + r = 0 for b.
-4
Let p(q) = -7*q - 7. Let t be p(-2). Suppose 0*j = -j. Suppose -4*y + y + 60 = j. Solve -2*u + y = -t*u for u.
-4
Let v(q) be the second derivative of -q**4/12 - 5*q**3/3 - q. Let s be v(-10). Let g = 10 + -7. Solve k + 2*k + g = s for k.
-1
Let s(r) = -8*r + 4. Let w be s(6). Let j be (1/2)/((-2)/w). Solve -6*b = -j*b + 15 for b.
3
Let m be (3 + -1 + 1)*-1. Let h be (-4)/6*(0 + m). Suppose -2*r + h*v = -46, r = -2*r + 4*v + 67. Solve -7*w = -2*w - r for w.
5
Let b = -4 - -14. Suppose -4*j - 38 + b = 0. Let u be (-2)/j + (-66)/(-14). Solve 2*l + u = 3*l for l.
5
Let l = -2 - -6. Solve 0*a + a = -l for a.
-4
Suppose -8 = d + w - 0*w, -2*d + w = 10. Let p(q) = -q**3 + 4*q**2 + 2*q + 7. Let n be p(5). Let f = d - n. Solve -f*r = r for r.
0
Let l be (-2*5/(-2))/1. Solve -l*w = -w for w.
0
Let n = 5 - -2. Let v(h) = -h**2 + 7*h - 1. Let y be v(6). Suppose -y*w - 20 = -5*p, 0 = 4*p - 3*w + w - 16. Solve -p = c - n for c.
3
Let l(t) = -3*t**2 - 3*t - 2. Let u be l(-4). Let c = -22 - u. Suppose -2*o - 2*o = -c. Solve -o*b = b for b.
0
Let w be (20/(-50))/(2/(-20)). Solve -5*q + w = -16 for q.
4
Suppose 0 = -r - 3*r. Solve r = -3*t + 6 + 6 for t.
4
Let c(b) = 4*b**3 - 5*b**2 - b - 40. Let k(z) = 3*z**3 - 3*z**2 - z - 27. Let f(h) = 5*c(h) - 7*k(h). Let j be f(-5). Solve 5*m = j*m - 2 for m.
-2
Let f(h) be the first derivative of -h**3/3 