-2
Let s be -2 - 28*(-1)/1. Let g be (s + -1)*6/10. Suppose 4*p + 2 = -2, 0 = -4*j + 3*p + g. Solve 3*w - x - j = w, 1 = -w + 3*x for w.
2
Suppose 4*x + 0*h - 4*h = -12, -x - 4*h - 23 = 0. Let c be (4/x)/((-6)/21). Solve -v = -u, -v + 4*v - c = 2*u for v.
2
Let t = -89 - -103. Solve o + t = -5*p, 16 = -2*o - 2*o for p.
-2
Suppose -8*h - 15 + 47 = 0. Solve 2*t - 5*t + 22 = h*m, -3*m = 5*t - 22 for t.
2
Suppose -2*i + l = -6, -i + 4 = -3*l + 11. Solve -v - v + 26 = 5*n, -i*n + 4*v + 8 = 0 for n.
4
Let m = 12 - 9. Solve o = -s + m*o - 1, -3*o + 9 = 0 for s.
5
Let u = -7 + 11. Let j(f) = f + 1. Let g be j(2). Let t be ((-2)/2)/(g/(-21)). Solve -1 - t = u*w - 2*i, 0 = 2*w - 4*i + 4 for w.
-2
Let l = 9 - 5. Suppose 0 = -5*z + 25, 0 = -l*t + z + 3. Suppose 0 = -4*a + 3*a - 4*c + 21, -3*a + 3*c = 12. Solve a = s + m, -5 = -5*s + 4*m - t*m for s.
1
Suppose -2*k + 1 = -7. Solve 0 = b + 3*b + o - 4, -4*b - k*o = -4 for b.
1
Suppose 5 = 2*a - 1. Solve -a*p - 3*f + 2 - 11 = 0, -f = 5*p + 15 for p.
-3
Suppose 2*k - 13*k = -22. Solve l = k*c - 6*c - 22, 4*l + 5*c = -33 for l.
-2
Let w = 1 + 2. Suppose -3*z + 12 = -3*f, -w*z + 2*f = -5*z. Let j(a) = a + 4. Let c be j(0). Solve c*g - z*l = 13 - 1, 13 = g + 2*l for g.
5
Let y be (0 - -1)/(7/35). Solve -3*c + k = -5 - y, 6 = -5*c - 4*k for c.
2
Let f = 1 - 0. Let g be 63/12 + f/(-4). Suppose -5*x + 6 = -2*x. Solve -3*u - 19 = 5*b, -u + g*b + 31 = x*u for u.
2
Let a be (-64)/(-10) - (-3)/5. Let l(g) = -g**2 + 8*g - 3. Let q be l(a). Solve 0 = q*k + 2*x + 10, 0*k + 2*x = -2*k - 8 for k.
-1
Suppose -26 - 110 = 4*n. Let u be -2 - (n + 2)/1. Solve -5*t - s = u, s = t - 3*t - 15 for t.
-5
Let o = 20 + -10. Suppose o = n + n. Solve -3*c + 3*y = 4*y - 13, 2*c + n*y = 13 for c.
4
Let v be (-8)/(-3 - -7)*(-3)/2. Solve 0*m = -n + v*m - 9, 0 = -2*n + 2*m - 6 for n.
0
Suppose 0 = -2*f + 16 - 2. Suppose -f*i = -10*i + 15. Solve y = i*b + 2, 0 = -0*b + 2*b - 2*y + 4 for b.
0
Suppose 5*i + 4*d = 25 - 0, -2*i - 2*d = -10. Solve 0 = -4*z + 7*b - 2*b + 25, b = -4*z - i for z.
0
Suppose m = -18 + 25. Suppose -4*n + 5*q = -15, 0*n - n - 2*q + m = 0. Solve z = -4*o - 0*z - 4, -5*o - n*z - 20 = 0 for o.
0
Suppose 3*m - 3*w = -6*w + 6, m + 28 = 5*w. Let a be 2 + -3 + (-15)/m. Solve -8 = a*c - 4*p, 5*p + 1 - 26 = 0 for c.
3
Suppose 4*y - 2*l - 6 = 0, -3*l + 18 = 3*y - 9. Solve 3*x - 8*x = r - 20, 16 = r + y*x for r.
0
Suppose -4*r + 1 + 55 = 0. Solve -4*u - r = 6, -u - 1 = -h for h.
-4
Let u be 6/(-14) + 114/21. Solve -4*y + u*h + 0*h + 1 = 0, -3*y = h + 4 for y.
-1
Let q(x) = -x - 4. Let b be q(-6). Suppose -4*d + 16 = -b*n - 0*n, -d = 3*n + 10. Solve 4*a + 4*p + 4 = 0, d*a - 2 = -5*p - 19 for a.
4
Let n(r) = r**3 + r**2 - 3*r - 2. Let l be n(-2). Suppose -2*o + 5 - 1 = l. Let u be (-1 + 0)*1 + 25. Solve 0*k = -o*m + 5*k - u, 3*k = -m + 10 for m.
-2
Let n(x) = 13 - x + 15 - 6. Let g be n(10). Suppose 5*q - 3 = 2*z + g, 15 = 5*q - 3*z. Solve -3*p = -15, -q*v = -p - 3*p + 14 for v.
2
Let n(x) = 2*x - 5. Let z be n(4). Suppose 0 = 3*r - z, 4*r - 16 = -5*d + 8. Solve d*p - 8 = -2*y, 3 = 3*y - 5*p - 9 for y.
4
Let u(y) be the second derivative of -y**4/12 + 4*y**3/3 + y**2 - y. Let j be u(8). Solve 2*x - 9 + 0 = -a, 0 = j*a - 4*x + 22 for a.
-1
Let h(m) = m**2 + 4*m - 6. Let l be h(-6). Solve -2*z = 3*c + 9, 3*z + 4*c = -l - 7 for z.
-3
Let u(k) = k + 1. Let j be u(2). Solve 0 = x - 4, 0*r + r - x + j = 0 for r.
1
Let n(y) = y**3 - y**2 + 3*y - 2. Let s be n(2). Let b be 52/s*2*1. Solve -3*g - b = p - 0*p, 3*g - 4*p + 23 = 0 for g.
-5
Suppose -3*o + 4*g + 31 = 0, 0*g - 3*g - 17 = -o. Suppose -j + 0 = o, -2*j = -5*p + 10. Solve p*l = -3*t - 3*l - 9, 2*t + l + 6 = 0 for t.
-3
Let b(n) = n**2 + 2*n - 32. Let t be b(-8). Solve t = u + 5*m, -3*u - 2*u = -2*m + 1 for u.
1
Let i = 4 - 4. Suppose i = -2*c + 7*c. Suppose -3*w = -c*w - 12. Solve -1 = o, 0*o = 3*y - w*o - 4 for y.
0
Let t(k) be the first derivative of -k**4/4 + k**3 + k**2 - 4*k - 4. Let o be t(3). Solve -o*f - 2*q = -2, -12 - 2 = 4*f - 2*q for f.
-2
Let o(a) = -2*a**2 + 5*a**2 - 4*a - 2*a**2. Suppose 2*t - 20 = -2*q - 0*q, 5*t = -4*q + 45. Let r be o(t). Solve 3*u = c + 10, r*u - 10 = 2*c + 7 for c.
-1
Let t = 2 + 3. Suppose 20 = t*w, 2*o - w = -3*o - 4. Solve -3*k - 5*c - 19 = o, 0*k = -4*k - 5*c - 22 for k.
-3
Let i be 5 + (-3 - (1 - 2)). Let q = 11 - i. Solve -11 = -3*b + 4*a + q, 3*b - 3*a - 18 = 0 for b.
5
Let q(d) = 3*d**2 - d - 1. Let s be q(-1). Let n(u) = 9*u**3 - u**2 + u - 1. Let h be n(1). Solve s*o = -m - h, -3*m - 2 = 2*m - 4*o for m.
-2
Suppose -4*q = -3*b + 24, 4*b - 32 = -5*q - 0*q. Solve -d - 3*d = 5*y + 6, -3*y = -2*d + b for d.
1
Suppose -5 = -x - 0*x. Suppose x*y = -0*y. Let v(d) = -d**3 + 6*d**2 - 5*d + 3. Let q be v(5). Solve -o - 4 = -5*s + 18, -3*s - q*o + 6 = y for s.
4
Suppose 0*z = 5*z + 100. Let u be (24/(-5))/((-2)/z). Let f be 3/21 + u/(-7). Solve 0 = -k + 4*m, -f = 5*k + 3*m - 30 for k.
4
Suppose 4*l - 8 - 7 = -3*f, -2*l = -3*f + 15. Solve -3*c - c + 8 = 2*k, l = -5*c - 3*k + 9 for c.
3
Let d be 1/(-1)*-6 + -3. Suppose -5*o + 55 = d*r - 10, 0 = -o + r + 13. Solve -5*x + 4 = 4*l, l - 5 = x - o for x.
4
Let f(p) = p**2 + p + 1. Let d be f(-4). Let t(z) = -2 + 0*z + 3*z**2 - 4*z - 2*z - 2*z**2. Let b be t(7). Solve -b*g + 22 = -4*y - d, -5*y - 40 = -5*g for y.
-5
Let z(j) be the second derivative of -j**5/20 - j**4/4 + 2*j**2 + 2*j. Let i be z(-2). Solve 0 = l - 4*w - 15, 5*l = w - 1 - i for l.
-1
Let x(s) = s**2 - 13*s + 38. Let h be x(4). Solve -11 = -2*l - 3*u, 2*l + 6*u - 14 = h*u for l.
1
Suppose -4*z + 20 = 0, -2*n + 0*z - 14 = -4*z. Solve -4*t + 2*t - x - 1 = 0, n*t = 4*x + 26 for t.
2
Let c(r) = r**3 - r**2 - r - 4. Let d be c(3). Let b(n) = -n + 13. Let f be b(d). Solve 3*z + o = 17, z - 1 - 8 = -f*o for z.
5
Let t be (-28)/(-6)*(-33)/(-22). Solve 2*u - 3*u = 2*q - t, 0 = -5*u + q - 20 for u.
-3
Let v = 56 - 33. Let a = v - 19. Solve -a*o = -3*d + 10, 2*d = -8*o + 3*o - 24 for o.
-4
Let b(z) = z**2 + 4*z + 6. Let n be b(-4). Let f be 2/((-3)/(n/(-1))). Suppose 5 = 3*c - 1. Solve 2*q - 8 = i, -4*i - 5*q - c - f = 0 for i.
-4
Let d(b) = 3*b + 6. Let t be d(-8). Let w = t - -25. Suppose w = 2*y + 1. Solve a + 2*o = -4, 5*a = -5*o + y*o - 4 for a.
0
Let u(g) = g**3 - 5*g**2 - 2*g - 1. Let f be u(6). Suppose -2*v + f + 17 = 0. Solve -b + 6*b - 45 = -4*i, i = -3*b + v for b.
5
Let d(v) = v**3 + 5*v**2 + v + 5. Let a be d(-5). Solve -2*s + 5*u + 20 = 0, -5*s + u + 3*u + 33 = a for s.
5
Let g = 7 + -3. Solve -g*s - 5*r + 24 - 3 = 0, -3*s = -4*r - 8 for s.
4
Let t(k) = -2*k**2 + 9*k - 6. Let a be t(3). Solve -a*d - 3 = r + 8, -5*r = 5*d + 5 for d.
-5
Let d be ((9/(-3) - -7) + -4)/(-2). Solve 2*w + 5*y = -d*w + 6, -4*y = w - 6 for w.
-2
Let w(h) = 2*h - 5. Let g be w(5). Let o = g + -3. Suppose l + o = 2*l. Solve -l*p + 4 = -0*p - 3*c, 0 = 4*p - 2*c + 8 for p.
-4
Let i(u) = u**3 + 5*u**2 - 2*u + 2. Let q(s) = s - 10. Let h be q(5). Let p be i(h). Let a = -11 + 15. Solve -9*g = 5*b - 4*g, -2*g + p = -a*b for b.
-2
Suppose -2*c = -0*g + 3*g - 10, -c - 21 = -5*g. Let s = -27 + 35. Let b be g/(s/(-10))*-1. Solve 2*r + 7 = b*h, 3*r = -r - 4*h for r.
-1
Let g = 1 - 3. Let x = -2 - g. Suppose -2*y = -4 - x. Solve -y*o + o = k - 10, -o + 20 = 3*k for o.
5
Let p be (-2 - 1)/(-1) - -2. Let g be 2 + 2 + -3 + 3. Let k = -1 + g. Solve -p*n + 2*n - 2*b + 5 = 0, 3*n = k*b for n.
1
Suppose 0 = -0*q + 3*q - 15, -3*y = -3*q + 9. Let w = y - -2. Suppose -2*u + l + 15 - w = 0, -2*u = l - 13. Solve -5*a - 16 = s + u, -2*a - 1 = 3*s for s.
3
Suppose 3*r - x - 16 = -3*x, 18 = 5*r - x. Solve 4*v + 1 + r = -5*h, 2*h - 26 = 4*v for v.
-5
Let k be (6/4)/((-18)/(-60)). Solve -g + 3*o = 5 + k, -5*g - 22 = -o for g.
-4
Let l = -54 - -57. Solve -4*u = g + 21, -l*u - 12 = -4*g + g for g.
-1
Suppose -2*x + 3*x = 6. Let h be (0 - 3/x)*0. Solve -n - 1 = -3*q, -2*n - n + 2*q - 10 = h for n.
-4
Suppose -4*h - 2*y + 28 = 0, 5*h + 0*h = -5*y + 25. Solve -3*b + h = -3*i, -1 + 15 = 4*b - 3*i for b.
5
Let w(c) = c**3 - 8*c**2 + 7*c + 5. Suppose 4*i + 0*i - 28 = 0. Let z be w(i). Solve -3*v + 0 + 9 = -5*x, -z*v = 10 for x.
-3
Suppose -5*l = -3*l - 28. Solve 3*h + 8 = -4*f, 0 = -h + 5*f - 3*f + l for h.
4
Let m(z) = -12*z**2 - 1. Let f be m(-1). Let c = 15 + f. Solve -c*x + 3*v = 3, -x = -0*x +