a + 36. Solve a*m = p*m for m.
0
Suppose 27*v = 254 - 65. Solve -v*c + 30 = -c for c.
5
Suppose 0 = -2*w + 7*w - 45. Let q = -8104 + 8108. Solve -q*i = -i + w for i.
-3
Suppose 7 = -3*y - 4*i, 3*i + 6 = -5*y + 3*y. Suppose 2*w - 20 = -y*w. Solve 3*u - 1 = w*u for u.
-1
Let s = 3 + -2. Let p be (-99)/(-6)*(s + 1). Suppose -5*q = 2*t + 5, 3*q = -q - 12. Solve -p + 8 = t*h for h.
-5
Let y(c) = -c**2 - 11*c + 1. Let p be -15*(2 - 12/4). Suppose 0 = -2*j - 0*i + i - 17, 3*i = -p. Let m be y(j). Solve -3 - m = -4*f for f.
1
Let j be (-2)/17 - (-1039)/17. Solve 57*r - 16 = j*r for r.
-4
Suppose -b - b + 10 = 0. Suppose b = 2*a - 7. Solve 5*c - a = 4 for c.
2
Let y(v) = -v**2 - 4. Suppose 0 = -q + 2*q. Let x be y(q). Let u = -3 - x. Solve 4*c - u = 19 for c.
5
Let l(m) = 2*m**2 + 1 - 6*m + 9 + 2*m**2 - 2*m**2. Let y be l(2). Solve -3*v = -y - 3 for v.
3
Suppose -z = -5*z + 8. Suppose 4 = 5*y - 11. Let a be (y - 4 - -2) + 5. Solve -z*c + a = 2 for c.
2
Let t = -420 + 426. Let w(v) = -v - 2. Let s be w(-4). Solve 4*g - s*g = -t for g.
-3
Let j = 4 + 3. Suppose -2*y + j*y = 10. Solve -4 - y = -3*s for s.
2
Suppose -2*r = -5 + 13. Let k = r + 6. Solve 0 = k*x - 4*x - 2 for x.
-1
Let z = -682 - -685. Solve 0 = z*v - 17 + 23 for v.
-2
Let o = -832 + 835. Solve o = 35*j - 32*j for j.
1
Suppose 3*a - 2*a - 16 = -x, -5*x = -2*a - 101. Suppose -2*v - 11 = -x. Solve -v*p + 9 = -7 for p.
4
Suppose 2*r = 5*m - 3*r - 65, -m - 2*r = -16. Suppose -3*f + 13 = -m. Let b = f - 6. Solve b*d = 5 + 7 for d.
4
Suppose 0 = 51*b + 10*b - 1037. Solve 20*t = b*t for t.
0
Suppose 2*k + 2*k = 8. Let m = -305 + 310. Let z = 3 + 0. Solve z*i + k*i = m for i.
1
Let z = 1593 + -1587. Solve d = z*d + 10 for d.
-2
Let c be (-9)/(63/(-140)) - (-40)/(-5). Solve 6*v = c*v - 6 for v.
1
Let h(m) = m**3. Let z(a) = -4*a**3 + 14*a**2 - 2*a - 28. Let j(c) = -5*h(c) - z(c). Let s be j(-14). Solve -3*q + s = 9 for q.
-3
Suppose -5*s + 5*f = -10, -2*f = -0*f + 8. Let v = -8 + s. Let z = v - -14. Solve -b - 3*b + z = 0 for b.
1
Let x be -5 + 4 + 0 + 5. Suppose -3*j - 6 + 15 = 0, j + 3 = 3*l. Let i be (-6 + x)*(-3)/l. Solve -i*c = -c - 2 for c.
1
Suppose -3*x + 44 - 38 = 0. Let d be -2 + (1 - 2) + 11. Solve d = -x*t - 0*t for t.
-4
Let g be -1*(-4 + 6 + 0)*-17. Solve -27*m = -g*m - 7 for m.
-1
Suppose 0 = -10*b - 23*b. Solve b*o - 5 = o for o.
-5
Suppose -5*l + q = -11, -4*l + 2*q - 4*q + 20 = 0. Suppose -l*y + 2*y - 5 = -4*d, -9 = -3*y. Solve -d = a - 2*a for a.
2
Let j(o) = -o**3 + 8*o**2 - 8*o + 6. Let u be j(7). Let p be 1 - 1 - (-2 + u). Solve 0 = -0*d + d - p for d.
3
Let j(a) = 2*a**3 + 5*a**2 - 2*a + 2. Let m be j(-3). Let u be ((m - 1)/(-6))/(2/24). Solve -s = -0 - u for s.
4
Let b(q) = q + 3. Let n be b(3). Let m be (-12)/(-5) + n/(-15). Suppose -2*u + 10 = x + m*x, -2*x = -4*u + 4. Solve -u*z = -4*z + 2 for z.
1
Let g be (3 + 3)/((-6)/(-4)). Suppose -q - g = -2*q. Solve q = -d - 0*d for d.
-4
Suppose -4*l - i + 14 = i, -6 = -2*i. Suppose 0 = l*m - 3*m + 4. Solve m*z + 25 = -z for z.
-5
Let t be (48/(-40)*-1)/(3/5). Let u(d) = d**3 + 5*d**2 - d - 5. Let c be u(-5). Solve -t*l - l = c for l.
0
Let f be (-7)/(448/(-48))*(-16)/(-6). Solve -18 = -f*a - 7*a for a.
2
Suppose -8*b = -4*b + 20, -2*b + 16 = -r. Let z(x) = -7*x - 7. Let a be z(5). Let f = r - a. Solve -k - f = 3*k for k.
-4
Let x(h) = h**3 + h**2 + 5*h + 3. Let c(w) = w**2. Let v(i) = -4*c(i) - x(i). Let r be v(-4). Solve 3 = z + r for z.
2
Suppose -b - 2*h = -17, 0*b = -4*b - 3*h + 43. Solve -6*l + b = -11 for l.
3
Let w(i) = 13*i**2 - i - 1. Let a be w(-1). Let d be (-116)/10 - 6/15. Let k = d + a. Solve -v + k = -0 for v.
1
Let q(w) = 10*w**3 - 4*w**2 - 3*w + 2. Let b be q(1). Solve 1 - 11 = b*n for n.
-2
Let q be (12 + -12)/(-2*1). Let p be -1 - 44/(-2) - (-27)/(-9). Solve -5*a + p + 7 = q for a.
5
Suppose 0*f + 240 = 3*f. Let g = f - 78. Solve g*x = -2*x - 8 for x.
-2
Suppose 70*f = 71*f. Suppose -4*h = -2*j - 28, 4*j = 4*h - 10 - 26. Solve 15 = -f*t + h*t for t.
3
Suppose 0 = -3*u + 3*p + 24, 3*u + 5*p = -3 + 43. Solve 12 = u*r - 14*r for r.
-3
Suppose q + 4*q + 80 = 0. Let p = q - -31. Let y = -11 + p. Solve 9 + 3 = y*a for a.
3
Suppose -7*d + 4*d = 12, -5*o = -3*d - 12. Solve 4*j + o = 4 for j.
1
Suppose -4*n = 15*n - 76. Solve 0 = -5*w + n*w for w.
0
Suppose -3*q + 46 = -0*h - 5*h, 4 = h. Solve -6 = -16*m + q*m for m.
-1
Suppose -1 = -4*m + 7. Suppose -2*f + 5 - 65 = -5*c, -f + 48 = 4*c. Solve c = -2*h - m*h for h.
-3
Let w be -1 - 0 - (4 + -2). Let d be 11/9*w*-3. Let t = d - -1. Solve 7*v - t = 3*v for v.
3
Suppose 0 = -4*o + 20, -3*i + 6*i - 5*o = 56. Solve 0 = -18*m + i + 27 for m.
3
Suppose -14 + 10 = -2*m. Solve 5*b + m + 8 = 0 for b.
-2
Suppose -18*s = -24*s + 54. Solve 5*p = 6 + s for p.
3
Let x(d) be the first derivative of d**4/4 - 3*d**3 + 3*d**2/2 - 27*d - 30. Let v be x(9). Solve 0 = -3*s - 12 - v for s.
-4
Suppose 3*g = -3*z + 75 + 132, 2*z - 153 = 3*g. Suppose 4*v = 16, 4*y - 3*v + v = z. Solve 3*o - y = 7*o for o.
-5
Let d = -5 + 8. Let l(r) = 7*r - 6. Let b be l(2). Suppose 0 = 7*z - 9*z + b. Solve 0 = -z*a + d*a - 1 for a.
-1
Let d be (0 - -1) + 15/3. Suppose 4 = -4*b + d*b. Suppose 3 = -b*t + 13. Solve j = -0*j + t for j.
5
Let d(i) = -i**3 - 3*i**2 - 4*i - 10. Let v be d(-3). Suppose 5*x + v = 22, u + 3*x = 14. Solve u*j + 3*j - 20 = 0 for j.
4
Let x(s) = -s**3 - 3*s**2 - 8*s - 3. Let i be x(-3). Solve -4*v + i = -11*v for v.
-3
Suppose -3*a = 3*h + 306, h = 4*h + 2*a + 309. Let f = 117 + h. Solve -3*o + f + 0 = 0 for o.
4
Suppose 3*p + 29 = -2*p + x, 28 = -4*p + 2*x. Let s(f) = f**2 + 7*f + 12. Let i be s(p). Solve -i*b + 3 = 1 for b.
1
Let t be (4 - -3) + -3 - 2. Suppose 5*q = -0*f + f - 43, 13 = -q - 2*f. Let h be 3 + -4*q/6. Solve h = -a - t*a for a.
-3
Suppose 2*s = 2*p - 12, 2*s - 1 + 14 = 3*p. Let m be p - (1 + 2/(-1)). Suppose -5*b + 2 = -q - q, -m*q + 3*b = -2. Solve 0 = -q*h + 6*h for h.
0
Suppose 5*l = -3*d + 26, -5*l + 0*l = -20. Suppose 0 = -d*z - 2, -4*z + 0 + 4 = 4*b. Solve 0*o + 2*o = b for o.
1
Let x(s) = -24*s. Let a be x(1). Let p be (3 - 1) + a + 2. Let h = -14 - p. Solve -5*b + h = 1 for b.
1
Let s be (-33)/12*(0 - -28). Let z = s - -79. Solve 5*p = z*p for p.
0
Let d = 14 - 16. Let x be (2 + d)/((-2)/2). Solve x = -4*i + 3*i + 3 for i.
3
Let v be (-737)/5 + 12/(-20). Let d be v/(-18) - (-14)/(-63). Suppose -d*r + 5 = -7*r. Solve -6 - 4 = r*t for t.
-2
Let p = -294 + 294. Solve -n - n + 6 = p for n.
3
Suppose 78 + 96 = 5*k - 2*t, k - 3*t = 27. Solve -33*x - 9 = -k*x for x.
3
Let m(l) = -l**2 + 5*l - 5. Let k be m(7). Let a(z) = z**3 + 19*z**2 + 10. Let g be a(k). Solve -g - 15 = -5*r for r.
5
Let k(v) = 2*v**2 - 2*v - 3. Let c be k(-3). Let y = 25 - c. Suppose b = -5*w, -y*b + w + 15 = 6*w. Solve -b*q + q = -20 for q.
5
Let z = 27 - 9. Let y be 4/6 + z/(-27). Let j(a) = 2*a + 3. Let v be j(y). Solve -2*c = v*c - 15 for c.
3
Let x be 1/((-12)/2*(-2)/24). Solve 0 = -5*a - x*a + 35 for a.
5
Let a(o) = 4*o**3 - 2*o**2 + 2*o - 1. Let r(f) = -f**2 + 9*f + 7. Let s be r(10). Let c be 2 - (0 + -2 - s). Let n be a(c). Solve -3*m + n = -3 for m.
2
Let z be (8 + 34)*2/3. Suppose 2 = 2*v - 4*q - z, -2*v - q = -5. Let w be 8/4 + v - 4. Solve 0 = r - w*r for r.
0
Let i(t) = t**3 - 16*t**2 + 15*t + 2. Let o be i(15). Suppose 0 = v - o*d - 3*d + 9, 3*v + 3*d = 27. Solve -6*w = -3*w - v for w.
2
Let v(l) = l**2 + 6*l + 12. Let d be v(-5). Suppose -5*r + 13 = -d. Let f be -4 - (1 - r - 11). Solve -f - 5 = 5*t for t.
-3
Let m = -40 + 68. Let h = m + -26. Suppose 0 = -h*r - r + 12. Solve -4*z + r = -4 for z.
2
Let k be (2/4 - 2)/(3/(-8)). Solve -5*y + k = -y for y.
1
Suppose -130 = 2*o + 28. Let b = -79 - o. Solve 6*n - 7*n - 4 = b for n.
-4
Let x = -21 - -30. Suppose -y - x = 2. Let h(i) = -i**2 - 12*i - 9. Let a be h(y). Solve o = a*o for o.
0
Suppose -6*f - 2*f = 0. Solve 4*t + 1 + 15 = f for t.
-4
Let c be (104/6)/((-18)/(-27)). Let i = -22 + c. Suppose -17 - 19 = -i*o. Solve o = 6*b - 3*b for b.
3
Let o(r) = -7*r - 183. Let a be o(-28). Solve 30 = -a*i - 9 for i.
-3
Let r(y) = y + 1. Let i(t) = -6*t - 15. Let w(x) = i(x) + 4*r(x). Let k be w(-13). Solve 0 = 2*z + 3*z + k for z.
-3
Suppose -7 + 21 = 7*d. Suppose d*m + m = 0. Solve m = -0*a - 3*a + 12 for a.
4
Let g(n) = -n - 4. Let c be g(-7).