4*r, 25 = 3*h - 2*h + g*r. Solve 0 = -2*s - 5 + h for s.
4
Suppose p + 7 = 2*p. Let o = 9271 + -9267. Solve 1 + p = -o*w for w.
-2
Let t be -4 - (-13)/((-78)/(-84)). Solve 0 = t*y - 3*y + 21 for y.
-3
Suppose -4*y = -8, 3*y + 26 = -16*d + 14*d. Let q be ((-60)/16)/(6/d). Solve q*h - 9*h + 1 = 0 for h.
-1
Let t(v) = -v**3 - 9*v**2 + 2*v + 14. Let p be t(-9). Let f = -1 - p. Suppose -l + 15 = 4*l, l + 39 = f*z. Solve -z = 3*g - 2 for g.
-4
Let y(b) = 2*b**3 - 5*b**2 - 12*b + 29. Let c be y(3). Solve -c*p + 21 = 27 for p.
-3
Suppose -3*u = -2*u - 7*u. Solve u = -3*x - 10 + 4 for x.
-2
Suppose 0 = -72*t + 67*t + 15. Solve -16 = -o - t*o for o.
4
Suppose -21*h = -17*h - 3*q + 15, 0 = -h + 4*q - 20. Solve h = -z + 6 - 5 for z.
1
Suppose 51*n + 3993 = 172*n. Solve -17*o - 52 = n for o.
-5
Suppose 5 = 3*f + 2*f + 5*h, -5*f = h - 17. Suppose 4*g - 2*y = 20, 22 = 4*g - 0*g - 3*y. Let r be 0*(2 - 10/g). Solve -2*x + 3*x + f = r for x.
-4
Suppose 9 = 7*y - 5. Suppose 4*v - 3*q = v, 0 = -y*v - 3*q. Solve v = 5*c - 10*c - 10 for c.
-2
Let d = -19 + 24. Suppose -4*y + h - 3*h = -16, d*y + h - 20 = 0. Let r be (2/y)/(2/24). Solve 2*i - 12 = r*i for i.
-3
Let s(g) = 24*g**3 + g**2 - 2*g + 1. Let u be s(1). Let r = -24 + u. Solve -m + 3 = -r for m.
3
Suppose o - 12 = -0*y - 3*y, 4*y - 16 = o. Let a = 1 + y. Solve a*b + 7 + 18 = 0 for b.
-5
Suppose 0 = 4*c - 5*y - 253, 8*c - 3*c - y = 332. Let q = c + -66. Solve q = 3*j + 4 for j.
-1
Suppose -14*h = -23*h + 108. Solve -h = s - 13 for s.
1
Let y = 1409 + -1402. Solve -6*a = -y + 7 for a.
0
Suppose -3*v + 0 = -2*f + 6, f + 2*v + 4 = 0. Let j = -33 - -37. Solve u - j*u = f for u.
0
Let f = -88507 - -88507. Let k(a) = -4*a**2 + a**3 - a + 3*a**2 - 2*a**3. Let r be k(-1). Solve f*w - r = -w for w.
1
Let q be 14/(-49) - (-30)/7. Solve q*r - 9*r + 5 = 0 for r.
1
Let a(m) = 3*m**3 + 13*m**2 - 24*m + 20. Let y(n) = -n**3 - n**2. Let u(w) = -a(w) - 2*y(w). Let p be u(-13). Solve 0 = -5*j + p + 14 for j.
4
Suppose -4*w = -4 - 0. Let x be -3 - -1*3/w. Solve -6 + x = 3*o for o.
-2
Suppose 25*q + 18 = 28*q. Solve q*y + 20 = 16*y for y.
2
Suppose 0 = 9*u - 8*u - 17. Suppose 3*b = 2*b + u. Suppose -1 = 2*f - b. Solve f = -3*l - l for l.
-2
Let k(c) = c**2 + 9*c + 12. Let v be k(-8). Solve 10*t - v*t - 6 = 0 for t.
1
Let y(i) = 2*i + 2. Let m be y(-2). Let x(t) = -4*t**2 - 3*t + 1. Let p be x(1). Let n = m - p. Solve 0 = -0*h - n*h + 4 for h.
1
Let n(s) be the third derivative of s**6/120 - s**5/6 - s**4/2 + 8*s**3/3 - s**2. Let c be n(11). Suppose -3*u + 14 - c = 0. Solve u*v + v = 4 for v.
1
Suppose -4*w + 41 - 29 = 0. Let j be -1*1 + (-3)/(-1). Suppose -5*v + 30 = -w*q, -3*v + 2*q + j*q + 29 = 0. Solve -6 + 18 = v*n for n.
4
Suppose 2*t + 5150 = 5178. Solve t*f = 7*f - 28 for f.
-4
Suppose -1 + 5 = -2*l. Suppose -4*w + 87 = b - 17, -3*w = 4*b - 429. Let z be b/60*(l + 7). Solve -3*q - z = -0 for q.
-3
Let u(f) = f + 15. Let q be (-2)/(1 + (-50)/54). Let y = q - -15. Let r be u(y). Solve 0*s - 12 = -r*s for s.
4
Suppose 52 = 5*d + 12. Suppose 3*w - d*w - 10 = 3*v, -w - 9 = 2*v. Let z(k) = 4*k**3 - 1. Let q be z(w). Solve q = 5*m - 17 for m.
4
Let z = -224 + 224. Let h(y) = -y**3 + 3*y**2 - 2*y + 2. Let q be h(2). Let p be (1 - (-6)/3) + q. Solve p*g - 7 - 3 = z for g.
2
Let i = -7 - -9. Suppose -5*t + 0*t = 0. Suppose -5*m = -t*m + 3*k - 16, -m - 2 = -2*k. Solve -g + i = -m for g.
4
Let x(m) = m**3 - 2*m**2 + 2*m - 1. Let w be x(2). Suppose 0 = -w*s + s. Let j = 7 + 5. Solve -4*u + j = -s for u.
3
Let g be (15/(-5) + -2)*2/(-5). Solve 1 + g = -3*j for j.
-1
Let m = -743 - -752. Solve 5 = -m*n + 8*n for n.
-5
Suppose 44*a + 120 = 59*a. Solve -4*l - a - 4 = 0 for l.
-3
Let d(u) = 2*u - 6. Let o be d(7). Let z be (-4)/o + (-1)/(-2). Suppose -1 = j - 11. Solve z = -4*y - y - j for y.
-2
Let v be 8/(-96)*3 - 17/(-4). Solve -4 = 2*n + v for n.
-4
Let p = -21 - -25. Let f = 10 - p. Let r be ((-6)/(f/3))/(-1). Solve -r = 3*c - 0 for c.
-1
Suppose 21 = -4*g + 2*z - 5*z, 3*g - z = -19. Let w be g/7*(-112)/12. Solve 5*m + w = 3 for m.
-1
Suppose 5*m - 3*o - 27 = 0, 5*m + o - 14 = 17. Solve 37 = m*j + 7 for j.
5
Suppose 0 = 6*w - 23*w + 221. Solve w = 4*c + 13 for c.
0
Let n be (45 - (-135)/(-9))*(-5)/(-2). Solve -74*z + 1 = -n*z for z.
-1
Let c(i) = i**3 - 2*i**2 + 3. Let x be c(2). Suppose 0*d = -x*d. Solve d = -2*p + 7 - 3 for p.
2
Let g(m) = m**2 + m - 30. Let u be g(6). Solve -5*k = 3 + u for k.
-3
Let g be -2*(-14)/12 - (-4)/6. Suppose 28 - 28 = g*l. Solve 3*k + 4 - 1 = l for k.
-1
Let s = -1331 - -1340. Solve s*r = -294 + 249 for r.
-5
Let l(q) = -q**2 + 11*q - 24. Let u be l(8). Let f = 38 + -36. Solve -5*i + f*i = u for i.
0
Let z = -42 - -86. Suppose -4 = -5*t - z. Let a = 10 + t. Solve -a*b = 3 + 3 for b.
-3
Let q(y) = -3 - 7 + 2*y + 1 - 2. Let c be q(7). Solve -c*u - 16 + 7 = 0 for u.
-3
Suppose -2*c = -12 - 4. Let m(q) = -5*q - 23. Let i(z) = -3*z - 15. Let w(y) = c*i(y) - 5*m(y). Let o be w(9). Solve 0 = -o*s + 2 + 2 for s.
1
Suppose 5*c - 9*c = 3*h - 44, 2*c - 3*h = 40. Solve -13 = -t - c for t.
-1
Suppose -4*j + 18*d - 13*d + 10 = 0, -3*j + 4*d + 7 = 0. Solve g = -j*g for g.
0
Let k be (4 - 7) + (1 - -43). Let o = k - 38. Let g = 10 - 7. Solve -o*a + 18 = g for a.
5
Let j(a) = a**3 - 14*a**2 + 13*a. Let y be j(13). Suppose -4*z + 9 = -3*m, -z - 4*z + 2*m + 13 = y. Suppose -2*c = c - 63. Solve -z*k = 6 - c for k.
5
Suppose 2*v = -4*v. Solve 4*l - 9*l = v for l.
0
Suppose -3*m + 5 = -13. Let t(v) = -v**3 + 40*v**2 - 32*v - 271. Let g be t(39). Solve 0 = g*o - m - 0 for o.
3
Let j(m) = -2*m**3 + 16*m**2 - 13*m - 3. Let t be j(7). Solve -11*x + t*x = 28 for x.
-4
Suppose n + 0 = 6. Suppose 5*m = -4*a + 53, -5*a + m = -a - 23. Suppose -a = -4*i + 17. Solve -3*g = i + n for g.
-4
Let u(c) = -14*c**2 - 4*c + 3. Let b(x) = 5*x**2 + x - 1. Let v(s) = -11*b(s) - 4*u(s). Let f be v(-8). Solve 8 = -3*j + f for j.
5
Suppose 2*a = -4*q - 152, q + 31 = -0*q + 3*a. Let k = -32 - q. Solve -k*p = -p for p.
0
Suppose 0 = -2*r + 6, -2*v + 5*v - 4*r - 24 = 0. Solve 0 = v*z - 14*z + 6 for z.
3
Suppose 17 - 1 = -2*t. Suppose -580 = 6*m - 400. Let r be m/t - (-21)/(-28). Solve 0*b + r*b = 3 for b.
1
Let s(o) = 3*o - 1. Let k be s(1). Let f be (-2)/((-18)/81 + 0). Solve -k*h - f = -1 for h.
-4
Let u be 4 + (1 - 7) - -8. Let p be 0/(u/(-3) + 4). Solve 2*c = -p*c + 2 for c.
1
Suppose 126 = 5*t + d, -3*t = -t - 4*d - 68. Let q = -24 + t. Solve j = -q*j for j.
0
Let p be 2/(-4) - -1 - 21/2. Let h be (-44)/(-10) + 3*p/75. Solve -5*a = -3*a - h for a.
2
Let w be (-7 + -3)*(-12)/15. Suppose a = r, r - w = -2*a - r. Solve 6 + 2 = a*g for g.
4
Let t(k) = 8*k - 3. Let i be t(6). Let j be (-8)/5*i/(-6). Suppose -z = -2*x - 11, 3*z - 2*x + x = 18. Solve z*w - j = 3 for w.
3
Suppose -3*x + 4*q + 15 = 0, x - 2*q = 4 + 3. Suppose 5*a - 36 = -x. Solve -a + 19 = -4*t for t.
-3
Let t = 2159 + -2159. Solve 6*n - 30 = -t*n for n.
5
Let y(r) = -26*r + 5. Let f be y(0). Solve -30 = f*m - 11*m for m.
5
Let h = -710 - -763. Solve 9*a - 8 = -h for a.
-5
Suppose -2*x + 6 = -0. Let m be 0 + 1 - 3/x. Solve 0*i + 3*i - 9 = m for i.
3
Let d(p) = -p**2 - 16*p - 43. Let r be d(-12). Suppose -4*v = -r*v + 1. Solve 5*i = 9 + v for i.
2
Let w(i) = -i**3 - 2*i**2 + 4*i - 2. Let j be (6/4)/(3/(-8)). Let x be w(j). Let c be (-4)/x + 58/7. Solve u - c = 5*u for u.
-2
Let y be (24/22)/((-12)/(-88)). Solve 12*m = -y*m - 20 for m.
-1
Let b = -27 - -23. Let n be 3 + (-1 - (b + 3)). Solve -n*x + x = 2 for x.
-1
Suppose i + 20 = 6*i. Suppose -i*m = m. Suppose 5*s + 3*x - 37 = m, s - 3*x + 2 = -s. Solve 2*r - s = -1 for r.
2
Let m(t) = 6*t + 1. Let k be m(0). Suppose k = -4*l - c, -8*l + 5*l = 4*c + 17. Solve x + l = 4 for x.
3
Let z be 280/15*(-60)/(-40). Solve -8*y + z = -y for y.
4
Let j(z) = 19*z + 1. Let k be j(2). Solve -k = 5*h - 24 for h.
-3
Suppose 0 = -5*g - 105. Let l be 8/28 + (-99)/g. Solve l*q = 4 - 19 for q.
-3
Let o = 270 + -270. Suppose 8 = -5*r - 2*f + 4*f, 4*r - 4 = -f. Suppose r = -o*l + 4*l. Solve 2*v - v = l for v.
0
Let a(i) = 7*i + 155. Let v be a(-21). Solve 28 = v*u - u for u.
4
Let c(i) = -i**2 + 8*i - 8. Let k be c(5). Suppose -5*a - 7*l + 2*l + 25 = 0, -3*a = -5*l - k. Solve -a*p + 0 - 20 = 0 for p.
-5
Let s be 1*(1 - 2)*-2. Suppose 0 = -s*h - 5 - 7. Let t be