2
Let h(x) = -7*x. Let d be h(0). Suppose v - 4*v - v = d. Let j be 2/(v - 1/(-2)). Solve 4*y - 4 = j*b, -3*b + y + 2 = -y for b.
4
Suppose 0 = 5*r - h + 1, -2*h - 2 = 3*r - 4. Suppose -3*v + 4*v + 4*v = r. Let a be (3 - (v - -2))/((-1)/(-3)). Solve -q + 2 = -2*u - 3, a*q = 2*u - 1 for u.
-4
Let o(k) = k**2 - 12*k + 23. Let v be o(11). Let s = 5 - 3. Suppose 0 = v*t - 13*t + s. Solve 0 = -4*d + 4*l + 4, 5*d + 1 = -t*l - 1 for d.
0
Let s(u) = -95*u + 289. Let h be s(3). Solve 4*m - 21 = -h*t - 25, 2*m - 2 = -t for t.
-4
Suppose -3*s = 5*r + 2996, 4*r = 8*r + 3*s + 2395. Let u = r - -607. Solve o - u*o + 7 = t, -5*t = -4*o + 23 for t.
-3
Let j = 6493 - 6491. Solve -j*t = 19*d - 21*d - 8, -4*t = -16 for d.
0
Let a be 9/5 - ((-468)/30)/13. Solve 4*j = -3*i - 17 - 0, -a*i + 3*j + 18 = 0 for i.
1
Suppose -3*r - 17 + 38 = 0. Suppose 4*o + 2*n = 24, 2*n - 29 = 2*o - r*o. Solve -5*a - 29 - 8 = 3*c, 0 = -o*c + 4*a for c.
-4
Suppose -14 + 4 = -2*p, -2*k + 4*p - 398 = 0. Let a = 201 + k. Solve -3*y - 12 = -3*g, -2*g - a = y + 2*y for g.
0
Suppose b - 37 = -3*b - 3*u, -2*u = 4*b - 42. Suppose b*g + 28 = 184. Let d = -7 - -37. Solve 0 = 2*p - x - g, -p + d = 3*p - 5*x for p.
5
Let y = 4 + 1. Let m = -336 - -342. Suppose -4*b - 2*l + m*l = -16, 0 = -3*b + 4*l + 9. Solve -p - p - j = 1, -b = -4*p - y*j for p.
-2
Let u(t) = -201*t + 3421. Let m be u(17). Solve 4*r - 20 = -2*k - 0, 4*k = -m*r + 28 for r.
3
Suppose -3*m = 2*b - 15, -b + 12 + 9 = 3*m. Let h(s) = -s + 4. Let n be h(0). Solve 3*a = -5*r + 15, -r - m = -n*r + 2*a for r.
3
Suppose -11*c - 16*c = -135. Suppose -c*r + 2*q + 19 = 0, 4*q = -5*r + 3*r - 2. Solve b + 4*n + 9 = -0*b, -r*b - 4*n - 19 = 0 for b.
-5
Suppose 2*i = 4*u + 377 + 189, -i + 282 = -u. Let g = 285 - i. Solve -a = -4, 0 = 3*v - 2*a + g*a + 4 for v.
-4
Let o(u) = 8*u + 88. Let h be o(-11). Suppose 4*b = 3*p - 3, -5*b - 3 + h = -3*p. Solve 2*j - p = 4*y + 3*j, -2 = -2*y + 2*j for y.
0
Suppose 15*q - 59*q = 5280. Let o = q + 125. Solve 20 - o = 3*u, 5*u = 3*t + 16 for t.
3
Suppose -20233 = -5*t - 4843. Let r be 4/(-26) - t/(-234). Suppose -8*g + 3 = -r. Solve -4*h + 4 = 4*b, 4 = g*b + 4*h - 2 for b.
-1
Suppose -52*b + 53*b - 1 = 0. Suppose 5*y - 2 = -2*x - b, 0 = -4*y - 4. Solve x*v = 5*f + 2*v + 14, 2*v - 10 = f for f.
-2
Suppose 2*t + 4*s = -418 + 426, -t + 5*s - 3 = 0. Solve -3*f + 4 = y, 25*y + t*f = 27*y - 8 for y.
4
Let a be (8/(-6) + 2 + -1)/((-8)/288). Solve -4*r = -c + 16, 3*r + a = -10*c + 8*c for r.
-4
Let z = -711 - -717. Suppose 2*y - 30 = -5*a, -z*a + 7*a + 5*y - 29 = 0. Solve -21 = -5*n - a*v, 0 = 3*n - 5*v + 4*v + 1 for n.
1
Suppose 0 = 3*m - 5*b - 109, 0 = -6*m + m - 2*b + 130. Let v = m - -8. Let p = -32 + v. Solve 2*a + 16 = -4*l, p*l + 18 = 2*a - 3*a for l.
-5
Let k(b) = -51*b - 4873. Let s be k(-97). Solve s*f + 5*i - 3 = 70*f, 0 = -5*f + 2*i + 12 for f.
2
Let k(y) = -y**3 - 3*y**2 + y + 3. Let j be k(-3). Suppose j = 7*i - i - 30. Let o be (208/(-40))/((-2)/i). Solve 2*q = c - 1, 3*c - o - 6 = -2*q for c.
5
Let b(d) = 38*d - 945. Let s be b(25). Solve 0 = -5*i - q - 14, -22 = 5*i + s*q - 2*q for i.
-2
Suppose -6 - 18 = -2*v + 4*n, -3*n - 26 = -2*v. Suppose -2*u + v = 5*f, f = 5*u - 17 + 4. Solve 4*h + 2*b - 9 = 3*b, -4*h - 5*b + u = 0 for h.
2
Suppose 0 = 3*q - 7*q + 8. Suppose -2*i + k - 7 = 2*i, i - q*k = 0. Let v be (-392)/(-24) - i/3. Solve a + 7 = p, -5*a - 3*p - v = p for a.
-5
Suppose 0 = -4*s - 258 - 198. Let p = 234 + s. Suppose -3*t = -8*t + p. Solve 3*m = 5*z + 4 + 22, 4*z + t = 4*m for m.
2
Suppose 2*v + 11*l - 10*l - 1 = 0, 0 = -8*l - 24. Solve 16 = 4*q - 4*c, -v*q - 7 = 13*c - 12*c for q.
-1
Let o = -4 + 7. Suppose 0 = 20*u - 119 + 39. Solve -u*p + r + 20 = -0*p, o*r - 4 = -4*p for p.
4
Suppose -1 = -4*f + 11. Let x be (-7 - (-297)/66)*3/(15/(-4)). Solve 4*o = 12, f*o = -4*u - x*o - 5 for u.
-5
Let o = -5557 - -5557. Solve 3*x + 15 = o, 17*m - 3*x - 3 = 21*m for m.
3
Suppose -2*d = -3*w - 10, 5*d + 1 = -4. Let p be 2 - 2 - (3 + -3)/w. Solve 0 = -j + n - 1, 3*n + p - 2 = 2*j for j.
-1
Let m = -3220 - -3229. Solve -c - 5 = -5*v + 8, -m = -5*v + 3*c for v.
3
Let y(f) = f**3 - 7*f**2 + 3*f + 6. Let k be y(6). Let c be (k - (-14 + 7)) + 7. Solve u - 2 = 0, 3*d - c*u = 6*d + 11 for d.
-5
Let n(j) = j**3 - 15*j**2 + 15*j - 8. Let l be n(14). Let q be (8/(-12))/(l/279). Let o = 37 + q. Solve g - 2*t + 8 = 0, g + 23 = o*t - t for g.
2
Let v = 261 + -785. Let b = -522 - v. Solve w = -4*m - 21, 3*m + 2*m = -b*w - 27 for m.
-5
Let i be -1*(-3 + (-3 - -1)). Suppose -i*w + 16 = 6. Suppose -5*l - w*r = -14, 0 = 3*l - 3*r - r + 2. Solve 4*c + 2*m = -12, 4*m - 15 = 3*c + l*c for c.
-3
Suppose -y + 36 = -2*l + 30, 0 = -5*y - 5*l + 105. Let t be 6 - 2/1*1. Solve m = z, -m = -t*z - z + y for z.
4
Suppose 0 = 231*c + 223*c - 449*c - 10. Solve -2*a + 0*a - 6 = -c*i, -3*i = -5*a - 7 for a.
1
Let u(c) = -2*c + 18. Let d be u(-6). Suppose -10*v + d = -5*v. Solve v = -a - 4*l - 11, 0 = -a - 3*l - 13 for a.
-1
Suppose -h + 7*h = 12. Suppose -32*s + 39*s + 21 = 0. Let c be (-4 - -7)/3 - s/1. Solve 0 = -h*m, 2*g - g - 1 = -c*m for g.
1
Suppose -7*q + 30*q = 7061. Suppose 20*x = -107 + q. Solve 3*f = 5*f - 4*c + 26, -5*f - x = c for f.
-3
Let k = -16 - -11. Let l(g) = 22*g - 27. Let t be l(k). Let d = -132 - t. Solve 0 = -v + 7 - 4, 11 = -4*x + d*v for x.
1
Suppose 201 - 209 = -4*w - 2*u, 3*u = 4*w - 28. Solve -70*b + 75*b = 5*n, w*b = -5*n - 18 for b.
-2
Let d(r) = 4*r**3 + 5*r**2 + 4*r + 3. Let q be d(-1). Solve 8*f - 4*f - 4*p + 4 = q, -2*f - 3*p = 22 for f.
-5
Suppose 0 = -h + 3*o - 8, 26*o - 31*o = h + 16. Let v be (-500)/(-275) + (-2)/h. Solve -2*m - v = -2*z - 5*m, 0 = -5*z + 5*m + 30 for z.
4
Let d be (((-567)/(-14))/(-27))/(2/(-4)). Solve d + 6 = 3*b + o, -4*o - 49 = -5*b for b.
5
Let l = -78 + 70. Let w be (-16 - -15)*l/2. Solve 4*a = s + w*s + 25, 0 = 5*s + 5*a + 25 for s.
-5
Suppose -2*j = j + 9. Let w be -4 - (-4 - j) - 16/(-4). Let h be 9 + 5/(-1) - w. Solve -h*u + 4*y + 15 = -4*u, 30 = 4*u - 2*y for u.
5
Let p = 1960 - 1960. Solve 4*l - 3*i = 2 - 21, p = -l + 5*i - 26 for l.
-1
Let s(w) = -w**3 - 20*w**2 - 91*w + 9. Let a be s(-7). Solve 7*m - 11*m - f = -a, -2*m + 2*f - 8 = 0 for m.
1
Suppose k + 7 = -74. Let z = 121 + k. Let t = z + -38. Solve 0*b - 4*b - 8 = 0, t*c + 4 = 2*b for c.
-4
Suppose 18*w - 23*w = -315. Let h be ((-12)/(-7))/(6/w). Let t be 0 + (-2)/(-2) + 21. Solve g + 5*z = -t, -h = -g + 3*z - 0*z for g.
3
Let r be 6 - 1/((-2)/(-4)). Suppose 5*u - 61 = -36. Let d be (-24)/u*(1 - 13/3). Solve 0 = -4*z - r*j + 12, 0 = -0*z - 3*z + 2*j - d for z.
-2
Let c(a) = a - 9*a + 7*a**2 - 8*a**3 + 9*a**3. Let q be c(-8). Solve -l = l - k - 1, q = 5*l - 3*k - 3 for l.
0
Let u = 189 + -148. Let h = -54 + 17. Let a = u + h. Solve 4*n = j - 13, n + 3*n + a = 4*j for n.
-4
Let y(x) = -5053*x + 20216. Let p be y(4). Suppose -2*i + 4 + 2 = 0. Solve v + c = -2*v + 16, -i*v - p*c = -19 for v.
5
Suppose 0 = -10*a + 5 + 29 - 4. Solve 0 = 4*o + 5*t + 5, -a + 1 = 3*o + 2*t for o.
0
Suppose 6*s - 112 + 4 = 0. Suppose 150 = 4*q - s. Solve -4*b - q + 16 = -2*l, -l + 5*b + 25 = 0 for l.
5
Let w(t) = -9*t + 49. Let v be w(5). Let c be (v/10)/(1 - (-44)/(-55)). Solve -c*u = -p, p + u - 4*u = 0 for p.
0
Let g(v) = 5*v - 14. Let w be g(3). Let m be 2 - (-4)/(-3)*(-4 + w). Suppose 12 = 3*a + m. Solve -a*t = 3*t + r - 22, 0 = 4*r - 8 for t.
4
Let v be (1/2)/((-5)/(-110)). Let a = v - 7. Let y = -1883 + 1887. Solve 5*b + y*u - 20 = u, 5*b + 15 = a*u for b.
1
Suppose -17*x + 46389 = -26*x + 150*x. Solve 0 = -5*h - 5*v + 25, 332*v - 9 = -h + x*v for h.
3
Suppose 3*k - 2*k + 59 = -m, -4*m = 0. Let o = k - -64. Suppose 2*r - 2*z = -2 - 2, -3*r - o*z = -26. Solve -2 = 2*q + 4*x, r*q - 2*x - 5 = -13 for q.
-3
Let q(s) = s**2 - 18*s + 34. Let o be 13 - -1 - (-13 - -10). Let c be q(o). Solve 0 = 4*w + u - 0 - 3, -w + 3*u + c = 0 for w.
2
Let y = -381 + 489. Suppose -3*u - 12 = 0, y*v - 113*v - 5*u = 0. Suppose 2*n - 4 = -0. Solve 3 = v*g + q - n*q, -q + 6 = 5*g for g.
1
Suppose 18*x = -2*x + 9160. Suppose -29*u = -x - 122. Solve 12 - 4 = -r - 3*j, 5*j + u = 5*r for r.
1
Let t(h) = -10*h - 226. Let a be t(-23). Let j(m) = m**2 - 4*m + 5. Let n be j(a). Solve 3*z + z + 15 = n*d, -5*d + 3*z = -15 for d.
3
Suppose 4*a - 4*q = 44, a = 14*q - 10*q +