e 8*h + 3 + 13 = v for h.
-2
Suppose -p + 0*o - 2*o = -6, p - 3 = o. Suppose 3*m = 3*z + 9, p*m = -2*z + 3 + 3. Solve -a + m*a = 0 for a.
0
Let i = -1030 - -1058. Solve -12*b - i = 2*b for b.
-2
Suppose q = 4*g + 12, -3*q - g + 18 = 2*q. Let i(t) = -2 + t - t + t**3 - t - 2*t**3 + 3*t**2. Let h be i(2). Solve -y + h*y = q for y.
-4
Suppose 63 + 27 = 18*i. Solve 9*a - i = 13 for a.
2
Let i = 114 - 111. Suppose i*n = -n - 10*n. Solve 5*r = -n*r for r.
0
Let m(d) = -d**3 - 6*d**2 - 6*d - 2. Suppose -2*y = -6*y - 20. Let a be m(y). Solve 0 = a*t + 2*t + 20 for t.
-4
Let q be (3*1)/((-3)/4). Let w = -4 - q. Suppose -3 = -3*h + 9. Solve w = h*r - 3 - 17 for r.
5
Suppose 52*l + 21 = 55*l. Solve -9 - 26 = -l*h for h.
5
Let x(h) = h**3 + h - 2. Let u be x(2). Suppose 0 = -u*g + 3*g + 5. Suppose i = 5*y - 3, 7*y - 4*y = -3*i + 9. Solve -c = -i - g for c.
3
Suppose 6*p - 66 = -0*p. Let s = -8 + p. Solve 5*y - 28 = -s for y.
5
Let s(y) = 4*y**3 + 3*y**2 + y + 5. Let c be s(0). Solve c*z = -1 + 11 for z.
2
Let q(l) = -2*l - 16. Let h be q(-8). Suppose 4*t - 4 = f - 0, h = -3*t + 4*f - 10. Solve -4 - 6 = t*m for m.
-5
Suppose -2*n = 3*n + 10, 39 = 3*i + 3*n. Suppose -4*r = -3*l + 2*l - i, 3*r = 3*l. Solve -20 = -r*h + h for h.
5
Let b(y) = -4*y**3 - 2*y**2 + 2*y - 1. Let x be b(1). Let a = -3 - x. Solve a*n + 2*n = 20 for n.
5
Suppose 0*j + 5*j + 10 = 0, 5*b + 5*j - 135 = 0. Suppose 4*r - b = -2*k + 3*k, 2*r = -k + 13. Let f be (r/14)/(1/2). Solve -4*d = 7 + f for d.
-2
Let j be (-2)/14 + 324/63. Suppose -16 = -j*g + g. Suppose -g = -y - 1. Solve 9 = -y*u - 3 for u.
-4
Suppose j + 3 = -5*w, -12*w - 4*j - 12 = -17*w. Solve -2*c - 7 + 3 = w for c.
-2
Let p = -484 - -488. Solve p*c + 27 = -5*c for c.
-3
Let u(i) = 2*i**2 - 28*i + 10. Let c be 2/4 - 27/(-2). Let s be u(c). Solve -4*k + s = -9*k for k.
-2
Let w = 28 - 24. Solve 0 = w*m - 0 - 16 for m.
4
Let f(y) = 5*y - 224. Let m be f(45). Solve 5*o - 4*o = m for o.
1
Let f = -8 - -3. Let c(p) = -p**2 - 5*p + 5. Let w be c(f). Solve -3*q + w*q + 6 = 0 for q.
-3
Let p = -378 - -381. Solve 1 - 4 = -p*a for a.
1
Let f(h) = -h. Let s be f(0). Suppose -5*b + 25 + 10 = s. Suppose 7 - 1 = 2*v. Solve -v*p + 20 = -b*p for p.
-5
Let l be 164/20 + (-8)/40. Solve -5*w = -9*w - l for w.
-2
Suppose x + 21 = -5*k + 60, -5*x - 29 = -3*k. Suppose -r - r = a - 12, 4*a + 4*r = 32. Solve 0 = -k*c + 6*c - a for c.
-2
Let u = -15 - -16. Let o be 2/(u*(-1)/36). Let l be o/(-30) - 4/10. Solve 0 = -7*x + l*x for x.
0
Suppose -4342 = -y - 4339. Solve 200 = y*x + 212 for x.
-4
Let f(a) = -a**3 + 11*a**2 - 28*a - 2. Let w be f(6). Solve -3*z + 2 + w = 0 for z.
4
Let i = -741 - -748. Solve 0 = -4*u - 23 + i for u.
-4
Let u(y) = -y - 2. Let d be u(-5). Let l be 1*-3*12/(-18). Suppose l*o = 6 + 2. Solve 0 = o*b - 23 + d for b.
5
Suppose 3*y + 3*a = 11 + 19, 4*a = y + 10. Solve 0*c - y*c - 6 = 0 for c.
-1
Let k(w) be the second derivative of -w**5/20 + 7*w**4/12 + w**3/3 + 11*w**2/2 + 2*w. Let o be k(7). Solve -6*y = -y + o for y.
-5
Suppose -2*y = 3*y - 20. Suppose 3*m - y + 10 = 0. Let x be (66/(-9))/(m/3). Solve -x = 5*r - 1 for r.
-2
Let q(l) = l + 13. Let f be q(-11). Let w(s) = -16*s**2 - s**3 - 3*s**3 + 15*s**2 - 2 - f*s. Let d be w(-1). Solve 14 = -d*x + 2 for x.
-4
Let m(f) = -18*f. Let u be m(3). Let a = u + 75. Suppose -g = -3*x + 15, 0 = 5*g + a - 6. Solve 0*o - 12 = x*o for o.
-3
Suppose 0 = 3*s + 18 + 9. Let w = -9 - s. Let h be 0 + (0 - (3 + -5)). Solve -2 + w = -h*r for r.
1
Let x(d) = -38*d + 636. Let z be x(16). Solve 30*o + 10 = z*o for o.
-5
Let v = 0 - 0. Let x be 56/8 + (-1 - 3). Suppose -2*h - o + 15 = v, x*o - 1 = 14. Solve -2*w + h - 3 = 0 for w.
1
Suppose -6*n = -8*n + 4. Suppose -2*x + c = n*c - 8, 3*x - 6 = -3*c. Suppose 0*y = 5*y - 20, 0 = -5*v + y + x. Solve 1 = -v*w + 5 for w.
2
Let n be 6/(90/35)*3. Suppose 0 = -5*y + 3*j + 17, 0 = 4*y + 5*j + 14 + 2. Let d = n - y. Solve -4 = 2*w - d*w for w.
1
Suppose -26 = 6*t - 32. Solve -t = k + 4 for k.
-5
Let d(x) = x**2 - 7*x - 18. Let j be d(9). Solve j = -3*r + 16 - 13 for r.
1
Suppose 0 = 3*h + b - 587, 0 = 2*h + 17*b - 19*b - 394. Solve -2*n - 188 = -h for n.
4
Let t(j) = 5*j - 9*j + 5*j. Let u(w) = 2*w - 5. Let n(f) = 3*t(f) - u(f). Let c be n(0). Solve 12 = -y + c*y for y.
3
Suppose -138 = -21*c - 2*c. Suppose 0*j - 4*j + 72 = 0. Solve j = -3*v + c for v.
-4
Suppose 45 - 30 = m. Solve -2*c - m = 3*c for c.
-3
Suppose -j = 4*q, -2*j + 10*q - 5*q + 52 = 0. Solve 13*o - j*o = -12 for o.
4
Suppose -47*x = -10*x - 111. Suppose 3*i - 63 = -0*i. Suppose i = 3*o + x. Solve 6 = 3*p - o*p for p.
-2
Suppose -a - x = -102, -2*a - 5*x + 173 = -43. Let k be a/(-14)*(-8)/14. Solve b = k*b for b.
0
Let k(r) = -r + 8. Let c be k(4). Let x = 1 + c. Suppose 3*t = x + 10. Solve 0 = -y - 1 + t for y.
4
Let l be 12/42 + (-46)/14. Let w = l - -9. Let o be ((-12)/(-8))/(w/20). Solve -6*k = -k - o for k.
1
Let z(v) = v**2 - 7*v + 8. Let u be z(6). Let q be u + 1 + 0 - -1. Solve -q*l = -l - 3 for l.
1
Let w be 3/6 + (-975)/(-30). Solve -5*q = w - 18 for q.
-3
Suppose 0*l + 2 = l. Suppose 2*y = -6, -y = -3*r - l*r - 17. Let o = 7 + r. Solve o*z = 2*z for z.
0
Suppose -15*w + 6*w = w. Solve 7*q + 32 + 3 = w for q.
-5
Suppose -o + 1 = -0*i + i, -2*i = 4*o - 2. Let h be (-5 - -4)/(i/(-4)). Solve -h*c + 5 = -9*c for c.
-1
Let g(t) = -t**3 - 2 + t**2 + 0 - 2*t + 0*t. Let k be g(-2). Let y be 8/14 - (-6)/k. Solve -y = -2*s + 3*s for s.
-1
Suppose 4*n - 24 = -32*q + 37*q, -2*n - 5*q = 18. Solve -3*z = n - 16 for z.
5
Let n = 34 + -31. Suppose s + n = 2*b, -5*s + 6 = b + 21. Solve b = 2*x + x - 12 for x.
4
Let u be 3*(-3 - (-65)/15). Solve -29*l = -31*l - u for l.
-2
Let w(g) = g**2 + 7*g + 2. Let o be w(-7). Suppose 0*v = -o*v + 6. Solve 0 = v*q - 7*q for q.
0
Let f = 1447 - 1443. Solve -f*m + 113 = 93 for m.
5
Let d be (-290)/(-87)*(72/10)/3. Solve -2*b - 18 = -d for b.
-5
Let g(y) = 15*y**2 + y + 2. Let j be g(-2). Let i be (-2)/8 - (-195)/j. Solve m + i = 7 for m.
4
Let i = 690 - 679. Solve -8*k = -i*k + 12 for k.
4
Let x(j) = 2*j - 58. Let k be x(30). Solve l - 6 = -k for l.
4
Let r = -71 - -78. Solve 0 = -2*c + r + 3 for c.
5
Let v(d) = d**3 + 2*d**2 - d - 2. Let r be v(-2). Solve r = -n + 4*n + 3 for n.
-1
Let w be ((-24)/((-15)/5))/((-6)/(-3)). Solve -5*x = -w*x + 5 for x.
-5
Let f = -6 - -4. Let q be 22 - f - (0 + 3). Let k = q - 15. Solve o - k*o = 20 for o.
-4
Let h = -4 - -6. Suppose 4*w - 119 = 81. Let g be ((-2)/5)/((-10)/w). Solve 3*a - h = g*a for a.
2
Let k be (-6)/(-10) - (-56)/(-10). Let v be k/(0 - 3/18). Let r = v - 18. Solve 0*h = 4*h + r for h.
-3
Let f(u) = 2*u - 14. Let z be f(5). Let y be (-4)/(z/(-2)) + 0. Let k be y + (-1 - -1) + 4. Solve k*v + 2*v + 16 = 0 for v.
-4
Let r(w) = -w. Let y(u) = 3*u - 7. Let f(c) = -4*r(c) - y(c). Let k be f(-4). Solve 4*v = -k - 1 for v.
-1
Let g(h) = -9*h + 5. Let a be g(4). Let q = 31 + a. Let y = 3 - q. Solve 0 = 4*n - n + y for n.
-1
Let n be (-144)/(-56) - ((-36)/21)/(-3). Solve 4 = -3*q - n for q.
-2
Let h be 0/(-3) + (-18)/2. Let l be 2/h - 6/(-27). Suppose -2*t + 7*t = l. Solve t = -3*b + 4*b for b.
0
Let q(k) be the third derivative of k**6/120 + 7*k**5/60 + k**4/4 + k**3/3 + k**2. Let i = -349 + 343. Let s be q(i). Solve 0 = 2*p + s*p for p.
0
Suppose -i + 0*i - a = -6, -5*a + 29 = 4*i. Let o = 14 + -5. Let j = o - 9. Solve -2*r + i + 7 = j for r.
4
Let r(o) = 2*o**2 + 9*o + 5. Let s(b) = -b**3 + 4*b**2 + 12*b - 4. Let j be s(6). Let v be r(j). Solve 7 = -2*q - v for q.
-4
Suppose y - 1 = 3*b, 2*y - 3*b - 13 + 2 = 0. Suppose 9*g = 4*g + y. Suppose m - 2*d = -3*m, -g*d + 10 = m. Solve 0*r + m = -2*r for r.
-1
Suppose 0*k = -2*k - 4*u + 32, -95 = -5*k + 5*u. Suppose -k*p - 15 = -21*p. Solve 3*o = p*o + 10 for o.
-5
Let j(q) = -3*q**2 - 26*q + 124. Let o be j(-12). Let k be 2*1*(-2)/(-4). Let c be -3 + k - -1*4. Solve o*s - c = -10 for s.
-2
Let i be (-3)/(-33) - (-1350)/275. Solve i*d + 20 = 25 for d.
1
Suppose 2*r + 4*l = 30, 3*r - 6*r - 5*l = -40. Let y = -13730 + 13734. Solve r - 1 = -y*n for n.
-1
Suppose 0 = -5*i + 5*a - 1 + 26, 0 = 3*i + 4*a - 1. Let y be 2 - (0 - -3) - -36. Suppose -5*u + y = 5*z, 4*u + u = -i*z + 31. Solve 3*s = -z*s + 25 for s.
5
Let s = -735 - -747. Solve s*l + 1 + 47 = 0 for l.
-4
Suppose -5*k + 130