r - o for r.
-1
Let m be (18/15)/(4/10). Suppose a = m*a. Let u = 4 + -2. Solve -u*j - 3 - 1 = a for j.
-2
Let r(n) = -n**2 - 7*n - 5. Let b be r(-4). Let u = b - 5. Let t(l) = l**3 - l**2 + 1. Let s be t(1). Solve -s = w + u for w.
-3
Let f = -211 + 214. Solve 0*n - f = 3*n for n.
-1
Let a(z) = 2*z**2 - 9*z + 9. Let t be a(4). Solve 0*y - t = -5*y for y.
1
Suppose -4*d + 295 = 5*q, 7*q + 4 = 3*q. Suppose -4*s + d = s. Solve 3*y = -0*y - s for y.
-5
Let y(p) = -2*p**2 - 6*p - 1. Let v be y(-4). Let w = -4 - v. Suppose -5 = 4*g - w*g. Solve 4*b - g = -b for b.
1
Let t(b) be the second derivative of -b**4/12 - 5*b**3/6 - b**2 - 2*b. Let k be t(-4). Let x be 10 + k + (-8)/2. Solve y = 3*y + x for y.
-4
Let q(t) = 2*t + 2. Let r be q(-4). Let h = -4 - r. Solve -w + 3 = h for w.
1
Suppose -k - 3 = -0*k. Let r be (-2)/(-1 - (3 + k)). Solve -20 = -r*u - 3*u for u.
4
Suppose 4 + 32 = 6*q. Let s be (-288)/(-80) + q/(-10). Solve 1 = 2*t - s*t for t.
-1
Let x(w) = -w**2 - 5*w - 3. Let z be x(-2). Suppose z*l - l = 4. Solve 0*q - l = q for q.
-2
Let l(r) = -9*r**2 - r - 1. Suppose 0 = w + 4*n - 0*n + 17, 0 = -2*n - 8. Let b be l(w). Let a = b - -13. Solve a + 1 = u for u.
5
Let x(n) = -n**3 + 6*n**2 - n + 2. Suppose 0 = -3*k + 2*k + 6. Let v be x(k). Let q be (-21)/v + 2/(-8). Solve 0 = -h - q for h.
-5
Suppose -d - 11 = 3*s, 2*s + 2 + 8 = 0. Solve -5 = j + d*j for j.
-1
Suppose 4*v = 22 - 6. Suppose -h = -v*x - 33, 5*x - 3 = 2*x. Let f = h - 25. Solve -2*p + 6*p - f = 0 for p.
3
Suppose -10*a = -15*a. Solve -4*j - 28 + 8 = a for j.
-5
Let n = -11 - 1. Let i(t) = -t + 12. Let x be i(n). Solve -4*b - 4 = -x for b.
5
Let v be (8/(-6))/(2/21). Let k = v + 20. Solve 0*q + 2*q - k = 0 for q.
3
Let p be (-3 + -2)*(-8)/10. Suppose 0*k - 22 = -n - 4*k, p*n - 3*k + 7 = 0. Let z = 0 + n. Solve 5*v = z*v + 12 for v.
4
Suppose -3*u + 9 = -2*p, 7 = 3*u + 2*p - 2. Let x be 1 + u/6*10. Let z be 8/(-6)*3/(-2). Solve j + z*j = -x for j.
-2
Suppose 5*i - 4 = c, 4*i = -0*c + 3*c + 12. Solve i*b + 2*b = 0 for b.
0
Let g be (0 - 3)*14/3. Let f be 4/g + 16/7. Let d be 1/(2/14 + 0). Solve f*x = d*x + 5 for x.
-1
Suppose -4*a + 4*v + 100 = 0, 4*a + 2*v - 84 + 2 = 0. Let j = a - 22. Solve i + 4*i = j for i.
0
Let w(f) = -2*f**2 + 4*f**2 + 3*f**2 + 2 - 4*f**2 + 3*f. Let y be w(-3). Solve -y*h + 15 = h for h.
5
Suppose 0 = 4*b - 3*b - 1. Let v(t) = t**3 + 5*t**2 - 2*t - 5. Let o be v(-5). Solve o*g - 4 - b = 0 for g.
1
Let v(r) = 6*r - 2. Suppose -3 = 3*c - 18. Let i be v(c). Let s be i/(-6)*1*-6. Solve -3 = 5*u - s for u.
5
Suppose 1 = 5*z + 11, m - 15 = 5*z. Suppose m*o - o - 7 = -3*a, -o = -a. Solve t + o = -2 for t.
-3
Suppose 0 = -3*f + 2*w + 8, -f + 20 = 3*f - 5*w. Suppose 4*x + 0*x + 12 = f. Let j(v) = -7*v - 2. Let q be j(x). Solve 4*k + 1 = -q for k.
-5
Suppose x + x = -2. Let n be (-1 + -3)*x/2. Let j(m) = 2*m - 1. Let u be j(n). Solve 0 = 5*t - 2*t + u for t.
-1
Suppose 3*p + 4*j = 136, -j = 3*p + 2*j - 135. Suppose 3*c - p = c. Solve -2 + c = -4*d for d.
-5
Let o = 27 + -25. Solve 5*k = 8 + o for k.
2
Let g be -2*5/30*0. Solve -2*p + g*p - 10 = 0 for p.
-5
Suppose 9*u - 4*u - 15 = 0. Suppose 0 = u*x + 2*x. Solve 0 = -x*b - 3*b - 15 for b.
-5
Suppose -m + 4 = 2. Suppose 0 = -5*y + 16 + 9, -4*y = 5*w - 20. Suppose w = -c + m + 1. Solve u + 4 = c*u for u.
2
Let o be (-4)/12 + 20/6. Let u = o - 7. Let x = u + 4. Solve -5*y = -x + 15 for y.
-3
Let u(j) = j**2 - j + 1. Let n be u(2). Solve n*a + a = 20 for a.
5
Let f = -21 + 24. Solve j = -f*j - 12 for j.
-3
Let f = 6 + -3. Solve 0 = -f*r - 0 - 6 for r.
-2
Let w(f) = -3*f + 38. Let b be w(10). Solve r = -3*r + b for r.
2
Let q(w) = 2*w**2 - 3*w + 1. Let h be q(2). Suppose -n + 2*n + 20 = 4*i, -2*i = -h*n - 20. Solve i*a - 4 = -0 for a.
1
Let f = -25 - -31. Solve 4 = 2*l - f*l for l.
-1
Let g(r) = -2*r - 23. Let x be g(-13). Solve -12 = -x*p - 0 for p.
4
Suppose 0 = 4*w - 31 + 7. Let b be 8/(-12) + 4/w. Solve d = -b*d - 5 for d.
-5
Suppose 5*d + 16 = 46. Let c be 2/(-7) + 288/28. Let b = c - 2. Solve -2*f = -d*f - b for f.
-2
Suppose 2*s - 15 = -3*s. Let i(f) = f + 7. Let t be i(5). Solve 3*q = t + s for q.
5
Suppose 0 = -3*h + 32 + 4. Suppose 4*n + 2*v - 16 = 6*v, -10 = -5*n - 5*v. Solve n*p = -p + h for p.
3
Let p be ((-1)/3)/(2/(-12)). Suppose -b + 0*s = 3*s - p, 3*b = 4*s + 6. Solve c - b = -0*c for c.
2
Let k(a) = -3*a + 6. Let u(v) = -14*v + 30. Let d(s) = -11*k(s) + 2*u(s). Let l be d(4). Solve -5*q + l + 1 = 0 for q.
3
Let y = 2 - 1. Let z(r) = 3*r. Let w be z(y). Solve 2*g + w*g = 20 for g.
4
Let r = 26 - 5. Suppose j - 4*j = -r. Solve 2*a = 1 - j for a.
-3
Suppose -5*n - 5*i + 20 = 0, 3*i = 2*n - 5 - 8. Solve -y = -n*y + 20 for y.
5
Suppose 0 = 2*y - 10, -4*o - 4*y + 18 = -10. Let k(q) = -12*q**2 + 1. Let d be k(-1). Let b = -2 - d. Solve -i - b = o*i for i.
-3
Suppose -o + 28 = -3*n, -n - 3*n = -2*o + 46. Solve 1 = 4*m + o for m.
-3
Let c be (-6)/4*20/(-15). Solve c*i = 7*i + 25 for i.
-5
Let j(f) = -9*f**2 + 17*f - 27. Let w(v) = 5*v**2 - 9*v + 14. Let g(n) = -6*j(n) - 11*w(n). Let i be g(-4). Solve -i*m - 10 = 6 for m.
-4
Suppose 48 = -2*x - 0. Let m be x/9*(-12)/16. Solve -m*i + 3*i = 5 for i.
5
Let b = 6 + -3. Solve 0 = -2*y + 1 - b for y.
-1
Let u(d) = -d**3 + 5*d**2 - 2*d. Let j = 8 + -5. Let x be u(j). Let n be (x/(-5))/(12/(-40)). Solve -q = -3*q + n for q.
4
Suppose -2*n - 5*m = -18, 0 = 2*n - 5*n - 2*m + 16. Let d(u) = -4*u - u**3 - n*u - 14*u**2 + 1 + 4*u**2 + 8. Let i be d(-9). Solve -2*w + 3*w + 5 = i for w.
-5
Suppose -96 = -7*n - 5*n. Solve -3*o + 7*o = -n for o.
-2
Let s(d) be the first derivative of d**2/2 + 12*d + 2. Let k be (-24)/2 - 6/(-3). Let p be s(k). Solve 0 = -2*f - p*f - 8 for f.
-2
Let i = 27 - 15. Let v be 2 + 0 - 1*2. Let r(y) = -y**2 + 5. Let a be r(v). Solve -l + i = -a*l for l.
-3
Suppose 10 = 3*h + 4. Suppose 4*r + h*f + 6 = 0, 3*f = -r - 0*f - 9. Suppose -g + 2*g = r. Solve -u + 3 - 2 = g for u.
1
Let o = 11 - 8. Solve 0 = -x - o*x for x.
0
Suppose -3*v + 2*y + 2*y = -55, -46 = -2*v + 5*y. Suppose -5 = -3*u - t + 7, -t = -u. Let w be (1/(1/(-8)))/(-2). Solve -w + v = -u*d for d.
-3
Let n(r) = -r**3 - 4*r**2 + 5*r + 2. Let y be n(-5). Solve 0 = -y*k - 3*k - 5 for k.
-1
Let n(a) = -2*a + 1. Let t be n(-5). Suppose -5*h + 54 + t = 2*y, -y + 55 = 4*h. Solve 0*z + h = 5*z for z.
3
Let z be 10/2 - (7 + -4). Solve 3*n + 11 = z for n.
-3
Suppose -10*f - 49 = -249. Solve r + f = -4*r for r.
-4
Let b = 13 + -9. Suppose -4*i = -3*l + 13, -3 = -l - 4*i - b. Solve l*w - 14 = 1 for w.
5
Suppose -19 = -3*n - 7. Solve -n = -3*z + 5 for z.
3
Suppose -q + d + 5 = 0, -2*q - 5*d = 2*q - 2. Suppose 2*u - 2*p + 10 = 4*u, -p - 7 = -u. Suppose -q*r = -u*r + 24. Solve 0*y = -2*y + r for y.
4
Suppose -3*a + 21 = j, -j - 3*a + 31 = 2*a. Suppose 2 = -3*b + 14. Suppose -2*g - y = -6, b*y - y = j. Solve -6*q + g*q = 16 for q.
-4
Suppose -h - 10 = -3*w, -w - 13 = -5*h + 7. Solve 2*g - h = 5 for g.
5
Let y(k) = 1. Let q(r) = r - 2. Let m(a) = -3*q(a) - 3*y(a). Let i be m(-3). Let g = 0 - -3. Solve 0*s - i = g*s for s.
-4
Let a = -23 - -25. Solve u + a*u = 3 for u.
1
Let i(w) = -w**2 - 4*w - 2. Suppose -5*d - 4*s - 27 = 0, 5*d = 2*d - s - 12. Let y be i(d). Solve -y = n - 0 for n.
-1
Suppose -f = -3*y + 9, 0 = 7*f - 2*f - 4*y - 10. Let a = f + -4. Let j be (-8)/(-4)*(-2)/(-1). Solve j = a*z + 2 for z.
1
Let m(l) be the second derivative of l**4/6 + l**2 - 2*l. Let n be m(-2). Let o = n + -5. Solve o = 2*b - b for b.
5
Let v be (-1)/(-2)*(-11 + 15). Solve -k = 4 - v for k.
-2
Let w be 4 + 0 + (-3 + 8 - 9). Solve 4*c - 5 - 15 = w for c.
5
Suppose -i = o + 4, 2*o - 24 + 8 = 4*i. Solve 17*h - 16*h + 2 = o for h.
-2
Let w = 0 - -2. Let z = w + 0. Let v be (-4 - -2)/z*0. Solve -u - u - 10 = v for u.
-5
Suppose y + 0*y - 4 = 0. Let j = -1 + 2. Suppose w = -j + y. Solve -3*d + w = -6*d for d.
-1
Let f be (3/1)/(2 - 1). Suppose -13*d - 6*d - 209 = 0. Let v be (0/f - 1)*d. Solve -5*n - 4 = v for n.
-3
Let j = 30 - 17. Let p be 2 - (0 - 4) - 3. Solve 2*h + p = j for h.
5
Suppose v + 4*v + 40 = 0. Suppose -3*n = n - 4. Let o be 4*n*(-6)/v. Solve -o*m - 8 = -m for m.
-4
Suppose -2*z + 14 + 12 = 4*y, -2*y + 28 = 4*z. Suppose -v = 1 - z. Solve 2*n + v = 4*n for n.
2
Let x(q) = 1 + q + 1 - 5. Suppose 3*o - 7 = 2*j, 8 = 2*j 