 - o. Solve q - c = -0*q for q.
5
Let i = -34 - -60. Let l = i + -16. Solve l = 2*v - 0 for v.
5
Let v(m) = m**3 - m**2 - 3*m. Let o be v(3). Suppose 4*h + 3*w - 17 = 0, -w - o = -4*w. Suppose -5*c + 4*k - h + 17 = 0, 0 = 2*k. Solve -1 - c = 2*t for t.
-2
Let l be (3/(-2))/((-12)/32). Let v = 31 + -22. Suppose -u - 1 = j + 1, -j + u = -2. Solve j = l*m - v*m for m.
0
Suppose 3 = -3*t + 4*t. Solve 15 = -0*w + t*w for w.
5
Suppose 0 = 3*f - 17 - 13. Let q be ((-6)/5)/((-3)/f). Suppose 3*p + o = 3, p + o - q + 3 = 0. Solve -p = s - 5 for s.
4
Let u = 13 - 8. Suppose -4*n - 4 + 20 = 0. Suppose -u*w + 9 = -n*w. Solve s = 4*s + w for s.
-3
Suppose -p + 4 = -2*m + 5, -3*m - p = -14. Suppose -3*y + 4*u = -1, 3*y + u = 30 - 4. Solve -2*q + y = m for q.
2
Let u be (9/6)/(3/10). Solve 6 = u*p - 9 for p.
3
Let h be 2/(-12) - (-130)/60. Solve h = 2*k - 0 for k.
1
Let t be -1*(-3)/(-1) - -8. Suppose n = -t*q + 37, n - 4*q + 56 = 4*n. Solve 2*x - n = -x for x.
4
Let v(t) = 5*t + 6. Let i be v(-5). Let d = 32 + i. Suppose d = q + k, -32 = -4*q - k + 2*k. Solve 2*x = q + 1 for x.
5
Let v = 138 + -136. Solve 0 = -3*t - v*t - 25 for t.
-5
Suppose 2*u + u = 21. Let o = u - 4. Solve 0 = -3*g + o for g.
1
Suppose 0 = -5*z + 34 + 21. Suppose -z = 4*w - 35. Solve -2*b - w = -4 for b.
-1
Suppose 5*w - 30 + 7 = -c, 4*c - 28 = -4*w. Solve c*j - 9 = -0*j for j.
3
Let j be -4*4/20*5. Let u(v) = v**2 + 3*v - 4. Let d be u(j). Solve d = -2*f + 5*f - 6 for f.
2
Let o be (0 - (0 + 1)) + 1. Suppose -d + j + 6 = -3*j, 4*j = -4*d + 4. Suppose -d = -k + 3. Solve o - 15 = -k*m for m.
3
Suppose k - 2 - 3 = 0. Suppose -3*w + 4*w - 9 = 0. Let p = w - 3. Solve -p = -k*n + 19 for n.
5
Let r be (-10)/(-3)*(-6)/(-4). Solve 1 = -r*b - 4 for b.
-1
Let m = 15 + -13. Let j = 2 - m. Solve j*a = a for a.
0
Let s be 3/(1 + (-5)/8). Let g = -1 - -1. Suppose g = -q - 3*q + 12. Solve -q*n - s = n for n.
-2
Let n be ((-36)/12)/(-1 - 0). Solve n*v - 12 = -0*v for v.
4
Let b = -13 + 13. Solve b = 2*z + 3 + 3 for z.
-3
Let u = 4 - 0. Suppose 2*p + 4*i - 26 = 0, 4*p - 3*i = i + 4. Solve p = x + u*x for x.
1
Suppose -9*j + 8*j = -4. Suppose -j = -3*d + 2*i, -2*i + 7*i - 1 = 2*d. Let w be 0*((-2)/(-4) + 0). Solve w = 4*a - d - 18 for a.
5
Let y(x) = 2*x**2 + 23*x - 4. Let w be y(-12). Solve -2*f + 6*f - w = 0 for f.
2
Let l(c) = c**2 - 6*c - 10. Let j = 2 - -6. Let b be l(j). Solve 0 = -3*z + b for z.
2
Let o be ((-108)/(-8))/(1/2). Suppose 4*x + 13 = 5*r, -o = 2*r - 5*r - 4*x. Solve 2*j - 13 = -r for j.
4
Suppose -5*g + 3*g = -26. Suppose g = 5*m + 3. Suppose -m + 3 = w. Solve -r - 4 = w for r.
-5
Let s be (8/10)/((-16)/(-40)). Let u(q) = q**3 + 3*q**2 - q + 3. Let z be u(-3). Let x(y) = y**3 + 5*y**2 - y - 5. Let m be x(-5). Solve s*j + m*j = z for j.
3
Let q = 42 - 42. Solve q*k - 5*k = 0 for k.
0
Suppose 3*p = 6*p - 6. Suppose b + 5*t - 25 = 0, -p*b - 4*t = 2*b - 20. Solve 0 = -b*f - 4*f for f.
0
Let k be (-3)/(-5) - 66/10. Let y(x) = -x - 3. Let n be y(k). Suppose -m = 3*p - 11, -n*p + 0 + 13 = 2*m. Solve 2*q = p - 1 for q.
1
Let k = -7 + 14. Solve 3*h = k*h for h.
0
Let x = 2 - 2. Solve 0 = -x*z - 2*z for z.
0
Let i = 23 - 23. Solve g - 4 - 1 = i for g.
5
Suppose -g - 6*u = -5*u, -2*g + 20 = -2*u. Solve 0*a + g = -a for a.
-5
Let y(c) = -6*c + 0*c**2 + 4*c + 2*c**2 + 1. Let n be y(1). Let a be -6 + 7 - -2*n. Solve 0*v - a = v for v.
-3
Let m(d) = d**2 + 8*d + 7. Let o be m(-7). Let z be 0/(-2 + o) - -4. Suppose z*g = -0*g + 16. Solve 0*t = -g*t + 4 for t.
1
Let r = 29 + -25. Solve 1 = -r*l - 11 for l.
-3
Let p(o) = o**3 - 6*o**2 + 3*o + 7. Let w be p(5). Let k be (-1)/w*(9 - 0). Suppose -8*y = -k*y. Solve y = 5*u - 0*u for u.
0
Suppose -2*v + 7*b + 16 = 4*b, 4*b + 8 = v. Solve -3*i = -7*i + v for i.
2
Let i be (-4)/(-12) + (-8)/(-3). Suppose i*p + 0*p - 9 = 0. Solve p*u + 15 = -2*u for u.
-3
Suppose -p = p + 2. Let g = p + 4. Suppose -g = -2*l + l. Solve u - 1 = l for u.
4
Let l be (0 - 0/(-3))/1. Let j = 50 + -45. Solve j = -l*f - f for f.
-5
Suppose 3*o + 2*q - 10 = -2*q, o + 2*q = 4. Suppose 13 = o*v - 13. Let l = 19 - v. Solve -l = z - 3 for z.
-3
Suppose -5*p = -2*n + 2 + 19, 5*n + 2*p = 96. Let b = n + -12. Solve -b = 2*u + 4 for u.
-5
Let s(o) = 3*o**2 + 5*o - 2. Let a be s(4). Let m = 0 + 1. Let x be m/(-5) - a/(-30). Solve n = x*n + 3 for n.
-3
Suppose 2*d - 3*d = -5. Solve p + d = -0*p for p.
-5
Let p(o) = -7 - 2*o + o + 2*o - 4*o. Let f be p(-3). Solve f*m - 4*m + 6 = 0 for m.
3
Let x(m) = -3*m - 59. Let i be x(-23). Solve 0 = 4*v + i + 6 for v.
-4
Let u(n) = 8*n - 1. Let z be u(2). Let i = 20 + -14. Let y = 10 - i. Solve -y*d - d + z = 0 for d.
3
Let c(x) = x**2 - 19*x - 88. Let k be c(23). Solve -3*j - k = 11 for j.
-5
Let g be -4*(-1 + 0 + 0). Solve -1 - 11 = -g*a for a.
3
Let i = -10 + 12. Suppose n = 4 - i. Solve n + 1 = -a for a.
-3
Let q = 18 - 10. Suppose 2*v = q + 2. Suppose 2*i - 4*h = -10, v*h - 13 = i + h. Solve 0*k - 3*k = -i for k.
1
Let t be 5/(-5) + (3 - 0). Suppose -5*u = -5, -2*u - t = -h - 4. Solve h = -0*l + l + 2 for l.
-2
Suppose -3*p = -4*p. Let x = p + 1. Let u = 7 - x. Solve 3*f + u = -3 for f.
-3
Let j(o) = -o**3 - 2*o**2 - 2*o + 1. Let b be j(-2). Suppose 2*t - 2*r - 20 = 2*r, -4*r - 26 = -b*t. Solve 0*l - 2 = -t*l for l.
1
Suppose -38*q + 22*q + 21*q = 0. Suppose 0 = f - 8 + 4. Solve q + f = 2*u for u.
2
Suppose -13*u + 8*u = 0. Solve 4 = -u*x - x for x.
-4
Let d(u) = -5*u - 6. Let f be d(6). Let k be ((-3)/9)/(3/f). Let p be (-2)/8 + 1/k. Solve q = -p*q - 4 for q.
-4
Let q(y) = -2*y + 21. Let n be q(9). Solve -n*a + 1 = -4*a for a.
-1
Suppose -t = -2*t + 26. Let u = 45 - t. Let k = u + -13. Solve k = -6*v + 3*v for v.
-2
Suppose 37 = 3*g - 26. Let y be 246/g + 2/7. Suppose 8 = 5*v - y. Solve -9 = v*a - 1 for a.
-2
Suppose 4*v - 2*d = -2, -2 - 31 = -4*v - 5*d. Solve 5*h + v = -3 for h.
-1
Let l = 6 - 2. Suppose -15 = u - l*u. Solve u*i + 0*i = -25 for i.
-5
Let w = 8 - -10. Let i be (-3 + -1)*w/(-8). Let f = -1 + 1. Solve f*n + i = -3*n for n.
-3
Let p(g) = 2*g**2 - g. Let c be p(2). Suppose 2*t = -t + 9. Let y be (-4)/14 - (-10)/35. Solve t*q + y = -c for q.
-2
Suppose 0 = 2*b + 8, f - 2*b = -b + 7. Let l be (2 - 1) + 4 + -4. Let w = 3 - l. Solve 20 = -w*n - f*n for n.
-4
Let k(u) = -u + 23. Let l be k(8). Solve 5*c = -0*c + l for c.
3
Suppose 0 = 4*y - y. Let o be y*1/1*-1. Solve 0 = -2*b - o + 4 for b.
2
Let a(m) = -5 + 6*m + 1 - 5*m. Let d be a(7). Let z be (6/(-4))/(6/(-16)). Solve d = 3*b - z*b for b.
-3
Suppose 0 = o - 3*o - 5*w, 4*o = 4*w. Solve -4*z + o*z - 8 = 0 for z.
-2
Suppose -4*t + 3 = -t. Let w be (5/((-5)/(-2)))/t. Solve 0*n + n = -w for n.
-2
Let w = 11 - 6. Let p = 42 + -14. Suppose p = -0*k + 4*k - 5*d, k = -d - 2. Solve k*a - 12 = w*a for a.
-4
Suppose 0 = -4*y - 3 + 19. Solve u + 6 - y = 0 for u.
-2
Let f(l) = l - 7. Let z be f(9). Suppose -2*t + v = -z + 4, 7 = 3*t + v. Solve t = -2*a + 3 for a.
1
Let t(s) = -1 - 9 - 2*s + 4. Let r be t(-5). Solve -20 = -r*w - 0*w for w.
5
Let d be (2/(-8) - (-10)/8) + 1. Solve -s - d + 5 = 0 for s.
3
Let v(z) = z - 1. Let c(j) = 2*j**2 + 2*j - 2. Let u(x) = c(x) - 3*v(x). Let y be u(1). Suppose y*l + 2*l = 0. Solve l*b = 3*b for b.
0
Let l(v) = v**2 - 4*v - 4. Let k be l(6). Suppose 4*o - 5*o = -3*i + k, 4 = o. Solve -i*d + 2 + 10 = 0 for d.
3
Let i(z) = z**3 + 2*z**2 - 7*z + 2. Let t be i(3). Solve 3*r + 11 = t for r.
5
Suppose 0 = 5*q - 17 - 3. Solve y + y = -q for y.
-2
Let o(m) = 6*m + 8. Let q be o(-1). Solve 0*n - q*n - 10 = 0 for n.
-5
Suppose -2*h - 20 = -7*h. Solve -h*j = -5 + 1 for j.
1
Suppose 2*o = 5*m - 22, m + 0*m - 2*o - 6 = 0. Suppose -m*z + 2*z = 0. Solve z = -3*k + 4 + 2 for k.
2
Let v(g) = -g + 14. Let u be v(10). Suppose -1 = y - u. Solve y*b = -1 + 4 for b.
1
Let s be (-4 + 3)/((-5)/(-60)). Let o = s + 20. Solve -o = -3*z + 5*z for z.
-4
Suppose 2*r = 14 + 2. Let f = 23 - 13. Solve -r*o + f = -3*o for o.
2
Let y = -3 - -5. Suppose h + 5*f - 40 = -2*h, 0 = -4*h + y*f + 10. Suppose r - s + 4*s = -10, 5*r + h*s + 10 = 0. Solve 0 = -3*a + r*a - 1 for a.
-1
Suppose 0 = -4*i - i. Let o be (i/(1 - -2))/2. Suppose 2*q - 6*q + 12 = o. Solve 0 = q*n - 7 + 1 for n.
2
Suppose -4*i = -9 + 1. Let v be (-3 + 27/6)*i. Solve v*a = -2*a - 15 for a.
-3
Suppose -9*t = -10*t + 3. Let j be 5 - ((-4 