- 7 for m.
-4
Let m(q) = -q**2 + 6*q - 5. Let s be m(4). Solve 0 = s*o - 7*o + 20 for o.
5
Suppose -b - 34 - 52 = -2*p, -4*p - 3*b = -162. Let d = p - 40. Solve r - d = 3*r for r.
-1
Suppose -4*f + 20 = -4*h, h - 2 + 15 = 5*f. Let w be (1 + f/(-6))/(4/18). Let l be 2/2 + (-30)/(-2). Solve v = -w*v + l for v.
4
Let k be (-1 + 16)/3 - 3. Suppose 7 - k = v. Suppose v*f + 5 = 3*d, 0 = 3*d - f + 3*f + 2. Solve d = 3*t - 5*t for t.
0
Let i(y) = -9*y**2 + 4*y - 4. Let v be i(2). Let q = v - -34. Solve d - q = 2*d for d.
-2
Let m be (2 - 5/2)*0. Let t = 25 + -22. Suppose -t*w = 2*w. Solve -3*z + m*z = w for z.
0
Let r be -2*81/(-36)*16/18. Solve -r*u = 12 - 28 for u.
4
Let j(b) = -43 + 48 + 3*b - 4*b. Let c be j(5). Let a = c + 2. Solve -a*t + 6*t + 20 = 0 for t.
-5
Let d(q) = -5*q**2 + 2. Let h(v) = 4*v**2 + v - 3. Let p(r) = -5*d(r) - 6*h(r). Let f be p(4). Solve -c - c = f for c.
0
Let y be (-8)/(-44) + 39/(-33). Let m be (2 + y)*(-12)/(-6). Solve -m*b - b = 0 for b.
0
Let x(b) = -2*b + 10. Let u(c) = -2*c + 16 + 0*c - c + 3. Let z(r) = 3*u(r) - 5*x(r). Let y be z(-7). Solve -4*o + 4 = -y*o for o.
1
Suppose -10*i = -5*i. Suppose 4*o - 23 = -k - 0*o, k = -2*o + 13. Suppose k*a - 22 - 8 = i. Solve 9*v - a = 4*v for v.
2
Let s(r) = -r**3 - 7*r**2 + 5*r + 1. Let d be s(-8). Solve -g + 6*g + d = 0 for g.
-5
Let d(c) = -c**3 + 18*c**2 - 48*c + 66. Let z be d(15). Solve 7*p = z - 0 for p.
3
Let c(k) = k**3 - 13*k**2 + 33*k - 18. Let h be c(10). Solve 14*n = h + 2 for n.
1
Let q = -1756 - -1788. Solve 15*p - 23*p = -q for p.
4
Suppose -18 + 26 = h. Suppose -h*g = -13*g + 10. Solve 2*b - b + g = 0 for b.
-2
Let g = -1417 - -1422. Solve -6*t - g = 7 for t.
-2
Suppose 4*u + 4*y = 28, -6*y = -5*u - 2*y + 80. Solve 7*n + u = 3*n for n.
-3
Let q(u) = 3 + 0 + 5*u**3 - 7*u**3 + 3*u**3 + 5*u**2 + 4*u. Let t be q(-4). Solve -t*z + 0 = -3 for z.
1
Suppose 18*p = 11*p + 77. Solve 5*u = p*u - 18 for u.
3
Suppose -33 + 45 = 4*a. Suppose -a*g = 4*m - 2, 3*g - 7 = 3*m - 2*m. Solve -5 - 5 = g*h for h.
-5
Suppose 2 + 23 = 5*p. Let r = -681 + 698. Solve -p*u - r = -2 for u.
-3
Let p be (-8)/(-140)*5*28. Suppose -2*w + p + 0 = 0. Solve 5*t = w*t + 5 for t.
5
Let q = 69 - 59. Suppose -6*v + q = -v. Solve -v*u = 5 - 3 for u.
-1
Let k be (-2)/1 - (-55 + 11 + 10). Solve 6*a - 2 = -k for a.
-5
Let v be (11 - 1)/((-110)/(-308)). Solve -31*a - 12 = -v*a for a.
-4
Let r(d) = d**3 - 4*d**2. Let z be r(4). Suppose 2*i + 12 = 5*i. Let m(a) = 5*a + 35. Let p be m(-7). Solve z*l - 2*l + i = p for l.
2
Suppose -1 - 16 = 4*q - 5*t, 5*t = 3*q + 19. Suppose -q*a + 15 + 21 = 0. Let d be ((-4)/(-8))/(3/a). Solve l = d*l for l.
0
Suppose 8*g - 2*c + 9 = 13*g, -12 = 4*c. Solve 0 = w + 8 - g for w.
-5
Let o(u) = -11*u - 51. Let f be o(-6). Suppose -3*j + 3*k + k + f = 0, 0 = -j + 5*k + 5. Solve 6 + 14 = j*z for z.
4
Let k be 40/(-6)*(-204)/272. Solve -k*b = 11 - 26 for b.
3
Suppose -51*g + 128 + 2473 = 0. Solve -4*u - g = -59 for u.
2
Let t be (-9)/(-2)*((-4)/3 - -2). Suppose t*o - 30 = -7*o. Solve 0 = -o*l - 2*l - 10 for l.
-2
Let w = -100 + 101. Solve q - 3 = -w for q.
2
Let y be (-5 - 0)/(((-28)/7)/4). Let k be ((-1)/y)/(6/(-60)). Solve -k*s = 2*s + 4 for s.
-1
Suppose -2*s - 5*n + 20 - 1 = 0, 0 = 3*s + 3*n - 15. Let d = -11 + 19. Let z be d/6*3/2. Solve -4*r - z = s for r.
-1
Suppose -2*g - 6 = -g. Let v = g + 8. Solve 1 - v = -l for l.
1
Let b(u) = -u**3 + 20*u**2 + 20*u + 43. Let v be b(21). Solve -24*k = -v*k + 10 for k.
-5
Suppose 2*v + 6 = 2*w, 2*w + 3*v = w + 7. Suppose -w*z + 2*g + 55 = 3*g, -2*z + 17 = -3*g. Solve 18*j = z*j for j.
0
Let f(x) = -10*x + 346. Let g be f(33). Solve 45*t - 41*t + g = 0 for t.
-4
Let y = -46 - -50. Suppose 1 - 9 = -y*l. Solve -f - l = 3 for f.
-5
Let g be 7 + (3 - -2 - -6). Solve 6*y + 0*y = -g for y.
-3
Suppose -8*g = -13 - 179. Suppose 12*w - g = 8*w. Solve 0*r - w = 3*r for r.
-2
Suppose 483*k = 476*k + 91. Solve 3 = k*x + 3 for x.
0
Let t(o) = o**2 + o. Let q be t(-2). Suppose -5*i = q*u - 5, 0 = u - 3*u - i + 1. Suppose 5*p - 2*p - 13 = -f, 4*f - 5*p - 1 = u. Solve 5*b - f = 1 for b.
1
Let z(d) = -d**3 - 10*d**2 + 12*d + 13. Let p be z(-11). Suppose -4*u + 9 = -2*u + 3*r, 0 = p*u + 5*r - 11. Solve t + u*t = 8 for t.
2
Suppose -12 = -4*j + 3*m, -5*j - 114*m + 116*m + 15 = 0. Suppose p = -1 + 5. Suppose 0 = 2*n + p*q - 16, -2*q + 7*q = 3*n - 2. Solve j*u - n = -1 for u.
1
Suppose 5 = -8*v - 187. Let m(s) = s**3 - 6*s**2 + 3*s - 4. Let b be m(4). Let y = v - b. Solve -4 = -j - y for j.
4
Let z be (4/3)/(2/(-6)). Suppose -68 = -6*r + 23*r. Let v be (z + 6)*(-6)/r. Solve 4*w = -v - 1 for w.
-1
Let a be (27/6)/(33/88). Solve 3*y - 6*y + a = 0 for y.
4
Let i(x) = 5*x**3 + 19*x**2 - 21*x - 21. Let h(c) = 6*c**3 + 18*c**2 - 20*c - 21. Let d(n) = -4*h(n) + 5*i(n). Let g be d(-24). Solve 4*a = g*a + 2 for a.
2
Let l = -29 + 45. Let k(y) = -1 - y**2 + 5 + 5 + l*y. Let b be k(16). Solve 0 = 3*q + 6 + b for q.
-5
Let r(i) = 7*i**2 + 55*i. Let w be r(-8). Solve -w*p - 40 = 2*p for p.
-4
Suppose -30 = -8*z - 2*z. Solve -5*y + 6*y = z for y.
3
Suppose 2*f - 5*f - 3 = -x, 4*f = 4*x - 12. Solve f = 8*k + 10 + 30 for k.
-5
Suppose 4*h - 3*c - 3 = -6, -3*h + 5*c - 16 = 0. Let s(z) = z**2 - 7*z - 4. Let w be (2/(-4))/(3/(-48)). Let t be s(w). Solve -t*b + 11 = h for b.
2
Suppose -11*b + 7*b - 544 = 0. Let g = 136 + b. Solve g = -y + 3*y - 6 for y.
3
Suppose -2*k - 9 = -19. Suppose -2*p - 4 + k = -l, 5*p + 2*l = -2. Suppose 0 = 4*c - 19 - 21. Solve p*f = -2*f - c for f.
-5
Let d = -181 + 180. Let n(h) be the first derivative of -15*h**2/2 - 1. Let p be n(d). Solve -l = 4*l - p for l.
3
Let u = 232 - 227. Solve -z + u = -0*z for z.
5
Let r = 103 - 73. Let i = -83 + 88. Solve -r = -5*h - i for h.
5
Let f(t) = -4*t + 28. Let i be f(5). Suppose 0 = 5*q - 7*j + 3*j - 56, q = 4*j + i. Solve q = 3*p - 3 for p.
5
Let b(g) = g**2 + 4*g - 71. Let r be b(7). Solve 0 = -0*c - r*c - 24 for c.
-4
Let l(x) = -2*x**2 + 6*x + 6. Suppose 2*s + 20 = 6*s. Let m be l(s). Let n = 16 + m. Solve n*y = 5*y - 15 for y.
5
Suppose 2*p - 12 = -2*n, 0*p - 2*n + 10 = p. Let l be (0 + p)*7/2. Solve 4*f = l*f for f.
0
Let t(s) = s + 13. Let a be t(-10). Suppose 0 = a*h - 1 - 5, 8 = x + 4*h. Solve -2*o + x*o = -2 for o.
1
Let y(a) = a - 3. Let b be y(6). Let n be (b/(-9))/(2/(-72)). Let s = 13 - 13. Solve s = -8*c + 4*c - n for c.
-3
Let d be (-1)/(-6) + (-52)/24. Suppose -2*n = -13 + 1. Let r = n + d. Solve r*b = 6*b for b.
0
Suppose 0 = 3*w + d - 272, w + 388 = 5*w - 5*d. Let v = w + -92. Solve 3*n + n = v for n.
0
Let y(q) = -q**3 - q**2 + q - 1. Let b(t) = t**3 - 2*t**2 + 2*t - 4. Let l(g) = b(g) + 2*y(g). Let u be l(-5). Let m = -1 - u. Solve m = -5*d + 2*d for d.
0
Suppose 4*z = -b + 18, -4*b - 12*z = -8*z - 36. Solve -3 - 27 = b*t for t.
-5
Suppose l - 171 = -2*l. Suppose -3*i + 29 = 3*o + o, -3*i + l = -3*o. Let r = i + -5. Solve r = -6*u + u for u.
-2
Let t(b) = b**2 + 1. Let p be t(1). Suppose -3*u + 2*u - 3 = -g, 2*g + 4*u = 18. Suppose -8 - 7 = -g*a. Solve -a*v + p*v + 4 = 0 for v.
4
Let r(g) = 2*g**2 + 2*g - 1. Let j be r(-2). Let x = -3 - j. Let i = -4 - x. Solve 0 = -i*b - 0*b - 10 for b.
-5
Let z be (-3*(-20)/(-75))/((-2)/5). Suppose z*h - 7 = -k, 2*k = -3*h - 5 + 18. Solve k*b + 1 = -14 for b.
-3
Let z(i) = 6*i**3 + 7*i**2 + 17*i + 10. Let o(k) = 7*k**3 + 6*k**2 + 18*k + 10. Let x(r) = 5*o(r) - 6*z(r). Let b be x(-11). Solve b - 2 = n for n.
-1
Let o(y) = 19*y - 11. Let c be o(1). Solve c*m = -26 - 14 for m.
-5
Suppose -4*i = -0*i - 32. Let j = -4 + i. Suppose n - j = -0*n. Solve r + 25 = -n*r for r.
-5
Let i(j) = 20*j - 2. Let u be i(5). Suppose 2*o - u = 4*r, -5*o + o - 54 = 2*r. Let t be 5/r - 1/(-5). Solve t*p = p for p.
0
Suppose 4*i = 71 - 55. Solve 5*f = -i*f - 45 for f.
-5
Suppose 0 = -4*p + 2*p + 6. Suppose 14 = 5*x - 2*y + 5*y, -3*x = p*y - 6. Solve l + 10 = -x*l for l.
-2
Suppose 2*t = 4, -721 = -2*a - 5*t - 699. Solve 0 = -70*z + 68*z + a for z.
3
Suppose -2*a - 1 + 3 = -j, 3*j + 4*a = 14. Solve -l = j*l - 12 for l.
4
Let h(q) = -q**3 - 2*q**2 + 3*q - 2. Let f be h(-3). Let o be 2 - (f - -1)*-2. Suppose 0*r = 3*r - 9. Solve 2*k - 5*k + r = o for k.
1
Suppose -13*o - 60 = -15*o. Suppose 0 = 4*g - 3*a - 97, a - o - 3 = -g. Solve -g = 4*b - 8 for b.
-5
Suppose 8 = -2*p + 5*n - 