Solve -3*v + o = 2, p = -0*v + 5*v - 4*o for v.
-2
Let j = -15 + 9. Let s(x) = 6*x**2 + 6*x + x**3 - x - 4*x - 2*x - 3. Let z be s(j). Solve 0 = 2*t - r + z, -r + 15 = t + 4*r for t.
0
Let f(n) = -n**2 - 5*n + 84. Let y be f(-12). Solve -4*a + y*a - 32 = -4*w, 5*a = -5*w for w.
4
Let u = -85 - -105. Suppose -3*l = 2*v - 2*l - 4, 3*v + 5*l = u. Solve 3*s + 2*d + 3 + 3 = v, 0 = 4*s - d + 19 for s.
-4
Let w = 106 + -103. Solve 4 = -x, w*x = 4*b - 2*x - 4 for b.
-4
Suppose -c = -3*b + 1 - 15, -5*b = c + 18. Suppose c = -2*x + 2*l, x + 7 = 3*l - 4. Solve -4*v - x*k = -0*k - 4, -v + 1 = -2*k for v.
1
Let n(i) = i**3 + 11*i**2 - 40*i + 30. Let c be n(-14). Solve 3*z = c*a - 2, 5*z + 62 = -4*a + 22 for z.
-4
Suppose 23*b - 8*b = -630. Let k = -37 - b. Solve -3*h - k*m = -2*h + 6, 1 = -4*h + 3*m for h.
-1
Let n be (-1*(-24)/84)/((-2)/(-14)). Solve -2*y - 5*a = 1, -n*a = -3*y + 7*y - 6 for y.
2
Let o(s) = s**3 + 10*s**2 + 14*s - 14. Let g be o(-8). Solve -z - z + 2 = -n, g = -3*n + 4*z for n.
2
Let s(h) = 19*h - 437. Let u be s(23). Solve u*w = -t - 4*w - 9, -4*t + 4 = -4*w for t.
-1
Let v = 1 + 0. Let q be (5 + -2)*(0 + v). Let b = 2449 - 2443. Solve 2*n + 25 = 3*k + b*n, 3*k + q*n = 21 for k.
3
Suppose -9*t - 3*u = -4*t - 62, -2*t - 4*u = -36. Solve 5*g + 29 = -4*q, 13 = -3*q - 4*g - t for q.
-1
Let h = 18 - 3. Suppose -c - h = 3*d + d, -d - 3 = 0. Let l = 8 + c. Solve 0*k + l*v + 7 = 3*k, 4*k - v + 2 = 0 for k.
-1
Let g = 35 + -23. Let t be (12/(-36))/((-2)/g). Solve -2*n - 3*x + t + 1 = 0, -n = 2*x - 2 for n.
0
Let l be (-4)/((-10)/105*3). Let m be l/(-84) + 170/12. Solve 0 = 2*v - 2*r + 4, 0 = 5*v + 4*r - 4 + m for v.
-2
Suppose 5*j + f + 1 = -0*f, 0 = 2*f + 2. Let r(l) = l**2 - 18 + 18. Let v be r(j). Solve 5*x - y + 8 = v, 0 = -x - 3*x + 4*y for x.
-2
Suppose 4*i - 40 - 12 = 0. Let w = i - -1. Let l = 6 + w. Solve 2*a - 3*j = -13 + 2, -l = 5*a - 5*j for a.
-1
Let i = -33 + 37. Let g be ((-36)/(-8) - 4)*i. Solve 0 = -5*m - 0*m - 4*h - 6, -g*h = 3*m + 4 for m.
-2
Let d(q) = -11*q - 130. Let m be d(-14). Solve -3*u + 5*a + m = -16, 4*a + 40 = 4*u for u.
5
Suppose -23*y = 14*y - 259. Solve y = z - 4*i, 0*i + 5 = z - 3*i for z.
-1
Let h(b) = 12*b**3 + b**2 + 10*b - 11. Let y be h(1). Solve 3 = -d - 2*c - 1, 3*d + y = -3*c for d.
-4
Suppose -10 = j - 3*f, -5*j - f = 49 - 63. Solve 3*s = -2*c + 22, 0*s = -4*c + j*s + 12 for c.
5
Let w be (-4)/(-46) - 2373/(-483). Let v(n) = -n**2 + 5*n + 2. Let a be v(5). Suppose -a*k - 45 = -w*k. Solve 5*o + 20 = p + 6, 4*o = -3*p - k for p.
-1
Suppose -4*q + 4 = 0, 2*v - v - q = -3. Let o be (v - -7)*32/40. Suppose -o*b = -5 - 11. Solve -17 = m - 0*g - b*g, 5*m = 2*g + 5 for m.
3
Suppose 4*w = -6 - 58. Let h = 232 - 242. Let n = h - w. Solve 5*g - 5 = 0, -3*i - 13 - n = -4*g for i.
-5
Suppose 2*z - 34 + 10 = 0. Suppose 8 - z = -2*o. Solve 2*t - 3 = -i, -i - 3*t = -o - 4 for i.
-3
Suppose 3*v = -2*v + 255. Let b = -49 + v. Solve -25 = 5*h, -4 = b*d + h - 1 for d.
1
Suppose -2*p - a - 149 = 0, -a = -3*p + 4*a - 217. Let m = p - -91. Solve j = -3*z - m, j + 6 = -j + z for j.
-5
Suppose -32 = -8*r - 16. Solve -2*u + 3*m = r*u + 11, u - 11 = -2*m for u.
1
Suppose 38*g = 21*g + 34. Solve 0 = f - 3*z - z, -3*f - 10 = -g*z for f.
-4
Suppose 5*j + 6 = 21. Let i(q) = 2*q + 22. Let d be i(-7). Let c be (-6)/d - (-38)/8. Solve -30 = 5*y + c*z, -j*y + 7*y = 3*z + 7 for y.
-2
Let k(j) = -4*j + 22. Let z be k(6). Let r be 144/108 - (z/(-6) + -1). Solve -m - 16 = -2*g + r*m, 20 = 4*g - 3*m for g.
2
Suppose 11*b - 8*b = 0. Solve -g + 9 = -2*s, b*s = -4*s - g - 15 for s.
-4
Let z = -26165 - -26168. Let n be 2/(-2*2/(-6)). Solve o = w + 9, -4*o = -7*o - z*w + n for o.
5
Let a be 119/35 + (-6)/(-10) - -4. Solve 3*g = -g + 4*j, 0 = -4*j + a for g.
2
Let g = 1650 + -1630. Solve -5*m + 4*x + g = 0, 6*x - 5*x = m - 4 for m.
4
Let w be (0 - -1)/(7/(-28)). Let b be 3 + (-8)/w - 2. Suppose -2*v + v = -b. Solve 4*x = j - 11, 0 = 3*j - 5*x - 9 - v for j.
-1
Suppose -168 + 53 = 5*i. Let d = -7 - i. Solve 3*j + 4*u + 16 = -j, -j + d = -4*u for j.
0
Suppose -j - 6*c + 3*c = -40, 5*c - 100 = -3*j. Let x = j + -23. Let w be (3 + -1)/(6 + -4). Solve 3*o + o - s = w, -2*o - 12 = x*s for o.
-1
Suppose -10*p + 3 = -17. Solve -d + 3*m = -3*d, -4*m = 2*d - p for d.
-3
Let d = -8 - -12. Let l be (-14)/(0 - -2) - (9 - 17). Suppose -4*p + 26 = 2. Solve j + d*j + 4*h = -p, h = l for j.
-2
Suppose 0 = k + 4*j - 8, 0 = -4*k - j - 3*j + 20. Solve -r = 10*v - 11*v - 5, -4*v - 12 = k*r for r.
1
Let c(g) = 12 + 6*g + 3*g + g**2 - 8. Let u be c(-9). Solve -3*o + 3*d + 9 = 0, 3*o + 5*d + u = -3 for o.
1
Let f(w) = -w**2 + 18*w - 18. Let y(c) = 5*c**2 - 91*c + 89. Let d(z) = -11*f(z) - 2*y(z). Let u be d(15). Solve -v = -3*h + u, v = -h + 1 + 2 for h.
2
Let p = 67 + -65. Suppose 5*t - 52 = 48. Suppose 4*v = t, -y - 2*y = 3*v - 27. Solve -4*r + b - 13 = 0, -p*r + 4*b = 2*r + y for r.
-4
Let f = 1807 + -1804. Solve -4*j - 25 = -f*t + 4*t, -5*t = -j + 20 for j.
-5
Let d = -98 - -106. Suppose -6*k - d*k = -28. Solve g = -k*l - 2*l - 19, 0 = -5*g - 4*l - 15 for g.
1
Let b be 3350/275 + 2/22*-2. Solve 0*g - b = 4*g - r, -10 = -5*g - 5*r for g.
-2
Let a = 104 - 100. Let i be 1*-7*(0 - 2). Solve 5*x - 11 = -a*l + 3*l, 2*x - i = 2*l for l.
-4
Let p = 235 + -229. Solve f + f = 0, -2*l + p = 5*f for l.
3
Suppose -3*h = 4*v - 1 - 10, v - 2*h = 0. Solve v*j + g - 6 = 3*g, -4*j + 3*g + 14 = 0 for j.
5
Suppose 2601*l - 2613*l = -48. Solve -r = 2*s - 13, 5*r - l*s + 2*s = 17 for r.
5
Let w(r) = 12*r - 237. Let h be w(20). Solve f + 2*i + i = 0, -h*f - 5*i = -4 for f.
3
Let k = 1119 - 1112. Solve -5*b + 2*u = -0*b - 13, 3*u + k = -5*b for b.
1
Let g(w) = w**2 - 31. Let j be g(6). Solve -j*i + 9 = -o, -4*i + 6 = -2 for o.
1
Let h(k) = -4*k**2 + 85*k + 5*k**2 - 81*k. Let x be h(0). Solve -6*z + 41 = 4*d - z, -d + z - 1 = x for d.
4
Let t(y) = -y**2 + 4*y + 4. Let a be t(4). Let x = 336 + -333. Suppose 0 = 4*r + 4*j + 2 - 10, r + 4*j = -7. Solve -z + r*k + x + 17 = 0, -k - a = -5*z for z.
0
Let o(h) = -h + 3. Let w be o(-5). Let a(s) = s**3 - s**2 + 5. Let u be a(0). Solve 39 - 9 = -3*p + u*k, -k + w = -p for p.
-5
Let q be (-2 + (-14)/(-5))*55/2. Let x(u) = u**2 - 19*u - 48. Let s be x(q). Solve -2*r + 3*r + d - 6 = 0, -s = -5*r - d for r.
3
Suppose 0 = 4*a - 77 - 39. Let f be 1/(2 - (-354)/(-174)). Let r = f + a. Solve 3*n - 3*i - 12 = 2*n, r = 3*n + 4*i + 3 for n.
3
Let y(t) = -2*t - 19. Suppose 4*f = -k - 49, k - f + 17 + 7 = 0. Let h = 16 + k. Let a be y(h). Solve 6 = -3*n - x, 4*n = -2*x - 3 - a for n.
-1
Suppose -5*v - 6 + 16 = 0. Suppose 4*y + 4*f = 3*y + 3, 0 = 4*y - 4*f - 12. Let s = 1630 - 1630. Solve -4*x = -4*g - 20, y*x + 5 = -v*g - s*x for g.
-4
Suppose -9*s + 6*s = 3*m - 39, 0 = -5*m + 20. Solve -4*n - s = -5*j, -3*n + 5 + 2 = -j for n.
4
Suppose 2 = -2*n, 1 + 2 = -v - 5*n. Suppose -3677*s = -3686*s + 99. Solve s = -v*q + d, 5*q + 21 = -d - 3 for q.
-5
Let m(k) = -2*k - 2. Suppose 3*z = -2*z + 50. Let c = z - 13. Let f be m(c). Solve 6*d - f = -q + 2*d, -d = -5*q - 1 for q.
0
Let b(y) = -4*y + 15. Let v be b(4). Let g be ((-1 + -1)/8)/(v/4). Solve s + 2*n - g = 2*s, n = -4*s + 5 for s.
1
Let m(n) = -2*n + 7. Suppose -15*u = 16 + 29. Let t be m(u). Solve 15 + 6 = -4*o + 5*h, -h = -3*o - t for o.
-4
Suppose 39*z + 30 = 42*z. Solve -4*b = 4*h - 2*h - 28, -2*b = -z for h.
4
Suppose 2*h = 20*h - 450. Suppose -2*d - 32 = 4*g, -3*d - 24 = 3*g - 4*d. Let v = -3 - g. Solve 0 = v*q - q - 3*r + 3, -5*r = -h for q.
3
Let v be (((-12)/(-15))/(-2))/((-1)/10). Suppose -3 = -2*p + 5, 2*b + 10 = v*p. Solve b*d - 2*d = -4*a + 18, -3*a + 7 = 4*d for d.
-2
Suppose -6*k + 32*k - 104 = 0. Solve -k*u - 2*b - 2 = 0, b = -u - 0*b - 1 for u.
0
Let n(s) = -s**3 - 11*s**2 + s + 19. Let t be n(-11). Let r be (-3 + t)/5 + 1. Solve -1 + 23 = r*q - 5*j, -4*j - 16 = 0 for q.
1
Let x be ((-16)/6)/((-3)/486). Let n be x/30 + (-3)/(-5). Let d = 19 - n. Solve 5*o + f + 17 = 0, 0 = d*o - 5*f + 31 for o.
-4
Let f = 383 + -380. Solve -9 = -3*t, i - f*t + 5 = -0*t for i.
4
Suppose -100 = 6*p - 238. Solve -5*n - 28 = l, -l - 7*n + 3*n - p = 0 for l.
-3
Let j = 89 - 84. Let y(f) = 3*f - 1. Let g be y(1). Solve -2*z - 15 + g = -j*s, -z + 10 = 3*s for z.
1
Let c be -7 - (8/8 - 8). Solve -5*t - 4*z - z + 10 = c, z