 d*l + 6 for l.
2
Let b(t) = t**2 + 3*t - 17. Let i be b(5). Solve 21*k - 10 = i*k for k.
-5
Let i = 20 + -34. Let p(n) = 2*n - 2. Let j be p(-4). Let f = j - i. Solve 0 = -3*v - v + f for v.
1
Let t = 12 + -17. Let v be t/20 + (-5)/(-4). Suppose g = p - 5, -6*g + 2*p = -2*g + 10. Solve -q + 2 - v = g for q.
1
Suppose -2*j + 19 = 5*i, i = j + 3*j - 5. Suppose 0 = 4*b - 5*c + 25, 3*b = -c + 2 + 3. Let p = b + j. Solve p*k = -12 + 2 for k.
-5
Let m be -2 + (-1)/(2/(-4)). Solve m = 3*n - 5 - 1 for n.
2
Let m = 3 + -4. Let n be 4/(-6)*(-2 + m). Suppose 0 = n*r + 3*r - 50. Solve 0 = -5*v + 3*v - r for v.
-5
Suppose -5*d - 5*u + 10*u + 35 = 0, -4*d = -5*u - 33. Solve -3*s - d = -2*s for s.
-2
Suppose -9 = x - 3*c, -x + 0*c - 13 = -4*c. Solve 0*m + x*m = 15 for m.
5
Let c be 0 + -4 + 6 - 1*-1. Solve 4*y = c*y for y.
0
Suppose h + 2*h = 0, -3*t = -5*h - 9. Solve 0 = -t*s + s - 6 for s.
-3
Suppose m - 6 = -h, -2*h - 8 = -13*m + 10*m. Solve 6 = m*p - 14 for p.
5
Let x = 98 - 95. Solve x*b + 4 = 2*b for b.
-4
Let m(k) = -k + 13. Let x be m(10). Let o = x + 1. Solve -o*t = -2*t for t.
0
Let a be (-9 - -13)*1/1. Let n(u) = u + 3. Let w(b) = b**2 - 7*b. Let k be w(7). Let j be n(k). Solve -j*q + q + a = 0 for q.
2
Let d = -3 + 7. Let v(a) = -a**3 - 2*a**2 - a - 1. Let x be v(-2). Let u = -18 + 35. Solve -d*w - x = -u for w.
4
Suppose 2*a = -5*y + 29, 5*y - 5 = 3*a + 14. Suppose 2*s = a*f - 28, -4*s = -f + s + 10. Solve -k - 4*k = f for k.
-3
Let r be (-6)/(-15) + (-16)/(-10). Let j be r - (-2 - (-1 + 2)). Suppose w + 3*b + 0 = j, 0 = 3*w - 2*b - 15. Solve 2*k - w*k = -15 for k.
5
Let v(h) = 3*h + h**2 + 4*h - 2*h - 3. Let u be v(-6). Solve u + 9 = -3*z for z.
-4
Suppose 0 = 5*b - 214 + 199. Solve 8 = -b*v + 2 for v.
-2
Suppose -4*d + n + 8 = 0, -2*d + d + 2*n + 2 = 0. Solve 2*z + 6 = d for z.
-2
Let v = -66 - -66. Solve v = 3*b - 5*b - 6 for b.
-3
Suppose -4*w + 7 = 3*x, 5*x + 29 + 6 = 5*w. Let t = -8 + 5. Let n = x - t. Solve -4*s + n = 12 for s.
-3
Suppose 3*j - 8*j + 14 = -2*q, -5 = -3*q + j. Solve -5*s + 17 = -q for s.
4
Suppose 4*o = 2*o. Suppose 5*i - i = -288. Let v be i/(-7) - 4/14. Solve v = -o*j - 5*j for j.
-2
Let m be (-1 - 5)/3 - -1. Let k(x) = 7*x**2 - 1. Let c be k(m). Solve 2*g + c = -g for g.
-2
Let m = 4 + -2. Suppose g + 3*a - 2 = m*a, -a = -2. Solve u = -g*u + 4 for u.
4
Let g(m) = m + 10. Let s be g(7). Let q = -7 + s. Solve -4*i + 26 = q for i.
4
Let b be (-2)/(1 - 3)*0. Solve b = -x - x + 8 for x.
4
Let t = 6 - 1. Solve -4*b = 17 - t for b.
-3
Suppose 0*j + 3*j = -9. Let a(u) = u**3 + 3*u**2 + 1. Let h be a(j). Let r = 2 - h. Solve -7 = 2*g - r for g.
-3
Suppose -5*d + 39 + 26 = -y, -d - 5*y - 13 = 0. Suppose d = v + v. Solve v + 9 = -3*n for n.
-5
Let s(m) be the first derivative of -m**2 - 10*m + 3. Let a be s(-7). Suppose d - a = -1. Solve -2*x = d*x + 5 for x.
-1
Let n = 4 - 3. Let y(u) = -2*u - 3. Let m be y(-5). Solve -n = 3*l - m for l.
2
Let w be -2 + -1 + 0 + 4. Suppose -w = -5*s + 24. Solve 0 = s*k - 0*k + 20 for k.
-4
Let v(g) = g**3 + 15*g**2 + 13*g - 14. Let p be (14/(-3))/((-1)/(-3)). Let r be v(p). Let y be 11/4 + 2/8. Solve 3*k - y = -r for k.
1
Suppose 2*f - f = 0. Suppose 10 = 5*m - f*m. Solve -m*c + 15 = c for c.
5
Suppose 5*t - 3*t - 2 = 0. Let k be (t - (1 + 1))*-3. Suppose b = k*b. Solve 0*n - 4*n = b for n.
0
Suppose 108 = -0*p + 4*p. Suppose -4*w - p = -3*m, 3*m + 2*w - 13 + 4 = 0. Solve 0*d + m*d + 25 = 0 for d.
-5
Let l(t) = -7*t - 42. Let v be l(-6). Solve 2*j - 2 + 10 = v for j.
-4
Suppose -y - 4*v - v = 0, -v = -5*y + 26. Solve 0 = -y*r - 1 - 4 for r.
-1
Let b(n) = 8*n**2 - 3*n**2 - 1 + n - n**3 + 0. Let j be b(5). Suppose -p + j = 2. Solve 7*r + 20 = p*r for r.
-4
Let u be (-8)/(-6)*(-3)/(-2). Let j = -1 + 2. Suppose 8 = p + j. Solve p*d + 25 = u*d for d.
-5
Let t(o) = o**3 + o**2 - o + 1. Let z be t(1). Suppose 2 + 8 = z*m. Let x = 39 - 39. Solve m*a + 20 = -x*a for a.
-4
Suppose 3*r - 24 = -3*q, 4*r + 3*q = 40 - 13. Solve -w = -4*w + r for w.
1
Let l = 20 - -11. Suppose 2*f - l = 209. Suppose f = 2*v + 3*v. Solve -9 = -3*c - v for c.
-5
Suppose -14*a + 3*a = 5*a. Solve a*n + 6*n + 18 = 0 for n.
-3
Let z(u) = -u**3 + 8*u**2 + 9*u + 6. Let o be z(9). Solve -31 + o = -5*q for q.
5
Let p(o) = 4*o**2 - 4*o + 2. Let f be p(2). Let q = f + -15. Let b be 1/5 + (-9)/q. Solve -b*s - 3*s = 0 for s.
0
Let j be 2/11 - (-18)/(-99). Let o be (0 - 2)/((-2)/4). Solve j = -3*y + 2*y - o for y.
-4
Let f = -42 - -42. Solve 10 = 5*c - f for c.
2
Let i(u) = -u**3 + 13*u**2 - 11*u - 2. Let k be i(12). Solve f - k = -f for f.
5
Let p(q) = -q. Let g be p(0). Suppose -16*w - 29 + 125 = 0. Solve g = x - w*x for x.
0
Let m be 8 + -7 - (-4 - 0). Solve -2*c - m = -13 for c.
4
Suppose 0 = -4*y + y - 3. Let z be (-6 - (0 + -3))*y. Solve 0 = -z*x + 5*x + 6 for x.
-3
Suppose -5*r + 17 + 22 = 2*p, 4*r + 2*p = 32. Solve -l + r = 3 for l.
4
Suppose -m - 2 = -4. Solve 0*p = -m*p + 4 for p.
2
Let g = -52 - -57. Solve g*y = -5 - 0 for y.
-1
Let k(d) = d**3 - 10*d**2 - 2*d + 15. Let l be k(10). Let i(p) = -p**3 - 5*p**2 + p + 5. Let w be i(l). Solve 0*n - 2*n + 2 = w for n.
1
Suppose 0 = -19*b + 20*b - 9. Solve 0 = b*m - 8*m + 4 for m.
-4
Suppose -9*w = -5*w + 36. Let v = w + 13. Solve 2 = -3*s - v for s.
-2
Let b(v) = 3*v + 3. Let k be b(-1). Suppose -5*r + 46 + 29 = k. Solve -4*o + r = o for o.
3
Let b be (0 - 0)/(-7 - -5). Let f(u) = -u**3 - 5*u**2 + 2*u + 2. Let y be f(-5). Let v be (-34)/y - 3/12. Solve b = p + v*p - 25 for p.
5
Let a be 2*(-15)/(-6) - 2. Suppose -4*n = 2*m - 8 - 2, 3 = a*n + 3*m. Solve -n*q + 8 = -8 for q.
4
Suppose 3*y = 1 + 2. Let q be 3/6*6*y. Suppose 0 = c - q*c + 24. Solve -4*i + 4 = c for i.
-2
Suppose -4*r + a = -19, 5*a = 5*r + 2*a - 29. Suppose 7 - 3 = r*u + 2*p, 5*p = u - 12. Solve 0 = u*m - 2 for m.
1
Suppose 4*d - 2*c + 2 = 0, -2*d = -c - 2*c + 11. Solve 0 - d = m for m.
-2
Let m(x) = x + 11. Let g be m(-6). Suppose 0 = 2*l + k - 11, l - g = k - 4. Solve 3*w - 2 = l for w.
2
Let a(x) = -8*x - 3. Let i(f) = -3*f - 1. Let n = 17 - 6. Let u(m) = n*i(m) - 4*a(m). Let l be u(0). Solve 0 = 4*o - 7 - l for o.
2
Let v(i) = i + 12. Let r be v(-10). Suppose 6 + 54 = r*o. Let a be ((-6)/5)/((-4)/o). Solve 2*d = 5*d + a for d.
-3
Let n = 16 + -16. Solve n = -3*p - 0 - 3 for p.
-1
Let a(x) = x**3 - 3*x**2 + x + 4. Let g be a(2). Solve 0 = -0*q - q + g for q.
2
Suppose 0 = 2*j + 143 - 151. Solve 0 = g - j for g.
4
Suppose 0 = -3*v + 3*u + 12 + 18, 0 = 4*v + 5*u + 5. Suppose -3*a + v = -4*a. Let s(o) = o + 7. Let k be s(a). Solve -2*t = k*t for t.
0
Let o(c) = -2*c**3 - 4*c**2 - 2*c + 1. Let h be o(-2). Suppose 5*u = 5*s - h - 10, -2*u = s - 3. Suppose -6*d - s = -7*d. Solve -d*q + 1 = -14 for q.
5
Let w be ((-2)/7)/((-3)/21). Solve -5*h = -6*h + w for h.
2
Suppose -5*c = -25, 7 = j + 5*c - 23. Suppose 0*p - j*b + 27 = 2*p, 0 = 3*p - 5*b - 3. Solve p*r = 2*r for r.
0
Suppose -245 = -4*p - 13. Let h be p/5 + (-4)/(-10). Solve 2*s = -2*s - h for s.
-3
Suppose -2*h - 5*z = -z - 12, 1 = z. Solve p - h = -0 for p.
4
Suppose 0 = -3*u + 11 - 29. Let m = 8 + u. Solve 0 = h - m*h - 1 for h.
-1
Suppose 0*o = -3*o + 12. Let l = -1 - -4. Let p be (l - 4)*(1 + -1). Solve p = 4*w + o - 0 for w.
-1
Suppose 0 = -s + 16 - 0. Suppose -v = -3*t - 12 - 5, -2*v - 4*t - s = 0. Suppose v*b + 1 - 7 = 0. Solve b*c = c - 8 for c.
-4
Let b be (-5 - -3) + 3 - 1. Solve -g + 0*g - 5 = b for g.
-5
Suppose 0*z - 4*z + 44 = 0. Solve 5*r - 4 - z = 0 for r.
3
Suppose 3*r - 3 = -w, -13 = -2*r + w + 2*w. Suppose r*s = -k + 5, 2*k - 1 = 2*s - 3. Solve 4 - 2 = s*v for v.
1
Suppose 0*c + 4*c - 12 = 0. Let r = 45 - 43. Solve -c = r*n + 1 for n.
-2
Let f(i) = i**2 - i + 9. Let b be f(3). Solve -o = 2*o + b for o.
-5
Suppose -3*z + 2*w + 13 = -10, 3*z - 4*w - 31 = 0. Suppose v = 4*u + u + 10, v - 6 = 3*u. Solve v*a - z = a for a.
-5
Suppose -16 = -5*f + 64. Solve -f = 4*i - 4 for i.
-3
Suppose 0 = -3*p + 7*p - 8. Solve r + p = -0 for r.
-2
Suppose -15 = 4*h + h. Let n be (15/4)/(h/(-8)). Solve 0 = 3*a + n + 5 for a.
-5
Let c(b) = 4 + 0*b + b + 0*b. Let f be c(-3). Suppose z + 3 = 0, -5*j - f - 5 = 2*z. Solve j*n + 5*n = -20 for n.
-4
Let k = 45 - 43. Let p(a) = -8*a - 4. Let c be p(-4). Suppose -7*u + c = -3*u. Solve 0 = k*v - u*v for v.
0
Let c be 15/12 - 3/(-