 s*h, 4*p = -4*h for p.
0
Let a(m) = -2*m**2 - 14*m + 19. Let s = -32 + 24. Let t be a(s). Solve q - 3*y - t = 0, 2*y - 3*y = 2*q + 1 for q.
0
Suppose -2*i = 3*x - 11, -4*x - 6*i = -i - 17. Solve -d = 2*l - 5*l - 16, -4*d = -x*l - 19 for l.
-5
Suppose -5*v - 5 = -4*z - 45, 3*v - 37 = 5*z. Solve 3*q = -v*m - 23, 5*q - 6*q + 5 = -5*m for q.
-5
Let b be (-30)/225*6*(-5)/2. Solve 2*l = -3*d, 5*l - 5 - b = -4*d for d.
-2
Suppose 7 = o - d - 2*d, 5*d = 5*o - 15. Solve 3*x + c = 9, -4*x + o = 4*c - 3 for x.
4
Suppose 22 - 8 = 7*i. Solve -7*a - 2*c - 11 = -i*a, -3*a + 2*c = -3 for a.
-1
Let l = 16 + -14. Let b(f) = f + 6*f - 7 - l*f - 4*f. Let x be b(12). Solve 0 = -0*z - 4*z, -v + z = -x for v.
5
Let r(p) = -2*p**2 + 9*p + 12. Let v be r(5). Suppose 16*u = v*u + 36. Let y = 5 + -4. Solve -u*m + f = 12, -11 = -m + 4*f + y for m.
-4
Let k(j) = j**2 - j - 1. Let a be k(1). Let n = a - -3. Solve 27 = -5*i - 4*h, -2*i + n*h = -0*i for i.
-3
Let n be (4/(-3))/(2/(-15)). Let y = -16 + n. Let w be (-4)/y*(6 + 0). Solve -4*x + w*a + 12 = 0, 5*x + 3*a + 0*a = 15 for x.
3
Let h be (0/(2 - 0))/1. Suppose h*i - 2*i - 136 = 0. Let u be (-8)/(-28) - i/7. Solve c = 5*o + 2*c + u, 0 = -2*o + 3*c + 13 for o.
-1
Let u(c) = 3*c**2 + 45*c - 38. Let a be u(-16). Solve 2*g = -4*b - a, -2*g = -9 + 3 for b.
-4
Let x = 141 + -85. Suppose 5*s = -4*c + 64, -4*s + 4*c + x = 12. Solve -w = -2*k - 6*w + 20, s = 4*k + 3*w for k.
0
Suppose 4 = 5*j + 3*s, 4*s + 6 = s. Suppose -6*h + 89 = -j*h + 3*n, 0 = -4*h + 2*n + 74. Solve -2*a = 2*a - h, 14 = 3*g + 4*a for g.
-2
Let u be 1 + (2 - (1 + 0)) - 2. Suppose -3*w - 16 + 16 = u. Solve -5*r - 3*a - 8 = 0, w*a = 2*r - a + 12 for r.
-4
Suppose 13 = 3*o + 4. Suppose 0 = x - u - 5, u = 2*x - o*u - 8. Suppose -2*n - 3*g = -21, -3*n + g = -2*g + x. Solve 2*f + 2*z = 10, f = -n*f - z + 11 for f.
2
Suppose 0 = -3*m + m + 3*c + 30, -5*m - 4*c + 29 = 0. Let b be (-50 + 52)/(1 + (-3)/5). Solve -6*h = 5*t - m*h - 13, 0 = 2*t - h - b for t.
2
Suppose -l = 3*c - 2, -5*c + 30 = -5*l - 0*l. Let d = 0 - c. Let v be (-6 + 1)/(1 + d). Solve -t = -v, -3*u + u - 4 = -2*t for u.
3
Suppose -3*m + 10 = y - 32, -5*y = 3*m - 54. Solve 18 = 3*s + 3*f, s - 3*f + 1 = -m for s.
1
Suppose 29*h - 20 = 24*h. Solve 20 = -5*w, i - 2*w - h = 8 for i.
4
Suppose -3*r + 4*t - 2 = 60, 0 = 2*r - 3*t + 40. Let h = r + 45. Let b = 19 - h. Solve b = 4*u + z - 12, z = -4*u + 3*z for u.
2
Suppose -l = i - 6*l - 12, -i - l = 0. Let x(y) = 3*y**2 - 3*y + 4. Let d be x(3). Solve 4*r - i*t + d = 0, 3*r + t + 6 + 3 = 0 for r.
-4
Let j(f) be the third derivative of f**5/60 - f**4/6 - 3*f**3/2 + 35*f**2. Let p be j(-2). Solve 2*z = 5*o + 1, 6*o = p*o + z for o.
1
Let y(o) = o + 12. Let w be y(-9). Suppose -4*g - 6 - 26 = 2*m, 0 = 5*m - 2*g + 80. Let d = 44 + m. Solve -2*b - 3 + d = -w*n, 4*b = -3*n + 5 for b.
5
Let h = 166 - 146. Solve 2 = -4*k + p + 1, 4*p = h for k.
1
Let g(p) = p**2 - 3*p - 5. Let c be g(4). Let z = c + -6. Let m = -5 - z. Solve -m*f + 13 = 3*q - 0*f, 4*f = 20 for q.
1
Let o be -3 + -3 + 99 + -3. Suppose -3*l + o = 12. Suppose 4*i + 24 = -2*x + 6*x, -4*x = -2*i - l. Solve 4*r + 2*d + 20 = 0, -x + 3 = 2*d for r.
-4
Let y = 11 - 7. Let p be (1 - -2) + -1 + -1. Let g be (15/(-10))/(p/(-2)). Solve 4*c + 2*z = -6 - 14, g*z = -y*c - 24 for c.
-3
Suppose 4*m = -3*m + 28. Suppose 0*y - 2*y = m*h - 24, 2*h - 5*y = 0. Solve -4*g = -i - 4*i - 11, -2*g = h*i - 13 for i.
1
Suppose 3*q = -0*q. Suppose -4*b + 7 + 5 = q. Solve 0 = -h + n - 4, 6 = 3*h + b*n - 6 for h.
0
Let q(g) = 3*g**3 - g + 2. Let j be q(1). Suppose -4*c + 49 - 17 = 0. Solve -v = 3*v - c, j*o - 14 = -5*v for o.
1
Let x be 2 + -5 + (-20)/(-1). Suppose 113 = 3*o + x. Let b(l) = 5*l**2 - l. Let y be b(1). Solve -o = -y*n + 4*s, s - 2*s - 12 = -2*n for n.
4
Let o(s) = -s**3 - 3*s**2 - 3*s. Let b be o(0). Solve b = -g - i - 8, g + 4*i = 5*i - 2 for g.
-5
Suppose -2*s + 21 = s. Let i(j) = j**2 - 5 - 9*j + 0*j**2 + 3*j. Let q be i(s). Solve 0 = q*r - r, u - 5*r = -1 for u.
-1
Suppose -35*b + 81 + 164 = 0. Solve 5*w = 5*a + 30, -4*a - b*w = -2*w + 15 for a.
-5
Let b = -14 + 29. Let h = b - 12. Solve -3*v = -3*o - 21, 2*o = 7*o - h*v + 25 for o.
-2
Let r be (-4)/(-7) + 44/(-28). Let s be -8*r*4/8. Solve 2*v - s*d + 13 + 7 = 0, 5*v + 2*d = 10 for v.
0
Let f = -6 - 0. Let l = f + 11. Solve 2 = -2*g + 3*p - 2, -g - l*p - 2 = 0 for g.
-2
Suppose -a = 3*i + 3 - 13, -i + 10 = -a. Suppose -3*o = -5*s + 13, -3*s + i*s + o = 14. Solve -4*t - 7*h + 3*h + 36 = 0, s*h - 35 = -3*t for t.
5
Let l = 5 - 3. Let m(q) = -q**2 + 10*q - 14. Let d be m(8). Solve 18 = 4*a + 2*t, d*a - l*t = t - 11 for a.
2
Let d = 227 - 223. Solve -5*b + 33 = -4*s, -2*s - d*b + 23 = 7 for s.
-2
Suppose t + 4*z = 30, z = -3*t - 4*z + 62. Suppose 32 = 3*k + 4*o, 0 = 4*k - 3*k + 4*o - 24. Solve -3*w + 6*w + 6 = 4*s, 2*s - t = -k*w for s.
3
Suppose 5*m + 42 = 3*n, 0*n + 2*n - 28 = 2*m. Let t = 344 + -340. Solve -n = -2*y - 5*p, 3*y + 5*p = t*p - 5 for y.
-3
Let p be -7 + 0/(-1) + 11. Solve 5*l + 11 = -n, n = 2*l + p*n - 6 for l.
-3
Suppose 5*n + 5*a + 20 = 0, -2*n - 3*a + 4 = -7*n. Let r = 7 + n. Suppose 4*w - 5 = -3*u + 3*w, -w + 5 = 2*u. Solve u*q - r*q - 4*c = 0, 4*c = q + 24 for q.
-4
Let f = -2 - -11. Let r be ((-6)/(-4))/(f/6). Suppose -5 = -2*u - r. Solve 4*i = 3*h - 3, 5*i + 0*h = -u*h + 25 for i.
3
Let v = -541 - -546. Solve 0 = -4*f + v*f - 5*y - 2, 4*f = 2*y - 10 for f.
-3
Let t be 13 + -17 + 16*2. Solve 3*i + 0*b = 3*b + 3, 4*b + t = -2*i for i.
-4
Let n be 6/(-66)*-64 + (-6)/(-33). Solve p - 4 = -3*t, 3*t = 3*p - n*p + 6 for p.
1
Let i = 18 + -4. Suppose -q = -i + 11. Solve -a = -5*c + 23, -q*a + 5 = 4*c - 2 for c.
4
Suppose 3*y = 6*y - 6. Suppose -q + 2*j + 85 = 0, 9*j = 4*q + 4*j - 325. Suppose -5*o + y*o = -q. Solve n - 5 = -h, 4*h - o = -4*n - h for n.
0
Let a = 5 - 5. Suppose -2*g - 4 = 6, a = 2*h + g + 13. Let i be h/2 - (-24 + 0). Solve 5*p = 5*c - 0 - 5, 0 = -2*c - 4*p - i for c.
-3
Suppose -19 - 86 = -3*o. Let c = o + -19. Suppose 4*q - 5*v - c = 0, 4*q - 8 = 2*q + 3*v. Solve -3*n = -4*g - 19, 3 = 3*n + q*g - 8 for n.
5
Suppose -n + 53 = b + 9, 5*b + 3*n = 228. Let r = 52 - b. Solve 0 = -2*x - r*z + 6, -8 = -3*x + 5*z + 1 for x.
3
Let b be 1/6*3 - 15/(-6). Let r = 24 + 2. Suppose -d + r = d. Solve 2*y - d = 3*h + 1, -b*y = -5*h - 22 for y.
4
Suppose 46*f = 53*f - 532. Let h = 79 - f. Solve -3 = -4*q - 2*x + 3, x = -5*q + h for q.
0
Let g(p) = -2*p**3 + 16*p**2 - 9*p - 1. Let v be g(7). Let s = v + -15. Solve -m - u = 4*u + 21, -3*m - s = 4*u for m.
-1
Let z(q) = -12*q - 1. Let w be z(-1). Let m be (64/(-5) + -2)/((-14)/35). Suppose -257*f = -258*f + m. Solve -n - 2*j = -w, 6*n - n - f = -4*j for n.
5
Let j = -6 + 3. Let v(b) be the first derivative of -b**2 - b + 16. Let c be v(j). Solve -c*d + k = -25, -2*d - 2*k = -5*k - 10 for d.
5
Let o(m) = m**3 + 5*m**2 + 8*m + 1. Let l be o(-4). Let c = 20 + l. Suppose 3*f - 4 = 2*f. Solve -n - c*i + 4 = -i, n = i + f for n.
4
Let x = 481 - 478. Solve x*u + j + 0 - 15 = 0, 0 = 4*j for u.
5
Let r(q) = -q**2 + 9*q + 2. Let i be r(9). Suppose -i = b - 2. Suppose -25 = -7*z + 2*z. Solve 8 = -2*l + o - b, -5*o + 10 = z*l for l.
-2
Let z = -10 - -33. Let f = z + -42. Let l = f + 21. Solve l*r + 3*u = 4*r - 10, -2*u = 5*r + 13 for r.
-1
Let n(p) = -p**3 - 8*p**2 + 6*p - 22. Let r be n(-9). Solve -r*f + 10 = 2*b, -f - 3*f + 8 = 5*b for b.
0
Let t(r) = -r**2 + 2*r - 12. Let n be t(3). Let q be (-8)/(-6)*n/(-10). Solve 0 = -l - l + 2*u - 10, -14 = 4*l + q*u for l.
-4
Suppose v - 3*c + 7*c - 56 = 0, 2*v - 5*c - 125 = 0. Let u be (-3)/21 + v/28. Solve -3*j = 2*l - 5*j - 6, 5*l - 1 = -u*j for l.
1
Let j(r) = -3*r**2 - 28*r - 5. Let a be j(-9). Solve 5*f = -0*f - a*n - 5, f + 4*n = -17 for f.
3
Suppose 0 = 4*l - 6 - 10. Suppose 3*h - 52 = -4*x, 3*h - x - 16 = l*x. Suppose z - 3*z = -h. Solve g + 1 = 0, 2*c + z = -0*c - 4*g for c.
-1
Let m = -63 - -123. Suppose q - 6*q + m = 0. Let u be 16 - (-8)/q*3. Solve 8 - u = -5*c + 4*n, -5*n = 0 for c.
2
Suppose -5*j - 3*i = -8*i - 60, -2*j + 48 = 4*i. Suppose -2*b - 3*g = -0 - j, 5*b = 3*g - 2. Solve 27 = 5*k + 4*t, 7 = b*t + 1 for k.
3
Let u be (-5)/1 + (-56)/(-7). Solve -4*n + 4*t - 16 = 0, 2*n - t = -5 - u for n.
-4
Let h(r) = -2*r - 17 + r**2 - r + 4*r. Let f be h(-7). Le