2 for u.
-1
Let m(c) = -c**3 - 10*c**2 - c - 4. Let q be m(-10). Let w be (-80)/(-30)*q/4. Let k be w/(-20) - (-63)/15. Solve a = 5*o - k*a + 10, -4*o + a = 17 for o.
-5
Let h be (-1)/(0 - 4/8). Let l be (-2 + 3)*-3 + 6. Solve 1 = -q - 2*r, -h*q + l*r + 16 = r for q.
5
Let m(n) = 25*n - 175. Let q be m(7). Suppose -12 - 13 = -5*c. Solve -c*i + 8 + 7 = q, 23 = -5*s + i for s.
-4
Let r = 13 + -25. Let k be ((-6)/5)/(r/40). Let s be (-5 + k)/((-2)/4). Solve 4*d = q + 18, 3*d - s - 4 = -3*q for d.
4
Suppose 5*c - 202 = 2*i, -5*c + 230 = i + 4*i. Let r = c + -39. Solve 0 = -2*p - z + 5, 6 = z - r*z for p.
4
Let r = -630 + 665. Solve r = -4*d - 5*w, -3*d - 2*w - 16 = -d for d.
-5
Suppose 4*u - 3*m - 58 = 0, 5*u = 31*m - 32*m + 82. Solve -2*q + u = -c + 3*q, 0 = -q + 4 for c.
4
Suppose -5*d + 160 = -0. Suppose 5*h + 28 = s, 4*s = 4*h + d - 0. Solve -f - 2*u = -0*f + 8, 6 = -s*u for f.
-4
Suppose -15*r + 18*r + 19 = 2*s, 5*s - 5 = -r. Solve 2*w = 2*y, s*y - 12 = w + 7*y for w.
-2
Let o = -1890 - -1893. Let b = -2 + 6. Suppose a - 85 = -b*a. Solve -2*i - a = -o*v, 5*v + 2*i - 7*i - 35 = 0 for v.
3
Let q(a) = -a**2 - 5*a + 9. Let f be q(-6). Suppose -5*y = -3*y - f*y. Solve 0 = -n - 4, y = r - 0*n - 2*n - 8 for r.
0
Let y = 39 + -13. Suppose 4*a + 6 - y = 0. Solve -5*p + 0*v + 5 = 5*v, -a*p + v - 19 = 0 for p.
-3
Let v be (184/12)/(6/(-9)). Let r = v - -25. Suppose 3*t - 40 = 2*p - 6*p, -3*p - 28 = -5*t. Solve -2*f = 5*a - t, 0 = 3*f - r*a - 0*a - 12 for f.
4
Let b be ((-108)/63)/(1/(-7)). Let j(q) = -8*q - 2. Let k be j(-5). Let u be k/14 + 12/42. Solve -4*z - b = -2*w, w + 7 = u for z.
-5
Let j(u) = u**2 + 5*u + 6. Let v be j(-5). Let l be (-2 - 0)/(v/(-33)). Solve -4 = 3*w + k, -k = 2*w - 4*w - l for w.
-3
Let w be -1*(11 - 12)*(-1 - -4). Solve 2*h + w*b = h - 13, 6 = -2*h - 2*b for h.
2
Let v = -102 + 104. Solve -v*k + 1 = 3, -3*k - 23 = 4*s for s.
-5
Suppose 4*g + 8 = -7*f + 2*f, 2*g + f - 2 = 0. Solve -2*m + 8 = -n, 0*n - 5*m = -g*n - 19 for n.
2
Let a(t) = -10*t. Let s be a(-1). Suppose 0 = -s*p + 9*p + 3. Solve 2*m - 23 = p*n - 2*m, 2*n - 23 = -5*m for n.
-1
Suppose 0*p + 3 = -2*o + 3*p, 0 = -3*o - 4*p + 4. Solve -2*b - 5*c + 13 = o, 0*b - 4*b - 4*c = -20 for b.
4
Let j = -8 - -13. Let o = j - 1. Suppose 3*v - 16 = -o. Solve v*c + 10 = 2*f + 2*c, 4*c = 5*f - 23 for f.
3
Let v(z) = -2*z**2 + 25*z + 28. Let t be v(13). Solve 0 = -3*o - 3*i + 6*i - t, -4*o - 4 = 4*i for o.
-3
Let f = 0 + 3. Suppose -s + 5*q = -28, 5*s = f*s + 4*q + 26. Solve 3*r - 24 = 3*j, -2*r + 3 - 2 = s*j for r.
5
Let u(q) = 7*q**2 + 40*q + 30. Let m be u(-5). Solve g + 0*g = -5*o + 24, -5*g + 40 = m*o for o.
4
Suppose 0 = -17*b + 15*b, 5*b = 3*r - 33. Solve 3*u - r*n - 3 = -12*n, -5*u = 2*n - 6 for u.
0
Let h(w) = w**2 - 31*w + 223. Let d be h(11). Solve -u - 2*c - 8 = -0*c, c + 9 = -d*u for u.
-2
Let x = -19 + 22. Let v be -3 - x*15/(-9). Solve l = -3*l - h + 2, 4 = l + v*h for l.
0
Let t = 1972 + -1969. Solve 0 + 16 = 4*l - o, t*o + 3 = -3*l for l.
3
Let d = 8 + -32. Let r = d - -22. Let j be (-4 + 3 - -1)/r. Solve -2*w = -j*m - 4*m + 2, -21 = -2*m + 5*w for m.
-2
Let l(n) = -n**2 - 3*n + 7. Let y be l(-5). Let k be (3/9 + -2)*y. Suppose -4*d = 5*s - 150, s + k*d - 2 = 7. Solve -s = -5*o - 3*q, 2*q = 5*o - 19 - 0 for o.
5
Let g(u) = u**2 - 5*u + 11. Let v be g(3). Let x be 6*1/5*-20. Let a be v/(-2)*x/12. Solve 0 = a*n - 25, 4*j = n + 2 + 1 for j.
2
Let p(o) = -o - 11. Let i(v) = -v**2 + 9*v - 21. Let n be i(8). Let b be p(n). Let x = 86 - 61. Solve 5*z - x = 5*w, -7 + b = -4*z - w for z.
2
Suppose 5*v = -t - 2*t + 114, -4*t + 64 = 3*v. Suppose 5*z - 20 = 5. Suppose b + 8 = z*b. Solve -4*c + b*y + v = 0, -c + 5*y = 4*c - 40 for c.
4
Suppose 4*i = -w + 19, -8*i + 32 = 4*w - 3*i. Solve d + 5*m + 5 = w*m, -m = -d - 2 for d.
-3
Let f = 16 - 13. Let y be (-84)/24*-1*2. Solve 3*u + 2 = 2*d + 3, f*u - y = -4*d for u.
1
Let w be -2 - 2*(-84)/24. Solve 0 = -w*z + 5, -2*c - 3*z + 4 = -3 for c.
2
Suppose -6*g = -5*g - 3. Let c(m) = 7*m - 8*m - g + 6. Let j be c(2). Solve -3*z + p - j = -0*z, z + 3 = -p for z.
-1
Suppose 0 = -14*w - 0*w + 140. Solve 0 = 5*s - 2*f + 8 + w, -4*s - 19 = 3*f for s.
-4
Suppose i - 4*y = -20, -2*i - 11 = 3*y + 18. Let v = i - -25. Let k = 11 - v. Solve t + 0 + 11 = k*h, 3*h = t + 15 for t.
-3
Let y = 26 - 23. Let b = 15 - 15. Suppose b = 11*z - 15*z + 12. Solve d = -z*d + 2*m + 10, 2*d - y*m = 3 for d.
3
Let n = 20 - 11. Suppose 3*v = n - 0. Suppose -2*j + v = -3. Solve 3*m + 2*m - 3*h + 32 = 0, m + j*h - 8 = 0 for m.
-4
Suppose 7*h - 2*q = 3*h + 10, -4 = 4*q. Solve 2*l + x = -h, l + 2*l + 8 = -4*x for l.
0
Let i be (-6*6/(-27))/(4/6). Solve 0 = -3*b + 7*g - i*g + 7, b + 4*g = -9 for b.
-1
Let o be (-210)/(-40) + (-3)/(-4). Let r be o/15*(2 - -8). Suppose u + 33 = 5*k - 1, 26 = 5*k + u. Solve k = -5*a - 3*i - 0, 5*i = -r*a - 10 for a.
0
Suppose 5*i - 14 + 200 = -4*w, -2*i = w + 72. Let g = i - -36. Let z = 3 + -1. Solve 0 = 2*b - b - 2*v - 1, -g*b + 2*v - z = 0 for b.
-3
Let n(w) = w + 13. Let m be n(-12). Let u = 7 + 2. Solve -4*k - m = 4*t - u, -5 = -5*t for k.
1
Suppose -3*g = -2*m - 45, 0*m + 25 = -m + 4*g. Let j = m + 24. Solve 4*u = 0, -3*n = -j*u + 1 + 2 for n.
-1
Let f(d) = 28*d + 668. Let a be f(-23). Solve 4*y + a = -3*u - u, 0 = 2*u - 3*y - 3 for u.
-3
Let k(y) = 3*y + 34. Let z be k(-15). Let r(q) = -2*q - 20. Let u be r(z). Solve 5*b + u*j + 2*j + 3 = 0, b - j + 6 = 0 for b.
-3
Let x(w) = -w. Let h be x(-4). Solve -5*a + 4*p + 6 = 2, 0 = 2*a + h*p + 4 for a.
0
Suppose -5*x = -2*x - 12. Suppose x*i - 37 = 6*i - 3*j, 5*i + 5*j + 30 = 0. Let s = 16 + i. Solve 3*o = -s*r + 12, 4*r - 8 = -3*o + 4 for o.
4
Suppose 6*a = -a. Suppose 0 = -a*x - x. Solve 2*q - 10 = x, -q - 10 = -4*k + 5 for k.
5
Suppose -4*f + 190 = 174. Solve m - 6 = v - 2*v, 0 = 4*v - f*m for v.
3
Let h be 5*(5 - (4 - 0)). Let d be h/3*21/7. Solve 2*t - 3*w = 2, 5*t - 3*w - w - d = 0 for t.
1
Suppose -3*w + 119 = -205. Let y be (-4)/(w/(-87)) - 12/54. Solve 5*i + h + 3 + 1 = 0, y*i = 2*h - 5 for i.
-1
Suppose -19*v = 53 - 167. Solve 0 = -3*c - 5*b - 10, 3*c - 3*b + 24 = v for c.
-5
Let c = 18 - 12. Let n(o) = -o**3 + o + 6. Let g be n(0). Let i = g - 4. Solve -u + 3*s + 1 + 3 = 0, -c = -i*u + 4*s for u.
1
Suppose 3*j + 72 = 9*i - 6*i, 4*i = -3*j + 103. Solve -v = 4*v - i, -3*v = 5*g for g.
-3
Let p be 6/(-4 - -1)*130/(-52). Solve 5*b + 5*z = 0, p*b = 3*b + 3*z + 20 for b.
4
Suppose 10 = -g + 2*t, 4*t + 5 = -4*g + 1. Let z be g/(-22) - 12/66. Solve -6 = -3*s + 2*d, z*s + 2*s + 2*d = 14 for s.
4
Let v be (-15)/(-6)*(0 - -2). Suppose v*w + 11 = -19. Let r = 13 + w. Solve 0 = -4*d + 5*s - 6, -4*d + 2*s = -r*d + 7 for d.
1
Let s = 73 + -132. Let g = s - -63. Solve g*t = 4*j + 16, -j - 3*t + 2 = j for j.
-2
Let v(k) = k. Let b be v(5). Solve 7 = b*q - 2*j + j, -2*j = 5*q - 16 for q.
2
Suppose 14*q = 4*q. Solve a = 5*p - q*a + 5, p + 3*a - 15 = 0 for p.
0
Let j(v) = -v + 20. Let w be j(20). Solve -2*l + 5*s - 8 = 1, w = 4*l + 3*s - 21 for l.
3
Let f be (1 - (-12)/1) + -3. Suppose f*w = 6*w + 20. Suppose 3*g + 2*g - 40 = 0. Solve 3*b - w = 4*q, 0 = 4*b + 3*q - 7*q - g for b.
3
Let k be 18/(-4)*(-6)/9. Suppose -2*t + 24 = 4*y, k*y = -0*t - 2*t + 20. Let l = 254 - 251. Solve l*z + z = 4*j, 3*j + y = 2*z for z.
-4
Let r(f) = 3*f**3 + 13*f**2 - 15*f - 24. Let t be r(-5). Solve 5*l + t = 3*z - 22, -2 = 2*z + l for z.
1
Let g(q) = 3*q - 5. Let i(b) = -b + 3. Let n(m) = 2*g(m) + 5*i(m). Let k be n(-1). Solve x - 6*x + k*d + 6 = 0, -d = -2*x for x.
-2
Suppose -2*d + 3 = -7. Suppose -10 = o - 2*o - d*y, -2*o = 5*y - 15. Suppose -5*q + 12 = -2*w, w = 5*q - o - 11. Solve 2*z + q = -5*u - 4, -4*u - 4*z = 4 for u.
-2
Let u = 108 - 100. Suppose -t = 2*m - 11, 2*t - 26 = -7*m + 4*m. Let y = -11 + t. Solve 0 = -4*r - 4*a - y, u = r - 0*a - 4*a for r.
0
Let q(t) = -t**3 - 10*t**2 - 7*t + 14. Let r be q(-9). Let o be (-2)/r*-1*-6. Solve 3*c - 18 = -4*m, -o*m + 8 = -c + 1 for c.
2
Suppose 3*s = -24*a + 20*a, 0 = -5*a - s. Let x = 31 + -19. Solve -4*n - x = 0, -5*n = -2*z - a*z + 13 for z.
-1
Let h be 7/98*7*(6 - 0). Suppose -2*m = -5*p + 2, 3*p = 3*m - h - 3. Solve -4*v - 22 + 1 = 5*w, 0 = -m*v - w - 17 for v.
-4
Let t = 3 + 3. Let z be (-3 + 1)*21/t. Let q = 7 + z. Solve -2*c - 2*v - 4 = q, -2 = -0*c + 2*c 