312*u = 0 for u.
0
Let w(r) = r**2 - 5*r - 135. Let v be w(15). Solve v = -2*s + 19 for s.
2
Suppose -14*o + 24 + 18 = 0. Let d(f) = f**3 - 5*f**2 + 6*f - 6. Let q be d(4). Solve -2*t = -o*t + q for t.
2
Let g be 1*5*2/10. Let o(x) = 2*x**2 - 2*x + 2. Let s be o(g). Solve -s*t - 11 = -1 for t.
-5
Suppose 2 = g + 2. Solve 4 + g = -2*t for t.
-2
Suppose 234*b = 235*b, 6*r - r + 2*b = 100. Let f = -4 - -7. Suppose -l - 2*z = -f*l + 4, -l = -3*z - 2. Solve 2*a + l*a = r for a.
5
Let l be (4/3)/((-11)/(-132)). Let u = 22 - l. Suppose 3*x - 2*v - 38 = 0, x + u - 32 = 4*v. Solve b - x = -b for b.
5
Let j(v) = 2*v + 16. Let k be j(-9). Let g be k*(-50*1)/5. Solve 0*t + 4*t + g = 0 for t.
-5
Let t be (-4)/2 - (-10 + -8 + 16). Solve 3 = -h - t*h for h.
-3
Suppose -51*c - 48 = -63*c. Solve 3*x = -c*x for x.
0
Suppose -h + 9 = 2*h. Suppose -2 = 5*i + 3, -3*i - h = u. Suppose -21 = 9516*q - 9523*q. Solve -k + q*k = u for k.
0
Let g = -81 + 86. Solve -g*h + 9*h = -16 for h.
-4
Let j = -28 + 36. Let s(k) = k - 5. Let d be s(j). Solve g + 8 = -d*g for g.
-2
Let p(i) = -10*i - 1. Let u be p(-4). Let f = u - -9. Suppose -6*a = -2*a - f. Solve -l - 2*l = -a for l.
4
Let f(g) = -g - 7. Suppose 7 = 3*w - 4*w. Let h be f(w). Suppose -x + 3*x = h. Solve x = -0*d + d for d.
0
Let g(z) = z**2 + 14*z + 7. Let p be g(-5). Let f be (-9)/(-45) - p/10. Solve -f*s + 11 = -9 for s.
5
Let j(f) = -5*f + 24. Let x be j(8). Let r(m) = m**2 + 19*m + 50. Let s be r(x). Solve s*y + 2*y - 20 = 0 for y.
5
Let f be (9 + 28)*(2 + -1). Let u = f - 19. Solve 4*q - 2 - u = 0 for q.
5
Let v(s) = -s - 1. Let i(n) = -9*n + 9. Let f(p) = -i(p) + 2*v(p). Let w be f(3). Let q = -8 + w. Solve 0 = q*c + c for c.
0
Suppose -3*y + 2*y + h - 102 = 0, -5*y + 2*h = 495. Let v = 101 + y. Solve 8 = 4*c - v for c.
3
Suppose -1 - 71 = -3*h. Suppose 3*i = 6*i - 60. Let b = h - i. Solve 0 = b*p - 8 + 28 for p.
-5
Suppose -r + 5 = 2*y, 2*y - 11 = -y + 2*r. Suppose -5*h - 106 = -y*o, 4 = -3*h - 2. Suppose -v + o = v. Solve -n - 3*n = v for n.
-4
Let h(p) be the third derivative of -p**6/120 - 11*p**5/60 - 5*p**4/12 + 7*p**3/6 - 19*p**2. Let g be h(-10). Solve 3*q - g*q = -20 for q.
5
Suppose -6*g + 8*g + 30 = 0. Let y be 6/g + (-8)/(-20). Solve y*k = 3*k - 6 for k.
2
Let g = -5 + 34. Solve -g = -4*n - 17 for n.
3
Suppose -3*s - 20 = -8*s + i, -2*i = 5*s - 35. Solve 2 - s = w for w.
-3
Let b = -131 - -158. Solve -23*v + b*v = 20 for v.
5
Suppose 0 = -2*v - 5*y + 16, 3*v = 4*v + 4*y - 2. Solve -21*n = -v*n - 12 for n.
4
Suppose -2*w + 34 = 2*m, 4*w - m - 86 = m. Suppose -w = -5*t + t. Suppose z + 0 = t. Solve z*i = -0*i for i.
0
Suppose -44 = -4*t - s + 4*s, 4*t - 76 = -5*s. Let h be (-1)/6*-3 - t/(-4). Solve -2*f = -h*f for f.
0
Suppose 4*x - 16 = 12. Solve -x*n = -2*n for n.
0
Let v = -23 + 37. Suppose -2*t - 2*t + 8 = 0. Suppose -t = -k + v. Solve 4 = -3*w + k for w.
4
Suppose z - 20 = -a, 77 - 22 = 4*z - a. Solve -2*l - z = -5*l for l.
5
Suppose 5*w = -5*c + 10, -2*w - 25*c = -29*c - 4. Suppose 0 = 5*u - 27 - 73. Suppose 9*h - 4*h = u. Solve w*n = h*n + 2 for n.
-1
Let r be (-21)/(-2)*(-26)/13. Let d be 6/r + (-44)/(-7). Suppose -d*v + 31 = 1. Solve 6 = -v*g - 4 for g.
-2
Let l be (-8 - 138/(-18))*0. Solve 23*s + 13 - 36 = l for s.
1
Let p(u) = u**3 - 47*u**2 - 49*u + 62. Let l be p(48). Solve 0 = -l*x + x + 65 for x.
5
Let y = 194 - 192. Solve 0 = y*u - 2 + 4 for u.
-1
Suppose 6 = 4*g - 26. Suppose 5*q - 2 = -u + g, 25 = 5*u. Solve -q + 5 = -l for l.
-4
Suppose 3*a = 2*a + 225. Let r be 14/4*(a/(-35) - -7). Solve -r*w + 0 + 2 = 0 for w.
1
Let w(j) = j**2 - 18*j + 12. Suppose -2*z - 12 = -3*z. Let t be w(z). Let a be (6/2)/((-15)/t). Solve m = 5*m + a for m.
-3
Let t(g) = g**3 - 18*g**2 - 35*g - 88. Let z be t(20). Solve 12*v + z = -0*v for v.
-1
Suppose -6*c + c = -2*v + 12, 5*v + c = 30. Let m be ((-99)/(-22))/((-3)/v - -1). Solve m*f = 4*f - 10 for f.
-2
Let n be 0 + -1*2/(-1). Let f(m) = -6*m - 12. Let x be f(-3). Solve -x = -2*p + n for p.
4
Let a(m) be the second derivative of -m**5/10 + m**4/12 - 35*m + 2. Let l be (6/(-9))/((-2)/(-3)). Let y be a(l). Solve n = -2 - y for n.
-5
Let i(u) = -11*u + 2. Let k be i(-2). Suppose 0 = a + 5*a - k. Solve -3*o - 5 - a = 0 for o.
-3
Let l = -1 + 8. Suppose -a + 5 = 0, -l*s + 2*a = -3*s + 10. Solve s*z + 4 = 2*z for z.
2
Suppose 0 = 5*g + m - 44 - 72, 5*m = -2*g + 51. Solve -g*h = -20*h + 6 for h.
-2
Let n(t) = -3*t + 6. Let i = -15 - -17. Let s be n(i). Solve 7*k - 4*k = s for k.
0
Let p be (-1 - 3 - -10) + (-4)/(-4). Solve -2*s - 15 = -p*s for s.
3
Let q(c) be the first derivative of -c**4/4 - 5*c**3/3 - 2*c**2 + 4*c + 30. Let i be (9 + -1)*2/(-4). Let d be q(i). Solve -5 = 3*o + d for o.
-3
Let o(b) = b - 8. Let p be o(15). Let y(f) = -10*f - 4*f**2 - 13 + p*f**2 - 4*f**2. Let r be y(-8). Solve 2*w - w = -r for w.
-3
Let p(c) be the third derivative of 0*c - 1/120*c**6 + 1/8*c**4 - 1/60*c**5 + 7*c**2 + 0 - 1/2*c**3. Let q be p(-3). Solve -15 + q = 3*g for g.
-3
Suppose 13*v - 294 = -v. Suppose -o + 32 - v = 0. Solve -4*m + 7 = o for m.
-1
Suppose 3*b = -3*b + 12. Let y be (3/(-5))/(1*b/(-10)). Solve -3*f = -4*f + y for f.
3
Suppose -3*x = -5*c + 75, -45 = -c - 2*c - 3*x. Solve 0 = -7*h + 2*h - c for h.
-3
Suppose 17*r = 73 - 22. Solve i = r - 1 for i.
2
Let o(r) = r**3 + 3*r**2 - 5*r - 1. Let c(y) = 2*y + 12. Let s be c(-11). Let i(t) = t + 6. Let a be i(s). Let n be o(a). Solve -n*p = -4*p for p.
0
Let t be 31 - -8*1/(-2). Suppose -5*y + t = -2*h + h, h = 3*y - 17. Solve y = -u + 2 for u.
-3
Let a = -1 - 22. Let b be 2*4/16*-64. Let v = a - b. Solve -4*p = 7 + v for p.
-4
Let m(d) = -3 - 4*d**2 - 4*d - 7*d**3 + 8*d**3 + 0*d**3. Let b be m(5). Suppose -1 = -i + 5*l, b*i - 2 + 0 = -5*l. Solve -3*u - i - 8 = 0 for u.
-3
Suppose -2*q = -48 + 24. Suppose -q = -p - 2*p. Solve p*v - 5 = -1 for v.
1
Suppose -25 = 5*k + 5*u, -4*k - 15 = -u + 4*u. Let m be 34/7 - (1 - 24/21). Suppose m*g = -k*s - s, 0 = 4*g + 5*s. Solve 0*l + l - 3 = g for l.
3
Let s(j) = -25*j - 36. Let w be s(-2). Solve -15 + w = -x for x.
1
Let y(i) = i. Let a be y(2). Suppose -2*w + a*m + 8 = -w, m + 1 = -w. Solve -4 = -2*f + w for f.
3
Suppose -l + 3*l - 8 = 0. Let w = 6 - l. Let b be (w + -2)/(-2 - -3). Solve b*c - 4*c = 0 for c.
0
Suppose -108 = 21*u - 39*u. Solve 8 = 2*i - u*i for i.
-2
Suppose -j = s - 11 - 99, 5*j - 330 = -3*s. Suppose 4*a = s - 10. Solve 4*r + r = a for r.
5
Let q(r) = 2*r**2 - 30*r + 143. Let w be q(6). Solve y = -6*y + w for y.
5
Let r = -43 - -43. Let o = 7 - r. Solve 3*y + o = 1 for y.
-2
Let c = 1378 + -1325. Solve 2*n - 53 = -c for n.
0
Let m = 28 - 32. Let a be (-1 - -4)*m/12. Let q be a/9 + (-110)/(-18). Solve 2*d = -4 - q for d.
-5
Suppose -5*p + 2*p + 1 = 5*l, -2*p - 5*l + 4 = 0. Let w be 7/(-21) - 7/p. Suppose w*u = 3*f - 5, -u + 2*u + 20 = 5*f. Solve 0*s - 10 = f*s for s.
-2
Let b = 1866 - 1845. Solve 0 = -2*l - b + 27 for l.
3
Let g = -500 - -500. Solve -75*d + 72*d - 6 = g for d.
-2
Let y be (-2 - (-8 + 5))*(-3 + 2). Suppose -5*d - 2*k = -5*k - 24, 0 = -4*d + 5*k + 14. Let f = d + y. Solve 3*z - f*z = 2 for z.
-1
Let d(a) = -a**2 + 20*a - 93. Let o be d(9). Solve o = -5*m + 2*m for m.
-2
Suppose -h + 6 - 3 = 0. Let y be 6/(h/24*4). Let s be ((-8)/y)/((-1)/3). Solve 0 = -s*z + 4 - 0 for z.
2
Suppose 3*q = -2*q + 45. Let g(p) = 3 - p - 4 + 2*p. Let d be g(3). Solve q = -l - d*l for l.
-3
Let g(u) be the first derivative of u**4/4 - 8*u**3/3 + 3*u**2 + 11*u - 12. Let y be g(7). Solve -20 = l + y*l for l.
-4
Suppose -d = -3*d + 3*k + 25, -k = d. Suppose -d*z = -z - 60. Suppose 2*o = 35 - z. Solve -5*f = -0 - o for f.
2
Let a = -225 - -229. Solve a = 2*y - 6 for y.
5
Suppose 0 = -3*x - 12, 0 = 3*q + 4*x - 61 - 22. Solve -q*r = -34*r - 5 for r.
-5
Suppose -2*a - 2*n = 2*a - 18, -3*a - 9 = -3*n. Solve 0 - a = o for o.
-2
Suppose 23*q - 1804 = -59*q. Solve 20*w + 2 = q*w for w.
1
Let q(r) = -r**3 + 3*r**2 + r + 1. Let g = 33 + -30. Let a be q(g). Solve 2*z = 8 - a for z.
2
Let g(u) = -17*u + 10. Let l(h) = -35*h + 21. Let f(a) = -7*g(a) + 3*l(a). Let n be f(2). Let s be 3/12 + n/12. Solve s*o + 0*o - 2 = 0 for o.
1
Let h(o) be the second derivative of -o**4/6 - 2*o**3 - 7*o**2/2 + o. Let t be h(-5). Suppose -t*w - 8*k = -3*k - 45, 75 = 3*w - 5*k. Solve -3*g = g -