or u.
-4
Let t be 12 + 21/(-14)*4. Solve 0 = -9*p - 30 - t for p.
-4
Suppose 0 = -144*j + 152*j - 8. Suppose z = -z. Let i = z + 3. Solve -i*v - 7 = -j for v.
-2
Suppose -3*c = -4*l + 22, 0 + 6 = -3*c. Solve 0 = -5*g - l*g - 9 for g.
-1
Let d(j) = j**2 + 1. Let z be d(2). Suppose z = 2*n - 11. Let m = n + -6. Solve -h - 1 = -m*h for h.
1
Suppose -5*d - 5*d = -d. Solve -3*h - 16 + 25 = d for h.
3
Let q(l) = -6*l**3 - l**2 - 3*l - 3. Let i be q(-1). Let x(g) = -g - 2. Let r be x(-7). Let s = r + -5. Solve -2*h - 3*h + i = s for h.
1
Suppose 3*r + r = 0. Let n = 967 - 964. Solve 5*v - n*v = r for v.
0
Let u = 19 - 25. Let f = u + 24. Suppose -8 - 8 = -4*b. Solve -b*i + 2 = f for i.
-4
Let y = 4 + 3. Suppose 14 = -0*p + y*p. Solve -q = p*q + 6 for q.
-2
Let k be ((-255)/(-50) - 3/30)*1. Solve 3 = -k*u - 22 for u.
-5
Suppose -s - 2 = -7. Let g(l) = l**3 - 2*l**2 + 3*l - 5. Let d be g(4). Let v = 51 - d. Solve -2*r = -s*r + v for r.
4
Let s(y) = 2*y**2 + 6*y + 1. Let p be s(-4). Let x be 1/(-1)*(-45)/p. Suppose 3*u - x*f - 42 = 0, 5*f + 0*f + 33 = 2*u. Solve -u = -4*a + 11 for a.
5
Suppose 2*m = -3*m + 10. Suppose 21 = m*d - h - 2*h, 2*d - 4*h = 24. Suppose 26 = -4*q + 46. Solve -d = q*g + 14 for g.
-4
Let s be (-1 - 2) + 3 - -2. Let l(k) be the second derivative of -k**5/20 + 5*k**4/12 + 4*k**3/3 - 4*k**2 + k. Let n be l(6). Solve -s*g = -0*g - n for g.
2
Let r(i) = i**3 - 10*i**2 - i + 8. Let v be r(10). Let q be 3 + v + (-5 - -4). Suppose -3*z + 2*k + 9 = q, 2*z - 2*k - 8 = -2. Solve -w - 20 = z*w for w.
-5
Let q = -1450 - -1461. Solve -9*a - 25 - q = 0 for a.
-4
Let l = 10 - -28. Let h = l - 38. Solve 6*u - 11*u - 20 = h for u.
-4
Let f = 2 - 2. Suppose -h = 2*i - 16, f*h + 3*i - 27 = -2*h. Solve w - h*w = 0 for w.
0
Let q(s) = -49*s + 346. Let j be q(7). Solve 2*a - 15 = -j*a for a.
3
Let p(v) = 2*v**2 - 9*v + 6. Let z = 9 + -5. Let x be p(z). Solve x*c - 15 + 5 = 0 for c.
5
Let j = 17 + -7. Suppose 6 = 4*a - j. Suppose 0 = -h + a*c + 19, -3*h - 2*h = -c - 19. Solve h*k + 2 = 11 for k.
3
Suppose 0 = 3*j - 6*j. Let o be 6*((-36)/(-8) - 3). Let t(a) = -a + 14. Let q be t(o). Solve -q*z + 10 + 0 = j for z.
2
Let y be (0 + 6/(-8))*-8. Suppose 14*k = 25*k + 19*k - 150. Solve -1 = -k*h - y for h.
-1
Let w(n) = -n**3 - 5*n**2 + 15*n + 7. Let p be w(-7). Suppose 4*l - 23 = -k - 2, p = 5*l - 5*k - 20. Solve -1 = l*b - 26 for b.
5
Suppose 0 = -l - 3, -5 = -r - 4*l - 9. Solve -12*j + 16*j + r = 0 for j.
-2
Let t = 136 - 134. Solve 0 = -7*n + t*n + 10 for n.
2
Let c be ((-76)/57)/(2/3). Let u be -3 + 16/3 + c/(-3). Solve -u*f - 1 = 2 for f.
-1
Suppose 1047*s - 1050*s = 0. Solve -4*k - k + 20 = s for k.
4
Let h(m) = -m**3 - 3*m**2 - 4*m. Let b be h(0). Solve b = p + 130 - 129 for p.
-1
Let s be -2*(14/4)/(23/(-46)). Solve s - 11 = -3*y for y.
-1
Suppose -6*t = -5*t - 161. Let g = 165 - t. Solve 0 = -2*k - 0*k - g for k.
-2
Let j(g) = -g**2 + g + 132. Let l be j(-11). Solve -v - v + 8 = l for v.
4
Let u(d) = -d**2 - 16*d - 48. Let k be u(-5). Solve 3*o + 8 = -k for o.
-5
Let c(t) = 9*t + 37. Let p be c(-3). Solve -p*m + 10 = -10 for m.
2
Let i be 9/2*2/3. Suppose 2*n - 40 = 5*z, 4*n + 0*n - 4*z - 56 = 0. Let g be 0 - -6 - (2 + -1). Solve n = -g*v + i*v for v.
-5
Suppose -3*x + 0 = -4*v - 1, -2*v - 2*x + 10 = 0. Let o be 1/(-6) + (-93)/(-18). Suppose -4*j + v*z + 60 = -0*j, -o*j = -5*z - 85. Solve -2 - j = 5*t for t.
-3
Suppose -3 = -3*r, 3*x + r + 9 + 59 = 0. Let j = -17 - x. Solve 3*w = j*w - 9 for w.
3
Suppose 33*s - 312 = -71*s. Solve 15 = -0*g + s*g for g.
5
Let w be 0 + (1*6 - 1). Suppose 20 = 5*g, 3*a - 2*a + 2*g = 12. Let v be -6*(-1)/3*21/6. Solve a*k = v + w for k.
3
Let u(x) = -x**2 + 14*x - 30. Let t be u(12). Let a(m) be the second derivative of m**4/12 + m**3/2 - 7*m**2 + 2*m. Let v be a(t). Solve v*g - 5 - 7 = 0 for g.
3
Let t(w) = 12*w**2 - 217*w + 37. Let n be t(18). Solve 35 = -4*c + n for c.
-4
Let g(n) = n**2 + 14*n + 4. Let b be g(-13). Let v(u) = -3 + 0*u + u - 3 - 2*u. Let a be v(b). Solve -5*c + a*c = -6 for c.
3
Let m be (-2)/(((-6)/(-9))/(-1) - 0). Solve 1 = t - m for t.
4
Suppose -8*h + 10*h - 120 = 0. Solve 5*v - h + 75 = 0 for v.
-3
Let u(q) = q**2 - 11*q + 16. Let i be u(10). Suppose 2*m = -i*m. Solve m*f = 5*f for f.
0
Let q be 13419/49 + (-3)/(-21). Solve q*m = 269*m + 20 for m.
4
Suppose 4*t - 37 = -169. Suppose 2*u - u + 41 = -2*q, -4*u - 4 = 0. Let j = q - t. Solve -1 = 4*s - j for s.
3
Let a be (-6)/(5 + 17/(-3)). Solve 0 = -3*h + a + 3 for h.
4
Suppose 2*d - 14 = -0*y - 2*y, -3*y + 4*d = 0. Suppose 3*h + 5*p + 15 = 0, 4*h + y*p + 13 = 1. Solve h = -4*o + 3 - 7 for o.
-1
Let w = -587 + 590. Solve 11*c + w = -52 for c.
-5
Let f be (-228)/14*(-140)/30. Solve 0 = 73*s - f*s + 15 for s.
5
Let m(r) = r**3 - r**2 + 7*r + 9. Let q be m(-1). Solve 4*v - 9*v - 10 = q for v.
-2
Let r be (-1)/2*0/(-3 + -2). Solve 2*q = -r*q + 2 for q.
1
Let h(w) = -w**3 + 13*w**2 + w - 9. Suppose -3*s - 4*q = 2*s - 40, -12 = 2*s - 4*q. Let t = 17 - s. Let d be h(t). Solve n + 10 = -d*n for n.
-2
Suppose -v + 135 = -5*l, 34*l = 29*l - 5*v - 105. Let r = 80 + -51. Let w = l + r. Solve -4 = w*i - 1 for i.
-1
Suppose h = -4*y - 10, 14*h - 19*h + 5*y + 75 = 0. Solve h = -4*n - 2 for n.
-3
Let y = 14 - 10. Let c = -56 + 88. Let q be c/10 - 20/100. Solve 5*f = q*f - y for f.
-2
Suppose -4*r = 4*c - 9*c - 32, 0 = 3*r - 2*c - 24. Solve -13*i + r = -11*i for i.
4
Let j = 11 + -6. Suppose 0 = -5*r - 25, -j*r = -n - 4*r + 21. Solve 4*c + 0*c - n = 0 for c.
4
Let c(v) = v**2 + 3*v + 4. Let g be 0/(2 + (-3 - -2)). Let f be c(g). Solve f*o + 3 = o for o.
-1
Let c = -124 + 130. Solve r = -c*r + 14 for r.
2
Let q(u) = -u**2 - 4*u - 3. Let c be q(-6). Let f = -11 - c. Suppose -5*y + 2*h + 2*h = -31, 0 = -h - 4. Solve y*w + 8 = -f for w.
-4
Let m = 14 + -2. Let p be (32/14)/(m/42). Solve 0 = -3*k + 23 - p for k.
5
Let m(l) = -l + 7. Let y be m(5). Let b(t) = 2*t + 4. Let n be b(y). Solve 0 = -4*x - n for x.
-2
Let i(u) = u**2 + 24*u - 364. Let k be i(12). Solve q - k + 66 = 0 for q.
2
Let t be -7 + (-2 - 41/(-1)). Solve -b + 9*b = t for b.
4
Let g(q) = q**3 - 8*q**2 - 47*q - 9. Let f be g(12). Let j(o) = o**2 - 2*o - 4. Let i be j(-4). Solve -8*n = -f*n + i for n.
-4
Let r(g) = g**2 - g. Let k be r(4). Suppose 0 = 3*p - 5*h - k, 0*p + 4*h = -2*p + 8. Suppose -2*c + 8 - 2 = 0. Solve c*t = p*t - 1 for t.
1
Let t(y) = 2*y**3 - 11*y**2 - 8*y + 18. Let q be t(6). Solve -10*f + q = -4*f for f.
1
Suppose 4*h + 8 + 8 = 0. Suppose 0 = 5*z - 2*x - 30, 27 = 3*z - 81*x + 78*x. Let n = z + h. Solve n = -4*l - 0*l - 16 for l.
-4
Let c(y) = y**3 + 17*y**2 + 18*y + 40. Let k be c(-16). Solve k*o = 11*o for o.
0
Let i = 110 + -105. Solve -i*u = u for u.
0
Suppose -4*a = 3*y - 54, -4*a + 82 = -4*y + 182. Solve 5*i = -y + 37 for i.
3
Suppose 3*g - 3*s - 60 = 0, 3*g - 3*s = 2*g + 14. Solve -27*k - 20 = -g*k for k.
-5
Suppose 2*z = 4 - 2. Let x be (0 + z)*5/1. Suppose -y + 2*q - 10 = -4*y, 5*y = -x*q + 15. Solve o - 15 = y*o for o.
-5
Let s(j) = -2*j + 6. Let n(p) = 3*p - 13. Let f(k) = -3*n(k) - 5*s(k). Let r be f(-3). Solve -2*q - 4 = -r for q.
1
Suppose j + 19 = -4*v, -3*v - 5 - 19 = 4*j. Let f = v + -2. Let a = 9 + f. Solve -2*k + a = -3*k for k.
-3
Let u be (-12)/(-6) + 4 + -4. Suppose 3*g = -2*t, u*g - 4*t = -t + 13. Suppose 4*c - 18 = 2*c. Solve b - c = -g*b for b.
3
Suppose -4*v - 3*d + 17 + 10 = 0, -4*d + 17 = -v. Solve -n = -v*n + 6 for n.
3
Suppose -6*k - 4 = -16. Suppose 2 = -k*s, 5*p + 0*s - 46 = s. Suppose -3*x + 7*x + 15 = -3*v, 0 = -5*x + 2*v + 10. Solve -w - 2*w - p = x for w.
-3
Suppose 3*r + 13 + 29 = 0. Let g(o) = 4*o - 65. Let z be g(22). Let f = r + z. Solve 2*a - f = -3 for a.
3
Let j = -229 - -235. Solve x - j = -1 for x.
5
Let u(w) = w**2 - w - 1. Let p be u(-1). Let r = 1 - p. Let n = 3 + r. Solve 0*i - n = -3*i for i.
1
Suppose 9*u = 4*u - 10, -5*g - 4*u - 8 = 0. Suppose 6*t - 17 - 1 = g. Let s(i) = -i + 10. Let h be s(0). Solve -t*q = -q - h for q.
5
Let u(b) = -b**3 - 46*b**2 - 44*b + 48. Let h be u(-45). Solve 0*f = h*f for f.
0
Let i be ((-6)/(-12))/(3*(-3)/(-36)). Solve -i*d + 8*d = -30 for d.
-5
Let j(w) = 2*w**2 + 2*w + 36. Let a be j(0). Let x = a - 33. Solve -3*h - 3 - x = 0 for h.
-2
Suppose -q - j = q, 2*j = 4*q. Let h be 4 + -1*((0 - 1) + q). Solv