- 12 = 14 for m.
-2
Let j be ((-63)/12)/((-112)/128). Solve j*a + 20 = 2*a for a.
-5
Let g(b) = -b**3 - 43*b**2 + 88*b - 88. Let u be g(-45). Suppose -4*s - 2*o + 6 = 0, -5*s = 3*o + u*o - 15. Solve s = -5*h - 6 + 11 for h.
1
Let g(x) = 209*x - 1171. Let w be g(6). Solve 73*b - 60 = w*b for b.
-6
Let z be 6 - -1 - 545 - (-2)/1. Let s = z - -537. Solve h - 1 - s = 0 for h.
2
Suppose 4*o + 3*s = 36, o + 10 = 2*o + s. Suppose 3*l - 5*w + o + 4 = 0, -l + 5*w - 20 = 0. Solve v - 2 = -l for v.
-3
Let r(s) = 45 + 127*s - 130*s - 35. Let w be r(2). Solve 11 - 15 = w*y for y.
-1
Let u(d) = 11*d**2 - 394*d - 2. Let l be u(36). Solve -l = -15*p - 40 for p.
2
Let b(n) = -n - 1. Suppose 5*f + 3 = -4*i + 5, 2*f = -3*i - 2. Let z be b(i). Let k(d) = -d**2 - 133*d + 414. Let p be k(3). Solve z = 5*v + p for v.
-1
Suppose -95*o + 267 = -6*o. Solve 30 = o*d - 9*d for d.
-5
Let b(d) = -3*d**3 - 6*d**2 + 3*d + 28. Let l be b(-2). Solve 0 = 9*y + l*y for y.
0
Let l(i) = -i**2 - 5*i + 2. Let r be l(-4). Suppose 3*d + 3*a - 32 = 31, r = -3*a. Let m(q) = 3*q - 1. Let z be m(2). Solve -d = z*g + 2 for g.
-5
Let q be ((-195)/15 + 13)/3. Solve 8*y - 4040 + 3976 = q for y.
8
Let n be (6 + -2 + (-137)/(-2))*-4. Let r = 296 + n. Suppose 0 = 3*i + 2*y - 11, 3*i = -y + 1 + 15. Solve i*t = 4*t - r for t.
-2
Suppose 0 = j - 3*r + 33, -90 = 3*j + r - 11. Let v = j + 42. Suppose -3*w + 16 = -2*u, -1 + 11 = -5*w - 4*u. Solve -w*o + v = o for o.
5
Let l(u) be the second derivative of -u**4/12 + 3*u**3/2 + 57*u**2/2 - 35*u. Let t be l(13). Solve t*v - 30 = -5 for v.
5
Let c = 30442 - 30412. Solve -121 + 1 = -c*s for s.
4
Suppose 0 = -2*h + g + 11, h = -7*g + 2*g - 11. Suppose -125 = -h*v - 117. Solve 50*l - 49*l = v for l.
2
Let h(y) = y + 6. Let p be h(-6). Suppose 44 = o + 4*n - 2, 5*o + 2*n - 176 = 0. Let l be (-55)/11 + o/2. Solve p*v - l = 3*v for v.
-4
Let d(t) = -t**3 + 4*t**2 - 3*t + 1. Let o be d(3). Suppose -6*z = -7*z - 2. Let v be 4 - z - (1 - -2). Solve o = v*h - 11 for h.
4
Let w(h) = -h**3 + 5*h**2 + 6*h - 36. Let b be w(4). Suppose 3*m + 4*o = -o + b, 0 = -m + 5*o + 28. Solve 4*s = 6*s - m for s.
4
Let z be (6 - (-32)/(-5)) + (-4)/(-10). Suppose 5*d - 6*d + 2 = z. Solve -3*o = -d*o - 4 for o.
4
Let l be (6/15)/((-37)/(-3515)). Let a(z) = -z**2 + z - 34. Let g be a(0). Let n = l + g. Solve -c - 12 = -n*c for c.
4
Let b(s) = s**2 - 9*s + 35. Let t be b(17). Suppose -4*g + 7*g = t. Suppose g = 4*r + 45. Solve r - 8 = -m for m.
5
Let g(l) be the first derivative of -3*l**2/2 + 6*l + 82. Let o be g(2). Solve 3*n + 15 - 6 = o for n.
-3
Let b(z) = -z + 6. Let v be b(3). Let g(x) = 3*x**2. Let w be g(v). Let q be (-14)/(-8) + (-41)/(-4). Solve -w + q = -5*j for j.
3
Suppose 2*f - 31 = -7. Let y(k) = k**3 + 5*k**2 - 3*k - 20. Let v be y(-5). Let p be 3*(-4 - v) + 1. Solve p*r + 0*r + f = 0 for r.
-3
Let q = -2537 + 2549. Solve -q*r = 26 + 10 for r.
-3
Let b(a) = -31*a - 1. Let m be b(-1). Suppose -m = z - 6*z. Let k be (-2 - (-30)/9)/(4/z). Solve p = k*p - 2 for p.
2
Let w be (-2)/((8/18)/(-2)). Let j = 16852 - 16831. Suppose 0 = -3*p - 0*p + r + j, 5*r + w = 3*p. Solve 0 = -0*o + 2*o - p for o.
4
Let u be (-11)/44 - 0 - (-18)/8. Suppose 17*b - 21*b + 28 = -u*z, 3*z - 13 = -5*b. Solve -b*k - 11 = 9 for k.
-4
Let r = 13 - 3. Let o = r + -6. Let q be (15*(-12)/(-10))/(6/4). Solve -q = -4*m + o for m.
4
Suppose 4*g = 66 + 26. Suppose 0 = 26*t - 81 - g. Solve t + 2 = -3*z for z.
-2
Suppose 144 = 4*v + 3*p, -v + 4*v + 4*p - 115 = 0. Solve 29*b - v = -4 for b.
1
Suppose 0 = 9*x + 164953 - 165223. Solve 420*m - 426*m + x = 0 for m.
5
Suppose -5*m + 21 = -4*f + 6*f, 69 = 5*f - 4*m. Solve 0 = f*o + 11 + 2 for o.
-1
Let n be 2*(4 + -10 + -4 + 27). Solve n = 24*w - 41*w for w.
-2
Suppose -w = -5 - 7. Suppose 0 = 42*g - 39*g - w. Let u = g - -6. Solve -2*c + u = 3*c for c.
2
Let a(n) = 15*n**2 - n**3 - 13*n - 28*n**2 - 2 - 8. Let g be a(-12). Suppose 4*w + 2*l = 10, -2*l - 7 = -w + g*l. Solve 5*j + 23 - w = 0 for j.
-4
Let j be (-15)/(-2)*988/(-39). Let t = j + 197. Solve 0 = 2*r - 1 + t for r.
-3
Let c be ((-66)/11)/(4/(-6)). Suppose -3*y + 2 - c = 2*p, y + 1 = -2*p. Solve -p = s - 2*s for s.
1
Let y(j) = -j**2 + j + 19. Let a be y(-3). Let p = a + -3. Suppose -p*g + 9 = o, 0*g = -2*o + 3*g + 29. Solve 4*r + 3 = -o for r.
-4
Let w(g) = 2*g**3 + 239*g**2 - 112*g + 994. Let q be w(-120). Solve -43*v = -q*v - 54 for v.
6
Let n = 105 - 111. Let l be (-2 - 8)/(n + 5). Suppose -14*u + l*u = 5*j - 12, -5*u + 3*j + 52 = 0. Solve -11*v + u*v - 9 = 0 for v.
-3
Suppose 18*l - 324 + 113 = 23. Solve 83 - 70 = l*h for h.
1
Suppose -5*v + 155 - 80 = 0. Let y be ((-1)/(-7))/1 + (-532)/(-49). Solve 2*w - v = -y for w.
2
Suppose -10001*b = -10010*b + 18. Solve b*m = -8*m + 20 for m.
2
Suppose 0 = -5*z - 3*x + 495, -4*x + 396 = 4*z - 6*x. Let q be (-2)/(-8) - (z/(-4) + 1). Solve 5*v + q = 4 for v.
-4
Suppose 25*w - 130 = -w. Suppose 0*a - w*a = 2*x - 27, -3*x - 4*a = -30. Solve 0*d + x*d = 2*d for d.
0
Suppose -6 = 26*z - 58. Suppose 4*w - 18 = -2*f + 10, f - 5*w = -21. Solve f = -s + z for s.
-2
Let z(g) = 71*g + 443. Let x be z(-6). Solve 3*r = x*r - 28 for r.
2
Let o(j) = -864*j - 3403. Let d be o(-4). Solve 46 - 364 = -d*b for b.
6
Let a be (-15*16/24)/((-2)/19). Solve -46*f = -65*f + a for f.
5
Suppose 3*n - 99 = 3*z, -3*z - 3*n + 137 = -7*z. Let w = z + 42. Solve w*y - 1 = -13 for y.
-3
Let c(u) = -17*u - 5. Let s be c(-4). Let w = s - 59. Solve -w*k = -0*k - 4 for k.
1
Suppose 35 = 5*k - 0. Suppose 5*d = 3*r + k + 6, -5*d = 5*r - 45. Suppose 3*q - r = -2*p, -q = q - 4*p - 8. Solve -2 = q*b + 8 for b.
-5
Let u(v) be the third derivative of -v**6/120 - v**5/60 - 6*v**2. Let g be u(0). Suppose -10 = 5*q, 3 = -2*t - 5*q - 1. Solve g = 2*k + t + 7 for k.
-5
Suppose -11 = 4*g + x, -4*g + 0*x + 4 = 4*x. Let s be -2*2/g*3. Let v = -1048 - -1050. Solve -v + 8 = -s*i for i.
-2
Suppose 5*i - 965 = -5*h, i - 8*h + 17*h - 209 = 0. Solve 0 = 196*f - i*f - 40 for f.
8
Suppose -5*p - 450 = -14*p. Suppose -360 = 14*g - 934. Solve 3*b - g = -p for b.
-3
Let k be (4 - 6 - 1) + 39. Let g = k + -39. Let m be 4/g - (-60)/45. Solve m*i = 2*i + 2 for i.
-1
Let t = -8 - -11. Suppose -k + 8 = 4*q, 0 = t*k - 2*q + 12 - 36. Let f be 13/1 + (-32)/k. Solve f + 6 = 3*n for n.
5
Let p = 156 + -156. Suppose -6 = 3*a - 4*a - 4*s, -5*a - s + 11 = p. Suppose -2*v + 2 = -6. Solve -v*m + a*m = 0 for m.
0
Suppose -5*p + k + 257 = 0, k - 64 = -5*p + 199. Suppose 46*c + 18 = p*c. Let b = -4 - -5. Solve c*h = -b + 16 for h.
5
Suppose -13*p = f - 16*p - 284, 3 = p. Suppose 36 = -290*y + f*y. Solve s = 5*s + y for s.
-3
Suppose -466 - 139 = -5*w. Suppose w*t + 58 = 123*t. Suppose -28*o - 3 = -t*o. Solve u + o = 2*u for u.
3
Let u(m) = -11*m - 75. Let q be u(-9). Suppose -3*r = -4*s - q, 5*s + 21 = 3*r - 3. Solve -2*l = -4*l - r for l.
-4
Let p(l) = -2*l**2 - l + 28. Let r be p(0). Let i be (-878)/(-11) + (-6)/(-33). Let w be 288/i + (-4)/(-10). Solve -w*s - r = -8 for s.
-5
Suppose l = 5*b + 4, -2*b + 9 + 3 = 3*l. Suppose -63 = -5*x - l*i, 4*x - 3*i + 8*i = 45. Solve j = -4*j - x for j.
-3
Suppose 0 = 11*g - 9*g. Let x be 80 + (4 - g) - 3. Let s = x - 81. Solve 2*d - d + 1 = s for d.
-1
Suppose 310*t + 214*t = 44540. Solve -t*p + 83*p - 16 = 0 for p.
-8
Suppose 1634 - 246 = 5*u + 4*g, 3*g = -3*u + 837. Solve 59*j - u = 200 for j.
8
Suppose 3*j + 4*y - 57 = 0, -y - 71 - 47 = -5*j. Solve -11*a = j - 78 for a.
5
Let u(f) = f + 15. Let t be u(-11). Suppose 0 = t*b - 2*b. Let d(i) = -7*i**2 - 62*i + 9. Let x be d(-9). Solve 2*o - 4 + b = x for o.
2
Let m = -135 + 179. Suppose -m*z + 40*z + 8 = 0. Solve 6*h + 22 = -z for h.
-4
Let v(f) = 2*f - 1. Let r be v(3). Suppose 0 = -0*g - 3*g - 5*a - 28, -3*g = -a + 16. Let w be -1*3/(-9)*g/(-2). Solve 3*d + w = -r for d.
-2
Let b(n) = -32*n - 119. Let k = -587 - -583. Let g be b(k). Solve -19 = -g*l + 17 for l.
4
Let w(p) = -61*p + 293. Let g be w(4). Solve 14*k - 70 = g*k for k.
-2
Let c = 5159 - 5159. Solve -1074*f + 1075*f = c for f.
0
Suppose -z + 1 = 3*i, -4*z - 22 = -i - 0. Let d = -39 + 35. Let v(o) = -o + 14. Let t be v(d). Solve 5*q - i - t = 0 for q.
4
Let i = 368 - 366. Suppose -27 = -3*b - i*c - c, -3*c = 4*b - 35. Solve -6*x + b*x + 2 = 0 for x.
-1
Let y = 1 - -5. Suppose -17 - y = -5*q