 o.
4
Suppose 42*r - 47*r = -15. Let t(x) = -x**3 + x**2 + 4. Let c be t(3). Let q be 2*(c/(-4) + -1). Solve -r*z = 4 + q for z.
-3
Suppose 0 = 5*r - 3*x - 63, 3*x + 9 = 3*r - 30. Solve 5*w = 2*w + r for w.
4
Let y(l) = l + 4. Let z be y(-4). Suppose z = -5*q - 5, -2*b + 6 = -3*q - 3. Solve 0*m - 12 = -b*m for m.
4
Let b(m) = -m**3 + 5*m**2 - 3*m + 3. Let s be b(3). Suppose -4*t - s = 3*q, 3*t + 0*q + 20 = -5*q. Solve t*f + 5 = -5*f for f.
-1
Let n(p) = -2*p + 1. Let u be n(-1). Suppose 0 = -5*v + 10, u*v - 13 = -0*a - a. Solve a = 4*b + 3 for b.
1
Let u(z) = -6*z - 48. Let i be u(-8). Solve 0*x + 3*x - 15 = i for x.
5
Suppose -4*i = -10 - 6. Suppose i*t + 39 = 111. Let g be (-2)/8 + t/8. Solve -5*b + g + 3 = 0 for b.
1
Let v be 6*((-150)/9)/(-5). Let n = -9 - -15. Solve 2*x + v = n*x for x.
5
Suppose 81 = -3*l - 0*l. Let a = -22 - l. Solve 2*z - a = z for z.
5
Let l = -4 - -4. Suppose l = h + h. Solve h*k = 5*k + 10 for k.
-2
Suppose 2*s = -4*a - s + 108, 2*a - 54 = 5*s. Let o = -12 + a. Solve 0 = -2*f - f + o for f.
5
Suppose -n = 2*p - 6, -5*p + 0 = 5*n - 40. Suppose -5*c = 3*h + n, -2*c - 2*h = -4*h + 20. Let j = c - -9. Solve 0 = -j*a + 9 + 11 for a.
5
Let q = 5 + -7. Let b be (0/2 - q)/2. Solve -b = -3*a + 4*a for a.
-1
Let j(o) = -o**2 + 12*o - 8. Let m be j(10). Solve v + 3*v = -m for v.
-3
Let q(d) = d**2 + 5*d + 12. Let z be q(-2). Solve z*i = i - 20 for i.
-4
Let t(g) = -10*g**2 + 6*g**2 + 14*g**2 + 6*g**2. Let a = 3 + -4. Let o be t(a). Solve 3*d = -d - o for d.
-4
Suppose -2*d - 36 = 2*d. Let k = d + 11. Solve z = -k - 3 for z.
-5
Suppose 128 = 5*y - 12. Let i = -18 + y. Solve 2*o - i = 4*o for o.
-5
Let n(z) = 37*z - 17. Let w be n(1). Solve 0*r + 4*r = -w for r.
-5
Suppose -7 = -3*j + 5. Suppose 15 = 3*u - 3*y, u - 65*y + 13 = -70*y. Solve u*m + 2 = j for m.
1
Suppose -5*i - 3*v + 0*v = -150, -30 = -i - 2*v. Suppose -s = -5*r + i, -2*r - 2*s = -s - 5. Solve 0*z = r*z for z.
0
Let m be 0/(-2 - -2 - -1). Suppose -10 = -r - m*r. Solve -p + r = p for p.
5
Let p = 7 + -3. Suppose 0 = 2*m + 3*v + p, -m + 5 + 7 = -2*v. Solve -15 = r - m*r for r.
5
Let y = 0 + 14. Solve 0 = 5*m - 11 - y for m.
5
Let r = -165 - -173. Solve -7*q - r = -9*q for q.
4
Let o(a) = -a**3 + 6*a**2 + 4*a + 24. Let n be o(7). Solve -c = -n - 2 for c.
5
Let h(c) = c**2 - 7*c + 3. Suppose 4*w - 3*w = 7. Let x be h(w). Suppose -x*a + 7 = -5. Solve 2 = -3*u - a for u.
-2
Suppose q = -3*c + 31, -c + 0*c + 13 = q. Suppose 2*j = 1 + 13. Suppose 3*w = j*w - 12. Solve 0*z = w*z - c for z.
3
Suppose 4*x = 4*q - 9 - 11, 5 = -5*x. Suppose 0 = -2*u - 0*d - 4*d, -4*u = -q*d - 12. Solve -u*y = -y for y.
0
Let x = 9 + 0. Suppose u - 2*t = -1, x*u - 4*u + 2*t = 19. Suppose 5*v + 32 = u*z, 5*z - 2*v - 2*v - 36 = 0. Solve -5 = -z*o + 7 for o.
3
Let x be 16/40 - 2/5. Let i = 5 + -2. Solve x*k = i*k + 15 for k.
-5
Let v = 79 + -78. Solve -l = -0*l + v for l.
-1
Suppose 10 = 3*w - 4*r, -4*r = -4*w - 0*r + 16. Solve 3 - w = n for n.
-3
Let b = -1 - 2. Let u = 6 + b. Solve -6 = u*k - k for k.
-3
Suppose 3*t = 11 + 1. Suppose -6*r = -4*r - 2*i + 2, -t*r - 4*i = -36. Suppose j + 2*z - 7 = 2, -34 = -5*j + z. Solve j = -r*u - 9 for u.
-4
Let y be (-44)/(-12) + 2/(-3). Let n be ((-4)/6)/(y/(-54)). Solve -3*h + n = h for h.
3
Let c be (-1)/(-1 + 2) + -6. Let y = -5 - c. Suppose y*s = -2*x + 4*x, -x - 3*s + 8 = 0. Solve x + 0 = m for m.
2
Let b be 16/(-6)*(-12)/8. Suppose -8*t - 4*k = -3*t - b, -4*t + 4*k = 4. Let j be (-9)/18*(-1 + 1). Solve j = -5*z - t*z + 5 for z.
1
Let z(q) = 24*q**3 - 2*q + q + 3*q**2 - 18*q**3 - q**2. Let v be z(1). Solve 3*r - 12 = v*r for r.
-3
Let a(n) = -n**3 - 5*n**2 - 5. Let v be a(-5). Let f be ((-6)/v)/((-3)/(-15)). Let g = -19 - -21. Solve -f*t + g*t = 0 for t.
0
Suppose 0 = -2*s + 6*a - a - 2, 3*a + 15 = 3*s. Let l(y) = -y**3 - 4*y**2 + 4. Let c be l(-4). Solve d = c*d - s for d.
3
Suppose 4*v = -0*v + 8. Let o = v + 1. Suppose 0 = o*l - 12. Solve -y = -l*y for y.
0
Suppose -5*b = -3*b. Let k(g) = g**2 - 3*g - 2. Let p be k(4). Solve 0 = -b*z - p*z for z.
0
Let z be 1 + 29 + -4 + 4. Suppose -z - 70 = -t. Suppose -d + t = 4*d. Solve 0 = p + 3*p + d for p.
-5
Let z = -115 + 118. Solve 0 = h - 2*h - z for h.
-3
Suppose 3*u - 17 = -2. Solve -11 = -u*j + 9 for j.
4
Suppose 4*w = -2*i + 12, -4*i - 2*w = -14 + 2. Suppose -3*d = d - 8. Solve i*h = -4 - d for h.
-3
Suppose -7*p = -6*p - 4. Solve -10 = -p*d + 2*d for d.
5
Let b(l) = 9*l - 7. Let s be b(3). Solve -8*k + 3*k = -s for k.
4
Let x be (-10)/155 + 6/93. Suppose -2 = -4*g + 3*g. Solve x*o + 6 = -g*o for o.
-3
Suppose r + 2 = -3*z, z + 2*r = 3*z - 12. Suppose -i + 5*u = 4 + z, -2*i + 2*u + 6 = 0. Suppose 3*b - 4 = 2. Solve -b*w - 3*w = i for w.
-1
Let c be -6 - ((-6)/3 + -1). Let q = c - -9. Suppose 32 = -2*f + q*f. Solve -p + f = p for p.
4
Let x be (0 - -4)*2/(-8) + 6. Solve x*k - 2 = 8 for k.
2
Let t = 29 - 17. Let a be ((-32)/12)/((-8)/t). Solve s = -s - a for s.
-2
Let v(o) = -3*o + 8. Let f be v(5). Let x = 7 + f. Let g be 6/(-27) - 2/(-9). Solve -h + g*h = x for h.
0
Let s be (-1 + 0 + 0)/(-1). Let w be 0 + -2 - (-8 + s). Suppose 0*v + w*v = -3*f + 25, -f + 2*v + 12 = 0. Solve -4*q = -2 - f for q.
3
Let p be 6/(-39) + (-2)/(-13). Solve p*q - 4*q = -12 for q.
3
Suppose 4*a - 35 = -2*t + 3*a, 2*a - 55 = -3*t. Solve -4*w + w - t = 0 for w.
-5
Let g be (-40)/(-16)*(-2 + 4). Solve 9*k = g*k - 12 for k.
-3
Let b(y) = -y**3 - 5*y**2 - y - 1. Let i be b(-5). Let j be 15*2/10*4. Let d = -10 - -14. Solve i = -d*z + j for z.
2
Let q(u) be the third derivative of u**4/24 + u**3 - 2*u**2. Let d be q(-6). Solve y = -d*y for y.
0
Let a(q) = q + 9. Let m be a(-4). Let c = m + 5. Solve 4*l = 10 + c for l.
5
Let v(y) = -2*y**3 - y**3 + 4*y**3 - 3*y - 4*y**2 + 4*y - 1. Let k be v(5). Suppose 0 = -2*t + 6, t + t + k = 5*w. Solve -2*a + w*a = 0 for a.
0
Let g(w) = 3*w**2 + w - 4. Let b be g(-2). Solve -5*v + b = -14 for v.
4
Let o be 0 - 0 - -7 - 1. Let w = -2 + o. Suppose q = -w*t + 1, -2*q + 4*q = 5*t + 2. Solve t*m = 2*m for m.
0
Let y(g) = -g + 4. Let m be y(6). Let c be 0 + -1 + (-12)/m. Solve 0 = a - c for a.
5
Suppose 7 = 8*y - 9. Solve -6 = -2*s - y for s.
2
Suppose 2*q - 7*q = -25. Solve 0 = -q*u + 4*u - 5 for u.
-5
Suppose 10*n + 8*n = 36. Solve l + 1 = -n for l.
-3
Let y be (-2 + 2)/(-3 - -2). Suppose -5*a + 15 = -y. Suppose 2*d = a + 1. Solve -d*f = -7*f + 20 for f.
4
Let u be 0 - (50/(-12) - (-1)/6). Solve u - 13 = 3*r for r.
-3
Let m = 10 - 7. Suppose 5*v = 4*j, -m*v + 13 = 5*j - 24. Solve -j + 1 = 2*l for l.
-2
Suppose 1 = -5*v + 36. Solve -3*k = 16 - v for k.
-3
Let s(y) = -y**2 + 13*y + 52. Let d be s(16). Solve -11 = -d*n + 1 for n.
3
Let r = -11 + 13. Solve r*x + 0*x + 6 = 0 for x.
-3
Let u be -2 + 1 + 4 - -3. Suppose -w = -3*d - u*w + 15, w = 5*d - 53. Solve 2*a = 7*a - d for a.
2
Let c(w) = -w. Let b(q) = q + 2. Let h(r) = b(r) - c(r). Let d be h(4). Solve -2*t = -2 + d for t.
-4
Suppose 0 = -5*k + 15, -5*w - 3*k + 12 = -12. Solve 5*a + w = 2*a for a.
-1
Let v(j) = j - 4. Let b be v(6). Suppose 16 = 3*r - b*r - 2*d, 0 = r + d - 1. Solve 0*a + r = -2*a for a.
-3
Let m be (5 - 7) + 10/2. Suppose -m - 5 = -4*q. Solve r + 2 + q = 0 for r.
-4
Let x(q) = q**2 - 9*q + 9. Let w be x(6). Let n = w - -11. Suppose n*t = 4 + 4. Solve -j + 12 = -t*j for j.
-4
Let d be (2/(-4))/((-2)/(-8)). Let s(z) = 3*z**2 + 7*z + 2. Let y(k) = 3*k**2 + 8*k + 2. Let l(u) = 6*s(u) - 5*y(u). Let w be l(d). Solve -5*o = -3*o - w for o.
5
Let n(x) = 7*x**3 - x**2 + 7*x + 3. Let z(c) = -3*c**3 - 3*c - 1. Let o(t) = 2*n(t) + 5*z(t). Suppose 4*b + 11 - 3 = 0. Let q be o(b). Solve q*i - 9 = -0 for i.
3
Suppose -3*u = 9, -3*z + 4*u + 42 = 12. Solve 0 = 2*a - z*a + 20 for a.
5
Suppose 6*q - 2*q = o + 29, 0 = -4*q - 2*o + 14. Let d be (-4)/(-10) + 304/(-10). Let a be d/(-12)*q/5. Solve 3*k + a = 6 for k.
1
Let k = 16 + -14. Suppose 0 = -k*a - 18 + 58. Solve -4 = -4*z - a for z.
-4
Let a = 1 - -7. Suppose 5*s - a = s. Solve -1 = -s*w - 5 for w.
-2
Let u(i) = -i**3 - 7*i**2 + 6*i - 8. Let j be u(-8). Solve 0 = 4*g - j for g.
2
Let c = 6 + 4. Suppose 5*z = -0*z + c. Let s = -1 + 4. Solve -z*v + s*v + 4 = 0 for v.
-4
Let z = -28 - -30. Solve 0 = q + q + z for q.
-1
Let m = 6 + -4. Suppose 4 = -4*d - 8. Let o be -2 + (9/(-1))/d. Solve 0 = r - m*