t n = 2066 + -2047. Solve 3*v = n*v + 80 for v.
-5
Suppose -2*j = 2*j. Let x(r) = -3*r + 33. Let n be x(10). Suppose n*o - 87 + 27 = j. Solve 0 = 4*b - 8 + o for b.
-3
Let n = 2 + 11. Suppose 0 = -p + n - 8. Solve 5*g - p = 5 for g.
2
Let z(t) = t**2 + 3*t - 2. Let v be -8*3*2/(-12). Suppose -4*a + 2*a + 4*d = -v, -18 = 3*a + 2*d. Let j be z(a). Solve 18 = -4*c + j for c.
-4
Let j(y) = -y**2 + 8*y + 9. Let r be 83/9 + 14/(-63). Let i be j(r). Solve 4*l + i*l = -12 for l.
-3
Let p(c) = -c**2 - 35*c - 141. Let k be p(-30). Solve k*s + 0 = 36 for s.
4
Let y(v) = -v - 8. Let k(g) = 1. Let o(s) = -4*k(s) - y(s). Let l be o(-3). Let h be ((-16)/(-12))/(l/3). Solve j + h = -1 for j.
-5
Let d(q) = -q**2 + q - 4. Let g(h) = -h - 1. Let z(r) = -d(r) + 2*g(r). Let k be z(2). Let w = 1715 - 1707. Solve -w*x + 3*x = k for x.
0
Let o(l) = -l**3 - 3*l**2 + 24*l + 36. Let u be o(-6). Solve u = -g + 3*g + 8*g for g.
0
Suppose 0 = -2*f + 3 + 21. Let v(t) = -t**3 + 7*t**2 - 6*t + 6. Let h be v(6). Solve h*d - 3*d = f for d.
4
Suppose 4*a - 5*a = 0. Solve 2*u - 8 = -a*u for u.
4
Let q(m) be the third derivative of m**6/120 + m**5/12 + m**3/6 + 3*m**2. Let p be q(-5). Solve -n - 5 = -p for n.
-4
Suppose 7*h + a + 1 = 4*h, 3 = -5*h - 3*a. Suppose 0 = -h*b + 5*b. Suppose -j - 1 + 7 = 0. Solve 2*m + b*m + j = 0 for m.
-3
Let h(q) = -32*q - 1. Let n be h(-1). Let u = n + -31. Solve -3*k + 6 = -u for k.
2
Let f(u) = u**2 + 4*u - 7. Let w(l) = -l + 6*l**3 - 6*l**3 + l**3. Let m be w(-2). Let q be f(m). Solve -8 = -q*j + 3*j for j.
4
Let y = 393 + -385. Solve y + 1 = -3*t for t.
-3
Suppose 12*j - 9*j - 9 = 0. Let z(u) = u + 1. Let k be z(-6). Let i be -5*(j + 18/k). Solve b + i = 4 for b.
1
Suppose w - 9*x + 6*x + 31 = 0, x - 25 = w. Let j(g) = -2*g + 8. Let r be j(-8). Let h = r + w. Solve h*k + 12 = -2*k for k.
-3
Let i(l) = -l**3 - 6*l**2 + 9. Let f be i(-6). Suppose 15 = -5*w, -5*w = -2*m - 2*w + f. Solve m = 4*n - 1 - 7 for n.
2
Let a(l) = l**3 - l**2 - 21*l + 6. Let t be a(5). Solve t = f - 1 for f.
2
Suppose -4 = 5*h - 2*d, -5*d + 10 = 5*h - 0*h. Solve 7 = -7*m - h*m for m.
-1
Let o be (4/(-4)*0)/(0 + 1). Solve -i + 5 + o = 0 for i.
5
Let v(f) = 3*f**2 - 28*f + 56. Let u be v(7). Solve -2*t + u + 3 = 0 for t.
5
Suppose 0 = -4*w + 2*r + 8, 0 = -5*w + 3*r + 4 + 5. Solve -7 - 2 = -w*j for j.
3
Let v(b) = b**2 + 10*b - 11. Let n be v(-11). Suppose 0 = -2*r + 62 + 16. Suppose -5*t = -2*q - 24 - 57, 3*t + 2*q - r = n. Solve -2*s - 3*s + t = 0 for s.
3
Suppose i = -18 + 21. Suppose -u + i*u - 2 = 0. Solve -4*y - u = 3 for y.
-1
Let w be 20/(-30)*126/(-4). Let s be 8/(-6)*w/(-14). Solve 4*z - 2*z + s = 0 for z.
-1
Let n be (-338)/(-18) + (-6)/(-27). Suppose -3*j - k = -12, k + n = 2*j - 2*k. Suppose 17 = 2*v + j. Solve -3*t = -v*t + 9 for t.
3
Let p(u) = u**3 - 3*u**2 - 3*u - 4. Let n be p(4). Let g be (n - -1)*(-1 + 2). Solve -o - g = -0*o for o.
-1
Suppose 490*b - 111 = -4*c + 495*b, 4*b + 132 = 5*c. Solve -3*h = -15 + c for h.
-3
Let g = 1153 - 1148. Solve 9*l + g = 41 for l.
4
Let t(k) = k**3 - 11*k**2 + 12*k + 11. Let v be t(11). Solve 21*g - 59 = -v for g.
-4
Let n = -43 + 77. Solve 4*i - 50 = -n for i.
4
Suppose -25*y + 20*y - 510 = 0. Let a = 106 + y. Solve a*t + 4 + 4 = 0 for t.
-2
Suppose -3*y + 27 = -0*c + 3*c, 2*y + 4*c - 26 = 0. Suppose 0 = f - y*f + 12. Solve 0 = -f*q - q for q.
0
Let o(x) = 20*x + 389. Let g be o(-17). Solve g = -9*c + 4 for c.
-5
Let x = 0 - -5. Suppose 0 = p - 3 + 1. Suppose p*g - x*s - 29 = 0, 2*s = -g - 0*g - 8. Solve y - g = -0 for y.
2
Let w(k) = -2 + 2*k**2 - k**3 + 5 + 0*k**3 + 8*k. Let n be w(4). Solve n*v = 2*v + 5 for v.
5
Let g(c) = -c - 2. Let t be g(-2). Suppose t = d - 4*x - 22, -2*x - 4 = 2*d + d. Suppose -4 = d*o - 4*o. Solve o = -0*l + l for l.
2
Suppose -12 = -2*h - 2*m, 0*m - m = -4. Suppose 3*x + h = 11. Solve -x*u = -u for u.
0
Let r = -122 - -122. Solve 6*c - 2*c = r for c.
0
Let o(x) = -96 + 183 + x - 95. Let f = 7 - -4. Let m be o(f). Solve v + m = -0*v for v.
-3
Let q be (-3 - -2)*-43*3. Let s = 137 - q. Solve -4*l + 0 = s for l.
-2
Let o = -38 - -27. Let d = -9 - o. Let y be (21/(-63))/(d/(-48)). Solve 4*f + y = -12 for f.
-5
Let q = -24 + 26. Suppose 3*r = 4*m + 2 + 2, 0 = -m + r - q. Solve -2*i + m = 4 for i.
-1
Let a = 0 - -15. Suppose -18*g + 308 - 236 = 0. Solve -g*n - a = n for n.
-3
Suppose 3*f - 50 = 3*b - 11, 4*b = -20. Solve -5*x - f = -7*x for x.
4
Let i be (-111)/(-6) - 15/(-10). Let z = i + -16. Suppose -y - 28 - 48 = -5*s, 0 = 2*y + 2. Solve -z*c - s - 5 = 0 for c.
-5
Suppose -3*d = 5*f + 29, 3*f + d - 7 = -26. Let h(v) = v + 14. Let z be h(f). Suppose -4*c + 17 = -z. Solve 0 = m + m - c for m.
3
Let q = 976 - 946. Solve -5*g - q = -5 for g.
-5
Suppose -5*j - 6 - 9 = 0. Let s = j + 7. Let c be ((-4)/(-12))/(3 + (-179)/60). Solve 0 = -0*z - s*z - c for z.
-5
Suppose 0 = 56*f - 37*f - 532. Solve 36*v + f = 43*v for v.
4
Let p = 0 + -6. Let i be p/(-3)*22/4. Suppose i = q + 2*s, -5*q + 5*s = 6*s - 10. Solve z + 0 = -q for z.
-1
Suppose -13 - 23 = -12*j. Suppose -5*x = -2*x - 18. Let a = 9 - x. Solve -j = a*c - 0*c for c.
-1
Let v(o) = 2*o**2 - 14*o + 18. Let a be v(6). Suppose 0 = 3*d - 24 - a. Solve d + 2 = -4*c for c.
-3
Suppose -5*d = -3*y + 3, -3*y + 2*d = -4 + 1. Suppose 2*h = -h. Let w be h/(1 + -2 + 0). Solve y = -m - w for m.
-1
Suppose -3*x - 12*p = -15*p - 6, -x = 3*p - 10. Solve -10*w + x*w = 12 for w.
-2
Let n(w) be the second derivative of -7*w**3/3 - 28*w**2 + 25*w. Let m be n(-4). Solve m = -k - 3 for k.
-3
Let q = -57 + 61. Let k(i) = i**3 + 2*i**2 + 2. Let h be k(-2). Let w = q - h. Solve 0*n + 8 = w*n for n.
4
Let r = -209 - -213. Solve r = 8*q - 7*q for q.
4
Suppose 0 = y - 1, 2*f + 0*f = 5*y - 101. Let g = f + 48. Solve -2*z + 0*z = g for z.
0
Suppose -44 + 1 = s. Let x = 43 + s. Solve x*r = -2*r - 2 for r.
-1
Let h(v) = -21*v**2. Let g be h(-1). Let p = 32 + g. Let r(k) = k - 10. Let s be r(p). Solve 5 = n + s for n.
4
Let y(w) = w**3 - w**2 - 5*w + 9. Let s be y(4). Let r = -33 + s. Solve -8*o = -r*o - 12 for o.
3
Suppose -4*h + 0*x = -4*x + 4, -3*h = 4*x + 17. Let u be 8/h*(-9)/12. Solve u*d + d + 6 = 0 for d.
-2
Suppose 5*k = 4*k + 3. Let d = k + 2. Suppose 0 = 3*n - d*z - 65, -2*n + 3*z - 57 = -5*n. Solve -4*y - n = y for y.
-4
Suppose -10*w = -15*w - 5*h + 10, 10 = 5*w + 2*h. Let g(x) = 10*x**3 + x - 1. Let l be g(1). Solve -w*o - 3*o = -l for o.
2
Let n(p) = 4*p**2 - 1. Let a be n(1). Suppose -w + 7 - a = 0. Solve 2*j - 4 = w*j for j.
-2
Let w be (1 - -1 - 3) + 4. Suppose -w = 5*v - 6*v. Solve -b = -v*b + 4 for b.
2
Suppose -13*a = -19*a + 30. Solve 0 = 4*i + a - 1 for i.
-1
Let r(y) = y - 12. Let d be (-17)/3*-3 + -3. Let f be r(d). Let x = -65 - -73. Solve 0 = -0*c + f*c + x for c.
-4
Let l be 5 + 0 + (-14 - -10 - 1). Solve 8*r - 8 + 0 = l for r.
1
Let l(t) = -t**2 - 3*t + 5. Let q be l(-4). Let x(r) = -r + r + 2*r - 3*r + q. Let m be x(-1). Solve m = 3*w - 1 for w.
1
Let k = 139 - 135. Suppose -4 = -b, -a - 3*b = 2*b - 46. Suppose k*m - 2*t - a = 0, -2*t = 4*m - 6*t - 32. Solve 4*h + 3 = -m for h.
-2
Suppose 2*y + 1 = -3*m - 1, 2*m + 4*y = -12. Suppose -17 = -m*c + 1. Solve 0 = 2*v - 3 + c for v.
-3
Let p = -1 + 4. Let l = 7 - 4. Solve -2*v - l = p for v.
-3
Suppose -t + 13 = -4*i, -4*t + 5*i = 4*i - 22. Let r(n) = -3*n - 6. Let x(q) = 1. Let o(b) = r(b) + 4*x(b). Let j be o(-2). Solve -j*y + t = -5*y for y.
-5
Suppose 316 = 3*u - 83. Let s = u - 129. Solve -s = -4*m + 12 for m.
4
Let q = -1 + 7. Let k be (320/(-120))/(4/(-6)). Solve q*s = k*s for s.
0
Let z(p) = -9*p + 28. Let m be z(-13). Let f = m - 81. Suppose -24 = 2*k - f. Solve -5*b + k = -b for b.
5
Let x(q) = q**2 - 9*q + 10. Let o be 5/((-4)/(-6)*(-21)/(-28)). Let u be x(o). Solve -4*b = b + u for b.
-4
Let t(i) = -i**2 + 56*i - 197. Let h be t(52). Solve h = 3*n - 1 for n.
4
Let c = 6 - 16. Let w be (-14)/(-35) + (-26)/c. Suppose w - 24 = -7*j. Solve -j = -4*l + 9 for l.
3
Suppose 0*y - 10 = -2*y. Suppose 2*z - 173 = -y*t, 6*z - 5*z + 62 = 2*t. Suppose 0*g + 40 = 5*g. Solve -t + g = -5*x for x.
5
Suppose -5*v + 2*f = -185, 6*v - 3*f = v + 180. Solve -v = -2*r - 29 for r.
5
Let h = 159 + -154. Let m = 58 + -22. Suppose 0 = 3*r + 6 - m. Solve -h*n + 20 = -r*n for n.
-4
Let p(a) = a**3 - 17*a**2 + 31*a - 12. Le