ve -2*v - f = 5, -v - 7*f + y*f - 6 = 0 for v.
-2
Let m = 3971 - 3968. Solve 33*a + 35 = 28*a + 4*u, -m*a + 1 = 2*u for a.
-3
Let d = 230 - 192. Solve d*n + 8 = 42*n, -5*p = n - 22 for p.
4
Let s = -1735 - -1735. Solve -5*k = m - 4, s = -m + 50*k - 45*k - 6 for m.
-1
Let q = 212 + -120. Let j = q + -85. Solve 4*z = 8*z + 3*d + 8, 3*z - d = j for z.
1
Suppose -o = 3*d - 3*o + 8, 20 = 4*d + 5*o. Let w be (d + 2 - (-2)/1) + 1. Solve h + 2*h - w*a - 30 = 0, -2*a + 9 = 3*h for h.
5
Suppose -4*d + 100 = -v + 6*v, -3*d - 65 = -5*v. Suppose -j + 2*g = -10 - 3, -j + 5*g = -v. Solve j - 1 = -4*b - 2*q, -5*b + 2*q = 26 for b.
-4
Let o be 328/(-14)*35/(-10). Let t = o + -64. Suppose 22 + t = 5*f. Solve 2*y = -2*j - f, 0 = 3*j - j for y.
-4
Suppose -2*i + 15 = 13, -3*i = -0*s - s. Solve 12 = -4*v + 5*b, -11*v = -16*v - s*b - 15 for v.
-3
Let n = 122 + -118. Suppose 2*a - 7 = -z, -n*z + 1 = -a - 3*z. Solve f = 2*b + 8, b = a*f + 3*f - 22 for f.
4
Let x be 1 + 6 - 1*3. Suppose g + x*g - 15 = 0. Suppose 3*i + 23 = 5*a + 2*i, 6 = g*i. Solve -18 + 2 = 5*k - d, -a*k - 14 = d for k.
-3
Suppose -512*k = 498*k - 984*k - 1690. Solve 3*a - 4*c - 100 = -k, -c - 5 = 0 for a.
5
Suppose -10*s - 17*s + 50 = -2*s. Solve -9 = -3*z - s*f, -13*z + 10 = -18*z + 5*f for z.
1
Let s be (-135)/(-50) - 24/(-80). Solve -s*t + 9 = 3*h, h + h = 3*t - 9 for t.
3
Let g(w) = w + 18. Let q be g(-15). Suppose 16*p - q = 15*p. Suppose 5*c = 2*r + 2*r + 10, -5*c - p*r + 10 = 0. Solve 0 = c*i + o, -2*i + o = i for i.
0
Suppose 50 = 5*k - 3*t, -3*t = -765 + 780. Solve 0 = -5*x - s - 19, x = k*x + 2*s + 22 for x.
-4
Let s(k) = k**3 - 34*k**2 + 32*k + 39. Let y be s(33). Solve -8*m - y = -5*m, 5*a - 5*m = -10 for a.
-4
Let z = -1546 - -1549. Solve -5*j - 5*o = -j - 19, z*j + 5*o - 18 = 0 for j.
1
Suppose 6*l = 3*l - 2*t - 10, -3*l - 4*t - 20 = 0. Suppose 3 = c - l*c. Let z be (-15 + 20)/(5/8). Solve 2*b = 4*x + z, b + c*x = -b - 6 for b.
0
Let n = 91 - 227. Let l = -132 - n. Solve -l*y - 4*c - 28 = 0, 14 = -2*y - 2*y + 3*c for y.
-5
Let c be (-4 + 14/4)*(10 + -6). Suppose -2*v + 3 = -3. Let o = v - c. Solve 3*l = i + 2*i - 15, 3*l + 17 = o*i for l.
-4
Let h be 47 - (15/3 - 1). Let c = h - 16. Let m = 33 - c. Solve 2*t = 2*j + 4*t + m, -4*j = -t + 7 for j.
-2
Let f be (27 - 2740/100)/(0 + 1/(-5)). Solve -3*c + 3*w = f + 7, -5*w = c + 15 for c.
-5
Suppose -450 = 3*x - 0*x. Let a be 2/(-7) - x/(-14). Let u(c) = 2*c + 22. Let h be u(a). Solve h*p + 16 = -4*p, p + 8 = -2*o for o.
-2
Let u be (-6)/(-9) + -1 - -52*(-8)/(-96). Solve 70*d = 72*d + 3*p + 4, 0 = -3*d - u*p - 5 for d.
1
Let h be 68/20 + 4/(40/6). Suppose -8 = y + 2*d - 4, -5*d = -h*y + 23. Solve 4*b - y*b - 18 = -4*q, -2*b = -5*q + 9 for b.
3
Let x = 25 + -35. Let k(v) = 2*v**2 + 3 - v**2 + 8*v + 2*v. Let o be k(x). Solve -5*u - 2*b = -18, -12 = -2*u - o*b + b for u.
2
Suppose 0 = -83*t + 86*t + 351. Let a = -114 - t. Solve 3*p - 4*v = v + 30, 0 = -v - a for p.
5
Let f = 559 + -539. Suppose -4*y + l = -20, 14*l = -4*y + 12*l + f. Solve 4*i = -3*z - 8 + 25, -y*z = -4*i - 7 for z.
3
Suppose -9090 = -10*s - 8*s. Let n = s + -497. Solve 2*q - 2*d + d = -4, -2*q = 2*d - n for q.
0
Let z(s) = -2*s - 26. Let n be z(-18). Suppose -7*t = -n*t + 840. Suppose -r - 13*r = -t. Solve -4*j = -0*u - 5*u + r, u - 4 = 0 for j.
0
Let p(w) = -2*w**3 + 21*w**2 - 29*w - 87. Let o be p(8). Solve -u = 4*n - 5*u + 16, -2*u - o = n for n.
-3
Suppose 4*n + 0*n = 0. Let v be (307/(-3))/(21/189) - 6. Let w = v - -931. Solve n = 4*i - 8, w*q = -i - 4 - 6 for q.
-3
Let y = -135 - -137. Suppose -3*u + 4*u - m = 18, y*u = m + 36. Solve 3*b = -4*x + 20, -x + u = 7*b - 3*b for b.
4
Suppose 198 + 417 = 53*x + 244. Solve 8*q - 2 = g + 3*q, 3*g - 2*q = x for g.
3
Let k = 21 + -19. Let q(b) = 5*b + 40. Let i(h) = 1. Let c(g) = k*i(g) - q(g). Let n be c(-8). Solve -2*r - 6 = n*y - 16, 3*y - 15 = 0 for r.
0
Let k(r) = -r**2 + 1152*r - 29272. Let y be k(26). Let g = -5 + 8. Suppose 0 = -7*f + g*f. Solve -14 = -2*q - 4*n, y*q - 2*n + 4 - 12 = f for q.
3
Let g(t) = 5*t - 85. Suppose 0 = 36*p - 43*p + 119. Let c be g(p). Solve 0 = 5*u - 5*j, -3*u + c*j - 4 = -4*j for u.
4
Let w(q) = -q**2 - 13*q + 116. Suppose 6 = -2*y, -5*m - 22 = 4*y + 85. Let s be w(m). Solve -5*k = -2*c - 12, -k + 4 = -s*c - 0 for k.
2
Let s = -59 + 61. Let a(x) = x**3 - 4*x**2 - 6*x + 8. Let v be a(5). Solve 3 = -v*d, 6 = u + 3*u + s*d for u.
2
Let n(k) = k**2 - 4*k + 5. Let w = 20 - 16. Suppose -w*b + 3 = -a - 7*b, -2*a + 3*b = -12. Let g be n(a). Solve 4*z = -7*x + 2*x - 35, g*x + 11 = -z for z.
-5
Suppose 0*z + 16 = 4*z. Let t be (-1 + 2)/((-6)/12). Let m be t*14/4*56/(-98). Solve 0 = g + 5*l - l + m, -g + 2*l = z for g.
-4
Let h = -6820 - -6826. Solve 0 = -g + h*u + 27, -8*g = -6*g - 2*u - 4 for g.
-3
Let d(x) = -25*x - 119. Let n be (-180)/14 + 7 + 6/7. Let z be d(n). Solve 0 = -5*a + 20, -6*v = -v - a - z for v.
2
Let r = 658 + -644. Suppose -4*b = -b - 5*n - r, -5*n + 10 = 5*b. Solve -b*q = -4*o - 6, -6 = 5*o - q + 7 for o.
-3
Suppose -20*j = -14*j - 66 - 114. Solve 0 = 5*h - 2*q + 15, -h = -2*q + 7*q + j for h.
-5
Let a(o) = -o**3 - 8*o**2 + 6*o - 21. Let n be a(-9). Solve 3*s - 12 = h, n*h = 4*s + h - 16 for s.
4
Let q(p) = -4*p**3 - 70*p**2 + 36*p + 4. Let j be q(-18). Solve -2*z + 3*h = -2, 5*z - j*h + 0*h = 12 for z.
4
Suppose -2912 = -80*q + 24*q. Suppose q*b - 4 = 51*b. Solve 0 = -2*z + 3*l - 3, l = -b*l + 5 for z.
0
Suppose -n = -r + 4 + 1, 4*r - 5*n - 23 = 0. Let c(g) = -9*g - 99. Let j be c(6). Let w = j - -158. Solve 0*y - 2*y = -3*b + 4, -r*y + w*b = 0 for y.
-5
Let j(k) = -k**3 - 20*k**2 - 21*k - 33. Suppose 0*u = 4*u + 12, z - u = -16. Let s be j(z). Solve 0*x + 2*x - 4*g + 2 = 0, 2*x + s = 5*g for x.
5
Suppose 5*d = 5*l + 25, -3*d - 3 = -6*d - l. Let w = -51 + 48. Let r(p) = p**2 - 1. Let s be r(w). Solve d*v = -10, v = 5*m - s*m - 11 for m.
-2
Let m = 2 + 0. Suppose m*l - 3*p = 22, -4*l + 2*p = -0*p - 28. Let t = l - 4. Solve 4*f - 2 = -x, -4*x - 5*f = 2 + t for x.
-2
Suppose -9 = r + 3*b, 3*r + 23 = -b - 4. Let l be ((-128)/(-24))/((-6)/r). Suppose -c + l = c. Solve 0*q + c*n = -3*q - 4, 14 = -4*q - n for q.
-4
Suppose j + 2*y - 9 = 0, 5*y - 22 - 1 = -3*j. Let x be (j/(-2))/(2/(-224)). Suppose 44 = 5*v - x. Solve 7*a - 3*a - 17 = 3*z, 5*a - 5*z = v for a.
5
Suppose 60 = -25*n + 29*n. Suppose 6*r = 11*r - n. Suppose 0 = -3*w + j + 10, -r*w - 2*j - 10 = 2*j. Solve -3*k = c - w*c + 13, k + 7 = c for c.
4
Let c be (10/(-4))/(5/(-4)). Suppose -6*q + 35 = -c*q + h, -5*h + 31 = 4*q. Suppose 2*p = -p + q. Solve 5*t + p = 2*m - 8, 17 = -5*t - m for t.
-3
Let o(c) = c**3 - 13*c - 7. Let l be o(-3). Solve 12 = 3*p, 4 = l*f - 15*p + 11*p for f.
4
Let q(c) = 3*c**3 + 43*c**2 + 53*c + 16. Let l be q(-13). Solve -u + 9*v - 8*v = -l, -21 = -5*u + 2*v for u.
5
Let z = 9477 - 9474. Solve -4*k - 4*p = -2*p + 6, 3 = -z*p for k.
-1
Let w = 517 - 514. Solve -15*i - l - 14 = -10*i, -w = -3*l for i.
-3
Let b(o) = -o**3 - 8*o**2 - 20*o - 45. Let t be b(-6). Solve -9*u = f - 4*u + 31, 17 = f - t*u for f.
-1
Let s(m) = 7*m**2 - 40*m - 106. Let b(r) = 3*r**2 - 20*r - 52. Let n(x) = -5*b(x) + 2*s(x). Let j be n(22). Solve -5*p + j*z = 12, -2*p - 12 = -p + 4*z for p.
-4
Suppose -11*q + 6*q = -10. Suppose -3*m = -q*m - s, 2*m - 5 = s. Solve -m = -f + 5*o, 0 = -3*f - 5*o + 3 - 8 for f.
0
Suppose -z = -0*z. Suppose 0*d - d - 20 = z. Let x = d + 22. Solve 4*k - 2 = 2, -x*k = 2*g - 6 for g.
2
Suppose -13*t + 109 - 61 = -147. Solve t*u + 15 = -r + 12*u, -5*u - 14 = -2*r for r.
-3
Let h = 241 + -233. Suppose 3*x - h*x = -20. Solve 0 = -x*c + 3*k - 13, -12 + 5 = -5*c - 4*k for c.
-1
Suppose 63 = -28642*n + 28663*n. Solve 4*m + r + 1 = 0, -6*m - 5*r - 5 = -n*m for m.
0
Let o(n) = 11*n**2 - 8 - n**3 + 27 - 113*n + 100*n. Let u be o(10). Let f be (u - (-2 + -3))*(-1)/3. Solve 3*q - f*c = 6, -c - 4 = -2*q - 1 for q.
0
Let s be (-9)/((9/6)/(2/(-4))). Solve -s*y = -3*v + 12, 2*v + 26 = v - 5*y for v.
-1
Let f be -6 + (-4)/4 + 3. Let i be (-29)/(-58) - 6/f. Solve 0 + 2 = 2*p, 5*p - 15 = -i*v for v.
5
Let k be (0/(-3))/(2/(-2)). Suppose k = -3*b + 8*b - 10. Suppose -b*n - 2*x = -6*n + 44, -5*n + 5*x + 65 = 0. Solve -r - 7*c = -2*c + 26, 4*r = -c - n for r.
-1
Let r be -1*14/(1 + -3). Let m(y) = y**2 + 266*y - 1338. Let l be m(5).