3 + 2, -o*v = 2*b - 14 for b.
1
Let f = 2318 - 2298. Solve 2*n - f = 2*h, 6*h = -4*n + h - 5 for n.
5
Let r = -1 + 3. Suppose -r = -n + o + 1, -o + 12 = 2*n. Solve 3*c - 5*c = -3*z + 1, -5*z + n*c - 5 = 0 for z.
3
Let y = -1442 - -1445. Solve -y*h = w + 12, 5*w = 3*h + h + 35 for h.
-5
Suppose 0 = -2*d + 73 + 15. Suppose -4*o + 19 = w, -5*o + 11 = -5*w - d. Solve -k - 4*y - 21 = 0, -k = -y + 2*y + o for k.
-1
Suppose -6*f + 8*f = 10. Suppose -4*p + z = -9, -f*p - 2*z + 0*z + 8 = 0. Suppose -26 - 30 = -4*q. Solve 3*d - 5*k - 5 = 22, 5*d + p*k - q = 0 for d.
4
Suppose 3*r - 11 - 4 = 0. Suppose d + 0 = -0. Solve d = -5*o - r*n, 4*o - 2*n = 2*n - 16 for o.
-2
Suppose 14 = 29*i - 28*i. Solve -4*q - 14 + 6 = 5*j, -2*q = -2*j - i for j.
-4
Let b = -2 - -4. Let r be -2*(b - 8)*1. Suppose -r = -5*g + 3. Solve h = q, -g*q + h + 16 = 2*q for q.
4
Suppose -23 = 5*c - 3. Let u(x) = -x**2 - 6*x - 8. Let q be u(c). Solve -2*l - 14 = n - q*l, 5*l = -2*n - 33 for n.
-4
Let y be (-2 + (-60)/25)*5. Let j = y - -24. Solve t + 3*p + 0 = -3, 0 = 3*t + j*p - 5 for t.
3
Let p(w) = -w + 6. Suppose -3*h + 2*t - 7*t + 33 = 0, -2*t = -6. Let u be p(h). Let y = 3 + u. Solve -2*n = 4*z + 14, -y*n - 4*z + 0 = 11 for n.
3
Suppose -16*n = -4*s - 14*n + 6, 0 = -5*n + 25. Solve -o + 0*o = -3*j - 5, 0 = 3*o + s*j + 24 for o.
-4
Let f(t) = -t**2 + 7*t + 11. Let u be f(8). Suppose u*l - 18 = -6*l. Solve l*v - 4*v - 5*d + 23 = 0, 0 = -d + 3 for v.
4
Suppose 0 = 4*z + 4*y + 288, 3*z + 332 = 2*y + 96. Let c = 87 + z. Solve -q + 5*g - c = 0, 2*q + 0*g = -4*g + 6 for q.
-1
Let g be 1 + (2 - (2 - 21)). Suppose 2*n - 10 = -3*n, 4*i = -3*n + g. Solve -4*w + 3 = -l + 15, 0 = 4*w + i*l - 8 for w.
-2
Suppose 0*n = n, 2*n = 2*j - 4. Let t be (-9 + (3 - 2) + j)/(-2). Solve -5*h = -3*m - 11, 2*m + t = 3*h - 4 for m.
-2
Suppose 4*g + 0*f = -5*f, 3*f = g. Suppose -6*z + 12 + 18 = g. Suppose y - 24 = -z*y. Solve 0 = 5*x - j - 5, -2*x + 6 - y = -j for x.
1
Let u(r) = -r**3 - 9*r**2 - 11*r + 6. Let b be u(-8). Let d = -51 + b. Let t = d - -25. Solve k - t*k = 5*y + 6, 0 = 5*y - k + 18 for y.
-3
Let o be 9 + 1 + 2 + -1. Suppose 10*p + 51 = 13*p. Solve 5*l = 4*n + o, -2*l + 5*n = l - p for l.
-1
Let f = 40 + -18. Suppose -25*b = -f*b - 15. Solve h = -2*r + 13, b*r - 26 = -2*h + 5 for r.
5
Let b be (-3)/(-6) - 1/2. Let x be (-2)/((-1)/(-1)) - (91 + -96). Solve b = -3*f - 0*j - 2*j, -7 = f + x*j for f.
2
Let u = 28 + -22. Solve 0 = -2*z + 4*k - 12, -u*z + 3*k = -2*z - 1 for z.
4
Let m(q) = q**2 + q + 6. Let o(h) = -4*h - 20. Let b be o(-5). Let l be m(b). Solve -i = -v - l, 4*i = 3*v - i + 28 for v.
-1
Suppose -4*s - 6 = -2, -n = 3*s - 3. Suppose -n*p + 37 = -5*p. Solve 0*g = -4*g - 5*b - p, -2*g + 4 = -2*b for g.
-3
Let z(g) = -21*g + 2. Let r be z(2). Let f be ((-3)/(-4))/((-10)/r). Let k = 4 - f. Solve 5*n + 7*y - 11 = 3*y, 5*n = -y - k for n.
-1
Suppose 5 = 5*u - 0. Let p be (-3)/(u/(20/(-12))). Solve -14 = 4*x - 2*s, 25 = -p*x - 4*s + 1 for x.
-4
Suppose -4 = c - 6. Solve -3*n + 2*k = -6, -4*n + 6*k + 12 = c*k for n.
0
Suppose n - 2 = -c, -4*n - c - c = -16. Let i be (-80)/(-6) - 8/n. Solve 4*s + i = 0, -3*p + 5*s = 2*p for p.
-3
Let p = -20 - -47. Suppose 5*w - 5*g - 40 = -0*g, 3*w - 4*g = p. Solve -w*r = 4*q - 16, -q = -5*q + 2*r - 12 for q.
-1
Let w be (-3)/(9/6 + 0). Let j be (1 - w) + 65/5. Let p = j + -12. Solve 3*d + 21 + 11 = -5*q, 0 = 2*q - p*d - 8 for q.
-4
Let o(t) = t**3 + 26*t**2 + 24*t - 7. Let j be o(-25). Solve -4*m - j = -5*y - 63, 10 = 5*m + 3*y for m.
5
Let d = -2090 - -2094. Solve 5*u = -3*q + 4, 3*u - 6 + 21 = d*q for q.
3
Suppose 3 = 4*c + 11. Let u be c/(-3)*(-5)/(30/(-27)). Solve -18 = -2*a - 2*s, -u*s + 3 = 4*a - 29 for a.
5
Suppose -16 = 3*o - 4*n, 2*n = 2*o - 2*n + 12. Let r(d) = -5*d. Let p be r(o). Suppose 3*y + p = 8*y. Solve 2*w - 3*g + y = 0, 5*w + 0 = -3*g + 11 for w.
1
Let g be 4/(-10) - 22/(-55). Suppose 6 = 2*j - 2*x, 0 = -x - g*x. Solve 5*f - j*n + 3 = 0, f + 0 = 4*n - 4 for f.
0
Suppose -4*c - 5*r = -2*r - 440, 0 = 3*c + 2*r - 331. Let b = 116 - c. Solve -6*v + 12 = b*j - v, -2*j + 8 = 2*v for j.
4
Let p = -335 - -335. Solve 3*t + 4*n = -t - 24, -4*t - 5*n - 27 = p for t.
-3
Let z(q) = q**3 + 11*q**2 - 14*q - 17. Let j be z(-12). Let h = j - -2. Let u(g) = -g**3 + 9*g**2. Let i be u(h). Solve i*f + 4*s = -5*f, f + s - 1 = 0 for f.
-4
Let p be 2 - -11 - (-32)/(-4). Solve 20 = -p*l - 3*a, 3*l + 2*a + 3 = -9 for l.
-4
Let o(u) = -50*u - 645. Let h be o(-13). Solve -h*y + 3*i + 8 = 0, -y + 0*i = i for y.
1
Let l(x) = 2*x**2 + 5*x - 45. Let d be l(4). Solve 3*j - 13 = z, -4*j + 4*z = d*z - 13 for j.
4
Let i(c) = -9 + 5*c + 9 + 3*c**2 - c**3. Let b be i(4). Let u be 6*b/8 - 0. Solve 2*a - p + 7 - 1 = 0, 4*a - u*p + 10 = 0 for a.
-4
Suppose 4 - 28 = -6*s. Solve -2*q - s = f, -q - 2*q + f = 11 for q.
-3
Let g be (-3 - 0) + -2 - (-12 + -7). Solve -3*r = v - 14, -v - 12 = -5*r + g for r.
5
Let m = -645 + 648. Solve -2*o - 5 = -5*g - m*o, -3*g + 3*o = -3 for g.
1
Suppose 0 = 6*s + 160 + 380. Let i = s - -95. Solve z - 3 = -o - 1, -i*o = 3*z for z.
5
Let f(h) = h**3 - 11*h**2 - 23*h - 35. Let r be f(13). Solve -3*x + r*o = 20, -5*x - 5*o = 1 + 9 for x.
-4
Let i be 1 + (0 - -1) + -5. Let v = 0 - i. Let b = -19 - -19. Solve b*y + 15 = -5*q + 2*y, 5*y = q + v for q.
-3
Let c = 11 + -9. Let m be -1 + (-9)/3 + 2. Let r = 2 + m. Solve -2*f + 8 = r, c*s + 4*f - 4 = 10 for s.
-1
Let c = -47 - -70. Suppose -2*g + 5*j + c = -0*j, -2*j = -4*g + 22. Solve -2*x - 1 = x - u, -12 = -g*x - 2*u for x.
1
Let u(g) = g**2 - 5*g - 7. Let x be u(6). Let i(p) = 2*p**2 + 1. Let m be i(x). Solve 5*q + 5*b = 35, -m*b + 6 = 2*q - 10 for q.
5
Let c be 9/(4 - (-10)/(-4)). Suppose 2*q = 2*r - c + 18, 0 = -2*q - 2*r. Let h be q/(5/((-30)/(-9))). Solve -s - 4*j - 5 = 10, -h*j = -5*s + 35 for s.
5
Suppose -39*n + 70 + 8 = 0. Solve t + 1 = -2*w + 3*w, n*w = -4*t + 14 for w.
3
Let u be 5/(-1)*6/(-6). Suppose -u*a + 5 = -5*j, 5*j + 4*a = 3*a + 13. Solve -12 = -j*y - 5*m + 3*m, m = 5*y for y.
1
Let s be 18*(3/2)/3. Let m = -2097 + 2099. Solve -2*r - 5*v - s = 0, -15 = -m*r + 3*v - 0 for r.
3
Let t(v) = -v**2 - 13*v - 38. Let j be t(-6). Solve -3*w + 24 = 7*g - 11*g, 4*w = -j*g + 4 for w.
4
Let p(y) = -25*y - 2. Suppose -2*f + 5 = u, 0 = 4*u + f - 3*f + 10. Let z be p(u). Solve 0 = -5*l + 5*k - 25, k = 5*l - 3*k + z for l.
-3
Let t(w) = -w**3 + 4*w**2 + 7*w - 8. Let v be t(5). Solve z - v = 4*x - 0, x - 1 = z for x.
-1
Let z(d) = -d**2 + 11*d - 13. Let y be z(11). Let v = y + 16. Suppose 0*i + 4*p + 8 = -v*i, 25 = 5*i - p. Solve -a + 5*a = -g + 19, 14 = 2*a - i*g for a.
5
Let h = 135 - 131. Let c be (8/(-6))/((8/(-6))/h). Solve -5*a = -10*a - 15, -c*g - 9 = 3*a for g.
0
Let j be ((-18)/(-4))/(-3) + (-1323)/(-294). Solve -p - j*l = 9, 0 = -p + 2*l + 1 for p.
-3
Suppose -20 = 4*p - 9*p. Let r = 10 - p. Solve d - 3*q + 5 = -4, 2*q = d + r for d.
0
Let o = -2703 + 2706. Solve 0 = 5*b + 15, -4*b = -o*l - 3 for l.
-5
Let u be (1 + -1)/(5 - 3). Suppose 70 = 5*x + 5*a, 3*x + u*a - 42 = a. Let m = x + -9. Solve 2*l - m*n = 6, -l - 5*n - 6 = 6 for l.
-2
Suppose -2 = -4*w + 42. Let p be (13 - w) + 5/1. Solve 2*n = -3*t + 8, 2*n - p*n = t - 20 for n.
4
Suppose -59 = -4*o - 19. Let p be 1/(o/(-6)) + (-414)/(-90). Solve g = -p*g + 4*i - 30, 0 = g + i - 3 for g.
-2
Let n be 1/2*(-60)/5. Let v be 0 + 0*3/n. Solve 3*k - 2*j - 2 = v, 2*k = k + 4*j - 16 for k.
4
Let u = -2839 - -2842. Solve -2*q - u*q + 40 = 4*w, 2*q + 3*w - 23 = 0 for q.
4
Let f = -936 - -952. Let s be 4/6 + (-95)/(-15). Solve -2*m + 4*c = f + 2, c - s = m for m.
-5
Suppose 14 = 15*j - 151. Suppose -7*i - j = -32. Solve -3*y = 5*v + i, -3*y - 1 = -5*v + 2 for v.
0
Let c = 262 + -258. Solve -7 = -4*s - w - 3, -c*s + 4 = -w for s.
1
Let u(q) be the first derivative of q**4/4 + 2*q**3/3 + q**2/2 + 2*q - 1. Let l be u(-2). Suppose l = -6*t + 2*t. Solve 4*m - 5*x = t, x = -4*m + 5*x for m.
0
Suppose x + 3 = u + 4, 0 = 5*u + 2*x + 26. Let k be (u - -4)/(-4) + 5. Solve 0 = 5*t - k*h - 13 - 17, -5*t - 3*h = 10 for t.
1
Let m(z) be the first derivative of -z**4/4 - z**3/3 - z**2/2 + 21*z + 31. Let u be m(0). Solve -4*t + 20 = -2*j, -3*t - 4*j + u = -7*j for t.
3
Let v be (10/(-4))/(3/(-54)). Suppose 3*q - v = 5*a, 2*a - 6*a - 38 = -2*q. Let d be (-1)/(3/a*2). Solve