.
-1
Let z = 1713 - 1692. Solve -15 = -3*o, -5*x + 1 = -4*o + z for x.
0
Suppose -3*n - 4 = -n. Let b = 1 - n. Suppose b*o - 15 = -0. Solve -w + 5 + 8 = -2*u, u + 29 = o*w for w.
5
Let u(f) = f + 13. Let n be u(-7). Suppose 5*h = h + 224. Let o = h - 31. Solve -o = -5*q, 0 = -5*v - 4*q + 4 + n for v.
-2
Let s(x) = 4*x**2 + 7*x + 2. Let m be s(-2). Solve 3*r = u - 11, -4*r = -3*u + 4 + m for u.
-4
Suppose 0 = -4*t - 115 + 27. Let y = -19 - t. Suppose 3*n + s - 2 = -y, -2*n = 2*s + 2. Solve 0 = -4*x + 2*w - 18, 4*x - 3 = -5*w - n for x.
-3
Suppose 0*a + 10 = 5*a. Let m = 7 - a. Suppose 4*u - 28 = h, -m*u + 3*h + 22 + 6 = 0. Solve 3*n + 20 = u*n - 3*s, -2*s - 4 = -n for n.
4
Let v(a) = 2*a**2 - 4*a**3 - 4*a + 5*a**3 - 2 + 8. Let l be v(2). Let h be (-1 + -1)*(-1)/1. Solve 0 = -3*i - h - 13, 2*t + 4*i = -l for t.
3
Let o = 458 + -454. Solve o*r = l + 16, -3*r = -4*l + 5 - 4 for r.
5
Let z = 13 - 9. Let y be (-62)/(-14) + z/7. Let p = y - 0. Solve 4*d - 8 = 5*c - 2, -p*d - c = -22 for d.
4
Let u = -460 + 466. Solve 5*l = 5, u*l = 2*v + 2*l + 2 for v.
1
Suppose 0 = -2*c + 3*p + 101, -5*c + 5*p + 26 = -219. Let w be c/16 + (-18)/(-144). Solve -s + 2 = 4*z - 5*z, -w*z - 5*s = -2 for z.
-1
Let t = 338 + -333. Solve 0 = t*b + 3*g - 4*g - 17, 2*g = 4*b - 10 for b.
4
Let i(g) = 5*g - 17. Suppose 2*v + w = 5, -w = 5*v - 4*w - 29. Let q be i(v). Solve k = -q*o, k + 8 = 2*o - k for o.
1
Let m be -1 + 74/14 - 2/7. Solve -m*j + 3*x = 5*x - 4, -2*x + 4 = -j for j.
0
Let m = -411 - -423. Solve -2*r - 22 = -5*s, -r = -15*s + m*s + 13 for r.
-1
Suppose -3*o = -5*d + 3, d - 5*o - 6 = -1. Solve d = 3*m + 2*m + 3*i + 30, 2*m = 4*i + 14 for m.
-3
Suppose -153 = -95*q + 78*q. Solve o = -4*w - 16, 4*o - 4*w + 9 = -q*w for o.
4
Let l(w) = -w**2 - 9*w + 1. Let j be l(-9). Let z be j + 3/(-2 + -1). Let d(v) = -v**2 + v + 5. Let s be d(z). Solve n - s*o - 20 = 0, -2*n + o - 2*o = 4 for n.
0
Suppose 0*x - 27 = -4*x + 3*f, -3*f - 15 = 0. Solve -1 + 7 = 3*h - k, -x*h - 2*k + 15 = 0 for h.
3
Let d be 2*(-8 - (-210)/20). Solve 2*i + 8 = i + 3*c, -16 = 3*i - d*c for i.
-2
Let g be (-69)/184 + 1/(16/150). Solve 5*c = -0*s - 2*s + 1, 2*s = 5*c - g for s.
-2
Let a(m) = m**2 + 18*m - 13. Let i be a(-19). Let r(k) = k**3 - 6*k**2 - k + 8. Let t be r(i). Solve 14 = -5*z - 2*n, -5*n = -7*z + t*z for z.
-2
Let y be (-3 - 0)*(39/9 - 5). Let a be 0 + 4 - y - 2. Solve v - 18 = -2*n - 3*v, a = -n - v + 7 for n.
5
Let u be (32/(-40))/((-4)/20). Solve 9 + 4 = -u*h - 5*o, -o - 3 = h for h.
-2
Let z(s) = 5*s**2 + 22*s + 13. Let c be z(-4). Solve 3*j + k - 18 = -12, -c*j + 2*k = -10 for j.
2
Let j be (-6)/21 + 69/21. Suppose k + 1 = -f - 2, -k = 2*f + j. Solve -q - 8 = -2*u, -q = -f*q + 3*u - 7 for q.
-2
Let g be (1 - 37/9)*(-360)/80. Suppose 8 = -4*p + 6*p. Let d be p/3*(-3)/(-1). Solve d*f + g = h, -4*f = h + 2*h + 22 for f.
-4
Let l be 1*(3 + -6) - -3. Suppose l = 7*r - 2*r - 10. Suppose y - 4*i = 0, -3*y - 2*y + 4*i + 16 = 0. Solve p - 5*s = 24, -2*p - y*s - 24 = r*p for p.
-1
Let t = 38 - 36. Suppose 0*f = -f - 5*b - 13, t*f + b - 19 = 0. Let z(i) = -i**2 + 12*i. Let q be z(f). Solve q*j - 4*j = 4*d - 24, -4*d - j + 12 = 0 for d.
2
Let k = -35 + 36. Let x(z) = 3*z + 4. Let i be x(k). Solve -2*n + 25 = 5*q, -i*n + 3*n + q + 17 = 0 for n.
5
Let g = 1457 - 1455. Solve -g*l - 4 = 2*n, 5*l = 3*n + 8 - 2 for l.
0
Suppose 14*a = 273 + 35. Solve d + 17 = 3*s - 0*d, d = 4*s - a for s.
5
Let h(x) be the second derivative of x**5/20 + 5*x**4/12 - 7*x**3/6 - 3*x**2/2 + x. Let r be h(-6). Solve 0*t - 3*b = r*t + 3, -2*t - 4*b = 4 for t.
0
Suppose -5*d + 8 + 7 = -5*g, -4*d + 2*g = -14. Solve -3*w - 6 - 21 = 5*p, w = -d*p - 16 for w.
-4
Let j(w) = w**2 + 24*w + 63. Let l be j(-21). Solve f + 0*f + 4*i = -5, l = -f - 2*i - 1 for f.
3
Let w(y) = y**2 + 12*y - 17. Let o be w(-14). Let p = 13 - o. Solve p*j - 6 = 0, 0 = 2*n - 0*n + 5*j - 19 for n.
2
Suppose 5*p = 4*n + 98, 3*n - 21 = -p + 10. Solve -3*c - 12 = 0, -p = 4*h + 3*c + 2 for h.
-3
Suppose 34 = -r + 3*j, -51 = 5*r - j + 91. Let c be 9/2*r/42. Let v be 3 + 1 + c - -1. Solve -v*i + 4*a - 6 - 14 = 0, 3*i = 5*a - 27 for i.
-4
Suppose -4*y - 1 = x, y = -2*x - 1 - 1. Solve y = -5*a + 4*l + 13, -4*l + 11 = 2*a - 11 for a.
5
Let w(m) = -8*m + 67. Let g be w(8). Suppose -4*j = -g*t - j + 3, -4*t = 2*j - 10. Solve 0 = -2*d - 3*i - 0 + t, -4*i + 16 = 0 for d.
-5
Let c(s) = s + 1. Let g be c(3). Let l(d) = 0 - 26*d + 74*d + d**2 - 38*d + 2. Let z be l(-10). Solve 3*r + g*v = 13, -2*r - z*v + 8 = -0 for r.
3
Let x(o) = -16*o + 54. Let f be x(3). Solve -2*w + 4 = -f*n + n, -3*w + 6 = -2*n for n.
0
Let a(i) = -9*i + 119. Let x be a(13). Solve -x*n - 3*z - 2*z = -19, 3*z = n + 7 for n.
2
Let d(q) = q**3 - 25*q**2 + 4*q - 98. Let h be d(25). Solve 3*b = b + i + 3, -3*i - 9 = h*b for b.
0
Suppose 5*w + 3*y - 56 = 0, 5*w + 8 = y + 76. Solve -l = -4*l - 4*a + w, 2*a = 5*l - 13 for l.
3
Let d = 73 - 59. Let h = -10 + d. Solve 12 = h*c, 24 = 5*t + 3*c - 0*c for t.
3
Suppose 6 - 2 = 2*j. Suppose -14 = -j*o - 6. Let n = 21 + -16. Solve -z - z + 2*v = 0, -27 = o*z + n*v for z.
-3
Suppose -26*c = -30*c. Suppose c = -3*k + 6, 3*g + k - 7 = 1. Let i(l) = l + 5. Let b be i(-4). Solve 0 = -5*s + p - b, s + g*p = -3*p - 21 for s.
-1
Let n(l) = -l**2 + 7*l + 5. Let k = -21 - -28. Let r be n(k). Solve -5*d - r = 4*t + 7, 5*t + d - 6 = 0 for t.
2
Suppose 5*z = 5*k + 70, -33 - 65 = -5*z - 2*k. Let r be (-178)/(-14) + z/63. Let g = r + -4. Solve g + 5 = -p - 4*w, 0 = -4*p - 2*w for p.
2
Let h(o) = -30*o + 258. Let u be h(8). Solve -4*i + u = -5*c + 3*c, c + 5 = 0 for i.
2
Suppose -49*m = -51*m + 4. Suppose 0*f = -4*d - 2*f + 28, -d + m*f + 17 = 0. Solve 0*l + l + 2 = -a, -4*l = 5*a + d for a.
-1
Suppose -53 + 1 = -l - 5*w, 0 = 2*l + w - 68. Solve -2*r - 26 = -5*n, l = 2*n + 3*n - 4*r for n.
4
Suppose -9*r - 48 = -5*r. Let x(d) = 2*d + 28. Let a be x(r). Let g(c) = -2*c**3 + 2. Let p be g(-2). Solve -2*m + a*z + p = 0, 0*z - 2*z = 2*m for m.
3
Let t(f) = -2*f - 9. Let l be (-159)/21 + 3/(-7). Let d be t(l). Let x = d - 3. Solve 3*o = 7*o - 12, -x = -5*k + 2*o for k.
2
Let h = -458 - -458. Solve 4*w + w + 3*l = -8, h = 4*l + 4 for w.
-1
Suppose -55*b = -122 - 373. Solve 5*j - 25 = -b*z + 4*z, -z + 2 = -2*j for z.
4
Suppose -1202 = -83*w + 624. Solve -3*r - 4*u - w = -4*r, 19 = -3*r - 5*u for r.
2
Suppose 3*j + 4 - 10 = 0. Suppose 0 = 3*c + 2*c - 10. Suppose -3*k + 0*l + c*l = -15, -l = 3. Solve -2*x - z = -j, 3*x + 2*x + 2*z = k for x.
-1
Suppose 32 = -h + 23. Let u(j) = -j**2 - 8*j + 9. Let b be u(h). Solve b = -5*c - 5*y + 40, c + y = 6*y - 22 for c.
3
Let r(s) = -s**2 + 39*s + 89. Let x be r(41). Solve -x = -3*m - 6*f + 2*f, -4*f = m - 13 for m.
-3
Let c(q) = 4*q**3 - 60*q**2 + 2*q - 26. Let s be c(15). Solve 7*l - 2*l + s*u = 6, -3*u = l + 1 for l.
2
Let a(z) = 2*z**2 + 7*z - 38. Let s(p) = p**2 + 3*p - 19. Let x(w) = -2*a(w) + 5*s(w). Let k be x(-5). Solve -m + 4 = -3*u, -2*u - u = 2*m + k for u.
-1
Suppose 4 = 134*u - 133*u. Solve -5*a - 11 = 5*z + 9, -u*z - 6 = -a for a.
-2
Let f(h) = -h**2 + 8*h - 8. Let v be f(7). Let p be (10/4)/(v/(-2)). Solve -x + 6*q = q - 18, -p*x = -4*q - 6 for x.
-2
Let k be -10*(-8 + 1)/35. Solve k*f + 1 - 15 = 2*a, 2*f + 2*a = -6 for f.
2
Suppose -9*h = -5*h + 2*j - 20, 0 = 4*h - 2*j - 4. Solve -s - 15 = 2*s - h*p, 3*s - 6 = -4*p for s.
-2
Let r be (-3)/27*-3*9. Let h be (-3 + -4 - -6)*-5. Solve r*m - 2*o + 3 = 0, m + 0*o = h*o - 1 for m.
-1
Let i be ((-2)/(-3))/(4/12). Let y be (8 + -1 + 1)/i. Solve -a = -2*g + 3*g + 9, 0 = a + y for g.
-5
Suppose -f = 16 - 20. Let v be f/18 - 510/(-135). Solve 0 = -v*a + 3*y - 21, -a + 2*y - 12 = a for a.
-3
Suppose 5*j + 25 = -4*x + 2*j, -3*x - 21 = 3*j. Suppose 7 = -4*f - h, 3*f + 3*h = 5*f + 7. Let n be f/(-7)*(11 + x). Solve 5 = n*p - r, -4*r = -0*r - 20 for p.
5
Suppose -4*i - 5*w - 3 = 0, 5*w + 4 + 2 = -3*i. Suppose -2*t + 5 = -1. Suppose t*x - 9 = 9. Solve 5*h - 8 = -i*m, -5*m + 4*h - 30 - x = 0 for m.
-4
Suppose 0 = 5*c - 0*c + c. Solve c = 3*k + 2*u + 13, -k + 5*u - 9 - 1 = 0 for k.
-5
Let x be 4/(-3 - -9 - 4). Let w(q) = q**2 + 1 - 6*q - x + 12. Let k be w(4). Solve -3*o = f + 16, 5*o = -k*f - 2*f - 40 for o.
-4
Let h(c) = -c - 2. Let r be h(-12). Suppose -6*m - 52 = -r*m. Let o = -9 + m. Solve -o*i + v