for o.
0
Let j(l) = -l**2 - 4*l + 5. Let q be j(-5). Let u be ((-8)/6)/(1/(-3)). Let g = 6 + 2. Solve q = -u*c + g + 8 for c.
4
Suppose -i = -0*i + 4. Let j = 0 - i. Solve -3*m - j = -4*m for m.
4
Let n(r) be the second derivative of r**4/12 - r**3/2 + r**2 + 10*r. Let c be n(3). Solve -c*a + 7*a = 0 for a.
0
Let i = 22 - 19. Suppose -10 + 4 = -i*u. Solve 3*h - u*h + 3 = 0 for h.
-3
Let b be (-6 - -7) + 1*2. Suppose c + 8 = b*c. Suppose 2*f + 2*f = -c, -5*f = 3*k - 1. Solve j + j - k = 0 for j.
1
Let q be 0 - -3*(-16)/(-12). Let g be 8/28 - (-346)/14. Solve q*s - g = -s for s.
5
Let p(n) = n**3 - 11*n**2 + 9*n + 11. Let x be p(10). Solve -w + 1 = -x for w.
2
Suppose 4*u = -3*u + 63. Solve u = -3*l + 3 for l.
-2
Suppose 0 = 3*b - 32 + 8. Suppose -b = 5*h - 33. Solve 13 = h*z - 2 for z.
3
Let o be -3 + 3 + 3 + -5. Let u be 1/(o + 33/15). Solve u*k - 14 = -4 for k.
2
Suppose 0 = 5*g - 2 - 13. Solve -g*o + 2*o = -2 for o.
2
Let u be 1 + (-3 - (-28)/4). Solve -u*h + h = -16 for h.
4
Let x be 2 + 1 + 9/(-9). Solve -15 = x*r + 3*r for r.
-3
Let o = -25 + 25. Solve 5*n = -o*n for n.
0
Let w = -31 - -35. Solve -2 = 2*b + w for b.
-3
Suppose 5 = p + 3*q, 5*q + 15 = 5. Solve 6 - p = 5*y for y.
-1
Suppose 4*i = -9 - 7. Let z be (-1 + (-10)/i)*2. Solve -13 = -z*b - 4 for b.
3
Let y = 8 - 6. Let o(p) = -2*p**2 + 2*p - 2. Let m be o(y). Let x be (-4)/m + (-12)/18. Solve 5*b + x*b = 10 for b.
2
Suppose -o + 4 - 1 = 0. Suppose -4*w + 5 = -o. Let q be 4*(1 + w)/3. Solve -b = 7 - q for b.
-3
Let t = 0 + 2. Let i(k) = 2*k**2 + k**2 - t - k**3 + 5*k + 0*k**2 + 0*k**3. Let g be i(4). Solve -g*x + 2 = 4 for x.
-1
Suppose -2 - 18 = -t. Solve -6*b - t = -2*b for b.
-5
Suppose 0 = 3*k - i + 45, -3*k - i - 70 = -25. Let w = 17 + k. Solve -w*s = 2*s for s.
0
Let b(d) = d**2 - d. Let w be b(2). Solve -x = w*x for x.
0
Suppose 42 + 34 = 4*l. Suppose -2*i + v + 4*v - l = 0, v + 7 = 4*i. Solve 0 = n - i - 1 for n.
4
Let j be 5 + (-3 - (-8 - -3)). Let n(q) = q**3 - 7*q**2 + 2*q - 8. Let s be n(j). Solve 0 = 2*h - s for h.
3
Let j be (-1 + 5)*9/4. Let k be (-11)/(-2)*(-4 - -6). Let n = k + j. Solve 3*o - n = -o for o.
5
Suppose 2*x - 23 = 1. Solve x = 2*r + 2*r for r.
3
Suppose 3*m = -3*a - a + 28, -5*m + 16 = -a. Suppose -a*i - i = 10, 2*i + 22 = 3*y. Solve z = y*z + 25 for z.
-5
Suppose -l - 50 = -3*l. Let g = l - 21. Solve c = -g*c - 5 for c.
-1
Suppose -4*r = 3*d, -2*r - 3*r = 5*d + 5. Let a be 1 - (0 + r + -2). Suppose 9 = 3*x, -k - 8 + 2 = -3*x. Solve o + k*o + 20 = a for o.
-5
Let c(k) = -k**3 - 14*k**2. Let v be c(-14). Let y be (-4)/(-10) + (-36)/(-10). Solve v = -y*q + 7*q for q.
0
Let q(w) = -w + 11. Let l be q(9). Let d = 2 + l. Solve -4*y + 8 = -d for y.
3
Let a(w) = -2*w - 10. Let j be a(-5). Solve -4*s = -j*s - 20 for s.
5
Let q be (-195)/12 + 1/4. Let d = -4 - q. Solve f + 2*f + d = 0 for f.
-4
Let z be (1/(-3))/((-1)/21). Suppose -3*p + 2 = -z. Solve -p*a = -3 - 9 for a.
4
Let b be (42/28)/(2/4). Solve b*i = 5 + 4 for i.
3
Let j(o) = o**2 - 2*o. Let r be j(2). Suppose r = 5*t + 57 - 157. Suppose 3*p - 4*m + 12 = 0, 0*p - 6 = 4*p - 2*m. Solve p*l - t = 5*l for l.
-4
Suppose -2*f = 2*q - q - 29, 0 = -f - 2*q + 19. Solve 2*n - f = -5 for n.
4
Let n be (-2)/(-3) - (-3)/9. Let x be 3 + -2 - n - -2. Solve x*c + c = 3 for c.
1
Let x(j) = -j**3 + j**2 - 1. Let y be x(2). Let p(s) = 5 + s - 4 - 1 + 7. Let f be p(y). Solve -f = 4*z + 2 for z.
-1
Let o(j) = j**2 - j - 1. Let b(c) = -2*c**2 + c + 1. Let q(r) = -3*b(r) - 4*o(r). Let g be q(2). Solve 4*v + g - 31 = 0 for v.
5
Let h(v) = v + 2*v - 7 + v**2 + 0. Let i be h(-5). Solve -i + 0 = -p for p.
3
Let o = -4 + 10. Suppose 25 = 2*t - 3*m, 4*t - 2*m - 2*m - 40 = 0. Let s(p) = p - 3. Let u be s(t). Solve u - o = -2*v for v.
2
Let v = 0 - -7. Solve v = 4*f - 9 for f.
4
Let k be (-7)/(-6) - (-8)/(-48). Solve -21 = 4*f - k for f.
-5
Suppose -7*c = 1 - 22. Suppose 0 = 4*h - 5*k - 3, 0 = 4*h + 3*k - 16 - 27. Solve h*d - 12 = c*d for d.
3
Let u(z) = z**3 - 20*z**2 - 20*z - 21. Let g be u(21). Solve g*i = -4*i + 20 for i.
5
Let q(x) = -x**2 - x + 2. Let z be q(-2). Solve 4*h + z = -12 for h.
-3
Let v(p) = -p**3 + 6*p**2 - 6*p + 5. Let k be v(5). Let n(u) = u + 3. Let w be n(-3). Suppose 2*c - 1 - 5 = w. Solve 6 = c*g - k*g for g.
2
Let l = 16 - 13. Solve 0 = q + l*q for q.
0
Let u be 72/10 + (-2)/10. Let l be 2/u + (-44)/7. Let b be (-15)/l - 1/2. Solve -3*m = b*m - 20 for m.
4
Suppose -35 = 3*r + v - 5*v, 5*r - 4*v = -61. Let s = r + 15. Solve -7 = -s*c + 3 for c.
5
Let l(q) = -q**2 + 6*q - 3. Let w(k) = -k**2 - 8*k - 7. Let v be w(-6). Let c be l(v). Solve 5*z - c*z - 12 = 0 for z.
4
Let t be ((-2)/(-1))/((-20)/(-50)). Suppose -2 = 4*w + h + h, -t*h = 5*w + 15. Solve -5*x + w = 12 for x.
-2
Suppose 193 = 4*h - 171. Suppose 5*n = h - 26. Solve -3 = -5*b - n for b.
-2
Let h be 6/(-2)*8/6. Let c = h + 8. Solve -12 = 2*x - c for x.
-4
Let b be (-31)/(-2) + 1/2. Let k = -9 + b. Solve -3*j = 1 - k for j.
2
Suppose 2*i + 2 = 0, -5*i - 47 = 2*s + 44. Let k be -3 - -2 - s*1. Suppose 2*x = -4*d + 3*x + 21, 5*d + 4*x - k = 0. Solve -5*h - d + 21 = 0 for h.
3
Let s = -93 + 97. Solve -13 = s*o + 3 for o.
-4
Suppose b + 12 = 2. Let j = -5 - b. Solve -j*y + y = 0 for y.
0
Suppose -5*a = -149 - 31. Let q = a + -24. Solve h + q = 4*h for h.
4
Let p be (-15)/6*(-6)/5. Suppose 5*w = -3*r + 4, -w + r + 12 = -4*r. Solve w*o + p = o for o.
-3
Suppose -3*f + 5*r + 12 = -0*f, -2*f + 30 = 4*r. Solve 0 = -3*k - f for k.
-3
Let v be 1 - 1 - 5/(-1). Let x(c) = -2*c**2 + 1 + 0*c**2 + 6*c**3 - v*c**3. Let w be x(1). Solve -4*q = -w*q - 12 for q.
3
Suppose 0 = -o + 2*k - 4*k, -2*k = -4*o. Solve -3 + o = 3*v for v.
-1
Suppose 0 = -0*c - c + 6*c. Solve a + c*a = 0 for a.
0
Let y be (-1)/(-1) + (-15 - 0). Let k = 29 + y. Solve 3*g + 0 + k = 0 for g.
-5
Let j(b) = 3*b + 18. Let m be j(-5). Solve m*z + 4 = -5 for z.
-3
Suppose -w + 2*y = -7, 5*w - 14 = -y - 1. Solve w*f - f = -4 for f.
-2
Suppose 6*q - 4*q = -3*q. Solve 0 = -q*z + z for z.
0
Suppose -2*p + 3*p = 0. Suppose p*i - 3*i = -5*y + 1, 2*y = 2*i - 2. Suppose y = a + 4*v, a - 2 = -2*v - v. Solve -a*z = -0*z for z.
0
Let v = -5 - -1. Let w be ((-1)/(-2))/((-1)/v). Suppose -5*l + 2*t = 4*t - 11, w = -t. Solve -5*r + l = -7 for r.
2
Suppose g - 4 = -g. Let l = -2 - 2. Let q = -1 - l. Solve -g*b + q = -3 for b.
3
Let l = -189 + 49. Let i be l/(-30)*(-6)/(-7). Suppose -z - 4 = 2*d, 4*z - 2 - 3 = -d. Solve -i*x + z*x = -4 for x.
2
Suppose 3*k + 25 = u, -5*u - 5*k + 20 = -65. Let r = -16 + u. Solve f = r*f + 6 for f.
-3
Let s(m) = -2*m**2 + 15*m - 6. Let y(h) = h**2 - 8*h + 3. Let j(n) = 3*s(n) + 5*y(n). Let f be j(3). Solve -8*g = -f*g for g.
0
Let z be 25 + 2*(-2 - -3). Suppose -5*p - 2 - z = -3*r, 0 = 2*r - 4*p - 22. Solve -r*s - 6 = 9 for s.
-5
Suppose 5*k - 11 = -1. Solve k*g + 4 + 4 = 0 for g.
-4
Let f(y) = y**3 + 7*y**2 + 8*y + 5. Let r be f(-5). Let i = r - 12. Solve 1 = i*j - 2 for j.
1
Let a(z) be the third derivative of -z**6/120 + 7*z**5/60 + 3*z**4/8 - z**3/3 - 7*z**2. Let b be a(8). Solve -b*l = -l for l.
0
Let w(v) = 3*v - 4. Let a be w(4). Suppose a = -0*y - y. Let o = 10 + y. Solve -o*u = -u for u.
0
Let v = -11 - -16. Suppose -3*w = -v*w - 2. Let y = w + 5. Solve 0 = y*i - 8*i for i.
0
Suppose 2 = 3*l + 3*d - 7, 4*l - d - 12 = 0. Solve -h = -l - 1 for h.
4
Let a(h) = 2*h**3 - h**2 + 2*h - 1. Let q be a(2). Solve 0*b - q = -3*b for b.
5
Suppose -4*w + n + 10 = 3*n, 20 = 4*n. Suppose -x = -w*x - 4. Solve -4*m - x = 8 for m.
-3
Let w = -10 + 7. Let r = -1 - w. Solve -6 = -r*a + 4 for a.
5
Suppose 4*f = -4 + 28. Let a = f + -2. Solve a*i = i for i.
0
Let l(s) = 4*s - 6. Let n be l(7). Let d be 11/n + (-6)/(-4). Solve 3*f - d*f = -3 for f.
-3
Let b be -4 + 2 + (1 - -2). Let q = 1 - b. Suppose 4*t + 4*s + 20 = q, -2*t - 15 = -s + 4*s. Solve t*y = 2*y for y.
0
Let m(j) = 5*j**3 - j + 1. Let i be m(1). Suppose 4 = i*k - 6. Solve -k = -2*d + 8 for d.
5
Let v = -6 - -13. Suppose 0 = 3*s - q - v, -3*s + s = -2*q - 2. Solve 0 = o - 0 + s for o.
-3
Let a(o) = -o**3 - 2*o + 5 + 6*o**2 + 5*o + 4*o + 0*o. Let q be a(7). Solve -22 + 2 = q*x for x.
-4
Let d(p) = p**3 + 5*p**2 + 4*p + 3. Let y be d(-4). Suppose 117*r - 104 = 109*r. Let x = 0 + 4. Solve -r - y = -x*c for c.
4
Let r = -43 - -62. Solve 4 = 5*a