m*c - 3*c for c.
2
Suppose -q - q = -2*d, -5*d + 2 = -4*q. Suppose -2*m - 2*m = -140. Suppose -11 = 4*u - m. Solve -d*o + 18 = 4*j, 0 = -o + j + 2*j - u for o.
3
Let s(b) = b + 73. Let g be s(0). Suppose 0 = -4*m - 8, 5*d + 5*m = g + 7. Suppose -d = -a - 6. Solve -v + 4*v + 3*h = -9, 0 = -4*v + 2*h + a for v.
1
Suppose -2*l = 4*y - 3 - 7, 20 = -y - 5*l. Solve -1 = 2*u - g + 4, -4*u - 3*g = y for u.
-2
Let u = -31 + 18. Let w = u + 19. Let f be 32/6 - w/18. Solve f*p = j + 22, -5*j = -5*p - 3*j + 19 for p.
5
Let r(a) = -a**3 - 11*a**2 - 11*a - 5. Let b be r(-10). Solve 2*n + 2*h - 5*h - 20 = 0, -b*h - 40 = -5*n for n.
4
Let m = 1 + 1. Solve 2*a - m = -0*j + 2*j, -4*j = -2*a for a.
2
Let f = 64 - 29. Solve -f = 5*d + 5*s, 3*d - 4 = 5*s - 1 for d.
-4
Let o = 22 + -19. Solve -3*u + 5*u = k + 15, o*k = u - 20 for u.
5
Let m be 8/(-3)*9/(-6). Solve -4*o - o + 20 = -5*q, -m*q = 5*o + 25 for q.
-5
Let q(i) = i**2 - 2*i - 12. Let z be q(0). Let b = z + 14. Solve -t + b*j = -4*t - 7, 4*j = 3*t - 5 for t.
-1
Suppose 5*t = -3*s - 9, 0*t - 6 = -3*t + 2*s. Solve i = 5*r + 17, t*i = 4*i - 2*r + 4 for i.
-3
Let q(j) = -2*j - 4. Let k be q(-4). Let w(n) = -n + 1. Let f be w(0). Let z be 1/(f/5) - 0. Solve 4*h - k = -g, -z*h - 3*g = -g - 2 for h.
2
Suppose 5*d - z - 4*z = 25, 3*d + 4*z = -20. Suppose d = 4*o - 5 + 1. Solve 3*j = 5*r, j - 4 - o = 0 for r.
3
Let v(s) = s**3 + 6*s**2 - 8*s + 2. Let k be v(-7). Let b = 28 - k. Solve 0 = 4*n + 8, o - 5*n + 4 = b for o.
5
Let a be 4/2 + (-6 - -4). Solve r = 2*p - a + 6, 2*r + 4 = 0 for p.
-4
Let b(w) be the third derivative of w**4/24 - 4*w**3/3 - w**2. Let t be b(12). Solve -4*l = -4, 0 = -3*g - 2*l + 21 - t for g.
5
Suppose -39 = -5*m + 26. Let l be m/(-3) + 1/3. Let f = l - -5. Solve -5*j - 2*c = -4*c + f, -7 = 2*j - 3*c for j.
1
Let f(a) = -a**2 + 10*a - 7. Let y(b) = b**3 + 7*b**2 + 4*b - 3. Let q be y(-6). Let m be f(q). Solve 4*z - p + 1 = -m*p, z - 2*p - 2 = 0 for z.
0
Suppose 2*p - p + 3*w = 29, -4*w = -p + 50. Let t = -21 + p. Solve -r - 2*s = -6*s - t, -17 = -4*r - s for r.
5
Let u(w) = w**2 - 3*w + 10. Let p be u(-8). Suppose 0 = -5*a + 7 + p. Solve 3*j = 3*n - a, -n = 4*n - 3*j - 29 for n.
4
Let t(v) = -v**3 - 8*v**2 + v + 8. Let s be t(-8). Suppose s = -3*g + 2*w + w + 69, 5*g - 2*w = 109. Solve 2*i + g = -2*i + z, 4*z = -5*i for i.
-4
Let y = -11 + 15. Suppose -y*r - 42 - 42 = 0. Let w = r - -31. Solve u + 7*s - 12 = 2*s, 4*u - w = -s for u.
2
Let t(g) = -2*g**3 + 8*g**2 + 11*g + 9. Let s(u) = -u**3 + u. Let h(l) = -3*s(l) + t(l). Let b be h(-7). Solve -b*m + 3*n = 0, -2*n - n = 0 for m.
0
Let m = -12 - -16. Suppose 5*o + 5 = 0, 0 = -2*q - o + 7 + 4. Suppose 3*k + 0 = q. Solve 4*l = -0*b + 2*b + 8, k*b = -2*l + m for l.
2
Let l = 86 - 61. Suppose 5*j + l = b - 4*b, -3*j - 15 = -b. Solve -p + q - 2 + 7 = b, 0 = 3*q for p.
5
Let a(t) = 4*t - 1. Let y be a(1). Let q(p) = -7*p - 117. Let v be q(-17). Solve 0 = v*w - 2*n - 2, -w = -n + y*n + 14 for w.
-4
Suppose -5*b + 2 = -p - 4, -b - 90 = -5*p. Solve 0 = -4*x - c + p, -1 = 3*c - 2*c for x.
5
Let a(o) = -o - 5. Let v be a(-4). Let w(m) = -7*m. Let s be w(v). Solve -6*j + 3*z = -2*j + 6, j - 5*z = s for j.
-3
Let b = -11 + 15. Solve -8*f = -3*f - b*q + 10, 0 = 2*q for f.
-2
Let i = -7 - -11. Let n(u) = u**3 - 8*u**2 + 2*u - 11. Let a be n(8). Let o = 7 + -3. Solve 2*l = -a*f - 21, o*f + 14 = l - i*l for f.
-5
Let c = 15 - 6. Let t = c - 6. Solve 0 = 4*d + t*a - 23, -a + 0 - 4 = -d for d.
5
Let j be -2*(-1 + 9/(-6)). Solve -2*c + 8 = -i - 4*c, -j*i = 2*c + 16 for i.
-2
Let g be (3 + -1)/(4/14). Let s = g - 9. Let i be (6/(-9))/(s/18). Solve 0 = 3*r - 9, i*n - n = -r - 22 for n.
-5
Let o = 98 - 89. Solve 5*h = 4*l + 12, -o = 2*l - 5*h - 3 for l.
-3
Suppose -3*a - 6 = -4*a. Suppose -4*i - 6 = 5*s, a*s - 12 = 2*s + i. Solve g + 5 = -0*k - s*k, 0 = -k for g.
-5
Let y(d) = -d**2 + 7*d - 9. Let r be y(4). Suppose 0*i + 63 = 4*g - i, -42 = -3*g - i. Suppose g = o - 0. Solve -3*z + 15 = 0, -2*v + 2*z = r*v + o for v.
-1
Let a(j) = 17*j**2 - 1. Let f = 5 - 4. Let y be a(f). Solve 0 = -l - 2*l + 5*p - y, 4 = l + 3*p for l.
-2
Suppose 3*d - 80 = -2*d. Suppose 35*x - 30*x - 100 = 0. Solve 5*s + x = -q, 3*s = -q + 2 - d for q.
-5
Suppose 15 = -c + 6*c. Solve -c*d = 2*t - 5*d, 2*t - 4 = 4*d for t.
-2
Let s be 3 + 2 + (-1 - -1). Suppose 2*f - 3 = -3*x, -5*x + f - 5*f + s = 0. Let p be x + (-1)/(1/(-2)). Solve -21 = p*o + 3*b, 5*o - 6*b + b + 15 = 0 for o.
-5
Suppose -189 = -4*w + 175. Let y = 138 + -76. Let d = w - y. Solve 0 = -4*l + 2*l + 10, 0 = -t - 5*l + d for t.
4
Let q be 2/13 + 240/130 - -2. Solve 4 = -q*n + 4*v, 0*n = 4*n + 3*v + 25 for n.
-4
Let d = -86 + 87. Solve -v + d = 2*b, b - 4 = -5*v + v for b.
0
Suppose 0*n = 3*n + 9. Let z = n - -6. Solve 0 = -3*p - 3*b - 2 + 23, 0 = b - z for p.
4
Let v(p) = p**2 + 1. Suppose -z + 2*l + 8 = 4*l, -z + l - 7 = 0. Let s be v(z). Solve -3*u + 2*m - 10 = u, 0 = -s*m + 25 for u.
0
Let j(q) = q**3 - 10*q**2 - 13*q + 26. Let n be j(11). Solve -2*l = 2, 3*u + 2*l = 2*u - n for u.
-2
Suppose -5 = 3*w - 4*w. Let j(q) = 9*q**2 + 2*q + 1. Let z = 3 + -4. Let u be j(z). Solve x + 45 = -w*p - 4*x, 2*x + u = 0 for p.
-5
Let m = 13 - 9. Suppose t - 2*r + 3*r = m, r = 0. Suppose 3*k = 5*a - 34, 0 = 4*a - k + t*k - 11. Solve -15 = h - a*y + 2*y, 5*h + 5*y = 5 for h.
-3
Let h(j) be the second derivative of -j**4/12 - 4*j**3/3 - 7*j**2/2 + 6*j. Let i be h(-6). Solve i*b + 33 = -2*d - 0, 0 = d + 4 for b.
-5
Let l(r) = -3*r + 5. Suppose 0 = 3*w + 9 + 3. Let u be l(w). Solve -3*h - u = -2*q, -3 = 5*h + 12 for q.
4
Suppose 5*p + 245 = -5*f, 4*f + 0*p + 196 = p. Suppose -4*j + 312 = -0*j. Let y = j + f. Solve 0 = -8*w + 4*w + 5*k + 17, -2*w - 5*k = y for w.
-2
Let t(b) = b**3 + 6*b**2. Let n be t(-6). Solve -5*l - y = -23, 4*l - y - y - 24 = n for l.
5
Let m be 9/(((-1)/(-1))/3). Let p be -3 + -1 + m/3. Solve 2*v + 1 + 0 = 3*n, -n + p*v + 22 = 0 for n.
-3
Suppose 3*q - 2 = 4. Suppose q*r = -0*r. Let i be ((-10)/(-3))/(4/6). Solve -3*o - 14 = 5*c - r*c, 2*o = -i*c - 16 for c.
-4
Let h(t) = t**2 - 4*t + 13. Let k be h(6). Solve 0 = -4*n + 5*n - 5, 3*a + 2*n - k = 0 for a.
5
Let m = 40 + -29. Solve 3*v = -b - 10, -5*v + 0*v + 4*b = m for v.
-3
Let t = 79 + -75. Solve -2*r - 2*r + 8 = 5*z, 4*r + 4*z = t for r.
-3
Let t = 26 + -22. Solve t*n + 2 = 3*q + 3*n, -5*q = 5*n + 30 for q.
-1
Suppose -5*c = 10 - 35. Suppose -2*v - 18 = -c*v. Solve -3*k - 7 = h - 1, 3*k = h - v for h.
0
Suppose -17*j + 33 + 35 = 0. Solve j*q - 2*q = 0, -2*q = -5*o + 25 for o.
5
Let u(b) = -b - 14. Let f be u(-14). Solve -4*o - a + 16 = 0, f = -4*o - 2*a - a + 16 for o.
4
Let y(v) = 15*v + 34. Let w(h) = -7*h - 17. Let x(c) = 9*w(c) + 4*y(c). Let g be x(-7). Solve 4*k - 14 = 2*i, -k - g*i = -i + 14 for k.
1
Let a(i) = i - 1. Suppose 0 = 4*y - 14 - 2. Let m be a(y). Solve -3*h = -4*g + 12, -m*h + 5*g - 11 = 1 for h.
-4
Suppose -3*z = 5*f - 17, -13 = -2*z - 5*f - 0. Solve z*i = n + 4, i + 0*n - n = 1 for i.
1
Let w(z) = 2 - 1 + 0 + 5*z. Let s be w(-2). Let y = -4 - s. Solve 5*p = -2*l + 17, -y*l - 5*p + 2 = -3 for l.
-4
Suppose 4 = -3*c - 11. Let h = -3 - c. Solve 21 - 6 = 5*x + q, h*q + 10 = 0 for x.
4
Let v(q) = -q**2 + 11*q + 39. Let h be v(13). Solve -3*u = -j - h, -1 - 8 = u + 3*j for u.
3
Let i be 1*(4 - (-3 - -2)). Suppose -3 = -2*f - 3*u, -f - 3 + i = 2*u. Solve -4*t = 5*h + 2, -h = -4*t - f*t - 14 for h.
2
Suppose 3*z + 2*z = 0. Suppose -5*n - 23 = v, -v - 2*v - 3*n - 9 = z. Solve v*y + o = -2*o - 8, 5*o = -10 for y.
-1
Let z(d) = 2*d + 2. Let m be z(-1). Solve -f + 4*f + 2*l - 19 = m, -3*l = -15 for f.
3
Suppose 4*f = 3*f + 5. Let c be ((-2)/f)/(1/(-15)). Let r(x) = 2*x**2 - 5*x - 3. Let l be r(c). Solve 2*w - l = 3*n - 16, 0 = -5*w - 5*n - 5 for w.
4
Suppose 0 = -4*a + 4*o - 20, 2*a - o = 2*o - 15. Suppose a + 3 = y. Suppose y*h = 5*h - 28. Solve 5*f + 0*i - h = i, 26 = 5*f - 4*i for f.
2
Let n = -7 - -12. Suppose n*k = 6*k - 5. Let m(u) = u + 10. Let o be m(5). Solve -3*r + 17 = -2*j, -k*r + r = 5*j - o for r.
5
Let v be ((-2)/(-4))/(3/6). Let h be (v*-9)/(-3) - -1. Solve 3*l - 4*s = 11, h*l = 2*s - 0*s - 2 for l.
-3
Suppose 2*r = -2*r - 408. Let u be (-1)/(-5) + r/(-15). Let b be u + (-2 - 1*-4). Solve a - 5*y = -0*y + 9, 2*a = y + b for a.
4
Let d be (-2 + 3)*