x(k) = k - 1. Let a be x(2). Let d be (-13)/130*10*-1. Solve a + d = 2*f for f.
1
Suppose -20 = -28*y + 23*y. Suppose 19 = -2*v - 3*p, 4*v + 19 = -5*p - 16. Let b = v - -10. Solve i - b = -y*i for i.
1
Let t(b) = 4*b**2 - 6*b + 2. Let k be t(3). Solve k - 19 = -q for q.
-1
Suppose 3*x - v - 2 = 0, 0 = -4*x + v - 3*v - 4. Let d(w) = -2*w**2 + 3*w + 4. Let l be d(3). Let o(z) = -4*z - 12. Let u be o(l). Solve x = -2*i + 2 - u for i.
-3
Let i = 0 - -2. Suppose 0*z = -i*z + 4. Let g = 3917 - 3914. Solve -g*o - 2 = -z*o for o.
-2
Suppose 5*k = -3*x + 17, 0 = x - 5*k + 1. Suppose 0*n - v - 6 = -2*n, 2*v = -x*n + 4. Solve n*d = -5 - 3 for d.
-4
Suppose -5*i + 72 + 78 = 0. Let m = i + -30. Solve u + u + 2 = m for u.
-1
Let g(n) = -3*n**3 - 19*n**2 + 12*n + 4. Let t(o) = o**3 + 9*o**2 - 6*o - 2. Let b(l) = -2*g(l) - 5*t(l). Let h be b(6). Solve 6 = -4*y - h for y.
-2
Let c = 142 - 100. Suppose -4*v + 58 + c = -3*r, 0 = -r. Solve 0*o = 5*o + v for o.
-5
Let i = 46 + -103. Let c = i - -59. Solve c*o - 4 = o for o.
4
Let c be (-8)/24 + 32/6. Suppose -h - 3*z - 2*z + 25 = 0, z - c = 3*h. Suppose h = -5*u - 21 + 76. Solve -5*g + 1 - u = 0 for g.
-2
Let v = 26 + -22. Let x(w) = -7 + v + 6*w - 8 - 3*w. Let m be x(5). Solve 10 = 2*i + m for i.
3
Suppose -3*a + 4*i = 2, 3*i - 2 = -4*a + 12. Let y(t) = -t**3 + 4*t**2 - 2. Let k be y(1). Let n be (-4)/(k - -1) + 2. Solve -6 = a*w - n for w.
-3
Let n(y) = -2*y**3 - 13*y**2 + 5*y + 12. Let k be n(-7). Solve k*o = 24*o for o.
0
Let o be ((-4)/10)/(14/(-70)). Solve 10*x + o = 8*x for x.
-1
Suppose 3*t = u + 26, 26 - 67 = -4*t - 5*u. Let o = 5 - t. Let i = o - -8. Solve i = a - 2*a for a.
-4
Let o be (-3 - -12)*(-8)/(-12). Let w be 3/(-9) - (-98)/o. Suppose 4*u = -0*u + w. Solve -l - u = -2*l for l.
4
Let x(o) = 3*o**2 - 12*o + 10. Let k be (-1 - -5)*(5 - 4). Let l be x(k). Solve 0 = -4*n - l - 6 for n.
-4
Let c be (-2)/(-8) + 158/8. Suppose g = -2*g + 42. Let v = c - g. Solve -v*h = -2*h for h.
0
Let s(c) = 24*c - 237. Let y be s(10). Solve -3 = 3*a + y for a.
-2
Suppose -3*h + 2*h = 0. Let u(t) be the second derivative of -t**3/6 + 3*t**2 + 5*t. Let a be u(3). Solve -15 = -h*f + a*f for f.
-5
Let f be -4 + (11 - (-8)/8). Solve 2 = -f*s - 14 for s.
-2
Suppose -31 = -8*i - 23. Solve g - 4 = i for g.
5
Suppose 19 = 2*j + 17. Let x be j - (-19 + 1 + 1). Solve 5*y - 3 + x = 0 for y.
-3
Let s(p) = 4*p**2 - 14*p - 60. Let o be s(6). Suppose 2*c + 1 = -1. Let t be (c - (-2)/6)*-3. Solve t + o = -w for w.
-2
Let p(d) = 21 + 18 + 0*d + 3*d - 13. Let c be p(-8). Let h be (0/(-1) - 0)/2. Solve h = a - c*a for a.
0
Suppose -m - 6 = -8. Let f be 0 - 0/(m - 0). Solve f = -5*s - 15 for s.
-3
Suppose -8 - 20 = -7*j. Solve q + j = -0 for q.
-4
Suppose 0 = z + 4*b - 26, -5*b + 4*b + 119 = 4*z. Let g be (-26)/(-8) - (-4 - (-102)/24). Suppose 9*j = g*j + z. Solve 3 = -n + j for n.
2
Let f be 2 + 0 + -4 + (-20)/(-5). Suppose -a = -2*m + 2, 3*a - 1 = -3*m + f*m. Solve -14 - m = 5*k for k.
-3
Let l = 196 - 195. Solve -w + l = -2*w for w.
-1
Suppose 4*u + 3 = 11. Solve u*a + 6 = 8*a for a.
1
Let h = 1021 + -1019. Solve 0 - h = 2*m for m.
-1
Let y(x) = -x**3 - x**2 - x + 8. Let l be y(0). Suppose 0 = -0*k - l*k + 16. Solve 0 = k*z - 6*z + 4 for z.
1
Suppose o + 11 + 10 = 0. Let w = o - -29. Solve h = -h - w for h.
-4
Let v(o) = -o + 8. Let p = 51 + -46. Let u be v(p). Solve -u*a - 4 = -a for a.
-2
Suppose -y = 3*y. Suppose -5*l - f = -y*f - 13, 2*l + 4*f = 16. Suppose 0 = -l*d + d + 20. Solve 0*h + 5*h = d for h.
4
Let a be 112*1 - (-2 - 0). Let s be 20/(-6)*a/(-95). Solve -8 + 20 = -s*d for d.
-3
Let j = -1 + 15. Suppose 30 - j = 4*d. Solve 0 = -3*g - 5 - d for g.
-3
Suppose 32*m = 29*m. Solve -3*d = -m*d for d.
0
Suppose 5*i = -2*l - 9, -3*l - 4*i + 5*i = -12. Let s be (1 - 1)/(2/1). Suppose -6*c + 3*c = s. Solve c = -l*u + 5*u - 8 for u.
4
Let j = 70 + -114. Let c = 48 + j. Solve -m + c = 3*m for m.
1
Let w(g) = 10*g**3 + g**2 + g. Let k be w(-1). Let d = k - -15. Suppose x - 2*i = 4, d*i - i + 8 = -2*x. Solve x = 4*q - 0*q + 8 for q.
-2
Suppose 5*c = -v + 4, 0 = -4*v + v - c - 2. Let b = v - -5. Let y(f) = f + 8. Let p be y(-6). Solve -2*q + b = -p for q.
3
Let g(k) be the second derivative of k**4/12 - k**3 + 3*k**2 - 13*k. Let t be g(6). Let v(r) = r**3 - 4*r**2 + 4. Let d be v(4). Solve x - t = d*x for x.
-2
Let g(m) = -3*m - 6. Let j be -1*(-5)/((-15)/(-9)). Suppose 0*v - 9 = j*v. Let h be g(v). Solve q = -h*q for q.
0
Let k(w) = -w**2 - 6*w + 1. Suppose -8 = 6*p + 22. Let m be k(p). Solve 0 = 4*n + 14 + m for n.
-5
Let x(r) = 2*r - 4. Suppose -4*v = -2*i + 16, -3*i + 8*i + 3*v - 14 = 0. Let m be x(i). Let l be (3/(-9)*0)/(-1). Solve -m*c - 16 = -l*c for c.
-4
Let u = -1711 - -1724. Solve -u*q + 15 = -10*q for q.
5
Let l be 5/(-10) - (-111)/6. Suppose 0 = 5*a - 5*k + 7 - 17, 2*a = -5*k + l. Suppose 40 = a*v - 2*v. Solve -5*c + 0*c = -v for c.
4
Let v be (-3 + (-48)/(-9))*3. Let s(q) = -7 - q + 16 - v. Let r be s(0). Solve r*w = 4*w for w.
0
Let i(l) = -l**2 - 3*l - 1. Let a be i(-1). Suppose 14 = 5*m - a. Let c = 9 + -2. Solve 8 = -m*j - c for j.
-5
Suppose 2*m + 0 - 4 = 0. Suppose 0*b = m*b - 2, -3*b = -2*f - 3. Let c = -13 - -17. Solve -s - c = -f for s.
-4
Let n(x) = x**2 + 29*x + 209. Let m be n(-10). Solve -3*p - m + 13 = 0 for p.
-2
Suppose 2*n + 12 = 2*b, 2*b + 4*n - 8 = -2. Suppose -2*d + 24 = 3*s - b*d, 0 = -3*s + 5*d + 30. Solve 2*h + 1 = -s for h.
-3
Let a(q) = -2*q**2 + 3*q**2 - 8 + 1 - 1. Let i be a(-3). Suppose -i = -v + 7. Solve 0 = 4*f + v for f.
-2
Let g = 394 - 394. Solve 5*x - 7*x - 8 = g for x.
-4
Let s(l) = 4 - 1 + 7*l - 2 - l**2. Let n be 7 + 3 + 15/(-5). Let a be s(n). Solve -3*g - 16 + a = 0 for g.
-5
Let q = 82 + -79. Suppose -3 = -q*x, 26 = 3*p - 6*x + 2*x. Solve p = -5*b - 15 for b.
-5
Let x(l) = 2*l**2 - 6*l + 3. Let z be x(4). Let v = -40 - -40. Let i be 3 - (-3 - -2) - v. Solve i + z = 3*t for t.
5
Let p(j) = j**3 + 4*j**2 - 13*j - 15. Let l be p(-6). Let u(g) = -g + 7. Let q be u(l). Solve 5*t - q = 9 for t.
5
Suppose 2*j - 9 = 3*d, -4*j - 2*d + 25 + 1 = 0. Solve -3*r = j + 9 for r.
-5
Let v = -4 + 7. Let y be 2*(-4 + 3) + -1. Let w be (-32)/(-20) + (39/(-15) - y). Solve -v*o = -w*o for o.
0
Suppose 4*d + g = 5*g + 44, d + 1 = -2*g. Solve 5 = 4*c - d for c.
3
Let w be (-4)/(-6)*1/(2/(-60)). Let d = w - -29. Solve -2*f = -5*f + d for f.
3
Let o(n) be the second derivative of n**5/20 + 5*n**4/12 - n**3 + 3*n**2 - 33*n. Let a be o(-6). Solve v = -a + 1 for v.
-5
Let c be (20/(-35))/(3/(-21)). Solve -h + 0*h - c = 0 for h.
-4
Let m = 24 + -24. Suppose 3*g = -12, -4*a - 2*g = g. Solve -j - 4 + a = m for j.
-1
Let a be (1 + -3)*(-3)/2. Let z(j) = -3*j**a + 12*j**2 + 4*j**3 - 2*j**3 + j - 10. Let y be z(12). Solve p = -y*p - 9 for p.
-3
Let n be (-3 - -2)/(2/(-4)). Suppose 1 = n*s + 15. Let w = -4 - s. Solve -w*q = -0*q - 6 for q.
2
Let i = -4 - -8. Let r be -93*(-1)/(-6)*2. Let c = 38 + r. Solve 3*d - i = c*d for d.
-1
Suppose 0*d = -2*d - 98. Let z = d + 53. Solve 0 = -o + z*o for o.
0
Suppose 0 = -5*q - 2*k + 29, 0 = -q - 3*q + 4*k + 12. Suppose 0 = -2*s + 51 + 99. Let x = s + -48. Solve q*i + 2 = x for i.
5
Let j(k) be the third derivative of 8*k**2 - 1/3*k**3 + 0*k + 5/24*k**4 + 0. Let c be j(1). Solve -2*v = c*v + 15 for v.
-3
Let a(l) = 3*l + 1. Suppose -3*q - 5 + 50 = 0. Suppose -2*f - 7 = -q. Let j be a(f). Solve -5*x + 3 = j for x.
-2
Suppose 0 = -3*t - 49 + 55. Solve -t*f = 2*f for f.
0
Let x(y) be the second derivative of -y**4/12 + 5*y**3/3 - y**2/2 - 12*y. Let u be x(9). Solve 2*t - u = -2 for t.
3
Let t(x) = x**3 - 13*x**2 - 3*x + 45. Let v be t(13). Suppose v = 85*w - 82*w. Solve d + w = 1 for d.
-1
Let i = -4 + 6. Suppose 3*a + q - 19 = -q, -i*q = 5*a - 25. Suppose 4*v + 7 = 3*m, 0 = 4*v + a + 1. Solve -z - m = -6 for z.
5
Let f = 0 + -41. Let m = f + 51. Solve 4*k = -k + m for k.
2
Suppose 5*t - 6*z + z - 55 = 0, -t - z = -5. Suppose 3*y + 3*w - 20 = w, 2*y - 4*w = -t. Let v be 5 - (2 + y/4). Solve -c + 2*c = -v for c.
-2
Let x be (-221)/(-34) + 5 + 6/4. Solve x*u = u + 36 for u.
3
Suppose 2*f - 21 = -3*q, 0 = -2*f - 2*q - 3*q + 15. Let n = -13 + f. Solve -n*t + 1 = 5 for t.
-2
Suppose -3*t + 4*p = -2*t + 50, 234 = -5*t + 4*p. Let c = -43 - t. Solve 0 = c*q - 6 - 6 for q.
4
Let x = 1066 