 for o.
-1
Suppose 4*t + 4 = -3*q, 0*t - 2 = -5*q + 2*t. Let m = q + 1. Solve -a - 2*l + 2 = 2*a, -m = -l for a.
0
Let a = -28 - -41. Let s = -11 + a. Solve -8 = -2*z - 0*z, s*z - 20 = -4*i for i.
3
Let v(h) = h**2 + h. Let w be v(1). Solve 0 = -j - 5, w*j - 4*j - 2 = -2*o for o.
-4
Let l = -90 + 90. Solve l = 2*y - 2*n + 1 - 7, -n + 3 = 2*y for y.
2
Suppose 3*s = 5*s - 8. Let c(h) = -h**3 + 5*h**2 - 4*h + 5. Let f be c(s). Solve -3*b + 5 - 23 = -f*r, r + 5*b = -2 for r.
3
Let o(k) = k**3 + 3*k**2 + 2*k + 3. Let n be o(-2). Suppose -n*x = 4*d - 41, -5*x + 3*x + 24 = 2*d. Solve -5*s = -3*y + 27, -y - x*s - 11 = -2*s for y.
4
Suppose 0 = -10*v + 3*v + 21. Solve v*q + q + 4 = 0, -5*q - 17 = -3*j for j.
4
Let o be 0 - -5 - 1*-4. Solve -x - o = 3*g, x = 4*x + 3*g + 15 for x.
-3
Suppose 4*r + 16 - 40 = 0. Let u be 4/6 + (-4)/6. Suppose u = -5*h + 4*k + 37, 5*h + k + 4*k = 10. Solve -r*o + 5*b = -4*o + 26, 2*b = -h*o - 7 for o.
-3
Let n(j) = -j**2 - 4*j + 8. Let r be n(-5). Solve -4*m - 4 = 5*u, m - 4*u + r*u + 1 = 0 for m.
-1
Let t be 4*(-5)/(20/(-3)). Suppose 0 = -t*d - 2*d + 10. Solve -d*i = 5*b + 21, 5 - 14 = 3*i for b.
-3
Suppose 4*p - 5*p = -17. Solve f - 2*b + 5 = 0, 4 = 5*f - 4*b + p for f.
-1
Suppose 0*i - 30 = -5*i. Suppose o + o - i = 0. Solve 0 = b - 4*p - 10, 0*b + 4*p = o*b - 6 for b.
-2
Suppose -5*w = 0, -5*w = -3*o - 0*w + 39. Suppose 5*a = -2*c + 2*a + 1, 0 = 2*c - a - o. Solve 1 = -h + n + 7, -26 = -3*h + c*n for h.
2
Let d be (-4)/(-6)*9/2. Suppose 0*l = l - d. Solve 0*b - 5*i = l*b - 12, 3*i = -2*b + 8 for b.
4
Let k(z) = -z**3 + 9*z**2 - 7*z + 4. Let a be k(8). Solve m + a = -2*n - n, -6 = -m + 3*n for m.
-3
Let d(q) = q + 4. Let t be d(-2). Suppose 0 = -0*u + t*u - 3*l - 14, -4*l = 3*u + 13. Let b be u*(2 - 5) + 9. Solve -5*v - 2*k - 3 = -b*v, -6 = 2*v + 2*k for v.
-1
Suppose 3*n + 2*n = 25. Solve 5*j = -5*m + 30, 5*j + m - n*m + 6 = 0 for j.
2
Let i(m) = 3*m + m**2 - m**3 - 9 + 3*m**2 + 3*m**2. Let f be i(7). Solve p - 2*p + 2*r - f = 0, -4*p + 2*r = 24 for p.
-4
Suppose 0 = 3*m + 25 - 7. Let b(p) = p + 8. Let d be b(m). Let t = 28 - 3. Solve -4*q = -4*c - 2*q + 30, 0 = 3*c - d*q - t for c.
5
Let t be 26/((-2 + 3)*1). Let m be 2/7 + t/7. Suppose -k = -m*k. Solve -w + 2*o + 2 + 1 = k, -2*o = 5*w + 21 for w.
-3
Let d(f) = -f**2 - 11*f - 6. Let k be d(-9). Let t = 23 - 14. Solve x - 2*x - 3*j + t = 0, -4*j = -x - k for x.
0
Suppose 0 = -y + 6 - 1. Solve y*u + o = 5, 6*u = 2*u - 2*o + 10 for u.
0
Let v(b) = b**3 + 3*b**2 + b + 2. Let l be v(0). Solve -d - 9 = -4*r - l*d, d + 3 = 2*r for r.
2
Let x = 254 + -253. Let b = 15 - 10. Solve -b*p + t = -1, p - t = -4 + x for p.
1
Let z be 18/21*1*-7. Let j = z + 9. Solve j*o - v = v - 1, -3*o + 3*v = 3 for o.
1
Suppose 5*x - 2 = 4*x. Let n be (1 - 0)*x + 0. Solve 2*l + 6 = -n*p, 5*p + 2*l + 3 = -9 for p.
-2
Let g(b) = -b + 11. Let s be g(0). Suppose -4*p + l + 34 - 2 = 0, -33 = -3*p + 3*l. Let n be p/2 + 1/2. Solve 9 = 3*q, -2*q + 3*q = n*t + s for t.
-2
Let d be -2 - 1 - -2*2. Solve 2*w - 7*w + 2*o + d = 0, w + 2*o = 5 for w.
1
Let m = 43 + -29. Solve 0 = -5*a - 25, -r + 4 = 2*a + m for r.
0
Let m be ((-12)/3 - -1)*1. Let g = -3 - m. Let p be (8 + 2)*(-4)/(-10). Solve r + 5*t = 10, p*t - 27 = 3*r - g*r for r.
-5
Let g(u) = -u**3 - 12*u**2 - 3*u - 18. Let p be g(-12). Solve 2*o + 2*o - p = -5*l, l + 2*o = 6 for l.
2
Suppose 4*p + 0*p = 40. Let o be (-4)/p + 68/20. Solve -d - 5*a + 3*a = -10, 0 = -5*d - o*a + 22 for d.
2
Let w be 2/(-13) - (-112)/52. Let s = w - 0. Suppose -3*u + 22 = -5*k, -4*u + 2*k = -0*k - 20. Solve 7*r + s*a + 21 = 4*r, -u*r - 5*a = 35 for r.
-5
Let y be 100/(-28) + 3 + 25/7. Solve -4*h + 11 = -3*n, -y*n = -0*h + h - 14 for n.
3
Suppose -n + 4 = 0, -2*o - 5*n + 31 = -3. Suppose -4*r = 3*k - 2*r + 17, 2*k = 2*r + 2. Let s = k + o. Solve m = -2*z, -m = 2*m + 2*z - s for m.
2
Let w = 1 - -3. Suppose -12 + w = -4*y. Solve y*z - 10 = 4*f, -3*f - 2 + 12 = -5*z for f.
-5
Suppose -2*n + 5*n - 24 = 0. Let u be 0 - (-2)/(n/52). Solve l - 4*l - u = -4*t, -5*l = t + 14 for l.
-3
Suppose 0 = 4*a + 4*n + 1 - 29, -20 = -5*a - 2*n. Solve -z - 12 = -2*b, z - 6*z - 20 = -a*b for z.
-2
Let y = -7 - 21. Let l be (-96)/y - 4/(-7). Solve 0*h + 14 = 4*h - 3*c, -4*h + 12 = -l*c for h.
5
Let j(c) = 2*c + 42. Let x be j(-21). Solve 5*t - 4*u - 29 = -x*t, 3*t - u = 16 for t.
5
Let p = -27 - -29. Let d(u) = -u**3 + 6*u**2 - 6*u + 5. Let t be d(5). Suppose t = -z - 0*z + 4. Solve 1 = 2*v - 3*g, p*v + z*g + 4 = 4*v for v.
-4
Let p(w) = 4*w**3 + w. Let q be p(1). Solve 0 = -x - 3*x + 16, -10 = 5*s - q*x for s.
2
Let i be 1*2/4*0. Solve -4*q = -q - 5*j - 25, i = -4*q + 4*j + 28 for q.
5
Let m(v) = -4*v + 1. Let j be m(-5). Solve 0 = -3*p + 5*c + j + 8, p - 4*c - 19 = 0 for p.
3
Let t(h) = 2*h**2 - 2*h - 19. Let n be t(-3). Let a(g) = g. Let z be a(2). Solve 0 = z*q - 3*l - n, 4*l + 18 + 27 = -5*q for q.
-5
Suppose 14 = 5*d - 11. Let s be 0 + 0 + (-12)/(-6). Solve -s*h + d = 3*h - 5*b, 0 = 5*b + 10 for h.
-1
Let l be -3*((-10)/2 - -2). Let v = -56 - -50. Let z = v + l. Solve 3*a = b + z - 0, 5*b - 4*a + 4 = 0 for b.
0
Let k(t) = t**2 - 8*t + 7. Let n be k(7). Suppose 3*h + 12 = n, -3*b + 308 = b - 5*h. Suppose 5*i - 247 = -b. Solve -2*l + 0*m - 5 = 3*m, -4*l + i = -3*m for l.
5
Suppose -m = 2*r, 0 = 4*r + 6 - 2. Suppose -2*o + 26 = 5*b, -2*o + m*b - 1 - 1 = 0. Suppose z = 3*z - 8. Solve -o*w = -4 - 8, z*i - 3*w + 4 = 0 for i.
2
Let c(p) = -p**3 + 5*p**2 - 3*p - 1. Let j be c(4). Solve 2*r - 3*u + j = 0, -6 + 0 = 2*r - 4*u for r.
3
Suppose 30 = 5*l - 4*o, 2*l - 12 = -5*o + 33. Solve 5*k - 6 = -4*u + l, -5*k = -2*u + 8 for u.
4
Suppose 7 = 5*m - 13. Solve -3*a = d - 10, -4*d - m*a + 28 = d for d.
4
Let h = -148 - -151. Solve g = 2*s - 4, -5 - 7 = -h*g for s.
4
Let i(c) = 11*c**2 + c. Let o be i(-1). Suppose 0 = -4*a - 3*g - g - 20, -4*g = a + 20. Suppose o = -a*n + 5*n. Solve 2*j = -t - 1, j + n*t - 10 = -2*t for j.
-2
Suppose -3*u = -3*d + 24, -2*d - 2*d + 37 = -5*u. Let k = -1 + d. Let t(f) = -f + 2. Let m be t(k). Solve 0 = 4*v + 8, m = w - 0*v + 2*v + 5 for w.
-1
Let d(h) = h**2 + 2*h - 3. Let c be d(-3). Suppose c = -3*f - f + 16. Solve -4*g - 4 = 4*u, 4*u + 5 = -f*g - u for g.
0
Suppose 4*f - 6 = 2*f. Solve -2*b = -2*g - b + f, -5*b - 22 = -3*g for g.
-1
Let g(l) = 4*l - 15. Let f be g(6). Let d = 22 - f. Solve 5*y - 4*t + d + 32 = 0, -3*y - 2*t = 5 for y.
-5
Suppose 0 = -0*b + b - 20. Suppose f + f = b. Suppose -9*h + 7*h = -8. Solve 0 = 4*l + 4*d, 3*l + 2*d = h*d + f for l.
2
Suppose -36 = -0*u - u. Solve 0 = -3*h + 5*y - 24, 5*h - 4*y - 9 + u = 0 for h.
-3
Suppose x = -0*o - 4*o - 10, 0 = -3*x - 2*o - 10. Let u be 144/15 + x/(-5). Solve -h + 5*m = -u, -4*h + m + 1 = -1 for h.
0
Let x be ((-5)/(-1) - 2) + 1. Let k = 4 - x. Solve t - 23 = -5*a, k*t - t + 5*a - 17 = 0 for t.
3
Let b = -4 - -6. Suppose o - 5*x = 19, o + x + b = -x. Suppose 0 = i - 0*i. Solve -3*s - o*r + 11 = 0, r + 1 = 3*s - i*r for s.
1
Let d be (-1)/(-3) + (-47)/(-3). Suppose -v - 17 = -5*v + s, 5*v - d = -4*s. Solve -v*q - 4*k = q - 5, q - 1 = 2*k for q.
1
Suppose -3*m = 14 + 1. Let a be (-13)/m - (-10)/25. Let b be 2 - 0/(0 + 1). Solve 3*v = -a*z + 27, -b*z - 3*z + 17 = -2*v for v.
4
Let f(u) = u**2 + 10*u + 5. Let x be f(-10). Solve -5*k + x*o = -25, -3*k + 2*o = 3*o - 7 for k.
3
Let z be (36/(-8))/((-6)/8). Suppose z = 3*f - f. Solve 0*p - 3*o + 26 = 5*p, f*p = o + 10 for p.
4
Suppose 2*o + 5*k - 31 = 17, -4*k = 0. Let j be (-16)/o + (-40)/(-6). Let n = j + -3. Solve 0 = 3*w - 12, n*d - 3*w + 22 = -2*d for d.
-2
Let w = 16 + -25. Suppose -5*f = 5*b - 0*b - 355, -2*b + 5*f = -128. Let d be b/9 + 6/w. Solve -g + 5*p = -11, 3*g - 3*p - 2 - d = 0 for g.
1
Let t be (8/5)/((-4)/(-10)). Suppose 0 = -c - 3*c - 3*n + 11, -4 = -t*n. Solve -4*x = -c*m - 3*m - 5, -2*m - 2*x = -16 for m.
3
Let f = 2 - -3. Suppose -x + 4*n = 4 - 24, 2*n - 12 = -f*x. Suppose -6*l + 15 = -3*l, 3*r + 4*l = 80. Solve -2*o + 3*o = 3*k + 15, x*k + r = -o for o.
0
Suppose 5*t - 2 - 23 = 0. Solve 4*l + 8*z = 3*z - t, -3*z = l - 4 for l.
-5
Suppose -10*b = b. Solve 0 = -g + 2*c + 13, b = -g + 3*c - 6*c - 7 for g.
5
Suppose 1 + 3 = n. Let u(y) = y + 13. Let r be u(-13). Solve -m = n*q - 17, 10 = 5*q + 5*m - r*m for q.
5
Let q(b) = -b**2 + 10*b + 16. Let d be q