 -2*u - 2*u + o = 0 for u.
1
Suppose -2*y = -0*y - 4. Solve -j + y = 7 for j.
-5
Suppose d - n = -0*d + 2, 2*n - 4 = 0. Let y = d - 1. Solve -y*g + 10 = 2*g for g.
2
Let b = -15 + 31. Suppose -2*r + b = 3*r + 2*g, 5*r - 7 = g. Solve -r*i - 2 = 4 for i.
-3
Suppose 19 = 3*r - 17. Solve 0 = 6*n - 3*n + r for n.
-4
Suppose -6*i = -7*i + 4. Solve 9 = i*m - 3 for m.
3
Let k(l) = l**2 - 2*l + 3. Let t be k(3). Suppose n - 7 = -2*o, -t*o + o + 12 = -3*n. Let q = 4 - 2. Solve -o*u = -2*u - q for u.
2
Let d = -1 - -8. Let q = 0 - -5. Let u = q + -1. Solve -u*n + d*n - 6 = 0 for n.
2
Suppose 0 = -3*c - 4 + 10. Let i be 0*((-3)/6)/(-1). Suppose -5*x + 4*x + 20 = i. Solve -c*d = 3*d - x for d.
4
Suppose 6*c = 3*c + 3. Let r(z) = -z + 7. Let d be r(5). Solve -d*t - 3 = -c for t.
-1
Let j be 8*((-2)/(-4))/(-1). Let l be ((-8)/(-12))/(j/(-6)). Let k be 1 - (-8 + 1)*l. Solve -3*v + k = -1 for v.
3
Suppose 10 = 3*k + 4*d, 2*k + 6 = -3*k - d. Let w be ((-2)/(-6))/(k/(-6)). Suppose -8*y = -11*y + 42. Solve -5*u + w + y = 0 for u.
3
Let b = 4 - 1. Let n be 26/b + 7/21. Suppose 5*y + n = c + 3*y, c - 15 = -4*y. Solve -c - 9 = -5*r for r.
4
Suppose 3*r - 15 = 21. Let j = r + -10. Solve -j*g + 8 = -4*g for g.
-4
Suppose -2*i + 2 - 4 = 4*w, 4*w - 3*i + 7 = 0. Let q(t) = t + 6. Let x be q(0). Let s be (2/(-6))/(w/x). Solve s*n + 0*n - 6 = 0 for n.
3
Let s be ((-10)/3)/((-16)/120). Let f be (-1)/2 + s/10. Solve 0 = q - 0 + f for q.
-2
Let a = 9 - 5. Suppose -a*g + 2*p = -10 - 0, 30 = 5*g + p. Suppose 0*m - g = -m. Solve -m*l + 0*l + 25 = 0 for l.
5
Suppose i - 3*i + 14 = 0. Let m = -5 + i. Let q = 0 + m. Solve q = -3*x - 1 for x.
-1
Let f(w) = w**3 + 11*w**2 + w + 4. Let o be f(-11). Let n(q) = -q**3 - 6*q**2 + 5*q + 2. Let j be n(o). Suppose 2*h - j = 34. Solve 0*m = 5*m - h for m.
5
Let k = -10 - -10. Solve k = -2*p + 3*p + 2 for p.
-2
Let k = 0 - -10. Let b be (-2)/(-10) - (-138)/k. Let f be (-4)/b - (-30)/7. Solve -f*c = -5 - 15 for c.
5
Let t(l) = -l**2 + 9*l - 6. Let z be t(6). Solve -4*f = -0*f + z for f.
-3
Let x be (-40)/50*(-10)/(-2). Let m be (2/3)/(x/(-30)). Solve 5*n + m + 0 = 0 for n.
-1
Let d = 3 + 0. Let m = 10 - 10. Suppose m = -0*h - 4*h. Solve h*c - d*c = 0 for c.
0
Let f be (7 + -31)*((-3)/2 + 1). Solve -f = 3*q - 6*q for q.
4
Let d = -62 - -68. Solve -2*h = d - 2 for h.
-2
Let p = -7 - -5. Let t = p - -2. Let m be ((-2)/(-2)*t)/(-1). Solve m = 4*w + 3 + 17 for w.
-5
Let p be (-1)/(((-15)/57)/5). Let c = p + -19. Solve -m + 4*m + 12 = c for m.
-4
Let h(r) = -2*r**2 + 37*r - 15. Let z be h(18). Solve -2*i + i = z for i.
-3
Let r be 3/3 + 3 + 0. Suppose -r*h + 5*m - 14 = -h, m = -h - 2. Let u be (h*(2 - 4))/2. Solve 3 - 9 = u*z for z.
-2
Let b(p) = p**3 + 5*p**2 + 3*p - 1. Let g be b(-3). Suppose 0 = d - 1, 3*q - 5*d + g = 4*q. Solve 0 = -q*n + 7*n + 12 for n.
-3
Let x = 23 + -22. Suppose 2*t + 0*t - 8 = 0. Suppose a = x + t. Solve 0*i + 15 = a*i for i.
3
Suppose -2 + 5 = -x. Let o = -7 + x. Let q be o/2*(-9)/15. Solve 2*w = 7 - q for w.
2
Suppose 15 = 6*g - 51. Let z = g + -11. Solve u = -z*u for u.
0
Let n(z) = -z**3 + 6*z**2 - 6*z + 4. Let w be n(5). Let o = w + 3. Solve 5 = -o*l + l for l.
-5
Suppose -2*n = -5*n. Suppose 3*l = 3*v - l + 3, 5*v + 5*l + 5 = 0. Let u be (v + 7)/((-10)/(-10)). Solve n = -5*m + 16 - u for m.
2
Let u be (1 - -2) + -1 + 13. Suppose 4*a + a = u. Solve -a*w + 6*w = 9 for w.
3
Let t = 21 - 14. Solve v - 3 = -t for v.
-4
Let w = -4 + 6. Let x be w - (1 + -2 + 3). Let z(o) = -o**2 + 7*o + 4. Let n be z(6). Solve x = -2*m - 0*m - n for m.
-5
Suppose -5*f = -4*f - 2. Solve -n - 4 = -f*n for n.
4
Suppose -2*s = l - 6, 3*s + s + 12 = 4*l. Solve 1 = -b - l for b.
-5
Suppose -4 = -3*j + j. Suppose -5*r = -j*r. Solve 9 = 3*k - r*k for k.
3
Let j = 115 - 108. Solve -2*v - 1 = j for v.
-4
Suppose -3*y - 2 = v, -2*v - 17 + 4 = -3*y. Suppose r + y = -z, 2*z + 6 - 1 = -r. Solve -2*l - 25 = r*l for l.
-5
Let v be (0/(1/(-1)))/(-1). Suppose 0 = -2*r + 4 - 0. Suppose c = 4*c. Solve -y + v - r = c for y.
-2
Let o(q) = q**2 + 3*q - 3. Let a be o(-3). Let g be 1/4 - 15/(-4). Let j = a + g. Solve 2*k - j = k for k.
1
Suppose 10*q - 15 = 5*q. Solve -q*n = n for n.
0
Let d = 38 + -38. Solve d = 2*l + 2 + 2 for l.
-2
Let l(i) = -i**3 + 4*i**2 + 7*i - 4. Suppose -n - 12 = -2*j, j + j - 8 = -n. Let y be l(j). Suppose -y + 3 = -3*f. Solve d = -f - 2 for d.
-3
Suppose -6*h + 2 = -2*s - 3*h, 5*s + h - 12 = 0. Let a be s - 0 - (3 + -3). Solve -2*f - a*f = -4 for f.
1
Let j(r) = r**3 + 7*r**2 - 8*r + 4. Let h be j(-8). Let x = h - 4. Solve x = -3*q + 5*q for q.
0
Let g be ((-35)/(-10))/((-1)/(-8)). Suppose 3*b = -12, -4*b - g = -5*m + m. Solve m*k + 3 = 2*k for k.
-3
Let o be (16 - 10)*1/2. Solve 2*h + o - 1 = 0 for h.
-1
Let a(k) = k - 3. Let b = 2 + -3. Let c be 5 - (b - 0 - -2). Let l be a(c). Solve -l = -2*p + 3 for p.
2
Let n(a) = -a**3 - 8*a**2 + 11*a + 7. Let v be n(-9). Let f = v + 12. Solve f = -w - 4 for w.
-5
Let m(y) = y**3 - 8*y**2 + 9*y - 11. Let h be m(7). Solve h*d = -d for d.
0
Let f = -8 - -10. Solve 0 = 5*j - f*j - 15 for j.
5
Suppose -4*g + 22 - 6 = 0. Suppose -l + 12 = -g*n + 3*l, 0 = -2*n - 4*l + 24. Suppose n*r = -r. Solve f + 4*f + 10 = r for f.
-2
Let n(g) = g**2 - 4*g - 6. Let o be n(6). Suppose o*b = b + 40. Solve b = 3*w + w for w.
2
Let t(m) = -29 + 4*m - 13*m - 5*m. Let f(r) = -5*r - 10. Let a(n) = -17*f(n) + 6*t(n). Let g be a(7). Solve -1 - g = -4*v for v.
1
Let p be (-24)/56 - (-3)/7. Solve -2*a + 1 + 9 = p for a.
5
Let u = 55 + -17. Suppose -u = -5*h - 3. Solve h*x = 3*x - 20 for x.
-5
Let l(f) = -2*f + 6. Let j be l(0). Solve 0 = -j*t + t for t.
0
Let l(t) = t**3 + 9*t**2 + 6*t - 15. Let g be l(-8). Solve -3*v + g = 4 for v.
-1
Suppose 0 = -3*q - q - 12. Let x = 8 + q. Solve 0 = t - 6*t - x for t.
-1
Let r = 1 - 0. Suppose -4*h + 2 = -5*s - 3, 0 = -s + h - 1. Let q be (r + s)/(-1 + -1). Solve 0 = 5*m - q - 5 for m.
1
Let x(k) = k**3 + 5*k**2 + 3*k - 4. Let b be x(-3). Let h = 3 - 4. Let z be 6 + 0*(h + 2). Solve 1 = -b*f + z for f.
1
Let u be 7/(49/16) - (-6)/(-21). Solve u = -4*p + 22 for p.
5
Suppose -4*n = -2*m + 26, 0 = -3*m + 2*m + 5*n + 28. Solve 4*q = m*q - 3 for q.
-3
Let h(x) = -9*x**3 + x**2 + x + 1. Let p be h(-1). Let n be (-2)/(-1 + p/14). Suppose y - n = -1. Solve -y*s = -s + 10 for s.
-2
Let o be (-104)/(-18) + 16/72. Suppose 2*h + 8 = o*h. Solve 5*y - h*y - 9 = 0 for y.
3
Let i be -3*(-2)/(2/1). Suppose -i*l + 3 = -12. Suppose -5*n = 5*n - 7*n. Solve n + l = 5*y for y.
1
Suppose -8 = 3*r - 5. Let c be (r + 1)/((-2)/(-1)). Solve -2*g = 2 - c for g.
-1
Let u(k) = 20*k + 14. Let j(h) = 7*h + 5. Let l(w) = 17*j(w) - 6*u(w). Let r be l(-5). Suppose -c = -4*a + 12, r = 2*a + 4*c - 0*c. Solve b - a*b = -8 for b.
4
Let t(z) = -z**2 - 5*z - 4. Let i be t(-3). Suppose i*q + 2*s = 7*s + 26, s = -2*q + 2. Solve 2*k = q + 3 for k.
3
Let v be -1 + -2 + 6 + 3*-1. Solve 0 = -x - v*x + 3 for x.
3
Suppose 18 = a + 3*m, -3*a + 4*m - 29 = -6*a. Solve k = -a*k for k.
0
Let b = -2 + 6. Solve -k = b*k - 10 for k.
2
Suppose 4*n = 5 - 1. Let q be 0/n + -2 - -2. Solve 5*h = 10 - q for h.
2
Suppose 8*v = 119 - 23. Solve 2*h = 5*h - v for h.
4
Suppose q = -6*q + 28. Solve 5*b = b - q for b.
-1
Let q(j) = j**3 + 4*j**2 + 2*j - 1. Let h be q(-2). Solve h*p = -0*p - 6 for p.
-2
Let p = 14 - 26. Let h = 13 + p. Solve 0 = 4*j - h + 21 for j.
-5
Suppose -z - 1 + 6 = 0. Solve -z*x - 30 = -5 for x.
-5
Let t = 21 - 19. Let y(h) = -h**3 - 5*h**2 - 4*h + 1. Let f be y(-4). Let u = -4 + 11. Solve u - f = -t*b for b.
-3
Suppose -3*y = 4*a - 15, 4*a = -0*a + 3*y - 15. Let i be (-6)/5*10/(-3). Let t = -58 + 64. Solve -2*p + t*p + i = a for p.
-1
Suppose -10 + 4 = -3*r. Solve -z + 6 = r*z for z.
2
Suppose -6 = 3*y + 3*r, -2*y + y = -2*r - 4. Suppose -2*l = 2*c - 4*c, y = 3*l - 4*c. Solve -b - b - 2 = l for b.
-1
Let q = -1 + 4. Let x be q/(-9) - (-20)/6. Solve -2*p - x = -p for p.
-3
Suppose 0 = -5*i + i. Let y(j) = -2*j**2. Let n be y(1). Let a be 0/((n - -1)*1). Solve a*c - 4*c = i for c.
0
Suppose 0 = p + 3*p - 24. Let k = p + -2. Let l be k/6 + 16/(-24). Solve 0 = -l*d + d for d.
0
Suppose 2*w - 28 = -3*u, 2*w - 23 + 7 = 3*u. Let s = w - 6. Solve s*t + 14 = -6 for t.
-4
Let a(b) = b**3 + 6*b**2 + 6*b + 5. Let g be a(-4). Suppose 0 = x + x.