 a.
2
Let s be (-164)/(-28) + 1/7 + -1. Solve 0 = s*m - 20 + 5 for m.
3
Let w = 15 + -10. Suppose -2*c = -2*b + b - 5, 19 = w*b + c. Solve -b = 2*t + 1 for t.
-2
Let y(f) = f**3 + 7*f**2 + 8*f - 2. Let c be y(-6). Let i = 14 + c. Solve i*h = -3*h for h.
0
Let v be (8 - 7)*1*5. Suppose -24 = -v*m + m. Solve 16 = 2*b + m for b.
5
Let t(u) = u**3 - u + 2. Suppose 0 = w, 0 = -c + w + 3*w. Let p be t(c). Solve -p = o + 1 for o.
-3
Let s(p) = -p - 1. Let w be s(-4). Solve 3*k = -0*k - w for k.
-1
Let h(a) = -a**2 + 5*a - 3. Let t be h(3). Let z be (2/t)/((-4)/(-12)). Solve 0*w = -z*w for w.
0
Let j = -20 - -28. Suppose -2*z + j + 8 = 0. Solve 3*h - h - z = 0 for h.
4
Let g be (30/(-75))/((-2)/10*1). Solve 0 = g*o - o for o.
0
Let q be ((-1)/2)/((-2)/16). Suppose -5 = -q*p - p. Solve -p = n + 2 for n.
-3
Let y(f) = f + f**2 + 3*f - 4*f - f - 2. Let a be y(-2). Solve -a*l = -2*l - 4 for l.
2
Let v be (15/(-20))/(2/(-8)). Suppose -2*a = v*a - 10. Solve 6 = a*n + 2 for n.
2
Let w(r) be the second derivative of -r**5/20 + r**4/3 - r**3/2 + 2*r. Let n be w(3). Suppose n = -t - 0*t + 3. Solve t*u + 12 = 7*u for u.
3
Let s be -1 - (-9)/3 - -1. Let u = s + -6. Let n(i) = -5*i - 3. Let t be n(u). Solve 5*j = j + t for j.
3
Let h(g) = -1 + 1 + g - 2. Let o = 2 + 2. Let l be h(o). Solve w = l*w for w.
0
Let m(h) = -h**3 + 8*h**2 - 6*h - 4. Let z be m(7). Suppose 12 = 3*a + z. Solve 5 = -a*s - 2*s for s.
-1
Let a = 15 - 13. Suppose -5*n = a*d - 4*d + 60, 2 = -n. Solve d = -3*m - 2*m for m.
-5
Let u be 54/2 - (-5 - -3). Suppose -5*f + 73 = x, -4*f + 4*x + u + 15 = 0. Let a be (2 - f)/(-3) - 0. Solve -o - o = -a for o.
2
Suppose 3*r = t + 11, -r - 5*t - 19 = 2*r. Let w be 8*((-1)/2)/(-1). Solve -w*b - r = -18 for b.
4
Let v = 101 - 97. Solve v*y - y = 0 for y.
0
Let v be (40/60)/(2/15). Solve v*o = 17 - 2 for o.
3
Suppose -4*b = -7 + 31. Let m = -2 - b. Suppose 2*u - 5*u = 0. Solve m = 2*d - u*d for d.
2
Suppose q - 2*q + 20 = 0. Suppose -1 = 3*b - 3*x + q, -x - 11 = 5*b. Let k be b/9 + 13/3. Solve k*j = j for j.
0
Suppose 5*f = -25, 3*u - u - 3*f = 23. Solve h + u = -h for h.
-2
Let d = 7 - 2. Let a(b) = b**3 - b. Let f(c) = -c**2 - 3*c - 1. Let v be f(-2). Let z be a(v). Solve 5*i + z = d for i.
1
Let z be (0 - -1) + 1 + 1. Suppose 0 = -5*d + 2 + z. Let w be d*-2 + (24 - -2). Solve 0 = -4*k + 4 - w for k.
-5
Suppose 7*k = 2*k. Let p = 0 + 3. Suppose -p = -4*s + 1. Solve k*u = -u - s for u.
-1
Let g = -4 - -4. Suppose g = -3*x + 8*x - 15. Suppose 32 = 5*d - d + 4*i, -3*d = 2*i - 20. Solve -x*t - d = -t for t.
-2
Suppose 3*x - 10 = -5*b - 3, 20 = 4*x - 4*b. Solve 3*d + x + 2 = 0 for d.
-2
Let z(o) = -o**2 + 6*o + 7. Let a be z(7). Let b be (-3 - (-4 - a))*1. Solve -b + 0 = r for r.
-1
Let l = 5 + -3. Let c(v) = 4*v**3 - 2*v**2 + v. Let d be c(1). Let s(f) = f**2 - 6*f + 10. Let g be s(6). Solve 0 = -l*o - d*o - g for o.
-2
Suppose p + 15 = 3*g - 0*g, 0 = 4*g - p - 20. Let z(r) = r**3 - 5*r**2 + r + 5. Let f be z(g). Suppose -y + 6*y = f. Solve y*k = 5 - 1 for k.
2
Suppose 0 = s + 2 - 4. Suppose -2*q - 5*g + 59 = s*q, -5*q + 2*g + 82 = 0. Solve -3*r + q = r for r.
4
Let m(z) = -z**2 + 1. Suppose -3*r = 2*r. Let y be m(r). Solve -y = q + 2 for q.
-3
Let k be (-6)/(-15)*(-10)/2. Let v = k + -1. Let z = v - -3. Solve z = -3*t - 12 + 3 for t.
-3
Suppose 5*q + 32 + 8 = 0. Let o be (-3)/(-12) + (-22)/q. Solve -o*l = -l - 2 for l.
1
Let c = 8 - 6. Suppose 0 = 2*x - c*z, 0*x - 2*z = 3*x - 10. Solve -x*b = 3*b + 20 for b.
-4
Let a = 1 + -2. Let k = a - -1. Suppose -5*g = g - 24. Solve r + k*r = g for r.
4
Let l = 0 + 1. Let p(u) = u**2 + 6*u + 2. Let v be p(-6). Let r be v/3 - 7/(-3). Solve l = -2*o + r for o.
1
Suppose c - 25 = -5*f + 6*c, -3*f + 13 = -2*c. Solve 10 = -f*w - 5 for w.
-5
Suppose -40 = 6*n - n. Let i = -6 - n. Suppose -8 = -5*w + i. Solve -y + w*y = -3 for y.
-3
Let u(a) = a**3 + 8*a**2 - 8*a + 9. Let j = -62 - -89. Suppose 5*v - j = 8*v. Let s be u(v). Solve 0 = -o - s*o + 4 for o.
4
Suppose -y - 15 + 2 = 0. Let f = y - -25. Solve 3*m = -m - f for m.
-3
Let f = -20 - -23. Solve -7 = f*z - 1 for z.
-2
Let k be 1/(-2*(-3)/12). Suppose 0*h - 4 = k*o - 4*h, -20 = -4*o + h. Let l be (o/(-5))/(3/(-10)). Solve 9 = -l*w + w for w.
-3
Suppose 3*k - k - 2 = 0. Solve -o - 3 = -k for o.
-2
Let c be (-2)/(-7) + (-136)/(-14). Suppose 3*h = h - 3*q + 14, 3*q = 2*h + c. Suppose 2 = w - h. Solve w*l + 8 = l for l.
-4
Let j be (-40)/(-6) - (-6)/(-9). Let n be (-4)/(-6) + (-4)/(-3). Suppose 0*a = 3*a - 12. Solve -j*w - n = -a*w for w.
-1
Suppose -6 = 5*l + 2*m, m + 4 = -5*l + 1. Suppose l = -5*b + 21 + 29. Let j = b - 10. Solve j = 3*w - 5*w - 4 for w.
-2
Let v be 66*2*(-3)/(-12). Suppose h = -h - y + 22, v = 3*h + 2*y. Solve 5 = 4*d - h for d.
4
Let g = -9 + 13. Solve s - 3*s = -g for s.
2
Let o be 5 + 0/2 + (-7 - -8). Solve k = o*k for k.
0
Suppose 13*u - 9*u = 8. Solve -2*y = u + 4 for y.
-3
Let c = -9 + 13. Suppose -6 = c*s - 2. Let h be 2 + (3 - 0/s). Solve -2*v - h = 5 for v.
-5
Suppose -37 = -d - 33. Solve 0*i - 16 = -d*i for i.
4
Let n be -4 + 4 + -6 + 9 + 1. Solve n*v = 8*v for v.
0
Let c = 91 - 86. Solve 11 = -4*j - c for j.
-4
Suppose -5*w + 4*b = 7 - 2, -2*b + 22 = 4*w. Suppose -2*o + 16 = w*k, -5*o + 3*k + 2 = 4. Solve p = o*p - 4 for p.
4
Suppose 2*c = 0, -5*w - 4*c = -27 + 7. Let m = 0 + w. Solve 2*t = -0 - m for t.
-2
Suppose 0*r = 3*r. Let g = r - 4. Let i be ((-30)/g)/(3/6). Solve -i = -5*a + 10 for a.
5
Let h be -4*3/(-6) + 3. Suppose 4 = 4*z - 5*s, h*z + 5*s - 32 = 3*z. Suppose -g - g = -z. Solve -g*a + 2 = 5 for a.
-1
Let h = 87 + -84. Suppose -3*d = 3, 2*d - 26 = -5*z + 3*d. Solve -h*j = -z*j for j.
0
Let p(u) = u**3 - 10*u**2 - u + 10. Let c be p(10). Solve c = -h - 4*h - 25 for h.
-5
Let i be 0*((-6)/(-3) - 1). Solve 3*w - 3 + 18 = i for w.
-5
Suppose 3*a - 8 = 4*j, 20 = 5*a - 0*a. Suppose 4*g = -g. Solve t = -g*t + j for t.
1
Let w(f) = -f + 28. Let b be w(26). Solve 0 = -v - b*v - 12 for v.
-4
Let q(n) = -2*n + 2. Let r be q(3). Let o = 6 + r. Suppose o*s = 2*f - 12, f - 18 = -f + 4*s. Solve -f*z = -2*z - 3 for z.
3
Let o(t) = t**3 - 3*t**2 + 0*t**3 - 3*t**2 - 3*t**2. Let z be o(9). Solve s + 3 = -z*s for s.
-3
Let d be 6/36 + 82/12. Let w(v) = v - 3. Let z be w(d). Solve 5*k + z = k for k.
-1
Suppose m + 11 = 4*k - 0*m, -2*k - 5*m - 11 = 0. Solve w = -w + k for w.
1
Let o be (-5)/10 + 42/4. Solve 4*s = 2*s - o for s.
-5
Suppose 3*a = 4*j - 25, -j - 3*j - 3*a + 7 = 0. Suppose -j*o = -6*o. Solve 4*h + 11 + 5 = o for h.
-4
Let t = 2 - 2. Let d be (-3)/(t - 3) - -2. Suppose y + 3*n - 12 = 0, -d*n + 21 = -3*y + 9. Solve g + 0*g = y for g.
0
Let o be 1/(-2) - (-29)/2. Let b = -6 + o. Let j = b - 4. Solve -2 = p - j for p.
2
Let g(d) = -d**3 + 5*d**2 - 7*d + 6. Let w be g(4). Suppose -3*c - 3*k + k + 30 = 0, c = -5*k + 10. Let p = w + c. Solve a + p = -3*a for a.
-1
Suppose 0 = 3*b - 7*b. Solve 4*m - 3*m + 5 = b for m.
-5
Suppose -5*w - 8*t + 50 = -3*t, 0 = 2*w + t - 19. Solve -5*k + 29 = w for k.
4
Let i = -7 + 11. Let u be i/(-18) + (-88)/9. Let w be (-6)/(-2) - u/(-5). Solve 7 = -2*f - w for f.
-4
Let i be (-2)/(-10) - 27/(-15). Let r(s) = 5*s**2 - 4*s + 3. Let o be r(i). Solve -5*k + 0*k = -o for k.
3
Let r(z) = -z**2 - 10*z - 11. Let q be r(-8). Solve 3*t + 4 = -q for t.
-3
Let f be ((-8)/(-10))/((-6)/(-75)). Solve 4*z + 10 = -f for z.
-5
Let q be (28/(-21))/((-8)/12). Solve 3 = -b + q*b for b.
3
Let b = -1 + 7. Let h(t) = t + 5. Let v be h(-3). Suppose v*g + b = 5*g. Solve o = g*o + 1 for o.
-1
Let q(s) = -3*s - 1. Let d(f) = -4*f. Let o(k) = -3*d(k) + 2*q(k). Let x = -2 - -4. Let t be o(x). Solve -z + t = z for z.
5
Let g(c) = -4*c**3 + 0*c - 1 - 2*c - 3*c**3. Let t be g(-1). Let d(n) = n**2 - 7*n - 5. Let x be d(t). Solve x*z - 1 = -7 for z.
-2
Let f(b) = -b**3 - 13*b**2 + 30*b + 6. Let n be f(-15). Solve -3*h = -n*h - 12 for h.
-4
Let a(p) = 1 + 5*p - 4*p**3 + 5*p**3 - 6 - 4*p**2 + 2. Let y be a(4). Solve -2 + y = 5*s for s.
3
Let p(u) = 17 - 17 - 8*u. Let w be p(-1). Solve -4*d - 8 = w for d.
-4
Let z be ((-3)/6)/((-2)/20). Solve z*r = 1 + 4 for r.
1
Let f(c) be the first derivative of c**3/3 + c**2/2 - 2*c - 2. Suppose -1 = v + 1. Let a be f(v). Solve -i - i - 6 = a for i.
-3
Let f be 11/3 + (-4)/6. Suppose -2*j + 9 = j, 3*q - 4*j = -f. Sol