 3*z + t = -z - 9 for z.
-1
Let v = 389 + -387. Suppose 8*x + 10 = -4*b + 50, 0 = 5*b + v*x - 10. Solve 0 = -5*n - 4*c + 20, -2*c + 12 = 3*n - b*c for n.
4
Suppose 1 + 7 = -4*o. Let c be 3/(o*3/(-6)). Let y(t) = 3*t**3 + 3*t**2 + 39*t + 4. Let m be y(0). Solve w + c*l = 5, -10 = 4*w + l - m*l for w.
-1
Suppose 9*k + 324 = 351. Solve -2*f - 8 = k*l + 2*f, -l - f = 2 for l.
0
Let w(r) = r**3 + r + 3. Let d be w(0). Let o(m) = -25*m**3 - 181*m**2 - 46*m - 27. Let n be o(-7). Solve d*t - 2 = 2*v + 3*v, -4*v - n = -3*t for t.
-1
Let v be (5 + -11)*(3/(-12) - 33/12). Solve 0 = -4*h + p + v, 4*h + 1 = 2*p + 21 for h.
4
Let m = 1433 + -1422. Solve -5*r + 22 = -d, 5*d = -16*r + m*r + 40 for d.
3
Let h(s) = -6*s - 16. Let q be h(-3). Let i be 1/q + ((-5)/(-2))/1. Let p(w) = w**2 + 3*w - 13. Let d be p(i). Solve -m = 5*z - 15, z - 17 = d*m + 3*z for m.
-5
Let h be (-7 + 8)*-27*(1 - (-16)/(-6)). Solve 2*q = 3*w - 0 - 5, -h = -5*w - 4*q for w.
5
Suppose -9*r - 10*r + 12*r = 0. Suppose r = 5*m, 4*m + 71 = 5*l - 4. Solve -5*z = -2*w + l - 6, 4*w = -3*z - 21 for z.
-3
Let y(c) = -3*c**2 - 20*c - 2. Suppose -44 = 3*x - 5*x. Let h(o) = o**2 - 23*o + 16. Let k be h(x). Let n be y(k). Solve -5*d = -20, 2*i + n = 4*d - d for i.
1
Let z(f) = -3*f**2 + 75*f. Let p be z(25). Solve i = -t - 2, t = -p*i + 2*i + 1 for i.
-1
Let p = 24724 - 24721. Solve p*h + 2*s - 12 = 5*s, -4*h = -s - 10 for h.
2
Let z be (-1006)/10 - 4/10. Let a(b) = -134*b - 907. Let d be a(-6). Let r = z - d. Solve t - 5*h + 10 = 0, 0 = t + t + r*h - 16 for t.
5
Let p(g) = g**3 + 2*g**2 - g. Suppose f = -0*f - 42. Let i = f + 42. Let t be p(i). Solve -4*w - 4 = -4*z, t = 2*z + 3*w + 10 + 8 for z.
-3
Let c(p) = -p**3 + 4*p**2 - 3*p + 4. Suppose 102 = -4*w + 62. Let m be (-3)/2*(-12 - w). Let k be c(m). Solve 0 = -3*s - 4*g - 23, -30 = 5*s + k*g + 3 for s.
-5
Let v = 750 + -747. Let c be v/(-4) - 14/((-560)/110). Solve -10 = c*r + 4*x, 2*r - 2 = r + 5*x for r.
-3
Let p = 41785 + -41782. Solve p*c - 29*b = -27*b + 2, 5*c - 4*b = 0 for c.
4
Let b = -149 - -152. Suppose -b*w = -9*w. Solve 4*c = 3*j - 28, 2*j - c - 5 - 7 = w for j.
4
Let y(l) = -l**2 + 8*l + 4. Let m be y(8). Let d(p) = -p**3 + 6*p**2 - 8*p + 8. Let n be d(4). Solve m*r = n, -2*r = -3*x - 0*r - 7 for x.
-1
Let h be (3/5)/((-2)/(-10)). Let l(w) = w**3 + 4*w**2 - 14*w - 9. Let r be -5 + (-5 + 9 - 5). Let t be l(r). Solve 0 = -h*d - 2*z + 19, -t*d + 5*z = -d for d.
5
Suppose 4*x - 12 = -0*x. Suppose 7*i = x*i + 16. Solve 3*j + 9 = -i*h, 0 = -5*j - 0*j + 4*h - 15 for j.
-3
Let d(g) = -4*g**3 - g**2 - g. Let r be d(-1). Let y(i) = -21*i**2 + 5737*i - 1086. Let b be y(273). Solve r*l - 5*v = 13, 0*v - 2*v + b = 4*l for l.
2
Suppose 11*r = -143*r. Suppose -4*u = 5*n - 2*u - 54, 0 = -3*n - 2*u + 30. Suppose 2*z + z - n = 0. Solve 2*g + 2*k - 3*k + 10 = r, -z*k = -5*g - 28 for g.
-4
Suppose 4*j + 16 = -4*w, -5*j + 238 = 258. Solve 3*b = -5*g - 11, 2*b + 6 = -3*g - w for b.
3
Suppose 3*j = z - 9, -2*z - 3*j + 41 = -13. Solve -5*f - 29 = -2*y, 0 = -2*y - 24*f + z*f - 11 for y.
2
Let s = -1 - -5. Let u = 803 - 803. Solve u = -s*c - 3*w - 12, 0 = -w + 3*w for c.
-3
Suppose -4*l + 16 = -b - 5, 0 = 2*l - 5*b + 3. Solve 13 = -2*v - 4*o + 5, -l = -5*v + 3*o for v.
0
Let t(w) = -5*w**2 - 111*w + 96. Let b be t(-23). Solve 2*m = -4*a - 1 + 19, -3*m = -b*a - 7 for m.
5
Let k be (4/6 - -2)*(990/44 + -21). Let c(q) = q - 6. Let v be c(8). Solve -16 = -k*z + 2*x, 0*x - x = -v for z.
5
Let k be (24 - 14) + (-3)/(1 + (-32)/56). Solve 3 = -q + 3*s, -k*q + 4 = 5*s - 15 for q.
3
Suppose 0 = 34*o - 37*o + 6. Suppose o*w + 0*w + 4*r = 0, -5*r = -3*w. Solve -6 = 2*s - w*s - 5*q, 6 = 4*s - q for s.
2
Let x be (42/9)/(-434*66/(-12276)). Let v be -1 - (-7 + 1) - 1. Suppose 5*r - 10 = -j + 4*j, -15 = 2*j - 5*r. Solve -1 = 3*q - v*n, -j*n + 8 = x*q + q for q.
1
Let q(p) = -p**3 + 4*p**2 + 8*p - 8. Let x be (162/45 - 4/(-10)) + 1. Let a be q(x). Suppose -a + 3 = -k. Solve 13 = w - 3*t, 29 = k*w - 2*t + 7 for w.
4
Let r(t) = -t**3 + 27*t**2 - 49*t - 21. Let p be r(25). Let d(s) = 26*s - 104. Let y be d(p). Solve y = 4*o - 2*q, -2*o + 1 = -4*q - 5 for o.
-1
Suppose 3*x = 2*a + 14, -2*x = -4*a + a - 16. Suppose -4*v = -x*i - 10, 4*i - 15 = -v + 2*i. Suppose v*l = -3*l. Solve 0 = 4*r - 16, l*r = -5*h - r - 11 for h.
-3
Suppose 15*a = 14*a. Let s = -44 + 88. Suppose 4*y + a*y = s. Solve m + 13 = -2*t, 0*t + m = 4*t + y for t.
-4
Let i(d) = 2*d + 43. Let f be i(-19). Suppose 65 = t - f*c, -2*c - 433 = -5*t - 4*c. Let h = t + -83. Solve -x = -4*u + 21 - h, 5*x - 2*u + 5 = 0 for x.
1
Suppose 19*c - 14*c = 4*k - 2, 5*k + 4*c = 23. Solve -9*d + 10 = 2*v - 11*d, 10 = -2*v - k*d for v.
1
Suppose o - 5*f = -6, -33 = -5*o + 27*f - 23*f. Solve 8*z = r - 41, 4*r - o - 10 = 3*z for z.
-5
Let i(b) = b**3 + 9*b**2 - 4*b - 20. Let u be i(-9). Suppose 4 = 10*a - u. Solve -3*o - a*m = -3*m, -o = 2*m for o.
0
Suppose -3*b = -15, -2*b = 2*g + g - 154. Let c = 53 - g. Suppose -j + n = -2 - 0, 2*n + 10 = c*j. Solve -1 = y - j*q, q + 2 = y - 0 for y.
5
Suppose 2*o + 5*x = 61, -5*o - 9*x + 110 = -5*x. Solve -j + 3*y + o = -y, 18 = 3*j - 3*y for j.
2
Let c be (-2)/10 + (204/20 - -1). Suppose c = 2*k + 5. Solve k*x - b + 18 = 0, 4*b - 9 = -x - 2 for x.
-5
Let o be (-15 + 12)/(6/20). Let r be 4/(-1)*o/8. Let c = -123 + 128. Solve -3*d + c*t = -r*d + 5, -d + 2*t + 7 = 0 for d.
5
Suppose -56 = 97*a - 7525. Solve -4*y + 56 = -5*l + a, -5*l - 4*y = 11 for l.
1
Suppose -11*q + 12*q = 3. Let l(c) = -c**3 + 2*c**2 + c + 13. Let y be l(q). Solve -3*m = 4*s - 8*s - y, -5*s - 2*m = 26 for s.
-4
Let r = -8 - -11. Suppose r*f - 2 = f. Suppose 3*z = 13 - f. Solve x - 10 = -3*b, 5*b - z = x + b for x.
4
Suppose 443*p = -4*u + 440*p + 16, -5*u = 2*p - 34. Solve -a + 4*b = -u, -2*a + 6*b = b - 14 for a.
2
Let n(x) = -x**3 - 107*x**2 - 3*x - 319. Let i be n(-107). Solve z + 4*w = -7, -5*z + w - i + 30 = 0 for z.
5
Suppose 9*z = 5 + 4. Let n be (-131)/(-5) - z - (-2)/(-10). Let h be ((-20)/n)/((-2)/5). Solve y - 3*o + 8 = 0, -h*y = o + 8 + 1 for y.
-5
Let n = 33 - 47. Let i = n - -27. Let r be i + (1 + -1)/5. Solve -2*x + 8 = 5*m + 31, 2*x + 3*m = -r for x.
1
Let r(a) = -2106*a + 16856. Let z be r(8). Solve -4*d = -4*i + 16, -z*d = -11*d - 6 for i.
2
Let m be (6/10)/(24/(-120)). Let d be m/((-4 - -6)/(-2)). Solve 2*o + 2*b = 0, -16 - 9 = 2*o - d*b for o.
-5
Let u(n) = -n**2 + n - 12. Let s be u(9). Let z = -100 - s. Let j be z/(-4) - 5/((-5)/2). Solve -2*t - 2*w = -j, t - 12 = -5*w + 7 for t.
-1
Let d be 18/(-15) + (-492)/(-60). Suppose 4*m = 4*j, -2*j + 32 - d = 3*m. Solve -m*c + 9 = -f, -f + 3*c - 6 = 1 for f.
-4
Let t be 3/9 + 60/9. Suppose -21 = t*k - 0*k. Let g be k/(15/(-10))*2. Solve l - z - z - 4 = 0, g*l + 12 = z for l.
-4
Suppose i + 1 = 0, -6*i + 11*i = g - 10. Suppose 2*s - 10 = -y, -24 = -g*s - 5*y + 1. Solve 3*r + 12 = -3*j, -s*r - 4*j - 23 = -3 for r.
-4
Suppose 40*a - 24 = 37*a. Suppose a = 31*o - 23. Solve -6 = -4*n - 2*i, 5*n = -i + 5 + o for n.
1
Let t = -389 + 157. Let r = t - -236. Solve r*j + 2*p - 6*p + 16 = 0, -3*p - 13 = 2*j for j.
-5
Let w be 95/(-10)*(-144)/342. Solve -3*b - 29 = -17, -w*u = -b + 12 for u.
-4
Suppose 0 = 2*v - 4*n + 62, -3*v - 5*n = -4*v - 40. Let b = v - -61. Let o = b - 12. Solve 4*f - 3*h = -0*f + o, 0 = 5*f + 2*h - 7 for f.
3
Suppose -6*r + 4*v + 160 = -3*r, -5*r - 3*v = -228. Suppose 37*h = -2*t + 41*h + r, -3*t - 2*h + 72 = 0. Solve 5 = -5*n, -7*n = 4*p - 3*n + t for p.
-5
Let t(n) = 15*n + 422. Suppose -3*z + 2*h - 82 = 0, -4*z - 117 = 3*h + 2*h. Let f be t(z). Solve -r - 9 = -f*o, -11 = 5*o - 5*r - 46 for o.
2
Suppose -32 - 4 = -3*w - 4*s, 4*w + 5*s - 50 = 0. Solve 4*t = -0*t - 4*k - w, 13 = -t - 3*k for t.
-1
Let w(v) = v + 1. Let s(r) = -7*r. Let x(u) = s(u) + 4*w(u). Let z be x(1). Let i be (-2)/(-5)*(6 - -4)*z. Solve 0 = 2*c - 5*k + 37 - 13, 16 = i*k for c.
-2
Let v = 40 - -162. Let y = -184 + v. Solve 2*q - 11 = -u - 1, -5*u + y = 2*q for q.
4
Let i be (30 + 12)/3*(-10)/(-14). Suppose -4*n - 4 = -12. Solve 2*p + 2*p - n*y = i, -2*p + 30 = 4*y for p.
5
Let w be (-2)/((-8)/124) - ((-13 - -5) + 15). Solve 4*b = 3*u + w - 4, 0 = -3*u for b.
5
Let c be (-62 - -62) + (-4)/(-2). Solve f + 11 = -3*p, c*f - 28 = 12*p - 8*p for f.
4
Suppose 66*s - 60*s = 6. Let a = 2 + s.