-2*x for a.
2
Suppose -3*x + 3*i = -15, -2*x + 8*i - 5*i + 8 = 0. Suppose -10 = -3*u - 2*h, u + 8 = 3*u + 2*h. Solve 5*b - 1 = -2*a, 0 = -u*a - b + 4*b - x for a.
-2
Let m = 3742 + -3737. Solve -3*o + 7*o - 8 = -4*p, -5*o = 4*p - m for o.
-3
Let s = 302 + -284. Suppose 0 = 3*c + 7*n - 9*n - s, 23 = 4*c - 3*n. Solve 3*b - 4*o + 24 = -o, -b - 3*o + c = 0 for b.
-4
Suppose 2*i = 7*v - 27, 3*v + i + 3*i = 31. Solve v*a + 10 = 0, -5*a + 5 + 0 = -3*c for c.
-5
Let g(q) = q**2 - 11*q + 41. Suppose -2*b + 3*o = -8, -5*b + 2*o - 4*o = -39. Let j be g(b). Solve -2*n + 5 = 5*r + 2*n, r + j = 2*n for r.
-3
Let z = -661 + 719. Solve a + z*x - 59*x = 0, -4*x + 15 = -a for a.
5
Let o(q) = q**3 + 4*q**2 - 11*q - 33. Let s be o(-8). Let b = s + 211. Solve 0 = 4*r - 2*p + b, -p = -2*r + 3*p - 20 for r.
0
Let l = -22659 + 22684. Solve q - v = -10, 87*q + 4*v = 88*q + l for q.
-5
Suppose 0 = 123*q - 625 + 133. Solve -z - 20 = -4*r - 4*z, -5*r = q*z - 26 for r.
2
Suppose 9*f + 4*f + 11*f = 48. Solve 2*t = -f*y + 10, 3*y - 5*t + 8 + 1 = 0 for y.
2
Let d(h) = 3*h**2. Let f be d(-1). Let r be 3/f + 3 + 14/2. Suppose 3*o = -4*x + 25, -2*o + 5*x - 5 - 9 = 0. Solve -5*s + o*w = r, 2*s + w = 6*w - 12 for s.
-1
Let f be 0 - (0 + -3) - (0 + -1). Suppose f + 1 = h. Suppose 12 = 2*i + 2*i - 2*g, 2*i = -h*g - 18. Solve 0 = -5*y - 3*s - 19, -2*y + 4*s - 17 = i for y.
-5
Let s be 18 - (-6*(-8 - -7) + -1). Solve 3*o - 10 = -4*n, 5*n + 9*o = 5*o + s for n.
1
Let w = 6434 - 6415. Solve 15*z - 15 = -5*o + w*z, o + 3*z = 3 for o.
3
Suppose -31*h - 927 = 220. Let v = h + 46. Solve 4*j + v = 2*a + 1, 2*j + 3*a - 12 = 0 for j.
0
Let r = 688 - 47. Let h = r + -638. Solve h*o - 14 = d, -3*d - d - 28 = -5*o for d.
-2
Let y = -35 - -52. Suppose -y*s = 11 - 79. Solve -2*x = -2*g + 7 + 1, s*g - 13 = 3*x for x.
-3
Let a be (36/15 - 2) + 46/10 + -1. Solve 0 = -6*u + 5*u + 3*r + a, 5*r = -u - 4 for u.
1
Suppose 302*d = 314*d - 36. Solve 3*m + 16 = 2*y, d*m + 4*y + 11 = 7 for m.
-4
Let p = 41 - 38. Suppose -3*y + p*k = k - 60, -4*y + 80 = -3*k. Suppose 0 = -5*g - 0 + y. Solve -4*a - 7 = -m + 2, g*m - 2 = -a for a.
-2
Let t be -14 + 430/30 + (-2)/6. Solve -m = 2*j, t = 2*m + 5*j - 0 - 1 for m.
-2
Suppose 280 - 1084 = -4*h - 3*n, -3*h - n + 598 = 0. Let u = -191 + h. Solve -m = -0*q + 2*q + u, -2*m + 1 = -q for q.
-3
Suppose -20 = -2148*i + 2143*i. Suppose i*n + f - 21 = 0, 3*f + 11 = 2*n + 4*f. Solve n = 5*o + 4*q, -3*o + 0*q + 11 = 4*q for o.
-3
Let x(w) = -2*w - 6. Let o be x(-7). Suppose o*j = 13*j - 20. Suppose j*g + g - 20 = 0. Solve -2*q = -3*b + 5*b + 6, -g*b = 2*q + 16 for q.
2
Let o = -400 - -403. Let q(t) = t + 1. Let b be q(1). Let w = 5 - b. Solve 3*j - o*x - 4 = -19, 9 = -5*j - w*x for j.
-3
Let a = -76 + 80. Suppose 0 = 3*r - 2*v + 1, 3*v = -a*r - 2*v + 37. Suppose 4*y = i - 5*i, r*i + 16 = y. Solve 0 = m + 3, -2*b - 6 = 8*m - y*m for b.
3
Let c be (-11)/((-33)/(-15))*72/(-15). Solve 5*j = -z - 24, -5*z + 0 = j + c for z.
-4
Suppose 851*c - 4234 = 21. Suppose 31 - 11 = o. Solve -5*u = 4*j - o, -c*j = -u - 0*u - 25 for u.
0
Let n = -4603 - -4614. Solve -2*c - n = 4*z - 25, -2 = 2*z + 4*c for z.
5
Let t = -301 - -306. Suppose -5*k + t = -5*j, 5*k + j - 14 = k. Solve -5*v = 2*p + 11 + 6, 13 = -4*p - k*v for p.
-1
Let r = -14 + 46. Let p be (-1)/((-13)/54) + r/(-208). Solve -c - 4 = 3*q, p*q - 2 = -4*c - 10 for c.
-1
Suppose -11272*s + 11237*s + 700 = 0. Solve 4*h + 32 - 48 = -5*r, r + 5*h - s = 0 for r.
0
Suppose 28*w - 11 = 129. Solve -2*o - 4*d = -2, w*o - 9*o - 7 = -3*d for o.
-1
Let a = -5882 - -5885. Solve 2*h = -z + a, 4*z - 9*z + 15 = 4*h for h.
0
Let h = -131 + -133. Let c = h + 270. Solve 3*n = 4 - 1, -5*s = n - c for s.
1
Let m(w) = 2*w**2 + 6*w - 16. Let l = 16 + -21. Let y be m(l). Solve 2*x = -3*i - 3 - 2, 20 = -4*x + y*i for x.
-4
Let p(n) = 3*n**2 - 51*n + 221. Let s be p(8). Solve 5 = z + h + 1, -s*h + 19 = 4*z for z.
1
Suppose 0 = 4*g - 5*r + 17, -4*g - 85*r = -87*r + 2. Solve i + 4*n + 14 = g*i, -i - 13 = 5*n for i.
2
Let j = -6092 - -6096. Solve 4*p - 2*v - 4 = 0, 9*p - j*p - 5*v = 10 for p.
0
Let l = -407 - -409. Solve w + 3 = -2*b - 3, 5*w + 18 = l*b for w.
-4
Let q(h) = -4*h**2 + 28*h + 1. Let l(o) = 5*o**2 - 26*o. Let r(a) = 2*l(a) + 3*q(a). Let f be r(16). Solve -3 = w - u + f, -4*w - 20 = -3*u for w.
-2
Let q(c) = -c**3 + 85*c**2 - 165*c - 74. Let w be q(83). Solve 2*n - 8 = z, 7*n - 2*n - w = -3*z for z.
-2
Let d(z) = -z**3 - 5*z**2 - 10*z - 12. Let l be d(-3). Let g be (-8)/2*(0 + -1). Suppose 0 = -3*r + 52 - g. Solve j - 3*m - 8 = 0, -m + l*m = 3*j + r for j.
-4
Suppose -4*s + 12 - 4 = 0. Let b be -1*(-7)/(2/s). Let u(z) = z**3 - 7*z**2 - 2*z + 16. Let r be u(b). Solve -5*q - 7 = -k, -5 + 1 = -3*k - r*q for k.
2
Let k(o) = 2*o**2 - o. Let n be k(2). Suppose -14*p = -11*p - n*p. Solve -3*s + 2*j - 2 + 6 = p, 20 = 2*s + 3*j for s.
4
Let l be (-2)/3*90/(-2 + -8). Let g be l/24 - (-11)/4. Solve -g*z = -2*a - 5, -4*a + 36 - 1 = 3*z for z.
5
Let k(v) = -v**3 - 7*v**2 - 6*v - 23. Let m be k(-7). Suppose -13*f + f + m*f = 0. Solve 3*c + 3*j - 12 = f, -4*c + 4*j = -7*c + 15 for c.
1
Let z(k) = 25*k + 82. Let r be z(-3). Let q(b) = -b**2 + 13*b - 35. Let h be q(r). Solve 1 = u + s, 2*s + 0 = -5*u - h for u.
-3
Let h = 3854 - 3850. Solve -c = -y + 2, 11 = 5*c + h*y - 6 for c.
1
Suppose -u = -4*u. Let l be (-2 - (-3 - u))*14. Solve 3*n + l = j, -6*n - 23 = -n - 2*j for n.
-5
Suppose 0 = -36*q + 34*q + 8. Suppose 0 = -8*r + q*r + 120. Suppose 2*l = -2*g + r, -l + 2*l = 3*g + 11. Solve -4*o + h - l = -o, 4*o = 3*h - 22 for o.
-4
Let i be (-32)/(-64)*-4*116/(-8). Let g be (3/9)/((-1)/(-9)). Solve -18 = -5*a + 2*k, -5*a + 4*k - g = -i for a.
2
Suppose -1086 = 42*y - 1254. Solve 0 = -14*o + 10*o + y*b - 4, -b - 4 = 0 for o.
-5
Let r be (-1 + 31)/((26/(-4))/13). Let f = r + 63. Solve -g + 15 = g - f*s, 5*g - s = 5 for g.
0
Suppose 0 = 212*b - 216*b + 12. Solve -2*k - 4 = 5*l + 10, -l = -b*k - 4 for k.
-2
Suppose 0 = -22*f + 33*f + 1419. Let s be (-2150)/f + 2/6. Solve 0 = -5*o + 3*n + s, 0*n + 2 = -2*o - n for o.
1
Suppose -5*y + 5*i + 45 + 45 = 0, 4*y + 2*i - 42 = 0. Suppose r + 0*f = 3*f - 11, -f = 4*r - 8. Let h be 5*1/(r - 0). Solve q = -5*b - 7 - y, h*q = -5*b for q.
5
Let p(h) = h + 18. Let q be p(-14). Suppose 15 + 0 = 2*d + 5*t, -q*d = -2*t - 18. Let x be (1/3)/((-3)/(-45)). Solve 0 = -d*o, x*r - 10 = -0*o + 2*o for r.
2
Let a(r) = r**3 + 8*r**2 + r - 7. Let s be a(-8). Let d = -29 + s. Let g be (-170)/4*d/55. Solve -5*x + 3*w = g, 2*x + 8 - 1 = -w for x.
-5
Let q(n) = 5*n**3 - n**2 - 3*n + 8. Let m be q(2). Suppose m*o = 45*o - 42. Solve -g = -5*h - 7, 5*g + h + 3*h - o = 0 for g.
2
Suppose 2*b + 2*y - 150 + 126 = 0, 3*y + 15 = 0. Solve -5*r - 6*x + 20 = -x, -b = -5*r - 2*x for r.
3
Suppose 10*i + 5*b = 5*i + 1060, i + 2*b - 209 = 0. Suppose -223*v = -i*v - 24. Solve -v*u - 6*y + 5*y = -10, -3*y = 6 for u.
4
Let h = 228 + -223. Suppose 35 = 20*z - h. Solve -6 = -2*s, z*c = s + 2*s - 9 for c.
0
Suppose -4*y + 24 = 2*o, 0 = 4*y - 119*o + 118*o - 12. Solve -3*n - 2*f + 7 = -y*f, 4*n - 5*f = 0 for n.
5
Suppose -76*t + 2100 = 1720. Solve 7*g - t*g - 13 = 5*i, -4*i = g + 13 for i.
-3
Let c = -16362 - -16382. Solve -4*t = 2*v - c, 5*t - 2*t + 3*v - 12 = 0 for t.
6
Suppose -w - 2*w - 330 = 0. Let z be (7 - 5) + 1*(w + 2). Let o = z - -111. Solve -h = -o*s - 6, -2*s = -s + h for s.
-1
Suppose 0 = -2*o - 0*o + 5*v + 28, 103 = 5*o + 4*v. Let q be 1/5 + o/((-1140)/(-408)). Solve h - 13 = 5*f - 32, 0 = -3*f - 4*h - q for f.
3
Let t be (3/3)/(2/(-42)). Let a = t - -25. Solve 20 = a*v + 2*k, -2*v + 4*v = 3*k + 2 for v.
4
Suppose 19*q - 1 = 37. Suppose 230 = -q*l + 12*l. Solve -5*p = 2*t - l, 3*p = 2*t - p + 22 for t.
-1
Let t(p) = -2*p**2 + 11*p + 6. Let q be t(3). Suppose q*a - 27 = 12*a. Solve 0 = -5*m - a*z - 10, 3*z - 4*z + 6 = -3*m for m.
-2
Let v = -318 - -119. Let a = -191 - v. Solve f = -2*x - a, 5*f - 8 = 4*x + 22 for x.
-5
Suppose 0 = -2*p + 5*g - 19, 17 = -p + 5*g - g. Solve 3*q = 3*c - 12, -p*c + 16 = 5*q - 9*q for c.
0
Let i(o) = -12*o + 89. Let b = -543 - -550. Let n be i(b). Solve -33 = -4*u - n*r - 7, 4*u - 6 = 5*r for u.
4
Let s(z) = z - 8. Let m be s(16). Let v be -5 - -2 - -1*m. Let x(j) = -j**2 + 4*j + 10. Let r be x(v). Solve -6 - 2 = h - 2*p, -2*h = r*p -