ppose 3*u = 2*h + 10 + 1, 2*u - 5*h = 0. Let x be (3/u)/((-8)/(-40)). Solve -x - 1 = -4*z for z.
1
Let c(i) = -3*i. Let u be c(-1). Let t = u + -3. Suppose g - 4*g = t. Solve 0 = -g*q + q - 1 for q.
1
Suppose 0 = -2*z - 2 - 6. Let g = 1 + z. Let o be 2 + g + (5 - 2). Solve o*q - 6*q = -4 for q.
1
Let p = 11 + -5. Solve -2*r + p = r for r.
2
Suppose -8*u + 3*u = 0. Let o = u + 4. Solve o*n - 2*n + 2 = 0 for n.
-1
Let y(d) = -d**3 + 4*d**2 - d - 2. Suppose -3*x = 2*x - 15. Let q be y(x). Solve 2*r - q + 0 = 0 for r.
2
Let j = 21 + -18. Solve 0 = -j*c + 5*c for c.
0
Let r = -4 + 10. Let c be (-4)/(-6)*(0 - -3). Suppose -c*v - g + 6 = 2*v, v = -4*g - r. Solve v*n - 2 = 6 for n.
4
Let z(n) = n + 20. Let h be z(-15). Solve -h*y + 6 = 21 for y.
-3
Let s(a) = a + 8. Let d(i) = i + 2. Let p be d(0). Let f be 9/p*4/(-3). Let q be s(f). Solve q*o = o for o.
0
Suppose h + 21 = 3*m, 2*m + 3*h = 6*m - 33. Solve -4*r + m*r = 10 for r.
5
Let f(x) = -x - 3. Let i be f(-6). Let q(d) = d - 1 + 2*d**3 - 4*d**3 + 3*d**3. Let h be q(1). Solve i*u + 11 = -h for u.
-4
Let f = 9 + -6. Suppose -16 = 4*r, -r + 6*r = -4*u - 188. Let c be (f/(-2))/(3/u). Solve 0 = 5*s + c - 1 for s.
-4
Suppose -20 = -q + 5*y + 9, 25 = -5*y. Let a = q - 2. Solve 5*d = a*d for d.
0
Let j be 11 + 9/(-7 + 4). Let k be 13 + -8 - 6/(-2). Solve -4*g = j + k for g.
-4
Suppose -60*j = -63*j + 12. Solve -n = j*n for n.
0
Let r = -10 - -10. Solve -v - 3*v = r for v.
0
Let l(k) = k**3 + 7*k**2 - 7*k - 4. Let o be l(-8). Let u be (8/o)/((-2)/9). Solve u*s = 9 - 0 for s.
3
Let w(f) = -f**2 - 7*f - 6. Suppose -3*y - 4*j - 7 = 27, -y - 4*j = 22. Let u be w(y). Solve u = 6*v - v + 15 for v.
-3
Let k be 5 - (-1 - -1 - (-33)/(-11)). Solve 0 = -4*b - 0*b - k for b.
-2
Suppose -4*t - 4*x - 20 = 0, t + 5 = 2*t - x. Suppose -5*u = -4*b - 120, -5*u + 2*b - 27 + 137 = t. Solve 3*g = -2*g - u for g.
-4
Suppose j - 30 = 5*o, 1 = 5*o + 26. Suppose y = -2 + j. Solve 0 = -4*w + y*w for w.
0
Let d(r) be the first derivative of -r**3/3 - 5*r**2/2 + 4*r - 1. Let v be d(-5). Suppose v*q - q = 9. Solve q*g = -g for g.
0
Let i(m) = m**2 - 3*m - 5. Let k be i(4). Let r = k - -3. Suppose v - 1 = r. Solve 0*h = v*h - 15 for h.
5
Suppose 0 = y - 3 + 5. Let x(m) = 2*m - 2. Let i be x(2). Let a be i/1 - 0/y. Solve -a*l + 3*l = 0 for l.
0
Let d(s) = 9*s**2 - s. Let o be d(1). Let w = -9 - -12. Suppose w*i - 11 = -5. Solve 0 = 5*v + i + o for v.
-2
Let a(t) = -t**3 + 6*t**2 + 7*t - 6. Let x be a(7). Let d be (-8)/x*(-18)/4. Let q be 2/10 - d/(-30). Solve 0*z + 2*z = q for z.
0
Let q(p) = p**2 + p + 1. Let m(l) = -l. Let g be m(-3). Let k be 2 - (2 - -10)/g. Let x be q(k). Solve -11 + x = -4*v for v.
2
Let u = -4 - -4. Solve u = -4*c - c for c.
0
Suppose -14*g + 15*g = 0. Solve -2*o + 15 - 5 = g for o.
5
Let c = -2 - -7. Let x be -2*(4 + 44/(-8)). Suppose -c*v = 0, -3*v = -x*g - 4*v + 21. Solve -4*p + 1 + g = 0 for p.
2
Suppose -g - 12 = 3*g. Let n be 0 - -2 - (g + 4). Let z be (-2 - -3)/(n/4). Solve -z = 5*w - 14 for w.
2
Let w be 3 + (0/(-2) - -1). Suppose 3 = 3*d + 3*o, -2*d + 4*o + 0*o - w = 0. Suppose g + 2 - 4 = d. Solve 5 = g*p - 5 for p.
5
Suppose 0 = -2*v + 5 + 7. Suppose -1 + v = 5*w. Solve -f = -0*f - w for f.
1
Suppose 2*i = 5*i - 6. Suppose -5*h = i*n - 16, 2*h - 4*n = n + 18. Let b be ((-6)/(-4))/((-1)/(-2)). Solve -h*r + 3*r = -b for r.
3
Let o = 1 + 1. Let j be o*2*4/8. Solve -h = j - 7 for h.
5
Let i be ((-1)/(-2))/((-2)/(-72)). Suppose -r + 5 = 3. Let w be r/4 - i/(-12). Solve w*j - 3*j = -1 for j.
1
Let i(t) = 3*t. Let v be i(-2). Let z be (4/(-6))/(v/27). Solve -w = z*w for w.
0
Let c(x) = x**3 - 4*x**2 + x. Let p be c(4). Let f = 7 - p. Suppose 8*y = f*y. Solve -3*w = -y*w + 15 for w.
-5
Let p(m) = -m**2 - 14*m - 6. Let c be p(-10). Let h = -19 + c. Solve -h = -3*f - 0 for f.
5
Suppose -c + 6*c = 185. Let m = 36 - 24. Solve -5*q - m = -c for q.
5
Let f be 3 + (-2 - -5) + 0. Solve -4*b + 2*b - f = 0 for b.
-3
Let c be ((-3)/6)/((-1)/44). Let s be c/4 + 6/(-12). Suppose -a + s = -2. Solve 2 = t + a for t.
-5
Let l = -4 + 28. Suppose -h + l = 2*n, n - 4 = -3*h - 2. Let k = -12 - -14. Solve -k = -3*w - n for w.
-4
Let q(v) = v**3 - 7*v**2 + 7*v + 1. Let l be q(6). Suppose 0 = -3*m + 19 + 2. Let g = m - l. Solve g = -3*o + 15 - 0 for o.
5
Let r = 22 + -12. Let h be r/20 + 9/2. Suppose 5*g + 5*b = -6 - 19, -3*g - b - h = 0. Solve g*l = -l + 4 for l.
4
Suppose p = 3*u + 2, 0 = -3*p + 13 + 2. Let y = 4 - u. Solve -i - 2*i = -y for i.
1
Suppose 4*z - 2*g + 2 = 0, -20 = 4*z - 5*g - 3. Solve -v = v - z for v.
1
Suppose -4*s - 36 = -13*s. Solve s*t = -t for t.
0
Let u be 4/(-10) - (-17)/5. Suppose -u*t + 18 + 27 = 0. Solve 5*i + t = 2*i for i.
-5
Suppose -7 + 3 = -3*j + 2*v, j - 20 = -4*v. Suppose 3*h - 2*h - 3*r = 12, 18 = j*h - 2*r. Solve 0 = -b + 5 - h for b.
2
Let i be 2/(((-16)/6)/4). Let l be ((-1)/1)/(1/i). Solve g + 2 = -l for g.
-5
Let s = 16 - 5. Suppose 1 = 3*h - s. Solve 0 = h*c - 1 - 3 for c.
1
Suppose 0 = 4*g - 0*f - 3*f - 87, 0 = 3*g + 4*f - 59. Suppose -4*s + g = -7. Solve s + 3 = 2*n for n.
5
Suppose 2*w + n + 1 = 13, 0 = 3*n - 12. Solve -w*l - l = 0 for l.
0
Let p(m) = -m**3 + 10*m**2 + 12*m + 1. Let w be p(11). Solve -u = -4*u - w for u.
-4
Let n(p) = p**2 + 2*p. Let q be 8/6*3/(-2). Let b be n(q). Solve b*i = 2*i for i.
0
Let c = 36 - 33. Solve 0 = -c*x - 8 + 2 for x.
-2
Let v = 4 + -6. Let n = v - -6. Suppose 4*h - a = 6, -5*h + a + 2 = -3*a. Solve -h = 2*p - n for p.
1
Let t(p) = -p**3 + 8*p**2 - 6*p - 10. Let z be t(7). Let q = 13 + z. Solve q = -5*a + 3*a for a.
-5
Let i(s) = s**2 + 14*s - 12. Let a be i(-15). Solve 0 = -a*p - 0*p - 3 for p.
-1
Suppose -4*q + 40 = -2*q. Let d(s) be the third derivative of s**5/60 + s**4/8 - 3*s**2. Let h be d(-4). Solve 0*i + q = -h*i for i.
-5
Let x be 50/8 + (-2)/8. Suppose h + 3*c = x, -5*h + 4*c - 10 = -c. Solve h*b = b + 1 for b.
-1
Suppose 0 = -3*l + l + 2. Let m be (2/(-4))/(l/(-6)). Solve -5 = m*s + 4 for s.
-3
Let o(i) = -i**2 + 11*i + 5. Let f be o(11). Solve -1 = 4*j - f for j.
1
Suppose 3*c = 29 + 31. Suppose -5*u + 4*u + 4 = 0, -5*u = -4*n - c. Solve n = -0*x + 3*x for x.
0
Suppose -9*c - 40 + 49 = 0. Solve 2 + c = -r for r.
-3
Let m be (-70)/9 - 16/72. Let n be (-18)/m - (-9)/12. Solve 10 = n*z - z for z.
5
Let u be 0/(-7 + 4 + 1). Suppose -4*d + 2*d + 1 = q, -4*d - 16 = -4*q. Solve u = -q*i - 9 - 0 for i.
-3
Let f = -9 + 14. Suppose 0 = -3*c + 7 + f. Solve 0*x = c*x - 8 for x.
2
Suppose 0 = 13*m - 7 - 32. Solve -2*c + m*c = 4 for c.
4
Let j be (3/6)/((-2)/(-8)). Solve o = -j*o - 12 for o.
-4
Let m(b) = 3*b - 6. Let k be m(3). Suppose k*p - 4 = 2. Solve 4 = p*g - 3*g for g.
-4
Let s = -12 + 11. Let h(w) = 3*w**2. Let q be h(s). Solve l - q = -0 for l.
3
Suppose -2*m + 3*m - 2 = 0. Suppose -1 = m*i - 7. Solve -4*f + i = -1 for f.
1
Suppose 15 = -5*f - 85. Let m = -17 - f. Solve -m*o = -4*o - 2 for o.
-2
Let b be 2/3 + (-70)/(-21). Solve b*d - 1 = 3 for d.
1
Suppose 0 = -4*h + 3*h + 5*n - 5, 5*n = 5. Solve -2*s - 7 - 3 = h for s.
-5
Let x = -16 + 19. Solve 0*o - x = 3*o for o.
-1
Let g(b) = b + 10. Let f be g(-5). Suppose -15 = -3*n - f*s + 2*s, 0 = -4*n + 4*s + 12. Solve 0 = -n*k + 1 + 19 for k.
5
Let i = -84 - -42. Let b be (-12)/i - 2/7. Solve 3*z - 7 + 4 = b for z.
1
Suppose -3*x = -0*x. Suppose -2*f + 28 = -3*h, f - 6*f - h + 36 = x. Suppose -4 = p - f. Solve p*l - 16 = -0*l for l.
4
Suppose c + 7 - 38 = 0. Suppose 5*k + 24 = -r + 3, 0 = 4*r - 3*k - c. Solve -22 = -r*w - 2 for w.
5
Let l(u) = -u**2 - 9*u - 7. Let d be l(-7). Suppose -21 = -2*j + 5*i + d, -j - 12 = 4*i. Suppose -3*t = 5*s - 9, 0 = j*s - s + 3*t - 9. Solve s - 6 = 3*q for q.
-2
Suppose 33*x + 6 = 35*x. Solve -x*j = -0 + 9 for j.
-3
Let z = 0 - 0. Suppose 4*t = -z*t. Suppose 3*v + 2*s - 3*s = 6, 4*v - 8 = -4*s. Solve d + v = -t*d for d.
-2
Let a = 44 + -21. Suppose -a = -j + 4*n, j + 1 - 29 = 5*n. Solve j = t - 2 for t.
5
Suppose 3*o - 4 = -1, 5*o = -4*m + 13. Let w be (-194)/(-6) + 1/(-3). Suppose -w + m = -2*f. Solve j + 4*j = -f for j.
-3
Let g be ((-1)/(-1))/(3/6). Suppose -4*p + 48 = -4*q, -g*q + 3 = -p + 12. Solve 0 = -3*z - 0 + p for z.
5
Suppose r - 4*r = 0. Let n be 24 - (1 + -1 + 1). Suppose -2*q = -9 - 1, n = 3*u + q. Solve -5*h + 4 + u = r for h.
2
Suppose 0 = 4*j - 0*j