-2
Suppose 3*x - 2 - 1 = 0. Suppose 2*d - 3 = 3*m + x, 5 = d. Solve -y = 4, 0 = 2*g - 0*g + m*y for g.
4
Suppose 5*q - 22 = -4*n, -3*q + 6 = n - 3. Suppose 5*h - 2*y + 0 = 2, 3*h = q*y + 2. Let x = 2 - h. Solve -x*t + 3*t = -5*b - 10, 3*t = 0 for b.
-2
Suppose 9 = 4*w - 3. Let i be 20/(-6) - (-4)/(-6). Let o = -2 - i. Solve 8 = -4*m, m - 9 = -w*z - o*m for z.
5
Suppose 5*i + 56 = -5*g - 14, -2*g - 37 = 3*i. Let q be (4/((-12)/i))/1. Solve -19 = -q*k + 2*f, -3*k + 6 - 1 = 5*f for k.
5
Suppose 0 = -5*d + 3*d + 10. Solve 0 = -0*k - 2*k - a + 3, 0 = -d*k + 4*a + 1 for k.
1
Let k = 13 + -4. Suppose 7*x = s + 4*x - 17, 5*s = -4*x + k. Solve -4*i = -2*u - 18, u = -s*i + 5*u + 30 for i.
2
Suppose 2*j = -0*j. Suppose -2*s = -j*s + 4*x + 2, -3*x + 11 = 4*s. Solve -s*a + b = 2 + 7, -b - 3 = a for a.
-2
Suppose -4*c = -4*l - 48, 0*c - 56 = 5*l - 3*c. Let b be (-4)/(-3 - l/6). Solve 21 = 5*k + m, 3*k + m = b*m + 23 for k.
5
Let z = 7 - 5. Suppose z*c - 3 = 3*c. Let q = 5 + c. Solve 2*p + 10 = 4*t + 4*p, -4*t + q*p - 10 = 0 for t.
0
Let o = -13 - -15. Let y = 3 + -1. Solve w - 2*z - o = -9, 3*z = -y*w + 21 for w.
3
Let y(w) = 0*w**3 + 2 + 6*w**2 - 5*w + 0*w**3 - w**3. Suppose -l + 1 = -4. Let d be y(l). Solve 0 = -d*a + 2*s + 6, 5 = -7*a + 2*a + s for a.
-2
Let g be (1 + (-9)/6)*(6 + -6). Solve -3*i - 1 = -2*n, -5*n - 5*i + 11 + 4 = g for n.
2
Let b(k) = -k**3 + 2*k + 7. Let m be b(0). Solve -4*i + 32 = -4*x, 2*i - 2*x = -m*x - 19 for i.
3
Let s = 14 - 3. Suppose -4*g + 13 + s = 0. Let o = 0 - -3. Solve -2*n + o*u = -3*n + 8, 5*u = 2*n + g for n.
2
Suppose -q + 0 = -2. Let j(u) = -u**2 + 4*u. Let d be j(4). Suppose 2*y - 2*v - 22 = d, -4*v + 0*v - 32 = -3*y. Solve y = q*l - 2*z, 3*l - 2*z - 20 = -3 for l.
5
Let c = -7 - -12. Suppose 4*a + n + 3 = -1, -c*n - 20 = a. Suppose 4*w - 3 = -4*b - w, -b - w + 1 = a. Solve k + 10 = -3*g, b*k - 5*g - 30 = -3*k for k.
2
Suppose -w - 98 = -5*t, 3*w = -w + 8. Solve 0 = -4*u, -u - t = -5*q + u for q.
4
Let c be (-2)/8 - 2/(-8). Let l = -2 - -11. Suppose 4*q + 3*d = 8*d + 43, 2*q = 3*d + 23. Solve -2*w - x - q = c, 0 = -4*w - 3*x - 6 - l for w.
-3
Let s = 2 - -1. Let x = -18 + 22. Solve x*r + 20 = 0, 4*w + 4*r = s*r + 15 for w.
5
Suppose 0*j + 3*j - 39 = 0. Let r be (-70)/(-9) - (-6)/27. Let v = j - r. Solve m - 2*m + 3 = -2*l, -m = v*l + 11 for m.
-1
Let b(g) = -g**2 + g. Let k be b(1). Let p(z) = z**3 - 2*z**2 - 3*z. Let j be p(3). Solve -3*y + 12 = -k*y, j = -f - 3*y + 17 for f.
5
Let v(z) = z + 21. Let h be v(0). Let w(p) = p**3 - 9*p**2 + 12*p + 18. Let b be w(7). Solve 2*s - h = -0*q - 5*q, 0 = -2*s + b*q - 6 for s.
3
Let l be 6 - 1*16/4. Let s be l/(-4)*(-11 - -1). Solve 3*j = 5*w + 27, w + w = s*j - 26 for w.
-3
Let d be (-29)/(-5) + (-2)/(-10). Suppose 2*u - d = -u. Solve -q - u = -5*p, -p + 10 = -5*q - 4*p for q.
-2
Let y(p) = 2*p**2 + 6*p + 5. Let j be y(-3). Solve -2*z + 5*v = 0, 2*z = 6*z + j*v - 30 for z.
5
Suppose 4*d + 8 = 28. Suppose 0 = g - 0*g - y - 1, g + 2*y - 4 = 0. Suppose 0 = -d*v - g + 17. Solve 4*q - 3 = h, -v*h - q + 3*q + 11 = 0 for h.
5
Let m be 3 + (0 - 1) + 2. Let b = -25 - -21. Let s be (-1)/b + 71/m. Solve -18 = 3*a + 3*z, 4*z = 4*a - 2*a - s for a.
-1
Let q(m) = m**3 - 3*m**2 + 2*m - 3. Let l be q(3). Suppose -5 = l*z - 17. Solve o - 3*s = -0*o - 10, 5*s - 19 = z*o for o.
-1
Let t = 30 - 14. Solve 5*h = -r - 20, -5*r = -5*h - t - 34 for h.
-5
Let d be (-1)/6 - 3*(-1)/18. Solve -3*p = -3*l - d*p, 6 = 2*l + p for l.
2
Let p be ((-4)/(-5))/((-1)/(-5)). Let z be 1*3*(p - -3). Solve -3*a = -3*b + z, 5*b - 23 = 3*b + 5*a for b.
4
Let q(n) = n**3 - 3*n**2 + 2*n - 2. Let d be q(2). Let f be 4/((-2)/4*d). Solve 2*j - 7 = -3*z + f*z, -5*z = -5*j + 25 for z.
-3
Suppose -20 = -5*r + r. Let x be (-4)/(1 - (-6)/(-4)). Suppose -z = -r*z + x. Solve -3*d - 2*v = 21, -z*v = -d - 1 + 2 for d.
-5
Suppose 0 = -11*o + 5*o + 42. Solve -2*r + 1 = -v, -o = -8*v + 3*v + 4*r for v.
3
Let m be (-324)/(-90) - (-4)/10. Suppose 4*l - 5*l = -3. Solve m = 3*h + 5*r + 1, -3 = -l*h + r for h.
1
Suppose 2*d = -t + 6, t = -2*d + d + 4. Let y be (2*-1 + 1)*0. Suppose -t*b + b = y. Solve -s - 8*k + 3*k = b, -k = -s for s.
0
Let n(i) = -3*i - 4. Let h be n(-3). Suppose c - 5 = -1. Suppose -a - c*r + 2 = 1, -2*a - 3*r = -7. Solve -a*y - 37 = -3*z, -24 = 4*y - h*z + 16 for y.
-5
Suppose -5*b + 1 + 16 = -2*z, -40 = -4*b - 5*z. Solve -2*l + 23 = -b*l - 4*g, -18 = 2*l + 4*g for l.
-5
Suppose -4*w + 23 = 3*r - 72, -90 = -4*w - 2*r. Suppose 3*z - w = -2*v, -2*z - v = -3*v. Solve 4*i = -p + 2, z*p - i + 3 = -6*i for p.
-2
Suppose 5*w + 11 = -2*x - 5, -3*x + 18 = -3*w. Suppose 14 - 18 = -h. Solve h*c = x*m + 2, 11 = 6*m - m - 2*c for m.
3
Suppose -2*f - 2 + 8 = 0. Solve -21 = -f*v + 4*l, -4*l + 4 = 16 for v.
3
Let c(o) = -7*o + 33. Let u be c(4). Solve -2*l + q = -3, -3*q - 2*q + 30 = u*l for l.
3
Let l = 64 - 35. Solve 4*p = -5*b - l, 3*p - 4*b - 21 = -4 for p.
-1
Suppose w = -w + 14. Let l = w + -3. Suppose r = -y + l*y + 14, 5*y + 26 = 2*r. Solve -z - 4*m - 12 = -9*m, z - 3*m + r = 0 for z.
-2
Suppose -5*f + 3 + 7 = 0. Solve -f*j - 22 = -4*w, j + 3*j + 29 = 3*w for w.
3
Suppose -10*k + 15 = -5*k. Solve 4*i + k*b - 7 = 0, 3*b - b - 16 = 3*i for i.
-2
Let c(n) = n - 12. Let h be c(0). Let f = h + 8. Let g = -4 - f. Solve u - 2*t - 6 = g, 3*u + 0*u - 4*t - 12 = 0 for u.
0
Let m(x) = x**2 - 5*x - 3. Let r be m(8). Suppose 5*k = 39 + r. Solve 4*v + 5*o - k = 0, -4*o - 6 = -2*v - 8*o for v.
3
Suppose 2*y = 3*q + 9, -2*y + 5*q + 3 = -0. Suppose -3*x - 4*m + 19 + 21 = 0, -2*m - 52 = -3*x. Solve 2*c + 4*b = y*b + 23, -4*b - x = -4*c for c.
-1
Suppose 0 = -3*k - c + 7 + 9, -c - 12 = -4*k. Let v = 1 + k. Solve 4*u + 0*f + 3*f + 5 = 0, u = -2*f - v for u.
1
Let j(h) = -h**2 - 12*h + 10. Let n be j(-10). Suppose 2*u - 6 - 4 = 0. Solve -c + u*v = 6, -n = -5*c - 6*v + v for c.
4
Suppose -4*z - q = -7, 2*z + 2*q = -2*q. Solve -m - 2*m - 5*h = -28, z*m - 4*h = -18 for m.
1
Suppose 0 = -4*v - t + 9, -5*t + 4*t = 3*v - 7. Suppose f + 4*k = -6, -v*k + 3 = 4*f - 1. Solve x - 5*x = f*n - 8, 0 = -4*x + 3*n + 28 for x.
4
Let g = 26 + -22. Solve g*r + v - 4 = 0, v = -r + 5*v + 1 for r.
1
Suppose 6 = -2*f + 4*v, 3*v - 20 = -f - 8. Solve -19 = 4*c - 2*i - i, f*c - 4*i = -23 for c.
-1
Let v be 3/6*(-3 - -11). Suppose -3*r + 3 = 0, 4*q + 3*r + r - 16 = 0. Suppose q*g - 21 = -9. Solve -v*j + 4*h + 8 = -0*h, g = -4*j - 2*h for j.
0
Let k be ((-15)/(-6))/(7/14). Solve 4*c + 4 = 2*d - 10, d = -2*c - k for c.
-3
Let s = 19 - 16. Solve -5*l = -5*q - 9 - 26, s*l = -3*q - 9 for l.
2
Suppose -8 + 0 = -4*m, 4*m = -h + 11. Let t = 3 - 0. Suppose h = a - 4*n, a - 15 = -4*a + t*n. Solve 3*f - 4*i + 19 + 2 = 0, 9 = a*i for f.
-3
Suppose 3*m + 2*m = -p + 7, -1 = m - p. Let s be (3/3)/((-1)/(-6)). Let a(t) = -t**2 + 5*t + 8. Let j be a(s). Solve 3*k = j*r + 2, r + k + 2*k = -m for r.
-1
Suppose -5*n - 117 = -2*n. Let o be (-6)/(-15) - n/15. Suppose -v - 3*j = o*v - 10, j = -5*v + 18. Solve 5*k = -v*s - 2 + 29, -3*k = -2*s - 3 for s.
3
Let r(g) be the first derivative of g**4/4 - g**3 + 3*g**2/2 - 3*g + 2. Let m be r(3). Let s be (70/21)/(4/m). Solve w = -4*l + 6*w, w = s*l + 21 for l.
-5
Let q be 3/9 + 46/6. Suppose -5*v - 143 = -3*i, -2*v - 3*v = 3*i - 103. Solve -11 = -3*s - c, -3*s - 4*c - i = -q*s for s.
5
Suppose -5*b + b + 26 = 5*q, 5*b + q = 22. Solve f + 5 = -b*f - 2*z, 0 = 5*f - 2*z + 5 for f.
-1
Let f be (-110)/6 + 11/33. Let r be 4/18 - 562/18. Let l = f - r. Solve 3*z - l = -n, z - 3 = -0*n - n for z.
5
Let n(h) = -h**2 - h + 2. Let c be n(0). Suppose 3*z = -c*z. Let f(y) = -y**3 - y**2 + y + 2. Let d be f(0). Solve z = 4*o + 24 - 4, d*o = -4*b - 30 for b.
-5
Let j be (-50)/35*(-14)/2. Let r be 60/(-24)*(-12)/j. Solve 5*s - 1 = -2*y, 0 + r = 3*s + 2*y for s.
-1
Let m(u) be the second derivative of u**5/20 - u**4/2 + 5*u**2/2 - 2*u. Let o be m(6). Solve 0 = -3*q - 4*j - 20, 2*q - 25 = q + o*j for q.
0
Suppose 83 - 23 = 6*l. Let w = l - 7. Solve 4 = -2*y, 5*x - 15 + 6 = -w*y for x.
3
Let o be (-155)/(-30) - 1/6. Let u(a) = -5*a. Let y be u(-2). Suppose -5*r = -y - 10. Solve -o*z = -r*f - 33, -1 = -z - f - f for z.
5
Let g be 28/6 - (-6)/(-9). Let w = g + 1. Solve -w*y = -5*b - 0*b + 25, -y - 3*b + 3 = 0 for y.
-3
Let j(d) = d**3 - 5*d**2 + 3*d + 2. Let w be j(3).