Solve -p + 7 = -g, c*p + 1 = -0*g - g for p.
2
Let g = -10 + 13. Solve -6 = g*f + 3, 2*m + 17 = -3*f for m.
-4
Suppose -13*u = -12*u - 18. Solve -w - 3*s = u, 2*s + 3 = 3*w + 2 for w.
-3
Let n = -11 + 15. Suppose 2*i - 9 = 3*i - 3*z, -n*i - z + 3 = 0. Suppose i = -y - 9 + 34. Solve -3*b - 9 = -3*f + 6, y = 3*b + 5*f for b.
0
Let a = -5 + 8. Let s be a/(6/(-4)) - -6. Suppose 90 = s*y - k + 2*k, -3*y + k + 64 = 0. Solve 0 + 2 = 2*m - 3*u, 4*m - y = -3*u for m.
4
Suppose 0 = -0*m + 3*m - 15. Let k = 4 + -1. Solve 5*v - 15 = m*l, -13 - 3 = -2*v - k*l for v.
5
Suppose 3*k = -x + 3 + 9, 4*x + 12 = 3*k. Solve -k*q - 4*d - 11 - 13 = 0, 2*q + 3*d + 16 = 0 for q.
-2
Let x(a) = 6*a + 14. Let g be x(-2). Solve g*u - 12 = -2*u - 4*n, -2*u + 5 = 3*n for u.
4
Suppose -4*h - 28 = -3*l, 3*l + 2 = -4*h - 2. Suppose -l = -s - s + w, -5*w + 19 = 3*s. Solve i = 3*m - s*i, -2*m - 3*i + 17 = 0 for m.
4
Let u be ((-16)/20)/((-4)/10). Suppose 2*h + 4 = -u*y, -2*y + 3*h - 6*h = 8. Suppose -2*q + q = -y. Solve 3*k = 4*v - 25, q*v + 4*k = 2*k + 2 for v.
4
Let g = 9 - -17. Solve -5*r + g = -4*a + 5*a, 0 = -4*r - 5*a + 25 for r.
5
Let s = 9 - 5. Suppose -m + 2*m - 5*l = 25, l = -s. Solve 2*h - 2*w + 3 + 3 = 0, -m*h - 6 = 4*w for h.
-2
Let d(b) = b + 8. Let r be 2*-1*2 + -2. Let t be d(r). Let c be (-1 - -5)*(3/6 - 0). Solve -c*y = -3*k + 1, k + 18 = -y - t*y for y.
-5
Suppose 4*f + 4*t - t = 9, t = 3*f - 23. Suppose -3*z = -f*z - 6. Let j = z + 7. Solve 6*u + 2*o - 11 = 3*u, 5*u = -j*o + 20 for u.
3
Let z = -8 - -10. Let m be (-7 + 7)/(0 + z). Solve m = 2*u + w, 2*u + 4*w = 3*u for u.
0
Let s be 12/(-2) + 0/4. Let m be (-1)/s - 51/(-18). Suppose -m*g - 2 + 11 = 0. Solve 5*x + 1 = g*p - 15, 3*p + 24 = -3*x for x.
-5
Suppose 3*i = i + 16. Solve 4*d - j - 12 = 0, 0 = -0*j + 2*j + i for d.
2
Suppose y - 3*y = 3*k, 3*k = y. Suppose -5*x - 1 + 21 = y. Solve 3*q - 4*v - 1 = -0*v, 2*q = -2*v - x for q.
-1
Let a be (-20)/(-75)*6 + 4/10. Solve -3*v + 3 = 2*x + 2, a*v = 5*x - 31 for x.
5
Let s be (-935)/66 + (-2)/(-12). Let q be s/(-8) - (-1)/4. Solve -q*t + 10 = -4*t - f, -4*t = f + 16 for t.
-3
Suppose 0*h = -10*h + 40. Solve w + 5*m = h*w - 5, -w + 11 = 3*m for w.
5
Let k = -7 - -9. Let y(v) = v**k - v - 5*v + 0 + 7. Let h be y(5). Solve 4 = h*w - c, 3*c = -4*w - 4 + 22 for w.
3
Let f(t) be the first derivative of 1/4*t**4 - 3*t + 7/3*t**3 + 5/2*t**2 - 1. Let n be f(-6). Solve 2*a - 16 = 4*r + n*a, 4*r + 2*a = -12 for r.
-5
Let y = 6 - 1. Solve -11 = -4*i + w, -3*w + 0 = 2*i + y for i.
2
Let k(c) = -6 + 1 - 2*c + 0. Let z be k(-5). Solve 0 = -z*s - 5*w, 5*w + 5 = -6*s + 2*s for s.
5
Let w be 3 - (0 - -1) - 2. Let u be (w/(-2))/((-2)/2). Suppose 3*c - 3*g = -2*c + 8, 36 = 5*c + 4*g. Solve 2 = z + s, -2*z + z + c*s + 7 = u for z.
3
Let x(u) = u**3 + 6*u**2 - 2*u + 3. Let z be x(-6). Solve -2*f = 3*f + 3*a - z, 2*a - 10 = -4*f for f.
0
Let l be 2 + 5 + 3 + 1. Let u = 19 - l. Solve 11 = -g + 5*o - u, 2*o - 10 = -2*g for g.
1
Let y be 2 - (1 + 8/(-4)). Solve -3*d + 4*f + 7 = y, 5*f = -3*d + 22 for d.
4
Suppose -6 = 3*s - 12. Solve -o + 2 + 0 = -z, -s*z - 7 = o for z.
-3
Suppose 4*y = 18 + 30. Suppose a - 4*a + y = 0. Solve 0*h - 2*h - 24 = a*s, 0 = 5*h - s + 16 for h.
-4
Let n = -14 + 30. Solve n = -4*p + 2*q, -3*q = -p + q - 18 for p.
-2
Let b = 2 - 0. Let s be 0*(6/b)/(-3). Let q be -1 + s + 7 + -3. Solve -q*v - 2*v = -3*l + 18, 2*v = -l - 5 for l.
1
Let a be (2 + -1 + -2)*1. Let f(m) = 3*m**2 - 4*m**2 + m + 1 + 2*m**2. Let v be f(a). Solve -3*l + w = -v, -4*l - 3*w + 2*w = 8 for l.
-1
Let g be ((-1)/2)/(7/1540). Let m be g/(-3) + (-4)/6. Solve -4*b - 4*s - m = 0, 3 - 7 = s for b.
-5
Suppose -o + 14 = 3. Suppose -16*d + 25 = -o*d. Solve 8*t - 3*t - 20 = 0, d*q = 3*t - 37 for q.
-5
Suppose 0*t = -4*t + 12. Let s(m) = -m**3 + 4*m**2. Let o be s(t). Solve 3*q + o = 0, 2*l + 5*q + 15 = -0*l for l.
0
Let j(i) = i**3 - 10*i**2 - 10*i - 9. Let u be j(11). Solve -n + 3*b + 3 = -4*n, -3*n - 7 = u*b for n.
-5
Let q = 54 - 53. Solve 3*t = -2*b + q, -3*b + 0 = 3*t + 3 for t.
3
Let i(p) = -3*p + 23. Let a be i(7). Solve 5*d - a*x = -7, -3 = -3*d + 5*x + 8 for d.
-3
Let f(t) = -t**3 - 3*t**2 + 2*t + 4. Let h be f(-3). Let a be 1 - -1*(-2)/h. Solve 0 = c + 2*l - 9, 2*c - a*l = 3*l - 18 for c.
1
Let d be 2/10 + (-1)/5. Solve 5 = 5*v - 4*o, d = 3*v + 2*v + 5*o - 5 for v.
1
Let c be 2*1/(-2)*-2. Let m = 2 - 2. Let w(o) = o**3 + o + 4. Let b be w(m). Solve 3*t + b = -i, c*i - 2*t + 0*t = 0 for i.
-1
Let f be 12/10*(-20)/(-6). Suppose 4*s = 2*u - 26, -3*u - 13 = 2*s + 4. Let x = s + 11. Solve y + x = -2*r - f, 0 = 4*r - 3*y + 26 for r.
-5
Let g = -65 - -215. Suppose 2*f + 3*f = g. Solve -3*d + v - 20 = 2*v, 4*d + 2*v + f = 0 for d.
-5
Let l = -9 - -13. Let f = l + 1. Suppose f*q - 2*q - 5*w + 22 = 0, -27 = -2*q - 5*w. Solve -q = -4*u + 5*p, -2*p + 4 = -u + 2 for u.
4
Suppose -7*f + 32 + 31 = 0. Solve 3*o = -2*m + 4*m - f, 6 = -3*o + 3*m for o.
-5
Suppose 6*c - c = 100. Solve -3*w - 13 = n, c = -4*w - n - 3*n for w.
-4
Suppose -3*h + 12 = -6. Let n be h + -2 + 4/4. Solve 4*u = j + 16, 0*j - n*j + 5 = -3*u for u.
5
Let c(l) = 4*l**3 - l**2 - l + 1. Let q be c(1). Let f(r) = 2*r**2 - 7*r + 5. Let h be f(4). Let x be (q + h/3)*2. Solve w + 5*n = 15, 3*w + 5*n - x = 13 for w.
5
Let v(q) = -3*q - 1. Let u be v(-2). Let t be 2*1 - (2 + -3). Let o = 0 + 3. Solve -3*k - t*c + 3 = 0, -o*c + 33 = u*k - 5*c for k.
5
Let b = 0 - 1. Let n be (b*1)/(8/(-40)). Solve -6*z = -i - 4*z - 7, 3*i - 1 = -n*z for i.
-3
Let p = -79 - -80. Solve 0 = -z + 2*w - 5, -w - p = z + 1 for z.
-3
Suppose 2*v + 5*k = 70, -2*v = -k - 52 + 6. Solve -5*x - v = 0, x = -3*s + 2 + 8 for s.
5
Suppose -19 = r - 5*y, -3*y + 15 = 4*r - 1. Let o be ((-2)/(-4) - r)*-4. Solve -4*u + 5*u + 3*w + 19 = 0, -o*u = -4*w - 12 for u.
-4
Suppose 20 = 2*a + 4*k, a = 2*k - 0 - 2. Let n = a + -2. Solve -2*v = -2*l + 6, n*l + 4*v + 0*v = 0 for l.
2
Let a(p) = p**3 - 17*p**2 - 41*p + 66. Let j be a(19). Let t be (-4)/18 - (-40)/18. Let z = 2 - t. Solve z = -3*k + j, -4*k + 38 = 4*f + 6 for f.
5
Let m(f) = -f**2 + 8*f - 5. Let t be 38/8 - 7/(-28). Let g be m(t). Solve 5*j = -10, -3*j + j - g = 2*c for c.
-3
Suppose 3*v - 22 = v. Solve 2*l - 7 = -4*n + 3, v = 2*n - 5*l for n.
3
Suppose 55*s - 10 = 50*s. Solve 4*a - s*z - 10 + 0 = 0, -25 = -3*a - 2*z for a.
5
Let x(n) = n**3 - 6*n**2 - 7*n + 6. Let w be x(7). Suppose -w*z + 3*z = -6. Let g be (-52)/(-14) + z/7. Solve -5*r + 25 = 4*p, -8*p + 20 = g*r - 4*p for r.
5
Suppose 0 = b + 4*b - 3*g - 35, 3*g = -b - 11. Let z be -1 + 10 + (-1 - -2). Let j = 15 - z. Solve b = 2*n + 4*l - 6, -l = -j*n + 25 for n.
5
Suppose -4*w + 3*f = -53, -2*f + 6*f - 88 = -4*w. Suppose v - 12 = 5*v, -5*y - v + w = 0. Solve -3*k + 50 = -5*x + 2*k, y*k = -5*x - 5 for x.
-5
Let w(x) = x**2 + 6*x + 3. Let u be w(-5). Let z be 3/u + (-18)/4. Let i = 9 + z. Solve 0 = -4*q + i*g + 11 - 3, -4*q + 12 = -2*g for q.
5
Suppose f + 15 = 4*f. Suppose -75 = s - 6*s. Solve f*m + 5 = -3*k + 24, 0 = 5*k - m + s for k.
-2
Let u = -25 + 29. Solve 5 = -h - 2*f, 6*h - 15 = 3*h + u*f for h.
1
Suppose o - 5 = 0, 0 = 4*c + 4*o - 11 - 17. Solve 5*l + 2 = -4*b, -l - 10 = -c*b - 2*b for l.
-2
Suppose -3*h + 2*d = 8, d = h - 3*d - 14. Let k be (-15)/(-9) + 4/h. Solve o = 4*l - 12, -2*l - o = -5 - k for l.
3
Suppose -3*r - 3 = -3*y, r + 2*y - 4 = -2*y. Solve r = -4*g - 3*s - 14, 2*g - s + 6 = -2*g for g.
-2
Let t be (-3 + 18/8)*(9 + -13). Solve o = d - t, -2*d = 2*o - o - 9 for o.
1
Let n(d) = -d**2 - 4*d - 3. Let k be n(-3). Suppose k = -5*t + 16 + 4. Let u = 15 - 10. Solve 5*a - 5 = -y - t*y, 4*y - 1 = -u*a for y.
4
Let t(d) = -2*d - 1. Let q be t(-1). Let y = q + 1. Solve -2*r + 3 = r, y*o = -4*r - 6 for o.
-5
Let a be (1/3)/(5/30). Suppose 4 - a = l. Suppose y + l*y = 9. Solve -5*z + r = -4*r, -y*r + 6 = 0 for z.
2
Suppose u - 5*u + 11 = -j, 18 = 2*j + 2*u. Solve 0 = -4*r - 5*o + 6, j*r - o = r - 6 for r.
-1
Suppose 0 = g + 2*k - 13, -k - 2 = g - 2*k. Let n be 2*(-10)/(-12)*g. Solve -x - 4*x - 40 = -n*h, -x = -3*h + 14 for h.
3
Suppose l = 6*l. Let c(g) = g**3 + g**2 + g + 5. Let m be c(0). Solve -f = -a - l - 5, 0 = -m*f - 3*a + 17 for f.
4
Let j(n) = 3*n - 15. Let l be j(6). Solve 4*s + 4 = -3*i - 18, 3*s = l*i - 6 for s.
-4
Let d(c) = 2*c - 2. Let t be d(3). Le