m.
0
Suppose 3*v + 0*v = -4*w + 539, -4*v + 5*w = -760. Let s = v - 183. Solve s = 7*g + 9 for g.
-1
Suppose -3*k + 516 = -0*x + 2*x, 0 = x - 3*k - 240. Suppose -x = -26*j - 18. Suppose -7 = -2*u + 3*n + 55, -4*n - 116 = -4*u. Solve -4*y - u + j = 0 for y.
-4
Let w(c) = -c**3 - c**2 + 6*c + 2. Let o(a) be the first derivative of -2*a**3/3 + 13*a**2 - 3*a + 8. Let u be o(13). Let l be w(u). Solve 0*r - r = l for r.
-2
Let m(j) = -j**2 - 28*j + 3. Let h be m(-21). Let u = h + -138. Solve u*b + 2 = 11*b for b.
-2
Suppose -4*u = 15 + 5. Let b be (u + 4)*0/(-1). Let y(j) = -j**3 - 10*j**2 + 14*j + 37. Let p be y(-11). Solve -g + p*g = b for g.
0
Suppose 44*f + 108 = 53*f. Solve t + f = -11*t for t.
-1
Let d(c) = c**3 + 5*c**2 + 6*c + 2. Let k be 3/(-2)*48/(-18). Suppose -5*a = -3*a + k*j - 14, 3*a - 3*j = -24. Let m be d(a). Solve -p - m*p - 6 = 0 for p.
-2
Let k be 0/((1 - -5)/(-2)). Suppose -3*z + k*z = 0. Solve z = -2*g + 3*g for g.
0
Let v(i) = -41*i + 125. Suppose 18 = 11*l - 15. Let u be v(l). Solve 5*m = u*m - 6 for m.
-2
Let p(m) = -2*m**3 - 3*m**2 + 29*m - 13. Let f be p(-5). Solve -f*w = -21*w + 8 for w.
2
Suppose 0*h + 12 = 5*v - h, -3*v = h - 4. Let j(g) = -g**2 - 28*g - 39. Let p be j(-27). Let o be 0*(1 + 9/p). Solve 0*n - v*n + 6 = o for n.
3
Suppose -k + 36 = k + f, 2*k = -2*f + 38. Let l = 19 - k. Suppose -2*o = -5*x - 2 - l, -2*x + 4 = 2*o. Solve o = -d + 5 for d.
3
Let a = 76 - 70. Let k be (-6)/(-1) + -3 - a/(-3). Solve -k*g - 3 = -8*g for g.
1
Let b = 331 - 636. Let x = 343 + b. Solve 50 = -3*n + x for n.
-4
Suppose -1337 - 934 = -6*y + 453. Solve y*w = 452*w - 8 for w.
-4
Suppose 3*p = -5*m + 141, 0 = -4*p - 0*p + 5*m + 83. Solve p*k + 20 = 42*k for k.
2
Let o = 14325 + -14325. Let s be -1*(2 - (2 + 9)). Let u = -4 + s. Solve g - 6 + u = o for g.
1
Let x(g) = 37*g**2 - 20*g - 13. Let r be x(-1). Solve -22*l = -r + 110 for l.
-3
Let x be ((-15)/10 - -1) + 2/4. Let u(j) = j - 2*j**2 - 16 + 20 + x*j. Let i be u(0). Solve -y - 15 = i*y for y.
-3
Let a(c) be the first derivative of -c**4/4 + 7*c**3/3 - 6*c**2 + 14*c + 61. Let k be a(5). Solve 0 = -5*y - k - 16 for y.
-4
Let u be (5 + -11)*(-1)/3. Suppose -3*i + 7*i - 26 = -u*b, -5*b = -2*i - 17. Suppose -b*l = -3*l - 2. Solve -2 + l = -w for w.
1
Let a(j) = -3*j**3 - 12*j**2 - j - 26. Let w(z) = -z**3 - z. Let b(i) = a(i) - 4*w(i). Let u be b(12). Suppose -c + 12 = u. Solve 11 - 1 = -c*h for h.
-5
Let i = 199 - 183. Suppose 5*d - 22 = -o, -d + 6 = -15*o + i*o. Solve -3*v + d = -4*v for v.
-4
Let i be (-12)/(-27) + 451/99. Suppose -16 = -4*b + i*y, -19*b + y + 5 = -18*b. Solve 5*d - 16 = b*d for d.
-4
Let l(d) = d**3 + 12*d**2 + 9*d - 19. Let g be l(-10). Suppose 19*w = 26*w - g. Solve w*u - 11*u = 0 for u.
0
Let o(u) = u**2 - 427*u + 1697. Let b be o(4). Solve 0 = -b*c - 98 + 93 for c.
-1
Suppose -2*l + 5*n + 59 = -10, 5*l - 198 = 4*n. Solve -21*o = -42 - l for o.
4
Let k(i) = -i**2 + 9*i + 1. Let m(f) = 6*f**2 - 35*f - 3. Let q(a) = -9*k(a) - 2*m(a). Let s be q(-3). Solve -s*h = 9 - 3 for h.
-2
Let n(i) = -2*i**2 - 8*i + 64. Let w = 389 + -385. Let c be n(w). Solve -b - b + 2 = c for b.
1
Suppose -5*a = -10*a + 270. Let q = 51 - a. Let j be 9/(-6) + (-57)/(-6) + q. Solve 0 = -j*x + x for x.
0
Let h(s) = 9*s - 4. Let y be h(5). Suppose -5*m + 59 = o, 0 = -4*o + m + 111 + y. Let k = o + -36. Solve -k = q - 2*q for q.
3
Let k be (871/52)/(1/(-16)). Let b = k + 279. Solve -5*m = 14 + b for m.
-5
Let l be 583/66 - (2/12)/(-1). Let m be l*(-72)/(-27) + 2. Solve m*v = 23*v - 9 for v.
-3
Let t(g) = -g**3 + 6*g**2 - g - 15. Let k(f) = 4*f - 3. Let j be k(7). Suppose -3*w = 2*w - j. Let q be t(w). Solve 0*l = -q*l + 25 for l.
5
Suppose 5*p - 2*c + 377 = -337, -3*p - 4*c = 418. Suppose 3*h - 173 = 268. Let i = p + h. Solve -9*a - i = -4*a for a.
-1
Suppose 41*g - 42*g = -3*a - 144, 0 = -5*g - 2*a + 584. Solve g + 175 = 59*m for m.
5
Suppose 3*x - r = 37, -2*x - 5*r - 53 = -5*x. Suppose -a = 2*a - 5*q - 27, 2*a + 4*q = -4. Let g be (225 + -220)/((1 + -2)/(-1)). Solve g*l + x = -a for l.
-3
Let z be (110 + -110)*(-4 - -3). Solve z = 31*o - 18 + 111 for o.
-3
Let p(z) = -5*z - 10. Let w be p(-2). Let y be 1 - (w - -2) - -3. Solve -y*s - 3 + 5 = 0 for s.
1
Suppose 3*v + 21 = 3*k - 54, -2*k + v + 53 = 0. Solve 0 = k*s - 26*s - 6 for s.
3
Let f(m) = 33*m + 33. Let w be f(-1). Suppose w = -58*t + 43*t + 135. Solve -2*a = -t + 1 for a.
4
Suppose 732*k - 324 = 720*k. Solve 0 = -2181*n + 2172*n - k for n.
-3
Let i(b) = 2*b**2 + 12*b - 12. Suppose 3*j - 4*x - 77 = -32, -2*x = -j + 17. Suppose -16*p + j*p = 35. Let z be i(p). Solve 0 = t - z + 4 for t.
-2
Let z be 444/540 - (-15)/(-25) - 583/(-9). Solve 1118*n - z = 1131*n for n.
-5
Suppose 5*n = -9 - 11. Let t(p) = -4*p**3 - 1. Let c(b) = 3*b**3 + b**2 + 1. Let i(k) = -3*c(k) - 2*t(k). Let r be i(n). Solve -d = 2*d - r for d.
5
Let i(t) = 2*t + 27. Let w be i(-12). Suppose w*g = 6*g. Suppose g = -6*h + 8*h. Solve h = 2*x + 2*x for x.
0
Suppose 14*n - 4*n = 100. Suppose 0 = n*v + 5*v. Solve -2*f + f = v for f.
0
Let f = 3392 + -3388. Solve -6*r + 4*r - f*r = 0 for r.
0
Suppose -u + 4*o = -13, 0*o = u - o - 7. Suppose -13 = -u*j + 7. Suppose -17 = 3*v - 4*r, 2*v = -2*v + j*r - 16. Solve 2*y - v + 7 = 0 for y.
-3
Let s be (-1)/(-2) - (-10)/(-4) - -374. Suppose 8*k - s = -68. Suppose 0 = -k*r + 32*r + 24. Solve -r = 5*n - 3*n for n.
-2
Suppose -68 - 40 = -27*g. Suppose 12 = 2*v - 2*k - 0, -5*k = 5. Solve 0 = -v*x + 3*x - g for x.
-2
Let o(j) = -9 - 5 + 0*j - 1 + 10*j. Let t be o(2). Suppose 5*a - t = -3*k, 0 = k - 2*a + a + 1. Solve q - 2 - 2 = k for q.
4
Let f(d) = 2*d + 10. Suppose 0*x - 5*x = 0. Let g be f(x). Suppose 18*k - 10*k - 32 = 0. Solve -2 = k*p + g for p.
-3
Suppose -47*f + 23040 = f. Let r = -477 + f. Solve 5*g - 2*g - r = 0 for g.
1
Let w = -1897 + 1917. Solve 11*k = k + w for k.
2
Suppose -12 = -3*a - 3*b, -a + b = -b - 16. Let s = -10 + 12. Let l be 1 - -1 - (s + 0). Solve l = -3*m - m + a for m.
2
Let p = 15988 - 15969. Solve 13*a - p*a = 42 for a.
-7
Let l be ((-368)/(-48) - 7)/((-10)/(-15)). Suppose c = v + 4*v + 21, 16 = 4*c - 3*v. Solve g = l - c for g.
0
Let w = 31 + -19. Suppose w + 0 = 4*s. Let x be 1/(-3)*(-6)/2*s. Solve x*q + 2*q - 5 = 0 for q.
1
Suppose 0 = 1976*h - 1986*h + 9110. Solve 2*p + h = 913 for p.
1
Let g(k) = -k**3 + 3*k**2 + 5*k - 2. Let b(x) = -x**2 - x - 1. Let c(j) = -4*b(j) - g(j). Let r be c(0). Solve -5*l + r*l + 3 = 0 for l.
-3
Let f be ((-35)/15)/((-4)/(3 + 9)). Let j(v) = 7*v - 12*v - f - v - 6. Let k be j(-3). Solve -k*a = -2*a for a.
0
Suppose 436 + 168 = 9*t - 323. Solve 0 = -t*n + 101*n - 12 for n.
-6
Let s = 208 - 201. Suppose -s*g + 75 = 47. Solve -3 = g*o - 5*o for o.
3
Let f(b) = b - 9*b + 6*b + 10 + 3*b. Let s be f(12). Suppose -d - n = -s, -2*n + 14 = d - 10. Solve -4*o - o - d = 0 for o.
-4
Let g(w) = w**2 - 16*w + 51. Let f be g(4). Suppose -4*o = -t + 5, 5*o + 5 = -2*t + f*t. Solve 5*j + 0 = -t for j.
-1
Let y be -3 + 25/(-15)*3. Let t(x) = -2*x**2 - 18*x + 9. Let n be t(y). Let z be (-3 + 65/n)*-20. Solve z = -8*g + 10*g for g.
4
Let d be 12 + -6 + -16 - -272. Solve -10*z - 232 = -d for z.
3
Let y(j) = j**2 + 26*j - 6421. Let z be y(-96). Solve 5*a = z - 334 for a.
-7
Suppose -4*f = -140 + 20. Suppose 28*g - f = 13*g. Solve -g = 3*h + 7 for h.
-3
Let j be 711/(-7)*(-4193)/1797. Solve 6*x + j = 249 for x.
2
Let a be ((-190)/57 + 16)/((-1)/(-12)). Solve 3*g - 170 + a = 0 for g.
6
Let p = -33531 - -33544. Let q(c) = c**3 - 9*c**2 + 7*c + 8. Let r be q(8). Solve 12*b - p*b - 3 = r for b.
-3
Suppose -2535 = 80*b - 145*b. Solve -b*i = 261 + 12 for i.
-7
Let u be (1086/12)/((-1)/(-2)). Let g = u + -173. Solve 6*t + 16 = -g for t.
-4
Suppose -3 = -3*x + 4*o - 11, -5*x + 3*o - 6 = 0. Suppose 3*z - 4*d + 174 = -x*d, 2*d + 210 = -4*z. Let w = 54 + z. Solve 2*m = -2 - w for m.
-1
Let h = 10160 - 9663. Solve q - h = -500 for q.
-3
Let n(t) = -t + 12. Suppose 2*l - l = -f + 9, 4*f + 24 = 2*l. Let m be n(l). Solve -m = -2*i + i for i.
2
Suppose -5*k + 3*i + 0 + 11 = 0, 5*i - 43 = -7*k. Solve -17*s + k = -18*s for s.
-4
Suppose 231 = 7*a + 42. Suppose 3*o + 2*c + 13 = 6*o, 3*o - 17 = c. Let g = -16 + 21. Solve g*l = a - o for l.
4
Suppose 4*g - 67*g + 3024 = 0. Solve -g*f + 13 = -61*f for f.
-1
Let k(m) =