 + 3*h + 2. Let a be p(3). Let w be i(a). Solve z = -w*z for z.
0
Let m(q) = -3*q - q**3 + 2*q + q**2 + 2*q**2 + 0*q. Let v(g) = 3*g**3 - 2*g**2 + 2*g - 1. Let y be v(1). Let c be m(y). Solve 0 = -f + c*f for f.
0
Suppose 4*y - o - 47 = -10, -4*y - 4*o = -12. Solve -y*n - 9 = -41 for n.
4
Let w = 1856 + -1850. Solve 158 = -w*i + 146 for i.
-2
Let y(v) = -v**3 + 8*v**2 - 7*v + 2. Let q be y(7). Suppose -4*t = -4*k, -4*t + 12 = q*k - 0*k. Solve 3 = c - t for c.
5
Let u = 651 - 648. Solve -u*f - 10 = -4 for f.
-2
Suppose -7*z + 3 = -25. Solve -u = -z*u for u.
0
Let w(p) = p**3 - 38*p**2 + 26*p + 441. Let j be w(37). Solve j = -7*o + 41 for o.
1
Let v(y) = y**2 - 12*y + 22. Let j be v(10). Let z(b) = -58*b + 44*b + 2*b**j - 4*b**2 + b**2. Let m be z(-14). Solve -2*q = -m*q + 4 for q.
-2
Let u(x) = x**2 - x - 3. Let r be u(-3). Solve 4*d - r*d + 10 = 0 for d.
2
Suppose 25*b - 201 = -1. Solve 6*r - b*r = -7*r for r.
0
Let d be 1 + (-278)/(-12) - 2/12. Solve -d*g = 3*g + 135 for g.
-5
Let u be -1 + 8 + (-1)/1. Suppose 2*o + 5*d = -0*d + 3, -3*d + 1 = o. Suppose -y + 3*f + 9 = 0, -11 = -3*y + o*f + 6. Solve y*c = c - u for c.
-3
Let d = -186 + 192. Solve 0 = -d*p + 31 - 7 for p.
4
Let k(c) = -c + 23. Let d be k(23). Solve d = -x - 3*x - 20 for x.
-5
Let w = -77 - -84. Solve -w*s = 2*s + 36 for s.
-4
Let n(s) = s**3 + 4*s**2 - 6*s - 3. Let g be (10/8)/((-7)/28). Let a be n(g). Solve 4*b - a = 2*b for b.
1
Let h = 757 - 697. Solve -3*b = -15*b + h for b.
5
Let a = -4 - -19. Let f = 24 - a. Suppose 4*z - f - 11 = 0. Solve z = 2*x - x for x.
5
Let j(u) = u**2 + 60*u + 676. Let t be j(-10). Solve 169*s = t*s for s.
0
Suppose 3*s + 6 = 18. Let j be ((-4 - 1) + s)/(-1). Suppose -j + 9 = 2*f. Solve -f = -2*u + 2 for u.
3
Let j = 4 - -3. Let h = -3 + j. Let t(a) = a**2 + 125*a - 126. Let x be t(1). Solve x = h*f + 1 - 5 for f.
1
Let y(n) = 12 + 6 - n - 1. Let o be y(14). Let v be o*1 - (-9 + 6). Solve 2*g + 12 = v*g for g.
3
Let k(q) = -q - 2. Let s = 0 - 4. Let d be k(s). Let l be (-1 - 0)*(-28 + 10 + 6). Solve -2*r - l = -d for r.
-5
Suppose 5*x + 3*r - 62 = 0, 3*x + r = 8 + 30. Solve -i = -14 + x for i.
1
Let a(u) = 28*u - 168. Let y be a(6). Solve -7*o = -y*o + 7 for o.
-1
Let w be -1 - (-3 + 2/(-1)). Suppose r + h - 3 = 0, 4*r - 6 = r - w*h. Solve -u + r*u + 25 = 0 for u.
-5
Let x(s) = -15*s - 642. Let n be x(-43). Solve -22*d - n = -25 for d.
1
Suppose j - h - 1 = 3, 0 = -5*j - 4*h + 2. Suppose -5*f + j + 13 = 0. Solve 3*u + 0*u - f = 0 for u.
1
Let m = 3 + -1. Let x(y) = y**3 + 14*y**2 + 44*y - 3. Let o be x(-9). Solve -m*t = t - o for t.
2
Let n = -2461 - -2495. Solve n*c - 33*c = 3 for c.
3
Let x(m) = 2 - m**2 - 3*m + 0*m**2 + 0*m. Let d(g) = -4*g**2 + 36*g - 3. Let b be d(9). Let y be x(b). Solve n = -n + y for n.
1
Let w be 6/21 - (-9 + (-47)/7). Solve -7*j = -11*j + w for j.
4
Let c be (-12*(-6)/54)/(14/21). Let f(j) = j**3 - 5*j**2 - j + 6. Let z be f(5). Solve b - z - c = 0 for b.
3
Suppose -2*d + z + 90 = 0, 2*z = -3*d - z + 135. Let a = 50 - d. Solve -a*q + 9 = -16 for q.
5
Suppose i - 12 + 5 = 2*s, 25 = 5*i - 5*s. Solve i*b - 33 = -45 for b.
-4
Let w = 68 + -74. Let a(f) = f**3 - 2*f**2 - 2*f - 3. Let u be a(4). Let c be (7/u)/((-1)/w). Solve 3*l - 8 = -c for l.
2
Let n = -50 + -27. Let o = n + 80. Solve -4*l + l = o for l.
-1
Let i(u) = u**3 + 2*u**2 - 3*u + 2. Let s be i(-3). Suppose -s*g = g - 3*t - 15, -3*g + 4*t + 19 = 0. Solve g = -3*j + 4 for j.
1
Suppose 3*c = -3, -245 = -r + 5*c - 55. Solve 180*i - r*i = 0 for i.
0
Let s = 20 - 10. Let u(o) = -6*o - 4. Let p be u(-1). Let c be (-8 - -11)*(p - 2/3). Solve 0 = -c*r + s + 10 for r.
5
Let h(g) = -g**3 + 35*g**2 - 32*g - 68. Let j be h(34). Solve 8*k - 2 + 2 = j for k.
0
Suppose 0 = 6*z - 137 - 109. Solve -5*w + 16 = z for w.
-5
Let g(s) = -s - 4. Let r be g(-6). Let w(v) = v**2 + 42*v + 44. Let q be w(-41). Solve 1 = -r*z + q for z.
1
Let l be (0/(-1))/((-1)/1). Let j = 3 + 3. Let a be l/(2*(-3)/j). Solve a = 2*w - 8 - 0 for w.
4
Let u(q) = 2*q + 19 - 3*q - 34. Let j be u(-14). Let p = 6 - j. Solve -5*i + p = 2 for i.
1
Let v = -39 - -43. Suppose v*y = -7*y + 22. Solve y*u = -2 + 6 for u.
2
Let q(w) be the first derivative of w**4/12 - w**3/2 - w**2 - 3*w - 9. Let r(d) be the first derivative of q(d). Let x be r(4). Solve 5*l - 6 = x*l for l.
2
Suppose -2*j + d = -0*j - 8, j = -d + 4. Suppose 0 = -2*x + j*p + 22, p + 19 + 4 = 4*x. Solve 0 = x*u - 4*u for u.
0
Let c(z) = z**3 + 12*z**2 + z + 16. Let w be c(-12). Suppose 2*t = 3*t - 2. Suppose -23 + 0 = -b - 4*p, 0 = t*b + w*p - 38. Solve y - b = 4*y for y.
-5
Let r(n) be the first derivative of 5*n**2 - 3*n - 4. Let x be r(2). Solve 0 = 3*j + x - 2 for j.
-5
Let l(u) = -u**3 + 2*u + 1. Let b be l(-1). Suppose 4*s = -3*y + 7, b*s - s - 5*y - 11 = 0. Solve s*t - 2*t = 4 for t.
2
Let z(l) be the third derivative of l**5/60 + l**4/8 - l**3/2 - 25*l**2. Let i be z(3). Solve s + i = -4*s for s.
-3
Let f(l) = -l**3 + 6*l**2 - 5*l - 4. Let h be f(4). Suppose 0 = -k + 11 - h. Suppose -k*m - 12 = -7*m. Solve -m*a - 3 = -6 for a.
1
Suppose -v + 8 = 3*v. Suppose q = -2*r - 3, v*q - 2*r - 3*r - 30 = 0. Solve q*p + 14 - 34 = 0 for p.
4
Suppose -17 = 12*c - 53. Solve 0 = 6*v - c*v + 9 for v.
-3
Suppose 2 - 20 = -2*m. Suppose 2*s = t - s - m, 13 = 2*t - s. Let x = t - -1. Solve i = -3 + x for i.
4
Suppose 67*y + 140 = 77*y. Solve -y = -2*h - 4 for h.
5
Let h be (-20)/(-10) - (1 - 5)*1. Let f be -3*((-19)/h - -3)*0. Solve -4*n + f*n = 20 for n.
-5
Let c = -474 + 475. Solve -s - c - 1 = 0 for s.
-2
Let r be (-8)/(-12) - 4/(-12). Suppose -2*b + r - 9 = 0. Let u be 1 + ((-8)/2)/b. Solve 5*f + 3 + u = 0 for f.
-1
Let f(t) = -t**3 + 10*t**2 - 14*t - 4. Let r be f(8). Suppose 108 - r = 4*x. Solve 4*k = -4 + x for k.
5
Suppose 3*i - 8*i = 30. Let s = -6 - i. Let l be (-1)/((2 - -1) + -15 + 11). Solve y + s = -l for y.
-1
Suppose 2*y + 3*y - 5*k = 165, -4*y - 3*k + 146 = 0. Let p = 5 - 0. Suppose y = -p*j + 100. Solve -1 = -4*w - j for w.
-3
Let a be (-2 - 1)*(-4)/(-6). Let g = a + 8. Let b(x) = 2*x**3 + 8*x**2 - 21*x + 24. Let r be b(-6). Solve -r*u + g = -3*u for u.
2
Suppose 29*j = 50*j - 273. Solve -j*a = -6 + 6 for a.
0
Let n = 854 + -843. Solve n*r = 23*r for r.
0
Let z be 35/5 - 14 - -12. Solve -3*d + z = -2*d for d.
5
Suppose -2*b = 2*m + 134, -4*b - 55 = m - 9*b. Let j = -61 - m. Solve 5*q - 1 = j*q for q.
1
Suppose -2*m - 11 - 1 = 0. Let x be ((-15)/m)/(25/20). Solve x*a + 12 = 6*a for a.
3
Suppose w + 1 - 2 = 0. Suppose -3 = -r + w. Solve -2*n + n = -r for n.
4
Let y = 9 + -11. Let m be (4 - -2 - 1) + y. Suppose -2*p - 16 = -4*x, -4*x = -3*p - p - 20. Solve -m*n - 6 = -x for n.
-1
Suppose -11*o + 13*o = -3*h + 599, 0 = o - 2*h - 289. Solve -o*g + 2 = -297*g for g.
-1
Suppose 0 = -k - 30 + 27. Let u be (5 + k - 2)/(-2). Solve u = -0*b - b + 4 for b.
4
Suppose -21*f + 380 + 229 = 0. Solve -17*d - f - 22 = 0 for d.
-3
Suppose -4*l - 24 = 5*v - 79, 4*l = v + 37. Solve l = 12*b - 10*b for b.
5
Let i = 837 - 833. Solve 0 = -5*y + i + 1 for y.
1
Let s = -1370 + 1370. Solve -13*f + s*f = 0 for f.
0
Let s be (3/(-7))/((-1)/7). Let j be s/(-12) - (-6)/(-8). Let o = j + 1. Solve 4*l - 10 + 2 = o for l.
2
Let x = 149 - 142. Solve x*g - 4*g = -15 for g.
-5
Let j(o) = -o**3 - 17*o**2 + 17*o - 12. Let g be j(-18). Let z be (128/12)/(g/9). Solve z = i + 3*i for i.
4
Let l be 2/4 + (-2)/4. Let d be l - (5 - (-2)/(-2)). Let o be 7/(-14) + (-46)/d. Solve -5*g + 1 = o for g.
-2
Let m be (0 + 2 - 1)*(-12)/6. Let a be (m/6)/(((-16)/(-18))/(-8)). Solve -t = a*t + 16 for t.
-4
Suppose i = -2*d, i - 8*d = -11*d. Solve i = 17*j + 5 - 56 for j.
3
Let p = 671 + -663. Solve p = 3*b - 5*b for b.
-4
Let h = 4 + -3. Let u(v) = 3*v**2 - 41*v + 27. Let d be u(13). Solve j = h + d for j.
2
Suppose -3*u = -2*y - 7 + 2, -2*y + 35 = 5*u. Solve 3*f + y = 2 for f.
-1
Suppose 8*k = -9*k. Let v(d) = -d - 3. Let f(t) = -t - 4. Let y(g) = 2*f(g) - 3*v(g). Let s be y(5). Solve -2*b = -k + s for b.
-3
Let s be (-1 - 0)/(5/(-4) + 1). Let c = -4 - -7. Suppose -c = -3*v + 66. Solve -s*h - 3 = -v for h.
5
Suppose 29*m = 37*m - 64. Solve -o + m = 7*o for o.
1
Let h(n) = -2*n**3 + 55*n**2 - 23*n - 67. Let c be h(27). Solve 40*y = c*y + 2 for y.
-2
Suppose 4*w + 30 = 9*w. Suppose 0 = -w*b + 9*b - 57.