l + 16 for l.
4
Suppose 15*m - 5*i - 27 = 11*m, 2*m + 2*i = 18. Solve -m*l + 29 = -11 for l.
5
Suppose -2*p - p - u + 6 = 0, 5*u = 3*p - 6. Let z be (-6)/(-4) - 693/22. Let w = z - -36. Solve -w*g = -p*g for g.
0
Let w = -1695 - -1744. Solve 2*h + 57 = w for h.
-4
Let s = -10 + 44. Let l = s + -32. Solve -7 - 1 = l*r for r.
-4
Suppose 3*h - 198 = -15*h. Solve -3*k - h = -2 for k.
-3
Suppose 30*a + 44 = 374. Solve a*d - 33 = -0 for d.
3
Suppose 48 = 4*f - 2*u, -4*u - 23 - 1 = -2*f. Solve 29*m = 32*m - f for m.
4
Let w = -300 + 300. Solve -7*k + 14*k + 21 = w for k.
-3
Let r = 1 - -2. Let k(j) = j**3 + j**2 - j + 4. Let n(c) = -2. Let b(s) = k(s) + 4*n(s). Let w be b(r). Solve 5*y - w = -9 for y.
4
Let h be (-1)/(-2*(-5)/(-10)). Let l be h*(-2 + -2 + 5). Solve -4*a + l = 17 for a.
-4
Let a(c) = -66*c**3 + 2*c**2 - 1. Let f be a(-1). Let s = f - 67. Solve s = -3*w + 2*w + 3 for w.
3
Let i = -35 + 43. Suppose i*q - 13*q = -5. Solve 0 = 2*g - q + 5 for g.
-2
Suppose 6*x = 4*x - 4. Suppose 5*u + 9 = -b - 18, u = -4*b - 13. Let q = x - b. Solve q = -k - 0*k for k.
0
Let a be 2*(0 - 3/(-2)). Suppose 3*l = -8*l. Suppose 12*y - 4*y = l. Solve 9 = -a*v - y for v.
-3
Let m(n) = -n - 2. Let p be m(-8). Suppose 0 = 2*w - p + 2. Solve -w = -4*o + 6 for o.
2
Let j = -565 + 567. Solve 0 = r - j - 0 for r.
2
Let a be 8/2*(-6)/(-4). Let d = -1631 + 1640. Solve 3*u = a*u - d for u.
3
Let d = -7 - -12. Suppose -d*r = -a - 6, -2*a - 2*r + 4*r + 4 = 0. Suppose 0 = 2*j - 0*j - a. Solve y = -0*y - j for y.
-2
Suppose 3*a - 4*f = 1, 6*a + 3*f = 3*a + 15. Solve -a*j + 20 = 7*j for j.
2
Let a(w) = 3*w**2 - 19*w - 31. Let g(k) = k**2 - 9*k - 15. Let x(v) = 2*a(v) - 5*g(v). Let n be x(-5). Solve -n*m = 2*m + 20 for m.
-4
Let l(u) = u**3 - 25*u**2 + 69*u - 48. Let a be l(22). Solve a*i = 13*i - 10 for i.
-2
Let x(h) = 2*h**3 + 25*h**2 + 6*h - 63. Let o be x(-12). Solve 0 = i - o + 4 for i.
5
Suppose 0 = w + 2*a - 6*a + 116, -3*w - 278 = 2*a. Let q = w - -96. Solve q = s - 1 - 3 for s.
4
Suppose 5*p + 10 = 5*q, -3*q = -p - 3*p - 2. Suppose t + 4*k - 2 = -10, 3*k = t - q. Solve t = -4*x - 4 + 8 for x.
1
Let t be ((-51)/3)/((-9 - -11) + -3). Solve -16*s + t*s = -3 for s.
-3
Let t be (5/(-10))/((-2)/4). Let o be (9 + -2 + 0)*t. Solve -5*m = 3 + o for m.
-2
Let x(v) = -v**2 + 18*v - 23. Suppose 2*m - 4*i = -m + 46, -3*m + 44 = -2*i. Let y be x(m). Solve 13 = 5*k + y for k.
-4
Let z(c) = -8*c + 26. Let w be z(3). Let l be (-1)/(1 + 14/(-12)). Suppose l = 5*n - w*n. Solve 3*k = 2*k + n for k.
2
Suppose 0 = -3*h + 9, -3*z + h + 8 = 41. Let g be (288/(-20))/4*z/6. Solve g = -3*r + 3 for r.
-1
Let q(l) = l**2 + 8*l + 11. Let r be q(-7). Let y be (3/(-2))/((-4)/48). Suppose -r*f = -7*f + y. Solve -b - 3 = -f for b.
3
Suppose 7*p = -31 + 115. Suppose -6*i + 0 + p = 0. Solve i*u - 4*u - 8 = 0 for u.
-4
Let m(k) = k**3 - 21*k**2 - 21*k + 23. Let h be m(22). Suppose v - 3*q - 15 = -2*q, -q + h = 2*v. Solve -4*p - v = p for p.
-4
Suppose 2*z = -4*b - 2, -4*b + 4 - 3 = -z. Solve -4*t + b*t - 16 = 0 for t.
-4
Suppose 3*d = 102 + 21. Suppose 6 = -2*u - 4*v, 2*v = 5*u - 2*v - d. Suppose u*h + 6 = 4*n - 7, 0 = -5*n - h + 9. Solve n*j + 2 = 4 for j.
1
Let m = -5 + 9. Suppose 22 = n - m*c, 0 = -2*n + 4*n - 4*c - 24. Solve -4*d + n*d = 0 for d.
0
Suppose 2*g = 2, 4*b + 4 = 5*g + 15. Let v be 8/1*(-1)/2. Let l = b + v. Solve l = -p - 5 for p.
-5
Let a = 317 + -293. Solve -o + 7*o = -a for o.
-4
Let a(r) = -2*r**3 - 4*r**3 + 5*r**3 - 1 + 2*r. Let i be a(1). Let n = 4 - i. Solve -1 = -n*y + 15 for y.
4
Let r be (6/(-4))/3*-10. Suppose q = 3*v - 1, 15 = q + 4*v + 2. Suppose 2*n - 9 = q. Solve 2*t + r = n*t for t.
1
Suppose y - 5 = -0*y. Let g = -3156 + 3173. Solve -g = y*c - 12 for c.
-1
Let n be 5440/30*(-42)/(-8). Let z be n/63 + (-4)/36. Solve 5*q - 5 = -z for q.
-2
Let k be ((-35)/14)/(3/(-6)). Solve -r = -k*r + 20 for r.
5
Let u(t) = -t**2 + 9*t + 2. Let b be (27/(-12) - -3)*12. Let o be u(b). Let a be (-18)/(-27) + 4/3. Solve 0 = -o*q + 6 - a for q.
2
Let z be 152/56 + (-4)/(-14). Suppose 13 = -z*v + 31. Solve 2*d + v = -d for d.
-2
Let u be (-420)/(-24) - (-1)/(-2). Suppose 0 = 20*b - u*b - 24. Solve -2*p + b = -0*p for p.
4
Suppose b - 2*h = 3 - 1, 0 = -2*b - 3*h + 11. Let o be b/(-4 - 0)*-23. Solve o = -5*v + 3 for v.
-4
Suppose 0 = 4*h - 3*q - 266, -203 = -0*h - 3*h + 4*q. Solve -12*d = d - h for d.
5
Let u = -28 + 37. Let h(l) = l**3 - 5*l**2 + l - 1. Let s be h(5). Suppose 9*g = s*g. Solve -3*p = -g*p + u for p.
-3
Let h(s) be the third derivative of s**6/120 + s**5/15 - s**4/4 - 5*s**3/6 - 3*s**2. Let w be h(-5). Solve 2*d - 1 + 3 = w for d.
-1
Let c(u) = -u - 7 + u**2 + 4 - 4. Let m be c(4). Solve m*s + 2 = -3 for s.
-1
Let u be 3 - (-3 + 5)/(-2). Let v be (1 - u - -3)/(-1). Solve 3*j = -v*j - 9 for j.
-3
Let d be (-166)/(-3237) - (-386)/78. Let g be ((-60)/2)/(2/(-3)). Let j = g + -32. Solve d*y - j = -3 for y.
2
Suppose -t - 2 = -2*m, -32 = -4*m - 2*t - 3*t. Suppose 2*q + 5 = m. Let b be 3 - (2 + 1/q). Solve g = -b*g + 9 for g.
3
Let j(z) = z**3 - 3*z**2 - 9*z - 5. Let b be j(5). Solve 4*w + 2 - 6 = b for w.
1
Suppose -223 = 5*c - 233. Solve c*t = -7 - 1 for t.
-4
Suppose 6*o - 260 = -74. Let s = o + -29. Solve -s*x = -x + 4 for x.
-4
Let x(y) = -y**2 - 9*y + 14. Let a be x(-10). Suppose 5 = a*c + 4*i - 23, -2*c - 4*i + 20 = 0. Solve 0 = c*f - 5*f for f.
0
Suppose r = -0*r + 12. Let t be (r/10)/((-15)/50). Let a be (t/6)/(3/(-9)). Solve b = -b + a for b.
1
Let n = 19 + -19. Suppose n = j + 4*j - 95. Let v = j + -17. Solve 1 + v = -c for c.
-3
Suppose 21 = -53*g + 60*g. Solve 0 = -t + 2 - g for t.
-1
Let z(d) = 3*d**3 - 2*d**2 - 2*d + 3. Let b be z(2). Let k = 11 - 6. Suppose -k = -2*t + b. Solve 0 = 5*o - 15 - t for o.
5
Let g be (75/(-10))/((-9)/24). Let p be g/(-6)*12/(-10). Solve -s + 0*s = p for s.
-4
Let c(w) = w**2 + 2*w - 4. Let b be c(-4). Let d(u) be the first derivative of u**4/4 - 4*u**3/3 + u**2 - 4*u - 26. Let i be d(b). Solve -i = 4*l + 8 for l.
-3
Let j be (-4 - -1) + 36/156*13. Solve j*t - t = 5*t for t.
0
Suppose 2*s - 3*s = -8. Suppose -s = 4*t, 0*z + 2*t = -z - 2. Let d be (z/5)/((-2)/(-10)). Solve b + 3 = d for b.
-1
Let g be 146 - 32 - (-2 + 1). Let x = 118 - g. Solve s - x*s - 10 = 0 for s.
-5
Let i be 3*690/(-90)*(-1)/1. Solve -i*o = -6*o + 17 for o.
-1
Suppose -63 = -2*s - 3*a, 3*s = -3*a + 8 + 79. Suppose 2*d = -n - 3*n - 28, 4*d + s = -4*n. Let c = 10 + n. Solve 2*q + 2 = -c for q.
-2
Suppose 0*y + y = 1. Suppose y = -j + 4. Suppose -j*w = -12 - 3. Solve 25 = -0*a - w*a for a.
-5
Suppose 44*c = 27*c + 51. Solve -c*a = 42 - 36 for a.
-2
Suppose -2*w - 6*k = -k - 108, w = k + 40. Suppose 3*q + w - 74 = 0. Solve o = -o + q for o.
5
Let h = 172 + -172. Solve 3*y - 5 + 11 = h for y.
-2
Suppose -2*n = -26*n + 2*n. Solve -9*q + q + 8 = n for q.
1
Let u be (5/(-2) + 2)*2. Let y(f) = -12*f**2. Let m be y(u). Let i = -9 - m. Solve 0*d - 9 = -i*d for d.
3
Suppose 5 + 2 = -b. Let j(a) = -a**3 - 7*a**2 + a + 9. Let r be j(b). Solve g - r*g - 4 = 0 for g.
-4
Suppose 17*y = 21*y + 8. Suppose o - 3*h + 2 = 6, 33 = 5*o - 2*h. Let v = y + o. Solve 0*z - 5*z = -v for z.
1
Let t be (-148)/28 + (-2)/(-7). Let p(h) = h**3 + 7*h**2 + 2*h - 3. Let j be p(t). Let b = j - 30. Solve 2*d - 3 = b for d.
5
Suppose -a - 5*b + 17 = 0, 6 = 5*b - 2*b. Suppose 9*s - a*s - 8 = 0. Solve y + 0*y - s = 0 for y.
4
Let r be 1 - 2*9/(-6). Suppose -3*j = -4*l - 13, -2*j = -r*l - j - 15. Let a be (-22)/l + 3/(-2). Solve 0 = 3*m - a - 11 for m.
5
Let z(j) = -2*j**3 + 11*j**2 + 12*j - 6. Let g be z(6). Solve -g = -2*a + 8*a for a.
-5
Suppose -4*o = 0, -3*i + 0*o - 4*o + 6 = 0. Suppose 2*q - 6 = 22. Let h be ((-50)/35)/(15/(-42)). Solve -q = h*c + i for c.
-4
Suppose 3*q - 1 = 5*l, 3*q = l + l + 4. Let u = 128 + -123. Solve -8 = -u*g + q for g.
2
Suppose 0 = 278*s - 284*s + 60. Let d be 3/((-6)/(-4) + 0). Solve -d = 4*k - s for k.
2
Let n be (-33)/(-12) - -4 - (-5)/20. Solve -a - 5 = -n for a.
2
Let r(k) = -4*k**2 + 143 - 144 - k**2. Let z(i) = -i**3 - i**2 + i - 1. Let j(u) = r(u) - z(u). Let b be j(5). Solve 0 = 2*f + 3*f + b for f.
-4
Let y(k) = k**3 - 12*k**2 + 11*k - 14. Let n be y(11). Let z = n - -20. Solve z = -v + 2 for v.
-4
Let k = 307 - 305. Solve -k = 9*r - 8*r for r.
-2
Let u(f) = -f**3 