 = -1 for u.
2
Let t = -12 - -12. Suppose -4*k + 9 - 1 = t. Suppose -5*l + 2*c = 0, 3*l + 0*l = -c + 11. Solve k*z - 2*x - 12 = -x, -l*z = -2*x - 14 for z.
5
Suppose -30*v + 13 - 13 = 0. Solve -3*c + 4*o + 16 = v, -5*o + 7 + 4 = 4*c for c.
4
Let k = 3 - 0. Suppose -2*a - 250 = k*a. Let z be (-2)/(((-4)/a)/(-1)). Solve -4*x + 9*x + 3*s = 37, 5*s - z = -x for x.
5
Let a(l) = l**2 + 3*l - 5. Suppose -10*v - 10 = -8*v. Let h be a(v). Suppose h = w - c, 0*c - 10 = w - 4*c. Solve 4*u = -2*g + u - 8, 0 = 3*g + 4*u + w for g.
2
Suppose 3*p - 345 = -20*p. Solve 0 = -3*u - 5*y + 7*y + 3, 3*u = -4*y - p for u.
-1
Let c(b) = 16*b - 7. Let v be c(5). Let h = 52 - v. Let j = h - -25. Solve -j*g - i = 2*i - 3, i = 4*g + 1 for g.
0
Let k(b) = b**2 - 5*b + 8. Let r be k(4). Solve 3*v + w - 3 = 0, 0 = -5*v + 2*v + r*w + 3 for v.
1
Let d be ((-5)/10)/(2/(-4)). Suppose d = 4*t + 2*j - 19, 4*j = 16. Suppose -w - 8 = -t*w. Solve -4*g - w*q + 12 = -0*g, 5*q + 1 = -g for g.
4
Suppose 0 = -5*n + 25*n - 100. Solve m - 3*m = 2*f + 16, 5*f - n*m = 0 for f.
-4
Let n = 2657 + -2655. Solve -5*t + 9 = -f, -6*t + 2*t = -n*f - 6 for f.
1
Let m = 231 - 227. Solve 28 = -3*n + t + 12, 2*t = m*n + 22 for n.
-5
Let u be (-24)/10*-1 + 88/(-220). Let h be ((-8)/2)/(0 - -2). Let r be 16/(3/(1 - h)). Solve -u*k - r = 3*g - 0*k, -4*g - 13 = k for g.
-2
Suppose 0*n - 14*n = -350. Solve g + 3*m - n = -4*g, 0 = 4*m for g.
5
Let p = 167 - 147. Solve -2*k + 3*k - 9 = 3*z, -p = 2*z + 4*k for z.
-4
Let o(l) = -l**3 - 4*l**2 + l + 5. Let m be o(-4). Suppose -x = -1 - m. Solve -r - x*z = 6, r - 4*z - 6 = -2*z for r.
0
Let g(t) = t + 3. Let w be g(-5). Let j be w/(-4)*-2*-15. Suppose 0 = 5*u + 4 - 24, m + 3*u = j. Solve -m*k + 2*s = 2*k - 23, 3 = -3*k - 3*s for k.
3
Let b = -40 + 36. Let g(f) = -f**3 - 5*f**2 - 5*f + 1. Let z be g(b). Solve -z*o + 5 = -2*k, -3*o + 4*k = -0*k + 11 for o.
3
Suppose 56 = n + 49. Solve 9 = 3*d, 2*l - 5*d + 18 + n = 0 for l.
-5
Let q(h) be the second derivative of -h**4/12 + h**3 - 3*h**2 - h. Let x be q(4). Suppose x*w - 3 = 3. Solve t = -w*c - 6, 0 = 2*c + 2 + 4 for t.
3
Let f be -3 + ((-20)/12)/((-5)/15). Solve -f*k - 3*z = -15, k - 20 = -6*z + 2*z for k.
0
Suppose -4*q + 6*q - 12*q = 0. Solve 6 = -3*f - 3*x - 3, x - 1 = q for f.
-4
Let n = 9693 - 9691. Suppose -46 = -5*z + 84. Solve -n*y = -4*c + 2 - z, -8 = -2*c - 4*y for c.
-4
Let t be ((-8)/(-12))/2*6. Suppose -t*f + 3*f = 6. Solve 2*k + k = -4*h - 2, 0 = -3*k - f for h.
1
Let n(m) = m**3 - 33*m**2 + 64*m - 59. Let s be n(31). Let u = -5 + 8. Suppose 4*q + 5*j = u*q - 3, -2*q = -3*j - 7. Solve -k - g - q = -4, 2*k + 1 = s*g for k.
1
Suppose 0 = -l + 1 + 1. Suppose l*c - 9 = -c. Suppose -9 = -c*n, 25 + 68 = 3*g - 4*n. Solve 6*z - 2*z - 5*x + 40 = 0, -g = 3*z - 5*x for z.
-5
Let a be 4 + -3 - (-26 - -1). Suppose 51 = 3*w + 3*t, -w + a = -t + 3. Solve -26 = 2*l + 6*h - 2*h, -h - w = 5*l for l.
-3
Suppose 0 = -3*c - o + 14, -5*o = -2*c - 0*o + 15. Let g(u) = 2 - c - 6 - u. Let v be g(-9). Solve -3*h = -4*a - 4, v = -h + 1 - 5 for a.
-4
Suppose 64 = 5*p - 4*w, 4*p + 5*w - 31 = p. Let c be (-6 + p)/(6/(-16)). Let i = c - -33. Solve 4*y + 10 = 5*a, 3*y + 0*y = -a - i for a.
-2
Let t = -822 + 823. Let j(m) = m**3 - 3*m**2 + 4*m - 2. Let o be j(2). Let f(s) = -3*s - 10. Let v be f(-8). Solve 5*y + v = -o*z, 3 = -y - z - t for y.
-2
Suppose w - a - 3 = 0, 3*w - 2 = 5*a - 1. Let o be 4/(-14) - (-65)/w. Let z = o + -5. Solve z*y = 2*x - 22, -5*x - 1 = 4*y - 0*y for y.
-4
Let n(d) = -d**2 - 15*d + 76. Let c be n(-19). Solve c*j - 5*j = 3*y - 5, 0 = 4*y + 20 for j.
4
Suppose 0 = 4*k + 2*v - 16, 0 = 3*k - 7*v + 3*v - 1. Suppose z - 6*z = -k*l - 9, -3*z + 5*l + 15 = 0. Solve 1 - 6 = t - 2*o, z = 3*o - 9 for t.
1
Let a = 1425 - 1423. Solve -5*s - 4*y + 2 = -a*y, 4*s = -3*y + 3 for s.
0
Let t be 7 + ((-10 - -4) + (2 - 0))/2. Suppose 2*p - 9 = -1. Solve 5*k - 2*k = p*x + 16, 0 = -t*k - 5*x + 15 for k.
4
Let c = -171 + 176. Solve -c*m - 2 = w, 0 = 3*w - 0*w - 2*m + 6 for w.
-2
Let b(j) = 6*j - 88. Let l be b(17). Solve 0 = 5*q - 2*m - m - 19, 4*q - l = 3*m for q.
5
Let d = -5 - -8. Let v be (d + (-21)/5)/((-8)/100). Solve -5*y = -2*a - 2*a + v, 3*y + 9 = 3*a for y.
-3
Let o(s) = s. Let a be o(3). Let p(w) = -w**2 + 22*w + 24. Let f be p(23). Solve -5*g + 20 = -a*m, -f + 13 = 3*g - m for g.
4
Suppose 0 = 3*w - 8 + 2. Let z be 2 - ((-15)/3 + w). Solve -2*h - 13 = 5*g - h, -5*g + 5 = -z*h for g.
-2
Suppose 4*z - 2*y - 8 = 0, 11 + 5 = 4*y. Let c be 0 + z - 4/4. Solve 4*n - 21 = 3*w - 2*w, -2*w - 22 = -c*n for n.
4
Suppose -223 = -4*l - 143. Solve 4*n - f = 5, l = n - 2*f - 2*f for n.
0
Let k(i) = 2*i + 18. Let c be k(-9). Let d be ((-3)/6*c)/4. Solve d = -5*w - 9 - 6, 5*n - 8 = w for n.
1
Let p(j) be the second derivative of j**4/12 + 5*j**3/6 - 2*j**2 + 2*j. Let i be p(-6). Let f = 86 - 84. Solve 3*n + 3*t + f*t = 13, -3*n - i*t = 2 for n.
-4
Suppose -5*l + 6 + 18 = 2*y, 3*l + y - 14 = 0. Solve 2*m - 5*x = 29, -3*m + 2*x - l = 4*x for m.
2
Let z(m) = -2*m + 44. Let v be z(21). Solve a + 4 = -o - v, 0 = -3*o - 4*a - 22 for o.
-2
Suppose -16*s + 14*s + 10 = 0. Solve 15 = 4*k + x + 4*x, -5*x - s = 0 for k.
5
Suppose 0 = z + 5 - 10. Suppose z*j = 5*m - 0*m - 5, 6 = m + 4*j. Solve -3*p = 3*c + 9, 2*p + p = m*c - 19 for c.
2
Suppose l + 1 = -m, -2*m + 3*l - 3 = -26. Solve -m*a + a - 2*x = -18, 5*a - 14 = 2*x for a.
4
Suppose 4*k - 12 = -4*y, 5*y - 3*k = 10 + 13. Solve 0*q + 3 = -c - q, y*c = 5*q - 30 for c.
-5
Suppose -6*r - 4 = -16. Suppose 0 = 5*q + r - 17. Solve 0 = 3*i - q*z, -2*i - 2*i = 2*z - 18 for i.
3
Let d(o) = o + 17. Let q be d(-8). Suppose -q = -5*i + 16. Solve f = -5*v + i*f + 40, 5*v + 5 = -5*f for v.
4
Suppose 12 = s + 14. Let m = -2 - s. Solve m = b - 2*h - 3, b + 0*h + 4*h - 3 = 0 for b.
3
Let t = -1092 - -1097. Solve 3*h + t*q = 6, -h + 10 = 4*h + 5*q for h.
2
Suppose -4*q + 19 = -17. Let v(r) = 18*r - 49. Let j be v(3). Solve -p + j*x = 2, -2*p + x - 4*x = -q for p.
3
Let s(x) = -20*x + 142. Let l be s(7). Solve -g - 10 = l*u, 2*u + 3*u + 4*g + 28 = 0 for u.
-4
Suppose 0 = -4*m - 7*k + 2*k + 64, -k = 2*m - 38. Let v be (-6 - 0)*1/(-3). Solve 5*b - 4*f + m = 0, -3*b - 13 = v*f - 4*f for b.
-5
Let n be (-168)/(-196) - 48/7. Let s = 14 + -6. Let t be (-7)/21 - s/n. Solve 2*y - t = -i - 2, i = -3*y - 2 for y.
-1
Suppose 4*p - 68 = 4*f, -53*p + 57*p + f - 43 = 0. Solve -g - p = 2*j, j = 3*g + 3 + 5 for j.
-4
Let q be ((-16)/(-24)*18/(-4))/(-1). Solve 4*r = -4*n + 2*n + 18, q*r - 3*n = -9 for r.
2
Suppose 2*k - 7 - 11 = -4*n, -4*k - 4*n = -20. Solve 15 = 3*c + 3*x, -k = -2*x + 3 for c.
3
Suppose 11*a - 6*a - 320 = 0. Suppose -34*o = -30*o - a. Let n be -4*(0 + (-12)/o). Solve -n*v = j + 10, -3*j + 7 = -4*v + 2*j for v.
-3
Suppose 8 - 23 = -4*t + 5*s, -1 = -s. Let j = -2 - -3. Let v = j - -2. Solve 0 = t*n - 2*h + 29, 6 + 11 = -v*n + h for n.
-5
Let u = -507 + 511. Solve 0 = -f + u*i - 8, 6*i = 4*f + 4*i - 10 for f.
4
Let w be 15/35 + (-3)/7. Suppose 4*h - 5*n - 35 = w, -5*h - n + 72 = -8. Solve 0 = -3*k + h, 3*l = 3*k - 2 - 4 for l.
3
Let g(c) = -c**2 - 6*c. Let d be g(-2). Suppose 0 = 4*z - 4*l, -d - 7 = -2*z - l. Solve z*q - 25 = 2*n, -3*n = -4*n for q.
5
Let y be 8*(-4 + 5) - (16 - 10). Solve 2*a - 18 = -y*v, 2*a - 5*v + 4 = -6 for a.
5
Suppose -80 = 3*v + 2*v - 5*a, -2*v + 4*a - 24 = 0. Let o = -16 - v. Suppose 2*q + 2*q = -o*m + 32, 3*m = 12. Solve -4*w - 11 = -w + 4*g, -5*w - 13 = q*g for w.
-1
Let b = -10 + -1. Let h = -11 - b. Suppose 5*c + 15 = 3*q, -q - 5*c - 14 - 1 = h. Solve -5*w - 23 = 5*l - 68, l - w + 1 = q for l.
4
Let w(c) be the third derivative of -c**6/120 + c**5/12 - c**4/12 - 5*c**3/6 + 5*c**2. Let y be w(4). Solve 2*h + 23 = -6*i + 3*i, -4*h - 1 = -y*i for i.
-5
Let s = -391 - -406. Solve 0 = 3*q - 3*i - 12 - 0, 3*i = -s for q.
-1
Suppose -4 = l, -22*g + 23*g + 2*l + 4 = 0. Solve 2*d + g = -2, -3*d = -2*a + 11 for a.
1
Suppose -2*n + 5*i - 1 = 0, 8*n - 3*n = -2*i - 46. Let o = n - -10. Solve -2*u - 2 = -f, -2*u - 3*f - o*f = 2 for u.
-1
Let a = 127 - 114. Solve w - a + 31 = 3*g, 2*w + g = -1 for w.
-3
Let i(j) = j**2 - 23*j + 105. Let u be i(6). Solve f = -3*a - 14, -6*f - a - 18 = -u*f for f.
-5
Suppose -3*l - 4*r = 10, -3*r - 8 = 2*l - 0*r. Solve 4*d - l*v + 4 = -0*v, -4*v + 8 = 0 for d.
0
Let l(