z + a = 0, 0 = 5*k + 2*z + 25 - 7 for k.
-2
Suppose -l + 0 - 3 = 3*b, -5*b - 5 = -2*l. Suppose -3*s + 2*s = 2*s. Suppose s = -5*y - y + 12. Solve -5*r = 4*j + y + 38, -2*j + 4*r + 6 = l for j.
-5
Let b be 1*(107/7 - (-4)/(-14)). Solve -5*l - b = -8*l + 3*p, 5*l + 2*p = 4 for l.
2
Let b(q) = -3*q - 7. Let m be b(-7). Suppose 4*s = -3*l + 6*l + m, -2*l = -3*s + 10. Solve 0 = 3*h + s*h - 20, -v = -4*h + 18 for v.
-2
Suppose a - 3*i = 8, 20 = 15*a - 10*a + 5*i. Solve 0*u - a*u + 4*v - 6 = 0, 3*v - 4 = 4*u for u.
2
Let l(o) = -o + 13. Let v be l(17). Let i be v + 6 - 0/2. Solve -f - i*f = -2*c + 1, -2*f - 19 = -5*c for c.
5
Suppose -1 = 14*g - 71. Solve 3 = 4*i - 0*i - g*b, b = 1 for i.
2
Suppose -18*g - 65 = -191. Solve 2*b = -5*o + 12, -5*o = -2*b - 1 - g for o.
2
Suppose -5*q = -10*q. Suppose -2*k = -q*k. Solve k = -5*s - 2*r - 33, 5*s = -3*r - r - 41 for s.
-5
Let w(y) = -2*y**3 + 22*y**2 - 20*y + 6. Let a be w(10). Let f(o) = 0*o + 2*o - 3*o + 11. Let l be f(a). Solve -2*m = -3*q - 1 - 6, -l*m - 3*q = 35 for m.
-4
Suppose 75 = -5*f - 2*k, f - 3*k + 30 = -f. Let n be f/12*4/10*-10. Solve -d - d = n*p - 23, -p - 17 = -5*d for d.
4
Suppose -i - 25 = -2*h, 2*h - i = 6*h - 41. Solve 3*w + 12 = -0*w, -w + h = -5*c for c.
-3
Suppose -4*b - 5*f = -179, -4*b + f = -b - 158. Let p = 56 - b. Solve 0*d + 16 = d - 3*j, -4*j = p*d - 4 for d.
4
Let j(l) = 2*l - 15. Let y be j(9). Solve -q + 3*c + y - 17 = 0, -25 = 2*q - 5*c for q.
-5
Let b = 40 - 43. Let c(y) = -y**3 - 4*y**2 - 3*y + 2. Let t be c(b). Solve -t*h - 6 = 0, u + 5*h = 1 - 17 for u.
-1
Let d(h) = 28*h**2 + 48*h + 3. Let y be d(-2). Solve -j = 4*n + y, -10 = -0*n + 2*n for j.
1
Suppose -4 = 21*j - 25*j. Solve i + 12 - j = -3*k, -5*i = -k + 23 for i.
-5
Suppose 3*n - 33 = 2*c, -2*c + 4*n = 2*c + 72. Let i(y) = -y**2 - 20*y + 26. Let d be i(c). Solve -3*o + d = -4*a + 13, 0 = o - 4 for a.
5
Let m(o) = -4*o - 6. Let h be m(3). Let l = -13 - h. Solve 2*c + 1 = -3*u, -u + l*u - 8 = 2*c for u.
1
Let p(m) = m**2 + 3*m - 4. Let x be p(-6). Let o = x + -11. Let j(n) = n**2 + 15*n + 19. Let f be j(-14). Solve i + 11 = 5*i + 3*q, f*i - o*q = -20 for i.
-1
Let r = -54 - -38. Let u be (-76)/r + 3/(-4). Solve -o = u*l - 5, 3*l + 4*o = 7*o - 15 for l.
0
Suppose 6*p = 5*p + 7. Suppose -k + p = 4. Let f be (-1 - (-2 - -4)) + 5. Solve -f*m + k*a + 10 = 0, -2*a = -m + 6 + 1 for m.
-1
Suppose 3*f + 2200 - 2215 = 0. Solve -5*c - 16 = -3*j, -2*c + 4 = -j + f*j for c.
-2
Let y(p) = -p**2 + 5*p - 9. Let v be y(3). Let a(g) = g**3 + 3*g**2 - 3*g + 2. Let z be a(-4). Let t = z - v. Solve 3*w - 2*c = t, -5*w - 5*c = 4 + 36 for w.
-3
Suppose 21 = 7*s + 7. Solve 6 = -2*h + 4*v, s*h + 3*h + v = 18 for h.
3
Let f = -1073 - -1074. Solve 0 = -2*v + 5*w - 19, -5*v - 5*w = -f - 4 for v.
-2
Suppose 4*k + 0*k - 96 = 0. Suppose 4*b - 2*j - 84 = 0, b - j - j - 24 = 0. Solve -2*p + k = 5*q, -p + 4*q - b = -3*p for p.
2
Let l be (-1200)/(-250) - 8/10. Solve 0*y + y = g + 1, 16 = l*g + y for g.
3
Let p be 3454/(-154) - 4/7. Let s = p + 28. Solve -i = -v - 2*v - 11, s*v = i - 21 for v.
-5
Let j = 109 - 108. Solve -3*m - 5 = 3*y + j, -2*m = 3*y + 9 for m.
3
Suppose 6*j - 30 = 3*j. Let v be 0/(-1) - (j + -15). Solve 4*h = t + 10, 5*t - v*h = -0*h - 20 for t.
-2
Suppose -59*o = -56 - 62. Solve -o*n + 2*c - 8 = 0, -5*c = 3*n + n + 16 for n.
-4
Suppose 4*g - 28 = -4*t, -12*g + 13*g = 4*t - 8. Solve -j + a - t = -a, 4*j + 12 = -2*a for j.
-3
Let a = 219 - 217. Solve -i = -3*k + a - 0, 3*i = 2*k + 8 for k.
2
Suppose -8 = -x - 5*t, 0 = 3*x - 14*t + 15*t - 10. Solve -2*v = 4*s, 0*s - 2*s = -x*v + 8 for s.
-1
Let n = -7 - -8. Suppose -n + 13 = 3*a. Let c(b) = b**2 - 2*b - 6. Let v be c(4). Solve -5*d = 4*i - 9, v*i - a*d = 1 - 3 for i.
1
Let p be (-116)/(-203) + (-34)/(-14). Solve -y + 5 = p*j, -j - 2*j = -5*y - 11 for y.
-1
Suppose 6*z - 482 + 320 = 0. Solve 2*w - 3*t = -6*t - 1, 5*t + z = 3*w for w.
4
Let k(x) = 3*x**3 + x**2 + x - 5. Let v be k(5). Let q(s) = 5*s + 133. Let r be q(-27). Let a be r/13 + v/65. Solve w = -2*w - f + 9, -a = -2*f for w.
2
Suppose 9*a + 5*k - 31 = 13*a, 5*a - k + 44 = 0. Let n = -2 + 14. Let j = a + n. Solve -4*v = w - j*v, -4*w = 3*v - 1 for w.
1
Suppose -3*f + 6 = 0, -2*r - 5 + 13 = -f. Suppose -d + 2 = 5*b, -b = -d + r*d - 8. Solve 5*q = -2*j + 3 + 3, -14 = d*j - 5*q for j.
-2
Suppose -j - 160 = -3*v + 157, -422 = -4*v + j. Let s = v + -100. Solve -4 = -m - 2*g, 2*m = -2*m - g - s for m.
-2
Let r(l) = 94*l + 376. Let q be r(-4). Solve 5*g + 8 = -4*k, q*k - 35 = 5*g - 5*k for g.
-4
Let d be (-3)/9*(-8 + -4). Solve -c + 3*w = -12, 5*c + w + d = -0*w for c.
0
Let r(o) = -o**3 - 6*o**2 - o - 6. Let c be r(-6). Suppose -3*t = 3, c = n + 4*t + 2. Suppose 0 = 6*j - 13*j + 35. Solve -j = m + 2*l, -4*m - 6 = 4*l - n for m.
3
Let o(r) = -9*r - 480. Let c be o(-54). Solve i = -j, -7*j + i + c = -2*j for j.
1
Let u = -20 + 22. Let c be (-1)/(3/u - 2). Solve 4*t + 3*j = -16, 7*t - c*t = -3*j - 20 for t.
-4
Let t be (-3)/(-7 + 34/5). Solve -2*a = -5*x - 4*a - 26, t = -3*x - a for x.
-4
Let k(z) = -z**3 - 5*z**2 - 3*z + 5. Let r be k(-3). Let v be (4 - (-1 - r))/((-2)/(-8)). Solve v*o - 6 = 2*t - 0*t, 5 = t for o.
4
Let c = -29 - -32. Let m be (-78)/15 - c/(-15). Let b(q) = -q**3 - 5*q**2 - 2*q - 8. Let w be b(m). Solve -y = -j - 1, -w*j - 1 = -9 for y.
5
Let d = 35 - 70. Let f = 38 + d. Solve -4*n + 3 = a, -f*a - n = n + 1 for a.
-1
Let t = 9 + -17. Let y(s) = s**3 + 8*s**2 + 2*s + 18. Let l be y(t). Suppose -17*u + l = -16*u. Solve -u*o - o - z = 8, -5*o - 5*z - 20 = 0 for o.
-2
Let j(p) = -9*p - 28. Let b be j(-4). Suppose 23 = b*v + 7. Solve 2*o = -l, v*l - 3*o - o = 0 for l.
0
Suppose -4*x + 11*a + 19 = 14*a, a = 1. Solve 14*y - 17*y = 2*c + 9, 3*c - x = -y for y.
-5
Let p(g) = -4*g**2 - 7*g**2 + 2*g - 2 + g - g**3 - 4*g. Let r be p(-11). Solve -5*f - 4*z = 0, f - 2*z - r = -z for f.
4
Let j(t) = t**2 + 5*t - 9. Let z be j(-7). Suppose z*a = 58 + 22. Suppose -4*v - 5*u + 17 = 0, 2*u = -0*v + v - 1. Solve -6*o = -o - n - a, 5*n = v*o + 8 for o.
4
Let d be -15*(4 + ((-64)/12 - -1)). Solve -20 = -5*g + 2*v, g - 3 - 1 = d*v for g.
4
Suppose 15*h = 3*v + 20*h - 33, 3*v = 3*h + 9. Solve -4*c - 3 = -l, 3*c + l - v*l = 2 for c.
-1
Suppose -228 = -2*x + 3*m, 0*m = -5*x + 2*m + 581. Let v = 118 - 92. Let g be (-38)/(-9) - v/x. Solve g*i + 19 = -3*l, 3*l + 5 = 5*i + l for i.
-1
Suppose -329*l = -348*l + 76. Solve 2*s + 8 = -p, -5*s + 8*p - l*p + 6 = 0 for s.
-2
Let g(x) = -3*x + 146. Let q be g(41). Solve 5*t = -2*z + t + 2, 4*z = t - q for z.
-5
Suppose -2*i + 32 - 12 = 4*g, -2*g + 10 = 0. Solve m - 7 = -i*m + d, -2*d + 2 = 2*m for m.
4
Let h = 2 + 0. Let b(m) = -4*m + 34. Let x be b(3). Suppose -5*q + 7*j = 5*j - x, -5*j = 2*q - 3. Solve -q*v - h*s = s - 12, 3*v - 12 = -3*s for v.
0
Let r(q) = 8*q**2 - q + 3. Let s be r(-2). Solve -3*w - 4*k - s + 10 = 0, 4*w = 2*k - 14 for w.
-5
Let f(g) be the first derivative of g**2/2 + 2*g - 30. Let w be f(1). Solve 2*a - w*q + 4*q = -5, 3*q - 13 = a for a.
-4
Suppose -93*s - 5 = -94*s. Solve 4*q - 41 = -s*l, l - 2*q = -3*l + 12 for l.
5
Let c = -87 + 89. Let n(f) = 10*f - 15. Let l be n(c). Solve l*q + 4*m + 13 = -0*m, -3*q = 3*m + 9 for q.
-1
Let m be ((-4)/(-8))/((-2)/(-12)). Let g(x) = 2 + 0*x - 3*x + m*x - 2*x. Let y be g(-1). Solve -t + 21 = -4*o, t - 2*o - 7 - y = 0 for t.
1
Suppose -3*z + 22 = 4*m, 4*m = -3*z + 8*m - 10. Solve -4 = -y + 3*t + 2, -z*y = -2*t for y.
-3
Let u = 8 + -14. Let s be -3*(-4 - 20/u). Solve -5*p + 3*q = -32, 0 = p - 0*q + s*q + 4 for p.
4
Suppose -p - 4*p + 15 = 0. Suppose -2*z + 20 = 14. Solve -w + 4*w - p = z*y, 5*w - 5 = 4*y for y.
0
Let a(j) be the first derivative of -3*j**2/2 - j - 10. Let h be a(-1). Solve -h*x + 4 = -i + 2*x, -i = x - 6 for i.
4
Let n be (-1)/(-3)*18/3. Suppose 0*j + 20 = n*j. Suppose 5*m + 12 = 4*g - 3, 5*m - j = -g. Solve 5*z = y - 17, g + 0 = -2*y - 3*z for y.
2
Let h(i) = 6*i - 2. Let d be 308/(-143) + (-4)/(-26) - -3. Let q be h(d). Solve 3*r - 13 = 2*z, -r - q*z = 2*r - 1 for r.
3
Let c be (-2)/(10/(-15)) + (0 - -3). Suppose 5*k - 5 + 0 = 0, 4*n + 2*k = c. Solve -b + 0*b = 4*p + n, -3 = -p + 3*b for p.
0
Suppose -26 = -2*w - 4*r, 3*w - 29 = 2*w + 2*r. Let c = 23 - w. Let v be (0 + 2)*(0 + 2). Solve 6 = -c*t + 2*o, v*t - 2*o + 7 =