-x = a*x - 7 for x.
1
Let u = -7 + 14. Solve 3*a - u*a = 4 for a.
-1
Suppose 183 = -2*x + 201. Solve x*c = -6*c for c.
0
Suppose 0 = 3*y - 3, -3*j + 2*y + 31 = -0*y. Suppose 13*i - j*i = 0. Let d be 71/6 - (-5)/30. Solve 2*b + d - 2 = i for b.
-5
Let r(b) = 7*b + 51. Let x be r(-7). Solve x*y = -4 - 2 for y.
-3
Let i(y) = 18*y + 56. Let h be i(-3). Solve 0 = -3*w - h*w + 20 for w.
4
Let l(o) = 27*o - 483. Let n be l(18). Solve y + 8 = -n*y for y.
-2
Suppose 0 = -132*m + 60*m + 936. Solve m + 27 = -20*c for c.
-2
Let s = 549 + -369. Let h be s/(-72)*((-6)/5)/1. Solve -z = -h + 5 for z.
-2
Suppose 5*n + 164 = -221. Let t be (-4)/(-14) + (-902)/n. Solve 0 = -0*u + 3*u - t for u.
4
Let t be 95/(-38)*8/(-10). Let y be 1/1*t - (-1 - 5). Solve -f = f - y for f.
4
Let f(j) = -4*j - 9. Let o be f(-3). Let d = -15 - -17. Solve 15 = d*z + o*z for z.
3
Suppose u + 2*u + 33 = -2*c, 0 = -5*c. Let y = -4 - u. Solve 2 + y = 3*l for l.
3
Let j(x) = -7*x + 13. Let s be j(-4). Let p = -37 + s. Solve -3*h = 11 + p for h.
-5
Suppose 0 = -4*s - 0*s + 20. Suppose 2*w + 4 = 4*v + 2, w = 4*v - s. Solve -d - v*d = 3 for d.
-1
Suppose -221 + 25 = 4*j. Let g = -49 - j. Solve -3*d + 5 - 2 = g for d.
1
Suppose 0 = -2*u - d + 5, 3*u - u - 25 = 3*d. Suppose 2*n - u - 1 = 0. Suppose -n*p + 3*m + 5 = 2, -4*p - 2*m + 10 = 0. Solve 0 = z - 0*z + p for z.
-2
Let j = -11 - -11. Suppose -6*g - g - 3*g = 0. Solve g*h - h + 4 = j for h.
4
Suppose 3*c - 4*s = 32, -6*c - s + 61 = -c. Let t(h) = -h**2 - 13*h - 7. Let j be t(-11). Let o = j - c. Solve o + 5 = 4*i for i.
2
Let w = 101 + -53. Suppose w - 48 = -3*x. Solve x = -2*q + 10 for q.
5
Let t(h) = 3*h - 12. Let c be t(4). Suppose c*r = -r. Solve r = 2*f - 2 for f.
1
Suppose 40 = 4*x - 2*x - 2*s, 0 = -5*x - 5*s + 120. Solve -145 = 7*v + x*v for v.
-5
Let l(y) = -y - 10. Let u(m) = m + 11. Let w(b) = -3*l(b) - 4*u(b). Let g be w(-16). Solve 4*z + 6 = -g for z.
-2
Let u = 281 + -270. Solve -u = -14*y - 39 for y.
-2
Suppose 5*s - 8*s = -87. Let g = s + -24. Solve -t = -g*t + 12 for t.
3
Let y(u) = u**3 + 6*u**2 + 2*u + 5. Let j(f) = -4*f**2 - f + 1. Let o be j(1). Let d be y(o). Let s = -22 + d. Solve s*n = 2*n + 20 for n.
4
Let s(p) = 5 - 3 + 4*p + 2*p**2 - 6 + 3. Suppose 0*u = -2*u - 6. Let f be s(u). Solve b = f*b for b.
0
Suppose -4*j = -0 - 4, 4*p + 3*j = -5. Let a be -1*6/p - (-4 - -2). Solve 20 = -a*g + 5 for g.
-3
Let x(d) = -d**2 + 5*d. Let b be x(5). Suppose n + 61 = -v + 5*v, b = 3*v - 3*n - 48. Let m be 4/2 + (0 - -3). Solve -v - m = 5*i for i.
-4
Let h = -67 - -65. Let i(y) be the second derivative of -y**3/2 + y**2/2 + y. Let o be i(h). Solve 2 = 5*z + o for z.
-1
Let a(u) be the second derivative of 8*u**3/3 - u**2/2 + 5*u. Let p be a(1). Solve l + 4*l - p = 0 for l.
3
Let r(u) = -u + 1. Let a be r(-1). Let c(v) = 7 + a - v**2 - 5. Let j be c(0). Solve j*q + q = 0 for q.
0
Let i(v) = -8*v**3 - v**2 - 2*v + 2. Let o be i(2). Let t be 4/6*(-16 - o). Suppose -4*g = -g - t. Solve 4*u - g = 7*u for u.
-4
Let z(o) = 3*o**3 - 5*o**2 + 2*o - 2. Let v(b) = -13*b**3 + 21*b**2 - 9*b + 9. Let d(s) = 2*v(s) + 9*z(s). Let a be d(3). Solve a - 6 = 3*y for y.
-2
Let j be 3/(-4) + ((-69)/(-12))/1. Suppose 16 = -j*t + 51. Solve -3*i + t*i + 8 = 0 for i.
-2
Let b(u) = -u**2 + 12*u + 27. Let v be b(13). Let z be ((-4)/v)/(5/(-210)*3). Solve z*l = 7*l + 15 for l.
-5
Let f(v) = -v**3 - 11*v**2 + 18. Let l be f(-11). Suppose 5*u - l = -u. Solve -2 + u = d for d.
1
Suppose -7*p + 68 = 327. Let u = p - -41. Solve 0*w - u*w = 20 for w.
-5
Suppose 4*p + 1 = 2*x - 7, -12 = 3*x. Let i = 15 + p. Let l(z) = -z**3 + 11*z**2. Let o be l(i). Solve o = -0*r + 4*r - 20 for r.
5
Let o be (-2)/7 + (-60)/(-14). Let i(d) = d**3 + 7*d**2 - 22*d - 31. Let q be i(-9). Solve -o*b = -q*b + 1 for b.
1
Let x be 3*(-3)/9*-1*4. Solve x + 0 = -m for m.
-4
Let j be 0/((-4)/6*3). Let m = j + -6. Let b be 2/m + (-20)/(-6). Solve 0*a = b*a for a.
0
Let q be (-66)/(-231) - 611/7. Let z = q - -87. Solve 0 = -2*w - z*w + 2 for w.
1
Suppose -3*m + 3*x = -m + 15, m - 20 = -4*x. Suppose -4*c = -8 - m. Let p = 5 - 1. Solve -c*s = 2*s - p for s.
1
Suppose 3*h - 9 = z, -2*z - 4*h + 8 = -4. Suppose 3*w - 4*w + 4 = z. Solve -1 = -w*k + 19 for k.
5
Let m be -1*3/(-2)*(-310)/(-93). Suppose -3*j - 6*d = -m*d - 6, -j - 12 = 5*d. Solve -j*a - 10 = -4 for a.
-2
Let z be (8/10)/(3/(-15)). Let d be (z + 10/3)*-15. Solve 0*x + d = -2*x for x.
-5
Suppose 4*f - 4*c = 12, 4*c - 8*c - 6 = -f. Solve f*a = 7*a - 15 for a.
3
Let i be -1*(2 + 2 + -3). Let f(l) be the third derivative of -l**6/120 - l**3/6 + l**2. Let w be f(i). Solve w = -z + 4 - 0 for z.
4
Let m = -27 - -3. Let x = 30 + m. Solve -x*y + 3 = -3*y for y.
1
Let l(s) = -2*s**2 + 4*s + 5. Let i be l(-6). Let h = 91 + i. Solve h = 5*m + 13 + 7 for m.
-4
Suppose -2*b + 15 + 9 = 0. Let g = b - 12. Let m = -10 + 10. Solve g = v - m*v + 2 for v.
-2
Suppose 3*q + 2*q + 5 = -2*z, 5*q + 4*z = -5. Let i be ((-25)/(-1 + 2))/q. Solve 3*h - i = -2*h for h.
5
Let c(m) = 4*m**3 - 27*m**2 + 13 - m + 23 - 28*m - 3*m**3. Let g be c(28). Solve 0 = -2*d - 0*d + g for d.
4
Let m be (2/(-2)*(-12 + -5))/(-1). Let x = -17 - m. Solve x = d - 2*d for d.
0
Let l = -19 - -24. Let s be ((-20)/3)/l*-3. Suppose w = 2 + s. Solve 0*c = -3*c - w for c.
-2
Let q = 22 + 18. Let k = -36 + q. Let b = 39 - 19. Solve k*u + u - b = 0 for u.
4
Suppose 0*v - 16 = v + 4*w, 0 = 5*v - 3*w - 12. Let q = -61 - -64. Let k be 4/6 + q/9. Solve -b + k = -v for b.
1
Let y = -4 + 6. Let f be (-1)/1*-2 - y. Let p(g) = -g**2 + 2*g + 50. Let m be p(-6). Solve 0 = -2*z - f*z - m for z.
-1
Suppose 0 = 9*g + 72 + 378. Let i = 66 + g. Solve 0*l + i = -4*l for l.
-4
Let p = 4 - 1. Suppose 2*m + p*h + 9 = -2*h, 4*h = -4*m - 24. Let i = -3 - m. Solve 3*o = o + i for o.
2
Let u be (4 - (-112)/24) + 4/(-6). Solve u*c + 21 - 5 = 0 for c.
-2
Suppose -85*x = -82*x - 12. Let r = 39 + -36. Solve -n - x = -r for n.
-1
Let z = 3 + -17. Let l be -8 + -2*3/6. Let m = l - z. Solve -m*i + 8 = -7 for i.
3
Suppose -36 - 553 = -19*p. Solve p*k + 3 = 32*k for k.
3
Suppose 5*p = 38 - 13. Solve y - p*y = 4 for y.
-1
Suppose -4*r = o, 14*r = 4*o + 11*r + 19. Let q(b) = -5*b + 24. Let l(z) = -2*z + 8. Let g(j) = 11*l(j) - 4*q(j). Let n be g(o). Solve n = 2*y + 3*y for y.
0
Let s(k) = -k**2 + k + 13. Let b be s(0). Suppose -3 = 5*g - b. Let x be ((-12)/21)/(26/(-91)). Solve g*v + 0*v = x for v.
1
Let p = -1415 - -1417. Solve p*h - h - 3 = 0 for h.
3
Let l = -169 + 174. Solve m - l = -4*m for m.
1
Let x = 0 + 4. Suppose 2*s = -3*a + 70, 0*s + 4*s + 20 = 2*a. Solve -a = -x*v - 0 for v.
5
Let g(s) = 135*s**2 + 99*s. Let q be g(-1). Solve 22 = -7*a + q for a.
2
Suppose o + 16 = -5*q, -5*q - 11 = -4*o - 0*q. Let i be (-2 - 1) + o + 6. Solve 0 = -r - i*r + 15 for r.
5
Let b = 82 + -46. Let c = b - 28. Solve c = h + 3*h for h.
2
Let v(r) = r**3 - 15*r**2 - r + 19. Let m be v(15). Suppose y = m*y - 45. Solve y = b + 2*b for b.
5
Suppose 59*p = 67*p - 8. Solve -p = 2*s - 3*s for s.
1
Let w = 35 - 33. Let x(t) = -8 + 4*t**2 - 2*t**w + 2 - t**2 + t. Let a be x(-3). Solve a = -l - 1 for l.
-1
Let c(p) = -p**3 - 11*p**2 - 8*p + 20. Let d be c(-10). Solve d = -2*n + 36 - 32 for n.
2
Suppose -48 = 73*k - 75*k. Solve -27*o - 9 = -k*o for o.
-3
Let p(s) = s - 9. Let q be p(9). Let z(u) = 0*u - 3*u - 150 + 160 + 2*u. Let m be z(5). Solve m = -q*o - 5*o for o.
-1
Let s be 1450/120 + (-12)/144. Solve s = -11*m + 17*m for m.
2
Let t = 130 - 101. Solve t = -j + 30 for j.
1
Let l(i) be the third derivative of -i**5/60 + 3*i**4/8 - i**3/6 - 11*i**2. Let f be l(8). Solve 19 - f = -4*w for w.
-3
Let x be 30/9*(-6)/(-4). Suppose -x*a + 4 = -4*a. Suppose 4*q - 6*q + 2*c = -24, -a*q + 40 = -2*c. Solve -7 = -5*v + q for v.
3
Let x = -8 + 10. Solve 0 + 2 = x*i for i.
1
Suppose -3*m + 9 = -0*m. Suppose 0 = -4*b + m*p - 33, -b + 6*b - 5*p + 40 = 0. Let w be (-21)/b - (-2)/3. Solve -5*c + w*c + 6 = 0 for c.
3
Let h = 1213 - 1210. Let b = -2 + 5. Let o = b + -3. Solve 5*y - h*y + 6 = o for y.
-3
Let u = 260 + -256. Solve u = x - 0*x for x.
4
Let z(c) = -11*c + c**2 + 18 - 5*c**2 + 3*c**2 - 6. Let w be z(-12). Suppose w = 10*r - 12*r. Solve 4*s + r*s = 16 for s.
4
Let h(a) = a - 4. Let f(g) = -g**2 + 10*g - 13. Let s be f(7). Let l be h(s). Solve y - 6 =