z + 9 = b for z.
-2
Suppose -5*h + 5*s - 2*s - 9 = 0, 2*s - 6 = 4*h. Solve 0 = 2*a - h + 10 for a.
-5
Let j be 4/18 + 100/36. Let d be 18/(-4)*28/j. Let u be (-2)/3 - d/9. Solve -5*r + 3*r = u for r.
-2
Let d(k) = -k**2 - 7*k + 5. Let c be d(-7). Solve -8 = -c*q + q for q.
2
Suppose 0 = -0*y - y + 7. Suppose -y = -4*z - 3. Solve z = -3*i + 4 for i.
1
Let d = 24 + -2. Let j = 24 - d. Solve i + j = -i for i.
-1
Let v = 50 - 30. Suppose 4*u - 5*z = -v, -z = 4*u + 2*z - 12. Solve -3*p = -u*p + 15 for p.
-5
Let v be (-91)/4 - (-2)/(-8). Let d = 13 + v. Let a be (8/10)/(d/(-125)). Solve 0 = -5*p - a - 5 for p.
-3
Suppose 0*s + 2*s = 6. Let p = -1 + s. Suppose p = -5*y + 22. Solve -7 = y*i + 1 for i.
-2
Suppose -4*m + 7 + 5 = 0. Solve 0 - m = 3*s for s.
-1
Let m(j) = 13*j**2 - 2*j + 1. Let k be (-9 - -6) + 1 + 5. Let n be k/6*1*2. Let q be m(n). Solve 4*d = d - q for d.
-4
Let g = 10 + -7. Let t = -1 + g. Solve 1 = t*s + 7 for s.
-3
Suppose 6 + 15 = 2*s - 3*z, 0 = 2*z - 2. Let n = -9 + s. Solve -n*b + 1 = 4 for b.
-1
Let v = -15 - -18. Suppose 3*o - 7 + 1 = 0. Solve k + v = -o for k.
-5
Suppose 3 = -g + 6. Let c be 0 + g + 0 + -1. Let n be 0*2*2/(-4). Solve -c*y + 4*y - 10 = n for y.
5
Let m be 4 - (-4)/(16/(-4)). Solve 4*g = m + 5 for g.
2
Suppose -5 = -0*s + 5*s, -a - 3*s + 9 = 0. Suppose 2*u - 2*j - 3*j = a, 0 = -5*u + j + 30. Suppose r = 3*r - u. Solve -q = r*q - 16 for q.
4
Suppose -5*l - 5*d = 10, 3*l + d - 5*d = 8. Suppose -4*y = q, -2*q + l*q + 6 = 2*y. Solve 0 = -q*n + 2 - 6 for n.
-1
Let x = -44 + 46. Solve -x*t = t - 3 for t.
1
Let z be 6/4*(-2 - 0). Let g = z + 5. Solve 6 = -g*l - 2 for l.
-4
Let a be (0 - 3 - -3)/1. Solve a = -n + 6*n for n.
0
Let p(s) = s**3 - 6*s**2 + 10*s - 3. Let n be p(4). Solve n*k - 8 = -33 for k.
-5
Let t(h) = -h + 2. Let m be t(-6). Let b(f) = 3 + f**2 + 2 - 4. Let s be b(1). Solve 0 = -2*x + m - s for x.
3
Suppose -3 = -3*t + 9. Solve t*f - 9 - 7 = 0 for f.
4
Suppose -t + 4*t = -4*b + 19, t = -5*b + 10. Let x = t - 2. Suppose -2*m = k + x*k, -4*m = -2*k - 40. Solve -3*f + m*f = -25 for f.
-5
Let u(h) = h**2 - 2*h + 4. Let g be u(4). Let w(c) = c**3 - 2*c**2 + c - 2. Let b be w(2). Suppose -4*n = -2*z + g, z + b*z - 5*n = 12. Solve z*d = -d for d.
0
Let b(v) = -14*v**3 - 9*v**2 + 8*v - 5. Let m(k) = 5*k**3 + 3*k**2 - 3*k + 2. Let w(a) = 4*b(a) + 11*m(a). Let r be w(-2). Solve 0 = -p - r*p - 4 for p.
-4
Suppose -11 = 3*m + 3*k + k, 0 = 4*m + 5*k + 13. Solve -c + 4 = m*c for c.
1
Suppose 2*o - 3 = -3*g, 4*o = -0*o + 4*g - 24. Let s be (1 + -2)*(o - -4). Let w be 0*1/1*s. Solve -4*m + 12 = -w*m for m.
3
Let a = 35 - 35. Solve a*x + 3 = -x for x.
-3
Let k be -3*(2 + -3) + -2. Let d = 6 - k. Solve -2*l + d - 1 = 0 for l.
2
Let v(s) be the second derivative of -s**3/3 - 15*s**2/2 + 3*s. Let q be v(-10). Solve -4*d = q + 3 for d.
-2
Suppose m = -2*v - 2 + 1, 2*v + 16 = -4*m. Suppose 2*g + v*g = 12. Suppose -g*b + 46 - 1 = 0. Solve 2*n - b = 7*n for n.
-3
Let i be ((-112)/(-12))/(4/6). Suppose -2*z + 4*t = -i, -3*z + 4*t + 29 = 2*z. Solve 9 = z*l + 34 for l.
-5
Let f(p) = p + 2. Let g be f(-2). Suppose 0 = k - 5*r - 7, -2 = -2*k + 2*r + 4. Let b be (-3)/1*8/(-12). Solve g*o - b = -k*o for o.
1
Suppose 5*y - 8 = 2. Suppose 20 = y*w - 0*w. Suppose -2*s = -3*s + 4. Solve d - w = -s*d for d.
2
Let b(w) = -2*w**2 - 14*w - 16. Let x be b(-5). Solve -4*d + 2*d - x = 0 for d.
-2
Let i be (-1 + 0 + 6)*4. Let d = 11 + -8. Suppose 11 = d*s - 7. Solve u = s*u - i for u.
4
Suppose 4*h + 12 = 0, 0 = 2*a - h - 3*h - 12. Solve -z - 2*z + 12 = a for z.
4
Let a be (-1 + 9)/(2 - 1). Let i(t) = -t + 10. Let p be (-1 - 0) + (-54)/(-9). Let u be i(p). Solve -u*w - 2 = a for w.
-2
Suppose -6*y + y = 0. Let p be 5 - ((-6)/(-2))/3. Let x be p - ((-6)/(-3) - y). Solve o - 3 - x = 0 for o.
5
Let w = 72 - 69. Solve 1 + 14 = -w*t for t.
-5
Let d be 4/24*1 - (-29)/6. Solve d*i - 5 + 0 = 0 for i.
1
Suppose -2*h - 5*b = -55, -2*h + 50 = h + b. Suppose c = -4*c + h. Suppose 0*d + d = c, n + d - 8 = 0. Solve n*o - 3*o + 10 = 0 for o.
-5
Let t be (7/(-2))/7*-6. Let x(l) = -l + 7. Let g be x(7). Solve -b - t - 2 = g for b.
-5
Let s be (3/(-1) + 1)*10. Let t be (s/(-8))/(2/4). Suppose t*d = -4*x + 18 + 15, 5*d - 25 = 0. Solve x*u = -u for u.
0
Suppose 3*f - 107 = -0*f + 5*z, 4*f - 2*z - 138 = 0. Suppose -3*b + 13 - f = 0. Let d be (-4)/14 - 2/b. Solve 3*i + 2*i - 25 = d for i.
5
Let l = -2 + 4. Suppose l*f + 2 = 6. Solve 15 = f*z + z for z.
5
Let n be (-3)/(2 - 3) - 9. Let o be 3/(n/(-5) + -1). Solve -6*h = -h - o for h.
3
Let o = -5 - -10. Suppose -4*a + 11 = -o. Solve -7 - 1 = -a*g for g.
2
Suppose -3*r + 3 + 6 = 0. Solve 6 = v + r for v.
3
Suppose 4*j = 2*j + 2. Suppose 5 = 3*h - j. Let f = 5 - 2. Solve h = z - f*z for z.
-1
Suppose -8 = -3*s - 2. Suppose 9 = -12*n + 57. Solve 10 = -n*g + s for g.
-2
Suppose -2*z + 7*z = 50. Solve 2*g - 4*g = z for g.
-5
Suppose -4*p - 3*v - 8 = -0*p, 3*v - 4 = 2*p. Suppose 5*o - 4*k = -24 - 21, -5*o = -3*k + 50. Let x = p - o. Solve -5 = 3*r - x for r.
2
Suppose -13 = -3*k - 2*j, 2*k + j + 6 = 15. Solve 7 = -4*u - k for u.
-3
Let s(z) = z**2 - 12*z - 13. Let j be s(13). Solve 5*t = -j*t for t.
0
Let f(b) = b**2 - 13*b - 21. Let j be f(15). Solve j = -3*x - 0 for x.
-3
Suppose -16 = -5*h + 2*r - 3*r, 0 = 5*h - 3*r - 12. Solve -h*t - 2*t - 20 = 0 for t.
-4
Suppose 2*w - 43 - 13 = 0. Solve w = -5*c + 8 for c.
-4
Suppose 0*n + 1 = -n. Let r be -3 - -6 - 5*n. Solve r*o - 20 = 4*o for o.
5
Suppose -3 = -o - 2. Suppose 4 = w + o. Solve -4*d = 1 + w for d.
-1
Let g(z) = -z**2 + 15*z - 31. Let k be g(8). Solve -8*b = -3*b + k for b.
-5
Suppose -4*r + 76 = 4*l, 0 = -2*r + 4*l + 11 + 51. Suppose 5*z = r + 2. Solve -2*u - 1 - z = 0 for u.
-3
Suppose 0 = -4*g + 1 + 7. Solve -2*k = g*k - 8 for k.
2
Let d(s) = -s**3 + 11*s**2 - 9*s - 6. Let i be d(10). Solve 8 = i*u - 0 for u.
2
Let p(v) = -v**2 + 5*v - 1. Let d be p(4). Solve -y + d = -4*y for y.
-1
Suppose 11*x - 8*x - 9 = 0. Solve 0*l - x*l + 15 = 0 for l.
5
Let h be 32/20 - (-6)/15. Suppose -n - 5 = -2*n. Solve n*o + 18 = -h for o.
-4
Suppose -i = -2*i + 5. Suppose 0 = -3*f + 2*z - 0 - 2, -i*f - 3*z = -22. Solve -4*u = 18 + f for u.
-5
Suppose -2*f + 8 = -0*f. Solve f = 3*q - 2 for q.
2
Let w(n) = n**3 + 7*n**2 - 7*n - 9. Let f be w(-8). Let t = -10 - f. Solve 0 = -z - 4 + t for z.
3
Let h(j) = -j**3 + 8*j**2 - 5*j - 8. Let a be h(7). Let k = a + -12. Let t(f) = -f**3 - 6*f**2 + 2. Let q be t(k). Solve 0 = -q*n - 0*n - 8 for n.
-4
Let l be 3 - 0 - (5 - 3). Suppose 4*y = 20, -2*o - 3*y + 16 = -y. Suppose -o*c = l - 7. Solve c*a = -a for a.
0
Suppose -21 = -5*h + 4. Suppose -3*j + 15 = 2*j. Solve -j = h*x + 2 for x.
-1
Let l(j) = -8*j + 3. Let g be l(2). Let h = -11 - g. Solve 0 = h*r - r + 4 for r.
-4
Let w = 110 - 66. Let v = w + 4. Let a be ((-2)/4)/((-2)/v). Solve a = -5*b + 2*b for b.
-4
Let h(f) = -f**3 - 10*f**2 + 10*f - 10. Let i be h(-11). Solve 0 = j - 4 - i for j.
5
Let i be (14/(-3))/(1/(-3)). Suppose -2*n + i = z, -3*z + 2*z + 2 = -n. Let k be (-5)/((-15)/z) + -2. Solve o - 3*o = k for o.
0
Let r be 1/((-5)/(-60)*3). Solve 3*l = l + r for l.
2
Let w be 2*(3 - 15/6) + 6. Solve w*c - 15 = 10*c for c.
-5
Suppose -4*q = -0*q + 2*o - 4, q = o - 2. Solve q = -s - 4*s for s.
0
Let g = 0 - 0. Suppose 0 = b + 2*b - 15. Solve g*f = -5*f + b for f.
1
Suppose 0 = 3*c - 6*c + 1293. Let k be 1/(-5) - c/(-5). Let a be 2/8 + k/8. Solve -4*n - 5 - a = 0 for n.
-4
Let f(b) = 2*b + 54. Let r be f(-26). Solve -r*y = y for y.
0
Suppose 22 = 5*b - 13. Let w(p) = 2*p**2 - 9*p - 10. Let y be w(b). Let j = 3 - 3. Solve j = -4*k - k + y for k.
5
Suppose 5*a - 15 = 2*r, a - 5 = 3*r - 3*a. Suppose x = r*x - 16. Solve 2*u - x*u = 0 for u.
0
Suppose 0 = 3*o + 2*d + 10, 7*d - 10*d - 15 = 3*o. Solve r + o = -4 for r.
-4
Let v be 3 - -3 - 0 - 1. Let t = -8 + v. Let r be 3/(t/(-8)*2). Solve 2*y - 2 = -r for y.
-1
Let j be (-3 - -2)/((-6)/42). Suppose 4*x - j = 1. Let i = -4 - -6. Solve x*k = -i*k - 20 for k.
-5
Let d = -7 - -9. Suppose -3*i + d*i = -2. Let v = 3 - i. Solve 0 = -t + 3 - v for t.
2
Suppose -3*h + 12 = -3. Solve 8 = -h*l + 3 for l.
-1
Suppose -a = -3*k + 4, -2 = -2*a + a. Suppose -19 = -k*l - l + 5*g, 0 = 2*l + 4*g + 2. Solve -l*c - 15 = -0*c for c.
-5
Let k = -10 - -6. Let x be k/2*