0
Let u = 11 + -1. Suppose -5*y - 5*v - u = 0, 5*v + 8 + 12 = 0. Suppose 4*s = -s + 100. Solve 2*z - s = -y*z for z.
5
Suppose -70 - 47 = -13*l. Solve 0*t - 3*t = l for t.
-3
Suppose 2*n = -l - 3, -2*l + 5*n + 30 = -0*l. Suppose -4 = 3*c - l*c. Solve 0 = c*o + 3*o + 20 for o.
-4
Let i be (-2)/8*0 + 0. Solve -2 = -2*f - i for f.
1
Let j be (6/4)/(5/10). Solve 4 - j = a for a.
1
Suppose 2*o + o = -9. Let l = o - -7. Solve l*s = s for s.
0
Let y(d) = d**2 + 4. Let u be y(4). Let w be 8/u + (-24)/10. Let m be w - ((2 - 2) + -5). Solve 0 = -m*a - 20 + 5 for a.
-5
Suppose -m + 156 = 12*m. Solve x - 5*x - m = 0 for x.
-3
Let d be (21/(-14))/(6/(-16)). Let u = 6 - d. Solve u*m + 3 = 7 for m.
2
Let j(n) = n**2 + 7*n + 14. Let t be j(-6). Solve 2*y = -0*y - t for y.
-4
Suppose -4*v + 2*f - 4*f + 4 = 0, -2*v + 5*f = -26. Solve 2*k = -v*k for k.
0
Suppose 8 = 6*f - 2*f. Suppose 0*c = -f*c. Suppose -6 = -3*g - c. Solve -3*y + 4 = -g*y for y.
4
Let m = -2 - -5. Let i(h) = -h**2 + 8*h - 5. Let l be i(m). Solve 0 = -3*a - 2*a - l for a.
-2
Let y = -39 + 22. Let k = y + 22. Solve -5*c + 0 = k for c.
-1
Let b(n) = -n - 4. Let k be b(-4). Suppose -3*d - 4*l + 51 = -64, -5*d - l + 220 = 0. Suppose 3*v - d = -2*v. Solve k = -5*z + 1 + v for z.
2
Let u(d) = 2*d**2 + d + 1. Suppose 8 = -4*y - 3*b + 2*b, -3*b = -12. Let o be u(y). Solve 0*n = -4*n - o for n.
-4
Suppose 0 = -2*v - l + 4, -7 = -v + l - 11. Suppose -4*o - 6 = -5*g, -2*g - 4*o + 5 = -3. Solve g*q - q + 3 = v for q.
-3
Suppose 2*q + 3 = 7. Suppose u + 4*s - 2 = -4*u, 0 = -3*u - s + 4. Suppose -u*g = -3*g. Solve g = 3*t - q*t + 3 for t.
-3
Suppose -5*n + 97 = -4*j - 74, 5*n - 5*j - 170 = 0. Let m be 7/n + 9/5. Solve m*v - 16 = -2*v for v.
4
Let q = 11 + -9. Suppose 6*d - 60 = q*d. Solve 3*j = 6*j - d for j.
5
Let l(h) = -5 - 8*h**2 + 2 - h**3 - 7 - h. Let t be l(-8). Let n be (3/(-3))/(t + 1). Solve 3*z = 4 - n for z.
1
Let s be (3 - 2/2) + 1. Let h(k) = -k**2 + 4*k - 3. Let b be h(4). Let g(n) = -2*n + 1. Let j be g(b). Solve -s - j = 2*o for o.
-5
Let l(p) = -p**3 - 5*p**2 + 4*p - 1. Let q be ((-2)/3)/((-2)/(-18)). Let s be l(q). Solve 4*d - s - 5 = 0 for d.
4
Suppose -3*u - w + 15 = 0, -4*w + 6 = 2*u + u. Let q(o) = 2*o - 6. Let d be q(u). Solve k = -d + 5 for k.
-1
Let p(f) = -f**3 - 2*f**2 + 1. Let v = -3 + 2. Let u be p(v). Suppose u = 3*n - 6*n + 75. Solve -i = 4*i - n for i.
5
Suppose 0 = -5*l + 4*v - 13, 5*v + 1 = 2*l - 4. Let z(n) = -n**2 - 7*n - 2. Let j be z(l). Solve -5*u + 3*u = -j for u.
4
Let u = -3 + 6. Suppose t = -u*x + 13, -4*x + 2*x = -t - 7. Let k = t - -1. Solve -w + k = 6 for w.
-4
Let w(a) = 2*a + 1. Let p be w(2). Let f = p + -3. Solve 0 = -3*b - f*b for b.
0
Let t(b) = 15*b**2 - 1. Let r be t(-1). Solve -6 + r = 4*o for o.
2
Suppose 2*r + g - 3 - 2 = 0, g + 4 = r. Let t = r + -3. Suppose -a + 0*a + x + 6 = t, -a = 4*x + 4. Solve -2*f - a = -f for f.
-4
Let t = 31 - 21. Solve -4*w + t = w for w.
2
Suppose u - 16 = -3*n, 3*u - 20 = n - 3*n. Suppose -u*f = f. Solve f = -2*z + z - 1 for z.
-1
Let m = 10 + -8. Solve 0 = -m*p + 5 + 1 for p.
3
Let f(l) = -l**2 - 3*l + 2. Let r be f(-7). Let u = r + 38. Let n = 2 - -1. Solve j - u = -n*j for j.
3
Let l be (-1)/(-3) + (-16)/(-24). Let g be (0 + -3)*1/(-3). Let h be 0 + l + g + 1. Solve q + 0*q - h = 0 for q.
3
Let a be ((-1)/(-2))/(35/210). Solve a*v + 8 + 7 = 0 for v.
-5
Let n = 4 - -1. Suppose v = -4*l + 3*v - 8, 16 = -5*l + 4*v. Solve l = -0*a - n*a + 20 for a.
4
Suppose 0*l = -2*l + v + 16, 3*l = -v + 14. Solve l = -5*f - 4 for f.
-2
Let f = 1 - -4. Solve 22 = f*k - 3 for k.
5
Suppose b = 4*x - 0*b - 17, x + 3*b - 1 = 0. Let y = 0 + x. Suppose 3*v = 5 + y. Solve -3*f = -0 + v for f.
-1
Let z be -5 - -3 - 19*-1. Let u = -6 + z. Solve 3 = 4*n + u for n.
-2
Let y = -1 + 4. Suppose 3*b + 5 = 8*b. Solve 4*f = -b - y for f.
-1
Let q(g) = g**3 + 4*g**2 - 5*g + 3. Let j be (35/14)/((-2)/4). Let z be q(j). Solve 8*n + 10 = z*n for n.
-2
Suppose 4*w - 13 = 5*r, 4 = 2*r + 3*w - 0. Let d be 1 + (-12)/(-2) + r. Solve 0 = 3*l + d for l.
-2
Let v = 19 + -12. Suppose y = 2*d + 5*y + 2, 0 = -2*y - 4. Let t = 16 - 15. Solve -d*b = -t + v for b.
-2
Let h be 1 + 6*(-2)/3. Let g be (h/6)/(-1)*0. Solve 2*r - 8 = -g*r for r.
4
Let j = 9 - 5. Suppose 5*h - 6 = j. Solve -4*q + h - 14 = 0 for q.
-3
Let v be 15/(-9)*(-18)/10. Solve 4*t = v*t - 2 for t.
-2
Suppose 0 = 494*o - 490*o. Solve o*y + 5 = 5*y for y.
1
Suppose 8 = 5*v - 42. Solve 4*p + v = -2 for p.
-3
Suppose 3*g + 15 = -3*s, 5*g = -4*s + 3*s - 25. Let z = 0 - 1. Let h = z - g. Solve -24 = -4*f - h for f.
5
Let c = -3 + 5. Suppose 0 = -2*p + 3*o - 2, -1 = -3*p + 2*o + 1. Solve -c*t = p*t for t.
0
Let a be 0 - 3 - (-11 + 0). Suppose -f = -3*w + 5, -w + 3*f - 2*f = 1. Let h = a - w. Solve 0*m = h*m for m.
0
Suppose -3*z - 38 = -17. Let i = z - -12. Let h(k) = -k**3 + k**2 - k. Let t be h(0). Solve -i*o - 3 + 8 = t for o.
1
Let i(t) be the second derivative of t**3/6 - 3*t**2/2 - 2*t. Let u be i(3). Solve -2*k + 11 - 5 = u for k.
3
Let d = 26 + -17. Let c(f) = f**3 - 9*f**2 + f - 6. Let q be c(d). Solve q*z = 7*z for z.
0
Let x be 4/14 - (-1248)/42. Let n be (-10)/x - (-20)/6. Solve n + 1 = d for d.
4
Suppose -5*j - 3*q = 56, -3*q = -3*j - 4*q - 36. Let f be j/(-3) + 10/(-30). Solve 0 = -5*g - 1 - f for g.
-1
Suppose 10 = -2*v + 7*v. Suppose k - z - 5 = -4*z, 8 = v*k + 4*z. Solve k = -c + 1 for c.
-1
Suppose 3*o = -5*o + 16. Solve -o*c + 10 - 2 = 0 for c.
4
Let o(t) = -t - 1. Let z be o(0). Let i = 5 + z. Let s = -2 + i. Solve 0 = -s*q + q - 4 for q.
-4
Let x = -7 + 9. Let o(k) = k**2 + 2*k - 1. Let b be o(x). Solve -b*w = -4*w + 3 for w.
-1
Suppose -3 = 5*n - 2*z - 67, 53 = 4*n - z. Let u = n + -12. Suppose -4 = 2*i - 3*i. Solve 2*g = -u*g + i for g.
1
Let v(m) = 2*m. Let f be v(1). Solve -f*i - 4 = 4 for i.
-4
Let p be 2 + 6 - (2 - 1). Suppose o + 4 = 5*f, -5*o - p + 33 = -2*f. Solve -2*k - 2 + o = 0 for k.
2
Let u = 1 + -2. Let p be (-1 - -1)*u/2. Suppose 2*l = -p*l + 4. Solve l*r = -6 - 0 for r.
-3
Let f(i) = -i**3 - 6*i**2 + 6*i - 3. Let n be f(-7). Suppose -2*j + n = -2. Solve -j*c - 2*c = 0 for c.
0
Let p be (-20)/15*(-18)/8. Solve p*l = -5 - 10 for l.
-5
Suppose 4*q = -u - 2*u + 2, 3*q - u = -5. Let y = 0 - q. Suppose -5*d = 2*p + 2, 0 = 2*d - p - 4 + 3. Solve 2*h - h + y = d for h.
-1
Let s = -71 - -39. Let b be s/(-12) + 4/(-6). Solve v - 3 = -b*v for v.
1
Let s be 4*(-2)/(-1 + -1). Let u = s + -3. Let q(m) = m**2 - 4*m - 3. Let n be q(5). Solve -n = k - u for k.
-1
Let d be -8*(-6)/24 + -1. Suppose 2 = -5*u + 12. Solve -u*r + 5 = -d for r.
3
Suppose 0 = -2*o + 3 + 1. Suppose -a = -5*c - 5*a + 12, 0 = -3*c - o*a + 8. Solve d + c = 2*d for d.
4
Suppose 3*k = 12*h - 7*h - 78, -5*h = 3*k - 72. Solve 0 = 2*m - 5*m + h for m.
5
Let s be -2 - (-5 + -1 + 0). Solve 2*j - j = s for j.
4
Let y be 2/(-2) + 3*1. Suppose 30*n = 19*n + 11. Solve n = b - y for b.
3
Suppose 3*l - 49 = 5*s + 39, -2*l + 47 = -s. Let b = -3 + 8. Solve b*h + l = -4 for h.
-5
Let k be 10/3*(-6)/(-5). Suppose -2*n = 5*f - 20, k*f - 25 = -5*n - 9. Let g be (0 + f/6)*3. Solve 2*i - 20 = -g*i for i.
5
Let m be 1 - 9/(-3) - 1. Solve -m*s = -s - 8 for s.
4
Let d(g) = -g - 11. Let c be d(-12). Let m = 11 + c. Solve 4*r + 4 = -m for r.
-4
Let s = 6 + -3. Solve q + s = -2*q for q.
-1
Suppose -12*t + 14*t - 24 = 0. Solve -c - 2*c = t for c.
-4
Suppose 5*c - 32 = 308. Suppose 2*w - 14 = 4*b, b - c = -4*w - b. Suppose a = -3*a. Solve -3*j + w = -a*j for j.
5
Let b be 6/(-3) + (2 - -1). Let z be (-3 + 2 + 2)*b. Let j be 4 + -6 + z + 1. Solve -6*q + q + 5 = j for q.
1
Let i(k) = k**3 - 7*k**2 + k - 7. Let z be i(7). Suppose y - 2*y + 3*j - 2 = 0, 3*j - 52 = -4*y. Solve -w + 6*w - y = z for w.
2
Let m(o) = -o - 6. Let f(a) = a**3 + 5*a**2 + 7*a + 4. Let y be f(-4). Let t be m(y). Solve -t*v = -v + 5 for v.
-5
Let m(x) = x + 1. Let l(b) = 6*b + 10. Let u(p) = -2*l(p) + 14*m(p). Let s(t) = -t**3 + 4*t**2 - t - 2. Let i be s(3). Let v be u(i). Solve a + 3 = -v*a for a.
-1
Let c(v) = 3*v - 24. Let f(p) = 8*p - 71. Let l(y) = 11*c(y) - 4*f(y). Let q be l(-14). Solve q*x - 3*x = 9 for x.
3
Let l = -8 + 8. Let j be -1*6/(-4)*-2. Let a be 15/j*(0 - 1). Solve -a*f + 29 - 4 = l for f.
5
Suppose -10 = -f - f. Solve -f*z = 4 - 19 for z.
3
Suppose -2*d + 