a - 3 - 1 for u.
-3
Let i(p) = 30*p - 254. Let x be i(22). Let b = x + -401. Solve y = -g - 5, 2*g + b*y = 4*g - 4 for g.
-3
Let d be 70/(-126)*-9 - (2 + -9)*5. Solve -20*g = 5*o - 24*g + 1, 2*o + 5*g = -d for o.
-5
Let h = 314 - 298. Suppose -3*p = -3*m - 12, -3*p - p - 4*m + h = 0. Solve 5*f = -x + 16, p*f = 3*x - 7*x for f.
4
Suppose 8*j - 655 + 193 = -13*j. Solve 0 = 2*u - 5*p + 31, -u + j = -5*u + 2*p for u.
-3
Let z(v) = -v**3 + 5*v**2 - 4*v + 1. Let b be z(3). Suppose 26 = b*i + 5. Suppose i*f + 0*f = 9. Solve 4*l - f*s - 13 = 0, 4*s + 0*s + 12 = 4*l for l.
4
Suppose 0 = i + 2*h + 126, -92*h + 95*h + 514 = -4*i. Let b = i + 134. Solve -4*x - 10 = 5*t, 10 = -x - t - b*t for x.
0
Suppose -7*d = -5*d - 4. Suppose -53 = -2*l - l + x, -2*l + 42 = -d*x. Suppose 3*f = -1 + l. Solve 0 = c + r - 3*r - 4, 0 = -f*r for c.
4
Let u(a) = 2133*a - 4250. Let m be u(2). Solve -5*h = -2*o + 21 + 12, 4*o - m = 0 for h.
-5
Let g = -1942 - -1967. Solve 5*p + g = 0, 3*y + 1 = -4*p - 4 for y.
5
Suppose -5 = -2*w - 0*w + 3*s, 5*w + 5*s = 25. Suppose 0*f = 2*z - w*f + 8, f = 5*z - 7. Suppose 0 = -z*n - 3 + 13. Solve -2*y - y = -p + 9, -n*y = 20 for p.
-3
Let d = -239 + 187. Let p = -27 - -82. Let o = d + p. Solve o*g - f = -7, 0 = -3*g + 2*f + 1 - 9 for g.
-2
Let q be -257 - (-6 - (0 + -1)). Let d be 12/q*-9 - (-32)/7. Solve 3*j - d*k - 13 = j, 5*j = 4*k + 7 for j.
-1
Let l(o) = -o**2 - 12*o - 30. Suppose -j + 61 - 68 = 0. Let p be l(j). Let z = 7 - 5. Solve 0*y - 25 = z*u - p*y, 2*y - 11 = u for u.
-5
Let h = 154 + -71. Suppose -11 + h = 9*q. Let b(l) = 2*l. Let v be b(q). Solve i - f = -4*f + v, -f = -5*i for i.
1
Suppose -4*n = -17 + 85. Let k be (-17 - n)/(-1*(0 - 3)). Solve 2*s - 2 = k, 0 = q + 4*s + s - 8 for q.
3
Suppose 10 = -20*g + 50 - 0. Let q = -16 + 18. Let s(z) = -z**3 - 6*z**2 - 6*z. Let v be s(-5). Solve g*k = -v*i - k - 24, q*k = 3*i + 3 for i.
-3
Let f be (-12 - -8)/4*(0 + 0). Let u be f/((-18)/63*-7). Solve r - 7*g + 2*g - 5 = u, r - 2 = 2*g for r.
0
Let v = 13518 + -13515. Solve u + 0 = 2*r + 12, v*u - 6 = 0 for r.
-5
Let a be (4 - 7)*(2 + (-5 - 2)). Solve -3 = -h + 5*l - 6, -4*l + a = -5*h for h.
-3
Suppose -15*o + 76 + 104 = 0. Suppose -22*d - o = -24*d. Solve -4*b + 3*l - 32 = 0, -3*b + d*l - 3*l = 27 for b.
-5
Suppose i - 2*t - 14 = 0, 4*i - 5*t = -5 + 46. Let a be 2/i - (1 + 3/6). Let d be (a - -3) + 5 + (0 - 3). Solve -12 = -d*j + j + 3*l, 27 = 5*j + 2*l for j.
5
Let j(h) = -h**3 + 40*h**2 - 277*h - 14. Let o be j(9). Solve -3*v = -4*d + 5, -2*v - 10 + 0 = -o*d for d.
5
Suppose -10*f = 3*f + 1690. Let r be 10/(-4)*13/(f/24). Solve -2*k + r = 3*j, 5*k + 8 = 5*j - j for k.
0
Let f be (-36)/((-6)/1)*3/6. Let l(s) = 15*s - 23. Let w be l(f). Solve -3*u + 6 = -3*h, -w = 3*h + 2*h - u for h.
-5
Let p = 33 + -29. Let r = 1099 + -1099. Let y = 1 + 2. Solve -7*h + 20 = -5*h + p*t, r = -y*t + 9 for h.
4
Suppose 2*f - 8 = r, -f - 3 = -15*r + 11*r. Suppose -2*s + r + 7 = -3*t, 0 = -5*s - 4*t + 11. Solve 2*q + 10 = -p - s*p, 24 = 4*q - 3*p for q.
3
Let y be -1 - (-3*30/18 - -2). Solve 0 = -y*j + 5*v + 1, 0 = j - 0*v - 2*v for j.
-2
Let s = 3441 - 3438. Solve 3*a + c - 12 + 14 = 0, s*a - 2*c = 4 for a.
0
Let z = -215 + 368. Let g = -219 + z. Let i = g - -71. Solve 0 = v + 4*t + 22, 13 = v - 4*t - i for v.
-2
Suppose -18*v + 43 + 227 = 0. Solve -3*j + 3*o - 3 = 0, -20*j = -v*j + 2*o - 2 for j.
0
Let b(w) = w**3 + 34*w**2 + 23*w - 326. Let v be b(-33). Solve -v*n - 5 = -3*z, n - 66 = 4*z - 64 for n.
-2
Let c be 94/((-3040)/(-475) + 1*6/(-1)). Solve 233*w = -p + c*w - 17, 0 = -4*p + w - 26 for p.
-5
Let u(q) = 3*q**2 - 95*q + 237. Let g be u(29). Solve -2*z - 32*o + 13 = -35*o, 2*z - g*o = 15 for z.
5
Let x be ((-26)/(-18) - 56/126)*0. Solve -6 = o + 2*k, 3*k + x*k - 5 = -5*o for o.
4
Let w(g) = 2*g**2 - 39. Let j be w(5). Solve 5*n = p + 12 + j, 0 = -4*p + 2*n - 20 for p.
-3
Let c(o) = 12*o - 22. Let h be c(2). Suppose 3*f - 5*f - 2 = -h*w, 0 = 5*f - w - 15. Let r = -10 + 14. Solve f*a + 6*l - r = 4*l, -3*a - l = -5 for a.
3
Let v(i) = -i**2 + 6*i - 2. Suppose 23*z = 20*z + 18. Let l be v(z). Let q be l/(3/9*-3). Solve -g = -2*o - 8, -o + 4*g + 4 = -q*o for o.
-4
Let k(z) be the first derivative of -7*z**2 - 25*z - 9. Let q be k(7). Let l be -1*((-1)/(-2) + q/6). Solve 5*i + 0*r - 18 = -2*r, 2*i + 4*r - l = 0 for i.
2
Suppose -x - 2*r + 8 = 0, 38*x = 33*x + r - 4. Solve -12 = 2*n - 4*i, -n - 3*i + 14 - 5 = x for n.
0
Suppose l + 3*g + 2*g - 48 = 0, -l + 32 = g. Suppose l = -u + 5*u. Suppose 0*c - u*c + 182 = 0. Solve -4*z - 4*o = 24, -c = 3*z + 5*o - 2 for z.
-3
Suppose 23*n - 33*n - 38*n + 48 = 0. Solve n = -4*w - 3*g - 5, 5*g - 13 = w for w.
-3
Suppose 5*w - 2*w + 38 = g, 0 = 4*g + 2*w - 194. Suppose 0 = -3*m + g - 20. Solve -v + 2*h = 1, 3*v + m = -v + 3*h for v.
-3
Let k be (-3 + 5)/(1/9). Suppose 2*g + 5*l = k, 4*g + 5*l - l = 24. Solve 3*x + 0*x = 4*s + 1, -4*x + 4*s - g = 0 for x.
-5
Let q be 1/6 - ((-5895)/(-54))/(-5). Suppose -o - 5 = 0, 7 - q = 5*a + 5*o. Solve -21 = -5*t + 3*s - 10, 0 = -5*t - a*s + 26 for t.
4
Let c be 2 + 395/3 + (-4)/6. Let r = -129 + c. Suppose 0 = -2*m - 2*b + 10, 0 = r*m + 2*b - 3*b - 15. Solve -3*z - 5*n = -2*n - 15, -2*z - 20 = -m*n for z.
0
Let v(k) = 7*k**3 + 3*k**2 - 8*k + 3. Let a be v(1). Solve 5*o - 5*f + a = 0, 8 - 3 = -5*o - 5*f for o.
-1
Suppose 24*c - 96 = 20*c. Suppose -15*k + 9*k + c = 0. Let t be (2 - -12) + (4 - k). Solve -5*o - 2 = -d - 2*o, 2*d + t = -3*o for d.
-4
Suppose 5*k - 2 = 4*d, -2*d + 3*k - 13*k + 24 = 0. Let q = 4 + -4. Let r = q + 4. Solve 2*g + r*j - d*j - 12 = 0, -17 = -4*g + 3*j for g.
5
Let l be 2 + (-268)/(-16) + -2 - 225/300. Solve 20*b - 18*b + 5*o + l = 0, 3*b + 7 = o for b.
-3
Suppose -5*w + 1205*a - 1210*a = 5, 2*w + 20 = -5*a. Suppose -3*q - 45 = -3*c, -4*q = -15 - 1. Solve c = -5*k + 3*g, -17 = w*k + 4*g + 16 for k.
-5
Let r = 3224 + -3221. Solve 3*s + 2*m = 7 - 26, 4*m + 11 = r*s for s.
-3
Suppose -6*w - 4 = -2*w. Let p(x) = 4*x + 2. Let r be p(w). Let o be r - 1/(2/(-8)). Solve -2*d + 6*d - o = -2*s, 0 = 3*s - 2*d - 19 for s.
5
Let b = 957 - 553. Suppose 400*q - b*q + 88 = 0. Solve -p - 3*u = -14, -p - 7*u = -2*u - q for p.
2
Let u(q) = q + 25. Let l be u(-16). Suppose -9 = -l*b + 6*b. Suppose -j = -2*y, -4*j + 8*j = b*y. Solve -3*m = -3*i + 3, -7 + y = 3*m - 5*i for m.
1
Suppose 31*f = 713 - 93. Solve -3*m - 4*h = -10 + f, -4*m - 7 = -h for m.
-2
Let n = 310 + -265. Suppose n = -14*c + 101. Solve -5*z - 14 + c = 0, 0 = -2*o + 3*z + 16 for o.
5
Let d(n) = -n**3 - 5*n**2 + 14*n + 86. Let x be d(-9). Let r = x - 279. Solve 0*b + 3*b + r*z = 15, 2*b - 10 = 5*z for b.
5
Let m(z) = z**2 - z - 5. Let l be m(-3). Suppose -5*k + 3*q = -21, l*k = 3*k - 4*q + 4. Solve 3*w = -3*d - 9, k*w + d + 11 = -0 for w.
-4
Suppose -370*d + 359*d - 1 = -1. Suppose 0 = 4*f + 2*f - 30. Solve d = -f*b + 5*h + 5, -6*h + h = -4*b + 4 for b.
1
Suppose 12*w + 148 = 4. Let y(k) = -k - 9. Let t be y(w). Let d be t + (-3)/(-3) + 0 + -1. Solve -d*q = 3*l - q - 7, 5*q + 45 = 5*l for l.
5
Let w = 7099 + -7096. Solve -w*i - 9 = 0, 18*x - 13*x + i = 27 for x.
6
Let m be 5 + (2 - 6) + 0. Let a(l) = l**3 - 9*l**2 - 10*l + 7. Let i be a(10). Suppose 0 = -i*o + 14 + 21. Solve o*b - w = -0*w + 23, -m = -b - w for b.
4
Let b(k) = k**3 - 5*k**2 + 7*k - 8. Suppose 1 - 21 = -5*v. Let x be b(v). Solve 0 = 2*r + 2*a - 4, -5*a + 1 = -x for r.
1
Let j(s) = -s**2 - 4180*s + 12. Let k be j(0). Suppose -3 = 5*x - 18. Solve 2*y - 8 = 2*w + 6*y, -k = x*w + 2*y for w.
-4
Suppose 64*y - 65*y - 3 = 2*n, -5*y = -3*n - 37. Solve -2*i = -4*h + 10, 4*i - 3*h = -y*h + 20 for i.
3
Let z(s) = s**2 + 57*s + 434. Let r be z(-48). Solve 0 = -3*w + r*f + 19, 3*w - 2*f - 25 = 3*f for w.
5
Let v be -6 - (-17 + -5)/1. Suppose z - 2*z - 3*p - 2 = 0, -5*z - 2*p + v = 0. Solve q = -0*q - 2*j - 12, 5*q + z*j = -36 for q.
-4
Suppose -90*z + 1264 = -1436. Solve 5*s + 19 = -34*c + z*c, 0 = -2*s + 2*c - 4 for s.
-3
Suppose -5*v + 24 + 66 = 3*w, -2*v = -5*w - 67. Suppose v*a - 1 = 440. Solve -8 = -5*q + r + a, -2*r = 8 for q.
5
Suppose -5*o - 195 = 510. Let b = o - -143. Solve b*q - 8 = -2*a, q - 6*a - 7 = -4*a for q.
5
Let q(t) = -432*t + 4345. Let j be q(10). Solve b + 4 = 3*h, -j*b + 7 = 4*h - 28*b for h.
1
Suppose 0 = -2*o + 3*i - 678, -3*o + 4*i