f, f + 3*k - 5*k = p for f.
2
Let d(a) = a**3 + 14*a**2 + 10*a - 32. Let q be d(-13). Solve 3*f = 3*t + 6, -2*f - t + q = -2*t for f.
5
Let s(h) = -124*h - 357. Let a be s(-3). Solve 0 = 12*y - 9*y - a, 0 = -5*m + y - 15 for m.
-2
Suppose -16*c + 1412 - 1380 = 0. Solve -3*i - 8 + 9 = c*x, 15 = -3*x + i for x.
-4
Let g = -502 + 507. Solve 0 = -2*l - 5*x + 11, 5 = 3*l + 2*l + g*x for l.
-2
Suppose 12 = 4*x - 12. Let g be (-26)/((-4 + x)*-1). Solve -h - g = -3*l, l + 0*l - 3*h - 7 = 0 for l.
4
Let f be 0/((-5)/((-10)/6)). Suppose f - 20 = 2*l. Let g be (-1)/(1 - l/(-9)). Solve 4*a = 5*i - g, -2*a = -2*i - 6*a + 26 for i.
5
Let r = 714 + -711. Solve -2*y + 6 = r*l + 1, -5*l + 3*y = -40 for l.
5
Suppose -9*c = -8*c - 18. Suppose -3*d - 8*j = -7*j - c, -14 = -4*d + 2*j. Solve -4*y + d*n = -12, 3*y - y - 6 = -n for y.
3
Let z = 11 + -11. Suppose 0 = 3*k - k - 100. Suppose 10 = -t + 5*q, -5*t + k = -3*t + 4*q. Solve 5*p - t = -5*l - z*l, -5*l + 19 = 3*p for p.
-2
Let r(x) = 11*x**2 + x. Let u be r(-1). Suppose 3*p = 4*p - 3. Suppose 5*g - p*d - 118 = -2*d, 4*d - 8 = 0. Solve 0 = -4*b + 4*n + g, b - 6*n = -n + u for b.
5
Let z = -501 - -503. Solve -z*p - 30 = 4*r, 5*r - 3 = -5*p - 53 for p.
-5
Suppose 10*h - 49 + 9 = 0. Solve -3*o - 4*t = -0*t, 0 = -2*o - h*t for o.
0
Let p be 2 + (5/(-10))/(1/(-22)). Solve -3*l = 2*l - 2*x, -3*x + p = -l for l.
2
Suppose -17 = -4*a - r, -4*a - 3*r + 6 = -21. Suppose 5 = -a*h + 17. Solve h*o + 29 = -3*g, -3*o - 2*g - 9 = -4*g for o.
-5
Let i(l) = -l**2 + 9*l - 12. Suppose -3*g + 8*g = 35. Let b be i(g). Solve 0 = -5*f - b*j - 8, -1 = -f - 5*j + 2 for f.
-2
Suppose 3*l - 19 = 4*d, l - 17*d + 16*d = 6. Solve -3*y = -3*a, 0 = y - 3*y - 3*a + l for y.
1
Suppose -4*k + 6 = x - 17, -3*x = -2*k + 1. Suppose 4*b - 17 - x = 0. Solve -4*n - 3*u - 22 = -0*u, 5*u - 10 = b*n for n.
-4
Suppose 2*l - 1 = -b + 3, 2*b + 8 = 0. Suppose -f + 15 = l*f. Solve -10 = 3*g - 0*y - 5*y, f*y = 6 for g.
0
Suppose -5*q + c + 93 = 0, 2*q + 2*c = -0*c + 42. Let v = q + -10. Solve -p - 1 = 5*w + 10, -2*w = 5*p + v for p.
-1
Let z be (((-99)/6)/(-11))/((-3)/2). Let r = 11 + z. Solve -22 = 2*x + 4*k, x - 5*k = r - 0 for x.
-5
Suppose -3*s = 4*i - 27, 3*i - 5 = 8*i - 4*s. Solve i = -4*l + 5*l, 0 = -4*w - l + 7 for w.
1
Let g be (299/(-39))/(1*(-2)/6). Suppose g*w = 27*w - 4. Solve -5*z + w = 5*p + 16, -3*p + 19 = -4*z for z.
-4
Let z(r) = 3*r + 4. Let u be z(0). Let n be (2 + -3)*(-2 + u) + 3. Solve -l - 5*j - 7 = 0, 2*l = -l + 5*j - n for l.
-2
Let x(o) = -o**2 - 18*o - 21. Let f(h) = -h**2 - 17*h - 22. Let m(g) = 3*f(g) - 2*x(g). Let a be m(-13). Solve -4*r = a*w + 20, 0 = -5*r - 20 for w.
-2
Let m = 13 - 0. Let y(q) = 2*q**2 - 88*q + 88. Let x be y(43). Solve -1 = 4*l - m, -l + 11 = -x*d for d.
-4
Let s(b) = 5*b - 1. Let h be s(1). Suppose 16*j = 46 + 18. Solve -j*v + h*t - 24 = -4, -t = -2*v - 8 for v.
-3
Let y = -14 + 12. Let x(v) = 3*v**2 + 3. Let d be x(y). Let c be ((-20)/(-6))/(2/d). Solve 4*r = -g - 0*r + c, -10 = -5*g + 3*r for g.
5
Let k = 308 - 308. Solve -3*a - 5 = -5*h - 45, k = -2*a - 5*h - 15 for a.
5
Suppose 0*k = -4*t - 2*k + 38, t + 2*k = 17. Let a be (4/t)/(5/(140/8)). Solve 4*f + m - a*m - 25 = 0, -3*m = 2*f + 5 for f.
5
Let o = 7 - 8. Let c = 4 - o. Solve 3*j = -c*s + 2*j - 10, -4 = -s + j for s.
-1
Let i(c) = c**3 + c**2 - c - 1. Let z(d) = 7*d**3 - 19*d**2 + 19*d - 29. Let s(v) = -6*i(v) + z(v). Let a be s(24). Solve p + 5 = 3*h - 13, h = -2*p - a for h.
5
Suppose 23*y = 22*y + 29. Let b be y + 0 - (2 - 3). Solve 0 = -5*o + 5*g - 0*g - b, 1 = -o - 4*g for o.
-5
Let a(v) = 19*v - 147. Let c be a(8). Solve -5*x + c*n - 20 = 0, -3*n + n = -4*x - 16 for x.
-4
Suppose 5*l - u - 60 = 0, 3*l = l + 5*u + 47. Solve m = 3*b - l, 3*b + 2*b + 5*m - 45 = 0 for b.
5
Suppose -11 = 35*f - 186. Solve -5*q + 15 = f*a, -2*q = -0*q + 4 for a.
5
Suppose 0 = 142*m - 153*m + 44. Solve m*q - 12 = 4*y, 3*q - 14 = 2*y - 3 for y.
2
Let g = 77 + -75. Let m(c) = 2*c**2 - 2*c - 1. Let l be m(g). Solve 2*d = -l*a + 2*a + 12, a - 17 = -3*d for a.
2
Suppose -4*a = -l + 21, -4*l + 2*a + 136 = -a. Let f = l - 72. Let x = -29 - f. Solve -x*h = z - 3*h - 17, 4*h = 4*z - 4 for z.
5
Let s = -24 + 32. Suppose s = 5*y - 42. Suppose 3 = q - 1. Solve 3*w = -a - 17, -3*a + y = -4*w - q for a.
-2
Let m be (-2)/(-5) + 437/95. Suppose -m + 20 = b. Let d = -15 + b. Solve -3*q + 40 = -d*q + 5*i, -2*i + 25 = 3*q for q.
5
Suppose w = 4*k - 75, 43 = 6*k - 4*k + 5*w. Solve 27 = 4*c - 3*d, -1 = c - 3*d - k for c.
3
Suppose -20 = -0*r - 5*r. Let k = 8 - 3. Suppose -4*z + k + 11 = 0. Solve 5*v - r = v - 4*l, 0 = z*v + 5*l for v.
5
Suppose 0 = -6*w + 8*w - 6. Let q(r) = 2*r**3 - 5*r**2 - 3*r. Let u be q(w). Solve -3*a + 4*k - 3 = u, -3*a = -k + 2 + 1 for a.
-1
Let f = 94 + -80. Suppose 2*a - 80 = -f*a. Solve 4*m + a*p = -18, -3*m - 4*p - 10 = 4 for m.
-2
Let g = 487 + -485. Solve 4*y - g*m + 3 = 3*m, 0 = 3*y - 4*m + 3 for y.
3
Let p(v) = -2*v + 36. Let y be p(17). Solve 2*o + y = 2*k, k + 5*o = 21 - 8 for k.
3
Let h = 28 + -25. Suppose -2*k - 1 = -j - k, -h*j = 3*k + 3. Solve j = 5*g - v - 0*v + 22, 4*g + 26 = 5*v for g.
-4
Let g be (5 - -5)/2*(-1)/(-1). Solve -g*n + n + m = -2, -5*n + 9 = 2*m for n.
1
Let t = -50 + 60. Let h = 10 - t. Solve 3*a + 5 = -5*z, -4*z + 3*a = -h*a + 31 for z.
-4
Let j = 78 - 9. Suppose -2*v - 32 = -3*v - 3*p, 2*v - j = -p. Solve 8*u - 2*f = 3*u - 5, 5*u + 4*f + v = 0 for u.
-3
Suppose f = -2*f + 6, 4*j = 4*f + 12. Suppose b - j = -0. Solve 4*s + b*q = -8, 12 = -s - 4*q - 1 for s.
3
Let w(z) = z**3 + 5*z**2 - 3*z. Let b be w(-4). Let d = b - 24. Solve 3*k + 1 = -y, d*y - 3*y = -4*k for k.
1
Let z(u) = -u**3 - 3*u**2 - 8*u - 20. Let y be z(-3). Solve -y*j + d = -0*j - 12, 3*d = -12 for j.
2
Let x(h) be the first derivative of 2*h**3/3 - 27*h**2/2 - 11*h - 21. Let j be x(15). Solve -2*a - 2*m = -4, 3*a - 4*m - m + j = 0 for a.
-3
Suppose -6*o - 140 = 5*h - 8*o, 0 = -4*h - o - 99. Let t = h - -33. Suppose -l + 16 = 3*l. Solve -5*r = -4*y - 5, 4*y - t + 3 = -l*r for r.
1
Suppose 8*j = 139 - 43. Let x be -1 + j - (-4)/24*0. Solve 0 = -3*c + v, 7*c - 2*c = -2*v - x for c.
-1
Suppose -4*w + 11 = -c, -2 = -0*w - w + c. Let o = w + -3. Let h = 279 - 279. Solve h = n - f - 2 + 1, o = 3*n - 4*f - 8 for n.
-4
Suppose 4*q = 3*v - 32, 3*v - 3*q = -6*q - 3. Solve 5*w - 13 = 2*c - 1, -4*c = 4*w - v for c.
-1
Let y = 1127 - 1127. Solve 5*i + 2*n + 19 = y, 0 = -n - 4*n + 15 for i.
-5
Let i(x) = 2 + 7*x**2 + 8*x + 4*x**2 - 10*x**2. Let q be i(0). Solve -3*r + q*g - 9 = -0*g, -10 = 4*r - 2*g for r.
-1
Let x(n) = 16*n - 10. Let d be x(3). Let j = d - 26. Solve 3*q + a - j = 2*a, 5*a = 5*q - 30 for q.
3
Suppose -4*m + 2*z = -22, 5*m + 3*z = 47 - 14. Let t(s) = -s**2 + 5*s + 11. Let h be t(m). Solve h*a - c = 2, -5*a - 4*c + 3*c - 2 = 0 for a.
0
Suppose -44 + 16 = -7*r. Solve -l = -2*l + 1, 0 = 2*x + r*l for x.
-2
Suppose -26 = 35*k - 48*k. Solve j = -q - q + 10, j = k*q - 10 for j.
0
Let b be 188/(-28) + (-2)/7. Let s = b + 7. Let j(h) = h**3 - 10*h**2 + h - 2. Let x be j(10). Solve s = -4*i - 2*c + x, 0 = 5*c - 0*c + 10 for i.
3
Suppose 0 = -3*x + x - 0*x. Let d be (5 - (5 - x)) + 3. Solve -3 = -j - d*t + 13, -j + 8 = t for j.
4
Let b = -270 + 273. Solve -2*w - 10 = 0, -j + b*w = 2*w for j.
-5
Suppose -5*z + 4 = -11. Suppose 5*u = -2*i + 50, 22 = 3*i - z*u - 11. Suppose -i = -4*p - p. Solve p*m - 28 = -4*g - m, -8 = -2*g + m for g.
5
Let r(p) = p**3 + 29*p**2 - 25*p + 155. Let q be r(-30). Solve 28 = 4*l + 4*x - 0*x, q*l = x + 17 for l.
4
Suppose -49*t + 118 = -29. Suppose 16 - 4 = 4*h. Solve o = -h*p - o + 19, -o + 17 = t*p for p.
5
Suppose -44 = 4*z - 0*z. Suppose -38 = 2*g + 4*u, -3*g = 3*u - 0*u + 42. Let c = g - z. Solve -4*h - 3 - 1 = 2*m, -3*h + c*m = 10 for h.
-2
Let y(q) = 3*q + 10. Let b be y(-3). Let p(a) = -a - 16. Let i be p(-19). Solve x - b - 4 = f, 0 = -i*x - 5*f - 1 for x.
3
Let o be -10*(119/(-14))/17. Solve -o*w + 2*t + 2*t = -5, 5*w + 2*t = -25 for w.
-3
Let h = -37 - -42. Suppose -w = -2*k - 9, 4*k - 3*k = -h*w + 34. Solve -2*c + 4*b - 2*b + 4 = 0, 4*c - 3*b - w = 0 for c.
1
Suppose 61 + 47 = 18*j. Solve 3*n = -3*k + j*k + 6, -5*n = k - 28 for n.
5
Let k(v) = 587*v + 2348. Let d be k(-4). Let t = -4 - -6. Solve -t*f + f = -5*u + 20, 2*f + 4*u - 2 = d fo