for o.
-4
Suppose -43*t + 42*t + 12 = 0. Suppose 0 = -7*y + t*y - 10. Solve 3*a - 5*b = 4, 1 = -b + y for a.
3
Let g(k) = -k**2 - 8*k + 6. Let m be g(-5). Let u be -3 + 2/2 + m. Suppose 3 - u = -4*p. Solve 4*n = -5*x - p - 32, 0 = -3*n + 4*x + 4 for n.
-4
Suppose 56*s - 54 = 58. Solve -3*m - 6 = -3*y - 0, 10 = 5*y - s*m for y.
2
Let l be (1/(-3))/((16/(-30))/8) - 3. Let h(b) = -b**3 + b + 24. Let d be h(0). Solve 2*r + 3*q + d = -l*r, -3*r - 13 = q for r.
-3
Let b = -213 + 217. Solve b*l = -5*g - 1, -g = -5*l - 0*g + 6 for l.
1
Let j(w) = -29 - 6*w + 4*w + 42. Let t be j(5). Solve -25 = -5*d - t*s, -s = -2 - 3 for d.
2
Let o(u) = -16*u + 96. Let z be o(6). Solve -3*p + 2*a + 0*a = 8, z = -3*p + 4*a - 10 for p.
-2
Suppose 36*v = 40*v. Solve 0*t = 3*t - 5*d, -4*d = v for t.
0
Let b(i) = 2*i**3 + 4*i**2 + 3. Let y be b(-3). Let x = y - -18. Suppose 0 = -w + x*w. Solve -3*q = 5*c - 20, q - 4 + w = c for c.
1
Suppose -z + g = -5, -24 = -2*z + 5*g - 8. Let t be ((-4 - 1)*-1)/1. Solve -z*m - 12 = -w, 0 = 2*w + t*m + 7 + 2 for w.
3
Let k(g) = -3*g**3. Let p be k(-1). Let f(q) = -8*q**3 - 2*q - 2. Let i be f(-1). Let a be (-16)/(-6) - i/12. Solve -j = -p*l - 19, -3 - a = l for j.
4
Suppose -3*n + 7 = 1. Let j be (-2 + 1)*-67*-1. Let i = -65 - j. Solve -n*o - 3*b = 9, -i*o - 2*b = 2*b + 12 for o.
0
Suppose 4*k = 9*k - 10. Let y be (-6)/(-12)*k*4. Solve 3*p = m + 7, -5*p = -0*m + y*m - 23 for p.
3
Suppose -4*g + 65 = -5*u + 13, -2*g + 24 = -2*u. Solve 0 = 5*n + 2*q - 2, -g*n - 5*q = -4*n - 5 for n.
0
Suppose 5*v = 6*v - 4. Suppose 3*c + v*c = -0*c. Solve 4 = -4*g - 5*t + 2, -2*g + 5*t - 16 = c for g.
-3
Let p(o) = -o**2 - 6*o + 12. Let r be p(-7). Solve -2*v - 2*b - 10 = -4*v, 0 = -r*b - 25 for v.
0
Let c be 8/(4 + -8) - -6. Suppose 0 = -5*i - 2*l + 21, 2*l + 3 = c*i - 3. Solve -2*t + 2 = 0, 0 = -4*n + i*t + 13 - 0 for n.
4
Suppose 5*c - 20 - 5 = 0. Let u(f) = -f**3 - 3*f**2 + 3*f - 17. Let r be u(-5). Let d = -14 + r. Solve z = c*s - 24, z = -4*s + d*z + 28 for s.
4
Let d be ((-2)/(-3))/(-1) + 88/33. Let m be (0 + -1 + d)*(12 + -9). Solve -u - m = -4*l, 8*l + 10 = 4*u + 3*l for u.
5
Let v = -687 - -712. Solve 5*j = 5*i + v, -5*i + 17 = 5*j - 2*i for j.
4
Suppose -2 = m - 8. Suppose -m = 3*t + 8*s - 4*s, t + 1 = -s. Solve -3*y = -t*y + 4*a + 13, 5*y = -2*a + 7 for y.
3
Suppose -5*a - 20 = -3*a. Let c = 12 + a. Suppose 0*q - 2 = -2*q, 2*q = -l + 7. Solve -j - 3 = -l*n + 4, -5*j = -c*n - 11 for j.
3
Suppose 0 = 3*q - 6 - 9. Suppose -q*h + 1 + 9 = 0. Let n be (-1)/1*h/(-1). Solve -f + 3 = a, 0 = -3*a + 2*f + 2 + n for a.
2
Let c = -5 + 6. Let l(f) = f**3 - 1. Let t be l(c). Let i = 22 + -20. Solve t = -a + 2*z - 5, -a + i*a - 10 = -z for a.
5
Let i(z) = 2*z**2 - 42*z - 42. Let u be i(22). Solve -2*t - u*t + 20 = -4*l, 2*l - 4*t + 12 = 0 for l.
-4
Let v(g) = -g**3 - 4*g**2 - 3*g + 7. Let q be v(-4). Suppose p - 23 = -q. Solve p*l - 5*d + 0 = -11, -2*l - d = -5 for l.
1
Let d = -180 - -180. Solve 4 = t + 3*r - d, t = 2*r - 1 for t.
1
Suppose 0 = 9*s - 4*s + 85. Let j = s + 18. Suppose -2*p + 4*k - 4 = 0, -3*k = -j - 5. Solve -2*l + 6 = -2*r, -p*l - 2*l - 4*r = -4 for l.
2
Suppose 2*i = i - i. Suppose i = 3*h + h - 8. Solve 0 = -0*t + 2*t + 4*k - 16, t - h*k = -8 for t.
0
Let s = -85 + 66. Suppose 2*f + 56 = 4*f. Let v = s + f. Solve 0 = -i - 3*b - 2*b - v, -i + 5 = -2*b for i.
1
Let q = 69 + -20. Let b = 49 - q. Solve u + 4 = 3*m - b*m, -2*u + 10 = 0 for m.
3
Let j(t) = t**2 - 11*t - 27. Let m be j(-3). Solve 5*a + 2*x - m - 12 = 0, -4*a - 5*x = -25 for a.
5
Let a be (-3)/(-2) + 244/(-8). Suppose 0 = 12*q - 156 + 468. Let p = q - a. Solve 33 - 6 = -3*r - 3*z, -2*r = -p*z - 7 for r.
-4
Suppose 16*c - 7 - 57 = 0. Let h(s) = -4 + s + 0 + 5. Let g be h(c). Solve 2*n = -b - g, 2*b - 2*n + 12 - 2 = 0 for b.
-5
Let v(r) = r**3 - 7*r**2 + 9*r + 19. Let t be v(3). Solve -16 = 2*q - 3*a, -t = 5*q + 2*a + 11 for q.
-5
Suppose m = -3*y, -14*y + 11*y - 3 = 0. Solve 0 = 5*j - m*u - u - 28, -2*u = -5*j + 24 for j.
4
Let f = 17 - 12. Suppose 0 = u + f*i - 2*i - 1, 5*u - 62 = 4*i. Solve -5*x - 8 = 2*r, 2*r = 2*x + 2*x + u for x.
-2
Let d(k) = -k**2 + 5*k + 10. Let y be d(6). Suppose -5*v - 181 = -5*p - 66, -y*v + 16 = 2*p. Solve -3*t + p = i + 1, -4 = 3*i - 2*t for i.
2
Let g(u) = 3*u - 117. Let o be g(39). Solve 0 = 4*k - o*x + x + 17, k - 2*x + 11 = 0 for k.
-5
Let x = -193 + 225. Solve -8 = -2*u - 4*p + 6, 4*u - 4*p + x = 0 for u.
-3
Suppose -3*j + 7 = -8. Suppose 3*c + 2*c - 10 = 0, c - 7 = -r. Let z be (r/15)/((-1)/(-12)). Solve -2*w - 2 - z = d, 0 = 5*w + j*d + 25 for w.
-1
Suppose -8*r = 4*r - 5*r. Solve 5*j - g - 22 = 0, -j + 8 = -r*j + g for j.
5
Suppose 0 = 3*v + 89*m - 84*m - 20, 3*v - 3*m = -12. Solve -2*k - 3*x = 7, 5*x = -v*k - 4*k - 15 for k.
-5
Let t(w) = w + 13. Let m be t(-7). Solve -5*h - 17 = 3*a, -2*h + 2*a - 4*a = m for h.
-4
Let g = 0 + 0. Suppose -3*x - x = g. Suppose x = -7*c + 4*c + 6. Solve 2*l + 20 - c = -3*p, 3*p = -4*l - 24 for p.
-4
Let g(b) be the second derivative of b**3/2 + 4*b**2 - 6*b. Let m be g(-8). Let y = -12 - m. Solve -3*j + 15 = 2*j, 0 = 5*s + y*j - 37 for s.
5
Suppose -5*q = 5*p + 5, -3*q + 3*p = -7*q - 9. Let g be (-2)/(-3)*9*(-4)/q. Solve -4*k - g*c + 6 = -30, 0 = -4*k - 5*c + 40 for k.
5
Suppose 0 = -5*q + 5, -y + 5*q + 13 = q. Let m(h) = -3*h**2 - 21*h + 27. Let s be m(-8). Solve -s*r = 2*r + j - 11, -r - 5*j = y for r.
3
Suppose -10*c = -11*c + 1. Let m be (-1)/(9/(-6) + c). Let f = 12 - 7. Solve -f*j + 0 = -3*u - 3, 0 = -4*u - m*j - 4 for u.
-1
Let f be ((-8)/(-12) + (-46)/42)*-7. Let a be f + -3 + 1 + 1. Solve -a*g + 4*c + 0*c = -14, 2*c = -3*g + 5 for g.
3
Let p(o) = 3*o - 17. Let n be 6 + 8/(-4) - -3. Let w be p(n). Let g = w - 3. Solve -v - g - 5 = -4*i, -v = 5*i - 3 for i.
1
Suppose -84 + 180 = 16*j. Solve -2*a - 36 = -j*a + 5*z, 0 = 4*z + 16 for a.
4
Let m = 199 + -192. Solve -r = 4*q + 21, 2*q - 2*r + 15 = -m*r for q.
-5
Let p be 6/(-63) - 298/(-42). Solve 12 = 2*q + 3*z, -p*z + 16 = 4*q - 3*z for q.
0
Let v(i) = 23*i - 18. Let r be v(1). Solve 0 = -4*o + r*d - 22, -o + 2*o = 3*d - 9 for o.
-3
Suppose -3*c = -0*c + 3*n, -3*c + 4*n + 35 = 0. Solve 5*y + 8 = -d + c*d, 12 = -4*d for y.
-4
Suppose -5*a - 5 = -2*r, 6 - 5 = -a - 5*r. Let c be (-2 + a)*14/(-21). Let y(d) = -4*d. Let v be y(-1). Solve -5*j = -t - 17, v*t - 6 = -4*j - c for j.
3
Let d = 246 + -242. Solve -5 = -o + d*o + l, 0 = -o + l + 1 for o.
-1
Let u = 4 + 1. Suppose -u*m + 8 = -m. Suppose 2*b = -7*k + 3*k + 12, -m*b - 3*k + 13 = 0. Solve -3*a + n = b, n - 2 = -6 for a.
-4
Let b be 9/((5 - 2)/3). Let k = 43 - 41. Solve 4*l = u + l + 6, 5*u - k*l = b for u.
3
Let b(k) = k**3 + 7*k**2 - 9*k - 6. Let s be b(-8). Suppose 0 = -g - s*a - 3, -5*g - a + 28 - 7 = 0. Solve 0 = 5*q - 5, 3*d - d - 3*q + g = 0 for d.
-1
Let r = 29 - 74. Let i be (r/(-36))/((-1)/(-4)). Suppose 0*d - 5*d + 15 = 0. Solve -i*f = c - 5*c + 17, -d*f + 9 = 4*c for f.
-1
Let b = -5 - -8. Suppose b*f = -6, f = -3*t - 0*t + 34. Suppose -4*n - 13 = -5*a, 3*n - 3*a = 2*a - 16. Solve -n*w = -z + t, 3*z = w - 3 - 1 for z.
-3
Let w be 3*((-31)/3 - -11). Solve 13 = -3*b - 4*z, -7*b + 3*z + 17 = -w*b for b.
1
Let v(n) = n**2 - 12*n - 321. Let m be v(-13). Let k = -8 + 10. Solve k*g + 3*g = -w, 2*g - m*w = 0 for g.
0
Suppose -355 = -7*d + 135. Suppose -21*c = -11*c - d. Solve 0 = n - 3*l - l + 21, -2*n + l - c = 0 for n.
-1
Let s = -108 - -53. Let p = s + 67. Solve -2*w - n = n + p, 4*w = n - 9 for w.
-3
Suppose 5*n - 4*n - 14 = 0. Let a = n + 10. Solve 3*f = d + 14, -7 = -4*d - f - a for d.
-5
Suppose 2*a + 0*a - 44 = 0. Suppose -5*p + 0*p - l + 11 = 0, 0 = 3*p + 5*l - 11. Suppose -p*y - 6 = -4*y. Solve y*o = -4*j + 4*o - 12, -5*j + 3*o = a for j.
-2
Suppose -5*w - 5 = -6*w. Suppose 0 = -2*y - 3*x + 4, 2*y - w*x = y + 2. Solve 4*s + 3*j = 2*j - 1, 3*s + j + y = 0 for s.
1
Let v(j) = j**2 - 6*j - 12. Let i be v(8). Solve -5*u + i*w = 8, 0 = -3*u + 3*w - 4 + 1 for u.
-4
Let c(f) = -f**3 + 4*f**2 + 11*f - 42. Let z be c(3). Let s(x) = 2*x**3 - 5*x**2 + 4*x - 1. Let t be s(3). Solve z*l + 4*l = t, 4*h - 2*l = 10 for h.
5
Let y(i) = -3*i - 10. Let l be y(-4). Suppose -l*q - 5*t = -7*q, 0 = -5*q + t + 8. Solve -3 = 3*h - 3*c, 2*h - c = 1 + q for h.
4
Suppose 176*t = 172*t + 8. Solve -t*h + 1 = 3*d + 3, -2