p - l - 14, -y = -3*l for p.
4
Suppose 44*p + 17 = 45*p. Let b = p + -12. Solve 3*u + 4 = -2*a - 0*a, -4*a - b*u - 10 = 0 for a.
-5
Let y(h) = h**3 - h**2 - 5*h - 1. Let z be y(3). Solve -3*s - 8 = z*v, 0 = -s + 2*v - 5*v - 5 for s.
-2
Let y(z) = -z - 1. Let h(a) = a**3 - 19*a**2 + 17*a + 17. Let p be h(18). Let x be y(p). Solve x = 2*o + 5*j, 2*j - 7 - 7 = 2*o for o.
-5
Let y(o) = -o**2 - 3*o + 34. Let b be y(-7). Solve -j + 14 = j + 5*q, b = 3*q for j.
2
Let a be (-5)/15*-17 + (-1)/(-3). Suppose -5*i - 11 = u, 0 = -u + 3*i + a + 7. Solve x = 2*c + 2, 0*x + x = u*c + 4 for c.
-1
Suppose d + 20 = 6*d. Solve -5*a = 5*v - 19 + 4, d*a = 4*v - 12 for a.
0
Suppose 4*n + 5*r = -23, -n + 3*r + 13 = -3*n. Let m be 133/6 - n/(-12). Suppose -3*p + m + 35 = 0. Solve -4*s + 15 = -c, -2 = 5*c - 2*s + p for c.
-3
Suppose 0 = 3*d + 2*d - 30. Suppose 4*t - d*q + 12 = -3*q, 4*q + 34 = -3*t. Let o = t + 11. Solve 2*j - 1 = -z + 8, -z + 21 = o*j for j.
4
Let c = 209 + -209. Solve -4*v + 2*w - 18 = c, -2*w + 5 = -2*v - 7 for v.
-3
Let c(f) = -3 + 2*f - 3*f - 3. Suppose -25*j + 7*j - 162 = 0. Let q be c(j). Solve -2 = 5*k + 5*g + q, -3*k + 3 = 5*g for k.
-4
Suppose 244*y - 198 = 226*y. Solve 5*n + 19 = -3*h - 4, 0 = h - 3*n - y for h.
-1
Let x = -22 + 38. Suppose -11*f + 7*f = -x. Solve f = 2*w + v, w - 8 = -v + 2*v for w.
4
Let s(l) = 22 - 15 - 6. Let u(z) = -z + 6. Let q(p) = 5*s(p) - u(p). Let b be q(7). Solve 4 = -g, -c - b = g - 3 for c.
1
Suppose 5*y + 8 = 3*z, 19 = 2*z - 3*y + 14. Solve -2*d - o + 10 = 0, 5*d + z = 3*o + 4 for d.
3
Suppose 2*a = -19 + 7. Let u be (7 - 1)*a/(-4). Solve f = -n - u, -9 = -4*n + 3*f + 2*f for n.
-4
Suppose -5*h + 5*r + 47 = 2, r + 33 = 5*h. Solve 0*s - h = -4*s + 5*p, -2*s + 5*p = 2 for s.
4
Let u be ((-12)/8)/(2/16*3). Let n = -19 - -31. Let z = u + n. Solve -2*o + 5*k + z = -10, 26 = 5*o - 3*k for o.
4
Let q(d) = 7*d + 1. Let x be q(0). Suppose -k - 19 = -2*j - 0*k, -4*j + 33 = 3*k. Solve j = -4*w - 3*n, w - 2*n = 5 + x for w.
0
Let k be 95/38 + (-1)/2*-1. Suppose k*v + 22 = 5*t, -v + 4 = 4*t - 17. Solve p + 4 = -2*s - s, -t*p - 20 = 4*s for s.
0
Let o(k) = -3*k + 6. Let m be o(0). Suppose -8*u + m*u = 0. Solve 2*c = -4*l - c + 7, u = -3*l - 4*c for l.
4
Suppose -22 = 4*s - 78. Let k = -14 + s. Suppose k*x + 12 = -3*x, -4*x - 46 = -3*q. Solve 0*i + 4*j = 4*i - 28, -q = -i + 2*j for i.
4
Let w be (27/(-3))/3*-1. Suppose w*b + 4 = 4*k, -3*b + 0 = -5*k + 8. Solve 2*p + 2 = 0, 2*r + 5 = 3*r - b*p for r.
1
Let m be (2 + -4)*20/(-8). Solve -2*b = 4*k - 6, -m*b + 17 = 3*k - 6*b for k.
4
Let b(h) = -h - 1. Let y be b(1). Let z be (3 - 4)/((-1)/y). Let i = 6 + z. Solve 0 = -5*u - 0*u - i*x - 14, 5*u + 6 = 4*x for u.
-2
Let g = 1779 + -1771. Solve 32 = -4*n + g*s - 4*s, -1 = -n - 2*s for n.
-5
Let h = 15 + -10. Suppose 2*i = h*r - 17, 2*i - 1 - 3 = -2*r. Suppose -r*q + 9 = 0, -4*q = -5*g + 4 - 1. Solve g*y = -4*a - 7, -2*y - 2 = 2*a - 0 for a.
-4
Let k(t) be the first derivative of -3*t**2/2 + 10*t - 20. Let b be k(2). Solve 2*f + 18 = b*h, -h = -2*f - 3*h + 6 for f.
-1
Let z(w) = -w**2 - 23*w - 38. Let b be z(-21). Suppose 10 = 5*a, -u + 4*a = 3*u. Suppose m - u*m + b = 0. Solve -11 = 3*o - q, -o - 11 = -0*q - m*q for o.
-3
Let h be (-10)/1*1/(-2). Suppose 0 = -2*b + i + 4*i - 1, 4*b + 5*i - 13 = 0. Let l be (0/b - 0)/4. Solve 16 = 2*z - 5*y, 0 = -l*y + h*y + 10 for z.
3
Let i(h) = 5*h - 4 + 0*h**2 - h**2 + 6*h - 3. Let p be i(10). Let r = 207 + -201. Solve -2*b = -p*q - r, 0 = 4*b - 2*q - 0*q + 4 for b.
-3
Suppose 0 = 3*o + 5*g - 37, -14 = -3*o - 3*g + 13. Solve 0 = -o*k + 2*v - 6, 0*k = -k - 2*v + 6 for k.
0
Let a be (85/(-3))/((-2)/(5 - -1)). Let z = -80 + a. Solve -4*l - 4*n + 4 + 8 = 0, z*l = -2*n + 9 for l.
1
Let j(p) = p - 4*p**2 + p + 520*p**3 - 502*p**3 + 2*p**2. Let u be j(1). Solve 5*h - s + u = 2*h, -4*h - s = 17 for h.
-5
Let h(g) = -g**3 + 11*g**2 + g - 6. Let t be h(11). Suppose 3*c - 2*q - 69 = -t*q, -q = -2*c + 52. Solve 0 = 5*m + 2*l + c, -3*m + 0*l = 3*l + 24 for m.
-3
Let r = -11 - -16. Suppose 0 = -5*n + 3*c + 150, -30 = -n + c + 3*c. Suppose -4*z - 2 = -n. Solve -5*u - 5 = r*t - 0, -2*u = 5*t - z for u.
-4
Let t = 52 + -61. Let s be t/(-3) - 2/((-10)/15). Solve 3*n = 21 - s, -4*n + 25 = y for y.
5
Let p(l) = 15*l + 692. Let g be p(-46). Suppose -2*w + 5*a = -19, 0 = 2*w + 2*w + 5*a - 53. Solve -x - 18 = h + 3*h, -2*h - g*x = w for h.
-4
Let j be 128/(-22) + 6/(-33). Let d(z) = 5 + 3*z - 2*z + 5. Let i be d(j). Solve -g + 35 = i*g + 5*m, -g = 3*m - 13 for g.
4
Suppose 77*x + 18*x = 380. Solve 2*q = -2*t - 10, -4*q - 5 = -x*t - 17 for q.
-1
Let k = 2707 + -2703. Solve -20 = -n + k*r, r - 5*r - 8 = 2*n for n.
4
Let f(g) = 15*g**2 - 2*g + 1. Let n be f(1). Let p(i) = 3*i + 13. Let s be p(-4). Let m be 4/s*(15 - n). Solve 1 = x - o + m, -x = 2*o - 12 for x.
2
Let m(w) = -w**3 - 2*w**2 + 4*w - 3. Let p be m(-4). Let v = 44 - 40. Suppose -v*a + 76 - 76 = 0. Solve i = -4*s - p + 2, a = i + 2*s + 3 for i.
5
Let w be (-240)/(-105) + 1 + (-18)/14. Let i be (25 + -29)*(-1 + w/4). Solve 5*d + 5*l = -5, -5*l = 7 - i for d.
0
Let c be (15/(-45))/((-4)/36). Solve 7*d - 3*g = c*d + 26, 5*g = -2*d for d.
5
Let z(m) = m**2 - 3*m - 5. Let q be z(-5). Let w be (4/(-5))/((-2)/q). Let s(c) = 2*c + 29. Let j be s(-12). Solve -2*f - j*b + 2 = -w, 16 = -2*f + 3*b for f.
-2
Suppose -3*a + 6 = 21, -2*a - 16 = -2*i. Solve -x - 4 = i*w, -5*w - 38 = -4*x - 3 for w.
-3
Let h be 2/18 - 1610/(-414). Solve 4*t = 4*b - 8*b - h, -10 = -2*b + t for b.
3
Suppose -10 = -0*s - 2*s. Suppose -4*z = -2*d - 18, 2*z + 4*d = -8 + 2. Solve -2*x = z*n + 2*x + 5, s = -n - 3*x for n.
1
Let r = 0 - 5. Let l = r + 5. Let v(p) = p**2 + p - 38. Let u be v(-7). Solve u*x + 8 = l, 5*m - 2*m + 1 = -5*x for m.
3
Suppose -3*f + 2 = -3*o - 7, 0 = -3*f - 5*o + 25. Let p be -2*((-2)/5)/((-172)/(-215)). Solve f = -3*w + 2*s, -4*s = -3*w - 0*w - p for w.
-3
Let p be (-15)/90 + 5/30. Solve -2*h - 3*h + 25 = p, 0 = -3*t + 3*h - 24 for t.
-3
Let f be (8/(-3))/(12/(-18)). Let k = -1511 + 1518. Solve f*m = -s - k, 2*s + 4 = -3*m - 5 for m.
-1
Suppose 4*m + 3*p = 6*m + 7, -3*p - 5 = -5*m. Solve -w + 4*z - 2*z = -10, m*w - z - 12 = 0 for w.
2
Let q = -34 - -39. Suppose -4*r = -r - 4*g - 1, q*r - 13 = g. Solve 0 = -o + 5*k + 14, -r*o = -8*o + k + 22 for o.
4
Let x = -396 - -399. Solve -3*k - 5*n = 2*k + 10, 3*k + 2*n = -x for k.
1
Let q(p) = 2*p**2 + 18*p - 10. Let o be q(-10). Let r be (4 - 657/(-21)) + o/(-35). Solve f + 0*x = -x + 9, 0 = -3*f - 5*x + r for f.
5
Let c(t) = 77*t + 883. Let n be c(-11). Solve -5*m = 4*f - 25, m - n + 10 = -5*f for f.
5
Let x be (1 - -10 - 1) + 1. Suppose 9 = 4*v - x. Suppose -v*r + 10 = n, n + 0*n = 0. Solve 4*u - 3*t + 13 = 2*t, -2*t = -4*u + r for u.
3
Suppose -4*w + 6 + 14 = 0, 4*w - 36 = -4*m. Solve 2*v = 2*u + 4, m = 2*v - 4*u + 3*u for v.
2
Suppose 0 = 3*u - 21 - 0. Suppose -3*m = -2*n - 15, -4*n + u*m - 2*m = 25. Solve 2*v = -4*d + 2, n = 5*d + v + v - 5 for d.
3
Suppose -161*j = -160*j - 5. Solve 5*z = u + 25, 0 = -j*u - 0*u + 3*z - 37 for u.
-5
Let l be (-18)/18 + 3*1. Let n = l + 3. Solve 11 = 3*s + n*u - 0*u, u + 8 = -4*s for s.
-3
Let f = -24 - -24. Suppose 2*s - 22 = -4*w, 4*w + s - 17 + 0 = f. Suppose -5 - w = -4*l. Solve -4*h + 2*h + 4 = a, l*h = 3*a + 20 for a.
-4
Suppose 502*w - 24 = 496*w. Solve -w*b - 4*c = 16, -4*b - 22 - 3 = -5*c for b.
-5
Suppose 2*i + 21 = -p + 25, 0 = 3*i + p - 4. Solve -3*w = 4*b - 7 + 16, -2*b = i for w.
-3
Let m be (-50)/15 + 6/(-9). Let l be (m/(-8)*0)/(6 + -7). Solve l*y + 5*y = -15, -5*p + 5*y + 20 = 0 for p.
1
Suppose 5*y - 6 = -1. Let a = 14 + y. Suppose -a + 3 = -3*u. Solve -5*i - u*j - 12 = -0*j, -2*i - 3*j - 2 = 0 for i.
-4
Let x(q) = q. Let t be x(-8). Let b = t - -11. Let o(k) = 12*k**2 + 7*k - 7. Let m be o(1). Solve -1 = -2*j - b*y - 16, -4*y - m = 0 for j.
-3
Let i(u) = u**3 - 5*u**2 + 5*u - 3. Suppose 14 = 3*y + 2. Let w be i(y). Let s be w + (1 - 3 - -3). Solve x + 12 = -0*x + s*v, -v + 5 = 0 for x.
-2
Let i = -12 - -12. Solve -25 = -2*n - 5*t, i = 2*t - 3*t + 5 for n.
0
Suppose -3*x = -25*x + 462. Solve 2*d = y + 7*d + x, -3*d - 27 = -3*y for y.
4
Suppose -26 = -5*x - 6. Let s(o) = 3*o**2 - 6*o + 2. Let b be s(2). Solve -b*c + t = -1, -3*c + x*c - 4*t - 18 = 0 for c.
-2
Let v(c) = 5*c - 