for n.
5
Suppose 4*z + 3 = 5*z. Suppose 3*q - 15 = -5*l + 13, -q = -z*l + 14. Solve 4*w - 5 = l*f, -f + 0*f + 23 = 4*w for w.
5
Let t = -365 + 521. Let s be ((-1)/(-3))/(13/t). Suppose q + q = s. Solve -3*h - 8 = -y - q, -3*h = y for y.
3
Suppose 5*v = 4*a + 46, -3*v - 3*a + 6 = -0*v. Suppose v*f = 22*f - 32. Solve 0 = -i - 3*i + f*r - 2, -4*r + 4 = -4*i for i.
0
Let t = -2378 + 2383. Solve -4*g - 2*b = 4, 5*g + t = 3*b - 11 for g.
-2
Let l be 12 - (4 + -169)/(-15). Suppose 3*x - 12 = -3*z, 9 = 4*z - x - 2*x. Solve f - m + 2*m = -3, -f - z*m + l = 0 for f.
-5
Suppose 2*l + 4 = -2*h, 0 = 3*h - 44*l + 39*l - 10. Solve 4*v + 11 = -s, h = -2*s - 0*s - 2*v + 2 for s.
5
Let x(b) = -b**2 + 17*b - 10. Let q be x(17). Let l be (q/35)/(3/(-21)). Let j(v) = v**2 + 4. Let n be j(0). Solve 3*p = 5*w + 6, -2*p + 0*p = l*w - n for w.
0
Let n(v) = v**3 - 6*v**2. Let o(t) = t**3 - 6*t**2. Let k(h) = -6*n(h) + 5*o(h). Let i be k(6). Let z = i - -12. Solve 20 = -q + 4*l, -q - z = -l - l for q.
-4
Suppose 31 = -3*v + 142. Let i = 40 - v. Solve 3*l - i*w = -6, -2*l + w = 6 + 1 for l.
-5
Let p(a) = -7*a**3 - 329*a**2 + 12. Let u be p(-47). Let f = -7 - -10. Solve u = -3*r - f*t, 4 + 0 = -r + 3*t for r.
-4
Let i = -37 + 35. Let z be (-2 + 2)/((-2)/i). Solve z*o = -3*r + o - 8, r = o for r.
-4
Let z(h) = -h + 86 - 82 + 2*h. Let a(x) = -4*x - 11. Let q(c) = -2*a(c) - 7*z(c). Let o be q(7). Solve -2 - 11 = r - 3*f, -o = -3*r + f for r.
2
Let n = -649 + 653. Solve 3*b = -2*y - 5, 0 + n = 5*y + 2*b for y.
2
Suppose 2*i - 2*p = -2, -i - 2*p + 3 + 11 = 0. Suppose 3*w - 10 = -i. Solve -6*y = -w*t - y + 17, 4*y + 11 = -t for t.
1
Let g = -630 - -652. Solve 0 = 4*w - 5*j - g, w - 2*j - 6 = 1 for w.
3
Let f be (-118)/(-6) + 1/3. Let d(c) = -c. Suppose -m + 15 = 17. Let w be d(m). Solve -5*s = -3*v + w*v + f, -s = -v for v.
-5
Let n = 74 + -72. Solve -4*i + 16 = b - 2, n*b + i = 8 for b.
2
Suppose -3*q + y + 9 = 3, 4*y - 9 = q. Suppose 0 = a + 3*s + s - 16, -3*s = -4*a + 7. Solve -x - 11 = q*b - 0*b, a*b = x - 3 for b.
-2
Let u be ((-5)/(-1))/(6 + -5). Suppose -u*b = -b - 12. Solve 2*w - b*d + 25 = 2, 2*d = 4*w + 26 for w.
-4
Let h be (-16)/6*3 - -5 - -6. Solve 15 = -3*q, -q + 8 = h*y + 1 for y.
4
Suppose 0 = -31*c + 2*c + 174. Solve h + 8*p - 12 = 3*p, -h = 3*p - c for h.
-3
Suppose 3*g - 3*d = -9, -11*g + 6*g = d - 15. Solve 0 = -t + 4*a - g - 2, -4*t - 3*a + 22 = 0 for t.
4
Let y be 3*-2*2/12. Let p be (-1)/(-2)*(y - -11). Let w = -29 + 34. Solve -o = 4*m + m - w, -o + p = 0 for m.
0
Let t = 25 - -7. Suppose 3*q - t = -q. Solve -2*f - 5*c - 4 - 13 = 0, 2*c = -2*f - q for f.
-1
Let l = 66 + -63. Solve -l*g = 4*i - 2*g - 7, -g = 2*i - 3 for i.
2
Suppose -33 = -3*t + d, -4*d + d = 0. Solve -v - 4*p + 7*p - 1 = 0, -v - 3*p + t = 0 for v.
5
Suppose -2*v - 12 = -5*t, -v - 5*t + 9 + 15 = 0. Solve k + v*z + 19 = 0, 3*k + 25 = -0*z - 4*z for k.
-3
Suppose 46 = 5*m - 24. Let b = m + -10. Suppose -b*y - 4 = 3*h + 1, -y + 1 = 3*h. Solve -c - h = -5*n + 3*c, 0 = 5*n + 5*c - 10 for n.
1
Let u = 55 + -44. Let r = -5 + u. Solve 5*y + 2 = -r*o + 3*o, -5*y - 4*o = 1 for y.
-1
Let j be (12/15)/(4/(-20)). Let v(s) = -s**3 - 4*s**2 - s - 1. Let c be v(j). Suppose 6*i - 3*i = c. Solve -4*f = 2*k - 6, f + 3*k = 5*f - i for f.
1
Let a = 423 + -420. Solve -a*v = -5*s + 6*s + 20, 50 = -5*s - 5*v for s.
-5
Let h(a) = 3*a - 36. Let z be h(12). Suppose 3*w + 3 = -3*l, 2 = -5*w - z*l - 4*l. Solve -4*r = -5*m - 6, 3*r - w = 5*m - 0 for m.
2
Let s be 101 - (-1)/(1/3). Let w = 177 - s. Let v = -44 + w. Solve 2*h + h - v = -5*r, 0 = r - 5*h + 11 for r.
4
Let p be ((-10)/(-3))/(4/6). Suppose 2*t = -4*k - t + 23, -t = 5*k - 37. Let n be (-20)/(-8) - (-12)/k. Solve n*u = 5*v - 7, 2*v - p = 2*u - 1 for u.
-3
Let h be 138/(-161)*(-14)/6. Solve -3*t + v = 11, t = h*v + 5 - 2 for t.
-5
Let d(m) = -3*m**2 - 40*m - 44. Let g be d(-12). Solve 3*z = 2*u - 25, -5*z + 4*z = -g*u + 25 for z.
-5
Let o be (-2772)/(-273) + 4/(-26). Solve -3 = 3*t, -3*k + 5*t = -1 - o for k.
2
Let f be 2/5*-1 - 170/(-425). Solve 3*l - 5*n - 8 = -4, f = -l - 2*n + 5 for l.
3
Let p(o) = 12*o + 182. Let g be p(-15). Solve g*m + 5*r = -6, 6*r + 3 = -m + r for m.
-3
Let k = 10 - 21. Let c = -16 - -15. Let w be k/(-22)*(c - -9). Solve -3*r + 0*d - 17 = 5*d, -5*r - w*d = 11 for r.
1
Let c(f) = 2*f - 16. Let t be c(9). Suppose t*z + 0*z = 64. Suppose -26 = -4*a - y + z, 3*y = 6. Solve v = -k + 10, -k - 3*v + 6 + a = 0 for k.
5
Let i be (4/5)/(28/50)*7. Let g be (24/(-16))/((-3)/i). Solve -3*x + 9 + 21 = -3*d, g*d + 3*x = -10 for d.
-5
Let b(o) = -o**3 - 4*o**2 - 2*o - 4. Let h be b(-4). Suppose -d + 2*d - 4*q = 4, -d = 4*q + h. Solve 2*a + 4*j + 6 = 0, 1 + d = 3*a - 4*j for a.
-1
Suppose 2*s + 0*s = -3*y - 32, -33 = 2*y - s. Let k = y + 17. Solve -3*m = -12, 4*a + m - 24 = -k*m for a.
2
Suppose 2*c + 4 = -5*a + 3*a, -2*a - 3*c = 9. Solve s = -3, a*s = z - 0 - 13 for z.
4
Suppose -2*f + x + 13 = 0, 0 = 2*f + 3*x + 2*x + 5. Let i be (-94)/8 - ((-1)/(-4) - 0). Let n be 4/3*(-18)/i. Solve -3*b + 1 + f = 0, 5*b = -n*c + 12 for c.
1
Let y(a) = 3*a - 1 + 6*a - 3*a. Suppose -5*t = -4*f + 6 + 5, -4*f = -t - 15. Let v be y(t). Solve -q + v*p + 32 = 4, 0 = -3*q + 3*p + 24 for q.
3
Suppose 5*q - 46 = -0*p + 4*p, 22 = 3*q - p. Suppose -3*f + 5*k = 25, 4*f + 5*k - 19 = q. Solve 0 = 4*m - 3*j + 8, 4*m + f*m + j + 24 = 0 for m.
-5
Suppose 0 = -4*u + 20. Let r(c) = -31*c + 66. Let k be r(2). Solve -k*p + 15 = 3*y - 0, u*y = 2*p - 1 for y.
1
Suppose 5*h - 4*h = 5. Suppose -t = -h*t + 12. Solve k = 2*b + b - 12, 0 = -2*b - 3*k - t for b.
3
Let b be 152/(-6)*-1 + 1/(-3). Suppose -b*u + 21*u = -8. Solve 5*n + 2*x + u + 1 = 0, -3*n = -3*x + 6 for n.
-1
Let w(c) = -4*c - 35. Suppose -n - 3*n = 48. Let t be w(n). Solve -41 = 5*q + 4*p, 5*p + t = -q + 3*p for q.
-5
Let x be (-4)/18 + (-280)/(-45). Let t = x - 5. Let n be 1 + t + -1 + -1. Solve 5*o + r - 4*r + 20 = n, -5*r + 24 = o for o.
-1
Let m = -169 - -172. Solve 4*z - 12 = 2*i, -m*i + z = 6*z - 26 for i.
2
Suppose 11 - 39 = -b. Suppose 5*h - 2*u - 9 = b, 3*h = -3*u + 39. Let i be h/(-15) + 72/20. Solve 20 = -5*c - 4*z, 3*c + 0*z - 15 = i*z for c.
0
Let v = 116 - 113. Solve 2*a + 3*k - 5 = v*a, -12 = -4*k for a.
4
Let a(p) = p**3 + 18*p**2 - 21*p + 2. Let g be a(-19). Let o = -29 + g. Solve 0 = -s + 3*l + o, 5*s + 3*l + 21 = -l for s.
-1
Let w(y) = 6*y + 12. Let k be w(-2). Solve -5*j - 5*c = 3 + 7, j - c + 2 = k for j.
-2
Suppose 0 = 3167*x - 3170*x + 15. Let u(b) = b + 1. Let r be u(2). Solve -10 = -s + 2*c, -r*s + 7*s - c = x for s.
0
Let c = 10 + -5. Suppose 3*r - 9 = -4*i, -c*r + 5*i - 4 = -19. Solve -r*f + 4 = -0*f - 2*d, 0 = 3*f + 3*d - 24 for f.
4
Let h be (441/14)/(-21)*-2. Solve -u + 2 = 3*x - 8, -h*x + u = -8 for x.
3
Suppose 0*u - 4*u = -4*g - 4, -2 = -u + 2*g. Solve u = -5*c - 0*p - 3*p - 1, c = -p - 1 for c.
1
Let q be 3/3 + -30 + -6. Let z be 42/q*(-10)/3. Solve 4*i = 6*i - 4*k - 20, -z*i - 2*k = 0 for i.
2
Let n = 107 - 104. Suppose -4*c + n*o = -25, c - 5*o = 16 + 3. Solve -2*x = c*u - 3 + 1, x = -4*u + 7 for u.
3
Let i(g) = 2*g**2 + 5*g + 2. Let a be i(-3). Solve 4*d + 19 = -3*q, -8*d + a*d - 18 = 3*q for q.
-5
Let h be ((-12)/(-2))/(-5 + 7). Suppose -5*l + 4*p = -h*l - 8, -4*p = 0. Solve -l*g - 5*z = 23, 3*g + 5*z + 24 - 3 = 0 for g.
-2
Suppose -15*i - 17 = -20*i + 3*a, -2*a = 2*i - 10. Solve -16 = i*z + 2*q - 4, z + 5*q + 12 = 0 for z.
-2
Suppose 390 = 5*m - 5*j, 3*m - j - j - 239 = 0. Let u = m + -78. Solve -3*w + u*x + 16 = 0, w - 5*w - 22 = 2*x for w.
-3
Let z be 34/12 - (-10)/60. Let g(t) = -t**3 + 7*t**2 - 2*t + 5. Let j be g(4). Let c = -29 + j. Solve -5*r + 17 = -2*m + 2, z*m - r = -c for m.
-5
Let v(j) be the first derivative of -j**4/4 - 8*j**3/3 - 5*j**2/2 + 6*j + 2. Let t be v(-7). Let y = t + 11. Solve -o + 4*q = -5*o + 8, 5*q = y*o - 30 for o.
5
Suppose -41*f + 59*f - 36 = 0. Solve 4*h - 9 = r, f*h + 6*r = r - 23 for h.
1
Suppose 4*x = -2*k + 3*k, -4*k = 4*x - 20. Solve 2*v + 7 = -o, -5*v = -4*o - k*v + 17 for o.
3
Let x = -1193 - -1197. Solve -5*i = 2*n + x - 18, -3*n + 7 = 4*i for n.
-3
Let c = -963 + 975. Solve 2*z + 2*z = -c, 3*z = 4*a - 1 for a.
-2
Let u be 0*(1 - 2 - 0). Suppose 0 = -7*j + 4*j - 15. Let m be j - (-17)/4 - 15/(-4). Solve 0 = -3*w - m*l - 6, -w + u*l - 6 = -l for