d + a = 3*d for d.
-4
Let u be (-20)/1*2/(-4). Suppose 2*s - u = 2*k, -3*k - 6 = -0*k. Suppose s*n - 21 = -0*n. Solve 0 = b + n - 3 for b.
-4
Let u be 8 + 1 - 15/5. Let x = 1 + u. Let y = x + -3. Solve y*b + 22 = 6 for b.
-4
Let l be (-10)/(-5)*(-3)/(-3). Solve l*g - 6 + 0 = 0 for g.
3
Suppose 5*r - 10 - 3 = -4*s, 5*s - 7 = 3*r. Suppose 4*k - 5*m - 26 - 1 = 0, -4*k + 18 = -2*m. Solve y = -k + r for y.
-2
Let h(q) = -8*q**2 + 5*q - 19*q + q**3 + q**2 - 5*q**2 + 18. Let o be h(13). Solve -s - 4*s = -o for s.
1
Suppose -3*d = 3*q - 15, 3*q - 18 = -4*d - 2. Suppose t - 2 = -3. Let w(k) = -2*k**3 + 2*k**2 - 1. Let o be w(t). Solve o*y - 10 = -q for y.
2
Suppose -4*k = 4*n + 12, -2*k + 3*n = k - 9. Solve k = o + 2*o - 3 for o.
1
Let l be 70/4 - (-1)/2. Suppose 0 = -4*g - t + 15, 0 = -3*g - t + 2*t + 6. Solve -3*o + l = g for o.
5
Suppose -8*r = -6*r - 8. Solve -r*c = -6 - 14 for c.
5
Let t(w) = -7*w**2 - 5*w - 5. Let d(i) = 4*i**2 + 2*i + 3. Let g(n) = -5*d(n) - 3*t(n). Let y be g(-4). Let o = -2 - y. Solve 0*s + o*s - 8 = 0 for s.
4
Suppose -2*y = -4*y + 2. Let v be (-5 - y)*3/(-6). Solve f - v + 2 = 0 for f.
1
Let i(j) = j**3 - j + 3. Let v(p) = -p + 1. Let y be v(-2). Suppose -2*b = -y*b. Let u be i(b). Solve 5*h = -u - 7 for h.
-2
Suppose 2*s + 0*s = 0. Solve s*z - 2*z = 10 for z.
-5
Suppose z = 4*z - 6. Let f be 3 + (-1 - -1)/(-1 - 0). Solve 5 = -f*m - z*m for m.
-1
Let x = 53 - 50. Solve x = -d + 5 for d.
2
Suppose 5*v = 8*v - 12. Suppose -v*l - 5*q + 5 = -8, 8 = 3*l + 2*q. Solve -5*d = 3 + l for d.
-1
Suppose 0 = -2*x + 64 - 24. Suppose -2 = -3*m - 2*u, 0*u - x = -5*m + 5*u. Suppose l - m*a - 26 = -l, -2*l - 3*a + 41 = 0. Solve 6*j + l = 2*j for j.
-4
Suppose -8*s + 32 = -88. Solve f = 4*f + s for f.
-5
Suppose 2*q - 5*x - 9 = 0, 2*x + 4 = -2*x. Solve 2*s + q = 4*s for s.
1
Suppose -4*k - 5*m + 5 = 0, 5*m - 4 = -19. Suppose 0*t - k*t = -50. Suppose 3*h = -2*h + t. Solve h*y - 15 = -y for y.
5
Let w(x) = x**3 + 9*x**2 - 10*x + 6. Let o be w(-10). Solve 0 = -5*t + o*t for t.
0
Let z be 4/14 - (-4)/(-14). Solve z = a + 4*a for a.
0
Let w(u) = -2*u**3 - u**2 - 2*u - 1. Let v be w(-1). Let a be 4 - (-4 + v)/2. Suppose 14 = a*y - 1. Solve 7 = -y*o - 2 for o.
-3
Suppose -2*h + 15 = -5*k, -k + 0*k = 3*h + 3. Solve h*y = 5*y - 15 for y.
3
Suppose -3*y = 4 - 13. Suppose d + 0 = y. Solve 8*o = d*o + 20 for o.
4
Let a(i) = -i**2 - i + 15. Let k be a(0). Solve -1 = -16*w + k*w for w.
1
Let n = 1 - 1. Solve -7*b + 2*b + 25 = n for b.
5
Suppose 5*j = 16 + 14. Let u = 33 - 13. Solve -h + u = -j*h for h.
-4
Let c = -44 - -81. Let r = -25 + c. Let t be (-6)/(-4)*r/9. Solve -4*b + t*b = 0 for b.
0
Suppose 0*i = -i - 3*r - 15, 5 = 2*i - r. Suppose 5*p - 3 = -d - i*d, -2*d + 6 = -3*p. Solve d*w + 0*w + 3 = 0 for w.
-1
Suppose 3*t = 2*i + i + 18, 0 = -2*t - 3*i - 8. Let b = -3 + 3. Solve b*z + 4 = -t*z for z.
-2
Let k(v) = 3*v**2 - 26*v - 6. Let g be k(9). Suppose 4*t + 8 = 40. Solve n + t = -g*n for n.
-2
Suppose -5*x + 27 - 2 = 0. Let j be -24*(-1 + 1/(-3)). Suppose -2*b - 2 = 2*a - j, -2*b = -4*a - 12. Solve -b = t - x*t for t.
3
Let a(u) = u**2 + u + 9. Suppose d + 4*d = -5*r, -3*d = 5*r. Let t be a(r). Solve 0 = 3*j - 0*j + t for j.
-3
Suppose -5*o = -3*o. Solve 0*s - s - 3 = o for s.
-3
Let d(o) = -o**2 + 4*o + 5. Let b be d(5). Suppose -3*r = 4*q - 16, 3*q = r - 6*r + 12. Let c = q + b. Solve -3*s - 1 + c = 0 for s.
1
Let v = 8 + 22. Suppose 5*o - 5*s - v = 0, o - 4*s - 23 = -5. Solve o*y + 3*y = -10 for y.
-2
Let d be ((-14)/(-3))/((-16)/(-24)). Let b = 15 - d. Let i(p) = 2*p**2 + 1. Let j be i(-1). Solve -2 + b = j*k for k.
2
Suppose 4*h - 5 = -4*u - 9, -4*h + 4*u = -36. Solve -w - h*w = 0 for w.
0
Let u(r) = -r**3 - 5*r**2 + r + 5. Let x(j) = j**2 - 6*j - 5. Let w be x(6). Let g be u(w). Let k(b) = b + 8. Let m be k(-4). Solve g = -5*c - m - 6 for c.
-2
Suppose -2 - 4 = -2*f. Suppose 2*z = -3*r + 1, 4*z + r = -4*r + f. Solve -t = -2*t - z for t.
-2
Suppose -3*c = -65 - 1. Let v = 24 - c. Solve -3*w = v*w - 5 for w.
1
Let d = -9 - -14. Let m be (-2)/d + (-141)/(-15). Solve -m - 11 = 4*p for p.
-5
Let n(z) = -3*z + 3. Let g be n(3). Let i(y) = y**3 + 7*y**2 + 6*y. Let h be i(g). Solve 5*d + h*d + 5 = 0 for d.
-1
Let u be 6*(3 + 16/(-6)). Solve -3*b = -2*b - u for b.
2
Let h(n) = 3*n. Let w(u) = 4*u - 1. Let c(r) = 5*h(r) - 4*w(r). Let l be c(0). Solve -6*k + l = -2*k for k.
1
Suppose 3*g + 20 = 4*f, 5*g - 3*g + 4*f = 20. Suppose -46 = -4*l + 2*j, 4*j + 1 + 13 = 2*l. Suppose 4*v - l - 23 = g. Solve -2*p + v = p for p.
3
Let k be 0/((-6)/(-3) - 0). Suppose 5*f + 3*s - 22 = k, -2*f + 4*s + 6 - 18 = 0. Solve -f = -m - 1 for m.
1
Suppose g - 5*m + 13 = 4*g, -3*g + 17 = m. Let h be -5*(1 - (-14)/(-10)). Solve g*n - h*n = 16 for n.
4
Let p(q) = q + 11. Let v be p(-8). Suppose 0 = -b + 4 - 0. Solve -b*g - 13 = v for g.
-4
Suppose 3*s - t - 13 = 2, -s = 5*t + 11. Let d = 4 - -16. Suppose -6*v = -2*v - d. Solve -s*y + 5 = -v*y for y.
-5
Suppose -2*b + 1 + 3 = 2*k, 4*b = -16. Solve 2 + k = -2*h for h.
-4
Let k(t) = 2*t + 7. Let i be k(0). Solve -i*c - 3 = -8*c for c.
3
Suppose 26*l - 41 - 89 = 0. Let g = 0 - -6. Solve 0 = -3*h + l*h - g for h.
3
Let y be ((-12)/15)/(4/(-10)). Let k(w) = -5*w**3 - 2*w**2 + 1. Let m be k(-2). Let u = m + -23. Solve -u = 4*f + y for f.
-3
Let o = -11 - -16. Suppose 3*s + 10 = -o*j + 56, -5*s + 3*j = -20. Solve s*h - 20 = 2*h for h.
4
Suppose 3*h - 68 = -17. Suppose -4*c = 4*d - 3*c - h, 0 = 2*d + 3*c - 1. Solve -d*b - 12 = -b for b.
-3
Let q(r) = -3*r - 13. Let g be q(-8). Solve -2*z - 1 = -g for z.
5
Let m(q) = -2*q**2 - 10*q - 4. Let y be m(-4). Solve -f + y = 7 for f.
-3
Let p = 9 - 6. Let h be (0 + -1)/(1/p). Let y be 0/((3 - 2) + h). Solve y - 2 = -u for u.
2
Let u = -27 - 0. Let a = -15 - u. Suppose a = -j + 5*w, 0*j + w = -3*j + 28. Solve -3*r - j - 7 = 0 for r.
-5
Let t be (-2)/9 + 2/9. Let m be 2 - (-1 - -1)/3. Suppose t = m*r - r. Solve r = -6*d + 3*d + 9 for d.
3
Suppose 28 = -0*i + 4*i. Solve 0 = 3*k - i + 1 for k.
2
Let z = 10 + -14. Let x = z + 8. Solve 25 - 9 = x*u for u.
4
Let l = 48 + -40. Solve 4*j + 16 = l*j for j.
4
Let u be (-2 - -5) + 0 + -1. Solve -7*i = -u*i for i.
0
Suppose 0 = -q - 0 + 2. Let p(j) = 2*j**2 - j + 2. Let z be p(q). Let c = 8 - z. Solve -l - 4 = -c*l for l.
-4
Let r(t) = -t**2 + 11*t - 10. Let v be r(10). Let p(f) = f**3 - 6*f**2 + 5*f + 5. Let k be p(5). Solve v*w + 10 = -k*w for w.
-2
Suppose 6 = 3*g - g. Suppose g*u = 7*u. Let h(x) = 2*x + 7. Let r be h(-3). Solve u = -5*z + 6*z + r for z.
-1
Let z be -2 + -2 + 28*1. Suppose -6 + z = 2*h. Suppose -4*d + 20 = 4*v, -2*d - 4*v + 7 + h = 0. Solve 0 = -p - d*p for p.
0
Let r = -18 + 2. Let s be 34/8 + 4/r. Solve b = s*b for b.
0
Suppose -v - 3*w + 11 = 0, -w + 4*w = 6. Solve 6*y - v = y for y.
1
Suppose 18*v - 16*v - 2*m = -8, 28 = 3*v + 5*m. Solve -13 = 4*u - v for u.
-3
Let n(r) = -1 + 6*r**2 - 6*r**2 - r + r**3 + 7*r**2. Let w be n(-7). Solve 3*j - 15 = -w for j.
3
Suppose 4*a = 2*a + 2. Suppose 0 = 4*v + v - y - 10, 3*v - 2*y + a = 0. Solve 18 = -5*r + v for r.
-3
Suppose -18 - 42 = -5*p. Solve s - p = 5*s for s.
-3
Suppose -2*y = 2*y - 32. Suppose a - y = -a. Solve -18 = a*d + 2 for d.
-5
Suppose 2*u - u + 16 = 0. Let a be 15/6*u/(-10). Solve d - a*d = 0 for d.
0
Suppose -4*d + 16 = -n, 0 = -4*d - d - 2*n + 7. Solve q + 20 = -d*q for q.
-5
Let b be 1 + 80*(-5 + 0). Let r be 2/5 - b/15. Suppose -o = 2 - r. Solve 5*v + 0*v = o for v.
5
Let m(z) = -z + 1. Let x(v) = -v**2 - 5*v + 1. Let g(k) = 3*m(k) - x(k). Let l = -14 + 12. Let i be g(l). Solve a = i - 4 for a.
-2
Suppose 11*z = 6*z. Solve z = -0*y - 4*y + 20 for y.
5
Let z be 2*(-2 - 5/(-2)). Let n be (-3*z)/(-9)*15. Suppose n*h + 1 - 10 = 3*v, v = 2*h - 4. Solve i = h*i for i.
0
Suppose 0 = -4*t + 10 + 2. Suppose 28 = 4*p - 2*z + 4, 0 = 3*p - z - 20. Solve 7 + p = t*y for y.
5
Let n = 7 + -7. Solve 0 = -j + 3 - n for j.
3
Let z = 14 - 8. Let q(u) = z + u + 0 - 2 + u. Let n be q(7). Solve n = -4*l + 2 for l.
-4
Let h = -10 + 11. Solve 0 = l - h + 5 for l.
-4
Suppose y - 2*q + 4 = 0, 0*q + q - 2 = 5*y. Solve -b + 3*b - 6 = y for b.
3
Suppose -3 = 3*p - 27. Let k = 26 - p. Suppose -k = 4*a - 7*a. Solve -3*t + t - a = 0 for t.
-3
Let g be (-2 - (-1 + -6))*1. Let v(b) = 2*b**2 - b - 5. Let x b