3*l + 6 = 4*k - 4. Solve -k*d - p = -0*d for d.
-4
Suppose 2*r + r - 6 = 0. Suppose -9*h + 45 = -153. Solve h = 4*f + r for f.
5
Let m(q) = 9*q - 3 - 3*q - 5*q + 1. Let s be m(7). Solve -5*f + s = -0*f for f.
1
Let c(u) = 15*u + 137. Let v be c(-9). Solve v*j = -8*j - 10 for j.
-1
Let u(a) = 10*a**2 + 4*a - 8. Let h be u(1). Solve 0 = 3*t - 0 + h for t.
-2
Let v(b) = 2*b + 48. Let t be v(-24). Suppose -12 = 3*r - 7*r. Suppose -f - r = -5. Solve t = -2*i - f*i + 4 for i.
1
Let w(n) = -14*n - 2. Let a be w(-2). Suppose 0 = 4*i - a + 22. Solve -4*v = -i - 3 for v.
1
Suppose -5*p + 4*f = 17 + 3, -2*f + 8 = -2*p. Let s = -4 - p. Suppose 2*q + 4 = 4*q + 3*c, -3*q + 6 = -c. Solve q*l + s*l = 0 for l.
0
Let r(g) = -g**3 + 16*g**2 - 13*g - 24. Let d be 319/22 - 1/(-2). Let u be r(d). Solve -4*p + 6*p - u = 0 for p.
3
Suppose -1 = -i + 3. Let k be 1 + i + -4 + 1. Solve -20 = -6*v + k*v for v.
5
Suppose -14 - 1 = -3*g. Solve -2*r - 5 + g = 0 for r.
0
Suppose 74 = 28*q - 30*q. Let z = q - -40. Solve -5*l - z = 2 for l.
-1
Let j = 87 - 6. Let n = j - 61. Solve -3*t = t + n for t.
-5
Let c be 12/(-15)*20/(-4). Suppose -c*a + 125 = 113. Solve -8 = -w - a*w for w.
2
Let u be 1 + -3 - 15/(-3). Suppose 6 = -2*v + 4. Let r be u*2*(2 + v). Solve -n = -r*n - 25 for n.
-5
Let j = -39 - -55. Let c(k) = -k**3 - 5*k**2 - 96*k - 363. Let z be c(-4). Solve z*r - r = j for r.
4
Let f(m) = -m - 2. Let r be f(-2). Suppose -3*t = -r*t. Solve 2*v + 2*v = t for v.
0
Let q = -524 - -526. Suppose -4*s + 4 = -0. Solve -q*d + s = -5 for d.
3
Suppose 30 - 6 = 4*g. Let s be (429/(-4))/(-11) - 1/(-4). Let u = 12 - s. Solve -m + g = u for m.
4
Suppose -290 = 4*y + 2*h, 0 = -3*y - 3*h - 103 - 116. Let j = -69 - y. Solve -j = -3*v - 0 for v.
1
Suppose -4*i + 11 = -z + 177, 206 = -5*i + 2*z. Let s be 14/6 - 28/i. Let w(m) = m**3 - m**2 - m. Let p be w(0). Solve p*j = s*j for j.
0
Let z(r) = -2*r**2 - 12*r + 1. Let q(d) = 2*d**2 + 13*d. Let p(j) = -5*q(j) - 6*z(j). Let n be p(-6). Let c be n/(-18)*(-9)/2. Solve 4*l - c*l = 0 for l.
0
Suppose 5*w + v - 16 = 0, -9 = 3*w + 5*v - 1. Let h be 2/(-16) + (-333)/(-296). Solve -5*z = h + w for z.
-1
Suppose -g + 2 = -0. Suppose 6*w - 2*w = 5*r - 6, -4*r = g*w - 10. Solve -l - 2 = -r*l for l.
2
Let g(j) = 25*j + 235. Let k be g(-9). Solve 6*o - k = -10 for o.
0
Let h = -38 - -23. Let z = 10 - h. Suppose 9*f - 4*f - z = 0. Solve -2*j + j = -f for j.
5
Let d(a) = 16*a**3 + a**2 + a. Let w be d(1). Solve w*p = 13*p + 25 for p.
5
Let z(a) = a**2 - 4*a + 72. Let u be z(0). Suppose 8*q = 14*q - u. Solve -2*n = 2*n - q for n.
3
Suppose 3*w + 19 = s, 4*s + 2*w = 4 + 2. Let m(u) = 3*u + u**3 + 3 - 4*u - 3*u + u. Let c be m(-2). Solve s*h + 7 = -c for h.
-2
Suppose -5*o + 4*v = -123, 5*o - 12*v + 11*v = 117. Solve -o - 12 = 7*g for g.
-5
Suppose -3*b + 4 = 172. Let a be b/(-6)*3/2. Solve 5*h + 4 = a for h.
2
Suppose -3*d - 6 = -4*d. Suppose 0 = -15*y + d*y + 54. Solve 0 = -0*t + 3*t + y for t.
-2
Let a = 2 + 25. Suppose 3*g - 3*z + 17 = 5*g, -3*g = 5*z - a. Solve -m + g*m + 12 = 0 for m.
-4
Let x(m) = -m**3 - 9*m**2 - 15*m - 53. Let i be x(-8). Solve 7 = i*k + 1 for k.
2
Suppose 324 = 16*p - 300. Solve -p*t = -35*t - 8 for t.
2
Suppose -u = -5, -5 = 5*d + u - 4*u. Suppose 30 = 3*j + d*j. Suppose -2*c + 39 = -3*f, -4*c - 3 = 2*f - 57. Solve c = -y + j*y for y.
3
Let u(b) = -b + 2 + 2*b**2 + 5*b - 8*b. Let f be u(2). Suppose p + 3*o - f = 2*o, 2*o - 4 = -4*p. Solve -2*v + p = -10 for v.
5
Suppose 0 = 60*v - 10*v. Let n = -2 + 5. Solve v = -n*z - z - 8 for z.
-2
Suppose 16 = -i + 2. Let x be 0/i*(-2)/(-4). Suppose x = 3*j + 9 - 15. Solve 0 = j*s - 5*s + 3 for s.
1
Suppose -41 - 112 = -3*s. Suppose -s = -5*m - 11. Solve -m = -5*h + 7 for h.
3
Suppose -195 + 67 = -4*g. Let x = g + -30. Solve -i + x*i = -4 for i.
-4
Suppose 16 = 15*o - 7*o. Solve 0 = -25*w + 24*w - o for w.
-2
Suppose 3*n - 9 = -0. Suppose 0 = 5*u - 5*o - 5, -3 = 2*u - n*o - 1. Suppose u*h = 4*h. Solve -2*k + h*k = 0 for k.
0
Suppose -2*a = -4*s + 1 - 63, 2*s = 2*a - 62. Suppose 4*u + 3*m - a = 0, 3*u - 2*m - 22 + 3 = 0. Solve 2*n - u*n = -25 for n.
5
Let d be (896/140)/(4/10). Solve l + 15 = d for l.
1
Suppose 4*w - 122 + 2 = 0. Let j be (24/w)/((-3)/(-15)). Solve -5 - 11 = -j*u for u.
4
Suppose 154 - 437 = 5*s - k, -2*k - 61 = s. Let p = -54 - s. Solve 8 = p*h + 2 for h.
2
Suppose 2 = -4*p + 10. Suppose 5 = 5*l, 2*r - p*l = r + 1. Solve -10 = r*m + 2*m for m.
-2
Let o be 1 - (-26)/(-2)*-2. Let m = 14 - o. Let l = m + 13. Solve l = -t - 3*t for t.
0
Let m be (-6)/14 + 2 + (-6)/(-14). Suppose -5*t + 3*v + 25 = 5, -3*t + 4*v + 12 = 0. Suppose -m*s + t = -14. Solve -3 = -4*c + s for c.
3
Suppose x - 5*s = -0*s - 20, 5*x - 12 = -3*s. Let c(t) = -t**2 - 14*t + 129. Let o be c(6). Solve -3*u + o + 6 = x for u.
5
Suppose -j + 14 + 4 = 5*y, 0 = 3*y + j - 12. Solve b = -y*b for b.
0
Suppose 0 = -7*p + 5*p - 4*b + 16, 0 = 3*p - 5*b + 20. Solve p = -3*i - 2*i for i.
0
Let r = -837 - -876. Solve r = -4*l + 27 for l.
-3
Let c = -12 - -14. Let s(p) = 13*p**2 - 11*p**c - 6*p**2 + 1 + 1 + p**3 + p. Let o be s(4). Solve 2*g = -g + o for g.
2
Let z = 1242 + -1239. Solve 15 - z = 12*v for v.
1
Let x be (-4)/(-8)*1/1*14. Suppose -5*a + 5*n = 0, -3*a + 2*n + 5 = -0*a. Solve 4*m + a = -x for m.
-3
Let p be (-4 - -8 - 4)/3. Solve 3*w = -p*w - w for w.
0
Let c be (-16)/6*((-48)/(-16) + -6). Let i(n) = n + 8. Let g be i(-6). Let x be (-14)/(-6) + g/(-6). Solve x*q + 0*q = -c for q.
-4
Suppose 0 = -0*a - 2*a + 3*u + 7, 0 = -3*a - 5*u + 1. Solve a*g + 2 = -4 for g.
-3
Suppose -17 = y + 10*x - 6*x, 4*x + 20 = 0. Solve -y = 75*i - 78*i for i.
1
Let s(c) = -c**2 - 4*c + 1. Let x be s(-2). Let z(f) = -6*f + 5. Let v(h) = h. Let p(n) = 5*v(n) + z(n). Let d be p(x). Solve d + 1 = -i for i.
-1
Let z(v) be the third derivative of -v**3 + 0*v + 1/12*v**4 + 0 + 6*v**2. Let i be z(4). Solve 0 = 3*h + i*h - 5 for h.
1
Suppose 0 = -4*n + 22 + 14. Suppose -n = -11*r + 2. Solve -r = 2*a + 3 for a.
-2
Suppose -5*r = n - 374, -2*r - r = 3*n - 234. Let w = r - 66. Let i(c) = 2*c - 1. Let d be i(2). Solve -w = t + d*t for t.
-2
Let t be 10/(-8)*(2 - 18). Suppose -i + t = -0*g + 5*g, 5*g + 4*i = 35. Let z(n) = n + 10. Let o be z(-8). Solve o + g = h for h.
5
Let q(d) = d**3 + 35*d**2 - 79*d - 114. Let j be q(-37). Solve 15*x + j = -4 for x.
-5
Let i(n) = -n**2 - 9*n + 18. Let p be i(-10). Let a = 6 + p. Solve 34 - a = -4*u for u.
-5
Let a = 6 + 8. Suppose 0*w - b - 18 = -4*w, 4*w + b = a. Solve q + w*q - 10 = 0 for q.
2
Let k = 263 + -143. Suppose -f = 3*f + k. Let j = f - -46. Solve 3*a - 7*a = -j for a.
4
Suppose -v + a + 175 = -0*a, 4*a + 524 = 3*v. Let b = v + -168. Solve b = -u + 3 for u.
-5
Suppose 5*h + 0*h = 650. Suppose 0 = 5*w - 245 - h. Suppose w = 3*l + 2*l. Solve -2*c = 3*c + l for c.
-3
Let a = -38 - -40. Suppose -27 = -a*z - 23. Solve z = 5*w + 7 for w.
-1
Let m(o) = -9 - 6*o - 1 + o. Let j be (-10)/(-3)*(-4 + 110/50). Let t be m(j). Solve 0 = -y + 5*y - t for y.
5
Let j be (-76)/30*-3 + (-8)/(-20). Let n be (-114)/(-15) - (-9)/(-15). Suppose -5*v = d - n - 18, -5*v + 10 = -2*d. Solve -d*h + h - j = 0 for h.
-2
Suppose 0 = -4*y - 3*m - 199, 5*y + m = 148 - 405. Let h = y + 52. Suppose 4*i - 11 = -3*q, 0 = 4*i - 5*q - 3. Solve i*n + h = 10 for n.
5
Suppose 0 = 4*x - 0*x - 8. Suppose -v = -x*v + 14. Let h be v/(-63) - 76/(-18). Solve h = -z - 1 for z.
-5
Let m(y) = 2*y - 1 + y + 6*y - y. Let l be m(1). Let i(o) = -o**3 + 7*o**2 + 3. Let w be i(l). Solve -6 = w*d + 3 for d.
-3
Suppose -f - 2*u + 46 = 25, -4*f = -2*u - 54. Let l be (0 - 30/2) + 1. Let k = f + l. Solve -3*g - 5 = k for g.
-2
Suppose 0 = 2*f - 5*b + 7 + 1, 0 = -4*b + 8. Let q be f/(-3) - 1/(-3). Solve q = -g + 3 - 2 for g.
1
Let a(s) = s**3 + 5*s**2 + 3*s + 1. Let u be a(-4). Suppose -795*r + 814*r = 323. Solve -3*q = -r + u for q.
4
Let k(j) = -25*j - 1. Let a be k(-1). Let s = a + -21. Solve 2*w = 5 + s for w.
4
Let t = 1 - -5. Suppose 5*i - 5 = 0, -3*i - 2 + 5 = l. Suppose -5*x + 2*m + 0*m + 5 = l, m + 10 = 5*x. Solve 0 = -x*s - t - 0 for s.
-2
Let o(q) = -q**2 + 8*q - 1. Let h be o(7). Solve 0 = h*d - 2 + 14 for d.
-2
Suppose 3*c - 3*m + 1 = 10, -5*c - m = -15. Suppose -32 = -4*b + 4*s, -b = -3*s - 2 - 12. Solve -b + c = -p for p.
2
Let k(t) = t**2 - 7*t - 