Let n be l(3). Solve a*r - r = n for r.
0
Let u = 1 - 1. Suppose -5 = -w, 4*w - 39 = -2*a - 9. Let g = -9 + 11. Solve -3*d + g*d - a = u for d.
-5
Suppose 3*p = 4*y + 20, 0*y + y = p - 5. Suppose -5*q + 30 + 10 = p. Solve 3*u - u = -q for u.
-4
Suppose 0 = -5*p + 13 + 12. Let y(j) = j**2 - 3*j + 8. Let v be y(3). Solve p*g + v = -12 for g.
-4
Let w = 9 + -4. Let k = -8 + w. Let h be 13 + k/(-1) + -1. Solve 2*l - 5*l - h = 0 for l.
-5
Suppose -l = -4*o + 11, -3*o = 4*l + l - 37. Suppose 5*q + 27 = 2*h, l*h - 23 - 2 = 4*q. Let y(x) = 3*x**3 + x - 1. Let g be y(h). Solve -g = -4*s - 11 for s.
-2
Let n be (4/(-6))/(4/(-18)). Let j = n - -2. Solve 0 = j*r - 6 - 14 for r.
4
Let t be (-3)/(-3 - -2) + 8. Let d(i) = i + 9. Let v be d(-6). Let n be (-20)/(-9) + 4/(-18). Solve -v*g - n = -t for g.
3
Let k(q) = 3*q**3 - 5*q**2 + 6*q - 1. Let x be k(2). Solve -g - x = 2*g for g.
-5
Let l(p) = 4*p**2 - 2*p - 1. Let o be l(-1). Suppose o*w + 4 = -2*u - 6, -4*w + u = -5. Solve 0 = 2*h - w*h - 10 for h.
5
Let g be (-4 + -3)*1/(-1). Let x(i) = -i**2 + 7*i + 2. Let p be x(g). Suppose -3*o - p = -5. Solve -2*d + o = -3 for d.
2
Let v(a) = 3*a - 3. Let q be v(2). Suppose 0 = -4*p + q*p + 1. Solve p + 1 = -h for h.
-2
Let j(k) = -3*k. Let u be j(3). Let p = -5 - u. Solve -p*f + 0 - 8 = 0 for f.
-2
Suppose -a = -0*a. Let k = -8 + 12. Solve k = 2*j - a for j.
2
Suppose 3*r = r. Let p(q) = q**3 + 5*q**2 + 6*q + 6. Let o(j) = -j**2 - j - 1. Let t(i) = -5*o(i) - p(i). Let z be t(-1). Solve g = -r*g - z for g.
-1
Let q = -18 - -26. Let f = 4 - 1. Suppose 0*c + 9 = f*c. Solve -c*y + 4 = -q for y.
4
Let h be 9/12 - 3/4. Solve 5*c = -15 - h for c.
-3
Suppose 0 = -5*v + 5*h - 2*h + 46, v - 2 = 3*h. Let m = -5 + v. Solve -m*u = -u for u.
0
Let q = -7 + 10. Suppose -w = 4*y - 14, -q*y + 3*w + 0*w + 3 = 0. Solve 0 = -5*u + y*u - 4 for u.
-2
Suppose 45 = 7*u - 2*u - 2*l, 2*l + 9 = u. Solve -4*j + j - u = 0 for j.
-3
Let a(n) = -4*n + 53. Let i be a(12). Solve 0 = -i*l - 16 - 9 for l.
-5
Let i be -2 - (2 + -4 + 12/(-1)). Let g be -4*(-1)/4*-7. Let z = i + g. Solve q = -0*q - z for q.
-5
Let j = -25 - -25. Suppose d + 0 = 3. Suppose -2*m + 1 = -d. Solve j*b = m*b + 4 for b.
-2
Let p = 8 - 17. Let d = 21 + p. Solve -5*w = 8 + d for w.
-4
Suppose 0 = -l - 3*v + 53, 2*l - 2*v + 5*v = 97. Suppose l = 3*a + a. Solve 5*t - 26 = -a for t.
3
Suppose -7*s + 6 = -4*s. Solve s*f = 7*f - 5 for f.
1
Suppose 0 = -3*b - 0*b - 3. Let r be (-1 + -1)*(-5 - b). Solve 0 = a + 3 - r for a.
5
Suppose 0 = 3*p - 11 - 4. Suppose -q = 4*q. Solve q = p*s - 10*s for s.
0
Let z(n) = n**3 + 12*n**2 - 14*n - 8. Let r be z(-13). Suppose 25 = 2*p - p + r*x, -4*p = x - 5. Solve 9 = -p*k + 3*k for k.
3
Let s(q) = q**2 - 4*q - 17. Let v be s(7). Solve 0 = -w - v + 1 for w.
-3
Let j(d) = d**2 - 5*d + 2. Let f be j(5). Suppose -4*b = 3*r, -2*r = 5*b + f*r. Solve b*p = 2*p for p.
0
Suppose -41 + 11 = 2*d. Let f = d + 17. Solve -f*y = -3*y for y.
0
Suppose -5 = -3*f - 2*y, 3*f + 10*y - 5*y + 1 = 0. Suppose -75 = -f*p - 2*p. Solve p = 4*v + v for v.
3
Let a be ((-5)/10)/((-2)/12). Let h = 1 + a. Let y be (-6)/h*(-16)/6. Solve 0*j + y = j for j.
4
Let k(m) = 2*m**2 + 4*m + 2. Let s(f) = -f + 6. Let b be s(8). Let i be k(b). Solve -p = -i*p + 1 for p.
1
Let q(n) = -2*n + 1. Let a be q(-2). Suppose -a*u = 1 - 11. Solve 3*v = u - 8 for v.
-2
Let l = -5 - -8. Solve q - 4 = -l*q for q.
1
Let r(s) = -s**2 + 5*s - 2. Let n(z) = z**2 - 9*z + 12. Let a be n(8). Let d be r(a). Suppose -4 = -d*x - 0. Solve -3 + 7 = x*u for u.
2
Let k = 6 - 1. Solve -8 = -k*j + 12 for j.
4
Let q(u) = 11*u + 11. Let m(p) = -4*p - 4. Let n(c) = 17*m(c) + 6*q(c). Let d be n(-4). Let s be 15/d + 1/2. Solve g = s*g for g.
0
Suppose 4 = -2*l + 8. Solve -7 + l = -5*w for w.
1
Suppose 4*o - 7 = -3*y - 3, -3 = -3*o. Let b(h) = h**2 + 4*h + 4. Let i be b(-4). Suppose 20 = 4*s + 3*c, -5*c = 7*s - 3*s - 20. Solve -z - i*z + s = y for z.
1
Let x = 6 + -4. Let o = x - -2. Solve -r - o*r + 5 = 0 for r.
1
Suppose -29 = -4*f - n + 7, 3*n - 20 = -f. Suppose -10*m = -f*m. Solve m = -0*k - 2*k - 8 for k.
-4
Suppose 2*x = 3*x - 2. Let i be 1 - (x + (-3)/1). Let p = 3 - i. Solve -m = 6 - p for m.
-5
Suppose q = -4*q + 125. Let d = 25 - q. Solve -7*p + 3*p - 16 = d for p.
-4
Let x be ((-3)/9)/(2/(-6)). Suppose 2*r - 5 = x. Solve y + 0 = -r for y.
-3
Suppose 3*h - w = 15, -3*h + 0*w - 2*w + 15 = 0. Let k = 1 + h. Suppose -2*g + 10 = 2*y, k*g + 2*y - 22 = g. Solve -l + 3 = -g*l for l.
-1
Let p(x) = -2*x + 10. Let d(m) = m - 1. Let y(s) = d(s) + p(s). Let i be y(9). Solve i = 2*v - 7*v + 10 for v.
2
Let g be 26/65 + 28/5. Solve l + g = -l for l.
-3
Suppose h = -0*h + 4. Solve -2*i - 2 = h for i.
-3
Suppose -2*n + 5*w = 11, -3*n - 13 = -5*n - 3*w. Let z = -9 + 11. Solve f + n = -z for f.
-4
Suppose 2*d + 1 = 3*w + 3, 3*d - 5*w = 2. Suppose 0 = j + d*j. Solve k + k - 2 = j for k.
1
Let n(w) = -5*w + 1. Let j be n(2). Let b = j - -21. Solve -u = 3*u + b for u.
-3
Suppose 12*r = 10*r. Suppose -4*v + 7*v = r. Solve v*d - d = -5 for d.
5
Let m be (39/4)/((-3)/(-8)). Suppose m = 5*d + 6. Let z = d - 3. Solve z - 4 = 3*l for l.
-1
Let s be (1 + 18/(-8))/(5/(-20)). Solve -q + 12 = -s*q for q.
-3
Suppose 0 = 154*n - 148*n. Solve -2*y + n*y = 0 for y.
0
Let x(q) = -q**2 - 6*q. Let r be x(-6). Let j be 99/6 - 1/2. Solve j = 4*h - r for h.
4
Let g = -103 - -107. Solve g*o + 6 = 2 for o.
-1
Let f be (8 - 2 - 0)*(-8)/(-12). Solve -m = -f*m - 6 for m.
-2
Let y be 4 - (0/(-1) + 2). Suppose 0 = -y*g - 3*x - 11, g + 2*x + 3*x = -23. Suppose -5*f = 5*o + 25, 12 = 4*f - 2*o + 2. Solve -k - g*k - 3 = f for k.
-1
Let j = 12 - 12. Solve j = 5*u - 4*u - 1 for u.
1
Suppose 0 = 2*j - 36 + 6. Solve 5*h + j = 5 for h.
-2
Let h(k) = k. Let p be h(1). Suppose -i = p - 3. Let c = -6 + 13. Solve i*m = c*m for m.
0
Let y(a) = 0 + 0 + 5 + a**3 - a + 5*a**2. Let k = -13 + 8. Let s be y(k). Solve -10 - s = -4*n for n.
5
Suppose -o = -6 + 1. Let b = -2 - -1. Let v be b + o/(15/9). Solve v = -d + 1 for d.
-1
Let u(m) = m**2 + 2*m + 1. Let h = -5 - -5. Suppose -z + 3*o = -0*z, 4*z - o + 11 = h. Let c be u(z). Solve c*s = 12 + 8 for s.
5
Let q = -3 + 6. Solve -1 + 4 = q*c for c.
1
Let u(l) = 2*l - 5. Suppose 0*r + 20 = 5*r. Let t be u(r). Solve 0 = -i - t*i + 8 for i.
2
Let g(x) = -7*x**2 - 25*x + 25. Let o(u) = 3*u**2 + 12*u - 12. Let d(k) = 4*g(k) + 9*o(k). Let p be d(6). Solve c + p = 1 for c.
-3
Let q be -1*(-10)/(-2) - 1. Let n(i) = -i**3 - 5*i**2 + 6*i + 3. Let r be n(q). Solve 12 = -r*d - d for d.
-3
Let r be (-40)/50*-5*1. Suppose r*d = -22 + 70. Solve -d = -2*h - 2 for h.
5
Let n(b) = -b - 4. Let u be n(-4). Solve u = -0*r + 2*r + 4 for r.
-2
Let t(m) = -m**2 + 12*m + 12. Let s be t(12). Let i(f) = 2*f - 5. Let x be i(4). Solve y = -x*y - s for y.
-3
Let v(i) = i**2 + 2*i - 1. Let d be v(-3). Let c = 23 - 17. Solve -f = c - d for f.
-4
Let m(z) be the second derivative of z**4/12 + 2*z**3/3 - 2*z. Let w be (10/6)/((-1)/3). Let s be m(w). Solve 5 = s*g - 10 for g.
3
Let l be ((-5)/4)/((-3)/12). Suppose l = 3*z - 10, -z - 10 = -3*c. Let t be ((-3)/2)/((-6)/16). Solve c*n - t*n = 1 for n.
1
Suppose -v + 5*v = 12. Solve 3*c - v = 9 for c.
4
Let j = -2 + 7. Solve -j*p - 2 = 18 for p.
-4
Let s(v) = -v**3 + 6*v**2 - 4*v - 2. Let q be s(5). Let b = -3 + q. Solve x + b = -4 for x.
-4
Let p(q) = 14*q - 3. Let z be p(2). Let s be (-2)/1 - (3 - z). Suppose 2*j - s = -2*j. Solve -2*l + j*l + 9 = 0 for l.
-3
Let s(v) be the second derivative of -v**3/6 + 6*v**2 - 5*v. Let o be s(12). Solve 0*l + 3*l - 6 = o for l.
2
Let l(o) = 2*o + 14. Let q be l(-6). Solve q*n = -2*n - 4 for n.
-1
Suppose 0*k - 95 = -5*k. Let o = k + -10. Solve 5*h - o = 1 for h.
2
Let i = 42 + -39. Solve h + i = -1 for h.
-4
Let m be -5*(-3)/(6/4). Suppose -a + 6*a = m. Let l be (-1 - 0)/(-3 - -2). Solve 3*h - l = a for h.
1
Suppose 5*d + 5*v - 70 = 0, 0 = 3*v + v - 16. Suppose -d = 2*f + 2*g - 4, f + 12 = -4*g. Suppose 0 = -3*o - 4*q, 0 = o - f*o - 5*q. Solve o = 3*p - 2 + 8 for p.
-2
Suppose 0 = -4*l + 2*l + 8. Suppose 5*s + 5*a = 0, 3*s = a - 3*a. Solve r + r + l = s for r.
-2
Suppose z + 2*j - 7 = 3*j, 5*z = -4*j + 17. Solve 0 = 2*q - z*q + 3 for q.
1
Let y be 9 + -7 + 4/2. Suppose -4 + 2 = -o + 2*t, 4*o + 4*t + 4 = 0. Solve o*j = y*j for j.
