0*h for h.
3
Let j be 13/7 + ((-10)/35)/(-2). Solve -a + 2*a = -j for a.
-2
Let b = -10 + 12. Solve 0 - 10 = b*v for v.
-5
Let y(h) = -h**3 + 14*h**2 - 14*h + 13. Let m be y(13). Solve 0*f + 3*f = m for f.
0
Let c(x) = -x**2 - x + 1. Let u be c(-4). Let g(z) = -z**2 - 12*z - 6. Let a be g(u). Solve -2 + 27 = -a*t for t.
-5
Let i(l) = -l**2 + 10*l - 5. Let f be i(9). Suppose -10 = 2*d - f*d. Solve -d*m + m = -20 for m.
5
Suppose -12 = -2*p - z, 5*p - 19 = 2*z + z. Solve 0*k = -k + p for k.
5
Let r = 56 + -49. Solve 2*j - r*j = 0 for j.
0
Let m be 2*(-12)/(-3) + 0. Solve 3*w + 25 = m*w for w.
5
Let i = 2 + -5. Let w be (-10)/i + (-4)/12. Solve 0*s + 3*s + w = 0 for s.
-1
Let m be (-11 - -2)*12/(-18). Solve y + m = 2 for y.
-4
Let z = -4 - -6. Suppose -3*c = z*c. Suppose c = 3*q + 3, 2*r - 4*r + 13 = -5*q. Solve r*n = 2*n for n.
0
Suppose 3*c - 4*i = 19 - 3, -4*c = 3*i - 13. Suppose -c*v + 13 = -399. Suppose 5*n - v = -m, 2*n + m - 47 + 4 = 0. Solve n = -5*x + x for x.
-5
Let u = 0 - -1. Let s(k) be the second derivative of -k**3/6 - 2*k**2 - 3*k. Let a be s(-7). Solve 4 = -a*n + u for n.
-1
Suppose y = w + 16, -w = -3*y + 69 - 15. Let l = y + -15. Solve -l*z = -z + 15 for z.
-5
Let u be ((-1)/(-2))/((-10)/(-220)). Suppose -4 - u = -5*k. Solve k*z - 5*z = 6 for z.
-3
Let j be (3 - 2) + -1 + -2. Let x be j/5 - (-44)/10. Solve -q + x*q = -9 for q.
-3
Let v = 157 - 152. Solve -l + 7 = v for l.
2
Let z(w) = 1. Let y(r) = -r - 10. Let k(c) = -y(c) - 6*z(c). Let t be k(-4). Suppose t = -b - b + 8. Solve b = -5*u + u for u.
-1
Suppose -j + 2 = -2*j, 0 = -4*m - 5*j - 2. Solve 3*u = 2*u - m for u.
-2
Let b = 7 - 6. Solve 2*a + 7 = -b for a.
-4
Let l = 84 - 84. Solve -v + 0 + 2 = l for v.
2
Suppose -22 = -2*r - 2*r + 3*c, 0 = -4*r - 4*c + 8. Let q = r + -1. Suppose -4*u = 5*g - 35, -7 = -q*g + 2*g - 5*u. Solve 0 = 4*y - g*y + 3 for y.
1
Suppose a = -2*a. Suppose -4*l = -a*l + 36. Let d = -6 - l. Solve -2*j + d = j for j.
1
Let r = 12 - 10. Suppose r*a + 30 = -3*a. Let q be 4/a + (-2)/(-3). Solve q*w - 16 = 4*w for w.
-4
Let c = 7 - 3. Let l(g) = g**3 - 5*g**2 + 5*g + 2. Let r be l(c). Let v be (-15)/r*16/(-10). Solve -i - v*i = 0 for i.
0
Suppose 0 = -3*n + 6*n - 9. Let a be n/6 - 7/(-2). Solve m + a*m = -20 for m.
-4
Let h(z) = z**2 + z + 41. Let q be h(0). Suppose -4*w + q = l, -3*w - 3 = -3*l - 15. Solve 3*g + w = -0*g for g.
-3
Let n = 6 - 7. Let s = 3 + n. Solve 0 = -z + s + 3 for z.
5
Let w(k) = 6*k**3 - k. Let a be w(1). Suppose p = 4*p - 33. Let i be 163/p - 8/(-44). Solve a*n = 2*n - i for n.
-5
Let d be (2/(-6))/(1/(-9)). Solve d - 1 = -v for v.
-2
Suppose -2*y + 4*y - 6 = 0. Suppose 4*a - 2*a + 3*i - 134 = 0, 0 = 2*a - i - 118. Suppose 5*l + a - 181 = 0. Solve -y*b - l = -9 for b.
-5
Let b be 2/(1/(3/(-2))). Let g be b/(-2)*4/3. Let h be g/(-8) - (-58)/8. Solve h*s = 2*s for s.
0
Let v = -7 - -10. Suppose v*j - j = 0. Suppose j = 3*p - 5 - 7. Solve -p*q - 1 = -5 for q.
1
Let q = -13 - -16. Solve -q = -2*i - 1 for i.
1
Suppose -3*u = -2*k - 13 - 4, 3*u + 3*k + 3 = 0. Solve -13 = -u*c + 2 for c.
5
Suppose -v - 10 = -3*v. Solve 4*d = -v + 9 for d.
1
Let n(l) = -l**3 + 10*l**2 - 5*l + 1. Let d be n(9). Solve 5*m + d = 12 for m.
-5
Let j(k) = -10*k - 1 + 6*k - 3 + k. Let d be j(-3). Solve -d = -a - 4*a for a.
1
Suppose 0 = 2*v - 2 - 4, -4*l - v = -23. Let m = -4 + l. Solve -w + m + 0 = 0 for w.
1
Let d = 19 + -22. Let a(n) = n + 3. Let i be a(d). Suppose -4*w = -5*w + 5. Solve -b + w = -i*b for b.
5
Let k(c) = -11*c. Let b be k(-5). Let y = b + -82. Let i be ((-1)/(-3))/((-3)/y). Solve -f = i*f + 12 for f.
-3
Suppose -5*j + 2*w = -20, -2*w + 5*w + 21 = 3*j. Solve 6*f = 4*f + j for f.
1
Let k(v) = 3*v**2 - 3*v. Let w be k(2). Solve -w*t = -t + 10 for t.
-2
Let z be -2 + (0 - 1 - 2). Suppose 3*m - 9 = -0. Let u = m - z. Solve -5*x - 7 = u for x.
-3
Let r = 9 - 9. Suppose 3*q + 0 - 6 = r. Solve q = -k + 1 for k.
-1
Let d(m) = m - 3. Suppose 0 = -b + 5*p - 19, -b - 3 = -p - 0*p. Let z be b + 4 - (2 - 3). Let k be d(z). Solve -k = -2*r - r for r.
1
Suppose 2 = j - 3. Suppose 2*a - 2*k - 2*k = 4, j*a = -4*k + 38. Solve -5*f - a = 19 for f.
-5
Let q = -10 - -15. Suppose -5*f = -4*a - 20, 4*a = -q*f - 0*a - 20. Let b = 12 + -12. Solve b*j + 4*j = f for j.
0
Let c(y) = 3*y - 30. Let i(l) = -l + 10. Let t = 8 - 11. Let x(m) = t*c(m) - 8*i(m). Let w be x(8). Solve -25 = -w*d + 7*d for d.
-5
Let p(t) = -t**3 - 2*t**2 + t + 2. Let v be p(-3). Suppose 20 = 5*h + b, -4*h + 8 = 2*b - v. Suppose 0 = h*i + 5 - 13. Solve -3 = i*n + n for n.
-1
Suppose 0 = -r + 2*r - 34. Suppose -4*l + r - 2 = 0. Solve -2 = -5*y + l for y.
2
Let c = 135 - 132. Solve 2*h - 20 = -c*h for h.
4
Suppose a - 4 = -0, f = 3*a - 7. Solve f*y + 7 = -8 for y.
-3
Let u be (33/(-55))/(1/(-5)). Solve u*s = 5*s + 6 for s.
-3
Let t be (-1)/2 - (-45)/10. Solve 0*i - 4 = t*i for i.
-1
Let w(l) = 3*l + 1. Suppose -2 = 2*j, 3*j + 2*j + 10 = -d. Let f be w(d). Let b be (-52)/f - (-4)/14. Solve -2 = -b*s + 2 for s.
1
Let h be 24/(-20)*5/(-2). Solve -h*d - 16 = d for d.
-4
Let b be -1 + 4 - (9 - 10). Solve -b = -m - 3*m for m.
1
Let h = -94 - -119. Solve 5*x + 0*x = h for x.
5
Let p = 13 - 11. Let l be (-2 - p)*-1 - 2. Solve 3*j = -l*j for j.
0
Let m be (-15 + 14)*(-2 - 0). Solve -4*t - m = -10 for t.
2
Let c = -10 - -13. Solve -c*s + 6 = -0*s for s.
2
Suppose -3*k + 18 = 2*q + k, q + 12 = 5*k. Let h(p) = 2*p - q + 3*p**2 - 2*p**2 + 4. Let i be h(-1). Solve i*g + 4*g = 8 for g.
2
Let w(v) = 2 + 2*v**2 + 0 - 1 - 2. Let f be w(-1). Solve -2*l + f = 9 for l.
-4
Suppose 398 - 130 = 4*l. Suppose v + v = 5*n - l, -68 = -4*n - 2*v. Solve -n = 3*m - 0 for m.
-5
Suppose 6 = 5*y - 114. Solve 4*x + 4 - y = 0 for x.
5
Suppose 3*j = -5*p - 15, 2*j - 4*p - 10 = 2. Let y(h) = j*h**2 + 5*h + 2*h**2 - 4 + 0 - h**3. Let b be y(3). Solve 0 = -3*v + b*v for v.
0
Suppose 2*o = -4*h - 23 - 1, 0 = -h + 3*o + 1. Let p = h - -5. Suppose 0 = -p*g + g. Solve 3*m + 7 + 8 = g for m.
-5
Let k be 0*3/(-6)*1. Suppose k = -r - 3*r. Solve r = m - 4*m - 6 for m.
-2
Suppose x - 12 = -3*x. Let i(d) = d**2 - 9*d - 14. Let r be i(11). Suppose r = 4*k - 4. Solve 0 = x*a + k - 0 for a.
-1
Suppose h = -1 + 10. Let k be 3/(-2)*(-12)/h. Suppose -3*i + 4 + 11 = 0. Solve 3 = -k*r + i*r for r.
1
Suppose -2*n + n - 7 = -4*z, -3*n + 5 = z. Suppose 2*s - 6 = -4*f, -s = s - 4*f + 26. Let i = s + 8. Solve l - n - i = 0 for l.
4
Let p(w) = -w**3 - 7*w**2 - 6*w. Let s be p(-6). Let b = s - -6. Suppose -2*y + 20 = -4*m, 2*y = -3*y + m + 5. Solve y = -4*r + b*r for r.
0
Let j be -3 + 4 + 0 - 5. Let q be (3/1)/((-6)/j). Solve z - 1 = q for z.
3
Let b = 109 + -99. Solve 4*t + 26 - b = 0 for t.
-4
Suppose -2*p + 5 = -5*g, 3*p = -p - 3*g - 3. Suppose j - 1 - 2 = p. Solve -4 - 8 = j*t for t.
-4
Let l = 18 + -16. Solve -l = -q + 2 for q.
4
Let f be (-23)/(-7) - 2/7. Suppose 0 = 4*w + 3*x - 15, -2*x - 20 = 4*w - 6*x. Suppose 0*k + k - 20 = w. Solve k = -m - f*m for m.
-5
Let d(q) = q**2 + 6*q - 2. Let j be d(-7). Solve 2*r - j*r + 6 = 0 for r.
2
Suppose -5*x + 32 = -x. Solve u + x = -3*u for u.
-2
Let r = 9 - 11. Let u be (-3)/r*32/12. Solve u = 2*c + 2*c for c.
1
Suppose 0*i + 2*v = -3*i + 38, -24 = -4*i + 4*v. Solve -4*q - i + 2 = 0 for q.
-2
Let w be (3 - 7)/(2/(-6)*2). Solve w*x = 3*x + 3 for x.
1
Suppose 2*d = -3*a - 8, 0 = -3*d + 3*a + 7 + 11. Suppose -d*f - 3*f + 13 = -n, 4*n = f - 14. Suppose -2 - f = -2*b. Solve b = o + 3 for o.
-1
Suppose -3*h = h - 12. Suppose h*p = 4*p - 6. Solve p*d = 2*d + 12 for d.
3
Suppose -5*y = -4*o - 59, 0 = 4*y - 6 - 6. Let w = -7 - o. Solve -w*d - 12 = -0*d for d.
-3
Suppose -k = -6*k + 25. Suppose k = 5*n - 10. Solve n*v = v for v.
0
Suppose 4*v - 37 = 3*w, -4*w - 47 = -0*v - 3*v. Let y(l) = l**3 + 12*l**2 + 11*l + 6. Let u be y(w). Solve -20 = -u*c + 2*c for c.
5
Let s(u) = -u**2 - 10*u + 4. Let l be s(-10). Suppose 2*g = -2*w - 8 - 2, w = l*g + 20. Solve -a - 2*a - 9 = w for a.
-3
Let f(b) = b - 4. Let m be f(8). Let s(g) = -m*g**2 + 1 + 6*g**2 + 15*g**2. Let u be s(1). Solve 3 = 3*i + u for i.
-5
Suppose 9 = 2*i - 3. Suppose i*y = y + 40. Solve y = 3*f + 20 for f.
-4
Let k be (-2)/(-4)*-2 - -1. Suppose 2*g + q + 3 = k, 8*g - 3*g - 2*q = 6. Solve g*d = -3*d + 12 for d.
4
Suppose 2*t = -0*t - 10. Let c = t - -5. Solve c = -2*