-2*t + t for t.
1
Suppose 207*c - 196*c - 55 = 0. Solve -2*m + 5 = n, -c*n + 9 - 14 = 0 for m.
3
Suppose -109*y + 373 = 155. Solve 10 = c - y*p - p, 2*c - 3*p = 14 for c.
4
Suppose -72*q - 113*q + 20 = -350. Solve 3*i - 2*i + q*p = -7, 0 = -3*i - 4*p - 13 for i.
1
Suppose 4*j = j + h + 37, -3*j + 4*h = -22. Solve 2*n = 24*c - 22*c - 8, 0 = 2*c + 4*n - j for c.
5
Suppose -7*f + 10*f - 36 = 0. Suppose -m + f + 2 = 0. Suppose 9*t = m*t - 25. Solve 5*x = t*g - 8 - 32, 3*g = -2*x + 9 for g.
5
Suppose 153*y + 180 = 189*y. Solve 3*a - 9 + 14 = -y*z, a - 4*z + 13 = 0 for a.
-5
Let i(n) = -71*n - 1407. Let p be i(-20). Solve -q - o = 2*q + p, 0 = -5*q + 5*o - 35 for q.
-5
Suppose 35*p - 137 = 33*p - f, p - 76 = -2*f. Suppose 0 = -p*z + 68*z - 2*n - 6, -4 = -2*n. Solve 3*j + 20 = -z*m, 0 = 4*j - j for m.
-4
Suppose 24 = 4*b - 4*s, -28*b + 5*s + 21 = -26*b. Solve -2*x + 2*f - 18 = b*x, -x = f + 5 for x.
-4
Suppose 0 = 266*p - 291*p + 225. Solve 0 = -5*i + 3*k - p, 3*k = -2*i + 5 - 17 for i.
-3
Let h(c) = 21*c + 2290. Let j be h(-109). Solve -4*y + v + j = 0, -2*v = -7*v + 15 for y.
1
Let n = 10432 + -10411. Solve 3*t = 7*k - 4*k + 27, n = k + 5*t for k.
-4
Suppose -103*i + 101*i - 3 = -5*v, 2*i - 12 = 2*v. Let p be 2*-2*(-6)/8. Suppose -2*z - 3*z = -20. Solve v*h - z*a - p = 32, 2*a = -10 for h.
3
Suppose 4*b = 16, -3*r + 75 = 2*b + 4. Suppose 5*c - 15 = g, -g + r = -0*c + 4*c. Suppose -58*f = -43*f. Solve f = -7*v + 3*v + 5*t + 5, -3*t + 10 = -g*v for v.
-5
Let n(c) = -9*c - 315. Let g(t) = -10*t - 319. Let i(o) = 3*g(o) - 4*n(o). Let h be i(-50). Suppose 31 + 21 = 4*v. Solve -h*q = 4*u, -3*u - v = -2*q + q for q.
4
Let a be (14 - 4 - 13)*(-22)/6. Suppose -w - 31*x - a = -34*x, 5*w = -2*x + 30. Solve 2*q + w*i + i - 6 = 0, 5*i - 14 = 2*q for q.
-2
Suppose 0 = 4*c - 6*c + 36. Suppose 5*a = -8 + c. Let x be 1 - 11/9 - 3488/(-144). Solve a*o = -5*z + x, -14 = -o + z - 4*z for o.
2
Let j = -2532 + 2544. Solve n = 4*g - 0*g - 15, n = 3*g - j for g.
3
Let h be (192/5)/((-11)/(1 - -54)). Let d = -188 - h. Solve -5*b = v + d, -2*b - 2*b = 4*v for b.
-1
Let f be (-1)/(-3) + 242/66. Suppose 4*y + 0*c - 26 = 2*c, f*y - 3*c = 25. Solve 3*u = -4*d + y, 3*u - 19 + 6 = -d for u.
5
Let y be (-224)/40 - 6/15. Let t(z) = -32*z - 164. Let a be t(y). Solve 5*l = 3*f + a, -3*f = f - 4*l + 24 for f.
-1
Suppose 1426 = 8*s - 110. Suppose -18 = 10*f + s. Let c be (-308)/f - 1/(-3). Solve 4 = 4*b + 2*q, -3*q = b + q - c for b.
-1
Let l be 300/(-5)*(0 + 3)/(-6). Suppose 0 = 47*k - 41*k - l. Solve c = 3*v + 8, -5*c - v = -k - 3 for c.
2
Suppose -4*q - 2*j = 0, -5*q + 12*q + 0*j = -2*j. Solve -a - 24*y + 28*y - 7 = q, a + y = 3 for a.
1
Let v = -6048 - -6052. Solve -18 = -2*w - v*b, -8*w + 12 = -5*w + 3*b for w.
-1
Suppose -91*s = 104*s - 197*s. Solve 10*h - 9*h + 30 = -5*o, s = 5*h - o + 20 for h.
-5
Let k be ((-9)/((-27)/472))/((-5)/15). Let f = 495 + k. Suppose 0 = 6*l - 2*l + m - 16, 0 = -5*l - 5*m + 5. Solve 2*s + 2*s + 3*o - f = 0, 0 = l*s - 2*o for s.
2
Suppose -4*k = 4*g + 28, -25*g + 30*g = 3*k - 35. Solve k = -c + 1, 2*y + 3*c - 3 = 5*y for y.
0
Let m = 11 - 6. Suppose -x + m*k = -2*x, -2*k = -5*x. Let d(j) = -j**2 - 8*j + 182. Let u be d(-18). Solve -3*g + 5*l + u - 3 = x, -2*g - 3 = -l for g.
-2
Let b be (3/5)/((6/10)/3). Suppose -15*x + 10*x - y = -24, -b*y = -x - 8. Solve 5*z + 19 = -x*k, -2*k - 20 = 5*z + 3*k for z.
-3
Suppose 49*f = -2*f - 10*f. Suppose -3*o = -6*o + 9. Suppose 4 = o*s + s. Solve 2*w = a + s, f*w - w = 3*a + 10 for w.
-1
Suppose -6*u = -18*u - 17*u + 406. Solve 0 = 5*q - b - u, 6 = -3*q - 2*b + 17 for q.
3
Let o be (2/(-8) - ((-685)/(-140) + -5))*-21. Solve 17 = -o*d + 14*a - 16*a, 0 = -4*a - 16 for d.
-3
Let r(d) = d**3 - 11*d**2 + 32*d - 7. Let v be r(5). Solve 3*s - 5*l = 30, -s - v*l + 16 = 4*s for s.
5
Let u(v) = -24*v + 107. Let c be (-5)/1*-1 - (-17)/(-17). Let w be u(c). Solve 0*z = -3*s + 4*z, -s = -5*z + w for s.
4
Let a(x) = 13*x**2 + 91*x + 8. Let j be a(-7). Solve 4*u + 2*s + 30 = 0, 4*s - j = 5*u - 3 for u.
-5
Suppose -733 + 700 = -11*n. Solve n*d = -l, -40*l + 38*l = -3*d + 9 for d.
1
Let a = -5752 - -5755. Solve a*l + 7 = 5*l + 3*x, 4*l + 6 = -2*x for l.
-4
Suppose -12 = 4*q - 5*n, 0*q = -2*q + n. Suppose -435*i = -432*i + 768. Let s = i - -259. Solve 0 = -4*d + q*k, -d + k = -s*k for d.
0
Let f be (1 + -7 + -8)/(5/(-10)). Solve 3*z - 4*w = -6, -5*z - f*w = -23*w + 10 for z.
-2
Let c(h) = h**2 + 8*h - 18. Suppose -16*p - 70 = 106. Let y be c(p). Solve -3*a + 5*o - y = 0, -5*a - o - 13 = 12 for a.
-5
Let u = 23 - 16. Let h be 0/(2 - 1/(1/5)). Suppose 3*b - 5*k + 5 = 0, 4*b - 12 = -h*k + 2*k. Solve -5*a + 22 = 2*d, -b*d = -5*a + u + 8 for a.
4
Suppose -15*p - 4*j = -11*p + 4, 3*j = -p - 13. Solve 0 = 3*h + 9, 10 = p*b - 3*h + 26 for b.
-5
Let i be (-271 - (3 - 3)) + 0 + 3. Let j = 273 + i. Suppose 0 = -5*t + 3*t + 28. Solve 2*m + j*u = -17, 5*m + 7 - t = 4*u for m.
-1
Let a be 0 - 3/((-18)/(-30)). Let c(p) = p**3 + 5*p**2 - 2*p - 8. Let x be c(a). Solve 6*j - 2*j - 2*v + x = 0, 7 = -5*j + 4*v for j.
1
Let k be (325/(-182))/((-3)/42). Suppose 0 = -5*p + c, -p + 2*c + 11 = -2*p. Let q be (0 - p)*20*1. Solve 4*u = -v - k, 3*v + 0*u + u = -q for v.
-5
Let o be (3 - 7/2)*-6. Let u(d) = -2*d**2 + 9*d - 23. Let n be u(o). Let q be ((-4)/(-7))/(-2 - 32/n). Solve 0 = 5*g - 2*g - 15, g = q*f - 5 for f.
5
Suppose 0 = 5*v - 2*f - 354, -43*v + 2*f = -45*v + 150. Let t be ((-32)/v)/(4/(-36)). Solve h = -3*c - 1, 0 = -4*c + t*h + 9 + 11 for c.
1
Let n = -15 + 19. Let r = 14 - 14. Let b = 380 - 378. Solve 0 = -w, r = -h - w - n*w - b for h.
-2
Let x be (1 - (-2 + 11))/(3/(-6)). Solve 3*g = -2*s + 1, 13 = -g + x for s.
-4
Let y be 18/15*(-450)/(-135). Solve 4*g - 19 = -3*x, 0 = 5*x - y*g - g - 20 for x.
5
Let x(q) = 2*q**3 + 18*q**2 - 14*q + 60. Let v be x(-10). Solve v = 2*j - 5*r + 14, 2*j = 8*r - 7*r + 2 for j.
3
Suppose -6 = 3*t + 2*a, a = -t + 3*a + 6. Solve 3*v - 3*i + 18 = t, 12*i = -v + 15*i - 12 for v.
-3
Let h = 5145 + -5132. Solve h*w + 12 = 4*g + 14*w, 2*w + 2 = 5*g for g.
2
Suppose 0 = -4*x - 28, -9 = 25*s - 21*s + 3*x. Solve s*b = 8*b, -2*o - b = 2 for o.
-1
Suppose -272 = -2*o - 260. Solve -2*q - 6*f - 10 = -f, -3*f = -4*q + o for q.
0
Let s = 19 + -20. Let z(w) = -w**2 - 3*w - 2. Let h be z(s). Let g be h/(-4)*(-2)/(-4). Solve -5*k + 2*f + 9 - 26 = 0, g = -5*f + 5 for k.
-3
Let f be (-1)/(-2) - 69/(-6). Let a be f - (4 - (2 + 0)). Suppose 6*w = a*w. Solve -20 = -4*k - 4*z, w*z + 20 = 4*k + 2*z for k.
5
Let t be 2/(-1) + 50/(-175)*-21. Solve -4*m = 4*i, t*i + 3*m = 2*i - 4 for i.
4
Let x(j) = j**3 + 10*j**2 - 22*j + 28. Let d be (-8)/(-5) + (-24)/(-60) - 14. Let c be x(d). Solve -4*z = -5*p + 16, -4*p + c*z = -0*p - 16 for p.
0
Let p(w) = -19*w + 12. Let d(b) = -5*b - 1. Let s(z) = -4*d(z) + p(z). Let c be s(-13). Let l = 1 + -1. Solve l*g + c*g + r = 8, -4*g = 5*r - 7 for g.
3
Let m be 27/2079*42*(-22)/(-4). Solve 0 = -4*x + 3*b - 3, 8 = -2*x + m*x + b for x.
3
Suppose 2*o = -l + 3, -6*l - o + 4*o + 33 = 0. Solve -l*g + 7 = -3*q - 3*g, 4*q - 5*g = -21 for q.
1
Let l(j) = j**3 - 37*j**2 + 20*j + 579. Let w be l(36). Solve -f = -w*t, 64*t + 3*f - 12 = 61*t for t.
1
Let v = 30905 + -30902. Suppose 0 = -0*l - 5*l. Solve -4*g = -k + 19, l = 5*k + v - 18 for g.
-4
Suppose -5*v + 2 = -x, -17*x + 3*x - 2*v = -188. Solve 2*y = 2*g - 8, -x*y = g - 10*y + 8 for g.
1
Let q(m) = m**2 + 48*m - 265. Let u be q(-53). Solve -2*r + 2*l + 10 = 4*l, -4*r + l + 15 = u for r.
4
Suppose -22*j + 16*j - 318 = 0. Let f = j + 56. Solve 2*k - 7 = f*k - 3*o, 5*k + 4*o - 22 = 0 for k.
2
Let g be 920/(-60)*(-3)/2. Suppose 36*m - 49 = g. Solve -4*j = -4*o - m*j + 16, -3*o = -3*j - 15 for o.
3
Let f be 9/(-6)*((-48)/18 + 0). Solve 39*j = -2*d + 35*j + f, -3*j = -6 for d.
-2
Let q(w) = -w**2 - 20*w + 117. Let u be q(4). Solve -5*y = -z - 28, 3*z + u - 13 = -4*y for z.
-8
Let o be 279/(-27) + (-5)/3. Let x be (-1)/(o/16*2/3). Solve 0 = v + 2*l + x*l - 13, 3*v - 4*l + 25 = 0 for v.
-3
Let v = -29 - -18. Let q(a) = -13*a - 141. Let u be q(v). Solve m + 4 = -3*h + 5, 8 = -u*m + 4*h for m.
-2
Let h(g) = 7*g - 292. Let z = -276 + 321. Let j be h(z). Solve -v = 4*x + j, -x - x - 3*v = 19 for x.
-5
Let a = -15 - -27. Solve 3*c + 8*q = 10*q + 12, -3*c = 2*q - a for c.
4
Let