-q*d = -d for d.
0
Let h(b) = b**2 + b + 1. Let y be h(-2). Suppose -y*t = 2*t. Suppose -g - g = t. Solve i = -g + 1 for i.
1
Let y(b) = -b**3 + 14*b**2 - b + 20. Let r be y(14). Solve r*k + 1 = 5*k for k.
-1
Suppose 30*u - 24*u = 0. Solve u*i = -i - 5 for i.
-5
Suppose 4*b - 2*z + 0 = 30, -2*z = 6. Let s = -5 + b. Let f be (-30)/(-3) - (1 - s). Solve f = y - 3*y for y.
-5
Suppose 0*d - 6 = -2*d. Let w = -2 - -3. Let j = d - w. Solve -j*p + 7*p + 5 = 0 for p.
-1
Suppose -7 - 1 = -4*g. Suppose 3*w = -g*q + 6, 3*w + 4*q = 2*w + 2. Let o be -8*(15/4 + -4). Solve 0 = -w*c - o - 0 for c.
-1
Suppose -5 = -4*u - 5*f - 0*f, -4*u + 32 = -4*f. Solve u*w = 9 + 11 for w.
4
Suppose -s + 2 = -1. Let i = s + -1. Solve -5*y - 8 = i for y.
-2
Let n be ((-1)/(-2))/((-1)/(-8)). Let q = 11 + -8. Suppose -q*j = -n*j + 7. Solve 2*s = j*s for s.
0
Let t = -17 + 26. Let f = -4 + t. Solve 0*w - 5 = -f*w for w.
1
Let c be (-1)/(-4) - 161/(-28). Solve 3*v - 5*v = c for v.
-3
Let l(h) = 6*h**3 - h**2 + 4*h - 4. Let v be l(1). Solve -v*k = 25 - 0 for k.
-5
Let s = 6 - -3. Suppose 0 = -2*j - 5*p - 0*p + 11, -2*j = 3*p - s. Suppose -w = j*w. Solve 4*m + m - 5 = w for m.
1
Let d = -27 - -30. Solve d*n - 4 = 4*n for n.
-4
Let u = -5 - -8. Suppose 7*w - 16 = u*w. Solve 1 = -3*l + w for l.
1
Let p = -4 - -6. Suppose 4*w - g = p*w + 51, -3*w = -4*g - 74. Suppose -5*f + 5*k - 11 = -2*f, 0 = 2*f + 5*k - w. Solve -f*h - 4 = -1 for h.
-1
Let o be (-5)/(-25) - ((-22)/(-10) - 3). Solve -2*i + 1 + o = 0 for i.
1
Let c(t) = -6*t - 2 + 8*t + 1. Let w be c(3). Solve l - w*l + 12 = 0 for l.
3
Suppose -5*b + 4*v + 9 + 7 = 0, 0 = 2*b - 2*v - 8. Solve -7*z + 2*z = b for z.
0
Let p be 63/4 - (-4)/16. Suppose -3*z - z = -p. Suppose -3*j = z*a - 56, j = -a - 9 + 27. Solve -m - 3*m - j = 0 for m.
-4
Let k = 3 - 0. Let l = k + -3. Let y be 4*6/8*2/2. Solve -s = -y - l for s.
3
Let m be (-1 - (-1 - 1)) + -10. Let i = -4 - m. Suppose 0 = 4*x - i*q + 2, 2*x + 5*q = 14. Solve -4*t = -x*t for t.
0
Suppose 5*x = x - 48. Let y = x + 30. Suppose -3*q + 4*l = -y, 4*l = 3*q + 3*l - 18. Solve -q = 2*i + i for i.
-2
Let d = 14 + -14. Let r be (-2)/5 - (-3)/(-5). Let h = d - r. Solve 1 + h = -w for w.
-2
Let t = -2 + 4. Suppose -4*a + 3*v - 3 = 0, -t*a - 3*a + 5 = -2*v. Solve 10 = y - a*y for y.
-5
Suppose -l = -2*d - 2*l + 11, 4*l = 12. Suppose 0 = m - 3*a + a + 3, d*m - 28 = -2*a. Solve 2*g = 7*g + m for g.
-1
Let y be (44/(-77))/((-1)/7). Solve y*z + 0 = 20 for z.
5
Suppose 17 - 29 = -2*s. Solve 3*k - k + s = 0 for k.
-3
Let c(d) = d**3 - 8*d**2 + 14*d - 9. Let w be c(6). Solve w*z - 4*z = 0 for z.
0
Let j = -4 - -7. Let w be j/12 + (-22)/(-8). Solve 0 = w*d - d for d.
0
Let a(j) = -j**3 + 12*j**2 + 12*j + 16. Let b be a(13). Solve b*g - 13 = -4 for g.
3
Let m(o) = o**3 + o**2 - 5*o + 1. Let j be m(2). Solve -c + 4 = -j*c for c.
-2
Let p be (-3)/(-2)*(-8)/(-3). Let r(o) = -2*o + 13. Let d be r(6). Suppose -p*u + d + 15 = 0. Solve 0 = 5*v - u*v - 4 for v.
4
Suppose 0 = 4*q + 1 - 29. Let s = 11 - q. Solve -s*m = -m for m.
0
Let u be (4/(-5))/(4/(-10)). Solve u = 5*x + 7 for x.
-1
Let h(p) = -3*p + 2. Let q(r) = -7*r + 5. Let b(a) = -5*h(a) + 2*q(a). Let d be b(3). Solve -2 = 5*k + d for k.
-1
Let g = -7 + 7. Let m be g*((-6)/(-3))/(-6). Suppose 0 = n - 2*n. Solve m = -n*t - t + 2 for t.
2
Let w be (-20)/6*3/(-2). Let a(j) = 19*j. Let h be a(1). Solve w*g + 4 = h for g.
3
Let t(x) = 2*x + 1. Let j(d) = -d**3 + d**2 + 2. Let n be j(0). Suppose -w + 2*k + 4 = 0, -5*w + n*k = -0*k - 20. Let o be t(w). Solve q - 4*q + o = 0 for q.
3
Suppose w - 5*w - 25 = -5*h, -w - 4*h = 22. Let f = 3 + w. Let i be 7 + f - 0/2. Solve i = 2*c + 6 - 0 for c.
-3
Let i be (-7 - -3)/(2 + -4). Solve i*w - 2 = -4 for w.
-1
Suppose 2*d = -4*g + 22, -3*d - 2*g + 38 = d. Let r = d - 5. Solve 4 = 5*c - r*c for c.
4
Suppose p + 29 = -f - 2*f, p - f + 13 = 0. Let v = -14 - p. Solve -v*n = -0*n for n.
0
Let u(m) = -m. Let g be u(4). Let s be (-3)/(6/(-4)) - g. Let p = 9 - s. Solve p = 5*q + 13 for q.
-2
Suppose a + 1 = 4*k, -2*k - a = 2*k + 1. Let l(t) = -17*t - 5. Let r be l(3). Let x = r + 81. Solve k*w + 5*w - x = 0 for w.
5
Let j(c) = -3*c - 28. Let t be j(-11). Solve -2*w + 5 + t = 0 for w.
5
Let o = 6 - 1. Let s(l) = -l**3 - 11*l**2 - 19*l + 14. Let j be s(-9). Solve -o*f - j = -3 for f.
-4
Let b = 0 + -2. Let s be (2/(-4))/(b/(-108)). Let d be 6/s + 101/9. Solve -2*f - 3 = -d for f.
4
Let x(q) = q**3 + 3*q**2 + q + 14. Let r(c) = -6*c**3 - 16*c**2 - 5*c - 71. Let i(j) = 2*r(j) + 11*x(j). Let p be i(0). Solve 5*l - l - p = 0 for l.
3
Let m(t) = -2*t - 1. Let z be m(2). Let p(n) = -n**2 - 6*n + 1. Let i be p(z). Let h = 11 - i. Solve 15 = 2*o - h*o for o.
-5
Let i = -4 + 10. Suppose 0 = -h + 4 + i. Let p(x) = -x + 11. Let v be p(7). Solve -v*y + 2*y = h for y.
-5
Suppose -25 = 2*z + 3*z. Let v = 8 + z. Solve -v*h + 0 = -3 for h.
1
Let a be 0 + 2 + (-2)/2. Let s be 5 + (a - 7)/3. Solve -5*z = -s*z + 2 for z.
-1
Let k(p) = 3*p + 4. Let i be k(0). Solve -i = -s - s for s.
2
Suppose -10 = -t - k, 3*t - t + 4*k = 24. Solve -4*l + 0*l + t = 0 for l.
2
Suppose 5*m - m + 28 = 0. Let x = m + 12. Suppose 0 = 3*o - 41 - 7. Solve -1 = -x*c - o for c.
-3
Suppose 3*p - 15 = -3. Solve 4 = p*c - 0 for c.
1
Let t be 4 - 17/4 - 2/(-8). Solve t = 4*c - 3 + 23 for c.
-5
Let h be 6/(-24) + (-82)/(-8). Suppose 3*f = -4*j + 32, 10 = 4*j - h. Suppose 4*s = -2*b + 44, -9 - 47 = -3*b + f*s. Solve 0 = 4*t + t - b for t.
4
Let g be (0 - -1*1) + -1. Let s(o) be the second derivative of o**4/12 - 5*o**3/3 + 5*o**2/2 + 2*o. Let w be s(10). Solve 5*i + g = -w for i.
-1
Suppose 3*u - 20 - 1 = -3*a, 3*a - 16 = -4*u. Let w be 7/3 - 4/12. Solve w*x + x = a for x.
4
Let g = 19 + -10. Let t be (12/(-27))/(6/(-27)). Suppose 3*u = -b - t*b - g, -5*u - 16 = 4*b. Solve 2*s - b = 3*s for s.
-1
Suppose -4*p = 3*l - 5*l - 12, 5*l - 6 = p. Let w be (1/l)/1*0. Solve w = g + g - 2 for g.
1
Let u = 34 + -24. Solve 4*o - 2 = -u for o.
-2
Let i(y) = 22*y**2 + y. Let p be i(1). Let b be (-550)/40 + 2/(-8). Let t = b + p. Solve -4*x - t = -1 for x.
-2
Let y(c) = 2*c**2 + 6*c - 4. Let h be y(-5). Let f be (9/(-12))/((-1)/h). Solve -5*g - f = 13 for g.
-5
Let g = 20 + -14. Let f be (-2)/g - 112/(-12). Let d = f - 5. Solve -4*r = -d - 0 for r.
1
Let a be 5 - (1 + (0 - 0)). Let y be (a + 1)*84/20. Let z = -13 + y. Solve -4*h + z = -4 for h.
3
Let x = 3 - 1. Let r(n) = n**2 - 14*n + 34. Let t be r(11). Solve -k - t = -x*k for k.
1
Let y be -15*1/(-3) - 2. Let d be y*-6*1/(-9). Solve -d*w = 2*w - 4 for w.
1
Suppose 256 = 9*k - 14. Solve 4*d - 10 = -k for d.
-5
Let r(p) = -p**2 + 6*p + 2. Suppose -5*o + 4*j = -50, -4*j = -0*o - 3*o + 38. Let t be r(o). Solve -3 - t = -h for h.
5
Let m(n) = -28*n + 1. Let y be m(1). Let q be y/(-6) + 2/(-4). Suppose 2*x + 4*i + 8 = 0, 0 = -x - 2*i + 4*i + 12. Solve q*d + 4 = -x for d.
-2
Let c(o) = -o**3 - 10*o**2 - 9*o + 8. Let a be c(-9). Suppose -s = -0*s + 2, 2*s + a = 2*z. Solve z*d + 0 = -8 for d.
-4
Suppose -11 = -5*k + 19. Suppose -2*i + k = i. Solve 15 = -5*w + i*w for w.
-5
Suppose 0*l - l - 5*a - 20 = 0, -4*l = -5*a - 20. Solve l = -4*v + 12 + 8 for v.
5
Suppose 60 = 5*l - n, 3*l - 5*n - 24 = -2*n. Suppose -2*r + l + 1 = 0. Let a = r + -1. Solve -2*p = -4*p - a for p.
-3
Let z = 1 + 5. Solve -4 = 2*k - z for k.
1
Let r(c) = -c + 14. Let j be r(-6). Solve 0 = -0*h + 5*h - j for h.
4
Suppose -5*a + 30 = -0*a. Solve -3 = -3*d - a for d.
-1
Suppose -4*p = 8 - 28. Suppose 74 = -p*m + 349. Suppose 0 = -5*k + 3*b + 35, -5*b + 8*b = -4*k + m. Solve 0 = -n - 4*n + k for n.
2
Let l be (-1*1)/((-17)/391). Suppose 5*p = -13 + l. Solve p*r + 12 = -r for r.
-4
Let j(l) = -l**2 - 26*l + 60. Let n be j(-28). Solve -d - 15 = -n*d for d.
5
Let u be ((-4)/7)/(2/(-7)). Suppose 0 = -u*q - 2*q + 4. Let o = q + 4. Solve -o - 11 = 4*i for i.
-4
Suppose v - 122 = -5*f, -73 - 58 = -5*f + 2*v. Let k be f/2 + (-6)/12. Let j be (0 + -3)*(-8)/k. Solve 23 = -5*h - j for h.
-5
Let o(z) = z**2 + 10*z + 2. Let a be o(-11). Let l(c) = -c + 25. Let g be l(a). Solve 2*t = -t + g for t.
4
Let t = -3 - -6. Solve -3*n + t - 6 = 0 for n.
-1
Let b(l) = 3*l**3 - 4*l**2 + 2*l + 3. Let p(g) = -g**2 - 8*g - 9. Let i be p(-6). Let v be b(i). Let j be v/7 - (-2)/7. Solve j = u + u for u.
4
Let j 