 = 25*v - 19. Solve 4*x - 41 = 5*s, -5*x + 3*s + v = -16 for x.
4
Let o(t) = t**3 - 4*t**2 - 3*t - 2. Let r be o(4). Let i = r + 17. Solve -i*y + 9 = 3*l, 3 + 2 = -l + 3*y for l.
1
Suppose 39*j = 31 + 164. Solve 5*i - j = 5*a, 3*i - 10 = -2*a - i for a.
1
Let x(o) = -o**3 - 24*o**2 + 2*o + 52. Let a be x(-24). Solve -q = 3*q - 5*c + 6, -a*q - 20 = 2*c for q.
-4
Let o(d) = -d + 5. Let y be o(0). Suppose 0 = -19*z + 2*z - 8*z. Solve -a = -s, -s + y*s + 12 = z for a.
-3
Let q be ((-7)/14)/((-1)/(-4)). Let g(p) = p**3 + 4*p**2 + 3*p + 4. Let j be g(q). Suppose -j*o + 11*o = 15. Solve 3*v - f + 3*f - 11 = 0, -o*f = -12 for v.
1
Suppose 18 - 39 = -7*v. Solve -3*n - 9 = -2*m + 2*n, 2*m + v*n + 15 = 0 for m.
-3
Suppose 0 = 4*f - 15 - 1. Suppose 2*o - 4*x - 4 = 0, 17 = 4*o - 3*x + f*x. Suppose w + 0 = o. Solve -w*l + n - 7 = 0, 3*n - 12 = 3*l - 0*n for l.
-1
Let t(u) = 98*u - 80. Let y be t(1). Suppose 0 = v - 1, -w - v = 4*w - 66. Let m = y - w. Solve -3*a + 23 = a + m*q, -4*a + q + 5 = 0 for a.
2
Suppose 8*u = 7*u. Solve -y = -b - 2*b - 1, u = -y + 4*b for y.
4
Suppose -27 = -6*u + 3. Suppose -17 = -3*k - 0*v - 2*v, -k = 3*v - 15. Solve -u*d = -10, -h = -5*h + k*d - 2 for h.
1
Suppose 4*y + 8 = -4*f, 8*f + 40 = 5*y + 3*f. Let u be 1/2 - 143/(-26). Suppose 0 = u*j - 3*j. Solve j*a - n = -4*a + 1, n = y*a for a.
1
Suppose 4*i - 1 - 9 = 3*o, o = 4*i - 6. Let s be 60/24 - (i - 1/2). Solve 3*p = 5*h + s, 0*h + 2*h + 16 = 5*p for h.
2
Let s = 1 + 12. Let p(z) = 8*z**2 - 6*z - 2. Let i be p(2). Suppose 12*a - 18 = i. Solve 2*d = d - 4*g - s, -6 = -a*d + 3*g for d.
-1
Let y be (6996/(-477))/((-8)/6). Solve g = 4*h - y - 7, g - 18 = -5*h for g.
-2
Let r(g) = -g**3 + 37*g**2 + 118*g + 82. Let f be r(40). Solve 3*v - 3 = 3*c, f*v + 3*c + 6 = c for v.
-1
Suppose 125*b = 131*b - 18. Solve 16 = -b*u + j, 5*j = 3*u + 5 + 15 for u.
-5
Let o be (0/4 - -31)*(4 + -1). Let h = 96 - o. Solve 2*u - 1 = -5*m + 4*u, -h*u - 5 = -4*m for m.
-1
Let m be (((-64)/(-44))/(-4))/(8/(-44)). Solve -3*c - x + m*x = -12, -4*c + 4*x + 8 = 0 for c.
5
Suppose -4*y + 2*g = -30, -2*g = -y + g + 5. Let b be (4/6)/((-1)/(-6)). Solve -b*f = 2*c + 3*c - 1, y = 2*f for c.
-3
Let t be (1 + -4)/(3/(-6)). Let a(x) = 1. Let u(o) = o - 2. Let m(c) = 3*a(c) + u(c). Let w be m(t). Solve -2*s - 14 = 4*r - 2, 3*r = -s - w for r.
-1
Let n be 2/3 - (-20)/6. Let z be ((-4)/(-16))/(1/n). Solve i + 5*a - z = 9, 0 = 3*i + 4*a - 19 for i.
5
Suppose -3*d + 18 = -j, 2*d - j = -3*d + 28. Let g be (36/(-90))/(4/(-30)). Solve c - 20 = -d*i, 3*c + 2*i + 20 = g*i for c.
-5
Let z be 14 + 1 + -1 - 1. Let u(x) = 6*x**3 - 1. Let n be u(1). Suppose 20 = -n*w + 10*w. Solve 18 = w*q - 2*r - 4, z = q - 2*r for q.
3
Suppose 3*x = -0*x + 12. Suppose -3*y + d + 13 = 0, 423*d + 16 = 4*y + 422*d. Solve -h - x*r = -23, -h + y*r = -6*h + 30 for h.
3
Let s = 109 - 105. Let m be (s - (-3 - -7))/(3/(-1)). Solve m = -3*k + 2*y - 4*y, -4*k + 5*y = -23 for k.
2
Suppose 0*n - 2*n = 5*j, -3*n = 4*j. Suppose -3*d + 3 + 6 = -3*a, 5*a - 13 = -2*d. Let x = d + n. Solve -3*q + w = -8, 0*q - x*w - 22 = -2*q for q.
1
Suppose -1 = -2*q + 9. Let d = q + -5. Let y(p) = p**3 - 6*p**2 + 4*p + 7. Let g be y(5). Solve -4*s + c + 1 = d, -2*c + 0 - g = -4*s for s.
0
Let t be 6/1 + (-5 + -8 - -12). Solve 5*b - 2 = -5*u + 18, t*b - 20 = u for b.
4
Suppose -96*a = -119*a. Solve v + 6 = 5*s - 3, a = 3*s + 4*v - 10 for s.
2
Let z(c) = -c - 4. Let u be z(-6). Suppose 0 = 9*s - 2*s + 4*s. Let d be s/((-20)/(-8)*16/(-20)). Solve d = 3*j + 2*v + 20, -4*j - u*v + v = 20 for j.
-4
Let i(r) = 2*r + 17. Let c be i(-13). Let o be (-3)/c*0 + -33. Let h be (-6)/o - 212/(-44). Solve 1 = -4*s + 5*y, 0*y + 3 = 3*s - h*y for s.
-4
Suppose 0*r + 2*r = -4*g, 2*r - 2 = -3*g. Let t(q) = 4*q - 3. Let b be t(2). Solve 2*m + 5*k = -0*m - r, -b*k = 0 for m.
-2
Suppose -4*v + 53 = -87. Suppose 13*p - 6*p - v = 0. Solve 2*c - 4*t = 2 - 6, -p*t = 2*c + 4 for c.
-2
Suppose 4*v - 11 = 201. Let c = -49 + v. Solve 3*b - 18 = -n - 2*n, 0 = c*n - 20 for b.
1
Let n(j) be the first derivative of j**2 + 16*j - 13. Let l be n(-14). Let c = 15 + l. Solve 0 = -3*i - i + 3*o + 31, c*i - 3*o = 27 for i.
4
Let j = 109 - 104. Solve -5*c - 20 = j*i, 0 = -3*i + c + 4 + 4 for i.
1
Let o = -24 + 49. Suppose -23*s = -o*s. Suppose 0 = -5*x - 12 - 13, 5*q - 4*x = 45. Solve -20 = -5*a - 3*k, -2*a + 4*k + 3 + q = s for a.
4
Let l be 450/70 - 4/(-7). Solve -q - l = i, 2*q + 3*i + 24 = -2*q for q.
-3
Suppose 0 = 26*g - 27*g + 5. Solve 0 = -g*x + t + 14, -6 = -0*x + x + 2*t for x.
2
Let n(q) = -q**3 + q**2 + q + 7. Let s be n(0). Let i = -18 + s. Let r = i + 16. Solve -5*p + 18 = 4*u - 3, 0 = u + p - r for u.
4
Suppose -b + 6*c = 5*c, 2*c = -b + 9. Let g = 3 + -1. Solve i = 3*z - 3 - g, 1 = b*z + i for z.
1
Let r be 8/2*((-3510)/20)/(-27). Solve 0 = -n - 2*n - 5*z + r, 4*n = 2*z for n.
2
Let l be (-2 - -1)*-1*0. Suppose -6*p + 8*p = l. Solve p = -4*j + y, -4*j + 2*j - 3*y = 0 for j.
0
Let q be 7 - (0/1 + 4). Suppose a + 4 = -6. Let u = -5 - a. Solve 3*p + u = -5*c, -c + q*p + 9 = -4*c for c.
2
Let q(s) = s**2 + 2 + 6 - 4 - 2 + 11*s. Let r be q(-11). Solve 3*d - 4*d + 16 = -4*v, -23 = 3*v + r*d for v.
-5
Suppose 2*j = 4*o + 36, -5*o - 23 = -5*j + 42. Suppose 0*z + 135 = 5*z + 5*g, -4*g - j = 0. Solve -4*n = 5*q + z, -28 = 5*q + 2*n + n for q.
-5
Suppose 5*j + 15 = u + 2, -3*u = 3*j - 3. Solve 4*i = -5*m - 5 + u, -2*i - 5*m + 4 = 0 for i.
-3
Let q be (-18 + 13 - 15)/((-1)/1). Solve -o = -3*r - 11, -r = 4*o + 3*r + q for o.
-1
Let i(f) = f**3 - 21*f**2 + 67*f + 22. Let z be i(17). Solve z*x = 7*x + 5*c + 4, -x + c + 5 = 0 for x.
3
Suppose 0*i + 15 = 3*i, 3*g - 471 = -3*i. Suppose 11*v - 57 - g = 0. Solve 5*r = 3*y + v, 6 = 5*r + 5*y - 29 for r.
5
Let d(m) = -m**2 + 2*m + 147. Let f be d(-11). Solve -5*s + 4*s = 4*u - 16, -5*s - 16 = -f*u for s.
0
Suppose 0 = -2*a + a + 6. Let r be 1*2 + a + -5. Solve -3*f = h, 3*h + 10 = r*f - 2 for h.
-3
Suppose 14*i = 41 + 29. Solve -i*g = 3*u - 20 - 3, -5*u - 2*g = -13 for u.
1
Let k(v) = 28*v + 12. Let j be k(12). Suppose 0 = 2*l - 102 - j. Suppose -12*g + l = -7*g. Solve 0 = 3*x + t + 10, 0*x - 4*x + 5*t = g for x.
-5
Let k = 13 + -33. Let s = k - -26. Solve -t = 5*y + 2*t + 22, s = y - 2*t for y.
-2
Let w(t) = -t**3 - 20*t**2 - 86*t - 23. Let b be w(-14). Solve 2*i + 4 = -2*a - 2*a, 2*a + b*i = 14 for a.
-3
Suppose l - 15 = -3*n, -3*n - 5*l + 15 = -8*l. Solve 0 = i + n*c - 14, 3*i - c - 3 = -3*c for i.
-1
Suppose -45*s = -30*s - 75. Solve 0 = -5*n + 5*j - 5, -4*j - 37 = s*n - j for n.
-5
Let y(h) = 2*h**3 + 11*h**2 + 4*h - 7. Let j be y(-5). Let r be (16/48)/(j/(-42)). Solve r + 18 = 5*p, -5*v - p = -10 for v.
1
Let l = 11 - 11. Suppose -4*v + v = l. Suppose -2*t + t = v. Solve -5*n - g + 17 = -t*n, -3*g = -2*n for n.
3
Let w(a) = 7*a**2 - a - 26. Let l(z) = -13*z**2 + 2*z + 51. Let d(p) = 6*l(p) + 11*w(p). Let y be d(5). Solve 4*q = 0, y = 3*u - 0*u - q for u.
0
Let a = 199 + -196. Solve -a*o = 2*p + 9, -p + 6*p + o = -3 for p.
0
Suppose 0 = -4*t + 8*t - 17*t. Solve -5*u - 2*c = c + 23, -2*u - 4*c - 12 = t for u.
-4
Let d(j) = -16*j - 5. Let f be d(4). Let s = f + 75. Solve m + b = -s, 0 = -4*b - 15 + 3 for m.
-3
Suppose -2*u + 4 = 3*j, 4*u = -j + 5*j - 32. Solve -z + 4 = j*g, -14 = -5*z + 6 for g.
0
Let c = -15 + -12. Suppose -3*i - 24 = 21. Let s be (c/3)/(i/50). Solve 2*w + s = 5*y, -5 = -0*w + 5*w + 5*y for w.
-5
Let k be (-33)/44*24/(-9). Suppose -14 = -4*m - k*c, -3*c - 2*c = m + 1. Solve -s + 4 = q, 5*s = m*q + 4 + 25 for q.
-1
Let z(n) = n + 11. Let f be z(-9). Suppose 22 + f = 4*k. Let v(p) = -2*p - 12. Let w be v(-6). Solve w = 5*t + 5, -h - 22 = -k*h - 3*t for h.
5
Let r(o) = 2*o**3 + 15*o**2 - 9*o - 3. Let c be r(-8). Solve -c*p + 2*s + 35 = -3*s, -3*s - 9 = p for p.
3
Suppose -f - 12 = -4*q + f, 0 = 3*q + f - 4. Suppose 4*k - 4*z + z = 2, q*z - 6 = -k. Solve 2*b = -3*b - k*i + 10, 4*b + 4*i - 8 = 0 for b.
2
Let v(c) = -c**3 + 50*c**2 + 3*c - 141. Let f be v(50). Solve n + 3*d = -f, -n = -3*d - 2 - 1 for n.
-3
Let o = -145 + 155. Suppose 5*i - 27 = -7. Solve i*p - 3 = 9, 5*p = y + o for y.
5
Let p(y) = -2*y**2 + 19*y - 9. Suppose -3*g + 8*g = -3*u + 51, 10 = 5*u. Let h be p(g). Solve -5*i - z - 9 + 4 = 0, h = -3*i - 3*z + 9 for i.
-2
Let m be (-22 + 1)/(-3) - 