-n*q = -r*q - 15 for q.
-3
Let p = 31 + -22. Suppose 0 = p*s - 8*s. Solve s = -2*b - 3*b for b.
0
Let i be 1*((2 - 3) + 1). Suppose i*d - 4*d = 4. Let h = d - -4. Solve -2 = h*k - k for k.
-1
Let f = 31 - 9. Let d = f - 11. Solve -9 = -4*j + d for j.
5
Let g(u) = 4*u**2 + 2*u + 1. Let j be g(-1). Let i = j - 2. Solve 2 + i = -3*f for f.
-1
Let t = 4 + 16. Let p = 0 - -2. Suppose -18 = -p*f - f. Solve 0 = -f*v + v + t for v.
4
Let j(z) = z**2 - 4*z + 3. Let p = -4 - -7. Let i be j(p). Let l be i/(2 + -2 + 1). Solve -y - 3 + 5 = l for y.
2
Let u(c) = -c**2 + 1. Let s be u(0). Solve 0 = 2*m - m - s for m.
1
Let n(z) = -z**3 - 2*z**2 + z - 4. Let k be n(-3). Suppose -t - k*x = -2*t, t + 5*x = 7. Solve 5 = -t*p - 3 for p.
-4
Suppose 60*s + 9 = 63*s. Solve 0*k = s*k for k.
0
Let t be -7 + 5 - (-7 - -2). Let u = 3 + -2. Suppose -2*n = 2*o + u + 9, 0 = -5*n - 4*o - 20. Solve n = 2*i - t*i + 4 for i.
4
Let y(m) = -m**3 + 5*m**2 + 2*m + 5. Let f be y(5). Solve 0 = -4*d - d + f for d.
3
Let i(c) = -c - 5. Let u = 2 - 10. Let r be i(u). Solve r*t = 7*t + 20 for t.
-5
Let x = 104 - 32. Suppose -x + 12 = -5*v. Solve -5*m = -m - v for m.
3
Let x be 2/4 + 9/(-2). Let p be -5 - x - (1 - 4). Solve -2*l - 4 = p for l.
-3
Let p(d) = 2 - 4*d + 4*d + 2*d - 5*d. Let k be p(2). Let m = k + 6. Solve -m*g - g = -3 for g.
1
Suppose 3*c + 3*b - 66 = 0, -3*c + 46 = -2*b + b. Solve -c = 3*m - 5 for m.
-4
Let x = 2 + 6. Let m(q) = q - 4. Let j be m(x). Suppose -3*z + v + 24 = 0, -j*v + 15 + 1 = 2*z. Solve k = -k + z for k.
4
Let f = 114 - 104. Solve 4*u + f = 2*u for u.
-5
Let h(v) = 2*v**3 - v**2 - 3*v + 3. Let o be h(2). Solve 3*j - o - 6 = 0 for j.
5
Let z be (2 + 0)*(-33)/(-22). Suppose z*r = -r + 8. Solve -6 - r = -2*j for j.
4
Let a = -6 - -4. Let n = 2 + a. Solve 2*q - 4 + 6 = n for q.
-1
Suppose -2 = -14*b + 26. Solve -u + 15 = b*u for u.
5
Suppose -4*n = -j + 18, -3*n + 14 - 34 = -4*j. Suppose c - j = -0. Let k be 3 + -1 + 0 + c. Solve k = -a + 2 for a.
-2
Let k(a) = a**3 - 6*a**2 - 5*a + 7. Let r be k(6). Let z = r - -32. Let s be 3*-3*(-2)/z. Solve -s*w = -w + 5 for w.
-5
Let c = 98 - 94. Solve 8 = c*o - 4 for o.
3
Let z be 3/7 - 212/(-28). Solve 0 = -z*g + 3*g + 25 for g.
5
Suppose 27*o = 22*o. Solve o = -3*s - 17 + 5 for s.
-4
Let v(l) = l - 2. Let j be v(4). Suppose 2*a - 16 = -2*a, 0 = -2*r + 2*a + j. Suppose 9*g = 4*g - 2*c + r, -4*c = -g + 23. Solve -3*t + 6 = -g for t.
3
Let z = -61 + 63. Solve w + z = 3 for w.
1
Suppose -2*v + 45 = 3*l - 15, -4*v = 2*l - 40. Solve 0 = -9*x + 4*x + l for x.
4
Suppose 7*g = -g + 160. Solve -x = -5*x - g for x.
-5
Let b(i) = 3*i**2 + 2*i + 1. Let n be b(-1). Suppose 0 = -2*y + 1 + 1. Suppose 4 + y = k. Solve -7 = k*a - n for a.
-1
Suppose -4*y = 9 - 33. Solve m = -2*m + y for m.
2
Let f = 3 - 4. Let z = f - 0. Let n be (-17)/z + (-1 - 0). Solve 0 = -8*o + 4*o - n for o.
-4
Let b(i) = 2*i**2 + 2*i - 1. Let y be b(1). Suppose -6*u = -u - 10. Solve -u*x = -5 + y for x.
1
Suppose -5*y + 4*o - 2 = 8, 2*y + o - 9 = 0. Solve y = -2*g + 10 for g.
4
Let x(d) be the second derivative of -d**5/20 + 5*d**4/12 + d**3/6 - 3*d**2/2 + d. Let o be x(5). Suppose o*c - 2 = 8. Solve -c + 0 = -t for t.
5
Let r be 165/(-10) + (-2)/4. Let q = 23 + r. Solve k = 4*k - q for k.
2
Let b be ((-12)/(-10))/(13/130). Let y be (-12 + b)/(1/(-1)). Solve y = 2*g + 3*g + 5 for g.
-1
Let k be 12/42 + (-80)/(-14). Let q(n) = -n**2 + 8*n - 5. Suppose 7 + 21 = 4*g - 3*m, -2*g + 5*m = -14. Let d be q(g). Solve k + d = 2*r for r.
4
Let a = 112 - 106. Solve -5*v = 9 + a for v.
-3
Suppose 4*j + 32 - 124 = 0. Let g = 38 - j. Let f be (4/6)/((-2)/(-6)). Solve g = -f*b - b for b.
-5
Suppose -3*q = -3*h + 57, -5*h - 5*q = -q - 50. Solve 0 = 5*j - 6 - h for j.
4
Suppose -4*b + 3 - 8 = -i, -3*i - 2*b = -15. Solve 2*n = n - i for n.
-5
Let v = -15 + 30. Suppose -3 = y + d - 0, -2*y + 5*d = -v. Let a(u) = -u + 11. Let g be a(9). Solve y*r = -g*r for r.
0
Let l(p) = 2*p**3 - 5*p**2 + 3*p + 2. Let a be l(3). Suppose 4*o = -a + 140. Suppose -7*m + 2*m = -o. Solve f + 2*f + m = 0 for f.
-2
Suppose -5*c = 3*k - 25, -2*k + 5*c + 4 = 2*c. Let f(h) = -7*h**2 + 2 + h**2 - 11*h - 3*h**2 + h**3 - h**2. Let m be f(11). Solve m*q = -3*q + k for q.
1
Let f = -2 + 12. Suppose n + 4*n = f. Let g be 6/15 - n/5. Solve 0 = -t - g*t - 1 for t.
-1
Suppose 0*p - 2*p = -8. Suppose -4*f - 4 = -12. Let n be 4 - (f - (p + -2)). Solve k - 20 = -n*k for k.
4
Let x(v) = -7*v**3 + v**2 + 3*v + 3. Let c be x(-1). Solve c*a = 4*a + 16 for a.
4
Let m(z) = -z**2 + 52. Let o be m(7). Solve g - 8 = o*g for g.
-4
Let q be 16/(-28) + (-440)/(-35). Solve 4*a = -q - 4 for a.
-4
Suppose 0 = 4*o + 2*n - 8 - 28, 4*o - 3*n - 56 = 0. Solve -5*i + o - 36 = 0 for i.
-5
Let l = -19 + 34. Let q(r) = -2*r + 13. Let d be q(4). Solve -d*w = -2*w + l for w.
-5
Suppose -3 = -3*m - 6. Let l be (0/7)/(-3 - m). Solve l*y + 4*y = -8 for y.
-2
Let b = 4 + 13. Solve 3 + b = -4*i for i.
-5
Suppose j - 3 = -0*j. Suppose c - 1 = j. Suppose -w + 5*l - 22 = 0, -c*l + 22 = 2. Solve -w*q + 2 = -4*q for q.
-2
Let j(h) = -h**2 + 6*h + 5. Let d be j(6). Suppose -i = -d*i. Solve 3*a + i*a + 15 = 0 for a.
-5
Let n(u) = -u**3 + 4*u**2 + 2*u - 4. Let q be n(3). Suppose -4 = -5*s + q. Suppose -s*y + 15 = 2*y. Solve h + y = -0*h for h.
-3
Suppose 12*a - 35 = 7*a. Suppose -2*y + a = -7. Solve 0 = -u - y + 5 for u.
-2
Let z = -8 - -15. Let h = z - 4. Suppose -h*x - x = -12. Solve 9 = -x*f - 0*f for f.
-3
Suppose 3 + 3 = p. Let t be 1/p + (-23)/(-6). Solve t*b - 20 = -b for b.
4
Let z = 16 - 10. Solve 4*s = -18 + z for s.
-3
Suppose -11 = -5*b + w, -4*b + w = -6 - 2. Suppose -7*h + 8 = -104. Let l = 0 + 0. Solve -k - b*k - h = l for k.
-4
Let q = -10 - -11. Solve -3 = 4*n + q for n.
-1
Let t(u) = u**3 - 3*u**2 + 2*u. Let w be t(2). Let c = w - -1. Solve c = f - 2*f for f.
-1
Suppose 3*m + 2*r - 116 = 0, -2*r + 4*r = 2. Suppose -h - 30 = -4*y + 5, -4*y = -2*h - m. Solve j - y = -j for j.
4
Suppose -7*r + 2*r - 80 = 0. Let k = r + 22. Suppose -k = 5*t - 3*p, -4 = 5*t - 2*p - 0. Solve -2*n + t*n = 0 for n.
0
Suppose -2*r + 2 = 0, -3*h - 2*r + 26 = h. Let u be 13/2 - h/4. Let k = -5 + u. Solve k*d + 4*d - 16 = 0 for d.
4
Suppose -8 = 6*y - y - 2*u, -12 = 5*y - 3*u. Suppose y = 2*l - l. Suppose 4*z = -l*z + 16. Solve -5*k = -z*k + 3 for k.
-3
Let x = -331 + 334. Let o = -3 + 7. Solve -o = -j - x for j.
1
Let t = 7 - 5. Suppose 4*g = -4*x - 7 - 13, 10 = 2*x - 2*g. Suppose t*z - 5*z = x. Solve z*j = j + 3 for j.
-3
Let b be ((-4)/(8/(-6)))/1. Suppose -12 = -b*y - 3. Solve 3*v + 0 = y for v.
1
Suppose 2*n - 21 = -5*c, 0*c + 5*n = -2*c. Solve -c = 3*v + 10 for v.
-5
Let r = -3 + 6. Solve 0*k - r = -3*k for k.
1
Let o(t) = t**3 - 5*t**2 + t - 3. Let x be o(5). Suppose 10 = r + x*u, -3*u + 7*u = -r + 20. Solve -2*g - g + 6 = r for g.
2
Let n be 48/20 - (-4)/(-10). Solve 0 = c + n*c + 6 for c.
-2
Let k = 6 - 2. Suppose -5*t = -0*x + x - 22, -k = -4*x + t. Let z = 3 - 2. Solve x = -i + z for i.
-1
Let z = -7 - -6. Let r be (13 + -5)/(3 + z). Solve -n = r*n for n.
0
Suppose -4*t - 4 = -12. Let w be 12*(-2 + 5/t). Solve w = r + r for r.
3
Let s(u) = u**2 - 10*u - 4. Let m be s(10). Let z(h) = -h**3 - 3*h**2 + 5*h + 5. Let g be z(m). Solve 2*y = 5 - g for y.
2
Let n(x) be the second derivative of -x**5/20 - x**4/2 + 2*x. Let d be n(-6). Solve d*s - 10 = -2*s for s.
5
Suppose 23 = 4*l - 3*r, 4*l - 51 + 7 = -4*r. Solve -3*p - l = p for p.
-2
Let s be -3 + (-38)/(-8) + (-4)/(-16). Solve a = -s*a for a.
0
Let d be 26/12 + 2/(-12). Solve -3*s - 15 = d*s for s.
-3
Let b(u) = -3*u - 19. Let s be b(-7). Solve -6 = p - s for p.
-4
Suppose -3*u = -4*h + 13, -4 = u - 1. Suppose 3*x = -x + 8. Solve -x = -t - h for t.
1
Let y(x) = 6*x**2 - 7*x + 1 + 4 + 3*x - x**3. Let w be y(5). Suppose -3*v + w = -v. Solve v*q - q = -20 for q.
-5
Suppose 3*c = 4*t - 2*c - 49, 3*t - 3*c = 33. Let v = -2 + 2. Suppose -o = -v*o. Solve o = 3*r - t*r + 15 for r.
5
Suppose 4*o + 3*i + i - 40 = 0, 3*o - 4*i - 2 = 0. Let f(t) = t**2 - 4*t - 7. Let s be f(o). Solve -s*b + 0 - 25 = 0 for b.
-5
Suppose 4*s - s - 3 = 0. Let d(g) = 9*g**2 - g + 1. Let w be d(s). Solve 0 = 2*p - 1 - w for p.
5
Suppose 2*t - 5*n - 29 = 0, 3*t + 3*n - 5*n - 16 = 0. Suppose -2*f - 5*x = -0*x + 7, -17 = 3*f + x. Let y be 2 +