olve 0 = -v*y - y - 10 for y.
-2
Suppose 20*n - 4*r + 22 = 22*n, 5*n - 25 = 5*r. Solve -14*i = -n*i + 14*i for i.
0
Suppose 5 = -3*u - 1. Let q(l) = 3*l**2 + 2*l + 4. Let y be q(u). Solve 4*o + y = 32 for o.
5
Suppose 0 = 4*v - g + 3, -11*v = -14*v - g + 3. Suppose v = -10*q - 3*q + 156. Solve -7*z - 15 = -q*z for z.
3
Suppose -4*x + 6 = -2*u, -3*u - 7 = -4. Let j(y) = y**2 - y + 1. Let p be j(x). Suppose -4*a - 5*f = 12, -5*f - 22 = -2*a + 2. Solve a*m = p - 7 for m.
-3
Let h = 63 - 61. Suppose 23*g + 1 = 21*g - 3*q, 5*g = -q + 4. Solve 0 = -h*p - g - 5 for p.
-3
Let l = 17574 + -17482. Solve 19*b + 27*b = -l for b.
-2
Let a be (((-30)/(-9))/(2/(-3)))/(-1). Solve 2 + a = 7*c for c.
1
Let k be 4/(-36)*-225 - -12. Solve 0 = 16*z - k*z for z.
0
Let y(k) = 1042*k + 4200. Let u be y(-4). Solve -240 - 48 = -u*b for b.
9
Suppose 2*y = 2*g - 4*g - 482, 0 = 2*g - 2*y + 478. Let m = g - -161. Let s = m - -85. Solve 0 = -5*c + 4 + s for c.
2
Suppose -11*t + 77 = -11. Suppose -j + t*j = 21. Suppose 0 = u - j*u + 10. Solve -u*v = 2 + 3 for v.
-1
Let i be (-1)/6 - (-6)/36. Let s(a) = -2*a - 16. Let z be s(i). Let q = z + 18. Solve -q*b + 4 = -3*b for b.
-4
Suppose -28*o = 16*o + 147*o - 12415. Solve o*v = 46*v - 38 for v.
-2
Let f(c) = -6*c**2 - 39*c - 15. Let p be f(-6). Let i = -8 + 12. Let u be (-1 - -3)/(4/i). Solve -p*a + u = -10 for a.
4
Let p(y) = -y - 23 - y + 18 + 9. Let z be p(0). Let v be 2 + (0 - 2) + 1 + z. Solve 3 - 28 = v*l for l.
-5
Suppose 50*c = 42*c - 81*c. Solve -16 + c = -4*y for y.
4
Let n(c) = c + 17. Let t be n(-5). Let j be (15/t)/((-4)/(-16)). Suppose -5 = -j*p + 5. Solve -p*q - 1 = -11 for q.
5
Suppose 2*y + 3*v + 2 = 4, 5*y - v - 22 = 0. Suppose -y*a - 5 = 7. Let o = a - -18. Solve -5*k = -2*k - o for k.
5
Let p be (-5 - -4)/((-2)/(-196)). Let n = p - -62. Let x = n + 38. Solve -5 = x*j - 11 for j.
3
Let t(q) = -2*q - 16. Let n be t(-8). Suppose n = -2*y - 8*y. Solve y = -10*w + 7*w for w.
0
Let t = -120 + 155. Let p = t + -33. Solve 2*y = -p*y - 12 for y.
-3
Suppose 168*a - 7746 = -2034. Solve -a*f - 29 = 5 for f.
-1
Let l = -167 + 164. Let n(q) be the third derivative of -q**6/120 - q**5/15 - q**4/24 + q**3 - 2*q**2. Let g be n(l). Solve g*b + 4 = b for b.
4
Let o(b) = b**3 - 7*b**2 + 2*b - 10. Let y be o(7). Let f = 3170 - 3171. Let u be (-1 - (f - 1))/(-1) + y. Solve -u*v + 2 = -v for v.
1
Let l(p) = -2*p**2 + 11*p + 9. Suppose 13 + 11 = 4*b. Let x be l(b). Let t = 38 - 38. Solve t = 3*i + x + 3 for i.
-2
Let r be (-1 + 434/28)*2. Solve 8 = -25*z + r*z for z.
2
Suppose -2*n - 4*m + 778 = 0, 5*n - 1897 = 2*m + 72. Solve -n*o = -404*o for o.
0
Let d = 565 - 369. Let b = 197 - d. Solve -3*y - 5 = b for y.
-2
Suppose -13*r - 686 = -267 - 757. Solve -r*n - 37 - 197 = 0 for n.
-9
Let s = 33 + -30. Suppose -4*z + 8 = -2*n, 4*z - 4 = s*n - 0*z. Solve 0 = -2*p + n*p for p.
0
Suppose -6*a + 7*a = -5*a. Suppose -3*c + 12*c = a. Suppose c = 5*m - 5*r - 17 - 13, -2 = m + 3*r. Solve -m*z = z for z.
0
Suppose 5*g + 30 = 6*g. Suppose -14 + g = 4*m. Solve 3*c = m*c - 1 for c.
1
Let g be ((-99)/(-18) + -5)*(-50)/(-3)*15. Solve -g*p - 210 = -95*p for p.
-7
Suppose -276*k - 721 = -7382 - 791. Solve 0 = 59*s + k + 91 for s.
-2
Suppose n - 3*b = -7 + 17, 2*b - 16 = -5*n. Suppose 0 = -o - 4*g - 20, 3*o + 2*o + 20 = -n*g. Solve o = -f - 4*f for f.
0
Suppose -32*m - 119 = -35*m - 29. Solve -10*i + 0 - m = 0 for i.
-3
Suppose 7*n - 2*g = 2*n + 16, 2*n = -3*g + 14. Suppose y - n*y = -0*y. Suppose -31 = -5*x + 2*x + s, -4*x - s + 53 = y. Solve 5*u - x - 3 = 0 for u.
3
Suppose -74 = u - 13. Let a = -61 - u. Suppose a = -7*n + 2 - 2. Solve -q + n = 4 for q.
-4
Suppose 34*a - 39*a - 3*v = 534, -5*a + 3*v - 546 = 0. Let z be (-55)/((10/4)/(-5)). Let f = z + a. Solve -f*y - 15 = y for y.
-5
Let m = -1079 - -442. Let l = m + 643. Let w be (2/2)/(2 - 1). Solve -q + w = l for q.
-5
Let z be 20/5 + 3*4/(-3). Suppose z = n - 5, -n + 2 - 7 = -5*k. Solve -3 = k*f - f for f.
-3
Let n(g) = -g**3 + 3*g**2 - 2*g. Let m be n(2). Suppose 3*v - 4 - 11 = m. Suppose 0*k - v*p = -k - 8, 5*k - p = 32. Solve -k*a = -3*a - 4 for a.
1
Suppose -48 = -2*f - 2*f. Suppose -14*h = 58 - 16. Let t be (-1 - h - 1) + (2 - 0). Solve 0 = 3*d - t - f for d.
5
Suppose 5*h = -4*t + h + 4, 3*t + 4*h - 4 = 0. Suppose -3*p + 4*k + 154 = t, -3*k + 168 = -13*p + 16*p. Solve 58 - p = 2*g for g.
2
Suppose 0 = -73*i + 71*i + 176. Suppose 17*v - i = 13*v. Solve -17 = -t - v for t.
-5
Let f be 38 + -31 + 2/(-2)*4. Suppose q + f*v = 4*v, 4*q - 45 = -5*v. Solve -4*a = -q + 13 for a.
-2
Let r(d) = -d**3 + 4*d**2. Let x be r(4). Let c = 5 - x. Suppose q - 148 + 148 = 0. Solve q = l - c for l.
5
Let o(p) = 2*p**2 - 11*p - 15. Let i be o(6). Let s be 32 - -8 - -1 - i. Solve s = 5*g + 40 for g.
2
Let m = -16 - -21. Suppose -303 = m*o + 3*y, -3*y - 327 = 5*o - 6*y. Let l = o + 68. Solve l*g - g - 16 = 0 for g.
4
Let l be 4/(-2) + (-1 - -3). Suppose 252 + 45 = -99*y. Let c = l - y. Solve -c*k + 2*k - 3 = 0 for k.
-3
Suppose -37*z + 11*z = 0. Solve 25*m - 18*m - 21 = z for m.
3
Suppose 2 = -0*x + 2*x. Let o(w) be the third derivative of w**5/20 - w**4/4 + w**3 - 1653*w**2. Let y be o(x). Solve -y*g + 15 = 2*g for g.
3
Suppose 25 = -34*a + 39*a - 5*i, 4*a - 30 = -i. Solve -t - a*t + 40 = 0 for t.
5
Let g(r) = -40*r - 236. Let k be g(-6). Suppose 0 = -i - k*j + 14, 9*i + 2*j = 11*i + 2. Solve 5*s + 12 = i*s for s.
-4
Let p(x) = -14*x + 26. Let j(v) = 2*v - 1. Let w(n) = 6*j(n) + p(n). Let r be w(10). Solve r = 2*k + k for k.
0
Let i(d) = -d**3 - 18*d**2 + d + 20. Let a be ((-228)/16)/((-6)/8). Let w = -37 + a. Let l be i(w). Solve 6 - l = -4*t for t.
-1
Let x = 832 + -607. Suppose 11*s = 26*s - x. Solve -8*j + s = -3*j for j.
3
Let h(m) = 5*m + 130. Suppose 23 = -5*p - 97. Let z be h(p). Solve -16*f = -z*f - 12 for f.
2
Let a(u) = u**3 - 4*u**2 + 6*u - 5. Let p be a(3). Suppose -p*d - 107 = 37. Let l be 4/d*3*-15. Solve -l*j + 0*j = 25 for j.
-5
Let o = 4 + 0. Let m = 1298 + -1293. Solve 13 = o*n + m for n.
2
Suppose -7*m - 46*m = -89 - 1130. Solve m*q = 70*q - 47 for q.
1
Let j = -1516 + 1521. Solve 27 - j = 22*t for t.
1
Let u be (-4)/1 - (-21 + (-15)/(-3)). Let p(n) = 2*n - 14. Let y be p(u). Suppose 4*r - y = -2*o, 3*r - o - 25 = -10. Solve -2*k + r*k + 10 = 0 for k.
-5
Suppose 6*l + 9*l + 667 = 1987. Solve -6*n - 5*n + l = 0 for n.
8
Let q be 121/(-847)*0/1. Solve v - 12 + 11 = q for v.
1
Let v(i) be the second derivative of 0 + 4*i + 2/3*i**3 - 11*i**2. Let u be v(6). Solve 0 = -u*z - 0*z for z.
0
Let p(r) = -r**3 + 13*r**2 - 17*r - 1. Let x be p(10). Let c = x + -121. Solve 2*j - 6*j + c = 0 for j.
2
Let g = -86 + 80. Let n be (g/(-5))/((-18)/(-30)). Solve n*c = 3*c - 1 for c.
1
Let p = 3620 + -3584. Solve -19*k + 13*k = -p for k.
6
Let w be (36/(-8) - -6)*(-524)/(-6). Let u = w + -123. Solve 0 = -11*y + 7*y + u for y.
2
Let b(s) = -440*s - 3080. Let a be b(-7). Solve 17*o - 122 + 173 = a for o.
-3
Let o(d) = -15*d - 30. Let x be o(14). Let k be 54/10 - -12*8/x. Solve 0 = -k*p + 7*p - 10 for p.
5
Let o = -269 - -267. Let l = o + 6. Solve -l*k - 2*k = -18 for k.
3
Let j(t) = 30*t**2 + t + 2. Let h be j(-1). Let a = h + -11. Suppose -2*c - a = -7*c. Solve c*r = -r for r.
0
Suppose 0 = -4*z - j + 3205, -2*z + 5*j = z - 2421. Suppose -s - 798 = 2*q + 2*q, 4*q - s = -z. Let d be ((-6)/(-4))/((-15)/q*5). Solve r = d*r for r.
0
Let m(d) = -3*d + 21. Let a be m(-4). Let x(w) = a + 1 - w + 3*w - 63. Let z be x(17). Solve -3*o + z = -1 for o.
2
Let y(x) = x**3 - 5*x**2 + 9*x - 39. Suppose b + 2*i - 13 = 0, -b - 3 = 2*i - 4*i. Let l be y(b). Solve 9 + 9 = l*h for h.
3
Let m(c) = 3*c - 1. Let i be m(12). Suppose 0 = -5*q + 5*y + i, -6*y + 7 = 4*q - 3*y. Let b be (-106)/(-22) + -2*(-3)/33. Solve -b*g = q + 1 for g.
-1
Let f(t) = -4*t**3 + 8*t**2 - 3*t - 1. Let m(l) = -l**3 - l - 1. Let h(r) = -f(r) + 2*m(r). Let n be h(4). Suppose x = n*x. Solve x*b - 5*b = 0 for b.
0
Suppose 0 = -0*k - 34*k + 18*k - 31*k. Solve 20*q + k*q = -20 for q.
-1
Suppose 0 = 3*p - 6*p + 12. Suppose 36 = -z + p*z. Let y be 94/z + ((-7)/6)/(-7). Solve y = -0*l + 2*l for l.
4
Let y be (-38)/(-5) + 2/5. Let x(d) = -3*d**2 + 5*d - 6. Let f(j) = -j**2 + 2*j - 2. Let a(c) = y*f(c) - 3*x(c). Let n be a(0). Solve -h = -2 - n for h.
4
Let i = 31423