 Let k be p(-36). Solve 13 = 5*x + k for x.
-2
Let k(s) = s**3 + 20*s**2 + 3. Let i be k(-20). Let z be (-80)/(-3)*66/55. Let w = z - 28. Solve 0 = i*u + w + 2 for u.
-2
Let o(v) = v**3 - 16*v**2 + 16*v - 9. Let s be 156/10 - (-6)/(-10). Let c be o(s). Solve -t = -4*t - c for t.
-2
Let s = 1084 - 1084. Solve s = -v + v + 11*v for v.
0
Let j = -21 - -24. Solve -6*z + j*z + 12 = 0 for z.
4
Suppose -d = 5*n - 12, 2*n + 3*d = -n. Let l = 7 - 4. Suppose 17 = -l*y + 53. Solve y = n*x - 0*x for x.
4
Suppose 386 = 42*x - 202. Solve -6*j + 8 = x for j.
-1
Suppose -8*g = -14 - 10. Solve -2*d + 7 = g for d.
2
Let x be -6 - (-1)/(-2)*-4. Let f be 6 - ((-8 - x) + 4). Solve f = -0*g - 2*g for g.
-3
Let d = -46 + 51. Solve d*v - 22 = -2 for v.
4
Let w(c) = c**2 - 15*c + 5. Let y be w(0). Solve 0 = 14*z - y*z - 27 for z.
3
Suppose -9*i - 4*h = -5*i - 36, 0 = -i - 4*h + 15. Solve -i*m = -5*m + 10 for m.
-5
Suppose -4*l = 3*r - l + 42, 0 = -r - 4*l - 23. Let v(m) = 2 - m - 8 - 5 + 0. Let n be v(r). Solve n*q - q = 0 for q.
0
Let a(t) = t**2 - 4*t + 6. Let r be a(3). Suppose n = -r*k + 3, -4*n + 0 = -5*k + 22. Solve k*m = -4 - 2 for m.
-3
Let w(z) = z**3 - 2*z**2 + 3*z - 9. Let s(q) = -1. Let d(o) = -6*s(o) + w(o). Let g be d(2). Let n be 2/3 - (-7)/g. Solve -2*c = n + 7 for c.
-5
Let a(t) = 8*t - 45. Let z be a(6). Suppose -100 = -4*b - 4*d, -4*d - 34 + 114 = 3*b. Solve z*c + b = -c for c.
-5
Suppose -8*y + 5*y + 45 = 0. Suppose -4*w + 80 = 3*i, -65 = -4*w + 3*i + y. Solve c + 3*c - w = 0 for c.
5
Suppose -4*k - 88 = -4*d, -5*k = -5*d - 2*k + 120. Solve -6*i + d = 33 for i.
-1
Let v = 85 - 81. Suppose v*x + 22 = 26. Solve x = -0*q - q for q.
-1
Let v = 5831 - 5829. Let k = 10 + -6. Solve k = -t + v for t.
-2
Suppose -n = -5 + 2. Suppose -q + 4*q - 21 = n*v, 0 = 3*q + 5*v + 19. Let r be q - (3 - (4 + -2)). Solve -3 = -2*y - r for y.
1
Let i = -12 + 13. Suppose i = r - 3. Let f(k) = -k**3 + 3*k**2 + 3*k + 8. Let g be f(r). Solve 0*c - g*c = 16 for c.
-4
Suppose 0 = 3*z - 7*z + 12. Suppose -z*v + 2*s - 7 = -1, 5*v + 15 = 5*s. Solve v*d = -3*d + 6 for d.
2
Suppose 0 = -59*j + 54*j + 15. Solve -j + 2 = w for w.
-1
Let m(p) be the first derivative of p**3/3 + 7*p**2/2 + 8*p + 5. Let j be m(-6). Suppose q + j = 7. Solve q*n - 3 = -23 for n.
-4
Let y be (4/(-6))/((-1)/(128 + 1)). Suppose -105 = -5*v - 4*t, 0 = -3*v - t + y - 16. Solve 0 = 3*d - 8*d + v for d.
5
Let h be ((-5)/(-5))/(1/4). Suppose 4*k - 3*k = v + 1, -3*v - 4*k + 11 = 0. Suppose -v = -a + h. Solve a*r + 16 = r for r.
-4
Let w = -287 + 291. Solve w = 7*r - 3 for r.
1
Let a(j) = 2*j**3 - j. Let r be a(0). Suppose w = -r*w. Solve y - 3 + 1 = w for y.
2
Let h be ((-5)/(9 + -4))/(2/50). Let c = h - -27. Solve -a - c*a = -15 for a.
5
Let m(i) = 7*i - 6. Let z be m(-3). Let a be ((-20)/6)/(18/z). Solve a*f - 2*f = 3 for f.
1
Let q be 2/(-8) - 890/(-8). Let z be (5/(-5))/((-3)/q). Let x = z + -31. Solve -x*v - 25 = -v for v.
-5
Let c = -1541 + 1544. Solve c*n + 33 = 24 for n.
-3
Let k(m) = m - 1. Let o be k(-3). Let d = 6 + o. Suppose 0 = -d*c - c + 6. Solve 5*n = -8 - c for n.
-2
Suppose 4*j + 5*n = -4, 2*j + n - 19 = -15. Solve -2*t + 2 = -j for t.
3
Suppose 642 = -8*j + 706. Solve -j*b = 19 + 5 for b.
-3
Let u = 46 - 33. Solve 2 = 3*a - u for a.
5
Let i(x) = x**2 - 11*x - 38. Let n be i(15). Let t = -19 + n. Solve -2 = t*w - 17 for w.
5
Let y be 1/(-5)*(-1 + -14). Let r(n) = -12*n - 93. Let g be r(-9). Solve 0 = 2*q + y*q - g for q.
3
Let m = 15 + -83. Let n = 98 + m. Solve -5*b - n = -5 for b.
-5
Suppose 3*i - 50 - 47 = -4*x, 32 = i + x. Solve 13*j - i = 34 for j.
5
Let p(b) = 3*b**3 - 4*b**2 - b + 1. Let g be p(3). Suppose -g*x = -39*x - 12. Solve -8 = 5*o - x for o.
-1
Suppose 0 = -l + 5*y + 2 - 16, -4*l = 3*y - 36. Solve 2*w = -l + 2 for w.
-2
Suppose h = -i, 2*i - 4*h - 35 = -i. Suppose 47 = 2*g + i. Solve -5*o - 1 = -g for o.
4
Let u(z) = 2*z**2 + 18*z + 1. Let r be u(-8). Let h be ((-54)/r)/(-6)*-15. Let c be 3*2*(-4)/(-12). Solve -1 = -c*l + h for l.
5
Suppose 4*j - 4*y = 44, -j - 5*y = j - 8. Suppose 15 + j = 12*g. Solve g*i = 4*i - 10 for i.
5
Let g(h) = -3*h + 1. Let p be g(0). Let a be (3 + p)*(-4)/(-8). Solve 0*n = a*n for n.
0
Suppose -33*y = -35*y + 10. Solve -1 = -p - y for p.
-4
Let r be (0 - (1 - 2))*7. Let l = 4 + -1. Solve -r + 4 = -l*j for j.
1
Let q = -1 - -35. Let r = q + -29. Solve s - 12 = r*s for s.
-3
Suppose 14*t - 54 = -12. Suppose -3*v + 3*a + t = 0, a + 4*a + 2 = 4*v. Solve 0 = b - 0*b - v for b.
3
Let r(i) = -22*i + 114. Let p be r(5). Solve -p*w = -w + 6 for w.
-2
Let m(i) = 4*i**3 - i**2 + i. Let a be m(1). Suppose -a*w - 8 = -6*w. Solve -5*o - w = 1 for o.
-1
Suppose 0 = 7*t - 5 - 23. Suppose -t*s = -j - 23, 2*j + 3*j = s - 20. Solve -3*q + 11 = s for q.
2
Let l = -11 + 19. Suppose 0 = -l*q + 5*q + 12. Let g = 6 - q. Solve g*p = -p + 12 for p.
4
Let t be 16/(-2)*(-2)/(-4). Let k be t/(-6) - 40/(-12). Solve -f + 1 = -k for f.
5
Suppose 104 + 86 = 5*y. Suppose -l = -y + 34. Solve -3*p - l - 5 = 0 for p.
-3
Let f = -16 - -8. Let v = f + 8. Solve 0 = -4*h - v*h for h.
0
Let a = -399 - -402. Solve a*r + 4 = 7*r for r.
1
Suppose 14 = h - 3*h. Let a(m) = m**2 + 7*m + 9. Let t be a(h). Let w(k) = k**2 - 9*k. Let f be w(t). Solve -8 = 2*o - f*o for o.
-4
Let i be (44 - 44)*1/2. Solve 5*l - 25*l + 20 = i for l.
1
Suppose -112 = -2*j - 5*c, 0 = -2*j + 4*j - 5*c - 112. Solve 8*l - j = -16 for l.
5
Suppose -35*s = -32*s + 6. Let w be (-2 - s)/(1/2*-2). Solve w = 2*a + a + 12 for a.
-4
Suppose -40 = -44*n + 34*n. Solve 8 = -n*p + 6*p for p.
4
Let f(w) = 9*w - 105. Let a be f(12). Solve 6*p = 3*p + a for p.
1
Let t = -319 + 448. Let r = 129 - t. Solve 3*j + 4 + 5 = r for j.
-3
Suppose -2*z = 2*z + z. Suppose 2*h = -z*h, 0 = 2*p - 3*h - 10. Solve p*m + 4 = 24 for m.
4
Let a be 9/(-216)*-6*16. Let v(d) = -d - 1. Let t be v(-2). Suppose -2*x + 5 = t. Solve 0*k = x*k + a for k.
-2
Let v be 28*8/32 + -7. Solve -4*x = -4 - v for x.
1
Suppose -4*l = -2*v - 8, v + 14*l = 15*l. Let q(t) = -t**3 - t**2 - t + 5. Let y be q(0). Solve -a + y = v for a.
1
Let g be 18*(6/1)/12. Solve -g = 4*c - 25 for c.
4
Let y(g) = -g**2 - 2*g + 11. Let h be y(-4). Let q be h*4/(-30) - (-51)/15. Solve q*u = 2*u + 4 for u.
4
Let i(w) = -w**3 - 13*w**2 + 2*w + 29. Let g be i(-13). Let r be 2/g*(-8 - -17). Let q(s) = s**3 - 7*s**2 + 7*s - 6. Let z be q(r). Solve -4*x - x = z for x.
0
Let a be 7 + (10 + -6)*-1. Solve -11 = a*g + 4 for g.
-5
Let l(x) = -3*x - 4. Let h be l(-3). Let o = h + -1. Suppose z = -s - 3, -3*s = -2*z + 2*s + 15. Solve z = o*k - k for k.
0
Suppose -12*d - 59 = -155. Solve -4*m - d - 4 = 0 for m.
-3
Let z(x) = x**3 + 33*x**2 + 27*x - 110. Let h be z(-32). Solve 35 - h = -5*f for f.
3
Let i = -22 + 15. Let w = i - -9. Suppose p + 17 = 4*g - 0*g, -4*g + 5*p = -37. Solve w*s = g*s - 3 for s.
3
Let w(c) = -17*c - 542. Let x be w(-32). Solve 0 = d - x*d for d.
0
Let k(j) = 10*j - 3. Let x be k(2). Let i = 4 - -6. Let l = x - i. Solve -20 = -l*a + 3*a for a.
5
Let h(d) = -3*d**2 + 25*d - 42. Let y be h(6). Solve y = -7*g + 12*g - 15 for g.
3
Let n(x) = -3*x**3 - 16*x**2 + 16*x - 12. Let l(j) = 2*j**3 + 11*j**2 - 11*j + 8. Let q(c) = -8*l(c) - 5*n(c). Let w be q(-9). Solve 0*r + w*r + 25 = 0 for r.
-5
Suppose 4*g - 10 = 42. Suppose 0 = 3*u + 5*q - 13 + 3, -3*u - 3*q + 18 = 0. Let y = g - u. Solve -y*z - 12 = -0*z for z.
-4
Suppose 13*u - 42 = 10*u. Suppose 2*q + u - 229 = -3*w, -15 = 3*q. Suppose -3*o = 2*o - w. Solve -4*i = -i + o for i.
-5
Suppose -2*w = 2*j - 3*j - 19, 2*j + 3*w + 3 = 0. Let y = j - -14. Suppose y*u - 24 = u. Solve g = -g + u for g.
3
Suppose 2*s + 45 = 7*s. Suppose 4*f - 32 = -2*t, -5*f - t + 26 = -2*t. Let w = s - f. Solve w*u + 3 = -9 for u.
-4
Let p(y) = y**3 + 5*y**2 - 3*y - 12. Let c be p(-5). Solve 6 - c = r for r.
3
Let s = -62 - -72. Solve -87*k = -82*k - s for k.
2
Suppose -5*m = -4*r + 84, 24*r - 25*r - m = -12. Solve 9*g + 2 + r = 0 for g.
-2
Suppose -4*t = -3*n + 49, 29 = -4*n + 7*n + t. Suppose 5*a = n*a - 60. Solve -4*m + 2*m + a = 0 for m.
5
Let n(k) = k**3 - 6*k**2 - 10*k + 23. Let j be n(7). Suppose 2*t - j = 4. Solve t = 3*o - 3 for o.
2
Let z(i) = 2*i**2 + 5*i - 4. Let t = 101 + -105. Let f be z(t). Solve m - f = -m for m.
4
Let v(g) = -2*g**2 + 4. Suppose 3*t + 4