r n.
0
Suppose 4*g - 12 = 2*i, 3 = -i + g + 1. Solve 0 = -r + i*r + 2 for r.
-2
Suppose -2*t - 8 = l - 2, -2*l + 2*t = -12. Suppose 4*v - 10 = l*z, 5*v - 2*z + 4*z = 17. Suppose v + 3 = 3*m. Solve 2*p = -m*p - 16 for p.
-4
Let m(g) = -g**2 - 7*g + 9. Let s be m(-7). Let a be (9/(-6))/(s/(-12)). Solve -w = a*w for w.
0
Suppose 3 = -h + 3. Solve 2*n + 0*n + 8 = h for n.
-4
Suppose -2*z = 5*m - 29, 4*z + 1 = 5*m - 16. Solve 0*a - 15 = m*a for a.
-3
Let i = 1 - -4. Let t(d) = -d**3 - 2*d - 3. Let r be t(-2). Suppose 6 = i*f - r. Solve f - 5 = h for h.
-2
Suppose 3*t = 3*c + 30, -4*c - 7 = t + 8. Suppose -p - 9 = -o - 0*o, -15 = -5*o - p. Suppose 0*i - 5*i + 15 = t*k, 5*i = -o*k + 12. Solve k*n - 15 = 8*n for n.
-3
Suppose -20 = 2*n - 7*n. Let q(p) = -5 - 1 + 3 - p**2 + 1 + 5*p. Let x be q(n). Solve -2*m + 3*m + x = 0 for m.
-2
Let v(i) = i**3 - 4*i**2 - 2*i - 4. Let l be v(5). Suppose 0 = 3*c + 9, -2*o + 3*c = -8 - l. Solve -o*t = 5 + 15 for t.
-4
Suppose 0 = -3*i + 6*i - 9. Let q be (-16)/6 - (-2)/i. Let f(k) = -k**3 - k**2 + 2*k. Let u be f(q). Solve u = -6*z + 2*z - 12 for z.
-3
Suppose -2 = -3*p + 2*p. Let x be ((-4)/10)/((-3)/30). Suppose 0 = -x*s + 7 + 9. Solve -2*d = p - s for d.
1
Let o be (0 + (-1)/2)*0. Let a be 0 - (-2 - 4)/3. Solve a*s = -o*s + 8 for s.
4
Let y(o) = -o**2 - 4*o - 4. Let h(w) = 1. Suppose 4*a - 15 = a. Let q(m) = a*h(m) - y(m). Let x be q(-6). Solve 4*p + x = 1 for p.
-5
Suppose -4*y + 12 = -4*n, 2*n - 17 = -5*y + 5*n. Solve 0*g + 16 = -y*g for g.
-4
Let y(p) = 3*p - 7. Let k be y(4). Solve 16 = -k*s - 9 for s.
-5
Let k(y) = -y - 7. Let c be k(-7). Let j = c - -3. Solve -5*v + j = -2*v for v.
1
Let x(s) = -6*s - 2. Let h be x(-1). Solve h = -g - 3*g for g.
-1
Let s be (-20)/4*(-9)/5. Let k = s - 6. Solve -x = -k*x for x.
0
Let y = -3 + 15. Let n(s) = -s**2 - 2*s + 21. Let o be n(0). Let f = o - y. Solve -f - 3 = -4*a for a.
3
Let d(p) be the third derivative of p**5/60 + 5*p**4/24 - p**3 + 3*p**2. Suppose 0 = -o + 6*o + 30. Let w be d(o). Solve -2*j + w = -8 for j.
4
Let w(x) = x - 6. Let n be w(8). Let j be n - (0 + (1 - 1)). Solve j*z + 9 = -z for z.
-3
Let g = 85 + -70. Solve -n + g = 4*n for n.
3
Let t(x) = -2*x**2 + 23*x - 11. Let j be t(11). Solve j*q + 5 = 5*q for q.
1
Suppose -a = -5*a - 2*a. Solve k + 2*k - 12 = a for k.
4
Suppose 5 = 5*f - 10. Solve 2*y + 3 = f*y for y.
3
Let u be (2 + -3)/((-2)/(-44)). Let r be (4*1)/((-1)/8). Let k = u - r. Solve -l = -6*l + k for l.
2
Suppose 0 - 4 = -c. Suppose 2*x + c*x - 54 = 0. Solve x = -2*k + 5*k for k.
3
Suppose -2*f - 4*s = 8 + 4, -f + s = -6. Solve f*w + 6 + 4 = 0 for w.
-5
Let i be -2 - -1 - 5/(-1). Suppose -112 = i*x - 3*o, x + 2*o = 2*x + 33. Let d be (-5)/(-1)*(-15)/x. Solve 11 = -2*m + d for m.
-4
Suppose -3*p + 2*x - 29 = x, 25 = -2*p - 5*x. Let u(v) = -v**3 - 11*v**2 - 9*v + 10. Let g be u(p). Solve g*n + 12 = -4*n for n.
-3
Suppose 16 = 3*y - 4*a, 4*y - 20 = -0*a + 5*a. Let n = 2 - 0. Solve v - 4 + n = y for v.
2
Let l = 17 - 11. Suppose 5*g = -c - 11 - l, -2*c = 4*g + 10. Solve -c*v = -2*v - 2 for v.
2
Suppose -4*h + 6 = -5*h. Let z = 6 + h. Solve z*n = 2*n - 10 for n.
5
Let q be 1/(-2) - (-99)/6. Let x be 8/q*(-1 + 1). Solve -2*a - 2*a = x for a.
0
Let o be (2/(-4) - -1)*2. Suppose z - 3 = -o. Let y be 18/(2 + z/(-4)). Solve y + 4 = 4*n for n.
4
Let x = -5 + 10. Suppose -10 = x*v - 5*h - 35, 2*h + 5 = v. Suppose -2*m + 2 = -6*m - 2*q, 5*q = 3*m - v. Solve m = -2*n + 5*n + 6 for n.
-2
Suppose -4*t = -19*t + 15. Solve -m + t + 3 = 0 for m.
4
Let r be 57/5 + 9/15. Let c = -6 + r. Solve 5*z = 2*z - c for z.
-2
Let y be 4/(1 - (-6)/(-4)). Let t = y - -14. Solve a - t*a = 0 for a.
0
Let q(j) = -j**3 + 3*j**2. Let w be q(3). Let m be 11 + -10 - (0 - w). Solve m = a + 5 for a.
-4
Let t = -8 - -8. Suppose 3*j + p - 5 - 4 = t, 4*p - 22 = -5*j. Solve -4*m = -j*m for m.
0
Let u be (2/(-6))/((-3)/45). Let j(q) = -q + 11. Let l be j(u). Solve 3*b - 18 + l = 0 for b.
4
Let p(a) = -a**2 - 8*a - 13. Let z be p(-5). Solve -3*m = -z*m - 2 for m.
2
Let z(l) = l**2 + 6*l + 9. Let t be z(-5). Solve 6*f = t*f - 2 for f.
-1
Let x be 4/(-20) - (-22)/10. Let b be 0/4 + (x - 1). Let u be (2/(-10))/(b/(-5)). Solve 0 = -3*g + 8 + u for g.
3
Let a(p) = -p**2 + 10*p + 10. Let s be a(10). Solve 0 = -s*z + 9*z + 5 for z.
5
Suppose -p = 3*i - 12 - 1, -p - 4*i = -16. Solve -12 + 0 = -p*m for m.
3
Let r(s) = -s**3 - 7*s**2 - 8*s - 9. Let g be r(-6). Let z = g - 3. Let m be (0 - 10)/((-11)/22). Solve z = -4*d - 0*d + m for d.
5
Let d(y) = -y - 8. Let l be d(-13). Solve -1 + l = o for o.
4
Suppose 0 = d + 3*d. Solve -3*u = -d*u for u.
0
Suppose 0 = 5*d - 2 + 12. Let k = 5 + d. Let y(z) = 3*z - 4. Let l be y(k). Solve -l*p = -p for p.
0
Suppose 4*a = 2*a + 10. Suppose -a*r - 37 = -4*j, 7*r - 4*r = 5*j - 30. Suppose j*g - g = 44. Solve -g = -5*f + 3 for f.
5
Suppose 0 = -2*i + 4*i - 10. Let v = -3 + i. Suppose 0 = 4*r - 3*r - 5*h - 18, 9 = 5*r + v*h. Solve -2*u = u - r for u.
1
Let f(x) = x**2 + x. Let k(h) = h**2 + 6*h + 1. Suppose -1 = 3*l + 5. Let z(b) = l*f(b) + k(b). Let q be z(4). Solve 2*u + 7 + q = 0 for u.
-4
Suppose 5*p + 5*l = -20, 5*p + 8 = -2*l - 0*l. Solve h + 3 + 2 = p for h.
-5
Let n(w) = w + 2*w - 6*w - w**2 - 1. Let o be n(-2). Let v be 4/(-1 + 12/8). Solve -v = -3*y + o for y.
3
Suppose -4*f - 18 = -10*f. Solve 0*y + 3 = -f*y for y.
-1
Let i(o) = -o**3 - 7*o**2 - 7*o - 4. Let c be i(-6). Suppose 0 = -f, -35 = -5*m - 0*m - c*f. Let z = m - 2. Solve -z = -y - 0*y for y.
5
Let s(m) = -m + 13. Let b be s(8). Solve 0 = -b*c - 0*c for c.
0
Let f = 15 - 9. Let c = f + 1. Solve c + 2 = 3*d for d.
3
Suppose -10 = -6*d + 8. Solve -3*n - d - 3 = 0 for n.
-2
Suppose -29 = -6*o - 5. Solve i - 5 = -o*i for i.
1
Let q(o) = -4*o**2 + 20*o + 3. Let x be q(5). Solve 0 = w - 0 - x for w.
3
Let a be 6/2*12/18. Solve -4 = -a*i - 0 for i.
2
Let w be 22*(-1 - -2) + -3. Suppose -w = 3*j - 79. Solve 2*q - j = 6*q for q.
-5
Let l = 0 + 4. Let i(y) = -y**2 - y**3 - 1 + 3 + 7 - 1. Let n be i(0). Solve 0 = -l*t - 0*t - n for t.
-2
Let j(f) = f**3 - 2*f**2 - 5*f - 1. Let u be j(4). Let r(p) = p - 7. Let x be r(u). Let h(g) = -g**3 - 3*g**2 - g + 2. Let n be h(-2). Solve n*d = -d - x for d.
-4
Let l be 1/((-10)/4) - 238/(-70). Solve -u - 4 = l*u for u.
-1
Let d = -49 - -51. Let c(n) = n**2 + 8*n + 8. Let t be c(-7). Let b be -2 + 15 + 4/(-2). Solve t = -d*a + b for a.
5
Let a(t) = -t**2 - t - 1. Let h(m) = m**3 + 7*m**2 - 2*m - 3. Let s(k) = -a(k) - h(k). Let n be s(-6). Let r be (-1)/(-3 + (-40)/n). Solve r*p = 4*p for p.
0
Let o(q) = -3*q - 10. Let b be o(-4). Solve 6*i + 8 = b*i for i.
-2
Suppose 5*h + 0 = 20. Solve h*g + 5 = 9*g for g.
1
Let y be (4/5)/(1/5). Let c(s) = s**2 + 4*s - 2. Let i be c(-4). Let a be i/(-2) + (4 - 2). Solve -f - a = -y*f for f.
1
Suppose 3*o - 2*o = 4. Solve -3*z - o = -1 for z.
-1
Let h(z) = -z**2 - 4*z + 5. Let t be h(-4). Suppose t = 5*j - 0*j. Let q = -45 - -62. Solve -4*b + q = j for b.
4
Let f(j) = 3*j**2 - 1. Let k be f(-1). Let y be 2*(1 - k/(-4)). Let n be (-1)/(-2) + 15/6. Solve -3 = y*p + n for p.
-2
Suppose 2 = -35*u + 33*u. Let a = u - -4. Solve -a*i + 10 = -5 for i.
5
Let c(h) = -h**2 + 21*h + 51. Let t be c(23). Solve -j - t = 4*j for j.
-1
Let l be (24/(-36))/(4/(-30)). Solve -l = -4*m - 1 for m.
1
Suppose 1 = 2*t - 5. Solve -3*j - t = 3 for j.
-2
Suppose -3*g + g = 0. Suppose -s - 2*s = g. Solve -4*i - 5 + 25 = s for i.
5
Let s be (-3 + (-1)/1)*-6. Let h = s - 3. Let z be 7/(h/18) + 0. Solve v - 2 + z = 0 for v.
-4
Let t(l) = -l**3 - 18*l**2 - 15*l + 35. Let g be t(-17). Solve 5*n + 6 - g = 0 for n.
-1
Let g be (32/(-12))/((-4)/6). Let w = 5 - 2. Solve -w = g*y - 15 for y.
3
Let d be (-3 + 6/3)*0. Suppose -n + 4*n = d, 0 = -q + 5*n + 4. Solve q*p - 15 = -p for p.
3
Let x = 0 + 3. Suppose 4*w = -s - 0*w + 18, -15 = -3*s + w. Suppose s*v = v. Solve v*g = -x*g + 3 for g.
1
Let o be (-168)/(-77) + 4/(-22). Let v = -3 - -4. Let c be (v*-1)/(3/(-18)). Solve -o*j = j + c for j.
-2
Let b = 17 + -16. Solve 5*t = -b - 9 for t.
-2
Suppose 3*b = 33 + 21. Let x = b + -18. Suppose -7 = -5*c + 8. Solve x = -r - 2 + c for r.
1
Suppose 58 = -a + 63. Solve -4*x = -a*x - 5 for x.
-5
Let g(n) = n**2 + 6*n + 3. Let x be g(-5). Let i = -2 - x. Solve -2*y - 2*y + 4 = i for y.
