ve -3*u = z - 11, -u - 2*u + 6 = o for z.
5
Suppose 28 = 4*q + 48. Let u be (-6)/10 + 2/q - -3. Suppose 0 = 4*l - u*l. Solve s + 3*s + m + 17 = l, 4*m = -s - 23 for s.
-3
Let o = 801 - 769. Suppose 0 = g - 2*i - 7, -45 + o = -g + 5*i. Solve 0 = -h + 3*l - 5, l + 13 = -g*h + 7*h for h.
4
Let h(q) = q**2 - 20*q + 5. Let c be h(0). Solve 3*t = -c*o + 31, 5*o - 15 = 3*t + 2*t for o.
5
Let f be 18/33 - (-13)/(1001/112). Suppose -18*g + 16*g + 30 = 5*k, -2*k - f*g = -18. Solve k*y - a = 20, -4*y = 5*a - 30 + 10 for y.
5
Let w = 49 + -19. Suppose 53*f + 201 - 526 + 219 = 0. Solve c = -f*b - 3 - 3, -5*c = -5*b - w for b.
-4
Let q = -631 + 639. Let z be ((-6)/q)/((-4)/(-4 - -68)). Solve 5*n - v + 15 = -8, -v = 2*n + z for n.
-5
Suppose -70 = -11*s - 15. Let q = -13 - -13. Let u be (q - 1)/((-4)/44). Solve -s*w = -3*h + 7, -u = -2*h - 2*h + 5*w for h.
4
Suppose -920*w - 156 = -998*w. Suppose -4*c + 1 = -19. Let s(r) = 2*r - 6. Let k be s(c). Solve 3*n = k*z - 12 - 4, -w*z = 5*n + 18 for n.
-4
Suppose 3*v = 2*u + 9, -5 = -2*u + 5*v - 4. Let o(d) = 4*d**2 + 48*d + 4. Let t be o(u). Solve 0*b + t*f = 5*b, 2*f = -10 for b.
-4
Let u = 519111 - 519111. Let z be 1/(-3) + (-10)/(-3). Solve u = -z*a, x + 2*a = 3*x + 10 for x.
-5
Suppose -1811*l + 1746*l + 5931 + 5379 = 0. Solve -x + 15 = 4*d, l - 159 = 5*d for x.
3
Let t = 21183 - 21179. Solve -2*n + 2*y - 18 = t*y, -5*y = n + 29 for n.
-4
Let k(o) = 569*o - 1133. Let q be k(2). Solve -3*l = 0, 2*f - 12 = q*l - 14 for f.
-1
Suppose 0 = -17*n + 496 - 445. Solve 2*h + n*h = -4*z + 12, -5*h + 18 = z for h.
4
Suppose -30 = -l - 2*l. Let p be (4/l)/((-6)/(-90)). Let v be 20/p - (-1)/(-3). Solve v*r - 15 = 0, -3*r = -4*o - o - 20 for o.
-1
Suppose 102*n = 67 - 37 + 174. Solve -2 = n*t + 16*r - 20*r, 2*t = 3*r for t.
3
Suppose -2*v - 1336 = -6*v + 2*a, -3*a - 6 = 0. Let b = -320 + v. Solve -19 = 3*g + t, 0*t - 3*t = -5*g - b for g.
-5
Let q = 61 + -59. Suppose n - 4 = q*i, i = n - 2*i. Solve -25 = -2*v + 5*y, y = 4*v - n - 11 for v.
5
Let y be 0*(-3)/(-9) + -260 + -14. Let b = 276 + y. Solve -i = b*a + 3*i, 0 = -4*a + i - 18 for a.
-4
Suppose -5*a + 20 = 0, x - 2*a = -40 - 253. Let n = x - -288. Solve -5*s - n*t + 17 = t, -4*s + 30 = -5*t for s.
5
Let o(g) = -5*g - 20 - 17 + 2*g - g. Let j be o(-13). Suppose -1 = -2*l - 3*t + 13, 0 = -3*l + 5*t + 2. Solve 0 = -5*d + s + j, s = l*d - 7 - 4 for d.
4
Suppose 11*b = 3*b - 288. Let z = -33 - b. Solve 0 = -2*f - 4, l = 2*l - 4*f - z for l.
-5
Let w(s) = s**2 - s - 1. Let b be w(-1). Let r be b*0*1/(-5). Suppose r = 4*j - 3*p - 10, 5*j + p - 3 = 0. Solve 2*a - a = -j, 0 = -3*n - 5*a - 2 for n.
1
Suppose 5*a = 56*a - 1020. Solve -c = -q, 5*c + a = 6*c - 5*q for c.
-5
Let a be 12*(814/44 + -17). Solve -2*h = 2*x + 2, -22 = -2*x - 5*h - a for x.
-3
Let y be (-4)/10 + (-288)/(-20). Suppose y*s + 14*s - 112 = 0. Solve 5*o - s*a = 2*o + 17, 0 = -5*o + 5*a + 25 for o.
3
Suppose -h + 6*h = -2*x + 5, -5*x + h = -26. Suppose -x = -5*z + 3*p, 2*p = z + 6*p - 24. Solve 3*t + 8 = -4*d - d, -4*d + z*t = 32 for d.
-4
Suppose 22*a - 262 = 222. Let k(t) = -t**2 + 23*t - 20. Let p be k(a). Solve 0 = -p*l + 4*l + 5*j + 1, 13 = -3*l + 4*j for l.
-3
Let k be 50 - (-3 - (-2)/((-6)/(-3))). Suppose 18 - k = -17*q. Solve q*i - 1 = w, -w = -0*i + i + 4 for w.
-3
Let a be (3/(-9))/(1/(-60)). Let g be -19 + a - (2 + 1/(-1)). Solve g = 3*y, 4*y + 0*y = z - 3 for z.
3
Let g be 2354/(-88) - (-5)/(-4). Let t be ((-112)/(-12))/(g/(-21)). Solve 0 = -4*j - 8, 3*j + t = 4*a - 7 for a.
2
Let i = 22163 + -22161. Solve -28*m = -5*d - 32*m - i, -3*m + 14 = -4*d for d.
-2
Let m(z) = -277*z + 1129. Let y be m(4). Solve -19*x + 3*f + 26 = -y*x, 3*x - 6 = 3*f for x.
-4
Let n = 12306 + -12304. Solve -2*s - 16 = -4*l, 50*s + n*l - 8 = 52*s for s.
0
Let x(w) = w**2 - 20*w + 38. Let p be x(18). Suppose 156 = 6*m - p*m. Suppose -m = 7*a - 186. Solve 5*i = -2*t - 5 + a, -18 = -5*i - t for i.
4
Let u be (-2)/9 + (-1284)/54. Let x be u/(-15) - 12/(-30). Let m(v) = v**3 + 7*v**2 - v - 7. Let t be m(-7). Solve 4*r + t*b + 30 = -x*b, -b = -r for r.
-5
Suppose -a = -8*q - 71, 5*a - 39*q - 130 = -44*q. Solve 0 = -4*r - 4*t + 12, 0 = -a*t + 34*t - 15 for r.
-2
Suppose -3 = -2*q - 3*h, -q + 3*h - 11 = 2*h. Let s be 1 - 12*(q - -4). Suppose d + 4*d = s. Solve -3*b - d*p = -5, b - 8 = -3*p - 1 for b.
-5
Let n = -1214 + 1216. Solve -n*s = -3*s - k, -2*s + 3*k = -25 for s.
5
Let y be ((-16)/6 + 2)/(2695/105 + -26). Let m = 24 + -12. Solve f = y*i - 3*f - m, -4*i + 2*f = 6 for i.
-4
Let t be (-3)/2 + 330/220. Suppose 5*a = 25, 8*g - 11*g + 3*a - 6 = t. Suppose -4*r + 15 = -r. Solve -4 = 2*y + 2*v, -2*y + r*v - 10 = -g*y for y.
-5
Let h(z) = -z**2 - 58*z + 1812. Let m be h(-76). Solve -2*x = 447*w - m*w + 23, -3*x - 37 = 5*w for w.
-5
Let p(f) = -9*f - 51. Let w be p(-6). Suppose -14 = w*a - 29. Suppose 3*q + a = -0*j + 5*j, -2*j = 4*q - 2. Solve -g = -m - j, -g - 4*g + 1 = -3*m for m.
-2
Let w be 2/(-4)*(1 - 5). Let f(v) = -v**2 + 7*v + 3. Let d be f(5). Let r be 18/(-12)*(-14 + (-34)/(-3)). Solve -w*n - t - d = -4*t, n = -t - r for n.
-5
Let c(z) = z**3 - 13*z**2 - 31*z + 18. Let k = 149 - 134. Let a be c(k). Let u be 1 + -2 + (-1 - -12). Solve -4*d + a*m = -2*d + u, 0 = 5*m - 20 for d.
1
Suppose 5*d - q + 2*q = 10, -5*q = 2*d + 19. Suppose -5*s - 2*s = -11823. Let i = s + -1684. Solve 3*p + 34 = g - 6*g, 0 = i*p - d*g for p.
-3
Let h = 1369 + -1361. Solve 3*c - 2*t = h, 3*c = -2*c - 5*t + 30 for c.
4
Let v(y) = -6*y + 6. Let q be v(-5). Suppose -47*i - 168 = -232 - 406. Suppose f + q = i*f. Solve 5*g - 5 = u, 5*g + f*u - 3 = 2*g for g.
1
Suppose 0 = -2*o - 7*o + 18. Solve -y + 4 = -4*s - o, -y = 3*s + 1 for s.
-1
Let u = 12 - 8. Suppose -u*n + 5 = 3*z, 0 = -2*z - n - 3*n + 2. Suppose 0 = -2*g + 5*j + 9, z*j = 5*g - 7 - 6. Solve i - 8 = 6*i - g*t, -12 = 2*i - 3*t for i.
0
Suppose -h - 4 = 0, 56*x - 51*x + 3*h = 8. Solve 10 = -x*f + 3*q, -4*q - 1 + 5 = 4*f for f.
-1
Suppose -242*h - 24 = -244*h. Let v be 5 + 0 - (0 - (-36)/h). Solve 16 = -4*w + 3*p, -4*w + v*w - 8 = 3*p for w.
-4
Let m(j) = -46 - 7*j + 19*j - 14*j + 7. Let t be m(-22). Solve -3*k + 12 = c, -3*c - t*k + 20 = -6*c for c.
0
Suppose -546 = -3*k + 9*k. Let p = -45 - k. Suppose -m = 5*l - p, -5*m - 22 = -2*l - l. Solve -3 = -2*q + 2*g + l, 0 = -4*q + 5*g + 29 for q.
1
Suppose 0 = 5*f + 2*o + 16, 3*o + 973 - 949 = 5*f. Solve -2*r = -2*d + 6, 9*d - 4*d + 10 = f for r.
-5
Let o = -3626 - -3628. Solve 3*r + o*r = -25, -3*s = -r - 11 for s.
2
Suppose -6 = 2*f - 20. Solve -2*n = -v - f, 2*v - 3*n = 4*v + 7 for v.
-5
Let g be 11/165 + (7030/75)/19. Solve g*p - 1 = 8*z - 6*z, -3*z - 2*p - 11 = 0 for z.
-3
Let i be (-1380)/(-115)*27/12. Solve 0 = 5*w + 10, -5*y - 4*w - 1 - i = 0 for y.
-4
Let j(f) = 11*f**2 - 253*f - 1572. Let r be j(-6). Solve -4*q - r + 352 = -3*h, -2*q + 8 = -3*h for q.
1
Let d = 1526 + -1520. Solve -6 = 3*y, y + 10 = -d*a + 8*a for a.
4
Let k = -193 + 193. Suppose k = 16*a - 152 + 72. Suppose -5*j + 6*j = 5. Solve 2*f - a*x + 10 = 0, -f + j = -2*f - x for f.
-5
Suppose g + g - 276 = -4*n, 5*g = -n + 60. Let l = n - 60. Suppose o = 4*o - 3*b - 9, 0 = 4*o - 5*b - l. Solve -o*j = 5*p - 9 - 21, 3*p - 15 = 0 for j.
1
Let n = 194 - 194. Suppose 4*s - 5 + 21 = 0, n = d - s - 30. Solve 0 = 3*h + 2*y + 16, -6*h - 3*y = -h + d for h.
-4
Suppose 39*k = 35*k, -4*k = 2*m - 10. Solve -3*u + 5*w = 21, m*w = -4*u - 6 + 13 for u.
-2
Suppose -3*b = -5*g - 32, 7 + 5 = -b - 4*g. Suppose -2*m - b*o + 9*o = 2, -20 = -4*m - 2*o. Solve -6*x = -m*h - 3*x - 17, 0 = 5*h - 2*x + 16 for h.
-2
Suppose 43*w + 45 = 48*w. Let c be w*-2*3/27*-3. Suppose 0 = -c*m + 3 - 3. Solve -5*n + 4 = -2*k, 2*k + 4 = n - m for k.
-2
Let t be (-1)/5 + (-4484)/(-20). Suppose 0*v = -2*v - t. Let k = v - -116. Solve 5*f = -c - 13, f = k*f + 4*c + 18 for f.
-2
Suppose -m + 80 = 4*s, -10*m + 11*m + 3*s - 81 = 0. Suppose -3*x = 9, y + m*x = 87*x + 12. Solve 0 = 2*f - 5*c - 28, -y*f + c = -c - 20 for f.
4
Let t(w) = 61*w - 20. Let a be t(8). Let u = a - 463. Solve 3*i = q + 6, u*q = i + 3*i + 3 for i.
3
Let f be 1 + 0 + (-3 - 7) + 9. Suppose 5*r - 3*s = 10*r - 27, -3*r + 5*s - 11 = f. Solve 5*y = r*b - 6, 2*b + 0 = 4*y + 4 for y.
0
Let b(l) = -5*l**2 - l - 1. Let v be b(0). Let g be (4 + v - 2) + 3. Solve 3*u + g = 