-y*o - 1 = a + 5. Solve -k - a = -0*k for k.
-3
Let s = 49 + -37. Let p be 2/8 + (-3)/s + 0. Solve t + 3*t = p for t.
0
Suppose -3*s + 11 = -4. Suppose 0 = -a + i - s*i - 4, -2*i = 4*a - 12. Suppose 0*y + y = -1, 4*y + a = -2*v. Solve 2*d + 3 + 3 = v for d.
-3
Suppose o = 2*o. Suppose 2*s - j = 23, o*s + 19 = 2*s - 5*j. Suppose -3*k - 2*b = -6, -4*k + 6 - 3 = b. Solve -3*m - m + s = k for m.
3
Suppose 16 = 2*h + 2*r, -4*r + 12 + 5 = -h. Suppose d = -5*c, 2*c - d = -h*c + 10. Solve -c - 4 = -5*f for f.
1
Let f be 1*28/(-4) - -20. Solve 5*g - f = 12 for g.
5
Let i(v) = -2*v**2 + 30*v + 32. Let o be i(16). Solve 2*x + x = o for x.
0
Let r be 36/(-12) + (1 - 1). Let h = r + 22. Suppose 4*m = -3 + h. Solve -11 + 3 = -m*l for l.
2
Suppose -4*a + 5 + 39 = 4*c, 2*c = 2*a + 10. Let k(b) = -b + 3. Let l be k(2). Let i = l + c. Solve -4*u = -i*u for u.
0
Suppose 5*c + 30 = 115. Solve -18*i + c*i = -3 for i.
3
Let o = -1069 - -1088. Solve 3 = -20*i + o*i for i.
-3
Let b = 110 + -79. Let f = b - 21. Solve -f = -3*c - 2*c for c.
2
Let t = 1046 + -1040. Solve 0 = 29*n - 35*n + t for n.
1
Let z(y) = y**3 + 20*y**2 - 2*y - 34. Let q be z(-20). Solve 4 = -5*m - q for m.
-2
Suppose 0 = -8*v + 105 + 119. Solve 0 = -26*c + v*c - 10 for c.
5
Let k(v) = v**3 - 3*v**2 + 3*v. Suppose 4*i - 1 = h + 6, i - h = -2. Let b be k(i). Suppose -3*j + 5*t = -14, 0*t = -4*t - 4. Solve j*p + 6 = -b for p.
-5
Let s = 51 + -79. Let r = -22 - s. Solve r*i = 3*i - 9 for i.
-3
Suppose 0 = -2*n + 7*n - 4*m - 19, 2*n = 4*m - 2. Let h(r) = r**3 - 8*r**2 + 9*r - 10. Let p be h(n). Solve -3*g + p = -5*g for g.
-2
Let r be (8 - (4 + 0)) + 2. Let f = 8 + -6. Suppose -2*d - f = -r. Solve 2*u = -d*u for u.
0
Let i = -38 - -54. Let o = -16 + i. Solve o = 2*n - 8 - 0 for n.
4
Let n be ((-14)/(-8))/((-2 + -2)/(-32)). Solve -x = 11 - n for x.
3
Let y(t) = 2*t - 3. Let k be y(3). Suppose k*p = 5*p. Suppose -3*d + 5*r + 31 + 51 = p, 0 = 3*d + 5*r - 32. Solve -4*x + 7 = d for x.
-3
Suppose -15*a = 15*a - 330. Solve -11*g + 0 = -a for g.
1
Let q be (-3)/(-2) - (-2072)/16. Let w = 135 - q. Suppose 0*u = 5*u - 25. Solve w*c + c + u = 0 for c.
-1
Suppose -g - 5*f + 10 = 0, -2*g - g = -4*f - 11. Suppose g*c = 8 + 7. Solve 0 = 2*n - c*n - 3 for n.
-3
Let k = 288 + -286. Solve -k*p = 2*p + 12 for p.
-3
Suppose -7*v + v = -54. Solve -12*w = -v*w for w.
0
Let f(w) = -w**3 - 3*w**2 - w + 1. Let j be f(-1). Solve 0 = 2*l - j + 8 for l.
-4
Suppose -2*g - 3*l = -76, -100 = -2*g - 2*l + 5*l. Suppose -4*d + g = -4*o, 0 = 2*d - 5*o + 4 - 23. Solve d = -3*h - 3 for h.
-5
Let q = -2 + -10. Let p = q - -19. Let j be 14/(-35) + (-54)/(-10). Solve p*f - 2*f = j for f.
1
Suppose -72 = -k - 8*k. Suppose -2*h = -3*m + 9, 3*m + 2*m + h = 2. Let y be (2 - m/1) + k. Solve 5*l - y = 2*l for l.
3
Let m = -46 + 44. Let t be m + 1 + (7 - (3 + -1)). Solve -t*o = -o for o.
0
Suppose -f - 3 = -3*o, -2*o + 0*o - 8 = -4*f. Suppose -4*a + 14 = -f*v, 5*v - a - 35 = -6*a. Solve 4*c - v = 6 for c.
2
Let u(n) be the second derivative of -n**3/3 + 10*n**2 + 37*n. Let k be u(8). Solve 4*c + 0 = k for c.
1
Let a = 82 - 56. Let g = 35 - a. Solve -5*x - 1 = g for x.
-2
Let f(i) be the second derivative of -i**4/12 - 8*i**3/3 + 10*i**2 - 7*i - 3. Let h be f(-17). Solve -3 = h*x - 4*x for x.
3
Let t = -39 - -41. Suppose -10 = -t*k - 0. Solve -k*m + 2*m - 15 = 0 for m.
-5
Suppose -7 = m + 1. Let r be (-2)/3 - m/12. Let i be (6 - 1)*30/50. Solve i*g + r*g = 0 for g.
0
Let f be 3 + 0 + -1 + -3. Let z(i) = 30*i**2 + 2*i + 1. Let t be z(f). Suppose -4*v + t = -71. Solve 2*x + 3*x = v for x.
5
Let b(a) = 2*a**3 - 3*a**2 - 4*a + 7. Let d be b(2). Let s = 1 - 1. Solve s = m - d for m.
3
Suppose -18 = -10*w + 8*w. Let r be (-18)/(-1)*3/w. Let g(p) = p**3 - 6*p**2 + 2. Let k be g(r). Solve -2*i - k*i + 4 = 0 for i.
1
Suppose 3*c + 149 - 169 = 4*l, -5*l = -2*c + 25. Suppose -5*r = k - 18, k - r + 3*r - 9 = 0. Suppose -h = f - 9, 1 - 4 = h - k*f. Solve c = 2*b - 4*b - h for b.
-3
Let s(b) = -b**3 - 3*b**2 - 3*b - 2. Let r be s(-2). Suppose 3*p - 57*p + 54 = 0. Solve r*c - c - p = 0 for c.
-1
Suppose 160 = -12*i + 196. Solve 40*g + i = 43*g for g.
1
Suppose v - 2*s = -10, -2*v + 5*v - 3*s + 18 = 0. Let p(q) = 2*q**2 - 4. Let d be p(v). Solve -6*b + 2 = -d*b for b.
1
Let h be (0 - 0/3)/(-1). Suppose h = -y - 2, 5*y = -t - 4 - 6. Let x be -3 + t + (-12)/(-4). Solve -2*f + 3 - 13 = x for f.
-5
Suppose 1 = 5*b + 6, -3*b - 3 = -q. Solve q = -2*s - 2 for s.
-1
Let n(l) = -4*l - 16. Let j be n(-6). Suppose -q - 24 = -2*q - 5*h, -2*h + j = 0. Solve q*t = -20 - 0 for t.
-5
Let a be -1*9/45*0. Solve -4*l + 5 + 3 = a for l.
2
Let h = -78 + 157. Let x = h - 73. Solve 3*l + x = 21 for l.
5
Let t be (3/6)/((-2)/28). Let i = 8 + t. Suppose w = i + 2. Solve -10 = w*c - 1 for c.
-3
Let b be (1 - (0 + 3)) + 6. Suppose -m + b*m = 6. Let p = m + -2. Solve -3*q + 0*q - 6 = p for q.
-2
Let v(n) = -2*n - 1. Let l be v(0). Let a be -2*(l + (-2)/(-4)). Suppose 0*q - q + a = 0. Solve u + q = 3 for u.
2
Suppose -14*i + 20*i = 24. Let p be (3 - 1 - 5)/1. Let y be (40/(-12))/5*p. Solve -3*u + i = -y for u.
2
Let k = 44 + -44. Let x be (-9)/(-3) - (12 - 11). Solve k = -n + x*n for n.
0
Let j = 115 + -115. Let h(b) = -b - 1. Let c be h(2). Let z = c - -5. Solve 2*f = -j + z for f.
1
Suppose -39*r + 130 = -13*r. Solve -6 + 21 = -r*i for i.
-3
Let p be (3/9)/(1/75). Suppose -n - 7 = 4*d, -5*d - p = -0*n - 2*n. Suppose 4*g - 33 = -n*u + 23, -5*u + 20 = 0. Solve -3*x = -0*x - g for x.
3
Let c(r) = r**3 + 12*r**2 - 14*r - 11. Suppose -70 = -17*i + 12*i. Let t = i + -27. Let f be c(t). Solve 5 = -3*m - f*m for m.
-1
Let q(b) = -b**2 - b + 6*b**2 + 0 + 1 - 4*b**2. Let w be q(2). Suppose -w*m - 4*k + 30 = -9*k, -5*m = 5*k - 10. Solve 2*d + m = d for d.
-5
Let a = -11 + 14. Let z be (a - -2) + (-3 - -1). Let o = z - 0. Solve o*d + 6 + 3 = 0 for d.
-3
Suppose 11*f - f - 40 = 0. Let r = -5 - -7. Solve -f = -3*v + r*v for v.
4
Suppose -5920 = 4*h - 6144. Solve -50 + h = -2*i for i.
-3
Suppose -2*s = 8*s - 30. Suppose -23 = -2*d - 3*o, 3 = -3*d + s*o - 0. Solve -6 = d*b + 14 for b.
-5
Suppose 4*z + 6 = 14. Suppose 62*c = 102*c. Solve -2*l = -c - z for l.
1
Let w(q) = -3*q - 45. Let u be w(-16). Solve 4*b = b - u for b.
-1
Suppose -2*v + 26 = -3*h, 3*v - 6*v + h = -25. Solve 1 = -v*i + 22 for i.
3
Let h(g) = -g - 1. Let j be h(-14). Solve -j*b = -9*b for b.
0
Suppose -20 + 68 = 12*g. Suppose -f - 55 = -2*b + g*f, -3*b + 2*f = -55. Solve b = -3*c - 2*c for c.
-3
Let m(d) be the first derivative of d**4/4 + 4*d**3 + d**2/2 + 12*d + 14. Let r be m(-12). Solve 0*j - 2*j - 6 = r for j.
-3
Suppose 2*t - 5*t + 3*s + 12 = 0, -s = 1. Suppose k - 2*r - 3 = -3*r, -4*k - 2*r + 12 = 0. Let b = 10 - k. Solve -t*i + 4 = b for i.
-1
Suppose 16 = -3*y - 4*i, 16*y + i = 12*y - 4. Solve y*l = -4*l - 12 for l.
-3
Suppose -2*c = -i - 1, -5*c = -0*c - 15. Suppose 0 = -0*x + 5*x + 5*a - 480, 3*a + 84 = x. Suppose -96*b = -x*b. Solve b = -j + i*j + 8 for j.
-2
Let h be ((-160)/15)/8*-3. Suppose -2*s - i + 6*i = -25, 0 = s - h*i - 17. Suppose -g - 16 = -3*g. Solve -28 + g = s*w for w.
-4
Suppose -z - 2*z = 0. Suppose -4*g + z*g + 76 = 0. Let c = g - 11. Solve -5*q + 3*q - c = 0 for q.
-4
Let o = -6 - -10. Suppose o*i - 15 = -g, 5*i = i + 3*g + 3. Let w be 4/i*54/12. Solve 0*k + 3*k - w = 0 for k.
2
Let u(g) = g**3 + 8*g**2 - 20*g + 5. Let v be u(-10). Solve -v*a + 4 = 29 for a.
-5
Let s(k) = k**2 - 4. Let g be s(-2). Let c = 32 + -27. Solve g = -p + c*p for p.
0
Suppose -3 = 22*z - 113. Solve q + 4*q - z = 0 for q.
1
Suppose 14*r = -126 + 378. Solve -4*u = -10*u - r for u.
-3
Suppose 5*b - 10*b + 90 = 0. Solve 5*q = 7 + b for q.
5
Let p be (20/(-14))/(((-16)/56)/2). Let r be 44/p - ((-8)/(-20) - 0). Let v = -7 + 11. Solve v + 0 = -r*z for z.
-1
Let z(s) = s**3 + 3*s**2 - 3*s + 1. Let w be z(-3). Suppose h - w = -4*h. Suppose 0 = -h*b + 3*a + 44, b + 3*a - 24 - 7 = 0. Solve -4*u - u = b for u.
-5
Suppose 0 = -0*t + t - 2*y - 3, -2*y = 2*t + 24. Let w = -2 - t. Solve -w - 15 = -4*i for i.
5
Let o be -4 - -11 - (1 - 1). Let c be (-2)/(3 + o/(-2)). Solve 5*x - c - 11 = 0 for x.
3
Suppose -10*h = 18*h - 280. Solve -h*x = -14*x for x.
0
Let o be (-4)/(-5) + (-9)/((-495)/2486). Solve o = -6*z + 16 for z.
-5
Suppose -689*j - 20 = -