40, i + 9 = 4*t - 4*i for t.
-4
Let l = 3 + 0. Let b = -278 - -280. Suppose 12 + 3 = 5*m. Solve -2*g + h + m*h = -b, l = 3*g + 5*h for g.
1
Let t be 12/2 - (413 + -436). Solve -2*z + 33 = -g + 22, -3*g - t = -5*z for z.
4
Suppose -4*s + 4 = 0, 13 = -4*y - 5*s - 2. Let o be (-1 + (-4)/(-4))*(-5)/y. Solve -k + 17 = 3*p, -p = -o*p - 4 for k.
5
Let b = 4119 - 4114. Solve 0 = -4*f - b*d - 6, -31*f = -32*f - 4*d - 7 for f.
1
Suppose -62 = -2*b + 4*b + 2*k, -3*b = 5*k + 83. Let d be 2/(4 - b/(-10)). Let q be d/(-1 + -4)*0. Solve 5*t = f - 8, 1 = 2*t + f - q for t.
-1
Let t be (991/9910)/(-2*(-2)/40). Solve 13*h - 12 = 4*k + 9*h, -3*k = 5*h + t for k.
-2
Suppose 0 = -x - 5*a - 11, 111 = -4*x + 5*a - 58. Let m = x + 39. Solve 3*f - j - 11 = m*j, 0 = -3*f - j + 16 for f.
5
Let k be 2938/8 - (-1)/(-4). Let w = -366 + k. Solve -11 = -f - 3*p - w, -3*p = -2*f - 25 for f.
-5
Let y(c) = -c**3 + 23*c**2 + 56*c - 150. Let o be y(25). Solve o = -q - 5*h + 4*h - 8, -4*q - 4 = -3*h for q.
-4
Suppose -3*l = -4*d + 1095, 4*d - 1101 = 3*l - 2*l. Let r = d + -192. Let k = 91 - r. Solve 0 = -3*j + q - 1, -4 = -k*q + 3*q for j.
0
Let f(c) = 4*c - 45. Let p be f(12). Let a be 6 + (-20)/5 + 9/p. Solve -20 = -5*z + 5*l, 0*l - l = a*z - 20 for z.
4
Suppose 20*m - 21*m = -2. Let i(s) = -3 - 12*s**2 - 5*s + 4*s**2 - s**m + 8*s**2. Let x be i(-3). Solve 34 = -3*z - 5*d, 0 = 4*z + x*d + 2*d + 37 for z.
-3
Suppose c + 5*r = -6, 2*r + 0 = -6. Suppose -u + 3 = -3*x, 0*x + 3*u - c = x. Solve 3*p = w - 7, x = -2*p + 5*w - 4*w - 4 for p.
-3
Suppose 5*i + 65 = -5*w + 55, -4*i + 5*w + 46 = 0. Solve 0 = -2*s + 4*h - i, 3*s + 2 = -0*s + 5*h for s.
6
Let l = 308 - 312. Let a be -5 + 3*(l + (-74)/(-6)). Solve -4 = 2*j - 2*r, -4*r + 4 = 2*j + a for j.
-4
Let l(k) = -k**3 - 6*k**2 + 9*k + 5. Let t be l(-9). Let j = t - 162. Solve 0 = -q - 5*u + 19, -j*u = 4*q - 15 - 16 for q.
4
Suppose -2*w + 30 = -4*h, -2*w + 9 = 3*h + 21. Solve 2*l + 5*j = -w*l - 30, 3*j = 3*l + 12 for l.
-5
Let t(d) = -d**3 + 56*d**2 + 50*d + 403. Let r be t(57). Solve 25 = -0*a + a + 4*c, -3*c = -r*a + 5 for a.
5
Let s be 2*1/2*17. Suppose 36*a - 42*a + 432 = 0. Let m be ((-3)/a*-8)/((-1)/(-9)). Solve -m*p + 2*j = 6*j - s, -5*p + 10 = 3*j for p.
-1
Let a(n) be the second derivative of -n**5/20 - n**4/3 - 2*n**3/3 + n**2 + 215*n. Let j be a(-2). Solve j*u = -g - 4, 3 + 1 = 5*g + 2*u for g.
2
Suppose -26*l = -34*l + 32. Solve l*w + 30 = -5*y, -4*w + 2*w = -2*y + 6 for w.
-5
Let n be 5 - (-7)/(-3)*66/154. Solve 4*c + 129*z - 128*z = 21, 5*c = n*z + 21 for c.
5
Let j be (-885)/(-59) - (2 + -1). Solve -5 = d - t, -d + j*t = 15*t + 3 for d.
-4
Suppose 4*h - 12 = -2*f, 0 = 2*h - 3*f + 9 - 7. Solve 3*k + 7 = -2*b, -123*b - h*k + 4 = -126*b for b.
-2
Let o be 70/3 + 5/3. Solve 5*s + o = -5*x, -s + 4*x - 15 = 2*s for s.
-5
Let x = -18 + 22. Suppose -3*m - y = -14, 0*m - 22 = -x*m - 3*y. Suppose -3*z + 0*z + 36 = 0. Solve -m*s = 4*v - z, -5*v - 3 - 2 = 0 for s.
4
Let p(v) = -11*v - 206. Let i be p(-19). Solve -5*c + 24 = i*j, j + c = -0*j + 6 for j.
3
Let p be (-5 - 174/(-30))/(-5*(-2)/200). Solve -2*s + 2*a - 10 = -0*s, 4*s - p = -5*a for s.
-1
Let k(g) = g**2 - 7*g - 13. Suppose -27*l + 16 + 227 = 0. Let c be k(l). Solve -3*b - 2*b + 17 = 4*r, -c*r = -3*b - 12 for r.
3
Let n = -20 - -31. Let h = n + -15. Let x be 4 - (h - -3)*2. Solve -4*u = 2*d + 8, 12 = -5*d - 8*u + x*u for d.
-2
Suppose -37*k = -59*k. Solve k = -3*b - 6, -3 - 1 = 3*t + 5*b for t.
2
Let o be (1/(-4) + 2/8)/(323 - 325). Let t be (25 - (1 + 0)) + -2. Solve -5*s - 20 = -3*w, o = 2*w - 7*w - 3*s + t for w.
5
Let c(a) = 4*a**3 + a**2 + 1. Let v be c(3). Let x = 120 - v. Solve 0 = 2*w + x*w - 3*f - 7, 1 = -f for w.
1
Suppose -5*s + 25 = a, 3 = 4*a - s + 8. Let o(c) = 5*c**2 + 63*c + 40. Let d be o(-12). Solve a = 3*v + d*m + 3, -5*v - 40 = -2*m - 9 for v.
-5
Suppose 1649*w - 1644*w = c + 26, 2*c = w + 2. Solve 0 = -5*o + c*h + 32, 4*o - 10 = -h + 3 for o.
4
Suppose t + 8 + 5 = 3*p, 2*p + t - 17 = 0. Suppose -2*c + v + p = 2*v, 2*c + 3*v = -2. Let f = 76 + -67. Solve -5*n = c*h - 30, 2*h + f = 3*h + 2*n for h.
3
Let m be (-860)/(-20) - 1*-5. Suppose 3*d + 249 = -3*j + m, -4*j - d - 253 = 0. Let n = 64 + j. Solve -4*h - n*x + 4*x - 28 = 0, -4*x + 6 = 2*h for h.
-5
Suppose 16*j = 10*j + 7*j + 10*j. Let x(p) = 2*p**2 + 3*p. Let b be x(-2). Let o be (-5)/(-10) + 11/b. Solve -v - 5*a - o = j, 0*a - 2*a - 7 = 5*v for v.
-1
Suppose 3*i = 6*i. Solve i = -4*p - 5*w + 25, 3*w - w - 10 = 4*p for p.
0
Suppose 0*b = b + 2*b. Suppose -4*s + 3*d + 0 + 50 = 0, 0 = -5*s + 3*d + 64. Solve -j - 4*o - o - 20 = b, s = -4*j + 2*o for j.
-5
Suppose 618 = 127*u + 90 + 20. Solve -2 = u*z - n, -3*n = -7*z + 9*z + 8 for z.
-1
Let q = -507 - -530. Suppose -9*i + 40 = -q. Solve 5*z - i*z = 2*g + 8, z + 2*g = -6 for z.
-2
Suppose -2*y + 75 = 3*y. Let s be (-792)/(-63) + 48/(-84). Solve -3*a - 4*v = s, 3*v = -a - 2*v - y for a.
0
Let z(l) be the first derivative of -l**3/3 + 8*l**2 - 14*l + 30. Let a be z(11). Let k = a + -20. Solve -k = 2*q + 2*h - 7*h, -3*q - h + 11 = 0 for q.
2
Suppose 5*j + 59 + 216 = 0. Let u = -51 - j. Suppose u*y - 40 = -40. Solve 2*i - m + 3 = 0, y = -2*m + 4 + 2 for i.
0
Suppose 0 = 2*g + 3*k - 20, -5*g - 36*k = -38*k - 12. Solve -3*s + 15 = 4*w, g*w = 3*w - s + 4 for w.
3
Let w(y) = -45*y + 138*y - 44*y - 46*y - 20. Let h be w(8). Solve -21 = 5*o + i, 0*i - h*i + 16 = -5*o for o.
-4
Let f be ((-902)/(-205))/((-6)/(-15)). Solve 0 = 2*o - 2, 0 = -2*j - 4*o + o + f for j.
4
Let u be 135/9*5/((-45)/(-12)). Suppose 19*d = u + 37. Solve 0 = -4*z + 6 + 2, -3 = -f - d*z for f.
-3
Suppose -12*q + 323 = -157. Let k be (q/(-70))/(4/(-14)). Solve 2*c + 4*u - 19 = 5*c, -k*c = 2*u + 8 for c.
-5
Let o be 2 - (-23)/(-4*2/(-56)). Let g = 166 - o. Solve -p = -x, -g*p + 2*x - 5 = -0*x for p.
-5
Let k(c) = -17*c + 63. Let p(x) = 16*x - 64. Let w(b) = 2*k(b) + 3*p(b). Let d be w(5). Solve 0 = 2*r - 3*r - g + d, -4*g = -3*r + 5 for r.
3
Let u be (-4)/(12/(-1041)) - (22 + -17). Let h = u + -340. Solve 4*b + g = 0, b + 3*g = h*b - 13 for b.
1
Suppose r + 70 = 2*f, 0 = -5*f + 123*r - 118*r + 195. Solve -8 = 3*d + d + 4*a, -f = 5*d - 2*a for d.
-5
Suppose -3*w - z = -57, -3*w - 2*z + 18 + 36 = 0. Suppose -w = -4*v - v. Suppose -n = -v*n + 12. Solve 0 = -n*l - 4*g - 8, 0*g + 6 = -2*l - g for l.
-4
Let m(d) = 2*d + 9. Let s = 11 - 14. Let c be m(s). Suppose -2*n - 3 = -4*g + 11, -c*g = 4*n - 38. Solve 2*l = -0*p + 3*p - g, 3*l = p - 9 for p.
0
Suppose -35*t = -10*t - 250. Suppose 49 = t*h - 31. Solve -x - h = 3*c + c, -2*x + c + 11 = 0 for x.
4
Let t be ((-207)/36 - -6)/((-2)/8). Let j be t/2 + 66/4. Suppose 5*m - 3*y = 13 + 21, 4*y = -4*m + 8. Solve 3*i = -m*r + 2*i - 8, 4*r + j = -4*i for r.
-1
Let j = -10 + 15. Suppose -j*w = 3*v + 16, -2*w - 10 = 2*w + v. Let r be 1/((w/(-14))/(4/7)). Solve 0*i - 5*i + 5*c = -45, -r*c - 16 = i for i.
4
Suppose -38*k = -191*k + 459. Solve -16*w - 4*q - 4 = -20*w, 0 = -4*w + k*q + 2 for w.
-1
Suppose 3*s - 4*g = 97, 34*g + 112 = 3*s + 33*g. Let k be 192/s - (-1)/13. Solve -3*w + 7*w + 4*m = 0, -k*w + 18 = -4*m for w.
2
Let d be 0*(5 + -8 - -4). Let j be (-4)/(8/6)*(-63)/27. Solve -b + j = -2*g - d*b, g + 5*b = 13 for g.
-2
Let f be (-4)/(-9) - (-1176)/756. Suppose -l - 6 = -8. Solve -f*v + 4 = -c, 9 = 4*c + l*v + 25 for c.
-4
Let r be ((-279)/(-31) - 27)*(-1 - 7/(-9)). Solve -234*f - 5 = -235*f + r*x, 0 = -2*f - x + 1 for f.
1
Suppose 0 = -4*v - 4*f - 4, 5 = -5*v - f + 12. Let p be (3*9)/((-33)/(-44)). Suppose 0 = -7*j - 5*j + p. Solve v*s + j*b = 5*s - 6, 0 = 4*s - 5*b - 5 for s.
5
Let j = -50 - -55. Suppose -s = 1, 0 = j*p - 8*p + 4*s + 22. Solve -2*y + k = 1, -y - k = 2*y - p for y.
1
Let k be -2*(-1 - 1 - 2). Let l(s) = -3*s + 4. Let w be l(0). Suppose w*g = 6*g + 2*x - k, 4 = 3*g - x. Solve -c = -g*u + 8, -2*c - 2*c = -8 for u.
5
Let q = 47 + -35. Suppose -q = -3*f - 2*k, 0*k + 7 = 5*f - k. Let d be f*(-10)/(-4) - 0/(-1). Solve -d*o = -o + 3*a + 19, 2*a + 6 = -o for o.
-4
Suppose 4*r + 309 = 3*g - 102, 0 = 3*r + 9. Suppose -83 = -12*c + g. Solve -c = -4*q + 2*f, 0 = 5*q + f - 4*f - 23 for q.
4
Let r(k) = -k**2 + 15*k + 48. Let a be r(17). Suppose -145*j - a = -152*j. Solve -j*d + 8 = -t, -20 = 2*d - 7*d + 4*t for d.
4
Suppose q - 27 = 2*x, -3*q + 1434*x