- 20*v for v.
0
Suppose 20 = 5*x, 693 = 3*b + 2*b - 3*x. Suppose 0 = b*a - 137*a - 16. Solve -9 + 1 = a*i for i.
-2
Let k(d) = d + 3. Let y be k(0). Let c = -71 + 64. Let j be -8 - -11 - (c - -2). Solve l - y*l = j for l.
-4
Let l = 15825 - 15815. Solve -l*s = -21*s - 77 for s.
-7
Let k = -9325 + 9391. Solve -7 = -k*c + 67*c for c.
-7
Let m(j) = j**2 - 7*j + 8. Let w(n) = -n**2 + 8*n - 8. Let r(z) = -5*m(z) - 6*w(z). Let l be r(16). Solve -59 + l = u for u.
-3
Let f = -19860 + 19890. Solve -136*c = -126*c - f for c.
3
Let p(q) = 3*q - 21. Let j(l) = -l**2 - 4*l + 8. Let f be j(0). Let w be p(f). Solve w + 2 = -5*y for y.
-1
Let b = 0 - -20. Suppose -3*w - w = 2*l - 20, -3*w + l = -b. Suppose 0 = -2*t + u + 6, -2*t + w*u - 6 = 2*u. Solve 3*d = 10 + t for d.
5
Let r be (-126)/72*2/7*-6. Let p be (-26)/(-4)*(4 - 6/r). Solve -3*n - 2 - p = 0 for n.
-5
Let a(x) = x**3 + 16*x**2 + 16*x + 30. Let u be a(-15). Suppose u = 9*p - 48. Suppose -p*m = -8*m + 6. Solve v - 1 + m = 0 for v.
-5
Suppose -160*a + 4187 + 9293 = 3240. Solve -a = 162*y - 154*y for y.
-8
Let b be ((-1)/10)/(84/(-630)) + 1419/12. Solve b*j - 136*j = 51 for j.
-3
Let p(x) = 58*x - 129. Let u(o) = -117*o + 254. Let f(i) = -5*p(i) - 3*u(i). Let w be f(2). Solve -w*q = -6*q - 5 for q.
-5
Suppose -9 = -d - 2*d, u + d = 12. Suppose -5*v = -6 - u. Let b = 3 + 0. Solve -v = b*y - 2*y for y.
-3
Let j(r) = r - 11. Let b be j(17). Let g be 3 + -1 + b*2. Let f(x) = 3*x - 39. Let h be f(g). Solve t - 10 = h*t for t.
-5
Suppose -6*n - z + 3478 = 0, 305 + 285 = n - 5*z. Solve -600 = 5*x - n for x.
-4
Suppose -3*a + 35 - 6 = w, -w - 4*a = -32. Let t = 21 - w. Let g be (-2)/4*0*t. Solve 2*p + p = g for p.
0
Suppose -61*h + 269*h - 17856 - 29776 = 0. Solve -h = -97*r + 62 for r.
3
Let o be ((-88)/(-16) - 7)/((-1)/(-20)). Let n(c) = -8*c - 230. Let z be n(o). Solve 0*v = -5*v + z for v.
2
Let u = 4452 + -4422. Solve -38*v + 33*v - u = 0 for v.
-6
Let a(b) = 95*b + 611. Let c be a(-6). Solve -j = -c + 45 for j.
-4
Let v = 1551 + -1414. Solve 32 = 145*n - v*n for n.
4
Let l = -2905 + 2950. Solve -l*f + 40 = -140 for f.
4
Let x be (-3)/18*2 - (-10920)/819. Solve -x*n + 33 = 7 for n.
2
Suppose 0 = 35*z + 9*z + 6*z - 1000. Solve -39*d - z - 19 = 0 for d.
-1
Let q(t) = 84*t**2 + 8*t - 1. Let r be q(1). Let s be (-140)/(-65) - 14/r. Solve 5*z = -s - 13 for z.
-3
Suppose y = -5, -4*m = -0*m + 4*y. Suppose -19 = -6*k + 3*k - 2*t, -m*k = -2*t - 21. Let v be (-4 + 13 - k) + -1. Solve -v*z + z = -10 for z.
5
Let n be -1 - (11/((-88)/24) - 3). Solve 7*u - 36 = -n*u for u.
3
Let g(z) = 71*z**2 - 1. Let j be g(-1). Let c be (j/30)/((-1)/(-3)). Suppose y + 3 = c. Solve -4 = y*s - 24 for s.
5
Let c(f) = -f**3 - 22*f**2 - 56*f + 17. Let y be c(-19). Let o be -2 + (y - -8) + (6 - 7). Solve -o*p + 9*p = -30 for p.
-5
Suppose -25*f - 27*f + 49*f = -27. Solve 123 = -33*z - f for z.
-4
Let m(o) be the first derivative of o**5/20 - 3*o**4/4 + 5*o**2/2 + 21*o + 6. Let i(r) be the first derivative of m(r). Let d be i(9). Solve d*a = -5 - 5 for a.
-2
Let d = 23481 - 23475. Solve -28 = -d*w - 70 for w.
-7
Let n(h) = 42*h + 1848. Let d be n(-44). Solve 9*s + 459 - 414 = d for s.
-5
Let w = 4481 - 4467. Solve 10*d - w = 46 for d.
6
Suppose 9 = -10*j + j. Let k(s) = 3*s**2 - 4*s - 3. Let y be k(j). Solve -5*m = y + 11 for m.
-3
Let f(y) = 13*y**2 - 70*y - 23. Let p(c) = -6*c**2 + 36*c + 12. Let h(x) = 3*f(x) + 7*p(x). Let l be h(14). Solve -4*g + l + 5 = 0 for g.
5
Let s(k) = -392*k + 10590. Let a be s(27). Solve -52*v + 46 = -a for v.
1
Suppose 27*i - 20 = -3*u + 26*i, 20 = -5*i. Solve -4*m = u + 4 for m.
-3
Suppose -3*p - 117*o = -119*o - 4, -28 = -5*p - 2*o. Solve 16*h - 24 = p*h for h.
2
Let p(h) = 25*h + 2581. Let s be p(-76). Solve 9*t + 681 = s for t.
0
Let h = -39932 - -39941. Let a(q) = -q - 3. Let z be a(-7). Solve -o + h = -z*o for o.
-3
Suppose 15*h = -35 + 50. Let o = 2 + 11. Suppose 4*i - 20 = 2*f, -i + 5*f + 10 = -o. Solve -2*v + h = -i for v.
2
Let b(n) = -7*n + 105. Let k(x) = 3*x - 48. Let l(t) = -3*t + 47. Let h(q) = 5*k(q) + 4*l(q). Let f(r) = -4*b(r) - 7*h(r). Let z be f(8). Solve z*j = -j for j.
0
Suppose -2*w - 16 = -0*w. Let t(r) = -6*r - 10. Let f(d) = -d - 1. Let g(n) = -10*f(n) + 2*t(n). Let m be g(w). Solve -m*y = -3*y for y.
0
Let d be -1 + 36/4 + 1. Suppose 73 = d*w - 44. Solve -w + 9 = -2*n for n.
2
Suppose 110*p + 74 = 113*p - z, 3*p + 5*z = 44. Solve -p*r - 7 = -53 for r.
2
Let h(u) = 2*u**2 + 34*u + 2. Let i be h(-17). Let r(p) = 3*p**3 - 3*p**2 + 2*p + 5. Let s be r(i). Let l be 259/s + (-3)/9. Solve b + l = -2*b for b.
-4
Suppose -8*x - 239 = -263. Suppose x*p = -2*p - 3*p. Solve p = -4*g + 2*g for g.
0
Let n = -869 + 883. Suppose 2*a + k - n = 0, 0*k = a - 2*k - 12. Solve -7*y = 5*y - a*y for y.
0
Let i(l) = -49*l**2 - l + 3. Let b be i(0). Suppose -2*v + 5 = -4*t - 7, -2*v - 9 = 3*t. Suppose -o + 4*m = -2*o + 30, -5 = -m. Solve b*j - j - o = v for j.
5
Let q(r) = -r**3 - 9*r**2 - 7*r + 6. Let f(l) = 5*l**3 + 46*l**2 + 36*l - 29. Let z(j) = 2*f(j) + 11*q(j). Let x be z(-6). Solve 5*h - x*h = 0 for h.
0
Suppose 51 = -5*s + 101. Suppose 9 = 3*g, 0 = -x - 12*g + 9*g + s. Solve -a = -2*a + x for a.
1
Suppose y + 4*b + 1 = -13, 5*y - 40 = 2*b. Suppose -34 - y = 2*i. Let w = 20 + i. Solve 4*k + 0 - 4 = w for k.
1
Suppose 0*z - 3*g - 6 = -3*z, -5*z + 2*g = -10. Let v(o) = -7*o**3 + 3 + 2*o - 4 - 4*o. Let a be v(-1). Solve -2 = z*l + a for l.
-5
Let p be (3/2)/(-7 - 93/(-12)). Let t = 318 + -316. Solve -x + p = t for x.
0
Suppose -24*z - 191 = -49*z + 309. Solve z*c + 22 = 9*c for c.
-2
Let g(i) = -i**3 + i + 5. Let o be g(0). Let j = 6418 + -6388. Solve o = 7*z - j for z.
5
Let a(v) = 2*v**3 - 12*v**2 + 3*v + 18. Let k be a(6). Solve -38*q + k*q = 0 for q.
0
Let n(k) = 5*k**3 - 3*k**2 + 2*k. Let w be n(1). Suppose 0 = f + 3*o - 11, -w*o + 3 = 2*f - 15. Solve f = l + 2 for l.
3
Let k = 58 - 78. Let v be (k/5 + 5*-2)/(-1). Let d be 0/(-1)*(-4 + v/4). Solve 6*m - 2*m - 12 = d for m.
3
Let i be 168/(-210)*(174/(-18))/((-2)/(-30)). Solve 105*a - i*a = 33 for a.
-3
Suppose 0 = 5*d - 5*b - 35, d - b + 5*b - 7 = 0. Suppose d*x = 12*x - 185. Let g = -34 + x. Solve 12 = -g*v - 3 for v.
-5
Let o(n) = 60*n + 1941. Let m be o(-32). Solve 6 = m*p + 90 for p.
-4
Let v = -28 - -42. Let h(o) = -v*o + 8*o + 3 + o**2 - 1 + 4*o. Let x be h(3). Solve 0*g = -x*g + 10 for g.
2
Let c be -2*(-3)/(-9)*3*-2. Suppose c*i - u = 19, 4 + 12 = 3*i + u. Solve -i*w - 11 + 1 = 0 for w.
-2
Let f be 8/1 - 16*7/28. Suppose 4*a + 40 = f*g, 4*a + 3 = -4*g + 19. Solve 4*x - 1 - g = 0 for x.
2
Suppose 0 = 5*y + 186*h - 183*h - 83, -3*y - h = -45. Solve y*q = 26 - 78 for q.
-4
Suppose -30 = -3*x - 0*x. Suppose 2*a - 1 = -f + x, -4*f + 14 = 3*a. Suppose 0 = d - a + 2. Solve 6 = 5*j - d for j.
2
Suppose 0 = -11*q + 7*q + 128. Let f(c) = 20 - 24*c - q*c + 54*c. Let y be f(9). Solve 0 = y*g + 2*g for g.
0
Suppose 2883 = -21*c - 3501. Let q = c + 306. Solve 7*i + q + 19 = 0 for i.
-3
Suppose -74 + 2024 = 13*k. Solve 0 = -9*n + 132 - k for n.
-2
Suppose -3*p = 5 - 2. Let f(g) = -g**2 - 4*g - 3. Let y be f(p). Solve 2*c + c = y for c.
0
Suppose -p = -5*p - 4*t + 632, 320 = 2*p + 4*t. Let o = -134 + p. Solve 17*c - 15 = o*c for c.
-3
Suppose -6*z - 4*z = 0. Suppose 0 = -2*o + o - 2*v + 15, 3*o - 4*v + 5 = z. Solve k = -2 + o for k.
3
Let h = -1 - -3. Suppose 0 = 4*c - 9*c + 30, 0 = 9*i + 2*c - 21. Solve t + i = h*t for t.
1
Let m = 144 + -121. Let a = 13 - 10. Let x = a + -3. Solve x = -4*v - 7 + m for v.
4
Suppose 5*l + 20 = 5*i, -i + l + 10 = 3*l. Let r be 195/78*8/10. Suppose 2 - i = -r*p. Solve -2*s = -s + p for s.
-2
Let i(x) = -x + 9. Let c = 18 + -50. Let d be 16/c - (-13)/2. Let a be i(d). Solve -3*w = -0*w + a for w.
-1
Let j = -341 - -340. Let v be 80/((-8)/2 + 5 - j). Solve 8*c = v - 0 for c.
5
Let m(o) = -4*o - 6. Let l be m(-3). Let p(s) = s + 0*s - l*s - s - 25. Let v be p(-6). Solve 3 - v = -4*q for q.
2
Let b = 27 + 19. Let t = b + -45. Suppose h = -3*h + 12. Solve -t - h = -4*z for z.
1
Let m(k) be the second derivative of 7*k**3/6 + 7*k**2 - 81*k - 2. Let q be m(-2). Solve 0 = 2*j - q + 2 for j.
-1
Let p(b) = -5*b**2 + 19*b - 7. Let s(f) = 4*f**2 - 19*f + 6. Suppose 0 = i + 4*i - 20. Let u(c) = i*s(c) + 3*p(c). Let m be u(19). Sol