. Let s = v - -3. Solve -3*h + 0*h = s for h.
-1
Suppose -5*b - 2*h + 52 = 0, -3*b - 4*h = -b - 24. Solve -29*f - b = -19*f for f.
-1
Let v = 3 + 34. Let w = v + -34. Solve w = -3*n - 3 for n.
-2
Let r(l) = -l + 6. Let w be r(0). Let u = -1 + 4. Suppose -3*c = -u*z - c + 2, 0 = -2*z + 3*c - 2. Solve -w*p - 20 = -z*p for p.
-5
Let x(b) = -b**3 - 12*b**2 - 40*b - 19. Let o be x(-7). Solve 2*s - o = -2*s for s.
4
Suppose 2*s = -3*j + 10, s = 2*s - 3*j + 4. Suppose 10 = -2*n - 5*w, 0 = -2*n + s*w - 4 + 8. Let a be ((-2)/4)/((-1)/8). Solve 0*p - a*p + 4 = n for p.
1
Let g(f) = -9*f + 2. Let p(j) = -10*j + 2. Let x(z) = -6*g(z) + 5*p(z). Let w be x(1). Solve -v + 2*v = -w for v.
-2
Let h = 21 + -40. Let k = h + 9. Let m = k + 14. Solve -g + 0 = m for g.
-4
Let h = 1442 + -1307. Solve 7*s - 121 + h = 0 for s.
-2
Suppose 0*m = -4*m - 2*m. Let q be -20*(-3*1)/6. Solve m*t = 2*t - q for t.
5
Suppose -63 + 83 = -4*b. Let x be -5 + 5 - -1 - b. Solve h = -h - x for h.
-3
Let f(j) = -2*j**2 + 10*j + 6. Let v be f(5). Suppose -5*d + 14 + v = 0. Suppose 4*g - 8 = n, -2*n + d*n + 5 = -3*g. Solve -4*s - 19 = g for s.
-5
Suppose 116 = -3*i + 377. Suppose 90*x = i*x + 15. Solve -7 = x*d - 2 for d.
-1
Let i be (-26)/(-7) - 12/(-42). Suppose -2*b - 1 = -3*o - 2, -i*o = -b - 7. Suppose 39 = o*q - 3*l, 0*q - 29 = -2*q + 3*l. Solve -p = 4*p + q for p.
-2
Let b = -57 - -83. Let z = b + -26. Suppose -5*n + 4*n = z. Solve -2*c + n = -8 for c.
4
Suppose 68 = 3*c - 2*p, 55 + 21 = 3*c - 4*p. Suppose 3*o + 1 = x - 1, 5*x + 9 = -4*o. Let s be 3*o/3 + (-3)/(-3). Solve 3*f + f - c = s for f.
5
Let g = 144 + -141. Solve 2*s + 15 = -g*s for s.
-3
Suppose -2*x = 8*x - 270. Suppose 9 - x = -2*c. Solve 3*u = c + 3 for u.
4
Let z(w) = -7*w**2 + 9*w + 4. Let p(f) = 6*f**2 - 8*f - 3. Let d(k) = -6*p(k) - 5*z(k). Let n be d(3). Let l be n*(-3)/(-6)*-3. Solve l*m - 2 = m for m.
1
Suppose 5*b = -4*t + 6*t + 11, 3*t = -3*b - 6. Suppose 2*v + 3*i - 27 = 0, -2*v - i = 2*v - 59. Solve v = 4*o - b for o.
4
Let p = -13 - -19. Let k(g) = g - 4. Let d be k(5). Suppose -o = d - p. Solve -l + o = 1 for l.
4
Let y(q) = q - 8. Let b be y(8). Suppose 5*l = -b*l - 10. Let w be l + (-15)/(-1) + 3. Solve -4*d = 4 - w for d.
3
Let p be (-2)/(-13) - 12692/(-988). Solve -3*w = 19 - p for w.
-2
Let m(v) = -2*v**3 - 7*v**2 - 7*v + 2. Let c be m(-2). Solve -11 - 1 = -c*l for l.
3
Suppose 0 = -4*n, 2*l + 5*n = 8 - 4. Solve l*k = 7*k - 20 for k.
4
Let y(n) = n**2 + 5*n - 9. Let u be y(-8). Suppose -3*o - 3*x + u = 0, 2*o - 4*x + 0 = 4. Solve -w = o*w - 20 for w.
4
Suppose 0 = 11*k - 1 - 164. Solve 18 = 9*h - k*h for h.
-3
Let d be ((-1)/2)/((-1)/18). Let u(r) = -107*r + 963. Let k be u(9). Solve -3*n = -d - k for n.
3
Let m be 2/3*(2 - -1). Let h = -1337 - -1338. Solve -m*o = -o - h for o.
1
Suppose 0 = -2*i + 8 + 2. Suppose 6 = -i*z + 31. Solve -z*x - 7 + 2 = 0 for x.
-1
Let s be (540/100)/((-1)/(-5)). Let j = s + -27. Solve 5 + j = y for y.
5
Let f be 862/(-4741) - 1*4/(-22). Solve 6*s + 28 + 2 = f for s.
-5
Suppose -30*x = -13*x - 238. Solve -22 = -4*n - x for n.
2
Let z(b) = 34 - 2*b + b**2 - 12*b - 8. Let n be z(12). Solve n*w - 3 = 5 for w.
4
Let d(t) = t - 1. Suppose 5*h - 2*h - 9 = 0. Let p be d(h). Suppose g - 5 = -5*x, 34*x - 2 = g + 32*x. Solve p*i = -g + 2 for i.
1
Let r(b) = -b - 18. Let i be r(-17). Let n be (-4)/(-1)*i/(-1). Let d = 1 + 1. Solve y + n = d*y for y.
4
Suppose -4 = -2*y + 2*p - 0, 0 = 5*y + 3*p + 6. Suppose g + 7 - 11 = y. Solve g = -4*h - 0 for h.
-1
Let b = -95 - -20. Let f = 77 + b. Solve -f = -2*h + h for h.
2
Let d be ((-3)/6)/((-9)/54). Solve 5*o = d*o + 6 for o.
3
Let k(r) = r**2 - 14*r + 28. Let f be k(12). Solve -3*o + 11 = -f for o.
5
Let h be (-17)/(-5) - 4/10. Suppose 0 = -1437*v + 1444*v - 7. Solve -v = -q + h for q.
4
Let h be (15/(-9) - 1)*-3. Solve -s = -h*s for s.
0
Suppose 11*g = 2*g. Suppose g = -8*s - 9 + 9. Suppose 10 = j + 4*j. Solve -j*x + x - 1 = s for x.
-1
Suppose k + 4*k - 3*t = 40, -5*t - 40 = -3*k. Suppose -76 = -22*m + 3*m. Solve -3*h + m = -k for h.
3
Suppose 38*j - 45*j = -49. Solve 9*f = j*f - 10 for f.
-5
Let l(y) = y**3 + 5*y**2 + 10*y + 26. Let z be l(-4). Solve -9*u - 7 = -z*u for u.
-1
Let c = -44 - -49. Suppose c*z = 2*z + 4*f + 34, 3*f - 17 = -2*z. Solve -z = 4*q - 2*q for q.
-5
Suppose 4*h + 33 + 63 = -5*i, 2*i = h + 24. Let q = h + 29. Solve -1 - 9 = q*n for n.
-2
Suppose -5 = -5*q - 5*n, 14 + 5 = 4*q + n. Suppose -q = -6*v + 24. Suppose 10 - 5 = v*j. Solve 0 = -4*w + 11 + j for w.
3
Let g(p) = -6*p - 18. Let o(d) = -6*d - 16. Let y(h) = -2*g(h) + 3*o(h). Let k be y(-5). Solve -5*l - 3 = -k for l.
3
Let g(r) = r - 16. Let w be g(-2). Let k(j) = j**3 + 19*j**2 + 17*j - 11. Let f be k(w). Solve -f - 5 = 3*a for a.
-4
Suppose -2*w + 9*y - 10*y = 5, 10 = -2*w - 2*y. Solve -5*a + 7*a + 2 = w for a.
-1
Let i be 0 + 3 + -5 + 7. Suppose -3*b - 32 = -i*k - 0*b, 5*k - 12 = -2*b. Suppose k*x = 5*x - 13. Solve -7 = -4*w + x for w.
5
Let b(a) = a**3 - 2*a**2 - a - 1. Let x be b(2). Let m be (0/x + 1)*20. Let f be 0*(-1)/3*(-3)/15. Solve f = -t - 4*t + m for t.
4
Let f be (-51)/(-34) - (-38)/(-4). Let y be 15*f/(-36)*3. Solve 4*w + y = -10 for w.
-5
Let r = -12 + 12. Let t be (-108 - -101)*((-19)/7 + 1). Solve 6*b - 3*b + t = r for b.
-4
Let l(k) = k - 2. Let f be l(12). Solve -11 = -7*v + f for v.
3
Let a(h) = -6*h - 275. Let t be a(-47). Solve 2*j - 1 + t = 0 for j.
-3
Let j = 120 + -115. Solve 0 = j*x - x - 4 for x.
1
Suppose 21 = b - 0*u - 4*u, 3*b - 43 = 2*u. Solve 18*j + 15 = b*j for j.
-3
Let j(u) = 24*u**2 + 2*u - u**3 - 18*u**2 + 0*u**3 - 8. Let p be j(6). Solve 0 = -0*z - p*z + 4 for z.
1
Suppose -3*x + 2 = -4*k - 1, 5*k + 5*x = 40. Suppose 5*w + 26 - 77 = -3*g, 2*w = -4*g + 12. Solve -6*u = -k*u + w for u.
-4
Let n(a) = -a + 1. Suppose 3*u = -0 + 144. Let c be u/64 + (-30)/8. Let v be n(c). Solve 3*q = -2 - v for q.
-2
Let g(p) = -p**3 + 8*p**2 + 10*p - 4. Let t be g(9). Suppose 0 = -5*m + 20 - t. Solve -6 + 3 = m*q for q.
-1
Suppose -16 = -3*b + b. Suppose b = -k - k. Let d be (-8 - -10)/(k/(-14)). Solve 3*y = d*y for y.
0
Suppose 4*z = 3*k - 3 + 23, 0 = 2*k - 2*z + 10. Solve -2*j + 19 - 13 = k for j.
3
Let c be 7/((-14)/4) + 2. Suppose u = 2*j - j - 14, c = j + u - 8. Solve 0 = 4*g + 5 + j for g.
-4
Let o be -4 + (-2 - 0) + -1. Let t be (2/(-4))/(o/70). Solve -4 = -t*h - 29 for h.
-5
Let d = 11 + -3. Suppose -10*p = -6*p - d. Suppose -q + 1 = l + 4*l, 2*l + p = 0. Solve -q + 14 = 2*w for w.
4
Let g(o) be the second derivative of o**5/20 - o**4/2 - 4*o**3/3 + 7*o**2/2 - 4*o. Let s be g(7). Let h = 33 + -13. Solve -4*k - k - h = s for k.
-4
Suppose 0 = -3*o - 3*z + 15, -z + 6*z = -3*o + 15. Suppose 132 + 227 = 44*q - 521. Solve o*s - s = -q for s.
-5
Let n = 40 - -53. Let c = 134 - n. Let y = c + -31. Solve 3*d - y = 2 for d.
4
Let x = 884 + -873. Solve x = -5*g - 6*g for g.
-1
Let o(h) = h - 26. Let t(u) = -5*u + 105. Let w(i) = 9*o(i) + 2*t(i). Let l be w(-30). Solve -p - 25 = -l*p for p.
5
Suppose 0 = 2*b - 17 + 19, 0 = -3*p + 2*b + 140. Solve -h + 43 = p for h.
-3
Let p be (-80 - 8)*(6 - 5)/(-2). Solve 42*l = p*l + 2 for l.
-1
Let x = 15 - -8. Suppose 4*a - 33 = 2*m - 5, 3*a - x = 2*m. Suppose -4*i + 104 = 24. Solve a*l = l + i for l.
5
Let h(w) = 3*w**2 - 10*w + 3. Suppose 5*o - 3*o = 6. Let m be h(o). Solve m*n = -2*n for n.
0
Suppose -25 + 97 = 3*v. Let n(r) = -r**2 - 9*r - 14. Let m be n(-7). Suppose m = 4*t + 4*c - v, -4*t - 2*c - 9 = -25. Solve -t*h - 2*h = -12 for h.
3
Let m be -1 - ((-16)/6 + (-2)/6). Suppose 0 = 2*q - q + m*q. Solve 0*o + o = q for o.
0
Suppose 6 = 4*w + 2*j, -3*w + j = -0 - 7. Solve 1 + 1 = w*q for q.
1
Let i = 20 + 7. Let a = i + -22. Let g = 7 - a. Solve -2 - 8 = -g*u for u.
5
Let d = -292 - -299. Solve d*u - 2*u = -15 for u.
-3
Suppose 0 = 36*k - 310 - 50. Suppose 5*z = 8 + 32. Suppose -k*l = -z*l - 2. Solve -l + 3 = u for u.
2
Let q(m) = m**3 + 3*m**2 - 2*m - 4. Let s be q(-3). Suppose 3*a = 4*y, 4*a = -2*y - 3*y + 31. Suppose -6*n + a*n = -10. Solve n*b - 22 = -s for b.
4
Let k(y) = -y**2 - 14*y - 5. Let o be k(-14). Let r be 2/(((-2)/(-6))/(o/(-30))). Solve r = 5*f - 14 for f.
3
Let a be 2*-2*(-10)/8. Let r = -9529 - -9532. Solve 2 = r*f - a*f for f.
-1
Let i be (-46 - -50) + 2 + -1. Solve -4*n = -i*n + 