
-2
Let s(g) = -g**2 - 11*g - 15. Let m be s(-6). Let r = 15 - m. Solve r = -y - y - 10 for y.
-5
Let n = 347 - 342. Solve 0 = -n*f + f - 16 for f.
-4
Suppose 2*v - 14 = -3*c, -2 = -5*v + 3*v. Solve 0 = -c*n + 3 - 7 for n.
-1
Suppose 23 = -5*v + 278. Suppose -2*z + v = -5*z. Let k = -13 - z. Solve 2 = 3*w - k for w.
2
Suppose 5*v = 3*j + 15, -j = 2*v - 3*j - 10. Let k = 498 + -497. Solve v + k = -d for d.
-1
Suppose 6 = -n + 2*f, -3*f - 2*f = -20. Suppose -n*v - 3 + 31 = 4*w, 4*v = -5*w + 29. Suppose -19*m - 1456 = -105*m + 1468. Solve 0 = 5*d + m - w for d.
-5
Let i = 4 + 1. Suppose -i*w = -w. Suppose -6*q - 2*k + 18 = -q, 4*q - 2*k = w. Solve -4*r = -q*r for r.
0
Suppose -40*r = -42*r + 4. Suppose -7*k + 10 = -r*k. Solve i = -k*i for i.
0
Let s be (-1 + 13)/(8/16) - 3. Solve 7*f - s = 14 for f.
5
Let h(a) = a**2 - 5. Let y be h(5). Suppose -7*n = 4*n - 44. Suppose 8*c - 8 = n*c. Solve 3*g + y = -c*g for g.
-4
Let t(l) = -11*l**3 - 3*l**2 + 3*l + 4. Let k(z) = 55*z**3 + 15*z**2 - 16*z - 21. Let b(x) = 2*k(x) + 11*t(x). Let v be b(-1). Solve 3*d = 6*d - v for d.
3
Suppose 4*j - 2*v + 8 = -6*v, -5*v + 15 = 0. Let l be 2 - (-4)/(j/(-3) + -1). Solve 4*i = -8 - l for i.
-4
Let w = 413 + -409. Solve -5*t - 4 = -w*t for t.
-4
Let j = -143 - -145. Solve -8 = -2*x - j for x.
3
Suppose -3*b - 2*b + 58 = 4*i, -4*b + 8 = 0. Solve -4 + i = -4*m for m.
-2
Let a(q) = -q**3 - 10*q**2 + 3. Let u be ((-20)/6)/((-4)/(-12)). Let x be a(u). Suppose -5*z + 4*z + x*c + 6 = 0, -2*z + 4*c = -10. Solve -z*n = n for n.
0
Let s(l) be the second derivative of -l**4/12 - l**3/2 + 15*l**2/2 - 16*l. Let z be s(-5). Solve -z*k = -k + 8 for k.
-2
Let q be (96/(-80))/((-3)/(-100)). Let t = -20 - q. Suppose -2*o + t = 3*o. Solve r + o*r - 15 = 0 for r.
3
Suppose 2*w = 4*w + 2*g - 14, -4*w = g - 19. Solve 7*q + 55 = -w*q for q.
-5
Suppose 0*j - 3*j = 15. Let l(g) be the third derivative of g**6/120 + g**5/15 - g**4/4 - g**3/2 + 56*g**2 + 2. Let z be l(j). Solve 0 = 3*s - 5*s + z for s.
1
Suppose 0 = -12*r + r - 187. Let z = 21 + r. Solve 0*v = -v - z for v.
-4
Suppose -3*a + 7 = -5. Suppose -7 = -d - 3*k, 9*k = -d + a*k + 9. Suppose 4*t - 8 = -2*g + 2*t, -2*g = d*t - 6. Solve -f - g = -6*f for f.
1
Suppose 4*k = 8*k - 16. Suppose w = k*f - 0*f + 11, 3*w - 5 = -2*f. Let u be (1/1 + 0)*17. Solve w*n + 2 = u for n.
5
Let m(g) = g**2 + 8*g - 18. Let z be m(-10). Solve -20 = z*v + 8*v for v.
-2
Suppose -3*n = 5*a - 124, -2*n + 3*a = 4*a - 92. Let o = 50 - n. Solve -3*u + o*u - 2 = 0 for u.
-2
Let h = -8 - 4. Let t = h - 1. Let r be 3*(t/(-3) + -3). Solve r*m = m + 15 for m.
5
Let c be 30/(2 + (-1)/2). Let k = 1069 + -1063. Solve -r = -k*r - c for r.
-4
Let c(i) = -28*i + 509. Let q be c(18). Solve -13*a = q*a + 54 for a.
-3
Let d = -16 - -1. Let s be (-6)/(-10) + (-6)/d. Let x(z) = 3*z + 7. Let o be x(0). Solve -4*i - s = o for i.
-2
Suppose -3*v = -5*x - 0*x + 414, 4*x = -2*v + 340. Suppose 11*j - 4*j - x = 0. Solve 3*g = -g + j for g.
3
Let q = 130 - 91. Solve 0 = q*m - 42*m + 9 for m.
3
Let g(u) = -3*u - 50. Let m = 99 - 119. Let l be g(m). Solve -5*i - 15 = -l*i for i.
3
Suppose -1344 = -133*t + 105*t. Solve -t*v = -53*v for v.
0
Let a = 703 - 695. Solve -10 - a = 6*s for s.
-3
Suppose 2*c + 8 = 3*v, c + 6 = 5*v + 2. Solve v = 6*h + 2*h + 8 for h.
-1
Let x(b) = 8*b**2 + 2 + 2*b**3 - b**3 + 0*b**3. Let m be x(-8). Suppose -3*n = 4*h - 2*n - 1, 4*n = 3*h - 15. Solve h = m*c - c for c.
1
Suppose 27 = 12*g + 3. Solve g*o + 4*o - 12 = 0 for o.
2
Let n(m) = -m**3 + 6*m**2 - 3*m - 2. Suppose v = 4, -3*w + 25 = 5*v - 10. Let h be n(w). Let s be (1 - 4) + h + 0. Solve 1 - s = -4*y for y.
1
Let q = 45 + -29. Let d = q + -14. Solve 4*y + d + 18 = 0 for y.
-5
Suppose 2*b = -48 - 34. Let t = b + 43. Solve 15 = -t*i - i for i.
-5
Let b(d) = 4*d + 6. Let w be (-7)/1 - (-2 + -1). Let o be b(w). Let s = 12 + o. Solve 0 = -2*n - 6 + s for n.
-2
Let x = -41 - -46. Solve 4 - 14 = x*q for q.
-2
Let g(v) = -2*v**2 - 43*v - 9. Let y be g(-21). Solve 17*f - y*f = 10 for f.
2
Let n = -2869 - -2869. Solve n = -5*d + 3 - 13 for d.
-2
Suppose 2*c - 3 = -o + 7*c, 2*c + 98 = -4*o. Suppose b - 130 = -4*b. Let w = o + b. Solve 0*h = w*h for h.
0
Let q = -739 - -748. Solve -7*m = -q*m - 10 for m.
-5
Suppose 91*r - 101*r = -70. Solve -6*o = -r*o - 2 for o.
-2
Let b = -55 + 84. Suppose 5*i + b = 79. Let y be i - (-2 + 3)*1. Solve 2*w = -3 + y for w.
3
Suppose -3*o = 5*k + 126, 2*k - 2*o + 7*o = -39. Let f = k - -57. Let u = -30 + f. Solve 10 + u = 5*v for v.
2
Suppose 4*z + b - 231 = 6*b, -241 = -4*z - 5*b. Let p = -58 + z. Solve p + 2 = j for j.
3
Suppose -5*g - 34 + 54 = 0. Solve 11*l - g*l = 0 for l.
0
Let r = -86 + 90. Suppose -z + 3*o - 9 = 0, -r*z + 3*o = o - 4. Solve -f = -4*f - z for f.
-1
Suppose -3*y - 10 = -2*y. Let c be 15/y*4/(-6). Suppose f = 2*d - 6 + 1, 0 = -5*d - 2*f + 17. Solve -4 + c = d*m for m.
-1
Let d(v) = -v**2 + 4*v. Suppose 4*b - 32 = -4*a, -13 = -5*a - 2*b + 12. Let q be d(a). Suppose 4*i - 2*m + 6*m = 0, -6 = -2*i + 4*m. Solve q*z = i + 2 for z.
1
Let r = 11 - 8. Let o(x) = -x**2 + 8*x + 3. Let v be o(8). Suppose -4*j = -2*j + 4*s, 0 = -v*j - 3*s. Solve j = -2*d + r*d + 1 for d.
-1
Let x(n) = 6*n - 2. Let j be x(1). Let w = 41 + -37. Solve 0 = w*s + j - 12 for s.
2
Suppose 5*x + 188 = 9*x. Suppose 3*l = x + 163. Suppose -2*r + 4*s + l = 0, 0 = 5*s + 4 + 6. Solve r = -5*f + 11 for f.
-4
Let l = 637 - 624. Solve 1 = -6*p + l for p.
2
Suppose 0 = 2*i - 10, -3*k - 5*i = -6*k + 143. Suppose 0 = -13*o + k - 4. Solve -o - 1 = w for w.
-5
Suppose -3*y + 0*y - 5*u - 12 = 0, -4*u - 15 = -3*y. Solve 4*c - y = 5*c for c.
-1
Let b be ((-3)/2)/((-15)/(-620)). Let h = 63 + b. Solve 3 - h = -2*i for i.
-1
Let l = -40 - -49. Suppose 0 = 3*g + 3*a - l, -2*g + 3*a + 6 = -10. Solve 1 + 4 = g*d for d.
1
Let c = 438 + -433. Solve c*n - 15 = 10*n for n.
-3
Let t be ((-4)/(-8))/(-2*(-2)/(-24)). Let x be (-2)/2*1 - t. Solve -5 = x*q + 3 for q.
-4
Suppose 107*g = 106*g + 12. Solve g = 14*j - 17*j for j.
-4
Let h(g) = -g + 14. Let u be h(8). Let v(o) = 1 - 1 - o + u*o**3 - 2*o**2 - 12*o**3. Let y be v(-1). Solve -y = 2*z - 3 for z.
-1
Let y be ((-66)/(-198))/(1/12). Solve 2 = -2*j + y*j for j.
1
Let y = -40 + 19. Let q = -17 - y. Let d(w) = w**2 - 5*w + 2. Let x be d(5). Solve 4*o = x*o + q for o.
2
Let u = 183 - 181. Let m(v) = -2*v. Let c be m(-1). Solve -c*o = -o + u for o.
-2
Let z(c) = c**2 + c - 3. Let n be z(-4). Suppose 3 = 4*u - n. Solve u = 2*v - 1 for v.
2
Suppose a + 7 = 2, -3*u + 2*a = -43. Suppose 3*f = -2*x - u + 17, 4*x + 2 = f. Let g be -1 - 5*1*-1. Solve g*z = -x*z + 4 for z.
1
Let g = -13 - -22. Let l(c) = -c**3 + 7*c**2 - 2*c + 14. Let i be l(7). Solve 2*k + k + g = i for k.
-3
Let m be (-404)/(-12) - 4/6. Let d = -25 + m. Solve -5*p = 7 + d for p.
-3
Let i be 34/(-119)*(0 + 147/(-6)). Solve -i = v - 6 for v.
-1
Let q(d) = -d**3 + 11*d**2 - 3*d - 66. Let l be q(10). Solve 3*x - 19 = -l for x.
5
Suppose 84*i = -10*i. Solve 4*w - 17*w - w = i for w.
0
Let c be (9/((-135)/(-70)) + -4)*18. Solve -5*m + c = -2*m for m.
4
Let u(w) = -w**3 - 3*w**2 - 3*w - 3. Let g be u(-2). Let d = g + 4. Suppose -5*v + 3 = -7. Solve -d = m + v*m for m.
-1
Let p(r) = -4*r**3 - 6*r**2 + 4. Let v be p(-2). Solve v - 2 = -5*s for s.
-2
Suppose 6*w - 41 = -35. Solve 7 - w = 2*t for t.
3
Let f(p) = -p**3 + 5*p**2 + 2*p + 12. Let w be f(5). Let m = 26 - w. Solve m*u + 14 + 6 = 0 for u.
-5
Suppose -15 = 5*l, -3*u + 3*l = 6*l + 174. Let h = 56 + u. Solve -h = 5*a - 6 for a.
1
Suppose 4*c - 48 + 16 = 0. Let s(j) = 5 + 138*j**2 - 1 - 129*j**2 - 6*j - j**3. Let x be s(c). Solve 0 = 3*g + 2*g + x for g.
-4
Let k be 5/(-25) + (-78)/(-15). Suppose 0 = -k*f + 16 + 34. Solve 0*s + 2*s + f = 0 for s.
-5
Suppose 0 = -0*d + d. Suppose -z + 80 - 75 = 4*o, -2*o - 25 = -5*z. Solve d = c - z*c for c.
0
Let a be 138 - (-6 + 5 + 8). Solve -132*v = -a*v + 5 for v.
-5
Suppose 7*c + 2 = 16. Suppose -3*p + 12 = p. Suppose -p*s - 5*v + 0 = -4, 11 = 3*s - c*v. Solve s*u + 12 = -0*u for u.
-4
Let w = 21 + -16. Suppose 2*m + 7*g = w*g + 10, 0 = -2*g. Suppose -p + d + 3 = 0, 3*p - 2*d - 3*d = 15. Solve p = -2*y - 1 - m for y.
-3
Suppose 0 = -7*v + 16 + 12. Suppose 16 = -3*q - v*l, 0 = 7*q - 2*q - l - 4. Solve 0*w + 3*w - 15 = q for w.
5
Suppose