+ t, -x*y - 21 = -4*t for y.
-3
Let z be -561*(-6)/486 + (-6)/(-81). Solve -3*c + 57 = z*r, r + 1 + 13 = 4*c for c.
5
Let l(a) = -10*a + 70. Let v be l(7). Let s(o) = o**3 - o + 4. Let w be s(v). Solve -i = -3*c + 2*c - w, -3*c + i = 10 for c.
-3
Suppose 17*b - 515 = 658. Suppose 0 = -11*l - 12*l + b. Solve -2*y + 4*c + 10 = 0, l*y - 21 = 3*c - 9 for y.
3
Let o(t) = 33*t + 301. Let q be 2 - (6 - (-175)/(-20))*-4. Let h be o(q). Solve 0 = -5*u - h*k - 11, -4*u + 4*k + 12 = 2*k for u.
1
Let j(y) = 2*y**2 - 171. Let z be j(0). Let p = -167 - z. Solve 3*u - x = x + p, x = u - 2 for u.
0
Suppose -42 + 37 = 5*i. Let j be (-172)/(-129)*(i - -6 - 2). Solve 4*w - j = 0, 4*g = -g - 4*w + 14 for g.
2
Let t be (-42)/75*-10 + (-6)/10. Solve 2*m = 5*v - 3 - 0, -t*v - m = -6 for v.
1
Let q be 0 - (-1)/(-1) - (-49 - -181). Let s = -127 - q. Solve 2*b - 8 = 2*k, 5*b + s = 21 for k.
-1
Suppose 60 = 12*f - 7*f. Let h(u) = -78*u + 26 + 157*u - 81*u. Let t be h(f). Solve 0*w = -t*w - 5*k - 31, -4*w + 8 = -4*k for w.
-3
Let o(j) = -2*j**2 - 61*j - 143. Let b be o(-28). Let d be (b/4)/(37/(-148)). Solve -d*c - 5*k = 1, 0 = -c - 5*k - 4 - 3 for c.
3
Suppose 3*a - 4*l + 12 = 7*a, 3*a + 2*l - 10 = 0. Suppose 83*m - 84*m = -5. Solve -4*c + 3*o - 4 = -0, m*c = -a*o - 5 for c.
-1
Let i be (5 - 1)*(-2 - -4). Suppose -12*w = -i*w - 48. Let a be -14*75/w*(-12)/30. Solve p = 4*h + 11, 4*h + a = -3*p - h for p.
-5
Let b = 72 - 68. Suppose 0 = b*h + 1 - 13, -2*c = -4*h + 10. Let d be (5/(-2) + c)/((-42)/364). Solve q + 6*n + d = 2*n, 5*q - 27 = 3*n for q.
3
Suppose -1 = 2*i - 4*d + 1, -5*d = 5*i - 40. Suppose -15*q = -6*q - 162. Suppose -q*t + 11 = -79. Solve 0 = i*p - 0*p - 2*x - 25, t*p = -2*x + 5 for p.
3
Let t(v) = 14*v + 148. Let u be t(-10). Suppose 83*r = 85*r - u. Solve 5*x - r*g + 3 = 0, -3*g - 14 = 5*x + 10 for x.
-3
Let h be 2/4*2*5. Suppose -5*y = 4*w - 0*w + 71, 0 = y - 5*w - 9. Let r = 16 + y. Solve 10 = 3*u + 2*u - r*a, h*u - 3*a - 8 = 0 for u.
1
Let f = -44 + 46. Suppose -14 = -f*j + s, -j + 2*s - s = -9. Solve -4*m = 5*q + 17, -q + j*m - 10 = 5 for q.
-5
Suppose -16*k + 756 = -28*k. Let c be (-108)/k - (-2)/7. Solve -2*h - h + c*o = -4, -h = -o for h.
4
Suppose 2 - 59 = -3*i. Suppose 0 = -3*n - 4*s + 2 + i, -3*s - 6 = -5*n. Solve k + c - 2 = 0, 2*c = n*k - 2*k + 7 for k.
-1
Suppose -2*z + g = -5 - 5, -3*z - 5*g + 2 = 0. Solve 6*v - 2*v - z*y + 8 = 0, 0 = 2*v + y + 4 for v.
-2
Let l be (2/(-6))/((-31)/(-62)*2/(-9)). Solve -5*u - 7 = -h, -4*u - l*h = -6*h - 1 for u.
-2
Suppose -161 + 151 = -v. Suppose 25*a + v*a - 70 = 0. Solve d + 5 = -a*t + t, -t - 5*d = 21 for t.
-1
Let b(v) = -v**3 + 2*v**2 + 3*v + 5. Let i be b(0). Suppose i*a + 5*a - 50 = 0. Solve -29 = 3*q - a*c, 4*c = -0*q - 3*q + 7 for q.
-3
Let d(b) = 4*b + 150. Let k be d(-37). Solve -3*n + k*f + 2 = 0, -3*n - 10 = -4*n - 4*f for n.
2
Let b(f) = 3 + 8504*f**2 + 8500*f**2 - 17005*f**2. Let j be 2/10 - 2/10. Let z be b(j). Solve 10 = 5*m, -z*p = -0*m + m + 7 for p.
-3
Let t be 12/24 + (-11)/(-2). Let d(v) = v**3 - 7*v**2 + 5*v + 6. Let g be d(t). Solve 4*p + 3*a - 29 = g, 3*a = 2*p - p + 4 for p.
5
Suppose -5*w = 3*w. Suppose c + 9 = 3*u - w, -9 = -3*u. Solve -3 = -3*y, 5*q - 5*y - 1 - 19 = c for q.
5
Let o(g) = 8*g**3 + 2*g**2 - 2*g + 1. Let n be o(1). Let j = -85 - -97. Suppose -m + 3 - n = -t, j = 3*t + 3*m. Solve 0 = 4*c + 3*a - 8, -t*a + 12 = -2*a for c.
-1
Let z = -16494 - -16498. Solve -3*p - 3*u + 15 = 0, 4*p - z*u + 20 = -0 for p.
0
Suppose 716*w - 726*w = -30. Let o be (56/42)/(16/36). Solve n = o*h - 4, n - 8 = w*n - 5*h for n.
-4
Let s be 0 - (-324)/21 - (14 - (-1326)/(-91)). Solve -2*v + s = 3*m, -3*v - 29 + 34 = -5*m for m.
2
Let y(j) = 2*j**2 + 3*j**2 - 65 - j**3 - 6 - 47*j - 8*j**2 + 30*j**2. Let l be y(25). Solve l*q + 4 = 8*k - 3*k, -k - 2*q - 2 = 0 for k.
0
Suppose -27 = 61*z - 70*z. Solve -2*q = -3*u + z, 5*u - 2*u - 12 = -q for q.
3
Let k be (4 - 3) + 7 + -12 + 7. Let u be (8 + 0)*(2 + k/(-2)). Solve 3*d = -2*q + 3*q - 17, -q = u*d + 18 for q.
2
Let i be (3 + -13)*924/(-330). Solve -n = 4*a - 12, -5*n - 41*a + 37*a = -i for n.
4
Let l(r) = r**2 + 6*r - 4. Let b be l(-7). Let z be 200/(-75) - -3 - (-8)/(-12)*-1. Solve -13 = -5*c - b*s, -z = -2*c + 2*s + 1 for c.
2
Suppose 0 = 3*b - 128 + 8. Let n = b + -34. Let s be (-40)/(-18) + n/(-81)*3. Solve -k + s*x = -2*k - 15, 10 = 2*k - 4*x for k.
-5
Let w(d) = -25*d - 748. Let h be w(-30). Solve -15 = -b - h*g, b + 15 = 3*b + g for b.
5
Let m = 70 + -52. Let x be 11 - (m/6 + -8). Solve 2*z = -0*o + 4*o - x, 5*z = 5*o - 15 for z.
2
Let u = 312 - 208. Let w be 6/(-14) + u/14 + 0. Let d(f) = -f**2 + 13*f - 38. Let y be d(w). Solve -3*h = -2*q, -y*q + h - 10 = -0 for q.
-3
Let r = -3151 + 3154. Solve 13*w + 6 = 3*z + 10*w, 2*z - 3*w - r = 0 for z.
3
Suppose -83 = -4*o + c, -3*o - 127*c + 130*c = -51. Solve 3*x = 2*d - x + 14, 4*d - o = -2*x for d.
3
Let d = 1706 + -1701. Solve 2*i + 0*n = d*n + 18, 0 = -4*i + 2*n + 20 for i.
4
Let y be ((264/9)/4)/((-68)/306). Let i be (-8517)/(-561) + 3*2/y. Solve -5*v - 5*s - 42 = 8, -v + 4*s = -i for v.
-5
Suppose 0 = -103*c + 197 + 9. Solve -4*a = 17*d - 18*d - 13, -c*d = -a - 2 for d.
3
Let g be 567/(-42)*56/(-120) + 3/(-10). Solve -17 = -3*z + q, -21*z + 2*q = -25*z + g for z.
4
Let l(b) = 1 + 3*b**2 - 2*b**2 + b**2. Let n be l(-1). Let v be (n - (-4 - -9)) + 15. Solve 4*i - q + 2*q - v = 0, -i + 6 = 3*q for i.
3
Suppose 3*f - 10 = -4, -v = -4*f - 8. Let h be ((-4)/2 - -7)*(v - 15). Solve -3*z = -h*p + 23, -5*p + 0*p = -2*z - 22 for z.
-1
Suppose 0 = 3*g - 52 + 49. Let z be (60/18 + -3)*0. Solve z*i - 1 = -2*c - i, g = -i for c.
1
Suppose -97*w + 626 = 141. Solve -w*d - 18*f = -20*f - 17, -4*f + 11 = 5*d for d.
3
Suppose -11*q - 8 = 2*v - 7*q, q + 11 = 4*v. Solve h - v*s - 6 = 2*h, -4*h + 26 = -2*s for h.
4
Let j be 852/132 - (-48)/88. Solve -4*f + 13 = -j, 5*g = -5*f + 10 for g.
-3
Let t(v) = 7*v**2 - 5*v**2 + 5*v - 11 - v**2. Let r be t(-7). Suppose -5 + 25 = 4*o + r*c, -2*c + 15 = 3*o. Solve a = -4*y + 25, -40 = -o*y - 6*a + 3*a for y.
5
Let z = 73 - 70. Let i(a) = -149 + a**z + 49 + 11*a + 16*a**2 + 50. Let c be i(-15). Solve 2*b + c = -2*u, -3*u + 3*b + 6 = -3 for u.
-1
Let f = 27 + -22. Suppose 4 + 10 = w + 2*u, -3*u = -w - 11. Solve -f*r - 4*i = 1, -2*r + w*i + 22 = -0*i for r.
3
Let s be (-4620)/(-336) - 2/(-8). Suppose 2*z - 6 - 12 = 0. Let v = z + -7. Solve q - s = -5*j, -3*j - v*q + 11 = -4*q for j.
3
Let t be ((84/5)/(-14))/((-6)/(-20)). Let x = 7 + -10. Let j be (t - x) + -1 + 7. Solve 3*f - j*v = 0, 0 = -0*f + f + 4*v - 17 for f.
5
Suppose 3*h = r + 73 - 75, 0 = -h. Solve -5*q + 4*x - 24 = -0*x, 5*q = r*x - 22 for q.
-4
Let q(p) = 25*p - 172. Let r(s) = 4*s + 107. Let a be r(-25). Let k be q(a). Solve -5*y + 16 = 4*m, -3*m + 4 = k*y - 2*m for y.
0
Let o(x) = 2*x**2 + 3*x + 3. Let b be o(0). Suppose -6*d + b*d = 0. Solve 5*j - 1 = -p + 4, j - 3*p - 17 = d for j.
2
Let y = 31 + -27. Let j be (-112)/(-49) + y/(-14). Let p(f) = -f**3 - 2*f**2 + f - 3. Let g be p(-3). Solve -5*x - 8 = g*o, 2*o - j = 4*x - 0*o for x.
-1
Suppose 0 = 7*u + 3*k - 27 - 16, 4*u = -4*k + 36. Solve -y = -u*m - 16, 5*m - 4*y + 19 = 4*m for m.
-3
Let p = -52 + 68. Suppose 5*t + 23 = 4*y, p = 2*y - t - 3*t. Suppose y*h = -17 + 23. Solve h*o + 0 = -4*q + 19, o = -5*q + 21 for o.
1
Let w(p) = -22*p + 2. Let r be w(2). Let f be 4/14 + (-72)/r. Let q = 1 + f. Solve -2*u = 3*n + 10, 0*n - q*n + 20 = -4*u for u.
-5
Let p(i) = 32*i - 49*i - 11 + i**2 + 31*i + 7*i. Let r be p(-22). Solve s - 1 = -u, -s - r = -2*u - u for u.
3
Suppose 0 = -h + i + 143, 0 = 3*i - 6*i - 6. Let n = h - 136. Solve 3*u - 5*w - 1 = 0, -n*u - 4 = -5*w + 1 for u.
-3
Let w(d) = -8*d**3 - d**2 - 8*d - 8. Let n be w(4). Let q = n + 572. Solve q*m + 13 = -3*c, -c + m + 10 = -4*c for c.
-3
Let i = 7808 + -7804. Solve 4*h + 4*y + i = 0, 2*y - 8 = -65*h + 68*h for h.
-2
Let t be 8/(-7)*(-6 - 30/(-12)). Suppose -48 = -16*r + t*r. Solve 2*l = r*c - 8*c - 22, 0 = 2*l - 5*c - 14 for l.
-3
Let q(b) = -b**2 - 22*b + 185. Let l be q(-20). Suppose -34*m + 19*m = -l. Solve -5*v + m = -3*r, -3*r - 6 = -5*r - 2*v for r.
0
Suppose 5*n - 273 = -2*q, 2*q - 279 = -0*n - 3*n. Let f be ((-1)/3)/(((-276)/q)/23). Solve -2*c = 3*p - 1 + 23, 5*c - f*p + 9 = 0 for c.
-5
Let k(x) = 