 2*k + 4*p for k.
0
Let g = -157 - -159. Solve g*s + x = -s + 8, -2*x + 8 = 4*s for s.
4
Suppose m + 24 = 5*m + 4*x, 2*x = -4*m + 18. Solve m*h = -0*h + 15, -19 = -3*w - 2*h for w.
3
Suppose -3*i + 5*i = 16. Let p be 91/52 - (-2)/i. Solve p*r - l + 6*l = -21, -r - 5*l = 18 for r.
-3
Let t(o) = o**2 - 5*o. Let s be t(5). Solve -12 = 4*v - u - u, 2*v - 4*u = s for v.
-4
Suppose g = -4*p - 6 + 38, 2*p = 4*g - 38. Let b(d) = 2*d - 6. Let h be b(4). Suppose -h*c + g = 2. Solve -5*y + c*v = -30, -y + 16 = 4*y + 2*v for y.
4
Let n = 44 - 44. Suppose p = 3*s + 11 + 18, s + 4 = n. Solve -5*u + 2*v = -20, -3*u - 3*v - p = -4*u for u.
2
Let a = 376 - 217. Let i = a + -64. Suppose 0 = 7*d - 2*d - i. Solve -3*s = -k - 9, 5*s - k = 2*k + d for s.
2
Let c(m) = m**2 - 9*m + 13. Let f be c(11). Suppose 0 = -38*z + f*z + 6. Solve 5*k = 5*v + 20, 1 = -5*v - z*k + 16 for v.
1
Let q(y) = 2*y + 9. Let b be q(8). Suppose 5*p = -18 - 87. Let z = b + p. Solve -z*l = -4*a - 9*l, -2*a = l for a.
0
Let l = -244 + 249. Suppose g = -0*g + 2. Solve 24 = 5*d - g*z - l, 14 = 4*d + 3*z for d.
5
Suppose 110 = -71*p + 66*p. Let c = p - -26. Solve -j + 0*j - 3 = -2*y, 0 = -y + c*j + 5 for y.
1
Let c(j) = -7*j - 23. Let o be c(-4). Solve 2*h - 5 = 7*h + o*v, -5*v = -5*h + 35 for h.
3
Let i(q) = q**2 - 9*q + 41. Let d(v) = -5*v**2 + 36*v - 165. Let u(o) = 2*d(o) + 9*i(o). Let c be u(-12). Solve 20 - 5 = 3*g + c*b, -5*b = -4*g - 7 for g.
2
Let u(c) = -c**3 + 5*c - 2. Let b be u(3). Let g = b + 16. Let k be (27/(-18))/(6/(-28)). Solve k = t + g*w, -4*t + 5*w - 3 = 21 for t.
-1
Let s be 99/21 - 2/(-7). Solve 5*r - w = -12, 0*w - 14 = s*r - 2*w for r.
-2
Let r = 148 - 146. Solve 3 = -s - 4*z, 0*s - 3*s - r*z + 11 = 0 for s.
5
Suppose -o = -1 - 1. Suppose 31 = 5*k - 99. Solve 0*j + o*u - k = 4*j, 2*j + 7 = -u for j.
-5
Suppose -4*t = 8, -8*t - 4 = 4*l - 6*t. Solve 0 = 3*m - i - 5, l*i = -5*m - i + 19 for m.
3
Let i(v) be the third derivative of -v**4/12 + 5*v**3/6 - 10*v**2. Let t be i(-3). Solve -3*r = k + t, -4*k + 25 = k - 5*r for k.
1
Let z(b) = b**2 - 7*b + 4. Let n be z(3). Let v be 2/(-2*2/n). Solve 0 = -3*q - 3*y + 18, v*y - 6*y + 20 = 4*q for q.
4
Suppose -r = -5*o + 2, -5*o + 4 = -2*r - 0*r. Suppose -36 = -52*t + 40*t. Solve 2*b - 1 = -3*s, -3*s + o*s + 3 = t*b for b.
2
Let b = 1674 + -1669. Solve 2*p = n + 11, -3*n + 4*p - b = 5*p for n.
-3
Let f be ((-2)/4)/(2/(-72)). Let j(w) = -2*w**2 - 5*w + 9. Let v be j(-5). Let n = v + f. Solve -3*m = 3*i + 18, -3*m + n*m = 5 for i.
-1
Suppose -5*k + 3 = 4*l, -k - 5*l - 5 - 7 = 0. Suppose -k*a + 7 + 8 = 0. Suppose f = -0*f + 5. Solve 0 = -f*o - 0*g - g - 19, 11 = -a*o + g for o.
-3
Let o(x) = x - 16. Let m be o(17). Suppose m - 7 = -3*z. Solve -3*w = -4*a + a - 6, -z*w = -a - 6 for a.
2
Let x be 62/14 - (510/(-35) - -14). Solve -2*d + 5*g - 4*g = 4, -2*d - x*g = 28 for d.
-4
Let b = -1910 + 1915. Solve -5 = -3*h + 4*d, 2*d = -3*h + b*d + 6 for h.
3
Let f be (-7)/(-21) + 32/3. Suppose f = -4*h - 97. Let x = 30 + h. Solve c = -x*c + 2*t + 16, -3*c - 5*t - 1 = 0 for c.
3
Let l(g) = 11*g**2 - 37*g + 15. Let w be l(3). Solve 14 = w*j + 2*o + 12, -j + 18 = 5*o for j.
-2
Suppose m = 3*m - 18*m. Solve -r + 2 = 2*h, m = -5*h - 3*r + 2 + 2 for h.
2
Let t(c) = c**3 + 14*c**2 + c + 18. Let h be 232/(-20) + 6/(-15). Let k = -2 + h. Let s be t(k). Solve -s*p + i = -0*p - 16, 0 = 3*p - i - 11 for p.
5
Let y = -84 - -87. Solve 3*a + 4*g - 3*g = 10, 15 = -y*g for a.
5
Let q = 6 + 2. Suppose 4*n + 4*z - q = 0, 3*z - 5 = 5*n + 1. Solve 0*x + 2*x + 4*s + 8 = n, 0 = -2*x - s - 2 for x.
0
Suppose 8*n - 27 = 5. Let k = -1 - -1. Solve -n*s - 2*a = s - 25, 2*a = k for s.
5
Let t be 3*(-5)/((-120)/56). Solve 0 = v - 5*l - t - 4, 2*v - 1 = 3*l for v.
-4
Let v = -9 - -12. Suppose -6 = v*h - 15. Solve -p = 4*q + h + 5, -4*q = 3*p for p.
4
Let u be -54*(-470)/2115*3/2. Suppose 4*y + 3*m = -7, y = 2*m + m + 17. Solve d + 0*z + u = 3*z, 9 = y*d + 3*z for d.
-3
Let u be ((-20)/(-25))/(6/(-75)). Let w be (2/u + 1)*(-35 - -40). Solve -4*l + 3*t + 28 + 0 = 0, -l + w*t = -20 for l.
4
Suppose 27 = 5*u + 3*g, 4*g = u + 1 - 11. Suppose -u = 5*c + 34. Let p = c - -10. Solve 5*b = 3*t + 12, p*t - 4*b + 10 = -0*t for t.
1
Suppose 0 = 6*v - v - 165. Suppose 5*t - 15 = s, 4*s + v - 13 = 0. Solve -5*h = 27 - t, -5*l + h + 25 = 0 for l.
4
Suppose 5*z - 104 = 9*z. Let b = -20 - z. Solve d + 2 = f, 3*d + b*f - f = -22 for d.
-4
Let f = 576 + -571. Solve 2*z = -3*a - 7 + 2, -f*z + a + 30 = 0 for z.
5
Suppose -3*h = 2*h. Let g = -19 + 21. Suppose -34 + 9 = -5*k. Solve h = -3*t + k*c + 2, g*c + 2*c = 2*t for t.
4
Let h be (3/6)/((-7)/(-14)). Let b be h + -5 + 3 - -3. Solve -5*j + 12 = -0*g + 4*g, 3*g + b*j - 9 = 0 for g.
3
Let m = 171 + -167. Solve 5*y + 31 = -m*s, -4*y + s - 8 = -0*s for y.
-3
Let s(g) = 7 - g - 71*g**2 + 69*g**2 - 2 + 6*g. Let v be s(3). Solve -2*n = -2*b - 14, 3*b - v*n = -2*b - 26 for b.
-4
Let o = 218 - 218. Solve 2*d = -v + 3*v + 4, -4*v - 2*d + 4 = o for v.
0
Let k = -21 + 33. Let m = -9 + k. Suppose -m*n + 0*n = -9. Solve -l + 4 = 3*b, -5*b + 16 = -n*l + 7*l for l.
4
Let w(x) = x**3 + 18*x**2 + x + 20. Let z be w(-18). Suppose -4*s = -s + s. Solve -z*h - 4*y = 12, 2*h - 3*y + 8*y + 14 = s for h.
-2
Let n(k) = -4*k - 19. Let g be n(9). Let y = -29 - g. Solve 0 = 4*h + 2*q - q - 13, 5*h - y = 2*q for h.
4
Let r = -634 + 638. Solve 2*u + 11 = 3*y, 0*y + 19 = 3*y - r*u for y.
1
Let y be -4 + (-380)/(12/3). Let s be (8/12)/((-6)/y). Let h be (-2)/s + 1002/66. Solve -3*v - 4*m + h = -0*v, -10 = -v - 3*m for v.
1
Suppose 3*h - 2*h - 5 = 0. Let l = 7 + -3. Solve n - 27 = h*q, -4*n + 33 = -q - l*q for n.
2
Let a = -1652 - -1656. Solve 3 = 3*o - 3*x, a*x + 20 = 4 for o.
-3
Suppose -2*v + 2*n + 28 = -3*n, 5*v = -2*n + 12. Suppose 28 = 4*f - v. Let g be (-2)/f*-2*6. Solve -5*k + g*b + 11 = 0, k = 3*b + 6 + 1 for k.
1
Let v = -148 + 153. Solve v*g + 19 = 4*m - 0*g, -2*m + 3*g + 11 = 0 for m.
1
Let a(g) = 3*g + 18. Let q be a(-7). Let i be q*((-12)/(-9) - 3). Solve -h - 9 - 6 = -4*t, 5*t = -i*h + 50 for t.
5
Let o be (0 + 132/(-8))*(-4)/6. Solve r + 5*f = 2 - o, f = r - 3 for r.
1
Let u = -3 + 5. Let y = 70 + -52. Solve -u*g = -3*w - y, w - g = 4*w + 9 for w.
-4
Let j be 2/(-8) + (-18)/(-8). Solve 0*o - 6 = o - 2*p, 3*o + 10 = j*p for o.
-2
Suppose 0 = 3*c - 0*p + 3*p, 5*p = -4*c - 5. Suppose 4 + 21 = c*i. Suppose 14*m - 29*m + 30 = 0. Solve -i*j + 12 = -0*a + 4*a, m*a - 6 = 4*j for j.
0
Let o be 24/32 + (68/16 - 3). Solve -5*q + o*z + 0*z = 20, 0 = z - 5 for q.
-2
Suppose -4*u + 16 = -2*u. Let z be (1 + 3)*(5 - 4). Suppose 0 = -z*p + 3*p + 4. Solve 5*q = -a + p + u, 3*q = -3*a for a.
-3
Let x(n) = -n + 4. Let b be x(3). Suppose -3*o + 5 = -b. Solve 12 = -o*h - 3*j, 5*h + 2*j + 3 + 16 = 0 for h.
-3
Suppose -15 = 5*m, -4*m + 10 = 3*q - 5*q. Let w = 17 + q. Suppose c + 4 = 6. Solve 0 = -3*u - 3*r - w, -c*u + 0*r + 8 = -4*r for u.
0
Let v be (2 + 1 + 0 + -2)*-51. Let h be 10/(-15) + v/(-9). Solve h*q = -5*c - 5, q - 4*c = -q - 14 for q.
-3
Suppose -2*t = 2*z - t + 81, -2*z = -5*t + 99. Let f = 46 + z. Solve d + f*l = -13, -5*l = -4*d + 7 + 4 for d.
-1
Let t(a) = -a + 5. Let z be t(-5). Suppose -5*k = 2*n - 35, -2*n - 5*k = -5*n - z. Solve -3*v - 18 = 5*y, y = -2*v + n*y + 10 for v.
-1
Let y = -28 + 40. Suppose 0 = 4*t - y*t. Solve -2*f = w - 3, -2*f + t = 3*w - 5 for f.
1
Suppose 0 = -5*s + 10 + 5. Solve -b = -2*y + 2 - s, 5*b - 5 = 3*y for b.
1
Let n(s) = -20*s. Let u(q) = -2*q. Let w(v) = -3*n(v) + 28*u(v). Let d be w(1). Solve -d*y + 36 = 2*o + 3*o, -3*y = -12 for o.
4
Let m = -364 - -381. Solve -2*d + 0*d = -3*n - m, 0 = 3*n - 4*d + 19 for n.
-5
Let a(o) = o**3 + 2*o**2 - 3*o. Let l be a(-3). Suppose l = 3*h - 19 + 4. Let p = -9236 - -9236. Solve p = j - h*y - 25, y = -3*j - y + 7 for j.
5
Suppose 10*m - 16 = 6*m - 5*b, -2*m + 8 = -b. Solve m*s + 4*t = 2*s, 3*s - 10 = -t for s.
4
Let t be 2142/567 - 2*(-2)/18. Solve 4*n = -3*w + 5*w + 2, -n + t*w - 10 = 0 for n.
2
Suppose -6*i + 4*i = 5*x - 9, -5*i + 31 = 4*x. Suppose -278 = 5*p + 47. Let z be 10/p - (-82)/26. Solve 2*s - i = -z*j, -5*s = -2*s + 3*j - 12 for s.
5
Let n(t) = t**2 + 37*t + 333. Let j be n(-15). Solve -5*s + 26 - 1 = -3*u, s = -u - j for u.
-5
Let l(s) = -2*s**2 + 5*s + 3. Let c be l(-3). Let x = c - -58. 