) = q + 3 + 5 - 2*q. Let b be t(0). Solve 0 = 2*a + 4*h + h - 19, a - h = -b for a.
-3
Let t be 10/2 + (0 - 3). Suppose -8 = c - 5*c. Solve -c = -3*n + 4*k, -5*n - 4 = -t*k + 2 for n.
-2
Let g = -4 + 7. Suppose 2*j = 3*v + 7, -3*v + v = -2. Solve -j = 4*h - k, g*h + 2*k + 5 = 3*k for h.
0
Let k(x) = 12*x + 14. Let y be k(-1). Solve -3*t = g - 14, -y*t - 3*t = g - 22 for g.
2
Suppose 9*k - 13*k = 0. Suppose -v + 5*y + 17 = k, 5*y - 5 + 20 = 0. Solve v*q + 25 = -3*q - 3*h, 0 = -5*q + 3*h - 25 for q.
-5
Let f(d) = -6*d**2 - d - 1. Let a be f(-2). Let y = 40 + a. Solve -l + 9 = -u + 4*u, y = 4*u + 3*l for u.
2
Let y = 14 - -57. Suppose -4*t + y = -9. Suppose 6*u - t = u. Solve 3*w = -3*d + 9, -d - d - 24 = -u*w for w.
5
Let w(x) = -x**3 - x**2 - 10. Let s be w(0). Let v = s - -12. Let a = 1 - -1. Solve 2*g + a*o + 0*o - 16 = 0, g = v*o - 1 for g.
5
Let y = 76 + -74. Solve -2*j - 4 + 0 = -y*d, 20 = 4*d for j.
3
Suppose 4*h = -5*h + 234. Solve 0 = 2*b - 3*x - 6, -b - h = b + 5*x for b.
-3
Suppose 5*o = 0, 2*o + o - 3 = -b. Solve b*m = -15, -5*a - m = 2*m + 40 for a.
-5
Suppose 5*s = -4*x + 109, 3*x + 5*s - 4*s = 68. Solve 0 = -5*q - 2*k - x, -q = 3*q + 5*k + 27 for q.
-3
Let z(u) = -u**2 + 5*u - 3. Let x be z(4). Let w be x/(-4)*-2*0. Let c be ((-12)/2)/((-3)/2). Solve n - 2 = w, i + c*i = -3*n + 16 for i.
2
Suppose -2*n + 0 - 4 = 4*u, 2*n = u + 1. Suppose n = 2*f + f - 15. Let l be (1/3)/(f/30). Solve -2*o - 4*c + 18 = 0, 4*c = l*o + 3*c - 3 for o.
3
Let q = 1 - -4. Suppose r - 13 = -2*a, q*a - r - 30 = -3*r. Solve -3*c + 17 = a*l, 5*l - 3 - 1 = 2*c for l.
2
Let f = -12 + 16. Suppose f = -i + 7. Solve 5*j - 9 = -3*s, -s + 12 = -j + i*s for j.
0
Let p be (-4)/28 - 3/(-21). Suppose 2*o - 14 = -v, -4*o = -5*v - p*o. Solve 0 = -4*m - 4*z + 4, z = -0*m + 2*m + v for m.
-1
Let o be (6/(-14) - -1)/((-6)/(-21)). Solve -3*y + y + 14 = 2*c, c + o = 2*y for y.
3
Suppose -9 = -z - 2*z. Suppose -3*c + c + 6 = 0. Suppose q + z*x - 17 = 0, -4*q + 22 = -2*q + c*x. Solve -5*k = -3*t + 1, -2*t = -6*t - q*k + 13 for t.
2
Suppose 4*r = -y + 1, -3*y - 4*r + r + 21 = 0. Let m = y + -5. Let q = 0 + m. Solve 5*k - 3*a = -q - 2, 3*k = 2*a - 4 for k.
0
Let i = -17 + 25. Let y = -16 - -23. Suppose 0 = -r + b + y, -5*r = -4*r + 4*b + i. Solve -4*w - 4*z = -r, 9*w - 4*w + 4*z = 0 for w.
-4
Let i = -1 + 5. Suppose i*x - 25 = -x. Solve 2*n + 2*m = -0 - 4, -x*m - 6 = n for n.
-1
Let n = 37 + -37. Solve -r - 3*a - 8 = -3, n = -5*a - 15 for r.
4
Suppose -8*k = -6*k - 44. Solve 5*y - k = -2*j, 3*j - y + 2 = 1 for j.
1
Suppose -5*g = 5*m, -5 = -3*g + 4*m + 2. Let p = g - -4. Suppose -p*d = -13 - 7. Solve 0*f - 4*f + 20 = 4*u, 5 = -d*u + f for u.
0
Suppose -7*r + 5 = -9. Solve -3*i - o = -3, 5*i - r*o = -7 + 1 for i.
0
Suppose 4*n = 6*n - 24. Let y = n - 12. Solve 4*p = -q - 17, y*p - 4*p - 5*q - 37 = 0 for p.
-3
Suppose 0 = -5*g - 15, 62 = 2*s - g + 23. Solve -2*z + s = -4*f, 4*z = f - 3*f + 16 for z.
5
Suppose 1 = 2*n + 5, -3*d - 5 = -2*n. Let o = d - -5. Let f = 2 - o. Solve 4*i - 3*j + 24 = 0, f = 5*i - 2*j - 6 + 29 for i.
-3
Let p be 1/(-5) + (-182)/(-35). Solve p*i + 3 = -o + 1, -3*o - 6 = 2*i for o.
-2
Let l(i) = 14*i**2 + 3*i + 3. Let r be l(-2). Suppose 79 = -4*v - r. Let t = 56 + v. Solve 4*g - t = -f, 0*f + 2*g = -2*f + 16 for f.
3
Let t(r) = r + 16. Let o be t(-7). Let g = 2 - 2. Let p = g + o. Solve 0*i = -c + 3*i + p, -3*c + 4*i + 17 = 0 for c.
3
Suppose 2*u = 3*u - 5. Suppose u*t - 15 = -5. Let n be ((-2)/t)/(1/(-4)). Solve 0*l = 5*d - 4*l - 11, n*l = -16 for d.
-1
Let z(o) = -o**3 + 9*o**2. Let s be z(9). Solve -3*v + x - 16 = -s*v, -3*v - 3*x = 0 for v.
-4
Let b be (-12)/8 - 26/(-4). Solve 0 = -b*p + 4*d + d, 2*d - 35 = -5*p for p.
5
Let v = 26 - 23. Solve -4*q = -v*w + 27, 2*w - 3*q = w + 14 for w.
5
Let i(d) = 2*d + 1. Let k be i(1). Suppose 0 = -k*w + 5 + 7. Suppose -28 = -4*t + 7*f - 2*f, 0 = -2*t - f. Solve 5*h - w*j = 18, t*h - 6 = -3*h - 2*j for h.
2
Let m be -1*9*(-8)/4. Let x be (-6)/m - (-20)/6. Let a(p) = p**2 + 16. Let s be a(0). Solve x*k - s = g, 4*g - 16 = -0*g - 4*k for g.
-1
Suppose 17 + 23 = 8*k. Solve -5*x = -r - 28, r + x + 23 = k*x for r.
-3
Let h(q) = q**2 + 10*q + 9. Suppose -f + 31 = -4*u, -2*f = 2*u + 2*f + 38. Let i be h(u). Solve i = g - 3*n - 13, -4*n = -g - 8*n - 15 for g.
1
Let p(z) = -6*z + 2. Let o be p(6). Let j = o - -59. Solve -2*c - 3 + 6 = -5*d, -5*c + j = 5*d for d.
1
Suppose -8*g + 3 = -5*g. Suppose -f - g = -3. Suppose 0 = 5*a - 4*x - 37, 4*a = -x + 15 + f. Solve c - 4*z + 7 = 0, 4*c = c - a*z - 4 for c.
-3
Let w be (60/(-25))/((-9)/30). Let r be w - 2 - (2 + 0). Solve 7*j - 30 = 5*b + 2*j, 2*b + r*j + 6 = 0 for b.
-5
Let p(i) = 13 - 2*i + 6*i + 2*i + i**2 - 20. Let g be p(-7). Solve g = 3*v - 2*u - 2*u + 1, v - u = 0 for v.
1
Let t be (4/((-8)/10))/(-1). Solve 0 = -5*k + t*v + 25, -6*k + 4*v + 16 = -3*k for k.
4
Let s be (-3)/(12/(-56)) + 3. Let i = -12 + s. Solve -2 = 2*a - 2*l - 2*l, 7 = 2*a + i*l for a.
1
Suppose 3*y = 4*h - 20, -2*y + 0*y = 4*h - 20. Solve -3*f + 8 + h = 4*v, -5*v + 17 = 4*f for v.
1
Let t(d) = d**2 + 2*d - 1. Let h be t(-5). Suppose 3*v - 2*v - 4 = -2*p, 2*p - v = 8. Solve -p*u + h = -5*x - 0, 4*u + 2*x = -16 for u.
-2
Let d = 7 - 5. Suppose 4*g = v + 3*v + 8, -2*v = g - 8. Suppose -v = -d*m + m. Solve -x + 8 = 3*s, 0 = 3*x + 1 + m for s.
3
Suppose -4*u + 6*u - 10 = 0. Solve -u*r - 2*i + 35 = -5*i, 3*r - i = 17 for r.
4
Let w = -11 + 39. Let p be (2/4 - (-3)/(-2)) + -3. Let n be ((-35)/w)/(1/p). Solve 0 = n*c - 20, -y = -2*c + 2 + 2 for y.
4
Let s be -1*1/1 + 5. Suppose -4*j - 3*c = 908, 2*c - 285 = 2*j + 155. Let a be j/(-22) + s/(-22). Solve -2*w = 5*u - u + 16, 0 = -3*u - w - a for u.
-2
Suppose 10 = 2*h - 0*h. Suppose h = 5*b - 3*w - 3, w - 12 = -2*b. Solve -3*g = -3*r + 12, -5*g - 9 = b*r - 4*g for r.
-1
Suppose 0 = 2*t + 2*a - 0 + 8, 2*t + 5*a + 20 = 0. Solve t = -2*h + 3*l - 13, h = 5*l - 24 for h.
1
Let l(a) = a**2 - 6*a - 7. Let p be l(7). Suppose p = 3*q - 17 + 2. Suppose 0 = o - 2*h + h - 2, -4*h = -q*o + 12. Solve -o = 3*y - c, 2*c + 6 = y - 2*y for y.
-2
Let m(z) = 7*z**3 + z**2 + z - 4. Let p(t) = 3*t**3 + t**2 - 2. Let q(r) = 4*m(r) - 9*p(r). Let d be q(4). Solve o - 9 = d*w, 0*w + 12 = -3*w + 3*o for w.
-5
Let t be 10/7 + (-28)/(-49). Solve 3*j + m = 7, -2*j - 5 = t*m - 3 for j.
4
Let f be -3 + 20/(-12)*-3*1. Solve t - 5 = 0, f*k - 7*k = -5*t + 15 for k.
2
Let r be (5/3 - 2)*-15. Suppose 2*x + 4 = 3*h - 14, 0 = -2*h + 3*x + 7. Suppose 4*d - h = -0*d. Solve z + 21 = d*z + r*b, 3*z = 2*b - 5 for z.
1
Let g(x) = -5*x + 2. Suppose -8 + 24 = 4*y. Suppose -6 = y*m - m. Let j be g(m). Solve -4*l + r + 7 + 0 = 0, 0 = 3*l + 5*r + j for l.
1
Suppose 0*f = -3*f. Suppose -y = -2*x + 2*y + 13, f = x + 3*y + 7. Solve r - 11 = -x*u - 2*u, -5*r - 17 = -4*u for u.
3
Suppose 4*t - 4*x - 16 = 2*t, -x - 6 = -t. Suppose 0 = 3*f + y - 4*y - 15, 7 = -f + t*y. Solve 2*s + 4*c + 7 = -c, -4*c = 5*s + f for s.
-1
Let b(d) = -4*d + d**2 + 4 + 0*d**2 + 3*d. Let w be b(0). Suppose -79 = -5*q - 3*g, 5*q - 7*g = -2*g + 55. Solve i - q = 3*p, 2*p - w*i = -p - 29 for p.
-3
Suppose -17 = -3*t + 19. Suppose 0 = 5*q + 3*j - 15 - 12, j - 13 = -3*q. Solve -6 = 3*g - q*m, 3*g + m + 2*m = t for g.
1
Let l = -16 - -28. Let v be (-174)/(-36) - (-2)/l. Solve -4*p + 0*p - 2*h = -14, -5*p - v*h + 30 = 0 for p.
1
Let f be (3 + 0)*2/3. Suppose 3*m - f*m + 2 = 0. Let y be m + 0 + (1 - -5). Solve 0 = -2*r - n - 4, 0 = -4*r - 4*n - 0 - y for r.
-3
Let d(g) = g - 4. Let u be d(7). Solve -2*x - 11 = -u*p, 3*p - 1 + 2 = -x for x.
-4
Let s(q) = -q**3 + 4. Let m be s(0). Let k(d) = d**2 - 21*d + 40. Let n be k(19). Solve -3*h - 5 = -2*o - m*h, n*h = 6 for o.
1
Let r(t) = 0*t**3 + t**3 - 3*t - 3 - 5 + 2 + 7*t**2. Let g be r(-7). Solve 0*x + 2*x + 14 = 2*a, -5*a = 5*x + g for a.
2
Let w = -38 - -63. Suppose -8*i + 3*i = -w. Suppose -4*j = -5*k + 11, 0*k = 3*k - j - 8. Solve 3*n - k*v = 0, 0 = n - i*n + 3*v - 2 for n.
-2
Let w be ((-1)/(-1))/(1/4). Let r be 21/5 + (-7)/35. Solve -c = w*o + 20, -2*c = r*o + 34 - 14 for c.
0
Suppose 3*t = -t. Solve 3*d + 13 = -2*a, 2*d + a + 3*a + 22 = t for d.
-1
Suppose 3*f - 60 = -5*l + 8*f, 0 = -2*l + 3*f + 24. Let n be l/(-2)*1/(-2). Suppose -m - 2*m = -15. Solve -n*u + u - 11 = -5*t, 0 = 2*t - m*u + 4 for 