l.
1
Let f = -4615 - -4619. Let g be (-2)/(-2) + (-1 - -1). Solve 2*v = f*o + o - g, -o - 4*v = 13 for o.
-1
Let j be 159/(-7) - 6/21. Let i be -9*(3 + j/3). Let a = -19 + i. Solve 2*n + 14 = 3*k, -n - 5*k - 4 + a = 0 for n.
-1
Let t(v) = v**2 - 7*v - 107. Let u be t(-8). Solve b = 4, b - u - 3 = 4*a for a.
-3
Let d(b) = b**3 - 4*b**2 + b - 2. Let j = 47 + -32. Let t(g) = g - 11. Let v be t(j). Let f be d(v). Solve -2*n + h = 0, -3*n + h - f = -1 for n.
-1
Let d be 3 + (-8 - (1 + -3)) - -11. Solve -4*t + d = 4*a, 20 = -4*a + 4*t + 4 for a.
-1
Let v = -29 - -20. Let i = 0 + v. Let q(f) = -4*f - 30. Let n be q(i). Solve 0 = -5*s + 4*y - n, 0 = 2*s - 7*s + 3*y - 7 for s.
-2
Suppose 0 = t - 1112 + 1107. Solve t*p = -4*u + 32, -2*u + 27 = 5*p + 1 for u.
3
Suppose z + 5 - 2 = u, -3*u + 3 = -z. Let g = 6 + -6. Suppose g = 4*o - 11 - 9. Solve o = -u*t - t + 5*d, 5*d = 2*t for t.
5
Let w = 1 - 1. Let t(k) = k**2 + k - 2. Let o be t(-4). Let r be (-2)/o + 52/10. Solve 10 = 5*j, w*j + 4*j = -r*f - 12 for f.
-4
Let z be (-25 - -13)*(-11)/4. Let g = z - 20. Suppose 3*s = 17 + g. Solve 0 = -3*v + 6, -u - s = 4*u - 5*v for u.
0
Let o = -1260 + 1288. Let l(v) = 5*v**2 + v. Let m be l(-1). Suppose -f + 4 = q, 5*f - m*q - o = -q. Solve -f*s - 13 = -4*g, -g - 4 = -6 for s.
-1
Let m = 1 + 6. Let o be (-7)/(-1) - m/(7/3). Solve 0 = -o*y + u - 2, 3*y - 4*u = -0*y - 8 for y.
0
Let f(d) be the first derivative of 2*d**2 + 25*d - 17. Let y be f(-6). Solve -2*z - 1 = 3*v + y, -3 = 3*z + 4*v for z.
-1
Let t(u) = u**3 - 24*u**2 - 111*u - 28. Let d be t(28). Suppose -5*c = 5*z - 15, 3*c + 2*z = 4 + 8. Solve -j + p - c = d, -p + 2*p = 5*j + 26 for j.
-5
Let z = 306 - 301. Solve -5*o = -x - 11, 3*x - z*o + 5 + 8 = 0 for x.
-1
Suppose 4*a + 3*p = 13, 0 = 3*a + 2*p - 10. Solve 0*t + t - 3*y - 3 = 0, a*y = 5*t + 7 for t.
-3
Let t(f) = f**2 - 20*f - 51. Let r be t(23). Solve -4*d - r = 2*h, d - 2 = 2*h + 1 for d.
-3
Suppose 0 = -0*h - 3*h - n + 17, -2*h + 18 = 2*n. Solve 5*o + j + 5 = -3, -o - h*j - 13 = 0 for o.
-1
Suppose u + 14 + 1 = 3*q, -3*u - 5*q + 25 = 0. Solve u = -5*p + o + 19, -o - 16 = -4*p - 0*o for p.
3
Let i(x) = 37*x - 146. Let h be i(4). Solve h*q = 0, 4 = -a - 0*q + q for a.
-4
Let m be ((0 - -2)/2)/(-1). Let p be m/(-3 + 1)*6. Let j = 43 - 32. Solve -v - 27 = 5*x - 10, 5*x + p*v = -j for x.
-4
Suppose 48 + 6 = 27*s. Solve 2*b = s*p - 4, 2*p + 13 = -2*b + 7*p for b.
1
Suppose 4*r + 3*a - 12 = 0, 3*r - 38 = -2*a - 29. Solve 4*z = x - 7, 0 = 5*z - 3*x + 11 + r for z.
-1
Suppose 0 = 5*o - 5*i - 25, -5*i - 22 = -o - 5. Solve 5*n + 2*f = -3*f + 30, -o*f - 13 = -3*n for n.
5
Let t(b) = -b**3 + 8*b**2 - 14*b + 50. Let g be t(7). Solve 0 = -3*k - 3, -2*k + 9 - g = -5*r for r.
-2
Let a(u) = u - 2. Let h be a(5). Let j be 24/36 - 7/(-3). Solve v + 6 = h*d - v, 9 = -j*v for d.
0
Let m(c) = -c**2 + 9*c - 4. Let k be m(7). Suppose -l - k = -3*l. Suppose l*d - 7 - 3 = 0. Solve 0 = d*n + 2*n - 4*y - 8, -3*y - 12 = -n for n.
-3
Let z(i) = 2*i + 4. Let w be z(0). Suppose -3*c - w + 13 = 0. Solve 2*u + 1 = -3*k + 20, c*k + 6 = 3*u for k.
3
Let j = -1151 + 1169. Solve 3*c + 2*m = 4 - j, -2*c - 3*m - 16 = 0 for c.
-2
Let s(w) = w - 5 + 2 - 3*w. Let c be s(-3). Let u be 1550/(-31)*(-3)/6. Solve 4*l - c*t + 0*t = 23, 4*l - 5*t = u for l.
5
Suppose c - 9 + 9 = 0. Solve z - s + 2 = c, -3*z + 5*s + 0 = 2 for z.
-4
Let q = 4 + -2. Suppose -q*t - 68 = -2*z - 14, -3*t = -4*z + 85. Let f = 26 + t. Solve f*u - 19 = 5*r, -r - 6*u = -2*u - 10 for r.
-2
Let r(j) be the second derivative of j**3 - j**2 - 13*j. Let d be r(1). Solve -2 = i, d*x + 2*i + 3 = 7 for x.
2
Let n = -23 - 49. Let m = 84 + n. Solve d = 3*b - m, 0*d = -d + 3 for b.
5
Suppose 7 = v + 4*f, -f - 8 = -v - 2*v. Solve -8 = -2*x, 5*u - v*x + 35 = 2*x for u.
-3
Suppose -154 + 127 = -9*d. Solve -4*r + 15 = p - 0, -d*p = 3 for r.
4
Let p(w) = -2*w**2 + 22*w - 52. Let q be p(4). Solve -14 = 4*u - y, 4*u + q - 2 = -5*y for u.
-3
Let y(o) = 13*o**2 + o**3 - 22 - 4 + 4*o + 4 + 6*o. Let g be y(-12). Solve g = r + f - 2, -r - 11 = -2*f for r.
-1
Suppose 0 = 35*h - 141 + 1. Solve 0 = 2*f - z - 2, 0 = 2*f + z - h*z + 2 for f.
2
Suppose 10*w + 8 = 12*w. Suppose -j + 50 = w*j. Solve -5*c - 4*r - 26 = 0, -5*c - 5*r = -j*c + 10 for c.
-2
Let t be 1/(-6 + 1 - -4). Let x be (-8)/t + 0 + -4. Solve -x*k - w + 5*w = 32, -4*k - 4*w = 0 for k.
-4
Let h = -364 - -368. Let a = -35 - -63. Let x be 10/25 + a/5. Solve -x*r - 10 = -h*r, 5*m = 3*r - 10 for m.
-5
Let f(b) = 34 - b - 32 + 2*b. Let k be f(1). Solve -3*g = 3*m + 6, k*m - 2 = 2*g - g for m.
0
Let q be -2 + (35 - -5 - 8). Solve 4*b + 7 + 12 = -3*c, -5*b - 5*c = q for b.
-1
Suppose 0 = 3*w + 3, -8*g - 5*w = -13*g + 5. Solve g = -3*h - 0*l - 5*l - 16, -2*l - 10 = 0 for h.
3
Let w be 312/(-156) + 1 + 6. Solve 4*n - 2 + 1 = 5*j, 0 = w*n + 5*j + 10 for n.
-1
Let g(w) = w**3 + 4*w**2 + 4*w + 3. Let n be g(-2). Solve z = -j - 7 + 4, -n*z - 17 = 5*j for z.
1
Let f(o) = -o**3 + 16*o**2 - 13*o - 27. Let r be f(15). Solve r = 3*a + 4*l + 35, -5*l = -5*a + 5 for a.
-4
Suppose 39*b - 16 = 31*b. Solve 2*m + 5 = 3*s, 4*m = 5*s - 5 - b for m.
2
Suppose 0 = -x - 3*x + 12. Suppose 2*i = 8, x*j + 2*i - 18 = j. Solve 2*s + j*l - 11 = 0, -s = -4*s - 2*l for s.
-2
Let b(p) = -5*p - 14. Let x be b(-4). Suppose -x*a = -2*a - g - 16, a - 2*g - 11 = 0. Suppose -z = a*z. Solve 3*l + 3*y = z, 5*y = l - 6 - 6 for l.
2
Let j be 6/(-15)*(-140)/7. Solve -w - 3 = -2*c, -3*c - j = -4*w - 0*c for w.
5
Let k be (1/(70/(-18) - -4))/1. Suppose 0 + 18 = k*n. Solve 0 = n*t - 5*x, 2*x = -3*t + 6*x for t.
0
Suppose -29*z = -33*z - 44. Let t(p) = -p**3 - 11*p**2 + p + 11. Let j be t(z). Solve 3*r + 3*c + 6 = j, -4*c + 16 = -5*r - 6*c for r.
-4
Let m = 127 + -117. Let l(q) = 2*q**2 - 2*q + 3. Let y be l(3). Let s = y - m. Solve 3 = 3*d + 4*o, -4 + 0 = -4*d + s*o for d.
1
Let m(n) = n - 6. Let b be m(10). Suppose -f = -b - 6. Suppose -15 = 5*u - f*u. Solve -5*c - 1 = -2*d + 9, -u*c - 2*d = 22 for c.
-4
Suppose 1 - 51 = 2*n. Let c = n + 34. Let o = -9 + c. Solve 3*z - g = -11, 2*g - 18 = 4*z - o*z for z.
-2
Let c = 3 + 1. Let s be (-15)/(-6) + c/(-8). Solve -o - 16 = 3*w, -s*w - 36 = 5*o + 2*w for o.
-4
Let t(p) = p**2 - 7*p - 13. Let k be t(9). Suppose 0 = 3*a + k*i + 6, 1 = -2*a - i + 4. Solve -5*o = -5*x + 5, -2*x = o + 10 - a for o.
-3
Let s be (-768)/(-144) + 1/(-3). Solve 3*l = s*r - 18, -2*r - 3*l + 1 = -2 for r.
3
Let x = 27 - 24. Solve 13 = 4*k - 2*o - 1, -5*o - 14 = -x*k for k.
3
Suppose 53*p - 160 = 52. Let z(f) = -f - 2. Let r be z(-6). Solve 2*w = r*l - 10, -l - 3*w - p = 4 for l.
1
Suppose -2*v = v - 12, 4*k = 5*v + 72. Let a = 25 - k. Suppose 2*r - 3*r + 4*z + 22 = 0, 4*z - 48 = -4*r. Solve -4*y = a*s + 10, 6*s + r = y + s for y.
-1
Let a(n) = -n - 4. Let r be a(-3). Let w = 1 - r. Let m(k) = k**2. Let l be m(w). Solve -2*v + 4 = -l*o - 0*o, 5*o = 3*v - 4 for v.
-2
Suppose -2*n + 15 = 3*n. Let s(r) be the third derivative of -r**4/24 - r**3/6 + 8*r**2. Let q be s(-3). Solve -2 = -3*u - q*d, 4*u = d + 2*d - n for u.
0
Suppose 8*y - 3*y - 38 = 2*n, -3*n - 15 = 3*y. Let l be (-2)/n - (-168)/(-27). Let a be 3/1*(-14)/l. Solve s + w = 6, -a*s + 2*s - 3*w + 24 = 0 for s.
3
Suppose 33 + 135 = 24*p. Solve -u = -p*f + 3*f - 1, -2*f - 1 = -u for f.
0
Suppose 4 + 7 = 4*i + f, 0 = -4*i - 3*f + 17. Solve -2*c - 3*x = 9, 4*c + i*x - 2 = -0*x for c.
3
Suppose -2*w = 3*r - 7, 0*r - r + 5 = 2*w. Solve -5 = -w*p - 3*d, 0 = -2*p - 2*d + 3 - 1 for p.
-2
Let k(h) = -3 + 7*h**2 + 4*h + 5 + 2*h + h**3 - 4*h. Let m be k(-5). Let z = -30 + m. Solve 2*y - 2*n + z = 0, 2*n - 23 = -2*y - 3*n for y.
-1
Suppose 4*a + 0*b = 4*b, 4*b - 3 = 3*a. Solve -2*y = -o + a*o, -3*y + 2*o = -25 for y.
5
Let p be 12 - (0/6 + 1). Solve 2*y - 2*k + 10 = -k, -y - p = -2*k for y.
-3
Suppose -3*r + 6*r + 43 = 4*z, -13 = z + 4*r. Suppose 0 = -z*t + 5*t - 384. Let s be (-2)/(-9) + t/(-108). Solve m + s*m - 37 = 5*i, i + 17 = 3*m for i.
-5
Suppose -2*x = -5*x + 9. Suppose x*f = 5*o + 141, 0 = -o + 3*f + 9 - 42. Let w = o + 29. Solve w*t - 2 = 0, -5*v + t + 1 = 2*t for v.
0
Suppose -11*z - 11 = -13*z + w, -3*w + 55 = 5*z. Solve -3*j - 1 = -z*j + 3*m, -3*j - 5 = m for j.
-1
Suppose -7 = -0*v - v. Suppose -8 + 22 = v*n. Solve -f + 0*b = -4*b - 23, 5*f - n*b = 25 for f.
3
Suppo