 - 2 = z for k.
-1
Let g be -11*(-3)/(-1)*63/(-189). Solve -g*j + 94 - 105 = 0 for j.
-1
Let h(i) = -i - 29. Let k be h(-10). Let y = k + 19. Solve y = 7*v - 2*v + 10 for v.
-2
Let f = -150 + 162. Solve -8*o + 11*o = f for o.
4
Suppose 2*i - 4*a - 8 = 4*i, -4*i - 26 = -2*a. Let h = i + 4. Let b be 10/(-16)*h*4. Solve -12 = b*y + 13 for y.
-5
Suppose 5*m - 52 = -2*q, -25*q = 2*m - 23*q - 16. Solve -3*u - u = -m for u.
3
Suppose 5*l - 1 = 4*l. Solve 2*y + 1 + l = 0 for y.
-1
Suppose 2*x = x + 5*s + 11, 0 = 5*x - s + 17. Let d = 6 + x. Let n be (-5)/(-50) - 441/(-90). Solve n*c - d = 8 for c.
2
Let q(f) = f**3 - f - f**2 + 2*f**2 + 2 + 0. Suppose -n + 10 - 11 = -5*z, 0 = -2*n - 2. Let x be q(z). Solve k + 0 = x for k.
2
Let b be 1 + (-1)/((-9)/63). Solve -b*f + 16*f = -32 for f.
-4
Let c be (0/11)/(1 + 0). Let g be (3 + 3)*2/4. Suppose 2*h = -g*h + 25. Solve q + c + h = 0 for q.
-5
Let n(g) = -g**2 - 6*g + 10. Suppose -7*y + 3*y = -12. Let j(k) = -2*k - 1. Let c be j(y). Let p be n(c). Solve p*a = 2*a for a.
0
Suppose 4*n - n = -2*y + 3, -21 = -3*n + 4*y. Let a(o) = 2*o**3 + o - 5. Let c be a(2). Solve 0 = -n*h + 7 - c for h.
-2
Let q be 1 + 24/2 + 0. Let g = 49 - 44. Solve -g + q = -2*s for s.
-4
Let h(b) = b**3 + b + 14. Let i be h(0). Let w = 24 - i. Suppose -a + w = 7. Solve -x = -a*x for x.
0
Let r(c) = c**3 + 2*c**2 - 3*c + 3. Let b be r(-3). Let i be (2 - -1) + -16 + 17. Suppose z - 1 = 2*s + 1, b*z + i*s + 4 = 0. Solve j - 3*j - 8 = z for j.
-4
Suppose 5*s = -5*j + 6 + 4, 5*s = -3*j. Suppose f + j*v = 28, -v = 5*f + v - 25. Solve -g - 6 = -f for g.
-3
Let k(c) = 11 + c - 16 - c**2 + c**3 + 5. Let d be k(2). Suppose 2*i + 4 = d*i. Solve o - i = -0 for o.
1
Let d be 0/((-6)/(1 - 3)). Suppose n + 4*y + 16 = d, -3*y = -5*n + 2*n + 27. Suppose 5*q = i + 2, -4*q - 10 + 2 = -n*i. Solve 3 = -3*g - i for g.
-2
Let b = 49 + -34. Suppose -2*q = 3*q - b. Solve -3*j - q = 6 for j.
-3
Suppose 0*t + 2*b = -3*t + 56, -3*t + b + 53 = 0. Let s = t + -8. Solve v + s = -v for v.
-5
Suppose 35 = 5*o + 2*l, -o + 7 = 4*l - 8*l. Suppose -2*d = -35 - 17. Suppose 4*t - 28 = -5*k, -d = -3*t - 3*k - 2*k. Solve 0 = -o*g + t*g - 20 for g.
-4
Suppose 4*p + 0 - 14 = -3*b, 12 = 2*p + 4*b. Suppose 8*s = 4*s. Solve s = l + p*l for l.
0
Suppose -10 - 5 = -5*a. Suppose 4*x + a*r + 8 = 0, 5*x + 7 + 3 = -r. Let i be (-120)/(-25) + x/(-10). Solve -4*l - i = l for l.
-1
Suppose 0 = 5*l - 35 - 185. Suppose z - l = -9. Let r = -33 + z. Solve -h = r*h - 9 for h.
3
Let l = 640 - 597. Solve -46*h - 15 = -l*h for h.
-5
Let j(b) = 2*b**2 - b + 4. Let y be j(3). Let o = -14 + y. Solve 0*k = k - o for k.
5
Suppose -4*n = -33*n + 29. Solve -23 = -6*a + n for a.
4
Suppose -6*c + 19 = -3*c - 2*a, c - 5*a = 28. Solve -c*u - u = u for u.
0
Let q(v) = v + 1. Let m be q(5). Suppose 3*c - 16 = 5*j, -m = -c + 5*j - 3*j. Suppose -i + 2 + 6 = 0. Solve -c*g = -0 + i for g.
-4
Let u(q) = 3*q + 19. Let l be u(-6). Let f = l - -6. Solve -10 = 2*v - f*v for v.
2
Suppose 117 = 4*i - 5*s + 6*s, -s = 5*i - 147. Let a be ((-6)/15)/((-6)/i). Solve a*f - 4*f - 6 = 0 for f.
-3
Let v(n) = 21*n - 15 + 3*n**2 + 21*n - 56*n - 2*n**2. Let y be v(15). Solve y = -5*k + 6*k - 1 for k.
1
Suppose 3*q - 5*y = 26, -4*q - 2 = q + 3*y. Suppose 0*v = -v - 5, 2*v = -2*h - q. Suppose -7*r + 5*r - 24 = -4*z, -24 = r - 4*z. Solve 0 = -r*u - h*u for u.
0
Let j = 19 - 16. Let l be 6/j - -1*2. Solve -k = -l*k + 3 for k.
1
Let x = 86 - 89. Let b be 1 - (8/(-4) - x). Solve 1 = -l - b for l.
-1
Let a be (-9)/(-6) - 1/2. Let y(r) = -r + 13. Suppose -96*k + 98*k = 20. Let x be y(k). Solve -x*f - 11 = a for f.
-4
Let c(j) be the first derivative of j**2/2 + 7*j + 4. Let a be c(-7). Let r = 5 - a. Solve -x - 4 = -r*x for x.
1
Let p(i) = -2*i**2 + 14*i. Let a be p(7). Let h(c) = -c**2 + c + 3. Let x be h(a). Solve 3 = -x*n - 6 for n.
-3
Let l(h) = h**3 - 8*h**2 + 7*h. Let i be l(7). Suppose i*b + 39 = -3*b. Let c = b + 22. Solve 0 = 4*m + c - 1 for m.
-2
Let h(k) = -2*k**2 - 10*k + 2. Let d be h(-4). Let y be 36/(-18) + d/2. Solve -2*s + y = 9 for s.
-3
Let n = -17 + 22. Suppose n*r = -20, 2*r + 12 = -2*v - r. Solve y + y - 4 = v for y.
2
Suppose 5*p - 2*q = 14 - 1, -2*p + 2 = -4*q. Suppose p*u + 2*o - 39 = 0, 42 = 5*u + o - 23. Suppose 5*x + 7 = 2*d - u, -5*d + 16 = -4*x. Solve c + d = -3 for c.
-3
Let p(g) = -12*g**2 + 36*g + 1. Let c be p(3). Solve 11 - c = -2*z for z.
-5
Let h = 3218 - 3193. Solve h*u - 9*u - 48 = 0 for u.
3
Suppose 0 = -22*u + 23*u. Suppose -5*i + 4 + 1 = u, -5*s - 4*i = -29. Suppose 0*j + j = s. Solve -4*h - 25 = -j for h.
-5
Let t = -49 + 56. Suppose t*a - 3 - 11 = 0. Solve 0 - a = -j for j.
2
Suppose -3*k - 2*k - o + 100 = 0, 5*o + 51 = 4*k. Suppose -k = -2*f - 3*f - t, 3*t - 12 = 0. Solve -3 = -f*m + 12 for m.
5
Suppose -2*x = 2*x. Suppose -b = -2*b + 8. Suppose x = u - 2 - b. Solve 6*i - i = u for i.
2
Let h = 499 + -497. Solve u - h = -5 for u.
-3
Let u be 2964/65*(-5)/(-2). Let h = 118 - u. Solve -5 = h*a - 17 for a.
3
Let x(d) = d**3 + 9*d**2 + 16*d + 16. Let j be x(-7). Solve 0 + j = -h for h.
-2
Suppose 7*j = 2*r + 9*j - 6, -2*j = 0. Solve -r*y - 5 = 10 for y.
-5
Let w(c) = -5*c + 6*c - 18 + 27. Let v be w(4). Solve -3 = -5*i - v for i.
-2
Let a(b) = 5*b**3 - 20*b**2 - 2*b + 8. Let p be a(4). Solve 23*r + 62 + 7 = p for r.
-3
Suppose -3*p = -2*t + 2, 0 = -5*t + 7*p - 2*p + 15. Solve t*i = i - 12 for i.
-2
Let n = -3 - 44. Let k = -32 - n. Solve -5*b - k = -0*b for b.
-3
Suppose 0 = -3*b + 12, -8*j + 73 = -3*j + 2*b. Suppose 18*t - 10 = j*t. Solve -t*h = -4*h for h.
0
Suppose 3 = r + 1. Let d be (r/4 + 1)/((-4)/(-8)). Solve 3*p - d = -12 for p.
-3
Let a(l) = -3*l + 26. Let n be a(22). Let x = n + 42. Let y(j) = -2*j - 2. Let p be y(-2). Solve 12 = p*h + x*h for h.
3
Suppose -w - 6 = -4*w - 3*g, 4*g = 4*w - 8. Suppose -w*t = -4*t + 8. Solve 0 = -c - 0*c + t for c.
4
Suppose -3*l - 10 + 19 = 3*p, 2*l - 9 = -3*p. Solve -5*t + 31 - 51 = l for t.
-4
Let r(z) = z + 4. Suppose 4*v + 8 = -0*v. Let o be r(v). Let y = 8 + -4. Solve 2 = y*l - o*l for l.
1
Let z(b) = -3*b**2 + b**2 - 8*b + 2 + 7*b - 9*b. Let q be z(-4). Solve -5*n - q = 5 for n.
-3
Suppose -c = -3*c - 2. Let u be (1 + c)*(0 - 1). Let r(p) = -p**2 + 4*p - 1. Let w be r(3). Solve u = 3*g - w*g for g.
0
Let p = 679 - 665. Solve 0 = 15*c - p - 1 for c.
1
Let o be 2 + 0 + -2 + 1. Let b(d) = 2*d + 10. Let v be b(-3). Suppose -6*h = -v*h - 8. Solve -r - o = h for r.
-5
Let w = 123 + -71. Let j be w/14 + (-4)/(-14). Let c = -13 - -13. Solve 4*g + j = -c*g for g.
-1
Let x be 4/(-10) - 44/(-10). Let d = 389 + -386. Solve 9 = x*t - d for t.
3
Let z = -53 - -78. Solve -8*p + 3*p = -z for p.
5
Let z(k) = -5*k + 5. Suppose 5*x - 9 - 11 = 0. Let b be z(x). Let u be (0 - 9/b)*5. Solve -p - u*p = 8 for p.
-2
Let i(k) = k**2 - k - 2. Let h be 0 + 1 + 1 + 4. Let v(c) = c**2 - 6*c + 2. Let d be v(h). Let q be i(d). Solve q*f + 16 = -4*f for f.
-4
Let n be (5 + 28/(-8))*102/9. Solve -5*i + n = 42 for i.
-5
Let s = 1 - 9. Let z = s - -8. Suppose 0 = -3*u + 5*x - z*x + 5, -3*x = -u - 1. Solve 0*f = -u*f for f.
0
Let c = 99 - 84. Let w be (-10)/65 + 2/13. Solve u + 2*u + c = w for u.
-5
Let c(x) be the third derivative of -x**6/120 + x**5/15 + x**4/4 - x**3/3 + 6*x**2. Let l be c(5). Let n be (-14)/(-7) - (0 + 2). Solve -r + l*r + 2 = n for r.
-1
Suppose 30*q - 20 = 29*q + 3*m, -4*q = 4*m - 112. Solve -q*t - 24 = -32*t for t.
4
Let c(q) = -q**2 - q + 2. Let d be c(0). Let v be (1/(-2))/(d/(-4)). Suppose 2 = 3*a - 1. Solve -2*i = -a - v for i.
1
Let h be 24/9 - (-4)/(-6). Let v(j) = -2*j**3 + 26*j**2 + j - 10. Let l be v(13). Let i(o) = -o + 6. Let y be i(5). Solve -h*r - y = l for r.
-2
Let t = -17 + 28. Suppose j = t - 8. Suppose -2 = 3*q + j*u + 4, -3*q = -2*u - 19. Solve q = 2*b + 11 for b.
-4
Let p(n) = 9*n**2 - 10*n - 3. Let m be p(4). Let a = 102 - m. Solve o + a = 5 for o.
4
Suppose 9*i - 5*i + 2*v - 34 = 0, -4 = -i - 2*v. Suppose -2*w = 2*w - 32. Solve w*s = 3*s + i for s.
2
Suppose -3*b - v = 1 - 35, 5*b - 38 = 3*v. Solve 8*k - b + 2 = 0 for k.
1
Suppose 0 = -k - 4, 0 = -3*p + p - 5*k - 20. Suppose 4*l + 5*a - 26 = 63, p = -l - 3*a + 24. Let d = l - 15. Solve -h - d = 2*h for h.
-2
Suppose 5*c - 5*h - 45 = 0, -3*c = -2*h + 10 - 34. Solve -c = 2*l + l for l.
-2
Let