, 2*x - 13 = t*f + 1 for x.
3
Let g = 138 + -130. Let f(a) = -a**2 + a - 6. Let v be f(0). Let k = v + g. Solve -4*l + 0*l + 1 = -3*q, 7 = k*q + 5*l for q.
1
Let j(l) = l**3 - 10*l**2 + 7*l + 22. Let y be j(9). Solve -y*s + b - 13 = 0, -5*b + 14 = -s - 13 for s.
-2
Let g be 7 + 0 + (1 - 0). Let y be 13/4 + g/(-32). Suppose -4*f + 24 = -0*u - 2*u, 3*f = 2*u + 19. Solve 0 = 5*i - 3*v + 3 - 13, y*v - 40 = -f*i for i.
5
Let z = 690 + -681. Solve -p + 5*q + z = 2*q, 3*q = -p - 3 for p.
3
Suppose t - 5 = -2. Suppose -6*d + 6 = -5*d. Suppose -3*c + 3*i + 6 = 0, -c - i - 2*i + d = 0. Solve -5*u + 0*x + 26 = c*x, -5*x = t*u - 22 for u.
4
Let w = 10 + -7. Suppose -w*h + 7 = 1. Suppose 2 + 2 = -y, 0 = -n - y - h. Solve 0 = -4*g + 16, -4*m + n*g = -3*g + 8 for m.
3
Let s = 1027 + -1027. Solve 5*d = d - 3*c - 14, s = d - c for d.
-2
Let r(z) = 14*z - 122. Let g be r(9). Solve 0 = -g*c - 5*o - 25, -4*c - 4*o + 21 = -9*c for c.
-5
Let j(d) = -d**3 - 5*d + 42. Let l be j(0). Suppose 7*k = -l + 154. Solve -5*x - 5 = 3*f + 7, -4*x = 4*f + k for f.
-4
Let y = 17 + -12. Let x be ((-324)/8)/9*(-4)/6. Solve -2*c + 1 + 1 = 0, 10 = x*j - y*c for j.
5
Suppose 0 = -2*l + 7*l. Suppose f - 19 = -l*f. Suppose -6*y = -7*y + 2. Solve 8*v + 3*s - f = 3*v, -y*v - s = -7 for v.
2
Let n(l) be the second derivative of -l**5/20 + 2*l**4/3 + 10*l**3/3 + l**2 + l - 10. Let p be n(10). Solve 0 = -p*j - 0*j + 2*w - 16, j + w - 2 = 0 for j.
-3
Suppose 40*o - 23*o = 255. Let f be (1 - -2) + (-1 - -2). Solve 2*q + 2 = -f*u, 2*u + 3*u - o = q for q.
-5
Let q = 28 + -22. Let n(l) = l**2 - 5*l - 4. Let u be n(q). Solve 2*d - 4*d + 8 = -3*x, 3*x + u*d - 8 = 0 for x.
0
Let p(v) = -v**3 - 13*v**2 - 12*v + 2. Let s be p(-12). Let l(z) = -z**3 + 2*z**2 - z + 2. Let a be l(s). Solve -5*c + 10 = -5*h, h + a*h + 2 = -5*c for h.
-2
Let h = 26 - 10. Suppose -2*l + 2*t = -h, -2*t = l + l. Suppose 0 = -l*x - j - 1, -2*j - 2 = 3*x. Solve x = 3*p + 4*f + 23, -6 + 1 = f for p.
-1
Suppose -8 = 4*z - 4. Let b be (-45)/z*(-8)/(-24). Let j(f) = f**2 - 3*f - 1. Let u be j(5). Solve -5*o = -4*w + b, -6*w + 3*o + u = -2*w for w.
0
Let x(i) = 5*i**2 - 42*i + 18. Let q be x(8). Solve 2*a + 2*c - 16 = -q, 2*a + 21 = 5*c for a.
2
Let v(z) = -z**3 - 8*z**2 - 16*z + 15. Let q be v(-5). Solve 0 = 2*m - 4*m - 3*y + 12, 5*y = m + q for m.
0
Let a be (-8)/(-3)*(-57)/(-38). Solve -2 = -3*k + a, -5*w + 7 = k for w.
1
Suppose 0 = -2*i + 8, 32 = 3*p + 2*i - 45. Let o = 25 - p. Suppose 0 = -l + o. Solve -a + 3*x - 2 = 0, -a = l*x + 3*x - 14 for a.
4
Let f(h) = -h + 14. Let q be f(10). Suppose 4 = -2*y - q*l, 4 = -4*l - 8. Solve -5*k + 14 = d, k + 0*d = d + y for k.
3
Let r = 96 + -88. Solve n - 3*a + 18 = 0, -3*a + 7 = -r for n.
-3
Let n = -2282 + 2290. Solve 2*b + n = -h, h - 2 = -5*b - 19 for h.
-2
Suppose 2*a - 3*a + 45 = -4*j, -3*j - 4*a - 48 = 0. Let m be (9/18)/((-2)/j). Solve -4*f + d + 15 = 0, 0 = 2*f - 5*d + m + 12 for f.
5
Let g(v) = 279*v - 1393. Let h be g(5). Let y(b) = b + 4. Let j be y(-3). Solve -s = -1, -3*s + h = -5*u - j for u.
0
Suppose -8 = -3*t - 2*b + 1, 5*t - 4*b = 15. Let h be 5 + t/(-1 + -2). Suppose h*r = r + 39. Solve -k = 3*k + 5*p + 25, 3*p + r = -2*k for k.
-5
Let q(i) = -i**3 - 8*i**2 - 7*i + 2. Let p be q(-7). Solve -p*b = -5*k + 15, b - 4*k + 4 = -5*k for b.
-5
Let t(n) = n**3 + 3*n**2 - 10*n + 8. Let f be t(-5). Suppose 34*m = 32*m + f. Solve -3*x + 9 = j, -m*x = -3*j - 1 + 2 for x.
2
Let y = 237 + -234. Solve 2 = -z + 2*t - y, -4*z = t + 11 for z.
-3
Suppose -4*u = -6*u + 4. Solve s - 6*s - y - 24 = 0, 8 = -u*y for s.
-4
Let m be ((1 + 0)*3)/1. Let a(s) = -4*s + 12. Let v be a(m). Solve 5*g - 4*z = 24, -g + v*z + 1 = 3*z for g.
4
Suppose -20 = -5*s, -4*c + 2*s + 2 = -2. Solve 0 = v - 2*v - 4, 3*v + 27 = -c*d for d.
-5
Suppose 2*b + 2*s = 12, 5*b - 11 = -s + 11. Suppose -4*a + 10 = 2. Suppose 0 = a*t - z - 9, t - z - 5 = 1. Solve f + t = 2*p - 7, 0 = b*f + 5*p - 25 for f.
0
Let x = -2991 - -2993. Solve 0 = x*r - 3*v - 12 + 31, 5*r + v = -5 for r.
-2
Let j be ((-126)/84)/((-6)/40). Solve 2*k + u - j = 0, -19 = -3*k - 2*u - 2 for k.
3
Suppose -5*h = -168 + 48. Let k = h + -21. Suppose k = y - 0. Solve 4*i = y*d - 9, -i + 5*d - 15 = -0*d for i.
0
Let z(k) = 5*k - 45. Let f be z(10). Suppose f = 5*g, -4*h = 4*g - 0*g - 4. Solve -3*d - 8 = -v - h*v, 0 = -4*d - 3*v - 28 for d.
-4
Let w(k) = k**2 + 2*k + 17. Let j be w(-7). Suppose -64 = -4*u - j. Solve u*y + p - 24 = -2*p, y = p for y.
4
Suppose 4*v + 3*p - p = -50, -25 = 5*p. Suppose -3*f = 3*c - 1 - 41, -2*f = -5*c + 70. Let m = c + v. Solve 4*i + m = 4*o, 2*i + i - 5*o - 3 = 0 for i.
-4
Let y be (-111)/(-27) + 41/(-369). Solve -y = s - 2*m, -s - 2*s - 11 = -5*m for s.
-2
Let u be 44/24 + (-20)/24 + 1. Solve 0 = 4*v + u*k - 16, 5*k - 1 - 9 = 5*v for v.
2
Let w = 12 + -24. Let y = -10 - w. Solve -4*z + o = -3*o - 16, 0 = -y*z - 2*o + 4 for z.
3
Suppose 40*x - 36*x - 20 = 0. Solve -7*s = -2*s + x*w, 12 = -2*s - 5*w for s.
4
Let b(v) = -v**2 + 10*v + 12. Let s be b(16). Let n = s - -88. Solve 0 = 3*a - 2*k + k + 5, n*k = a + 9 for a.
-1
Let f = -764 - -767. Let j be 2 + (-4)/((-8)/6). Let w(z) = -z + 7. Let u be w(6). Solve -6*h + f*h = q + u, j*q = h + 11 for q.
2
Let m be (1 - 9/9)/2. Solve a + 2*g = 1, m*g + 3 = g for a.
-5
Let f = -256 + 261. Solve -f*g + 4*c = 8 + 6, 4*g - 3*c = -11 for g.
-2
Suppose 11*y + 45 = 8*y. Let u(q) = -q - 9. Let k be u(y). Solve -x - o = -k, -4*o + 3*o = 4*x - 9 for x.
1
Let y be (3 + (-3 - 0))/(-3). Suppose -8*n + 24 = -y. Solve 2*l = -3*i, -4*l = 4*i - n*l - 5 for i.
2
Suppose 1341*q - 1377*q + 432 = 0. Solve l + 4*w = q + 1, -5*l = w + 11 for l.
-3
Let y = -649 + 651. Solve y*v + 0*i = i - 11, 0 = -3*v - i - 9 for v.
-4
Let u be (-1 - -2)*16 + -2. Suppose 10*r - 4*r = 0. Solve 2*h - 5 + r = -w, 5*h = -w + u for w.
-1
Let h = -6 + 2. Let n be ((-6)/h)/(6/8). Let y be 0 - n - (-8 + 2). Solve t + 3*r - 5 - 3 = 0, y*r - 12 = -t for t.
-4
Suppose 17*z = 18*z - 5. Solve 35 = -5*m - z*s, -31 = 3*m + 2*m + 3*s for m.
-5
Let s be ((-27)/(-45) - 204/140)*-7. Solve s*a - a + 4*u + 20 = 0, 2*a + 8 = -u for a.
-4
Suppose 26 = 4*q + 5*p, 14 = 2*q - 31*p + 34*p. Solve 3*b = -s - 4*s + 8, -5*s = -q*b - 36 for s.
4
Let n = 15 - 27. Let o = n + 15. Suppose 4*v + 0*s = -o*s + 20, v = -3*s + 14. Solve 2*c - 1 = -3*t, -2*t - v*t - 8 = -2*c for t.
-1
Suppose -3*s + 3 = -9. Let c(t) = 23*t + 30. Let j be c(-5). Let i = j + 85. Solve 4*k = -s*y, 3*y = -i*y - k + 4 for y.
2
Let p(v) = v**2 + 12*v - 1. Let q be p(-12). Let n be (-9)/7 - -1 - (-38)/(-14). Let d = q - n. Solve 0 = d*m - 2*u - 14, 0*u - 2*u = 2*m - 6 for m.
5
Let m(o) = o**3 + 11*o**2 - 3*o - 12. Suppose 0 = -2*u - 2*u - 44. Let b be m(u). Solve -5*n + f + 3*f = -40, -f - b = -4*n for n.
4
Suppose -4*l - 38 = 5*r, -4*l + 35 = -2*r + 3. Let t be 7/(-35) + (-2)/r. Solve t = 2*p + 4*v - 3 + 1, 2*p + 4 = 2*v for p.
-1
Let t(i) = 2*i - i - i**2 + 0*i**2 + 15. Let s be t(0). Solve 3*o - 2*p + 15 = 3*p, 0 = -2*o + 5*p - s for o.
0
Suppose -5*v + 1 = 3*m, 12 = -10*v + 13*v - 2*m. Solve -4*x = -5*o - 16, x + v*o + 10 = -x for x.
-1
Let u be 3/(((-2)/3)/2). Let q = -7 - u. Solve -3*v + 9 = -2*y, -6*v + q*v + 12 = 4*y for v.
3
Let w(c) = -c**2 - 7*c + 63. Let p be w(-12). Solve 8*j - 10 = 3*j, j - 11 = p*q for q.
-3
Let h be (-11)/(33/(-15)) + -2. Solve 17 = 4*u - h*b, -u - 3 = 2*b + 1 for u.
2
Suppose j + 5 = 5*j - 5*q, -4*j = q - 23. Solve 3*t + 16 = -t - 4*f, -j*f + 12 = -3*t for t.
-4
Let r be (-2)/((136/(-32))/17). Solve -2*x = -6*x + 3*a + r, 0 = -5*x - a - 9 for x.
-1
Let m be (2 - -10) + (2 - 8). Solve 4*w - 8 = -4*s, -4*s - m = -w + 1 for w.
3
Let a(w) = 4*w - 132. Let i be a(34). Solve -i*v = 9 + 11, 0 = -5*c - v - 30 for c.
-5
Let g = 888 + -883. Solve p + 0*p - 6 = -g*c, 4 = 4*c for p.
1
Let f be (25/15)/(35/126). Solve 2*x + 2*q = -10, 5*x = q - f - 7 for x.
-3
Let g(f) = f**2 + 11*f + 16. Let h be g(-7). Let d be -3*1*8/h. Suppose d = -2*a - 6, -3*a = 4*p. Solve 0 = -w - 5, p = -s - 3*w - 14 for s.
-2
Let x(m) = 3*m**2 - 1 + 1 + 4*m + 2*m. Let r be x(-4). Suppose 0 = -3*u + 15 - 3. Solve u*j + l - r = -l, 0 = 5*j + l - 24 for j.
4
Suppose 33 = u + 2*l, -6*u + 4*l = -3*u - 89. Let i = 33 - u. Solve -9 = -4*a + 9*x - 4*x, 0 = -i*a - 4*x - 2 for a.
1
Let k(y) = 8*y**2 +