r = -31, o + r - 1 = -o for o.
3
Let r = 287 + -141. Let y = r + -142. Solve -3*o = -4*o + 4*p + 8, -y*o - 3*p - 6 = 0 for o.
0
Suppose 4*h + 75 = 431. Let m = -86 + h. Solve 5*j + 5*b - 15 = 0, j + 0*b = 2*b - m for j.
1
Suppose 0 = 4*v + 5*d + 3, 4*d + 404 = v + 389. Solve -4*h + 3*z + 4 - 1 = 0, 5*h - 4*z = v for h.
3
Let y(i) = -i**3 + 10*i**2 - 8*i - 4. Let f = -30 - -37. Suppose c - 16 = -f. Let j be y(c). Solve 0 = 5*m + 5*s + 5, 3 - 4 = -3*m - j*s for m.
-3
Let t(k) = -62*k + 434. Let w be t(7). Solve 0 = 6*j + 3*a + 27, w*a - 4*a = 20 for j.
-2
Let f be (-335)/30 + 1/6. Let u be 216/(-336)*(-7)/6*-384. Let i be (f/(-3) - -1)*u/(-56). Solve -i = -3*n - 3*o, n + 2*o - 20 = -2*n for n.
4
Let c(z) = -z**2 - 8*z - 3. Let a be c(-7). Suppose -10 = -2*m, 2*u - 47 = -5*m + 26. Let s = -22 + u. Solve -i - 20 = a*n, 0 = 3*i - n - s*n for i.
-4
Let v be ((-3)/2)/((-5)/(-10)). Let i = -1 - v. Let p = 29176 - 29168. Solve 9 = -y - 3*b + 7*b, -p = i*y - 3*b for y.
-1
Suppose -10*o = -2*b - 58, 28*b - 16 = 32*b. Solve -2*r + i + 45 = 41, -4*i = -o*r + 16 for r.
0
Let s(g) = -g**3 + 66*g**2 - 59*g - 386. Let a be s(65). Solve 3*k + 17 = -4*f, a = k - f - 2 for k.
1
Let s be (-414)/(-7) - (-9)/(-63). Suppose 5*f = u + 99, -2 = 3*f - 3*u - s. Let o = f - 18. Solve -o*v - 5*a + 21 = 0, 2*v + 2*v - 18 = -2*a for v.
3
Let p = 21816 + -21811. Solve -4*x + 16 = 3*g + 40, p*x - 1 = 4*g for x.
-3
Suppose 5*c + v = 4*v - 2837, -5*v = -20. Let x = -560 - c. Solve i - 13 = x*y - 0, 7 = -5*y - i for y.
-2
Let u = 73 + -71. Let w(i) = -3*i**u + 3 - 4 + 0*i**2 - 16*i. Let k be w(-5). Solve 0*f - k*f + 5*c + 1 = 0, f = c for f.
-1
Let p = -4960 - -4966. Solve 7*t + 1 = -4*a - p, -a - 2*t - 2 = 0 for a.
0
Let o(a) = 25 + 1191*a**2 - 1189*a**2 - 20*a - 66. Let w be o(12). Solve m - 2*j - 2 = 3*j, 0 = 4*m - 5*j + w for m.
-3
Let m = -18728 - -18730. Solve -2*q + 14 = m*y - 2, -q + 4*y - 17 = 0 for q.
3
Let u be (-7 + -8)*(-20)/3. Let a = -97 + u. Let l(k) = -k + 9. Let d be l(4). Solve 0 = -3*p + d*x, -x = -0*x + a for p.
-5
Let t = -367 + 369. Let l be 34 - 36 - t*-2. Solve 6 = -l*h - 2*r, 0 = -2*h - 3*r - 3 - 7 for h.
1
Suppose -502 = -5*d + 3*u - 499, 3*d - u - 5 = 0. Solve -w - w - 2 = o, d*w + 5*o = -3 for w.
-1
Suppose -3*l + 4*n + n + 16 = 0, 0 = 3*l + 5*n + 4. Let p be 3/((0 - l) + 3). Solve -p*i + g = 6, -5*i + 0*i = -4*g + 17 for i.
-1
Let k be (1/(-1 + 2))/((-33)/5049). Let h = -152 - k. Solve -4*i = -2*i + 3*d - 3, 0 = 4*i + d - h for i.
0
Suppose -11*g - 3458 = -3469. Solve -d + g = 6*t, -9 = -5*t + d + 1 for t.
1
Let k(g) = 326*g - 2278. Let x be k(7). Solve f - x*u + 4 = 2, -u = -1 for f.
2
Let y be (-1134)/(-56)*(-4)/(-3). Solve 2*k + 2 = -2*z, 0 = -4*z - y*k + 22*k - 1 for z.
-4
Let o = 79 - 51. Let h = 29 - o. Let b be (4/5)/((-3)/(-15)). Solve -2*r - 2*r - n = h, b*n = r - 21 for r.
1
Let h be (2 - 8/5)/(4/20). Suppose 2*v + 4*i - 1 = -5, h*v = i + 1. Solve v = -y, 0*s + s = -4*y - 5 for s.
-5
Suppose 4*n + 4*q - 1 = 35, -2*n = -3*q - 8. Solve 4*t - o + 12 + n = 0, 4*t + 5*o = -1 for t.
-4
Let o = -3523 - -3528. Solve -11*p + 10*p + 29 = o*c, 5*p - 5 = 3*c for c.
5
Let s(x) = 85 - 22 + x + 3*x + 2*x**2 + 14*x. Let q be s(-7). Solve 5*j - q = 3*n, j - 2*n = 3*n + 29 for j.
4
Suppose 53 = -11*j + 42. Suppose q = -2*q + 204. Let c be (q/51)/((j/3)/(-1)). Solve 2*y - y + 15 = -3*i, c*i = -3*y - 20 for y.
0
Let t(c) = -c**3 - 3*c**2 + 17*c + 10. Let m be t(-6). Suppose -13*u + m*u = 9. Solve j + 2*f = 0, 0 = u*j - 5*f + f + 10 for j.
-2
Suppose 4*p - 16 = 0, 3*a - p + 13 = -0*a. Let o be 24/(-16)*10/a. Let x(n) = n**2 + 3*n - 7. Let l be x(-5). Solve -m + 3 = -4*t - 11, -l*m + 21 = -o*t for t.
-3
Suppose 5*v - 3*z + 31 = 0, -5*z + 6 = -v - 9. Let j be (-23)/v + 21/(945/18). Let d = 13 - 9. Solve 3*f - f - 11 = -3*y, -d*f + 11 = -j*y for f.
4
Suppose -2*x - 2*v + 124 - 100 = 0, -20 = -3*x - v. Solve n = x*i - 1 + 3, 0 = -4*i - 4*n + 8 for i.
0
Suppose 0 = q, -4*g - 2*q - 2*q + 32 = 0. Let b = 53 - 69. Let f be (b/12)/((-26)/273). Solve 0 = 4*u + 3*p - f, -3*u + 0*u + g = p for u.
2
Suppose -10*g + 25 = -5*g. Let q be (0 - 2)*36/(-8). Let o be ((-3)/q)/((-3)/18). Solve 0*u + 4*u + g*z = -22, 3*u + 5 = o*z for u.
-3
Let r = 8099 + -8099. Solve -4*a + 9*a + n + 16 = r, -2*a - 11 = 5*n for a.
-3
Let y(t) = -t**3 + 48*t**2 + 50*t + 6. Let i be y(49). Let f be (-10)/i + 14/77 - -4. Solve -1 = f*u + 5*x - 12, 0 = -u - x + 3 for u.
4
Let b(f) = -f**3 - 9*f**2 - 11*f - 5. Let v be b(-8). Let w = 70 - v. Let j = -47 + w. Solve -4*u + 28 = 2*c + 4, 2 = 2*u - j*c for u.
5
Let s(r) = 2*r**2 + 264*r + 1024. Let c be s(-4). Solve 4*x + 5*d + 23 = c, -2*x - 4*d - 16 = -0*x for x.
-2
Let u(a) = a**3 + 21*a**2 + 18*a - 38. Let b be (5/(60/16))/(10/(-150)). Let w be u(b). Solve 5*f - 7 = 4*q, 2*q + 5 = -f + w*f for f.
-1
Suppose -j + 3*s + 1 = 7*s, -2*j - 8 = 3*s. Let v(y) = -19*y - 4*y + 5*y - y**2 - 58 + 2*y. Let l be v(j). Solve -f = -5*x + 1, l*f + 5 = -2*x - 0 for f.
-1
Let y be 5 - (-15)/(1 + 0). Let r be (3 - 44/y)*5/(-2). Let s be (8 + -5)*1 - r. Solve -2*t + s*v - 20 = 15, 0 = 2*t + 5*v - 15 for t.
-5
Suppose -20*j = -2*j - 1620. Let p be ((-4)/6)/((-4)/j). Suppose -13*l - p = -80. Solve 0 = 4*o - 3*k + 9, -5 = l*o - 4*k + 7 for o.
0
Suppose a - 2 = 21. Let m = a - 20. Suppose -4*n - 12 = 0, -2 = -i - m*i - 2*n. Solve 5*p = 2*s - i - 4, 2*s + 3*p - 6 = 0 for s.
3
Suppose -4*o - 3 + 11 = 0. Suppose -24*a + 13866 + 16446 = 0. Let t = a + -1260. Solve m = -o*h + 6 - 3, 0 = -t*h - 2*m + 3 for h.
3
Let m = -237 - -367. Let d = -125 + m. Solve -25 = -d*f, 5*f - f = 4*j + 20 for j.
0
Suppose 5*b + 10 = -0. Let n be (3/b)/((-27)/(-72)) + 8. Let y = -3 - -7. Solve -2*x + 12 = -n*d, -x - 2*d = 2 - y for x.
4
Let i be 465/(-6)*(-8)/10. Let s = i - 52. Solve -21 = -3*f + 3*g, s + 0 = -5*g for f.
5
Let l be 1/(-6*(-12)/360). Solve 2*c = o - 3, l*o - 19 = o + c for o.
5
Suppose -32*p = -31*p - 27. Let j be 141/p - (-7 + 130/18). Solve 3*t - 3*m + 0*m - 12 = 0, j*m - 15 = -2*t for t.
5
Let m(v) = v**3 + 5*v**2 - 11*v - 18. Let g = 81 - 87. Let c be m(g). Solve -3*t + j = -j + 3, -2*t - 2*j - c = 0 for t.
-3
Let l(y) = -y**3 - 9*y**2 - 17*y - 12. Let g = 154 + -161. Let r be l(g). Solve 4*j - r = 4*p + 11, -j - 4 = 2*p for p.
-3
Suppose 452 + 698 = -10*a. Let h be -4 - 2/(((-20)/a)/(-2)). Solve -2*u - 4 = 0, u + h = -5*j - u for j.
-3
Suppose -6*m = -19*m + 7*m. Suppose 3*g - 9 = -0*g. Solve 6 = -3*r + 5*x, -g*r - 6 = x - m for r.
-2
Let g = -94 - 253. Let k = -342 - g. Solve 7*i + 4*c = 4*i - 15, -3*c = i + k for i.
-5
Let s = 194 + -178. Let j = -13 + s. Solve j*n + 2*h = 2*n + 2, 8 = 4*n - h for n.
2
Let c = 801 + -531. Let a = c - 263. Solve a = -3*i - 5*m, -i = -4*m - 13 + 4 for i.
1
Let v(j) = -j**3 + 34*j**2 + 73*j - 24. Let l be v(36). Solve 0 = -l*d + 14*d + 2*t - 14, 5 = -d + 5*t for d.
5
Let j be (9*(-8)/120)/(75/(-1750)). Solve 3*l - 26 = 5*p, -4 + j = -3*l - 4*p for l.
2
Suppose -284726*x + 284751*x = 0. Suppose -v + 1 = -2. Let d = 6 - v. Solve -5*k + d*h - 9 = x, 5*k - 4*h + 21 = -7*h for k.
-3
Suppose -39 = 2*i - 5*m - 44, 1 = -3*i - m. Solve 2*q - 4*u - 16 = i, -2*u + 89 - 113 = 3*q for q.
-4
Let y be 56 + ((-2)/3)/(10/15). Let o = y + -51. Let c(j) = 7*j - 9. Let w be c(o). Solve 2*h - h + w = -5*i, -2*i - 9 = -h for i.
-4
Let g(v) = 5*v - 125. Let n be 300/6*(21/(-6) - -4). Let z be g(n). Solve 4*x = 2*b + 20, b + 3 + 1 = z for x.
3
Let t be (-14 - -11)*(-2)/6. Let s be (3/t + 6)*4/6. Solve 5*p + 5 = 2*c + 3*c, 2*p - 4*c + s = 0 for p.
1
Suppose -3*b = 4*h - 18, -3*h - 3*b = -0 - 15. Suppose 11*i = 2956 - 2934. Solve -2*t - h*t - 4*m - 32 = 0, 0 = -i*t - 3*m - 17 for t.
-4
Suppose 130*c - 148*c = -54. Solve -3*y - 1 = -c*l + 14, 2*y = -l + 2 for y.
-1
Let d = -267 + 63. Let y = -184 - d. Solve o - y = -5*t, -2*t = 5*o + 4 + 11 for t.
5
Suppose -53 = 120*o - 413. Solve 4*x + 3*l - 5*l - 16 = 0, 0 = o*l - 6 for x.
5
Let h be (8/6)/(108/2997). Suppose -5*u = n - 57 + h, -4*n - 20 = 0. Solve u*c - 15 = 5*q, 16 = -9*q + 5*q + 5*c for q.
1
Let q = 11 + -8. Let k(d) = 14*d**2 - 4*d + 7. Let n be k(0). Solve -q*l - 5*f = -l - n, f + 17 = -5*l for l.
-4
Let r(j) = j**3 - 14*j**2 - 69*j + 968. Let k be r(14). Solve 5*n = 2*v + 270 - 289, -5*v + k*n = -37 for v.
7
Supp