 - 7*f, 5 = -2*r + f for r.
0
Let g(l) = l + 12. Let v be g(-10). Suppose -4*r = -2*d - 22, -v*r + 6 = -4*d - 14. Solve 2*h - 4*p = -0*p + 10, -r = -h + p for h.
3
Let o(i) = i - 1. Let w(n) = 2*n + 6 + 0*n - 1 - n + n**2. Let x(t) = 2*o(t) + w(t). Let l be x(-6). Solve 9 = 3*h - 5*j + 2*j, -j = 5*h - l for h.
4
Let g = 0 + 5. Suppose -3*w + g = -4. Solve i + 2*q = 3*i, w*i - 2*q = 0 for i.
0
Let t be 0 - (-4)/(-2) - -6. Let i = -289 + 294. Solve i = w, t*f + 4*w + 0*w = 12 for f.
-2
Suppose 70*d = 143*d. Suppose -5*s - 2 = -7. Solve s = u - d, -2*k = 4*u for k.
-2
Suppose 150*q + 423 = 291*q. Let z be (-1*(-5 - 0))/(-1). Let a(v) = -v**3 - 5*v**2 + 4. Let g be a(z). Solve -q*r - 2*c - 3 = 2*r, r + g*c = -15 for r.
1
Suppose 0 = 19*r - 0*r. Solve 6*x + 27 = x + w, r = -4*x - w - 18 for x.
-5
Suppose -2*p - 164 = -2*b, 4*b + 3*p - 325 = 4*p. Let s = 93 - b. Let n be 2*(3*1 - 0). Solve -n = w - 2*z, 3*w - 2*z = z - s for w.
-2
Suppose -4*o - 5*k = -o - 14, 0 = 4*o - 5*k - 7. Suppose o*m + 4 = 7. Let s be (-6)/(-21) - (-136)/14. Solve 5*y + j = -21, 3*j + m = 3*y + s for y.
-4
Let a = 1296 - 1291. Solve -5*m + 0*m = -a*y + 30, 3*m + 10 = -5*y for y.
1
Suppose 38 + 32 = 4*b - 5*v, 0 = -v - 2. Suppose b = -5*d - 5*r, -d = 5*r - 0 + 15. Solve 5*i + 5 = 5*q, d = i + 2*i + 2*q + 23 for i.
-5
Let f(l) = l**3 + 11*l**2 + 27*l - 5. Let i be f(-7). Solve -2*t - 3*t + 10 = -3*q, -t - i*q + 15 = 0 for t.
5
Suppose -32 + 102 = 5*g. Let q = -11 + g. Suppose -q*o - 6 = -18. Solve 2*f - o*t = 2, f + 1 = -t - 1 for f.
-1
Let z = 2 - 4. Let m be 10*z*20/16. Let g = m - -27. Solve -2*c = 2*a - 12, -3*a + 8 = -g*c + 3*c for a.
1
Suppose 12 = -2*v + 3*v. Let t be ((-2)/3)/(4/(-24)). Let u(i) = i**3 - 4*i**2 + 2*i - 5. Let d be u(t). Solve 2*z - d*z + f = 0, -2*f + v = z for z.
4
Let w be (-74)/(-4) + 21/14. Suppose q = -3*g + 5, -q + g - 5*g + 6 = 0. Solve 4 = a + y, -3*y - q*y = -3*a - w for a.
0
Let d(w) = -w + 16. Let n be d(11). Suppose 3*b = n + 10. Suppose 2*u = b*u - 12. Solve 2*o - 5 = -k, 3*o - u = 5*k - 3 for o.
2
Let j = -80 - -82. Suppose 4*a = 3*a + 3. Solve 0*r - a*r = 2*k + j, -8 = -4*r for k.
-4
Let t(v) = -2*v + 8. Let i be t(4). Suppose -3*k + 3*o + 3 = i, -2*k - o + 4*o = 0. Solve -9 = -k*u - 3*x, 3*x = -u - 2*x + 19 for u.
-1
Let r be (1 + -2)*(29 - 29). Solve 4*g + 3 = -z - g, r = 4*z - g - 9 for z.
2
Let a be 5 + 0 - (-8)/(-2). Let f be a*-4 - (12 - 2). Let z be (12/f)/(12/(-56)). Solve 5*x - z*n - 21 = 0, 16 + 0 = -4*n for x.
1
Let z(f) = 6*f + 11. Let g be z(-2). Let q be g - ((-2)/6 + (-2)/3). Solve 3*p + q*b + 4*b = 20, 14 = p + 5*b for p.
4
Let m be 3/(-1) - (-132)/12. Solve -6 = 3*f - 0*f, -2*x + m = -5*f for x.
-1
Suppose 0 = 3*f - 2*y - 274, -2 = y - 0. Let w = f + -78. Suppose 3*x = 2*o + 20, -4*x - o = -4*o - 28. Solve -5*r - 19 = x*v, v = -5*r - 4 - w for r.
-3
Let o(b) = -b + 20. Let p be o(5). Suppose -3*t - 2*t = -p. Solve 3*x - 5 = 3*n + x, 0 = -4*n - x - t for n.
-1
Let k be (-2)/10*-5 + 4. Suppose -o - 1 = -2*y + 3*y, 0 = -y - 2*o - 5. Solve -y*w = -k*s - 1, 1 = 2*w - 5*s - 3 for w.
-3
Suppose 0 = 5*z - 30 - 230. Suppose -n + 2*n = 2, -2*k + z = n. Let l = k - 21. Solve -20 = -5*p, 2*p + 13 - 1 = -l*y for y.
-5
Let i be 2/(-10) - (-1)/5. Suppose 2*w - 7 - 1 = i. Let y(n) = -43*n - 212. Let a be y(-5). Solve -5*h - w*v + 19 = 0, 0 = -0*h + h + a*v - 6 for h.
3
Let d(p) = -p**2 + 4. Let l be d(-4). Let q = l - -14. Suppose -w + 4 = q. Solve -w*k - 6 - 9 = 3*x, -3*k - 15 = 2*x for x.
-3
Suppose 11*u - 7*u - 20 = 0. Suppose r = -2*w + 2 - 4, -3*r + u*w + 5 = 0. Solve 4*s - s + 6 = -x, r = -3*s - 4*x + 3 for s.
-3
Let h(q) = -3*q - 1. Let s be h(-2). Let g be (-8 - -7)/((-5)/15). Solve -5*c = s*k + 2 + g, 0 = k - 1 for c.
-2
Let q be ((-30)/(-21))/((-3)/(126/(-12))). Solve -35 = 5*f - 5*a, 0 = f - 4*f - a - q for f.
-3
Let p(t) = -t**3 + 4*t**2 - 3*t. Let l be p(2). Suppose -3*r + 13 = -2*r. Suppose r - 73 = -12*m. Solve 0 = y - 5*w - 5, -y + m = l*w - 4*w for y.
5
Let m = -11 + -19. Let s = m - -34. Solve s*j - 9 = 5*p, -j = j - 3*p - 5 for j.
1
Let p = 7 - -9. Let l = p + -12. Let k be (1 + -1)*(-1)/2. Solve -g - 4 = 0, -l*t - 3*g - 2*g - 32 = k for t.
-3
Let j(o) = -o**3 - 24*o**2 - 21*o + 49. Let i be j(-23). Suppose -i*l - 6 = -5*l. Solve 12 = y + l*y + 4*h, -4*y + 6 = 2*h for y.
0
Suppose 0 = -u + 2*l + 9, u + 4*u - 27 = l. Suppose 39*i - 40*i = -u. Solve 2*m - 4*m - i*b + 8 = 0, 4*m + b = 16 for m.
4
Let d(t) = t + 2 + 25*t**2 - 2 - 19*t**2. Let f be d(1). Solve 0 = 3*j - 3*w - w - 2, -5*j + 3*w + f = 0 for j.
2
Let d(l) = -l**3 - 4*l**2 - 2*l - 6. Let n(i) = -4*i**3 + i**2 - 2*i + 1. Let c be n(1). Let m be d(c). Solve 2*a - m*w = 2, -5*a + 5 = -w + 5*w for a.
1
Suppose 180*j + 8 = 4*p + 184*j, 2*p - 2 = -4*j. Solve g - 20 = 4*v - p*g, -3*v - 3*g = -15 for v.
0
Let d = 1 + 3. Let n be (14/4 - 3)*d. Suppose -n*m + 2 = -6. Solve 4*y + 2*o - 9 = -33, 12 = -m*y + 4*o for y.
-5
Suppose 0 = -3*p + 2*i + 7, -13 = -14*p + 9*p + 3*i. Solve -m + 5*s = -30, 0*m - s = 2*m - p for m.
5
Let v = 4 + -1. Suppose v*r - 4 = r. Suppose -i + 4*t + 24 = 0, -4*i + 5*t + 125 = 29. Solve -r*j - 5*k + i = 0, 3*k - 2*k - 4 = 0 for j.
2
Let g(c) = c**2 - 5*c - 20. Let o be g(9). Let h = o - 11. Suppose -h*a + 5*d = -75, 2*a = -a + 2*d + 42. Solve -3 = p + 2*w - 4, 0 = -2*p + w + a for p.
5
Let o(n) = 43 - 6*n + 44 - 89. Let y be o(-1). Solve 5*f + 1 = -y*b, 0*f = 3*f - 3*b - 21 for f.
3
Suppose -a + 4*k - 14 = -0*k, 4*k = 5*a + 6. Solve 4*o - 8 - 6 = a*f, o - 5*f = 8 for o.
3
Let z be (-2 + (-21)/(-6))/((-10)/(-20)). Solve y + 5*j = 0, 5*y + 2*j + z*j = 0 for y.
0
Let c be 22*(3/6 - 0/(-1)). Suppose c*g - 38 = 39. Solve -5*u = -2*d + 19, g = -2*u + 1 for d.
2
Let f = 121 - 121. Suppose f = -4*b + 8*d - 3*d + 25, -d - 5 = b. Solve -z + 5 = w, 2 = -2*z - b*w + w for z.
1
Let l be -10*17/(-68) - 1/(-2). Solve -2*d + 0*x = l*x + 1, d = x + 2 for d.
1
Let p = 30 - 14. Suppose 2 = -x - p. Let t be ((-4)/(-3))/((-6)/x). Solve -5*r + 5*m - 1 - t = 0, 4*r - 5*m + 4 = 0 for r.
-1
Suppose 0 = 4*y, -l - 3*y + y + 5 = 0. Solve l*p - 13 = 4*v - 2*v, 0 = v + 4*p for v.
-4
Suppose 0 = -4*n + 4*l + 44, -3*l + 94 - 31 = 3*n. Solve -2*c = f + 2, 11*f - 3*c = 6*f + n for f.
2
Let n = 1 - 1. Let f(m) = -35*m - 5. Let x be f(-1). Suppose -p - x = -6*p. Solve d - 4*l + 11 = 0, 2*d - l - p = -n*d for d.
5
Let z be (111/12 - 4)*4. Let f = z - 23. Let w be f*15*4/(-8). Solve 5*v - 7*i = -2*i - w, -4*i + 9 = -v for v.
-1
Let d be 0 - 18/(-99) - (-2)/(-11). Solve -2*g + 3*z - 1 = 0, -8 = 5*g - d*g - 2*z for g.
-2
Suppose -4*p - 7 = 3*i - 18, i - 9 = 4*p. Solve -i*z - 35 = 4*l, -z + 4*z = l - 4 for l.
-5
Suppose -a - 5*a = -504. Let m = a - 80. Solve 3*y = -4*c - 2*y + 45, 0 = m*c - 4*y for c.
5
Suppose -13*r - 25 = -90. Solve 2*v - v = r*y + 4, 2*y - v = -4 for y.
0
Let f be 4/(-14) - (-111)/21. Solve -5*o = 3*j + 10, 4*o + 15 = -f for j.
5
Let w = 24 - 20. Suppose 0 + 40 = w*c. Suppose 0 = -7*h + c*h - 9. Solve 3*q + 14 = -2*a + a, h*a = -15 for q.
-3
Let f be (-23)/(-6) - (35/30)/(-7). Let z = 6 + -2. Suppose 0*x + z*x = 12. Solve 2*c - x = -d, -f*d - 9 = -d for c.
3
Let r = -29 + -36. Let v = r + 68. Solve f - 7 = -5*u - 0*u, v*u = -4*f - 6 for u.
2
Suppose -4297*z + 4298*z = 3. Solve -5*f + z*n = 24 - 2, 6 = f + 2*n for f.
-2
Let q = -1407 - -1410. Solve m - 4*w = 15, 5*w + 1 = q*m - 23 for m.
3
Suppose 3*a - 201 = -186. Solve 4*c - 14 = -a*f, -3*f + 4*f = -c + 3 for c.
1
Suppose 5*p - 2*v = 111, -5*p - 17*v + 123 = -13*v. Solve h - p = -5*d, 5*d - 2*d + h - 15 = 0 for d.
4
Let k = -35 + 29. Let l be (-24)/k - 3/1. Solve 0 = -4*y + 5*n - l + 5, n - 8 = 3*y for y.
-4
Suppose 0 = -5*c + 18 + 57. Suppose -v - 100 = -5*v. Suppose 0*t - 4*t = 4*y - 16, 2*y = -t + 4. Solve -p + v = -t*h, -4*h = -2*h + 5*p - c for h.
-5
Suppose g = -3*f + 17, -f + g + 3 - 4 = 0. Suppose -5*a = 0, 3*j - f*a = 5 + 10. Solve -x + 8 = -2*x + 4*i, 0 = j*x + 4*i + 16 for x.
-4
Let t(f) be the third derivative of -f**6/120 + f**5/10 + f**4/3 - f**3/3 - 2*f**2. Let y be t(7). Solve -3*l + 2*l - 2 = 0, -4*r - y*l = 14 for r.
-1
Let l(i) = -2*i**2 + i. Let q be l(3). Let x = q + 14. Let b be -1 + (-6)/2*x. Solve b*u = -2*u - p - 3, -2*u + 12 = -4*p for u.
0
Let p = -79 - -39. Let y = 26 + p. Let z = 16 