10)/4)/(c/i). Solve -m + 2*m - s = 0 for m.
5
Let x be 6 + -3 + 4 + -4. Suppose -5*v = -4*g - 5, g - 15 = -x*g + v. Solve g*u - 10 = -0 for u.
2
Let v be (16/(-12))/(2/(-18)). Let y(x) be the second derivative of -x**4/12 + 2*x**3 + 2*x. Let k be y(v). Solve -5*l + 5 = -k*l for l.
1
Let i(q) = -11*q + 9. Let g be i(-3). Suppose -3*c - 3*k + 8 + 28 = 0, 4*k = 5*c - g. Solve -2*h = -4*h + c for h.
5
Let b be (-8)/14*14/(-4). Suppose 4*r + 255 = 5*x + 42, -3*x - 2*r = -119. Let l = x + -37. Solve l*g + 14 = -b for g.
-4
Let s be (3/1 - -12)/(6/4). Solve -s = 12*c - 7*c for c.
-2
Let u be (-48)/(-9)*(-495)/(-220). Solve -u = -8*x + 4*x for x.
3
Let x = -1044 + 1044. Solve -b - 13 + 16 = x for b.
3
Let w = -1 + -2. Let t be (-2 - w/3)*2. Let f be 1/t*6/(-3). Solve -f = -d - 3 for d.
-2
Suppose 0 = -7*o + o + 156. Solve -5*f = o - 6 for f.
-4
Suppose 5*p = -11 + 1. Let u be (p + 3)*(-80)/(-2). Suppose 5*k = 5*z + u, 0 = -0*k - 4*k - 4*z. Solve -k*t - 13 = -5 for t.
-2
Let w(q) be the third derivative of -q**4/24 + 11*q**3/3 - 20*q**2. Let j be w(17). Solve 11 + j = -4*r for r.
-4
Let t = -211 + 211. Solve 0 = 2*d - t*d for d.
0
Suppose -5*c = -25, 5*q = -2*c + c - 85. Let n be ((-1)/(3 - 0))/(2/q). Solve 4 = -f + n for f.
-1
Suppose -2*g = 8, 0*g - g = -j + 9. Solve s + 3 = j for s.
2
Let r = 380 - 378. Solve 0 = 2*p + 6 + r for p.
-4
Let b be ((-288)/(-128))/((-6)/(-32)) - 7. Solve -34 = -b*m - 12*m for m.
2
Let v = 4 + -2. Let i(t) = 2 - 1 - 3 + 3*t. Let z be i(v). Solve 3*k + z - 1 = 0 for k.
-1
Suppose 18 = 4*y + 6. Solve -1 = -y*m + 8 for m.
3
Let r be (-3)/5 - 84/(-15). Suppose z - l + 1 = 0, 2*z - 18 = -3*l + 5. Suppose 0 = -w + b - r*b + 6, z*w - 24 = b. Solve 12 = -w*i + 3*i for i.
-4
Suppose -23*g = -61*g - 1026. Suppose 2*v - 4*v - 62 = 0. Let c = g - v. Solve -4*x + 0 = -c for x.
1
Let l be (3 + -20 - 1)/(-2). Suppose b - 11 = -l. Suppose -b*d + 6 = 2. Solve -10 + 2 = -d*o for o.
4
Suppose -k = 2, o + 4*k + 0 = -4. Suppose -o*c = -9*c - 5*g + 20, 2*c - 9 = -g. Solve c*v = 4*v for v.
0
Suppose -8 + 4 = -2*j. Let h(z) = -z + 0*z + 14 + j*z + 1. Let b be h(-12). Solve 0 = -b*p - 0*p - 3 for p.
-1
Let q(y) = 101*y + 204. Let i be q(-2). Solve 0 = 8*c - 6*c - i for c.
1
Let c(g) be the second derivative of -g**4/12 + g**3 + 13*g**2/2 + 27*g. Let z be c(7). Solve -2*n + 2 = -z for n.
4
Let d be (-1328)/112 + (-1)/7. Let n be (-88)/d*6/2. Solve 3 = 5*o - n for o.
5
Let d be (0 + 31)*(4 + -2). Let g = d - 52. Solve -3*o + 2 = -g for o.
4
Let r(s) = 5*s**2 - 2*s - 1 + 0 + 0*s. Suppose -62 = 7*z - 55. Let h be r(z). Solve -15 = -h*o + o for o.
3
Let g(o) = -5*o**2 - 3*o + 2. Let q be g(1). Let k be q/4 - 261/(-6). Let t be k/(-28)*(-4)/3. Solve 0 + t = 2*c for c.
1
Suppose 0 = 88*n - 83*n. Solve n = d + d + 6 for d.
-3
Suppose 103*l - 112*l = -27. Solve l*g + 5 = 4*g for g.
5
Suppose -g = 5*v, -4*g - 2*v = -0*g. Let b = -966 + 966. Solve g = -b*w - w for w.
0
Suppose -4*v = 13*v. Solve v = 6*m - 30 for m.
5
Suppose -46*v - 10 = -51*v. Solve -3*o - 4 = -v*o for o.
-4
Let t = -411 - -431. Solve 16*b - 21*b = t for b.
-4
Let b = -19627 + 19629. Suppose f = -5*x + 7, x = 4*f + 15 - 1. Solve -b = -j + x for j.
4
Let p be (-90)/(-4)*(-208)/(-65). Let a = 74 - p. Solve -r = -a*r for r.
0
Suppose -4*w + 15 = -13. Solve w*v = 12 + 2 for v.
2
Suppose 69 = 2*v - 5*f, 4*v - 7*v - f + 95 = 0. Solve -44 = -4*k - v for k.
3
Let p be (8 - 10)*5*(-3 + 2). Solve -4*f + p = -2 for f.
3
Let y be (-7 + 8 - -9)/5. Suppose r + 38 = 4*b - 2*r, 0 = r + 2. Suppose -2*u = 5*v - 10, 2*u + 5*v = 4*u + 10. Solve u = -y*h - b for h.
-4
Suppose -3*p - 5*n + 31 = 0, n + 0*n = 5. Solve p = -5*u - 23 for u.
-5
Let s(x) = 1 - x + 10 - 3 + 2. Let p be s(9). Suppose d + 7 = 5*l - 6, -2*d - 5 = -3*l. Solve -p = -l*f + 5 for f.
2
Let i(p) = 3*p**2 + 10*p - 2. Let j be i(2). Solve -o = 5*o + j for o.
-5
Suppose 0 = t + 2*s - 13, -t = 4*s - 84 + 63. Solve 0 = 7*b - t - 2 for b.
1
Suppose -9 = -j - 6. Let u be (3/2 + 1)*2. Suppose k - u = -j. Solve -k*l = l for l.
0
Suppose -11 = l + 5*h, 4*l - 56 = -0*h + 5*h. Let v be -1*(1 - 2/2). Solve v = 5*n - l*n + 8 for n.
2
Let q(l) = l**3 - 6*l**2 + 4. Let u(s) = -3*s + 1. Let k be u(-1). Suppose -18 = -k*h + h. Let i be q(h). Solve 7 - 3 = -i*x for x.
-1
Let l(r) = r**2 - 11*r + 13. Let y be l(10). Suppose -3*t + 11 = -2*t + y*i, 5*i = 10. Solve -t = 2*d - 3*d for d.
5
Let u(z) = -2*z**3 - 3*z**2 - 6*z - 3. Let i be u(-4). Suppose 49 = 6*l - i. Solve -5 = -4*a - l for a.
-5
Suppose 43 = 14*z + 1. Solve z*t - 9 - 6 = 0 for t.
5
Let j be (-80)/(-32)*16/10. Suppose 4*s - 14 = -3*l, -j*l = 3*s - 3 - 11. Solve -l*w + 25 = -7*w for w.
-5
Suppose 0 = a - 2*q - 26, -5*q + 37 = 4*a - 2. Suppose -2*v - 3*s = -4*s - 8, -4*s = -4*v + a. Solve z - 2*z = v for z.
-4
Suppose -61 = 3*d - 2*u, d = 3*u - 0*u - 18. Let p = -21 - d. Solve 0 = -p*y + y + 3 for y.
-3
Suppose 4*h = d + 46, -2*h + 29 = d + 9. Solve -h*m = -15*m for m.
0
Let r = -501 + 501. Solve r*x = 5*x - 20 for x.
4
Let p = 35 - 35. Solve 6*r = -p*r for r.
0
Let w = 82 - 77. Suppose w*m + 3*d - 18 = 2*d, 3*m = 2*d + 16. Suppose -j + 13 = -2*f, -2*j + 33 = 3*f - 0*f. Solve m*o = o + j for o.
5
Let p be 26/(-65) + (-104)/(-10). Solve 2*s - p = -0*s for s.
5
Suppose 3*q + 1699 = 1738. Solve 11 = -q*t - 28 for t.
-3
Suppose 9 - 1 = 2*a. Suppose 2*l + 4 = 0, a*u + u + 2 = -l. Suppose u = -5*j + 11 + 4. Solve 16 = -b - j*b for b.
-4
Let m be (-202)/404*(0 + 0). Solve -10 + m = -2*o for o.
5
Let f = -1855 + 1857. Solve -13*g = f - 41 for g.
3
Let t be -18*(-2)/(-6)*-2. Let x(f) = f**2 - 11*f - 5. Let z be x(8). Let a = z + 29. Solve t = -a*c - 4*c for c.
-3
Suppose 8*v - 10*v = -10. Suppose 12*i - 10 = 10*i. Solve -v*s = -10 - i for s.
3
Let o(g) = g**3 - 12*g**2 - 12*g - 13. Let b be o(13). Suppose b = 3*a + 6*a - 2*a. Solve 3 + a = 3*x for x.
1
Let q(r) = 25*r + 102. Let s be q(-4). Solve -8*o = s + 30 for o.
-4
Suppose 4*m - 300 = -21*m. Solve m*d = 14*d - 8 for d.
4
Suppose -22 - 139 = -23*p. Solve p*h = -4*h for h.
0
Suppose 0 = 4*l - 0*l + 3*h - 17, 0 = 5*h + 5. Let q be (3 - 15/l) + -1 + 1. Solve q*b - 5*b + 5 = 0 for b.
1
Let z be 2/((-1)/(35/(-14))). Solve 8*l - z = 3 for l.
1
Let o(f) = f**2 - 4*f + 1. Let p(r) = 19*r**2 - r + 2. Let v be p(1). Let k be v/(-6)*(-3)/2. Let h be o(k). Solve h = -4*i + 26 for i.
5
Let l(g) = 77*g - 5078. Let r be l(66). Let q be (-3)/(-2)*8/6. Solve t + q = r for t.
2
Suppose 6*f - 36 = -12. Let b be 32/5 + f/(-10). Let r = -1 + b. Solve -4*u - r = 3 for u.
-2
Suppose 0 = 13*a + 22 - 87. Suppose 0*x = 3*x. Suppose -a*d + x = -10. Solve -f + 9 = d*f for f.
3
Suppose 3*h = 2*h + 12. Let q be ((-2)/(-3))/(2/18). Suppose -5*k = -21 + q. Solve 0 - h = -k*l for l.
4
Suppose -2*b - 72 = -3*l, 6*l + 4*b = 2*l + 96. Suppose -7*o + 4 = -l. Solve -h - o - 1 = 0 for h.
-5
Let k be -1 - -2 - (-3 + -6). Suppose 5*u = k*u. Solve u*z = -2*z - 2 for z.
-1
Suppose -3*k = -2*w - 4*k + 41, 3*w - 3*k - 57 = 0. Solve 2*q - w = -2*q for q.
5
Suppose -4*y + 5*t = -124, -5*t = -2*y + 4*y - 92. Suppose -10*o = 2*o - y. Solve -o*c - c = 12 for c.
-3
Let o(r) = r**3 + 4*r**2 - 7*r - 6. Let a be o(-5). Suppose -5*v + a = -11. Suppose 3*g - 18 = g. Solve -3 = v*d + g for d.
-4
Let f(x) be the third derivative of -x**6/120 - 17*x**5/60 - 5*x**4/8 + 3*x**3 + 2*x**2. Let s be f(-16). Solve s*b = 9 + 1 for b.
5
Let h(t) = 15*t + 425. Let d be h(-28). Let k be (0 + -2)/(-6)*15. Suppose 4*z = -d*x - 0*x - 12, 3*x + 15 = -k*z. Solve c = -x*c for c.
0
Suppose -24 = -5*r + r. Let k = -41 - -41. Solve 0 = -k*n - 2*n - r for n.
-3
Suppose -4*z - 4*m = -7*z + 36, 2*m = z - 14. Solve -z = -6*j - 2 for j.
1
Let b(r) = 58 + 3*r - 57 - 2*r. Let t(c) = c**2 + 10*c - 24. Let x be t(-12). Let u be b(x). Solve 3 = -m - u for m.
-4
Suppose -4*r - 4*y = -20, 3*y + 3 - 19 = -4*r. Solve -7 = -3*h - r for h.
2
Let m be (-15)/(-10)*(-8)/(-3). Let n = 781 + -781. Solve 2*j = -n*j + m for j.
2
Suppose -b + 12 = b. Let x be b/(-12) + 2/(-4). Let u(a) = -3*a - 1. Let s be u(x). Solve 2*q + 0 = s for q.
1
Let m = 77 + -75. Suppose m = 2*b + 5*l - 25, 2*b - 4*l = 0. Solve 0 = -2*c + b*c + 20 for c.
-5
Let i be -5 + -4 + 5 + 6. Solve -i*f + 9 = 7*f for f.
1
Let y(b) = -b**2 - 66*b - 409. Let a be y(-59). Solve 11 = -a*s - 