20*v - a*v - 6 = 0 for v.
-2
Let j(o) = -o**2 - 7*o - 10. Let y be j(-4). Suppose -5*g - 3*a + 12 = -2*a, 12 = 2*g - y*a. Solve g*n + 0 = 3 for n.
1
Suppose -5*i + 131 = -164. Suppose 193 + i = 21*b. Solve -2*w + 2 - b = 0 for w.
-5
Let k = 131 + -63. Let b = k - 64. Solve -2 - 6 = -b*a for a.
2
Let b(j) = -14*j + 2. Let k be b(-2). Let x(v) = 7*v**2 + 515*v - 3342. Let z be x(6). Solve 7*l - k - 5 = z for l.
5
Let i = 1797 - 1793. Solve -54*y = -56*y - i for y.
-2
Let y = -34402 - -34412. Let j be (-5 + 2)*-1 + 9. Solve -y*d - j = -2 for d.
-1
Suppose 39 - 49 = x. Let b(j) = -j**2 - 9*j + 10. Let p be b(x). Solve p = 16*y - 12*y - 16 for y.
4
Let c = -43 + 988. Let w = c + -941. Solve 8*m - 8 = w*m for m.
2
Suppose -3*o - 2*o = -4*n + 43, 0 = -5*n - 2*o + 62. Suppose -41*w = -32*w - 36. Solve w + n = -4*s for s.
-4
Let m(p) = -3*p - 6. Let x be m(-14). Suppose x = -6*t - 42. Let a = 13 + t. Solve a = 5*j - j - 4 for j.
1
Suppose -3*q + 1 = 2*u, 24*u - 21*u - 19 = -q. Solve 0 = u*j + 30 + 18 for j.
-6
Let x = 1475 + -1432. Solve -99 = 14*h - x for h.
-4
Suppose 0 = 24*f - 16*f - 80. Let g(u) = 3*u**2 - 36*u. Let r be g(12). Solve 2*m + f = -r*m for m.
-5
Let x(o) = -6*o - 4. Let y(m) = -m + 1. Let a(j) = 3*x(j) - 24*y(j). Let t be a(8). Suppose -2*i - 8 + t = 0. Solve -i*b - b = 15 for b.
-5
Suppose 40 = o + 9*o. Let m be (-1*(o - 8) - 6) + 10. Suppose m*w - 10 = 30. Solve -n - w = -4 for n.
-1
Let k(i) = -7*i + 265. Let z be 2/(-40)*-10*74. Let a be k(z). Solve 21*y - 24*y = a for y.
-2
Let c(i) = -i**3 - 41*i**2 - 50*i - 370. Let r be c(-40). Solve -2*m = -r*m - 112 for m.
-4
Suppose 535*r = -4*t + 536*r + 51, r + 12 = t. Solve 0 = -8*b + 43 + t for b.
7
Suppose 60*q = 325 - 145. Suppose -4*r + 16 = -4*w - 0, -4*r = -5*w - 14. Solve 0 = -q*j + r*j + 3 for j.
-1
Let d(c) = 2*c**3 + 41*c + 30. Let h be d(0). Solve 116*j = 111*j + h for j.
6
Let u be (0 - 2)*(-6)/((-84)/287). Let p = u - -53. Let i(a) = a**2 - 10*a - 21. Let k be i(p). Solve 2*b - 1 + k = 0 for b.
-1
Let z be (1500/16)/((-9)/48). Let n = z - -507. Solve -25 = n*b - 2*b for b.
-5
Let h be ((-4)/12)/((-1)/(-3))*18. Let q be ((-14)/(-3))/((-3)/h). Suppose o - 6 = -0*o + t, -5*o + 4*t = -q. Solve o*c = 2*c + 10 for c.
5
Suppose 0 = 5*b + 40 - 140. Solve -8 = -b*t + 28*t for t.
-1
Let s(f) = -f**2 + 8*f + 5. Let g be s(8). Let q(w) = -102 + 58 + g*w + 55 + w**2. Let x be q(-5). Solve -4*t = x + 5 for t.
-4
Let n(m) = 13*m + 53. Let o be n(-5). Let y be ((-40)/24)/(4/o). Solve y = -3*t - 7 for t.
-4
Let q(o) = o**2 - 5*o + 8. Let z be q(3). Let d be -4 + z + 6 + (-2 - -4). Suppose 5*j + 15 = 2*b, -38 = -4*b - 4*j + d*j. Solve -b = -i - i for i.
5
Suppose 5*n - 17 = 4*x, 2*x + 6 = 4*n - 10. Solve -x*u = -7*u - 15 for u.
-3
Let w = 28 - 26. Let r be (-4)/16*0 + w - -3. Suppose 12 = 3*i - 3*d, r*i + 0*i - 2*d = 23. Solve 0 = -2*m + i*m - 9 for m.
3
Suppose -6*n = 10*n - 144. Suppose 14*k - 10 = n*k. Solve 0*o + 4 = -k*o for o.
-2
Suppose -1445 = 13*v + 5*i, -v = -91*i + 94*i + 119. Suppose 0*o + 4*o = 5*n + 572, 3*o = -2*n - 215. Let p = v - n. Solve -5 = 3*h - p for h.
-1
Let h(b) = b**3 + 2*b**2 + 1306*b - 3914. Let q be h(3). Solve -q*s = -28*s for s.
0
Let s(j) = 57*j**2. Let x be s(1). Let c = 351 - x. Let p be c/35 - (-2)/(-5). Solve 4*u + p + 8 = 0 for u.
-4
Suppose 2 = -m, -4*k = 2*m - 68 - 112. Solve 2 = -k*s - 44 for s.
-1
Let f(p) = p**2 - 126*p - 653. Let x be f(-5). Suppose 10 = -5*r + 50. Suppose -8 = -4*b + r. Solve -b + x = -m for m.
2
Let z = -5 + 5. Let x = 9590 - 9586. Solve x*q + z = -4 for q.
-1
Let s = -1 + 4. Let r = 201 + -198. Suppose -r*t - 84 = -10*t. Solve -s*v + t - 3 = 0 for v.
3
Let h(j) = 47*j + 25. Let c be h(-4). Let n = c - -168. Solve n*k = 3*k - 6 for k.
-3
Let h be 2 + 8 - (3 - 4)*-1. Let n be (-4)/(-28) - 145/35. Let g be (n/(-8))/((-5)/(-2) + -2). Solve -h = -2*z - g for z.
4
Let x(k) be the second derivative of -k**5/10 - k**4/12 + 3*k**2/2 + 15*k + 6. Let r be x(-2). Solve -3*w + r = 2*w for w.
3
Suppose 0*k = -2*v - 3*k + 197, v + 4*k = 86. Suppose 0 = 5*p - v + 81. Solve 2*g = 1 + p for g.
3
Let z = 390 - 344. Solve 30*g - z + 16 = 0 for g.
1
Let r be -8 - (84/6 + -33). Solve -14*j + 17 + r = 0 for j.
2
Suppose 47*p - 37*p = 1530. Let u = p + -143. Solve 1 - u = -9*b for b.
1
Let k be (0 - 1)/((-71)/213). Suppose -3*s = -5*s + 4*q - 6, 3*s + k*q = 36. Solve -a - 30 = -s*a for a.
5
Suppose 0 = 5*y - 5*d - 135, -4 = 4*d + 8. Let f be (y/28)/(-4*(-4)/112). Let b = 3 + -2. Solve b - f = -5*a for a.
1
Let g(f) = -11*f**2 + 51*f - 14. Let a(p) = 4*p**2 - 17*p + 5. Let l(j) = -8*a(j) - 3*g(j). Let i be l(17). Solve 4*h - 6 = i*h for h.
3
Let u(f) = -646*f + 5249. Let v be u(8). Solve -73*i + 8 = -v*i for i.
-1
Let j(u) = 48*u**2 + 1005*u - 23. Let b be j(-21). Solve -3*n = b*n - 258 for n.
6
Let d(r) = 17*r - 12 - 14 - 116*r**2 - 24 + 115*r**2. Let c be d(11). Solve 2*x - c + 6 = 0 for x.
5
Let i(h) = h**3 - 2*h + 9. Let y(f) = f**2 - 14*f + 13. Let l = -14 - -27. Let v be y(l). Let r be i(v). Solve -2*g = 5 - r for g.
2
Let d(n) = -2*n - 8. Let c be d(0). Let b = -3 - c. Let s be (-16)/(-12)*(-9)/(-6). Solve b*a = s*a + 15 for a.
5
Let i = 4720 - 4640. Solve 38*v = 54*v - i for v.
5
Let l(s) = -s**3 - s**2 + s + 1. Suppose 0 = h - 3*h. Let d be l(h). Suppose 5*o = 3*f + 18, 0*o - 5*o + 2*f = -17. Solve -4*x - o - d = 0 for x.
-1
Suppose 54*p = 3*m + 52*p - 4, 5*p = -4*m + 36. Suppose -4*f - 5*y + m*y = -29, 0 = -2*y - 6. Solve -6*q = -f*q for q.
0
Suppose -3*c + 180 = -0*c. Suppose 4*p = -0*p + c. Let m = 4542 + -4542. Solve 3*b + 2*b - p = m for b.
3
Suppose -4*p + 2520 = 6*p. Let u = -242 + p. Solve u = -6*b + b for b.
-2
Suppose 4*h + 2*s = -3*s + 975, -5*h + 4*s = -1188. Let x be (0 + 1)/(24/h). Solve -x*o + 4 = -11*o for o.
-4
Let c = -460 - -195. Let s = -240 - c. Solve 0*p + s = 5*p for p.
5
Suppose 0*r = 11*r - 2*r. Suppose r = 4*v + 2*u - 44, -v + 23 + 6 = 5*u. Solve -v = -4*g + 7*g for g.
-3
Suppose -14 = 4*s - 62. Suppose s - 9 = 3*q. Suppose 3*z = -2*i + 11 + 4, -3*i + 24 = 5*z. Solve -z = -m + q for m.
4
Let k = -94 - -95. Let o be k*(0 + 0)/1. Solve o*m + m = 4 for m.
4
Let g = -152 + 156. Suppose g*o + u + 157 = 7*o, u = 5*o - 263. Solve o = 3*d + 47 for d.
2
Let v = 9 + -7. Suppose -104 = 3*h - 5*x, -h + v - 32 = 3*x. Let s = -33 - h. Solve -5*n + 3 + 7 = s for n.
2
Let h be (-1348)/(-9) - (-4)/18. Let x = -145 + h. Solve 0 = x*r + 2 + 8 for r.
-2
Let r(y) be the second derivative of 1/6*y**3 - 5/6*y**4 + 1/20*y**5 + 0 + 28*y - 3*y**2. Let t be r(10). Solve -2*k + 0 = t for k.
-2
Let g(c) = c**3 - 11*c**2 + 12*c - 20. Let h be g(10). Suppose -y - 12 + 18 = h. Solve 2*n - y = -0 for n.
3
Let r = 110 + -104. Suppose -80 = -r*c + 70. Solve 4*k - c = -k for k.
5
Suppose -3*i + 0*n = -3*n + 1521, 4*i + 2016 = n. Let y = -503 - i. Solve -13*h - h + 14 = y for h.
1
Let y be (-10)/(-14) + 20224/1792. Solve 26*u = y*u - 28 for u.
-2
Suppose 0 = -4*g + 4*c + 89 + 15, 0 = -g - 5*c + 56. Suppose 30*z + 111 = g*z. Suppose -z = -7*d - 34. Solve -9 = -5*w + d for w.
4
Let s(d) = 3*d**3 + 5*d**2 + 7*d + 2. Let w be s(-4). Let j = -128 - w. Suppose 2*l + 5*k + j = 0, -8*l + 24 = -4*l - k. Solve 4*g - 15 = l for g.
5
Let t = -2120 - -2146. Solve -3*q + 145 = t*q for q.
5
Suppose 2*b - 32 = -6*b. Suppose -b*l = l + 75. Let g be (-6)/(-4)*(17 + l). Solve -a = g - 1 for a.
-2
Suppose -8 = 2*s - 4. Let v(x) = -2*x**3 - 2*x**2 + 2*x. Let p be v(s). Solve -2*d + d = -p for d.
4
Suppose 13*z = -8*z + 441. Let m = 23 - z. Solve m*v = -13 + 9 for v.
-2
Let h = 166 + -119. Let k = -45 + h. Suppose -1 = k*a - l, -4*l + 12 = -3*a - 2. Solve 20 = 2*s + a*s for s.
5
Suppose -6*z + 769 = -4*z - 5*h, z = 4*h + 377. Let y = z + -390. Solve -4*d + 9 = -y*d for d.
-3
Let r be -5 + (53 - (-84)/4). Solve 0 = -r*q + 62*q + 56 for q.
8
Let m be ((-66)/(-330))/(6/8955) - (-1)/2. Solve 289*r - m*r - 80 = 0 for r.
-8
Suppose -2*i - 16*h = -12*h - 432, 2*i - 5*h - 351 = 0. Solve -216 = 6*v - i for v.
-3
Let l be 3 + (-2 - 9) + -50 + 58. Suppose 4*d - 10 + 2 = 0. Suppose -d*o + 7 = 1. Solve 0 = -u - l*u + o for u.
3
Let r = -17098 + 17151. Solve 0 = 49*z - r*z + 24 for z.
6
Suppose -2*j + 19 = -0*a - 3*a, -5*j - 15 = 5*a. Suppose -q - q - j = 2*p, q = -2*p. Solve b + 1 + p 