5
Suppose 0 = -18*x - 74 + 20. Let q be ((4/x)/2)/((-30)/135). Suppose -2*h = q - 7. Solve h*u - 3 - 1 = 0, -2*u + 6 = -2*z for z.
-1
Let j(p) = -15*p**2 - 18*p - 2. Let l be j(-1). Solve -l = -2*a - 5*k, -5*k + 5 = -a + 13 for a.
3
Suppose -c - 3*c = c. Solve c = -v - 4*h - 14, 9*h - 13*h = 4*v + 8 for v.
2
Let y(s) = 8*s**2 - 25*s - 35. Let d(u) = -5*u**2 + 13*u + 18. Let z(q) = -5*d(q) - 3*y(q). Let o be z(-9). Solve 3 = g, 4*g - 10 = -i + o for i.
4
Suppose a - 1 = -2*j + 8, 0 = 3*j + 4*a - 11. Let u(h) = h**2 - 12*h + 51. Let t be u(j). Solve -4*l + t = 4*b, 5*l + 6*b - 21 = 2*b for l.
5
Let l(u) = 12*u - 335. Let x be l(28). Solve 0 = -3*o - 2*p + 4*p + 9, -2*o + x = -3*p for o.
5
Let f(o) = 2*o**3 - 33*o**2 - 18*o + 19. Let i be -3*2/8 + 1917/108. Let n be f(i). Solve 0 = -3*x + 5*j - 1 - 2, 2*x + 3*j = -n for x.
-1
Suppose -5*i - 6 = 24. Let j be 9/27 - (-2)/i. Suppose 6*l - l = 2*z + 2, j = -2*z + 4*l. Solve 4*v + 4 = v + 2*f, 4*f = 5*v + z for v.
-4
Let n = -17646 + 17658. Solve -m + 75*z + 1 = 76*z, -n = 3*z for m.
5
Let k(f) = -2*f**2 + 10*f - 10. Let u be k(3). Let n = 6 - 3. Suppose -u*j = -a - n*a + 4, 2 = -j. Solve i + 10 = 3*w - i, -5*w + i + 5 = a for w.
0
Let w be 206/(-12) + -1*2/(-12). Let j be (2/2 - (21 + w)) + -3. Let s = 26 + j. Solve 3*r = -5*y + 12, -5*r = -y - 4*y - s for y.
0
Suppose -11*z - 31 = 79. Let o be 9*1*(z/(-30))/1. Solve 0 = o*w - 5*x - 27, 0 = 5*w - 5*x + 2 - 37 for w.
4
Let y be (-20)/10 - -1 - (-9 - 1). Let r(i) = -i + 13. Let c be r(y). Solve -3*u + 5*k = 17, 2*k = -c*u - 2*k - 12 for u.
-4
Let o = -166 - -187. Let m(g) = g**2 + 3*g + 11. Let w be m(-4). Solve t = -0*t + 4*h + o, -5*t = 4*h + w for t.
1
Let h be 2/9*(-13 - (-14 + -17)). Solve 9 = -4*d - 3*p + 2*p, h*d + 4*p = 0 for d.
-3
Let c be 6 - (-8 + 536/(-8)). Suppose -5*v - 16 = f + 35, -3*f - 4*v = 208. Let z = c + f. Solve -8*s + 25 = z*l - 3*s, 5 = -2*l + s for l.
0
Let f(p) = 2*p**2 + 4*p - 8. Suppose 2*y + 2*q + 10 = 22, -2 = y - q. Let d be f(y). Solve 2*s = s - c + 4, 4*c - d = 0 for s.
2
Let l be ((-20)/(-6))/(2/3). Let t be (18/10)/3 - (-24)/10. Let n be (-5)/(-15)*(2 + 0)*3. Solve -22 + 1 = -2*a - l*u, t*a - 3 = n*u for a.
3
Let o be (-1)/(-13 - -11)*14. Solve 0 = o*i - 6*i + 5*d - 21, 4*d - 18 = -2*i for i.
1
Suppose 6 - 24 = -3*d. Let f = -4773 + 4777. Solve f*i - d*i + 14 = -4*z, 4*z + i = -23 for z.
-5
Let w = -1231 + 1236. Solve -2*g = 3*x - 5*g + 3, -10 = w*g for x.
-3
Let l be (-3)/27 + (3/42 - (-24895)/8190). Let z = 4 + -12. Let d = 10 + z. Solve -k = -0*k - 1, 5 = l*i + d*k for i.
1
Suppose 27*j - 52 = 83. Solve 3 + 0 = l, 4*l + 8 = j*y for y.
4
Let c(j) = 2*j**2 - 3*j + 40. Let q be c(7). Let m be q/12 + (-21)/(-84). Solve -z - m = 2*k, 5*k + 4*z = -4 - 24 for k.
-4
Let z(u) = -u**2 - 19*u - 55. Let c be -1 + -15 - (-17)/17. Let t be z(c). Solve -g + 0*w = -4*w + t, 3*g + 15 = 5*w for g.
-5
Let f = 36 - 31. Solve -t - 10 = -0*t - 4*s, 0 = -f*s + 5 for t.
-6
Let x(p) = p**3 + 11*p**2 + 29*p + 108. Let w be x(-9). Solve -2*i + q = -w + 1, -3*q = -2*i + 16 for i.
2
Let v be (4 - (-21)/(-6))*(16 - 12). Solve -2 = v*k, -4*l + 3*k = l + 22 for l.
-5
Let m be (22 + -23)*(1 - 36). Solve 77*l - 80*l = -5*x, 5*x + m = -4*l for x.
-3
Let b(u) = -18*u - 972. Let s be b(-54). Solve -t - c - 3 = s, 4 - 15 = 2*t + 3*c for t.
2
Let n be 1/((-3)/8 + 5*(-133)/(-760)). Let d = 9 - 5. Solve 4*l + n = 2*i, 2*i + 3 = 5*l + d for i.
3
Suppose u - 51 = -v, -2*u = 5*v - 91 - 5. Solve 3*t - u = -5*z - 29, -6 = 2*t - 4*z for t.
3
Let z be (-9)/3 + 0 + 86. Suppose 76*f + 35 = z*f. Solve 6 = -5*v - 2*k, f*v - 15 = -0*k + 5*k for v.
0
Suppose -4*c + 124*z = 127*z - 18, -4*c = -2*z - 8. Solve 5*g - c*g - 10 = -4*h, -h + 6 = 4*g for h.
2
Let d be -1*((8 - 43) + 10). Solve -25 = -5*g, -139*g + 140*g - d = -4*b for b.
5
Let d = 106 + 17. Suppose -5*g + 2*y + d = 0, -2*g - y - 4*y = -26. Solve 0 = -i - 4, -2*c - 5*i + 3 - g = 0 for c.
0
Suppose 16*z + 25*z - 17917 = 0. Let j = 440 - z. Solve f + y = -1 + j, -16 = 4*f - 2*y for f.
-2
Let j be 9/(-3) - -1*8. Let m(i) = -i**3 - i**2 + 4. Let q be m(0). Suppose 0 = -28*r + 26*r - 13*k + 28, 5*r + k = 70. Solve -5 = j*z, -y + q*z = y - r for y.
5
Suppose 0*c = -c + 5. Suppose 152*o - 155*o = -27. Let l = -7 + o. Solve -c*x - 5 = 3*j, -l*x - 5 = 3*x - 2*j for x.
-1
Suppose -h - 14*r - 12 = -17*r, 4*h - 2*r + 8 = 0. Solve h = 4*s + 4*n - 8, -5*s + n - 18 = -10*s for s.
4
Suppose 0 = 4*c - 12, 3*c = -2*a + 63 - 30. Solve -a*y + 15*y = 2*x - 14, 3*y = -4*x + 10 for y.
-2
Suppose 25*q = 18*q. Suppose q = -10*i - 539 - 211. Let w = i - -79. Solve -3 + 1 = 2*m, 2*l = w*m for l.
-2
Let h = -8736 - -8765. Solve -5*k - 5*a + a = -h, -10 = -k - 5*a for k.
5
Let a = 504 + -517. Let b = a + 18. Solve b*p = -5*y, -2*p = -p + 4*y - 6 for p.
-2
Suppose -3 + 7 = -a + 2*k, 5*a - 2*k - 12 = 0. Suppose 3*p - a*p = -4, v - 103 = -4*p. Let z = -80 + v. Solve 4 = 4*h - 4*i, 4*h - z*h = 2*i - 3 for h.
1
Suppose 2*p - 8 = -7*p + 19. Solve 0 = 4*l + 2*g + p*g - 8, -5*l = 3*g + 3 for l.
-3
Let i(m) = 5*m**2 + 16*m - 31. Let o(x) = 2*x**2 + 5*x - 12. Let b(w) = 3*i(w) - 8*o(w). Let n be b(0). Solve -3*s - r - 12 = n*r, 3*s + r = -12 for s.
-4
Suppose 12*g - 25*g + 26 = 0. Let x be ((-108)/30)/((-6)/15). Solve -g*v - 4*t = -3*t - x, 2*t - 6 = 0 for v.
3
Suppose 2*g = -0*g + 6. Let y be g/2*(-8)/(-6). Suppose 4*r - 4*o = 24, -132*o - 21 = -4*r - 127*o. Solve -3*i = -4*m + r, -6 = 3*i - i + y*m for i.
-3
Let a(m) = 2*m**2 + 5*m + 3. Let p be a(-3). Let i(t) = 18*t**3 - 75*t**2 + 6*t + 29. Let z be i(4). Solve -q = -z*c + p, -3*q - 4 = -c - 0*c for c.
1
Suppose d - 14 = -w, -2*d - 161*w - 8 = -163*w. Solve -d*p = r - 2, -413*r + 414*r + 3 = 0 for p.
1
Suppose -30 = -5*o + 5*f, 14*o - 15*o + 26 = -5*f. Let a be 0 + (-3 - (0 + o)) + 7. Solve -5*n - 3*h = h - 3, -a*h + 4 = 2*n for n.
-1
Suppose -5*w - 32 + 17 = 0. Let y be 1/(-1) - (-11 - (-11 - w)). Solve 0 = -y*z + 2, -3*k - k = -3*z - 9 for k.
3
Let a(p) = -p**3 - 3*p**2 + 3*p - 2. Let b be a(-4). Suppose -2*k + 132 = 6*m, 482 = -4*k + 530. Solve 0*x + 2*x - m = 4*w, -2*x = b for w.
-5
Let d = -22 - -38. Suppose 0 = -12*z - 5*z. Let g be (6 - 2) + -3 - (-1 - z). Solve -g*c = -4*c - 3*x + 7, d = -4*c + 4*x for c.
-1
Suppose 919 - 1158 = -305*q + 1286. Solve 2 = 4*m + k, q*m + 14*k - 10*k + 3 = 0 for m.
1
Let q(d) be the second derivative of 0*d**3 + 0 + 5*d**2 - 1/12*d**4 + 26*d. Let z be q(3). Solve -v + 2*p + 1 = -z, -3*v = -3*p - 6 for v.
2
Let x = -10 + 6. Let p(q) = -6*q + 303. Let l be p(50). Let a be -1 - (x + 2 - l). Solve a*i - 4 = 5*f, 4 = 2*f - 6*i + 3*i for f.
-4
Let t be ((-110)/(-5) + -6)/2. Let j(b) = b**3 - 5*b**2 - 25*b + 11. Let h be j(t). Let x = 6 - 2. Solve -x*p + 2 = -2, 4*d - h*p + 23 = 0 for d.
-5
Let n = 5377 + -5373. Suppose 4*u + 0*h - h - 91 = 0, 5*u = 5*h + 125. Let d = n + u. Solve 2*w + 5*v + d = 0, -4*v - 9 = -w - v for w.
-3
Let z = 58 - 64. Let b be 1*(-1)/(2/z - 0). Suppose 5*o = -3*h + 19, 0*o = -2*h + 4*o - 2. Solve -n + 14 = h*y, b*y + y - 18 = -2*n for y.
5
Let u = -3454 + 3458. Solve -9 = 3*d, -u*m + 1 = 2*d - 9 for m.
4
Let w(b) = -19*b + 62. Let p be w(-8). Let t = -212 + p. Solve -4*u - t*l = 0, -5*l - 9 = 4*u + 3 for u.
2
Suppose 8900*g + 60 = 8915*g. Solve 4*x + g*n = 0, -x - 1 = 3*n - 7 for x.
-3
Let r(w) = w**2 - 116*w + 230. Let c be r(2). Solve 7 = -c*l + 5*f, 2*f = -3*f + 5 for l.
-1
Let k be -1*7*(-1336)/2338. Solve g - 3 = z, -2*z - 24*g + 28*g = k for z.
-4
Let c = -25 - -26. Let x be -3*(c + -2)*440/(-60). Let n be (-38)/(-152) - (x/8 - -1). Solve -4*f + 2*m - n = 0, 5*f + 4 = 4*m - 3 for f.
1
Suppose 5*s = -10, h - 2*s - 38 + 20 = 0. Solve 2*r = -4*l - h, 3*r - 4*l = 4*r + 11 for r.
-3
Suppose 0 = -11*k + 3*k - 176. Let z be ((-14)/4)/(-13 - 275/k). Solve 0*l = -l + 2*n + z, 3*l - n - 1 = 0 for l.
-1
Let l = -303 - 211. Let c = 514 + l. Solve c = 3*q + 3*j - 21, j - 20 = -2*q - 4*j for q.
5
Let v = 173 - 171. Suppose -24 = -4*p + 4*d, 24*p + v*d + 7 = 25*p. Solve -4*w - 6*q + 2*q + 8 = 0, -p*w = -2*q - 10 for w.
2
Let m = -623 + 627. Let s(w) = -5*w + 8 - 3 + 0 - w**2. Let b be s(-5). Solve -b*x - 10 = 2*l, m*x - l + 2*l = -5 for x.
0
Suppose -4*s - 5 = -1, 4*m - 3*s + 97 = 0. Let u be ((-20)/6)/((-2)/(-12)). Let y = u - m. Solve r + 