z + a for z.
-5
Suppose g - 2*g - 5 = 5*m, -3*m + 19 = 5*g. Let b be (m - 0)*(-45)/10. Solve b = -2*c - c for c.
-3
Let x = -6 + 22. Solve -c + x = -5*c for c.
-4
Let d = 1 - 1. Let p be d/(-8) - (1 + -3). Solve -p = -a + 3*a for a.
-1
Let j = 2 - -5. Suppose 4*k + j = -13. Let a = -4 - k. Solve 2*v - 1 - a = 0 for v.
1
Let h = 7 + -4. Let n(x) = -4*x**2 - 9*x + h*x**2 + 0 - 7. Let u be n(-7). Solve 0 = 3*v - 5 - u for v.
4
Let w = -13 + 23. Let g = w - 10. Let x(r) = r + 7. Let v be x(-5). Solve -v*c + 0*c - 6 = g for c.
-3
Let m(b) = -b**2 - 10*b + 13. Let j = -6 - 5. Let w be m(j). Solve -2*l - w*l = 0 for l.
0
Let c(r) = r - 6. Let x be c(8). Let l be (5/x)/(2/4). Solve 20 + l = 5*a for a.
5
Suppose -13 = -2*m - 0*b - 3*b, -m - b = -4. Let f be m*6*(-6)/9. Solve -f - 11 = 3*l for l.
-5
Let u be 12 - 6 - (0 + 1). Solve u*l - 22 - 3 = 0 for l.
5
Let v(j) = -5. Let o(i) = -2. Let y(m) = -8*o(m) + 3*v(m). Let t(k) = -k**2 - 7*k + 2. Let p(h) = t(h) - 5*y(h). Let q be p(-5). Solve 5*z = -2 + q for z.
1
Let y = -28 + 23. Let o(g) = -g**3 - 5*g**2 - g + 2. Let r be o(y). Solve -2*i - 1 = r for i.
-4
Let y(j) = j - 5. Let n be y(10). Let d = n + -3. Solve -5 = -7*v + d*v for v.
1
Let u(y) = y**2 - 3*y - 5. Let q be u(4). Let w be -4 + (5 - q) + 7. Suppose 0 = m - 4*m. Solve 0*j - 3*j + w = m for j.
3
Suppose -14*n + 9 = -11*n. Solve n*l - 6 + 0 = 0 for l.
2
Let c(m) = -6*m + 18. Let a be c(6). Let z = 2 + -8. Let q be (a/15)/(z/20). Solve -3*b + b = q for b.
-2
Let b(q) = -q**2 + 4*q + 8. Let l be b(3). Solve 4*d - 9 = l for d.
5
Let n(i) = i**3 + 4*i**2 - i - 2. Let h be n(-4). Suppose 0 = 8*o - 11*o. Suppose o = -h*a + 13 - 1. Solve -a = b + b for b.
-3
Let y(l) = l**2 + 5*l - 7. Let c be y(-5). Let q = 3 + c. Let g = 4 + q. Solve 5 + g = o for o.
5
Let d = -15 + 24. Solve 6 = 3*k - d for k.
5
Suppose -p = -0*p - 3. Suppose -4*d + d = -p. Let j be ((-12)/(1*-2))/d. Solve b = j*b for b.
0
Suppose -2*f = c + 10 - 5, 0 = -f + 2*c + 10. Let n = 24 + -4. Solve f*l - 4*l - n = 0 for l.
-5
Suppose 0 = -6*h + 7*h + 15*h. Solve h = -8*t + 5*t for t.
0
Let i be (6/(-4))/(15/(-10)). Solve -3 + i = b for b.
-2
Let g = -2 - -2. Let t = g + 5. Solve -t*a - 1 = 4 for a.
-1
Let v be 2/(2/(-1)) + 7. Let g = 3 + 3. Let d be (1 - 0)/(g/18). Solve -v = d*w - 0 for w.
-2
Suppose -4*z + 7 = 3*g + 2*g, -3 = 3*g. Let f(r) = -r**2 + 4*r + 1. Let y be f(z). Suppose 5*w + 66 - 21 = 3*t, 0 = 4*w. Solve -y*v - t = v for v.
-3
Suppose -20 = -4*m, 11 = 3*c + 4*m - 15. Solve -c*a = a for a.
0
Suppose 28 + 12 = 4*m. Solve -z - m = 4*z for z.
-2
Let b(i) = i**3 + 3*i**2 - 5*i + 1. Let j be b(-4). Let c = j - 3. Suppose 3*d - 5 = k, d + c*k - 19 = -2*k. Solve -5 = 4*a - d*a for a.
-5
Suppose -3*b + 0*u = u + 59, 4*u - 11 = b. Let z = -18 - b. Solve z - 3 = m for m.
-2
Suppose -15*u - 17*u = -27*u. Solve u = 5*l + 7 - 17 for l.
2
Let a(i) = i**2 - 4*i - 11. Let z be a(6). Suppose 5 = 3*q - z. Solve -5*k + 8 = -q for k.
2
Let o(b) = -2*b + 10. Let z be o(7). Let x(j) = -2*j - 6. Let n be x(z). Suppose -2*s - n*u + 42 = -12, -4*u = -4*s + 100. Solve 0 = -5*h + s - 6 for h.
4
Let x = -2 - -1. Let a be 4*x - (-15 - -11). Solve a = -4*m + 6*m - 6 for m.
3
Suppose 10 = 3*y + 4. Solve 3*k = -y*k for k.
0
Let w(k) = k**3 - 10*k**2 + 10*k - 6. Let d be w(9). Solve -7 = -2*h + d for h.
5
Let w be 3/9 + 210/18. Solve -w = -3*m + 7*m for m.
-3
Let x = -3 - -5. Let k be 0 - ((3 - x) + -2). Let v = k - -1. Solve v*i + 2*i = 0 for i.
0
Let p(k) = 2*k - 8. Let d be p(11). Let r = 18 - 30. Let o be r/(-10) + 1/(-5). Solve d = -5*v - o for v.
-3
Let j be -2*-5*(-5)/2. Let r be j/(-1)*(-20)/(-25). Let t = -14 + r. Solve -t + 2 = -f for f.
4
Suppose 2*x + 2*c - 34 = 3*c, 34 = 2*x + c. Let b be ((-2)/4)/((-1)/6). Let j = x + b. Solve v - j = -3*v for v.
5
Suppose 3*d = d - 24. Let s be d/(-7) - 4/(-14). Solve -s = -3*u + 4 for u.
2
Let o = 4 - -2. Let m(c) = -c**3 + 8*c**2 + 4*c - 12. Let d be m(8). Suppose 16*q + d = 20*q. Solve -2*n + o = -q*n for n.
-2
Let x be ((-12)/3 + 3)*-4. Suppose y + i + 15 = 3*y, -y - x*i = 15. Solve y*c - 19 = 6 for c.
5
Let t(p) = p + 6. Let s be t(-4). Let d be 25/s - 5/10. Solve -d = -4*g + g for g.
4
Suppose 3*o = 6*o - 9. Suppose 0 = o*l - 34 + 1. Suppose -h = -l - 5. Solve h = 3*c + c for c.
4
Suppose 9 = -3*d + 3. Let z be (-1)/d + 34/4. Let v be (-5)/(-7) + 2/7. Solve -4*p = -z + v for p.
2
Let q(d) = d**3 - d**2 - 3*d - 4. Let k be q(3). Solve -k*g = -2 + 27 for g.
-5
Let c be (-1 - 0)*(2 + -4). Let o(u) = -u**3 + 9*u**2 + 11*u - 8. Let t be o(10). Suppose -5*x + g = 2*g - 13, 2*x - t = -c*g. Solve -2*m = x*m + 25 for m.
-5
Suppose 5*h + 3*m = 1, 3*h - m - 13 = -2*h. Let o(z) = -z**2 - 8*z - 1. Let j be o(-7). Suppose -9*b = -8*b - j. Solve b = -h*g - 0*g for g.
-3
Let v = -11 + 16. Suppose 0*z = 2*o - 5*z - 19, -v*o + 22 = -4*z. Solve 3 = j - o for j.
5
Let z(j) = 2*j**2 - 16*j. Let h be z(8). Solve h = -3*d - 3 for d.
-1
Let g(v) = -v - 5. Let u be g(-4). Let k be (1 + (u - -1))*15. Solve -5*p - 5 - k = 0 for p.
-4
Suppose -2*j + 44 = -2*i, 0 = -5*j - 2*i - 29 + 104. Suppose 2*f - 4*l = -f + j, -2*f - 3*l = 0. Solve -x - 4 + f = 0 for x.
-1
Let i = -6 + 10. Let w be (-230)/8 + (-4)/16. Let h = w + 41. Solve 0 = i*k - 7*k + h for k.
4
Let p be (-8)/(-4) - (2 - 3). Solve -c - 2 + p = 0 for c.
1
Let d = -6 - -2. Let i be 16/10*(-10)/d. Suppose -i*m = -5*m. Solve -3*s + 2*s + 2 = m for s.
2
Suppose 5*a - 30 = -2*y + 38, -3*y = -12. Solve -2*l - l = -a for l.
4
Let s(h) = 4*h**2 - 1. Let d be 2*(1 + 3/(-2)). Let x be s(d). Solve c = -x*c for c.
0
Let n(m) = -2*m**2 + 3*m**2 + m**2 - 2*m + 4 + 9*m. Let b be n(-4). Solve -4 = 4*z + b for z.
-3
Let a(h) be the first derivative of -2*h + 1/2*h**2 - 2 + 0*h**3 - 1/4*h**4. Let p be a(-2). Solve 0 = -2*s + p*s for s.
0
Let c be 2/6 + (-14)/6. Let g = 2 + c. Let s(v) = v**2 + 4*v + 5. Let x be s(0). Solve x*p + g*p = 15 for p.
3
Suppose 24 - 6 = 6*p. Solve 0 = -b + p + 2 for b.
5
Let a(f) be the second derivative of -f**3/3 - f**2 + 3*f. Let y be a(-4). Solve -y*s + 2*s = -8 for s.
2
Let k(y) = -7*y**3 - 18*y**2 - 21*y - 9. Let c(j) = 3*j**3 + 9*j**2 + 10*j + 4. Let b(g) = 5*c(g) + 2*k(g). Let s be b(-8). Solve -4 - 4 = s*w for w.
-4
Let z(i) = -i**3 - 8*i**2 - 2*i - 3. Let k be z(-8). Suppose 3*l - 3*b - k = 2, -5*b - 13 = -l. Let h = -2 + l. Solve -5*m = -h + 16 for m.
-3
Suppose -2*v = 2*x + 3*x - 35, 0 = -v - 4*x + 25. Suppose 2 - 22 = -v*m. Solve 3*n + n - m = 0 for n.
1
Let t = 15 + -11. Suppose -5*u + 1 = -t. Suppose -o = -0*o - u. Solve o = 5*f - 24 for f.
5
Suppose -2*u = -u. Let l(y) = y**3 - 7*y**2 - 6*y - 11. Let g be l(8). Solve -g = -j - u for j.
5
Suppose 5*f + 7*c = 2*c, 6 = f - 2*c. Solve k = 2*k + f for k.
-2
Suppose -2*q + 6 = 18. Let f = q + 9. Solve 0 = -2*j - 1 - f for j.
-2
Let h(z) = 21*z**2 + z. Let x be h(1). Let r = x - 16. Solve -b - b = r for b.
-3
Let f = 58 - 56. Solve 3 = p - f for p.
5
Let a be (-6)/(-8) - (-33)/(-12). Let q = a + 6. Solve 3*s - 13 + q = 0 for s.
3
Suppose 4*u + 23 = 2*l - 9, -l + 5*u + 25 = 0. Solve l = -0*s + 2*s for s.
5
Let n(f) = -f + 14. Let i be n(9). Let l(z) = -2*z**3 + z**2 - 1. Let w be l(-1). Solve -i*q + w + 13 = 0 for q.
3
Suppose 0 = 3*k - 8 - 16. Suppose k = 5*u - 7. Solve 0 = -u*b + 6 - 0 for b.
2
Let t be (-4)/6 - (-2)/(-6). Let f be t/2*(0 - 0). Solve 2 + f = -x for x.
-2
Let o be -1 - (-7 + 1 + 1). Solve o = 3*t - 4*t for t.
-4
Let a(m) = 2*m. Suppose 0 = -2*c + 3 + 1. Let t be a(c). Solve -2*v = -t*v for v.
0
Suppose 0 = 4*v - 9 + 1. Solve v*p + 6 + 4 = 0 for p.
-5
Suppose 0 = -11*o - 1 + 1. Solve -4 + o = -u for u.
4
Let q = -88 + 91. Solve -13 = q*g - 1 for g.
-4
Let k(x) = x - 8. Let g be k(12). Let b be (-2 + g)/8*4. Solve -2 - b = -p for p.
3
Let c be 99/22*(-4)/(-6). Suppose 15 = q + 4*u, -c*q + 13 = u + 1. Suppose 4*b - 10 = 3*b - 2*w, 4*w - 8 = 0. Solve 0 + b = q*a for a.
2
Let u = -1 - -4. Let h(i) = i. Let p be h(4). Suppose -p*x + 2*x = 0. Solve u*f + 6 = -x*f for f.
-2
Let p(v) = 3*v - 21. Let m be p(9). Solve m*j = 9 + 21 for j.
5
Suppose 2*n + 3 = 13. Solve -1 + n = -i for i.
-4
Suppose -13 = -5*v - 3. Suppose -4*n = 56 + 8. Let w be n/(-10)*(3 + 7). Solve -v*p + w = 2*p for p.
4
Let h = -1 - 11. Let c = 0 - h. Solve 4 - c = 4*n for n.
