r for r.
0
Suppose 121 + 124 = 5*z. Suppose 0 = -v - 3*k + 7 + 8, 5*v + 2*k = z. Solve 5*b - 11 - v = 0 for b.
4
Suppose -5*w = -15 - 15. Let o(n) be the first derivative of n**4/4 + n**3/3 + n**2/2 + n - 2. Let z be o(-1). Solve z = q - w*q for q.
0
Let b be -9 + 5 + 4 + 2. Solve 0 = -b*n - 2*n - 12 for n.
-3
Suppose 4*x = -2 + 14. Solve 0*n - x*n = -12 for n.
4
Let d(h) = -h**3 - 2*h**2 + 1. Let p(n) = 2*n + 3. Let t be p(-2). Let j be d(t). Suppose j*v = 3*v - 6. Solve 0 = -v*a + a for a.
0
Let v = 3 + -4. Let m = 1 + v. Let z be (-30)/(-8)*(-16)/(-3). Solve 5*r + m + z = 0 for r.
-4
Suppose 4*f + 4*t = -0*f + 32, -4*f - 3*t + 28 = 0. Suppose -8 = -f*s - 0. Solve s*c - 10 = -2 for c.
4
Let b be (51/6)/((-1)/(-2)). Let v = -10 + b. Solve 2*n = v*n - 25 for n.
5
Let z be (-1)/(-3) + (-275)/33. Let r be (0/1)/(z/8). Solve 5*d + 25 = -r*d for d.
-5
Let l(s) = -11*s**3 + 6*s**2 + 8*s. Let m(h) = 5*h**3 - 3*h**2 - 4*h. Let d(n) = -4*l(n) - 9*m(n). Let j be d(4). Solve j = -a - 6 + 2 for a.
-4
Let f(p) = -2*p - 8. Let s be f(-6). Solve 7*q - s*q = -15 for q.
-5
Let y(m) = -m**3 - 3*m**2 + 4*m + 3. Let z be y(-4). Suppose 6 = z*t - 0. Solve b + b = -t for b.
-1
Let y(h) = h + 11. Let g be y(-8). Suppose 0 = -p + 2 + g. Let r(x) = 4*x**2 - 1. Let v be r(-1). Solve 0 = v*q - p*q - 4 for q.
-2
Let g = 7 + -5. Suppose i = g*i. Solve r = -i*r + 1 for r.
1
Let d be (32/(-14))/8 - 130/(-14). Solve 0 = -3*r - 0 + d for r.
3
Let u be (-11)/(-2)*-1*-4. Suppose -5*t + 15 = -5*o, -5*o + 2*o + 26 = 4*t. Suppose 3*f + 7 + 11 = 3*l, 4*l - o*f = 16. Solve 0 = -4*p - l + u for p.
5
Suppose r - 2*r + 4*p = -4, 4*p = 0. Suppose r*f = -2*k + 20, 4*k = f - 0*f - 5. Suppose 23 = 2*d - g - 13, k = 5*d - g - 96. Solve 3*b = -2*b + d for b.
4
Let k(g) = -2 + 5*g - 8*g + 0 + 2*g + 7*g**2. Let u be k(-1). Solve -2*q - q = -u for q.
2
Let o(l) = -l**2 + 7*l + 6. Let v be o(8). Let q be (-26)/(-8) + v/8. Solve -i = q*i - 20 for i.
5
Let u be 6*1*3/18*2. Solve 0 = u*q - q + 3 for q.
-3
Suppose -6*b - 23 = -3*k - 2*b, 0 = -4*b - 8. Suppose -k = -o + 1. Let u = o + -5. Solve -5*y = -11 + u for y.
2
Let d = 17 + -12. Let j be 3 - -1 - (0 - 1). Suppose 0 = -3*m + j*m. Solve -d*x + 10*x = m for x.
0
Let q(n) = -n**2 - 5*n. Suppose -2*w = -2*f + 6*f + 30, 25 = -4*w - f. Let x be q(w). Solve x = -3*b + b for b.
0
Let q(b) be the third derivative of b**4/24 - b**3/6 - 3*b**2. Let n be q(1). Solve x + n*x + 2 = 0 for x.
-2
Suppose -m + 4*v + 16 = 0, 0 = 5*m - 2*v - 3*v - 35. Let w(g) = g**3 + 11*g**2 + g + 11. Let x be w(-11). Solve m = -2*l - x*l for l.
-2
Suppose -g + 4*g - 5*c + 4 = 0, 2 = -4*g + 5*c. Solve -3 = -j - g*j for j.
1
Let i(z) be the third derivative of -z**4/24 + 2*z**3/3 - z**2. Let x be i(4). Suppose 2*f - 30 = -x*f - 5*b, -4*b + 16 = 0. Solve 1 = 2*y - f for y.
3
Suppose 15*o = 11*o + 32. Let j(r) = 2*r - 10. Let y be j(o). Solve -4*w = -y + 14 for w.
-2
Let q be 6/4 - (-5)/10. Suppose -7 = -q*j - 1. Suppose -j*n = -0*n. Solve 10 + n = -5*o for o.
-2
Let o = -2 - 2. Let w = 5 + 11. Let b be o/14 + w/7. Solve b*c = 3 + 5 for c.
4
Let u(a) = a**3 - 3*a**2 - 16. Let s be u(4). Solve s = g - 2*g for g.
0
Let l be (4/(12/9))/1. Solve -4*p - l + 23 = 0 for p.
5
Suppose z = -4*a + 32, 0 = 4*a - 3*a - 3*z + 5. Solve h - a = -3 for h.
4
Let p(i) = i**2 - 5*i + 3. Let d be p(2). Let u be d + 4 + -4 + 11. Suppose -2*b + 4*b = u. Solve -b*h + 2*h = -8 for h.
4
Suppose j = -2*q + 12, -9 = 3*j - 0*q - 3*q. Suppose -3 = j*f - 49. Suppose -2*a = -2*z + 10, -3*z - a + 5*a + 15 = 0. Solve 2 = -z*x - f for x.
-5
Let q(d) = d**2 - 2*d. Let r be q(0). Solve 0 = -r*k + 5*k + 15 for k.
-3
Suppose 13 = 5*f - 7. Suppose 0 = -f*l + l. Suppose y + 2*y - 6 = l. Solve 0 = y*p - 4 - 6 for p.
5
Suppose 4*w - 9*w - 2*n = -10, -n = 0. Let x(o) = o**3 - 6*o**2 + o. Let p be x(6). Let h be (p/4*-2)/(-1). Solve 0 = w*g + h*g for g.
0
Let g be 18*(3 - 24/9). Let r = g + -5. Let x = r - -1. Solve x*l = l + 4 for l.
4
Let z(u) = u**3 - 2*u - 1. Let w be z(2). Let k be w + -4 - (-2)/1. Solve d + 1 = -k for d.
-2
Let p = -1 - 4. Let r be ((-2)/p)/(1/(-5)). Let f be -5*(-2)/(-4)*r. Solve 0 = -f*y + 4 - 24 for y.
-4
Let o(m) = m**2 + m - 1. Let q be o(2). Suppose -6 = -3*x - 3*f, 0 = -0*x - 2*x - 3*f + q. Let g(y) = y + 8. Let r be g(-6). Solve 1 + x = -r*t for t.
-1
Let q(u) be the third derivative of -u**4/24 + 5*u**3/6 - 4*u**2. Let v be q(0). Solve v*c - 10 = 15 for c.
5
Suppose -3*s + 12 = s. Solve -6*v = -s*v + 15 for v.
-5
Suppose 9*x = 6*x + 15. Let t = 4 - 2. Suppose 3*v - 14 = v + 2*r, -10 = t*r. Solve 7*l - x = v*l for l.
1
Let x(s) = -s**3 + 3*s**2 - 1. Let t = 5 - 3. Let y be x(t). Solve -5*c = -y*c for c.
0
Let y be ((-9)/3)/(-3)*-9. Let w = y - -11. Suppose 5*i = -3*s - 19, -w*s + i + 24 = -3*i. Solve 0 = -s*c - 0 - 4 for c.
-2
Suppose -3*w + 169 = 5*q, -3 = -3*w + 2*w. Solve -5*c + 7 - q = 0 for c.
-5
Let c be 11/(-3) + (-4)/(-6). Let y be 0 + -1 + 6 + c. Solve -4*w - y = -10 for w.
2
Let p(a) = -2*a**2 - 6*a**3 + 7*a**3 + 7*a**2 - 2 + 2*a. Let y be p(-4). Suppose -3*d + y = -6. Solve 5 = 3*h - d for h.
3
Let y be (-8)/3*(-12)/8. Suppose 2*c - 4*f + 10 = f, 2*c - 4*f = -6. Solve -y*g - 7 = c for g.
-3
Suppose 0 = 5*g - 5*v - 126 + 31, 0 = -2*g + 5*v + 53. Suppose 8 = 2*o + c, 5*c = -o - 1 + g. Solve 6*m = o*m for m.
0
Suppose 81 = 5*d + 3*n, 6*d - 5*n = 5*d + 5. Solve -2*o - 7 = -d for o.
4
Let w be (-5)/((-5)/2 + 2). Solve 0 = -4*d + 6*d + w for d.
-5
Suppose 13 = 22*a - 9*a. Solve -2*v - a = -3 for v.
1
Suppose 3*n + 248 = -n. Let z be (n/6)/(1/(-3)). Let s = z - 21. Solve 5 = -5*o - s for o.
-3
Let c be 10/4*8/2. Suppose -36 = -3*d + 69. Solve -5*j = -c + d for j.
-5
Suppose 6 = 4*v - 14. Let u(c) = -c + 3 + 2*c**2 - c + v*c. Let j be u(-3). Solve 4*w + j = w for w.
-4
Let z(x) = x**3 + 8*x**2 + 10. Let q be z(-8). Suppose j - 5 = -4*v + 2*v, v - 2*j + q = 0. Solve -5*k + k = v for k.
0
Let i(p) = p - 5. Let l be i(5). Let z be (-30)/9*6/(-2). Suppose s + s - z = l. Solve -6 = s*m - 1 for m.
-1
Let w = 17 - 12. Suppose -z = -w*z. Solve z = -f + 4*f + 6 for f.
-2
Let m = -39 + 28. Let q = 3 - m. Solve q = 4*k - 2 for k.
4
Let z(w) = 2*w. Let h be z(2). Solve d = h + 1 for d.
5
Let h(r) = 15*r**2 + 3*r - 2. Let x be h(1). Solve -6*a = -2*a - x for a.
4
Let i be (0 + 4 - 4) + 5. Solve -4*u + i = 1 for u.
1
Suppose 5*p + 45 = 4*r, 18 = 4*r + p - 21. Suppose 6 = y + 1. Suppose -4*c - 4 = -0*c + y*u, -c - 5*u - 16 = 0. Solve 0 = 2*z + r - c for z.
-3
Suppose 4*h = -0*h + 4. Suppose -5 + 2 = -f. Suppose -2*p = -f*p + 2. Solve -u + h = -p for u.
3
Suppose -3*u = -8*u + 50. Solve m + u = 3*m for m.
5
Let j be (1 + 1)/(3 - 5). Let a be 1 + j + 0 + 1. Solve -o + 3 - a = 0 for o.
2
Let h(n) = -n + 8. Let v be h(8). Solve -2*o + 8 = -v*o for o.
4
Let b = -17 - -18. Solve 14 = 5*y - b for y.
3
Suppose -3*s = -5*b + 17, 5*s + 0 - 9 = -b. Solve 0 = g + b - 1 for g.
-3
Let w be 4 - (-5 - -2 - -3). Solve 0*n = n + w for n.
-4
Suppose s + 2*s - 12 = 0. Suppose 3*h - 9 = -g + s, 0 = 2*g + 4*h - 20. Let n = 33 - 30. Solve -1 = n*l - g for l.
1
Suppose -16*z = -15*z - 3. Solve -9 = -4*m + z for m.
3
Let i(n) = -n**3 + 20*n**2 + 2*n - 37. Let x be i(20). Solve 3*d = -3 - x for d.
-2
Let v be 0/(-2 + 5 + -2). Let z be (-2 + -2 + 6)*1. Solve 0 = -v*i - z*i for i.
0
Suppose 0 = -4*x - x. Let c(i) = 2*i - 3*i + x*i + 12 + 0*i. Let p be c(8). Solve -k = -p*k for k.
0
Suppose -1 - 11 = -j. Solve 0 = -4*g - 0*g + j for g.
3
Suppose -2*p = -s, -p + 5*s + 4 = -14. Let m be p/(-3) - 4/(-3). Solve -3*u + m + 1 = 0 for u.
1
Suppose 4*o - 10 = -4*y - 2, 4*y + 5*o - 9 = 0. Solve y + 4 = t for t.
5
Let v = 1 - -1. Let h be (-10 - -2)*v/(-4). Let t(o) = o**3 - 4*o**2 + o + 1. Let d be t(h). Solve 0 = 3*p + 2*p + d for p.
-1
Let o be 0/((-4 - -2) + -2). Solve o = 2*i - 0*i + 8 for i.
-4
Let v(d) = -13*d**2 + 5*d + 11. Let w(s) = -7*s**2 + 3*s + 6. Let z(h) = -6*v(h) + 11*w(h). Let c be z(-4). Solve -2*b - 8 = -c*b for b.
4
Let v(c) = -c**3 + c**2 - c + 2. Let g be v(0). Suppose -b + 3*z = -16, -4*b - g*z = b - 12. Suppose 3*k = 10 - b. Solve h = -k*h - 9 for h.
-3
Suppose 3*k + 0 + 3 = 0. Let j be 0/((-3)/(-3) - k). Suppose j = -9*v + 4*v. Solve -3*i = -v*i + 15 for i.
-5
Let r be -1*9*(-2)/(-6). Let t = 4 + r. Solve -x + 2 =