v.
-2
Suppose -3*o + 25 = 4*u, -3*u + 4*o + 39 = 2*u. Let c = -2 + u. Suppose -3*x = -6*w + 3*w, c*x - 2*w = 9. Solve 6*d - 3 = x*d for d.
1
Let b = -319 + 389. Solve 2*f + b = -12*f for f.
-5
Let r be (4 + -7)*(-1)/1. Suppose z - r + 1 = 0. Solve -z = -w - 0 for w.
2
Let k(c) = 2*c**3 - 88*c**2 - 88*c - 88. Let i be k(45). Let r = 16 - -21. Suppose 2*n = -3*l - 0*l + r, l = 5*n + 35. Solve -i*w - l = -5*w for w.
5
Let b = -456 + 501. Solve b = x + 8*x for x.
5
Let u be 32 - (-1 + 2 + 1). Suppose -q - u = -5*d - 3, 0 = -4*q + 12. Solve -p = -d*p - 20 for p.
-4
Let l be 0 + (0 - 1) + 3. Suppose l*g - 6*g = -16. Suppose 212*y - 216*y = -80. Solve -g*w = w - y for w.
4
Suppose 20*k - 2*k = 0. Solve -9*i + 7*i + 2 = k for i.
1
Let b(c) = c**2 + 17*c + 1. Let u be b(-17). Let q(d) = 3*d**3 - d**2 + 2*d - 1. Let z be q(u). Solve 2*m + 9 = z for m.
-3
Let i = 92 + -88. Solve m + 12 = i*m for m.
4
Suppose 3*k - p - 16 = 0, 5*p = -3*k + 15 + 13. Solve -8 = -10*l + k*l for l.
2
Suppose 0 = 2*d - 3*d + 2. Suppose 2 = -d*n + l + 14, 4*n - 4*l = 28. Suppose i + 2 = 5. Solve -i*r + 10 = -n for r.
5
Let d = -43 - -45. Suppose 7 = -3*w - 4*t - 7, -2*t - d = 4*w. Solve 0 = -5*q - w - 3 for q.
-1
Suppose 0 = -7*q + 5*q - 72. Let g be (-48)/q + 28/6. Solve 10 = g*z - z for z.
2
Let h = -374 - -399. Solve c + h = 23 for c.
-2
Suppose 15*p - 9 = 6*p. Solve 9 = 2*m + p for m.
4
Let x be (-4320)/(-2295) + (-1)/17*-2. Let r(d) = -d + 10. Let c be r(10). Let n be 10 + 0/(-2)*1. Solve -n = x*v - c*v for v.
-5
Let p = 1 + 2. Let j(w) = w**2 - 16*w - 30. Let o be j(18). Let x be 24/16 + o/4. Solve -6 = p*u + x for u.
-3
Let n(a) = 2*a**2 + 22*a + 20. Let o be n(-10). Solve 0 = 2*s - o - 6 for s.
3
Let u be (6 + 5)/(4/48). Let m = 134 - u. Solve -m*z - 6 = -4 for z.
-1
Suppose 0 = -8*l + 13*l - 40. Let m be 5 - (5/(-1) + l). Suppose 3*s = 3*p - 15, -2*p = 4*s + 17 + 3. Solve p = 2*j - m + 10 for j.
-4
Suppose 0 = -o - 2*z - 8, 3*o - 7*z = -5*z - 40. Let l = o + 12. Solve 0 = -l*g - 4*g + 12 for g.
3
Suppose 0 = h + 5*z - 9 - 24, -109 = -4*h + 3*z. Solve -h = 6*f - 10 for f.
-3
Let d be 1/8 + 155/40. Solve 3*w - 16 = -d for w.
4
Let f be -1 + (2 + 2)/1. Suppose -f*l = -35 - 1. Solve -4*z - l - 8 = 0 for z.
-5
Let u(o) = o - 4. Let s(d) = 8*d + 54. Let y be s(-6). Let l be u(y). Solve -l*x + 6*x + 8 = 0 for x.
-2
Let c be (3 - 2)*(-36)/(-12). Let k be 7 + (-19 + c)/4. Solve -k + 13 = -2*y for y.
-5
Suppose -t - 4*t = 5*h - 35, -3*h + 11 = -2*t. Let s(f) = 1 + 1 - 82*f**3 + 83*f**3. Let z be s(-1). Solve -h*j - z = -16 for j.
3
Let i(o) = -11*o - 22. Let a be i(-4). Solve -10 = -6*v - a for v.
-2
Let s = -718 + 720. Solve -s*b = b - 4*b for b.
0
Let m = -103 - -132. Solve -16*u = -m - 3 for u.
2
Let x(k) = -4*k + 1. Let q be x(-4). Let i = -676 - -681. Solve -4*w - q = -i for w.
-3
Let a(i) = i**3 + 10*i**2 + 3*i + 8. Let w be a(-10). Let c = w + 22. Solve c = 4*n - 5 - 11 for n.
4
Let m be 5*2 + (4 - 1). Suppose -10*k - m + 173 = 0. Solve -3*u - u = k for u.
-4
Let l(r) = 32*r + 160. Let b be l(-5). Solve b = 2*w + 6*w + 24 for w.
-3
Suppose -2*b - 196 + 274 = 0. Solve -b = -17*a + 46 for a.
5
Let z(x) = -x**2 - 6*x. Let p be z(-3). Suppose 7 - p = -h. Solve h*o = -0*o + 8 for o.
4
Let b = -254 + 261. Solve 5 + 9 = b*k for k.
2
Let l(p) = p + 11. Let m be l(-8). Suppose -407 - 53 = 10*g. Let c = g - -48. Solve m*f + c*f = 20 for f.
4
Let z(o) = -o**3 + 10*o**2 - 11*o - 4. Let n be z(3). Solve -n = -5*l + 18*l for l.
-2
Let j be 1/(-4) + (0 - (-63)/12). Let s(p) = p - 1. Let c be s(j). Solve 9*w - c*w = 25 for w.
5
Suppose -3*p - 3*w + 375 = 0, 0 = -2*p - p + 3*w + 369. Let n = p - 121. Solve 0 = -2*a - n + 1 for a.
-1
Suppose 0 = -4*q + 29 - 9. Let n be 2/(-8) + q/20. Solve 2*l + 4 = -n*l for l.
-2
Let w be 10 + (-7)/((-21)/6). Suppose -3*h + 5*r - 24 = -5*h, -5*r = -4*h - w. Suppose 5*m + 4*d - 31 = 0, -h*m - d + 14 = d. Solve 0*a = -m*a for a.
0
Suppose 5*u = 5*b + 1400, 25*u - 2*b = 30*u - 1379. Solve 271*h = u*h for h.
0
Let x(m) = m**3 - 4*m**2 + 7*m - 6. Let q be x(4). Suppose q = 5*j + 12. Solve 2*f = -j*f for f.
0
Let f be -18*(238/63 + -4). Solve 0 = -f*u + 3*u + 5 for u.
5
Let f be (-4)/2 - 2*-6. Let d be 6*(-2)/((-12)/f). Let x be 248/279*((-17)/(-2) - (1 + 3)). Solve v + x*v = -d for v.
-2
Let x = -4 + 28. Let o be 4/(3*4/x). Solve -o*w - 25 = -3*w for w.
-5
Suppose -10*j = 5*j - 60. Solve 3*g = -5 - j for g.
-3
Suppose -4*q = -g - 14, 5*q = -4*g + 5 + 2. Suppose 0 = -w - q*w. Solve 25 = -5*n - w*n for n.
-5
Let m(t) = 8*t**2 + t - 1. Let s = 31 + -30. Let j be m(s). Solve 0 = 2*z + 2*z + j for z.
-2
Let v(j) = j**2 - 13*j + 43. Let m be v(5). Solve -m = -4*z - 11 for z.
-2
Let g be (-63)/1*16/(-24). Solve 7*l - g = -14 for l.
4
Let g(n) = -4*n + 28. Let z be g(8). Let q(s) = -s**3 - 3*s**2 + 4*s. Let l be q(z). Suppose 0 = 5*y - 15 - 10. Solve -y*a = -l*a - 5 for a.
1
Let h = -63 + 3. Let r = h + 60. Solve r = -3*w - 17 + 2 for w.
-5
Let a be -4 - -6 - -29 - 2. Let i be 1/(3 + a/(-10)). Let u = i + -10. Solve u = -3*o + o + 10 for o.
5
Let p(b) be the second derivative of b**3/6 + b**2 + 11*b. Let n be p(-1). Solve n = -3*y + 4 for y.
1
Let k(g) = -32*g**2 + 6 + 26*g**2 + g**3 + 2*g + 2*g - 5*g. Let j = 7 + -1. Let x be k(j). Solve x = -0*m + m + 4 for m.
-4
Let w be (-100)/8 + 6/8*-2. Let b be -14 - w - (0/(-1) + -3). Solve -9 = b*m - 3 for m.
-2
Let x = 211 + 149. Let p be 2/(-9) + (-8)/(x/(-145)). Solve -4*u + p = -13 for u.
4
Let y be (-54)/(-8)*(-6 + (-78)/(-9)). Suppose j = -y*j + 76. Solve -j = -8*a + 4*a for a.
1
Let d(r) = 2*r**2 - 11*r - 119. Let l be d(11). Solve -2 = l*i - 8 for i.
3
Suppose -5*x + x = -176. Let s = 44 - x. Solve s = -3*v + 2*v - 1 for v.
-1
Let c be 3/3 + 8 + 3. Let n be c*(0 + 3/9). Solve -n*h + 5 + 15 = 0 for h.
5
Let b(z) = -z**3 - z**2 - 2. Let q be b(-2). Suppose 3*i + 10 = -5*k, 4 = 3*i - 0*i - q*k. Let f be (-15)/(-6) - (-3)/(-6). Solve -n - n + f = i for n.
1
Let n = -249 - -257. Solve -n*t + 9*t = 4 for t.
4
Let v = 7 + -5. Suppose -15 = -5*f + 3*j, 2*f + 0*f + j = 6. Suppose f*b + 2 = -5*g, -2*g + 14 - 4 = 3*b. Solve 0 = 2*t - v + b for t.
-2
Let x = 103 - 155. Let u = x + 87. Suppose 15 = -2*a + u. Solve m - 6*m = a for m.
-2
Let h(p) = -p**3 - 4*p**2 - 3*p + 1. Let q be h(-4). Let g be (-1)/4 - q/(-4). Suppose -9 = -u - g. Solve m = -m - u for m.
-3
Let x(v) = v - 1. Suppose 2*c - 5 + 1 = 0. Suppose -q + 9 = c*q. Let i be x(q). Solve m = i*m for m.
0
Let m(v) = 86*v + 4. Let l be m(3). Let n be (-16)/(-152) - l/(-38). Solve n*a = 2*a - 25 for a.
-5
Suppose 3*p + 105 = 24*p. Solve 35 = p*u + 10 for u.
5
Let u = -785 + 869. Solve -u*w + 8 = -82*w for w.
4
Suppose -h - 77 + 23 = 0. Let k be 3/h*-58 - 8/36. Solve k*t - 8 = -t for t.
2
Let i(n) = 11*n**2 + 8*n + 3. Let q be i(-3). Suppose -73*r + q*r = 15. Solve r*d - 3 - 3 = 0 for d.
2
Let v(o) = 2*o**3 + 3*o**2 - 9*o + 3. Let i be v(-3). Solve 0 = i*u - 4*u for u.
0
Let y = 17 - -13. Solve -6*i + 0 = y for i.
-5
Let g(f) = -5 + 4 - 2*f - 2. Let u be g(-6). Let x = u + -5. Solve -2*w = -x*w - 8 for w.
-4
Let g = -11 - -18. Let j(c) = 10*c + 11 + 8*c - c**2 + 18 - 16*c. Let l be j(6). Solve -g*d = -2*d + l for d.
-1
Suppose -16 = 5*x + 64. Let a = -29 - x. Let l = 15 + a. Solve 3*d + l = d for d.
-1
Suppose -4*l = 3*h - 9, 3*h + 0*l - 4*l - 9 = 0. Solve 0 = 2*c - c + h for c.
-3
Suppose 0 = -5*m - 2*l - 34 + 85, 0 = 3*l - 9. Solve q + 50 = -m*q for q.
-5
Let r(m) = -m**2 - m + 5. Let f = 46 + -46. Let q be r(f). Solve 7 + q = 3*p for p.
4
Let b be 9*(4 - (-52)/(-12)). Let m be (18/30)/(b/(-30)). Solve -m*z = -2*z for z.
0
Let n(s) = -3*s + 12. Let l be n(6). Let j = 11 + l. Suppose z + 3*r = -z - 2, j*z - 4*r - 18 = 0. Solve 3*d + z = -1 for d.
-1
Let g(h) = h - 16. Let z be g(18). Let a = 28 - 24. Solve -z*f - a = 2 for f.
-3
Suppose 4*u + 4*m = 8, -2*m - 14 = -10. Solve -u*s + 6*s = s for s.
0
Let h(x) = -x**3 - 36*x**2 + 85*x + 346. Let u be h(-38). Solve 0 = u*j - j - 9 for j.
3
Suppose 5*z + 3*w + 3 = -7, -5*w = -5*z - 50. Let v be ((-10)/6)/z*54. Solve v + 2 = -5*m for m.
-4
Suppose 4*b = -3*q + 12, 2*q + 12 = -q. Solve 0*n + 3*n = -b for n.
-2
Suppose -3*q - 4*m = 93, q + 5*m = -0*m - 31. Let y = 37 + q. Solve k = -k + y for k.
3
Let p(s) = -s**2 + 2*s - 1. Let b