a for u.
-2
Suppose -b - o + 13 = 0, -5*o + 4 = -1. Let r be (32/b)/((-2)/(-3)). Solve -5 = n - 3*y, r*y + 6 = n + 13 for n.
1
Suppose 1 = -5*c + 3*o - 5, -3*c - 3 = -2*o. Let n be -8*c/(9 + -3). Solve l = 3*x - n*l + 30, -2*l - 19 = 5*x for x.
-5
Let b(d) = 5 - 2 - d - 4 + 0. Let x be b(-5). Solve 0*s + j = x*s + 12, 4*j + 36 = -5*s for s.
-4
Let a = -36 - -41. Solve 9*i - 4*i = -a*k + 40, 2*i - 5*k = -19 for i.
3
Let h(v) = v**3 - 2*v - 1. Let n be h(-1). Suppose 2*d - d = n. Solve 2*o = -4*f - d*f - 6, 5*f + 3 = -o for f.
0
Suppose 7*p + n - 40 = 2*p, -5*p + 5*n + 70 = 0. Solve -2*l = -4*a + 11 + 3, -5*l = 3*a + p for l.
-3
Let x(z) = 12*z. Let o be x(1). Suppose -2*g + o = 4. Suppose -4*f - 12 = -g*q, -q - 3*f + 1 = -2*f. Solve -q*b - u - 6 = 3*u, -3*b + 23 = -2*u for b.
5
Suppose 2*r = -3*c - 2*c + 17, 3*r = c. Solve -2*q + 17 = -c*n, -q + 2*q = 4*n + 16 for n.
-3
Let k be 2/(-12) - 155/(-30). Solve 3*v - 5*t - 30 = 0, k*t + 5 = -2*v - 0*v for v.
5
Let f be (-79)/9 + (-8)/36. Let z = 13 + f. Solve -z*l = -2*j + 20, 4*l - 5*l = j + 5 for j.
0
Suppose 4*u - 12 = 0, 4*w + 35 = -w + 5*u. Let t = 7 + w. Suppose p = h - 0 - 3, 2*h = t*p + 6. Solve 0*d = -d - 5*q + 6, -4*d + q - 18 = p for d.
-4
Suppose -3*l = -2*m - 0*l + 16, 5 = 3*m + 5*l. Solve -4*v - m*q + 23 = 4, v - q + 2 = 0 for v.
1
Suppose -d + 1 + 2 = 0. Suppose 0 - d = -s. Suppose s*r + 23 = 2*v, -10 + 3 = 2*v + 3*r. Solve 3*w - 4*n - 16 = 0, -3*w + 3*n - 2*n = -v for w.
0
Let n(i) be the first derivative of i**3/3 - 2*i**2 + 1. Let q be n(3). Let s = 2 - q. Solve x - 3*x - s = 5*a, -3*x = 15 for a.
1
Let v be (-3 - (-5 + 3))*-3. Suppose -v*y - 3 = -12. Let p(s) = s + 7. Let l be p(-5). Solve t = y*t + 4*u + 6, l = 2*t - 4*u for t.
-1
Suppose 2*t = 3*k + 21, 2*k + 19 = -2*t - 3*k. Solve 6*s = 4*y + 3*s + 15, t*y - 2*s + 11 = 0 for y.
-3
Let p be (-5)/15*(0 - 0). Solve 2*x - i - 3 = -2, -5*x - 3*i + 30 = p for x.
3
Suppose -2*l + 2 = -g - 7*l, 5*g - 4*l - 19 = 0. Suppose g = 4*b - 33. Solve -3*i + 3*v = 18, b = -5*i + 4*i + 2*v for i.
-3
Suppose 2*i + 0 = -2. Let c be i/(-2) + 28/8. Suppose c*p + 5 = 21. Solve -4*r + 2*v = 14, -2*r - p*v = 34 - 12 for r.
-5
Suppose 0 = 5*x + 2*x - 7. Solve q + 2 = -p - x, 3*q - 5*p = -1 for q.
-2
Let q(t) = t + 3. Let u be q(1). Solve 2*r + y + 2*y = -9, -3*r - y + u = 0 for r.
3
Let k = 175 + -142. Solve 0*j + k = 2*u + 5*j, 0 = u - j + 1 for u.
4
Let r = -36 - -39. Solve p + 3*h = -5 + 13, 3*h = r for p.
5
Suppose a = -4*a. Solve a*r = 5*r + 2*d - 2, -2*r - 4*d = -4 for r.
0
Suppose -3*c + d + 0 = 1, -3*c = 4*d - 19. Suppose 1 = p - c. Suppose -54 = p*g - 5*g. Solve 3*w + g = -4*o - 13, 4*w = o - 16 for o.
-4
Suppose 0 = 5*r + 2*o - 15, -o = 2*o - 15. Suppose -24 - r = -5*s. Suppose -3*z + 20 = 4*h + 3, 0 = -2*z - 2. Solve -a - h*l = 4*a + 30, -s*a - 4*l = 27 for a.
-3
Let z = 24 - -1. Let v be z + (-3 - -1) - 3. Suppose -2*c + 0*y + 11 = -y, -v = -5*c + y. Solve 0 = -w - 3*a + 9, 9 = 2*a + c for w.
0
Suppose -t = -2*m + 5*m - 14, 2*m - 109 = -5*t. Solve 4*q = -3*r + t, -q + 3*r - 17 = -2*q for q.
2
Let x = 56 - 33. Let f(j) = j + 3. Let z be f(7). Suppose -11*m + 5 = -z*m. Solve -4*q + m*a = -x, -4*a - 19 + 3 = -2*q for q.
2
Let g(c) = -c. Let l be 0 + 0/1 - 5. Let a be g(l). Solve -3*w + a*n = 3*n + 5, -n - 11 = 3*w for w.
-3
Let z = 4 - 2. Suppose z = -m - 0. Let c = 1 - m. Solve 0*v - 4*j + 20 = 2*v, -c*j = -15 for v.
0
Let n(t) be the first derivative of -1/4*t**4 - 3 - 1/2*t**2 - 4/3*t**3 + t. Let i be n(-4). Solve 0 = i*p - 5*c + 17 - 2, 3*c = 3 for p.
-2
Let c be 1 - (1 + 2) - -4. Let z be -2*-3*1/c. Solve -12 = 3*a + x, 4*a + 5*x - z*x = -18 for a.
-3
Suppose -4*x = -3*x + 5*u - 18, 0 = 3*u - 9. Suppose 9 + 6 = x*o. Solve -o*h + 3 = 2*s - 4, 0 = -5*h + 3*s + 27 for h.
3
Let j = 15 - 10. Let x be 4/j*25/10. Solve x*b + v - 17 = -b, 9 = b + v for b.
4
Suppose g - 4 = -6, 4*p - 36 = -2*g. Suppose -8 = -4*r - 5*b, 4*r - 2*r + 2 = -4*b. Let d = 13 - r. Solve 3*s - j - p = 0, -5*s - d*j = -j - 10 for s.
3
Let t(r) = -r**3 - 3*r**2 + 5*r + 9. Let q be t(-4). Solve q*s + 5 - 2 = -v, s - 3 = v for s.
0
Let c = 50 - 70. Let z be (-15)/(-4) - 5/c. Suppose -y = z*n - 11, 0*y + 5 = -y. Solve -n*b = -5*p + 33, 2*p + 5*b = -3*p + 15 for p.
5
Let h(b) = b**3 + 11*b**2 - b + 9. Let d be h(-11). Solve 3*w - 5*y + 10 = -3*y, 5*w = 5*y - d for w.
-2
Let z be (-4)/(-8) + 3/(-6). Solve z = 4*o + 3*n + 31, 3*o - 4*n = n + 13 for o.
-4
Suppose 0 = 3*l + 23 - 5. Let y be (6/(-4))/(l/(-8)). Let g = y + 4. Solve t - 3*m + 2 = 0, 0 + 3 = -g*t + 5*m for t.
1
Let d(r) = r + 2. Let i be d(7). Let j be -1 + 3*3/i. Solve j = k - 2*v - 12, 4*k + 6*v = v - 4 for k.
4
Let n(y) = -y**2 - 3*y + 12. Let i be n(-5). Solve -2*m - 5*r - 5 = 0, -2*m + i*r - 2 = -18 for m.
5
Let j = -52 - -31. Let w be (-102)/j - 2/(-14). Solve -l - w*n = 2*l + 8, -4*n - 4 = 0 for l.
-1
Let y = -15 + 24. Let l be ((-14)/(-6) + -2)*y. Solve -l*g + 3 = -5*d, 5*g + 10 = -d - 13 for d.
-3
Let k(m) = -m**3 + 3*m**2 + 4*m - 8. Let w be k(3). Solve -2*l = -w, 3*l + 2 = -s + 6*l for s.
4
Suppose 3 = 3*r - 3. Let f be -4 - -2 - -12 - (-3 + 8). Let z(w) = -16*w. Let g be z(-1). Solve 3*l = -f*x + r, -x - x - 5*l = -g for x.
-2
Let n(t) = -2*t - 1. Let p be n(-4). Suppose 2*d - p - 3 = -5*i, 5*i - 30 = 2*d. Solve 5*b - 6 - 7 = -i*u, 3*b + 3 = 3*u for u.
2
Suppose 0 = -0*x - x + 3. Solve 3*u - b - 19 = 0, 0*u + 4*u = x*b + 32 for u.
5
Suppose -t - 5 = -2*t. Let v be (2 - 2 - 1) + 4. Solve -v*h - 2 = w - 7, 0 = w - t*h - 5 for w.
5
Let o = -3 + 13. Solve 3*w + 8 = -4*m, 4*m + o = 5*w + 6*m for w.
4
Suppose -3*h + 0 - 6 = 0. Let d = -7 + h. Let z(v) = -v**2 - 8*v + 11. Let m be z(d). Solve m*a - 2*f - 1 = -5, -8 = a - 4*f for a.
0
Suppose 0 = -3*o + 4*o - 2. Solve 0*b - 10 = b + 3*u, -o*b - u = -5 for b.
5
Let s = -29 - -43. Suppose 2*u + x + s = 45, u - 23 = x. Solve -p = 4*w - u, 3*p - 20 = -p - 3*w for p.
2
Suppose 8 - 2 = o. Let p be (-10)/(-15) - (-2)/o. Solve -5*i - 7 = -3*x, -i + x = 4*i - p for i.
1
Let t(k) = 2*k - 2. Let y be t(2). Solve -3 = -y*u - 2*p + 1, -p = -2 for u.
0
Suppose 0*h = 3*g + 3*h - 27, -4*h = g - 21. Suppose -8 = 3*s - 7*s. Solve -3*l - 3*d = 6, s*l - g = -0*l + d for l.
1
Let j = -2 - -4. Suppose -2*z - j*z = -80. Solve 18 = -3*w + 3*k, z = 4*k + k for w.
-2
Suppose -12 = -f - 2*c, 5*f - c + 2*c - 24 = 0. Solve 4*s = 5*z + 25, -2 + 1 = -s - f*z for s.
5
Let k = 0 - -16. Let i(b) = b**2 - 16*b + 3. Let y be i(k). Solve -24 = 3*r - 3*x, 5*x - 12 = -y*r + r for r.
-4
Let g = 121 + -119. Solve -2*m = 3*m + 3*b - 13, g*m - 5*b + 1 = 0 for m.
2
Suppose p = 2*p - 1. Let k be 2*p - (-1 + -2). Solve -5*a + 13 = x, -3*a + k + 0 = 2*x for x.
-2
Suppose 0 = 4*i - 17 + 1. Solve 5*z - i*v - 37 = -4, 10 = -5*v for z.
5
Let a be 4 - (-8 + 3) - -2. Solve k = -0*k + 4*o - 2, -3*k = 5*o - a for k.
2
Let q be (6/4)/(6/68) - -3. Solve -4*j - 2*i = -0*i - 16, q = 5*j + 3*i for j.
4
Let r be ((-3)/3)/(4/(-16)). Let a be -1 + (-2)/(1*-2). Solve 0 = n + r*p + 4, a*p - 10 = -n + 3*p for n.
4
Let h(x) = x**3 + 4*x**2 + 1. Let m be h(-4). Let c be m/3 - 28/(-6). Suppose -121*i = -117*i - 8. Solve -2*k - 2*o = k + 5, -o = i*k + c for k.
-5
Suppose z - 12 = -c - 3*c, -3*c - 4*z = -22. Suppose 0 = -c*m - 3*m. Solve m = 2*d - 4*q - 20, -d - 5*q = -q + 20 for d.
0
Let g be (42/(-12) - -5)/(3/34). Solve 5*k - 25 = 5*v, -k - 4*k - 3*v = -g for k.
4
Suppose -4 = -4*o, -6*u = -3*u - o + 22. Let m = -5 - u. Solve -2*b + b - 7 = a, -4*a + m*b = -2 for a.
-2
Let c = 10 - 6. Suppose m + 5 = 2*r - 0*m, -c*m = 4*r - 28. Solve -r*u - u + k = -9, -9 = -u + 2*k for u.
1
Let h be 2*(1 + 5/(-1)). Let o = -5 - h. Solve 21 = v - o*l - 2*l, -v = -4*l - 16 for v.
-4
Let g(d) = -2*d**2 - 2*d - 4. Let s be g(-4). Let b be 22/8 - 7/s. Solve 0 = 2*m - b*l + 5, 0*m = -3*m - 2*l + 25 for m.
5
Suppose 4*z + 4*g - 24 = -z, 5*g - 25 = -5*z. Let v be z/6*(-9)/(-2). Solve v*w + 6 = 2*l, -l - 4*l - 4*w = 31 for l.
-3
Let y = -65 + 67. Solve 5*g + y*r - 4*r - 7 = 0, 0 = g - 4*r + 13 for g.
3
Let c(r) = r**3 - r**2 - 2*r + 2. Let u be c(2). Let b(t) = t. Let n be b(-1). Let g be -4 - n - (u - 11). Solve 5 = 5*k, -w + 8 = -k + g*k for w.
3
Suppose v = -4*v + 25, i = v - 7. Let b = 0 - i. Suppose 2*q + b = -2*k, -5*q - 33 = -3*k + k. Solve -j - 2*