2. Let t = 5 - z. Suppose 2*r + 3 = 2*m - m, -t*m + 17 = -3*r. Solve -r = -5*g - 16 for g.
-3
Suppose 20 = -3*l + 80. Suppose -3*s + 14 = 4*t - 21, -s + 5*t = l. Suppose 4*c + 4*x - 44 = 0, -s*c + 4*x - x = -39. Solve -2*h + c = h for h.
3
Suppose 0 = 14*j - 86 + 2. Suppose j*p - 4*p = 50. Solve p = -8*y + 3*y for y.
-5
Let a(b) = -3*b - 43. Let v be a(-17). Suppose 3*w + 3 = 15. Solve -w*h = -4 + v for h.
-1
Let w be 1/(404/100 - 4). Suppose -4*f = -w + 9. Solve f*u - 25 = -u for u.
5
Let d = 10 - 24. Let m = 17 + d. Suppose 0 = -4*t - 2*c + 5*c + 31, 0 = -2*t - m*c - 7. Solve 4 = t*l - 0 for l.
1
Let g = 1 + 1. Let a(q) = -q**2 - 12*q - 19. Let u be a(-3). Suppose 0 = -z - 4 + 10. Solve -g*j + u = -z*j for j.
-2
Let j(g) = -g**3 - 12*g**2 - 12*g - 9. Let i be j(-11). Let u(a) = a**2 + a - 6. Let p be u(i). Solve p = -k - 0*k - 1 for k.
-1
Suppose -5*u - 10 = -0*u. Let m(f) = -2*f**3 - 2*f**2 + f. Let z be m(u). Solve 0 = z*x - 2*x for x.
0
Let w be (-2 - -6) + (-12)/6. Suppose -2*g - 2*l = -6, w*g + 2*l = 3*l + 6. Suppose 0*d = 4*d - 3*z + 1, 0 = -5*d + z + 7. Solve g*i + 25 = -d*i for i.
-5
Let x be 12 - (4/(-14) + 160/70). Let w(p) = -2*p + 22. Let a be w(x). Suppose 4*z + 0*z - 3*o = 13, 2*z + 4 = -2*o. Solve -k + z = a for k.
-1
Suppose 4*a + 172 = -5*j, -3*a + 78 = -2*j - 0*a. Let d be j/(-27)*(11 + 1). Solve 2*m - d = -2*m for m.
4
Suppose -3*n + 23 = n + 5*t, 0 = -3*n + t + 22. Let j be 2/(-1) + (n - 5). Solve j = -2*x + 6*x - 12 for x.
3
Let h(m) = m - 5. Suppose 0*c = c - 9. Let n be h(c). Solve -n*g = -g for g.
0
Let j(f) = -f - 36. Let d be j(0). Let z be (-81)/3 - 3 - 3. Let x = z - d. Solve u + x*u - 16 = 0 for u.
4
Suppose -4 = 3*c + 5. Let r be -2 - (-3 - c) - -6. Solve 0 = r*a - 4 - 16 for a.
5
Let n be (-1 + -8)*18/(-27) - -1. Suppose 6*g - 4*g - 60 = 0. Suppose 0*m = 2*m - g. Solve -2*u = -n*u + m for u.
3
Let b(g) = g**3 + 13*g**2 + g + 23. Let i be b(-13). Suppose 4*f = 2*o + 32, 3*f = -i*o + 5*o + 24. Let h be 1/(1/3) + 0. Solve 4 = h*s - f for s.
4
Suppose -2*n + 29 - 23 = 0. Solve -5*j + 8*j = -n for j.
-1
Let g(d) = -d**3 + 4*d**2 + 4*d + 24. Let x be g(5). Solve -28 = 26*n - x*n for n.
-4
Suppose -2*t + 58 - 256 = -5*n, 0 = -n - 5*t + 45. Solve n = 8*v - 0 for v.
5
Let z(h) = 2*h**2 + 4*h + 2. Let c be z(-2). Solve -3*b + c*b + 1 = 0 for b.
1
Let a(q) = -33*q + 235. Let m be a(7). Solve -m*k + 15 = k for k.
3
Let y(t) = t + 2. Let k be y(2). Suppose -4*v - 3 = -u - 1, -k*u + 8 = -4*v. Suppose -5*a + 15 = -3*j, j + j = v. Solve -a = d + 2 for d.
-5
Let i(q) = 6*q**2 + 5*q - 16 + 3*q**2 + q**3 - 11*q - 2*q**3. Let x be i(8). Solve x*o = 5*o for o.
0
Let d be (-40 + 8)/(1/4). Let n = d - -131. Solve n*g = 6 + 6 for g.
4
Let t(d) = 3*d**2 - 9*d + 15. Let y be t(3). Suppose f + 1 = 3. Solve -f*o = o + y for o.
-5
Let s(j) = -3*j**3 - 3*j**2 + 2*j**3 + 94*j - j**2 + 17 - 91*j. Let c be s(-4). Solve o - 4 = c*o for o.
-1
Let x = 233 - 223. Solve 4*u + x = 2 for u.
-2
Let q be 2/(-5)*(-70)/56*0. Solve 5*v - 2*v + 12 = q for v.
-4
Suppose -466*y + 467*y - 8 = 0. Solve 0 = y*p - 6*p - 8 for p.
4
Suppose 73 = c - 3*n, 17*n = 21*n. Solve 18 = -67*p + c*p for p.
3
Let g = -6 - 2. Let z be (-2)/5*(g + -2). Suppose 0 = -29*n + 30*n - z. Solve 25 = -n*k - k for k.
-5
Suppose -7*q - 263 = -319. Solve q*d = 14*d + 24 for d.
-4
Let w(r) = -r**3 - 8*r**2 + 8*r - 2. Let g be w(-9). Let k = 80 + -77. Solve g = -k*s - 2 for s.
-3
Let p be 37 + (45/135)/(2/(-42)). Solve p = -8*d + 22 for d.
-1
Suppose -19*w = -35*w + 26*w. Solve w = 78*v - 79*v + 5 for v.
5
Let y = 299 - 293. Solve -5 = y*w - 5*w for w.
-5
Suppose 7*u = 14*u - 28. Solve p - 3*p = -u for p.
2
Suppose 3*i - 11 + 5 = 0. Suppose 0*q - 4*v + 8 = i*q, -2*q - 3*v = -6. Let u(o) = -o**3 + 6*o**2 + 5. Let s be u(6). Solve q*m = m - s for m.
5
Let d(a) = -a**2 - 7*a - 10. Let m be d(-5). Suppose 3*v - v = m. Suppose -5*f + v*f - 30 = -5*h, 2 = h + f. Solve -u - 25 = h*u for u.
-5
Let v(o) be the first derivative of -o**3/3 + 7*o**2/2 - 2*o + 3. Let m be v(6). Suppose -l + 15 = m*l. Solve l*u - 2 = 2*u for u.
2
Let m(p) = -12*p - 163. Let x be m(-15). Solve -x*v = -7*v + 10 for v.
-1
Let x(f) = 2*f**2 - 10*f + 8. Let s be x(7). Let p = s - 36. Solve -5*c + 7 + 8 = p for c.
3
Suppose 0*p - 3*p = 0. Let r be 0 - 5/10*p. Solve -3*t + 8*t + 10 = r for t.
-2
Suppose -3*d = -3*n + n - 811, 4*d - 1086 = 5*n. Suppose -15 = -4*u + d. Let t = -51 + u. Solve -5*z + 0*z - t = 0 for z.
-4
Suppose -6*l + l = 4*r - 39, -2*r + l + 9 = 0. Solve -5*k + r*k = -3 for k.
-3
Let l = -494 + 497. Solve 0 = -n + 1 + l for n.
4
Let m(n) = -n**3 + 20*n**2 - 36*n + 7. Let l be m(18). Let q = -1 + -3. Let b = l + q. Solve 0*r + b*r = 3 for r.
1
Let m = 14 + -10. Let d be (-1)/18*594/132*-12. Solve m*r - 7 = -d for r.
1
Suppose 4*u - u = 30. Let t = -7 + u. Suppose 3 = 3*r + 4*m, -5*r - 5*m + 5 = -2*m. Solve -r + 4 = t*q for q.
1
Let z(k) = k**2 + 5*k + 1. Let f be z(-7). Suppose f*r - 30 = 45. Solve 5*p + r = -20 for p.
-5
Let m(n) = n**2 - n - 1. Suppose -8*c = -4*c - 4. Let r be (c + (-6)/3)/1. Let l be m(r). Solve o + 6 - l = 0 for o.
-5
Let j be (105/5)/3 + 3. Solve -j*v + 4*v = -30 for v.
5
Let a be (-65)/(-20) - (2 - (-7)/(-4)). Suppose -5*s = -3*s. Let t(y) = y - 7. Let g be t(7). Solve r + g + a = s for r.
-3
Let f be (-53)/(-2) + (-4)/8 + 0. Solve 3*c + 38 = f for c.
-4
Suppose 4*p + 142 = 34. Let a = p + 24. Let c = 4 + a. Solve 0 = -h + c + 1 for h.
2
Suppose -13*d + 11*d = 0. Suppose 0*a + 3*a - 6 = d. Let t be a/8 - (-33)/12. Solve 0 = -h - t*h for h.
0
Let y(n) = n**2 + 11*n + 1. Let s be y(0). Let j be 2/2 - (0 + 1). Solve -p + j = s for p.
-1
Let s(c) = -c**3 - 10*c**2 - 8*c + 22. Let r be s(-9). Let v be r - 9 - (2 - -2). Solve 2*m - 3*m = v for m.
0
Let f = 22 - 10. Let n = f - 12. Solve n*a = -2*a - 8 for a.
-4
Suppose -5*m = m. Solve m = 4*u - 2*u + 8 for u.
-4
Let j(i) be the third derivative of i**6/120 - 7*i**5/60 - 19*i**4/24 + 2*i**3 - 15*i**2. Let d be j(9). Solve d*c - 26 = -11 for c.
5
Let r(t) = t**3 - 4*t**2 + 9*t - 2. Let u be r(2). Solve 0 = 4*f + 24 - u for f.
-4
Let y be -11 + 0 - (2 + -4). Let b = y - -21. Suppose 5*f = -f + b. Solve f*a + 3*a - 15 = 0 for a.
3
Let s(l) = l**3 - 2*l**2 + 4*l. Let f(q) = -2*q**3 + 5*q**2 - 8*q + 1. Let o(i) = 3*f(i) + 5*s(i). Let n be o(4). Solve -z - n*z = -20 for z.
5
Let i(y) = y**3 - 6*y**2 - 9*y + 4. Let d be i(7). Let r(j) = -2*j**2 + 17*j - 5. Let w be r(9). Let s = d - w. Solve 3*n - s*n + 3 = 0 for n.
3
Suppose 16*l = -3*l + 57. Solve -l*x - 20 = 2*x for x.
-4
Let b = -62 + 77. Solve 3*i - b = -6 for i.
3
Let t(o) = 2*o**2 + o - 1. Let g = 6 - 4. Let c be t(g). Suppose 2*d = -c + 13. Solve 0 = 5*s - 8 - d for s.
2
Let a = -355 - -358. Solve a*f = 6*f + 3 for f.
-1
Let t(j) = 13*j - 50. Let i be t(6). Solve 0 = -8*x - i - 4 for x.
-4
Let v = -33 + 84. Let z be (2 - (-3 + v/(-3))) + -2. Solve 5*h + z = -0*h for h.
-4
Let r(j) = -3*j - 61. Let i be r(-21). Suppose 0 = i*a + a - 15. Solve u = a*u for u.
0
Let g = 26 - 20. Suppose -g = -6*v + 4*v. Solve -v*b = 1 + 2 for b.
-1
Let i = 70 - 54. Solve -26 = 2*n - i for n.
-5
Let o be (-2)/(-10) + 134/5. Suppose 4*m - 13 = o. Solve -m = -16*y + 11*y for y.
2
Let f(y) = -3*y**3 - y**2 - y - 1. Let w be f(2). Let t = w + 35. Suppose -s = o - 4, -s = -o + t*s + 4. Solve -o = -2*r + 6 for r.
5
Let l = -20 - -20. Suppose -8*r + 15 + 25 = l. Solve 3*k - 8*k = r for k.
-1
Let k be -4 + (-4 - 25) + -3. Let z = k - -39. Solve -10 = -z*j + 8*j for j.
-2
Let z be 504/270 + (-2)/(-15) - -4. Solve -7*g - z = -9*g for g.
3
Let r(g) = -g - 11. Let u be r(-13). Suppose 2*t = u*j + 8, t + j - 8 = -t. Solve t*d + 6 + 10 = 0 for d.
-4
Suppose -5*v + 111 = 3*f, -2*v + 4*f = -63 + 3. Solve 0 = p + 5*p - v for p.
4
Suppose -4*q + 5*q - 5*o - 3 = 0, -2*q = -5*o - 6. Let i be (15 + -11)*1*q/4. Suppose -3*f + 2 = -4. Solve -k + f*k = i for k.
3
Let n(i) = i + 21. Let z be n(-13). Suppose 3*l = 2*h - 6 - z, 4*l = 2*h - 16. Let u = 26 - 25. Solve -h*o = -7 - u for o.
2
Let d be 6/75 + 246/50. Solve 0*q + d = -q for q.
-5
Let g be 2/(-3)*15/(-5). Let r = 177 - 175. Solve 3*o - r = g*o for o.
2
Suppose -9*k + 96 = -147. Solve -31*y = -k*y - 20 for y.
5
Let x(t) = -2*t**3 - 2*t**2 + 8*t + 4. Let m be x(-3). Suppose -4*n 