2*q = m*q - 0*q for q.
0
Let o = -644 - -788. Solve -o = 4*m - 132 for m.
-3
Suppose 27 = -0*c + 2*c + 3*r, 3*r = 5*c - 57. Let u be ((-168)/32 - -6)/((-2)/(-8)). Solve 3 = -u*z - c for z.
-5
Let k = 505 - 503. Suppose -4*x - x = -90. Suppose -2*f + x - k = 0. Solve 4*g - f = -0 for g.
2
Let c = -242 + 244. Solve 2 = c*u - 2 for u.
2
Let f(a) = -a**3 + 10*a**2 - a + 10. Let v be f(10). Suppose 3*i + 1 - 4 = v. Solve 3*j + i + 8 = 0 for j.
-3
Let b = -218 - -223. Solve v = -0*v - b for v.
-5
Let d be 2/13 + 2960/1040. Solve -2*p = -3 + d for p.
0
Let y be (-6)/(-12)*-28*(1 - 2). Solve 4*d - y = 6 for d.
5
Suppose -k + 0 = 4*i - 13, -k + 3 = -i. Solve -5*t - i = -7*t for t.
1
Suppose -7*s + 27 = -4*s + 5*c, 2*s = -3*c + 17. Solve -5*j + 16 = -s for j.
4
Let h be 10 + (-10 - 0/(-3)). Solve h*m = -3*m for m.
0
Let c(w) = 4*w**3 + 3*w**2 - 5*w + 3. Let i be c(1). Let b(j) = 3*j - 11. Let z be b(5). Solve 0 = -z*r - i - 15 for r.
-5
Let b = -14 - -15. Let a = b + 3. Let w be (2/(-3))/(2/(-36)). Solve -f = -a*f + w for f.
4
Let d = 0 - 0. Suppose -15*s + 48 = -11*s. Let t(m) = 2*m - 22. Let b be t(s). Solve 0 = -d*n - b*n for n.
0
Suppose -16*t = -5*t + 33. Let r be (0/t)/(1/3*-3). Solve -3*d - d - 12 = r for d.
-3
Let q(s) = 2*s - 9. Suppose -5*m = -o - o + 8, -m - 10 = o. Let r be o/(-2) - (-4 - -1). Let k be q(r). Solve -5 = -g - k for g.
2
Let r = -10 + 11. Let t = 44 + -14. Let a be (-1)/(t/(-25) + 1). Solve r = -a*x - 19 for x.
-4
Suppose -3*h + 7 = -3*a - 11, -a - 14 = -5*h. Solve -4*s + 5*s = h for s.
2
Let i be (18/(-4))/(-3)*(-220)/(-6). Solve i*k = 53*k for k.
0
Suppose 5*f = -4*c + 23 + 6, 3*c + 12 = 3*f. Solve 6 = f*x - 14 for x.
4
Let s(v) = -4*v. Let q be s(-4). Suppose 2*w - 3*a + a + 52 = 0, w + q = -a. Let p = w - -29. Solve -3 = -5*o - p for o.
-1
Let h = 3 + -12. Let l = h - -12. Solve 0 = -4*o + 17 + l for o.
5
Let z be -4*1 + 84/14. Suppose 0 = 4*x - p - 18, -p = -0*p + z. Solve x = -4*m - 8 for m.
-3
Let k(n) = n**2 - 10*n + 2. Let t be k(10). Let w be t/3*3/2. Suppose 0 = -5*u - 4*l + 30, 2*l - 1 = 4*u + w. Solve -u = -2*y - 8 for y.
-3
Suppose 13*d = 11*d + 2*i + 20, 14 = 2*d - 4*i. Solve -d*g + 32 = -5*g for g.
4
Let z = -5 - -15. Suppose 0 = -z*d + 23 + 7. Solve 3*l + d = -0*l for l.
-1
Let a be (15*6)/3 - 1. Let v = -33 + 87. Let k = v - a. Solve k = 3*u + 2*u for u.
5
Suppose 5*a - 20 = 75. Suppose 0 = 3*v + 2*u + 59, 3*v - 3*u = -0*v - 54. Let c = a + v. Solve c = 2*x - 6 for x.
3
Let c(j) = -j**3 + j**2 + 1. Let o(l) = 3*l**3 - 10*l**2 + 7*l + 2. Let i(q) = 4*c(q) + o(q). Let s be i(-7). Solve 2*k - s = 5*k for k.
-2
Suppose -4*y - s = -4*s + 6, -2*y + 2 = s. Solve 0*q + 5*q = y for q.
0
Suppose 3*w - 6*w = -6. Let z(a) = a**3 + 9*a**2 - 11*a - 9. Let i be z(-10). Suppose -5*x - w = m, x - i = 2*x. Solve m*c + 23 = 8 for c.
-5
Let f = 16 + 8. Suppose 3*a + 69 - 3 = 0. Let s = a + f. Solve -s*j = -j - 4 for j.
4
Let w(y) = y**3 - 3*y**2 + 3*y - 1. Let p be w(2). Suppose s + 4*i + p = 2*i, 3*i = s - 9. Solve s = c + 5 for c.
-2
Let f = -1009 - -1015. Solve -f*x - 22 = 8 for x.
-5
Let x = -25 - -24. Let u(c) = -9*c**3 + c**2. Let f be u(x). Let a be (0 + 0)/(3 + -1). Solve f = -5*k - a*k for k.
-2
Let r be (-75)/(-10)*-2*3/(-9). Suppose -2*u - 94 = -3*y, u = -5*y - 3*u + 142. Solve -y + 10 = r*g for g.
-4
Let s be 7 - (-1)/((-3)/6). Suppose 5*d + n - 7 = 4*d, s*d = 5*n + 5. Solve h + 2 = d for h.
2
Suppose 16*l - 23 = 25. Let p = -17 + 12. Let d = p + 5. Solve -l*w + d + 3 = 0 for w.
1
Let u = 125 + -122. Solve u = q - 1 for q.
4
Suppose 4*p = 2*p. Suppose -h - 2*h + 15 = p. Suppose 4 - 3 = v - l, 0 = -2*v + 5*l - 7. Solve -v*u + 3 = -h for u.
2
Suppose o = -4, -18 - 38 = -2*a + 5*o. Let y be (220/6)/(12/a). Let v be 1/3 - y/(-15). Solve -v*z = -7*z for z.
0
Suppose 8*z - 4*z + 12 = 0. Let w be 27 - (3 + z + 3). Suppose 0 = -g - g + w. Solve 2*r - 6*r = g for r.
-3
Let y be ((486/(-24))/9)/((-3)/4). Solve -9 = y*d - 9 for d.
0
Let w(b) = b**2 + 2*b - 1. Let o(l) = -l**3 + 7*l**2 + 10*l - 14. Let v be o(8). Let r be w(v). Solve -2*j + 5 = -r*j for j.
-1
Suppose 2*p - 3*x = 10 + 4, -2 = x. Suppose -2*j - 28 = -p*d, 5*d - 13 = -3*j + 11. Solve -5*f - 4 = d for f.
-2
Let s(w) = 2*w**2 + 2*w - 14. Let n be s(-6). Let d(l) = -l + n + 42 - 84. Let y be d(2). Solve 0 = g + 1 - y for g.
1
Let f = -2104 + 2289. Solve -f = j - 187 for j.
2
Let h(u) = -8*u**2 - 8*u**2 - 23*u - 3*u**2 - u**3 - 15 - 4*u**2. Let b be h(-22). Solve 3*k - b*k = -4 for k.
1
Let d be -4 - 132/(-3 + 0). Let k be ((-171)/76)/((-6)/d). Solve 2*z - 5*z - k = 0 for z.
-5
Let c = 525 - 523. Solve 0 = c*k + 10 for k.
-5
Suppose -2*u - 18 = -2*l, 4*l - 8*u + 5*u - 33 = 0. Solve 126*r - 124*r = l for r.
3
Let t(h) = 6*h. Let b be t(-1). Let u(g) = -g**3 - 7*g**2 - 7*g - 4. Let v be u(b). Suppose -4*j = v*j - 12. Solve f + j*f = 15 for f.
5
Let j = -10399 + 10402. Let s(c) = 3*c**2 + 3*c - 1. Let f be s(-3). Suppose -4*w + 65 = f. Solve 0*t = -j*t + w for t.
4
Suppose -5*j + 3 + 17 = -5*d, 0 = -2*d + 3*j - 12. Solve 14*h - 11*h + 9 = d for h.
-3
Let r = 30 + -24. Suppose -12 = -r*q + 3*q. Solve 10 = q*d - 2*d for d.
5
Let s(k) = -k - 3. Let w be s(-5). Suppose -1 = p - w. Solve a - 4 = -p for a.
3
Let z(t) = t**3 + 5*t**2 + 7*t + 5. Let k be z(-2). Suppose -3*p = p - 8. Solve 0 = -k*s + s - p for s.
-1
Let c(i) = -i**3 + 5*i**2 + 3. Let x be c(6). Let q be 4/22 - 159/x. Suppose 0 = -4*w + 4*k - 4, -q - 2 = -2*w - k. Solve -w - 10 = -4*b for b.
3
Let p(s) = -11*s**2 + 2*s + 1. Let i be p(-1). Let z = i + 14. Suppose w = -x + 3, 0 = 5*w + 2*x - 2 - 22. Solve -z*t - 20 = -w*t for t.
5
Suppose 2*d + 27 = -5*k - 30, -2*k = -d - 24. Suppose t + 2*u = -16, -4*t - 2*u - 94 = -4*u. Let w = t - d. Solve 0 = -l - w*l for l.
0
Suppose -16*x - 18 = -22*x. Solve x = -5*a + 18 for a.
3
Suppose 4*f - 5 - 35 = 0. Let t be 2*(-2)/f*-50. Suppose -10 + t = 5*k. Solve -k*j - 4 - 2 = 0 for j.
-3
Let b = -10 - 8. Let k be b/4*(-4)/(-6). Let j = 2 - k. Solve 0 = j*w - 2 + 7 for w.
-1
Let q(y) be the second derivative of 6*y + 5/6*y**3 - y**2 + 0. Let m be q(3). Solve -1 + m = -3*i for i.
-4
Suppose -4*z + 28 + 4 = 0. Solve 0 = 3*x - z*x + 25 for x.
5
Let o(d) = -d**2 + 52*d + 285. Let t be o(57). Solve t = 13*l - 23*l - 50 for l.
-5
Let w = 239 - 234. Solve w*u - 11 + 6 = 0 for u.
1
Let l = -782 - -793. Solve -4*r = l + 5 for r.
-4
Suppose 0 = 45*z - 55*z + 40. Solve -z*h = -4*h + 6*h for h.
0
Suppose n - 20 + 17 = 0. Let m be ((-2)/(-4 + n))/(2/3). Solve -2*o + m = -o for o.
3
Suppose 4*o - 5*k = 113, 4*k + 10 = 4*o - 106. Let m be 1*(488/20 - 3/(-5)). Suppose -o = -5*t + 4*p, -7*t + m = -3*t - 3*p. Solve -t*b - 8 = 8 for b.
-4
Let p be ((-60)/(-8))/(-1)*-6. Suppose 2*z - p = -z. Solve -2*u + z = 3*u for u.
3
Let q(f) = f**2 - f + 3. Let p be q(0). Suppose 3*o = -2*a + p, 4*a + 9 = a. Let g = o + 2. Solve 3 = g*t - 2 for t.
1
Suppose -y + 2*y + 15 = 2*v, -4*v - y = -39. Let l(h) = h - 7. Let x be l(v). Suppose -x*a + 4*a - 6 = 0. Solve a*q + 0 = -3 for q.
-1
Suppose 2*i + 1 = -5*g, -4*i + 2*g - 57 - 5 = 0. Let w(r) = -r**3 + 3*r**2 + 2*r. Let c be w(-2). Let l = c + i. Solve -2*t + l = -1 for t.
2
Suppose 3*i - 9 = 4*s, 0 = -i - s + 3*s + 3. Suppose -9 = -i*t - 3. Let q be (-1)/t - 60/(-24). Solve -v - q = v for v.
-1
Let j(z) be the third derivative of -z**6/120 - z**5/12 - z**4/4 + 2*z**3/3 - 27*z**2. Let c be j(-3). Solve c*n = -0*n - 8 for n.
-2
Let w(g) = g**2 - 6*g. Let y be w(6). Let t(x) = 2*x**2 + 3*x + 1. Let p be t(-2). Let b be (-12 + (-15)/5)*(-2)/p. Solve y = -c - 4*c - b for c.
-2
Suppose -8 = 2*p, -4 = -3*z - 5*p + 6. Solve n - 3*n = -z for n.
5
Suppose -4*o + 120 = -d, -4*d - 67 = -5*o + 94. Let t = o - 24. Solve 0 = 2*h - 5 - t for h.
5
Suppose 4*j = 3*i + 39, 5*j - i - 4 = 53. Suppose -14*s + 36 = -2*s. Solve -s*l - j = -0 for l.
-4
Let y be ((-456)/266)/(4/(-14)). Solve -y = 6*t - 3*t for t.
-2
Let u be (-515)/(-35) + 2/7. Solve 36*o = 39*o - u for o.
5
Suppose -3*a = 2*x - 4*a - 3, 2*a + 6 = -3*x. Suppose -5*i = -3*h + 69, -4*i - 7 - 5 = x. Solve 5*m - 3 + h = 0 for m.
-3
Let p = -455 - -458. Solve 7 + 2 = -p*g for g.
-3
Let r(o) = -o**2 - 2*o + 58. Let v be r(6). Suppose 0 = v*z - 5*z - 75. Solve -5*x = -z + 5 for x.
2
Suppose -3*z = 4*p - 208, 169 = 3*p - 0*p - z