- x*m = -2*h + 16, 3*h + m = 0 for h.
1
Suppose -r = -0*r - 36. Let b be 32/18 - (-8)/r. Solve 0 = 2*m - b, 23 = 3*t + 5*m + 6 for t.
4
Let k be 6*-3*(-3 + 4). Let d be ((-1)/(-3))/((-2)/k). Solve d*l + 0*l + r + 13 = 0, -5*r = 20 for l.
-3
Let c be (12/(-15))/(1/5). Suppose 2*x = 5*x + 6, 32 = -4*n - 4*x. Let w = c - n. Solve -w*s = -10, -s = -3*q + 1 + 3 for q.
3
Let u be (-5 - 69/(-9))*(-6)/(-4). Solve -5*b - 3*n - 1 = 4, 5*b = u*n - 40 for b.
-4
Let y = 2 - 2. Suppose f + y = -9. Let c be ((-1)/(-1))/(-3)*f. Solve 3*n + n - c*i + 32 = 0, 45 = -5*n + 5*i for n.
-5
Let t = 18 - 13. Suppose -2*p = -t*p + 15. Suppose -5*h - 4*i - 20 = 0, -p*i - 14 - 11 = 0. Solve 5*b = 2*w - h*w - 23, -11 = w + 5*b for w.
4
Let n be 4/(-10) + 1/(15/6). Solve 0 = -5*z - 3*w + 37, 0 = 4*z + w - n*w - 24 for z.
5
Suppose 0 = -2*d + 14 - 6. Solve w - y - 8 = 5*w, -d*w + y - 16 = 0 for w.
-3
Let y = -93 - -97. Solve -p + 3*v = 5*v - 6, -y*p - 5*v = -18 for p.
2
Let s be -13 - (-4 - (-2 + -1)). Let l = s - -15. Solve 2*m - 4*h - 8 = 0, -l*m - h + 1 = 3 for m.
0
Let g(b) = -b**2 + 3*b - 8*b - 4 + 0. Let z be g(-3). Solve -z = 5*a + 3*l - 19, 5*a - 24 = 4*l for a.
4
Suppose 4 = 4*h - 20. Suppose -u = 2*u - h. Suppose 3 = u*j - 3. Solve 0 = -5*f - 10, 3*c + f = j*f - 11 for c.
-5
Let r = 51 - 36. Suppose -15 = -r*s + 10*s. Solve j = -h + 3 + s, -5*h = 2*j - 21 for j.
3
Let x = 7 + 0. Suppose 2*h = -q + 15, -3*h + 2*q + x = -5. Suppose -o + t = 5*t - h, -5*t + 9 = 2*o. Solve -o*r - 3*d - 16 = -3*r, 4*d = 5*r - 36 for r.
4
Suppose -2*w = -28 - 26. Solve -x + 4*x - g - 2 = 0, w = -2*x - 5*g for x.
-1
Suppose 39 = 5*x + 4*m, -4*x - 4*m - 5 = -3*x. Solve 2*s - x = 5*r - 6*r, 2*r - 17 = -3*s for s.
5
Let k be ((-20)/(-15))/((-4)/(-6)). Let u be 8/2 + (-1 - -2). Suppose 4*l - 3*l - u = 0. Solve k*r - 4 = 3*z - 1, 5*z + 3*r = -l for z.
-1
Let h be ((-4)/6)/(8/(-60)). Suppose h = v - 9. Solve -k + 4*o + 16 = 0, 2 = 4*k - 4*o - v for k.
0
Suppose 2*u = 5 + 3. Let a(n) = -n + 5. Let o be a(u). Suppose -3*r + o = -2. Solve 12 = 3*q + 2*w, 2*w + 5 - r = q for q.
4
Let b be ((-25)/3)/(3/(-9)). Let f(g) = g**2 - 5*g - 1. Let q = -3 - -9. Let h be f(q). Solve 0 = -u + j - 4*j + 4, -b = 2*u - h*j for u.
-5
Let t = 11 - -1. Solve 2*i + 4*q - t = 0, -i + 6*i = 3*q + 4 for i.
2
Let i be (2/(-10))/(14/(-1190)). Solve 6 = -2*s + 3*c, -c - c + i = 3*s for s.
3
Let s(t) = t + 4. Let m be s(-3). Let l be m/2 + 18/4. Solve u - 4*u - 3 = -3*a, -4*a = l*u + 41 for a.
-4
Suppose -46 = -4*u + 3*c, -u + 5 + 1 = 2*c. Solve u = -r + 3*k - 7, -12 = -3*k for r.
-5
Suppose 2 = 5*s - 13. Suppose 4*y - 5*y = 0. Suppose y = -2*h + 19 + 9. Solve -h = 5*g + p, 0 = g + g - s*p - 8 for g.
-2
Let v be (-2 + (-6)/(-5))*-5. Suppose -d - q = -2*q + 2, v = 4*d + 2*q. Let u = d - -2. Solve -a - u*n - 6 = a, 0 = -5*a + 5*n + 5 for a.
-1
Let q = -29 - -30. Let d be -1*(-3)/(-6)*2. Let a be (d - -2)*(q + 2). Solve 2*j - f = a*f, 4*f = 5*j for j.
0
Let d(p) = p**3 + 2*p**2 - 4*p - 1. Let h(b) = -b + 1. Let u be h(4). Let a be d(u). Solve 0 = -a*r - 3*n, -5*r - 3*n - 6 = 3 for r.
-3
Let r = 194 - 192. Solve r*n = l + 2, -n - 2 = -l - 5 for n.
-1
Suppose -20 = -4*f + 6*f. Let y = -6 - f. Let m be 1*y + (-8)/4. Solve 4*n - n + h - 4 = 0, 4*h - 2 = m*n for n.
1
Let l(c) be the third derivative of -c**4/4 + c**3/2 - 5*c**2. Let d be l(-3). Solve d = 3*v + 4*s, -2*v - v = 5*s - 24 for v.
3
Let n(b) = b**2 + 2*b - 4. Let y be n(2). Solve y*k + 25 = a, k + a = -2*k - 10 for k.
-5
Suppose -p + 36 = 5*p. Solve 4*b - p = -m, -3*m - 6 = m + b for m.
-2
Suppose 0 = -3*z + 9. Suppose 0*b - 24 = -4*a + 4*b, -a + 2 = 3*b. Suppose -r + a - 2 = 0. Solve -r*f + 8 = -k, 2*f = f - z*k - 4 for f.
2
Suppose 4*h - 10 = -h. Let o = 6 + -5. Let z be ((-16)/(-12))/(o/6). Solve -h*k + x = 5, 3*x + 2 = 3*k + z for k.
-3
Let p be (-5 + 2)*(0 - 1). Solve 0 = 5*c - 5*o - 25, -p*o - 1 = c + 2*o for c.
4
Suppose -2 = n - 2*o - 2*o, 1 = n - o. Let k be 2*(4/8 + n). Solve 38 + 7 = -k*x - 5*t, -2*x = -t + 3 for x.
-4
Let h(b) = b**2 - b + 2. Let l be h(-3). Solve -22 = -5*k - q, 5*q = -5*k + l - 4 for k.
5
Let p(h) = -h**2 - 8*h - 5. Let q be p(-5). Suppose 3*m - 34 = -q. Solve 2*t - s - m = -2, -s + 2 = 2*t for t.
2
Let t(s) = s + 12. Let u be t(-8). Suppose 0*k - k = -3. Solve u*w + 14 = 2*g, 0 = 3*g + k - 0 for w.
-4
Let z(a) = a**2 + a + 4. Let v be z(0). Let w = v + -2. Solve 3*p = 2*y + 14, p + 0*y - 2 = -w*y for p.
4
Let s(x) = -x**2 - 4*x + 1. Let b be s(-3). Solve 3 = k, b*m - 11 = -4*k + 21 for m.
5
Suppose 2*l - l - 5 = 0, p - 20 = -3*l. Solve -5*q = -q - p*k - 15, -5*q = -5*k - 15 for q.
0
Suppose -t + 6 = -4. Suppose -q = -1 - 3. Solve -q*y + t = -2*c, -c + 3*y = -2*c for c.
-3
Suppose 14*v = 5*v + 45. Solve 2*x = 4*x - v*m + 19, -5*x - 19 = -3*m for x.
-2
Suppose -32 = -5*y + 68. Suppose y + 20 = 5*c. Solve 0 = 2*z + 4*u - c, z + 5*u - 12 = -z for z.
-4
Let g(s) = s**3 + 7*s**2 + 5*s - 3. Let p be g(-6). Suppose -5*h + 6 = -2*w, w - p*h + 5 = 1. Solve w*v + 5*b + 1 = 0, -7 = 3*v - 6*v + b for v.
2
Let g be (-2)/9 + (-29)/(-9). Let h be 0/(-1*g) + 1. Let c be (-1 - -1)/(h/1). Solve -k = -r - 4 - 1, c = -k for r.
-5
Suppose t - 6 = -t. Let g = 12 - 4. Solve q - 3*u = -18, g + 11 = -t*q + 2*u for q.
-3
Let b be (-45)/(-30)*4/3. Solve -b*s = 2*n - s - 1, -3*s = 9 for n.
2
Let x(b) = -3*b - 34. Let q be x(-13). Solve 0 = -4*s + q*z - 24, 0 = -s - 0*s + 3*z - 13 for s.
-1
Suppose 3*o = -5*l + 19, -2*l - l = o - 9. Solve 2*b - 6*z + 14 = -2*z, 4*z - 9 = -o*b for b.
-1
Let w be ((-5)/2 + 2)*0. Solve 7 = -s - 4*m - 10, w = -s - 5*m - 22 for s.
3
Let a(z) = 3*z**2 - 4*z. Let o be a(3). Let c be (-3 - (-39)/o)*-5. Solve 0 = -p - j + 1, p - 5 = -4*p - c*j for p.
1
Let l = -2 - -5. Let b(m) = m + 1. Let o(z) = z**2 + 6*z + 1. Let h(v) = 3*b(v) - o(v). Let c be h(-3). Solve 3*x = 5*u - 0*x + l, 0 = c*u + 5*x - 5 for u.
0
Let n(b) = -b**2 + 3*b + 4. Let c be n(3). Suppose i - 11 = 1. Let r be i/8*16/6. Solve 4*k + r = c*w, 3*k - 14 = 8*k - 2*w for k.
-4
Let c(d) = d**3 + 3*d**2 - 4*d + 4. Let a = -6 + 2. Let o be c(a). Solve -y = -4*b + 2*y + o, -12 = -3*y for b.
4
Let v(w) = 2*w**3 - w**2 + 2*w - 2. Let j be v(2). Suppose -1 = -3*o + j. Solve 5 - 4 = -h, 0 = -o*i + h - 19 for i.
-4
Let s(c) = 2*c - 38. Let j be s(19). Solve j = 4*z + w - 4, -z - 4*w + 16 = z for z.
0
Suppose i = 2*i - 43. Suppose -5*r - i + 3 = -q, -q + 20 = -r. Suppose -l + 4*l + 2*d = 1, l - q = 3*d. Solve l*k + 4*u + 6 = -6, 5*k + 15 = -5*u for k.
0
Let n be (4 + -10)/(-1*2). Suppose 6*q - 3*q - n*s = 3, 3*s - 3 = 0. Solve -6 = 3*u + q*b, -4*u - 2*b = -b + 3 for u.
0
Suppose t - 12 = -2*t. Suppose 0 = -t*g + 3*g. Solve -y - r - 1 = -g*r, -11 = -y + 3*r for y.
2
Suppose 0*o + 3*o = 0. Suppose -4*q = -3*d + 12, 2*d - 3*q = 2*q + 8. Solve u - 3*l - d = o, -5*l - 4 = 6 for u.
-2
Let o = -9 + 13. Let z be (19/3)/((-2)/(-6)). Suppose -o*b - 8 = -4*d, b - 5*d = -b - z. Solve -3*i - 23 = 5*x, 5*i - 5*x + 3*x = b for i.
-1
Let s be 3 - 3/(-2)*(-40)/(-30). Solve 4*t - 1 = 2*o + s, -o = -t + 2 for t.
1
Suppose -u + 5*b = 4*b - 30, 2*b - 122 = -5*u. Solve -f + 3*a - 28 = -6*f, -u = -5*f - a for f.
5
Suppose -15 = 5*h, 31 = -2*u - 2*u - h. Let x = -2 - u. Solve 3*o = -o + x*p + 11, 4*o = p - 1 for o.
-1
Suppose -46 = -4*r + k, 0 = r + 4*r - 5*k - 50. Solve 2*y + 2 - r = 2*c, -4*y - 12 = 4*c for c.
-4
Let l be (-1 - -2)/(((-27)/(-12))/9). Solve -2*p - 7 = -3*y, -2 - l = p - 2*y for p.
4
Let a = 22 - 16. Let z be (-1)/4 + (-7)/4. Let g be ((8 + z)*-1)/(-2). Solve 5*c - 3*m = 6 + a, g*c + 20 = -5*m for c.
0
Let y(b) = -b + 4. Let j be y(3). Suppose -j = r - 5. Solve -3 = 2*h + 2*c + 1, 16 = -4*h + r*c for h.
-3
Let u = 2 - 1. Let c be (6 - (u - 1)) + -2. Solve 2*z = 6*z - 5*q - 1, 12 = c*q for z.
4
Suppose -4 = 3*l - 2*t, 2 - 7 = -t. Solve -l*k + 4*k + g - 9 = 0, 5*k = 3*g + 17 for k.
4
Let a = 10 + -4. Let y(t) = -t + 8. Let r be y(a). Suppose 0 = 5*w - 15 - 5. Solve 3*z - r*d = 1, -5*d - 34 = -z + w*z for z.
-3
Suppose 6*o = o + 105. Let v be 2/(-7) - (-90)/o. Suppose 2*q + 3*q = 90. Solve -v*h - 3 = -2*w + 5*w, 2*h + q = 4*w for w.
3
Let w(o) = 7*o + 2. Let h be w(2). Suppose 31 = -5*g - 24. Let l = g + 15. Solve 2*j + 16 = -0*j + 4*f, 0 = -5*j - l*f + h for j.
0
Let r = -7 + 10. Suppose 0 = 3*u