 Solve 3*q + y = m for q.
3
Suppose 5*b = 0, -5*b = -w + 11 + 1. Solve 7*c + w = 3*c for c.
-3
Suppose -2*n + 0*d + 12 = 3*d, 0 = 3*d - 12. Let t = -13 + 17. Solve n = 4*g - 8 - t for g.
3
Let f = 5 + -1. Let m = f + -3. Solve -2*o - 9 - m = 0 for o.
-5
Suppose -3*x = 2*o + 8, -8 - 12 = -5*x + 5*o. Solve -3*r + 7*r - 8 = x for r.
2
Let u be 0 + 9 - -1*3. Solve -2*j = 2*j + u for j.
-3
Suppose -3*y = -4*k + 36, 3*k = y - 0*y + 17. Let a be 2/y - (-27)/12. Solve a = w + 7 for w.
-5
Suppose -4*r - 1 + 28 = 5*v, 0 = 5*r + v - 18. Suppose 4*n = r*j - 23, -5*j + 14 = -11. Let q = n - -2. Solve -3*l + q*l = 0 for l.
0
Suppose 5*l - l - 2*n - 20 = 0, -3*n = 2*l + 6. Suppose 1 - 4 = -l*q. Solve -2*s - q = -3*s for s.
1
Let n = -10 - -15. Let o(j) = -1 + 2 + 3*j - j**3 - 2*j + n*j**2 - 3. Let f be o(5). Solve 2 - 11 = -f*q for q.
3
Let x(c) = -33*c. Let q be x(-1). Let f = q + -20. Suppose -15 = 4*p - 9*p. Solve 2 = -p*h - f for h.
-5
Let b(p) = -p**2 - 8*p - 8. Let s be b(-6). Let n = 6 - s. Suppose -t + 1 = -z - 1, 2*z + 4*t = 8. Solve z = n*d - 0*d for d.
0
Let c be 15/3 + -3 + 3. Suppose 2*z = -2*z - r + 13, 5*z = -5*r + c. Solve 22 = -z*i + 2 for i.
-5
Let h = 67 - 64. Solve 0 = j + 1 - h for j.
2
Suppose -3*p + k + 3 = 0, 4*k = -k. Solve 2*u + 3 = -p for u.
-2
Suppose 4*c - 7 - 17 = 0. Suppose -5*i + 31 = -3*t, 0 = 5*i - 6*i + 3*t + 11. Solve 0 = i*f + 9 + c for f.
-3
Suppose -t - d + 5 = -3*d, t + d = 2. Solve 0*f - t*f = -3 for f.
1
Let l = -10 + 7. Let i be (-1)/(2/(l - 1)). Solve i*j = -2*j + 12 for j.
3
Let a(c) = -c**3 - 10*c**2 - 10*c - 6. Let q be a(-9). Solve -5*z - q = -8 for z.
1
Let g be (2 - 12/4)*-4. Solve m = g*m for m.
0
Let q be ((-8)/28 - -2) + (-2)/(-7). Solve -2*l - q = -l for l.
-2
Suppose -3*h + 4*m - 19 = -m, h - 2*m + 7 = 0. Let r be 1 + 5/((-5)/h). Solve -t + 1 = r for t.
-3
Let a = 3 + 2. Suppose a*u - 15 = -y, 3*u = -0*y + 2*y - 4. Let w = y + 3. Solve -4*f + 2*f + w = 0 for f.
4
Suppose -3*a + 42 = 4*a. Suppose -f - 2*z + 3 = 0, 0 = 3*f - z + 3*z - 9. Solve 0 = 3*j - a - f for j.
3
Let h be 2 + -4 + 7/1. Suppose -2*m = 4*j - 4, -h*j = 3*m - 4*m - 19. Solve j*s = -s - 4 for s.
-1
Let q(g) = 4*g**3 + 5*g**2 - 5*g + 9. Let l be q(-7). Let h be l/(-7) - 2/(-7). Suppose 5*n = 2*v + h, v - 5*v = -2*n + 46. Solve -8 + n = 5*t for t.
5
Suppose 3*q = 4*q - 2. Solve -5*c - 8 = q for c.
-2
Let h(q) = -q**2 + 2*q - 1. Let c be (-4)/(-10) - (-9)/15. Let y be h(c). Solve -i + 3 - 1 = y for i.
2
Suppose g = 2*g - m - 7, -3*m = 0. Let u = g + -7. Suppose 3*t + 3*x - 12 = 0, 2*t = t + 5*x - 20. Solve u = d + 3 - t for d.
-3
Let u(a) = -a**2 - 3. Let g be u(0). Let i be (-4)/(-6) - 4/g. Solve -i*n + 0*n = 2 for n.
-1
Let x be -12 + (3 + 1 - 2). Let h = x - -17. Solve 0 = -c - 2 + h for c.
5
Let f(v) = v**2 - 15*v + 14. Let o be f(14). Suppose o = -5*u - k + 2*k - 1, -1 = 2*u - k. Solve -r + u*r = 1 for r.
-1
Suppose -4*x = -v + 14, -4*x - 8 = 2*v + 12. Let k be (3 - 2) + (v - -6). Solve 2*b + 6 = k*b for b.
2
Let a(j) = j**2 - 6*j + 7. Let x be a(5). Solve -3*n = -5*n + x for n.
1
Let f(q) be the second derivative of -q**4/12 - 7*q**3/6 + 5*q**2/2 - 7*q. Let t be f(-7). Solve -2*p = -p - t for p.
5
Let f = 0 - -6. Solve 0*j + 3*j = -f for j.
-2
Let n(r) = r - 2. Let l be n(5). Suppose 5*h = l*x + h - 22, 17 = 3*x + h. Solve -3 = 3*f + x for f.
-3
Let j(h) = -8*h + 72. Let z be j(9). Solve k + z = -3 for k.
-3
Let v(u) = 2*u**2 + 3 + 3 + 0*u - 4 - u. Let m be v(2). Solve 5*i - 7 = m for i.
3
Let a(k) = -4*k + 6. Let w(n) = 7*n - 12. Let r(s) = -5*a(s) - 3*w(s). Let y be r(5). Solve -y = -c + 2 for c.
3
Let i = -9 + 13. Suppose -2*t + 3 = 3*d - 1, -8 = i*d - 4*t. Suppose 0 = -2*n + 4*n - 2. Solve 0 = -y - d + n for y.
1
Let i = -13 + 7. Let f = -3 - i. Suppose -9 = -f*t - 0. Solve -16 = t*m + m for m.
-4
Let p = -4 - -6. Let l be 3/4*(p + 2). Solve l*t - 25 = -2*t for t.
5
Let r = 10 - 8. Solve -b = r*b for b.
0
Let t = 29 - -1. Suppose 5*r - 20 = t. Solve 3*g = 2 + r for g.
4
Suppose -6 = 3*h + 3*r, 4*h + 2*r - 4*r - 22 = 0. Let j be -2 + 2 + h + -1. Suppose j*g - 2 = g. Solve -g = -2*m + 6 for m.
4
Let w be (-15)/(-45)*(-1 + 13). Solve 0 = w*i - 0*i + 8 for i.
-2
Let a = 44 - 24. Let h be (a - -2) + 3*-1. Suppose 5*g - 3*u - h + 4 = 0, -4*u = 0. Solve g*y = -y for y.
0
Let d be (-4)/6 - 4/(-6). Let q(n) be the first derivative of -n**3/3 - 3*n**2 + n + 1. Let k be q(-6). Solve d = w + 3 + k for w.
-4
Let b(y) = -y + 4*y - 2*y. Let f be b(-5). Let n = 13 + f. Solve 0 = -3*a + n + 4 for a.
4
Let y(h) = -h**3 - 4*h**2 + 3*h - 2. Let v be y(-5). Solve -3*m - v = 1 for m.
-3
Let j(b) = b**3 - 8*b**2 - 8*b + 6. Let t be j(9). Solve -3*o = -6*o - t for o.
-5
Let u = 5 + -1. Solve 3*z + z = -u for z.
-1
Suppose 4*j - 1 = -v - 2, 3*v = 4*j + 13. Suppose -v*k - 4 = 4*d, 0*k + 5*k + 3*d = -3. Solve k = h + h - 8 for h.
4
Suppose -3*a + 3 = -2*i, 0 = 2*i + 2*i - 3*a - 3. Suppose 3*r - i + 0 = 0. Solve 2 + r = y for y.
3
Let t(n) = n**2 + 3*n - 2. Let r be t(-4). Let j be (-2)/7 - r/(-7). Solve -o = -j*o + 3 for o.
-3
Suppose -2*l + 0*u + 3*u = 11, 4*l = 3*u - 7. Solve 5 = l*j + 3*j for j.
1
Let u(x) = x**3 - 7*x**2 - 9*x + 4. Let j be u(8). Let g be (3/j)/((-2)/24). Let s = 5 + g. Solve 2 + s = -4*i for i.
-4
Suppose 5*y - 6*q + 8*q = 12, -4*q = 2*y - 8. Suppose 0 = -3*g + 4*g - 4. Solve u = -g + y for u.
-2
Let n be 4/(-26) + 134/26. Solve n*y = 9*y - 16 for y.
4
Let q be (1 + 4/1)*1. Solve 0*y - 15 = q*y for y.
-3
Let q = 0 + 1. Let f be (0 + 1)/q*2. Let x be (-27)/(-2 - -1) - f. Solve -x = -o - 4*o for o.
5
Let b(x) = x**3 + 10*x**2 + 9*x + 4. Let v be b(-9). Suppose 2*h - 2 = 2. Solve h*s - s = v for s.
4
Let x(q) be the first derivative of q**4/4 - 8*q**3/3 + q**2/2 - 3*q - 2. Let s be x(8). Solve 0*l + 15 = -s*l for l.
-3
Suppose -g + 3 = -y, g - 4*y = -4*g + 16. Solve -i - 1 = g for i.
-5
Let c(l) = l - 4. Let m be c(8). Let o be 2/8 - (-19)/m. Solve o*b = 3*b - 8 for b.
-4
Let c be 1/4 - 15/(-20). Let x be 6/6 - (1 - 0). Suppose v - 13 = -x. Solve 3*i + v = c for i.
-4
Let j be (-210)/56*(-32)/6. Solve -3*u - j = u for u.
-5
Let o = -7 - -10. Let p(a) = 2*a + 10. Let u be p(5). Solve -o*r - 2*r + u = 0 for r.
4
Let q = -3 - -2. Let m(d) = -3*d**3 - d. Let f be m(q). Let z be 2*2/(-4)*(0 + -3). Solve -5*s - f = -z*s for s.
-2
Let j = -15 - -27. Let p(b) = -b**2 + 14*b - 16. Let c be p(j). Solve 0 = 5*g - 3*g - c for g.
4
Let p = -15 - -22. Let h = p - 6. Let r be (5/(-10))/(h/(-4)). Solve -4*u - r = 2 for u.
-1
Let a = 30 - 27. Solve a = 3*b - 0*b for b.
1
Let n(w) = w**2 - w - 3. Let a be n(4). Suppose -a*x + 4*x = -75. Solve x = -3*r - 0*r for r.
-5
Suppose 8*n = 4*n + 8. Suppose -2*o = l + 2*o - n, 0 = -3*l - 5*o + 6. Solve 6 = 4*f + l for f.
1
Let y(p) = p + 5. Let i be y(-5). Solve i = 2*s + s + 12 for s.
-4
Let v(w) = -w - 1. Let d be v(-3). Let q = d + -2. Let f(l) = l**2 - 3*l + 2. Let p be f(3). Solve -p*b - 2 - 4 = q for b.
-3
Let t(v) = v. Let m be t(1). Let u = -12 + 22. Let n be 12/10*u/4. Solve n*i + 4 = m for i.
-1
Suppose -33*m = -29*m. Suppose 11 - 3 = 4*y. Solve 3*c - y*c = m for c.
0
Suppose -2*n + 5*n = 0. Let l(u) = 2*u - 3. Let a be l(-5). Let b = 24 + a. Solve n = -4*y + 9 + b for y.
5
Let l = -34 - -34. Solve l = g + 5 - 1 for g.
-4
Let y(l) = -6*l - 1. Let o be y(-3). Suppose -4*d = -o + 5. Solve k + 4 = -d*k for k.
-1
Suppose 0 = 3*w - 3*f + 3, -2*f + 8 = -3*w + 2*f. Suppose w*j - 36 + 172 = 0. Let b = 49 + j. Solve 4*t = t + b for t.
5
Let r(a) = -2*a**3 - 8*a**2 - 2*a + 3. Let z be r(-3). Let o = z - -9. Solve -5*w + 5 = -o for w.
1
Let o(l) = l - 8. Let v be o(5). Let r = v - -5. Let z(a) = 10*a - 1. Let g be z(1). Solve -g - 1 = r*q for q.
-5
Suppose j + 2*j - 72 = 0. Solve -5*a - j = -4 for a.
-4
Let w be (51/(-12) - -4) + 3/12. Solve w = o + 3*o + 4 for o.
-1
Let i = -49 - -53. Solve 10 = i*n + 2 for n.
2
Let n(k) = k**2 - 4*k - 3. Let q be n(5). Let v be 2/q - (-3 + -8). Solve 0*x - 3*x = v for x.
-4
Let o = -11 - -21. Solve -z + o = z for z.
5
Suppose -3*u - 12 = -4*u. Solve -u = -0*c + 4*c for c.
-3
Suppose 1 = -4*f + b, -4*b + 3 = 5*f - 1. Suppose 2*u = -2*u + 8. Solve -u*n - 2*n = f for n.
0
Let f(z) = z**3 - 7*z**2 - 10*z + 19. Let n be f(8). Solve 0*v - v = -n for v.
3
Suppose -x - 3*x = 0. Suppose 