ve 0 = -d*j + l, -3*j + 3*l = -8*j + 20 for j.
1
Suppose -664 = -2*a + 3*s, -5*s - 1665 = -6*a + a. Let v = a + -333. Solve -5*q + 3 = -v*p - 1, 2 = -p - 5*q for p.
-2
Let y = -327 + 269. Let m be 4/y - (-2499)/493. Solve o + 3*o = v - 18, 3*o = m*v - 22 for v.
2
Let w(o) = 222*o - 7101. Let k be w(32). Solve -k*r + 3 = -4*v, 4*v - 27 = -3*r - 0 for v.
3
Suppose -4*g + 3*w + 33 = 0, 3*g + 2*w - 38 - 8 = 0. Suppose 4*y - 3*j = 22, 39*j - 35*j = -5*y + g. Solve 2*s + 4*i + 20 = 0, -6*s + 2*s + 4*i - y = 0 for s.
-4
Suppose 0 = -3*s + 4*w - 28, 3*w + 37 = 2*s - 7*s. Let a be s/(-4) - (4 - 5). Solve 3*u = 11 + 1, -22 = a*f - 4*u for f.
-2
Let a = 5 + -1. Let q(x) = x**3 + 15*x**2 - 129*x - 59. Let j be q(-21). Solve 2*u + 2*u - 5*c - j = 0, -c = -a*u - 12 for u.
-4
Let q(x) = -4*x**2 + 37*x - 4. Let t be q(8). Solve 3*u + t = u + 4*v, -4*u + 4*v - 44 = 0 for u.
-4
Let u be (15/3 - 145/25)*-75. Suppose -49*r = -52*r + u. Solve -r = -5*o - 5*v, -2*o + 19 = -6*o + 3*v for o.
-1
Suppose -343*k + 6979 = -4683. Solve -k = 5*z - 3*s, -3*s - 2 - 4 = 3*z for z.
-5
Let p be 336/140 - (-392)/20. Solve 4*k - 17 = h, -5*h = 21*k - 20*k + p for k.
3
Let r be ((-20)/(-5) - 6)/(2/(-2)). Solve 5*a + r = 3*x, 9*x - 13*x - 5*a = 9 for x.
-1
Let l be (-6)/((5500/140)/(-25) + (-3)/7). Let s(d) = -d**3 + 4*d**2 - 4. Let c be s(3). Solve -c*k + 13 = -2*u - 2*k, 0 = -l*k + 3 for u.
-5
Let b(s) = -4*s**2 - 33*s + 16. Let j(z) = -z**2 - 10*z + 5. Let n(w) = 3*b(w) - 8*j(w). Let a be n(-5). Solve -16 = -5*f - a*p - 0*p, 25 = 2*f - 5*p for f.
5
Let c be 112/10 - 8/(-10). Let x = 8 - c. Let s(t) = -5*t - 5. Let y be s(x). Solve 3*g + i = -3 - 4, 5*g - 5*i - y = 0 for g.
-1
Suppose -2636 = -31*l - 342. Suppose 5*t + 64 = l. Solve 0*y = t*y - 3*p + 21, 2*p = y + 13 for y.
-3
Suppose -311 = -3*z + 2*z + 4*q, 4*z = 3*q + 1270. Let f = 322 - z. Solve i + 2*h = -5, -3 = -i - h + f*h for i.
-1
Suppose 2*u = -0*u + 74. Suppose -4*q + 23 = -u. Suppose -q*f = -6*f - 45. Solve 5*m + 5*z = m + 16, f*m = z - 9 for m.
-1
Let m(v) = 583*v - 2305. Let t be m(4). Solve -5*j + 4*g + 5 = 0, 3*j - 4*g = -t + 22 for j.
5
Suppose 0 = -15*l + 19*l. Suppose 6*y + 35 - 5 = l. Let i be -3*(y/3 - -1). Solve 2*x + 26 = -4*h, -x - i*h - 16 = x for x.
-3
Let z = -12835 + 12847. Solve -2*l + 2*a = 12, 2*l = 5*l + 3*a - z for l.
-1
Suppose -456 = -5*q - 19*q. Solve 3*c = 5*h - 5 + q, -4 = 4*c - h for c.
-2
Suppose -5*p - 2*q = -0 - 25, 19 = 3*p + 2*q. Suppose -o + 14 = -p*t, 2*o + 6 = t + 14. Solve -i = a - 0*a - 3, 5*i - 15 = o*a for a.
0
Let r = -19 - -19. Suppose r = 13*u - 5*u - 224. Let j be (-9)/21 - (-4 - (-44)/u). Solve -w = 4 - 2, -8 = 4*l + j*w for l.
-1
Let l(y) = y - 2. Let n be l(4). Let s(g) = -2*g**2 + 1075*g + 17712. Let d be s(-16). Solve -2*k + 2 = v, d*v - v = n for k.
2
Let m be ((198/(-4))/9 + 5)*-14. Let y be 1 - (2 - -5 - m). Solve -2*o - 4*g = -7*o + 21, y = g for o.
5
Suppose -3*s - 10 = 5*u - 34, 3 = -2*u + 3*s. Solve 9 = u*r, -r - 3*r = 3*z for z.
-4
Suppose 5*x - 2*o = 2*o + 20, 2*x - o - 5 = 0. Let n be (-7 - -5)/(1 + 10/(-6)). Solve 4*u - 22 + 7 = l, x = 3*l + 4*u - n for l.
-3
Let y = 15 - 6. Suppose -967 = -y*g + 302. Let h = g + -136. Solve -2*k + h*d - 21 = 0, -d - 9 + 3 = 3*k for k.
-3
Suppose -3*t = -3, 5*f + 5*t = -5 + 50. Solve r - 10 = 4*a, 9*r - 10*r - f = 2*a for r.
-2
Let q(i) = -374*i**3 + 3*i**2 - 2*i - 4. Let b be q(-1). Let j = b - 350. Solve 3*g + 15 = o, 5*g + o + j = 4*o for g.
-5
Suppose 11*d - 11*d + 10*d = -8*d. Solve o + 4*z = d, 5*o + 5*z + 3 = 18 for o.
4
Let y be (-1 - (-5)/7) + 3055/35. Suppose -3*w = 72 - y. Solve 0 = 4*n - 5*n + 4*f - 3, 0 = -w*f for n.
-3
Let z(h) = 4*h + 70. Let j be z(-14). Suppose 0 = 20*r - j - 66. Solve 0 = 2*m - 3*o - 19, r*m - o + 7 = 20 for m.
2
Let v = 15 + -24. Let z be 1 + 26 - v/9. Solve -4*o - 4*m - 13 = m, o - 5*m = z for o.
3
Let t be ((-56)/(-7) - 3)*(-4)/(-10). Suppose 18 = m - 5*b + 65, 5*b = -2*m - 169. Let s = m + 73. Solve -4*l = -12, -l + t = -x - s for x.
0
Suppose -13*n + 3128 = -4152. Let r = 562 - n. Solve 3*g = 2*m - 2, 4*m - 6*g = -r*g for m.
-2
Suppose 0 = 24*s - 620 + 270 + 278. Solve -q - 4*c + s = 0, -4*q - 30 = -22*c + 17*c for q.
-5
Suppose -3*l = -4*n + 27, 4*n - 37 = -0*l + 5*l. Suppose -541 = -253*v - 35. Solve 0 = -n*b + v*z + 21, 4*b + z - 15 = 2 for b.
5
Suppose 2*p = -2*m + 48, -3*m - p + 28 = -50. Solve 36 = -2*c + 5*t, 61*c = 62*c - 4*t + m for c.
-3
Suppose -x + 5 = 0, -70*s + 72*s = -5*x + 35. Solve 2*h - 4 = s*u, 0*u + 5*h - 10 = 4*u for u.
0
Suppose -5*i + 35 = -t + 3*t, -30 = -5*t - i. Let f(h) = 2*h**2 - h - 17. Let u be f(-4). Suppose 22*o = u*o. Solve k + o*g = -2*g + 11, t*g - 5 = 5*k for k.
3
Let a(z) = 74*z**2 - 12*z + 27. Let b be a(2). Let n = b + -299. Solve -k + 0*k - 2*o - 11 = 0, 4*k - 3*o + 11 = n for k.
-5
Let s(r) = 4*r**3 + 44*r**2 - 3*r - 28. Let n be s(-11). Let v be 2 - -5*(0 - -6). Suppose -o + n*o = v. Solve -c + 4*q = 3*q + 1, -q - o = 2*c for c.
-3
Let p(o) = -o**2 + 3*o + 9. Let w be p(4). Suppose -l - 25 = 3*z - 102, -z + 34 = 2*l. Solve -3*f - z = 2*f - 2*x, -w*f - 3*x - 14 = 0 for f.
-4
Let r(j) = -j**2 + 47*j - 226. Let d be r(40). Let q = 20 + -11. Suppose -q*m = 18 - d. Solve -3*a + 35 = 2*a + m*i, 5*a - 5*i + 10 = 0 for a.
3
Let d be (9 - (3 - -2))/(21/((-231)/(-22))). Solve 3*q = -d*t - 8, 5*t = q + 10*t + 7 for q.
-2
Suppose -27 = -2*a + 5*s + 1, 2*a + s = 4. Suppose -3*g = 4*y - 9 - 11, -28 = -a*y - g. Solve 3*h + 3*b + 8 = y*h, 12 = -h + 4*b for h.
4
Let g(m) = -19*m - 302. Suppose -3*n - 92 = -30*u + 35*u, -4*u = 2*n + 72. Let q be g(u). Solve -q*k - 9 = -w, -k + 0*k = 2*w - 3 for w.
3
Suppose 5*t - 5*i = -42 - 13, t = 2*i - 6. Let b = -14 - t. Suppose 0 = -b*x - l + 4*l - 8, 3*l - 10 = x. Solve -x = y - 2*y, -3*d = 5*y - 25 for d.
5
Let a(t) = 23*t - 32. Let o(s) = -45*s + 65. Let y(z) = -5*a(z) - 3*o(z). Let n be y(2). Solve 5*u - n*f = 5, -5*u + 2*f - 4*f = -26 for u.
4
Let o = -2118 - -2121. Solve -g - 14 = -5*x - 6, -3*x = -o for g.
-3
Suppose -f - 16*f = -1156. Suppose 0 = -4*o + y + 58, 34*o - 4*y + f = 38*o. Let j be 12 + (1 - (1 + 0)). Solve -2*i = 5*c - j - o, -5*i = -c for i.
1
Let m = -2274 + 1440. Let z = m + 847. Suppose 4*b - 3 = 5. Solve 1 = -6*c + c - 3*p, 3*p - z = b*c for c.
-2
Suppose 23 = x + 8. Suppose 4 - x = -w. Suppose -7*a - 13 = -3*m - 3*a, 2*m - w = 5*a. Solve -3*i - 2*j + m = j, 5*i - 35 = 5*j for i.
4
Let y be -9 + 15 + 6 + (-64)/8. Solve -3*r - 11 = w - 0*w, -y*r = -5*w - 17 for w.
-5
Let h be -7 - (2 + (-23 - -9)). Solve -h*f + 4*t = 16, 23*f - 20*f = 2*t - 10 for f.
-4
Let p = 27292 - 27281. Solve -3*k + 16 = -5*j + p, -2*k + 14 = 2*j for j.
2
Let i = 125 - 137. Let r be (i/(-9))/(((-6)/(-9))/1). Solve 4*n = r*g + 2, n + 8 = 3*g + 1 for g.
3
Suppose -y + 23*y = 176. Solve -y*w = -5*w - 2*v - 3, 5*v = 4*w + 3 for w.
3
Let f be (9/9)/((-1)/(-6)). Suppose -5*l + 4 + f = 0. Solve -5*c + l*c = 15, 4*u - 5*c = 13 for u.
-3
Let n be (-4)/3 - (-2956)/2217. Solve -4*y - 12*k = -9*k + 24, n = 5*y - k + 11 for y.
-3
Let y = 6305 - 6302. Solve -15*q - 15 = -20*q - 2*f, 0 = -3*q - y*f + 9 for q.
3
Suppose -5*a = m - 10*a - 23, 0 = -4*a - 16. Suppose 0 = -2*q + 6*q. Suppose -2 = -5*o - 4*g, -m*o + q*g + 4 = g. Solve 3*t + t + 4 = 4*n, t - 3 = o*n for t.
-5
Let o be (-48)/56*-7 - 3. Suppose j = 4*v - 145, -3*v + 17 = 3*j - 73. Solve v = q + 2*q + 4*u, -o*u - 5 = -4*q for q.
5
Let l(j) = 217*j**2 - 1. Let w be l(-1). Suppose q + w = 4*q. Suppose q = 5*g + 3*g. Solve -2*a + g = v, 24 = 4*v + 5*a - a for v.
3
Let r(a) = -2*a + 96. Suppose 28*l - 36*l + 368 = 0. Let g be r(l). Solve -2*t - 2 = -4*o, 2*o - g*t = -0*t - 8 for o.
2
Let x = 14259 + -14255. Let b(g) = g**2 + 9*g + 6. Let r be b(-9). Solve -4*f + 2*y - r + 0 = 0, 0 = 2*f - x*y + 12 for f.
0
Let r(n) = 12*n - 48. Let y be r(11). Suppose 10*q = 3*q + y. Suppose -4*g - t = -16, -g + 4*g + 3*t = q. Solve 4*a + g = 0, a + 2*a = -2*z + 5 for z.
4
Suppose 5*j = 2*k + 44, j - 41 = -4*j + 3*k. Suppose 4*v - j = -v. Suppose -150*c - 54*c = c - 8*c. Solve 4*l = -16, c*l - 4*l - 16 = -v*h for h.
0
Let r be 3930/495 - 4/(-66). Solve -5*s - 112*j = -115*j + 37, 0 = 2*j - r for s.
-5
Let k = 80 - 76. Suppose -7*a + 28 = 5*q - k*a, 5*a = -5*q + 30. Suppose -d = 2*x + 2*d - q, 2*d = 3*x