r**2 + 5*r - 1. Suppose 5*q + 35 = -t - 2*t, -4*q + 4 = -4*t. Let m be b(q). Solve -5*s = -h - m, 3*s + 3*h = -h + 7 for s.
5
Let k be (9/(-12))/(3/12). Let y = k + 9. Solve 4*r + h = 18, -4 = -5*h + y for r.
4
Let j(s) = -4*s - 2*s**2 + 1 + 2*s**3 + s + 1. Let o be j(2). Suppose k = 2*k - 2*r - 10, -3*k = -3*r - 21. Solve 2*p - 2*t = t + o, -k*t + 28 = 4*p for p.
5
Suppose 0 = -4*g - o + 12, g = -4*o + 3 + 15. Solve -5*r + 30 = -2*i, r = -g*r + 12 for i.
-5
Let a(z) = -9*z**3 + 4*z**2 - z - 2. Let c be a(2). Let w be 3/((-30)/(-4))*c. Let x = -9 - w. Solve 6*f = -3*h + f - x, 9 = -h - 3*f for h.
0
Suppose -2*m + 2 + 2 = -3*i, -m + i = -2. Solve 16 = m*w + 4*j, -2*j = j - 6 for w.
4
Let s(g) = g**3 + 7*g**2 - 7*g + 11. Let i be s(-8). Solve w + i - 2 = -2*j, -3*j = -4*w + 18 for w.
3
Let i(c) = -c**3 - 15*c**2 - 14*c + 4. Let u be i(-14). Solve 0 = z + 4*s + 1, -s = u*z + 2 + 2 for z.
-1
Suppose -1 = -j - f, -f = -3*j + 21 - 2. Solve 0*q - 29 = -j*z - q, 0 = -5*q + 20 for z.
5
Suppose -y - 5*k = 6, 2 = -k - 0*k. Let d be -2 + -1 - (0 - 3). Let l be -9*(2 - d)/(-6). Solve u + 1 = l, 3*u - 10 = y*r for r.
-1
Suppose 5 = 4*a - 3*v, 2*a - 3*v = -0*v + 7. Suppose 12 = -d + 4*d. Let s = d + a. Solve 4*k + 3 = 2*j - s, -2*k + 17 = -5*j for j.
-5
Let u be (1 - (-3)/(-5))*10. Solve 4*l - 16 = -5*t, -6*t - u = -l - 2*t for l.
4
Let q = 62 - 59. Solve 10 = 4*o + 2*f, 0*f + q*f + 10 = -o for o.
5
Suppose 3*y - 21 = 3*j, 12 = 2*j + j. Let t = y - 6. Solve 0*b - t*l = -b - 23, -2*b + 14 = 5*l for b.
-3
Let c = 12 + -12. Suppose c = -7*r + 5*r + 2. Solve -2*u = 3*d + 2, -u - 3 = r for d.
2
Suppose -32 = -5*o + 18. Let y = o - 6. Solve -y*z = 5*f + 6, 16 = -2*z + 3*f + f for z.
-4
Suppose -3*a + 15 = 3. Suppose 2*i - 3*i + a = 0. Solve -3*z + 2*w - 13 = 0, -i*w + 5*w - 24 = 5*z for z.
-5
Let f = -20 - -22. Solve 16 = 2*z - 0*z - 2*j, -z = -f*j - 13 for z.
3
Let d(l) = -l**3 + 7*l**2 + 8*l + 5. Let t be d(8). Solve 2*w - 7 = -5*a + 4, -w - t = -a for w.
-2
Let m(v) = -v**2 + 26*v + 63. Let u be m(28). Solve 3*r - 15 = 4*w - u*w, -4*w + 4 = -4*r for w.
3
Let c(g) = g**3 + 7*g**2 + 5*g - 2. Let q be c(-6). Let d(a) = a**2 - a. Let m be d(q). Solve -5*p + p = 5*b - m, -5*b + 10 = 5*p for p.
-2
Let q = 1 + 2. Let c = -9 + 13. Let p = -2 + c. Solve 0 = d + q, 6*x - p*x = -d + 1 for x.
1
Let l(h) = 2*h**2 - 7*h + 8. Let s be l(2). Suppose -n + 2 + 0 = 0. Let j = 3 - n. Solve 0 = -4*t + 2*k + 4, -5*t = -3*k - s - j for t.
3
Let v(b) = 4*b - 12. Let f be v(3). Solve p + f*p = 1, -4*s - 4*p + 4 = 0 for s.
0
Let v(w) = -21*w + 1. Let x(c) = 22*c - 1. Let j(b) = -3*v(b) - 2*x(b). Let l be j(4). Suppose u - 4*u = -l. Solve 2*s = -0*s + 2*t + 10, -5*s = -4*t - u for s.
5
Suppose w - 8 = -4. Solve -5*z + y = 25, -8 = -2*z - z - w*y for z.
-4
Let o be (-6)/((-12)/(-8) - 3). Solve 4*g - 8 = -a, a - 3*a + o*g = 20 for a.
-4
Suppose 2*k = -2*v - 142, -k + 2*k = -2*v - 143. Let z = -47 - v. Let i = -7 + z. Solve 5*p - i = -0*w - w, 0 = -5*p - 5*w + 30 for p.
3
Suppose -16*t = -12*t - 16. Solve -11 = r + 2*r - h, -t*h = -r for r.
-4
Let r be 12/10*((-2)/4 + 3). Solve 0 - 3 = -4*k + r*s, -2*k + 2*s = -2 for k.
0
Let z = 0 - -4. Suppose z*u = -0*u. Suppose 3*o = -2*k, u*o = k + o. Solve -2*v + 5*t - 5 + 11 = 0, -4*v - 5*t - 18 = k for v.
-2
Let d be 26/7 + 6/21. Suppose -2*v = -d*f - 2, -f + 3 = -2*f + v. Solve f*c - 7 = t - 2*t, 0 = 2*c - t - 5 for c.
3
Let d(j) = 8*j**2 - j + 1. Let o be d(1). Suppose 4*x + 5*f = 32, 31 = 2*x + 3*x + 4*f. Solve -5*q - o = 3*z, x*z + 4 = -0*z - 4*q for z.
4
Let b(o) be the first derivative of 4*o**3/3 + o**2/2 + 4. Let m be b(-1). Solve -m*r = -2*d - 7, 2*d - 1 + 7 = 4*r for d.
-5
Let g be -4 - 1/(-1)*1. Let p be ((-8)/2)/(g - -1). Suppose -2*u - 15 = -5*o - 3*u, -2*o + p*u = -6. Solve 3*t = 4*t - o*z + 14, 18 = -3*t + 3*z for t.
-2
Let l be -1*-2*(-3)/6. Let n(b) = 7*b**2 + 2*b + 1. Let o be n(l). Solve o*y = -3*v + 4*y + 14, 4*v - 2*y = 0 for v.
2
Suppose -s + 6*s = 3*p + 7, -9 = -3*s - 3*p. Solve 5*t = -4*c + 35, -2*t - 2*t = s*c - 22 for c.
5
Suppose 3*m = 7 + 2. Let s be 14/7 + -1 + m. Solve 0 = 4*f, 3*f = 4*d + s*f - 20 for d.
5
Let l be (-414)/10 - 15/25. Let b = l - -107. Suppose 0*q + 5*q = b. Solve 0 = -5*z + 2*f - q, -2*f = -2*z + f - 14 for z.
-1
Suppose -6 = k - 3*k. Suppose -3*i - k*u - 6 = 0, -2*i - 2*u + 4*u + 16 = 0. Solve 3 = -4*c + g, -g - 3 = i*c - 2*g for c.
0
Suppose 2*f + 4 = 20. Solve m - 2*t + f = 0, t + 1 = 4*m - 2 for m.
2
Suppose 0*k = -5*k + 20. Solve k*s = 0, 2*z + 3*s = -4 - 2 for z.
-3
Let t(c) = 10*c**2 - 2*c + 1. Let a be t(1). Let d(r) = r**2 - 9*r + 8. Let z be d(a). Solve -n - 2 = -2*x, 4*x + 0*n = -n - z for x.
-1
Suppose 3*c - 6 = 6. Let q = c - 2. Let m be (-1)/(((-20)/(-15))/(-4)). Solve q*w - 7*w - m = -2*p, -p + 9 = 5*w for p.
4
Suppose 4*l - 14 = 2. Suppose l*u = u. Solve 2*x + m = -3*m + 16, 2*x - 3*m + 5 = u for x.
2
Let r be 0/((-3)/(-6)*2). Suppose k + r*k = 0. Solve -d = -5*b - 8, b + 4 = -k*d + d for d.
3
Let k be (-1)/(0 - 2/22). Solve 5*d - k = -o, 6*o - o + 5*d + 5 = 0 for o.
-4
Let q(t) = 2*t**2 + 4*t + 3. Let y be q(-2). Let c = y - 3. Suppose c*w + 3*w = 21. Solve 12 = -3*z, -5*z - 13 = 4*r + w for r.
0
Let n(t) be the second derivative of -t**3/6 + 3*t**2/2 - t. Let m be n(4). Let k be 1*(1/m + 6). Solve -4*i - 10 - 6 = 4*h, -k*h + 16 = -4*i for h.
0
Let l(c) = -c + 6. Let x be l(2). Solve -d - 3 = 2*a + 7, 2*a + 22 = -x*d for a.
-3
Let d be 30/135 - (-86)/18. Suppose -d = -5*z + 4*z. Solve -3*m = m + z*y + 24, 0 = -y - 4 for m.
-1
Let k = 17 + -12. Solve j = -q + k, -2*q = -4*q - 4*j + 12 for q.
4
Let u be 0 - (-7 - -1 - -4). Let q = 1 + 0. Let g be 41/3 - q/(-3). Solve -3*b + g = 3*o - 4, -u*b = o - 9 for o.
3
Suppose 5*j = 2*j. Suppose 3*w - 2*b - 135 = j, -2*b + 175 + 5 = 4*w. Suppose 2*q + 3*q = w. Solve -3*l + k - q = 0, -3*k + 3 + 2 = 2*l for l.
-2
Let a be ((-20)/6)/((-28)/42). Solve a*h - 3*l = 6 + 10, 0 = -3*h - 4*l - 2 for h.
2
Suppose 0 = k - 3 - 4. Solve 0 = -x + 3*l + 7, 2*l = -x + 4*x - k for x.
1
Suppose -2*o = 5*h + 2, -5*o + 5*h + 17 = -13. Suppose -f + 22 = i, -o*f + 93 = -0*i - i. Solve 4*y = 5*g - f, 3*y - 5*g + 18 = -3 for y.
-2
Let a = 11 + -9. Solve 12 = -2*s + 2*g, 4*s - 3*s = a*g - 8 for s.
-4
Suppose -12 = 4*a - 4. Let o = a - -7. Solve 4*j + o*g - 4 = 2*g, -5*g = -3*j - 26 for j.
-2
Let i(u) = 2*u - 17. Let r be i(10). Solve -4*t - 3*w = t + 13, 2*w = -t + r for t.
-5
Let i be 18/12*2/(-3). Let v = i + 4. Solve 2*l - 3*z + 13 = 0, v*l + 0*z - z = -16 for l.
-5
Let h = -25 + 65. Suppose 0 = 4*w - 0*w - h. Solve 3*k = -k, 5*y + w = 4*k for y.
-2
Let p(g) = -g - 3. Let o be p(-5). Solve -6*s + 3*s + 16 = -c, -o*s = -5*c - 28 for s.
4
Let l = 57 - 34. Solve -3*a + 4*j + 31 = -8*a, -2*j = 5*a + l for a.
-3
Suppose 0*f = 5*f - 30. Let q(d) = d - 2. Let y be q(f). Solve w + y*w = -4*t + 32, -4*t + 8 = -w for w.
4
Suppose 69 = 4*r + 25. Suppose -2*y - y + 90 = 0. Solve 2*i + r = -3*u, 4*i = -5*u - y + 9 for u.
-1
Let o = -1 + -20. Let q be (-36)/o + (-2)/(-7). Let b be (-14)/(-2)*(-4)/(-7). Solve 0 = -p + 5*p + b*m + 4, 4*p + 3*m + q = 0 for p.
1
Suppose -5*n + 31 = -2*f, -2*n = -4*f + 1 - 23. Solve -3*b + 8 = -n*m, -2*b - 16 = 3*b - m for b.
-4
Let l(z) = 2*z**2 - 2*z + 1. Let w be l(2). Solve 5*a + g = 2*a + 7, w*g = -5*a + 15 for a.
2
Suppose 4 = -2*d + 8. Suppose -5*l + 18 = -3*f, 0 = 3*l - 0*l - 9. Let m be f/((1/5)/(-1)). Solve -5*c + 10 = -2*z - 0*c, d*c = -z - m for z.
-5
Suppose 36 = 6*l + 6. Solve 0 = -2*u - 2, -5*u - l = -0*o - 3*o for o.
0
Let d(w) = w**3 - 8*w**2. Let s be d(8). Suppose s = -4*f - f. Solve 4*i + 12 = 0, f = 4*l - i - 4 + 1 for l.
0
Suppose 11 = -g + 14. Solve g*v = 3*r - 21, -r - r + 2 = 4*v for v.
-2
Suppose -10 = 3*v - 25. Solve r - s = -4*s - v, 0 = -3*r - 4*s for r.
4
Let z be 3/(10 + -10 - 6/(-4)). Solve -c + 12 = z*u - 6*u, -2*c = 2*u + 16 for u.
-4
Let o be (7 - 10)/(1 + -2). Solve -3*q + 12 = -o*d, 5*d + 17 = 4*q - 0*q for d.
-1
Suppose -4*n - 1 = 5*a, 0*n + n - 4*a = 26. Let c be 4/(-1) + (-5 - -11). Solve k - p = c*p - 8, -n = k - p for k.
-5
Let m(h) = h + 18. Let k be m(-9). Solve -k = -q + 4*c, 0 = -3*q - 2*c + 14 - 1 for q.
5
Let z = 1 - 1. Let x(y) = -4*y**2 - y + 3. Let d be x(-2). Let u = -11 - d. Solve u*c + 2*c = -8, z