 = -5*a for a.
3
Suppose -24*o = -20*o - 4. Solve -3*g - 5 - o = 0 for g.
-2
Let f(o) = o + 8. Let v be f(-4). Let c = 11 + 9. Solve -c = -y - v*y for y.
4
Let c = 9 - 7. Let s be (0 - -3)/6*c. Suppose 4*g - 5 = -s. Solve -3*m - 13 = -g for m.
-4
Let d(j) = j - 1. Let a be d(4). Suppose -a*t + 4 = -5. Solve -t*g = -g + 2 for g.
-1
Suppose 0 = -g + 1 - 3. Let f(h) = -h**2 - 3*h - 2. Let n be f(g). Let y be (2/3)/((-9)/(-27)). Solve y*d = -n*d - 6 for d.
-3
Suppose 0 = 2*j - 5 - 1. Suppose 5*s - j*k = -0*s + 27, 0 = 4*k + 16. Solve 0 = s*h - h - 10 for h.
5
Let i = 45 + -33. Solve -3*b - b - i = 0 for b.
-3
Suppose -2*y - 4*o + 16 = 0, -o + 1 = -2. Let u(p) = -p**3 - 8*p**2 - 9*p - 7. Let z be u(-7). Suppose -z*a = -y*a. Solve a = 4*r - 2*r + 6 for r.
-3
Suppose -4*i = 16, 5*t + 5*i - 2*i - 113 = 0. Solve 0 = 3*f + 2*f + t for f.
-5
Let y(d) = d**2 - 11*d + 21. Let x be y(9). Solve 5 = 2*h - x for h.
4
Let i(l) = l - 3. Let b be i(3). Let a(y) = y**3 - 4*y**2 + y - 3. Let d be a(4). Let w(h) = 3*h**2 - 1. Let t be w(d). Solve t*g - g + 1 = b for g.
-1
Let k(o) = -2*o**2 - 10*o + 4. Let t be k(-5). Solve 0 = t*s - 22 + 2 for s.
5
Suppose -3*b = b - 36. Solve b = -5*w + 4 for w.
-1
Let m = 11 - 7. Suppose -3*h - 4*t + 11 = -4*h, m*h - 10 = -2*t. Solve -1 = 2*s + h for s.
-1
Let q be 3 - (-2)/2*0/(-1). Solve -a = -1 - q for a.
4
Suppose 2*v = -4*m + 20, -4*m = 3*v - 6*v - 20. Solve v*t + t - 1 = 0 for t.
1
Let i = 42 - 38. Solve 0*d = -i*d - 4 for d.
-1
Suppose 4*d + 24 = 4*v, -2*v - d + 2*d = -10. Solve v*y - 1 = -5 for y.
-1
Let q(y) = -y**2 - 7*y - 1. Let u be q(-6). Let g = -2 - -2. Let m = 0 - g. Solve 0 = -m*o - 5*o + u for o.
1
Suppose 0 = 10*n - 12*n + 10. Solve -z = -n*z + 12 for z.
3
Let b(a) = 4*a + 6. Let d(y) = 5*y + 6. Let p(m) = -6*b(m) + 5*d(m). Let z be p(6). Solve -n - n + 2 = z for n.
1
Suppose 7*w = 12 + 2. Solve 1 - 5 = -w*i for i.
2
Let b(q) = q**3 + 7*q**2 - 9*q - 7. Let o be b(-8). Let v be 2*o + 40/2. Solve -v + 7 = -5*w for w.
3
Let i(d) = d**2 + 3*d - 1. Let s be i(-5). Suppose 2*n = t + 5, 4*n + s = 3*t + 20. Solve 0 = 2*l + n - 0 for l.
-1
Suppose 11 - 47 = -4*t. Solve 0 = s + 2*s + t for s.
-3
Let w(r) = r + 6. Let q be w(-6). Let p be q*(-2)/(-4) + 2. Solve 4 = -o + p for o.
-2
Suppose -7*s + 64 = -3*s. Let u = s - 11. Solve -1 + u = 4*g for g.
1
Suppose 0 = 4*p + 3*k - 4, 0*k - 6 = 5*p + k. Let q = -2 - p. Solve -5*d = 10 - q for d.
-2
Let p be (-93)/(-24) - (-10)/80. Solve -b - 1 = -p for b.
3
Suppose z = -2*x - 4*z + 35, 0 = -4*x - z + 25. Suppose 4*g + 9 = -3. Let k = g + x. Solve k = -p - 0 for p.
-2
Let w be 2/(-7) + (-6)/(-21). Suppose l = -4*j - 2*l + 8, -5*l = 0. Solve -j*o + w*o - 10 = 0 for o.
-5
Suppose 0 = -4*o + 21 - 13. Let h(d) = -d**3 + 2*d**2 + 4*d + 1. Let v be h(3). Solve 0*p = o*p - v for p.
2
Suppose -4*s + y + 11 + 5 = 0, 2*s + 4*y = -10. Suppose 2*n = -j - 2 + 1, 15 = s*j - 3*n. Solve 3 = -6*o + j*o for o.
-1
Suppose 5*u = -15, 4*u + 9 = -2*r + r. Suppose 2*w - 10 - 2 = -4*h, 0 = -5*w - 2*h + 14. Suppose r = w*j - 1. Solve -m + 12 = j*m for m.
4
Let t = 11 + -4. Let x = t - 3. Solve c + c = -x for c.
-2
Let f = 1 + -1. Suppose 3*z - z = f. Solve z = -3*m - 0*m - 12 for m.
-4
Let p(j) = -j**2 + j. Suppose -2*d + 2 + 0 = 0. Let k(r) = -2*r**2 + r - 2. Let l(n) = d*p(n) - k(n). Let o be l(2). Solve y = o*y for y.
0
Let t(b) = -3*b - 8. Let v(n) = -2*n**2 + 3*n - 2. Let s be v(2). Let f be t(s). Solve i = f - 0 for i.
4
Let b be (-2 - 3*-6)/(-1). Let d be ((-3)/6)/((-2)/(-4)). Let f be (d - -4)*b/(-12). Solve 1 = -q - f for q.
-5
Suppose w = 4*w - 12. Solve -w*m = -9*m for m.
0
Suppose -4*u + 32 = -5*t + 2*t, -t + 59 = 5*u. Suppose 17 = -7*k + 52. Solve u = -3*r + k for r.
-2
Let w be 3/(-12) - 258/(-8). Suppose v + 13 = -5*h - 8, -4*h - 12 = 2*v. Solve -v*x - 12 = -w for x.
5
Suppose -5*n - 9 = 5*w - n, -5*n = 5*w + 10. Let g be (4/(-6))/(w/(-3)). Let a be 0/g*2/4. Solve a = -0*c - c - 2 for c.
-2
Let q = 21 - 12. Solve -3 - q = -4*c for c.
3
Let r = -46 - -25. Let z be (-2)/(-14) - (-3)/r. Solve -2*g + z = 2 for g.
-1
Let j = -110 - -114. Solve j*m - 7 + 11 = 0 for m.
-1
Let z be 12 + 2 + -3 + -2. Let t = -5 + 7. Solve z = -w - t*w for w.
-3
Suppose 22*h = 27*h. Solve h = -l + 5*l for l.
0
Let c be 20*(-2)/(16/6). Let x = c + 18. Solve 2 = x*v - 4 for v.
2
Let t = 11 - 9. Suppose 3*n + 4 = -v, -2*v = 5*n - 4*v + 14. Let m = t - n. Solve -a = m*a for a.
0
Suppose -2*z = -3*z - 4*p + 12, -z - 3*p = -9. Suppose 2*h - 9 - 1 = z. Suppose -i - 10 = -4*q, 3*i - h*q + 3*q = 0. Solve -i*v = 3*v for v.
0
Let a = -29 - -32. Let n be (28/16)/((-2)/(-8)). Suppose 0 = -2*d + 5*w + 63, 0 = d + 3*w - 8 - n. Solve -9 = a*s - d for s.
5
Suppose 2*h - 4*v - 20 = 0, h + 4 + 14 = -5*v. Suppose -h*x + 2*a = -12, 3 = -0*a - a. Solve 2*l - 5*l - x = 0 for l.
-1
Let c be 12/(-3) - 14/(-7) - -10. Solve 0*b = -2*b - c for b.
-4
Suppose -9 = -3*j + 2*c + 6, 4*j + c = 20. Suppose 4*s + 0*s = 12. Let b = 7 - -3. Solve -s*y = -j*y - b for y.
-5
Suppose -5 = -2*o - 4*g + 5, 3*g - 12 = -3*o. Solve -2*i + 3*i - o = 0 for i.
3
Let z(c) = -c - 1. Suppose 2 = -5*b - 18. Let y be z(b). Solve 2*w = -y + 1 for w.
-1
Let n(y) = -2*y**2 + 11*y. Let b be n(5). Solve x + b = 3 for x.
-2
Suppose 4*h - 27 = -19. Solve 0 = -h*d + 5*d + 15 for d.
-5
Let f = 34 - 31. Solve 0*k = f*k for k.
0
Suppose 96 = -2*k + 5*k. Let w = -23 + k. Solve 0 = -2*r + w + 1 for r.
5
Suppose -5*a + 3 = k + 1, 3*k - 6 = 0. Let c = 14 + -11. Suppose -y + 4*y - 9 = 0, 6 = -m + c*y. Solve m*h - h - 8 = a for h.
4
Let p be (-8)/4 - 2/(-1) - -14. Solve -5*r + 6 = -p for r.
4
Let h(t) = t**2 - 5*t. Let n be 0 + -2 + (-18)/(-1). Suppose -n = -5*g + 9. Let q be h(g). Solve q = s + 2*s + 9 for s.
-3
Let i = -9 - -13. Solve 0*t = -i*t + 4 for t.
1
Suppose 5*v = -2*m + 2*v, 4*m + v = 0. Suppose -r - 2*r + g = m, r = 3*g. Suppose -j + 0*k = 2*k - 8, -2*k = 3*j - 8. Solve r*n - 2*n = j for n.
0
Let c(x) = -x**3 - 9*x**2 - 9*x - 1. Let l be c(-8). Let r(y) = 10*y**2. Let h be r(1). Let n = h - l. Solve n*j + 8 = -4 for j.
-4
Let y(l) = -l**2 - 10*l + 15. Let s be y(-11). Solve 0 = -s*x - x + 5 for x.
1
Let k = 27 + -22. Suppose -f - k*h + 5 = -0*f, 2*f - 5*h = -5. Solve f = 3*b + 2*b + 20 for b.
-4
Let f(b) = -b - 5. Let t be f(-5). Solve t = 3*q - 11 - 4 for q.
5
Let v(g) = 3*g**2 + 2*g + 4. Suppose 3*k + 1 = -8. Let l be v(k). Let i = 91 - 89. Solve -i*c + l = 3*c for c.
5
Let m be (-270)/33 - (-2)/11. Let q be ((-15)/(-10))/((-3)/m). Solve -i - i = -q for i.
2
Let d = -4 + 8. Suppose -d*l = -9*l + 20. Solve 0*f + l*f - 20 = 0 for f.
5
Let s(b) = -2*b - 4. Let p be s(-5). Suppose -z + p*z + 5 = 3*g, -11 = 2*z - 3*g. Solve -z*x = -4*x - 2 for x.
-1
Let c(n) be the first derivative of 4*n**2 - 2*n + 3. Let v be c(4). Solve 5*f + 5 = v for f.
5
Suppose 0 = t + r + 4 - 3, -5*r - 17 = t. Solve 2*z + t = 5 for z.
1
Suppose 7*z - 3*z = -16. Let p = -5 + -1. Let q be 3*z/p + -2. Solve -r + 3 = -q for r.
3
Let x = -1 - 0. Let g be (-2)/x + 3 + -1. Suppose g*f = -4, 3*v - 3 = 2*v - 2*f. Solve 2*i - 3 = v*i for i.
-1
Suppose 0 = y + y - 16. Suppose 9 + 16 = 5*p. Solve -p*o = -y - 2 for o.
2
Suppose 4*c + 3*l - 7 = -1, -4*c + 3*l + 18 = 0. Solve -k - c*k = 0 for k.
0
Suppose -3*d + 0 = z - 1, 5*d - 3 = -3*z. Solve 4*u + 3 + z = 0 for u.
-1
Suppose -2*s + 3*k = -k - 20, -5*s = 2*k + 10. Solve -5 = -5*t - s*t for t.
1
Let w = -88 + 93. Solve 0 = -3*p - 2*p - w for p.
-1
Suppose -74*h = -72*h - 14. Let n = 1 + 3. Suppose -3*q = n*j, -q + 4*j = -0*j - 16. Solve h*o - q*o = -15 for o.
-5
Let l(g) = -6*g**3 - 2*g**2 + 1. Let u be l(-1). Let v(i) = 2*i - 8. Let b be v(u). Solve b*x + 4 = 4*x for x.
2
Let m be 0/(-5 - (-3)/1). Suppose m = 2*f - 5*f + 9. Solve q - f = 1 for q.
4
Suppose 8 = -t + 2*t. Let g be 402/24 + (-6)/t. Solve -g = 2*u - 6*u for u.
4
Let x = -25 - -25. Solve x = y - 0*y for y.
0
Suppose 2*z - 2 = -0. Suppose -4*c + 9*c + 75 = -4*a, 5*c + 80 = -5*a. Let y(i) = -i**2 - 10*i + 12. Let h be y(c). Solve -z = -2*o + h for o.
1
Suppose a + 2 = 3*v - v, a + 6 = 4*v. Solve 3 = -w - a for w.
-5
Let h = -2 + 4. Suppose -32 = -3*t - 4*f, -h*t = 2*t - f - 49. Solve 0 = -v + 5*v + t for v.
-3
Let g(i) = -i**2 - 11*i + 15. Let n(y) = -y**3 - 6*y**2 - 2*y + 3. Let c be n(-5). Let z be g