 + 3 + 2 = 0. Let w be (-1 - (5 - 3))*p. Solve -w*h + t = 5*t + 16, 4*h = 5*t + 20 for h.
0
Suppose 0 = -s + 2. Suppose 25*i - 21*i = -2*a + 4, -4*a + 14 = 2*i. Suppose 33*u = 6*u + 135. Solve a*n - s = -b + 16, u*b - 5 = -3*n for n.
5
Let t(o) = 25*o + 659. Let c be t(-26). Solve -3*i = -4*u - 26, c*i - 7*i - u - 9 = 0 for i.
2
Let g(a) = -15*a + 16. Let v(q) = 54*q + 1. Let m be v(0). Let w be g(m). Solve 2*b - 4 = i, 2*i = b - 1 - w for i.
0
Suppose 0*s = 3*s - 2*x - 61, 20 = 5*x. Suppose -10*j - 26 = -s*j. Solve -30 = -5*u - 5*t, -7 - 3 = -j*u - t for u.
4
Let a(i) = i**2 - 201*i + 597. Let r be a(3). Let g = -3 - 5. Let k = 15 + g. Solve 2*t - s + 5 + r = 0, 0 = -5*t - 4*s - k for t.
-3
Suppose -6*t + 12 = -2*t. Suppose -t*v = 0, v + 14 = w - 3*v. Let i = w - 12. Solve -h + 6 = -5*b, -b = i - 0 for h.
-4
Suppose 4*f = 143 - 135. Suppose f*n = d - 2*d + 2, 2*n + 2 = -2*d. Solve n*x - 9 = -0*x + 3*m, -3*x + 14 = -4*m for x.
-2
Let q(l) = -l**3 - l**2 + 5*l - 7. Let m be q(-3). Let w be 298/(-4) - 2/m*-3. Let y = w + 79. Solve -y*n + 16 = c, 0*n = -3*n + 5*c - 8 for n.
4
Let t(q) = q**2 + q - 4. Suppose -2 = -3*l + 7. Suppose 3*f - 4*f = l. Let p be t(f). Solve -4*g - p = -r + 3, -2*g + 15 = 3*r for g.
0
Suppose 4*v + o = -19, 4*v - v - 4*o = -19. Let k be (-12 + 348/24)*(-4)/v. Solve 5*y + c = k + 9, -4*c = -4 for y.
2
Let s be (-385)/22*8/(-10). Suppose 12 + 44 = s*x. Solve 20 = x*k, 4*k - 2 - 18 = -4*o for o.
0
Let k(j) = j**2 - 53*j + 284. Let d be k(47). Solve -d*p - 16 = -3*t, -2*p = 2*t - 0*t + 6 for t.
2
Suppose -4*l + 2*a = -2, 2*l - 44*a - 36 = -48*a. Solve s + 2*c = l, 0 = -40*s + 42*s + 5*c - 11 for s.
-2
Let f be 2 + (34/(-136) + (-3)/(-4))*2. Solve f*r + 5 = 4*g, 2*g - 7 = -9 for r.
-3
Let x(d) be the first derivative of -2*d**3/3 + 21*d**2/2 + 39*d + 17. Let q be x(12). Solve 13 = -c - 3*s - s, 4*c = q*s + 24 for c.
3
Let i(k) = k**3 - k**2 + k. Let j(n) = n**3 - 7*n**2 + 4*n - 26. Let m(r) = 2*i(r) - j(r). Let d be m(-6). Solve 5*a = -4*u + 20, -d*u = 2*a + 2 - 10 for u.
0
Let i(l) = 22*l + 2. Let s be i(1). Suppose -s = 72*r - 78*r. Suppose 0*n = -3*n. Solve 8 = -w + 6*w - r*u, n = -2*w - u - 2 for w.
0
Let y(x) = -4*x - 9. Let u(r) = -7*r - 16. Let v(z) = 2*u(z) - 5*y(z). Let a be v(2). Solve -2*o - o - f - 10 = 0, -o - a = -4*f for o.
-5
Let k(t) = -2*t**3 + 40*t**2 - 182*t. Let z be k(13). Solve -4*r + 13 + z = u, 0 = -4*u - 12 for r.
4
Let s(o) = -o + 23. Let v be s(7). Let r(n) = -n**2 + 16*n + 13. Let p be r(v). Let g(a) = -4*a + 58. Let z be g(p). Solve m = -b, -4*m + 1 = 5*b + z for m.
5
Let x = 3405 + -3405. Solve 9 + 9 = 2*l - 5*q, x = -3*l - 5*q - 23 for l.
-1
Let f be (1/(-1))/((-18)/360*5). Let w = 11 - 2. Suppose 3*z = 4*v - 7*v + w, 0 = -3*z + f*v + 9. Solve -1 = -q - 4*y, -4*q - z*y = -0 - 4 for q.
1
Let p = 157 - 155. Suppose p*y + 2 = 10. Solve -y*b = 4*q - 28, -3*b = 2*q - 0*b - 16 for q.
5
Suppose -5*v + 37 = 32. Let a be (0 + v)*((1 - -2) + 72). Suppose -12*l + a - 27 = 0. Solve 5*w = -2*r - l - 8, 2*r - w = 12 for r.
4
Suppose -760*c = -757*c - 21. Solve m = 4*f - 15, -c*m + 9*m = -f + 15 for f.
5
Let f be (-14 - (-16 - -4))*-7. Solve 0 = -z + 4, 5*i + z - 2*z = -f for i.
-2
Suppose 889*s = 899*s - 20. Solve -30*w = s*q - 28*w - 24, q - 5*w + 30 = 0 for q.
5
Let n = 1328 - 1323. Solve 0 = -5*w + n, -o - 6 = -2*w - 4 for o.
0
Suppose 0 = 72*b - 50*b - 110. Solve -3*x = -f, b*f - 2*f - 2*x = -7 for f.
-3
Let g(v) = 21*v**2 - 75*v + 43. Let d be g(3). Solve -d*r = -3*r - 16, 17 = -5*t + 3*r for t.
-1
Let v be (0 + (-8)/6)*-3. Let s(h) = -5*h + 39. Let k be s(7). Suppose -34 = -z + 5*d - 7, 5*d - 8 = -k*z. Solve -17 = 4*f + 5*o, -v*o + 0*o - z = f for f.
-3
Let l(m) = -4*m + 37. Let p be l(9). Suppose -4*w + v = -14, 0 = -4*v - 9 + p. Suppose 35 = w*a + 4*a. Solve 0 = a*o + 5*f - 25, 5*o - 3 = 2*f + 1 for o.
2
Let v = 591 - 396. Let j be (-70)/(-65) - 15/v. Solve 0 = 5*x + 4*r - 6, 3*x + 3*r - 7 + j = 0 for x.
-2
Let m be 0/(1/((-1)/((-3)/(-3)))). Let r = -27 - -30. Suppose b = -i, -3*i - i = r*b + 5. Solve -5*n + 12 = -b*g - 33, 5*g - 4*n + 40 = m for g.
-4
Let q be 1 - (-58)/18 - 16/72. Solve 5*m - 18 = 57*k - 53*k, q*k + 10 = m for m.
2
Suppose 2*s = 3*w - 14, 3*w + 5*s + 4 = 11. Solve 2*n - 5*b = 0, -6*n = -2*n - w*b for n.
0
Let h = -53 + 57. Suppose -h*l - 57 = 31. Let s be l/(-6) + (-6)/9. Solve -2*r - r = m - 2, 0 = s*r - 2*m + 13 for r.
-1
Let n be (-4)/(-10) + -4*(-9224)/160. Suppose n = 3*y + 231. Solve y*s - s + 1 = 5*g, 0 = -5*s + 4*g - 24 for s.
-4
Let t(i) = -i + 335. Let r be t(0). Suppose r = 10*f - 65. Suppose -4*u - 6 = -26. Solve 0 = -o - d + 6, u*o + 4*d = -12 + f for o.
4
Let q(c) = -4*c**3 + 35*c**2 - 23*c. Let v be q(8). Solve v*y - 9*y = -4, -21 = 5*k + y for k.
-5
Let z(k) = k**3 - 3*k**2 + 2. Let t be z(3). Suppose -2*x - 2 = v - 5, -t*v + 3*x + 34 = 0. Solve 4*w = -2*u + 16, -u - 5*w = -2*w - v for u.
2
Suppose 1 = v - 5. Let y(d) = d - 1. Let b be y(v). Suppose -g = -4*j + 16, -11*g - 18 = -13*g - 2*j. Solve -g*p + 20 = 4*r, -p - 3 - 4 = -b*r for p.
3
Let t be (64/(-3))/((-2)/6). Let g = 52 + -51. Let r be 5*(g - t/(-20)). Solve -4*v = -5*s - r, 4*s - 10 = -3*v + 2*s for v.
4
Let w(k) = k**2 + 134*k + 2655. Let x be w(-110). Solve -3*i = -3*g - x, -5*i = -67*g + 66*g - 17 for i.
3
Suppose -2*p - 34 = -3*p. Let j = -31 + p. Let d be ((-6)/(-18))/(1/j). Solve -5*o + k = -o - d, 0 = -4*o - 2*k - 14 for o.
-1
Let r = 398 - 268. Let w = 130 - r. Suppose -b - 6 = -c - c, -5*c + 3*b + 16 = w. Solve -3*x + t + 3 = -c*t, -3*t = 2*x - 2 for x.
1
Suppose 11*r + 975 = 1239. Solve r = -l + 5*h, -h = 14*l - 9*l + 16 for l.
-4
Let h be (-8)/12*9 + 7. Let j(p) = 22*p**2 - 15*p + 14. Let w be j(h). Solve 0 = 2*c + 5*y + 15, -5*y + y + w = -5*c for c.
-5
Suppose n = -7 + 16. Suppose 21 = 3*j + n. Suppose 5*v + 33 = 4*i, -4*i + 9 = -2*i - v. Solve -m - i*f + 2 = -2, 16 = j*m + f for m.
4
Suppose 0 = -2*u - 4*w + 23 - 17, 2*w = 5*u - 39. Solve -2*g = -5*v - u, -2*v + 6 - 3 = 5*g for g.
1
Suppose 1211*t = 1178*t + 198. Solve -3*l = 5*d - t*d - 1, -2*l - 1 = -d for l.
2
Let f = -58 - -70. Suppose 0 = 66*s - 60*s - f. Solve s*k - 3*p + 11 = 0, -3*k = -3*p - 0*p + 12 for k.
-1
Let w be (-3 + 2)/(-6 - -5). Let r be (294/7)/6 + -15 + 11. Solve b - r + w = 0, -4*l + 3*b = -2 for l.
2
Suppose 0 = -2*k + 46 - 58. Let t be k*((-36)/8 - -4). Let a be (t - (-5)/(-2))*6. Solve 2*w + 1 + 6 = -3*o, -2*w - a = -o for w.
-2
Suppose -29*t - 36 = -4*a - 33*t, -5*a + 3*t = 11. Suppose 0 + 5 = 4*k - 3*n, -n = -5. Solve -b + 3 = a*s, s + 2*s = -k*b + 8 for b.
1
Let k = 898 + -893. Suppose 0 = -v - k, 16*r + 3*v + 9 = 14*r. Solve p = 2*p - 3*g + 12, 5*g - 16 = r*p for p.
3
Suppose -12*o + 138 = -79 + 73. Solve 0 = -4*g - 4*q + o, 3*g + 0*g - 4*q - 9 = 0 for g.
3
Let j be -25 + 30 - (1 - -99). Suppose 5*h - 500 = 5*q, -2*h = -4*q - 370 - 32. Let l = j - q. Solve 2*x - 4*z + l = -8, 5*x = -5*z - 5 for x.
-3
Suppose 4*y = -5*j + 15, -7*y = -2*y - 2*j - 27. Solve 3*i + 35 = 4*x, -6*i + 15 = 4*x - y*i for x.
5
Let k(l) be the first derivative of -2*l**2 + 12*l + 67. Let z be k(2). Solve 4*b + z*i = -8, b = -2*i - 3 + 1 for b.
-2
Let z(a) = a**2 + 8*a + 12. Let c = 24 + 4. Suppose c = -3*u - u. Let r be z(u). Solve -d = 4*l, 3*l + d - r = -d for l.
-1
Let n(l) = -l + 30. Let p be n(30). Suppose p*u + u + 14 = -4*j, 0 = 5*j + 20. Solve -u*x + 12 = -y - 6*x, 3*y - 3*x + 6 = 0 for y.
-4
Let p = -10731 + 10736. Solve -23 = -4*y - s, 67*y - p = 63*y + 5*s for y.
5
Let y = -5290 - -5295. Solve 0 = -q, 12*v - 11*v = -5*q + y for v.
5
Suppose 2*g - 4*d = 0, -9 = -5*g + 334*d - 333*d. Solve -2*x + 5*w - 10 = 26, x = g*w - 15 for x.
-3
Suppose 0 = -163*z + 249 + 77. Solve 2*i = -3*y - 8 - 6, 4*i = z*y + 4 for y.
-4
Let x be 2994/9 - 40/24. Let h = x + -295. Solve 3*l - 4*n - n + 32 = 0, -4*n + h = -5*l for l.
-4
Let y(c) = 316*c + 4429. Let q be y(-14). Solve -r + 5 = q*x + 8, -3*r - 2*x = -4 for r.
2
Let y be ((-12)/14)/((27 + -24)*(-3)/189). Solve 4*i = -3*l - 4, 23*l = y*l + 20 for i.
-4
Suppose -473 + 701 = -6*z. Let b(d) = -9*d + 4. Let t be b(-4). Let g = t + z. Solve -3*j + 5*v - 26 = 0, -3*j + 1 = g*v - 1 for j.
-2
Let h(w) = 63*w**2 + 7*w + 10. Let a be h(-2). Let g = 249 - a. Solve 19 = -3*t + s + g, s - 3 = 0 for t.
-5
L