= f*t + 4*g, 3*t + 2*g = b*g - 11 for t.
-5
Suppose -16*h = -14*h - 6. Let s = h + 0. Suppose -s*v - 2*v + 20 = 0. Solve -v*b = -k, b - 14 = -b + 4*k for b.
-1
Suppose 4*k - 3*k = 25. Suppose 13*s - 8*s - k = 0. Solve -3*r - 3*d = -0*r - 6, -s*r + 3*d - 22 = 0 for r.
-2
Let d be (-4)/(-6) + (-82)/(-3). Suppose 4*m = -8 + d. Let t(w) = -496*w - 5431. Let q be t(-11). Solve -5*l = 7*x - 4*x - 35, q = x + m*l for x.
5
Let k = 11 + -8. Let q(c) = 2*c + 12. Let r be q(-5). Solve -4*y + 6 = -k*g, -4*y + 13 = -y + r*g for y.
3
Let m(p) be the first derivative of -p**2 - 13*p - 17. Let g be m(-9). Solve l + 3*t + 5 = 0, g*t + 5 = 4*l + 25 for l.
-5
Suppose 3*v + o - 9 = 0, -2*v = 2*o + 17 - 23. Solve -j + 3*z - 3 = 0, -v*z - 6 - 3 = 3*j for j.
-3
Suppose -2*g - 2 = -0. Let u be g - 5/((-15)/9). Solve o + o + 8 = -u*d, -5*d = -o - 10 for o.
-5
Let h(s) = 16*s - 125. Let n be h(8). Solve 20*z + 12 = 24*z - n*b, z + b = -4 for z.
0
Suppose 0*q = u + 2*q - 8, 5*q = 4*u - 19. Let f = 10 - u. Solve 0 = -f*j + d + 2, -2 = 3*j - 2*d - 1 for j.
1
Let y = 337 + -332. Solve 2 = 5*q - j, -3*j + 1 = -3*q - y for q.
1
Let m(r) = -r**2 + r**2 - 2*r**2 + 7*r. Let i be m(3). Suppose 5*w - 16 = 4*k, 4*k - k - 15 = -i*w. Solve -w*b + 3 = -2*p - 3*b, -5*b - 27 = 4*p for p.
-3
Let b be (-3)/(3 + (-20)/6). Suppose 4*u + 4*f - 15 - b = 0, -3*f + 2 = -5*u. Solve l - u*l + 10 = 3*m, -m = 2*l for l.
-2
Suppose -3*j = 4*t - 21, 0 = -3*j - j + 2*t + 6. Solve 0 = -4*i + 3*x + 17, j*x = -2*i - 2*x + 15 for i.
5
Let p(c) = 2*c. Let k(s) = 12*s. Let b(a) = 6*k(a) - 34*p(a). Let y be b(0). Solve 4*m + 3*f + 2*f = -32, y = -2*m - f - 10 for m.
-3
Let b(q) = -q**2 + 1. Let a be b(-1). Suppose -71*j - 5*k - 19 = -67*j, 4*j = 4*k + 44. Solve 0 = -4*f, j*i - 4*f + a*f - 4 = 0 for i.
1
Suppose 0 = -a + 4*a - 5*m - 25, -2*m + 1 = a. Solve -4*d = 5*y - 40, -16 = -5*y - a*d + 29 for y.
4
Suppose 24*c - 46 = c. Solve 0 = -2*i + c*a - 8, 0 = 5*i - 3*a + 7 + 5 for i.
0
Suppose 0 = -4*c - p + 17 + 82, 3*p = 4*c - 103. Suppose c*k = 9*k + 32. Solve -2*y + k*f = 8, -y = -8*f + 3*f + 12 for y.
-2
Let j = -2 - -5. Let h(q) = q - 1. Let b be h(8). Let w = 2 + b. Solve 0 = m - 4*r - 16, -r + 0*r = j*m - w for m.
4
Suppose -4*c - 2*k + 3*k = 8, 2*k = c + 9. Let u be 14 - 7 - (c - -2)*3. Solve -5*t - y = -4*y + 11, -u*t - 13 = -y for t.
-4
Let n = 138 - 116. Suppose -n*p = -31*p. Solve v + 2*l - 5 = p, -5*l + l = -5*v - 17 for v.
-1
Let r = -17 - -19. Let l be 3/(27/(-15) + r). Suppose -9*c = -6*c - l. Solve -26 = u + 5*f, -c = u - 6*u + 2*f for u.
-1
Suppose -4*g - 3*i = -8*i - 116, 0 = -i + 4. Suppose g + 34 = 17*r. Solve 2*z + 2*t = -16, 3*t = -r*z - 0*t - 29 for z.
-5
Suppose -9*z = -4*z - o - 17, 0 = -2*z + 3*o - 1. Solve -4*a - 6 = -5*p, 2*a - z*a - 4 = -2*p for a.
-4
Suppose 4*u + 3*x = 1, -13*u + 17*u + 9 = -5*x. Solve u*f + 2*r + 1 = f, -4*r = -4*f + 12 for f.
1
Suppose -5*r = 74 - 239. Let l = -9 + 14. Suppose -8 = l*p - r. Solve 2*a = -2*d - 8 + 2, p*a + 20 = 0 for d.
1
Let a(i) be the first derivative of i**3/3 - 9*i**2/2 - 8*i - 3. Let u be a(10). Let t be (u - 5)/((-9)/12). Solve 0 = -4*g + 4, 5*c - 3*c - 4*g + t = 0 for c.
0
Let t(a) = a + 5. Let r be t(0). Let w be (1 - -5)*(-4 + r). Suppose 1 = y - 2*s, 7 = y + 4*s - w. Solve 2*v - 2*z + 26 = 2*z, z = y*v + 29 for v.
-5
Suppose 0 = -h - d + 79, -4*h + 2*d = 3*d - 304. Let k = h + -70. Let g(c) = c**2 + 3*c + 2. Let x be g(-3). Solve -2*t = -2*f + 2, -f - k*t = -x*f + 17 for f.
-3
Let u = -27 + 67. Let g(d) = -2*d**2 + 81*d - 27. Let m be g(u). Suppose f - 6 = -1. Solve p = f*i - m, -13 = 2*p + p - 2*i for p.
-3
Suppose -13 = k - d, -k = -4*k - d - 31. Let l = k - -2. Let g(t) = t**3 + 9*t**2 - 2*t + 4. Let f be g(l). Solve 0 = -2*r - 3*u - u + f, 2*r - 10 = -u for r.
3
Let v = -508 - -509. Solve -4*s + y = 0, -5*s - 2*y = v + 12 for s.
-1
Suppose -96 = 2*y - 120. Solve -2*s - 1 = 3*a + y, -21 = 5*a + 3*s for a.
-3
Suppose 0 = 2*h - 3*w + 31, -3*h - 2*w + 42 = -7*h. Let q be (h/20)/(3*(-2)/30). Solve 1 - 3 = q*g, -3*l + 6 = -3*g for l.
1
Let r be -8*((-1 - 4) + (0 - -4)). Solve 0 = -u + 2*j + 12, 3*j + 4 + r = 0 for u.
4
Let l = 0 + 13. Suppose -l*v - 100 = -8*v. Let d = v - -24. Solve -4*z = -7*b + 2*b + 20, -12 = d*z - 3*b for z.
0
Let c = -229 + 234. Let q be 0/(-1 + (6 - 3)). Suppose 3 = v - q. Solve -c = p + v*l, -p = -2*p + 2*l for p.
-2
Let t(k) = 2*k**2 + 14*k + 15. Let h be t(-6). Solve 4*o = 3*m - 31, 2*o = 3*m - h*o - 35 for m.
5
Let y = 90 - 65. Solve 5*v - y = -0*v, 4*h - 5*v = -37 for h.
-3
Suppose -74 = -7*d + 185. Solve 4*y + d = 5*k, 1 = -2*y + 2*k - 3*k for y.
-3
Let l be (-3 - -3 - 3)/(-1). Suppose -4*x + 11 = -3*u, l*x - u - 6 = 1. Suppose 0 = -x*s + 3*s - 2. Solve 3*m = m + s*i, 8 = m + 3*i for m.
2
Let g = 901 + -898. Solve 0 = g*b - 4*c + 1, -21 = b - 5*c - 6 for b.
5
Let y(h) = -h**3 + 6*h + 6. Let o be y(0). Solve -2*b + 2 = -4*n - 0*b, b = -5*n - o for n.
-1
Let r = -1057 + 1061. Solve -w - 14 = -3*b, 0*b - 3*b = -r*w - 20 for w.
-2
Let b = -35 + 9. Let t be (-14)/91 - 134/b. Solve -t*j = 4*p + 17, j + 7 = 6*p - 5*p for j.
-5
Suppose 0*w = -12*w + 24. Solve g - h - 3 = -w*h, 3*g = 2*h - 1 for g.
1
Let x = 24 - 22. Let i be -9*(1 - (2 - x)). Let u(d) = -d - 5. Let v be u(i). Solve 10 = 3*m - v*h, 2*h = -0*h - 2 for m.
2
Let s = 1619 - 1615. Solve -5*q - 23 = -2*p, -3*p + s*q + 27 = -q for p.
4
Suppose 5*z = f - 26, -z - 8 = -3*f - 0. Let p be ((20/8)/(-1))/(f/(-2)). Solve p = -5*u - 20, 5*i + 20 = -u for i.
-3
Let m be 5*10/(-25) + 7 + -4. Solve -3*t = s + 7, s + t = -0*t - m for s.
2
Let c(o) = -2*o - 22. Let y be c(-12). Solve -4*q - y*w = 2, 4*w = 3*q - w + 34 for q.
-3
Let s = -361 - -365. Solve 0 = 5*z - s*j + 7 - 1, 10 = -5*z + 5*j for z.
2
Suppose -5*k + 63 = -97. Suppose -2*y + 6*y = k. Solve 14 = t + 4*s, -s = -t - t - y for t.
-2
Let u(t) = -21*t + 171. Let s be u(8). Solve -y = -s*h - 6, 0 = -2*h + 7*h - 4*y + 17 for h.
-1
Suppose 3*k - 18 = -4*o, -2*o = -0*k - k - 4. Solve 2*j = 3*v - 16, 4*j = -k*v + 6*v - 24 for v.
4
Suppose 4*d + g = 13, -5*d + 15 = -3*g + 3. Let x be (6/(-15))/((-2)/30). Let h = x - 4. Solve -3*i - d*p = -4*i - 14, 4*i = h*p - 26 for i.
-5
Let v be 10/(-45) + (-47)/(-9). Let t be -1 + 2 + (6 - v). Suppose -7 = -3*j + t. Solve -3*n + 1 = -4*d + 6, 10 = -d - j*n for d.
-1
Suppose 2*x = -x + 45. Let r = x - 9. Suppose r*f - 8 = 2*f. Solve j - 4*m = -f, 2*j + 5*m = -3*j - 10 for j.
-2
Suppose 5*w + 22 = -3, 0 = -5*f - 4*w. Solve -3*n - 3 = x, 0*x + 5*n = -2*x - f for x.
3
Let a(d) = 2*d**2 - d + 44. Let l be a(0). Suppose 80 - l = 4*o. Solve x = -0*j + 5*j + o, -5 = j + 3*x for j.
-2
Let d = 1208 - 1205. Solve -20 = 5*l + 3*o, -4*l - 16 = 2*o + d*o for l.
-4
Let n = -146 + 146. Let a be (6/(-12))/(n - (-3)/(-6)). Solve o - 5*p + 4 = -2*o, o - a = 4*p for o.
-3
Suppose 127 = 8*f + 15. Suppose f*b + 8 = 16*b. Solve -c = t + 6, b*t + 27 = -0*c - 5*c for t.
-3
Let m be -6*2/4*-1. Let c be (-1 - 0 - (-12)/(-8))*-6. Let r = c - 8. Solve -w - 4 - r = -m*g, -2*w = -3*g + 7 for g.
5
Let z = -161 + 76. Let n = -58 - z. Let k = n - 26. Solve -4*s - 4 = -3*g, -4*g + 13 = -s - k for s.
2
Suppose -8*r = -11*r + 15. Suppose 13*l - 32 = r*l. Solve -l*p - 20 = 2*c, -2*p - c = -5*p - 10 for p.
-4
Let a = -2082 + 2087. Solve 0*o + q + 1 = -o, -a*q - 1 = o for o.
-1
Suppose 2*t = 3*t. Let i be (7*(-3)/(-28))/((-1)/(-4)). Solve -i*f + 2*z + 21 = t, 2*z = -f - z - 4 for f.
5
Suppose 0 = 10*v - 13*v + 18. Solve 7 = n + n + 5*j, 5*n + j = v for n.
1
Let c = 142 - 137. Let q(m) = -m**2 + 4*m + 7. Let i be q(c). Solve 0 = -5*x - 4*o - 37 + 9, i*x + 14 = -3*o for x.
-4
Let k = 660 + -655. Solve k*o - 2*u = 2, -o - 5*u = -6*o + 5 for o.
0
Let a = 101 - 172. Let k = -68 - a. Solve -k*u + 0 = -o + 1, 4*u = o - 3 for o.
-5
Let s be -2 + 1 - (-7 + 3). Suppose -3*z + 19 = 5*c, 6*c - 21 = s*c - 5*z. Let j be 0/(2*(-1)/c). Solve 4*n - 7*q + 2*q - 40 = j, 4 = -q for n.
5
Suppose 6*y - 7 = 5. Solve -y*l - 19 = 3*u, -2*u + 2*l - 4*l - 14 = 0 for u.
-5
Let g be ((-1)/(-1))/(5*5/125). Suppose -j = b - 4, -g*b + b - 2 = -5*j. Solve j*w + 4*a + 16 = 0, 2*w + 2*a = 3*a - 1 for w.
-2
Let r = -39 - -13. Let w = 29 + r. Solve 3*g + 5*l = -13, -9 = 3*g - 0*g + w*l for g.
-1
Suppose 203 - 227 = -6*d. Solve -20 = d*n, n - 15 = -