r v.
-2
Let i(h) = -2*h + 20. Let x be i(8). Suppose -5*r + 2 = 4*a - 2*a, -3*r - a + 2 = 0. Solve -2 - x = r*s for s.
-3
Let j(v) = -v**3 - 4*v**2 + 4*v - 4. Let s be j(-5). Suppose s - 4 = -y. Let l be (4/(-6))/(2/(-18)). Solve y*o = l*o for o.
0
Let r = -94 - -100. Solve 3*b + 0 = -r for b.
-2
Let n be 2/(-8)*(4 - 0). Let r be 1 + n*(0 + -2). Suppose 0 = r*b - 0*b - 39. Solve 3 = -5*k + b for k.
2
Let n = 0 + 3. Suppose -4*c = -n*l - 2, 5*c + 3*l = 9 + 7. Solve -2*r - 12 = c*r for r.
-3
Suppose -5*y - 6 = -5*d + 14, -6 = 3*d + 3*y. Let p be (-4 + 6)*2*(-2)/(-2). Solve 15 = -p*m - d for m.
-4
Let j be ((-5)/15)/(1/(-3)). Solve -3 + j = 2*h for h.
-1
Let p = -9 - -24. Suppose 5*y = 5*h - 3*h - 27, h - 3*y - p = 0. Let z be (-3)/((-4)/(64/h)). Solve z = -o - o for o.
-4
Let z = -31 + 31. Solve 3*p + 2 - 5 = z for p.
1
Let h = 3 + 1. Let t = h + -4. Suppose 4*r - 3*g + 9 = t, 0 = -4*r + 3*r - 4*g + 12. Solve -3*x = -r*x for x.
0
Suppose 5*z = 16*z - 9*z. Solve z = -0*w + 2*w - 10 for w.
5
Let v be (-6)/8 + (-14)/(-8). Solve x + v = -0 for x.
-1
Let i be ((-5)/(-3))/((-3)/9). Let f(t) be the first derivative of -t**2/2 - 2*t + 2. Let u be f(i). Solve -4*z + 1 = -u for z.
1
Let p = -30 - -33. Solve 0 = 3*t - p + 15 for t.
-4
Let p be 3/(-12) + (-18)/(-8). Let n(v) = -v**2. Let y be n(0). Suppose y*b = b. Solve p*s = -b*s for s.
0
Suppose 5*q + 20 = 0, 2*u + 3*q - 4*q = 10. Solve -u = -5*p + 22 for p.
5
Let k(s) = -8*s**3 - s - 1. Let t be k(-1). Solve 0 = -t*u + 13*u - 5 for u.
1
Let i(a) = 3*a. Suppose 3*g = -g + 4. Let x be i(g). Solve -x*p = 7 + 2 for p.
-3
Let y be 0/(0 + (-2)/1). Let a be 0 + 5 + (-1 - y). Let n = -10 - -35. Solve w = -a*w - n for w.
-5
Suppose 22 = -4*s + 34. Solve 0 = -s*q + 5*q - 8 for q.
4
Let b(c) be the third derivative of c**4/8 + c**3/2 + c**2. Let f be (-2)/(-8) - 33/(-12). Let s be b(f). Solve -s = -0*x + 4*x for x.
-3
Let b(m) = 2*m + 16. Let x be b(-7). Solve -4*a - x = -10 for a.
2
Let i be -7*(15/7 + -3). Solve -w + i = 2 for w.
4
Let h = -1 - 1. Let v be (0 - h) + (-4)/2. Let u be (3/(-1))/((-14)/14). Solve -u*p + v*p = 0 for p.
0
Let y be -1 + 2 - (-18 + 17). Solve -2 = -h + y for h.
4
Suppose -5*d + 23 = 3. Solve -3*k + d*k + 2 = 0 for k.
-2
Let g = 4 - 4. Suppose -2*w + 4*w - 8 = 2*d, g = 2*w + 3*d - 18. Suppose -5*v = k - 5, -k - 4 = -v + 3. Solve -v*q - w = -4*q for q.
3
Let f(k) be the second derivative of k**4/12 + k**3/6 - k**2 - 3*k. Let y be f(-3). Solve -y - 2 = -2*q for q.
3
Suppose 0 = p - 1, -10 = -4*s + 5*p + 9. Solve -4*t = -7*t + s for t.
2
Suppose 4*p - 3*p + 4 = 0. Let g(v) = -v**3 - 4*v**2 - 6*v - 4. Let w be g(p). Solve 3*i + w = -i for i.
-5
Suppose 0 = -3*c + 4*d + 321 - 3, -405 = -4*c - d. Suppose -c = -5*n - 2*t, 4*n + 16 - 93 = 3*t. Solve 5*s + 0*s = -n for s.
-4
Suppose 0 = -4*k - 3*t + 33, -k - 29 = -3*k + t. Suppose -2*v = -4*p - 33 - 15, 0 = -3*v + 2*p + 64. Let a be 1/(3 - v/8). Solve -a*n - n = k for n.
-4
Let a(o) = 3*o - 2*o + 0 - 1. Let w be a(5). Solve 0*n = -w*n - 4 for n.
-1
Suppose 2*j - j = -36. Let d be (-21)/(j/8 - -3). Solve -4 + d = 5*h for h.
2
Suppose -2*o = -0*o + 4*m - 6, o + 5*m = 0. Suppose 4*s + 14 = -o*c - 11, 4*c - s = 1. Let x = 2 - c. Solve -2*t - x*t + 20 = 0 for t.
4
Suppose 3*q + 15 = -3*i, 2*i - 5*q = -0*i + 25. Suppose -2 = -o + 4*h, 0*o - 2*h = 2*o - 4. Let r = o + -2. Solve -3*p + i*p + 3 = r for p.
1
Let k be -3*(1 + -7)/2. Let j = k + -6. Solve 5*g - 4 = j*g for g.
2
Let f be (6*1/(-4))/(3/(-6)). Solve -f*l = l for l.
0
Let p = -8 - -7. Let x be p/(-2 + 14/8). Solve x*u + 4 = -0 for u.
-1
Let x be 16/10*(-10)/(-4). Solve -x*o + 2*o = 8 for o.
-4
Let z be 100/36 + (-2)/(-9). Suppose -d = -z*d. Solve 0*n + n + 5 = d for n.
-5
Let t be 33/(-6) + 1/2. Let x = t - -6. Solve -3*y + 10 - x = 0 for y.
3
Let i = -52 + 54. Solve i*k - 4 = 6 for k.
5
Let w(b) = b**2 + b - 4. Let c be w(-3). Solve -c*g + 7*g - 15 = 0 for g.
3
Suppose p + p - 4 = 0. Let h = 0 + 4. Suppose -h*j + 13 = -35. Solve p*k - 6*k = j for k.
-3
Suppose 0 = -2*q + 5 - 5. Solve -7*s + 3*s - 20 = q for s.
-5
Let k = -1 - -3. Suppose -4*p - 36 = -5*w, -k*w - 2*p + 4*p + 16 = 0. Let d(c) = -c**2 - 8*c - 5. Let s be d(-7). Solve s*q + 0 = -w for q.
-2
Suppose -4*a + 150 = -10. Let v = -14 - -29. Let x = a - v. Solve 2*k + 3*k = -x for k.
-5
Suppose 4 - 20 = -s + 3*f, -4*s - 2*f = -22. Suppose 3*w = 5 + s. Solve -w*l - 3 = 13 for l.
-4
Let k = -4 + 13. Let b = k + -6. Solve -b*q + 15 = -8*q for q.
-3
Let a be (0 - 0)/(5 + -3). Let x be (9 - 3)*(-10)/(-4). Solve 2*m + 3*m - x = a for m.
3
Let x be (-2 + -3)*(-6)/(-15). Let l be -5*2/x + 1. Let w be ((-8)/l)/((-5)/15). Solve -w*q = q + 15 for q.
-3
Let n = 0 - -1. Let u be (-26)/(-6) + n/(-3). Suppose 2*r - 5 = 3. Solve 0 = 5*a - r*a + u for a.
-4
Suppose 7*t = t + t. Solve t*o - 2*o - 6 = 0 for o.
-3
Suppose -3*t + 6 = -u - 11, 2*t = -4*u - 12. Suppose 0 = t*b + 4*n - 48, 3 - 9 = -3*n. Solve 5 = 3*m - b for m.
5
Suppose 5*c = w + 21, 16 + 4 = 5*w. Suppose c*d + 3 = 28. Suppose -d*i = -i - 16. Solve -z - i = -5 for z.
1
Let s(u) = -u**3 + 6*u**2 - 9*u + 6. Let j be s(4). Solve -3*t + j = -t for t.
1
Let c = 4 - 0. Solve 5 = -9*v + c*v for v.
-1
Let f be 52/6 - (-28)/(-42). Solve 4*g = 8 + f for g.
4
Let c be 3 - (-1 - -1*2/(-2)). Solve -4*q + 2 = -c*q for q.
-2
Suppose 1 = 2*r - 7. Solve l + 1 = -r for l.
-5
Suppose 2*b - q - 5 = 0, 3*b + 2*q - 7 = 4*q. Solve -1 = 2*m - b for m.
1
Let u(i) = -2*i - i - 6 + 2*i + 8. Let d be u(0). Let b be ((-5)/(-10))/(1/d). Solve -21 = 5*v - b for v.
-4
Suppose -4*b - 4*p - 8 = 0, 2 + 8 = -5*p. Let z be (-3)/((-6)/(-5))*-2. Solve -z*x + b*x - 25 = 0 for x.
-5
Let l(f) = -5*f - 24. Let k be l(-8). Solve k = 3*p + p for p.
4
Let g = -4 - -20. Solve -4 - g = -5*b for b.
4
Let a = 133 + -131. Solve -8 = -a*t + 2 for t.
5
Let m = 13 - 8. Suppose -15 = 5*y - w, -m*y - 7 = 4*w - 17. Let b = -2 - y. Solve -2*v = -b*v for v.
0
Let t be (-3)/(-2) - 126/(-28). Suppose -b = -t*b + 15. Solve -5 - 1 = b*r for r.
-2
Let z be (4/(-8) + 1)*0. Solve z = y - 3*y - 10 for y.
-5
Let h be ((1 - 1)/3)/(-2). Suppose 4*k - 2 - 6 = 0. Let v(d) = d**3 - d**2 + d - 2. Let a be v(k). Solve -a*i + 12 = -h*i for i.
3
Suppose d = 2 + 1. Solve d*f - 8 = 7 for f.
5
Let v = -2 + 4. Suppose -3*n + 5*w - 5 = -4*n, 0 = 5*n + 5*w - 25. Suppose n*o - 13 - 17 = 0. Solve -v*d + 4 = -o for d.
5
Suppose 3*y = 3 + 6. Let r(w) = 4*w. Let h be r(1). Suppose 5*q = 4*s + 2, q + 5 = h*s - 1. Solve y*c - q = 5*c for c.
-1
Let x(o) be the second derivative of -o**5/20 + o**4/4 + o**3/6 + 3*o**2/2 + 5*o. Let v be x(3). Solve k = -2 + v for k.
4
Let p = -59 + 59. Solve p = -2*y + 6 + 4 for y.
5
Let w(z) = -z**2 + 3*z - 2. Let l be w(2). Suppose b = 3*i, 5*b + 3*i - 10 - 8 = 0. Solve 3*y + b = -l*y for y.
-1
Let d = 0 - -2. Suppose -2*l = -5*c + 21, -d*c - l = c - 17. Solve c = 4*i - 3*i for i.
5
Suppose 0*l = -x + l - 10, -3*x - l = 18. Let k = -4 - x. Suppose -k*g = -4*g. Solve g = -z - z for z.
0
Suppose 5*h - 37 = 8. Solve 0 = -k + h - 4 for k.
5
Let u be (-4)/(-1) + (8 - 5). Let z be 2/u + 6/(-21). Solve z = -3*g - 0*g for g.
0
Let g = -6 - -18. Solve -5*j + 2*j = -g for j.
4
Suppose -o = 2*k + o + 8, -5*o = 2*k + 20. Solve k = -0*d + d + 4 for d.
-4
Suppose 4*j + 12 - 56 = 0. Solve 0 = 4*c + 1 + j for c.
-3
Let w be 1 - 39/(-18) - (-8)/(-48). Solve -6*o + w = -3 for o.
1
Let k be (60/21 - -1) + 7/49. Solve k*t + 11 + 1 = 0 for t.
-3
Suppose 3*r - 9 = 3*j, 4*j - 3*j + 3 = 5*r. Solve r = -0*f + f - 2 for f.
2
Let k be 261/15 + (-2)/5. Suppose -3*r + k + 10 = 0. Suppose -2*o + h + r = 0, -15 = -3*o + h + h. Solve -8*d = -o*d + 5 for d.
-1
Suppose -4*j = 19 - 51. Solve -7*u = -j*u for u.
0
Suppose 0 = 4*k + k. Solve 8*o - 3*o + 5 = k for o.
-1
Let q(o) = o**2 + 2*o - 2. Let n be q(-4). Solve 5*g + n = -19 for g.
-5
Suppose -c + 15 = 2*c. Suppose -i - d = -2*i + 4, -2*i - 20 = c*d. Solve i = 2*q - 0*q + 4 for q.
-2
Let t(o) = 4*o**3 - o. Let m be t(1). Solve -2*w = -7 + m for w.
2
Suppose 4*x = 5*x - 3. Suppose 2*u - 3 = -x*z, -4*u + 4*z - 2 = 22. Let j = 14 + u. Solve -4*n = 9 + j for n.
-5
Let z(a) be the second derivative of -a**3/3 + 5*a**2/2 + 4*a. Let g be z(0). Solve -7 = g*c - 2 for c.
-1
Suppose 3*h + 2*h - 25 = 0. Let z = 8 - h. Solve -5*p - 6 = -z*