-o - 3*n = -7. Let k be -1*(-2 + 1 + o). Solve k = -7*r + 4*r + 3 for r.
1
Let k(r) = -r**3 + 10*r**2 + 10*r + 16. Let d(a) = -13*a - 2. Let s be d(-1). Let x be k(s). Solve 0*b - x = -b for b.
5
Let n = 36 + -35. Let g be -7*(-2*n + 0/3). Solve -3*l - 2 = -g for l.
4
Suppose v - 4*v + 9 = 0, -i = -2*v - 9. Let p(t) = 13*t - 49. Let u be p(4). Suppose -u*n - 5*z + 10 = 0, -3*z + 7 = n - 5*z. Solve -4*k + n + i = 0 for k.
5
Let f be -2*1*(-10 - -9). Suppose 4*t = -5*k + 52, 2 = -f*k - t + 21. Solve 5*s - 2 - k = 0 for s.
2
Suppose -22*z + 32 = -18*z. Suppose -8 = -z*p + 16. Solve p + 2 = d for d.
5
Let s(k) = 32*k + 230. Let l be s(-7). Solve 13 = l*o + 13 for o.
0
Suppose -3*b + 19 = -26. Suppose b - 3 = 4*c. Suppose 2 = 4*o - 6. Solve -o*f = c*f for f.
0
Let z be 576/84 - 1/(-7). Suppose 4*n = z + 1. Solve j + 3 = n for j.
-1
Suppose 0 = -5*o + 34 + 26. Let u = o + 4. Solve -u = -5*r + 9 for r.
5
Suppose -5*n + 47 + 63 = 0. Suppose v = 6*v - 115. Let m = v - n. Solve a - m = 2 for a.
3
Let i(u) be the first derivative of -1/3*u**3 - 5/2*u**2 + 4*u + 2. Let a be i(-5). Solve -3*p + 5 = -a*p for p.
-5
Let u = -10 + 10. Let r(k) = 4*k**2 + 39*k + 38. Let s be r(-1). Solve s*m + 0*m - 9 = u for m.
3
Let n = 4 + 8. Solve -n = -8*p + 12*p for p.
-3
Let c = 0 - 0. Let m = -54 - -56. Suppose 0 = -m*w - c*w. Solve 2*k - 3 + 13 = w for k.
-5
Let k be 2 + 0 + 1/1. Let x(j) = -8*j. Let w(i) = 7*i. Let f(y) = -7*w(y) - 6*x(y). Let s be f(-5). Solve s*a = -2 - k for a.
-1
Suppose -5*d = -0 - 35. Let l be 9/3 - 21/d. Suppose -6*a + 4 = -2*a. Solve l = -i - a - 4 for i.
-5
Let v = 0 + 0. Let z(b) = -b**3 - 21*b**2 - 109*b - 34. Let m be z(-8). Solve 2*u + m = -v*u for u.
-3
Let k = -24 + 30. Suppose 7*g - k*g = 2. Suppose g*c + 4*m = 16, -c + 2*m - 8 = -0*c. Solve c = t - 3 for t.
3
Let o(q) = q**3 + 7*q**2 + 6*q + 3. Let m be o(-6). Suppose 81*c - 1 = 80*c. Solve 0 = -2*x - c + m for x.
1
Let u be 3*(-4)/4*19. Let f = 60 + u. Solve b = -0*b + f for b.
3
Suppose -18*n + 197 = -91. Solve 2*l + n = 18 for l.
1
Let o = 30 + -30. Let b be (-6 - (-7 - -4)) + 5. Solve o = -b*s + 3 + 3 for s.
3
Suppose g - 6*g = -4*s + 16, 5*g - 3*s = -12. Solve -3*n + 2 + 7 = g for n.
3
Let t be (-4)/6 - 11/(-3). Let u(b) = -3*b + 2. Let g be u(0). Let m(j) = j**2 - j - 2. Let h be m(g). Solve 2*w - 1 + t = h for w.
-1
Let w(u) be the second derivative of -u**4/12 - 3*u**3/2 - u**2 + 6*u. Let d be w(-6). Let c be 4/d + (-22)/(-8). Solve -6*k + c*k = 12 for k.
-4
Suppose 0 = 2*m + 6, -2*p - 281 = -6*p - 5*m. Let y = p + -72. Solve -d + y = d for d.
1
Suppose -2*v - 12 = -3*t, -5*t - 6*v + 42 = -2*v. Suppose 0 = -2*q + t + 4. Solve -2*h = -q*h + 3 for h.
1
Let p be -3 + 9/(27/12). Let t be (0/11)/(p + -3). Solve t = d - 3*d for d.
0
Let c = -304 - -316. Solve 42 - c = 6*t for t.
5
Suppose -9*f - 3 = -10*f. Let k be 21 + f - (0 - (2 + -1)). Solve 6*q - q = -k for q.
-5
Let w(l) be the first derivative of l**3/3 - 5*l**2/2 + 11*l - 4. Let h be w(7). Solve 5*n - h + 0 = 0 for n.
5
Suppose 0 = -2*a - 0*a + 10, -2*y = -5*a - 17. Let i = y + -6. Solve -6*v + i = -v for v.
3
Let a(h) = -h**2 + 8*h + 41. Let q be a(11). Solve -8*o = q - 0 for o.
-1
Let b(l) = l**3 + 9*l**2 - 12*l - 15. Let c be b(-10). Let s(v) = -v**3 - v**2 + v + 5. Let j be s(0). Let a be (-3 + j - 0) + 1. Solve -2*g + c = -a*g for g.
-5
Let n(b) = -3*b - 7. Let v be n(-7). Let m = -11 + v. Suppose 0 = y + m*y - 2*i - 78, 2*i + 98 = 5*y. Solve 2*w + 2*w = y for w.
5
Let k(j) = j**3 - 4*j**2 - 10*j + 20. Let r be k(5). Let b(l) = -l + 3. Let d be b(r). Solve -u - u = -d for u.
4
Suppose -6 = -0*w + w. Let s(m) = m**2 + 4*m - 8. Let f be s(w). Suppose 2*r = f*r - 8. Solve -3*a + 4 = -r*a for a.
-4
Let y(b) = -b**2 + 5*b - 3. Let h be y(3). Let a be 2 - 0/(4/2). Suppose a*s = h*s. Solve -n = -s*n + 3 for n.
-3
Let o = 23 - 25. Suppose 2*v = -0*v - 2. Let j be v/o*(-5 + 9). Solve j*f = f - 4 for f.
-4
Let m = -10 - -10. Let k be (-2)/(-4) + 2/(8/14). Solve k*w + w = m for w.
0
Let r(k) = k + 7. Let g be 4/(-18) - 61/9. Let a be r(g). Let l(t) = 3*t**2 + 26*t + 16. Let f be l(-8). Solve -z + f*z = a for z.
0
Let w(c) = 3*c**2 + 3*c + 2. Let u(q) = q**3 - 12*q**2 + q - 13. Let b be u(12). Let i be w(b). Solve 3*v + 14 - i = 0 for v.
-4
Suppose 3*y = 5*j + 33, -3*j - 39 = y + 2*y. Let w(k) = -k**2 - 9*k - 3. Let n be w(j). Let i = 6 + n. Solve -2*u + 1 = -i*u for u.
-1
Let d = -449 - -458. Solve -d = -u - 7 for u.
2
Suppose -36*c + 52*c - 416 = 0. Solve 0 = c*i - 22*i - 8 for i.
2
Let j(q) = -q**2 - 2*q + 20. Let k be j(-5). Suppose 3*n - 4 = -f - 3, 3*n - k*f = 13. Solve 0 = 2*x + n + 1 for x.
-1
Let i(k) = -11*k**2 - k + 3. Let d be i(1). Let q be 4/(-6) - 33/d. Solve -7 = q*m - 1 for m.
-2
Suppose -15*h + 19*h = 0. Suppose 4*a - 16 + 0 = h. Solve -l = 3*l + a for l.
-1
Let g(s) = -s**3 - 7*s**2 - 8*s - 7. Let t be (8/(-6))/((-56)/72 + 1). Let l be g(t). Solve -3 = 2*f - l for f.
1
Let c(g) = 2*g + 20. Let z be c(-13). Let m = z - -6. Solve m = -3*y - y + 12 for y.
3
Let k = 5 + -5. Let p be 22/(-6)*-3 + -2. Let s be 3/(p/(-6)*-1). Solve 4*j + 2 + s = k for j.
-1
Let l(m) = -4*m - 15. Let s be l(-8). Let u = -14 + s. Suppose 4*b - 24 = 4*x + 12, b = u*x + 3. Solve 4 = -4*w + b for w.
2
Let a = -387 - -387. Solve 5*v + 2 - 27 = a for v.
5
Suppose h + 0*h = -3*d + 10, 10 = 4*h - 3*d. Suppose 3*v = -h*n + 42, -4*n + 45 = 3*v + n. Solve 0*f = -2*f - v for f.
-5
Let f(n) = 80*n - 159. Let k be f(2). Solve 8 = -9*b - k for b.
-1
Let k be (0*15/(-105))/1. Let f = 0 - -14. Suppose -5*d = f - 39. Solve -b - 2 + d = k for b.
3
Let w be -1 + 4/4*3. Suppose -w*j + 74 = 70. Solve -2*i - 2 = j for i.
-2
Let a = 683 + -678. Solve 16 = 3*g + a*g for g.
2
Let v = 25 - 15. Let x = v - 8. Suppose -18 = -3*q - 6*j + 3*j, x*j + 36 = 4*q. Solve -q*t = -4*t - 4 for t.
1
Suppose -5*b + 30 = l, 0 = -4*b + 2*b - 4*l + 30. Solve b*i = -34 + 14 for i.
-4
Suppose 0 = 31*g - 10*g - 735. Solve g*b = 37*b for b.
0
Let i = 31 + -31. Suppose 0 = b + 3*b - 16. Let x be (-2)/(-8) - (-23)/b. Solve i = -2*c - 2 + x for c.
2
Let f = 19 + -10. Let j = f + -5. Suppose -3*d - 2*d = -4*t + 10, -4*t = 2*d + j. Solve t = -6*z + z for z.
0
Suppose 15*q = -7*q. Solve -5*r + 9*r - 8 = q for r.
2
Suppose -2 + 0 = -g. Let d = 41 + -37. Let v be (3 - -3)/(6/d). Solve 18 - g = -v*q for q.
-4
Let m = 1406 - 1268. Solve -f = m - 140 for f.
2
Let s(t) = t**2 + 6*t + 5. Let f be s(-6). Let g(j) = -j**3 - 10*j**2 + 12*j + 13. Let q be g(-11). Suppose -i + q*i = 0. Solve -3*z + f*z + 6 = i for z.
-3
Let u be (2 - 1)*(-1300)/(-26). Solve -11*v = -v - u for v.
5
Let t = -39 - -59. Suppose -x = -6*x + t. Solve -2 = x*d + 2 for d.
-1
Let j = -39 - -62. Suppose 15 = -2*a + j. Solve 8 = -8*m + a*m for m.
-2
Let c(o) = -o**2 - 8*o + 5. Let m be c(-8). Let d = 17 - 15. Suppose -k + 2*p = -11, d = k - 2*p + 3*p. Solve -2*l + m = -k for l.
5
Let k(p) = p + 16. Let w be k(-8). Suppose w*s - s = 0. Solve s = 2*i - i for i.
0
Let q be 3 + ((-18)/8 - 123/164). Solve -2*v = -q*v for v.
0
Let b(r) = r - 16. Let m be b(10). Let n be (3 + -2 + -3)*m. Suppose 0 = 3*f - v - 14, 0*f = -3*f + 3*v + n. Solve 2*a - a = f for a.
5
Let y be 176/(-33)*2*(-3)/4. Solve 17*p = 19*p + y for p.
-4
Let l = 57 - 53. Suppose 2*u - 8 = 0, l*u - 4 = 5*p - p. Solve -p*z - 1 = 11 for z.
-4
Suppose -4*i - 12 = 2*d, 8*d - 3*d = 3*i - 4. Let a(z) = 4*z**2 - z - 2. Let q be a(d). Suppose j - q = -j. Solve 3*r + 2 = j for r.
2
Suppose 4*u = 0, 47 = 3*d + 2*u + 167. Let g be (-1)/6*2 + (-8036)/(-123). Let k = d + g. Solve 5*j + k = -0*j for j.
-5
Suppose -2*u = 2*w - 48, w - 132 = -4*u - 48. Solve 12*b - 7*b = -u for b.
-4
Suppose 2*h + 0 + 34 = b, 3*h + 2*b = -44. Let x be 4/h - (-51)/12. Solve -4 = 2*k - x*k for k.
2
Let b(m) = m**3 - 14*m**2 + 13*m + 2. Let x be (-159)/(-12) + 2/8*-1. Let q be b(x). Solve -q*n = -3 + 5 for n.
-1
Let j be 3/6 + (21/(-2))/(-3). Let b = 6 - j. Solve 0 = -b*l + 4*l + 8 for l.
-4
Suppose 0 = -2*d + 5*u, -3*d + 0*u = -2*u. Suppose -2*b + 7 - 1 = d. Let k be (9 + 6)*1/b. Solve 2*g = k*g for g.
0
Let u(h) = -h**2 - 5*h - 2. Let a be u(-4). Suppose -2*l - 3*x - 32 = -l, 4*l + 146 = -3*x. Let n be (-12)/(-42) + l/(-14). Solve -5*w = -a*w - n for w.
1
Suppose z - 5 - 3 = 0. Let h(k) = -k**2 + 9*k