 r be 39/15 - d/(-5). Let h be (-2)/10 - 84/(-20). Solve r*n = -4*v - 1, h*n - 5*v + 19 = n for n.
-3
Let w = -112 + 112. Solve 2*z - 5*u = -w*z - 19, 3*z = 3*u - 15 for z.
-2
Let b = -14 - -2. Let s be b/30 - (-12)/5. Solve 0 = -5*z + 5, -s*l + 3*z - 1 + 0 = 0 for l.
1
Let k be ((-24)/(-15))/((-2)/(-5)). Let c(p) = 2*p - 4. Let u be c(k). Suppose -q - q + u = 0. Solve -5*j - q*m = -30, 0 = -2*j + j - 5*m + 29 for j.
4
Let s(i) = -i**2 + 6*i + 3. Let o be s(6). Let u = 8 - o. Solve u*j + 2*y = y - 7, -9 = 3*j - y for j.
-2
Suppose 4*b = 5*y - 45, 0*y = 3*y + 2*b - 5. Let o = 10 - y. Solve -3*f = 2*r - 15, o*f - 6 = -r + 4*r for f.
3
Suppose 4*t - 110 = -5*j, -5*j + 52 = 2*t - 4*j. Let y be 2/(4/3)*2. Suppose -5*p + 104 + 21 = 0. Solve 5*a + l = p, t = y*a + 5*l - 12 for a.
4
Let o be 3*(-2 - 7/(-3)). Let j be -2 - (-9 + (o - -2)). Solve -u + 16 = 3*a, 0 = 3*a + a - 3*u - j for a.
4
Suppose -j - j = -2. Suppose -2*o = -5 + 3. Let k = o + j. Solve 4*s - 4 = 0, 2*s - 5 = -k*y + 3*y for y.
-3
Suppose 72 = 18*u - 0. Suppose -2*s + 5*q = 3*s - 55, -4*s = 3*q - 58. Solve d - s = u*d + 4*n, -5 = -d + n for d.
1
Suppose 0 = 3*z - u + 6*u + 25, -5*z + 4*u = 54. Let i = z - -14. Suppose -2*y + y = -26. Solve -p = -4*r + 10 - 27, 0 = -2*r + i*p - y for r.
-3
Suppose -3*o + 14 = -4*n - 29, -3*o - 5*n + 88 = 0. Suppose o = 2*u - 11. Solve 3*h - u = -y + 2*y, -h + 8 = -3*y for y.
-1
Suppose 2*p = -3*p - 15. Let d be (2 + -5)*1 - p. Let t(a) = a**2 + a + 9. Let o be t(0). Solve d = -3*k - u + 7, -2*k - 3*u - 2*u + o = 0 for k.
2
Suppose -s + 3 = -2. Solve -2*b = -s*y + 9, -3*y + 2*b + 7 = -0 for y.
1
Let h be (18/4)/(-9)*0. Solve 0 = -2*u + 2*r - 6, -u - 3*r - 3 = -h*r for u.
-3
Suppose 0 = 6*h - 11*h + 20. Solve -7 = -2*k - 3*i, -h*k + 18 = 2*i - 0*i for k.
5
Suppose 3*x + 5*g - 32 = 0, -5*g - 5 + 33 = 2*x. Solve -5*z + 0*v - 17 = -x*v, 3*z + 2*v = 3 for z.
-1
Suppose -2*n = 5*c + n + 96, 0 = -5*c - n - 92. Let q be ((-8)/(-6))/(c/(-27)). Suppose q*p + 75 = 7*p. Solve -t + 3*z - p = 0, 10 = -0*z + 2*z for t.
0
Suppose -4*y + 2 = -2. Let q be 6*((-6)/(-9))/y. Suppose q*i - 6*i - 6 = -4*x, 2*x + 3*i = -9. Solve -4*u + 4*t = -x*u + 8, -t + 6 = -2*u for u.
-4
Suppose 48 = 5*t + 28. Solve -t*v - 16 = 4*a, -3*v + 6*a - a + 28 = 0 for v.
1
Let j be -3 - (-4 + 2 - 4). Let s = 3 - 0. Solve 20 = 5*t - 3*a, s*t = a + 9 + j for t.
4
Suppose 3*c + 3*j = 54, 4*j + 38 + 50 = 4*c. Solve 3*i = 0, 4*i = -0*n + 4*n - c for n.
5
Let d be (28/(-4))/(-7) + (0 - -1). Solve -5*o = -d*i - 9, 3*o - 25 = -5*i - 1 for o.
3
Let q be -6 - (2 + -4 - -2). Let w be 10/q*(-7 - -4). Let u be 4/(-30) - (-423)/135. Solve 4*s + s = -5, -u = w*t + 3*s for t.
0
Let u(o) = 3*o - 1. Let b(k) = -k. Let h(a) = -7*b(a) - 2*u(a). Let w be h(0). Solve 0 = -5*s + 3*l + 6, s - w*l + 4*l = -4 for s.
0
Suppose 3*v = -4*j - 0*v + 20, 2*j + 5*v = -4. Suppose 5*q - j = q. Let r be 11 - q/(0 - -2). Solve 0 = 2*n - 2*l - 10, 2*l + r = n + 1 for n.
1
Suppose 3*a + a = 8. Solve -2*i + 5 = 4*o - 1, 5*i = a*o + 27 for i.
5
Let b be (-1 + 0)/(4/(-16)). Solve -b*x = -12, 5*o - x = 10 - 28 for o.
-3
Let u(h) = h + 7. Let f be u(-4). Suppose -o - f = b, -4 = 2*b + 3*o + 4. Let w = b - -6. Solve -4*a + w*t = 22, 13 = -a + 3*t + 2*t for a.
-3
Let f(i) = 3*i - 17. Let o be f(7). Solve -6 = -o*y - 2*c, 0*y - 10 = -4*y + 2*c for y.
2
Let l = -54 + 76. Solve 4*w + 2*m + l = 0, -25 = 3*w + 2*m - 8 for w.
-5
Suppose 0*g = -g. Suppose 19 = 5*k + 9. Suppose g = -k*h - 3*h + 65. Solve 4*o - h = -0*f - f, -5*f = 15 for o.
4
Let m be (2/(-4))/(4/(-24)). Solve 0 = 7*r - 3*r + 3*x - 1, -5*x = m*r - 9 for r.
-2
Suppose 0*f - 2*f + 40 = 0. Suppose -3*t = -7*t - f. Let w = -3 - t. Solve -3*p + 3*h = -w*h - 7, 0 = 2*p - 5*h - 3 for p.
4
Let l(j) be the first derivative of j**2/2 + 12*j - 3. Let q be l(-10). Solve q*n = -8, 0*u - u - 4 = n for u.
0
Let f(p) = -p**3 + 3*p**2 + 6*p - 5. Let b be f(4). Let i be (-2 - 16)*(-1)/b. Solve -4*u = 2*j - 9*u - 10, -3*u = i for j.
0
Let n = -72 - -75. Solve -2*k = -3*o - 17, -n*k + 4*o + 7 + 16 = 0 for k.
1
Suppose -g = -3*g + 4. Let b = g + -2. Solve 3*d - w - 5 = b, 4*d + 3*w = -0 - 2 for d.
1
Suppose -4 = -d - 0. Solve -3*p - 3*i - 5 = p, -4*p = d*i for p.
-5
Let m = -29 - -50. Suppose 4*g + m = h, 0*g + 29 = 5*h - g. Solve 4*b + 8 = -4*q, 3*q = -2*q + h*b + 30 for q.
2
Let m be (100/6)/(-5)*-3. Let u = m + -19. Let o be 4/(-6) - 24/u. Solve 5*v - 5*q + q = 16, v + o*q = 6 for v.
4
Let q(k) = 2*k**2 - k + 1. Let y be q(1). Suppose -z = y*z - 12. Solve -16 = -3*w + 8*w - 3*f, 0 = w + 3*f - z for w.
-2
Let k = 52 - 32. Solve 2*v = 4*v + 4*r, -3*v + 4*r + k = 0 for v.
4
Suppose -u + 0*u = -21. Let c = -81 + 85. Solve -2*d + 3*x - u = 0, 0*d + 2*x - 22 = c*d for d.
-3
Let i = -8 + 4. Let y = i - -7. Solve 6 = x + g, -y*g = 8*x - 4*x - 20 for x.
2
Let b be ((-10)/7)/(-5)*7/1. Suppose 4*x - 5*y = -3*y + 24, 0 = 2*x + 4*y - 2. Let c = 8 - x. Solve -2*j - 2*z = b*j + 6, c*j + 37 = 5*z for j.
-4
Let u be (1 + -7)/(-2*1). Let l(m) = m**2 + 9*m + 8. Suppose 31 = -3*b + 4. Let g be l(b). Solve j + 3*i - u - g = 0, 5*i - 25 = -5*j for j.
2
Suppose -2*g - 5*u + 6 = 0, 2*u = 5*g - u - 15. Let w(q) = q**3 - 2*q**2 + 3*q + 2. Let y be w(g). Solve -4*x - x + 5*h = y, 4 = -4*h for x.
-5
Suppose -5*n = -4*n - 6. Solve 7*v - b - n = 3*v, 5*v - 1 = -2*b for v.
1
Let h = 2 - 3. Let v = h + 2. Solve z + v = -0*z, 3*u - 2 = -4*z for u.
2
Suppose -3*o = 2*r + 7, -r - o = 4*o + 21. Suppose -r*v = -4*y - 35 + 11, -v = 4*y + 9. Solve 3*z = 0, 2*w = 2*z - v*z + 4 for w.
2
Let z = 25 + -22. Solve -w + 0*w - 5*a + 1 = 0, -3*w = z*a + 9 for w.
-4
Suppose -3*p + 4 = -3*z - 8, 0 = -3*z - 4*p + 16. Solve -4*a = h - 16, 5*a - 3*h + h - 7 = z for a.
3
Let f(q) = -5*q. Let r be f(-1). Solve -k + r = -h, 2*h = -h - 4*k + 13 for h.
-1
Suppose -10 = -2*h - q, -2*q = -3*h + 6 + 9. Solve -5*z = c - h*c - 7, -3*c + 5*z = 9 for c.
2
Suppose 4*m = 6*m - 10. Suppose -4*r + 0*r = -8. Suppose -m = -t + o, r*t - 4*o - 13 = o. Solve 7 = 4*j + 3*s, 5*j - 3*s + 2*s = t for j.
1
Suppose 3*z - 9*m = -4*m - 10, -z - 4*m = -8. Solve x + z*x + 1 = 5*f, 1 = -f - x for f.
0
Suppose -2*t + 12 + 6 = 2*c, 4*c - 22 = 3*t. Solve -2*u = 2*l - 14, 4*u - c = -l + 12 for l.
3
Let f(o) = o - 6. Let p be f(6). Solve 3*q - q + 4*v + 6 = 0, q - 2*v - 1 = p for q.
-1
Suppose 0*z + 36 = 9*z. Solve -z*p = 5*m + p - 15, 1 = m + 2*p for m.
5
Let m(v) = v**2 + 4*v + 4. Let x be m(-6). Suppose -3 = -2*s - 1. Let n be (-42)/10*-5*s. Solve 5*b - n = 2*d, 0 = -4*b + 4*d - 2*d + x for b.
5
Let s(p) = 1 + p**2 - 5 - 4 + 6 - 2*p. Let i(h) = -2*h - 3. Let g be i(-3). Let b be s(g). Solve -f + 3*x + 12 = 0, 5*f + b = -3*x - 11 for f.
0
Let d(b) = -b**3 + b**2 + 2*b. Let i be d(-2). Let f be -10*2/i*-2. Solve -4 = t - f*m, 0 = -2*t + 4*t + 5*m - 7 for t.
1
Suppose -5*v = -3*x + 3 - 34, -2*v + 4 = 3*x. Let i be -3 - -8 - (x + 3). Solve -k - 3*t - 15 = -i*k, 3*t = 2*k - 15 for k.
0
Suppose 2*l + 3*g - 23 = -2*g, 5*l + 3*g = 10. Let i be (-52)/2 + 3 + l. Let t be (-6)/i + (-19)/(-4). Solve -t*v + 2*o + 15 = 0, v - 10 = -4*v + o for v.
1
Let i(m) = -2*m**2 - 13*m - 2. Let z be i(-6). Solve -x = 2*t + 4*x + 7, -2*t + z*x = -2 for t.
-1
Let h be (4 - (-51)/(-12))/((-1)/20). Solve 2*d + 15 = h*l, 0 = -l + 2*d + d + 3 for l.
3
Suppose 0 = -3*z + 40 - 22. Suppose -5*x - 2*v - 3 = -z, 4*v = -4. Solve -3*h = j + x, 14 = 4*j - 5*h - 16 for j.
5
Let d be (-2)/4*-16 + 1. Solve -3*r - v = d + 2, 4*v - 20 = 4*r for r.
-4
Suppose z + 0*z = 36. Solve 5*n + 0*n - 4*h + z = 0, 12 = -2*n + h for n.
-4
Let o(m) = -4*m + 7. Let x(q) = 3*q - 6. Let w(a) = -4*o(a) - 5*x(a). Let h be w(0). Solve 0 = -h*p + p - 5*j + 11, 6 = 2*j for p.
-4
Let x be 2/(-8) - 21/(-4). Let r(b) = 4*b + 8. Let m(l) = -l - 3. Let j(n) = 10*m(n) + 3*r(n). Let z be j(7). Solve 3 = -5*k + 3*u - 1, x*k + z = u for k.
-2
Let q = 16 - 14. Solve g - 4*c + 6 = -2*c, -q*c - 10 = 3*g for g.
-4
Let f = -26 + 29. Solve -f*j + 3*n - 4 = 5*n, 0 = -5*j - 4*n - 8 for j.
0
Suppose 0 = -2*a + 3*r, 0*a - 2*a - 2*r = 0. Solve -s = -a*s - i + 8, 21 = -3*s + 2*i for s.
-5
Suppose j + 2*j = 0. Solve -5*k - 5*f - 18 + 3 = 0, j = 3*f for k.
-3
Suppose 9*a - 4*a = 0. Suppose 4*y = -a*y + 32. Solve i = 5*d - 23, 5*d - y = -4*i - 0*i for d.
4
Let o = -43 - -