ve -2 - 4 = -r*a for a.
3
Let r be -74*4/(-8) - 4/(-1). Let v = r - 36. Solve 0*d = v*d - 15 for d.
3
Suppose -15*b - 9 = -18*b + 4*c, -b + 4*c - 5 = 0. Solve 20 = b*v - 3*v for v.
5
Suppose -14 - 13 = h. Let u be 6/h + (-196)/9. Let s = 22 + u. Solve s*w = -4*w + 8 for w.
2
Let o be (-207)/(-552) + (-45)/(-8). Let u = -3 + 3. Solve u = -m + 4*m + o for m.
-2
Suppose -2*n - 3 = -3*n. Let y = 26 - 38. Let f be 2/(-6) - 76/y. Solve n = u + f for u.
-3
Suppose 8*x + 18 = 50. Solve 2 = x*m + 22 for m.
-5
Suppose -17*n + 14*n + 4*f = -20, -n + 2 = f. Solve -n*c = 4 + 8 for c.
-3
Let s be 4/34 - ((-363)/(-51) + -10). Solve 0*r - 6 = s*r for r.
-2
Suppose 0 = f + 4*f + 3*i - 38, -3 = -3*i. Solve 11 = -6*c - f for c.
-3
Let r = 554 + -542. Solve 3 = -11*b + r*b for b.
3
Suppose 0 = -4*c - 4*s + 124, -3*c + 4*s = 9*s - 89. Solve c = -13*f + 7 for f.
-2
Let z(l) = -l**2 - 10*l - 19. Let p be z(-6). Let y be p + -2 + -2 + 1. Let m(x) = x**2 - 3*x + 20. Let o be m(0). Solve y*h + o = 6*h for h.
5
Let o(w) be the second derivative of -w**4/24 + 2*w**3/3 + w**2 - 5*w. Let r(c) be the first derivative of o(c). Let j be r(-11). Solve 4*y = -y + j for y.
3
Let b = -12 - -15. Solve 0*g = b*g - 15 for g.
5
Suppose -26*f + 24*f = 236. Let j = -118 - f. Solve -2*r - 2 = -j for r.
-1
Suppose -8 = 40*m - 41*m. Solve 1 = m*p + 9 for p.
-1
Let q be 1 - 1 - 0/(-9 + 2). Solve 2*i - 25 + 15 = q for i.
5
Suppose -5*c + 53 = -4*i, -49*i + 47*i - 40 = -4*c. Solve 0 = 6*f + 3 + c for f.
-2
Suppose -113 = -38*x + 305. Solve -x*j = -4*j for j.
0
Let k be (-24)/6*5/(-4). Suppose -3*j + 24 = k*l, -5*j = 3 - 18. Solve z + l*z = -12 for z.
-3
Let c(h) = h**3 + 8*h**2 + 6*h - 4. Let b be c(-7). Suppose -2*t = s + 3, -b - 2 = 5*s. Let j be 4 - t - 10/10. Solve j*r - 6 = -2 for r.
1
Let m be (-36)/2*(-3 - 45/(-18)). Solve -m = -4*t + 7*t for t.
-3
Suppose 0*d = -d - z + 91, 4*z = 2*d - 182. Let f = 92 - d. Solve 3*c - 4 = -f for c.
1
Let v be 28/(-154) + (-24)/(-11). Solve 0 = -v*k - 2*k for k.
0
Let p = -132 - -139. Solve -p*x + 11*x = 0 for x.
0
Let l(i) be the third derivative of 5*i**4/12 - 9*i**3/2 - 6*i**2 - 3*i. Let h be l(4). Solve h = 2*d + 3 for d.
5
Let l = -21 + 5. Let d be (-51)/(-7) - l/(-56). Let k be 11/7 + 8/(-14). Solve 3*b + k = d for b.
2
Let p be 4 + 1*(1 - 2). Let q = p - 1. Suppose 0*n - 4*g + 5 = -5*n, n = g - q. Solve 20 = -n*j - j for j.
-5
Let o be -1*1/3 + (-460)/(-138). Solve r + 2 = o for r.
1
Let f(i) = 2*i**2 + 1. Let n be f(1). Suppose 0*y = n*y - 12. Let t = -384 - -392. Solve y*m - t*m = 16 for m.
-4
Let t(q) = 11*q + 67. Suppose -78 = 15*c + 12. Let g be t(c). Suppose -3*i = -1 - 11. Solve -3 - g = -i*b for b.
1
Let g be (-6)/(-7)*(0 - -14). Suppose -2*j + 3 + g = z, -j + 15 = -z. Solve -2*t = -2 + j for t.
-4
Let c(p) = -p - 3. Suppose -n + 11 = -5*h, 3*n + 0*h - 3*h + 27 = 0. Let y be c(n). Solve -y = 4*b - 3 for b.
-2
Let t(n) = -6*n - 30. Let g be t(-7). Suppose -32*m + g = -28*m. Solve 0*w = w - m for w.
3
Suppose 0 = 2*u + 25 + 29. Let g be 6/u + 58/18. Let s(c) = c**2 - 10*c + 9. Let o be s(9). Solve 3*d + 0*d - g = o for d.
1
Let s be 3/18 - (8 + (-125)/6). Solve -2*r = -15*r + s for r.
1
Suppose 3*i - 3 = 0, 2*a + 2 = 5*i + 5. Suppose p + 0*p - 40 = -4*j, -5*j = p - 43. Suppose 80 = 4*l + p. Solve 0 = -3*o - a + l for o.
3
Suppose -3*p + 47 = l, -62 = -4*p - l - 0*l. Suppose 9*u = 4*u. Suppose 19*i - 14*i = u. Solve 3*v = -i*v + p for v.
5
Let z = -110 + 118. Suppose -z*s - 24 = -12*s. Solve q + 25 = s*q for q.
5
Let n(v) = 6*v**2 + 6*v + 5. Let j be n(-1). Solve j + 11 = 4*h for h.
4
Let b = -25 - -48. Suppose 0 = -5*j + 2*y + b, -5*j = -0*j - 4*y - 21. Let p be (-30)/(-5) - (0 + 3). Solve -p*d = 2*d - j for d.
1
Suppose 15*a - 27 = 138. Solve 0 = -a*r + 6*r for r.
0
Suppose -5*k = -57*k + 7*k. Solve -14*u - u + 60 = k for u.
4
Let i be ((-3)/(-9))/((-5)/30). Let c be (-40)/12*3/i. Suppose c*d - 2*d = -r + 14, -4*d - 5*r + 26 = 0. Solve -t - d*t + 15 = 0 for t.
3
Let q(k) = -2*k + 52. Let s be q(20). Solve -11*j = -8*j + s for j.
-4
Let a(x) = 3*x**2 + 22*x + 21. Let z be a(-9). Let w = z + -59. Solve 0 = w*k - 11*k for k.
0
Suppose -12 + 6 = -2*f. Solve f*t + 8 = t for t.
-4
Suppose 5*b - 21 = 2*b. Let c(p) = -3*p + 5. Let k be c(b). Let z = -13 - k. Solve -z*j = -0*j for j.
0
Let x(l) = l**2 - l - 1. Let t(f) = -f**3 - 6*f**2 - 13*f + 4. Let i(d) = -t(d) + 3*x(d). Let m be i(-8). Let j = m + 25. Solve 3*p = -4 - j for p.
-2
Let m(w) = w**2 - w + 5. Let s be m(0). Suppose b = -3*t, 4*b = -5*t - b. Suppose s = -5*c + 5*u, -c = -2*u - t*u + 4. Solve -c = 3*k + 1 for k.
-1
Suppose -29*s + g - 15 = -30*s, -2*s + 58 = -5*g. Solve -s - 4 = 23*p for p.
-1
Let c(u) = 4*u - 20. Let p be c(6). Suppose -4*f + k = -20, 2 = f - p*k - 3. Solve 1 = f*q - 14 for q.
3
Let m = -45 + 45. Suppose -y = -0*y + 6. Let t be (3*-4)/(9/y). Solve m = 3*j - 7*j + t for j.
2
Suppose 0 = 2*m - 5*x + 15 - 5, -m + 8 = 4*x. Let f be (-1 - -1) + 0 + m. Let j(a) = -a**3 + a**2 + 34*a + 66. Let u be j(-2). Solve 0*t + 2*t + u = f for t.
-5
Let c(i) = -10*i + 20. Let l be c(3). Let d be 6/15 - (96/l - 0). Solve -q = q + d for q.
-5
Suppose -48*j = -9*j - 1170. Solve -18 = 4*a - j for a.
3
Let l be (-1)/(-1) - 9/3. Let k(u) = u + 16. Let f be k(-12). Let b = f + l. Solve 0 = -b*c - 3*c for c.
0
Suppose 0 = 3*j + 35 - 110. Let q = -204 + 208. Solve -q*f = f - j for f.
5
Suppose -4*b = 2*t - 60, -5*t + 0*t + 6 = b. Solve 11*g = b*g + 15 for g.
-3
Suppose -2*w + 8 + 26 = 2*y, 0 = 4*y + 3*w - 66. Suppose -12*h = -15*h + y. Solve h*a + 26 - 1 = 0 for a.
-5
Let l(q) = -q**2 - 4*q + 2. Let b(c) = -2*c - 2. Let g be b(1). Let s be l(g). Solve 6 = u + s*u for u.
2
Let l = 68 - 64. Suppose -4*u = -3*q + l, 5*u = -3*q - 2*q - 5. Solve 2*d + q*d = 8 for d.
4
Let n be (-28)/2 + 9/3. Let w be (-1 - 1)*n/(-2). Let l = w + 11. Solve -8*o + 3*o + 5 = l for o.
1
Let b = -39 - -76. Let r = b - 37. Solve -g = -r*g + 5 for g.
-5
Suppose 0 = 2*f + f. Let t be -1 + 1 + ((-6)/2 - 0). Let v be 10 - (t - (-1 + f)). Solve 2*o + 2*o + v = 0 for o.
-3
Suppose 8*b + 6 = 11*b, 0 = y - 5*b + 6. Solve 9*f = y*f for f.
0
Suppose 78 = -32*v + 34*v. Solve -9*p + 3 - v = 0 for p.
-4
Let l(s) = s**2 + 13*s - 105. Let b be l(6). Solve 3*a + 0 = b for a.
3
Suppose p - 4*l - 3 = 16, -5*l - 20 = 0. Solve -p*q - 2 = -14 for q.
4
Let y(u) = -64*u + 454. Let t be y(7). Solve 5*v + 44 = -t*v for v.
-4
Let c(m) = 2*m - m + m - 11 + 0*m. Let h be c(13). Solve f + h = -2*f for f.
-5
Let l(a) = a**2 - 17*a + 58. Let r be l(15). Solve -5*s - 8 = -r for s.
4
Let g = 2 + 1. Let v = 5 + 23. Suppose -y - 22 = -v. Solve g*h + y = -9 for h.
-5
Suppose m = -3*m. Suppose -w - 3 + 6 = m. Solve 0 = -u - w*u + 8 for u.
2
Suppose 3*r - 35 = -5*l, 2 - 42 = -5*l - 4*r. Solve 4*o + 20 = l for o.
-4
Suppose -z + 2*x = 8, -5*x = -3*z - 1 - 19. Solve z*l + 8 = 2*l for l.
4
Let u(c) = -c**2 - 3*c + 22. Let p be u(3). Solve -5*l + 6*l = p for l.
4
Suppose 4*m - 2*b = 12, -7*m = -3*m - 5*b. Solve m*c + 4 = c for c.
-1
Suppose -2556*a = -2563*a + 336. Solve 0 = 10*l + a - 8 for l.
-4
Let k = -33 - -23. Let r be ((-18)/15)/(k/25). Suppose 0 = 6*n - n + a - 22, -r*n = -4*a - 4. Solve -2*c + 6*c = -n for c.
-1
Suppose 12*f - 14*f = -24. Solve 12*n - f = -0 for n.
1
Suppose -5*x + 16 = -y - 4, 0 = -5*y - 4*x - 42. Let q be (-3 + -6 + 4)*4/y. Solve 17 = -5*h + q for h.
-3
Let c be (32/(-20) + -2)*20/(-12). Solve 0 = -2*y + 8*y - c for y.
1
Let c = 97 - 91. Suppose -11*b = -c*b - 15. Solve -6*v - b = -3*v for v.
-1
Let s be (-4 + -1 + 0)/1. Let n(w) be the first derivative of -w**2/2 - 3*w + 8. Let h be n(s). Solve h + 0 = a for a.
2
Let s(o) = 2*o - 1. Let g be s(1). Solve 2*z - g = 5 for z.
3
Suppose 5*d + r + 3*r + 20 = 0, 0 = -3*d - r - 5. Suppose d = 2*j - 7*j + 25. Solve j*k - 4 = 6 for k.
2
Let n be 4/16 - (-22)/8. Suppose -n*i - 27 = -42. Solve c - i*c = 16 for c.
-4
Suppose 2*p = 3*h - 100, -3*h + 156 - 46 = -4*p. Solve -7*i + h = 3*i for i.
3
Suppose -4*q = -3*q. Suppose -11*b + 13*b - 4 = q. Let v be 4/(-8)*0/b. Solve l - 2 = -v*l for l.
2
Let w be (0 + 1)*(7 - -33). Suppose 4*t + t = -w. Let u(m) = m + 12. Let h be u(t). Solve -5*z + h + 6 = 0 for z.
2
Suppose -2*r = 5*r - 112. Suppose -10*b + 2*b = -r. Let z be (-2)/(1 + (-12)/10). So