t s be v(j). Let u be s + 4 - (0 + -1). Solve b = 3*k - 8, -k - u = -2*b - 2*b for b.
1
Suppose -20 = -3*b - u, 3*b - 40 = -2*b - 3*u. Suppose 3*h - 5*n - 19 = 0, 2*h - 403*n - 12 = -400*n. Solve -5*i + b = v + 25, -h*i = 3*v for i.
-5
Let n(f) = f + 32. Let h be (-208)/(-15) - 18/(-135). Let a be n(h). Let s = -42 + a. Solve 0 = s*l + 2*i - 5*i - 20, 0 = -2*l - 2*i - 4 for l.
2
Let i(d) = 287*d**2 - 1. Let k be i(-1). Let a = k - 281. Solve -a*s + 25 = -3*z, -3 = 2*z + s - 8 for z.
0
Suppose -45*h = 53*h + 107*h - 20*h. Solve h = -5*t + 9*t + x - 20, -5*t = x - 25 for t.
5
Let r(j) = -j**2 + 7*j - 2. Let g be r(6). Suppose 19468*o - 9737*o + 15 = 9734*o. Solve -n = -g*m, 0*n + 3*m = -o*n - 23 for n.
-4
Suppose -5*f - 3*y = -16, 186*f + y + 28 = 191*f. Suppose x - 25 = -0*x. Solve -p + f = -t, 0 = 2*t + 5*p - 0*p - x for t.
0
Let t(z) = z**3 - 12*z**2 + 14*z - 31. Let x = -228 + 239. Let a be t(x). Solve 2*j - a = -w, -j - 2 = 5*w - 3 for j.
1
Let q(p) = -p + 4. Let b be q(-6). Suppose 5*n - 22 = -o + 8, n + o - b = 0. Let x = 10626 - 10625. Solve n*l = 3*t + t + 5, -l = -x for t.
0
Suppose 21 = 2*l + 3*c, 4*l + 161 = -5*c + 200. Solve -i - 2*b + 7 = 0, 10*i = 12*i + 2*b - l for i.
-1
Let h = 20121 - 20121. Let y be (-6)/(-18) + (-8)/(-3). Solve -2*f + 7 = y*f + 3*m, -5*m - 5 = h for f.
2
Suppose -24*b - 39*b - 64*b = -254. Solve -5*j = -y + 11, -6*y + 8*y + 14 = -b*j for j.
-3
Suppose -2 + 2 = 10*v. Let p(b) = 3 - 12*b + 18*b + 2*b**2 - 4 - 11*b. Let q be p(4). Solve 3*x - 5*d + 15 + 3 = 0, 5*x - 2*d + q = v for x.
-1
Let k = 57 + -58. Let z be k + 22 + -1 + 7. Solve -2*x - 3*r - r = -4, 3*x = 5*r - z for x.
-4
Let u(b) = -3*b**3 + 332*b**2 + 111*b + 3. Let a be u(111). Solve 2*q - 5*m = 6, q - 81*m + 76*m - a = 0 for q.
3
Suppose 5*m - 7 = -4*w - 11, -3*w - 3*m = 3. Let q be (1 - w/(-2))/(27/162). Solve -3*b + 4*d = 20, q*b - d + 0*d = -14 for b.
-4
Suppose 4*r + 3*m + 250 = 92, 3*r - 5*m + 133 = 0. Let v be r/(-410) + (-378)/(-20). Solve 2*n - v = p + 6*n, p - n - 6 = 0 for p.
1
Let p be 2 + (-7 + 2 - 1) + -1. Let b(o) be the first derivative of -2*o**2 - 15*o + 3. Let x be b(p). Solve -4 = 6*c - 2*c, -3*h + x*c + 11 = 0 for h.
2
Let h = -15212 - -15243. Solve -n + 2*t = -11, n + 4*t - 24 + h = 0 for n.
5
Let x(y) = -2*y**2 - 30*y + 20. Let r be x(-15). Let j be (4 + (-48)/r)/((-2)/(-5)). Suppose -2*d = -0*d - 10. Solve -f = -d*a, f - 24 = -j*f + a for f.
5
Let c be 3/(-9) + 51/153. Solve -l + 4*i = 12, c = 5*l + 5*i - i - 12 for l.
0
Let y = -12457 + 12464. Solve 20 = -5*d, 3*t + d = -0*d - y for t.
-1
Let s be 204/8*(-3 - 44/(-12)). Solve -s = 5*i + 26*o - 22*o, -5*i = -o + 2 for i.
-1
Suppose 8*f + 1 = 49. Suppose -f*h - 3*g + 2 = -2*h, -h - 3*g - 4 = 0. Solve -5*m - 18 = 2*b, -h*b + 2*m = 5*m + 10 for b.
1
Let b = 268 + -220. Suppose 0 = 7*m - 11*m + b. Solve 5*d - 20 = -4*g, 3*d - m = 3*g - g for g.
0
Let d = -22 - -31. Let b = -17 + d. Let w = b - -38. Solve 0 = -2*h - 0*n - 4*n - w, -4*h + 4*n = 0 for h.
-5
Suppose -6 + 16 = j. Suppose -4*d + 3*t = 14, 0*d = -2*d + 3*t - j. Let q be (d/3)/(3/((-675)/10)). Solve -q = -f - 4*f + 5*b, 5*f + 2*b = -20 for f.
-2
Let z be (10 - -4)/((-280)/(-80)). Solve -z*h - 5*b + 24 = 0, -5*h - 2*b = b - 17 for h.
1
Suppose -2 + 5 = n. Suppose 22 = 4*m - 2*t, -6 = -3*m - t + n. Let d = 3 + -3. Solve 4*r + m*c - 3 = -7, d = 4*r + 5*c + 3 for r.
-2
Let m be 60/105 - (-68)/28. Solve 5*o - 35 = -5*q, 3 - 12 = o - m*q for o.
3
Let m = 627 + -446. Suppose 154*h = m*h - 297. Let v be (1/3 + 1)*3. Solve -u - 8 = -v*x, 2*u = -0*u - x + h for u.
4
Suppose 3*j = 4 + 2. Let n be j*(9/2 + -2). Let w be 23 - ((-594)/(-22) - 10). Solve 4*r + n*a = 7, -r - 2*a = -w*r - 16 for r.
-2
Suppose -2*k - 580 = -4*n, -21*n - 2*k + 734 = -16*n. Suppose 9*g + 119 = n. Solve -g*y + 17 = 4*w, -5*y - 4*w = -3*w for y.
-1
Suppose 14*x - 15*x - 135 = 0. Let d be (108/x)/(((-3)/(-10))/(-3)). Solve i = 6*i + 10, -g + 4*i + d = 0 for g.
0
Suppose 2*k + 4 = 0, 1563*m + 56 = 1566*m + 2*k. Suppose -5 - 10 = -5*b. Solve y + 3*g - m = 0, -y + b*y - 25 = -3*g for y.
5
Suppose d = 3*j - 0*j - 533, -4*d - 708 = -4*j. Let b = j + -172. Solve 4*z + 2*u - 6 = -0*u, 3*u + b = -z for z.
3
Let g = 3969 + -3961. Solve -20 = 13*q - g*q - 5*r, 4*q + 5*r + 25 = 0 for q.
-5
Suppose 0*w + 2*w - 59 = -3*f, w - 2*f - 26 = 0. Suppose 0 = -5*u - w - 52. Let g = 35 + u. Solve 0*v = -2*d + 5*v - g, d = -4*v + 23 for d.
3
Let t(p) = -p + 6. Let c be t(4). Let q = 228 + -223. Suppose -2*d - 27 = 4*a - 39, a + q*d + 15 = 0. Solve -4 - 6 = c*m - a*x, -5*m + x = 25 for m.
-5
Let y be (-207)/12*((-2352)/(-63))/(-28). Solve -14*d + 9*d = 4*i + y, 0 = -4*i - 2*d - 14 for i.
-2
Let y(c) = 3*c**2 + 96*c - 201. Let p be y(-34). Solve -6 = 33*u - 28*u - p*j, 3*u - 3*j = 0 for u.
-3
Let m be 54/(-3) - ((-18)/6)/(-3). Let q = m - -19. Solve 5*n + q*k - 10 = 5*k, -n = -5*k - 2 for n.
2
Suppose -8 = -26*p + 34*p. Let j be 18/(-90) - p/5. Solve 2*m + 2*m - 3*w = 2, j = m - w for m.
2
Let y = -1251 + 1267. Solve -37 + 11 = -v + 5*d, v - 3*d - y = 0 for v.
1
Let k be -8*(-3 - -2 - 0). Let f = -471 + 474. Suppose -4*h + f*w + 6 = 0, 4*w = -16*h + 19*h - 1. Solve 2*z - l + 8 = -5*l, k = -z - h*l for z.
4
Suppose 66 = 83*a - 256 - 93. Solve -22 + 31 = -l + 4*s, -2*l = -a*s + 9 for l.
3
Suppose 88 = 6*z + 5*z. Suppose u = -z + 13. Let x be -2 + u + (-4 - (-3 - -2)). Solve 28 = 5*q - s, -2*q + 0*s + 3*s + 19 = x for q.
5
Suppose -18 + 30 = -3*f. Let u(p) = -2*p - 12. Let z(m) = -3*m - 11. Let g(b) = f*u(b) + 3*z(b). Let x be g(11). Solve 5 = -4*n - s, -x*s = -s + 15 for n.
0
Let k be 493/136*(9 - 1). Solve -5*s = 17*x - 13*x - k, s = 5*x for s.
5
Let f(i) = -5*i + 170. Suppose 1041 = 22*m + 337. Let l be f(m). Solve c = -2*z - l, 5*c + 10 = -0*c for z.
-4
Suppose -j - 5 = 2*v, -6*v = -j - 5*v + 7. Solve -5*s - 2*t + 37 = 9, t + 8 = j*s for s.
4
Let j(q) = -3*q - 34. Let c be j(-18). Suppose -16*g + c = -12*g. Suppose 20 = 10*n - g*n. Solve n*v + 5 = -0*v - z, -5 = 5*z for v.
-1
Let z = -238 + 232. Let l be 405/30 + -1*3/z. Solve 4*w = -b - 8, 0*b + 2*w + l = 2*b for b.
4
Suppose -34*j - 124*j + 5530 = 0. Solve -5*a + a - 2*c = 26, -3*c = 5*a + j for a.
-4
Let z = -755 - -769. Let x be (-44)/(-10) - (z/10 + -1). Solve -4*h + 0*b - 10 = -b, -x*h + 5*b = 18 for h.
-2
Let b be (-4)/14 - 360/(-84). Let g(y) = y**2 + 42*y + 249. Let r be g(-7). Solve r*i + 6 - 22 = 0, -2*i + 12 = b*p for p.
1
Let s be (-2)/(-2)*(-1 + 2). Let v be 7/((-28)/40) + s + 1. Let d be 0 + (v/(-14))/((-2)/(-7)). Solve -d*z - 3*q + 35 = 3*z, -5*z - 2*q = -30 for z.
4
Suppose -57*r = 557 - 842. Solve 0 = 2*f - 3*y + 2, -7*f - r*y + 0*y = -55 for f.
5
Let m(o) = -8*o**3 + 4*o**2 - 286*o - 288. Let a be m(-1). Suppose -f + 5*i - 21 = 0, 7 = -5*i + 32. Solve 8 = f*u + 4*v, 5*u - 3*v - a = -0*v for u.
2
Let w(y) = -3*y - 10. Let s be w(-5). Let d be -42*1/s*(-8 + 3). Suppose 78 = 4*r + 2*m, -3*m + d = r - 7*m. Solve -4*g + f = -f + r, 4*f - 12 = 0 for g.
-4
Let n(o) = o**2 - 20*o + 67. Let z be n(16). Let h be z/(-2 + 5)*(-7 - -21). Solve 4*w - h + 0 = -2*x, w = 5 for x.
-3
Let b = -10968 + 10971. Solve -4*s + 0 = -b*a - 13, 2*s - a - 5 = 0 for s.
1
Let r = -6460 + 6461. Solve 20*y - 18*y = -3*w + r, -25 = -5*y for w.
-3
Let u = 15194 - 15191. Solve z = -u*b + 1, 0 = 63*b - 62*b + 4*z + 18 for b.
2
Let o be (-3 + 1)/(-1) - 2. Let i(y) = y**3 - 6*y**2 + 10. Suppose 22 + 2 = 4*a. Let f be i(a). Solve -5*t = -o*s + s + 14, -5*t + f = -5*s for t.
-2
Let y = 144 + -148. Let k be -1 + (y - -5) + (1 - 1). Solve 0 = 3*m - 5*g - 7, 2*g + k*g = m - 2 for m.
4
Suppose 7*m + 225 = 22*m. Suppose -63*w + m = -60*w. Solve w*r + 3*c = 6, 0 = -4*r - c - 3*c for r.
3
Let q = -301 - -343. Suppose -l - 40 + q = 0. Solve l*b + 20 = 2*u + 2*u, 3*u = 4*b + 15 for u.
5
Let r be ((-80)/(-15))/(6*(-4)/(-36)). Let s be 30/75 - r/(-5). Let d be (-317)/(-7) + 2/(-7). Solve 0 = -4*p + 5*g - d, -5*p - s*g = 2*g + 5 for p.
-5
Suppose 19*c = 18*c - 142. Let j = c - -147. Solve 5*b + l + j = -0*l, -b - 4*l = 20 for b.
0
Suppose -3*p = 2*x - 6, 11*p - 3*p = x + 16. Suppose -o + v = -4, -p*o - 1 = -v - 8. Solve -o*q = 4*y + 6, -4 = 2*y - q + 4 for y.
-3
Suppose 52*b - 1288 = -456. Solve -b*w + 21*w + 15 = -5*r, 2*w + 16 = -4*r for r.
-5
Let v(j) = -8*j -