 - g = -1, 4*f - 5*n - 14 = 0 for f.
1
Let t be (3 + -5)/(-4)*12. Suppose -j + t = 2*j. Solve 1 = 3*q - y - j, -3*y = 3*q - 15 for q.
2
Let s = -5 + -1. Let r be (-4)/s*(4 + 2). Suppose 5*g = 16 + r. Solve 2*o = g*b + 18, -3 = -3*o - 0*o for b.
-4
Suppose -6*r - 12 = -2*r. Let b be 6/(r/(-1)) + 4. Let q = -1 + b. Solve 7 = -4*s + i, 5*s - q*i + 6*i = -20 for s.
-3
Let l be 19/4 - (-4)/16. Suppose 3*s + 3 = 6*s + 3*a, 3*a - l = -4*s. Solve k - m = 5*k - 11, -s*m - 10 = 0 for k.
4
Suppose 2*v = 5*a + 5, -2*v = 5*a - 3*v. Suppose 0 = -5*p - 0*p + 35. Let m = p - 3. Solve -4*h = t + 9, -a = -3*h - m for t.
-5
Suppose -3*o + o = -4. Solve 5*a + 19 = -o*f, -4*a = f + 3*f + 8 for a.
-5
Let c be ((-6)/9)/((-4)/18). Suppose 5*p - f + c = p, 6 = -2*p + 2*f. Let b = 0 - p. Solve 3*d - 15 = -b*d - 5*w, w - 3 = -4*d for d.
0
Suppose 0 = -0*d + d - 4. Suppose 4*i - d = -4*r, -r - 2*i + 5 = 2*r. Let f = -49 + 57. Solve 2*m = 8, r*q - 5*m + 0 = -f for q.
4
Suppose 3 = -t + 3*h - 6, -t + 23 = 5*h. Let l = -2 - -2. Suppose l*a = t*a. Solve 4 = -a*z - z, z + 9 = -n for n.
-5
Let m be (5 - 10)*(-2)/2. Suppose -5*n = -n. Solve m*p + n*p + 10 = 0, -10 = -5*r + 5*p for r.
0
Let o be 4 - 1 - (-1 - -1). Suppose 5*u + 0*u - 2*j = -10, -10 = -u - 2*j. Solve -k + o*k + 6 = 4*t, u = 5*t - 20 for k.
5
Suppose 5*r - 10 = 2*x + 3*x, -5*r = 4*x - 46. Solve -2*v + 1 = 5*y, r = y - 5*v - 5 for y.
1
Let g be (-264)/(-55) - (-2)/10. Solve 0 = 2*l - 5*k + 20, 4*k - 16 = l - g*l for l.
0
Suppose 5*p - 21 - 9 = 0. Suppose 0 = -2*b + 5*b - p. Let k = -2 + b. Solve k = -2*s - 2*g + 2, 0*g + 9 = -5*s + 2*g for s.
-1
Let z(w) = -2*w - 13. Let r be z(-11). Suppose 2*h = -r + 65. Let b = h + -15. Solve -4*o - 3*d + b = -3*o, 0 = -5*o - 3*d + 17 for o.
1
Let d(p) = p**2 - 4*p + 3. Let r be d(2). Let n be -2*(0 - r)*-1. Solve l - m + 10 = 3*m, -2 = n*l - 2*m for l.
2
Let o be (3/(-9))/((-2)/30). Suppose 11 = -h + 4*f, -o*h - 4*f + 26 = -3*h. Suppose 0 = -h*j + 8 + 12. Solve j*t + 5 = 3*i, -3*t - 3 = -0*t - 2*i for t.
1
Let u = 19 - 12. Let r be (1*2)/(-2) - -5. Suppose -u = -r*w + 13. Solve w*j - 9 - 14 = v, 0 = 3*j - 15 for v.
2
Let c be ((-12)/(-4))/((-6)/(-8)). Solve 0 = -l + 5*s - 10, 2*l - c*s + 4 = -2*s for l.
0
Let k be 57 + 0 - (1 + -1). Suppose u - k = -2*u. Solve 5*w = -2*m - u, -5 - 3 = 4*w + 4*m for w.
-5
Let t = 9 - 9. Let j be (t + -5)*(-4)/10. Solve 2*n - 2*w = 5 + 3, 0 = 2*n + j*w for n.
2
Suppose 0 = 2*w - 2*b - 26, -2*w + 7 = -3*w - 3*b. Suppose -d = -3*d - w. Let g = d + 6. Solve -4*r + r - g*m = -6, 0 = m for r.
2
Let x = -12 - -17. Solve x*h - 10 = n, 5*n + h + 22 = -2*h for n.
-5
Suppose 0 = -3*y - 5 + 20. Suppose y*f - 8 = f. Suppose 5*p - f*z - 40 = -7*z, 0 = 5*z - 25. Solve 4*i - s = -15, 5*s - s + 35 = -p*i for i.
-5
Let v(p) = p**2 + 2*p - 3. Let z be v(-4). Solve 3*c = -z*b - 6, b = -b - 4*c - 8 for b.
0
Let t = -6 - -17. Let v(q) = -q**2 + 10*q + 13. Let c be v(t). Solve -h = -3*u + 5, c*u = -h + 5 - 0 for u.
2
Let c(v) = 1 + v - 5 - 2*v. Let n be c(-9). Solve 5*x = -n*i - 10, -4*x + 5*i + 15 + 4 = 0 for x.
1
Suppose 5*z + 0 - 15 = 0. Let t be ((-8)/(-6))/((-9)/((-27)/2)). Solve 0 = -5*p - t*x + z*x - 24, -3*p - 14 = -x for p.
-5
Let q(b) = -b - 1. Let c be q(-4). Solve 2*x = 3*v - 2, -3*v + 1 = c*x + 4 for x.
-1
Let v(b) = -b**3 + 2*b**2 - 4*b + 2. Let t be v(2). Let a = -2 - t. Solve 3*m + 15 = -n, 4 = -0*n + a*n - 4*m for n.
-3
Let r = 32 + -8. Solve 0 = -5*g + 2*n - 23, -2*n + 2 = 4*g + r for g.
-5
Let s(t) = -7*t**3 + 2*t**2 + t. Let f be s(-1). Let h = -4 + f. Solve 21 = -4*q + o + 2*o, h*o = -q + 9 for q.
-3
Let y(m) = m**3 + 6*m**2 + m - 5. Let g be y(-5). Solve 0*f - 3*d = -3*f + g, -2*d + 6 = 2*f for f.
4
Let q(y) = -y**3 - 7*y**2 + 27*y - 14. Let s be q(-10). Solve -3*a + 2*l - s = 0, a = -5*l + 8 + 15 for a.
-2
Let t(r) = -r + 52. Let u be t(0). Let i = u + -19. Suppose 0 = 2*q - 6*q. Solve 5*d - i = 2*v - q*v, 4*d = -4*v + 4 for d.
5
Let a(w) = w**2 - 6*w + 3. Let m be a(6). Let z(x) = -x + 4. Let q be z(m). Solve 2*c = -3*g - q - 7, 3*c + 12 = 4*g for c.
-4
Let u = 14 - -1. Let p(y) = -2*y**2 + y. Let w be p(0). Suppose -5*j = -w*j - u. Solve 3*t = -3*o + 2*o + 8, -j*o + 2 = -2*t for o.
2
Suppose -i = b - 26, i = 3*b - 2*b - 16. Suppose -5*q + b = -2*q. Solve 3*o + 1 - q = 3*t, 4*o - 32 = -4*t for o.
5
Suppose -7*i + 53 + 52 = 0. Solve u = 3*v + 2*u + 3, 3*v = -5*u - i for v.
0
Let t(w) = w - 7. Let p be t(10). Let b(q) = 2*q - 1. Let a be b(p). Solve 2*k = 5*n + 9, -4*k = -a*n - 2 - 1 for n.
-3
Suppose -c - 3 = -4. Suppose 4*z - 23 = c. Let r = z + -6. Solve -5*s = -5*t - 5, 3*t + r*t + 5 = 2*s for t.
-3
Suppose 12 = 3*p - 0*p. Suppose 0*x - p*x + 12 = 0. Solve -20 = -5*s, 2*s = x*w - 0*w + 5 for w.
1
Let b = 26 + -22. Solve 8*v + u - 2 = 3*v, 4*v = b*u + 16 for v.
1
Let n = 38 - 24. Let k be (-4)/(-2)*14/n. Solve 4*r + 4*t - 12 = 0, -7 = 4*r - k*t + 11 for r.
-2
Let p(l) = 7*l - 1. Suppose -v - 5 = -2*c, -4*c + 10 = -c - 4*v. Let g be p(c). Solve 5*y - y + g = 5*s, 5*s = 2*y + 9 for s.
1
Let z(x) = -15*x**3 + x**2 + x. Suppose 3 = -2*c + 1. Let w be z(c). Let a = w + -11. Solve a*h + 8 = m, 5*m + 13 + 4 = h for m.
-4
Let h(z) = z**2 + 6*z + 6. Let b(y) = -y**3 - 4. Let g be b(0). Let j be h(g). Let r = 7 + j. Solve 0 = -2*k + p + 3 - 2, -1 = -r*k + 4*p for k.
1
Let i be 6/(9*5/30). Solve -4*o = 4*h - 4, -i*o - 35 = o - 5*h for o.
-3
Let b(m) = -2*m + 8. Let d be b(3). Solve 20 = d*j + 3*z - 0*z, 2*j - 2*z = 0 for j.
4
Suppose 0 = -2*d - h - 1, -5*h + 11 - 36 = 0. Solve -5*x - d*l - 8 = -6*x, -l + 5 = 4*x for x.
2
Suppose -2*j + 3 + 9 = 0. Let a = 10 - j. Solve 0 = 5*w - 2*c + 7, -w = -0*w - 3*c + a for w.
-1
Let n(f) = -2*f**3 - 12*f + 3*f + 13*f**2 + 3*f**3 + 8 - 5*f**2. Let p be n(-9). Solve 3*v - 3*o = 7*v + 14, 0 = -4*o + p for v.
-5
Let l(y) = y**2 - y - 2 + 1 + 6 - 1. Let i be l(0). Suppose 3*b - 13 = -4*f, 3*b - 8 = b - 2*f. Solve 3*t = -i*h - 0*t, -5*h - b*t = 0 for h.
0
Let t(k) = -k**3 - k**2 - k - 1. Let a be t(0). Let b = a + 3. Suppose -10 + 2 = -4*x, -5*x - 2 = -b*p. Solve p*l + 3*z = 2*l - 2, -3*z + 12 = -3*l for l.
-2
Let u(a) be the first derivative of 1/2*a**2 - 4*a - 1. Let f be u(9). Solve 4*b + 4 + 2 = -f*m, -b + 9 = -4*m for m.
-2
Suppose -3*f + 12 = -0*f. Suppose -20 = -5*w, -27 - 1 = -3*o - f*w. Solve -o*q = 3*k + 3, 4*k + 5*q + 1 = -3 for k.
-1
Let a be (-4)/(2 + 3*-1). Let s = -12 + 19. Let c = s - a. Solve c*y = 5*v - 2, 0 = 2*y - 0*y - 2*v for y.
1
Let k = 12 + -18. Let i = k + 8. Solve -4*s = -4*b + 21 + 7, 0 = i*s + 5*b - 7 for s.
-4
Suppose -4*i - 18 = 50. Let n = i - -17. Solve n = -5*p - 3*d - 9, -4*p - 23 + 5 = -3*d for p.
-3
Suppose 3*c = -2*b - 3 + 1, 5*b - 16 = 3*c. Solve -z = -4*z + b*v + 21, -v = 3 for z.
5
Suppose -8 = -c - 1. Let r = -19 - -47. Suppose -k + r = -c. Solve -30 = -4*i + 2*p, -3*i - k = -6*i + 4*p for i.
5
Suppose y - 18 = 4*m + 7, -4*y - 5*m = 5. Solve -y*o + b + 23 = 0, 0 = 4*o - 3*o + b - 1 for o.
4
Let h = -29 + 13. Let u = h + 6. Let o be 6/u - (-126)/10. Solve f + 0*f = -3*d - o, 0 = -3*f + 5*d + 20 for f.
0
Let l be ((-10)/(-3))/((-12)/(-18)). Solve 4*x = -4*d, -l*x - 3 = 7 for d.
2
Let q be (-6)/(-9)*6 + 0 + -4. Solve -v - 4*m + 3 + q = 0, 2*v - 1 = -3*m for v.
-1
Let k be 1/(-3 - (-66)/21). Suppose -2*z + k = 1. Solve j + j - 30 = -5*b, -z*j = 4*b - 31 for b.
4
Let r(y) = 2*y - 4. Let i be r(4). Solve -j - 3*j + 14 = 2*n, -2*n + i*j - 18 = 0 for n.
-1
Suppose -w + 8 = 4. Solve -5*f = 5*b, w*b - 5*f + 22 = 67 for b.
5
Let x(v) = v**3 - v**2 + v - 1. Let j be x(2). Suppose -5*i + 6*i = 16. Solve 4*a - 7 = -6*g + j*g, 3*a = -5*g - i for a.
3
Let j = 6 - -4. Suppose -2*x + s + s + j = 0, 0 = 2*s + 2. Suppose 5 = 3*y - 1. Solve 3*h - 2*l = 4, 0 = -x*l + 2 + y for h.
2
Suppose 4*i - 10 - 14 = 0. Let d(q) = -q**3 + 7*q**2 - 5*q - 7. Let w be d(i). Let b be 1/(3/18) + w. Solve 3 = -4*h - h - 3*g, h - 5 = b*g for h.
0
Suppose 2*y - f = 3*f, -3*y + 5*f - 3 = 0. Let c be y/15*(-25)/1. Solve -2 = s + 2*h, 5*h = s - 6*s - c for s.
-2
Let a(v) = 111*v**2 - v + 1. Let u be a(1). Suppose 4*j + 31 = u. Suppose 0 = -5*s + s + j. Solve -s*l = -2*k + 35, k - 5*l - 5 = 5*k for k.
5
Let b be 213*(-4)/(-24) + (-1)/2. Solve 0 = -5*w + 4*j + b, -5*w - j = -4 - 6 for w.
3
Let y(x) = -x**2 - 6*x - 4. Let b