x + 25. Solve -n - 3 = h*t for t.
-2
Suppose 75 = -5*i + b, -4*i + b + 21 = 81. Let f be (-3)/i + 28/10. Suppose 7 + 53 = 5*j. Solve f*x + 0*x + j = 0 for x.
-4
Suppose 5*q - 8 = 3*d, 3 = -3*q + q - 5*d. Let y be 1/q*(2 + -1). Suppose -5*g = u - y - 0, -u + 1 = 0. Solve g*f = -f - 4 for f.
-4
Let b = -29 + 29. Solve b = 3*g - 0*g + 3 for g.
-1
Let i = 93 - 81. Solve 4*q + i = -0*q for q.
-3
Let g = 14 + -9. Suppose 20 + 0 = g*d. Solve 1 = 5*c - d for c.
1
Let k = 20 - 10. Solve c = -c - k for c.
-5
Let l = 37 - 37. Solve l*a + 4 = a for a.
4
Suppose i = o + 1, -3*o + 3*i + i - 7 = 0. Solve -k - o = -2 for k.
-1
Suppose 0*t = t + 2, z = 2*t + 14. Let o = -7 + z. Let p be o/1*6/9. Solve 4*k - 2*k = -p for k.
-1
Let n = 68 - 57. Suppose -d = 4*o - 11, -4*o - 4 = 3*d + d. Solve -1 = -o*w + n for w.
3
Let p be 63/105 - (-4)/10. Let i = 1 + 0. Suppose -p - i = -y. Solve y*z + 4 = 4*z for z.
2
Let c be ((-4)/10)/((-1)/10). Suppose j + j - 16 = -4*p, 2 = -3*p + 2*j. Solve 0*m + c = p*m for m.
2
Let k = -75 + 75. Solve -p = -k - 2 for p.
2
Suppose -2 - 1 = z, 14 = 2*a - 2*z. Solve -a*s = s - 10 for s.
2
Let f(j) = -3*j - 11. Let l be f(-5). Solve -l = 4*a - 0 for a.
-1
Suppose -2*r + 48 = 2*r. Let x = r + -8. Let m(d) = d**3 - 12*d**2 + 11*d. Let t be m(11). Solve t = x*g + 4 + 4 for g.
-2
Let c(u) = u**2 - 12. Let v be c(-4). Solve -v*m - 20 = -0 for m.
-5
Let f = 29 + -5. Suppose -f*i + 22*i + 6 = 0. Solve i*v - 2 = v for v.
1
Let k be 0 + -2 + 3 + 2. Let j = k + -1. Suppose -j*a + 3*a = 0. Solve 0 = -a*l + l for l.
0
Suppose 5*n - 2*n + 3*q - 27 = 0, -12 = -4*q. Let p = -1 + n. Solve b + 1 - p = 0 for b.
4
Let o be (-24)/10 + (-6)/(-15). Let u be (o/4*0)/2. Solve u = v - 3 - 2 for v.
5
Let s be (-1 + (-1 - -1))*-2. Suppose v = -s*v + 6. Solve 0 = -v*f - 13 + 5 for f.
-4
Suppose 0*u + u = 5*n + 30, -4*u - 5*n = 5. Solve -2*t + u = -t for t.
5
Let v = 9 - 9. Solve v = 2*i - i for i.
0
Let q be ((-4)/(-4) - 1) + (0 - -2). Suppose 7*y - 4*y - 6 = 0. Solve -l + q*l = y for l.
2
Suppose -5*m - 4*p = -3, -m + 3*p + 15 = 3. Solve -m = -x + 2 for x.
5
Let p(w) = -w**3 + w**2 + w - 1. Let v be p(1). Suppose v = -2*j - 8 + 22. Suppose j*q = 5*q + 40. Solve 0 = 4*s - 0*s + q for s.
-5
Let c be 3*((-7)/(-3) - 1). Suppose 0 = 2*v - n + 21, 7*v + 52 = 3*v + c*n. Let p(r) = -r**3 - 7*r**2 + 7*r - 7. Let f be p(v). Solve -3*h - f + 16 = 0 for h.
5
Suppose -2*j + 12 = 2. Suppose -g - 5*w + 18 = 0, -j*g = 3*w + w - 27. Let y(a) = a**2 - 5*a - 6. Let o be y(6). Solve o = -4*p + p - g for p.
-1
Let m be (-1 - 3/(-4)) + 2/8. Solve -4*f + 19 - 3 = m for f.
4
Let a = -14 + 15. Solve -a = -5*s + 4*s for s.
1
Let k be ((-6)/21)/((-2)/14). Let m = 4 - k. Suppose 3*a - 50 = -m*a. Solve 0 = 3*i - i + a for i.
-5
Suppose 0*o - 24 = 4*o. Let y = o + 6. Solve y*c - 4 = -4*c for c.
1
Suppose 5*j - 12 = 58. Let k = -12 + j. Solve 0*q + 10 = k*q for q.
5
Let k = -25 + 35. Let g be k/(-4)*(-6)/5. Let b = 11 + -9. Solve z = -b*z - g for z.
-1
Let k = -6 + 6. Let g be 16*(0 - (-1 - k)). Solve 2*n + 2*n - g = 0 for n.
4
Let o = 31 - 27. Solve -4*n + 12 = -o for n.
4
Let i = 1 + -1. Suppose 3*x + 2*x = 45. Let g(v) = v**2 + 4*v - 2. Let r be g(-5). Solve -r*a + x - 3 = i for a.
2
Suppose 5*d - y - 30 = -6*y, 2*y - 20 = -3*d. Solve -d = -4*o + 4 for o.
3
Let d(n) = -4*n**3 - n**2 + 1. Let u be d(-1). Solve 0 = -z - 0 + u for z.
4
Let a = 4 + -2. Suppose -10 = -a*x - 0. Solve -2*t = -x - 5 for t.
5
Let n be 6/33 - 648/(-66). Solve -3*v = 2*v + n for v.
-2
Suppose 1 = -n + 6. Let u be (0 + -1)/(1/4). Let q be 10/(-1 - 6/u). Solve n*s + q = s for s.
-5
Suppose 4*u - 14 = -2*r, -4*r = 5*u + r - 5. Solve -2*y = -u*y - 16 for y.
-4
Let a = 12 - 12. Solve 0*n + 2*n - 4 = a for n.
2
Suppose q = 3*a - 2*a + 8, -2*q = -3*a - 19. Suppose -3*c + 3*o = -15, -9 - 16 = 3*c + q*o. Solve 5*d + 6 + 19 = c for d.
-5
Let v(i) = i**3 - 8*i**2 - 8*i - 2. Let y be v(9). Solve 11*m = y*m - 8 for m.
-2
Let f be 2/2 - (-10 - 8/2). Suppose 25 = -q - 4*q - 4*r, 0 = 3*r. Let n = f + q. Solve -n = 5*l + 15 for l.
-5
Let b(i) = -i + 9. Let m be b(4). Suppose 9 = m*a - 2*a. Solve -a*u = u - 4 for u.
1
Suppose -w + 0 = 2. Let a be 2/(-2)*(-55 - w). Suppose -2*g + 3*t = -a, -t + 48 = 2*g + t. Solve 8*i = 3*i + g for i.
5
Suppose 2*j - 2*v = 10, v + v = -5*j - 10. Suppose j*y = y - 2. Suppose -y*g = 2*g. Solve g = -0*b - 2*b + 4 for b.
2
Let b = 20 - 19. Solve -s = -b - 3 for s.
4
Let i = -9 + 14. Solve 10 + 10 = -i*y for y.
-4
Suppose 5*p + 11 = -4*x - 0, 2*x = -5*p - 13. Let w be (6/(-9))/(p/18). Suppose 3*c + c = 3*r + 14, 20 = w*c. Solve r + 3 = z for z.
5
Let v(f) = 9*f**2 - 1. Let w be v(-1). Solve w*j + 4 = 4*j for j.
-1
Suppose 1 = -x - 2*b - 10, 24 = x - 5*b. Let a = -37 + 40. Let n = x + a. Solve 0*i = -n*i for i.
0
Suppose 7*g = 4*g - 12. Let a be g/4*0/2. Suppose -1 = b - 3. Solve a = 2*u - u + b for u.
-2
Let x(m) = m**2 + 2*m - 6. Let t be x(-5). Solve -t = -5*z + 6 for z.
3
Let o = -11 - -18. Solve 0 = -h - 4 + o for h.
3
Let h(n) = -n**2 + 5*n + 3. Let f be h(4). Suppose 5*k - 14 + 4 = 0. Suppose -4*z - 8 = 4*t, -k*z + 16 = -5*t + 2*t. Solve z*g = -f - 1 for g.
-4
Let o be 2 - (-6)/(-3) - 0. Suppose o = -2*i - 0*i. Suppose i = 4*t - 3 - 5. Solve -g - t + 7 = 0 for g.
5
Suppose 11*b - 3*b - 64 = 0. Solve -b = 4*s - 0 for s.
-2
Suppose -5*u - j + 17 = 0, 0*u = -u - 4*j + 11. Solve 0 = u*z + z + 8 for z.
-2
Suppose 2*f = -0*f + 10. Let n be (72/(-60))/((-1)/f). Solve w - 3*w = -n for w.
3
Suppose 2*j = 3*c + 4*j - 67, j = -2*c + 43. Solve 5*z = -6 - c for z.
-5
Let i be ((-3)/(-9))/((-2)/(-18)). Suppose i*a + 12 = 18. Solve 6 - a = 4*u for u.
1
Let r(t) = t**3 + 2*t**2 - 4*t + 1. Let w be r(-2). Solve -8*q = -11*q - w for q.
-3
Let h(f) = 8*f**2 + f. Let p be h(1). Suppose -1 + p = u. Suppose -x + 5*x - u = 0. Solve 1 = z - x for z.
3
Let h(z) = 2*z + 10. Let m be h(-5). Solve -2*a + a = m for a.
0
Let g be (48/(-24))/(2 + 10/(-4)). Solve -r = 3*r - g for r.
1
Let o = -39 + 41. Solve -5 = o*x - 1 for x.
-2
Suppose -5*x = -12 - 73. Solve -4*t - 9 + x = 0 for t.
2
Let u = 16 - 10. Solve -3*f - 3 = u for f.
-3
Suppose -2*a = 3*a - 10. Suppose -a*u = u - 9. Solve 2*o = u*o for o.
0
Let j be (2*14/7)/((-8)/(-2)). Solve 4 = x + j for x.
3
Let d = -10 + 13. Suppose f + 1 = -3*g + 6, 3*g = d*f - 3. Solve 19 = -5*p - g for p.
-4
Let b(t) = -t**3 - 6*t**2 - 6*t - 2. Let r be b(-4). Let w = r - -10. Solve w + 9 = -3*h for h.
-3
Let f(g) = 9 - 4 - 5 + 3*g**2. Suppose -2*c + b + 1 = -4, -4*b = -2*c + 14. Let k be f(c). Solve -k*l + 6 = -l for l.
3
Let y be (-51)/34*(-4)/2. Solve -2*x = -y*x - 3 for x.
-3
Let x be 12/9*(-1)/((-2)/3). Solve s = -x - 2 for s.
-4
Let j be -1*9*2/(-3). Suppose -g = -j*g + 3*z - 9, -3*g + 2*z - 6 = 0. Solve 2*y = 4 - g for y.
2
Let l(o) = 2*o - 7. Let f be l(6). Let d be 4/(-10) - 33/f. Let z(t) = t**3 + 8*t**2 + 6*t - 7. Let r be z(d). Solve r = p - 0 - 2 for p.
2
Suppose -t = 3*n - 3*t - 54, 0 = 5*n + 2*t - 74. Suppose -8*i + 4*i - n = 0, -3*h - 2*i - 44 = 0. Let u = h + 22. Solve 0*z - 2*z = -u for z.
5
Let b(k) = 2*k - 18. Let d be b(9). Suppose -4*s - 4 + 24 = d. Solve -s*l = -0*l + 15 for l.
-3
Suppose -44 = o - 3*o. Let p = o - 10. Solve -f - p = -4*f for f.
4
Let h(m) = m**3 + m**2 - m + 2. Let u be h(-2). Suppose 0 = -2*c - u*c + 12. Suppose -6 = 3*g - c*g. Solve -o + g*o = -2 for o.
-2
Let t(k) = -k**3 - 2*k**2 + 3*k - 3. Let o be ((-3)/2)/((-2)/(-4)). Let c be t(o). Let b be (1 + c - -2)*-1. Solve -4*x - 10 + 30 = b for x.
5
Let f(a) be the first derivative of a**2/2 - 2*a - 1. Let u be f(2). Let l(h) = -h + 3. Let s be l(1). Solve u = -g - 2 - s for g.
-4
Let k(d) = d**3 + 5*d**2 - 7*d - 5. Let v be k(-6). Let h be (-1 - 6)*(v + -2). Solve 2*a - h*a = 5 for a.
-1
Let i be ((-12)/(-10))/(8/20). Let l = -2 + i. Solve 5 = -2*p + l for p.
-2
Suppose 0 = 18*g - 20*g + 20. Solve 4*d - 10 = g for d.
5
Let y be 4 - -2 - 2 - 2. Let w be (2 - -1)*20/(-6). Let o be (-304)/(-20) + y/w. Solve -o = 6*i - i for i.
-3
Let j(a) = 3*a**2 - 2. Let w be j(-2). Suppose 0 = 5*c - 5 - w. Solve 3*o + 6 = c for o.
-1
Suppose 5*h + 3 = -g + 1, g - 5*h + 12 = 0. Let p = 10 + g. Suppose -2*v = 1 - p. Solve 0 = a - 0 + v for a.
-1
Let u = 66 - 59. Solve -2*p = -u*p for p.
0
Let b(a) = 3*a**2 - 20*a - 7. Let 