 5*d + 15 for n.
0
Let t be (-3)/15 - 52/(-10). Let v be 6/9 + 112/12. Let b = v - 8. Solve t*w + 5 = -4*i, b*i = i - 5 for w.
3
Suppose 5*m = 11*m - 234. Let s = 42 - m. Solve w = 3*j + 3 + s, 0 = -4*w - j + 11 for w.
3
Suppose 3*x + 112 = 4*f + x, 5*x = 5*f - 150. Let k = f + -21. Solve -3*a - 2*y - k = 4, 2*a - 1 = y for a.
-1
Let s = -1178 - -1182. Solve s*d - 10 = -2*k, 7*k + 25 = d + 3*k for d.
5
Suppose -4*b + 11 = 2*g + 15, 0 = 3*g + 6. Solve -5*d - 2*j + 25 = 0, 3*d + d + 2*j - 20 = b for d.
5
Suppose -19*c + 49 + 46 = 0. Solve -c*f + 5*d + 4 = -11, 4*d = 8 for f.
5
Let c = -14 + 19. Solve -2*q - i = 2, 0 = -5*q + 2*q - c*i - 17 for q.
1
Let j(u) = u + 5. Let s be j(-3). Let x = 2716 - 2716. Solve p + 10 = -s*b, x*p + 4*p = -16 for b.
-3
Let s = 18 + 9. Suppose 3*z + s - 1 = 5*m, 4*z + 8 = 0. Let j be 4*3/(-18)*-3. Solve -2*d + 13 - 3 = j*p, 0 = m*p - 2*d - 20 for p.
5
Suppose 0 = 4*a - 537 + 145. Let y = 102 - a. Solve 0 = -3*n - y*h + 4, 2*n - 3*n - 4*h + 4 = 0 for n.
0
Let u = 104 + -105. Let y be (u/(-4))/(16/192). Solve 5*l - y*g = 26, 4*l = 2*g + 2*g + 24 for l.
4
Let g be ((-3)/9)/(1/(-12)). Suppose g*q - 15 = q. Suppose 19 + 1 = q*o. Solve -4*s - 3*l - 1 = 2*l, o*l + 4 = 0 for s.
1
Let f be (-15)/5 - 2*(-14)/4. Solve 0 = f*h + 3*n + 20, 6*n - 4*n = 0 for h.
-5
Let q be 0 - 5*(1 - 2). Let f = 38 + 11. Suppose f = 15*a + 4. Solve k - 7 = -q*g - 22, g - k = -a for g.
-3
Let j be 12/10*-9*(-80)/216. Solve -4*p - 1 = m - j, 2*m = -10 for p.
2
Let f = -165 - -299. Let i = -131 + f. Solve -i*v + 3*p - 18 = 0, -5*v - 33 + 7 = -4*p for v.
-2
Suppose -668*w + 110 = -657*w. Solve -4*j + 8 = 0, 4*s + 5*j = 2*s + w for s.
0
Suppose -z + 30 = z. Suppose -5*a - z = 0, 5*n - 4 - 22 = 2*a. Suppose 2*p + 81 = 3*j, p - 6*p + 85 = 4*j. Solve n*c - 26 = -3*f, -5*f - c = 2*c - j for f.
2
Let o = -491 + 494. Solve z = -2*q + 1 + o, 5*z - 5*q - 5 = 0 for z.
2
Suppose -2*m + 10 = -0*m. Let j = 56 - 51. Let d be 0/j - -1 - -1. Solve 19 = -5*c + 2*s, -m*c = -d*c + s + 7 for c.
-3
Let d(n) = 5*n**3 - 44*n**2 - 10*n + 11. Let k be d(9). Solve 0 = -2*t - 4*q + k, q = -2*t + 5*q - 22 for t.
-5
Let d be 24/16 - (15/(-6))/5. Let z = -5 - -5. Let i = 4 + z. Solve 0*n + 2*n - 4 = d*t, -i*t - 4*n + 24 = 0 for t.
2
Let k = -4 - 5. Let b(g) = g**3 + 9*g**2 + 2*g + 8. Let t be b(k). Let y = t + 15. Solve -d + y*x = 13, x = -d - 2*d + 9 for d.
2
Suppose -19*w = 22*w - 36*w. Solve -5*p + 2 = k, w*p + 10 = -2*p - 4*k for p.
1
Suppose 4 = 4*t + 3*c, -3*t + t + 20 = -3*c. Solve -2*f = -4*f + q + 5, f - t*q - 6 = 0 for f.
2
Let u = 9 - 7. Suppose 3*t - 4 = u*t. Solve h + 6 + 1 = 2*i, t*h + 4*i = 8 for h.
-1
Let n(h) = 2*h - 2. Let u be n(-4). Let j = 14 + u. Suppose 0 = 2*q + 1 - 9. Solve 5*w - q = z, 4*z + j*w = -12 - 4 for z.
-4
Let g = -1120 + 1129. Solve 0 = 2*z - z - 4*y - g, 0 = 3*z - 3*y for z.
-3
Let p(o) = 6*o**2 - 37*o + 39. Let n be p(5). Solve 0 = -s + n*v - 21, -5*s - 8 = -v + 21 for s.
-5
Let s be (-112)/(-40) - (-8)/40. Solve -6 = -0*l - 2*l + s*x, 4*l - x + 8 = 0 for l.
-3
Suppose -x + 1 = -r, -2*x - 2*r = 3*x - 26. Suppose 0 = 5*z - k - 2, -x*z + 3*k = z - 6. Solve 21 = -4*d + h, 2*d - 3*d - h - 4 = z for d.
-5
Let r(b) be the second derivative of b**3/3 + 7*b**2 + 4*b. Let x be r(-7). Suppose -q = -x*q - 19. Solve y = -k + 1, -2*y = -5*k - 0*k + q for k.
3
Let k be 6 + 8/(-4) - -1. Suppose k*l = l + 132. Suppose -27 = -5*f + l. Solve -5*n + m - 2 - 11 = 0, -3*n + 2*m - f = 0 for n.
-2
Let p = 8 + -9. Let i = 1 + p. Let q be i*(-3 - (-10)/4). Solve -2*h - g - 11 = 2*h, q = 4*g + 12 for h.
-2
Let n = 77 + -69. Let s be 0/(-4) - (1 - 1). Let u be -1 + (8/2 - s). Solve r = u*a - n, 0 = 5*r + 3*a - 2*a - 24 for r.
4
Let a = 82 - 77. Let y be (-10)/25 + 2/a. Solve 5 = -4*u + 5*h, -1 = -h - y*h for u.
0
Suppose -6 = -2*v - 0. Suppose -v*h = -2*h. Suppose 2*d + 0 = -5*o + 10, h = -5*o + 3*d + 35. Solve -2*u - 13 = 5*g, -5*u - 14 = -2*g + o for g.
-1
Let i = 76 - 77. Let c be (6*7/21)/((-1)/i). Solve -7 = c*s + z, -z = -4*s - 6 + 1 for s.
-2
Suppose 5 = -8*a + 3*a + 5*k, 2*a - 12 = -5*k. Suppose -a = -l + 3. Solve 4*v - 2*o - 28 = -7*o, -4*v - 8 = -l*o for v.
2
Let z = -13 - -16. Suppose -4*a = -3*a - z. Suppose a*h + 18 = 5*w, 5*w - 5*h - 20 = -0*w. Solve 2*d + 0*v = -2*v, w*d = 4*v for d.
0
Let j = -123 + 128. Solve 2*d - 2*w - 8 - 2 = 0, -2*d + 10 = j*w for d.
5
Let u(t) be the third derivative of t**4/24 - 5*t**3/2 + 13*t**2. Let o be u(17). Solve 4*p - 3 - 4 = -3*d, 1 = -o*p + 3*d for p.
1
Suppose -6 = -n - n. Let x be 7/n - (-3)/(-9). Suppose -i + 2*i = 2. Solve i*u + 4*k - 8 = 7*u, x*u - 3*k + 6 = 0 for u.
0
Let g be 3363/708 + (-1)/(-4). Suppose 0*k - 4*k = 0. Solve -5*f - 5*n - 30 = k, 0*n - 3*n - 24 = g*f for f.
-3
Suppose -c + b = -2, -9*c + 7*c - 2*b + 20 = 0. Solve 4*u + 3 - c = -r, -5*r - 2*u = -15 for r.
3
Let g be (-2)/((10/(-110))/((-14)/(-4))). Suppose -9*y - g = -16*y. Solve 0 = -u - 2*u + 5*r - 11, -2*r + y = u for u.
3
Let d(z) = -z**3 - 13*z**2 - 23*z - 9. Let q be d(-11). Solve -p + 5 = 3*t, -3*t = 3*p + p - q for p.
-1
Let u be (-1)/(-1) - (2 + -15 + -2). Solve 2*x = -a - 4*a - u, -5*a = 5*x + 10 for a.
-4
Let h(p) = p**3 - p**2 - p + 10. Let q = 8 - 4. Suppose -q*w = -7*w. Let s be h(w). Solve 0*r + 5*r = s, 2*b + 8 = 2*r for b.
-2
Let i be 1120/28 - (-2 + 12). Solve t + 4*t = k + i, k = -5 for t.
5
Let l be (247/38)/((-4)/(-8)). Solve -2*o + 2*z - 21 = -3*z, o + l = 3*z for o.
2
Let l = 58 - 55. Suppose l*k = 5 + 4. Solve -2*s - 12 = -d, 3*d + k*s - s = -4 for d.
2
Suppose 51 = 8*i + 195. Let q be (-240)/(-108) + 4/i. Solve 5*d - q = -4*f, -f = 4*f - 15 for d.
-2
Let u = -1622 - -1625. Suppose -n - 5*l = -32, 2*n + 22 = 3*n + 3*l. Solve 1 = -u*f - 0*i + 2*i, 2*i = -3*f + n for f.
1
Let f be (-29)/(-3) + 1/(-1 - -4). Let c be (-4)/(-8) - 5/f. Solve 2*g - 4*g = 5*n + 20, -n - 2 = c for g.
-5
Let b(n) = 5*n - 2. Let h(r) = 21*r - 8. Let y(v) = 9*b(v) - 2*h(v). Let z be y(2). Solve 4*x + 10 + 10 = -z*d, -x = 2*d + 8 for d.
-3
Suppose -17*s = -0*s - 68. Solve 4 = -3*f + 2*y + 1, 3*f + s*y = -3 for f.
-1
Suppose 0 = 5*p - 9*h + 4*h - 80, 4*h - 2 = -2*p. Suppose -4*w = -p - 73. Let b be (-2)/6*0/(-2). Solve b = 4*m + 3*y, -3*y + w = 2*m - 5*m for m.
-3
Let b(m) = -15*m - 3. Let y be b(-2). Let l be (-6)/33 - y/33. Let c = l + 6. Solve 0 = 2*t + 4*r + 8, -5*r + 2*r - c = t for t.
-2
Let n be ((-27)/(-9) - (-4)/(-2)) + 7. Solve 31 = 5*w + 4*y, -5*w + 5*y = -n*w + 29 for w.
3
Let x(w) = -w**3 - 6*w**2 - 7*w - 6. Let y be x(-5). Suppose -6*f + 24 = -0*f. Suppose -28*u + f = -26*u. Solve 4*r = 5*r - u*d, y*r = d for r.
0
Let t(g) = 2*g - 18. Let c(v) = 2*v - 18. Let h(z) = 3*c(z) - 2*t(z). Let j be h(15). Solve -5*f - 2*a + j = -7, 0 = 4*f + 4*a - 20 for f.
3
Let m(v) = -2*v + 1. Let w be m(-1). Suppose -z + 0*z - 1 = 0, -w*r - z = 1. Solve r = -5*g + 2*c - 3, c - 2 = -0*g + 3*g for g.
-1
Let i(n) = 3*n**2 - 7*n + 3. Let x(a) = -2*a**2 + 4*a - 1. Let c(p) = 3*i(p) + 5*x(p). Let g be c(0). Solve -4 = 4*b + 4*j + 8, 3*b - g*j = 5 for b.
-1
Suppose 0 = 4*v + 2*z - 4, v = -5*z - 7 - 1. Solve v*f = 2*l + 2, -5*f + 4*l = -10*f - 40 for f.
-4
Let t be (-45)/((-1 - 0)*1). Let o = 48 - t. Solve o*k = -4*s + 10, 6*k - k + 30 = 5*s for s.
4
Suppose -4*p + 4*j = 2*j - 30, 5 = 2*p + j. Let f = 21 - 16. Suppose 4*y - 3*u - 9 = 0, 5*y + 0*y - 10 = f*u. Solve y*x - 2*x = -p*k - 5, -5 = 5*k - x for k.
-1
Let j(i) = 2*i**2 - 12*i - 77. Let u be j(-4). Solve 3*h - 2*d - 6 = d, 4 = -u*h + d for h.
-3
Let t(v) = 7*v**3 - v**2 + 3*v + 23. Let a be t(0). Solve 16*f - 11 = y + 11*f, 2*y + 5*f - a = 0 for y.
4
Let y(m) = m**2 - 8*m + 9. Let f be y(8). Let c = 14 - f. Suppose 3 = 2*h - c. Solve -3*x = -0*n + 3*n - 15, 5*x + h*n = 21 for x.
1
Let f(o) = 21*o - 4. Let r be f(2). Let m be r/(-6) - 2/(-6). Let z be (8/m)/((-22)/33). Solve 0 = 4*c + 4*w + 4, -z*c + 2*w = 2*c + 4 for c.
-1
Suppose 3*h + 4*s - 23 = 0, 7 + 3 = h - s. Solve -d = 5*w - 20, 4 = -d + h for w.
3
Let x = -153 + 103. Suppose 4*s = -2*v - 70, -2*s = 4*v + 4 + 124. Let a = v - x. Solve 4*q - a = -5*c, 4*q + c - 13 = -2*c for q.
1
Let y(x) be the first derivative of -x**2 + 42*x - 9. Let v be y(11). Solve -2*q = -4*q - t + 11, v = 2*q + 4*t for q.
4
Suppose -11*j = -9*j + 20. Let r(s) = -s - 6. Let b be