ve -h = -k, f + 4*k = k + c for f.
0
Let o be 857/4 + (-15)/12. Suppose 0 = 211*c - o*c + 4. Solve 4*h + 4*s = -36 - 0, -2*s = -c*h - 2 for h.
-5
Let b = -3778 + 3783. Solve -c + b*s = 22, 4*c + 2*s = -s + 4 for c.
-2
Let q(a) = a**3 + 7*a**2 + 14*a + 9. Let r be q(-3). Solve 0 = -x + u + r - 2, 0 = -2*x + 3*u - 2 for x.
5
Suppose 15 = -h + 4*h. Let w(f) = f**3 + 9*f**2 + 13*f - 12. Let q be w(-6). Suppose 7 = 5*u - q. Solve 4*v - 2 = 2*v - 3*l, -u = -h*v - 3*l for v.
1
Let q be 18/7 + (-18)/(-42). Suppose 7 + 37 = -11*y. Let a be 2/(-3)*(y - 2). Solve 0 = -a*i + 5*l + 27, i + l + 9 = -q*l for i.
3
Let o be (-1)/((-228)/42 - -5) + 6/(-18). Solve 6 = r + 7*x, -5*r = -r + o*x + 2 for r.
-1
Let w be -4*((-194)/(-24) - 8)*-93. Solve 0 = -4*z - 20, -w*n - 3*z = -29*n + 5 for n.
5
Suppose 0 = 123*f - 133*f + 90. Solve 5*k + 4*s = f*k + 16, -5*k - 26 = s for k.
-5
Let o(y) = y**3 - 8*y**2 + 13*y - 17. Let d be o(7). Let g = -7 + d. Let a be (-1)/2 + 27/g. Solve -2*t = f + a, -3*f = -4*f + t + 2 for f.
1
Suppose 547*q - 821*q = -2082 - 384. Solve 1 = -l - 4*t, 11*t - 12 = 2*l + q*t for l.
-5
Let j be 10/(-1)*1/(-2). Let w be (4 - (-517)/(-94))/(-3 + (-57)/(-20)). Solve 2*u + w = 4*m, -2*u + 15 = -j*u for m.
0
Let h(v) = 3*v**2 - 5*v - 2. Let l(j) = -4*j**2 + 7*j + 1. Let d(p) = -3*h(p) - 2*l(p). Let k be d(0). Solve 2*g - 2*z = -0*g - 2, 3*z = -k*g + 24 for g.
3
Suppose 5*i = -5*j - 30, 0*i - 22 = 3*j + 5*i. Let a be 8 + (-3 - 6) + j/(-1). Solve -2*m - a = 4*c + 17, -2*c + 5*m = -14 for c.
-3
Suppose -2*k - 6 + 6 = 0. Suppose k = 9*m - 119 - 97. Suppose -2*x - a = 9 - m, x = a. Solve -o + x*t - 3 = 0, 3*o - 2 = 4*o - 4*t for o.
2
Let h = -8 + 13. Suppose -27576*y + 27580*y - 20 = -3*n, -2*y + 5*n - 16 = 0. Solve -3*f - 2*o = -0*f - 21, h*f - 31 = -y*o for f.
5
Let i = -84 + 86. Let z be (-2)/(-1)*(-20)/(-8). Solve -5*r + 10*r + z*l - 20 = 0, 3*r + i*l - 13 = 0 for r.
5
Suppose 4*i + 12 = -40. Let o = -6679 - -6697. Let x = o + i. Solve 2*h - 5*h = -x*g, 4*h - g - 17 = 0 for h.
5
Suppose 16*d - 38 - 538 = 0. Suppose -52*b = -d*b - 112. Solve 17 = -2*n + 3*w, b*w = 5*n + 3*w + 25 for n.
-1
Suppose 5*h + 69 = d + 2, 3*h - 5*d = -49. Let l = -6 - h. Suppose -20 = 4*o + o, w + l = -4*o. Solve 3*s + w = p, 11 + 0 = -2*s - p for s.
-4
Let d = -171 + 194. Suppose -4*a = -3*v - 32, d = 2*a - 3*v + 1. Solve -w - x = 0, w + 3*w + a*x = 3 for w.
-3
Suppose 3*b + 810 = 13*b. Let q = 59 - b. Let x be 42/(-231) - 70/q. Solve 2*m - 6 = -5*r, m - 3 = -x*r + r for m.
3
Let f be -9 - -2 - 1/(-1). Let k be (36/f)/(-2 + 0). Suppose -3*p = 3*j - 21, 0 = 3*p - 4*j + 3*j - 5. Solve 3*b + 0*b = -k*a, -p*b + 5*a = 0 for b.
0
Suppose 0 = 9*o + 122 - 104. Let m be -7*(o*(-4)/(-8) + 0). Solve m = -3*k + 2*u, -u + 15 = -3*k + 4 for k.
-5
Let v be ((-4)/(-20) - 0) + (-54)/(-30). Solve -4*r = -5*p + 20, v*r = p + 2 - 12 for r.
-5
Suppose -4*i + 4*u = 41 + 459, 0 = -5*i + 2*u - 610. Let a be (i/(-9))/10 + 2/3. Solve -5*v + 2*v + a*k = -1, -5*v + 10 = 5*k for v.
1
Let j(c) = -c**3 - 9*c**2 - 9*c - 1. Let h(x) = -7*x**2 + 28*x - 8. Let u be h(4). Let v be j(u). Solve b + v + 2 = -2*i, 5*i + 26 = b for i.
-5
Let o be -124*18/(-12) - -1. Let a be (-6)/(-51) + 4279/o. Solve -t - f - 4 = 0, 0*t + 4*f = 3*t - a for t.
1
Suppose 50 = 2*o - 4. Suppose 5*j + 993*v = 996*v + 42, 2*j - 33 = 3*v. Solve 2*w - o = 4*w - 5*c, w - j*c = -16 for w.
-1
Suppose 24 = 4*d + 6*l - 9*l, -30 = -5*d + l. Let y be d + -5 + -6 + 8 - -1. Solve -t + 4 = -0*t - 3*j, -t - y*j = -4 for t.
4
Suppose -3*q = 4*c - 20 + 3, -2*c + 2*q = -26. Suppose -4*h = 2*n - 14, -9*n + c*n = -2*h + 13. Solve 30 = 5*p - h*y, 5*p + 0*y = -5*y - 20 for p.
1
Suppose 422*f + 120 = 462*f. Solve -w + 5*g = g + 18, 3*w - f*g + 18 = 0 for w.
-2
Let y(x) = x**3 + 5*x**2 - 3*x - 12. Let r(c) = -7*c + 9. Let a be r(2). Let f be y(a). Solve -3*n + f*k = -21, 3*n + 2*k - 7 = -2*n for n.
3
Suppose -3*y - 67*l = -71*l + 11, 4*y + 3*l - 27 = 0. Solve 5*a = -3*k - 17, 8*k = -3*a + y*k - 7 for a.
-4
Suppose 29*p - 30*p = -4*z - 6, -4*p + 24 = 5*z. Let g be (5 + -6 - p) + 11. Solve 0 = -g*f + 1 - 9, 2 = -b - 3*f for b.
4
Let c be (-4)/(-10)*35/(-28)*-2. Suppose t - c = 0, 3*x - 5*t + 8 = 4*x. Solve -7*k - 9 = p - x*k, -k = -p + 6 for p.
3
Let z be (0 + 2)*((-684)/24)/(-19). Solve -v + 5*w - 9 - 9 = 0, z*v + 5*w = 26 for v.
2
Let c(y) = -y + 2. Let t be c(0). Let r(g) = -6*g**3 + 95*g**2 + 19*g - 39. Let m be r(16). Solve 0 = -m*z + 4*z + 5*i - 15, -5*z = t*i + 22 for z.
-4
Suppose 0 = -5*u + 6*u - 4, 2*u = -4*z + 8. Solve z = i - a - 6, -i + 2 = -4*i - a for i.
1
Suppose -49 = -6*q - 19. Let b be ((-2)/q)/((-52)/2210). Solve 5*r - 4*w + 3 + 26 = 0, 3*r - 2*w + b = 0 for r.
-5
Let w(a) = 20*a**3 + 67*a**2 - 66*a - 2. Let g be w(1). Solve 5*i + g = -6, -5*i - 29 = -n for n.
4
Let t(h) = -29*h + 2441. Let q be t(84). Solve 4*j - 5*c = -11, -6*j + j - 10 = -q*c for j.
1
Let o be 0*(11 - 68/6). Solve -2*m - 4*j - 14 = o, 5*m = -2*j + 5*j + 30 for m.
3
Let i(q) = 9*q**2 + 25*q - 14. Let f(l) = 20*l**2 + 49*l - 30. Let g(k) = -6*f(k) + 13*i(k). Let m be g(10). Solve -4*t = 5*u + m, -u - 22 = -2*t + 3*u for t.
3
Let x(w) = w**2 + 11*w - 23. Let c be x(-16). Suppose -5*y - c = 43. Let a = y - -25. Solve -5 = -p - 4*i, -4*p = a*i - 0 - 20 for p.
5
Let p(z) be the second derivative of -5*z**3/6 + 29*z**2/2 + 21*z + 4. Let c be p(5). Solve 0 = r + 2*y + c, 2 = -r + 4*y + 16 for r.
2
Let i(p) = 5*p - 55. Let m be i(11). Let t(f) = -21*f + 4. Let h be t(m). Solve a = -h*z + 11, 7 = 4*z + 5*a - 0*a for z.
3
Suppose -1515 = -5*g - w, -g + 909 = 2*g + 5*w. Let t = 312 - g. Solve -3*l - 7 = 2*x, t = -5*x + 2*x - 4*l for x.
1
Let w(q) = -5*q**2 - 108*q - 380. Let z be w(-17). Solve 0 = -3*h + k + z, -16 = 4*h + 5*k + 1 for h.
2
Suppose -46 = -5*f - 2*a, -138*f = -135*f + 3*a - 15. Solve 7*k = f*k - j - 30, 3*j + 20 = k for k.
5
Let y = 8339 + -8334. Solve 4*m - 2 = 2*j, -5*j + 61 = y*m + 21 for j.
5
Suppose -2 = -3*c + 34. Suppose 20 = -7*j + c*j. Suppose 0 = -s - 23*x + 24*x, -5*s + 16 = -x. Solve -s*p = 2*u + j, -u + p = 5*p for u.
-4
Let o = -2875 + 2875. Solve -8 = 5*q + 2*h, 3*h - 3 = -o for q.
-2
Let d(p) = 10*p**2 - 340*p + 371*p - 220 - 11*p**2. Let j be d(20). Solve j = 3*q + 2*c - 9, 2*q - 5*c = q + 3 for q.
3
Let y be (-1 - -6)/((-16)/(160/(-25))). Solve -2*b = -2*x - y - 0, -2*x + 2 = -3*b for b.
-4
Let t be (-1 + 6/(-4))*-2 + -4. Let g = -11 + 16. Suppose -t = -q + g. Solve -3*f + q = 0, -f = 2*a - 6*a - 18 for a.
-4
Let h(s) = -38*s + 2890. Let r be h(76). Solve 3*q + 2 = -5*a - 20, 4 = -r*a for q.
-4
Let c be (2 - 2)*(3 - 4). Suppose 4*l - 8 - 8 = c. Suppose h + 8 = -2*h + l*n, 3*n - 11 = h. Solve -2*p = -8, -p - 6 = h*m + m for m.
-2
Let b be ((-10)/6)/((-40)/48). Suppose b*n - 3*u + 5*u - 4 = 0, -20 = -4*n + 2*u. Solve 0 = 4*x - 4*q, -4*q - 12 = n*x - 5*x for x.
-4
Let f be (1/(-3))/(2/(-24)). Suppose 1471*j + 2 = -4*q + 1470*j, 0 = 5*q + j. Solve -q*w - 28 = 5*g - 7, 3*w + 2*g + f = 0 for w.
2
Let v = -494 + 497. Solve 0*s = -5*k + 5*s + 40, 4*k = v*s + 29 for k.
5
Let k be -1 + 6 + 21/(-7). Suppose k = h - 4*s, 0 = 4*h - 2*s + s - 8. Let c be (-5)/(-2) + (-3)/(-6). Solve -c*x - h*x = -4*r - 26, -3*x = -6 for r.
-4
Let m = -665 + 671. Solve -4*c + 2*s = -102 + 90, 2*c = -s + m for c.
3
Let g = -1353 - -1356. Solve g*m - 148 = 2*u - 150, 3*u - 3 = 5*m for u.
1
Suppose f = -u + 18, f - u - 10 = 8. Solve -5*y + 1 = 3*w - 20, -3*w + f = 4*y for w.
2
Let z = -678 - -705. Suppose z = g + 25. Solve -g*p + 5*p = 5*m + 2, -4*m = p - 12 for m.
2
Let n(a) = -121*a + 2554. Let v be n(21). Solve -k = -4*z + v, -71*z = -2*k - 72*z + 10 for k.
3
Let g(m) = -m**2 - 12*m - 18. Let h be g(-9). Let t be (h/(-12))/(2 - (-213)/(-108)). Let q be 6/27 - 129/t. Solve -q*b - 6 + 4 = 3*f, -22 = 3*f - 5*b for f.
-4
Let j(m) = 157*m - 1566. Let d be j(10). Solve -4*v + v = 9, 15 = -d*k - v for k.
-3
Let c = -111 + 26. Let y = c - -89. Solve 5*d = y*w - 19, 3*w + d = -w + 1 for w.
1
Suppose 3*l = 4*c - 0*c + 30, -6 = 2*c. Let p = 4737 + -4737. Solve p = 2*i + 2*i + 4*h - 8, -h - l = -3*i for i.
2
Suppose -2168 = -2330*u + 2492. Let n be (0 + 0)/(4/(-2)). Solve 2*j - u*a + 8 = -a, n = -4*j - 5*a - 2 for j.
-3
Let x = 19 - -6. Suppose 5*y + 115 + 0 = 0. Let t = x + y. Solve 2*a +