 -3*f + 12, 5*b + 10 = a*f + b for f.
3
Let q(j) = -4*j**2 - 3*j - 9. Let l(w) = 5*w**2 + 4*w + 10. Let d(r) = 5*l(r) + 6*q(r). Let v be d(-4). Solve x = v*c + 13, c + 6 = -2*c - 3*x for c.
-3
Suppose -17 = -6*a - 5. Solve -2*b + 8 = a, 2*m + 4*b = 20 for m.
4
Let m be ((-1)/(-2))/((-1)/(-10)). Let i be -1*((-160)/(-2))/4. Let q be (-6)/m*i/6. Solve -2*g + 2 - q = 4*k, -g + 3*k - 6 = 0 for g.
-3
Suppose 3 = -3*y + 12. Let q = y - 2. Solve -4*n = -2*s - 2, -s + 0 - q = -4*n for n.
0
Let v(c) = 4*c**2 + c + 1. Let n be v(-1). Solve n*k = 3*y + 2*y, 4*y = -3*k + 31 for k.
5
Let n be -1 - -1 - (-3 + 3). Let o = 6 + -11. Let s = n - o. Solve -12 = -4*r - t, t + 3 = s*r - 3 for r.
2
Suppose -3*i = 4*m - 5, i - 3*i + m + 18 = 0. Let f = 1 + -6. Let g = f + i. Solve -s = t, 4*s + t - g = 4 for s.
2
Let r = 0 - 7. Let v(n) = -n**3 - 7*n**2 + n + 1. Let m be v(r). Let k be 30*m/(-5)*1. Solve -4*p + k = 4*w + p, 8 = -2*w + 4*p for w.
4
Suppose 4 = -2*p + 6. Suppose -s + p = -4. Solve 0 = -5*l, s*l - 7 = 5*b + 8 for b.
-3
Let g(o) = o + 2. Let v be g(-2). Let s = 21 - 2. Suppose -4*p = -5*f + 10, -5*p = -4*f - 4*p + s. Solve -f = 2*l, 3*c - l = -v*l for c.
-1
Let f(u) = -u**2 + 12*u - 19. Let b be f(7). Solve 4*z = z + 5*i - b, 0 = 2*z - 3*i + 9 for z.
3
Suppose 3*q - 10 = -4. Suppose -5*r + 12 = -q*r. Solve -3*y = r*g - 15 + 1, -2*g + 6 = y for y.
2
Let v(t) = 2*t - 2. Let b be v(-3). Let l(c) = -2*c - 1. Let n be l(-6). Let q = b + n. Solve -k + 12 = 4*u + 4*k, -u = -3*k - q for u.
3
Let j = 19 + -16. Solve -j*q = -12, 3*q + q = -2*f + 18 for f.
1
Let q(i) = -10 - 3*i + i + i - i**3. Let k be q(0). Let b be 108/20 - (-4)/k. Solve b*s = -w - 4, 2*s + 1 = 2*w - 3 for w.
1
Suppose 3*h = 5*i + 2, -4*i + 3*h + h - 8 = 0. Suppose i = d - t - 6, 5*d - 5 = -2*t. Solve d*j + 4 = -5*p, -p + 2*p - 2*j = 7 for p.
1
Let y = 9 - 4. Solve -11 = -4*n + y*c, -3*n + c = 3*c + 9 for n.
-1
Let h = -70 - -89. Solve r = 4*n - 5*n - 2, -2*r - h = 5*n for n.
-5
Suppose -3*t = 5*a - 139, t + 0*a - 5*a = 73. Suppose -3*v = -22 - t. Let w be 1 - 1 - (-15)/3. Solve 0*s = -s - w*j - v, -14 = 2*s + j for s.
-5
Suppose 0 = -3*o - 8 - 7. Let a = 10 + o. Solve 0*h = -2*h, 5*h = a*i - 10 for i.
2
Suppose -5*u - 6 = -4*c, 2*u - 5*c + 14 = -u. Solve 2*w + 2 = u*o, -5*o = 3*w - 2 - 3 for o.
1
Let h = -25 + 28. Solve -3*n - 2 = -p - 0*n, 0 = -h*p + 2*n - 1 for p.
-1
Suppose -3*w = -7*w - 4. Let s = 27 + w. Solve 3*u - 21 = 2*b, 0*b + s = 4*u - 2*b for u.
5
Let a(q) be the first derivative of -q - q**2 + 2 + 0*q**2 - 3. Let z be a(-3). Solve -l + 0*l + 3 = 5*i, 9 = 3*l + z*i for l.
3
Suppose 0 = -30*h + 28*h + 4. Solve 4*r + 3 = -h*x + 23, -x - r + 7 = 0 for x.
4
Let n(m) = -m**2 - 5*m - 1. Let q be n(-5). Let f = q - -3. Suppose 2*k - 4*o = -2, 5 = 3*k - f*o - 0*o. Solve -5*c + 5 = -k*b - 3*c, -3*b + 5*c + 1 = 0 for b.
-3
Let l(u) = u**3 + 4*u**2 - 6*u - 4. Let i be l(-5). Let k be (-4)/(-16) - i/4. Solve k = -0*d - d + 2*p + 11, 4*d = 4*p + 28 for d.
3
Suppose 4*x + 0*x - 24 = 0. Let i be x/((-5)/(15/(-6))). Suppose 8 = 2*y - 0*y. Solve -j - 3*j - 5*l + 20 = 0, -i*j = l - y for j.
0
Suppose -2*w + 2 = -q - q, -4*q - 9 = -5*w. Let d be (-24)/(-10) + q/(-10). Suppose 3 = d*s - 1. Solve 4*a - 8 = -0*a, -1 = -l + s*a for l.
5
Suppose -4 = -3*m + 8. Solve m*n = 5*x + 30, -4*n + 0*n + x = -22 for n.
5
Let j be 4/(-16) + (-2 - (-87)/12). Solve 3*v + 0*v + 5*u + 27 = 0, 0 = -j*v + 2*u - 14 for v.
-4
Suppose -3*x + 8*x - 15 = 0. Suppose 5*k - k = -5*a + 33, -42 = -3*a + 5*k. Solve -11 = -5*q - 3*y, -4*y - 13 = -x*q - a*y for q.
1
Let p(c) = c**2 - 9*c - 4. Let n be p(7). Let y = n - -10. Let k = 3 - y. Solve 3*q = -i + 11, 4*i - i - 2*q + k = 0 for i.
-1
Let k(m) = m**3 + 6*m**2 - m + 2. Let r be k(-7). Let x be (-3 - r) + (1 - 1). Let z be (-6)/21 - x/(-7). Solve 5*h + 2 = 5*c - 13, z*c = h - 1 for h.
-4
Let k(t) be the third derivative of t**6/60 + t**5/10 + 8*t**2. Let b be k(-3). Solve 12 = s + 3*m, 5 = m - b for s.
-3
Let o = -12 - -5. Let h = o + 12. Solve -4*x = 5*w - 0*x + 17, -5*w = h*x + 15 for w.
-5
Let f be 0 - (-1 + (-6)/2). Solve -5*m = -3*l - 10, -3*l = -0*m - f*m + 8 for l.
0
Let i = 8 + -3. Let s be -2*(-2 + 4/8). Let p(k) = k**2 - 2*k - 3. Let r be p(s). Solve -2*f - z + 9 = -2*z, f + i*z - 10 = r for f.
5
Let k(u) = -2*u - 8. Let g be k(-7). Solve -3*t = -j + 9, -j - j - g = 0 for t.
-4
Suppose 0 = 2*i + 3*i - 25. Solve i*f - 4*f - 2*r = 7, 12 = -4*r for f.
1
Suppose -5*i + 49 = 9. Let u be (i + -13)*(0 + -1). Solve -2*t + 3*t + 3*z + 6 = 0, u*z = -5*t for t.
3
Let p = 41 + -38. Solve 5*n + 4*k + 12 = 0, -p*n - 12 = 4*k - 0 for n.
0
Let b(i) = i + 1. Let x be b(1). Let a be 0/(x + 0 + 0). Solve a = -2*l + 5*u, -3*l - 16 = 3*u + 5 for l.
-5
Let c(p) = -p. Let a be c(-5). Suppose 0 = u - 2*b, -4 = 2*u + 5*b - 13. Suppose u*z - 12 = -4. Solve -a*v - i - z = 0, 5*i - 5 + 4 = -4*v for v.
-1
Suppose -2*w = 11 + 59. Let k = w - -58. Solve -2*v + k = 3*v + 2*l, v - 6 = l for v.
5
Let p(h) = -7*h**3 - 2*h**2 - h. Let c be p(-1). Solve -c*m = -3*z - 2*m + 23, 5*m + 5 = -z for z.
5
Suppose -4*o + 1 = -3*h - 12, 5*o - 17 = 3*h. Suppose -5*c + 0*c - 2 = -q, -o*q - 5*c = 17. Let k = q + 5. Solve 2*v + 2*v = -k*r - 16, 19 = -3*v - 5*r for v.
-3
Let x(s) = -s**3 - 3*s**2 - s. Let n be x(-2). Let z be (0/3)/(n/2). Solve -o + 5*o - 5 = -d, z = 3*o + 5*d - 8 for o.
1
Suppose -r = 4*r. Let c = r - -5. Solve b + c = -w - 0*w, 5*w + b = -5 for w.
0
Let r = 8 - 5. Let x be r*(-2 + -3)*-1. Solve -3*v - n - x = 0, -3*n + 10 = -0*v - 2*v for v.
-5
Let z(v) = -v**2 - 13*v - 20. Let b be z(-11). Solve b*k = -4*g + 24, -2*g - 5*k - 5 = -25 for g.
5
Let q(j) = -j**3 - 2*j**2 + 2*j + 2. Let l = 1 - 0. Let b be (-1)/l*6/2. Let i be q(b). Solve -5 = i*s - u + 1, -5*s - 4*u - 1 = 0 for s.
-1
Suppose -a + 4*a = 0. Suppose a = 2*p - 5*w - 3, -4*w = -p. Solve 0*l = p*c - 5*l + 31, 3*c = 5*l - 27 for c.
-4
Suppose 13*n + 22 = 74. Solve -3*z + 24 = 4*h + 2*z, -z + n = 0 for h.
1
Let l = -20 + 35. Suppose 3*w - l = -2*w. Suppose -2*p = -w*v + 7, v + 21 = 4*p + 2*v. Solve 0 = c + 2*d + 9, -p*c + 2*d - d = 9 for c.
-3
Let z be 2 + ((-1)/(-1) - 1). Suppose -2*v - 6 = i, -v - 2*v = -4*i - z. Let a = 3 - i. Solve -5*m = 3*y - 40, -4*y + a*m - m = 0 for y.
5
Let c = 2 - 0. Let x be (-3)/3 - -3 - c. Suppose -5*v = -x*v - 30. Solve -b + 4*i - 12 = 4*b, 3*b = 3*i - v for b.
-4
Let x(t) = 2*t**2 + t - 2*t - 3 + 4. Suppose -4*f = -a + 1, a + 3*a + f = 4. Let g be x(a). Solve -9 = 4*h + 3*l, 1 = -h - g*l - 0 for h.
-3
Let w be (-8)/20*5*-2. Suppose 4 - 16 = -w*h. Solve -3*x = y + 5, -y - h*y = x - 2 for x.
-2
Let t be (-5 + 42/10)/(2/(-10)). Solve -t*p = 4*z + 40, -2*p - 5*z - 15 = -4*p for p.
-5
Let d(u) = -u**2 - 7*u - 5. Let t be d(-5). Solve 4*j + 0*j + 7 = 5*a, 3*j = 4*a - t for a.
-1
Let c = -2 + 5. Let x(q) = q**2 - 6. Let b be x(0). Let t be -15*b/45*3. Solve v - c*z = 4*v - t, 0 = -4*v - 5*z + 12 for v.
-2
Let y(j) = -j**3 + 4*j**2 - 2*j - 2. Let p be y(2). Let m be (46/6)/(p/6). Suppose -2*t + 3 = 5*i - 28, 4*i - m = -t. Solve -2*n = 0, 4*o - 5*n + 3 = i*o for o.
3
Let c be (-3)/3 - (-2 + -3). Solve 4*v - 2*i - 2*i = -4, 0 = 4*v + 2*i + c for v.
-1
Let q(o) be the third derivative of -2*o**2 + 0*o + 0 - 1/24*o**4 + 1/3*o**3. Let j be q(-8). Solve 2*k = -3*s + j, -25 = -5*s - 4*k - k for s.
0
Let n be (5/15)/(1/(-3)). Let u = n - -3. Let h(w) = -w**3 + 6*w**2 - 6*w + 6. Let a be h(5). Solve 0 = 5*v + u*o, 2*o - 3 - a = -3*v for v.
-2
Let n = 23 + -14. Let s(g) = g**3 - 8*g**2 - 9*g. Let f be s(n). Solve -3*u + 4*z = -z + 10, -2*u + 5*z - 10 = f for u.
0
Let r = 35 - 31. Solve -r*n + 8 = u, 3*u = -0*u + 2*n - 18 for u.
-4
Let n(c) = c**2 - 3*c + 2. Suppose -4*b + 3*i = -2*b - 3, 5*i = b + 2. Let f be n(b). Solve 3*z + z - 3*l - 7 = 0, f*z = -2*l - 14 for z.
-2
Suppose -g + 1 + 1 = 0. Let s = 4 - g. Solve 0 = -2*d - s*p, -4*p + 5*p = 4*d for d.
0
Let r = -61 + 93. Solve -3*l = -12, l + 2*l = 5*o + r for o.
-4
Suppose 43 = -5*y - 62. Let h = y - -31. Solve 2*v + 4*j - 12 = 0, -3*v - 2*j + h = -0*v for v.
2
Suppose -5*u + 5 = 2*z - 10, -26 = -5*z - u. Suppose 45 = 6*w - 3*w. Suppose 0 = -z*d - b + w, -3*d - 9 + 0 = -3*b. Solve 13 = -3*p + v, p - v = -d - 3 for p.
-4
Suppose -6*t - 12 = -2*t. Let n be 3/9 + t/9. Solve n*q