 + 0*s + 5*t - 15 = 0, -3*s - 5*t = -9 for s.
3
Suppose -3*o + 5*x + 37 = 0, 3*o - 22 = 4*x + 10. Solve -4*j + 2*s + 20 = 0, -o*j = -s - 4*s - 32 for j.
3
Let v = -111 - -113. Suppose -v*n + 3*c = -4, 4*c - 8 = -n - 3*n. Solve 11 = 4*u - 5*p, -u + 3*p - 7 = -n*u for u.
4
Let q(l) = l**2 + 13*l + 14. Let a be q(-12). Let k(b) = -b**3 + b**2 - 2*b - 16. Let s be k(0). Let r = 20 + s. Solve 2 = -5*t - 3*j, -j - r = 3*t - a*j for t.
-1
Suppose 3*r + 36*p - 17 = 37*p, 4*r - 21 = p. Suppose -6*w = -w + 140. Let f be 2 + (-3)/(3/w). Solve -f = 3*k + 3*h, k + r*k - h = -20 for k.
-5
Suppose w = -3*b + 14, 2*w + b = -0*b + 13. Let u = -33 + 37. Suppose 0 = p - 3*i - 12, -u*i - 12 = -p - 9*i. Solve -m + 0 - 15 = w*l, m - 4*l - p = 0 for m.
0
Let d be (-1)/(-4 - 33/(-9)). Suppose -5*l = -d - 17. Solve t + 4*g = -18, -2*t - 2*g - l = -4*t for t.
-2
Let a(l) = -l**3 - 3*l**2 + 27*l + 60. Let i be a(-6). Solve 4*d - t - 6 = -i*t, -2*d = t for d.
-1
Suppose 44*z - 51*z + 35 = 0. Solve -4*m = -2*j - 20, m + 3 - z = -j for j.
-2
Let o = -34 - -24. Let s be (-9)/((-45)/(-14))*5. Let x = o - s. Solve x*k + 0*d + 4*d - 16 = 0, 2*d = 6 for k.
1
Let f be (-3)/(-75)*-5 + 331/5. Let g be 29/6 + 11/f. Solve -w = -2*i + 3, -g*i + 4*i + 14 = 2*w for w.
5
Suppose 71 - 21 = 5*t. Solve -t = -r + i, 5 = -r - r - 3*i for r.
5
Let j = -44 - -44. Let h(v) = v**3 + 2*v**2 + v + 5. Let u be h(j). Solve -d = -3*d + 8, -u*y - 23 = -2*d for y.
-3
Suppose 68 + 40 = 54*o. Solve -v + o*v - 6 = 3*h, 0 = -2*h - v + 1 for h.
-1
Let c = 49 + -38. Let n = 11 - c. Suppose 2*u - 9 = -u. Solve s - l - 10 = 2*s, n = u*l + 15 for s.
-5
Suppose 132*q - b = 134*q - 5, 0 = 2*q - 5*b - 11. Solve q*t - 3*s = 2*s - 14, 5*t + 17 = 2*s for t.
-3
Let v(s) = -3*s + 73. Let l be v(23). Solve 4*h - 14 = -g + l*g, 0 = -5*g + 2*h for g.
2
Let w = -347 - -363. Solve -w = 2*d + 3*r, -3*d - 3*r = 4 + 17 for d.
-5
Suppose -5*g = -3*g + 4*a - 40, -a + 91 = 5*g. Solve 6*v = 5*t + 4*v + g, 2 = 3*t + 2*v for t.
-2
Let w be 0/(-2)*((-3)/(-2))/3. Let h be 0/(-2) - (-6 - -4 - w). Solve u - 4 = 5*b, 0 = -h*b - 4 + 2 for u.
-1
Let q(m) = -2*m - 38. Let z be q(-19). Suppose 5*g - 3 = 7. Let s be g - (-3 - z/4). Solve w = 4*p - 1, s*w - 2*p + 3*p - 16 = 0 for w.
3
Let d be 2 - (5 - 14) - 0. Solve -25 = -5*h, d = n - 19*h + 21*h for n.
1
Let q be (-4)/(-6) + (-86)/(-6). Let i be q/2*36/(-27). Let p be i/(-4)*24/20. Solve u + p*u + 4 = 4*m, 0 = 4*u - 2*m + 10 for u.
-4
Let i = 102 + -61. Let f be (-6)/(-42) + i/7. Let p be (-1)/f + 25/6. Solve -p*q = 12, 0 = a + 3*q + 1 + 13 for a.
-5
Suppose -3*o - 15 - 20 = -s, o = 0. Solve 0 = t + 3 + 1, 0 = -3*a + 5*t + s for a.
5
Let z(v) = -v**2 - 6*v + 32. Let s be z(-8). Solve 5*n - 4*j = -0*j + 25, 0 = -4*n - 4*j - s for n.
1
Suppose 2*q - 16 = -2*q. Suppose -q*v + 0 = -12. Solve 5*j - 3*j = v*u - 5, -4*u + j = 0 for u.
-1
Let b be ((4 - 4) + 3)/1. Let g = 1 + b. Suppose 0 = i - 0*i - g. Solve -2*w - 24 = 5*n, i*n + 12 = 4*w - n for w.
-2
Let d be (9 - 3) + 12/(-3). Suppose -2*f + 20 = d*f. Solve -y + 2*n = -f, 4*n = 2*y - 3*y - 1 for y.
3
Suppose 6*f - 25 = f. Let x be -1 + -1 + 9 - 8/4. Solve -20 = -3*s + f*j, -3*s + x*j + 15 = -s for s.
5
Suppose 0 = -3*y - 2*f + 4, -3*f - f - 2 = y. Suppose -5*o = -2368 + 2368. Solve -5*v - 5 = 5*z, 2*z + o = -4*v + y for v.
2
Let l(f) = -8*f - 38. Let x be l(-5). Suppose 0 = 3*u - 2*u + x*p - 5, 32 = 4*u + 2*p. Solve 2*d + s = u, -8*s = 4*d - 4*s - 28 for d.
2
Let c = 31 + -20. Suppose -6*y = -c*y + 15. Solve 2 = 3*a + 2*u, 2*u + 37 = 3*a - y*u for a.
4
Let k(o) = o + 11. Let g be k(-9). Let l be 6*(3/g - 1). Solve -2*r - 2*j = 2, -l*r - 3 = 3*j - 6*j for r.
-1
Let u be (36/14)/(-7 + 202/28). Solve 2*n + u = 4*a, -5*a + 10 + 5 = 3*n for n.
0
Let g be (282/9)/(12/(-18)). Let p = g - -67. Suppose w - p = -4*w. Solve -3*x + l - 4 = 0, -x + w*l - 5 = -0*x for x.
-1
Suppose 161 = 51*t - 94. Solve a - 6*a = -t*p - 30, 0 = p - 2*a + 7 for p.
-5
Let x(a) = 4*a**2 + a + 1. Let o = -43 + 42. Let t be x(o). Let h(w) = w**2 - 4*w - 1. Let v be h(5). Solve 4*d = -5*q - 28, t = -5*q + v*q for d.
-2
Let w = -105 + 109. Suppose 12*i - w = 11*i. Solve -15 = 3*g, 2*s - i = 3*s + g for s.
1
Suppose -m + 2*p = 3, 3*p = -m - 0*p + 12. Solve -4*o + m = -z + 17, -3*z - o = -3 for z.
2
Let q = -23 + 31. Suppose q*r + 4 = 9*r. Solve -5*f = l + 14, 3*f - 2*f - r*l = -7 for f.
-3
Let s(g) = 40*g**2 - 14*g**2 + 7*g - 22*g**2 - g**3 - 5. Let z be s(5). Solve -w + 5*y - 16 = 0, -3*y + 12 = z*w - 5*y for w.
4
Suppose 225 = 19*s - 16*s. Suppose -s*a = -80*a. Solve -23 = -o + 5*z, -10 = -2*o + z - a*z for o.
3
Suppose -694 = -4*f - 94. Let n be (18/(-10))/((-45)/f). Solve -2*a + a = k - n, a - 12 = -4*k for a.
4
Let c = 5 + -3. Let m(z) = -6*z - 13. Let x be m(-7). Let g = x + -23. Solve w + 9 = c*l, g = -w + 3 for l.
3
Let p(f) = f**2 + 8*f + 8. Let g be p(-7). Let i be (-1 + g)/1*(-15)/30. Solve 0 = -l + 1, i*l = -3*s + l + 11 for s.
4
Let i be (1 + -1)/(7 + -3). Suppose -d = -i*d + 2*h - 6, 3*d = -h + 8. Solve 0 = -n, 0*c + 2*n = -d*c - 6 for c.
-3
Suppose -6*r - 15 = 69. Let q be -1 - 5/((-10)/36). Let n = q + r. Solve -4*t + 13 = n*j - 9, 14 = -j + 4*t for j.
2
Let s(r) = 5*r**3 - r**2 + 12*r - 12. Let q be s(1). Solve -2*y + q*y + 11 = 3*m, 2*m - y - 8 = 0 for m.
5
Let m(d) = -2*d + 24. Let n be m(10). Suppose -k + 35 = n*k. Solve -2*r + b = -5, 0*r - 3*b - k = -4*r for r.
4
Suppose -5*z - 9 = 4*b, 4*z + 24 - 8 = -b. Let d be (-3 - 0) + 6 - 2. Let j = d + 1. Solve j*k - b = c + c, 0 = -3*k + 12 for c.
2
Let w = 72 + -42. Suppose 15 = -3*a + 4*a. Suppose 4*m + a = 23. Solve -4*u + m*q = w, -2*u - 34 = -3*q - 9 for u.
-5
Let k = -6205 + 14107. Let q be (-12)/(-20) + k/30. Let b be (3/9)/(4/q). Solve -2*l = -4*g + b, 0*l + 5*l = 4*g - 25 for l.
-1
Let v = -9 - -30. Let f be 14 + (-2)/(-4)*4. Let p = v - f. Solve 3*d + p*x + 3 = -6, d + 3*x + 7 = 0 for d.
2
Let n(f) = -2*f**2 - 22*f + 12. Let z be n(-10). Let v = 37 - z. Solve 25 = -v*l - 4*u, 4*l - l + 3*u = -15 for l.
-5
Let m(l) be the first derivative of l**2 + 33*l + 17. Let g be m(-14). Solve 21 = -6*c + 2*c + g*d, 0 = 3*d - 15 for c.
1
Suppose -2*x - 102 = -7*x - 2*r, 96 = 5*x - 4*r. Solve 3*h = 3*n, -5*n + h + 0*h = x for n.
-5
Let a(b) = -b**3 + 9*b**2 - 9*b + 7. Let d be a(8). Let u = d + 4. Suppose 5*f - 20 = u*f. Solve 0*t - 4*c = t - 11, 5*t + 5*c - f = 0 for t.
-1
Let s(t) = t + 3. Let m be s(0). Let y = 1 + m. Let b = -6 - -21. Solve y*d + 5*i - 12 = 0, -4*d - d = i - b for d.
3
Suppose 85 = -16*d + 325. Solve -5*m - d = 3*r, -4*m - 12 = 3*r - 6*r for r.
0
Let a = -8143 + 8147. Suppose -13 = -2*b + 7. Solve -5*v - 4*f = -3*f + 6, -a*f + b = 3*v for v.
-2
Suppose 2*s + 2 = 0, b = -b + 3*s - 9. Suppose -8*a - 85 = -3*a. Let u = b - a. Solve -u = f + 3*v, -8*f + 3*f = -2*v - 30 for f.
4
Let d be (-94)/(-4) + (-5)/(-10). Let n = -64 + 68. Solve 3*p + 3*t + 8 = 4*p, 4*p = n*t + d for p.
5
Let p(z) = 2*z - 1. Let c be (-14)/21 + 2/(-6). Let q be p(c). Let o be (-7)/q - 56/42. Solve -5*l + 5*d = 25, -o = 5*l + 3*d - 0 for l.
-2
Let o = 44 + -41. Solve 0 = 5*z + o*l - 5, -2*z + 0*z = -4*l - 2 for z.
1
Let b(f) = -10*f - 6. Let m be b(-5). Suppose -2*p = 2*p - m. Let x = p + -6. Solve 4*l + 25 = -x*w, l + 1 = -4 for w.
-1
Let t = 23 - 29. Let z = t - -8. Solve -2*w = -5*g + 16, 3*g - 3*w - 2*w = z for g.
4
Suppose -4*r + 5*j = 9 + 4, -2*j = 4*r - 22. Let f(k) = -k**2 + k**2 + k**2 - 3*k. Let o be f(3). Solve 0 = r*h - i + 12, -3*h - 5*i + 1 + 5 = o for h.
-3
Let t(q) = -19*q**3 + 4*q + 3. Let m be t(-1). Let x = -23 + m. Let k = 7 + x. Solve -10 = k*u, 0 = 3*y + 7*u - 3*u + 26 for y.
-2
Let w(o) be the third derivative of o**6/60 + o**5/60 - o**4/12 + o**3/6 - 11*o**2. Let p be w(1). Solve -p*z + 3 = f, -15 = 3*z - 6*z + 2*f for z.
3
Let j = -88 - -78. Let o = j - -15. Solve -5*z + 0*z = 5*b + o, -2*z + 2*b = -10 for z.
2
Let z(g) = -g**2 + 14*g + 18. Let c be z(15). Suppose -c*l = -8*l + 170. Solve -3*u - 5*q - l = 0, -10 = -0*q + 2*q for u.
-3
Suppose 3*b = 4*p - 15, -b = 2*p + 2*b - 3. Solve -3*z = p*o - o - 5, 2*o - 5*z = -19 for o.
-2
Suppose 16 = q + 5*k, 60 = 2*q - 43*k + 39*k. Solve -5 + q = 5*w + f, 4*w + f - 16 = 0 for w.
5
Let t = -38 - -38. Suppose 0 = 2*w + 5*n - 13, t = -3*w - 2*w - 3*n + 80. Solve 0