) = -q**2 + 7*q - 3. Let k be n(6). Suppose r = -10 - 34. Let d = r - -44. Solve p + k = -d*p for p.
-3
Suppose -64*z = -69*z + 200. Suppose -3*g - 4*a + 2 = 0, 2*g + 4*a = -0*g. Suppose -g*o + z + 2 = 0. Solve -1 = 5*s - o for s.
4
Let p(s) = 3*s + 2. Let i be p(-2). Let a = i - -5. Let v be a/2*(-7 + 9). Solve -u - v = -5 for u.
4
Let w be (-159)/(-9) - 4/(-12). Let h = 15 - w. Let j = 0 - h. Solve k = -j*k + 4 for k.
1
Let g = 8 - 16. Let t = g - -11. Suppose 9 = k + 4*k - x, 4 = t*k - 2*x. Solve -6 = 2*u + k for u.
-4
Let m(o) = 5*o + 60. Let p be m(0). Suppose -5*t - p = -5*g, -2*t + 8 + 16 = 4*g. Solve -3*u + g*u + 5 = 0 for u.
-1
Suppose -2*k + 7 + 3 = 0. Let o = 19 - 19. Suppose -3*x + o*x + 15 = -3*j, 21 = k*x - 3*j. Solve -x*d - 20 = -8*d for d.
4
Let q be 0/2 - -2 - 2. Let t = 6 - 3. Suppose t*l - 2 = 2*l. Solve -l*z - 2 = -q for z.
-1
Let w(g) = g**3 + 2*g**2 - 3*g - 1. Let b be w(-2). Let c = 31 + -25. Solve c*z = z - b for z.
-1
Suppose 0 = b - 0*k + 3*k, -3*b + 8 = k. Solve b = x + 2*x for x.
1
Let j = 224 + -222. Solve -j*y - y = 0 for y.
0
Suppose 3*p = -o + 20, o - 5*p - 17 - 11 = 0. Let d = o - 18. Suppose -y - y - 19 = -d*n, -4*n + 17 = -y. Solve 0 = y*s - 2*s - 1 for s.
1
Suppose 5*f = 5*r + 240, 0*r + r = -3. Suppose a - 3*g - 9 = 0, -5*a + g + f = -4*g. Solve 1 = 5*y - a for y.
2
Let q be 12/4 + -2 + -1. Let x = q - -4. Solve 0 = -2*y + x*y - 6 for y.
3
Suppose 5*x = 28*c - 31*c + 25, -3*x = -4*c - 15. Solve 12*p - 3 + 63 = c for p.
-5
Let u = -236 - -244. Solve u + 13 = -7*n for n.
-3
Suppose -i + 2*h = -26, 4*i - 158 + 40 = h. Suppose 33*c - i*c = 3. Solve 0 = -3*s + c - 4 for s.
-1
Let z = -686 - -686. Solve 6*m + 93 - 117 = z for m.
4
Let z(a) = 2*a + 3. Let l be z(-4). Let f = 7 + l. Let i(h) = h**2 - h + 10. Let w be i(0). Solve -3*k - f*k = -w for k.
2
Let j(k) = k. Let h(q) = 7*q - 6. Let p(n) = h(n) - 6*j(n). Let m be p(7). Let u = m + -1. Solve u*d = -d for d.
0
Let a be ((-24)/(-10))/(8/20). Let g be a/(-24) + (-3)/(-12). Solve -6*h + 11*h = g for h.
0
Let r(d) = 9*d - 3. Let c be r(2). Suppose 6 = -13*v + c*v. Suppose -v*j + j + 10 = 0. Solve -q = -j*q for q.
0
Let n(o) be the first derivative of -o**3 + 3 + 1/4*o**4 + 3*o + 0*o**2. Let u be n(3). Solve -16 = -u*w - w for w.
4
Let r = 38 - 35. Let k be r*((-40)/(-12) - 2). Solve k*m + 0*m = 0 for m.
0
Suppose -p - 3 = 2*k + 3, 3*k + 35 = 5*p. Solve 3 = -p*v + 19 for v.
4
Suppose 0*i = -4*i - 16. Let h be (1 + i/4)/1. Solve h*g = g for g.
0
Let o(m) = -m**3 - 25*m**2 - 30*m - 133. Let k be o(-24). Suppose -a + 2*a = 4, 4*q = 5*a - 20. Solve q = 5*d - 4 - k for d.
3
Let i = -227 + 230. Solve -i*t = -3 - 12 for t.
5
Let c(a) = -2*a**2 - 16*a - 9. Let j be c(-7). Suppose -2*f = 3*f + j*h, 2*h = 2*f - 8. Solve -f = 3*x + 13 for x.
-5
Suppose -r = -5*s + 2, 4*s - 83 = 4*r - 27. Let v = r + 21. Solve -6 = -5*f + v for f.
2
Let a(f) = -f**3 - 11*f**2. Let c be a(-11). Suppose -8 = -n - 4. Solve n*v - 20 = -c for v.
5
Let z = 142 + -145. Let l be z/9 + (-1)/(-3). Solve l = -5*b - 7 + 2 for b.
-1
Let l = -58 + 39. Let b = l - -16. Let a be 24/b - -4 - -7. Solve -2*c - 1 - a = 0 for c.
-2
Let s be (-6)/2 + -2 - -1. Let p be (-9)/(-6)*s/(-3). Suppose 4*i - 6 = p*i. Solve 0 = -i*h + 2*h for h.
0
Let q = 372 - 360. Solve 13 = 5*j - q for j.
5
Suppose -46*n + 42*n + 5*l + 8 = 0, 4*n - 4*l - 12 = 0. Solve -1 = n*t - 22 for t.
3
Suppose -9*c + 8*c = -7. Suppose c*u - 8 = 3*u. Suppose 0 = 5*l + u*a - 30 - 39, 3*l - a = 48. Solve -5*w = -0*w - l for w.
3
Let l(k) = k**3 + 6*k**2 - 7*k + 3. Let j be l(-7). Let q be 110/33 - (-4)/(-3). Suppose q*t + 3*t + r = 6, -t + r + 6 = 0. Solve 4 = -t*u + j*u for u.
4
Let j(w) = 2*w**2 + 17*w - 22. Let y(k) = 4*k**2 - k**2 + 17*k - k**2 - 21 - k**2. Let d(f) = 2*j(f) - 3*y(f). Let z be d(16). Solve z*h + 20 = -h for h.
-5
Let m(b) = -4*b - 1. Let j be m(-2). Suppose 12*s - j*s - 20 = 0. Solve -s*t + 2 = -5*t for t.
-2
Let u(j) = 32*j + 58. Let l be u(0). Solve 54 = -2*b + l for b.
2
Let h(k) = 9 - 6 - k - 3. Let l be h(0). Solve l*y = -2*y for y.
0
Suppose 4*r = 5*r - 48. Let f be (0 + -1)/(8/r). Let v be f/12*8/(-2). Solve v*d - 6 = -0 for d.
3
Suppose -5*c + 12 = r, -11*c = r - 15*c - 12. Solve -4*t = -4 - r for t.
4
Let n = -1002 + 1003. Let m(c) = c**2 + 5*c + 4. Let y be m(-4). Solve -b + n = -y for b.
1
Suppose -17 - 7 = -4*s. Let a = s + -6. Solve 2*j + j = a for j.
0
Let n be (91/14 + -6)*18. Solve 0 = -n*r + 5*r for r.
0
Let h(i) = i**3 - 6*i**2 + 12*i - 13. Let x be h(4). Solve x*r = -2 + 8 for r.
2
Suppose 2*o - 5*o - 54 = -3*k, 0 = 4*k + 4*o - 48. Suppose 5*r - 5*v - 37 = -2*v, 5*v = -r - k. Solve 0 = 4*u - 3 - r for u.
2
Suppose -3*r + 5 = -1. Let h be 2*((-1)/2)/1 - -1. Suppose -2*l + 34 = 5*n, -2*l - 2*n + 0*n + 28 = h. Solve -2*s = r*s - l for s.
3
Suppose -23 = r - 27. Solve -q - r = -2*q for q.
4
Suppose 15*l = 10*l + 540. Suppose 120 = 4*b + l. Solve 0 = 7*t - 6*t - b for t.
3
Suppose -5*n - 3*s + 20 = 0, -3*n + 2*s - 5 = 2*n. Suppose -7 = -4*d + n. Suppose 0*o = d*t + 4*o - 20, -5*t + 34 = 2*o. Solve 2*v + 2 = t for v.
2
Let w = 4 + 0. Suppose -4*m + w = -2*m. Suppose 7 = -m*f + 17. Solve 0 = f*u - 5 for u.
1
Let y = 2 + -2. Suppose -4*q + 3*q = 5, -3*f + 2*q = -22. Solve y = -l + 9 - f for l.
5
Suppose 910*i + 196 = 914*i. Solve -i = j - 51 for j.
2
Suppose 11 + 5 = 2*i. Suppose -g + 3*v - i = -6*g, -g = -v - 8. Let r = -901 - -909. Solve g*j - r = -0 for j.
2
Suppose h - 2*p + 5 = 0, -3*p - 2*p - 33 = 4*h. Let f = h + 5. Let w be (1 - (f - -3)) + 1. Solve 0 = 4*c + w - 17 for c.
4
Suppose -4*b - 85 = -5*c, 23*c = 28*c + 4*b - 125. Solve -c*w = -16*w - 20 for w.
4
Suppose -2*a - 8 = -3*g - 0, -3*a - 12 = 4*g. Suppose 50 - 18 = 8*b. Suppose -36 = -b*o - 16. Solve g*p = p + o for p.
-5
Suppose -6*h + 9*h + 57 = 0. Let p = h - -19. Solve p = 2*u - 0*u for u.
0
Suppose -14*f - 3773 + 3815 = 0. Let k(y) = 3*y**2 + 3*y. Let p be k(-2). Solve -f*t = -5*t + p for t.
3
Let h = -245 + 344. Let i = 99 - h. Solve i = -2*f + 8 - 0 for f.
4
Let m(t) = -t**2 + 7*t - 11. Let k be m(4). Let w be (-3 - (-3 + k) - -1) + 3. Solve 14 + 1 = -w*a for a.
-5
Let w be (-2)/((-5)/(30/4)). Suppose -3*x + 6*x + 11 = 5*k, 5*k + 4*x - 32 = 0. Solve -t + k*t = -w for t.
-1
Let w = -20 - -59. Let h be (-13)/w - (-2 - 7/3). Suppose 5*z - 3*u + 8*u = 0, -2*z = 3*u. Solve z*a - 8 = -h*a for a.
2
Suppose 0*s = 5*s - 35. Let j be 8/2 - 0 - s. Let f be j/(-2) - 147/(-14). Solve -l = 3*l - f for l.
3
Let a(k) = 10 + 3 + 0*k + k. Let r = -203 - -196. Let x be a(r). Solve -x = w - 1 for w.
-5
Suppose -7 = -5*f + 3. Let h be 30 - 3*(-2)/6. Let b = -26 + h. Solve -8 = -b*p + f for p.
2
Let m be 5/40*-2*-8. Suppose 5*q - m*o - 12 = 0, -o - 3 = 2*o. Solve 0 = -q*i - i for i.
0
Let p(t) = -t**2 - 8*t + 472. Let b be p(18). Suppose -18 = -r + 4*m + 4, -26 = -r + 5*m. Solve b = i + r for i.
-2
Suppose 3*s + 9 = 5*b, 5*b - 5*s = -s + 12. Suppose b = -2*r - 0*r + 4. Suppose 5*p - 3*w = -2*w + 39, -5*p + 3*w = -47. Solve p = v + r for v.
5
Let t(r) = -11*r**2 - 5*r + 10*r**2 + 1 + 3 - 2*r. Let o be t(-7). Suppose -3*n + 6 = c, -5*c - n + o = n. Solve -d - 3*d - 8 = c for d.
-2
Suppose 4*y = 3 + 17. Let j be (-80)/(-280)*7/1. Solve -l + y = j for l.
3
Suppose -16 = -q - 20. Let f be 0*((q/(-1))/8 + -1). Solve f + 2 = -v for v.
-2
Let q = 942 + -939. Solve -6*j = q*j - 9 for j.
1
Suppose 4*g = 2*g. Suppose g = h + 5*j + 15 - 0, -h + 1 = j. Suppose 5*s + 3*z = 11, -4*s - 1 = h*z - 2. Solve y = -s*y for y.
0
Suppose -4*r = -5*d + 14, r - 5 = -52*d + 49*d. Solve 226*a + d = 228*a for a.
1
Suppose 0 = 6*u - u - 5*r, 0 = 5*u + 5*r. Suppose 3*v + 6 = -u*v + 3*m, 4*m - 8 = 0. Suppose v - 12 = -4*y. Solve y = 4*j - j for j.
1
Suppose 15 = -5*l, o = 3*o - 2*l - 226. Let a = -108 + o. Solve a - 1 = q for q.
1
Suppose 0 = r - 5*c - 5 + 1, 2*c = 5*r - 66. Let o be 4/r - 66/(-14). Let a be (3/(-4))/((-3)/12). Solve 22 = o*h - a for h.
5
Suppose -2*x - 11*a + 23 = -10*a, 0 = 2*a - 2. Solve 28 = -x*p - 27 for p.
-5
Let n = -32 - -35. Suppose n*c + 2*b = -7, -5*b - 13 = 2*c - 2*b. Let o be (9 - 11) + 1 + c. Solve -5*y = -o + 15 for y.
-3
Let x = -401 - -436. Solve -29 = -3*t - x for t.
-2
Let r(l) = 2*l**2 - 3*l - 16. Let f be r(5). Let g = 22 - f. Solve -2*j - g*j = -25 for j.
5
Let