 t.
-5
Let k = 11 - 12. Let y be (3 - 3)/2*k. Solve -q - 1 = -y for q.
-1
Let v(j) = -7*j**3 + j**2 + 4*j + 7. Let f(d) = 11*d**3 - d**2 - 6*d - 11. Let u(i) = -5*f(i) - 8*v(i). Let p be u(3). Let m = 1 - p. Solve -n + m = n for n.
4
Let n(s) = -s**2 - 8*s - 1. Let b be n(-8). Let r be (7 + b)/(-10 - -12). Solve -r*u - 15 = 2*u for u.
-3
Let z(a) = a**3 + 8*a**2 + a + 8. Let l be z(-8). Suppose g + 0 - 3 = l. Solve 0 = -g*b - b - 4 for b.
-1
Let w(v) = -v**2 + 7*v + 4. Let o be w(6). Suppose -2*r - o = -40. Let i(f) = -f**3 + 4*f**2 - f - 4. Let x be i(3). Solve r = -y - x*y for y.
-5
Let k be ((-12)/6)/(4/(-10)). Solve 1 = -m + k for m.
4
Let v be ((-1)/2)/((-2)/8). Suppose 2*m - b - 10 = b, -4*b - 20 = v*m. Solve 0 = x - m - 3 for x.
3
Let c be 1/1*3 - 0. Suppose -t - 4*p = 18, 5*p - 1 = c*t - 15. Let z be t/6 - 39/(-9). Solve m + 0 - z = 0 for m.
4
Let v(r) = r**2 - 4 + 4 + 4*r + 2. Let j be v(-4). Suppose -j*l = -7*l + 55. Solve 3*b = 4 + l for b.
5
Let k = 6 + -4. Suppose -k*i = -0*i. Solve 4*v + 0*v + 12 = i for v.
-3
Suppose 3*p = -4*r, 2*r = 4*r + p. Solve 2*k - 5 - 5 = r for k.
5
Suppose 2*u + u = 0. Suppose -2*l = -4*i - 20, l + i - 1 - 9 = u. Solve s - l = 6*s for s.
-2
Suppose -3*b = -2*b - 9. Solve -2*z = -5*z - b for z.
-3
Suppose 0 = c + d + 11, -2*d - 2 - 29 = 3*c. Let s = c + 9. Solve 4*h + 8 = -s*h for h.
-2
Suppose z - b - 12 = -2*b, 4*z + 3*b - 44 = 0. Solve -s - 3*s + z = 0 for s.
2
Suppose -20*o + 16*o = 0. Solve o = t - 4 + 2 for t.
2
Suppose -3*i + 4*o + 7 = 0, 0 = 5*i - 0*o - 4*o - 9. Solve -g - i = -5 for g.
4
Suppose -3*j + 0*j = -0*j. Solve 2*t = -j*t - 8 for t.
-4
Let o(n) = -n + 7. Suppose 12 - 47 = -5*i. Let f be o(i). Solve f = -3*m - 2*m for m.
0
Suppose 0 = 17*g - 121 + 19. Solve -4*y + 2*y + g = 0 for y.
3
Suppose -2*k - 10 = 0, 0 = 5*w + 3*k + k + 10. Suppose 5*g + w*c + 8 = -11, -3*g = -c + 7. Let z = -1 - g. Solve 2 = z*o - 2 for o.
2
Suppose 45 = 8*g + 5. Suppose -t + 4*t - 33 = 0. Solve t = -g*k - 9 for k.
-4
Let r be -1 - (-1*6)/2. Solve 0*a = r*a - 4 for a.
2
Suppose 4*i + 0*i = 0. Suppose 0 = -b - 4*b. Let v be i/(1 + b + -2). Solve v = -3*w - 0 - 6 for w.
-2
Let d be (0 - -2)/((-3)/(-3)). Solve d*w = -3*w + 20 for w.
4
Let s be (36/10)/(4/30). Suppose 4*p = 7*p - s. Let j = p + -7. Solve -j*o = -5 - 1 for o.
3
Let w be 4/(-1*(-5)/20). Solve -5*x - w = -1 for x.
-3
Let z = -32 - -26. Let p(t) be the first derivative of -t**4/4 - 7*t**3/3 - 3*t**2 + 5*t + 1. Let q be p(z). Solve q*k + 1 - 21 = 0 for k.
4
Let p(x) = -32*x. Let s(j) = 385*j. Let r(h) = -49*p(h) - 4*s(h). Let n be r(-1). Let y be (-8)/n + 2/(-7). Solve -4*q = -y*q for q.
0
Suppose -6*d + 2*d + 12 = 0. Suppose -4*s - i + 2*i + 13 = 0, 0 = d*i + 3. Suppose -5*w = 3*b + 5, s - 2 = -2*b - w. Solve b = -0*y + 2*y for y.
0
Let v be (-24)/(-32) - 6/8. Suppose -4 = -p - v*p. Solve -p*j + 4 + 4 = 0 for j.
2
Let p be ((-1)/2)/((-3)/12). Suppose -3*f + p + 7 = 0. Solve 0 - f = 3*g for g.
-1
Let c be 1 - (-1 - 0) - 9. Let h = c + 7. Suppose q = -3*g + 17, 0 = 2*q - h*g + 4*g - 28. Solve -q = 4*d + 4 for d.
-3
Let t(z) = z**2 - z - 6. Let x be t(5). Let i(u) = u + 14. Let f be i(-14). Solve -5*h + x - 4 = f for h.
2
Suppose 0 = -2*j + 13 - 9. Solve j*l + 4 = 4*l for l.
2
Let b(i) = i**2 + 4*i + 3. Let h be b(-6). Let r be (-1)/(-3) - (-40)/h. Suppose f - 16 = -r*d, d - f = -0*d. Solve 0*x = x + d for x.
-4
Let q be 0*2/(-7 + 3). Let p be 0/((-3 - 0) + q). Solve 0*v - 4*v = p for v.
0
Let a be (-4)/(13 - 1) - 38/(-6). Let i(o) = -o**2 + o. Let g be i(1). Suppose -3*b + 7 - 1 = g. Solve b*t - a*t = 0 for t.
0
Let c = -86 + 88. Solve 0 = k - c + 1 for k.
1
Suppose 0*f = -3*f + 5*t + 11, 4*f - 4*t = 12. Let u(x) be the second derivative of x**3/3 + x. Let a be u(f). Solve -a*w = -0*w for w.
0
Let a(b) = b**2 - 2*b - 6. Let j be a(4). Solve -j = -4*w + 2*w for w.
1
Let c = 6 - 2. Solve -2*g - 6 = c for g.
-5
Let l(o) = o**2 + 4*o. Let g be l(-4). Suppose -2*z + s + 2*s + 3 = g, 1 = -z - s. Solve -1 = -d - z for d.
1
Suppose 21 = d + 5*v, -d - 5*v + 33 = 2*d. Solve -q - d = q for q.
-3
Suppose -4*v + 3 - 7 = 0. Let r be v + 3 + (3 - -13). Suppose -2*l + r = -4*o, -5*l - 2*o = -2*l - 11. Solve -13 = -l*y + 7 for y.
4
Let k = -1 + 5. Suppose 2*d - k - 12 = 0. Let s be d/(-20) + (-4)/(-10). Solve -5*v + s - 5 = 0 for v.
-1
Let r = 57 - 50. Solve 2*w - 5 = -r for w.
-1
Suppose -3 = -w - 1. Suppose -k + 2*a - 12 = -3*k, -2*a = 3*k - 16. Suppose -w*y + k + 4 = 0. Solve y = n + 1 for n.
3
Let a(h) = h**2 - 7*h + 8. Let k be a(6). Suppose 0*d - 8 = -k*d. Solve -25 = d*p + p for p.
-5
Suppose 7 = -2*c + 13. Suppose n + 3*x - 19 = 0, -6*n + 3*x - 3 = -c*n. Solve -d + 1 = -n for d.
5
Suppose -3*n - 20 = -5*n. Suppose 5*x = 4*u - 14 - 106, 3*u + x = 109. Solve n = -5*m + u for m.
5
Let u = -9 + 12. Let q = 7 + -4. Suppose 4*s = -q*z - 4, u*s - 5 = -17. Solve 2*x - z = 2 for x.
3
Suppose -4*t = -2*t + 5*i + 6, 5*t - 2 = -4*i. Suppose t*j = -4*z - 22, -5*z - 42 = -j - 4. Let l = 9 - z. Solve 0 = -x + 5*x - l for x.
4
Let p be 1*4/(-3)*-3. Suppose -2*n + 5*c + 32 = 0, n = p*c - 8 + 27. Suppose 3*k + 2*v - 3*v - n = 0, 4*k - 4*v = 20. Solve 5 = k*s + 2*s for s.
1
Let o(d) = -5*d + 1. Let j(p) = -p. Let b(w) = -3*j(w) + o(w). Suppose -8 = 4*q - 0*q. Let z be b(q). Solve z = -3*y + 2 for y.
-1
Let s be (-18)/(-4) - (-3)/(-6). Let c be 1*6 + s + -1. Solve 3 = -3*z - c for z.
-4
Let g = 4 - 4. Suppose -3*w - 2 = z, -3*w - 6 = w + 3*z. Let o = w - g. Solve 2*p = -o + 6 for p.
3
Let l(w) = -w - 8. Let x be l(-10). Let o = x + 3. Solve o*u = u - 12 for u.
-3
Suppose 2 = -y - c + 8, 5*c = 3*y - 2. Solve 2 + y = 2*h for h.
3
Suppose 5*q = 0, 3*q = -5*g + 6*q + 25. Suppose 25 = 5*v + 5*u, 2*u + 0*u = 6. Solve 18 = g*a - v for a.
4
Suppose -5*g + 52 + 18 = 0. Let c = g - 7. Solve -5*s - c = 13 for s.
-4
Let j be 1/(-4)*36/(-9). Let a = j + -1. Solve -4*i + 23 - 7 = a for i.
4
Let x = 61 - 56. Solve l + 3 = x for l.
2
Suppose 11 = 3*o + 5. Solve -4 = 2*z - o for z.
-1
Suppose 5*p - 88 = -73. Solve -17 - p = 5*i for i.
-4
Let s = -70 + 72. Solve -4 = -s*a - 2 for a.
1
Let s = 79 - 72. Solve 3*i - 20 = s*i for i.
-5
Let q(y) = y - 3. Suppose 0 = -h - 2 - 2. Let n be ((-2)/h)/(5/60). Let f be q(n). Solve -f*v + v = 0 for v.
0
Suppose 0 = -3*i + 2*k + 2*k + 6, 4*i - 8 = 4*k. Solve -i*d - 1 = -9 for d.
4
Let p be (-4)/4*5*1. Let m(o) = o**2 + 5*o + 3. Let x be m(p). Suppose 0 = -x*n + 6*n. Solve -3*z - 15 = -n*z for z.
-5
Let q be (-1 - -1)*3/(-9). Solve q*f = f + 3 for f.
-3
Suppose 3*t - 12 = 0, y = -2*y + 4*t + 32. Solve 4*n + y = -4 for n.
-5
Let k be 9/(45/10) - (2 - 2). Solve k*i = -0*i for i.
0
Let a = 6 - 6. Suppose a*f + 6 = 3*f. Solve -2 + 6 = f*c for c.
2
Suppose 2*h - 6 = -b, b + 2*b + 4*h = 16. Suppose -16 = -b*g + 4. Solve 5*t + 0*t - g = 0 for t.
1
Let k = -12 - -13. Solve 2*l = -5 - k for l.
-3
Suppose 24 - 4 = 5*i. Solve z = i*z + 15 for z.
-5
Let r be (-3 + 0)*1/3. Let h = 6 + r. Suppose 26 = u + 5*i, h*i - 2*i = -4*u + 70. Solve y = 5*y - u for y.
4
Let w(g) = -g**3 + g**2 - g + 1. Let k(y) = 4*y**3 + 2*y**2 + 8*y - 1. Let f(t) = -k(t) - 3*w(t). Let p be f(-4). Solve 0 = p*d + d + 15 for d.
-5
Let s be (10/(-6) - -1)*3. Let d(a) = 3*a**2 + 2. Let h be d(s). Let c be 0 + -2 + 3 + h. Solve -4*l = l + c for l.
-3
Let j be 4*-2*(-3)/12. Suppose -m - j*m + 30 = y, -3*m = -15. Suppose -y - 33 = -4*g. Solve -3*d - d = -g for d.
3
Let g = -168 - -180. Solve -10*b = -4*b - g for b.
2
Let n be 4*(3/1)/6. Let y be 2 + (-2*2)/2. Suppose -5*l + n*p + 19 = 0, y = l - 2*l + p + 2. Solve l*s = -0*s - 20 for s.
-4
Suppose 5*a = -i - i - 8, 5*i + 20 = 0. Solve a*h - 2 = -h for h.
2
Let b = 27 - 19. Solve 3*c + b = -4 for c.
-4
Let x be ((-3)/6*0)/2. Let g = x - -2. Suppose -2*v - 17 = -5*f - 4*v, 3*f - 11 = -g*v. Solve -2*w = -f*w - 3 for w.
-3
Let w = -158 + 161. Solve -2*k - w*k + 10 = 0 for k.
2
Let a = -15 + 11. Let z be a*(22/(-8) - -2). Suppose m - z*m = -6. Solve 2*i + m = -3 for i.
-3
Let n be 2 - 1 - 0 - -17. Let i be 0/(-1) - (1 - 26). Let f = i - n. Solve -4*s = -f*s + 15 for s.
5
Let t be -2 + 1 - (0 + -11). Suppose 0 = -2*m - 1 + 5. Let q = 2 - m. Solve q = 6*g - g + t for g.
-2
Let w = -9 + 8. Let m = 4 + w. Solve -v + 16 = m*v for v.
4
Suppose -4*j + 2*y + 6 = -4, -y =