e -h*s + 3 = -5 for s.
2
Suppose -2*b = 5*o - 19 - 14, 25 = 5*b + o. Suppose -3*y + 24 = 3*a - b*a, -2*y = -4*a - 6. Suppose -13*n = -y*n. Solve 2*z - 3*z = n for z.
0
Suppose -227 = 19*s - 816. Solve -10*z - s = -1 for z.
-3
Suppose -17*i + 21*i - 17 = 3*v, 0 = -2*v + 4*i - 18. Solve -q + 4 = v for q.
3
Let m be 6 + 2 + (-2 - 1). Let j(o) = -6*o**2 + m*o**3 - 6*o**3 + o**2 - 2*o. Let d be j(-5). Solve -y - d = y for y.
-5
Suppose 794*r = 764*r. Let g(a) = -a**3 - a**2 + a + 22. Let f be g(0). Suppose -2*l + f - 20 = r. Solve -3*s + 2 + l = 0 for s.
1
Suppose 0 = 3*j - 12, -3*x - 2*j + 18 = j. Let q be x/8 + (-30)/(-8). Solve -w + q*w + 12 = 0 for w.
-4
Let t be (-3)/3 + (3 - 0). Suppose 3*o = t*o + 2. Let d be ((-8)/(-6))/(o/9). Solve 3*l = d*l + 6 for l.
-2
Suppose q - 8 = -q. Solve -q*m + 2*m = -2 for m.
1
Suppose 9*u + 69 = 32*u. Solve 5*x + u = 28 for x.
5
Let y = -11 - 38. Let t = -47 - y. Solve 0 = t*u - 5*u - 9 for u.
-3
Let w = 920 - 917. Solve -3*n = w*n + 24 for n.
-4
Let x be ((-63)/(-28))/((-15)/(-40)). Solve -x = -11*s + 5*s for s.
1
Suppose 34 = 5*c + 44. Let x(j) = 2*j**2 + 4*j. Let q be x(c). Solve -k - 2*k = q for k.
0
Let i(l) = l + 9. Let t be i(7). Suppose -t = -a - 3*a. Solve 6 = a*q + 26 for q.
-5
Suppose -4*k + 19 = -3*l + 1, -3*k = 2*l - 5. Suppose 5*z = 4*s - 38, -s = -2*z - k*z - 17. Solve -s*d = -2*d for d.
0
Let m = 705 - 704. Solve -2*u - 7 = -m for u.
-3
Suppose 4*s - 5*l + 3 = 0, -21 = -5*s - 0*l - 2*l. Solve 5 + s = 2*f for f.
4
Suppose n = 2*c - 8, -2*n + 0*c - 1 = c. Let g be (-5)/(-45) + (-328)/36. Let s be (n/(-2))/(-8 - g). Solve -4*p - 3 = s for p.
-1
Suppose -2*v + 18 = -0*v. Let y = 133 - 125. Solve -v*f = -y*f - 4 for f.
4
Let q = 46 - 46. Solve 3*b + 10 + 2 = q for b.
-4
Let w(m) = -m**3 - 7*m**2 + m + 7. Let u be w(-7). Suppose 0*z = 4*c + 4*z + 4, u = 5*z - 10. Let n = 1 - c. Solve 0 = n*q - 5 - 7 for q.
3
Let v be (-36)/(-30)*765/18. Solve v*j = 49*j + 8 for j.
4
Let f(o) be the first derivative of o**3/3 - 11*o**2/2 + 13*o - 6. Let w be f(10). Suppose -w*z = -z. Solve n = -z*n for n.
0
Let r = 14 + -12. Suppose 2*h = -r*h + 5*j + 10, 0 = -3*h + 3*j + 9. Suppose 1 = -3*d + 7. Solve -d*a + h*a = 9 for a.
3
Let l(u) = -33*u**2 + 5*u - 4. Let b be l(2). Let r be (-1)/2 - b/4. Suppose 0 = 5*s - 9 - r. Solve s = -m + 3*m for m.
4
Let f(s) = s**3 - 2*s**2 + 2*s - 1. Let w be f(1). Let c = -13 + 18. Suppose -4 = 3*i - c*i. Solve 0*r + r + i = w for r.
-2
Suppose b + 4*b + 5*a - 90 = 0, -3*b - 2*a + 51 = 0. Let z be (25/b)/(3/(-9)). Let y = 9 + z. Solve 4*l = 3*l + y for l.
4
Let l be ((-15)/(-10))/(12/24). Solve 0 = -d - 0 - l for d.
-3
Let s(f) = f**3 + 6*f**2 - f - 3. Let i be s(-6). Let b = 0 + 1. Suppose -4*c + 6 = -c. Solve -i = c*r - b for r.
-1
Let i(r) = 3*r**3 - 2*r**2 + 2*r + 7. Let z be i(3). Suppose 2*j = v + 3*v - 102, -3*v + j = -z. Solve -11*c = -6*c + v for c.
-5
Let g = 13 + -11. Let c(y) = 1 - 1 + g + 4*y + y**2. Let i be c(-4). Solve 9 = -i*u - u for u.
-3
Suppose -4*w = w + 60. Let r be (6 - w/(-4)) + -2. Let o be (2 - r)/((-18)/(-72)). Solve 0 = o*z - 2*z - 6 for z.
3
Let z(l) = -l**3 + 6*l**2 + l - 2. Let t be z(6). Suppose 0 = -t*x + 40 + 12. Suppose -j + x = 2*n, 4 - 2 = 4*j - 2*n. Solve r = -2*r + j for r.
1
Let c be 4/(-16) - (36/(-16) - -2). Solve c = -0*y - 5*y + 5 for y.
1
Suppose -4*t + 53 = -79. Suppose -8 = w - t. Let r = -42 + 46. Solve r*o - w = -o for o.
5
Suppose 36 = 4*j + 4*g, 3*g - 7 = -5*j + 30. Solve -10*r = -j*r for r.
0
Suppose 4 = 5*y - a + 1, -6 = -5*y + 2*a. Suppose -3*q + 8*q + 105 = y. Let h = -17 - q. Solve -h*k = -2 - 18 for k.
5
Let i be 1*(0 + 2) + -5 + 5. Solve -i*g + 7 = 1 for g.
3
Suppose -3*b = 13 - 4, 0 = 5*l - 4*b - 582. Solve 4*m - l = -98 for m.
4
Suppose -91 + 10 = -9*o. Solve w = o*w + 8 for w.
-1
Let f = 198 - 186. Solve -3*m + 0 - f = 0 for m.
-4
Let h(m) = 3*m**2 + 108*m + 2. Let p be h(-36). Solve 2*f + 2 = -p for f.
-2
Suppose 3*a = 5*k - 20, a + 3*a - 55 = -5*k. Suppose 0 = -6*o + 5 + k. Solve f - 2 = o for f.
4
Let f(b) = -2*b**2 + 14*b - 10. Let d be f(5). Solve -2*a = 3*a + d for a.
-2
Let g be (42/(-4))/(1 - (-30)/(-12)). Solve -5 = 2*n - g for n.
1
Let i = 2 + 14. Suppose 5*v = -71 + i. Let o = v + 13. Solve -4*p = -o*p for p.
0
Let p = -20 - -28. Solve 8 = -0*l + p*l for l.
1
Suppose 0 = 5*r + 4*l - 12, 0 = -5*r + 5*l + 26 + 4. Let a = 1 + r. Solve a - 1 = 4*z for z.
1
Suppose -z + 0*z = -3. Suppose 4*h - 31 = -3*t, z*h - t + 5 = 12. Suppose 7*x - 48 = 4*x - 2*j, -h*x + 2*j = -78. Solve 0 = -4*q + 2 - x for q.
-4
Suppose 5*i = -7 + 47. Suppose 4 = 4*g - i. Solve 0 = -x - g for x.
-3
Let n be (-2 + 17)/3 - 0/3. Solve -3*y = 20 - n for y.
-5
Let k be ((-3)/3)/(1/(-4)). Suppose -3*i + 30 - 9 = -4*n, 0 = -2*i - n + 3. Solve 0 = h - i*h - k for h.
-2
Let g(s) = -2*s**3 + 2*s**2 + 2*s + 13. Let o be g(0). Solve -5*r = 12 + o for r.
-5
Let g(s) be the first derivative of -3*s**2/2 - 3*s - 4. Let m be g(-2). Suppose -4*c - n + 2 - m = 0, -4 = -2*c + 4*n. Solve i + c*i = 4 for i.
4
Let p(s) be the second derivative of 1/6*s**4 + 0*s**2 + 0 + 1/20*s**5 + 5*s - 1/2*s**3. Let r be p(2). Solve v + r = 6*v for v.
2
Suppose 4*f - 2*o = 34, -7 = 5*o - 2. Suppose f*r - 12 = 2*r. Solve r*g = -2*g - 8 for g.
-2
Suppose -5*j - 8 = -4*l, 0 = 15*l - 18*l - j + 25. Solve 0 = 2*a - l*a + 5 for a.
1
Let p be (16/(-9))/(54/(-243)). Solve -4*c - p = -0 for c.
-2
Let u be (9/15)/(4/20). Suppose b = y - 2*y + 15, u*y + 2*b - 42 = 0. Solve y = -5*p + 2*p for p.
-4
Suppose t + 3 = c, -2*t + 14 = 5*c - 2*c. Solve -2*v - 4 + c = 0 for v.
0
Let a = 9 + -33. Let o be (-320)/a*(-3)/(-1). Suppose -4*d - o = -12*d. Solve d - 25 = -4*p for p.
5
Suppose 0 = 2*o + o - 96. Let n = 342 + -338. Solve n*d - 12 = -o for d.
-5
Suppose -u + 3 + 0 = 0. Suppose -4*b - 4*l = -60, 8*l = u*l. Solve b = -3*x - 0*x for x.
-5
Suppose 2*h = -28*h + 120. Solve 0 = 2*l + 2*l - h for l.
1
Let z(f) = -3*f**2 - 14*f - 7. Let g be z(-4). Solve j + g = -3 for j.
-4
Let l = 12 - -43. Let c = -100 + l. Let q be ((-30)/c)/((-2)/(-12)). Solve s + q*s = 15 for s.
3
Suppose 8*t - 10*t + 22 = 0. Solve f + t = 10 for f.
-1
Let m be 16/(-32) + (-30)/4. Let a(p) = -3*p - 20. Let c be a(m). Solve -2*b = 2*b + c for b.
-1
Let p(t) = t + 49. Let l be p(-33). Solve 6*x + l = 2*x for x.
-4
Let r(w) = w**2 - 2*w + 1. Let y be r(3). Let b = 653 + -651. Let v = b + y. Solve 0 = 5*o - v*o + 4 for o.
4
Let j be 0 + 24 - (0 - -3). Suppose -5*r + 96 = 6. Suppose -j*u = -r*u. Solve u*g - 3 = 3*g for g.
-1
Suppose 0 = -4*a - 158 + 34. Let y = a - -35. Solve y*s - 7*s = 3 for s.
-1
Suppose -3*j = 3*v + 3, -2*j - j - 5*v - 5 = 0. Suppose j*c = -2*c - 12. Let u = -4 - c. Solve r + 12 = -u*r for r.
-4
Let f be 5/(100/8) + 13/5. Suppose 0 = -s - s + 8. Solve s*k - 5 = f*k for k.
5
Suppose -8*u - 84 = -12*u. Let g = -21 + u. Solve 0 = d - g + 4 for d.
-4
Suppose 4*g - a = 98, -5*g + 127 = -11*a + 12*a. Solve g*p = 30*p - 15 for p.
3
Let i = 3 + -1. Let h be (136/(-20) + 8)/(4/10). Solve -h*o = -i*o for o.
0
Let x(s) = -s**3 - 2*s**2 - 2*s - 4. Let g be x(-2). Solve -w - 4*w + 5 = g for w.
1
Let g = 9 + -12. Let n be 6 - 18 - (-1 + g). Let y(r) = -r - 2. Let j be y(n). Solve b + j = 2 for b.
-4
Suppose 0 = -0*i - 4*i. Suppose -2*v + 3*u + 16 = i, -2*v + 4*v - u - 8 = 0. Suppose -v*g + 6 = g. Solve 0*b - g*b - 6 = 0 for b.
-3
Suppose 39 = 4*k + 19. Let m be -1*((-12 - 0) + -1). Let f(o) = -o + 13. Let r be f(6). Solve -k*i + r = -m for i.
4
Let r(n) = -n**2 + 8*n + 23. Let j be r(10). Solve -m = j*m - 8 for m.
2
Suppose 11*f - 3*f - 16 = 0. Suppose -3*k + 6 = -6. Solve -x = -f*x + k for x.
4
Let d(o) be the second derivative of o**4/12 - 5*o**3/6 - 11*o**2 + 20*o. Let k be d(8). Solve -k*m + 0 + 8 = 0 for m.
4
Let i = -78 + 87. Solve -4*k = -i*k for k.
0
Suppose -6 = -3*r, -5*r + 22 + 23 = 5*d. Solve 5*g = d*g + 8 for g.
-4
Let y(o) = -o**3 - 2*o**2 + 3*o + 2. Let l be y(-3). Let i = 7 + l. Let f = 9 - i. Solve f*q = 2*q - 10 for q.
5
Suppose -4*v + v = -m - 4, -2*v + 5*m = -20. Let b(n) = -n**2 + 10*n + 1. Let x be b(9). Let z be (-28)/(-35) + 2/x. Solve -r + 2 + z = v for r.
3
Suppose 9*j - 15*j = -570. Suppose 4 = 97*d - j*d. Solve 2*u + 8 = -d for u.
-5
Suppose 3*y = 5*y - 6. Suppose 0 = -y*k + k - 2*n + 10, 1 = n. So