n - w = -1, -n - w + 6*w = -28. Solve -n = 5*q + 2 for q.
-1
Let v(o) = -o**2 + 10*o - 15. Let q be v(7). Solve 31 - 7 = -q*d for d.
-4
Let s = -3 + 7. Suppose 4*n - 12 = s. Suppose 0 = -0*d - n*d + 8. Solve d*m + m = 3 for m.
1
Suppose -5*d + f + 25 = 0, -5*d = 5*f + 7 - 2. Suppose d*u + v - 14 = 3*v, 5 = -v. Suppose 3*o + 3*l = 21, 3*o - 2*l = -3 - u. Solve -o*x + 3 = -5 for x.
4
Let y = 9 - 3. Let r be 1/(-3) - (-2)/y. Suppose g + 4 = 8. Solve 4 = -r*u + g*u for u.
1
Suppose 3*c = -5*c - 56. Let x = c - -7. Solve x = -3*n - n + 12 for n.
3
Let d(b) = b**3 - 10*b**2 - 11*b + 4. Let c be d(11). Let t be (0*(-2)/c)/1. Let o be 4/5*(1 - -4). Solve 2*a = -t*a + o for a.
2
Suppose 0 = -r + 2 + 5. Suppose 5*m - 85 = -5*q, 3*m + 2*m = 5*q - 45. Solve -5*b + q + r = 0 for b.
4
Let j(c) = c**3 - 9*c**2 + 7*c + 14. Let w be j(8). Suppose 0 = -4*n + 2 + w. Solve n*x = 5*x - 3 for x.
1
Suppose 4*m - 24 = 3*w, -4*m - m + 30 = -w. Suppose 0 = -2*n - n + m. Solve 2 = n*i - 0 for i.
1
Let o be ((-51)/(-12) - -5) + 25/(-20). Solve 19*t = o*t + 11 for t.
1
Let p = -14 - -24. Suppose -4*g = 2*c - 0*g - 16, -5*g - p = -5*c. Solve c = 3*j - 5 for j.
3
Suppose 248 + 302 = -4*s - 5*c, 2*c + 4 = 0. Let k = s + 142. Solve -h - 3 = -k for h.
4
Let d = 18 + -13. Suppose 0 = -m - d + 15. Let k be (-5)/m - 14/(-4). Solve 6*y = k*y for y.
0
Let b(l) = -10 + l + 6*l**2 - 4*l + 12*l**3 - 13*l**3. Let o be b(5). Solve o = -0*d + d - 3 for d.
3
Suppose 0 = 6*z + 8 - 62. Solve 13*b = -z + 9 for b.
0
Let j be (1 - (-1)/(-3))/((-1)/6). Let p be 0 - (-21)/12 - 1/j. Solve -11 = -3*g - p for g.
3
Let g(i) = i**3 + i**2 - i - 1. Let u be (-15)/((-10)/(-2)) - -2. Let c be g(u). Solve 0*v - 2*v = c for v.
0
Suppose 0 = 4*b - i + 157 + 8, -3*b - 114 = -4*i. Let z be ((-8)/14)/(12/b). Suppose 4*x + x = 0. Solve x = -z*w - 0*w + 4 for w.
2
Suppose -15*d - 8 = -19*d. Suppose 5*n = 8 + 7, d*j + 11 = 5*n. Suppose 6*k = j*k. Solve -o - 4*o + 10 = k for o.
2
Let o(n) = 9*n + 119. Let h be o(-13). Solve 0 = -h*b - 4*b for b.
0
Suppose 2*x + a + 0*a = 17, 7 = x + 2*a. Let y(u) = -u + 12. Let d be y(x). Let g be d/1 - (-5 + 6). Solve 0 = -g*s + 3*s + 1 for s.
-1
Suppose 185 = 46*k - 91. Solve -k = 2*y - 5*y for y.
2
Let t(g) = g**3 + 68*g**2 + 68*g + 67. Let a be t(-67). Solve 2*y - 10*y - 24 = a for y.
-3
Let o(p) be the first derivative of -1/2*p**2 + 4 + 0*p. Let x be o(-3). Solve -x*u + 13 = 4 for u.
3
Suppose 2*v = 2*a - 4, 2*v + 4*a - 20 = -0*a. Suppose 0 = -v*t + 4*t. Solve t = -u - 1 + 2 for u.
1
Suppose -n + 10 - 3 = 0. Let v = -16 - -17. Suppose 0 = m - 4 + v. Solve -4*a - m = -n*a for a.
1
Let p(s) = -4*s + 29. Let j be p(9). Let u = -1 - j. Solve 0 = 2*v + v - u for v.
2
Let h = -247 + 247. Solve h = 6*s - 0 - 18 for s.
3
Let m be (76 - 117)/(-1 + 0). Solve 0 = -m*o + 30*o - 44 for o.
-4
Suppose -132*r + 62*r + 12 = -64*r. Let b(y) = -y**3 + 3*y**2 + 6*y - 3. Let m be b(4). Solve -m*v = -r*v + 12 for v.
-4
Suppose r + 23 = 6. Let z = 19 + r. Let d(w) = -w**3 - 2*w**2. Let a be d(-2). Solve j + z = -a*j for j.
-2
Let p(l) = -72*l**2 - 2*l + 2. Let c be p(1). Let j be 4 + (-7)/(28/c). Let x = 24 - j. Solve -x*y - 2*y = -12 for y.
3
Suppose 0 = 3*h + 16 + 20. Let a be (-4 - -1)/(h/32). Solve -4*k - a = -0*k for k.
-2
Let t be 3 + -3 + -2 + 2. Suppose 0*c + 4*c - 12 = t. Suppose -2*d + 1 = a - 1, a = -5*d + 2. Solve -c*m - 3 - 6 = d for m.
-3
Let v(a) = -2*a**3 + a. Let n be v(1). Let j be (62 - 54) + -1*3*n. Solve j + 9 = 5*u for u.
4
Suppose 0 = -6*q + 2*q + 20. Suppose q*m + 4*u - 40 = 0, -4*u - 22 = -m - 2*u. Suppose -4*a + m = 4. Solve a = 2*x - 3*x for x.
-2
Suppose -2*t + 4*y + 28 = 0, -5*t + 4 = 2*y - 42. Solve -12 = t*k - 13*k for k.
4
Let o(d) = -d**2 + 18*d + 3. Let z be o(18). Suppose 2*v - 24 = 4*h, 0 = -3*v - 6*h + z*h + 72. Solve 5*k - v = 5 for k.
5
Let w(h) = -h**2 - 9*h + 13. Let f be w(-10). Suppose f + 0 = d. Solve o - 4*o + d = 0 for o.
1
Let f(i) = -3*i - 36. Let z be f(-14). Solve -z*j = -8*j for j.
0
Let l(n) = n + 2. Let v be l(0). Suppose 4*o - v*o = 4. Let j be (-1)/(o*4/(-32)). Solve j*c = -c for c.
0
Suppose -6*y - 2*z = -3*y - 5, -2*y + 6 = 4*z. Suppose -2*c = -104 + 2. Let s = c + -46. Solve -y = s*f - 11 for f.
2
Let k = -12 - -21. Let y = -339 - -342. Solve y*m = -k - 0 for m.
-3
Let w(g) = g**3 + 14*g**2 + 12*g - 13. Let s be w(-13). Let q(i) = -3*i**3 - i**2. Let k be q(-1). Suppose -k*r = -0*r - 8. Solve s*m = r*m + 8 for m.
-2
Suppose -3 = -q - 0*q. Suppose -5 = -5*n + 5*d, -4*n + q*d = -2 - 3. Solve 1 + n = r for r.
3
Let z = -5 + 5. Let v(d) = -d**3 - 3 + 8*d + 3 + z + 7*d**2 + 5. Let w be v(8). Solve 0 = -u + w*u for u.
0
Suppose 10*n - 359 = -279. Solve n*w = 11*w - 12 for w.
4
Let i = -552 + 556. Let k(t) be the second derivative of t**4/12 - 5*t**2/2 - t. Let g be k(4). Solve 0 = -i*w + 5 + g for w.
4
Let a(s) = 6*s**2 + s + 1. Let j be a(-1). Suppose -25*k + 28*k - 15 = 0. Suppose -k*y = y. Solve 2*g - j*g - 4 = y for g.
-1
Let y = 135 + -133. Solve y*x = 4*x for x.
0
Let a be 2805/34*12/9. Solve 0 = r - 109 + a for r.
-1
Let w be (-2)/((-6)/9) - 3. Suppose w = 4*a + 4*f + 4, 4*a + 3*f - f - 2 = 0. Solve 8 = -0*n + a*n for n.
4
Suppose 5*x + 1 - 6 = 0. Let k be (-6 + (0 - x))*-1. Let f(g) = g**2 - 7*g + 4. Let i be f(k). Solve 0 = i*p + 1 + 3 for p.
-1
Let w(f) = -7*f**2 - f + 27. Let m(t) = 3*t**2 - 13. Let j(r) = -5*m(r) - 2*w(r). Let z be j(4). Solve z*i = 2*i + 5 for i.
5
Let q(d) = d + 9. Let s be q(6). Suppose 2 = s*t - 14*t. Solve -t*x + 2 = -2 for x.
2
Suppose 5*x - 2*x - 93 = 0. Let g be (50/(-15))/((-3)/36). Let k be ((-1)/(-2))/(4/g). Solve -k*c - 11 + x = 0 for c.
4
Suppose 0 = -5*u + 4*j - 3*j - 63, 3*j = -6. Let p(k) = k**3 + 14*k**2 + 12*k - 11. Let a be p(u). Solve -4*v + 6*v + a = 0 for v.
-1
Suppose -5*d = -3*f + 294, 173 + 211 = 4*f - 4*d. Solve 12 = 97*n - f*n for n.
3
Suppose -2*v - 1 = -a, 0 = -2*v - 1 + 9. Let f be (2 - 2)*(1 - 0). Suppose -2*m - 3*c - 5 = 2*c, 5*m = -4*c - 4. Solve -3*h + m*h + a = f for h.
3
Let g be -1 + 23 + (-2)/((-4)/6). Let r = g - 19. Solve 15 = -r*d + d for d.
-3
Let m(i) = 4*i**2 - 6 - 28*i**2 - 8*i - i**3 + 15*i**2. Let z be m(-9). Let y = z + -46. Solve -6*d + d = -y for d.
4
Suppose -16*m + 38*m = 198. Let j(g) = -g - 1. Let i be j(1). Let k = m + i. Solve -2 = -3*b + k for b.
3
Let s(m) = -2*m**3 + 2*m**2 - 2*m - 8. Let v be s(-2). Solve -2*a - v = 2*a for a.
-5
Let g = -795 + 808. Solve -16*k = -g*k + 6 for k.
-2
Let d = -20 - -20. Let j(f) = f**3 + f + 5. Let z be j(d). Suppose -24 = -z*s + 26. Solve s = m + m for m.
5
Let w(a) = a**2 + 7*a - 15. Let v be w(-9). Suppose 0*j = 4*j + v*j. Let l(m) = -m**3 - m + 3. Let y be l(0). Solve -y*r + 2*r + 3 = j for r.
3
Let g be 45/9 + 1 + -4. Let f = 17 - 7. Suppose -3*b + 1 = -l, l - 4*l - 4*b + f = 0. Solve -l - g = -s for s.
4
Suppose 14 = 4*q - 3*q. Let z = 19 - q. Suppose z*w = -0*w. Solve -2*t = -w*t + 2 for t.
-1
Suppose 3*o + 2*o = 15, 0 = m + 4*o - 11. Let b be 3 + -1 + m + 1. Solve -b*f + 4 + 2 = 0 for f.
3
Let k be 4/18 - 372/(-27). Suppose -17*q = -10*q - k. Solve -3*s + q*s = 2 for s.
-2
Suppose 11*k = k. Solve -h + 4 - 3 = k for h.
1
Let n(a) = 3*a - 10 - 2 + 1970*a**3 + 8*a**2 - 1971*a**3. Let j be n(8). Solve -2*t - 6 = -j for t.
3
Let d(f) = -f**2 + 5*f - 4. Let c be d(4). Suppose -v - 2 - 2 = c. Let p = -2 - v. Solve 6 = -p*h - 0*h for h.
-3
Suppose 0 = 5*u + x - 3, 5*x = -4*u + 4 - 10. Solve 6*d = u - 19 for d.
-3
Let f(a) = a**2 + 7*a + 2. Let c be f(-8). Suppose 0 = 4*l - 8*n + 3*n - 17, -5*l - 5*n = -c. Solve l*i = -0*i + 3 for i.
1
Let j(c) = -c**2 + 17*c + 8. Let l be j(17). Suppose -3*z = -z - l. Solve 3*b = 4*b - z for b.
4
Let w be (-30)/45 - (-2)/3. Suppose 2*y + 12 = 2*r - w*r, 12 = r - 3*y. Suppose 0*z + z = r. Solve -z*k = -2 + 5 for k.
-1
Let c(t) = -15*t - 199. Let g be c(-14). Solve -20 = -g*j + 16*j for j.
-4
Let n be (-12)/(-5) - 26/65. Suppose 171 - 131 = n*r. Solve 3*d - r = -5 for d.
5
Suppose a - 33 = -0*a. Suppose 0 = -5*i - a - 32. Let z be (-2)/i + (-128)/(-13). Solve 0*x = 5*x - z for x.
2
Suppose 4*h + 3*f - 230 = -0*f, -4*h = -4*f - 244. Let d be 15/(-35) + h/7. Solve d - 23 = 3*g for g.
-5
Suppose -2*a + 2*w = 6, 0 = -6*a + 2*a + 3*w - 11. Let i be a/(-12) + 29/6. Solve 2*y - 3 = i for y.
4
Let y