*k + p*t. Solve 4*a - 4 = 3*f, -2*a - k*f - 4 - 8 = 0 for a.
-2
Let x = 1 + 2. Let v(t) = 2*t. Let b(l) = -4*l - 37. Let f(i) = b(i) - v(i). Let o be f(-7). Solve 3*s - o*p - x = -2*p, 0 = 5*p for s.
1
Let a = 53 - 22. Let f = a + -27. Suppose -2*i + 30 = f*i. Solve -3*m + 15 = -6*m, -3*m = 5*o - i for o.
4
Suppose -16*y + 131 = -557. Suppose 4*x = x + 9. Suppose 0 = -l - 5*n + y, -l - 26 = -x*l + 2*n. Solve -k = 4*z - 1 - 8, -z + l = -5*k for z.
3
Let i = 25 + -18. Let p be (12/1)/(i/21). Suppose 2*z = -z + p. Solve -z = 4*b + 2*f, 2*b + 2*b - f + 12 = 0 for b.
-3
Suppose 14*c - 12*c = 8. Let x = 3 + -4. Let p be 2*(1/2 - x). Solve -c*i + 3*l - 7*l - 24 = 0, p*l + 3 = 0 for i.
-5
Let w = 8 - 8. Suppose -u - 9 = -w*u + f, -4*u - 35 = 5*f. Let d be ((-16)/u)/((-6)/(-15)). Solve -3*a - a = -5*h + 5, -3*h - d*a = 29 for h.
-3
Let p be (-2 + 2)*(-2)/(-4). Suppose -2*u + 54 = -p*u. Let j be 6/u - 61/(-9). Solve -3*q = 5*l + 17, -2*q + 5*l = 4*l + j for q.
-4
Let x be (112/126)/((-8)/(-36)). Solve 5*w = 5*c - 29 - 11, x = -2*c - 3*w for c.
4
Let u be (6 + 40/(-6))/((-2)/9). Let m be 148/6 + 1 - 2/u. Solve -3*s = -5*s + 5*j - 10, 0 = -5*s + 5*j - m for s.
-5
Let i = -35 - -66. Let d = i - 12. Solve -2*u + 14 = 2*j + 3*j, u - 4*j + d = 0 for u.
-3
Suppose -2*k - k = -168. Let v = -104 + k. Let b be v/(-10) - 1/(-5). Solve -3*c + 7 = h, -b*h = -0*c + 3*c - 23 for c.
1
Let z = -452 + 455. Solve 4*b - 6 = -z*s, 0*s = -5*b + 3*s + 21 for b.
3
Let r be (-8)/3 + 1/(-3). Let y be 0 + 6 + r + 1. Let w = -9730 - -9733. Solve -o - w*v - 9 = -3*o, 2*o - 2 = -y*v for o.
3
Let m = -166 - -174. Solve 3*f + m = -4*r + 1, -4*f - r = 5 for f.
-1
Let n = -82 - -82. Suppose n = -4*s + z + 1, 3*s + 4*z = -2 - 2. Solve -4*v + 2*m = 5 + 3, s = 4*v - 3*m + 6 for v.
-3
Let m be -1*12/(-8)*2. Let n(g) = g**2 - 3*g. Let l be n(m). Suppose 3*b - 15 = -l*b. Solve 0 = -3*c - 3, b*u + c + 3*c + 4 = 0 for u.
0
Let x(r) = -r**3 + 5 + 3*r + 6 - 2*r**2 - 6. Let i be x(-3). Suppose -2*j = -f - 8, 0*j - 8 = -2*j - i*f. Solve j*z - 28 = 3*h - z, 5*z - 25 = 0 for h.
-1
Suppose 0 = -3*m - 3*h + 30, 2*m + 18 - 48 = -4*h. Solve -2*i - 2*u - 3 = -1, m*i + 21 = -u for i.
-5
Let g be 36/8 - (-483)/14. Solve -34*u = -g*u + s - 23, -u + 4*s = 16 for u.
-4
Let t = -1313 + 1324. Solve 3*z - 2*c + t = 0, -4*c + 30 = -z + 13 for z.
-1
Suppose -2*f - 20 = -f. Let b = -18 - f. Solve -5*x = 4*o + 4, -b*x - 4*o = -3*o + 4 for x.
-4
Let g = 253 - 249. Solve 5*t + 15 = 5*h, -2*h + 8 = -h + g*t for h.
4
Let n be ((-18)/(-8))/((-3)/(-8)). Let v be (n/1)/((-12)/(-6)). Solve 2*u - 5*c = 14, 4*u - 1 = -v*c + 1 for u.
2
Let f(k) = k**2 + 8*k - 2. Let t be f(-10). Suppose 12 = 6*a - t. Solve 0 = -8*j + 3*j - o - a, 3*j - 4*o + 26 = 0 for j.
-2
Let z = -115 - -120. Suppose -z*l - 3*t = -32, 0*l - 4*l = -4*t. Solve -3*g - 4*o = o + 2, 4*o + 8 = -l*g for g.
-4
Let w be (6/(-4))/(11/(-22)). Suppose 5*s = 3*g + 2 - 4, 14 = -3*s + 5*g. Solve -t + 9 = -5*i, -8 = -w*t - 2*i - s*i for t.
4
Let j be -2*((-91)/14 + 4). Solve -5*n + 13 = -z, 0 = -j*n + 2*n + 4*z + 18 for n.
2
Let m(u) = 3*u + 5. Let f be m(-7). Let s(l) = -l**3 - 17*l**2 - 15*l + 20. Let t be s(f). Solve 5*x = q + 9 - 1, -t*q = -4*x for q.
2
Let j(i) = i**2 - 11*i - 19. Let q be j(14). Suppose -u - u = -5*p + 7, -5*u = p - q. Solve -a + 4 = 3*a, 4*t - p*a = -7 for t.
-1
Let i be (10/3 - 0)*3 + 3. Suppose i*m + 1 - 1 = 0. Solve -3*t + r + 3 = m, 0 = -3*t - 0*t + 5*r + 3 for t.
1
Suppose -35 = -18*z + 37. Solve -6*i - z*a - 32 = -2*i, i + 5*a + 28 = 0 for i.
-3
Suppose -4*z + 27 - 3 = 0. Suppose 14 = 5*g - z. Let a(m) = -m + 11. Let j be a(11). Solve -g*b + 25 = i, -i + 2*i - 5*b + 20 = j for i.
5
Let k = 13 + -41. Let i = k - 0. Let p be i/(-6)*(-54)/(-63). Solve -4*a + 28 = r - p*r, 3*r - 8 = -5*a for r.
-4
Let b be (1/4)/(6 + (-5898)/984). Solve 5*g = -4*u + b, 0 = 5*u + 2*g - 6*g for u.
4
Let a = 63 + -58. Suppose a*j = 30 - 10. Solve -5*r = -9*t + j*t + 50, 45 = -4*r + 5*t for r.
-5
Suppose -r - 35 = -4*z, r = 3*z - 2*r - 15. Suppose 3*b + 2 = m, m - 2 = -4*b - 0. Suppose 2*t - 3 - 1 = b. Solve c - 2*c + 10 = x, 4*c - z = t*x for c.
5
Let s be (2/4)/((-14)/14)*-34. Suppose m - s = -5*t, 0*m - t + 5 = m. Solve 3 = 3*y - y + 5*z, m*y - 13 = 5*z for y.
4
Suppose 91 + 74 = 33*p. Solve -p*k = -20, -4*s = -5*k + 7 + 1 for s.
3
Let r be (-1)/4 + 18/8. Suppose 2*m = 6*m - 4*d, -157*m + 159*m = d. Solve m = -r*q + 4*n - 14, -2 = -2*n + 8 for q.
3
Let n(t) = -13*t + 94. Let i be n(7). Solve 2*m = -5*s + i*m + 7, -1 = -5*s + 3*m for s.
2
Let q(p) = -7*p - 2. Suppose 2*f + 2 + 4 = 0. Let s be -2*(f - (-7)/2). Let x be q(s). Solve k - x*d = -2 + 7, -5 = -3*k + 5*d for k.
0
Let j = -1960 - -1969. Solve 3*g = -3*q + j, -4*q = -5*q for g.
3
Suppose 0 = 7*c + 2*c + 162. Let v = 22 + c. Solve v*y - 4*i + 2 = 14, -y + 2*i + 8 = 0 for y.
-2
Let c(i) = i**2 - 8*i + 16. Let o be c(7). Suppose 5*d = 4*t + 17, -d = 3*t - t - o. Solve -8 + 3 = -3*x - 4*u, -x + 8 = -d*u for x.
3
Suppose 0*m - 40 = -4*m. Let b be ((-12)/m)/(1/(-5)). Solve g + b = 2*y, 2*y + y = -g + 19 for g.
4
Let b = 14 - 12. Suppose -30 = -3*i - b*i. Let v = -11 + 14. Solve -5*z = 5*l - 10, -5*z + i = -v*l - 2*z for l.
0
Let i = 1193 + -1188. Solve -3*p + 8 = -5*y, 0*p + 2 = i*p + 3*y for p.
1
Suppose 5*j + 81 = 71, 24 = 5*u - 2*j. Solve -5*g + 31 + 2 = -4*y, u*g - 18 = -y for g.
5
Let j = 212 + -209. Let k be (-59)/(-3) + (-68)/(-51). Solve -j*n + s = -4*s - 17, -k = n + 5*s for n.
-1
Let o be 4 + (5 - (-6)/(-2) - 1). Solve t + 0*t + 18 = -o*r, 0 = 3*r + t + 10 for r.
-4
Let g(s) = -s**3 + 2*s - 2. Suppose b - 5*w = -18, -2*b - 5*w + 6 = b. Let d be g(b). Let j = d + -18. Solve j = m - 2*f, -m + 4*f = -6*m - 23 for m.
-3
Let y(a) be the third derivative of a**6/120 - 4*a**5/15 + 17*a**4/24 - 9*a**3/2 - 17*a**2. Let h be y(15). Solve -4*g = 12, h*v - 5*g + 0 = 15 for v.
0
Let n be 10/(-8) - 6/(-24). Let x(h) = -h - 6. Let a be x(-9). Let p be 35/15 + n/a. Solve 14 = 4*j + p*d, -j - 5*d - 4 = -2*d for j.
5
Let z be (-5 + 3)*(-5)/2. Let o = 24 + -19. Suppose 17 = o*i - x - 0, -i + 3*x = -9. Solve 0 = y + 5, -5*m = i*y - 0*y - z for m.
4
Suppose -5*h = -6*a + a + 40, -2*h - 4*a = -8. Let n(o) = -o**2 - 2*o + 10. Let x be n(h). Solve x*r + 8 = -4*f, 0 = f - 2*r + 17 - 5 for f.
-4
Let n = -482 - -487. Solve 4*x + 3*a = x - 21, -n*x + 5 = -5*a for x.
-3
Let m = -1026 + 1036. Solve 0 = -4*v - 3*t, 2*v + 24 = -5*t + m for v.
3
Suppose -f + 13 - 1 = 0. Let g(x) = 2*x**2 + 40*x + 152. Let p be g(-15). Solve 3*j - p*j = 3*r + f, -4*j + 5*r = -20 for j.
0
Let x = -10 - -10. Suppose 2*b - 6*b + 84 = x. Let j = b + -19. Solve -j*t + 15 = -k, -4*t + 8 = 3*k + 3 for t.
5
Suppose 20 = -v - 5*m, 0 = -6*v + 9*v - 3*m - 30. Let j(u) = u - 5. Let s be j(9). Solve -s*x - r = -17, -4*r - 8 - 8 = -v*x for x.
4
Let v(f) = 11*f - 272. Let n be v(25). Solve -3*m = -n*d - 3, 3 = -0*m - m - d for m.
-1
Let b(f) = f**2 + 2. Let w(z) = -3*z**2 - 5. Let p(m) = -8*b(m) - 3*w(m). Let r be p(3). Solve -2*c + r = 3*y - y, 0 = 5*y + 4*c - 16 for y.
0
Let s(n) = -n**2 - 6*n - 7. Let x be s(-4). Suppose 13 - x = 4*t. Solve -t*c + 8 = 2*g, -3*g = c - 0 - 5 for g.
1
Suppose 2*v - 9*v + 77 = 0. Suppose z = 17 - v. Solve -3*s - 5*u = -0*s - 14, -s + z = 2*u for s.
-2
Let v(u) = -u**3 - 6*u**2 + 4*u + 13. Let r be v(-6). Let z be 1111/121 + 2/r. Solve -3*d = -2*n - z, -5*d + 0*n + 19 = -2*n for d.
5
Let v(x) = -x**2 + 15*x - 21. Let q be v(10). Let y = -24 + q. Solve 0 = -t + 1, -2*t + t = y*p - 16 for p.
3
Let a(b) = b - 7. Let s(o) = 2*o - 8. Let p(z) = 5*a(z) - 4*s(z). Let x be p(9). Let n = x + 54. Solve c = 5*g - n, 5*g - 2*c - 7 = 16 for g.
5
Suppose -5*d = -2*o + 16, -o + 3*d = 4*d - 1. Let x(n) = -2*n**3 + 7*n**2 - 2*n. Let i be x(o). Solve 2 = 2*v - 0*y - i*y, -3*v = 4*y - 20 for v.
4
Let r be (32/(-12) - -2)*-3. Suppose -r = 2*y - 3*y. Solve 0 = h + 4*h - d - 17, d = -y*h + 11 for h.
4
Let y be (78/(-10))/(14/70). Let f be 26/y*(1 + -7). Solve 2*w - 6 = -4*g, w + 3*g = -f*w + 1 for w.
-1
Suppose 8*w - 73 = 23. Suppose 3*f - 7*f + w = 0. Solve -u + 2*k + 4 = 0, 0*u - f*k + 16 = 4*u for u.
4
Let d be 7 + (1 + -3)/1. Suppose 96 = d*w - 19. Let z = -3 + w. Solve -4*i = -4*u + z, 4*i + u = -u - 8 for i.
-3
Let u(h) = -12*h - 50. Let z be u(-5). 