 9 = -296. Let h = -57 - s. Solve 2*a = -0*a - h for a.
-2
Let y be (-38)/(-4) + (-2)/((-4)/(-1)). Solve -16 = -5*u + y*u for u.
-4
Suppose -9 = -2*s + 3. Suppose -4*a + 3*z = -s, 2*a = a - 3*z + 9. Suppose 0 = a*v + 2*v - 50. Solve t = -t - v for t.
-5
Let u = 244 + -239. Solve 6 + 14 = -u*l for l.
-4
Let o be -2 - -3 - 3/(-15)*0. Solve o - 10 = 3*y for y.
-3
Suppose -22*q - 4 = 3*l - 23*q, 2*q - 8 = -5*l. Solve l = -12*n + 7*n + 10 for n.
2
Let b = -65 + 96. Suppose 7*y - 101 = -b. Solve y = -z - z for z.
-5
Let c(r) = -2*r - 7. Let u be c(3). Let m = -12 - u. Let z be 3/(m + (2 - 2)). Solve f = -z*f for f.
0
Suppose -p + 5*n = -13, -5*p - n = -2*p - 23. Suppose -z + 2*z = -p. Let m be 1/(-4) + (-2)/z. Solve 2*b - b = m for b.
0
Let h(y) = 2*y**2 - 11*y + 8. Let f be h(5). Solve -f*d - 5 = -8 for d.
1
Let q(p) = 2*p + 9. Let y be q(-10). Let u = y - -16. Solve 0*f + u*f = 10 for f.
2
Let n(m) = -2*m - 10. Suppose 0 = 4*a - a + 21. Let p be a + (0 - -3) + -1. Let x be n(p). Solve x*z + 9 = 3*z for z.
3
Let h = 306 + -304. Solve 5 = h*c - 3*c for c.
-5
Suppose 0 = -g - 2*g - 4*d + 8, 5*d = -g - 1. Let o(a) = -6*a + 26. Let c be o(g). Solve -3 = c*y - y for y.
-3
Let o(m) = -m**3 + m - 2. Let i be o(-2). Let c(p) = p + 3. Let s be c(6). Let j = s - -1. Solve 6*h + j = i*h for h.
-5
Suppose 0 = 4*h - 2*y - 26, -3*h = -2*h - 5*y - 11. Suppose 3*a - 15*w + 19*w = 30, -2*w + 16 = 2*a. Solve t + h = -a*t for t.
-2
Let b be ((-2)/(-12))/(21/(-168))*-9. Solve -w + 4*w + b = 0 for w.
-4
Let m(v) = -v**2 - v. Let q(a) = -4*a**2 - 14*a - 14. Let p(u) = 3*m(u) - q(u). Suppose 0*k = k + 10. Let z be p(k). Solve 3*o + 1 - z = 0 for o.
1
Suppose -47*q + 35 = -42*q. Solve 5 = -12*z + q*z for z.
-1
Suppose 2*m - 3*j - 2 = -0*m, 3 = 3*m + 5*j. Suppose 5*d = 15, 5*d + m - 16 = -2*h. Solve -2*f - 6 = -h*f for f.
-3
Let w be (-2 - -1) + (12 - -1). Let c = w + -10. Suppose -c*o + 5*a + 0*a = -12, 4 = -2*a. Solve 4 = -s + o for s.
-3
Let w = 1519 + -1519. Solve -3*q + 59 - 56 = w for q.
1
Let q(m) be the first derivative of m**3/3 + 7*m**2/2 - 14*m + 10. Let i be q(-9). Solve i*y + 9 = y for y.
-3
Let h = -9 - -4. Let m(y) = -3*y**2 - 11*y - 16. Let i(d) = 2*d**2 + 7*d + 8. Let v(o) = 5*i(o) + 3*m(o). Let g be v(h). Solve 5*t - g = 13 for t.
4
Suppose 14*q = 8*q - 12. Let k be q/3 + 25/15. Solve -k = 3*m - 2*m for m.
-1
Let z be 18/(-30) - ((-6)/(-15) - 6). Solve 21 = 16*h + z*h for h.
1
Let f = -759 - -766. Solve f = -3*b + 4 for b.
-1
Let l(w) = -6*w**2 - 25*w - 3. Let a(s) = -5*s**2 - 24*s - 2. Let j(y) = 5*a(y) - 4*l(y). Let q be j(-20). Solve -q - 7 = -3*t for t.
3
Let h(i) be the first derivative of -i**3 + 13*i**2/2 + 10*i + 10. Let o be h(5). Solve 2*c + o*c = 0 for c.
0
Let m = 2 + -2. Let l = 115 - 236. Let h = -119 - l. Solve m = h*r + 3*r for r.
0
Let m(p) = p**2 - 6*p**2 + 0*p**2 - 6*p - 3 + 4*p**2. Let x be m(-4). Suppose -h + x = 2. Solve -6*u = -h*u - 6 for u.
2
Suppose 0 = -94*u + 106*u - 192. Solve 8*n - u = -0 for n.
2
Suppose 0 = v - p - 1, -3*v + 7 + 4 = -p. Suppose -4*k + 3 = -v. Solve -k*g - 6 = g for g.
-2
Let o = 2482 - 2480. Solve -5*s = o*s - 3*s for s.
0
Let o(u) = 0*u**3 + 3*u**3 + 0*u**3 - 6 + 4 - 3*u**2. Let a be o(2). Suppose 5*h = a - 0. Solve h*j + 5 = -3 for j.
-4
Let q(t) = -t**2 - 4*t - 3. Let v be q(-3). Solve v = -n + 3 for n.
3
Let r(a) = 5*a - 113. Let j be r(23). Solve 5*k = 4*k + j for k.
2
Suppose 4*t = -94 + 126. Solve 3*g + t + 1 = 0 for g.
-3
Suppose 0 = -60*j + 56*j + 12. Solve 0 = 4*x - j*x + 3 for x.
-3
Suppose -3*c + 3*q = -72, -2*q + 0 - 8 = 0. Suppose -4*o + 6 + 10 = 0. Solve o*r = -r - c for r.
-4
Suppose -a = a. Let x = a - -2. Suppose -3*t + 0*y + 3 = y, 2*t + 3*y - x = 0. Solve -r + 5 - t = 0 for r.
4
Let b(d) = d**2 + 6*d - 7. Let z be b(-7). Suppose z*o - 4 = -o. Suppose 2*c + 7 = 5*w + 1, 3*c = o*w - 9. Solve 7*l - 3*l + 4 = w for l.
-1
Let v = 13 + -11. Suppose v*g + 9 = 5*g. Suppose -g*i - 6 = -2*d - 0*i, 8 = d - 4*i. Solve -4*k - 4 = -d for k.
-1
Suppose o = -3*l + 13, -4*o + 15 = 4*l - 5. Let v(y) = y**2 - 3*y - 4. Let m be v(l). Let g be 15*(3 + (-21)/9). Solve m = -t + 3*t + g for t.
-5
Suppose -2*z - 5 = -3*w, z = -0*w + 4*w - 15. Solve -w*r = -2*r + 12 for r.
-4
Suppose 0*y = 5*y - 20. Suppose w - 2*h + 3 = 2*h, -y = -2*h. Suppose -6 = 2*o + w*g - g, 5*o - 3*g = 24. Solve 2 + 10 = o*d for d.
4
Suppose -2*q + 6*d - 4*d = -24, -q + 24 = -4*d. Suppose 3*r - 4 = q. Solve s = -r*s + 5 for s.
1
Let x be (-66)/(-9)*(-63)/14. Let o = 43 + x. Solve -o = -g + 3*g for g.
-5
Suppose -42*o + 48 = -38*o. Suppose -3*a = 5*w - 44, -w + 2*w = -a + o. Solve 3*u + u = -a for u.
-2
Let o(q) = q**2 + 40*q - 81. Let t be o(-42). Solve t*p = -12 - 0 for p.
-4
Let d be 0/(-1)*(2 + -1). Suppose u - 12 - 55 = -3*l, 0 = -3*l - 5*u + 83. Suppose 18*s + 9 = l*s. Solve d - s = -i for i.
3
Suppose v - j = -5, 4*v = -0*v - j + 5. Solve v = 2*s + 1 + 1 for s.
-1
Suppose 0 = -8*n + 14*n - 144. Solve -34*l = -n*l - 15*l for l.
0
Let x be (-58)/(-18) + 2 + 8/(-36). Solve x*w - w = -4 for w.
-1
Let x(m) = -22*m**2 - 1. Let i be x(-1). Let k = i - -31. Solve k = -5*w + 28 for w.
4
Let w(j) = -j**2 + 11*j + 86. Let m be w(-5). Solve -532*o = -530*o + m for o.
-3
Let t(a) = a**3 + 10*a**2 - 8*a + 35. Let p be t(-11). Solve 0 = 4*o - 14 - p for o.
4
Let x(k) = k**3 - 9*k**2 + 1. Let m be x(9). Solve 13*j + m = 12*j for j.
-1
Let d = 196 - 189. Solve -6*w - d = 17 for w.
-4
Let l = -7 + 7. Let i be 2/(-2)*0/(-6). Solve l = -i*b + b for b.
0
Suppose k = -k - 40. Let z be 17/5 - (-8)/k. Solve 0*d + 12 = z*d for d.
4
Suppose -480 + 450 = -6*x. Solve 7*d + 4 = x*d for d.
-2
Let r = -145 - -149. Solve -i + r = 3 for i.
1
Let x be (-15)/40 - (-903)/168. Solve 17*d + 5 - x = 0 for d.
0
Let b be ((-40)/(-16))/((-2)/4). Let x(y) = -y**2 - 7*y - 5. Let h be x(b). Suppose -5*d + h = -5. Solve -4*z + d*z = 0 for z.
0
Suppose 8*w = 2*t + 12*w - 16, 0 = -3*t + w + 3. Let z(l) = -20*l. Let o be z(-1). Solve -3*n + o = t*n for n.
4
Let w(j) = 47*j + 4. Let d be w(-1). Let b = d - -48. Solve 0 = 8*q - 3*q - b for q.
1
Let o = -11 + 19. Let b(i) = -5*i + 46. Let d be b(o). Solve -6*c + 8*c + d = 0 for c.
-3
Suppose 0 = -2*g - 5*z + 15, -g - 3*z + 23 = 3*g. Let k = -1 + g. Solve -2*d + 4 = -k*d for d.
-2
Let j be (-2)/5 - (-3)/((-45)/(-336)). Let t = j - 17. Solve -5*g - 15 = -t for g.
-2
Let f be -2*2 + 3*(-265)/(-15). Let s = f + -46. Solve -s = r - 5 for r.
2
Suppose 0 = 5*u - u - 3*x + 60, u = -2*x - 15. Let o be (u/(-10))/(3/(-4)) - -3. Let r = -2 + 5. Solve -r + o = j for j.
-2
Let h(m) = -2*m - 3. Let f(c) = c + 1. Let w(b) = 7*f(b) + 4*h(b). Let j be w(-5). Let z = j - -3. Solve -z - 1 = -u for u.
4
Let q = 23 + -11. Let j(u) = u + 3. Let i be j(-1). Solve q - 2 = -i*w for w.
-5
Suppose 6*j - 4*j - 6 = 0, -j = 3*o - 21. Let h(y) = -3*y - 24. Let b be h(-8). Solve b = -r + o*r for r.
0
Let w be 1*(0 + -1) + 5. Suppose 13 + 11 = w*k. Suppose 0 = -6*p + 3*p + k. Solve 0 = -4*s + p*s + 6 for s.
3
Let q be -35*((-72)/(-21) + -4). Solve 3*b + b = -q for b.
-5
Let l = -38 - -33. Let p = l + 6. Let i be 2*(1 + p - -4). Solve -5*k - i = -k for k.
-3
Let p be (-4 + 0 + 1)*(-2533)/149. Solve -14*w = 3*w + p for w.
-3
Let t(g) = -g**3 + 3*g**2 + g - 3. Let i be t(2). Suppose 0*p = p + i*n - 19, -p + 2*n - 6 = 0. Solve -p*y - 12 = -y for y.
-4
Let z = -1 + 3. Let c(u) = -2*u**3 + 74*u**2 - 3*u + 112. Let x be c(37). Solve -x - z = -3*f for f.
1
Let r(o) = 18 + 18 + 33 - 2*o - 41. Let q be r(12). Let v(n) = n**2 - n + 15. Let s be v(0). Solve -q*m - s = -m for m.
-5
Let i be (2 + -22)*27/(-135). Suppose 4*n - 5*y = 18, -6 = 2*y - 2. Solve -w = -n + i for w.
-2
Let d(k) = 5*k - 22. Let y be d(5). Suppose y*i - 10 = i. Solve -i = 5*a - 0 for a.
-1
Let v(k) = -k**3 + 15*k**2 - 13*k - 13. Let w be v(14). Solve 0 = -n + 2*n + w for n.
-1
Suppose 3*y + 58 = 2*r, 36 = -7*r + 8*r - 5*y. Solve 22*a - r*a = 0 for a.
0
Let f be 28/(-1)*(-2)/4. Let r = -12 + f. Let c be (r/(-4))/((-5)/30). Solve 2*v = c*v + 1 for v.
-1
Suppose 0 = 4*k - 9*k + 70. Let x be -1 + 66/k + 8/28. Solve 12 = x*h - 8 for h.
5
Let f = 152 - 151. Solve -24 = 5*x + f for x.
-5
Let j = -498 + 785. Solve 4*b - 279 = -j for b.
-2
Suppose 0 = 3*f + 25*f - 84. Solve -f*m + 5 = 2 for m.
1
Suppose -26*a = -