 8 = 1 for b.
3
Let x be 6*((-8)/(-12))/2. Suppose n - 2 = -m, -n + 0 = -3*m - x. Solve -t = n*t for t.
0
Let w = -37 - -61. Suppose 2*f + 2*f - w = 0. Suppose -60 = -3*n + 5*d, -2*n = n + 3*d - 60. Solve -t = -f*t - n for t.
-4
Let y(t) be the second derivative of t**4/12 - t**3/2 - 5*t**2 - 12*t. Let f be y(6). Solve -3*g = -g - f for g.
4
Suppose 0 = -5*k + 94 - 24. Let m = -10 + k. Suppose -3*w = -m - 2. Solve 0 - 6 = -w*j for j.
3
Let t(u) = -7*u - 9. Let s be t(-7). Let d be (-595)/s - 2/16. Let l = -9 - d. Solve 20 = -l*n + n for n.
-4
Let j(m) = -m**2 + 9*m - 2. Let l be j(6). Let d be (l/12)/(2/3). Suppose 871 = -10*c + 891. Solve -q = d + c for q.
-4
Suppose 5 = 4*u + 15*s - 20*s, 5*s = u - 5. Solve 13*r - 5*r - 40 = u for r.
5
Suppose -12*l = -8 - 64. Solve -3*d - 3 = l for d.
-3
Suppose -5*a - 4*p + 28 = 0, -2*a + 2*p + 0 = -4. Solve -7*y = -a*y - 9 for y.
3
Let f(b) = b**3 - 17*b**2 - 15*b - 9. Let v be f(18). Suppose v = -12*i + 17*i. Solve -4*x + i = 1 for x.
2
Suppose d + 28 = 5*a, 5*a = 3*a + 2*d + 8. Solve a*w = -13*w for w.
0
Suppose 11174 = -42*v + 79*v. Solve -9*u = v - 293 for u.
-1
Suppose 5 = 9*s - 4. Let u be (80/6 - s) + 5/(-15). Solve -6*b + 2*b + u = 0 for b.
3
Let c be 52/4*1 - -1. Suppose n + d = 4*n - 5, 2*n - 5*d = -c. Solve n*p + 8 = -p for p.
-2
Let y(z) be the second derivative of -z**5/20 + z**3/3 + 9*z**2/2 - z. Let o be y(0). Suppose o*r + 5 = 14*r. Solve r = k - 3 for k.
4
Let y be 2/(9/(-15) + 1). Suppose 5*k - 15 = -y. Suppose -z = k*z + 4*x - 13, -3*z = -x - 8. Solve 0 = -z*j + j - 10 for j.
-5
Let k(l) = -5*l**2 + 15*l - 14. Let h(t) = t**2 + 1. Let y(f) = 4*h(f) + k(f). Let m be y(14). Solve 3*j - m = 11 for j.
5
Suppose 0 = -2*m - u + 3, 3*u = -0*m + 4*m - 31. Suppose -13*j = -15*j + 2. Solve -m + j = 3*n for n.
-1
Suppose 3*o + 3 = 0, -4*m + 46 = -4*o - 38. Let n be (2/5)/((-4)/m). Let h be 2 + 1/(n/(-20)). Solve -h = 2*p - 2 for p.
-5
Let f(u) = -9*u - 61. Let o be f(-12). Let t = o - 43. Solve t*r - 2 - 10 = 0 for r.
3
Let v be (10/(-8))/(1/(-4)). Let h be 3*(-4)/(-6) + -3 + 3. Suppose h*z - 25 + 1 = 4*d, -5 = -5*z - d. Solve -v*t + 3 = -z for t.
1
Let j be (1 - -5) + (-3 - -1). Solve -o = j*o for o.
0
Let s be (-4)/(-18) - (-150)/54. Solve 0 = -s*u - 6 for u.
-2
Suppose -4*o + 12 = -36. Let x = 13 - o. Let m be x + -1 + 1 + -1. Solve m = -5*f + 13 - 3 for f.
2
Let j = -11 - -15. Let g be ((-15)/(-2))/((-5)/(-4)). Let o be (4 + -10 + g)/(-2). Solve j = -o*c - c for c.
-4
Let g(z) be the first derivative of -z**2/2 + 8*z - 17. Let v be g(5). Solve 0*y - 6 = v*y for y.
-2
Suppose -4*w = w + 15. Let t be -10*(-1 - (1 + w)). Let f be 8/t*30/(-4). Solve -i = -f*i + 20 for i.
4
Let x(s) = 3*s. Let r = 55 + -53. Let m be x(r). Solve 4 = u + m for u.
-2
Suppose 2*y = -39 - 309. Let f = y + 189. Solve 0 = 5*l + 5 + f for l.
-4
Let l be ((-64)/(-512))/((-2)/(-48)). Solve 0 = o + 2 + l for o.
-5
Suppose 2*o - 7*o = 2*p - 33, 3*p + 17 = 2*o. Suppose 2*i = -1 + o. Solve -i*m = -m for m.
0
Suppose 2*v + 10 = a, 4*a - 5*v - 19 = 6. Solve a = b - 5*b + 20 for b.
5
Suppose 0 = -44*b + 41*b - 6. Let a be ((-51)/18 - b)*-6. Solve -11 = 4*t + a for t.
-4
Suppose 4*a = 9*a - 15. Suppose -p = -2*p + a. Let o = -12 + 20. Solve 0 = p*m + m - o for m.
2
Let s be (40/15)/(4/6). Let t(r) = 3 - s*r + 6*r + 4. Let y be t(-3). Solve y + 2 = d for d.
3
Suppose -18*n = -7*n - 154. Suppose 4*y + n = -2, -5*r = 3*y - 13. Solve 0 = k - r*k + 20 for k.
5
Let o be -8 - (6 - 4)/(-2). Let z be (-1)/((-111)/315 - 2/o). Let q(v) = 2*v**3 + v**2 - v. Let l be q(1). Solve k = -l*k - z for k.
-5
Let m be (-2)/4*(-3 + -3). Suppose u - 13 = 4*o, 5*u - m*o + 3 - 17 = 0. Solve p = 6 - u for p.
5
Suppose 0*g + 13*g = 130. Solve 6*h = h + g for h.
2
Suppose 0*n - 5*n = -5*z + 135, -2*n = -z + 28. Let w = -22 + z. Solve -j + 20 = w*j for j.
4
Let y be -18 + (-2)/(-4) + 6/4. Let f(m) = m**3 + 7*m**2 + 7*m - 2. Let w be f(-6). Let r = w - y. Solve o - r = -o for o.
4
Let z be (-6 + 6)/(54/9 + -3). Let u = -2 + 2. Suppose u = 3*n - 4 - 2. Solve -n*x - 2 = -z*x for x.
-1
Let z(o) = 2*o**2 - 16*o + 6. Let m be z(8). Let b(q) = -q**2 + 13*q - 34. Let p be b(m). Solve -2*i = -0 + p for i.
-4
Suppose -l = -4*l. Let d be 3/9*(-85 + -2). Let n = -29 - d. Solve l = -2*o - 2 - n for o.
-1
Let x = -703 - -707. Solve x*d + 12 + 8 = 0 for d.
-5
Let c(g) = g**2 + 17*g + 87. Let j be c(-14). Solve 0 = j*l - 50*l for l.
0
Let j be (-34)/(-2) - (5 - (-3 + 6)). Let b be 10/(-3)*(-18)/j. Solve -g + 5*g + b = 0 for g.
-1
Let x(f) = 4*f**2 + 4*f - 2. Let s = -86 - -87. Let c be x(s). Solve -16 = 2*d - c*d for d.
4
Let s = 26 - 16. Suppose -q + 3*l - 23 + 15 = 0, l = q. Suppose 0 = -5*d + 2*x + 8, 2*d - 5*x = -4*x + q. Solve d = -5*u - s + 30 for u.
4
Let f(g) = -g**3 + 15*g**2 + g - 12. Let c be f(15). Suppose 0*z = -4*z - l, -l - 7 = -c*z. Solve v = -3 - z for v.
-4
Let b be ((-189)/54)/((-2)/8 - 0). Solve 0 = -4*t - 2 - b for t.
-4
Let m be (-4 - -5)*(0 + 0)/(-1). Let g be 0 + (3 - 2) + 5. Suppose -k = 3*r - 33, -k - k + g = m. Solve 1 = 3*d + r for d.
-3
Let n(z) = z + 17. Let y be n(-5). Suppose j - y = -5. Solve -8 = -3*a + j for a.
5
Let t = -54 - -57. Solve t*a - 12 = -0*a for a.
4
Let v(n) = -5*n + 3*n**2 - 1 - n**2 - n**2. Let l be v(7). Solve 5*o + l = -12 for o.
-5
Let l(j) = -j**3 + 2*j**2 + 7*j + 6. Let v be l(4). Solve 2*q = q - v for q.
-2
Let c be -1 + (-2)/(4/(-6)). Let u(p) = 3*p. Let y be u(c). Suppose 2*x - 10 + 4 = -3*z, -3*x = 3*z - y. Solve 0*q - 2*q = -z for q.
1
Suppose -o - 3*x + 2*x = -3, o + 4*x = 12. Suppose -u + o*u = -7. Suppose 2*g = -3*h + 4, 2*h - 4*g = -g + u. Solve h*r - 5 = 1 for r.
3
Let s = 1 - -16. Suppose 4*j + s = 109. Let b = j + -23. Solve b = a - 6*a - 5 for a.
-1
Let b = 10 + -9. Let q be 4/6 - 8/3. Let o = q - -4. Solve -o*f - b - 1 = 0 for f.
-1
Suppose l + q - 15 = 3, l + 5*q = 14. Solve 0 = -l*k + 2*k + 85 for k.
5
Let r(a) = -3*a**3 - 7*a**2 - 2*a - 4. Suppose 5*b - 2*h = 34, -13 = -b + h - 5. Let z be 53/(-17) + b/51. Let g be r(z). Solve 0 = c + 3*c + g for c.
-5
Let d = 16 - 10. Let k = 0 - -2. Let c be k + 5/(5/(-2)). Solve -d*f + f = c for f.
0
Let b be ((-169)/(-4))/(18/8 + -2). Solve 10 = 174*g - b*g for g.
2
Let n(s) = 2*s**2 - s + 16. Let f be n(0). Suppose 0 = -8*u + 88 - f. Let a be (-4)/((-2 - 0) + 0). Solve r = -a*r - u for r.
-3
Let n(g) = -g**3 - g**2 - 2*g + 3. Let p be 0*((-7)/2 - -4). Let f be n(p). Solve 0*r - f*r = 15 for r.
-5
Suppose 4*r = t - 35 - 78, 3*r + 5*t + 79 = 0. Let u be (-120)/r - (-6)/(-21). Suppose 0 = z + 2 - u. Solve 2*p = -z*p - 20 for p.
-5
Suppose -119 = -23*j + 19. Solve 27*m = 29*m + j for m.
-3
Suppose 0 = -2*l + j + 9, 2*l - 5*j - 12 = -j. Solve -l*v + 9 = 29 for v.
-5
Suppose 4*t = -5*g + 58 - 9, 2*t - 47 = -5*g. Let f = g + -7. Solve -5 = f*p - 1 for p.
-2
Let i(b) = -b**3 - 4*b**2 - 3*b + 2. Let p be i(-3). Suppose 10 + 2 = p*k. Solve w + k = -w for w.
-3
Let i(a) = -a**3 + 2*a**2 + 3*a. Let w be i(3). Suppose 0 = 2*b - 0 - 10. Let k = b + w. Solve -k*s - 5 = 5 for s.
-2
Suppose r + 2*r + 5*v - 21 = 0, -2*r + v = -27. Suppose 2*d - 10 + 0 = 0. Solve 3 = d*y - r for y.
3
Let t(q) = 3*q - 12. Let d be t(5). Suppose 0 = j - c - 3*c - 14, -c - 13 = -5*j. Solve j = d*v - 2*v for v.
2
Suppose -4*j + 15 = j. Suppose 0 = -5*c - 4*x + 37, 0*c + 4*x + j = 3*c. Solve 12 = -c*h - 8 for h.
-4
Let n be (-1 - 0)/((-5)/(-25)). Suppose 3*g = 4*f, -f = -g - 3*g + 13. Let k be (n - 1)/(f/(-2)). Solve 4 + 0 = -k*z for z.
-1
Let g be (-66 - -85) + (1 - 8). Solve g*o - 3 = 13*o for o.
-3
Let q be (((-448)/35)/8)/((-4)/10). Suppose -7*k + 44 = q*k. Solve k*x - 2*x = -6 for x.
-3
Suppose -5*h = -5*b - 25, -h - 6 = b - 3. Let i be (0 - h)*9/((-36)/8). Solve 4*o - 18 + i = 0 for o.
4
Let l be 21/(-49)*(-12 + 5). Solve l*w + 0*w = -6 for w.
-2
Let q = 671 - 662. Solve -3*a = -q*a - 18 for a.
-3
Let k(w) = w**2 + 48*w + 155. Let t be k(-45). Solve -t = 2*m - 6*m for m.
5
Let f = 107 + -105. Suppose -f*o = b + 8, b = 2*b - 4*o - 16. Solve b = -2*a + a + 3 for a.
3
Let x(o) = 41*o + 51. Let z be x(-1). Solve -3*s - z = -s for s.
-5
Suppose -3*q + 16 = 2*q + 2*m, 4*q + 3*m = 17. Let h be (q/(-3))/(8/(-108)). Solve 0 = 2*k - 5*k + h for k.
3
Suppose -6*r = 5*d - 3*r - 27, -r = 2*d - 10. Suppose 5*t 