 + 0*s = 8 for s.
4
Let y = -15 + 18. Suppose -5*f + y*f + 3*v = -14, -2*f + v + 10 = 0. Solve a - f = -2 for a.
2
Let z be ((-60)/9)/(3/(-9)) + 0. Solve i + z = -4*i for i.
-4
Let y(i) = -i**3 - 5*i**2 + 2. Let z be y(-5). Suppose -2*o - 10 = -4*g, -z*g = -0*g + 4*o. Solve 3*v = -4 - g for v.
-2
Suppose -7*k + 48 = 5*k. Solve -k = l + l for l.
-2
Let q be (-142)/(-8) - 6/8. Suppose -y + 7 = 2*y + 2*o, -4*y + q = -5*o. Suppose -3*u - 2*j = -27, -5*j - 48 = -y*u - 0*u. Solve u = 4*g - 5 for g.
4
Let d(r) = -r**3 - 6*r**2 + 4. Let v be d(-6). Solve v*t = 3*t - 2 for t.
-2
Let s be (2 + -2 + 2)/1. Suppose -a + 3 + s = 0. Suppose -4*k + 5*g = 2, a*g + 0*g - 14 = -2*k. Solve -k*x + 5 - 11 = 0 for x.
-3
Let x = 70 - 68. Solve -x - 13 = 5*o for o.
-3
Let y(f) = -2*f**3 - 6*f**2 - 3*f - 6. Let m be y(-3). Solve s - 1 + m = 0 for s.
-2
Let g be 54/3 + -1 + -1. Let c = g + -8. Solve 3*q - c = -q for q.
2
Let u(h) = h + 2 - h**2 + h**3 + 0*h**2 - 6*h. Let m be u(3). Let v = m - 5. Solve -4*x - 17 + 1 = v for x.
-4
Let o(a) = a**2 - 5*a - 2. Let n be o(6). Suppose -q = -5*x + 27, -5 = -n*x - 4*q + 7. Solve x*w - 2*w = 0 for w.
0
Suppose o = -7 + 24. Suppose 5*l = n + 114, 4*n + 2 + o = l. Let h = 35 - l. Solve -u - 2*u + h = 0 for u.
4
Let v be (-2 - -1) + 2 + -2. Let f(o) = 4*o**2. Let z be f(v). Suppose z*g = g + 3. Solve g = w - 0 for w.
1
Let c = -5 - -9. Suppose -3 = -3*x + 2*s + 9, -2*x = -c*s - 8. Let r = x + -4. Solve 2 = v - r for v.
2
Let l = -4 + 6. Let r(t) = -3*t - 3*t**2 + 7*t**2 - 3*t**l + 2. Let k be r(2). Solve -6*j + j + 20 = k for j.
4
Let z = 25 - 22. Solve 3*r - z = 12 for r.
5
Suppose 5 = -2*c - 1. Let b = 7 + c. Let a = b + 1. Solve -a = 3*d - 2 for d.
-1
Suppose 13 = 3*d - 5*m, -6 + 0 = 4*d + 5*m. Let y = d + 1. Solve -l - y*l + 9 = 0 for l.
3
Suppose -80 = -31*z + 21*z. Solve f + z = -3*f for f.
-2
Suppose 2*a - 2*o - 2 = -2*a, 37 = 4*a + 5*o. Suppose -a*j + 7 = 3*m - 2, -2*m - 18 = -2*j. Solve n + n = j for n.
3
Suppose 44 = -3*b + 104. Suppose 7 = -3*h - 5*y - 1, -2*y - 7 = 5*h. Let j be (h - -5) + 0/1. Solve -b + 0 = j*i for i.
-5
Let p be (6/5 + 0)*5. Suppose 5*h - 2*h - p = 0. Solve 4 = -y + h for y.
-2
Suppose -20*g - 6 = -23*g. Solve -5 = g*n - 3 for n.
-1
Let p be (-6)/(-30) + 38/10. Solve -p = -6*o + 2*o for o.
1
Let c be 0*(-3)/3*(-1 - -2). Solve c = -0*a + 3*a + 12 for a.
-4
Let q(p) = -24*p + 1. Suppose -r - m - 6 = -3*r, 5*r = -2*m + 24. Let k = r + -5. Let i be q(k). Solve i = 3*n + 2*n for n.
5
Suppose i - 2 = 11. Suppose 0 = -7*a + 2*a + 145. Suppose -2*t - t + i = 5*m, 5*m - t - a = 0. Solve -m = -2*g + 1 for g.
3
Let q be 3 + 0 - (5 + -2). Suppose 4 + q = 2*p. Let t = p - 2. Solve t = -2*x - x for x.
0
Let r = 15 + -13. Suppose -4*u + 57 - 19 = 5*w, -4*w = -u - 43. Solve r*n = -0*n - w for n.
-5
Let j(w) = w. Let g be j(5). Suppose g*y - 2*y = -5*k + 75, 0 = -2*y - 5*k + 50. Solve 0 = -r + 6*r - y for r.
5
Suppose 4*r = -3*f + 16, f = 5*r - 4 + 3. Let i(d) = -3*d - r + d + 3*d. Let g be i(6). Solve -g*p - 9 = 1 for p.
-2
Suppose 0 = -9*c + 4*c + 10. Solve 5*a + 6 = c*a for a.
-2
Suppose 4 = 5*c - 6. Suppose -c*w = -4*w. Suppose 5*g + 5*f - 10 = 0, 2*g = f - 4*f + 6. Solve g = -r - w*r for r.
0
Let c(o) = -9*o**2 + 1. Let f(n) = n**2 - n - 1. Let g(x) = -c(x) - f(x). Let z be g(1). Solve -4*v + z*v = -15 for v.
-3
Suppose 8 = -5*h + 78. Let d = -23 + h. Let i be 22 - -3*6/d. Solve 4*y = -y - i for y.
-4
Let h be (-1)/((-10)/6 + 2). Let x = 3 + h. Solve r = -x*r for r.
0
Suppose 8*h = 24 + 8. Solve 0*d - 2*d + h = 0 for d.
2
Suppose -5*b - 3 = -4*c, b + 2*b = 3. Suppose c*p - 44 = -3*o - 3*p, 3*p = 5*o - 28. Suppose 4*n = 2*n + o. Solve -n*g + 13 = -7 for g.
5
Let t = -26 - -15. Let l = t + 25. Solve 5*f + 4 - l = 0 for f.
2
Suppose 4*p + 24 = 8*p. Suppose 2*w = p*w - 12. Solve j + w*j = 4 for j.
1
Let k(j) = -j**3 + 5*j**2 + 13*j + 10. Let s be k(7). Solve s*p = -8 - 7 for p.
-5
Suppose -2*a + a + 38 = -5*u, 37 = -4*u + 3*a. Let x(v) = -2*v - 7*v**2 - 4*v**3 + 1 + v**3 + 2*v**3. Let k be x(u). Solve 2*n = 5*n - k for n.
5
Let z(p) = -p - 4. Let l be z(-5). Let b(r) = -r**3 + 2*r**2 - r. Let u be b(l). Solve u = -5*v + 4*v + 1 for v.
1
Suppose 0 = -4*b - 20 - 24. Let i = b + 4. Let q(v) = v**2 + 6*v - 1. Let l be q(i). Solve -z = z - l for z.
3
Let d(y) = y**3 - 9*y**2 - 10*y. Let g be d(10). Let x(u) = -3 + 0*u**2 + u**2 + 16*u - 17*u. Let k be x(4). Solve 3*r - k = -g*r for r.
3
Let u(a) = a**2 - 11*a. Let o(s) = s**2 - 10*s - 1. Let m(i) = -6*o(i) + 5*u(i). Let k be m(6). Solve 0 = -k*l - l for l.
0
Let n(p) = -p**2 + p + 2. Suppose w - 6*w = -5*d, 2*w + 3*d - 10 = 0. Let q be n(w). Solve q = -o - 0*o for o.
0
Suppose 24 = 2*n - 5*d, 2 = -3*n - 4*d - 8. Solve n*u - 5*u = 12 for u.
-4
Let s be 3*2/(2 - 1). Solve 0 = r + r - s for r.
3
Let y(h) = h**2 - 2*h - 3. Let s be y(4). Suppose -3*v = -x - 13, -3*v - s*x - 11 = -0*x. Suppose 7 = v*w - 8. Solve -3*l = -w*l - 8 for l.
-4
Suppose 3*r - r - 5 = -5*g, g = 5*r + 28. Solve -3 = 2*j - g*j for j.
3
Let s(x) = x**2 - 7*x - 1. Let g be s(8). Let c(i) = 29*i + 1. Let w be c(1). Suppose 0 = 2*m - g*m + w. Solve -l = l - m for l.
3
Let v(c) = -c**3 - 4*c**2 + 4. Let d be v(-4). Let q = d - -2. Solve k = 1 - q for k.
-5
Let a = 6 + 0. Let p be (3 + -1 - -2) + -20. Let f(g) = -g**3 - 17*g**2 - 15*g + 16. Let y be f(p). Solve y = 6*n - 4*n + a for n.
-3
Let m(y) = -y**2 - 4 - 6 + 7*y + 0*y + 2*y. Let g be m(7). Solve -b + g = -3*b for b.
-2
Suppose 3*w - 4*u = -1, -5*u + 32 = 3*w - 3. Let r(c) = 25*c. Let m be r(1). Let f be (-6)/14 - (2 + (-17)/7). Solve f*p = w*p - m for p.
5
Let r = -12 + 11. Let q be (-32)/(-10) + r/5. Solve -3 = q*y - 0*y for y.
-1
Suppose 0 = 5*g + 5. Let x = g + 5. Solve 0 = -0*a - x*a for a.
0
Let d(g) = 3*g - 1 - 6*g + 4*g. Let x be 1*6 + -1 + -1. Let j be d(x). Solve 0 = -2*i - 7 - j for i.
-5
Suppose 2 + 7 = 3*d. Suppose -4*f + 4*v + 4 = 0, -v - d = 2*v. Solve b - 4*b + 15 = f for b.
5
Let u = -4 - -5. Let g be u/4 + (-46)/(-8). Suppose d - g*d + 5 = 0. Solve 2*n - d = -7 for n.
-3
Let q be (2 - -2)/(24/6). Solve 0*f - q = f for f.
-1
Suppose 2*a + 0*a = 3*j + 6, -5*a - 5*j = -15. Solve -v - a = -0 for v.
-3
Suppose i - 2 = 1. Suppose 8 = -o + i*m - 1, -o - m = -7. Suppose 2*d + 3*r - 3 = -d, 3*d + 5*r + o = 0. Solve -w = d*w for w.
0
Let o be -10 + 0/(-3) + 2. Let p = 12 - o. Let f be (6/(-9))/(4/(-30)). Solve f*u - p = -0 for u.
4
Let d be 4 + (2 - 9) + 4. Solve 6 = -l + d for l.
-5
Let z be (-18)/(-45) + (-26)/(-10). Solve -n - z = 2 for n.
-5
Let m be -3*(-4)/(-18)*-3. Solve m*o - 7*o = -15 for o.
3
Let c(k) = -k**2 + 13*k - 17. Let x be c(11). Solve 0 + 5 = x*j for j.
1
Let m(t) = -t**2 - 11*t + 15. Let u be m(-12). Suppose 4*i = -o + 8, 5*o - u*i = -0*i + 40. Solve o*z = 4*z for z.
0
Let w(i) = 2*i**3 + 15*i**2 - 8*i + 5. Let l be w(-8). Solve -l = -v - 0 for v.
5
Let j = -25 - -25. Solve j*f - 10 = 2*f for f.
-5
Suppose 3*r = 5*r - 6. Let x(m) = m**3 - m**2 - m. Suppose -f + 3*f - 4 = 0. Let t be x(f). Solve -3*v + t*v = -r for v.
3
Let j(q) = -q**2 + 7*q - 9. Let t be j(7). Let p = t + 13. Solve -p*m - 3 = -5*m for m.
3
Suppose -2*q - 25 = -43. Solve -q - 6 = -5*y for y.
3
Suppose 1 + 23 = 5*s + 2*b, 3*b = 3*s - 6. Solve -6*u + s*u = -4 for u.
2
Let x(y) = -y**2 - 11*y + 2. Let h be x(-10). Suppose h = o + 9. Suppose -26 - 14 = -2*g. Solve -o*p - 2*p = -g for p.
4
Let x be 10/65 + (-60)/52 + 4. Solve -x*f = f - 8 for f.
2
Let n(t) = -t**2 - 5*t + 5. Let m be n(-5). Solve 2*c = m*c - 12 for c.
4
Let q(t) = -t - 3. Let a(v) = 3*v + 7. Let m(p) = 2*a(p) + 5*q(p). Let l be m(4). Solve 0 = -l*h + 2 + 10 for h.
4
Suppose -10 = -5*g - 5*k, 20 = 5*g - 7*k + 2*k. Let t be (90/(-24))/(g/(-8)). Solve -4*p + 2 - t = 0 for p.
-2
Let r(m) be the second derivative of m**4/4 - 2*m**3/3 + 3*m**2/2 - 7*m. Let u be r(2). Solve 2 = k + u for k.
-5
Let x be 7 - (2/(-7))/(8/(-112)). Suppose 0*j - 20 = -j. Solve -j = v + x*v for v.
-5
Suppose 20 = 4*o - 0*o. Let f(z) = -z**2 + 7*z + 10. Let j be f(7). Solve j = -o*l - 0 for l.
-2
Let n be (-5)/2 - (-3)/(-6). Let i = n + 3. Solve 5*t - 2 - 18 = i for t.
4
Let x = -53 - -88. Suppose 2*m - 15 = 5*c + x, -6 = 3*c. Solve -o = -5*o - m for o.
-5
Suppose -26 = -i - 2*c, 4*i + 4*c - 79 = 21. Suppose -3*g + 7*g - i