2*b for b.
3
Suppose 12 = 3*p + 4*t - t, 3*p = 5*t + 52. Solve -2*m - m = p for m.
-3
Suppose 0 = u + 4*a - 16, -a + 3 = 4*u - 16. Suppose -35 - 25 = -3*j. Solve -u*x = x + j for x.
-4
Let d = 5 + 3. Solve -d*y + 7*y = -1 for y.
1
Let m = 72 + -72. Solve m = -2*b - 8 + 4 for b.
-2
Suppose -27 - 25 = -13*y. Solve 0 = -3*p - y + 13 for p.
3
Let h = 13 + -8. Suppose 0 = h*f - 42 + 12. Solve 0 = 2*s + 2 + f for s.
-4
Suppose -2*r + 34 = -0*r. Let w = r - 12. Suppose 20 = 5*k + w. Solve -k*l - 11 = 1 for l.
-4
Let t(y) = y + 6. Let h be t(-2). Solve 8 = -h*v + 2*v for v.
-4
Let p = 2 + -1. Let j be 1/(-4) + p/4. Solve h = -j*h for h.
0
Let w(h) = -2*h - 3. Let g be w(-11). Let n = 22 - g. Suppose -q = 3*q - 16. Solve -1 = -n*r - q for r.
-1
Suppose 0 = 3*u - u - 4. Let z be (-176)/(-24)*3/u. Suppose 2*h - 2 - 2 = 0, 5*g - 2*h = z. Solve -f + g = -2 for f.
5
Let n(m) = 2*m - 21. Let b be n(12). Solve -y = -b*y + 10 for y.
5
Let i(n) = 5*n - 3. Let o be i(3). Let x be (-4)/o - 1/(-3). Let t be 18/2*12/9. Solve 2*l + l - t = x for l.
4
Suppose -c - 8 = 4*x, 3*c - c + 1 = -3*x. Suppose 0 = 3*k - g - 12, 5*g + 2 = -c*k - 1. Let h = 0 + 8. Solve 0 = k*m + h - 23 for m.
5
Suppose -2*l = -0*l + 14*l. Suppose 89 = 4*p + 25. Solve l = b - 5*b + p for b.
4
Let h(u) = u**2 - 6*u - 5. Let p be h(7). Suppose p*g + 3*y = 3, 5*g - 16 = g + 4*y. Suppose 10 + 14 = 2*q. Solve 0*k = g*k - q for k.
4
Let h(v) = -v**3 - 3*v**2 - 4. Let d be h(-4). Let r = d + -11. Solve 3*c - 2*c - r = 0 for c.
1
Suppose -5*f - 2*y = -75, -2*y - 45 = -3*f + 3*y. Solve -l - 4*l - f = 0 for l.
-3
Suppose -15 = -v - 5. Suppose -g + 5*m - v = -6*g, -5*g + 2*m = 4. Solve -4 + g = -4*y for y.
1
Let j be 0*((-10)/(-4))/(-5). Suppose -l = -j*l + y, l = y - 6. Let s be (2 - -2)*l/(-2). Solve -2 - s = -2*w for w.
4
Let v be 12*-3*(-5)/6. Suppose v = -5*n - 10. Let q = n - -11. Solve 0 = -o - 0 + q for o.
3
Let m be (-163)/(-11) + (-8)/(-44). Solve -4*w + m = -1 for w.
4
Let v be (-1)/(2 - (-21)/(-9)). Suppose t = -v*t + 100. Solve -8*b = -3*b + t for b.
-5
Suppose h = -t + 3, 5*t = 3*h + t - 37. Let a be (-198)/(-42) + (-2)/(-7). Solve 4*y + a + h = 0 for y.
-3
Suppose w - 9 = -2*w. Suppose 4*x + 4 = -0*x, w*z = -x + 38. Solve 7 = 4*q - z for q.
5
Suppose 0 = -a + 2 + 1. Suppose x - 88 = -a*x. Suppose 0 = -4*b - 5*t + x, b + 2*t = 3*b - 2. Solve 2*p - 3 = b for p.
3
Let c(x) = -x + 3. Let h be c(-6). Let m = h + -15. Let p be (m/12)/((-1)/6). Solve -3*b + p = 6 for b.
-1
Suppose 3*p + 0 = 18. Suppose -m - 26 + p = -5*r, 2*m - 10 = 0. Let q be (r/10)/(2/8). Solve q*k - 4*k = 0 for k.
0
Suppose 2*w = -12 + 2. Let k be w/(-10)*0/3. Solve k = 3*a - a - 10 for a.
5
Let i = 9 - 5. Let o(h) = 2*h - 3. Let q be o(i). Solve u + q = -0*u for u.
-5
Let b(p) = p + 6. Let v be b(-6). Suppose v = -h - 1 + 2. Suppose -o = -4 - 0. Solve m = h + o for m.
5
Let l(o) be the first derivative of o**2/2 - o + 1. Let j be l(2). Suppose 0 = -p + 2 + j. Solve -p*t - 1 = 2 for t.
-1
Let m(x) = -x**3 + 4*x**2 + x. Let b be -3 - (2/1 - 9). Let f be m(b). Suppose 3*c = 5*j - 8 - 7, f*c - 5*j = -15. Solve 0*k - 2*k - 4 = c for k.
-2
Let h(u) = u**3 + 14*u**2 - u - 8. Let y be h(-14). Solve -2*f - y = -16 for f.
5
Suppose 0 = n + 4*p - 24, -22 = -3*n + p - 3*p. Let v = -4 + 6. Suppose -v*y = -4, -16 + 5 = -5*b + 2*y. Solve -b*o - 1 = -n for o.
1
Let z be (2/(-5) - (-64)/10)*2. Solve 13 = -r + z for r.
-1
Let m be (-30)/((-6)/(-3)) + 1. Let v = -9 - m. Solve -v*y + 0 = 10 for y.
-2
Let x be 29/3 + 8/(-12). Solve -x = -h - 2*h for h.
3
Let q(x) = x**3 - x**2 - 3*x + 3. Let f be q(2). Let w(m) = m**2 + 3*m - 8. Let k be w(-6). Let d be (-2)/k + 6/30. Solve d = -z + f for z.
1
Suppose -5*h + 3 = 18. Let v = h + 6. Solve v*t - t = 0 for t.
0
Suppose 6*l + 15 = 33. Solve -l*j + 5 = -1 for j.
2
Suppose 13 = -2*f + 9. Let y be (15/f)/((-3)/4). Solve d + y = -d for d.
-5
Let h = -5 - -6. Solve -h = -2*j + 3 for j.
2
Let b(v) = -v**2 - 8*v - 4. Suppose 10 = 4*l + l. Suppose -l*c + 21 = -5*c. Let q be b(c). Solve -2*i - 1 = -q for i.
1
Let t(a) = -a**3 - 6*a**2 + 2*a + 12. Let w be t(-6). Solve 5*g + w*g = 20 for g.
4
Suppose -w = -k - 5, 28 = 4*w + 8. Suppose 0*m + 4*m = k. Solve 5*o + 10 + m = 0 for o.
-2
Suppose -x + 6*x - 25 = 0. Let n = 10 - x. Solve 0 = -n*k + k + 8 for k.
2
Let y be 1*(2 - -1*5). Let k = -1 - -4. Suppose 2*q + 22 = 5*q + 4*p, -4*q - k*p + 20 = 0. Solve -y*w = -q*w + 10 for w.
-2
Let v = 1 - -7. Suppose 0 = -v*l + 9*l. Solve 3 = -z - l*z for z.
-3
Let h(l) = -3*l - 6 - 2 - 1 + 2*l. Let o be h(-9). Solve -3 + o = d for d.
-3
Let q(a) = -a**2 + 2*a + 3. Let k be q(3). Let u = -12 - -9. Let v be 10 + (-8)/(-12)*u. Solve k = -3*o - v - 1 for o.
-3
Let m(y) = -y**2 - 18*y + 64. Let h be m(-21). Let s(z) = z**2 + 3*z - 3. Let b be s(-4). Solve b + h = n for n.
2
Let g be (4 + -5)/(3/(-6)). Solve -2*t + 8 = -g for t.
5
Let q = -16 - -21. Solve -7 + 22 = -q*g for g.
-3
Let o = 79 - 75. Solve -o*j + 11 = 3 for j.
2
Let x(i) = -6*i - 27. Let k be x(-5). Solve -6 = k*a + 3 for a.
-3
Let l(k) = -k - 7. Suppose 55 = -5*m - 0*m. Let n be l(m). Solve 0 = -j + n*j + 9 for j.
-3
Suppose -3*i + 12 = -i. Solve 4*s + 2 = i for s.
1
Suppose 4*r - 26 = 2. Let g(l) = l - 3. Let w be g(r). Solve 3*f - w = -1 for f.
1
Let c(j) = -5*j**2 + 15*j - 4. Let b(l) = 6*l**2 - 15*l + 5. Let n(k) = 4*b(k) + 5*c(k). Let s be n(15). Let y be (1 - 0)/(1/2). Solve 4 + s = y*d for d.
2
Let k be (-26 - -7)*(1 + -2). Solve 5*x + 6 = -k for x.
-5
Let h be (-192)/(-84) - (9/7 + -1). Solve 0 = -h*m + 5*m + 6 for m.
-2
Let s(p) = p**2 - 8*p + 4. Let b be s(8). Solve b*n - 2 = 14 for n.
4
Let n(v) = v**3 + 2*v**2 - 3*v + 1. Let m be n(-3). Solve 0 = k + m for k.
-1
Let s be 12*2/(1 - -5). Suppose 15 = 3*w + 3. Suppose 3*q - s*q = -w. Solve 3*t - q = -t for t.
1
Suppose 0 = -5*h - 3*d + d + 21, 0 = 2*h - 4*d - 18. Let y = h + -1. Solve -2*p - y = -p for p.
-4
Let j = -16 - -19. Solve -j*u - 2 = -u for u.
-1
Let q(w) = w - 6. Let t be q(9). Suppose t*k - 4*g = -k + 12, -3*g - 3 = -k. Solve i = k*i - 4 for i.
2
Let j(s) = -s**2. Let x(g) = 5*g**2 - 2*g + 1. Let q(n) = -j(n) + x(n). Let o be q(1). Let h = -2 + 2. Solve h = -a + 1 - o for a.
-4
Suppose 20 = h + 4*g, -2*h - 3*g = h - 15. Suppose -3*j - 7*x = -3*x - 10, -3*x + 3 = h. Solve 3*k + 13 + j = 0 for k.
-5
Let a(i) = i + 5. Let t be a(-7). Let h(d) = d**3 + 0*d - 1 - 6*d + 2*d**2 + 4*d. Let z be h(t). Solve z*b - b + 4 = 0 for b.
-2
Suppose -4*a - a + t = 35, 5*a - 4*t = -50. Let j = 7 + a. Solve 0*f = f - j for f.
1
Let l = 29 + -25. Solve l*a - 9 = 11 for a.
5
Let d(n) = -n**3 + 5*n**2 - 3*n - 1. Let r be d(4). Suppose 5*q - 3*a - 4 + 7 = 0, -4*q - 3 = -3*a. Solve q = v - r*v - 2 for v.
-1
Suppose 2*b - 3*b = -10. Let u(f) = f**2 + 14*f + 16. Let m be u(-13). Let j(c) = -c**2 + 3*c. Let q be j(m). Solve -b = -2*v - q*v for v.
5
Let c be -2 - ((-22)/2 + 4). Solve 5*z + 0*z = -c for z.
-1
Let l(i) = -i**3 - 4*i**2 - 3*i - 2. Let m be l(-4). Let f be m*(2 - (-4)/(-5)). Suppose f = 3*p - 3. Solve 14 = -p*r - 11 for r.
-5
Let z be -1*(-1)/(2/10). Suppose -z = -l + 2. Solve 3*a = l*a for a.
0
Let q = -12 + 9. Let z = -1 - q. Solve z*k + 0*k = 8 for k.
4
Suppose 0 = -3*y + 5*o + 62, 5*y - 3*o - 2*o = 100. Solve 5*p = -4 + y for p.
3
Suppose -2*d - 4*x = -16, 7*d - 5*x = 5*d - 20. Solve q = -d*q for q.
0
Let v be 15/45 - 11/(-3). Solve -2*d + d = -v for d.
4
Suppose 0 = 2*q + 5*o - 15, -9 = -2*q - 2*o + 3. Let x = q + -3. Solve 0 = -k + 2*k + x for k.
-2
Suppose 7*k + 9 = 23. Suppose v = k*v. Solve v = 4*w - 7*w for w.
0
Let o(p) = p + 1. Suppose -t = -4*x, 0 = t + 4*x - 3*x - 10. Suppose -3*q + 2 + 19 = -3*f, 2*f + t = 0. Let y be o(q). Solve y*w = 2*w for w.
0
Let k be (0*(-1)/2)/1. Solve -9 = -3*n - k for n.
3
Let h = 10 - 13. Let j be h - (0 + 0) - -6. Let q(n) = n**3 - 2*n**2 - 4*n + 3. Let s be q(3). Solve 0 = -j*g - s + 12 for g.
4
Suppose 0*o + 12 = 2*o. Let d be o/(-9)*(-17 + 2). Solve -d = -2*a - 3*a for a.
2
Let g = -8 + 11. Let a be 4*1/20 + 276/20. Solve -a = g*t - 2 for t.
-4
Let u(h) be the second derivative of 5*h**3/3 - h**2/2 - 2*h. Let d be u(2). Let q = d + -6. Solve 3*x - 2 = q for x.
5
Let w(x) = 6*x. Suppose 0 = 2*d + 4 + 2. Let p be w(d). Let a = -11 - p. Solve -10 = a*t - 2*t for t.
-