= -f, -j + 3*k + 6 = -4*j for j.
0
Suppose 0*t + 5*t + 25 = 0. Suppose 0 = -9*z + 8*z - 2. Let u = z - t. Solve 5*l + 3*r = -34, -r = u*l + 16 + 2 for l.
-5
Suppose 2*k + 4 = 5*w, -5*w + 64*k - 60*k = 2. Solve -3*h + 11 = 5, -4*f - w*h = 16 for f.
-5
Let a = 3 + -1. Let c be (10/315*7)/((-12)/(-54)). Solve -2*y = 3*l - y - c, 3 = -l - a*y for l.
1
Suppose 141*v - 17 = 124*v. Suppose 20 = 3*c + 5. Solve -8 = -5*p + q, -v = -c*p + 3*q + 3 for p.
2
Suppose -5*f + 2 = 2. Solve a + 2*t + 6 = f, -t + 0*t = -2*a - 2 for a.
-2
Let s be 864/54*2/8. Solve 5*u + 10 = 2*j, j - 3*j - s*u - 8 = 0 for j.
0
Let d(l) = -l**2 + 3*l + 5. Let m be d(3). Suppose 16 + 4 = m*b. Solve t = z - b, -2*z + 11 = -0*z - 3*t for z.
1
Let c(w) = 36*w - 27 - 17*w - 22*w. Let v be c(-11). Solve 0*d - f = d - 1, -4*f + v = 3*d for d.
-2
Let i(w) = w**3 - 10*w**2 - 12*w + 13. Suppose 3*h = 4*p - 29, -8*p + 3*p - 4*h + 75 = 0. Let v be i(p). Solve -v*r + 0*r - 3*f = -17, -3*r + 21 = 3*f for r.
4
Suppose 0 = 2*g - 4*o - 40, -56 + 142 = 4*g - 5*o. Solve 4*w = 16, -4*z = w - 4*w + g for z.
-3
Suppose 2*k = x + 33, -16*k + 15*k = -x - 18. Solve g + d - 1 = -d, 5*d = g - k for g.
5
Let k(u) = u**3 + 16*u**2 - 36*u + 12. Let h be k(-18). Suppose 15*w - 33 - h = 0. Solve 4*o + 7 = w*j, -3*j + 6 = -0*o - 3*o for j.
1
Suppose 8*q + 56 = -136. Let h = 24 + q. Solve h*u = 4*i + u + 10, 3*i - u = -11 for i.
-3
Suppose 16 = 4*u, 2*y + 2*y = 2*u - 8. Suppose r = -y*r. Let w = 4 - r. Solve -2*v + 13 = -5*g, -g + 0*g - w*v = 7 for g.
-3
Suppose 68*n - 64*n = 80. Suppose -7*i + 1 + n = 0. Solve 4*d - i*v - 3 = 0, 4*v - 5*v + 9 = 2*d for d.
3
Suppose 12*q - 5 = 103. Suppose -q*d = -4*d - 10. Solve 0 = 5*a + 2*t + 3, 7*t - 5 = d*t for a.
-1
Suppose 3*d - r = 4*r + 7, 5*d - 2*r - 18 = 0. Suppose d*h + 2*b - 22 = 0, -7 + 43 = 3*h - 5*b. Solve -5*n - h = 7*q - 3*q, 3*q + 4*n = -5 for q.
-3
Let k = 8 + -14. Let y be (k*(0 - -1))/(-2). Let h = 471 + -466. Solve -y*f + 4*f = -5*z - 21, 4*f = h*z + 41 for f.
4
Let y be 7/(1/(-1)) - -7. Solve 5*f - 2*f + 12 = y, -20 = -x + 5*f for x.
0
Suppose t = 3*m + 4 - 0, -4*t - 35 = 5*m. Let w = t + 9. Suppose v + v - 2*j = 38, -5*j - 80 = -w*v. Solve -4 = -3*u - 2*n + v, 0 = 3*u - 3*n + 6 for u.
3
Let o = -13 - -25. Let i be -1*o/(-9)*3. Let k be 1/(14/(-15) + 1). Solve -3*j + 14 = -i*h - 6, j = -3*h - k for j.
0
Let f = -4 - -6. Suppose 3*q = -2*t + 25, -4*t + 43 = 2*q - 27. Let i = t + -17. Solve -c = f*k - 1 - 5, -2*c + i*k = 9 for c.
0
Suppose -c - 4*w + 14 - 8 = 0, c + 1 = 3*w. Let i(k) = -k**2 - 6*k - 2. Let a be i(-5). Solve a*f = -3*n - c + 11, n + 2*f = 7 for n.
-1
Suppose 28 = 9*j - 7*j. Let c = -9 + j. Solve c*o - 1 = 3*v + v, -18 = 2*o + 3*v for o.
-3
Suppose -c - 120 = 4*c. Let y be (-1)/(-2)*c/(-4). Solve y*s - 3*a + 0*a = 15, 7 = -s - 2*a for s.
1
Let t be ((-50)/(-40))/((-2)/(-8)). Suppose i - 2*x = 2*i + 1, -4*x - t = i. Solve 5*f - i*r = 0, -2*r = -f + 3*r for f.
0
Let c = 11 - 9. Suppose c*s = 5*s - 9. Suppose -s*w + 15 = -5*h - 0, 9 = 5*w - 3*h. Solve 0 = -2*r - 10, 3*a + 10 = r - w*r for a.
-5
Suppose -5*z - 3*i = -28, 3*z + 3*i - 20 = -z. Suppose -32 - z = -2*l. Let p = 12 - 10. Solve -7 + 20 = k + p*j, 5*j = l for k.
5
Let k = 945 + -940. Suppose 14 + 4 = 4*b - 5*y, -5*b = y - 8. Solve -i + 5*w - 28 = 0, b*i + 28 = k*w - 3 for i.
-3
Suppose 61 = -5*p + 156. Let a(i) = 1 + 4 + i - 2*i. Let h be a(0). Solve 0 = h*q - 4*j - 32, q - 4*j - j = p for q.
4
Suppose -g - 2*s + 8 = 0, -2*g + 3*s - 5 = -0*s. Suppose -1 = -h - 0*h. Let p be h/1 + 1 + -2. Solve -3 = b - l, 5*b + g*l + 1 = -p*l for b.
-1
Let h(r) = -4*r - 41. Let p be h(-12). Solve 3*m = -v - p, 3*v - 3 = -15 for m.
-1
Let p be (2 - 0)*(-1)/(-1). Let o = -993 - -995. Suppose 1 = -2*v + 7. Solve -2 = -4*q - 5*a, -v*a + 2*a = o*q + p for q.
-2
Suppose 3*n + 1 = -2*x, x + 5*n = 2*x - 19. Solve b + 5*j = 30, 5*b + 4*j - 41 = x for b.
5
Let w = 25 - 19. Let i = -2 + w. Suppose i + 8 = 3*v. Solve -4*g - 2 = 3*k, k - 2 + v = 0 for g.
1
Suppose 0 = -3*a + 9*a. Suppose -u = -5*g + g + 11, a = 2*g - u - 7. Solve -5*i - 4 = g*r + 2*r, 0 = -4*r + 3*i + 28 for r.
4
Suppose 5*k - 56 = 3*k. Suppose 4*r - k = -3*r. Solve 0 = -5*c + 2*y - 8 + 3, r*y - 1 = c for c.
-1
Let l be (-4)/22 + 8600/110. Let u be 94/12 + 13/l. Solve 5*q = -10, -4*g + 4*q + u = -2*g for g.
0
Suppose -4*i = 18 + 2. Let m(x) = 3*x + 15. Let d be m(i). Solve d = 2*z + c + 8, -4*z - 6*c - 22 = -c for z.
-3
Suppose 0 = 5*m + 5*p + 20, 2*m - 5*m - 20 = 5*p. Solve -5*t - 4*h - 36 = 0, 5*h + 13 + 7 = m for t.
-4
Suppose 0 = -r + x + 6, -4*x + 9 = -2*r - 9*x. Solve 2*t = 2*q + t, -4*q = r*t for q.
0
Suppose 0*v + 2*v - 4 = 0, -5*m + 28 = 4*v. Solve 4*f + 2*o = -8, -m*o + 2*o + 6 = -3*f for f.
-2
Let z = 51 - 31. Suppose -x = x - z. Suppose 4*q + 4 = -6*j + 3*j, -3*q + j + x = 0. Solve 6 = q*o - 3*a, 3*o - 9 = -0*a - 5*a for o.
3
Let n = -661 - -673. Solve -4*r = 4*m - n + 40, m - 4*r = 8 for m.
-4
Suppose -942 + 17 = -37*f. Let l = -1 + 3. Solve -4*s + f = -3*t, -10 = -3*s + l for t.
-3
Let m = 504 - 489. Solve d + 2*o - 20 = -d, -d = 2*o - m for d.
5
Let r be 9 + 0 + (33 - 31). Solve 0 = 3*o + i + 4, 1 - r = -2*i for o.
-3
Suppose 58 = 5*h - 127. Suppose -4*u - 8*o = -5*o - h, 5*u = -5*o + 40. Solve -v + 0 = k - 5, 2*k = -3*v + u for v.
3
Let o be ((-12)/(-8) - 2)*-6. Suppose 0 = h - o*h. Suppose 0 = l - 4 - h. Solve 4*t - l*m - m = 22, -3*t + 7 = m for t.
3
Let v = 32 - 30. Suppose -3 = v*q - 7. Solve -u - q*b = u + 10, -3*b + 10 = -2*u for u.
-5
Let a(x) = -3*x + 12. Let q = -11 - -17. Let w be a(q). Let j = -1 - w. Solve 5*k + j*d + 15 = 0, 2*k + d - 1 = -9 for k.
-5
Suppose -3*t = 5*o - 15, -o - 2*o + 3*t = -9. Let z = -13 + 15. Suppose 3 = -3*j + 3*s, 4*j - j - 12 = -z*s. Solve 5*n = -5*k, n - o + 2 = -j*k for k.
1
Let l be (1*4)/((-7)/(-14)). Suppose -l*k + 12 = -5*k. Suppose -k*y - y = -100. Solve r - 4*j - 19 = 0, -5*r - y = -j + 4*j for r.
-1
Suppose 7*j - 4*j + 207 = 3*r, 0 = -4*r + 2*j + 266. Let o = 67 - r. Solve 5*s = o*v + 5, 2*v = -2*v - 5*s - 30 for v.
-5
Let t(y) = -y**2 - 5*y + 151. Let w be t(9). Solve -3*r = -2*x - 4*r - 5, -3*x + 5*r = -w for x.
0
Let w(f) = 109*f**2 - 4*f - 3. Let z be w(-1). Let g = z - 105. Solve -p + 1 = -g*y - 1, -5*y = -4*p + 8 for y.
0
Suppose 0 = -c - j + 33, -90*c - 87 = -93*c + j. Solve -4*p + c = 5*h, -15*p + 23 = -10*p - h for p.
5
Let f(g) be the first derivative of -2*g**2 - g + 18. Let t be f(-1). Solve -2*y = m - 2 - 0, 3*y + 15 = t*m for y.
-1
Let k(i) = i**2 + 8*i - 13. Let f be k(-9). Let d be 5 - (4 + f + 3). Solve 2*j = -j - 4*s - 12, -6 = d*j + 2*s for j.
0
Let a = -118 + 122. Solve 4*f - 20 = -5*l + 5*f, f - 25 = -a*l for l.
5
Let v = -319 + 322. Solve 0 = -b + 2*a - 5, -2 = -4*b - v*a - 0 for b.
-1
Let j(o) = o + 24. Let p(u) = u - 2. Let w(l) = j(l) + 2*p(l). Let d be w(-6). Suppose 5*a - 30 = 3*a. Solve -2*n + 4*x + x - a = 0, 4*x - 10 = d*n for n.
5
Let z(q) = -2*q**2 - q + 4. Let u be -2*(-3 - (0 + -4)). Let h be z(u). Let y = -2 - h. Solve y = 3*d - 2*m - m - 12, 5*m = d - 4 for d.
4
Suppose 5*g + 2*i = -8, -7*g = -2*g + 4*i + 16. Solve 4*m - 5*w = -35, -3*m + g*w = -4*w + 27 for m.
-5
Let f = 97 + -74. Suppose -f = -10*d + 17. Solve 4*j + 4 = -5*w, 0*j + d*j + 3*w = 4 for j.
4
Suppose -12*x - 19 = -79. Suppose 3*c + x = 4*c. Solve -5*a - 4*w = 6, -4*a - c*w + w - 4 = 0 for a.
-2
Suppose -3*f - 3*c + 7 = -2, 2*f - 10 = 2*c. Solve 3*l = 2*n + 6, f*n + 7 = -4*l - 5 for n.
-3
Let u = -41 - -45. Solve -4*o - 4*c = u, 3*c = -o + 5*o - 10 for o.
1
Let w be (-14)/21 - (-686)/21. Solve 4 = -3*v - 0*v + 4*n, 4*v + 4*n = w for v.
4
Let j = 4 + -1. Suppose -5*d = 4*x + 20, -2*x - 10 = -2*d + 5*d. Solve -4*c - 4*z = d, 3*c + j*z + 3 = c for c.
3
Suppose -3*c + 60 = d - 5*d, 0 = -2*d. Let j be (-5)/c + 26/8. Solve -4*r - p - j = 7, -4*r - 2*p = 8 for r.
-3
Let g = -195 + 307. Let r = 113 - g. Solve 0 = -h - 5*o + r, 4 + 0 = 4*o for h.
-4
Suppose -3*g - 16 = 17. Let y = g - -31. Suppose -p + y = 3*p. Solve -5*o - k + 1 = 0, p = o - 2*k + k for o.
1
Let t(q) = -9*q**3 - q**2. Let h be t(-1). Let b(l) = l**3 - 3*l**2 - 28*l + 3. Let n be b(-4). Solve -3*k - h = -2*j - 7*k, -5*j = n*k - 13 for j.
2
Let v = 91 - 81. Suppose 3*m - v - 5 = 0. Solve 5*u + 10 = -3*p, u - 2*p = 2*u - m for u.
