 1 for p.
-1
Suppose 4*m = -5*l + m + 52, 0 = l - 2*m. Let z be -2 - -2*1/1. Suppose z = p - 5*p + l. Solve 0 = 2*g + 2 + p for g.
-2
Let m be 2 - 4/(8/10). Let g be (-2)/m*6/4. Suppose o = 5*h - g + 4, -12 = -4*o + 2*h. Solve o*r - 20 = 7*r for r.
-5
Suppose -3 = -2*m + 3. Let n = -355 + 361. Solve 0 = -6*o + m*o + n for o.
2
Let n(l) = -91*l**2 - 5*l - 3. Let m be n(-1). Let o = m + 109. Solve 7*s = 3*s - o for s.
-5
Suppose 3*l - 53 = -53. Solve l = 113*t - 115*t + 6 for t.
3
Suppose -5 - 13 = w. Let h be ((-5)/(-3))/((-6)/w - 0). Suppose 0 = 2*x + l - 5, -3*x = -0*l + 5*l - 25. Solve x*q = -h*q - 15 for q.
-3
Let i be 10/(-8)*(-43 + 31). Solve -7*v = -2*v - i for v.
3
Let y(u) = u**3 + 10*u**2 - 14*u - 13. Let t be y(-11). Solve 0*m + t = -4*m for m.
-5
Let b(t) = -5*t + 45. Let z be b(8). Solve z*w + 22 = 2 for w.
-4
Suppose 0 = -4*h + 2*g + 48, 0 = 26*h - 22*h + 5*g - 20. Solve 15*c + 20 = -h for c.
-2
Suppose -2*x + 3*m + 19 = 0, -5*m + 0*m - 15 = 5*x. Suppose 4*l + 8 = 5*l. Let s(q) = -q**3 + 8*q**2 + 2. Let o be s(l). Solve -o*i + 12 = x*i for i.
3
Suppose -2*j - 4 = -0*j. Let s = j + 5. Suppose z = 4*k - 52, -s*k - z + 2*z + 40 = 0. Solve 8 + k = 5*h for h.
4
Let b be ((-9)/(-6) - 1)*16. Suppose -2*l - b = 3*h - h, 0 = -5*h - 20. Solve l*z - z = -1 for z.
1
Suppose a = -4 + 1. Let t be 6 + (1 + a - 1). Solve 0 = -t*x - x for x.
0
Suppose 0 = -2*d + 10*d - 32. Suppose t = 2*b, 2*b = d*t - 1 - 11. Solve 7*r = b*r for r.
0
Let r(b) = -b**3 + 4*b**2 - 4*b + 6. Let l be r(3). Suppose 5 = l*v + 8. Let q be (-1 - 0)/(v/3). Solve q*k - 4 + 1 = 0 for k.
1
Suppose 0 = -l + 3 - 16. Let z(w) = -12*w**2 + 19*w - 5. Let r be z(2). Let x = l - r. Solve -3 = h - x*h for h.
3
Let x(u) be the third derivative of -u**4/24 + 7*u**3/2 - 13*u**2. Let z be x(20). Solve -2*i + 7 + z = 0 for i.
4
Suppose -5 = -5*s - 0*r - 5*r, 0 = -4*s - 2*r + 2. Solve s = 2*q - 5*q + 15 for q.
5
Let c(h) = -74*h - 190. Let l be c(-3). Solve -l*m = -28*m for m.
0
Let w = 346 + -346. Solve w = l + 8 - 8 for l.
0
Let j = -107 - -133. Let v = j - 18. Solve v = 4*b - 0 for b.
2
Let o = -449 - -465. Solve -8 = 4*l - o for l.
2
Let t = -242 + 257. Solve 0 = -j + t - 13 for j.
2
Suppose -3 = 7*n + 4. Let o be 2 + n + 1 + (-7 - -6). Solve -2*v + o = -5 for v.
3
Let n(b) = -2*b**3 + 15*b**2 - 6*b + 8. Let k be n(7). Solve 0*i + 45 = k*i for i.
3
Suppose -3*i + 4*s = -23, -13 = -4*i + 3*s + 27. Solve 0 = -18*l + i*l for l.
0
Let g be (-102)/(-8) - (-8 - 490/(-56)). Solve -g = x - 4*x for x.
4
Let l = -65 + -14. Let b = l + 83. Solve -c = b*c for c.
0
Let c be (-5)/((1 + 4)/(-5)). Solve -c*d = -0*d - 10 for d.
2
Let c(q) = -q**2 - 30*q + 219. Let i be c(6). Solve -8*j = -35 + i for j.
4
Suppose 5*q - 18 = 27. Solve -9*h = -12*h + q for h.
3
Let c(i) = -i**3 - 4*i**2 + 4*i - 4. Let j be c(-5). Suppose s - j = -y, -s = 2*y + y + 1. Let f = -3 - -7. Solve -s*b - f = 2 for b.
-3
Suppose 0 = -26*i + 3*i + 161. Solve -i*u = 14 + 21 for u.
-5
Let m = 2 - 1. Let f be -1*1/m*-5. Let n = 3 - -2. Solve -f*k = -n - 10 for k.
3
Suppose 5*f = -k + 50, -k = 3*f - 2*k - 30. Let j be (-14 + 9)*(-4)/f. Suppose 0 = 4*n + n + r - 10, -5*r - 31 = -j*n. Solve -a - n = -0*a for a.
-3
Suppose -31*z - 3*u - 8 = -35*z, -8 = -4*z - 2*u. Solve -12*o = z*o - 70 for o.
5
Let f(z) = -3*z - 1. Let y be f(-6). Let i = -128 + 118. Let o = y + i. Solve 1 = 3*p + o for p.
-2
Suppose -i - 10 = -6*i, 2*i - 16 = 3*g. Let l(u) = u**3 + 2*u**2 - 8*u. Let t be l(g). Solve -10 = 2*s - t*s for s.
-5
Let j be 4 - 16/(-13 + 5). Solve 14 - 44 = j*y for y.
-5
Let p(j) = -15*j - 3. Let c be p(-4). Suppose 5*a - c = 5*m - 12, -4*a + 36 = -m. Solve -4*z - a = 3 for z.
-3
Suppose -9*b = -5*b - 8. Suppose b*h + 3 - 9 = 0. Solve -h = 3*y + 3 for y.
-2
Suppose 16 = 2*v - 0*v + 4*w, v + 4*w = 16. Suppose -3*t - f - f - 6 = v, -3*t + 2*f = -6. Solve t*m = 4*m for m.
0
Let p = -16 - -41. Suppose 4*i = 3 + 1, 2*v = 3*i + 7. Suppose -x + v*g = g - p, 0 = 2*x + 4*g + 10. Solve -6 = x*k + 4 for k.
-2
Let p be 2 - ((-1 - 3) + 2). Suppose 2*f + 3*i - 19 = 0, 3*f = f + 2*i - 6. Solve 6*j - f*j - p = 0 for j.
1
Let t = 15 - -4. Let g(o) = -o**2 + 11*o - 4. Let n be g(5). Let v = 30 - n. Solve -t = -v*b - 7 for b.
3
Let m = 25 - 22. Let p be -6*((-14)/m)/7. Let w(d) = -d + 4. Let s be w(4). Solve -4*t - 8 + p = s for t.
-1
Let f(r) = r**2 - r + 2. Let v be f(-3). Let t = v - 11. Solve -t*h - 1 = -4 for h.
1
Suppose -70 = -5*s + 20. Let r = 23 - s. Solve -3 = -r*d + 17 for d.
4
Let b = 111 - 106. Solve -4*t + b*t = 4 for t.
4
Let d be 132/8*(-6)/(-9). Let s = d + -10. Solve 2*v = -s - 7 for v.
-4
Let o be (-20)/(-1)*(-66)/24. Let h be ((-4)/5)/(22/o). Solve -3*f + 5 = h*f for f.
1
Suppose -3*c - 14 = -2*j, -6*c = 3*j - c - 2. Suppose -100 = -j*q - 4*p, q = 5*p - 2*p + 25. Solve 6*u = u + q for u.
5
Let r be (-2 + -8 + 3)/(-1). Solve r = 55*l - 48*l for l.
1
Let c = -138 + 139. Let w be ((-1)/c)/((-17)/(-3) + -6). Solve -w*b = -0*b for b.
0
Let s(f) = f**3 - 14*f**2 + 15*f - 20. Let v be s(13). Solve 9*k - v*k = 0 for k.
0
Suppose -7*v = -14*v. Suppose v = -9*n + n. Solve 0 = -n*x + 4*x - 8 for x.
2
Suppose 0 = -44*a - 21*a + 1170. Solve 42*l - 48*l = a for l.
-3
Let p(f) = 1 + 25*f - 27*f - 25. Let s be p(-12). Solve s = -0*z + z + 2 for z.
-2
Suppose 3*h + 9 = 6. Let a be (2/4)/(1/(-2)). Let f be (0 + h)/1*a. Solve -f = b + 1 for b.
-2
Suppose 0 = 195*b - 199*b + 124. Solve 0 = -p + b - 26 for p.
5
Let g be (80/36 - -1) + 4/(-18). Suppose 4*z - 4*l - 28 = 0, 0 = 2*z + g*l + 2*l + 14. Solve -23 + 8 = z*i for i.
-5
Suppose -r + 4*q - 4 = 0, -5*r + 9*r = 2*q + 12. Solve -26*g = -22*g - r for g.
1
Let i(w) = 5*w - 22. Suppose -8 = 5*g - 38. Let h be i(g). Solve -o - 3*o = h for o.
-2
Let w = -2755 + 2760. Let h be 5 + ((-3)/3)/1. Solve h + 1 = -w*x for x.
-1
Suppose -3*y = -4*r + y - 16, 5*r - 3*y + 12 = 0. Let j be 2*((2 - -1) + r). Let m = -22 - -22. Solve j = 3*a - m*a for a.
2
Let k(y) = y**2 - 13*y - 21. Let d be k(14). Let q(i) = -i - 5. Let t be q(d). Solve -t*n = n for n.
0
Suppose n - 4 = 0, f - 2*n + 18 = 3*n. Suppose 3 = -f*a + 7. Let m be (4/a)/((-1)/(-10)). Solve 5 + m = -5*z for z.
-5
Suppose -6*f = -f - 65. Suppose 0 = 2*q - 85 - 29. Suppose 5*x - f = q. Solve 3*y + 5 = x for y.
3
Let b = 38 + -23. Suppose b*s = 12*s + 12. Suppose 0*v + s*v = 16. Solve -t - 1 = -v for t.
3
Suppose 3*g + 8 = 5*g. Suppose -n - k + 6 = -2*k, -3*k = g*n - 24. Let b be (2 - 1)*(-12)/(-1). Solve -3*r = -n*r + b for r.
4
Let a(k) = -3*k. Suppose 0 = -3*z + 11*z. Let m be a(z). Solve m = 3*u + 2*u + 5 for u.
-1
Let m(q) = -q**3 - 5*q**2 + 7*q + 6. Let j be m(-6). Suppose 3*d + j = 24. Suppose d = -3*b + 7*b. Solve -11 = -b*z - 3 for z.
4
Suppose 2*h - 5*f - 35 = 0, 0 = 5*h - 0*f - 4*f - 45. Suppose -3*v - h = -17. Solve m - v = -m for m.
2
Let r be 3/((-1 - -3) + -1). Let q(m) = -5*m**3 + m**2 - 1. Suppose 3 = -8*h - 5. Let a be q(h). Solve r*i + 10 = -a for i.
-5
Suppose -a = -4*j + 7, -5*a + 3*j + 0*j = 35. Let c be (5 + 1)/((-14)/a). Let p be c - 0/(8/(-2)). Solve -2*s + 9 = p for s.
3
Let k be 65/15 - 3 - 23/(-3). Suppose -k*c + 20 = 2. Solve -5*i + 7*i = c for i.
1
Let v be 6*(4 + (-44)/12). Let s be (9/(-6))/(1/(-4)). Suppose -4*h - v = -s*h. Solve l - h = -4 for l.
-3
Suppose 11 = f + 5*c, f + 4*c + 7 - 17 = 0. Solve -f*g - 9 = 3 for g.
-2
Suppose -2*t + 2 = -2*u, 8*t - 4*t + 2*u - 10 = 0. Solve 0 = 5*x + t*x + 14 for x.
-2
Suppose -2*o = -5*k + 1533, -171 = -k - 4*o + 140. Solve 283 = -6*j + k for j.
4
Suppose -f + 52 = 3*f. Suppose 15*r - 48 = -18. Solve f = -r*y + 5 for y.
-4
Suppose y + 0 - 4 = -h, -7 = 2*h + 5*y. Suppose -6 = -5*u + h. Let r be (-6 + 7)/((-1)/(-3))*3. Solve -r = 3*c - u for c.
-2
Suppose -4*g - 16 = 8. Let s(b) = b**2 + 10*b + 28. Let d be s(g). Solve t - d = -t for t.
2
Let n(g) = 2*g**2 - 9*g - 51. Let s(w) = w**2 - 5*w - 25. Let m(o) = 2*n(o) - 5*s(o). Let i be m(9). Solve 0*a - i*a = 20 for a.
-4
Let u = 2 + -7. Let g(s) = -s - 3. Let o be g(u). Suppose -o*b = -3*b. Solve -y - y = b for y.
0
Let x = 324 - 305. Solve 36 = 7*g - x*g for g.
-3
Let l = -47 - -51. Solve 0 = 3*f + f + l for f.
-1
Let c be (8/5)/((-6)/(-30)). Solve 11*h = 13*h - c for h.
4
Suppose -4*v - 100 = -172. Solve -19*p = -v*p + 5 for p.
-5
Let a(l) = -l**2 + 