-3
Let x(m) = 2*m**2 - 6*m + 7. Let v be x(3). Suppose -z + 5*w + v = 0, -z = w - 2 + 1. Solve 3*a = u - 10, 0 = a + u + z*u for a.
-3
Suppose 4*o = 5*j - 15, -4*j + 4 = o - 29. Solve 0 = 4*k + 3*g + 5, k - 5*g + j = -23 for k.
-5
Suppose 0 = q - 6*q + 90. Solve -3 = -p + 2*t + 2*t, -2*p = 4*t + q for p.
-5
Suppose 0 = 26*n - 21*n + 5. Let g be (6/3)/(n - 20/(-12)). Let h = 20 - 10. Solve -g*t + h = 5*d + 2*t, -5*t = 0 for d.
2
Let f be 12 + 3 - (2 + -2). Let t = 15 - f. Solve 2*p + x + 2*x + 12 = t, -2*x - 8 = 0 for p.
0
Let s = -8 - -10. Suppose -j = 4*m - 7, -j + 2 = -s*j + 5*m. Suppose j*b - 6*b = -9. Solve -p + b*n = -3 + 1, 5*n = -10 for p.
-4
Let t be -2 + (-6)/(-3)*1. Suppose 3*z - 4*h - 14 = t, -z = z + h - 2. Let c be 4 + (0/5)/(-6) + 10. Solve 11 = -4*s - b - z, c = -5*s - 2*b for s.
-4
Suppose -52*l - 192 = -68*l. Solve b + 2*b - 5*w = -26, 2*b - 2*w + l = 0 for b.
-2
Suppose 0*r - 5*x + 30 = r, r - 9 = 2*x. Solve -t = c - 3, 2*t + 3*c = 7*t - r for t.
3
Suppose 349*h - 344*h - 25 = 0. Solve h*z + 4*d = 45, -15*z + 18*z - 3*d = 0 for z.
5
Suppose 42*c - 28 = 28*c. Solve -y - 3*u + 1 = 0, y - 3 = -4*u - c for y.
1
Let a be 6*(20/(-8) + 3). Suppose 5 = a*r - 28. Suppose -5*p + 3*p - 5*w + 29 = 0, -2*w + 8 = -p. Solve 5*v = 4*h + r, 0*h + 5*v = -p*h - 13 for h.
-4
Let s(w) = 6*w**2 - w - 1. Let f be s(-1). Suppose 0*y + 24 = f*y. Solve -y*b - 18 = -z - 5, -2*z - b = 1 for z.
1
Let z(q) = 2*q**2 - 38*q + 4. Let v be z(19). Solve -5*j - 35 = -5*t, v*t + j - 11 = 2 for t.
4
Let n(r) = r**2 - 4*r + 4. Let t be n(2). Solve 2*u - 5*h + 16 = -2*h, -3*u - h - 13 = t for u.
-5
Suppose 5*p - 27 + 2 = -5*c, -p + c - 1 = 0. Suppose 2*a = 3*v - 4*v + 19, -p*v + a + 13 = 0. Solve -2*q = o - v, -3*q + 20 - 4 = 2*o for o.
5
Let m be 36/19 - (14 + (-1340)/95). Let n(s) = s - 7. Suppose 4 = 5*i - 31. Let d be n(i). Solve d = 4*z + 7*x - m*x - 12, z + 22 = 5*x for z.
-2
Let j be (2/3)/(20/90). Solve -j*p - 3*s = -2*p + 10, 0 = 5*p - 2*s - 18 for p.
2
Let u(t) = 7*t**2 - 16*t - 48. Let z be u(4). Suppose q + 6*h = 2*h + 11, 0 = q - 3*h + 3. Solve -27 = -3*o + 4*y, z = y - q*y - 6 for o.
5
Let u(v) be the third derivative of v**4/8 + 5*v**3/6 + 7*v**2. Let r be u(4). Suppose -4*h = -10 - 10. Solve n + 7 = 3*z, h*n - z - r = z for n.
5
Let u be 4 - 3/(-2)*(-120)/45. Solve 2*m = -2*x - 2, u*m = 3*x + 4*m + 1 for x.
-3
Let f(p) = p**2 + 11*p - 97. Let h be f(6). Solve -h*c - 5*u - 30 = 0, 5*c + 1 = -3*u - 21 for c.
-2
Suppose 5*k - 5 = -h, 5 = 4*h + 13*k - 8*k. Let p be (1 + 0 + 0)*0. Solve p = -4*y - q + 11, q + 1 + 4 = h for y.
4
Let x = -15 - -42. Suppose -5*o + 72 - x = 0. Solve 0 = d - 4*r - 0*r + o, -12 = d - 5*r for d.
3
Let y(w) = 6*w**2 + 5*w - 6. Let p be y(2). Let i be (p/21)/(6/9). Suppose 0*u = 3*b - u - 3, -i*u = -3*b. Solve -3*o + 6 = -f, -4*f + b*o - 17 = -3*o for f.
-3
Let z(o) = -2*o**2 + 22*o - 39. Let v be z(7). Solve -2*k = -3*r - 19, k + v = -3*r + 2*k for r.
-5
Suppose 3*y - 6 = -4*w, -w + 1 = y - 1. Solve 3*q + 20 = -5*k, 0*k + 3*q = -y*k - 8 for k.
-4
Suppose -65 = -5*j - 0*j. Suppose -2*c - 2*c + 4*x = 36, 3*x + 22 = -4*c. Let u = 11 + c. Solve -h = -2*r + 3*h, -5*h - j = u*r for r.
-2
Let j(l) = 7*l + 1. Let u be j(1). Solve -3*x = o - 3, o + 4*x - u = -5 for o.
3
Let y = -10 - -17. Solve -w - 4*r + y = 0, -5 = -4*r + 7 for w.
-5
Let s be 1680/(-160)*(-8)/14. Solve 2*p - 5*t + s*t + 8 = 0, 3*p - 2*t + 5 = 0 for p.
-3
Let w be (-4*2)/(14/(-21)). Solve -w = 4*r + 4*h, 3*r + 2*h - 29 = 8*r for r.
-5
Let d be 76/28 - (-45)/(-63). Solve -3*r - 19 = -d*l - 6, -3*r - 15 = -3*l for l.
2
Let t be (0 - 2) + (-14)/(-2). Solve 14 = 5*n - i, -n + t*n - 13 = -i for n.
3
Let p(h) = -4*h + 63. Let o be p(14). Solve 0 = -2*y + o*y - 3*t + 17, 3*t - 16 = 4*y for y.
-1
Suppose -98*u - 9 = -101*u. Solve 4*a - 7 = -3*g + 3, -u*a - 3*g = -9 for a.
1
Let h = 103 + -101. Solve -v + h*v = -4*z - 12, z - 2*v = -3 for z.
-3
Suppose -42*f + 50*f = 8. Solve -4*j + 8 = -4*h, -5*j + 4*h + 7 = -f for j.
0
Suppose 0 = -3*d + 2*d + 24. Let k be (d - (-1 - -2))/1. Solve 3*x = -4*c - 7, 2*c + k = -5*x + c for x.
-5
Let d(k) = 26*k - 775. Let g be d(30). Solve 0 = -3*q - 3*c - 6, 3*q - g*c - 4 = 6 for q.
0
Let h(w) = -w**2 - 3*w + 18. Let m be h(-5). Suppose 4*s - 3*u = 11, -1 = -3*u - 4. Solve -s*t = 5*n - 26, -6*n = -4*t - n - m for t.
3
Suppose 2*q + 31 = 5*c, 88*q = c + 91*q - 13. Solve -5*d + 4 + c = -2*z, -4*z - 4 = -4*d for d.
3
Suppose -4*n + 14 = -6. Suppose -n*x + 8 = -x. Solve 16 = -x*t + 2*v, v = -v + 10 for t.
-3
Let d = 181 - 181. Solve d = h - 3*s + 4, 0*h + 8 = -3*h + 5*s for h.
-1
Let m be (-6)/8 + (-345)/(-60). Let u(r) = 3*r - 1. Let i be u(2). Suppose -3*p + 3*d = p, d = i*p. Solve 2*z - 15 = m*z + 2*s, p = -3*z - 5*s - 24 for z.
-3
Let o = -168 + 160. Let d be (o/(-5))/(10/100). Solve -5*a - 28 - 3 = -2*n, -3*n = 5*a + d for a.
-5
Let s(p) = -p**3 + 5*p**2 + 66*p + 4. Let g be s(11). Solve 2*a = -4*x - 24, -4*x + 6*x - g = 3*a for x.
-4
Let v = -10 - 0. Let l = -8 - v. Suppose -f - l*f = -9. Solve -5*o + 3 = -f*x, -1 = x - 4*o + 2*o for x.
-1
Let o = -359 - -206. Let g = o - -156. Solve 0*b = -4*b + g*t - 25, 5*t = 15 for b.
-4
Suppose 2*i - q = -0*i + 46, -4*i + q = -96. Suppose -3*j + 25 = 2*j. Suppose 3*v - 46 = f - 18, -i = -j*f. Solve -2*p = l - v, 1 = 4*l - p + 2 for l.
1
Let p be (100/6)/((-24)/(-36)). Suppose -3*q = 2*q - p. Solve 4*x = -q*m - 3, 4*x - 3*m + m = -10 for x.
-2
Suppose 0 = -r + 25 - 25. Solve r = 3*x - 5*u - 8, 36 = -5*x + 4*u - 8*u for x.
-4
Let h(j) = -j - 2. Let t be h(18). Let l = t + -8. Let u = 28 + l. Solve 3*g = -4*d - 4, 3*d + 2 + u = -2*g for d.
2
Let d be (-8 + 9)*-7 + 11. Solve 3*i - 3 = 0, -5*w + 5*i + d = -2*w for w.
3
Let v(s) = 2*s + 23. Let r be v(13). Let d = r - 44. Let u = 9 + -9. Solve d*g + u = h - 2, 0 = -g + 3*h + 8 for g.
-1
Suppose z = g + 5, -6*g + 8*g + 12 = 3*z. Solve 8 = 3*h - h - 4*d, -3*h + 4 = -z*d for h.
0
Suppose -v - 28 = -24. Let i be 2*(-8)/(-8 - v). Solve 3*a - 2*n = -i, -a - 5*n - 16 = -2*n for a.
-4
Suppose 3*n + 2*x = 3*x - 28, -n = -5*x. Let v = n + 10. Suppose 3*u = -v*u. Solve 0 = l + 7*f - 3*f + 8, u = f + 2 for l.
0
Let u = 370 + -368. Let y = 7 + 1. Solve -u*f = s + f - y, 5*s = f - 8 for s.
-1
Suppose -69*h - 51 = -66*h. Suppose 2*l = -61 - 9. Let b = h - l. Solve -4*s - 20 = 0, -2*s - b = -3*m + m for m.
4
Let d = 265 + -251. Solve -3*g = -a + d, -4*g = -2*a + 11 + 11 for a.
5
Suppose 2*r - 14 = -10. Let k = 18 - 18. Let u(h) = -2*h + 6. Let y be u(k). Solve 3*j + y = 4*j + 3*m, j + r = 5*m for j.
3
Let d be 180/(-140)*(-21)/3. Solve -4*i = 5*t + d, 0*t - i = t + 1 for t.
-5
Suppose -64*y = -42*y - 902. Solve -4*f - y + 13 = 4*t, -2*f - 20 = 5*t for t.
-2
Suppose -12 = -4*u + 2*f, -5*u + f + f + 17 = 0. Solve 4*t - 2*t - 19 = u*m, 3*t = 3*m + 15 for m.
-3
Let n be 9/(-2)*(-8)/6. Let h = -3 + n. Let v(z) = z. Let r be v(h). Solve 4*s - 6 = 2*x, -s + 18 = r*s + 2*x for s.
3
Let v be (-2)/(8/(-140)*7). Solve -5*x = -5*c - 2 - 3, 4*x = v*c + 3 for x.
2
Suppose -2*b + x + 20 = 2*b, 4 = 4*b + 3*x. Let w be -6 + 3 - (-1 - -9). Let r = 4 - w. Solve b*p = 4*v + 36, -3*p + v = -r - 2 for p.
4
Suppose -1 + 23 = 11*c. Solve -d - 9 = -c*i + 6*i, 0 = 5*i - 2*d + 21 for i.
-3
Let x = -604 - -629. Solve -5*t + 3*o = -34, -3*t + t + x = -5*o for t.
5
Suppose -4*d = -5*t - 24 - 13, -2*d + 4*t + 26 = 0. Solve -2*s = d*s + q + 20, -3*q + 20 = -5*s for s.
-4
Let p(k) = -k**3 - 8*k**2 - k - 1. Let q be p(-8). Suppose 2*m + 6 = 0, w + 3*m + q = -0. Solve 3*r + 3*l = 4*r - 16, w*l = 3*r - 13 for r.
1
Suppose -114*p = -104*p - 10. Solve p = -0*z - z - x, z - 2*x - 11 = 0 for z.
3
Suppose 0 = -5*q + 24 + 31. Suppose 7*m = q*m - 20. Solve -p - 4*u - 9 = 0, -m*p - 2*u = -0*u + 9 for p.
-1
Let k be ((-21)/(-9))/7*12. Solve -3*p + 5*p - 9 = h, -4*h = -k*p + 16 for h.
1
Let g(i) = 5*i + 28. Let m be g(-4). Solve 3*f - f = -5*x - 12, -4*f + m = 2*x for f.
4
Let x = -1400 + 1403. Solve 0 = -x*m - 0*m + 5*s + 16, -2*s - 4 = 0 for m.
2
Let y = -32 - -36. Suppose -y*i + 12 = -0. Solve 25 = -5*t - 5*w, -2*t + 3*t + i*w + 7 = 0 for t.
-4
Let r = -62 - -25. Let t = r - -42. Solve f = -2*k + 3, t*f - 5*k = -0*f + 30 for f.
5
Let d be (8 - 3)*15/25. Suppose 3*q + 5*h - 53 = d*h, -2*q + 30 = -4*h. Solve 0 = 5*o 