*v + v for v.
-3
Let k(g) = g**3 + 7*g**2 - 65*g + 38. Let f be k(5). Let q be 2 - (1 + 2 + -1). Let n(b) = b + 6. Let i be n(q). Solve 3*d - 2*v + f = -i*v, -4*d = v for d.
1
Suppose 3*g = 2*r - g - 20, -3*r = -2*g - 10. Solve r = o - 4*o + 5*v + 19, 6*v + 12 = 0 for o.
3
Suppose 102 = 2*a + 94. Suppose 3*o - 11 = -5*c + a, -2*o = -3*c + 9. Solve -r + 2*x - 8 = 4*x, 5*r + 4*x + 10 = o for r.
2
Let j = -378519 - -378522. Suppose -2 = 2*s, -2*s - 3*s - 10 = -k. Solve k*l - j*y + 10 = 2*y, y - 12 = -4*l for l.
2
Let o be 612/(-136)*(6/21)/((-3)/7). Solve o*b - 5*z - 32 = -37, z - 19 = -3*b for b.
5
Let l(b) = -b**3 - 7*b**2 + 3*b + 13. Let z be l(-7). Let s be (z/(-5))/(4/10). Let g = -17 - -24. Solve -u + g = -2*y, s*y + u = 2*u - 13 for y.
-3
Let n = 1699 + -1699. Suppose 0 = -386*g + 376*g + 120. Solve n = -5*r - 2*x + 14, -x = -3*r - 4*x + g for r.
2
Let w(q) = 2*q**3 - 7*q**2 + 11*q - 4. Let u be w(3). Solve 5*d = -2*r + u - 1, -4*r - 2 = 2*d for d.
5
Suppose -3*p - 24 = -30. Let j = -1532 - -1537. Solve -j*o + 4 = -21, 0 = p*m + 3*o - 19 for m.
2
Let x(w) = w**3 - 9*w**2 + 11*w - 89. Let r be x(9). Let y(u) = -u + 19. Let n be y(r). Solve 4*c - 3*m = 6 + n, -10 = 3*c + 2*m for c.
0
Let g be (2/1)/(6/21). Let u = 7196 - 7170. Solve -5*z + 3*f = -20, -z + g*f + u = 2*f for z.
1
Let l = 368 + -365. Suppose -l*x - 5*x + 88 = 0. Solve a - 4*j = -x, -2*j = 3*a + j - 12 for a.
1
Let q be (-80)/(-35) - 4/14. Suppose -2*g + 4*w = 3*w + 1, 3*g = 2*w - 2. Solve 5*i = -2*p - q, -p = -4*i - g*i + 1 for i.
0
Let h be -5 + 8/4 - -5. Suppose 0 = u + 4*s - 4, -2*s - 2*s = -h*u - 28. Let c be ((-18)/u - 11/(-44))*2. Solve 5*g - 30 = c*w, 7 - 1 = -2*w - 4*g for w.
-5
Let q(o) = -25*o - 498. Let g be q(-20). Suppose 236 = 4*j + 4*x, j - 2*x - x = 63. Suppose -3*h + 6 = -j. Solve z - 4*c - h = -0*z, g*z + 3*c + 11 = 0 for z.
2
Suppose 5*i + 7*u = 3*u + 110, 4*i = 5*u + 88. Solve i = -2*g + 4*m, 2*g - g + m + 2 = 0 for g.
-5
Let v(a) = -a**3 - 23*a**2 - 25*a - 61. Let t be v(-22). Solve -25 = -t*q + 8*u - 3*u, -2*q + 5*u = -16 for q.
3
Let w(m) = -m**3 - 60*m**2 + 53*m - 469. Let t be w(-61). Solve -t = 3*g + 5*f, -4*g - 10*f + 14*f = -28 for g.
2
Let x = -343 + 343. Suppose -2*y + 3*z - 9 = x, 2*z - 19 + 3 = -2*y. Solve y*r = 4*t + 4, 4*r - 28 + 8 = -2*t for t.
2
Suppose -v = -16*v + 82 - 7. Solve 5*l = v*c - 3 - 7, 0 = -6*c - 3*l + 30 for c.
4
Suppose -89*l + 126*l = 296. Solve -4*h = 5*k + 40, 3*k + 5*h = -l - 29 for k.
-4
Let n be 2310/1848 + (-246)/(-8). Solve n = -k + 5*b, 52*k - 34 = 54*k - 5*b for k.
-2
Suppose u + 332 = 4*u - 5*o, 3*u - 2*o - 338 = 0. Let v be (-4)/(-3)*171/u. Solve 0 = -v*m - 4*z + 5 + 3, -4*m - 2*z = 8 for m.
-4
Let n be (138/(-92))/((-3)/184). Suppose -10*s - 5*c = -7*s - n, -56 = -2*s - 2*c. Suppose 0 = 2*w - 9 - 1. Solve -z + w*f + 27 = 0, -4*f = -z - z + s for z.
2
Let l = 2537 - 2537. Solve -3*d - 9 = 4*p, 2*d + 6 = 2*p - l for d.
-3
Suppose -4*r = 3*u - 47 + 51, -3*u = r + 10. Solve -2*n + r*j + 4 = 0, n - 2*j - 4 = -0*n for n.
0
Let d be -1*(-15)/(-6)*(-11 + 9). Solve 5*a - d = -2*k, -43*a + 48*a - 30 = 3*k for k.
-5
Let j be (2 - 50) + (-19 + 3)/4. Let k be (j/(-8) + -7)/(2/48). Let b be (5/(-15))/(1/k). Solve -t = 4*p + 5 - 4, -b*t + 12 = 0 for p.
-1
Suppose -5*j + 56 = b, 0 = -45*b + 39*b - 24. Solve -w + 5 = 2*f, -3*f - 4*w + j = f for f.
2
Let u be (-27)/(-15) + -2 - 17/((-255)/348). Solve 3*h + 3 = -t, -4*h - u*t + 12 = -27*t for h.
0
Suppose 20 = 5*b, 2*v + 5*b = v. Let i be v/(-120) + (-5)/(-6). Let w = -7 + 12. Solve -3*h - 4*s - 20 = 0, h - w*s + i = 7 for h.
-4
Suppose -3*x = -x + 3*g + 18, 4*x + 36 = -2*g. Let o = -8 - x. Solve 12 = -3*z - 3*d, -4*d - o = z - 0*d for z.
-5
Suppose 1959 + 147 = 9*u. Let f = 239 - u. Solve f*v = 3*n + 22, -4*v = 4*n - 9*n - 28 for v.
2
Suppose -322 + 102 = -5*x - y, -x - 5*y + 20 = 0. Suppose 3*s - s = 96. Let q = s - x. Solve 0 = -2*a - q*a - v + 14, -3*v = -a - 10 for a.
2
Suppose 4*o - 57 = -q, 35 = 3*q + 5*o - 101. Suppose -58*k = -q*k - 84. Solve -d + 11 = -k*l, -8*l - 4*d = -4*l + 36 for l.
-4
Suppose -5*x = -c - 2*c - 24, -12 = 4*c. Let q(i) = -14 - 7 + x*i - 5*i + 1. Let u be q(-14). Solve -4*p - 20 = -3*y, -y + 3*p + u = p for y.
4
Let b(x) = 3*x**3 - 14*x**2 + 2*x + 23. Let m be b(6). Let s = m - 174. Solve -2*y + 8 = -3*d, -s*d + 4 = -0*d + y for d.
0
Suppose -4*x - 63*c + 61*c = -34, -5*c + 25 = 0. Solve 4 = -2*v - x, -5*k - v = -10 for k.
3
Let h(a) = -a**2 - 15*a - 35. Let f be h(-8). Solve i - f*c - 13 = -24*c, -5*c + 31 = 4*i for i.
4
Let g = -156 + 276. Suppose -25*v + g = -15*v. Solve -4*b = v, -3*b + 0 + 3 = 3*l for l.
4
Suppose 0 = 4*x - u + 24, -4*x - 3*u - u = 4. Let r be (((-408)/x)/12)/((-6)/(-15)). Solve 0 = -2*c + 3*j + 2*j - 23, 5*c = -j - r for c.
-4
Let f(u) = 80*u + 805. Let z be f(-10). Solve 14*x + 3*t + 6 = 12*x, -2*x + z*t + 10 = 0 for x.
0
Let n be (-10)/(-16) - (12 + (-23850)/240). Solve -m + 4 = 5*l, -3*l = -87*m + n*m - 2 for l.
1
Let b(l) = -8*l + 323. Let f be b(40). Solve 0 = -0*z - z + f*u + 2, 0 = -5*z + 3*u + 22 for z.
5
Let s = -7756 - -7802. Solve -s*t = -o - 45*t + 1, -o - 11 = -4*t for o.
5
Let q = 13 + -1. Let a(f) = 21*f**2 + 96*f. Let h be a(-5). Suppose -q*z + h = 9. Solve z*p = p, -10 = 5*k - p for k.
-2
Suppose 0 = -0*j - 7*j + 357. Suppose -10 = 5*l, -5*s + j = 4*l - 7*l. Suppose -s*h = -5*h - 8. Solve -2*o - h = 3*p - 3*o, o = 2*p for p.
-2
Suppose -4*r - 14 = 5*y, -8*y + 13*y + 46 = 4*r. Solve 3*j - 6*t - 12 = -r*t, -5*t = 3*j - 12 for j.
4
Let z(v) = 13*v - 182. Let n = -291 + 305. Let c be z(n). Solve -3*k + h - 10 - 5 = c, 2*k - h = -10 for k.
-5
Let o be ((-2)/(-4))/(((-30)/(-48))/5). Suppose u + 1 = -4*t - 1, -3*t = 2*u + o. Suppose t = 5*l + 1 - 21. Solve 4*j - 4 - 7 = p, 0 = -4*p + l*j - 20 for p.
-3
Suppose 5*j - 5*x = -1520, -7*j + 2*j - 1515 = -4*x. Let z = j - -307. Solve 2*m - 2*y = z, -m - 5*y = -0*y + 14 for m.
1
Let n be 352/48 + (-160)/48. Solve -8 = n*i + 4*v, -4 = i + 5*v - 10 for i.
-4
Suppose -258*k - 39 = -2*h - 259*k, 3*h + 5*k - 69 = 0. Solve 4*m + 7 = -17*q + h*q, -q + m + 1 = 0 for q.
-1
Let x = -4 + 6. Suppose -19385*p = -19386*p - 5*f - 30, -f = 2*p - 3. Suppose 15 = -h + 6*h. Solve -12 = h*g + 3*t, -x*g + 2*t = -3*g - p for g.
-3
Let q(r) = 29*r + 1015. Let w be q(-35). Solve -5*x - 4*m - 24 = 0, w = -x + 3*m - 1 for x.
-4
Suppose 4*j + 18752 = -4*x, -2*j = 58*x - 57*x + 4693. Let g be x/(-189) + 6/27. Solve 5*r = 15, -5*u - 2 = r - g for u.
4
Suppose -3*o - 4*s - 13403 = -789, -4*o + 5*s = 16829. Let g be o/(-42) + 1/(-7). Suppose g = 8*t - 100. Solve -5*m = -2*h + 59 - 24, 0 = h - 4*m - t for h.
5
Let p(z) = 6*z - 69. Let q be p(18). Suppose q*b - 51*b + 480 = 0. Solve -4*o - 5*h - b = -7*o, -4*h = 20 for o.
5
Suppose -y + 10 = -4*q - 6*y, 0 = -5*y - 10. Let i be -4 - (q + 2 + -8). Suppose 2*s - 7 = 1. Solve -2*m = s*f, i*m = -2*m + 2*f - 10 for m.
-2
Suppose -71*z = -73*z, -3*t - 5*z + 36 = 0. Solve 0 = 2*f - 4*v - t, 3*f + 0*v + 14 = -2*v for f.
-2
Let j = -743 + 779. Suppose -217*q + 226*q - j = 0. Solve 5*g = c - 22, 5*g + q*c + 32 = g for g.
-5
Let t be -1 + -1*209*(2 - 1). Let h = t - -213. Solve h*q - 2*p = 4, -2*p = 5*q - 15 - 13 for q.
4
Suppose 41 = 3*f + 5*r - 104, f - 4*r = 20. Solve 14*j - 12*j = -5*b + 15, -f = -4*b + 4*j for b.
5
Let s be (-12 + (-73)/(-6))*(18 - 0). Solve s*o - 9 = -g, -1 = -g + 2*g - 2*o for g.
3
Let n = -8917 - -8921. Solve 0 = -n*t - 2*m + 8 + 16, 3*t - 28 = -4*m for t.
4
Let v be ((-6)/(-3))/(10/(-20)) + 280. Let h = v - 271. Solve 0*t + 2*t + 4 = 2*y, -2*t = -3*y + h for t.
-1
Suppose 5*m = -4*o - 8, -o = m - 11 + 14. Solve a - m = -4*h, 5*h + 0 = -4*a - 6 for h.
2
Let w = -1938 + 1945. Solve -1 = -w*m + 8*m - j, -15 = -m - 3*j for m.
3
Suppose -33 = -g - 5*u, 7 - 25 = 4*g - 5*u. Solve 4*a + 17 = -t, 0 = a + g*t + 3 - 7 for a.
-5
Let u be -11*((-270)/33)/6. Solve -13*l = -u*l - 2*h + 2, -5*h = l + 15 for l.
5
Let r(n) = 2*n**3 - 7*n**2 + 18*n - 5. Let o(x) = -2*x**2 - 41*x - 18. Let v be o(-20). Let s be r(v). Solve 7 = 2*w - 5*t - 3, t + s = -3*w for w.
-5
Let v(f) = 16 - 7 + 1 + 2*f - f + 0*f. Let d be 16/(-3) - (-4)/(-6). Let b be v(d). Solve -b*t - 2 = -3*z - 1, 4*z + 40 = -5*t for z.
-5
Suppose -4*f - 37 = k, -2*f - 34 - 2 = 4*k. Let w(y) = 28 + y + 7