or q.
4
Let l(p) = -p**2 + 10*p - 7. Let q be l(10). Let m = q + 14. Suppose 2*t + 8 = 4*z, 0 = 5*z - 0*z - 5*t - 5. Solve -m = z*u + 5 for u.
-4
Let k(o) = -o**3 + 5*o + 5. Let b be k(-2). Suppose -3*t + 20 = -7*t + 4*q, -4*t - b*q + 15 = 0. Suppose -4*c + 2*c + 24 = t. Solve -2 = 2*x - c for x.
5
Let x = 376 + -372. Solve x*d - 2 = 14 for d.
4
Suppose -7*r + 84 = -0*r. Let n be (-16)/12 + 16/r. Solve n = -3*s - 2*s for s.
0
Suppose -4*o + 27 - 121 = -3*m, -m = -2*o - 32. Solve 12 = -m*i + 24*i for i.
-2
Suppose 14 = 3*l + 2. Suppose -4*d = f + 5, -2*d + 13 = 5*f - d. Let z be 2 - (3 + (-4)/1). Solve -l*v = -f*v - z for v.
3
Suppose -25 = -3*z - f, z - 2*f = -0*f + 13. Solve 2*l = -7 + z for l.
1
Suppose 0 = 2*h - 3*v - 16, -6*v = 2*h - v. Let u(n) = 8*n - 37. Let z be u(h). Solve -i - z*i - 12 = 0 for i.
-3
Let l be 45/(-27) - 208/(-24). Solve 0 = -l*s - 51 + 44 for s.
-1
Suppose 104 = -3*n + 122. Solve 0*u - n = -6*u for u.
1
Suppose -4*n = 4*d - 32, 4*n + 69 - 87 = -2*d. Solve d*g + 1 = 6*g for g.
-1
Let w be (-6)/(-4)*-2*45/(-27). Suppose -g + w = -0. Solve g*l - 5 = -0 for l.
1
Suppose -v = 1 - 3. Let y be (10/3)/v*3. Solve 3*i - 4 = y*i for i.
-2
Let u(x) = -x**2 + 10*x + 2. Let b be u(10). Suppose 0 = -b*i + 8 + 2. Solve -17 = i*d + 3 for d.
-4
Let x(k) be the second derivative of -k**4/12 + 13*k**3/6 - 4*k**2 + 3*k. Let n be x(12). Solve 0 = -5*w - 1 - n for w.
-1
Suppose 2*j - 20 = 8. Let b = -5 - -20. Let l = b - j. Solve 2*h + l = 7 for h.
3
Let j be 16/(-14)*(-21)/6. Let v(z) = -z**2 - 14*z - 21. Let i be v(-11). Solve j = 4*f + i for f.
-2
Let h be (1/2)/(3/36). Suppose 0 + 2 = w. Solve -4*a = -w*a - h for a.
3
Let h be 2/(1 + 1) + 279 + -278. Solve -h*a = -15 + 7 for a.
4
Let h(s) = 3*s**2 + 6*s + 22. Let u be h(-6). Solve -3*b - 94 = -u for b.
0
Suppose 0 = -2*h - 8 + 2, 2*h + 214 = 2*n. Let w = n + -100. Solve -3*u - 1 = -w*u for u.
1
Let z(i) = -i**2 + 0*i**2 + i + i**2 + 3*i**2. Let c be z(1). Suppose 1 = c*v - 11. Solve v*s = 5*s - 8 for s.
4
Suppose -4*h - 486 = -7*h. Let t = 164 - h. Solve -2*l = t*l - 20 for l.
5
Let f(r) be the first derivative of r**3/2 + 2*r**2 + r + 4. Let w(p) be the first derivative of f(p). Let i be w(0). Solve -g = g + i for g.
-2
Suppose 2*u - 4 - 10 = 0. Suppose -u*v + 11*v = 64. Let y(k) = -k + 16. Let g be y(v). Solve g = -2*a - 2*a - 20 for a.
-5
Suppose -2*y + 77 = -5*j, 0*y - 5*j - 123 = -3*y. Solve 0 = -4*n - 66 + y for n.
-5
Let y(t) = t**3 - 8*t**2 - 10*t + 9. Suppose -6*g + 5*g = -4. Suppose -g*z + 31 = -5. Let j be y(z). Solve j*a + 3 = -3*a for a.
-1
Let t(u) = -u + 13. Let g be t(3). Solve g*n = 14*n + 16 for n.
-4
Let b(q) = 3*q - 1. Let i(o) = 1. Let n(z) = b(z) + 2*i(z). Let c be n(1). Suppose 0 = 4*j - 4, 0*j - j = c*p - 13. Solve p*f + 12 = -f for f.
-3
Suppose 44 = -h + 49. Suppose -18 = -2*n + h*d, -3*d = -2*n - 0*d + 14. Solve 0 = t - n*t - 9 for t.
-3
Let u = 84 + -82. Solve -u*y + 15 = 7 for y.
4
Let c = 36 + -32. Suppose n = -n + 3*k - 3, -3*k = 5*n - 45. Let p be (-2)/((-1 - 0)/1). Solve -c = -p*g + n for g.
5
Let l be (144/84)/(((-12)/14)/(-3)). Solve -l*x = -0*x for x.
0
Suppose 0*q = -3*q + 9. Suppose -l - 32 = -q*l. Let u = -28 + 33. Solve u*g = g - l for g.
-4
Suppose -1 - 1 = -2*p. Let x be p/(-2)*(-15 + 1). Let l(o) = -o**3 + 7*o**2 - o + 10. Let b be l(x). Solve -v + 6 = -b*v for v.
-3
Let y = -19 + 23. Suppose p = -p - 2*o, -y*p - 5*o = 4. Suppose -p*i = -i - 6. Solve -i*j + 3 = -j for j.
3
Suppose 2*k - 18 = -4*q, 31 = 4*q + 3*k + 10. Let t be 2 + (3 - (q + 2)). Solve -2*z - 3*z - 15 = t for z.
-3
Suppose -11*d + 132 = -66. Solve -4*n + 22 = d for n.
1
Let z(u) = u**2 - 6*u + 19. Let c be z(3). Solve 0 = -13*d + c*d for d.
0
Let l be (-10)/4*(-28)/10. Suppose -2*z - l = -r + 3, 0 = -3*z + 2*r - 14. Let k be (-144)/(-15) + z/(-15). Solve -k = -3*x - 2*x for x.
2
Suppose 7*d = -31 + 45. Solve -d*a + 0 = -6 for a.
3
Let o(x) = -3*x**2 - 21*x + 24. Let k(y) = -y**2 - 7*y + 8. Let c(r) = -11*k(r) + 4*o(r). Let l be c(-9). Let p = l + 10. Solve -g - 2*g + 6 = p for g.
2
Let b be (49 - 49)*(-4)/8. Solve b = 53*y - 62*y - 27 for y.
-3
Suppose -913 - 1387 = -115*s. Solve -s = 15*q + 10 for q.
-2
Suppose -10*u + 18 = -7*u. Let i be 0/1*u/24. Solve i = 5*s + 13 + 12 for s.
-5
Let s be ((-5)/25*-2)/((-7)/(-210)). Solve -3*z = -0*z - s for z.
4
Let m be 8/(-76) + (-702)/(-171). Solve -m = -12*h + 13*h for h.
-4
Suppose 3*y - a = -5*a + 23, -31 = -5*y - 3*a. Let s be 4*(1/(-6))/(y/(-105)). Solve -4*r + 6 = -s for r.
5
Suppose 2*f - 6*f = -16. Suppose 4 = 2*c - f. Suppose d - c*l - 6 = 0, 5*d - 2*l = -5*l + 7. Solve g = -d*g + 6 for g.
2
Suppose 0*a + a - t = 19, 0 = 5*a + 4*t - 77. Suppose -1 + a = 4*v. Let w be (-5)/(-2) - 1/(-2). Solve -f = w*f + v for f.
-1
Let k = 228 - 116. Suppose -2*x = -3*q + 68, -4*x - k = -5*q - x. Solve w = -3*w - q for w.
-5
Let m(o) = o**2 - 8*o + 4. Let h be m(5). Let s = h + 15. Suppose -q - 3*j = 1, 2*q - 2*j - 1 - 5 = 0. Solve 0 = 2*c - q + s for c.
-1
Suppose -4*d - 3*v + 69 = 0, 2*v - 39 = 2*d - 77. Solve 6*p = 12 - d for p.
-1
Let n(f) be the second derivative of 1/12*f**4 + 0 + 5/2*f**2 + 5*f + f**3. Let m be n(-5). Solve r - 3*r = m for r.
0
Let w = 226 - 224. Solve 4 = -2*d + w for d.
-1
Let u(l) = -10*l - 114. Let g be u(-12). Solve 0 = -3*o + 5*o - g for o.
3
Let k(t) = -2*t**3 + 33*t**2 - 107*t - 5. Let h be k(12). Solve -h*j = -14*j - 35 for j.
-5
Let u = -128 - -133. Let q be 52/5 + 6/(-15). Suppose -j = j - q. Solve -u*o + 15 = j for o.
2
Let a be 10 + (-30)/6 + 3 + 1. Solve -a = -5*v + 11 for v.
4
Suppose 4*t + 25 = 5*d + 9*t, -11 = d + 5*t. Solve d*q - 5 = 4 for q.
1
Let p be 10 - (4 + 2 + -8 - 1). Solve -9 + p = -b for b.
-4
Let j(h) = 2*h**3 + 8*h**2 - 4*h + 30. Let m be j(-5). Solve m = -0*g - 10*g - 50 for g.
-5
Suppose 4*q - 12 = 0, -a - 15 = -5*q - 0*q. Suppose a = 4*x + 9 - 21. Suppose 2*p + 18 = 2*w + w, 8 = 5*w + 4*p. Solve x*m - w*m = -5 for m.
5
Let c(g) = -20 - 3*g + 27 + 2*g. Let s be c(4). Solve s*l = 6 + 9 for l.
5
Let a(h) = h**3 + h**2 + h + 1. Let j = 18 + -21. Let d(r) = 2*r**3 + 4*r + 6. Let l(z) = j*a(z) + d(z). Let y be l(-3). Solve y - 5 = -5*t for t.
1
Suppose 3*h = -h + 148. Let l = h + -31. Solve 14 = -4*r + l for r.
-2
Let j be 11/33 - 8/(-3). Suppose -2 = 18*l - 2. Solve 0 = 3*g - l*g - j for g.
1
Let g be 1/(14/6 - 2). Let y(q) = 3*q**2 - 10*q + 5. Let p(z) = 13*z**2 - 41*z + 20. Let u(r) = 2*p(r) - 9*y(r). Let w be u(7). Solve w = g*j - 7 for j.
3
Let s be ((-9)/7)/((-23)/161). Solve -2*m + 17 - s = 0 for m.
4
Let t be ((-3)/6)/(2/(-40)). Solve 0 = -t*o + 6*o - 16 for o.
-4
Let a be 23/5 + (-6)/(-15). Let i = 867 - 863. Solve a*s + i = s for s.
-1
Suppose 0 = 18*x - 16*x - 70. Solve 14*a + x = -21 for a.
-4
Let o be (-44)/(-7) - 8/28. Suppose -18 = -o*y - 0. Solve 0 = -z - y - 1 for z.
-4
Suppose 96*m + 2 = 101*m - 4*f, -3*f = 5*m - 16. Solve -24*u - m = -22*u for u.
-1
Suppose -13*r = 6*r. Solve -4*q + 10*q - 12 = r for q.
2
Let q = 13 + -11. Suppose 0 = -n + 2*j - j - 1, 0 = 3*n + j - 13. Suppose 0 = x - n*a - 6, -3*a + 12 = 5*x. Solve k + q = -x for k.
-5
Let t be (-6)/21 + (-46)/(-14). Suppose -5*w = d - 37 + 3, t*w = -d + 22. Solve w*q - 10*q = 16 for q.
-4
Let u(c) = -8938 + 8933 - c**2 - 2*c - 10*c. Let b(d) = -d**3 + 2*d**2 + d - 4. Let l be b(3). Let g be u(l). Solve 3*t + g = -0*t for t.
-5
Let q be (6/(-9))/(4/(-30)). Let i(x) be the second derivative of x**5/20 - 3*x**3 + 5*x**2 - 15*x + 3. Let z be i(4). Solve -3*t = -z*t + q for t.
-5
Let b be 0*(-2)/2 - -2. Let s = -175 + 173. Let m be 2 - (s/(-1))/(0 - 2). Solve m = i + b*i for i.
1
Let t(n) = 46*n - 159. Let v be t(4). Solve 0 = -g - 24 + v for g.
1
Let y(m) = 3*m**2 + 4*m + 6. Let b be y(-4). Suppose -l = 5*c - b, -5*c = 3*l + 3 - 37. Suppose -3*u - c = -56. Solve -u = -k + 5*k for k.
-4
Let g be (7 - 5)/((-6)/(-21)). Let u = 3 + g. Solve 2 = -4*c - u for c.
-3
Let t(n) = n**3 - 2*n**2 - 9*n + 6. Let q be t(4). Solve q = -v - 2 for v.
-4
Let g(o) = o**2 - 13*o - 11. Let x be g(14). Suppose k + 6 = x*k. Suppose 3*u + 2*a - 9 = 0, 0 = 2*u - 0*u + k*a - 6. Solve u*m = m - 4 for m.
-2
Let m = -1515 - -1539. Solve 10 = -14*h + m for h.
1
Suppose -4*k = 13 - 1. Let l be k/2*(-66)/9. Let b be 1 + 1 + (9 - l). Solve 5*c + 0*c = b for